Tsirelsons stochastische Differentialgleichung
# 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

    $dX_{t}=a[t,(X_{s},s\leq t)]dt+dW_{t},\quad 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 ${\mathcal {F}}^{W}$ der brownschen Bewegung ist. Folglich existiert eine schwache Lösung, aber da der Prozess $X$ nicht ${\mathcal {F}}_{\infty }^{W}$-messbar ist, keine starke Lösung.

## Tsirelsons Drift

Sei

* ${\mathcal {F}}_{t}^{W}=\sigma (W_{s}:0\leq s\leq t)$ und $\{{\mathcal {F}}_{t}^{W}\}_{t\in \mathbb {R} _{+}}$ 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 $\lim _{n\to -\infty }t_{n}=0$,
* $\Delta X_{t_{n}}=X_{t_{n}}-X_{t_{n-1}}$ und $\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\leq t)]=\sum \limits _{n\in -\mathbb {N} }{\bigg \{\frac {\Delta X_{t_{n}}}{\Delta t_{n}}}{\bigg \}}1_{(t_{n},t_{n+1}]}(t).$

Sei nun

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

die Abkürzung für

    ${\frac {\Delta X_{t_{n+1}}}{\Delta t_{n+1}}}={\frac {\Delta W_{t_{n+1}}}{\Delta t_{n+1}}}+{\bigg \{\frac {\Delta X_{t_{n}}}{\Delta t_{n}}}{\bigg \}}.$

### Theorem

Nach einem Satz von Tsirelson und Yor gilt:

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

    ${\mathcal {F}}_{t}^{X}={\mathcal {F}}_{t}^{W}\vee \sigma {\big\{\eta _{n-1}\}{\big )},\quad \forall t\geq 0,\quad \forall t_{n}\leq t$

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

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

