Let be i.i.d. random variables with moment generating function which is finite for all . Let .
(a) Prove that
where
and
(b) Prove that
.
(c) Assume . Use the result of (b) to establish that almost surely.
|
(a)
Thus far, we have not imposed any conditions on
. So the above inequality will hold for all
, hence for the supremum as well, which gives us the desired result.
(b)
where the last equality follows from the fact that the
are independent and identically distributed.
(c)
Let be independent homogeneous Poisson processes with rates , respectively. Let be the time of the first jump for the process and let be the random index of the component process that made the first jump. Find the joint distribution of . In particular, establish that are independent and that is exponentially distributed.
|
Let
be the first time that a Poisson process
jumps.
is a Poisson Process with parameter 
[edit | edit source]
Proof: There are three conditions to check:
(i)
almost surely
(ii) For
is
independent of
? This is true since both
are Poisson Processes and are both independent of each other.
(iii) For
is
distributed Poisson with parameter
?
This is true since the sum of independent Poisson processes are also poison. (see second bullet)
Define
. Then
and
. We check the three components of Kolmogorov's three-series theorem to conclude that
converges almost surely.
![{\displaystyle \sum _{k=1}^{\infty }E[Z_{k}1_{|Z_{k}|\leq 1}]<\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/20bff55ee5446a811478ed016ea27b153bf98188)
[edit | edit source]
![{\displaystyle \sum _{k=1}^{\infty }V[Z_{k}1_{|Z_{k}|\leq 1}]<\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7d401b5f580d0b5d7b6d02054431ce9f237d7fa)
[edit | edit source]

[edit | edit source]
Consider the following process taking values in . Assume is an i.i.d. sequence of positive integer valued random variables and let be independent of the . Then
|