Satz von Delange

Der Satz von Delange (englisch Delange’s theorem) ist ein Lehrsatz des mathematischen Gebiets der Analytischen Zahlentheorie, der auf eine Arbeit des französischen Mathematikers Hubert Delange aus dem Jahre 1961 zurückgeht und auf die Frage eingeht, unter welchen Bedingungen Aussagen über Mittelwerte zahlentheoretischer Funktionen gemacht werden können. In 1965 lieferte Alfréd Rényi einen vereinfachten Beweis des Satzes, der sich wesentlich auf eine von Jonas Kubilius und Paul Turán formulierte Ungleichung stützt.

Formulierung des Satzes

Delanges Satz lässt sich zusammengefasst formulieren wie folgt:

Gegeben sei eine multiplikative zahlentheoretische Funktion $f\colon \mathbb {N} \to \mathbb {C}$, welche nicht die Nullfunktion sein soll und welche dabei für jede natürliche Zahl $n$ hinsichtlich des Betrags des Funktionswertes die Ungleichung

$|f(n)|\leq 1$

erfülle.

Dann gilt:

I

$\operatorname {M} (f)$ existiert mit $\operatorname {M} (f)\neq 0$ genau dann, wenn $f$ den beiden folgenden Bedingungen genügt:

(1) Die Reihe $\sum _{p\;{\text{Primzahl}}}{\frac {1-f(p)}{p}}$ konvergiert.

(2) Es gibt mindestens eine natürliche Zahl $r$ mit $f(2^{r})\neq -1$.

II

Genügt $f$ den beiden genannten Bedingungen, so gilt:

$\operatorname {M} (f)=\prod _{p\;{\text{Primzahl}}}\left({\bigl (}1-{\frac {1}{p}}{\bigr )}\cdot {\bigl (}1+\sum _{k=1}^{\infty }{\frac {f(p^{k})}{p^{k}}}{\bigr )}\right)$

Hintergrund: Die Ungleichung von Turán und Kubilius

Die erwähnte Turán-Kubilius'sche Ungleichung (englisch Turán-Kubilius inequality) kann in Anschluss an die Monographie von Wolfgang Schwarz folgendermaßen formuliert werden:

Zu einer gegebenen additiven zahlentheoretischen Funktion $a\colon \mathbb {N} \to \mathbb {C}$ seien für $N\in \mathbb {N}$

$A(N):=\sum _{p\;{\text{Primzahl}}\;,\;p\leq N}{\frac {a(p)}{p}}$

und

$B(N):=\sum _{p\;{\text{Primzahl}}\;,\;k\in \mathbb {N} \;,\;p^{k}\leq N}{\frac {|a(p^{k})|^{2}}{p^{k}}}$

gesetzt.

Dann gibt es eine von der zahlentheoretischen Funktion $a$ unabhängige absolute Konstante $K>0$ derart, dass für $N\in \mathbb {N}$ stets die Ungleichung

$\sum _{n=1}^{N}{|a(n)-A(N)|^{2}}\leq K\cdot N\cdot B(N)$

erfüllt ist.

Erläuterungen

• Man sagt in Bezug auf eine gegebene zahlentheoretische Funktion $g\colon \mathbb {N} \to \mathbb {C}$, der (zugehörige) Mittelwert $\operatorname {M} (g)$ existiert, wenn in der komplexen Zahlenebene $\mathbb {C}$ der folgende Grenzwert existiert:

$\lim _{x\in \mathbb {R} \;,\;x\to \infty }{{\frac {1}{x}}{\sum _{n\in \mathbb {N} \;,\;n\leq x}g(n)}}=:\operatorname {M} (g)$

• Zu der oben dargestellten Ungleichung von Turán-Kubilius findet man weitere und bessere Versionen, die einerseits das obige Abzugsglied $A(N)$ und andererseits die erwähnte Konstante $K$ variieren.

Siehe auch

• Artikel Turán–Kubilius inequality in der englischsprachigen Wikipedia

Literatur

• Hubert Delange: Sur les fonctions arithmétiques multiplicatives. In: Annales Scientifiques de l'École Normale Supérieure. Troisième Série. Band 78, 1961, S. 273–304 (MR0169829). 
• J. Kubilius: Probabilistic Methods in the Theory of Numbers (= Translations of Mathematical Monographs. Band 11). American Mathematical Society, Providence, R.I. 1964 (MR0160745). 
• Alfréd Rényi: A new proof of a theorem of Delange. In: Publicationes Mathematicae Debrecen. Band 12, 1965, S. 323–329 (MR0190124). 
• Wolfgang Schwarz: Einführung in die Zahlentheorie (= Die Mathematik. Einführungen in Gegenstand und Ergebnisse ihrer Teilgebiete und Nachbarwissenschaften). Wissenschaftliche Buchgesellschaft, Darmstadt 1975 (MR0434930).