Hopfsches Maximal-Ergodenlemma

Das Hopf’sches Maximal-Ergodenlemma ist ein Ergebnis der Ergodentheorie, einem Teilbereich der Mathematik, der zwischen Maßtheorie und der Theorie dynamischer Systeme anzusiedeln ist. Das Hopf’sche Maximal-Ergodenlemma kann in zwei Varianten formuliert werden, eine stochastische und eine über iterierte Anwendung von Abbildungen. Beide unterscheiden sich mit Ausnahme der Notation nur unwesentlich. Das Lemma ist nach Eberhard Hopf benannt und ein wichtiges Hilfsmittel für einen kompakten Beweis des individuellen Ergodensatzes und dem darauf aufbauenden ${ℒ}^p$-Ergodensatz.

Aussage

Gegeben sei ein maßerhaltendes dynamisches System $(X,𝒜,\mu ,T)$ und eine messbare Funktion $f:X\to ℝ$. Außerdem sei

$s_n:=\sum _{i=0}^{n-1}f\circ T^i$

die Summe der ersten $n$ Iterationen und

$m_n:=\max \{0,s_1,\dots ,s_n\}$

das Maximum dieser Summen. Dann gilt

$\underset{\{m_n>0\}}{\int }f\mathrm{d}\mu \ge 0$

für alle $n\in \mathbb{N}$.

Stochastische Formulierung

Die stochastische Formulierung verwendet, dass ein stationärer stochastischer Prozess versehen mit dem Shiftoperator $\tau$ ein maßerhaltendes dynamisches System ist, vgl. dieses Beispiel. Das Hopf’sche Maximal-Ergodenlemma lautet dann wie folgt: Ist $X=(X_n{)}_{n\in \mathbb{N}}$ ein reeller stationärer stochastischer Prozess und $X_0$ integrierbar, so folgt mit

$S_n:=\sum _{i=0}^{n-1}{X}_i$

und

$M_n:=\max \{0,S_1,\dots ,S_n\}$,

dass

$\mathrm{E}(X_0{\chi }_{\{M_n>0\}})\ge 0$

ist. Um dies zu erhalten, setzt man $f=X_0$ und aufgrund des Shiftoperators gilt dann $X_n=X_0({\tau }^n)$. Somit entspricht $\tau$ dem $T$ in der oberen Formulierung.

Weblinks

• Vorlage:EoM

Literatur

• Vorlage:Literatur