27

Экскурсии броуновского движения

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

Пусть WW — броуновское движение, x>0x>0, и T=inf⁡{t>0:Wt=x}T=\inf \left\{ t>0: W_{t}=x\right\}. Если LtxL_{t}^{x} — локальное время в точке xx, покажите, что распределение LTxL_{T}^{x} является показательной случайной величиной. Определите параметр этой показательной случайной величины.

?
Задача 27.2

Пусть WW — одномерное броуновское движение. Это упражнение просит вас доказать, что нормализованное число пересечений снизу вверх (даункроссингов) к моменту времени tt сходится к локальному времени в 0. Если a>0a>0, пусть S0=0S_{0}=0, T0=inf⁡{t:Wt=a}T_{0}=\inf \left\{ t: W_{t}=a\right\}, и для i≥1i \geq 1

Si=inf⁡{t>Ti−1:Wt=0},Ti=inf⁡{t>Si:Wt=a} S_{i}=\inf \left\{ t>T_{i-1}: W_{t}=0\right\} , \quad T_{i}=\inf \left\{ t>S_{i}: W_{t}=a\right\}

Тогда Dt(a)D_{t}(a), число даункроссингов до момента времени tt, определяется как sup⁡{k:Sk≤t}\sup \left\{ k: S_{k} \leq t\right\}. Докажите, что существует константа cc такая, что

lim⁡a→0aDt(a)=cLt0, п.н.  \lim _{a \rightarrow 0} a D_{t}(a)=c L_{t}^{0}, \quad \text{ п.н. }

где Lt0L_{t}^{0} — локальное время в 0 процесса WW. Определите cc.

Указание: используйте Упражнение 18.5.

?
Задача 27.3

Пусть (Xt,P[x])\left(X_{t}, \mathbb {P}[x]\right) — броуновское движение.

?
(1)

Используя принцип отражения, найдите

P0(Xs>−a для всех s≤r). \mathbb {P}_{0}\left(X_{s}>-a \text{ для всех } s \leq r\right) .

Это то же самое, что Pa(T0>r)\mathbb {P}_{a}\left(T_{0}>r\right), где T0T_{0} — момент первого попадания броуновского движения в 0.

(2)

Пусть

A(a,r)={f∈E:sup⁡f(t)>a,σf>r},B(r)={f∈E:σf>r,sup⁡f(t)>0}, A(a, r)=\left\{ f \in \mathcal{E}: \sup f(t)>a, \sigma _{f}>r\right\} , \quad B(r)=\left\{ f \in \mathcal{E}: \sigma _{f}>r, \sup f(t)>0\right\} ,

и

C(a)={f∈E:sup⁡f(t)>a}. C(a)=\left\{ f \in \mathcal{E}: \sup f(t)>a\right\} .

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

m(B(r))=lim⁡a→0m(A(a,r))=lim⁡a→0[m(C(a))×Pa(T0>r)] m(B(r))=\lim _{a \rightarrow 0} m(A(a, r))=\lim _{a \rightarrow 0}\left[m(C(a)) \times \mathbb {P}_{a}\left(T_{0}>r\right)\right]

и, используя это и пункт (1), вычислите m(B(r))m(B(r)). По симметрии, m({f∈E:σf>r})m\left(\left\{ f \in \mathcal{E}: \sigma_{f}>r\right\} \right) будет вдвое больше значения m(B(r))m(B(r)).

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

Пусть E\mathcal{E} — совокупность непрерывных функций ff с областью определения [0,∞)[0, \infty ), для которых существует положительное вещественное число σf\sigma_{f} такое, что f(0)=0f(0)=0, f(σf)=0f\left(\sigma_{f}\right)=0, f(t)≠0f(t) \neq 0 при t∈(0,σf)t \in \left(0, \sigma_{f}\right), и f(t)=0f(t)=0 при t>σft>\sigma_{f} (снабжённая супремум-нормой). Для борелевского подмножества AA пространства E\mathcal{E} говорят, что броуновское движение WW совершило блуждание (экскурсию) в AA к моменту tt, если существуют момент времени uu и функция f∈Af \in A такие, что u+σf≤tu+\sigma_{f} \leq t и Wu+s(ω)=f(s)W_{u+s}(\omega )=f(s) для всех s≤σfs \leq \sigma_{f}. Пусть Kt(A)K_{t}(A) — число экскурсий WW в AA к моменту tt. При Tr=inf⁡{t>0:Lt0≥r}T_{r}=\inf \left\{ t>0: L_{t}^{0} \geq r\right\} и Nr(A)=KTr(A)N_{r}(A)=K_{T_{r}}(A) мера экскурсий определяется как m(A)=E0[N1(A)]m(A)=\mathbb {E}_{0}\left[N_{1}(A)\right].

Задача 27.4

Пусть WW — броуновское движение. Пусть Et(r)E_{t}(r) — число экскурсий длины больше rr, завершившихся к моменту tt. Экскурсия длины больше rr означает, что σf>r\sigma_{f}>r. Покажите, что существует константа cc такая, что

lim⁡r→0rEt(r)=cLt0, п.н.  \lim _{r \rightarrow 0} \sqrt{r} E_{t}(r)=c L_{t}^{0}, \quad \text{ п.н. }

Найдите cc.

Интересно отметить, что это показывает, что Lt0L_{t}^{0} полностью определяется нулевым множеством Z(ω)={t:Wt(ω)=0}Z(\omega )=\left\{ t: W_{t}(\omega )=0\right\}.

?
Задача 27.5

Пусть δ>0\delta >0 и Aδ={f∈E:sup⁡t∣f(t)∣>δ}A_{\delta }=\left\{ f \in \mathcal{E}: \sup_{t}\left|f(t)\right|>\delta \right\}. Пусть S1=inf⁡{t:Kt(Aδ)=1}S_{1}=\inf \left\{ t: K_{t}\left(A_{\delta }\right)=1\right\} и S2=inf⁡{t>S1:Kt(Aδ)=2}S_{2}=\inf \left\{ t>S_{1}: K_{t}\left(A_{\delta }\right)=2\right\}. Таким образом, S1S_{1} и S2S_{2} — моменты завершения первой и второй экскурсий в AδA_{\delta }. Пусть Y1(t)Y_{1}(t) — экскурсия, завершившаяся в момент S1S_{1}, и аналогично определим Y2(t)Y_{2}(t). Точнее, если R1=sup⁡{t<S1:Wt=0}R_{1}=\sup \left\{ t<S_{1}: W_{t}=0\right\}, то Y1(s)=WR1+sY_{1}(s)=W_{R_{1}+s}, если s≤S1−R1s \leq S_{1}-R_{1}, и Y1(s)Y_{1}(s) равно 0 для всех s≥S1−R1s \geq S_{1}-R_{1}.

Докажите, что Y1Y_{1} и Y2Y_{2} независимы.

Указание: используйте строго марковское свойство в момент S1S_{1}.

?