Lévy-Khinchin-Formel
# Lévy-Khinchin-Formel

Die Lévy-Khinchin-Formel ist ein mathematischer Satz aus der Wahrscheinlichkeitstheorie. Sie charakterisiert die unendlich teilbaren Wahrscheinlichkeitsverteilungen auf den reellen Zahlen über eine kanonische Darstellung ihrer logarithmierten charakteristischen Funktion, die aus drei Teilen besteht.

Die Lévy-Khinchin-Formel basiert auf einer Arbeit von Paul Lévy von 1934, die eine Formel von Andrei Nikolajewitsch Kolmogorow aus dem Jahre 1932 verallgemeinert. Im Jahr 1937 veröffentlichte dann Alexander Jakowlewitsch Chintschin die Lévy-Khinchin-Formel.

Die Lévy-Khinchin-Formel ist beispielsweise wichtig für die Theorie der Lévy-Prozesse, da man aus der Darstellung der logarithmierten charakteristischen Funktion als drei Teile eine entsprechende Zerlegung für die Lévy-Prozesse ableiten kann.

Bernstein-Funktionen werden eindeutig durch die Lévy-Khinchin-Formel charakterisiert.

## Aussage

Sei $P$ ein Wahrscheinlichkeitsmaß auf $\mathbb {R}$ mit charakteristischer Funktion $\varphi (t)$. Definiere

    $\Psi (t):=\ln \varphi (t)$.

Dann gilt:

    $P$ ist genau dann unendlich teilbar, wenn es eine reelle Zahl $b$ und eine positive Zahl $\sigma ^{2}$ gibt sowie ein σ-endliches Maß $\mu$, für das $\mu (\{0\})=0$ und
       $\int _{\mathbb {R} }\min(x^{2},1)\mu (\mathrm {d} x)<\infty$
    gilt, so dass $\Psi$ die Darstellung
       $\Psi (t)=ibt-{\frac {\sigma ^{2}}{2}}t^{2}+\int _{\mathbb {R} }\left(\exp(itx)-1-itx\mathbf {1} _{\{|x|<1\}}\right)\mu (\mathrm {d} x)$
    besitzt.

Hierbei bezeichnet $\mathbf {1} _{A}$ die Indikatorfunktion der Menge $A$.

Das Maß $\mu$ wird als kanonisches Maß oder Lévy-Maß von $P$ bezeichnet, die Zahl $b$ als Zentrierungskonstante und $\sigma ^{2}$ als Gauß’scher Koeffizient. Gemeinsam nennt man $(\sigma ^{2},b,\mu )$ ein kanonisches Tripel.

Zu jeder unendlich teilbaren Wahrscheinlichkeitsverteilung gehört ein eindeutig bestimmtes kanonisches Tripel. Umgekehrt kann bei Vorgabe eines kanonischen Tripels eine eindeutige unendlich teilbare Wahrscheinlichkeitsverteilung konstruiert werden.

