24.01.2013 Aufrufe

Klenke Wahrscheinlichkeitstheorie

Klenke Wahrscheinlichkeitstheorie

Klenke Wahrscheinlichkeitstheorie

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

502 23 Große Abweichungen<br />

Analog ist für abgeschlossenes C ⊂ R d<br />

lim sup<br />

n→∞<br />

1<br />

n log P Sn/n(C) ≥−inf Ĩ(C).<br />

Mit anderen Worten: (P Sn/n)n∈N erfüllt ein LDP mit Rate n und Ratenfunktion Ĩ.<br />

Es ist also nur noch zu zeigen, dass Ĩ = Λ∗ gilt.<br />

Man beachte, dass t ↦→ Λ(t) differenzierbar (mit Ableitung Λ ′ ) und strikt konvex<br />

ist. Daher besitzt das Variationsproblem für Λ∗ (x) einen eindeutigen Maximierer<br />

t∗ (x). Genauer gilt<br />

Λ ∗ (x) =〈t ∗ (x),x〉−Λ(t ∗ (x))<br />

und Λ∗ (x) > 〈t, x〉−Λ(t) für alle t �= t∗ (x),sowieΛ ′ (t∗ (x)) = x.<br />

Nach der Jensenschen Ungleichung ist für jedes ν ∈M1(Σ)<br />

�<br />

Λ(t) = log e 〈t,y〉 μ(dy)<br />

� �<br />

�<br />

〈t,y〉 μ({y})<br />

=log e ν(dy)<br />

ν({y})<br />

� �<br />

�<br />

〈t,y〉 μ({y})<br />

≥ log e ν(dy)<br />

ν({y})<br />

= 〈t, m(ν)〉−H(ν |μ)<br />

mit Gleichheit genau dann, wenn ν = νt,woνt({y}) =μ({y})e 〈t,y〉−Λ(t) .Alsoist<br />

〈t, x〉−Λ(t) ≤ inf H(ν |μ)<br />

ν∈Ex<br />

mit Gleichheit, falls νt ∈ Ex. Nun ist aber m(νt) =Λ ′ (t), also ist νt∗ (x) ∈ Ex und<br />

damit<br />

Λ ∗ (x) =〈t ∗ (x),x〉−Λ(t ∗ (x)) = inf H(ν |μ) = Ĩ(x). ✸<br />

ν∈Ex<br />

Das Beweisprinzip, das wir im letzten Beispiel verwandt haben, um das LDP mit<br />

Ratenfunktion Ĩ herzuleiten, wird Kontraktionsprinzip genannt. Wir formulieren<br />

es als Satz.<br />

Satz 23.16 (Kontraktionsprinzip). Die Familie (με)ε>0 von W-Maßen auf E erfülle<br />

ein LDP mit Ratenfunktion I. IstFein topologischer Raum und m : E → F<br />

stetig, so erfüllen die Bildmaße (με ◦ m−1 )ε>0 ein LDP mit Ratenfunktion Ĩ(x) =<br />

inf I(m−1 ({x})).<br />

23.4 Varadhan’sches Lemma und Freie Energie<br />

Wir nehmen an, dass (με)ε>0 eine Familie von W-Maßen ist, die ein LDP mit Ratenfunktion<br />

I erfüllt. Wir wissen also, dass die Masse von με für kleine ε>0 mehr und

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!