Stochastische Dynamik - Stochastik - Humboldt-Universität zu Berlin
Stochastische Dynamik - Stochastik - Humboldt-Universität zu Berlin
Stochastische Dynamik - Stochastik - Humboldt-Universität zu Berlin
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
28 Der Subadditive Ergodensatz (Kingman)<br />
Lemma 5.6. Ist Z eine meßbare Funktion auf (Ω, F , P, ϕ) mit Z ≥ Z◦ϕ, so gilt Z = Z◦ϕ.<br />
Ist insbesondere (Y n ) n∈N0 superadditiv und<br />
so gilt:<br />
Y := lim sup<br />
n→∞<br />
Y n<br />
n<br />
, bzw. Y := lim inf<br />
n→∞<br />
Y = Y ◦ ϕ , bzw. Y = Y ◦ ϕ .<br />
Y n<br />
n ,<br />
Beweis. Wir zeigen <strong>zu</strong>nächst die Aussage über Z und nehmen hier<strong>zu</strong> Z > Z◦ϕ<br />
auf einer Menge positiver Masse an, also<br />
für ein q ∈ Q . Dann folgt aber:<br />
P( Z > q > Z ◦ ϕ ) > 0<br />
P( Z < q )<br />
ϕ m.t.<br />
= P( Z ◦ ϕ < q )<br />
= P( Z ◦ ϕ < q ≤ Z ) + P( Z ◦ ϕ < q , Z < q )<br />
Z≥Z◦ϕ<br />
= P( Z ◦ ϕ < q ≤ Z ) + P( Z < q )<br />
} {{ }<br />
>0<br />
> P( Z < q ) ,<br />
ein Widerspruch.<br />
Wegen der ebengezeigten Behauptung ist nun nur noch <strong>zu</strong> sehen:<br />
Y ≥ Y ◦ ϕ , bzw. Y ≥ Y ◦ ϕ ;<br />
aufgrund der Superadditivität von (Y n ) n hat man nun:<br />
Y n+1<br />
n + 1<br />
≥<br />
=<br />
Y 1<br />
n + 1 + Y n ◦ ϕ<br />
n + 1<br />
Y 1<br />
n + 1 +<br />
n<br />
n + 1<br />
Y n<br />
n ◦ ϕ .<br />
□<br />
Theorem 5.7 (Subadditiver Ergodensatz, Kingman).<br />
Auf (Ω, F , P, ϕ) sei (Y n ) n∈N eine superadditive Folge integrierbarer ZV. Dann gilt:<br />
Y n<br />
n<br />
P-f.s.<br />
−−−−−−→<br />
n→∞<br />
sup<br />
n∈N<br />
Dabei ist γ genau dann integrierbar, wenn sup<br />
n∈N<br />
Y n<br />
n<br />
1<br />
n E(Y n | I ) =: γ ≤ ∞ .<br />
L 1 (P)<br />
−−−−−−→ γ .<br />
n→∞<br />
1<br />
n E(Y n) < ∞ ist. In diesem Fall gilt auch<br />
Ferner existiert eine Menge ˜Ω ∈ I mit ˜Ω ⊂ ϕ<br />
−1 ˜Ω und P(˜Ω) = 1, sodaß auch gilt:<br />
Y n<br />
n<br />
−−−−→ n→∞ γ auf ˜Ω .