# Semimartingal

Als Semimartingale werden in der Stochastik bestimmte Prozesse bezeichnet, die insbesondere für die Definition eines allgemeinen stochastischen Integrals von Bedeutung sind. Die Klasse der Semimartingale umfasst viele bekannte stochastische Prozesse wie den Wiener-Prozess (Brownsche Bewegung) oder den Poisson-Prozess.

## Definition

Gegeben sei ein vollständiger Wahrscheinlichkeitsraum $(\Omega ,{\mathcal {F}},\mathbb {F} ,\mathbb {P} )$ mit zugehöriger Filtration $\mathbb {F} =({\mathcal {F}}_{t})_{t\geq 0}$.
Wir nehmen an, dass die Filtration
* vollständig ist, das heißt, alle $\mathbb {P}$-Nullmengen sind ${\mathcal {F}}_{0}$-messbar.
* $\mathbb {F}$ ist rechtsstetig, das heißt ${\mathcal {F}}_{t}=\bigcap _{\varepsilon >0}{\mathcal {F}}_{t+\varepsilon }$ für alle $0\leq t<\infty$.
Das Semimartingal besitzt durch den Satz von Bichteler-Dellacherie zwei äquivalente Definitionen.

### Definition 1

Ein Prozess $H$ heißt einfach-vorhersehbar, wenn $H$ von der Form
    $H_{t}=H_{0}1_{\{0\}}(t)+\sum \limits _{i=1}^{n}H_{i}1_{(T_{i},T_{i+1}]}(t)$
für eine endliche Folge von Stoppzeiten $0\leq T_{1}\leq \cdots \leq T_{n+1}<\infty$ ist und für alle $0\leq i\leq n$ fast sicher $H_{i}\in {\mathcal {F}}_{T_{i}}$ sowie $|H_{i}|<\infty$.
Den Raum der einfach-vorhersehbaren Prozesse zusammen mit der durch die gleichmäßigen Konvergenz in $(t,\omega )$ induzierten Topologie bezeichnen wir als $\mathbf {S}$.
Für einen Prozess $X$ und für einen einfach-vorhersehbaren Prozess $H$ definieren wir die lineare Abbildung $I_{X}\colon \mathbf {S} \to L^{0}$ durch
    $I_{X}(H)=H_{0}X_{0}+\sum \limits _{i=1}^{n}H_{i}(X_{T_{i+1}}-X_{T_{i}}).$
Ein stochastischer Prozess $X$ heißt Semimartingal, wenn für jedes $T\in [0,\infty )$ der gestoppte Prozess $X^{T}:=(X_{t\wedge T})_{t\geq 0}$ càdlàg und adaptiert ist und die Abbildung $I_{X^{T}}$ stetig ist.

### Definition 2

Ein Semimartingal ist ein stochastischer Prozess $X$ mit Werten in $\mathbb {R} ^{d}$ mit den Eigenschaften:
* $X$ ist an $\mathbb {F}$ adaptiert,
* die Pfade/Trajektorien von $X$ sind càdlàg, also rechtsseitig stetig und die linksseitigen Grenzwerte existieren,
* es existiert eine (nicht notwendig eindeutige) Darstellung: $X=X_{0}+M+A,$ wobei $X_{0}$ fast sicher endlich und ${\mathcal {F}}_{0}$-messbar, $M$ ein lokales Martingal und $A$ ein FV-Prozess ist, das heißt ein adaptierter Càdlàg-Prozess, dessen Pfade fast sicher endliche Variation auf jedem kompakten Zeitintervall in $\mathbb {R} _{+}$ haben.

## Eigenschaften
### Stochastische Integration

Wie bereits in der Einleitung angedeutet, lassen sich mit Hilfe von Semimartingalen allgemeine stochastische Integrale konstruieren. Semimartingale stellen die größte Klasse von Integratoren dar, für die ein Integral der Form
    $(H\cdot X)_{t}:=\int _{0}^{t}H_{s}dX_{s}$
sinnvoll definiert werden kann. $H$ stammt in diesem Fall aus der Menge aller lokal beschränkten vorhersagbaren Prozesse.

### Stabilität unter Transformationen

Die Klasse der Semimartingale ist unter vielen Operationen stabil. Nicht nur ist jedes gestoppte Semimartingal offensichtlich wieder ein Semimartingal, auch unter Lokalisierung, einem „Wechsel der Zeit“ oder einem Übergang zu einem neuen absolut stetigen Maß bleiben Semimartingale erhalten.
Die Menge aller Semimartingale bildet eine Algebra, d. h. insbesondere, dass mit $X$ und $Y$ auch $\alpha X+\beta Y$ bzw. $XY$ wieder Semimartingale sind.

## Beispiele
### Martingale

Jedes Martingal ist trivialerweise ein Semimartingal, da jedes Martingal selbst ein lokales Martingal ist.
Außerdem ist jedes Submartingal ein Semimartingal sowie jedes Supermartingal, sofern es rechtsstetig mit linksseitig existierenden Grenzwerten ist.

### Sprungprozesse

Viele Sprungprozesse wie verallgemeinerte Poisson-Prozesse sind Semimartingale, da sie von beschränkter Variation sind.

### Lévy-Prozesse

Jeder Lévy-Prozess ist bzgl. seiner kanonischen Filtration ein Semimartingal.

### Itō-Prozesse

Unter anderem in der Finanzmathematik spielen Itō-Prozesse eine zentrale Rolle. Diese sind darstellbar als
    $X_{t}=X_{0}+\int _{0}^{t}b_{s}\,{\rm {d}}s+\int _{0}^{t}\sigma _{s}{\rm {d}}W_{s},$
wobei der letzte Term ein Itō-Integral mit Volatilitätsprozess $\sigma _{s}$ bezeichnet. Dieser Term ist ein lokales Martingal.