Individueller Ergodensatz

Der individuelle Ergodensatz ist ein wichtiger Satz der Ergodentheorie, einem Teilgebiet der Mathematik im Grenzbereich zwischen Stochastik und Theorie dynamischer Systeme. Alternativ wird der individuelle Ergodensatz auch Ergodensatz von Birkhoff oder punktweiser Ergodensatz genannt. Er liefert eine Form des starken Gesetzes der großen Zahlen für abhängige Zufallsvariablen und liefert die mathematische Grundlage der Ergodenhypothese der statistischen Physik. Der Satz wurde im Jahr 1931 durch George David Birkhoff bewiesen, nach dem er auch benannt ist. Ein kompakter Beweis ist mittels des Hopf'schen Maximal-Ergodenlemmas möglich. Außerdem kann der ${\mathcal L}^{p}$ -Ergodensatz ohne großen Aufwand aus dem individuellen Ergodensatz hergeleitet werden.

Aussage

Es sei eine integrierbare Zufallsvariable (d.h., sie besitzt einen endlichen Erwartungswert) und eine maßerhaltende Transformation auf dem zu Grunde liegenden Wahrscheinlichkeitsraum $(\Omega, \mathcal A, P)$ (d.h. $P(T^{{-1}}(A))=P(A)$ für alle in ${\mathcal A}$ ). Dann konvergieren die Mittel

$\frac{1}{n} \sum_{i=1}^{n} X \circ T^{i-1} (\omega)$

für $n\to \infty$ fast sicher gegen eine Zufallsvariable .

kann dabei messbar bezüglich der von den -invarianten Mengen (d.h. $T^{{-1}}(A)=A$ ) erzeugten σ-Algebra $\mathcal T$ gewählt werden und lässt sich als bedingter Erwartungswert $E[X|\mathcal T]$ darstellen.

Wenn ergodisch ist, so ist fast sicher konstant gleich dem Erwartungswert von .

Das Beispiel eines stationären Prozesses

Die Zufallsvariablen $Y_i = X \circ T^{i-1}$ ( $i = 1, 2, \dots$ ) bilden einen stationären stochastischen Prozess, d.h. $(Y_2, Y_3, \dots)$ ist so verteilt wie $(Y_1, Y_2, \dots)$ . Umgekehrt lässt sich jeder stationäre stochastische Prozess $(Y_i)_{i\ge1}$ in dieser Weise darstellen, wenn man annimmt, dass $\Omega = \R^{\{1, 2, \dots\}}$ und Y_i von der Form $Y_i(\omega_1, \omega_2, \dots) = \omega_i$ ist. (Wenn dies nicht der Fall ist, kann man den Bildraum $\R^{\{1, 2, \dots\}}$ mit dem Bildmaß von $(Y_1, Y_2, \dots)$ anstelle von $\Omega$ und betrachten.) Dabei ist $X(\omega_1, \omega_2, \dots) = \omega_1$ , und der Linksshift, der $(\omega_1, \omega_2, \dots)$ auf $(\omega_2, \omega_3, \dots)$ abgebildet, ist die maßerhaltende Transformation.

Wenn die Y_i einen endlichen Erwartungswert haben, konvergiert nach dem Ergodensatz also

$\frac{1}{n} \sum_{i=1}^{n} Y_i(\omega)$

für $n\to \infty$ fast sicher gegen eine Zufallsvariable . Diese ist der bedingte Erwartungswert $E[Y_i|\mathcal T]$ eines jeden Y_i . Wenn Ergodizität vorliegt, ist fast sicher konstant, d.h.

$\frac{1}{n} (Y_1 + \dots + Y_n) \,\to\, E[Y_i]$ fast sicher ( $i\ge1$ beliebig).

Literatur

Manfred Einsiedler, Klaus Schmidt: Dynamische Systeme. Ergodentheorie und topologische Dynamik. Springer, Basel 2014, ISBN 978-3-0348-0633-.

Basierend auf einem Artikel in:

Wikipedia.de