Tsirelsons stochastische Differentialgleichung

Tsirelsons stochastische Differentialgleichung (auch Tsirelsons Drift oder Tsirelsons Gleichung) ist eine stochastische Differentialgleichung, welche eine schwache Lösung besitzt aber keine starke Lösung. Sie ist somit ein Gegenbeispiel und benannt nach ihrem Entdecker Boris Tsirelson. Tsirelsons Gleichung ist von der Form

$d{X}_t=a[t,(X_s,s\le t)]dt+d{W}_t,X_0=0,$

wobei $W_t$ die eindimensionale brownsche Bewegung ist. Tsirelson wählte den Drift $a$ so, dass dieser eine beschränkte messbare Funktion ist, welche von den vergangenen Zeitpunkten von $X$ abhängt, aber unabhängig von der natürlichen Filtration ${ℱ}^W$ der brownschen Bewegung ist. Folglich existiert eine schwache Lösung, aber da der Prozess $X$ nicht ${ℱ}_{\mathrm{\infty }}^W$-messbar ist, keine starke Lösung.

Tsirelsons Drift

Sei

• ${ℱ}_t^W=\sigma (W_s:0\le s\le t)$ und $\{{ℱ}_t^W{\}}_{t\in {ℝ}_{+}}$ die natürliche brownsche Filtration, welche die üblichen Bedingungen erfüllt,
• $t_0=1$ und $(t_n{)}_{n\in -\mathbb{N}}$ eine absteigende Folge $t_0>t_{-1}>t_{-2}>\dots ,$ so dass $\underset{n\to -\mathrm{\infty }}{\lim }{t}_n=0$,
• $\mathrm{\Delta }{X}_{t_n}=X_{t_n}-X_{t_{n-1}}$ und $\mathrm{\Delta }{t}_n=t_n-t_{n-1}$,
• $\{x\}=x-\lfloor x\rfloor$ der Nachkommateil.

Tsirelson definierte nun folgenden Drift

$a[t,(X_s,s\le t)]=\sum _{n\in -\mathbb{N}}\left\{\frac{\mathrm{\Delta }{X}_{t_n}}{\mathrm{\Delta }{t}_n}\right\}{1}_{(t_n,t_{n+1}]}(t).$

Sei nun

${\eta }_n={\xi }_n+\{{\eta }_{n-1}\}$

die Abkürzung für

$\frac{\mathrm{\Delta }{X}_{t_{n+1}}}{\mathrm{\Delta }{t}_{n+1}}=\frac{\mathrm{\Delta }{W}_{t_{n+1}}}{\mathrm{\Delta }{t}_{n+1}}+\left\{\frac{\mathrm{\Delta }{X}_{t_n}}{\mathrm{\Delta }{t}_n}\right\}.$

Theorem

Nach einem Satz von Tsirelson und Yor gilt:

1) Die natürliche Filtration von $X$ hat folgende Zerlegung

${ℱ}_t^X={ℱ}_t^W\vee \sigma (\{{\eta }_{n-1}\}),\mathrm{\forall }t\ge 0,\mathrm{\forall }{t}_n\le t$

2) Für jedes $n\in -\mathbb{N}$ ist $\{{\eta }_n\}$ gleichverteilt auf $[0,1)$ und unabhängig von $(W_t{)}_{t\ge 0}$ resp. ${ℱ}_{\mathrm{\infty }}^W$.

3) ${ℱ}_{0+}^X$ ist trivial, d. h. alle Ereignisse haben die Wahrscheinlichkeit $0$ oder $1$.

Literatur

• Vorlage:Literatur