UA MATH563 概率論的數(shù)學(xué)基礎(chǔ) 鞅論初步7 停時(shí)與Upcrossing不等式

這一講我們引入一個(gè)非常重要的概念——停時(shí)(Stopping time)。

假設(shè)$\{{\mathcal{F}}_n\}$是一個(gè)filtration，稱隨機(jī)變量$N:\Omega \to \mathbb{N}$是$\{{\mathcal{F}}_n\}$上的一個(gè)停時(shí)，如果$?n<\infty$，
$$\{w\in \Omega :N(w)\le n\}\in {\mathcal{F}}_n$$

或者用等價(jià)地
$$\{w\in \Omega :N(w)=n\}\in {\mathcal{F}}_n$$

例 驗(yàn)證一個(gè)隨機(jī)變量是停時(shí) $\{X_n{\}}_{n\ge 0}$是一列隨機(jī)變量，${\mathcal{F}}_n=\sigma (X_0,?,X_n),?n\ge 0$。用停時(shí)的定義驗(yàn)證一個(gè)隨機(jī)變量是否是停時(shí)：

i）定義
$$N=\inf \{n\ge 0:X_n\ge A\}$$

驗(yàn)證$N$是停時(shí)：
$$\begin{gathered} \{w\in \Omega :N(w)\le n\}=\{w\in \Omega :N(w)>n{\}}^C \\ =\{w:X_0,?,X_n<A{\}}^C\in {\mathcal{F}}_n \end{gathered}$$

ii）定義
$$M=\sup \{n\ge 0:X_n\ge A\}$$

則$M$不是停時(shí)，
$$\{w:M(w)=n\}=\{w:X_n(w)\ge A,?,X_t<A,?t\ge n+1\}$$

顯然是不屬于${\mathcal{F}}_n$，因?yàn)?span id="ozvdkddzhkzd" class="katex--inline">${\mathcal{F}}_n$只由前$n$個(gè)隨機(jī)變量生成。

iii）如果$N$是常數(shù)，則$N$是停時(shí)。

iv）定義
$$N_B=\inf \{n\ge 0:X_n\in B\},B\in \mathcal{B}(\mathbb{R})$$

則$N_B$是停時(shí)：
$$\begin{gathered} \{w:N_B(w)=n\}=\{X_n\in B,X_0?,X_{n?1}\in B^C\} \\ =\{X_n\in B\}\cap \{X_0\in B^C\}?\cap \{X_{n?1}\in B^C\} \end{gathered}$$

每一個(gè)集合都屬于${\mathcal{F}}_n$，因此它們的交集屬于${\mathcal{F}}_n$。

定義
$$\begin{gathered} N_B^{(2)}=\inf \{n>N_B:X_n\in B\} \\ {N}_B^{(k)}=\inf \{n>N_B^{(k?1)}:X_n\in B\},k>2 \end{gathered}$$

則$N_B^{(k)}$是停時(shí)，$?k\ge 2$，以$k=2$為例：
$$\{N_B^{(2)}=n\}={\cup }_{m<n}\{X_n\in B,X_m\in B,X_j\in B^C,0\le j<n,j=m\}$$

---

引理1 假設(shè)$T_1,T_2$是$\{{\mathcal{F}}_n\}$上的停時(shí)，則$\min (T_1,T_2)$也是停時(shí)。

證明
$$\begin{gathered} \{\min (T_1,T_2)\le n\}=\{\min (T_1,T_2)>n{\}}^C \\ =(\{T_1>n\}\cap \{T_2>n\}{)}^C=\{T_1>n{\}}^C\cup \{T_2>n{\}}^C\in \{{\mathcal{F}}_n\} \end{gathered}$$

證畢

Doob’s inequality (Upcrossing Inequality) 假設(shè)$\{X_n\}$是一個(gè)$\{{\mathcal{F}}_n\}$上的submartingale，$a<b$，$N_0=?1$,
$$\begin{gathered} N_1=\inf \{m>N_0:X_m\le a\} \\ {N}_2=\inf \{m>N_1:X_m\ge b\} \\ ? \\ {N}_{2k?1}=\inf \{m>N_{2k?2}:X_m\le a\} \\ {N}_{2k}=\inf \{m\ge N_{2k?1}:X_m\ge b\} \end{gathered}$$

定義
$$U_n=\sup \{k:N_{2k}\le n\}$$

則
$$(b?a)E{U}_n\le E[(X_n?a{)}^{+}]?E[(X_0?a{)}^{+}]$$

我們先認(rèn)可這個(gè)不等式，它的作用是證明下面這個(gè)非常重要的鞅收斂定理。

鞅收斂定理 假設(shè)$\{X_n\}$是一個(gè)$\{{\mathcal{F}}_n\}$上的submartingale滿足${\sup }_{n}E{X}_n^{+}<\infty$，則$X_n\to X,a.s$，并且$E|X|<\infty$。

下一篇博文證明這個(gè)定理。

---

例 Branching Process
假設(shè)${\xi }_{ij}$是互相獨(dú)立的取值為自然數(shù)的隨機(jī)變量，$P({\xi }_{ij}=k)=p_k,?k\ge 0$，記$m={\sum }_{k\ge 0}k{p}_k$，定義$$X_n=\sum _{i=1}^{X_{n?1}}{\xi }_{in}$$

在這個(gè)設(shè)定中，我們可以把${\xi }_{ij}$的下標(biāo)$i$理解為第$i$戶，$j$理解為第$j$代，${\xi }_{ij}$表示第$i$戶、第$j$代有幾個(gè)娃，則$X_n$的含義可以是某家族第$n$代的總?cè)丝跀?shù)，$m$表示平均每一代每一戶有幾個(gè)娃，可以證明
$$P(X_n<1,?n)=1$$

也就是如果某家族每一代每一戶不足一個(gè)娃，這個(gè)家族遲早會(huì)滅絕。下一篇博文證明了鞅收斂之后再完成這個(gè)例子的證明。

《新程序員》：云原生和全面數(shù)字化實(shí)踐50位技術(shù)專家共同創(chuàng)作，文字、視頻、音頻交互閱讀

總結(jié)

以上是生活随笔為你收集整理的UA MATH563 概率论的数学基础 鞅论初步7 停时与Upcrossing不等式的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。