16

Стохастические интегралы: локализация

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

Пусть T<∞T < \infty. Верно ли, что LT0=LT, loc 2\mathcal{L}_{T}^{0} = \mathcal{L}_{T, \text{ loc }}^{2}?

?
Задача 16.2

Пусть τ\tau — момент остановки. Покажите, что   1[0,τ)\; \mathbb {1}_{[0, \tau )} является P\mathscr {P}-измеримым.

?
Задача 16.3

Если σn\sigma_{n} локализующая для локального мартингала, то таковой является и τn:=σn∧n\tau_{n}: = \sigma_{n} \wedge n.

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

Следствие: это даёт максимальное неравенство E[sup⁡s⩽T∣M(s∧τn)∣2]⩽Дуб4E[∣M(τn)∣2]⩽4E[∣M(n)∣2]\mathbb {E}\left[\sup_{s\leqslant T}\left|M(s\wedge \tau_{n})\right|^{2}\right] \overset {\text{Дуб}}{\leqslant } 4\mathbb {E}\left[\left|M(\tau_{n})\right|^{2}\right] \leqslant 4\mathbb {E}\left[\left|M(n)\right|^{2}\right].

Задача 16.4

Множитель   1{σn>0}\; \mathbb {1}_{\left\{ \sigma_{n} > 0\right\} } используется в определении локального мартингала, чтобы избежать требований интегрируемости для M0M_{0}. Точнее, если (σn)n⩾1\left(\sigma_{n}\right)_{n \geqslant 1} — локализующая последовательность, то

M0∈L1(P)&(Mt)t⩾0M_{0} \in L^{1}(\mathbb {P}) \& \left(M_{t}\right)_{t \geqslant 0} — локальный мартингал ⟺(Mσn∧t)t⩾0\Longleftrightarrow \left(M_{\sigma_{n} \wedge t}\right)_{t \geqslant 0} является мартингалом.

?
Задача 16.5

Пусть (It,Ft)t⩾0\left(I_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} — непрерывный согласованный процесс со значениями в [0,∞)[0, \infty ) и п.н. возрастающими траекториями. Положим для u⩾0u \geqslant 0

σu(ω):=inf⁡{t⩾0:It(ω)>u} и τu(ω):=inf⁡{t⩾0:It(ω)⩾u} \sigma _{u}(\omega ): = \inf \left\{ t \geqslant 0: I_{t}(\omega ) > u\right\} \quad \text{ и } \quad \tau _{u}(\omega ): = \inf \left\{ t \geqslant 0: I_{t}(\omega ) \geqslant u\right\}

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

?
(a)

σu⩾t⟺It⩽u\sigma_{u} \geqslant t \Longleftrightarrow I_{t} \leqslant u и τu>t⟺It<u\tau_{u} > t \Longleftrightarrow I_{t} < u.

(b)

τu\tau_{u} является Ft\mathscr {F}_{t}-моментом остановки, а σu\sigma_{u} является Ft+\mathscr {F}_{t+}-моментом остановки.

(c)

u↦σuu \mapsto \sigma_{u} непрерывно справа, а u↦τuu \mapsto \tau_{u} непрерывно слева.

(d)

τu=σu−=lim⁡ϵ↓0σu−ϵ\tau_{u} = \sigma_{u - } = \lim_{\epsilon \downarrow 0} \sigma_{u - \epsilon }.

(e)

u↦τu,u↦σuu \mapsto \tau_{u}, u \mapsto \sigma_{u} непрерывны, если t↦Itt \mapsto I_{t} строго возрастает.