4

Каноническая модель

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

Пусть F:R→[0,1]F: \mathbb {R} \rightarrow [0,1] — функция распределения.

?
(a)

Покажите, что существует вероятностное пространство (Ω,A,P)(\Omega , \mathscr {A}, \mathbb {P}) и случайная величина XX такие, что F(x)=P(X⩽x)F(x) = \mathbb {P}\left(X \leqslant x\right).

(b)

Покажите, что существует вероятностное пространство (Ω,A,P)(\Omega , \mathscr {A}, \mathbb {P}) и независимая одинаково распределённая последовательность случайных величин XnX_{n} такие, что F(x)=P(Xn⩽x)F(x) = \mathbb {P}\left(X_{n} \leqslant x\right).

(c)

Сформулируйте и докажите соответствующие утверждения для dd - мерного случая.

Задача 4.2

Покажите, что существует случайный процесс (Xt)t⩾0\left(X_{t}\right)_{t \geqslant 0} такой, что случайные величины XtX_{t} независимы и распределены как N(0,t)\mathrm{N}(0, t). Этот процесс также удовлетворяет

P(lim⁡s→tXs существует)=0,∀t>0 \mathbb {P}\left(\lim _{s \to t} X_s \text{ существует}\right) = 0, \quad \forall t > 0
?
Задача 4.3

Пусть SS — произвольное множество, а E\mathscr {E} — семейство подмножеств SS. Докажите, что

σ(E)=⋃{σ(C):C⊂E,C is countable } \sigma (\mathscr {E}) = \bigcup \left\{ \sigma (\mathscr {C}): \mathscr {C} \subset \mathscr {E}, \mathscr {C} \text{ is countable }\right\}
?
Задача 4.4

Пусть ∅≠E∈B(Rd)\emptyset \neq E \in \mathscr {B}\left(\mathbb {R}^{d}\right) содержит не менее двух элементов, и пусть ∅≠I⊂[0,∞)\emptyset \neq I \subset [0, \infty ) — произвольное индексное множество. Обозначим через EIE^{I} произведение пространств EI={f:f:I→E}E^{I} = \left\{ f: f: I \rightarrow E\right\}, которое мы наделяем естественной топологией произведения (т.е. fn→ff_{n} \rightarrow f тогда и только тогда, когда fn(t)→f(t)f_{n}(t) \rightarrow f(t) для каждого t∈I)t \in I). Тогда мы можем определить борелевскую σ\sigma - алгебру B(EI)\mathscr {B}\left(E^{I}\right) и σ\sigma - алгебру произведения BI(E):=σ(πt:t∈I)\mathscr {B}^{I}(E): = \sigma \left(\pi_{t}: t \in I\right), где πt:EI→E,πt(f):=f(t)\pi_{t}: E^{I} \rightarrow E, \pi_{t}(f): = f(t) — каноническая проекция на tt-ю координату.

?
(a)

Покажите, что для каждого B∈BI(E)B \in \mathscr {B}^{I}(E) существует счётное множество J⊂IJ \subset I и множество A∈BJ(E)A \in \mathscr {B}^{J}(E) такие, что B=πJ−1(A).(πJB = \pi_{J}^{ - 1}(A) .\left(\pi_{J}\right. — координатная проекция πJ:EI→EJ.)\left.\pi_{J}: E^{I} \rightarrow E^{J}.\right).

(b)

Если II несчётно, то каждое ∅≠B∈BI(E)\emptyset \neq B \in \mathscr {B}^{I}(E) несчётно.

(c)

Покажите, что BI(E)⊂B(EI)\mathscr {B}^{I}(E) \subset \mathscr {B}\left(E^{I}\right).

(d)

Если II несчётно, то BI(E)≠B(EI)\mathscr {B}^{I}(E) \neq \mathscr {B}\left(E^{I}\right).

(e)

Если II счётно, то BI(E)=B(EI)\mathscr {B}^{I}(E) = \mathscr {B}\left(E^{I}\right).

Задача 4.5

Пусть μ\mu — вероятностная мера на (Rd,B(Rd)),v∈Rd\left(\mathbb {R}^{d}, \mathscr {B}\left(\mathbb {R}^{d}\right)\right), v \in \mathbb {R}^{d}, и рассмотрим dd-мерный стохастический процесс Xt(ω):=ω+tv,t⩾0X_{t}(\omega ): = \omega +t v, t \geqslant 0, на вероятностном пространстве (Rd,B(Rd),μ)\left(\mathbb {R}^{d}, \mathscr {B}\left(\mathbb {R}^{d}\right), \mu \right). Дайте интерпретацию XtX_{t}, если μ=δx\mu = \delta_{x} для некоторого x∈Rdx \in \mathbb {R}^{d}, и найдите семейство конечномерных распределений (Xt)t⩾0\left(X_{t}\right)_{t \geqslant 0}.

?
Задача 4.6

Пусть B=(Bt)t∈[0,1]B = \left(B_{t}\right)_{t \in [0,1]} — BM1\mathrm{BM}^{1}, и положим W=(Wt)t∈[0,1]W = \left(W_{t}\right)_{t \in [0,1]}, где Wt:=Bt−tB1W_{t}: = B_{t} - t B_{1}.

?
(a)

Покажите, что WW — гауссовский процесс с нулевым средним, и найдите его ковариационную функцию.

(b)

Пусть 0=t0<t1<⋯<tn<10 = t_{0} < t_{1} < \cdots < t_{n} < 1. Покажите, что закон (Wt1,…,Wtn)\left(W_{t_{1}}, \ldots , W_{t_{n}}\right) имеет плотность p(x1,…,xn)p\left(x_{1}, \ldots , x_{n}\right) вида

2πgt1(x1)⋅gt2−t1(x2−x1)⋅…⋅gtn−tn−1(xn−1−xn)⋅g1−tn(xn) \sqrt{2 \pi } g_{t_{1}}\left(x_{1}\right) \cdot g_{t_{2} - t_{1}}\left(x_{2} - x_{1}\right) \cdot \ldots \cdot g_{t_{n} - t_{n - 1}}\left(x_{n - 1} - x_{n}\right) \cdot g_{1 - t_{n}}\left(x_{n}\right)

где gt(x)=(2π)−1/2exp⁡(−x2/2t)g_{t}(x) = (2 \pi )^{ - 1 / 2} \exp \left( - x^{2} / 2 t\right) — плотность N(0,t)\mathrm{N}(0, t).

(c)

Покажите, что закон (Wt1,…,Wtn)\left(W_{t_{1}}, \ldots , W_{t_{n}}\right) совпадает с законом (Bt1,…,Btn)\left(B_{t_{1}}, \ldots , B_{t_{n}}\right), обусловленным событием B1=0B_{1} = 0. Сравните это с упражнением 2.9(b).

(d)

Покажите, что процессы WW и W′:=(W1−t)t∈[0,1]W^{\prime }: = \left(W_{1 - t}\right)_{t \in [0,1]} имеют одинаковый вероятностный закон.

Задача 4.7

Пусть (C(o),B(C(o)),μ)\left(\mathcal{C}_{(\mathrm{o})}, \mathscr {B}\left(\mathcal{C}_{(\mathrm{o})}\right), \mu \right) — каноническое пространство Винера (предполагаем d=1d = 1 ). Теперь мы рассмотрим пространство C\mathcal{C}, снова наделённое метрикой локально равномерной сходимости и борелевской σ\sigma - алгеброй B(C)\mathscr {B}(\mathcal{C}). Несложно проверить, что

Лемма 4.1 остаётся справедливой в этом контексте. Определим Bt:C→RB_{t}: \mathcal{C} \rightarrow \mathbb {R} как координатную проекцию Bt(w)=w(t)B_{t}(w) = w(t), где w∈Cw \in \mathcal{C}, и соответствующие σ\sigma - алгебры

Ft=F[0,t]=σ(Bs,s∈[0,t]) and F[t,∞)=σ(Bs,s⩾t),t∈[0,∞]. \mathscr {F}_{t} = \mathscr {F}_{[0, t]} = \sigma \left(B_{s}, s \in [0, t]\right) \quad \text{ and } \quad \mathscr {F}_{[t, \infty )} = \sigma \left(B_{s}, s \geqslant t\right), \quad t \in [0, \infty ] .

Пусть h>0h > 0. (Канонический) оператор сдвига — это отображение θh:C→C,θhw(⋅)=w(⋅+h)\theta_{h}: \mathcal{C} \rightarrow \mathcal{C}, \theta_{h} w(\cdot ) = w(\cdot +h), т.е. (θhw)(t)=w(t+h)\left(\theta_{h} w\right)(t) = w(t+h).

?
(a)

Покажите, что Bt∘θh=Bt+hB_{t} \circ \theta_{h} = B_{t+h}. Найдите θh−1F\theta_{h}^{ - 1} F для F={Bt∈C}F = \left\{ B_{t} \in C\right\}.

(b)

Покажите, что θh:C(0)→C(0)\theta_{h}: \mathcal{C}_{(0)} \rightarrow \mathcal{C}_{(0)} является Ft+h/Ft\mathscr {F}_{t+h} / \mathscr {F}_{t} - и F[t+h,∞)/F[t,∞)\mathscr {F}_{[t+h, \infty )} / \mathscr {F}_{[t, \infty )} - измеримым.

(c)

Обозначим через τC(w)=inf⁡{s⩾0:BS(w)∈C}\tau_{C}(w) = \inf \left\{ s \geqslant 0: B_{S}(w) \in C\right\} и положим inf⁡∅:=∞\inf \emptyset : = \infty. Найдите выражение для θhτC:=τC∘θh\theta_{h} \tau_{C}: = \tau_{C} \circ \theta_{h} и покажите, что τC∘θh=τC−h\tau_{C} \circ \theta_{h} = \tau_{C} - h, если нам известно, что τC⩾h\tau_{C} \geqslant h.

Задача 4.8

Продолжим работу с постановкой, введённой в задаче 7. Обозначим через (C(0),B(C(0)),μ)\left(\mathcal{C}_{(0)}, \mathscr {B}\left(\mathcal{C}_{(0)}\right), \mu \right) каноническое пространство Винера и положим Ω=C,A=B(C)\Omega = \mathcal{C}, \mathscr {A} = \mathscr {B}(\mathcal{C}), Bt(w)=w(t)B_{t}(w) = w(t) для w∈Ωw \in \Omega, и определим для каждой вероятностной меры π\pi на (R,B(R))(\mathbb {R}, \mathscr {B}(\mathbb {R})) вероятностную меру Pπ\mathbb {P}^{\pi } на (Ω,B(C)(\Omega , \mathscr {B}(\mathcal{C}) ), сначала на «цилиндрических множествах»

Pπ({w:w(t0)∈C0,w(t1)∈C1,…,w(tn)∈Cn}):=∫C0μ({w:w(t1)+x∈C1,…,w(tn)+x∈Cn})π(dx), \begin{aligned} & \mathbb {P}^{\pi }\left(\left\{ w: w\left(t_{0}\right) \in C_{0}, w\left(t_{1}\right) \in C_{1}, \ldots , w\left(t_{n}\right) \in C_{n}\right\} \right) \\ & \quad : = \int _{C_{0}} \mu \left(\left\{ w: w\left(t_{1}\right)+x \in C_{1}, \ldots , w\left(t_{n}\right)+x \in C_{n}\right\} \right) \pi (d x), \end{aligned}

где n∈N0,t0=0<t1<⋯<tnn \in \mathbb {N}_{0}, t_{0} = 0 < t_{1} < \cdots < t_{n} и C0,C1,…,Cn∈B(R)C_{0}, C_{1}, \ldots , C_{n} \in \mathscr {B}(\mathbb {R}). Затем мера P\mathbb {P} продолжается, по теореме Колмогорова (теорема 4.8), на B(C)\mathscr {B}(\mathcal{C}).

?
(a)

Покажите, что отображение w↦B(⋅,w)={t↦Bt(w)}w \mapsto B(\cdot , w) = \left\{ t \mapsto B_{t}(w)\right\} измеримо.

(b)

Покажите, что BtB_{t}, относительно Pπ\mathbb {P}^{\pi } при π=δx\pi = \delta_{x}, является броуновским движением, начатым в B0=xB_{0} = x, т.е. процессом, удовлетворяющим (B1), (B2), (B4) и B0=xB_{0} = x вместо (B0), и Bt∼N(x,t)B_{t} \sim \mathrm{N}(x, t) вместо (B3).

(c)

Дайте интерпретацию того, что означает Pπ\mathbb {P}^{\pi } на уровне траекторий.

Задача 4.9

Пусть B=(Bt)t⩾0B = \left(B_{t}\right)_{t \geqslant 0} — каноническое BM1\mathrm{BM}^{1} на пространстве Винера (Ω,A,P)=(C(0),B(C(0)),μ)(\Omega , \mathscr {A}, \mathbb {P}) = \left(\mathcal{C}_{(0)}, \mathscr {B}\left(\mathcal{C}_{(0)}\right), \mu \right) и Ft:=σ(Bs,s⩽t),F∞=σ(⋃t⩾0Ft)\mathscr {F}_{t}: = \sigma \left(B_{s}, s \leqslant t\right), \mathscr {F}_{\infty } = \sigma \left(\bigcup_{t \geqslant 0} \mathscr {F}_{t}\right) — фильтрация, порождённая BB. Покажите, что для F∈F∞F \in \mathscr {F}_{\infty } следующие утверждения эквивалентны:

?
(a)

F∈FtF \in \mathscr {F}_{t};

(b)

Пусть ω∈F\omega \in F и ω′∈Ω\omega^{\prime } \in \Omega. Если для всех s⩽ts \leqslant t выполнено Bs(ω)=Bs(ω′)B_{s}(\omega ) = B_{s}\left(\omega^{\prime }\right), то ω′∈F\omega^{\prime } \in F.

Замечание. Эта тема будет продолжена в задаче 5.23. Данный тест на самом деле справедлив для всех процессов с непрерывными траекториями (с тем же рассуждением, что и для броуновского движения), и, с некоторыми дополнительными шагами, его можно ослабить до процессов, чьи траектории непрерывны справа и имеют конечные левые пределы.