13

Мартингалы с дискретным временем

[31/0%]
Показать
LaTeX
Задача 13.1

Пусть Ω\Omega — непустое множество, и пусть {Aj}j≥1\left\{ A_{j}\right\}_{j \geq 1} — счётное разбиение Ω\Omega. Для n≥1n \geq 1 пусть Fn=σ\mathcal{F}_{n} = \sigma-алгебра, порождённая {Aj}j=1n\left\{ A_{j}\right\}_{j = 1}^{n}.

?
(a)

Покажите, что {Fn}n≥1\left\{ F_{n}\right\}_{n \geq 1} — фильтрация.

(b)

Найдите F∞=σ⟨⋃n≥1Fn⟩\mathcal{F}_{\infty } = \sigma \left\langle \bigcup_{n \geq 1} \mathcal{F}_{n}\right\rangle.

Задача 13.2

Пусть Ω\Omega — непустое множество. Для каждого n≥1n \geq 1 пусть πn≡{Anj:j=1,2,…,kn}\pi_{n} \equiv \left\{ A_{n j}: j = 1,2, \ldots , k_{n}\right\} — разбиение Ω\Omega. Предположим, что для каждого nn и j,Anjj, A_{n j} является объединением множеств πn+1\pi_{n+1}. Пусть Fn≡σ⟨πn⟩\mathcal{F}_{n} \equiv \sigma \left\langle \pi_{n}\right\rangle для n≥1n \geq 1.

?
(a)

Покажите, что {Fn}n≥1\left\{ \mathcal{F}_{n}\right\}_{n \geq 1} — фильтрация.

(b)

Предположим, что Δ=[0,1)\Delta = [0,1) и πn≡{[j−12n,j2n):j=1,2,…,2n}\pi_{n} \equiv \left\{ \left[\frac{j-1}{2^{n}}, \frac{j}{2^{n}}\right): j = 1,2, \ldots , 2^{n}\right\}. Покажите, что F∞=σ⟨⋃n≥1Fn⟩\mathcal{F}_{\infty } = \sigma \left\langle \bigcup_{n \geq 1} \mathcal{F}_{n}\right\rangle является борелевской σ\sigma-алгеброй B([0,1))\mathcal{B}([0,1)).

Задача 13.3

Пусть {(Yn,Fn):n≥1}\left\{ \left(Y_{n}, \mathcal{F}_{n}\right): n \geq 1\right\} и {(Y~n,Fn):n≥1}\left\{ \left(\tilde{Y}_{n}, \mathcal{F}_{n}\right): n \geq 1\right\} такие же, как в примере 13.1.2. Проверьте, что {(Yn,Fn):n≥1}\left\{ \left(Y_{n}, \mathcal{F}_{n}\right): n \geq 1\right\} является субмартингалом, а {(Y~n,F~n):n≥1}\left\{ \left(\tilde{Y}_{n}, \tilde{\mathcal{F}}_{n}\right): n \geq 1\right\} — мартингалом.

?
Задача 13.4

Приведите пример случайной величины TT и двух фильтраций {Fn}n≥1\left\{ \mathcal{F}_{n}\right\}_{n \geq 1} и {Gn}n≥1\left\{ \mathcal{G}_{n}\right\}_{n \geq 1} таких, что TT является моментом остановки относительно фильтрации {Fn}n≥1\left\{ \mathcal{F}_{n}\right\}_{n \geq 1}, но не относительно {Gn}n≥1\left\{ \mathcal{G}_{n}\right\}_{n \geq 1}.

?
Задача 13.5

Пусть T1T_{1} и T2T_{2} — моменты остановки относительно фильтрации {Fn}n≥1\left\{ \mathcal{F}_{n}\right\}_{n \geq 1}. Проверьте, что min⁡(T1,T2),max⁡(T1,T2),T1+T2\min \left(T_{1}, T_{2}\right), \max \left(T_{1}, T_{2}\right), T_{1}+T_{2} и T12T_{1}^{2} являются моментами остановки относительно {Fn}n≥1\left\{ \mathcal{F}_{n}\right\}_{n \geq 1}. Приведите пример, показывающий, что T1\sqrt{T_{1}} и T1−1T_{1}-1 не обязательно являются моментами остановки относительно {Fn}n≥1\left\{ \mathcal{F}_{n}\right\}_{n \geq 1}.

?
Задача 13.6

Пусть TT — случайная величина, принимающая значения в {1,2,3,…}\left\{ 1,2,3, \ldots \right\}. Покажите, что существует фильтрация {Fn}n≥1\left\{ \mathcal{F}_{n}\right\}_{n \geq 1}, относительно которой TT является моментом остановки.

?
Задача 13.7

Пусть {Fn}n≥1\left\{ \mathcal{F}_{n}\right\}_{n \geq 1} — фильтрация.

?
(a)

Покажите, что TT является моментом остановки относительно {Fn}n≥1\left\{ \mathcal{F}_{n}\right\}_{n \geq 1} тогда и только тогда, когда

{T≤n}∈Fn для всех n≥1 \left\{ T \leq n\right\} \in \mathcal{F}_{n} \quad \text{ для всех } \quad n \geq 1
(b)

Приведите пример, показывающий, что если случайная величина TT удовлетворяет {T≥n}∈Fn\left\{ T \geq n\right\} \in \mathcal{F}_{n} для всех n≥1n \geq 1, она не обязательно является моментом остановки относительно {Fn}n≥1\left\{ \mathcal{F}_{n}\right\}_{n \geq 1}. (Указание: рассмотрите TT вида

T=inf⁡{k:k≥1,Xk+1∈A} и Fn=σ⟨Xj:j≤n⟩. T = \inf \left\{ k: k \geq 1, X_{k+1} \in A\right\} \quad \text{ и } \quad \mathcal{F}_{n} = \sigma \left\langle X_{j}: j \leq n\right\rangle .

)

Задача 13.8

Покажите, что FT\mathcal{F}_{T}, определённая в (2.6), является σ\sigma-алгеброй.

?
Задача 13.9

Пусть {Xn}n≥1\left\{ X_{n}\right\}_{n \geq 1} — последовательность случайных величин. Пусть Gn=σ⟨{Xj:1≤j≤n}⟩\mathcal{G}_{n} = \sigma \langle \left\{ X_{j} : 1 \leq j \leq n\right\} \rangle. Пусть {Fn}n≥1\left\{ \mathcal{F}_{n}\right\}_{n \geq 1} — фильтрация такая, что Gn⊂Fn\mathcal{G}_{n} \subset \mathcal{F}_{n} для каждого n≥1n \geq 1.

?
(a)

Покажите, что если {Xn,Fn}n≥1\left\{ X_{n}, \mathcal{F}_{n}\right\}_{n \geq 1} является мартингалом, то и {Xn,Gn}n≥1\left\{ X_{n}, \mathcal{G}_{n}\right\}_{n \geq 1} им является.

(b)

Приведите пример, показывающий, что обратное не обязательно верно.

(c)

Пусть {Xn,Fn}n≥1\left\{ X_{n}, \mathcal{F}_{n}\right\}_{n \geq 1} — мартингал. Пусть 1≤k1<k2<k3⋯1 \leq k_{1} < k_{2} < k_{3} \cdots — последовательность целых чисел. Пусть Yn≡Xkn,Hn≡Fkn,n≥1Y_{n} \equiv X_{k_{n}}, \mathcal{H}_{n} \equiv \mathcal{F}_{k_{n}}, n \geq 1. Покажите, что {Yn,Hn}n≥1\left\{ Y_{n}, \mathcal{H}_{n}\right\}_{n \geq 1} также является мартингалом.

Задача 13.10

Ветвящееся случайное блуждание — это ветвящийся процесс вместе со связанным с ним случайным блужданием. Индивиды размножаются согласно ветвящемуся процессу, а потомки удаляются от родителя на случайное расстояние. Если Xn≡{xn1,xn2,…xnZn}X_{n} \equiv \left\{ x_{n 1}, x_{n 2}, \ldots x_{n Z_{n}}\right\} обозначает вектор позиций ZnZ_{n} индивидов в nn-м поколении, и индивид в позиции xnix_{n i} производит ρni\rho_{n i} потомков, то каждый из них выбирает новую позицию, смещаясь на случайное расстояние от xnix_{n i}, причём эти смещения предполагаются н.о.р. Пусть ηnij\eta_{n i j} — случайное расстояние, на которое смещается jj-й потомок индивида в xnix_{n i}. Тогда вектор позиций (n+1)(n+1)-го поколения задаётся как

Xn+1={{xni+ηnij}j=1ρni,i=1,2,…,n}≡{xn+1,k:k=1,2,…Zn+1}, скажем  \begin{aligned} X_{n+1} & = \left\{ \left\{ x_{n i}+\eta _{n i j}\right\} _{j = 1}^{\rho _{n i}}, \quad i = 1,2, \ldots , n\right\} \\ & \equiv \left\{ x_{n+1, k}: k = 1,2, \ldots Z_{n+1}\right\} , \quad \text{ скажем } \end{aligned}

где

Zn+1= размер популяции (n+1)-го поколения=∑i=1Znρni \begin{aligned} Z_{n+1} & = \text{ размер популяции }(n+1)\text{-го поколения} \\ & = \sum _{i = 1}^{Z_{n}} \rho _{n i} \end{aligned}

Пусть распределение числа потомков — {pk}k≥0\left\{ p_{k}\right\}_{k \geq 0}, а распределение размера скачка обозначается F(⋅)F(\cdot ). Предположим, что η\eta принимают действительные значения, а также что семейства {ρni}i≥1,n≥0,{ηnij}i≥1,j≥1,n≥0\left\{ \rho_{n i}\right\}_{i \geq 1, n \geq 0},\left\{ \eta_{n i j}\right\}_{i \geq 1, j \geq 1, n \geq 0} все независимы, причём ρ\rho н.о.р. с распределением {pk}k≥0\left\{ p_{k}\right\}_{k \geq 0}, а η\eta н.о.р. с распределением FF. Зафиксируем θ∈R\theta \in \mathbb {R}. Для n≥0n \geq 0 пусть

Zn(θ)≡(∑i=1Zneθxni) и Yn(θ)=(Zn(θ))(ρϕ(θ))−n Z_{n}(\theta ) \equiv \left(\sum _{i = 1}^{Z_{n}} e^{\theta x_{n i}}\right) \quad \text{ и } \quad Y_{n}(\theta ) = \left(Z_{n}(\theta )\right)(\rho \phi (\theta ))^{-n}

где ρ=∑k=0∞kpk,ϕ(θ)=E(eθη111)=∫eθxdF(x)\rho = \sum_{k = 0}^{\infty } k p_{k}, \phi (\theta ) = E\left(e^{\theta \eta_{111}}\right) = \int e^{\theta x} d F(x). Предположим 0<ϕ(θ)<∞,0<ρ<∞0 < \phi (\theta ) < \infty , 0 < \rho < \infty.

?
(a)

Проверьте, что {Yn(θ)}n≥0\left\{ Y_{n}(\theta )\right\}_{n \geq 0} является мартингалом относительно подходящей фильтрации {Fn}n≥0\left\{ \mathcal{F}_{n}\right\}_{n \geq 0}.

(b)

Покажите, что

Var⁡(Zn+1(θ))=Var⁡(Zn(θ)ρϕ(θ))+(EZn(2θ))(ρψ(θ)+(ϕ(θ))2σ2) \begin{aligned} \operatorname {Var}\left(Z_{n+1}(\theta )\right) = & \operatorname {Var}\left(Z_{n}(\theta ) \rho \phi (\theta )\right) \\ & +\left(E Z_{n}(2 \theta )\right)\left(\rho \psi (\theta )+(\phi (\theta ))^{2} \sigma ^{2}\right) \end{aligned}

где ψ(θ)=ϕ(2θ)−(ϕ(θ))2\psi (\theta ) = \phi (2 \theta )-(\phi (\theta ))^{2}, а σ2\sigma^{2} — дисперсия распределения {pk}k≥0\left\{ p_{k}\right\}_{k \geq 0}.

(c)

Сформулируйте достаточное условие на ρ,σ2,ψ(⋅)\rho , \sigma^{2}, \psi (\cdot ) и ϕ(⋅)\phi (\cdot ) и θ\theta для того, чтобы {Yn(θ)}\left\{ Y_{n}(\theta )\right\} был L2L_{2}-ограничен.

Задача 13.11

Пусть {ηj}j≥1\left\{ \eta_{j}\right\}_{j \geq 1} согласован с фильтрацией {Fj}j≥1\left\{ \mathcal{F}_{j}\right\}_{j \geq 1}. Пусть E[ηj∣Fj−1]=0\mathbb {E}\left[\eta_{j} \mid \mathcal{F}_{j-1}\right] = 0 и Vj=E[ηj2∣Fj−1]V_{j} = \mathbb {E}\left[\eta_{j}^{2} \mid \mathcal{F}_{j-1}\right] для j≥2j \geq 2. Пусть sn2=∑j=1nVj,n≥2s_{n}^{2} = \sum_{j = 1}^{n} V_{j}, n \geq 2.

?
(a)

Проверьте, что {Yn≡∑j=2nηjs~j,Fn}n≥1\left\{ Y_{n} \equiv \sum_{j = 2}^{n} \frac{\eta_{j}}{\tilde{s}_{j}}, \mathcal{F}_{n}\right\}_{n \geq 1} является мартингалом, где s~j=max⁡(sj,1)\tilde{s}_{j} = \max \left(s_{j}, 1\right).

(b)

Покажите, что Var⁡(Yn)=E[∑j=2nVjsˉj2]\operatorname {Var}\left(Y_{n}\right) = \mathbb {E}\left[\sum_{j = 2}^{n} \frac{V_{j}}{\bar{s}_{j}^{2}}\right].

(c)

Покажите, что ∑j=2∞Vjs~j2≤∫1∞1t2dt+1\sum_{j = 2}^{\infty } \frac{V_{j}}{\tilde{s}_{j}^{2}} \leq \int_{1}^{\infty } \frac{1}{t^{2}} d t+1.

(d)

Заключите, что YnY_{n} сходится п.н. и в L2L^{2}.

(e)

Теперь предположим, что sn→∞s_{n} \rightarrow \infty п.н. Покажите, что 1sn∑j=1nηj→0\frac{1}{s_{n}} \sum_{j = 1}^{n} \eta_{j} \rightarrow 0 п.н. (Указание: используйте лемму Кронекера (ср. главу 8).)

Задача 13.12

Пусть {ξi}i≥1\left\{ \xi_{i}\right\}_{i \geq 1} — н.о.р. случайная величина с распределением P(ξ1=1)=12=P(ξ1=−1)P\left(\xi_{1} = 1\right) = \frac{1}{2} = P\left(\xi_{1} = -1\right). Пусть S0=0,Sn=∑i=1nξi,n≥1S_{0} = 0, S_{n} = \sum_{i = 1}^{n} \xi_{i}, n \geq 1. Пусть −a<0<b-a < 0 < b — целые числа, и T=T−a,b=inf⁡{n:n≥1,Sn=−a или b}T = T_{-a, b} = \inf \left\{ n: n \geq 1, S_{n} = -a \text{ или } b\right\}. Покажите, используя леммы Вальда (теорема 13.2.14), что

?
(a)

P(ST≡−a)=bb+aP\left(S_{T} \equiv -a\right) = \frac{b}{b+a}.

(b)

E[T]=4ab\mathbb {E}\left[T\right] = 4 a b.

(c)

Распространите вышеприведённые рассуждения, чтобы найти Var⁡(T)\operatorname {Var}\left(T\right). (Указание: сначала рассмотрите T∧nT \wedge n, а затем устремите n↑∞n \uparrow \infty.)

Задача 13.13

Используйте задачу 13.12, чтобы заключить, что для любого целого положительного bb

P(Tb<∞)=1, но E[Tb]=∞ P\left(T_{b} < \infty \right) = 1, \quad \text{ но } \quad \mathbb {E}\left[T_{b}\right] = \infty

где для любого целого ii,

Ti=inf⁡{n:n≥1,Sn=i} T_{i} = \inf \left\{ n: n \geq 1, S_{n} = i\right\}
?
Задача 13.14

Пусть {ξi}i≥1\left\{ \xi_{i}\right\}_{i \geq 1} — н.о.р. случайные величины с распределением

P(ξi=1)=p=1−P(ξi=−1),0<p≠12<1 P\left(\xi _{i} = 1\right) = p = 1-P\left(\xi _{i} = -1\right), 0 < p \neq \frac{1}{2} < 1

Пусть S0=0,Sn=∑i=1nξi,n≥1S_{0} = 0, S_{n} = \sum_{i = 1}^{n} \xi_{i}, n \geq 1. Пусть ψ(x)=(qp)x,x∈R\psi (x) = \left(\frac{q}{p}\right)^{x}, x \in \mathbb {R}, где q=1−pq = 1-p.

?
(a)

Покажите, что Xn=ψ(Sn),n≥0X_{n} = \psi \left(S_{n}\right), n \geq 0 является мартингалом относительно фильтрации Fn=σ⟨ξ1,…,ξn⟩,n≥1\mathcal{F}_{n} = \sigma \left\langle \xi_{1}, \ldots , \xi_{n}\right\rangle , n \geq 1, и F0={Ω,∅}\mathcal{F}_{0} = \left\{ \Omega , \emptyset \right\}.

(b)

Пусть Ta,b=inf⁡{n:n≥1,Sn=−a или b}T_{a, b} = \inf \left\{ n: n \geq 1, S_{n} = -a \text{ или } b\right\} для целых положительных aa и bb. Покажите, что P(T−a,b<∞)=1P\left(T_{-a, b} < \infty \right) = 1. (Указание: используйте усиленный закон больших чисел.)

(c)

Используйте (a), чтобы показать, что для целых положительных a,ba, b,

θ≡P(T−a<Tb)=ψ(b)−1ψ(b)−ψ(−a) \theta \equiv P\left(T_{-a} < T_{b}\right) = \frac{\psi (b)-1}{\psi (b)-\psi (-a)}

где для любого целого i,Ti=inf⁡{n:n≥1,Sn=i}i, T_{i} = \inf \left\{ n: n \geq 1, S_{n} = i\right\}.

(d)

Покажите, что E[T−a,b]=b−θ(b−a)(p−q)\mathbb {E}\left[T_{-a, b}\right] = \frac{b-\theta (b-a)}{(p-q)}

(e)

Покажите, что если p>qp > q, то E[T−a]=∞\mathbb {E}\left[T_{-a}\right] = \infty и E[Tb]=b(p−q)\mathbb {E}\left[T_{b}\right] = \frac{b}{(p-q)}.

Задача 13.15

Пусть {Xn}n≥0\left\{ X_{n}\right\}_{n \geq 0} — цепь Маркова с пространством состояний S={1,2,3,…}\mathbb {S} = \left\{ 1,2,3, \ldots \right\}, и матрицей переходных вероятностей P=((pij))P = \left(\left(p_{i j}\right)\right). То есть для каждого n≥1n \geq 1,

P(X0=i0,X1=i,…,Xn=in)=P(X0=i0)pi0i1…pin−1in \begin{aligned} & P\left(X_{0} = i_{0}, X_{1} = i, \ldots , X_{n} = i_{n}\right) \\ & = P\left(X_{0} = i_{0}\right) p_{i_{0} i_{1}} \ldots p_{i_{n-1} i_{n}} \end{aligned}

для всех i0,i1,i2,…,in∈Si_{0}, i_{1}, i_{2}, \ldots , i_{n} \in \mathbb {S}. Пусть h:S→Rh: \mathbb {S} \rightarrow \mathbb {R} и ρ∈R\rho \in \mathbb {R} таковы, что

∑j=1∞∣h(j)∣pij<∞ для всех i \sum _{j = 1}^{\infty }\left|h(j)\right| p_{i j} < \infty \quad \text{ для всех } \quad i

и

∑j=1∞h(j)pij=ρh(i) для всех i \sum _{j = 1}^{\infty } h(j) p_{i j} = \rho h(i) \quad \text{ для всех } \quad i
?
(a)

Проверьте, что {Xn}n≥1\left\{ X_{n}\right\}_{n \geq 1} обладает марковским свойством, а именно, для всех n≥0n \geq 0,

P(Xn+1=in+1∣Xn=in,Xn−1=in−1,X0=i0)=P(Xn+1=in+1∣Xn=in)=pinin+1. \begin{aligned} & P\left(X_{n+1} = i_{n+1} \mid X_{n} = i_{n}, X_{n-1} = i_{n-1}, X_{0} = i_{0}\right) \\ & = P\left(X_{n+1} = i_{n+1} \mid X_{n} = i_{n}\right) = p_{i_{n} i_{n+1}}. \end{aligned}
(b)

Проверьте, что {Yn≡h(Xn)ρ−n}n≥0\left\{ Y_{n} \equiv h\left(X_{n}\right) \rho^{-n}\right\}_{n \geq 0} является мартингалом относительно фильтрации Fn≡σ⟨X0,X1,…,Xn⟩\mathcal{F}_{n} \equiv \sigma \left\langle X_{0}, X_{1}, \ldots , X_{n}\right\rangle.

(c)

Предположим, что ρ=1\rho = 1 и hh ограничена снизу и достигает своей нижней грани. Предположим также, что {Xn}n≥0\left\{ X_{n}\right\}_{n \geq 0} неприводима и возвратна. То есть P(Xn=jP\left(X_{n} = j\right. для некоторого n≥1∣X0=i)=1\left.n \geq 1 \mid X_{0} = i\right) = 1 для всех i,ji, j. Покажите, что hh — постоянная функция. (Указание: используйте вторую теорему об опциональной остановке.)

Задача 13.16

Пусть {Yj}j≥1\left\{ Y_{j}\right\}_{j \geq 1} — последовательность случайных величин такая, что P(∣Yj∣≤1)=1P\left(\left|Y_{j}\right| \leq 1\right) = 1 для всех j≥1j \geq 1 и E[Yj∣Fj−1]=0\mathbb {E}\left[Y_{j} \mid \mathcal{F}_{j-1}\right] = 0 для j≥2j \geq 2, где Fj=σ⟨Y1,Y2,…,Yj⟩\mathcal{F}_{j} = \sigma \left\langle Y_{1}, Y_{2}, \ldots , Y_{j}\right\rangle. Пусть Xn=∑j=1nYj,n≥1X_{n} = \sum_{j = 1}^{n} Y_{j}, n \geq 1, и пусть τ\tau — момент остановки относительно {Fn}n≥1\left\{ \mathcal{F}_{n}\right\}_{n \geq 1} и Eτ<∞E \tau < \infty. Покажите, что E[∣Xτ∣]<∞\mathbb {E}\left[\left|X_{\tau }\right|\right]< \infty и E[Xτ]=EX1\mathbb {E}\left[X_{\tau }\right] = E X_{1}.

?
Задача 13.17

Пусть θ,{ξj}j≥1\theta ,\left\{ \xi_{j}\right\}_{j \geq 1} — последовательность случайных величин такая, что E∣θ∣<∞E\left|\theta \right| < \infty и {ξj}j≥1\left\{ \xi_{j}\right\}_{j \geq 1} н.о.р. с нулевым средним. Для j≥1j \geq 1 пусть Xj=θ+ξjX_{j} = \theta +\xi_{j} и Fj=σ⟨X1,X2,…,Xj⟩\mathcal{F}_{j} = \sigma \left\langle X_{1}, X_{2}, \ldots , X_{j}\right\rangle. Покажите, что Yj≡E(θ∣Fj)→θY_{j} \equiv E\left(\theta \mid \mathcal{F}_{j}\right) \rightarrow \theta п.н.

?
Задача 13.18

Пусть {Xn,Fn}n≥1\left\{ X_{n}, \mathcal{F}_{n}\right\}_{n \geq 1} — мартингал такой, что E[Xn2]<∞\mathbb {E}\left[X_{n}^{2} \right] < \infty для всех n≥1n \geq 1. Пусть Yˉ1=X1,Yj=Xj−Xj−1,j≥2\bar{Y}_{1} = X_{1}, Y_{j} = X_{j}-X_{j-1}, j \geq 2. Пусть Vj=E[Yj2∣Fj−1]V_{j} = \mathbb {E}\left[Y_{j}^{2} \mid \mathcal{F}_{j-1}\right] для j≥2j \geq 2 и An=∑j=2nVj,n≥2A_{n} = \sum_{j = 2}^{n} V_{j}, n \geq 2. Проверьте, что

?
(a)

AnA_{n} является Fn−1\mathcal{F}_{n-1}-измеримой и не убывает по nn.

(b)

{Xn2−An,Fn}n≥2\left\{ X_{n}^{2}-A_{n}, \mathcal{F}_{n}\right\}_{n \geq 2} является мартингалом.

(c)

Проверьте, что Xn2=Xn2−An+AnX_{n}^{2} = X_{n}^{2}-A_{n}+A_{n} является разложением Дуба субмартингала {Xn2,Fn}\left\{ X_{n}^{2}, \mathcal{F}_{n}\right\} (предложение 13.1.2).

Задача 13.19

Покажите, что случайная величина X∞X_{\infty }, определённая в примере 13.3.2, равна нулю п.н.

?
Задача 13.20

Покажите, что мартингал Дуба в определении 13.3.1 равномерно интегрируем.

?
Задача 13.21

Рассмотрим следующую урновую схему, принадлежащую Пойа. Пусть урна содержит w0w_{0} белых и b0b_{0} чёрных шаров в момент времени n=0n = 0. Шар вынимается из урны наугад. Он возвращается в урну вместе с ещё одним шаром того же цвета, что и вынутый. Повторим эту процедуру для всех n≥1n \geq 1. Пусть WnW_{n} и BnB_{n} обозначают число белых и чёрных шаров в урне после nn извлечений. Пусть Zn=WnWn+Bn,n≥0Z_{n} = \frac{W_{n}}{W_{n}+B_{n}}, n \geq 0. Пусть Fn=σ⟨Z0,Z1,…,Zn⟩\mathcal{F}_{n} = \sigma \left\langle Z_{0}, Z_{1}, \ldots , Z_{n}\right\rangle.

?
(a)

Покажите, что {(Zn,Fn)}n≥0\left\{ \left(Z_{n}, \mathcal{F}_{n}\right)\right\}_{n \geq 0} является мартингалом.

(b)

Заключите, что ZnZ_{n} сходится п.н. и в L1L_{1} к случайной величине ZZ.

(c)

Покажите, что для любого k∈N,lim⁡n→∞EZnkk \in \mathbb {N}, \lim_{n \rightarrow \infty } E Z_{n}^{k} сходится, и вычислите предел. Выведите, что ZZ имеет распределение Бета (w0,b0)\left(w_{0}, b_{0}\right), т.е. её плотность fZ(z)≡(w0+b0−1)!(w0−1)!(b0−1)!zw0−1(1−z)b0−1I[0,1](z)f_{Z}(z) \equiv \frac{\left(w_{0}+b_{0}-1\right)!}{\left(w_{0}-1\right)!\left(b_{0}-1\right)!} z^{w_{0}-1}(1-z)^{b_{0}-1} I_{[0,1]}(z).

(d)

Обобщите (a) на случай, когда на nn-м шаге случайное число αn\alpha_{n} шаров вынутого цвета добавляется, где {αn}n≥1\left\{ \alpha_{n}\right\}_{n \geq 1} — произвольная последовательность неотрицательных целочисленных случайных величин.

Задача 13.22

Докажите следствие 13.4.6.

?
Задача 13.23

Докажите последнее уравнение (4.6) раздела 13.4.

?
Задача 13.24

Пусть {Fn}n≥0\left\{ \mathcal{F}_{n}\right\}_{n \geq 0} — фильтрация ⊂F\subset \mathcal{F}, где (Ω,F,P)(\Omega , \mathcal{F}, P) — вероятностное пространство. Пусть {Yn}n≥0⊂L1(Ω,F,P)\left\{ Y_{n}\right\}_{n \geq 0} \subset L^{1}(\Omega , \mathcal{F}, P). Предположим

Z≡sup⁡n≥1∣Yn∣∈L1(Ω,F,P) и lim⁡n→∞Yn≡Y существует п.н.  Z \equiv \sup _{n \geq 1}\left|Y_{n}\right| \in L^{1}(\Omega , \mathcal{F}, P) \quad \text{ и } \quad \lim _{n \rightarrow \infty } Y_{n} \equiv Y \quad \text{ существует п.н. }

Покажите, что E[Yn∣Fn]→E(Y∣F∞)\mathbb {E}\left[Y_{n} \mid \mathcal{F}_{n}\right] \rightarrow E\left(Y \mid \mathcal{F}_{\infty }\right) п.н.

?
Задача 13.25

Пусть {Xt,Ft:t∈I≡Q∩(0,1)}\left\{ X_{t}, \mathcal{F}_{t}: t \in I \equiv \mathcal{Q} \cap (0,1)\right\} — мартингал, т.е. для всех t1<t2t_{1} < t_{2} в II,

E[Xt2∣Ft1]=Xt1 \mathbb {E}\left[X_{t_{2}} \mid \mathcal{F}_{t_{1}}\right] = X_{t_{1}}

Покажите, что для каждого tt в II

lim⁡s↑t,s∈IXs и lim⁡s↓t,s∈IXs \lim _{s \uparrow t, s \in I} X_{s} \text{ и } \lim _{s \downarrow t, s \in I} X_{s}

оба существуют п.н. и в L1L^{1}, и равны XtX_{t} п.н.

?
Задача 13.26

Пусть {Xi}i≥1\left\{ X_{i}\right\}_{i \geq 1} — случайные величины на вероятностном пространстве (Ω,F,P)(\Omega , \mathcal{F}, P). Предположим, что для некоторой σ\sigma-алгебры G⊂F\mathcal{G} \subset \mathcal{F} выполняется (4.7). Покажите, что {Xi}i≥1\left\{ X_{i}\right\}_{i \geq 1} обмениваемы.

?
Задача 13.27

Пусть {Xn}n≥0,{Yn}n≥0\left\{ X_{n}\right\}_{n \geq 0},\left\{ Y_{n}\right\}_{n \geq 0} — мартингалы в L2(Ω,F,P)L^{2}(\Omega , \mathcal{F}, P) относительно одной и той же фильтрации {Fn}n≥1\left\{ \mathcal{F}_{n}\right\}_{n \geq 1}. Пусть X0=Y0=0X_{0} = Y_{0} = 0. Покажите, что

E[XnYn]=∑k=1nE[Xk−Xk−1](Yk−Yk−1),n≥1 \mathbb {E}\left[X_{n} Y_{n}\right] = \sum _{k = 1}^{n} \mathbb {E}\left[X_{k}-X_{k-1}\right]\left(Y_{k}-Y_{k-1}\right), n \geq 1

и, в частности,

E[Xn2]=∑k=1nE[Xk−Xk−1]2 \mathbb {E}\left[X_{n}^{2}\right] = \sum _{k = 1}^{n} \mathbb {E}\left[X_{k}-X_{k-1}\right]^{2}
?
Задача 13.28

Пусть {Xn,Fn}n≥1\left\{ X_{n}, \mathcal{F}_{n}\right\}_{n \geq 1} — мартингал в L2(Ω,F,P)L^{2}(\Omega , \mathcal{F}, P). Предположим, что 0≤bn↑∞0 \leq b_{n} \uparrow \infty такие, что ∑j=2nE[Xj−Xj−1]2bj2<∞\sum_{j = 2}^{n} \frac{\mathbb {E}\left[X_{j}-X_{j-1}\right]^{2}}{b_{j}^{2}} < \infty. Покажите, что Xnbn→0\frac{X_{n}}{b_{n}} \rightarrow 0 п.н.

?
Задача 13.29

Пусть f∈L1([0,1],B([0,1]),m)f \in L^{1}([0,1], \mathcal{B}([0,1]), m), где m(⋅)m(\cdot ) — мера Лебега на [0,1][0,1]. Пусть {Hk(⋅)}k≥1\left\{ H_{k}(\cdot )\right\}_{k \geq 1} — функции Хаара, определённые как

H1(t)≡1,H2(t)≡{10≤t<12−112≤t<1H2n+1(t)={2n/20≤t<2−(n+1)−2n/22−(n+1)≤t<2−n,n=1,2,…0 иначе ,H2n+j(t)=H2n+1(t−j−12n),j=1,2,…,2n. \begin{aligned} H_{1}(t) & \equiv 1, \\ H_{2}(t) & \equiv \begin{cases} 1 & 0 \leq t < \frac{1}{2} \\ -1 & \frac{1}{2} \leq t < 1\end{cases} \\ H_{2^{n}+1}(t) & = \begin{cases} 2^{n / 2} & 0 \leq t < 2^{-(n+1)} \\ -2^{n / 2} & 2^{-(n+1)} \leq t < 2^{-n}, n = 1,2, \ldots \\ 0 & \text{ иначе },\end{cases} \\ H_{2^{n}+j}(t) & = H_{2^{n}+1}\left(t-\frac{j-1}{2^{n}}\right), j = 1,2, \ldots , 2^{n}. \end{aligned}

Пусть ak≡∫01f(t)Hk(t)dt,k=1,2,…a_{k} \equiv \int_{0}^{1} f(t) H_{k}(t) d t, k = 1,2, \ldots.

?
(a)

Проверьте, что {Xn(t)≡∑k=1nakHk(t)}n≥1\left\{ X_{n}(t) \equiv \sum_{k = 1}^{n} a_{k} H_{k}(t)\right\}_{n \geq 1} является мартингалом относительно естественной фильтрации.

(b)

Покажите, что XnX_{n} сходится п.н. и в L1L^{1} к ff.

Задача 13.30

Пусть {Xn}n≥1\left\{ X_{n}\right\}_{n \geq 1} — последовательность неотрицательных случайных величин на некотором вероятностном пространстве (Ω,F,P)(\Omega , \mathcal{F}, P) такая, что E[Xn+1∣Fn]≤Xn+Yn\mathbb {E}\left[X_{n+1} \mid \mathcal{F}_{n}\right] \leq X_{n}+Y_{n}, где Fn≡σ⟨X1,…,Xn⟩\mathcal{F}_{n} \equiv \sigma \left\langle X_{1}, \ldots , X_{n}\right\rangle, где {Yn}n≥1\left\{ Y_{n}\right\}_{n \geq 1} — последовательность неотрицательных констант такая, что ∑n=1∞Yn<∞\sum_{n = 1}^{\infty } Y_{n} < \infty. Покажите, что {Xn}n≥1\left\{ X_{n}\right\}_{n \geq 1} сходится п.н.

?
Задача 13.31

Пусть {τj}j≥1\left\{ \tau_{j}\right\}_{j \geq 1} — независимые показательные случайные величины с λj=Eτj,j≥1\lambda_{j} = E \tau_{j}, j \geq 1 такие, что ∑j=1∞1λj2<∞\sum_{j = 1}^{\infty } \frac{1}{\lambda_{j}^{2}} < \infty. Пусть T0=0,Tn=∑j=1nτjT_{0} = 0, T_{n} = \sum_{j = 1}^{n} \tau_{j}, n≥1,sn=∑j=1nλjn \geq 1, s_{n} = \sum_{j = 1}^{n} \lambda_{j}. Покажите, что {Xn≡Tn−sn}n≥1\left\{ X_{n} \equiv T_{n}-s_{n}\right\}_{n \geq 1} сходится п.н. и в среднеквадратичном.

?