# Martingal

Als Martingal bezeichnet man in der Wahrscheinlichkeitstheorie einen stochastischen Prozess, der über den bedingten Erwartungswert definiert wird und sich dadurch auszeichnet, dass er im Mittel fair ist. Martingale entstehen auf natürliche Weise aus der Modellierung fairer Glücksspiele. Vereinfacht kann man sagen, dass ein Martingal ein Nullsummenspiel beschreibt. Martingale wurden von Paul Lévy in die Mathematik eingeführt.
Eng verwandt mit den Martingalen sind die Supermartingale, dies sind stochastische Prozesse, bei denen im Mittel ein Verlust auftritt, und Submartingale, dies sind stochastische Prozesse, bei denen im Mittel ein Gewinn auftritt.

## Definition
### Diskreter Fall

Gegeben seien ein Wahrscheinlichkeitsraum $(\Omega ,{\mathcal {A}},P)$ sowie eine Filtrierung $\mathbb {F} =({\mathcal {F}}_{n})_{n\in \mathbb {N} }$. Gegeben sei ein stochastischer Prozess $X=(X_{n})_{n\in \mathbb {N} }$ auf $(\Omega ,{\mathcal {A}})$, für den gilt:
* Der Prozess ist ein integrierbarer Prozess, das heißt, es ist $\operatorname {E} (|X_{n}|)<\infty$ für alle $n\in \mathbb {N}$.
* Der Prozess ist adaptiert an $\mathbb {F}$, das heißt, $X_{n}$ ist ${\mathcal {F}}_{n}$-messbar für alle $n\in \mathbb {N}$.
Dann heißt $X$ ein Martingal (bezüglich $\mathbb {F}$), wenn
    $\operatorname {E} (X_{n+1}|{\mathcal {F}}_{n})=X_{n}\quad P\mathrm {-fast\ sicher\ f{\ddot {u}}r\ alle\ } n\in \mathbb {N}$
gilt.
Dabei bezeichnet $\operatorname {E} (Y|{\mathcal {B}})$ den bedingten Erwartungswert der Zufallsvariablen $Y$, gegeben die σ-Algebra ${\mathcal {B}}$.

### Zeitstetiger Fall

Sind ein Wahrscheinlichkeitsraum $(\Omega ,{\mathcal {A}},P)$ sowie eine beliebige, geordnete Indexmenge $T$ (meist $T\subset \mathbb {R}$) und eine Filtrierung $\mathbb {F} =({\mathcal {F}}_{t})_{t\in T}$ gegeben, so heißt ein integrierbarer, an $\mathbb {F}$-adaptierter Prozess $X=(X_{t})_{t\in T}$ ein Martingal (bezüglich $\mathbb {F}$), wenn für alle $s,t\in T$ gilt
    $\operatorname {E} (X_{t}|{\mathcal {F}}_{s})=X_{s}\quad P\mathrm {-fast\ sicher\ f{\ddot {u}}r\ alle\ } s\leq t$.
Die Definition im diskreten Fall ist ein Spezialfall der Definition des zeitstetigen Falls. Denn ist $(X_{n})_{n\in \mathbb {N} }$ ein diskretes Martingal, so gilt, gemäß der Turmregel,
    $\operatorname {E} (X_{n+1}\vert {\mathcal {F}}_{n-1})=\operatorname {E} (\operatorname {E} (X_{n+1}\vert {\mathcal {F}}_{n})\vert {\mathcal {F}}_{n-1})=\operatorname {E} (X_{n}\vert {\mathcal {F}}_{n-1})=X_{n-1}.$
Induktiv folgt $\operatorname {E} (X_{m}\vert {\mathcal {F}}_{n})=X_{n}$ für alle $m\geq n$.

### Supermartingale und Submartingale

Ein integrierbarer und an $\mathbb {F}$ adaptierter diskreter stochastischer Prozess heißt Submartingal, wenn
    $\operatorname {E} (X_{n+1}|{\mathcal {F}}_{n})\geq X_{n}\quad P\mathrm {-fast\ sicher\ f{\ddot {u}}r\ alle\ } n\in \mathbb {N}$,
und Supermartingal, wenn
    $\operatorname {E} (X_{n+1}|{\mathcal {F}}_{n})\leq X_{n}\quad P\mathrm {-fast\ sicher\ f{\ddot {u}}r\ alle\ } n\in \mathbb {N}$
gilt. Im stetigen Falle definiert man analog ein Submartingal über
    $\operatorname {E} (X_{t}|{\mathcal {F}}_{s})\geq X_{s}\quad P\mathrm {-fast\ sicher\ f{\ddot {u}}r\ alle\ } s\leq t$.
und ein Supermartingal über
    $\operatorname {E} (X_{t}|{\mathcal {F}}_{s})\leq X_{s}\quad P\mathrm {-fast\ sicher\ f{\ddot {u}}r\ alle\ } s\leq t$.
Submartingale sind also im Gegensatz zu Martingalen tendenziell steigend, Supermartingale tendenziell fallend.

### Bemerkung

Die Eigenschaft, ein (Sub-/Super-)Martingal zu sein, kommt nicht stochastischen Prozessen allein zu, sondern immer einem stochastischen Prozess in Kombination mit einer Filtrierung. Daher sollte die Filtrierung immer mit angegeben werden. Manche Autoren geben keine Filtrierung mit an, wenn sie die von dem Prozess selbst erzeugte Filtrierung verwenden, die durch ${\mathcal {F}}_{t}^{E}:=\sigma ({X_{s};s\leq t})$ gegeben ist. Wenn $(X_{t})_{t\in T}$ ein Martingal bezüglich einer Filtrierung $({\mathcal {F}}_{t})_{t\in T}$ ist, dann ist es auch ein Martingal bezüglich $({\mathcal {F}}_{t}^{E})_{t\in T}$.

### Allgemeiner Fall

Sei $I$ eine halbgeordnete Menge, $(E,\|\cdot \|_{E})$ ein Banachraum, $(\Omega ,{\mathcal {F}},P)$ ein Wahrscheinlichkeitsraum mit einer Filtration $\mathbb {F} =({\mathcal {F}}_{t})_{t\in I}$ und $X=(X_{t})_{t\in I}$ ein $E$-wertiger Prozess darauf. Dann nennt man $X$ ein $\mathbb {F}$-$P$-Martingal, falls
* $X$ $\mathbb {F}$-adaptiert ist,
* $\forall t\in I$ ist $X_{t}\in L^{1}(\Omega ,{\mathcal {F}}_{t},P;E)$, das heißt $\mathbb {E} \|X_{t}\|_{E}<\infty$,
* $\mathbb {E} [X_{t}|{\mathcal {F}}_{s}]=X_{s}$ $P$-fast sicher für alle $s,t\in I$ mit $t\geq s$ ist.
Falls zusätzlich gilt, dass
* $\forall t\in I$ ist $X_{t}\in L^{p}(\Omega ,{\mathcal {F}}_{t},P;E)$, das heißt $\mathbb {E} \|X_{t}\|_{E}^{p}<\infty$,
dann ist $X$ ein $L^{p}(\mathbb {F} ,P)$-Martingal oder kurz $L^{p}$-Martingal.

### Mehrdimensionaler Fall

Analog ist ein $d$-dimensionaler Prozess $M=(M^{(1)},\dots ,M^{(d)})$ ein Martingal in einem Raum $S^{d}$, falls jede Komponente $T_{i}(M)=M^{(i)}$ ein ein-dimensionales Martingal in $S$ ist.

## Motivierendes Beispiel

Der Begriff des Martingals lässt sich als Formalisierung und Verallgemeinerung eines fairen Glücksspiels auffassen. Sei dazu $M_{0}$ das Startkapital des Spielers. Dieses wird in vielen Fällen eine Konstante sein, aber auch ein zufälliges Startkapital ist denkbar. Der zufällige Gewinn im ersten Spiel werde mit $X_{1}$ bezeichnet. Er kann positiv, null oder negativ (also ein Verlust) sein. Das Kapital des Spielers nach dem ersten Spiel beträgt $M_{1}=M_{0}+X_{1}$ und allgemein nach dem $n$-ten Spiel
    $M_{n}=M_{0}+\sum _{k=1}^{n}X_{k},$
wenn $X_{k}$ den Gewinn im $k$-ten Spiel bezeichnet. Bei einem fairen Glücksspiel ist der Erwartungswert jedes Gewinns gleich null, d. h., es gilt $E(X_{k})=0$ für alle $k\in \mathbb {N}$.
Der Spielverlauf werde nun bis zum Zeitpunkt $n$ einschließlich beobachtet, d. h. die Kapitalstände $M_{0},M_{1},\dots ,M_{n}$ seien bekannt. Falls nun der Gewinn im nächsten, also im $n+1$-ten, Spiel unabhängig vom bisherigen Spielverlauf ist, dann berechnet sich das erwartete Gesamtkapital $M_{n+1}=M_{n}+X_{n+1}$ nach dem nächsten Spiel unter Berücksichtigung aller zur Verfügung stehenden Informationen mit Hilfe der Rechenregeln für bedingte Erwartungswerte als
    $E(M_{n+1}\mid M_{0},\dots ,M_{n})=E(M_{n}\mid M_{0},\dots ,M_{n})+E(X_{n+1}\mid M_{0},\ldots ,M_{n})=M_{n}+E(X_{n+1})=M_{n}.$
Damit ist gezeigt, dass sich das Kapital eines Spielers, der an einem fairen Glücksspiel teilnimmt, als Martingal modellieren lässt.
Bei realen Glücksspielen, wie beispielsweise beim Roulette, ist jedoch wegen des Bankvorteils der erwartete Gewinn bei jedem Spiel im Allgemeinen negativ, also $E(X_{k})<0$. Dann ergibt sich analog zur obigen Rechnung
    $E(M_{n+1}\mid M_{0},\dots ,M_{n})\leq M_{n}.$
Aus Sicht des Spielers handelt es sich in diesem Fall um ein Supermartingal (Merkspruch: „Supermartingale sind super für die Spielbank“).

## Beispiele
### Von einer Filtrierung erzeugtes Martingal

Ist $(\Omega ,{\mathcal {A}},P)$ ein Wahrscheinlichkeitsraum, $\mathbb {F} =({\mathcal {F}}_{n})_{n\in \mathbb {N} }$ eine Filtration und $X$ eine $P$-integrierbare Zufallsvariable auf $(\Omega ,{\mathcal {A}})$. Dann wird durch
    $X_{n}:=\operatorname {E} (X|{\mathcal {F}}_{n})$
ein Martingal (bezüglich $\mathbb {F}$) definiert.
Um zu zeigen, dass es sich um ein Martingal handelt, rechnet man die Definition nach:
    $\operatorname {E} (X_{n+1}|{\mathcal {F}}_{n})=\operatorname {E} (\operatorname {E} (X|{\mathcal {F}}_{n+1})|{\mathcal {F}}_{n})=\operatorname {E} (X|{\mathcal {F}}_{n})=X_{n}$.
Somit handelt es sich um ein Martingal. Dabei ist die erste Umformung das Einsetzen der Definition, die zweite eine Anwendung der Turmregel des bedingten Erwartungswertes und die dritte wieder Einsetzen der Definition.

### Pólya-Urne

In einer Pólya-Urne liegen zu Beginn eine schwarze und eine weiße Kugel. In jedem Schritt wird eine Kugel zufällig aus der Urne gezogen und im Anschluss mit einer weiteren gleichfarbigen Kugel gemeinsam zurückgelegt. Wenn $X_{n}$ die Anzahl der schwarzen Kugeln in der Urne nach $n$ Schritten bezeichnet, so ist $\left({\frac {X_{n}}{n+2}}\right)_{n\geq 0}$ ein Martingal bzgl. der kanonischen Filtrierung.

### Doob-Martingal

Ein Spezialfall des obigen Martingals sind Doob-Martingale: Ist eine P-integrierbare Zufallsvariable $X$ gegeben und wird die Filtrierung durch eine Folge von Zufallsvariablen $(Y_{n})_{n\in \mathbb {N} }$ erzeugt, also
    ${\mathcal {F}}_{n}:=\sigma (Y_{0},\dots ,Y_{n})$,
so heißt das Martingal, welches durch
    $X_{n}:=\operatorname {E} (X|{\mathcal {F}}_{n})=\operatorname {E} (X|Y_{0},\dots ,Y_{n})$
definiert wird, ein Doob-Martingal (benannt nach Joseph L. Doob).

### Epidemiemodelle

Martingale werden auch in der mathematischen Theorie der Epidemien angewendet. Das Ende einer Epidemie ist eine Stoppzeit. So können Formeln für die Wahrscheinlichkeitsverteilung der finalen Größe der Epidemie abgeleitet werden.

## Beispiele für zeitstetige Martingale

* Ein Wiener-Prozess $W_{t}$ ist ein Martingal, ebenso sind für einen Wiener-Prozess $W_{t}$ die Prozesse $W_{t}^{2}-t$ und die geometrische brownsche Bewegung ohne Drift $a\exp \left(\sigma W_{t}-{\frac {\sigma ^{2}}{2}}t\right)$ Martingale.
* Ein Poisson-Prozess mit Rate $\lambda$, der um seinen Drift bereinigt wird, also ${\hat {P}}_{\lambda ,t}=P_{\lambda ,t}-\lambda t$, ist ein Martingal.
* Nach der Itō-Formel gilt: Jedes Itō-Integral (mit beschränktem Integranden) ist ein Martingal. Nach dem Itoschen Martingaldarstellungssatz lässt sich umgekehrt jedes Martingal (sogar jedes lokale Martingal) bezüglich einer von einer Brownschen Bewegung erzeugten Filtration als Ito-Integral bezüglich ebendieser Brown’schen Bewegung darstellen.
* Jedes stetige Martingal ist entweder von unendlicher Variation oder konstant.
* Jedes gestoppte Martingal ist wieder ein Martingal.

## Eigenschaften
### Erwartungswert

Sei $(X_{t})_{t\in T}$ ein Martingal. Es gilt, für alle $s\leq t$,
    $\operatorname {E} (X_{t})=\operatorname {E} (\operatorname {E} (X_{t}\vert {\mathcal {F}}_{s}))=\operatorname {E} (X_{s}).$
Falls $T$ total geordnet ist, so ist der Erwartungswert von allen $X_{t}$ also gleich. Wenn $X_{t}$ beispielsweise das Kapital eines Glücksspielers zum Zeitpunkt $t$ modelliert, so ist das Glücksspiel also in der Tat fair, denn der Erwartungswert des Kapitals ist gleich dem Anfangskapital.

### Rechenregeln

* $X$ ist genau dann ein Submartingal, wenn $-X$ ein Supermartingal ist.
* Sind $X,Y$ (Sub-)Supermartingale und ist $a,b\geq 0$, dann ist auch $aX+bY$ ein (Sub-)Supermartingal.
* Sind $X,Y$ Martingale, so ist auch $aX+bY$ ein Martingal für $a,b\in \mathbb {R}$.
* Sind $X,Y$ Supermartingale, dann ist auch
       $Z=(\min(X_{t},Y_{t}))_{t\in T}$
    ein Supermartingal.
* Sind $X,Y$ Submartingale, dann ist auch
       $Z=(\max(X_{t},Y_{t}))_{t\in T}$
    ein Submartingal.
* Ist $\varphi$ eine konvexe Funktion und $X$ ein Martingal und gilt $\operatorname {E} (\varphi (X_{t})^{+})<\infty$, so ist $(\varphi (X_{t}))_{t\in T}$ ein Submartingal.

### Einfluss der Filtrierung

Sind zwei Filtrierungen ${\mathcal {F}},{\mathcal {F}}^{*}$ gegeben und ist ${\mathcal {F}}$ kleiner als ${\mathcal {F}}^{*}$ in dem Sinne, dass für jedes $t$ gilt ${\mathcal {F}}_{t}\subset {\mathcal {F}}_{t}^{*}$, so ist jedes ${\mathcal {F}}^{*}$-Martingal auch ein ${\mathcal {F}}$-Martingal.

### Orthogonalität

Seien $X,Y$ zwei quadratintegrierbare Martingale mit $X_{0}=Y_{0}=0$ und seien $X_{\infty },Y_{\infty }$ ihre terminalen Werte, dann heißen sie
* schwach orthogonal wenn $\mathbb {E} [X_{\infty }Y_{\infty }]=0$,
* stark orthogonal wenn $XY$ ein gleichmäßig-integrierbares Martingal ist oder äquivalent wenn $\langle X,Y\rangle _{t}=0$.

## Quadratische Variation und Exponentialmartingal

Ist die quadratische Variation $\langle M\rangle$ eines stetigen beschränkten Martingals $M_{t}$ (oder eines mit endlichen exponentiellen Momenten) endlich, so ist der stochastische Prozess
    $X_{t}=M_{t}^{2}-\langle M\rangle _{t}$
ebenfalls ein Martingal.
Ebenso ist das sogenannte Exponentialmartingal von $M_{t}$, gegeben durch
    $X_{t}=e^{\left(M_{t}-{\frac {1}{2}}\langle M\rangle _{t}\right)},$
ein Martingal. Dies folgt aus dem Kazamaki-Kriterium.

## Wichtige Aussagen über Martingale
### Ungleichungen

Die wichtigsten Ungleichungen im Bezug auf Martingale sind die Doobsche Maximalungleichung und die Aufkreuzungsungleichung. Die Doobsche Maximalungleichung liefert eine Abschätzung dafür, welcher Maximalwert eines Martingals bis zu einem gegebenen Zeitpunkt nicht überschritten wird. Die Aufkreuzungsungleichung liefert eine Aussage darüber, wie oft ein Submartingal ein vorgegebenes Intervall von unten nach oben durchquert.

### Kombination mit Stoppzeiten

Das Optional Stopping Theorem und das Optional Sampling Theorem kombinieren Stoppzeiten mit Martingalen und beschäftigen sich mit den Eigenschaften und Erwartungswerten der gestoppten Prozesse. Mit diesen Ergebnissen kann man zeigen, dass keine Abbruchstrategie für ein faires Spiel existiert, die für den Spieler vorteilhaft ist.

### Martingaltransformation

Ein Martingal und ein vorhersagbarer, lokal beschränkter Prozess lassen sich mittels des diskreten stochastischen Integrals zu einem neuen Martingal kombinieren. Man nennt diesen Prozess dann die Martingaltransformierte des ursprünglichen Martingals. Die Martingaltransformierte ist wieder ein Martingal. Dies hat weitreichende Folgen für die Existenz von Spielstrategien in fairen Spielen, die dem Spieler im Mittel Gewinn bringen. Modelliert das Martingal das faire Spiel und der vorhersagbare, lokal beschränkte Prozess die Spielstrategie, so folgert aus der Martingaltransformation, dass es keine Spielstrategie gibt, die dem Spieler im Allgemeinen einen Vorteil bringt.

### Doob-Zerlegung

Die Doob-Zerlegung erlaubt für jeden adaptierten integrierbaren stochastischen Prozess eine Zerlegung in ein Martingal und einen vorhersagbaren Prozess.

### Martingalkonvergenzsatz

Der Martingalkonvergenzsatz liefert für Zufallsvariablen, die ein Martingal bilden, Kriterien, unter denen sie fast sicher oder im p-ten Mittel konvergieren.

## Abgeleitete Prozessklassen
### Lokale Martingale

Lokale Martingale sind Prozesse, für die eine monoton wachsende Folge von Stoppzeiten existiert, so dass für jede Stoppzeit der gestoppte Prozess ein Martingal ist.

### Semimartingale

Semimartingale sind eine Klasse von adaptierten Prozessen mit Càdlàg-Pfaden (Die Pfade sind rechtsseitig stetig und die linksseitigen Limites existieren), die sich in ein lokales Martingal, ein Prozess mit lokal endlicher Variation und einen fast sicher endlichen Anteil zerlegen lassen.

### Rückwärtsmartingale

Rückwärtsmartingale sind Martingale, bei denen die Indexmenge umgekehrt wird. Sie laufen quasi „falschherum“ bzw. von hinten nach vorne.

## Herkunft des Wortes

Die Martingale ist eine seit dem 18. Jahrhundert bekannte Strategie im Glücksspiel, bei der nach einem verlorenen Spiel der Einsatz erhöht (im einfachsten Fall verdoppelt) wird, so dass im hypothetischen Fall unerschöpflichen Vermögens, unerschöpflicher Zeit und der Nichtexistenz eines Höchsteinsatzes sicherer Gewinn einträte. Was den Ursprung des Wortes (und nicht des Konzepts) betrifft, so findet sich das erste Zitat in der Dissertation Étude critique de la notion de collectif von Jean André Ville. Dort tritt das Wort in Kapitel IV, dritter Absatz, im Ausdruck système de jeu ou martingale („Spielsystem oder Martingal“) auf; jedoch gibt er ab dem folgenden Kapitel den Ausdruck „Spielsystem“ vollständig auf und behält nur „Martingal“. Er macht an anderer Stelle deutlich, dass dieser Name direkt aus dem Wortschatz der Spieler entlehnt ist. Tatsächlich war es zu dieser Zeit nicht ungewöhnlich, dass Spieler, die behaupteten, eine sichere Gewinnstrategie zu haben, mit Probabilisten sprachen. Ville selbst traf einen gewissen Parcot, der die Roulette-Ergebnisse analysierte, um seine angeblich sichere Gewinnstrategie oder sein Martingal zu erhalten. Das Wort war daher den Probabilisten vertraut und wurde auf das mathematische Konzept übertragen, dessen erste Beispiele aus Spielen stammten.
Da die Martingale das bekannteste Spielsystem war und ist, wurde der Begriff auch als Synonym für „Spielsystem“ gebraucht und fand so Eingang in die mathematische Literatur.
Das Wort „Martingale“ selbst stammt aus dem Provenzalischen und leitet sich von der französischen Stadt Martigues im Département Bouches-du-Rhône am Rande der Camargue ab, deren Einwohner früher als etwas naiv galten. Der provenzalische Ausdruck jouga a la martegalo bedeutet so viel wie sehr waghalsig zu spielen.
Der „Martingal“ genannte Hilfszügel soll ebenfalls nach der Stadt Martigues benannt sein, hierbei handelt es sich um einen optionalen Teil der Pferdeausrüstung, der das Pferd daran hindern soll, den Kopf nach oben zu reißen und zu steigen. Dass dieser Hilfszügel ebenfalls Martingal genannt wird, war den Pionieren der Martingaltheorie nicht bekannt und hat mit der mathematischen Begriffsbildung nichts zu tun.