| 设  是独立同分布随机变量,其矩生成函数为 ![{\displaystyle M(t)=E[\exp(tX_{1})]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fd20edbefdfa5dcf02fe4770254e59772771c76) ,它对所有  都是有限的。设  . (a) 证明 ![{\displaystyle P[X_{1}>a]\leq exp[-h(a)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ab97bd1cb8a3bdad78edaeebd04774181befc99) 其中
 ![{\displaystyle h(a)=\sup _{t\geq 0}[at-\psi (t)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fc0957e736fdf3f37f1734347eca3bc8f59d319) 且 
 (b) 证明 ![{\displaystyle P[{\tilde {X}}_{n}\geq a]\leq \exp[-nh(a)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a9be333edd9d5b1247055e866342d5d21f9cb31) .
 (c) 假设 ![{\displaystyle E[X_{1}]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b559f6bfca3f6ec901504b5a925be71f6ec5ab38) 。利用 (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) ![{\displaystyle {\begin{aligned}P[{\tilde {X}}_{n}>a]=&\int _{{\tilde {X}}_{n}>a}1\,dF=\int _{{\tilde {X}}_{n}>a}{\frac {\exp(nta)}{\exp(nta)}}\,dF\\=&e^{-nat}\int _{\sum _{i=1}^{n}X_{i}>an}e^{nat}\,dF\leq e^{-nat}\int _{\sum _{i=1}^{n}X_{i}>an}e^{\sum _{i=1}^{n}X_{i}t}\,dF\\\leq &e^{-nat}\int _{\Omega }e^{\sum _{i=1}^{n}X_{i}t}\,dF=e^{-nat}(\int _{\Omega }e^{X_{i}t}\,dF)^{n}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f6673721e7ff6a75c8014069030daf6599b4d21) 其中最后一个等式来自于
 其中最后一个等式来自于 是独立同分布的。
 是独立同分布的。
(c)
令  是泊松过程
 是泊松过程  第一次跳跃的时间。
 第一次跳跃的时间。
 
 是参数为
 是参数为  的泊松过程。
 的泊松过程。
[edit | edit source]证明:需要检查三个条件
(i)  几乎处处成立
 几乎处处成立
(ii) 对于  ,
, 与
 与  独立吗?这是成立的,因为
 独立吗?这是成立的,因为  都是泊松过程,并且彼此独立。
 都是泊松过程,并且彼此独立。
(iii) 对于  ,
, 服从参数为
 服从参数为  的泊松分布吗?这是正确的,因为独立泊松过程的和也是泊松过程。(见 第二点)
 的泊松分布吗?这是正确的,因为独立泊松过程的和也是泊松过程。(见 第二点)
 
 
定义  。则
。则 ![{\displaystyle E[Z_{k}]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b37e6f3fdad585cd559814ff9c64966b8d1a98eb) 且
 且 ![{\displaystyle V[Z_{k}]={\frac {\sigma ^{2}}{k^{2\gamma }}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87bd11acb36973f9c58035329b3cd1c85f6aeeda) 。我们检查 柯尔莫哥洛夫三级数定理 的三个组成部分,得出结论
。我们检查 柯尔莫哥洛夫三级数定理 的三个组成部分,得出结论  几乎处处收敛。
 几乎处处收敛。
![{\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)
[[编辑 | 编辑源代码]]
[[编辑 | 编辑源代码]]
| 考虑以下过程  ,其取值范围为  。假设  是一个独立同分布的正整数随机变量序列,并且令  与  独立。  
 |