| 考虑一个具有状态空间  、初始状态  和转移概率矩阵的四状态马尔可夫链  
 (a) 计算  . (b) 令  。计算  . 
 | 
 
右侧的两项看起来像指数函数的极限定义。我们可以选择  使其满足吗?
 使其满足吗?
令  。那么
。那么 
这是  的分布。
 的分布。
(a)
 
其中最后一个等式由  单调收敛定理 得出。
因此,我们已经明确地证明了  具有密度,并且由
 具有密度,并且由  给出。
 给出。
(b) 当  Uniform[0,1] 且
 Uniform[0,1] 且  Poisson(1) 时,我们有
 Poisson(1) 时,我们有 ![{\displaystyle p_{\xi }(x)=\mathrm {X} _{[0,1]}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e87184f25413c30e2c09fa57f18cf42eb9539d1a) 以及
 以及  ,其支撑集为
,其支撑集为  .
.
然后从 (a) 部分,密度将是
![{\displaystyle q_{\zeta }(x)=\sum _{n=-\infty }^{\infty }p_{\eta }(n)p_{\xi }(x-n)=\sum _{n=0}^{\infty }{\frac {1}{k!e}}\mathrm {X} _{[0,1]}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/377f31cc20d3508bcb86ee8c436d11404603efa8) .
.
| 令  为单位速率的泊松过程,并令  
 其中  是事件  的指示器。 (a) 求  关于  的表达式。 (b) 证明如果  ,其中  为一个固定的常数,那么  按概率收敛。 | 
我们知道  服从参数为
 服从参数为  的泊松分布。
 的泊松分布。
 
那么 
如果  ,那么我们必须有
,那么我们必须有  仅限于有限次。该事件的概率(来自部分 a)为
 仅限于有限次。该事件的概率(来自部分 a)为  。
。
当  时,它衰减为 0。那么显然,我们可以看到
 时,它衰减为 0。那么显然,我们可以看到  的概率等于 1。
 的概率等于 1。
我不知道如何证明  的结果...
 的结果...
我们想要 ![{\displaystyle Y_{n}=E[Y_{n+1}|{\mathcal {F}}_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8db4f2a3832602bd475dcca3357e1b73cef127d9) 。我们可以明确地计算该方程的两边。
。我们可以明确地计算该方程的两边。
![{\displaystyle X_{n}-an=E[X_{n+1}-a(n+1)|X_{n}]=(X_{n}-2){\frac {1}{4}}+(X_{n}+1){\frac {3}{4}}-a(n+1)=X_{n}+1/4-an-a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a062bc56132b8ce15f1f03b25103d4a92d132dfa) 
因此,如果我们想要这个等式成立,我们必须有  .
.
类似地,如果我们想要 ![{\displaystyle Z_{n}=E[Z_{n+1}|{\mathcal {F}}_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd8d154dc37df71420fd370efe16912391677aec) 那么
 那么
![{\displaystyle e^{bX_{n}}=E[e^{bX_{n+1}}|X_{n}]={\frac {1}{4}}e^{b(X_{n}-2)}+{\frac {3}{4}}e^{b(X_{n}+1)}=e^{bX_{n}}({\frac {1}{4}}e^{-2b}+{\frac {3}{4}}e^{b})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0ffb1113c69ad8bfd7b2d75209c1deaeb99f8f2) 
我们可以很容易地验证  为该方程的平凡解。使用替换
 为该方程的平凡解。使用替换  我们可以找到
 我们可以找到  的另一个解。我们应该得到
 的另一个解。我们应该得到  .
.
我们已经证明  是一个鞅。因此,
 是一个鞅。因此,![{\displaystyle E[Y_{n}|Y_{0}]=E[Y_{0}]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63b50244397803a54c8434b5eefe54add7e4529e) 。由于每个
。由于每个  都是独立同分布的,我们可以应用强大数定律来说明
 都是独立同分布的,我们可以应用强大数定律来说明  几乎必然成立。换句话说,
 几乎必然成立。换句话说, 几乎必然成立,因此肯定
 几乎必然成立,因此肯定  几乎必然成立。
 几乎必然成立。
现在计算 ![{\displaystyle E[\tau ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcbf0fdafb5545dfa1acf8a280c7925c221f4f94) 。我们引入新的符号:令
。我们引入新的符号:令  。那么
。那么 ![{\displaystyle {\begin{aligned}E[\tau _{n}(0)]&={\frac {3}{4}}(1+E[\tau _{n}(1)])+{\frac {1}{4}}(1+E[\tau _{n}(-2)])\\&={\frac {3}{4}}(1+E[\tau _{n-1}(0)])+{\frac {1}{4}}(1+E[\tau _{n+2}(0)])=1+{\frac {3}{4}}\tau _{n-1}(0)+{\frac {1}{4}}\tau _{n+2}(0)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c7c02fe652c301aa969dfbd983cae9394c535ff)
通过对称性论证得出。
所以我们可以写 ![{\displaystyle E[\tau _{1}(0)]=1+{\frac {3}{4}}0+{\frac {1}{4}}\tau _{3}(0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aac39afda450d8cebdc23f775dcab868570118b3) 。但我不知道如何计算
。但我不知道如何计算 ![{\displaystyle E[\tau _{1}(0)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f878128953992d3f6f727389ba1dd76a1045af2) ....
....
回顾 (a) 部分, 的非平凡解必须是某个负数。那么,根据 (a) 部分,
 的非平凡解必须是某个负数。那么,根据 (a) 部分, 几乎必然成立。
 几乎必然成立。
然而,![{\displaystyle Z_{n}=e^{bX_{n}}\neq 1=E[Z_{\infty }|{\mathcal {F}}_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68301361b30b6a119b5d4fd999c869666097650c) 。根据定义,这意味着鞅不是右闭的。一个鞅是右闭的当且仅当它是均匀可积的。因此,我们完成了证明。
。根据定义,这意味着鞅不是右闭的。一个鞅是右闭的当且仅当它是均匀可积的。因此,我们完成了证明。