3

Конструкции броуновского движения

[10/100%]
Показать
LaTeX
Задача 3.1

Используя представление Леви - Чисельского B(t)=∑n=0∞GnSn(t),t∈[0,1]B(t) = \sum_{n = 0}^{\infty } G_{n} S_{n}(t), t \in [0,1], получите представление в виде ряда для X:=∫01B(t)dtX: = \int_{0}^{1} B(t) d t и найдите распределение XX.

?
Задача 3.2

Пусть (Gn)n⩾0\left(G_{n}\right)_{n \geqslant 0} — последовательность независимых одинаково распределённых гауссовских случайных величин N(0,1)\mathrm{N}(0,1), (ϕn)n⩾0\left(\phi_{n}\right)_{n \geqslant 0} — полная ортонормированная система в L2([0,1],dt)L^{2}([0,1], d t), B∈B[0,1]B \in \mathscr {B}[0,1] — измеримое множество, и определим WN(B):=∑n=0N−1Gn⟨  1B,ϕn⟩L2W_{N}(B): = \sum_{n = 0}^{N - 1} G_{n} \left\langle \; \mathbb {1}_{B}, \phi_{n} \right\rangle_{L^{2}}.

?
(a)

Покажите, что предел W(B):=lim⁡N→∞WN(B)W(B): = \lim_{N \rightarrow \infty } W_{N}(B) существует в L2(P)L^{2}(\mathbb {P}).

(b)

Найдите EW(A)W(B)\mathbb {E} W(A) W(B) для множеств A,B∈B[0,1]A, B \in \mathscr {B}[0,1].

(c)

Покажите, что B↦μ(B):=E[∣W(B)∣2]B \mapsto \mu (B): = \mathbb {E}\left[\left|W(B)\right|^{2}\right] является мерой. Является ли B↦W(B)B \mapsto W(B) мерой?

(d)

Пусть S\mathcal{S} обозначает все ступенчатые функции вида f(t):=∑j<∞cj  1Bj(t)f(t): = \sum_{j < \infty } c_{j} \; \mathbb {1}_{B_{j}}(t), где cj∈Rc_{j} \in \mathbb {R} и Bj∈B[0,1]B_{j} \in \mathscr {B}[0,1]. Покажите, что оператор I(f):=∑jcjW(Bj)I(f): = \sum_{j} c_{j} W\left(B_{j}\right) корректно определён (т.е. не зависит от конкретного представления ступенчатой функции).

(e)

Покажите, что E[∣I(f)∣2]=∫∣f∣2dμ\mathbb {E}\left[\left|I(f)\right|^{2}\right] = \int \left|f\right|^{2} d \mu, и используйте эту изометрию между L2([0,1],μ)L^{2}([0,1], \mu ) и L2(P)L^{2}(\mathbb {P}), чтобы продолжить II на все f∈L2([0,1],μ)f \in L^{2}([0,1], \mu ).

Замечание. Если взять B=[0,t]B = [0, t], то Wt:=W([0,t]),t∈[0,1]W_{t}: = W([0, t]), t \in [0,1], является броуновским движением. Подробнее об этом можно узнать в [231, главы 9, 10].

Задача 3.3

Пусть ϕn=Hn,n=0,1,2,…\phi_{n} = H_{n}, n = 0,1,2, \ldots, — функции Хаара. Следующие шаги показывают, что полная последовательность WN(t,ω):=∑n=0N−1Gn(ω)Sn(t),N=1,2,…W_{N}(t, \omega ): = \sum_{n = 0}^{N - 1} G_{n}(\omega ) S_{n}(t), N = 1,2, \ldots, сходится равномерно для P\mathbb {P} - почти всех ω∈Ω\omega \in \Omega.

?
(a)

Пусть (an)n⩾0⊂R\left(a_{n}\right)_{n \geqslant 0} \subset \mathbb {R} — последовательность, удовлетворяющая an=O(nϵ)a_{n} = O\left(n^{\epsilon }\right) для некоторого ϵ∈(0,1/2)\epsilon \in (0,1 / 2). Покажите, что ∑n=0∞anSn(t)\sum_{n = 0}^{\infty } a_{n} S_{n}(t) сходится абсолютно и равномерно по t∈[0,1]t \in [0,1].

(b)

Пусть (Gn)n⩾0\left(G_{n}\right)_{n \geqslant 0} — последовательность независимых одинаково распределённых случайных величин N(0,1)\mathrm{N}(0,1). Покажите, что почти наверное ∣Gn∣=O(log⁡n)\left|G_{n}\right| = O(\sqrt{\log n}).

Задача 3.4

Пусть (S,d)(S, d) — полное метрическое пространство, снабжённое σ\sigma - алгеброй B(S)\mathscr {B}(S) его борелевских множеств. Предположим, что (Xn)n⩾1\left(X_{n}\right)_{n \geqslant 1} — последовательность SS - значных случайных величин такая, что

lim⁡n→∞sup⁡m⩾nE[d(Xn,Xm)p]=0 \lim _{n \rightarrow \infty } \sup _{m \geqslant n} \mathbb {E}\left[d\left(X_{n}, X_{m}\right)^{p}\right] = 0

для некоторого p∈[1,∞)p \in [1, \infty ). Покажите, что существует подпоследовательность (nk)k⩾1\left(n_{k}\right)_{k \geqslant 1} и случайная величина XX такие, что lim⁡k→∞Xnk=X\lim_{k \rightarrow \infty } X_{n_{k}} = X почти наверное.

?
Примечание.
?

Если гипотезу усилить до lim⁡n→∞E[sup⁡m⩾nd(Xn,Xm)p]=0\lim_{n \rightarrow \infty } \mathbb {E}\left[\sup_{m \geqslant n} d(X_{n}, X_{m})^{p}\right] = 0, рассуждение существенно упрощается: это означает, что dn:=sup⁡m⩾nd(Xn,Xm)pd_{n}: = \sup_{m \geqslant n} d(X_{n}, X_{m})^{p} сходится к 00 в Lp(P;R)L^{p}(\mathbb {P}; \mathbb {R}), так что некоторая подпоследовательность (nk)k(n_{k})_{k} имеет lim⁡k→∞sup⁡m⩾nkd(Xnk,Xm)=0\lim_{k \rightarrow \infty } \sup_{m \geqslant n_{k}} d(X_{n_{k}}, X_{m}) = 0 почти наверное, откуда d(Xnk,Xnl)→0d(X_{n_{k}}, X_{n_{l}}) \rightarrow 0 при k,l→∞k, l \rightarrow \infty; полнота SS тогда непосредственно даёт Xnk→XX_{n_{k}} \rightarrow X.

Задача 3.5

Пусть (Xt)t⩾0\left(X_{t}\right)_{t \geqslant 0} и (Yt)t⩾0\left(Y_{t}\right)_{t \geqslant 0} — два случайных процесса, являющихся модификациями друг друга. Покажите, что они имеют одинаковые конечномерные распределения.

?
Задача 3.6

Пусть (Xt)t∈I\left(X_{t}\right)_{t \in I} и (Yt)t∈I\left(Y_{t}\right)_{t \in I} — два процесса с одним и тем же индексным множеством I⊂[0,∞)I \subset [0, \infty ) и пространством состояний. Покажите, что

X,Y неразличимы ⟹X,Y модификации ⟹X,Y эквивалентны.  X, Y \text{ неразличимы } \Longrightarrow X, Y \text{ модификации } \Longrightarrow X, Y \text{ эквивалентны. }

Предположим, что процессы заданы на одном и том же вероятностном пространстве, и t↦Xtt \mapsto X_{t} и t↦Ytt \mapsto Y_{t} непрерывны справа (или что II счётно). Верны ли обратные импликации?

?
Задача 3.7

Пусть (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} — вещественнозначный случайный процесс, все траектории которого непрерывны. Предположим, что (Bq)q∈Q∩[0,∞)\left(B_{q}\right)_{q \in \mathbb {Q} \cap [0, \infty )} удовлетворяет (B0) - (B3). Покажите, что (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} является БД.

?
Задача 3.8

Пусть X′,X′′,ZX^{\prime }, X^{\prime \prime }, Z — случайные векторы такие, что X′  ⊥ ⁣ ⁣ ⁣⊥  X′′X^{\prime } \; \perp \! \! \! \perp \; X^{\prime \prime } и (X′,X′′)  ⊥ ⁣ ⁣ ⁣⊥  Z\left(X^{\prime }, X^{\prime \prime }\right) \; \perp \! \! \! \perp \; Z. Покажите, что X′,X′′,ZX^{\prime }, X^{\prime \prime }, Z независимы.

?
Задача 3.9

Дайте прямое доказательство формулы (3.5), используя совместное распределение вероятностей (W(t0),W(t),W(t1))\left(W\left(t_{0}\right), W(t), W\left(t_{1}\right)\right) броуновского движения W(t)W(t).

?
Задача 3.10

Покажите, что существует случайный процесс (Wt)t∈R\left(W_{t}\right)_{t \in \mathbb {R}}, удовлетворяющий (B0) - (B4).

?