Satz von Erdős-Wintner
# Satz von Erdős-Wintner

Der Satz von Erdős-Wintner ist ein wichtiger Satz aus der stochastischen Zahlentheorie. Der Satz nennt Bedingungen, unter denen die Verteilung einer additiven Funktion gegen einen Grenzwert konvergiert.
Der Satz ist nach Paul Erdős und Aurel Wintner benannt. Es handelt sich um eine Variante des Dreireihensatzes von Kolmogorow.

## Einführung in die stochastische Zahlentheorie

Als additive Funktion bezeichnen wir eine Funktion mit der Eigenschaft
    $f(mn)=f(n)+f(m)$
für alle teilerfremden positiven ganzen Zahlen $n,m$.

### Verteilungen und ihr Grenzwert

In der stochastischen Zahlentheorie betrachtet man zahlentheoretische Funktionen
    $f:\mathbb {N} \to \mathbb {R} \quad$ oder $\quad f:\mathbb {N} \to \mathbb {C}$
als Zufallsvariablen. Dann lässt sich eine diskrete Verteilung auf $\{n\in \mathbb {N} :n\leq N\}$ definieren mit der Verteilungsfunktion
    $F_{f,N}(z)=P(f\leq z):={\frac {1}{N}}|\{n\in \mathbb {N} :n\leq N,f(n)\leq z\}|$
für $z\in \mathbb {R}$, wobei $|\cdot |$ die Kardinalität bezeichnet.
Wir sind nun an Bedingungen interessiert, unter denen $f$ in Verteilung konvergiert (bzw. $F_{f,N}$ schwach konvergiert, d. h.
    $F_{f}(z)=\lim \limits _{N\to \infty }F_{f,N}(z),\quad \forall z\in {\mathcal {C}}(F_{f}),$
wobei ${\mathcal {C}}(F_{f})$ die Menge der Punkte bezeichnet, auf der die Funktion stetig ist).

## Satz von Erdős-Wintner

Sei ${\mathcal {P}}$ die Menge der Primzahlen.
Eine additive reelle Funktion $f$ hat genau dann eine Grenzwertverteilung, wenn es ein $R>0$ gibt, so dass die drei Reihen
    a) $\quad \sum \limits _{p\in {\mathcal {P}},|f(p)|>R}{\frac {1}{p}},\qquad \qquad$ b) $\quad \sum \limits _{p\in {\mathcal {P}},|f(p)|\leq R}{\frac {f(p)}{p}}\qquad \qquad$ c) $\quad \sum \limits _{p\in {\mathcal {P}},|f(p)|\leq R}{\frac {f(p)^{2}}{p}}$
konvergieren, wobei hier $p\in {\mathcal {P}}$ andeuten soll, dass die Reihen über alle Primzahlen zu bilden sind.

### Erläuterungen

$R$ ist hier eine positive reelle Zahl und die Summen laufen über Mengen von Primzahlen. Falls die drei Reihen für ein $R>0$ konvergieren, so konvergieren sie für alle $R>0$ und es kann deshalb auch $R:=1$ gewählt werden.
Im Falle der Konvergenz lautet die charakteristische Funktion der Grenzwertverteilung
    $\varphi _{f}(t)=\prod \limits _{p\in {\mathcal {P}}}\left(1-{\frac {1}{p}}\right)\sum \limits _{\nu =0}^{\infty }\exp \left(\mathrm {i} tf(p^{\nu })\right)p^{-\nu },$
wobei hier auch wieder $p\in {\mathcal {P}}$ bedeutet, dass das unendliche Produkt über alle Primzahlen zu bilden ist.