# Martingalkonvergenzsatz

Als Martingalkonvergenzsatz oder Doobscher Martingalkonvergenzsatz (benannt nach Joseph L. Doob) werden in der Wahrscheinlichkeitstheorie bestimmte Aussagen über die Konvergenz von Martingalen bezeichnet. Ein Martingal ist ein spezieller stochastischer Prozess, der als Formalisierung und Verallgemeinerung eines fairen Glücksspiels angesehen werden kann. Unter Zusatzvoraussetzungen an die Beschränktheit des Prozesses lässt sich dessen Konvergenz folgern. Dabei unterscheiden sich die verschiedenen Versionen des Satzes hinsichtlich der Art der Beschränktheit und der Art der Konvergenz. Wesentliches Hilfsmittel bei dem Beweis ist die Aufkreuzungsungleichung. Analoge Konvergenzsätze existieren auch für Rückwärtsmartingale.

## Voraussetzungen

Auf einem Wahrscheinlichkeitsraum $(\Omega ,{\mathcal {A}},P)$ mit einer Filtrierung $({\mathcal {F}}_{n})_{n\in \mathbb {N} _{0}}$ und $\textstyle {\mathcal {F}}_{\infty }=\sigma \left(\bigcup _{n=0}^{\infty }{\mathcal {F}}_{n}\right)$ sei eine Folge $(X_{n})_{n\in \mathbb {N} _{0}}$ reeller Zufallsvariablen gegeben, die an die Filtrierung adaptiert ist und integrierbar ist. Das bedeutet, dass für alle $n\in \mathbb {N} _{0}$ die Zufallsvariable $X_{n}$ messbar bezüglich ${\mathcal {F}}_{n}$ ist und $E(|X_{n}|)<\infty$ erfüllt.
Der Prozess $(X_{n})_{n\in \mathbb {N} _{0}}$ heißt Martingal, wenn für alle $n\in \mathbb {N} _{0}$ die Gleichung $\mathbb {E} (X_{n+1}\mid {\mathcal {F}}_{n})=X_{n}$ gilt. Gilt stattdessen $\mathbb {E} (X_{n+1}\mid {\mathcal {F}}_{n})\geq X_{n}$ für alle $n\in \mathbb {N} _{0},$ dann wird der Prozess ein Submartingal genannt. Im Fall $\mathbb {E} (X_{n+1}\mid {\mathcal {F}}_{n})\leq X_{n}$ für alle $n\in \mathbb {N} _{0},$ heißt der Prozess Supermartingal. Jedes Martingal ist ein Sub- und ein Supermartingal. Ein Prozess $(X_{n})_{n\in \mathbb {N} _{0}}$ ist genau dann ein Supermartingal, wenn $(-X_{n})_{n\in \mathbb {N} _{0}}$ ein Submartingal ist.

## Versionen des Martingalkonvergenzsatzes
### Fast sichere Konvergenz

Es sei $(X_{n})_{n\in \mathbb {N} _{0}}$ ein Submartingal und es gebe eine Konstante $M>0$ mit $\mathbb {E} (X_{n}^{+})\leq M$ für alle $n\in \mathbb {N} _{0},$ das heißt, der Erwartungswert der Positivteile $X_{n}^{+}=\max(X_{n},0)$ ist beschränkt. Dann existiert eine ${\mathcal {F}}_{\infty }$-messbare Zufallsvariable $X_{\infty }\in {\mathcal {L}}^{1}$ mit $X_{n}{\xrightarrow {n\to \infty }}X_{\infty }$ fast sicher.

#### Beweis

Für den Beweis ist das sog. Aufkreuzungslemma von entscheidender Bedeutung. Dieses sagt aus, dass für zwei reelle Zahlen $b>a$, die zwei Stoppzeiten $\sigma ,\tau$ mit $\sigma _{0}\equiv 0$ und
    $\tau _{k}:=\inf\{n\geq \sigma _{k-1}\mid X_{n}\leq a\}$
    $\sigma _{k}:=\inf\{n\geq \tau _{k}\mid X_{n}\geq b\}$
und die Zufallsvariable
    $U_{n}^{a,b}:=\sup\{k\in \mathbb {N} \mid \sigma _{k}\leq n\}$
der Anzahl der Aufkreuzungen die Ungleichung
    $\mathbb {E} [U_{n}^{a,b}]\leq {\frac {\mathbb {E} [(X_{n}-a)^{+}]-\mathbb {E} [(X_{0}-a)^{+}]}{b-a}}$
erfüllt. Aus dieser kann mittels der Ungleichung $\mathbb {E} [(X_{n}-a)^{+}]\leq |a|+\mathbb {E} [X_{n}^{+}]$ aus der vorausgesetzten gleichmäßigen Beschränktheit der $\mathbb {E} [X_{n}^{+}]$ gefolgert werden, dass $\mathbb {E} [U_{n}^{a,b}]$ ebenfalls gleichmäßig beschränkt ist. Der monotone Limes $U^{a,b}:=\lim _{n\to \infty }U_{n}^{a,b}$ existiert jedoch, und es folgt $P(U^{a,b}<\infty )=1$. Für beliebige reelle Zahlen $b>a$ gilt aber
    $\left\{\liminf _{n\to \infty }X_{n}<a\right\}\cap \left\{\limsup _{n\to \infty }X_{n}>b\right\}\subset \left\{U^{a,b}=\infty \right\}$
und damit folgt, dass das Ereignis
    $\bigcup _{a,b\in \mathbb {Q} }\left\{\liminf _{n\to \infty }X_{n}<a\right\}\cap \left\{\limsup _{n\to \infty }X_{n}>b\right\}$
fast sicher nicht eintritt. Also wird $X_{n}$ fast sicher gegen ein $X_{\infty }$ konvergieren. Nach dem Lemma von Fatou ist einerseits $\mathbb {E} [X_{\infty }^{+}]\leq \sup\{\mathbb {E} [X_{n}^{+}]\mid n\geq 0\}<\infty$, ähnlich wird $\mathbb {E} [X_{\infty }^{-}]<\infty$ gefolgert.

### Konvergenz in p-ten Mittel

Sei $p>1$ und es gebe eine Konstante $M>0$ mit $\mathbb {E} (|X_{n}|^{p})\leq M$ für alle $n\in \mathbb {N} _{0},$ das heißt, die Folge $(X_{n})_{n\in \mathbb {N} _{0}}$ ist beschränkt im Raum ${\mathcal {L}}^{p}.$ Dann existiert eine ${\mathcal {F}}_{\infty }$-messbare Zufallsvariable $X_{\infty }\in {\mathcal {L}}^{p}$ mit $X_{n}{\xrightarrow {n\to \infty }}X_{\infty }$ fast sicher und in ${\mathcal {L}}^{p}$.
Die Aussage ist für $p=1$ im Allgemeinen falsch: Ein in ${\mathcal {L}}^{1}$ beschränktes Martingal muss nicht unbedingt in ${\mathcal {L}}^{1}$ konvergieren.

### Konvergenz bei gleichgradiger Integrierbarkeit

Ist $(X_{n})_{n\in \mathbb {N} _{0}}$ ein gleichgradig integrierbares Submartingal, dann existiert eine ${\mathcal {F}}_{\infty }$-messbare Zufallsvariable $X_{\infty }\in {\mathcal {L}}^{1}$ mit $X_{n}{\xrightarrow {n\to \infty }}X_{\infty }$ fast sicher und in ${\mathcal {L}}^{1}$.
Weiter gilt $X_{n}\leq \mathbb {E} (X_{\infty }\mid {\mathcal {F}}_{n})$ und, im Falle dass $(X_{n})_{n\in \mathbb {N} _{0}}$ ein Martingal ist, sogar $X_{n}=\mathbb {E} (X_{\infty }\mid {\mathcal {F}}_{n})$. Man sagt, das Martingal wird durch $X_{\infty }$ abgeschlossen.

## Beispiel

Die symmetrische einfache Irrfahrt $X_{n}:=\sum _{j=1}^{n}Z_{j}$ mit unabhängigen, identisch verteilten $Z_{j}$ und $P(Z_{j}=1)=P(Z_{j}=-1)={\frac {1}{2}}$ ist ein Martingal. Wegen $|X_{n+1}-X_{n}|=1$ ist kein Pfad konvergent.
Für $a\in \mathbb {N} =\{1,2,\dotsc \}$ ist durch $\tau :=\inf\{n>0:X_{n}=a\}$ eine Stoppzeit gegeben und das gestoppte Martingal $(M_{n})$ mit $M_{n}=X_{\min(n,\tau )}$ ist ebenfalls ein Martingal. Wegen $M_{n}^{+}\leq a$ erfüllt es die Voraussetzungen des Martingalkonvergenzsatzes für fast sichere Konvergenz. Der einzig mögliche Grenzwert ist $a$, es gilt also
    $M_{n}{\xrightarrow {n\to \infty }}a$ fast sicher.
Insbesondere folgt, dass $P(\tau <\infty )=1$ gilt.
Wegen $\mathbb {E} (|M_{n}|)=\mathbb {E} (2M_{n}^{+}-M_{n})=2\mathbb {E} (M_{n}^{+})-\mathbb {E} (M_{n})\leq 2a$ ist das Martingal $(M_{n})$ in ${\mathcal {L}}^{1}$ beschränkt. Es konvergiert jedoch nicht in ${\mathcal {L}}^{1}$ gegen $a$, denn in diesem Fall müsste auch $E(M_{n})$ gegen $a>0$ konvergieren, im Widerspruch zu $\mathbb {E} (M_{n})=\mathbb {E} (M_{0})=0$ für alle $n$.