Satz von Erdős-Wintner

Der Satz von Erdős-Wintner ist ein wichtiger Satz aus der stochastischen Zahlentheorie. Der Satz nennt Bedingungen, wann ein additive Funktion eine Grenzwertverteilung besitzt.

Der Satz ist nach Paul Erdős und Aurel Wintner benannt. Es handelt sich um eine Variante des Dreireihensatz 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$.

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, wann $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 _{|f(p)|>R}{\frac {1}{p}},\qquad \qquad$ b) $\quad \sum \limits _{|f(p)|\leq R}{\frac {f(p)}{p}}\qquad \qquad$ c) $\quad \sum \limits _{|f(p)|\leq R}{\frac {f(p)^{2}}{p}}$

konvergieren, wobei hier $p\in {\mathcal {P}}$.

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}\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}}$ gilt.

Literatur

• Adolf Hildebrand: An Erdős-Wintner Theorem for Differences of Additive Functions. In: American Mathematical Society (Hrsg.): Graduate Studies in Mathematics. Band 310, Nr. 1, 1988, S. 257, doi:10.2307/2001120. 
• Gérald Tenenbaum: Introduction to analytic and probabilistic number theory. In: American Mathematical Society (Hrsg.): Graduate Studies in Mathematics. Band 163, 2015, ISBN 978-0-8218-9854-3.