# Satz von Yamada-Watanabe

Der Satz von Yamada-Watanabe ist ein Resultat aus der Stochastik über starke und schwache Lösungen von stochastischen Differentialgleichungen. Der Satz sagt, dass für eine große Klasse von SDEs die schwache Lösung und pfadweise Eindeutigkeit eine starke Lösung und Eindeutigkeit in Verteilung impliziert. Toshio Yamada und Shinzō Watanabe bewiesen 1971 den Satz zuerst für $n$-dimensionale Itōsche Differentialgleichungen
    $dX_{t}=b(X_{t})dt+\sigma (X_{t})dW_{t},$
wobei $(W_{t})_{t\geq 0}$ eine $n$-dimensionale brownsche Bewegung, $\sigma$ eine $\mathbb {R} ^{n\times n}$-Matrix und $b$ ein $n$-dimensionaler Vektor ist. Die Umkehrung des Satzes nennt man den dualen Satz von Yamada-Watanabe und dieser wurde von Hans-Jürgen Engelbert (1991) und Alexander Cherny (2002) gezeigt.
Jean Jacod verallgemeinerte 1980 das Resultat auf SDEs der Form
    $dX_{t}=u(X,Z)dZ_{t},$
wobei $(Z_{t})_{t\geq 0}$ ein Semimartingal ist und der Koeffizient $u$ vom Pfad der Lösung und des angetriebenen Prozesses abhängen kann. Weitere Verallgemeinerungen des Satzes lieferten Engelbert (1991) und Thomas G. Kurtz (2007). Für SDEs in Banachräumen gibt es ein Resultat von Martin Ondrejat (2004) sowie von Michael Röckner, Byron Schmuland und Xicheng Zhang (2008) und Stefan Tappe (2013).

## Satz von Yamada-Watanabe

Sei $n,r\in \mathbb {N}$ und $C(\mathbb {R} _{+},\mathbb {R} ^{n})$ der Raum der stetigen Funktionen. Wir betrachten die $n$-dimensionale stochastische Differentialgleichung
    $dX_{t}=b(t,X)dt+\sigma (t,X)dW_{t},\quad X_{0}=x_{0}$
wobei
* $b\colon \mathbb {R} _{+}\times C(\mathbb {R} _{+},\mathbb {R} ^{n})\to \mathbb {R} ^{n}$ und $\sigma \colon \mathbb {R} _{+}\times C(\mathbb {R} _{+},\mathbb {R} ^{n})\to \mathbb {R} ^{n\times r}$ vorhersagbare Prozesse sind, das heißt sie sind linksstetig und für jedes $t\geq 0$ ist $b(t,\cdot )$ eine ${\mathcal {B}}([0,t];\mathbb {R} ^{n})$-messbare und $\sigma (t,\cdot )$ eine ${\mathcal {B}}([0,t];\mathbb {R} ^{n\times r})$-messbare Funktion (wobei ${\mathcal {B}}$ die borelsche σ-Algebra bezeichnet),
* $(W_{t})_{t\geq 0}=\left((W_{t}^{(1)},\dots ,W_{t}^{(r)})\right)_{t\geq 0}$ eine $r$-dimensionale brownsche Bewegung ist,
* $x_{0}\in \mathbb {R} ^{n}$ deterministisch ist.

### Grundbegriffe

Es gilt Eindeutigkeit in Verteilung (auch schwache Eindeutigkeit genannt), wenn für zwei beliebige Lösungen $(X^{(1)},W^{(1)})$ und $(X^{(2)},W^{(2)})$ mit ihren filtrierten Wahrscheinlichkeitsräumen $(\Omega _{1},{\mathcal {F}}_{1},\mathbf {F} _{1},P_{1})$ und $(\Omega _{2},{\mathcal {F}}_{2},\mathbf {F} _{2},P_{2})$ stets für ihre Verteilungen $P_{X^{(1)}}=P_{X^{(2)}}$ gilt.
Es gilt pfadweise Eindeutigkeit (auch starke Eindeutigkeit genannt), falls für zwei Lösungen $(X^{(1)},W)$ und $(X^{(2)},W)$ auf demselben filtrierten Wahrscheinlichkeitsraum $(\Omega ,{\mathcal {F}},\mathbf {F} ,P)$ auch $\{X_{t}^{(1)}=X_{t}^{(2)},t\geq 0\}$ $P$-fast sicher gilt, das heißt sie sind ununterscheidbar.

### Aussage

Es gelten die oben beschriebenen Rahmenbedingungen. Der Satz von Yamada-Watanabe lautet:
    Angenommen, es gilt pfadweise Eindeutigkeit, dann
       1) gilt Eindeutigkeit in Verteilung,
       2) existiert für jede schwache Lösung eine starke Lösung.
Jacod ergänzte die Aussage zusätzlich um
    Falls eine schwache Lösung existiert und pfadweise Eindeutigkeit gilt, dann ist sie eine starke Lösung.

### Dualer Satz von Yamada-Watanabe

Der Satz von Yamada-Watanabe ist folgende Implikation
       Pfadweise Eindeutigkeit + Existenz einer schwachen Lösung $\implies$ Eindeutigkeit in Verteilung + Existenz einer starken Lösung,
die Umkehrung
       Eindeutigkeit in Verteilung + Existenz einer starken Lösung $\implies$ Pfadweise Eindeutigkeit + Existenz einer schwachen Lösung.
stimmt auch und man nennt sie dualer Satz von Yamada-Watanabe.