Stochastische Dynamik - Stochastik - Humboldt-Universität zu Berlin
Stochastische Dynamik - Stochastik - Humboldt-Universität zu Berlin
Stochastische Dynamik - Stochastik - Humboldt-Universität zu Berlin
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
26 Der Subadditive Ergodensatz (Kingman)<br />
Ziel ist es nun, bei subadditivem (Y n ) n eine Konvergenzaussage für Yn n<br />
<strong>zu</strong> erhalten.<br />
Dies wird im subadditiven Ergodensatz 5.7 von Kingman geschehen. Hier<strong>zu</strong> dienen die<br />
folgenden drei Lemmata.<br />
Lemma 5.4 (Riesz). Seien u 1 , . . . , u n ∈ R (n ∈ N). Mit<br />
{<br />
0 , j = 0<br />
s j :=<br />
u 1 + · · · + u j , j ∈ {1, . . . , n} ,<br />
definiere<br />
v j ≡ v jn := max<br />
k∈{j,...,n} ( s k − s j ) ≡ max { 0 , u j+1 , u j+1 + u j+2 , u j+1 + · · · + u n<br />
}<br />
für j = 0, 1, . . . , n . Dann gilt:<br />
n−1<br />
∑<br />
j=0<br />
u j+1 1 {vjn >0} ≥ 0 .<br />
Beweis. 1) Zunächst gilt für alle j ∈ {0, 1, . . . , n} :<br />
Dies folgt direkt, da<br />
v j = max{ 0 , u j+1 + v j+1 } ≡ (u j+1 + v j+1 ) + .<br />
v j = max{ 0 , u j+1 , u j+1 + u j+2 , u j+1 + · · · + u n } und<br />
v j+1 = max{ 0 , u j+2 , u j+2 + u j+3 , u j+2 + · · · + u n } .<br />
2) Wegen 1) gilt:<br />
v j ≤ v j+1 + u j+1 1 {vj >0} (j ∈ {0, 1, . . . , n}) .<br />
Denn falls v j = 0 ist, ist dies trivial, und im Falle v j > 0 gilt:<br />
0 < v j<br />
1)<br />
= (u j+1 + v j+1 ) + v j>0<br />
= v j+1 + u j+1 .<br />
3) Aus 2) folgt nun die Behauptung des Lemmas, denn:<br />
0 ≤ v 0 = v 0 − v n =<br />
n−1<br />
∑<br />
(v j − v j+1 ) ≤<br />
2)<br />
j=0<br />
n−1<br />
∑<br />
j=0<br />
u j+1 1 {vj >0} .<br />
Im Beweis des subadditiven Ergodensatzes von Kingman werden wir subadditive Folgen<br />
(Y n ) n vergleichen mit additiven Folgen X n = ∑ n−1<br />
i=0 X 0 ◦ ϕ i . Da<strong>zu</strong> dient folgende<br />
Hilfsüberlegung, für die das vorangehende Lemma von Riesz benötigt wird:<br />
□