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.

280 14 W-Maße auf Produkträumen<br />

Familie von Verteilungen (νt, t ≥ 0) mit der Eigenschaft νt+s = νt ∗ νs ersetzen.<br />

Dies gilt speziell für die Familie der Gammaverteilungen νt = Γθ,t (für festes<br />

θ>0), die Poissonverteilung νt =Poit, die negative Binomialverteilung νt = b − t,p<br />

(für festes p ∈ (0, 1]), die Cauchy-Verteilung νt =Caut und andere (vergleiche<br />

Satz 15.12 und Korollar 15.13). Wir halten dieses Ergebnis in einem Satz fest.<br />

Definition 14.46 (Faltungshalbgruppe). Sei I ⊂ [0, ∞) eine Halbgruppe. Eine<br />

Familie ν =(νt : t ∈ I) von Wahrscheinlichkeitsverteilungen auf Rd heißt Faltungshalbgruppe,<br />

falls νs+t = νs ∗ νt gilt für alle s, t ∈ I.<br />

t→0<br />

Ist I =[0, ∞) und gilt zudem νt −→ δ0, so heißt die Faltungshalbgruppe stetig<br />

(im Sinne der schwachen Konvergenz).<br />

Ist d = 1 und νt((−∞, 0)) = 0 für jedes t ∈ I, soheißtνeine nichtnegative<br />

Faltungshalbgruppe.<br />

Für den folgenden Satz vergleiche Definition 9.7.<br />

Satz 14.47. Zu jeder Faltungshalbgruppe (νt : t ∈ I) und jedem x ∈ R d existiert<br />

ein W-Maß Px auf dem Produktraum (Ω,A) = � (R d ) I , B(R d ) ⊗I� , sodass der<br />

kanonische Prozess (Xt)t∈I ein stochastischer Prozess mit Px[X0 = x] =1und<br />

stationären unabhängigen Zuwächsen ist mit Px ◦ (Xt − Xs) −1 = νt−s für t><br />

s. Umgekehrt definiert jeder stochastische Prozess (Xt)t∈I (auf einem beliebigen<br />

Wahrscheinlichkeitsraum (Ω,A, P)) mit stationären unabhängigen Zuwächsen eine<br />

Faltungshalbgruppe durch νt = P ◦ (Xt − X0) −1 für jedes t ∈ I.<br />

Übung 14.4.1. Sei (νt : t ≥ 0) eine stetige Faltungshalbgruppe. Man zeige: Für<br />

jedes t>0 gilt νt = lims→t νs. ♣<br />

Übung 14.4.2. Sei (νt : t ≥ 0) eine Faltungshalbgruppe. Man zeige: Für νt/n n→∞<br />

−→<br />

δ0. ♣<br />

Übung 14.4.3. Man zeige: Eine nichtnegative Faltungshalbgruppe ist stetig. ♣<br />

Übung 14.4.4. Man zeige: Eine stetige, reelle Faltungshalbgruppe (νt : t ≥ 0) mit<br />

νt((−∞, 0)) = 0 für ein t>0 ist nichtnegativ. ♣

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!