20

Винеровский хаос и итерированные интегралы Винера–Ито

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

Покажите, что определение двойного интеграла Ито для внедиагональных простых функций (определение 20.4) не зависит от представления простой функции.

?
Задача 20.2

Повторите вычисление из конца примера 20.5 для общей меры μ\mu. Что происходит на диагонали?

?
Задача 20.3

Покажите, что определение итерированного интеграла Ито для f∈L2(R+2)f \in L^{2}\left(\mathbb {R}_{+}^{2}\right) (определение 20.9) не зависит от аппроксимирующей последовательности.

?
Задача 20.4

Покажите, что многочлены Эрмита линейно независимы.

?
Задача 20.5

Пусть f,g∈L2(R+)f, g \in L^{2}\left(\mathbb {R}_{+}\right) и предположим, что f  ⊥ ⁣ ⁣ ⁣⊥  gf \; \perp \! \! \! \perp \; g, т.е. ∫R+f(t)g(t)dt=0\int_{\mathbb {R}_{+}} f(t) g(t) d t = 0. Покажите, что I1(f)  ⊥ ⁣ ⁣ ⁣⊥  I1(g)I_{1}(f) \; \perp \! \! \! \perp \; I_{1}(g).

?
Задача 20.6

Пусть (X,Y)(X, Y) — гауссова случайная величина с нулевым средним. Покажите, что E[X2Y]=0\mathbb {E}\left[X^{2} Y\right] = 0. Используя это наблюдение, покажите, что I2(f)−∥f∥L22I^{2}(f) - \left\| f\right\|_{L^{2}}^{2} и K1:={I1(g):g∈L2(R+)}\mathcal{K}_{1}: = \left\{ I_{1}(g): g \in L^{2}\left(\mathbb {R}_{+}\right)\right\} ортогональны.

?
Задача 20.7

Выберем произвольный ортонормированный базис (ek)k⩾1\left(e_{k}\right)_{k \geqslant 1} пространства HH. Пусть α∈N0(∞)\alpha \in \mathbb {N}_{0}^{(\infty )}, т.е. α=(α1,…,αN,0,0,…)\alpha = \left(\alpha_{1}, \ldots , \alpha_{N}, 0,0, \ldots \right), где N∈NN \in \mathbb {N} и α1,…,αN∈N0\alpha_{1}, \ldots , \alpha_{N} \in \mathbb {N}_{0}, и определим eα:=⨂kek⊗αke_{\alpha }: = \bigotimes_{k} e_{k}^{\otimes \alpha_{k}}, т.е.

eα=⨂k=1∞ek⊗αk=e1⊗⋯⊗e1⏟α1 множителей ⊗⋯⊗ek⊗⋯⊗ek⏟αk множителей ⊗⋯ e_{\alpha } = \bigotimes _{k = 1}^{\infty } e_{k}^{\otimes \alpha _{k}} = \underbrace{e_{1} \otimes \cdots \otimes e_{1}}_{\alpha _{1} \text{ множителей }} \otimes \cdots \otimes \underbrace{e_{k} \otimes \cdots \otimes e_{k}}_{\alpha _{k} \text{ множителей }} \otimes \cdots

Договоримся, что e⊗0e^{\otimes 0} означает «опустить этот множитель», и ∣α∣=∑i=0∞αi\left|\alpha \right| = \sum_{i = 0}^{\infty } \alpha_{i}. Через e^α\widehat{e}_{\alpha } обозначим симметризацию eαe_{\alpha }.

?
(a)

⟨eα,eβ⟩L2(R+n)=δα,β\left\langle e_{\alpha }, e_{\beta } \right\rangle_{L^{2}\left(\mathbb {R}_{+}^{n}\right)} = \delta_{\alpha , \beta }, если ∣α∣=∣β∣=n\left|\alpha \right| = \left|\beta \right| = n.

(b)

∥e^α∥L2(R+n)=(∏1∞αk!)/n\left\| \hat{e}_{\alpha }\right\|_{L^{2}\left(\mathbb {R}_{+}^{n}\right)} = \left(\prod_{1}^{\infty } \alpha_{k} !\right) / n !

Задача 20.8

Пусть F,GF, G — гладкие ограниченные цилиндрические функции. Покажите, что

?
(a)

Dt(FG)=GDtF+FDtGD_{t}(F G) = G D_{t} F+F D_{t} G.

(b)

Dtm(FG)=∑k=0m(mk)DtkF⋅Dtm−kGD_{t}^{m}(F G) = \sum_{k = 0}^{m}\left(\begin{array}{c}m \\ k\end{array}\right) D_{t}^{k} F \cdot D_{t}^{m - k} G.

Задача 20.9

Пусть f∈L2(Rm+),g∈L2(Rn+)f \in L^{2}\left(\mathbb {R}_{m}^{+}\right), g \in L^{2}\left(\mathbb {R}_{n}^{+}\right) и предположим, что функции симметричны: f=f^f = \widehat{f}, g=g^g = \widehat{g}. Определим свёртку как

(f⊗rg)(t1,…,tm−r,s1,…,sn−r):=∫⋯∫R+rf(t1,…,tm−r,u1,…,ur)g(s1,…,sn−r,u1,…,ur)du1…dur \begin{aligned} & \left(f \otimes _{r} g\right)\left(t_{1}, \ldots , t_{m - r}, s_{1}, \ldots , s_{n - r}\right) \\ & : = \int \cdots \int _{\mathbb {R}_{+}^{r}} f\left(t_{1}, \ldots , t_{m - r}, u_{1}, \ldots , u_{r}\right) g\left(s_{1}, \ldots , s_{n - r}, u_{1}, \ldots , u_{r}\right) d u_{1} \ldots d u_{r} \end{aligned}

Покажите следующую формулу:

Im(f)In(g)=∑r=0n∧mr![mr][nr]In+m−2r(f⊗rg) I_{m}(f) I_{n}(g) = \sum _{r = 0}^{n \wedge m} r !\left[\begin{smallmatrix} m \\ r \end{smallmatrix}\right]\left[\begin{smallmatrix} n \\ r \end{smallmatrix}\right] I_{n+m - 2 r}\left(f \otimes _{r} g\right)
?
Задача 20.10

Используя формулу Ито, покажите, что для любых двух симметричных f,g∈L2(R+2)f, g \in L^{2}\left(\mathbb {R}_{+}^{2}\right)

I2(f)I2(g)=∑r=02r![2r][2r]I4−2r(f⊗rg) I_{2}(f) I_{2}(g) = \sum _{r = 0}^{2} r !\left[\begin{smallmatrix} 2 \\ r \end{smallmatrix}\right]\left[\begin{smallmatrix} 2 \\ r \end{smallmatrix}\right] I_{4 - 2 r}\left(f \otimes _{r} g\right)
?
Задача 20.11

Докажите (20.20), т.е. покажите, что E[BT2ne−BT2]=(2n−1)!!2T+1(T2T+1)n\mathbb {E}\left[B_{T}^{2 n} e^{ - B_{T}^{2}}\right] = \frac{(2 n - 1) ! !}{\sqrt{2 T+1}}\left(\frac{T}{2 T+1}\right)^{n}. Здесь (−1)!!:=1( - 1) ! !: = 1, (2n−1)!!=1⋅3⋅…⋅(2n−1)(2 n - 1) ! ! = 1 \cdot 3 \cdot \ldots \cdot (2 n - 1) — двойной факториал.

?
Задача 20.12

Пусть F=exp⁡[I1(g)−12∫0∞g2(s)ds]F = \exp \left[I_{1}(g) - \frac{1}{2} \int_{0}^{\infty } g^{2}(s) d s\right] для некоторого g∈L2(R+)g \in L^{2}\left(\mathbb {R}_{+}\right). Найдите все производные DkFD^{k} F, а также разложение в хаос Винера–Ито.

?
Задача 20.13

Найдите разложение в хаос Винера–Ито для следующих случайных величин (T>0T > 0 фиксировано):

?
(a)

exp⁡(BT−T/2)\exp \left(B_{T} - T / 2\right),

(b)

BT5B_{T}^{5},

(c)

∫01(r3Bt3+2tBt2)dBt\int_{0}^{1}\left(r^{3} B_{t}^{3}+2 t B_{t}^{2}\right) d B_{t},

(d)

∫01teBtdBt\int_{0}^{1} t e^{B_{t}} d B_{t}.

Задача 20.14

Найдите разложение в хаос Винера–Ито для следующих случайных величин (T>0T > 0 фиксировано):

?
(a)

sinh⁡(BT)\sinh \left(B_{T}\right)

(b)

cosh⁡(BT)\cosh \left(B_{T}\right).

Задача 20.15

Пусть D⊂L2(μ)\mathcal{D} \subset L^{2}(\mu ) и запишем Σ:=span⁡(D)\Sigma : = \operatorname {span}(\mathcal{D}). Покажите, что Σ\Sigma плотно тогда и только тогда, когда D\mathcal{D} является тотальным, т.е.

Σˉ=L2(μ)⟺[∀ϕ∈D:⟨u,ϕ⟩L2(μ)=0⟹u=0.] \bar{\Sigma } = L^{2}(\mu ) \Longleftrightarrow \left[\forall \phi \in \mathcal{D}: \left\langle u, \phi \right\rangle _{L^{2}(\mu )} = 0 \Longrightarrow u = 0.\right]
?