Stochastischer Prozess

Zwei Pfade einer Brownschen Brücke, eines speziellen stochastischen Prozesses

Ein stochastischer Prozess (auch Zufallsprozess) ist ein mathematisches Objekt zur Modellierung von zufälligen, oft zeitlich geordneten, Vorgängen. Die Theorie der stochastischen Prozesse stellt eine wesentliche Erweiterung der Wahrscheinlichkeitstheorie dar und bildet die Grundlage für die stochastische Analysis. Obwohl einfache stochastische Prozesse schon vor langer Zeit studiert wurden, wurde die heute gültige formale Theorie erst Anfang des 20. Jahrhunderts entwickelt, vor allem durch Paul Lévy und Andrei Kolmogorow.

Im einfachsten Fall ist ein stochastischer Prozess das Modell einer zufälligen Funktion, deren Realisierungen gewöhnliche Funktionen, die so genannten Pfade, sind. Formal erfolgt die Festlegung eines stochastischen Prozesses durch einen Vektor, eine Folge oder allgemeiner eine Familie von Zufallsvariablen, die gemeinsam eine mehrdimensionale oder unendlich-dimensionale Wahrscheinlichkeitsverteilung besitzen.

Ursprünglich wurde der Begriff des stochastischen Prozesses für Fälle verwendet, bei denen das zeitliche Fortschreiten eines zufallsbestimmten Vorgangs modelliert wurde. Inzwischen hat sich die Bedeutung des Begriffs verallgemeinert und als stochastischer Prozess werden auch unendliche Familien von Zufallsvariablen bezeichnet, deren Realisierungen Funktionen sind, ohne dass ein zeitlicher Bezug vorliegt. Solche allgemeineren stochastischen Prozesse werden z. B. in der Theorie empirischer Prozesse untersucht.

Definition

Sei $(\Omega ,{\mathcal {F}},P)$ ein Wahrscheinlichkeitsraum, $(Z,{\mathcal {Z}})$ ein mit einer σ-Algebra ${\mathcal {Z}}$ versehener Raum (zumeist die reellen Zahlen mit der Borelschen σ-Algebra) und $T$ eine Indexmenge, zumeist $T\in \{\mathbb {N} _{0},\mathbb {R} _{+}\}$, die in Anwendungen häufig die Menge der betrachteten Zeitpunkte darstellt.

Ein stochastischer Prozess $X$ ist dann eine Familie von Zufallsvariablen $X_{t}\colon \Omega \to Z,\;t\in T$, also eine Abbildung

$X\colon \Omega \times T\to Z,\;(\omega ,t)\mapsto X_{t}(\omega )$,

sodass $X_{t}\colon \omega \mapsto X_{t}(\omega )$ für alle $t\in T$ eine ${\mathcal {F}}$-${\mathcal {Z}}$-messbare Abbildung ist.

Die Familie der Zufallsvariablen, die einen stochastischen Prozess bilden, wird auch in der Form $(X_{t})_{t\in T}$ notiert. Die Menge $Z$ heißt auch Zustandsraum, er enthält alle Werte, die der Prozess annehmen kann.

Eine alternative Formulierung sieht vor, dass $X$ eine einzige Zufallsvariable $\Omega \to (H,{\mathcal {H}})$ ist, wobei $H\subseteq Z^{T}$ ein mit einer geeigneten σ-Algebra ${\mathcal {H}}$ versehener Funktionenraum $\{f\mid f\colon T\to Z\}$ ist. Man spricht hier auch von Zufallsfunktionen (vergleiche Pfad (Stochastik)). Bei geeigneter Wahl fallen diese beiden Definitionen zusammen.

Anmerkungen

• Die Frage nach der Existenz von stochastischen Prozessen mit bestimmten Eigenschaften wird mit dem Satz von Daniell-Kolmogorow und dem Satz von Ionescu-Tulcea (benannt nach Cassius Ionescu-Tulcea) weitgehend gelöst.
• Der Zustandsraum wird bei Verwendung in der Physik auch als Phasenraum bezeichnet.
• Die Indexmenge $T$ wird auch als Parametermenge des stochastischen Prozesses bezeichnet.

Einteilung

Folgend sind einige Kriterien aufgeführt, nach denen stochastische Prozesse klassifiziert werden. Eine genauere Beschreibung findet sich in der Liste stochastischer Prozesse.

Die grundlegendste Einteilung stochastischer Prozesse in verschiedene Klassen erfolgt über die Indexmenge $T$ und die Werte- oder Zustandsmenge $Z$:

Diskrete und stetige Indexmenge

• Ist $t$ ein Zeitindex und $T$ abzählbar (etwa $T=\mathbb {N} _{0}$), so heißt der Prozess ein zeitdiskreter stochastischer Prozess oder etwas ungenau diskreter stochastischer Prozess.
• Ist $t$ ein Zeitindex und $T\subseteq \mathbb {R}$ ein Teilintervall von $\mathbb {R}$, so heißt der heißt der Prozess ein zeitstetiger stochastischer Prozess.

Diskrete und stetige Wertemenge

• Ist $Z$ endlich oder abzählbar, spricht man von einem zustandsdiskreten oder wertediskreten Prozess.
• Ist $Z\subseteq \mathbb {R}$ ein Teilintervall von $\mathbb {R}$, so spricht man von einem zustandsstetigen oder wertestetigen Prozess.

Reell-, komplex- und vektorwertig

• Ist $Z\subseteq \mathbb {R}$, so spricht man von einem reellwertigen stochastischen Prozess oder kurz reellwertigen Prozess.
• Ist $Z\subseteq \mathbb {C}$, so spricht man von einem komplexwertigen stochastischen Prozess oder kurz komplexwertigen Prozess.
• Ist $Z\subseteq \mathbb {R} ^{n}$ oder $Z\subseteq \mathbb {C} ^{n}$, so spricht man von einem n-dimensionalen (reellwertigen oder komplexwertigen) stochastischen Prozess oder von einem vektorwertigen stochastischen Prozess.

Mehrdimensionale Indexmenge

• Für $T\subseteq \mathbb {R} ^{n}$ mit $n>1$ nennt man den stochastischen Prozess Zufallsfeld oder zufälliges Feld (engl. random field). Häufig ist $T=\mathbb {R} ^{2}$ oder $T=\mathbb {R} ^{3}$, insbesondere für Modelle der Geostatistik.

Momente

Außerdem werden stochastische Prozesse noch analog zu den Zufallsvariablen danach klassifiziert, ob der Erwartungswert und die Varianz existieren oder spezielle Werte annehmen.

• Ein reellwertiger stochastischer Prozess heißt integrierbar, wenn $\operatorname {E} (|X_{t}|)<\infty$ für alle $t\in T$ gilt.
• Ein reellwertiger stochastischer Prozess heißt quadratintegrierbar, wenn $\operatorname {E} (X_{t}^{2})<\infty$ für alle $t\in T$ gilt. Ein quadratintegrierbarer Prozess heißt auch Prozess zweiter Ordnung.
• Ein reellwertiger stochastischer Prozess heißt zentriert, wenn $\operatorname {E} (X_{t})=0$ für alle $t\in T$ gilt.

Stochastische Abhängigkeiten

Des Weiteren werden stochastische Prozesse noch mittels der Struktur ihrer stochastischen Abhängigkeiten klassifiziert, diese werden meist über den bedingten Erwartungswert definiert. Zu diesen Klassen gehören:

Markow-Prozesse

Ihre Wahrscheinlichkeit, einen Zustand anzunehmen, ist abhängig von dem Zustand, in dem sie sich davor befanden, aber nicht von der gesamten Vergangenheit des Prozesses. Markow-Prozesse haben somit ein „kurzes Gedächtnis“.

Martingale sowie Sub- und Supermartingale

Martingale modellieren ein faires Spiel. Hat man zu einem Zeitpunkt bereits einen gewissen Betrag gewonnen, so ist der Erwartungswert für künftige Gewinne genau dieser bereits gewonnene Betrag.

Weitere Eigenschaften: Pfade und Zuwächse

Des Weiteren kann man Prozesse wie folgt klassifizieren:

• Man kann die Eigenschaften der Pfade untersuchen und die Prozesse dementsprechend unterteilen: Prozesse mit stetigen Pfaden, Prozesse mit beschränkten Pfaden etc. Ein Beispiel für einen stochastischen Prozess mit fast sicher stetigen Pfaden ist der Wiener-Prozess.
• Man betrachtet die sogenannten Zuwächse des Prozesses, also Terme der Art $X_{t_{1}}-X_{t_{0}}$ für Indizes $t_{1},t_{0}\in T$. Je nach geforderter Eigenschaft der Zuwächse erhält man dann Prozesse mit stationären Zuwächsen, Prozesse mit unabhängigen Zuwächsen oder auch Prozesse mit normalverteilten Zuwächsen. So sind beispielsweise die Lévy-Prozesse genau die stochastischen Prozesse mit unabhängigen, stationären Zuwächsen.

Pfade

→ Hauptartikel: Pfad (Stochastik)

Für jedes $\omega \in \Omega$ erhält man eine Abbildung $X(\cdot ,\omega )\colon T\rightarrow Z,\,t\mapsto X(t,\omega )=X_{t}(\omega )$. Diese Abbildungen nennt man die Pfade des Prozesses und wird auch mit $X_{\bullet }(\omega )$ notiert. Häufig spricht man statt von den Pfaden auch von den Trajektorien oder den Realisierungen des stochastischen Prozesses.

Ist speziell $T=\mathbb {R} _{+}$ und $Z\subseteq \mathbb {R}$ (oder ein allgemeinerer topologischer Raum), so kann man von Stetigkeitseigenschaften der Pfade sprechen. Man nennt einen zeitstetigen stochastischen Prozess stetig, rechtsseitig stetig, linksseitig stetig bzw. càdlàg, wenn alle Pfade des Prozesses die entsprechende Eigenschaft haben. Der Wiener-Prozess hat stetige Pfade, von denen im Bild zu den Beispielen unten zwei zu sehen sind. Der Poisson-Prozess ist ein Beispiel für einen zeitstetigen, wertdiskreten càdlàg-Prozess; er hat also rechtsseitig stetige Pfade, bei denen an jeder Stelle der linksseitige Limes existiert.

Ein Pfad ist somit ein zufälliger Punkt im Raum der Funktionen von $T\to Z$.

Stochastische Prozesse versus Zeitreihen

Während die Theorie der stochastischen Prozesse ein Teilgebiet der Wahrscheinlichkeitstheorie und damit der Mathematik ist, ist das Gebiet der Zeitreihenanalyse ein Teilgebiet der Statistik.

→ Hauptartikel: Zeitreihenanalyse

Die Zeitreihenanalyse geht von einer konkreten Zeitreihe, d. h. einer endlichen Folge zeitlich geordneter Daten aus, und beschreibt diese einerseits mit Methoden der deskriptiven Statistik und verwendet andererseits spezielle stochastische Modelle (wie ARMA- oder ARCH-Modelle) zur Erklärung von Zeitreihen. Eine beobachtete Zeitreihe kann als endlicher Ausschnitt des Pfades eines zeitdiskreten oder zeitstetigen stochastischen Prozesses aufgefasst werden. Eine Aufgabe der statistischen Zeitreihenanalyse ist die Schätzung der Parameterstruktur der Verteilung eines stochastischen Prozesses aus einer vorliegenden Zeitreihe.

Während in der Theorie stochastischer Prozesse die mathematische Struktur der modellierten Zufallsfunktionen (etwa Stetigkeit, Differenzierbarkeit, Variation oder Messbarkeit bezüglich gewisser Filtrierungen) im Vordergrund steht, geht die Zeitreihenanalyse von den Daten aus und schlägt als statistische Teildisziplin die Brücke zwischen Empirie und Theorie.

Beispiele

Ein Standard-Wiener-Prozess auf dem Zeitintervall [0,3], außerdem sind der Erwartungswert und die Standardabweichung eingezeichnet

• Ein einfaches Beispiel für einen zeitdiskreten Punktprozess ist der symmetrische Random Walk, hier veranschaulicht durch ein Glücksspiel: Ein Spieler beginnt zum Zeitpunkt $t=0$ mit einem Startkapital von 10 Euro ein Spiel, bei dem er nacheinander immer wieder eine Münze wirft. Bei „Kopf“ gewinnt er einen Euro, bei „Zahl“ verliert er einen. Die Zufallsvariablen $X_{t},\;t\in \mathbb {N} _{0},$ für den Kontostand nach $t$ Spielen definieren einen stochastischen Prozess (mit deterministischer Startverteilung $X_{0}=10$). Genauer betrachtet handelt es sich bei $X$ um einen Lévy-Prozess und um ein Martingal.
• Eine vielseitig verwendete Klasse stochastischer Prozesse sind Gauß-Prozesse, die viele natürliche Systeme beschreiben können und als Maschinenlernverfahren Anwendung finden.
• Ein bedeutender stochastischer Prozess aus der Klasse der Gaußprozesse ist der Wiener-Prozess (auch „Brownsche Bewegung“ genannt). Hierbei sind die einzelnen Zustände normalverteilt mit linear anwachsender Varianz. Der Wiener-Prozess findet Anwendung in der stochastischen Integration, der Finanzmathematik und der Physik.
• Weitere Beispiele: Bernoulli-Prozess, Brownsche Brücke, Gebrochene Brownsche Bewegung, Markow-Kette, Ornstein-Uhlenbeck-Prozess, Poisson-Prozess, Weißes Rauschen.

Weblinks

• A.M. Yaglom: Stochastic Process. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org). 

Literatur

• Christian Hesse: Angewandte Wahrscheinlichkeitstheorie. 1. Auflage. Vieweg, Wiesbaden 2003, ISBN 3-528-03183-2, doi:10.1007/978-3-663-01244-3. 
• Achim Klenke: Wahrscheinlichkeitstheorie. 3. Auflage. Springer-Verlag, Berlin Heidelberg 2013, ISBN 978-3-642-36017-6, doi:10.1007/978-3-642-36018-3. 
• David Meintrup, Stefan Schäffler: Stochastik. Theorie und Anwendungen. Springer-Verlag, Berlin Heidelberg New York 2005, ISBN 978-3-540-21676-6, doi:10.1007/b137972. 
• P. H. Müller (Hrsg.): Lexikon der Stochastik – Wahrscheinlichkeitsrechnung und mathematische Statistik. 5. Auflage. Akademie-Verlag, Berlin 1991, ISBN 978-3-05-500608-1, Stochastischer Prozess, S. 415–419.