设 是独立同分布随机变量,其矩生成函数为 ,它对所有 都是有限的。设 . (a) 证明 其中
且 
(b) 证明 .
(c) 假设 。利用 (b) 的结果来证明 几乎必然。
|
(a) ![{\displaystyle {\begin{aligned}P[X_{1}>a]=&\int _{X_{1}>a}1\,dF=\int _{X_{1}>a}{\frac {\exp(ta)}{\exp(ta)}}\,dF\\=&e^{-at}\int _{X_{1}>a}e^{at}\,dF\leq e^{-at}\int _{X_{1}>a}e^{X_{1}t}\,dF\\\leq &e^{-at}\int _{\Omega }e^{X_{1}t}\,dF=e^{-at}E[\exp(tX_{1})]\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a45d27554424ae95b3b6d271d8d7067d3e8075d)
到目前为止,我们还没有对
施加任何条件。因此,上述不等式对所有
成立,因此也对上确界成立,这给了我们想要的结果。
(b)
其中最后一个等式来自于
是独立同分布的。
(c)
令
是泊松过程
第一次跳跃的时间。
是参数为
的泊松过程。
[edit | edit source]
证明:需要检查三个条件
(i)
几乎处处成立
(ii) 对于
,
与
独立吗?这是成立的,因为
都是泊松过程,并且彼此独立。
(iii) 对于
,
服从参数为
的泊松分布吗?这是正确的,因为独立泊松过程的和也是泊松过程。(见 第二点)
定义
。则
且
。我们检查 柯尔莫哥洛夫三级数定理 的三个组成部分,得出结论
几乎处处收敛。
![{\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)
[[编辑 | 编辑源代码]]
![{\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)
[[编辑 | 编辑源代码]]

[[编辑 | 编辑源代码]]
考虑以下过程 ,其取值范围为 。假设 是一个独立同分布的正整数随机变量序列,并且令 与 独立。
|