Satz von Delange

Delanges Satz lässt sich zusammengefasst formulieren wie folgt:[1][3]

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

${\displaystyle |f(n)|\leq 1}$[4]

erfülle.

Dann gilt:

I

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

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

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

II

Genügt ${\displaystyle f}$ den beiden genannten Bedingungen, so gilt:

${\displaystyle \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)}$

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:[5]

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

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

und

${\displaystyle 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 ${\displaystyle a}$ unabhängige absolute Konstante ${\displaystyle K>0}$ derart, dass für ${\displaystyle N\in \mathbb {N} }$ stets die Ungleichung

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

erfüllt ist.

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

${\displaystyle \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 ${\displaystyle A(N)}$ und andererseits die erwähnte Konstante ${\displaystyle K}$ variieren.[6]

• Jean-Marie De Koninck, Florian Luca: Analytic Number Theory. Exploring the Anatomy of Integers (= Graduate Studies in Mathematics. Band 134). American Mathematical Society, Providence, R.I. 2012, ISBN 978-0-8218-7577-3 (MR2919246).
• 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).
• József Sándor, Dragoslav S. Mitrinović, Borislav Crstici: Handbook of Number Theory. I. Springer Verlag, Dordrecht 2006, ISBN 978-1-4020-4215-7, XVI.27, S. 584 ff. (MR2186914).
• Wolfgang Schwarz: Einführung in die Zahlentheorie (= Die Mathematik. Einführungen in Gegenstand und Ergebnisse ihrer Teilgebiete und Nachbarwissenschaften). Wissenschaftliche Buchgesellschaft, Darmstadt 1975 (MR0434930).

1. Wolfgang Schwarz: Einführung in die Zahlentheorie. 1975, S. 121 ff.
2. Jean-Marie De Koninck, Florian Luca: Analytic Number Theory. 2012, S. 87 ff.
3. De Koninck / Luca, op. cit., S. 88
4. ${\displaystyle |\cdot |}$ bezeichnet die Betragsfunktion.
5. Schwarz, op. cit., S. 122
6. József Sándor et al.: Handbook of Number Theory. I, Kapitel=XVI.3. 2006, S. 561 ff.