24.01.2013 Aufrufe

Klenke Wahrscheinlichkeitstheorie

Klenke Wahrscheinlichkeitstheorie

Klenke Wahrscheinlichkeitstheorie

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

17.6 Invariante Verteilungen 363<br />

Satz 17.51. Sei X irreduzibel. X ist genau dann positiv rekurrent, wenn I �= ∅<br />

ist. In diesem Fall ist I = {π} mit<br />

π({x}) =<br />

1<br />

Ex[τ 1 > 0 für jedes x ∈ E.<br />

x]<br />

Beweis. Ist X positiv rekurrent, so ist I �= ∅ nach Korollar 17.48. Sei nun I �= ∅<br />

und π ∈ I.DaX irreduzibel ist, ist π({x}) > 0 für jedes x ∈ E. SeiPπ =<br />

�<br />

x∈E π({x})Px.Seix ∈ E fest und für n ∈ N0<br />

σ n x =sup � m ≤ n : Xm = x � ∈ N0 ∪{−∞}<br />

die letzte Eintrittszeit in x bis zur Zeit n. (Man bemerke, dass dies keine Stoppzeit<br />

ist.) Nach der Markoveigenschaft gilt dann für k ≤ n<br />

�<br />

Xk = x, Xk+1 �= x,...,Xn �= x �<br />

Pπ [σ n x = k] =Pπ<br />

�<br />

= Pπ Xk+1 �= x,...,Xn �= x|Xk = x � Pπ[Xk = x]<br />

�<br />

= π({x}) Px X1,...,Xn−k �= x �<br />

� 1<br />

= π({x}) Px τx ≥ n − k +1 � .<br />

�<br />

1 Also ist für jedes n ∈ N0 (wegen Py τx < ∞ � =1für jedes y ∈ E)<br />

1=<br />

n�<br />

k=0<br />

= π({x})<br />

Pπ [σ n x = k]+Pπ [σ n x = −∞]<br />

n�<br />

k=0<br />

n→∞<br />

−→ π({x})<br />

� 1<br />

Px τx ≥ n − k +1 � � 1<br />

+ Pπ τx ≥ n +1 �<br />

∞�<br />

k=1<br />

� 1<br />

Px τx ≥ k � � � 1<br />

= π({x}) Ex τx .<br />

� �<br />

1 1<br />

Mithin ist Ex τx = π({x}) < ∞, und damit ist X positiv rekurrent. ✷<br />

Übung 17.6.1. Betrachte die Markovkette aus Abb. 17.1 (Seite 350). Man bestimme<br />

die Menge aller invarianten Verteilungen und zeige, dass die Zustände 6, 7 und 8<br />

positiv rekurrent sind mit erwarteten Eintrittszeiten<br />

E6[τ6] = 17<br />

4 , E7[τ7] = 17<br />

5<br />

und E8[τ8] = 17<br />

. ♣<br />

5

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!