Lokalisierung (Stochastik)

In der Stochastik versteht man unter Lokalisierung das Erweitern einer Klasse von stochastischen Prozessen durch solche, die durch gezieltes Stoppen der Klasse zugehörig gemacht werden können. Hierbei ist insbesondere der Begriff der lokalen Martingale von Bedeutung, die eine wichtige Rolle in der stochastischen Analysis spielen.

Gestoppte Prozesse

Sei $(X_{t}),\;t\in T$ ein stochastischer Prozess auf einem (filtrierten) Wahrscheinlichkeitsraum $(\Omega ,{\mathcal {F}},P)$, wobei $T=\mathbb {N} _{0}$ oder $T=\mathbb {R} _{0}^{+}$ ist. Ist $\tau$ eine beliebige Stoppzeit auf demselben Raum T, so bezeichnet man den Prozess

$(X_{t}^{\tau }),\;t\in T,\;\;X_{t}^{\tau }(\omega ):=X_{min(\tau (\omega ),t)}(\omega )$

als bei $\tau$ gestoppten Prozess. Der Prozess X bleibt also, sobald die Stoppzeit $\tau$ erreicht ist, bei seinem aktuellen Wert stehen und ändert diesen nicht mehr.

Lokalisierung von Prozessklassen

Sei nun ${\mathcal {C}}$ eine Menge von Prozessen auf demselben Raum T, etwa die Menge aller Martingale oder aller Lévy-Prozesse. Ein Prozess X heißt nun lokal von der Klasse ${\mathcal {C}}$, falls es eine Folge $(\tau _{i}),\;i\in \mathbb {N}$ von Stoppzeiten gibt, die die folgenden beiden Eigenschaften erfüllt:

• Es gilt $\tau _{i}\to \infty$ fast sicher für $i\to \infty$, d. h. für fast alle $\omega \in \Omega$ konvergiert die (deterministische) Folge $\tau _{1}(\omega ),\;\tau _{2}(\omega )\ldots$ gegen plus unendlich.
• Für alle $i\in \mathbb {N}$ liegt der gestoppte Prozess $X^{\tau _{i}}$ in ${\mathcal {C}}$.

Die Lokalisierung ${\mathcal {C}}_{loc}$ der Menge ${\mathcal {C}}$ wird nun definiert als Menge aller Prozesse, die lokal von der Klasse ${\mathcal {C}}$ sind. Eine zu einem lokalen Prozess X gehörige (aber nicht eindeutige!) Folge von Stoppzeiten mit den obigen Eigenschaften wird auch als lokalisierende Folge von X bezeichnet.

Eigenschaften

Die Abbildung ${\mathcal {C}}\mapsto {\mathcal {C}}_{loc}$ist kein Hüllenoperator: Es gilt zwar stets ${\mathcal {C}}\subseteq {\mathcal {C}}_{loc}$ (zu jedem Prozess $X\in {\mathcal {C}}$ kann als Lokalisierende Folge die konstante Folge $\tau _{n}:=\infty$ f.s. gewählt werden), und auch die Bdingung ${\mathcal {C}}\subseteq {\mathcal {D}}\Rightarrow {\mathcal {C}}_{loc}\subseteq {\mathcal {D}}_{loc}$ gilt, jedoch gilt im allgemeinen nicht $({\mathcal {C}}_{loc})_{loc}={\mathcal {C}}_{loc}$, die Abbildung ist also nicht idempotent.

Zu einem Hüllenoperator wird die Abbildung erst, wenn man sich auf Mengen von Prozessen beschränkt, die stabil unter stoppen sind: Eine Menge ${\mathcal {C}}$ von stochastischen Prozessen heißt stabil unter stoppen, wenn für alle $X\in {\mathcal {C}}$ und alle Stoppzeiten $\tau$ gilt: $X^{\tau }\in {\mathcal {C}}$. Dann gilt obige Idempotenz sowie zusätzlich die Eigenschaft $({\mathcal {C}}\cap {\mathcal {D}})_{loc}={\mathcal {C}}_{loc}\cap {\mathcal {D}}_{loc}$