5

Броуновское движение как мартингал

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

Пусть (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} — BMd\mathrm{BM}^{d}, и предположим, что XX — dd - мерная случайная величина, независимая от F∞B\mathscr {F}_{\infty }^{B}.

?
(a)

Покажите, что F~t:=σ(X,Bs:s⩽t)\widetilde{\mathscr {F}}_{t}: = \sigma \left(X, B_{s}: s \leqslant t\right) определяет допустимую фильтрацию для (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0}.

(b)

Пополнение F‾tB\overline{\mathscr {F}}_{t}^{B} от FtB\mathscr {F}_{t}^{B} — это наименьшая σ\sigma - алгебра, содержащая FtB\mathscr {F}_{t}^{B} и все подмножества P\mathbb {P}-нулевых множеств. Покажите, что (F‾tB)t⩾0\left(\overline{\mathscr {F}}_{t}^{B}\right)_{t \geqslant 0} допустима.

Задача 5.2

Пусть (Ft)t⩾0\left(\mathscr {F}_{t}\right)_{t \geqslant 0} — допустимая фильтрация для броуновского движения (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0}. Повторите доказательство леммы 2.14 и покажите, что Ft  ⊥ ⁣ ⁣ ⁣⊥  F[t,∞)W:=σ(Bu−Bt:u⩾t)\mathscr {F}_{t} \; \perp \! \! \! \perp \; \mathscr {F}_{[t, \infty )}^{W}: = \sigma \left(B_{u} - B_{t}: u \geqslant t\right) для каждого t>0t > 0.

?
Задача 5.3

Пусть (Xt,Ft)t⩾0\left(X_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} — мартингал, и обозначим через Ft∗\mathscr {F}_{t}^{*} пополнение Ft\mathscr {F}_{t} (пополнение означает добавление всех подмножеств P\mathbb {P} - нулевых множеств).

?
(a)

Покажите, что (Xt,Ft∗)t⩾0\left(X_{t}, \mathscr {F}_{t}^{*}\right)_{t \geqslant 0} — мартингал.

(b)

Пусть (X~t)t⩾0\left(\widetilde{X}_{t}\right)_{t \geqslant 0} — модификация (Xt)t⩾0\left(X_{t}\right)_{t \geqslant 0}. Покажите, что (X~t,Ft∗)t⩾0\left(\widetilde{X}_{t}, \mathscr {F}_{t}^{*}\right)_{t \geqslant 0} — мартингал.

Задача 5.4

Пусть (Xt,Ft)t⩾0\left(X_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} — субмартингал с непрерывными траекториями и Ft+=⋂u>tFu\mathscr {F}_{t+} = \bigcap_{u > t} \mathscr {F}_{u}. Покажите, что (Xt,Ft+)t⩾0\left(X_{t}, \mathscr {F}_{t+}\right)_{t \geqslant 0} снова субмартингал.

?
Задача 5.5

Пусть (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} — BM1\mathrm{BM}^{1}. Найдите многочлен π(t,x)\pi (t, x) от xx и tt, который является многочленом 4-й степени по переменной xx, такой что π(t,Bt)\pi \left(t, B_{t}\right) — мартингал.

?
Задача 5.6

Эта задача содержит рецепт получения «полиномиальных» мартингалов со старшим членом BtnB_{t}^{n}, где (Bt,Ft)t⩾0\left(B_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} — BM1\mathrm{BM}^{1}.

?
(a)

Мы знаем, что Mtξ:=exp⁡(ξBt−12ξ2t),t⩾0,ξ∈RM_{t}^{\xi }: = \exp \left(\xi B_{t} - \frac{1}{2} \xi^{2} t\right), t \geqslant 0, \xi \in \mathbb {R}, — мартингал. Продифференцируйте E[Mtξ  1F]=E[Msξ  1F],F∈Fs,s⩽t\mathbb {E}\left[M_{t}^{\xi } \; \mathbb {1}_{F}\right] = \mathbb {E}\left[M_{s}^{\xi } \; \mathbb {1}_{F}\right], F \in \mathscr {F}_{s}, s \leqslant t, при ξ=0\xi = 0 и покажите, что

Bt2−t,Bt3−3tBt,Bt4−6tBt2+3t2,… B_{t}^{2} - t, \quad B_{t}^{3} - 3 t B_{t}, \quad B_{t}^{4} - 6 t B_{t}^{2}+3 t^{2}, \quad \ldots

являются мартингалами.

(b)

Найдите общее выражение для многочлена b↦Pn(b,ξ)b \mapsto P_{n}(b, \xi ) степени nn, такого что Pn(Bt,0)P_{n}\left(B_{t}, 0\right) — мартингал.

(c)

Пусть τ=τ(−a,b)c\tau = \tau_{( - a, b)^{c}} — момент первого выхода броуновского движения (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} из интервала (−a,b)( - a, b) с −a<0<b- a < 0 < b. Покажите, что

E[τ2]⩽4E[Bτ4] and E[Bτ4]⩽36E[τ2].  \mathbb {E}\left[\tau ^{2}\right] \leqslant 4 \mathbb {E}\left[B_{\tau }^{4}\right] \text{ and } \mathbb {E}\left[B_{\tau }^{4}\right] \leqslant 36 \mathbb {E}\left[\tau ^{2}\right] \text{. }
Задача 5.7

Пусть (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} — BMd\mathrm{BM}^{d}. Найдите все c∈Rc \in \mathbb {R}, при которых Eec∣Bt∣\mathbb {E} e^{c\left|B_{t}\right|} и Eec∣Bt∣2\mathbb {E} e^{c\left|B_{t}\right|^{2}} конечны.

?
Задача 5.8

Пусть p(t,x)=(2πt)−d/2exp⁡(−∣x∣2/(2t)),x∈Rd,t>0p(t, x) = (2 \pi t)^{ - d / 2} \exp \left( - \left|x\right|^{2} /(2 t)\right), x \in \mathbb {R}^{d}, t > 0 — переходная плотность dd - мерного броуновского движения.

?
(a)

Покажите, что p(t,x)p(t, x) является решением уравнения теплопроводности, т.е.

∂∂tp(t,x)=12Δxp(t,x)=12∑j=1d∂2∂xj2p(t,x),x∈Rd,t>0. \frac{\partial }{\partial t} p(t, x) = \frac{1}{2} \Delta _{x} p(t, x) = \frac{1}{2} \sum _{j = 1}^{d} \frac{\partial ^{2}}{\partial x_{j}^{2}} p(t, x), \quad x \in \mathbb {R}^{d}, t > 0.
(b)

Пусть f∈C1,2((0,∞)×Rd)∩C([0,∞)×Rd)f \in \mathcal{C}^{1,2}\left((0, \infty ) \times \mathbb {R}^{d}\right) \cap \mathcal{C}\left([0, \infty ) \times \mathbb {R}^{d}\right) таково, что для некоторых постоянных c,ct>0c, c_{t} > 0 и всех x∈Rd,t>0x \in \mathbb {R}^{d}, t > 0

∣f(t,x)∣+∣∂f(t,x)∂t∣+∑j=1d∣∂f(t,x)∂xj∣+∑j,k=1d∣∂2f(t,x)∂xj∂xk∣⩽ctec∣x∣. \left|f(t, x)\right|+\left|\frac{\partial f(t, x)}{\partial t}\right|+\sum _{j = 1}^{d}\left|\frac{\partial f(t, x)}{\partial x_{j}}\right|+\sum _{j, k = 1}^{d}\left|\frac{\partial ^{2} f(t, x)}{\partial x_{j} \partial x_{k}}\right| \leqslant c_{t} e^{c\left|x\right|} .

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

∫p(t,x)12Δxf(t,x)dx=∫f(t,x)12Δxp(t,x)dx. \int p(t, x) \frac{1}{2} \Delta _{x} f(t, x) d x = \int f(t, x) \frac{1}{2} \Delta _{x} p(t, x) d x .
Задача 5.9

Пусть (Bt,Ft)t⩾0\left(B_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} — BM1\mathrm{BM}^{1}. Покажите, что Xt=exp⁡(aBt+bt),t⩾0X_{t} = \exp \left(a B_{t}+b t\right), t \geqslant 0, является мартингалом тогда и только тогда, когда a2/2+b=0a^{2} / 2+b = 0.

?
Задача 5.10

Пусть (Bt,Ft)t⩾0\left(B_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} — одномерное броуновское движение. Какие из следующих процессов являются мартингалами?

?
(a)

Ut=ecBt,c∈RU_{t} = e^{c B_{t}}, c \in \mathbb {R};

(b)

Vt=tBt−∫0tBsdsV_{t} = t B_{t} - \int_{0}^{t} B_{s} d s;

(c)

Wt=Bt3−tBtW_{t} = B_{t}^{3} - t B_{t};

(d)

Xt=Bt3−3∫0tBsdsX_{t} = B_{t}^{3} - 3 \int_{0}^{t} B_{s} d s;

(e)

Yt=13Bt3−tBtY_{t} = \frac{1}{3} B_{t}^{3} - t B_{t}

(f)

Zt=eBt−ct,c∈RZ_{t} = e^{B_{t} - c t}, c \in \mathbb {R}.

Задача 5.11

Пусть (Bt,Ft)t⩾0\left(B_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} — одномерное броуновское движение и f∈C1(R)f \in \mathcal{C}^{1}(\mathbb {R}). Покажите, что Mt:=f(t)Bt−∫0tf′(s)BsdsM_{t}: = f(t) B_{t} - \int_{0}^{t} f^{\prime }(s) B_{s} d s является мартингалом.

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

Формальное интегрирование по частям даёт Mt=∫0tf(s) dBsM_{t} = \int_{0}^{t} f(s) \, dB_{s} (интеграл Винера--Ито); это можно строго обосновать, ср. замечание 13.5 и главу 15. Заметим, что t↦Btt \mapsto B_{t} имеет неограниченную вариацию (следствие 9.2), поэтому ∫0tf(s) dBs\int_{0}^{t} f(s)\, dB_{s} нельзя определить для всех непрерывных f∈C(R)f \in \mathcal{C}(\mathbb {R}) классическим (римана--стилтьесовским) способом, ср. следствие A.36 и замечание A.37.

Задача 5.12

Пусть (Bt,Ft)t⩾0\left(B_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} — BMd\mathrm{BM}^{d}. Покажите, что Xt=1d∣Bt∣2−t,t⩾0X_{t} = \frac{1}{d}\left|B_{t}\right|^{2} - t, t \geqslant 0, является мартингалом.

?
Задача 5.13

Пусть (Xt,Ft)t⩾0\left(X_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} — dd - мерный стохастический процесс и A,An,C∈B(Rd),n⩾1A, A_{n}, C \in \mathscr {B}\left(\mathbb {R}^{d}\right), n \geqslant 1. Тогда

?
(a)

A⊂CA \subset C влечёт τA∘⩾τC∘\tau_{A}^{\circ } \geqslant \tau_{C}^{\circ } и τA⩾τC\tau_{A} \geqslant \tau_{C};

(b)

τA∪C∘=min⁡{τA∘,τC∘}\tau_{A \cup C}^{\circ } = \min \left\{ \tau_{A}^{\circ }, \tau_{C}^{\circ }\right\} и τA∪C=min⁡{τA,τC}\tau_{A \cup C} = \min \left\{ \tau_{A}, \tau_{C}\right\};

(c)

τA∩C∘⩾max⁡{τA∘,τC∘}\tau_{A \cap C}^{\circ } \geqslant \max \left\{ \tau_{A}^{\circ }, \tau_{C}^{\circ }\right\} и τA∩C⩾max⁡{τA,τC}\tau_{A \cap C} \geqslant \max \left\{ \tau_{A}, \tau_{C}\right\};

(d)

если A=⋃n⩾1AnA = \bigcup_{n \geqslant 1} A_{n}, то τA∘=inf⁡n⩾1τAn∘\tau_{A}^{\circ } = \inf_{n \geqslant 1} \tau_{A_{n}}^{\circ } и τA=inf⁡n⩾1τAn\tau_{A} = \inf_{n \geqslant 1} \tau_{A_{n}};

(e)

τA=inf⁡n⩾1(1n+τn∘)\tau_{A} = \inf_{n \geqslant 1}\left(\frac{1}{n}+\tau_{n}^{\circ }\right), где τn∘=inf⁡{s⩾0:XS+1/n∈A}\tau_{n}^{\circ } = \inf \left\{ s \geqslant 0: X_{S+1 / n} \in A\right\};

(f)

найдите пример множества AA, для которого τA∘<τA\tau_{A}^{\circ } < \tau_{A}.

Задача 5.14

Пусть U⊂RdU \subset \mathbb {R}^{d} — открытое множество, и предположим, что (Xt)t⩾0\left(X_{t}\right)_{t \geqslant 0} — стохастический процесс с непрерывными траекториями. Покажите, что τU=τU∘\tau_{U} = \tau_{U}^{\circ }.

?
Задача 5.15

Покажите, что функция d(x,A):=inf⁡y∈A∣x−y∣,A⊂Rdd(x, A): = \inf_{y \in A}\left|x - y\right|, A \subset \mathbb {R}^{d}, непрерывна.

?
Задача 5.16

Пусть (Xt,Ft)t⩾0\left(X_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} — вещественнозначный процесс, траектории t↦Xt(ω)t \mapsto X_{t}(\omega ) которого (п.н.) непрерывны справа и имеют конечные пределы слева (это свойство часто называют "кадлаг"). Предположим дополнительно, что XX квазинепрерывен слева, т.е. для всякой последовательности моментов остановки (τn)n⩾1\left(\tau_{n}\right)_{n \geqslant 1}, возрастающей к моменту остановки τ\tau, имеем lim⁡n→∞Xτn=Xτ\lim_{n \rightarrow \infty } X_{\tau_{n}} = X_{\tau } п.н. на множестве {τ<∞}\left\{ \tau < \infty \right\}. Покажите, что утверждение леммы 5.8 остаётся справедливым для таких процессов, если фильтрация содержит все подмножества измеримых нулевых множеств.

?
Задача 5.17

Предположим, что процессы в лемме 5.7 или в лемме 5.8 являются лишь "почти наверное непрерывными справа", соотв. "почти наверное непрерывными". Укажите все шаги в доказательствах, где это становится существенным, и покажите, что утверждения остаются справедливыми, если фильтрации FtX\mathscr {F}_{t}^{X} и Ft+X\mathscr {F}_{t+}^{X} пополнены так, что они содержат все подмножества измеримых нулевых множеств.

?
Задача 5.18

Пусть τ\tau — момент остановки. Проверьте, что Fτ\mathscr {F}_{\tau } и Fτ+\mathscr {F}_{\tau +} являются σ\sigma - алгебрами.

?
Задача 5.19

Пусть τ\tau — момент остановки для фильтрации (Ft)t⩾0\left(\mathscr {F}_{t}\right)_{t \geqslant 0}. Покажите, что

?
(a)

F∈Fτ+⟺∀t⩾0:F∩{τ<t}∈FtF \in \mathscr {F}_{\tau +} \Longleftrightarrow \forall t \geqslant 0: F \cap \left\{ \tau < t\right\} \in \mathscr {F}_{t};

(b)

τ∧t\tau \wedge t снова является моментом остановки;

(c)

{τ⩽t}∈Fτ∧t\left\{ \tau \leqslant t\right\} \in \mathscr {F}_{\tau \wedge t} для всех t⩾0t \geqslant 0.

Задача 5.20

Пусть τ:=τ(−a,b)c∘\tau : = \tau_{( - a, b)^{c}}^{\circ } — момент первого попадания BM1\mathrm{BM}^{1} в множество (−a,b)c( - a, b)^{c}.

?
(a)

Покажите, что τ\tau имеет конечные моменты Eτn\mathbb {E} \tau^{n} любого порядка n⩾1n \geqslant 1.

(b)

Вычислите E∫0τBsds\mathbb {E} \int_{0}^{\tau } B_{s} d s.

Задача 5.21

Пусть (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} — BMd\mathrm{BM}^{d}. Найдите EτR\mathbb {E} \tau_{R}, где τR=inf⁡{t⩾0:∣Bt∣=R}\tau_{R} = \inf \left\{ t \geqslant 0:\left|B_{t}\right| = R\right\}.

?
Задача 5.22

Пусть (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} — BM1\mathrm{BM}^{1}, а σ,τ\sigma , \tau — два момента остановки такие, что Eτ,Eσ<∞\mathbb {E} \tau , \mathbb {E} \sigma < \infty.

?
(a)

Покажите, что σ∧τ\sigma \wedge \tau является моментом остановки.

(b)

Покажите, что {σ⩽τ}∈Fσ∧τ\left\{ \sigma \leqslant \tau \right\} \in \mathscr {F}_{\sigma \wedge \tau }.

(c)

Покажите, что E[BτBσ]=E[τ∧σ]\mathbb {E}\left[B_{\tau } B_{\sigma }\right] = \mathbb {E}\left[\tau \wedge \sigma \right].

(d)

Выведите из c), что E[∣Bτ−Bσ∣2]=E[∣τ−σ∣]\mathbb {E}\left[\left|B_{\tau } - B_{\sigma }\right|^{2}\right] = \mathbb {E}\left[\left|\tau - \sigma \right|\right].

Задача 5.23

Пусть B=(Bt)t⩾0B = \left(B_{t}\right)_{t \geqslant 0} — каноническое BM⁡1\operatorname {BM}^{1} на винеровском пространстве (Ω,A,P)=(C(o),B(C(0)),μ)(\Omega , \mathscr {A}, \mathbb {P}) = \left(\mathcal{C}_{(\mathrm{o})}, \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. Покажите, что следующие утверждения эквивалентны:

?
(a)

τ\tau является моментом остановки для (Ft)t⩾0\left(\mathscr {F}_{t}\right)_{t \geqslant 0}, т.е. {τ⩽t}∈Ft\left\{ \tau \leqslant t\right\} \in \mathscr {F}_{t} для всех t⩾0t \geqslant 0;

(b)

Если ω,ω′∈Ω\omega , \omega^{\prime } \in \Omega удовлетворяют τ(ω)=t\tau (\omega ) = t и Bs(ω)=Bs(ω′)B_{s}(\omega ) = B_{s}\left(\omega^{\prime }\right) для всех s⩽ts \leqslant t, то τ(ω′)=t\tau \left(\omega^{\prime }\right) = t.

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

В формулировке теста мы можем заменить τ(ω)=t\tau (\omega )=t и τ(ω′)=t\tau (\omega^{\prime })=t на τ(ω)⩽t\tau (\omega ) \leqslant t и τ(ω′)⩽t\tau (\omega^{\prime }) \leqslant t.