Satz von Mertens (Zahlentheorie)

Unter d​em Satz v​on Mertens, benannt n​ach dem Mathematiker Franz Mertens, versteht m​an im mathematischen Teilgebiet d​er analytischen Zahlentheorie e​ine Reihe v​on Aussagen über d​as asymptotische Verhalten v​on Reihen, d​ie aus Kehrwerten d​er Primzahlen gebildet sind.

Definitionen

Zur Formulierung der Aussagen erinnern wir zunächst an die O-Notation, mit dem das Wachstum von Funktionen ${\displaystyle f,g:[K;+\infty )\rightarrow \mathbb {R} }$ (mit der Hilfe von einer Funktion ${\displaystyle h:[K;+\infty )\rightarrow \mathbb {R} _{*}^{+}}$ und wo ${\displaystyle K}$ eine Konstante ist), verglichen werden kann. So schreibt man, ${\displaystyle f(x)=g(x)+O(h(x))}$, falls es eine Konstante ${\displaystyle C>0}$ und ein ${\displaystyle x_{0}>0}$ gibt, so dass ${\displaystyle |f(x)-g(x)|\leq C\cdot h(x)}$ für alle ${\displaystyle x>x_{0}}$. Die in den Formeln von Mertens auftretenden Funktionen sind der natürliche Logarithmus ${\displaystyle \log }$, die mit ${\displaystyle \Lambda }$ bezeichnete Mangoldt-Funktion sowie die Tschebyschow-Funktion

${\displaystyle \psi (x)=\sum _{n\leq x}\Lambda (n)=\sum _{p^{n}\leq x}\log p}$.

Dabei durchläuft ${\displaystyle p}$ alle Primzahlen und ${\displaystyle n}$ alle natürlichen Zahlen; summiert wird nur über solche ${\displaystyle n}$ bzw. ${\displaystyle n}$ und ${\displaystyle p}$, für die die jeweils unter dem Summenzeichen angegebene Bedingung erfüllt ist. Von dieser Kurzschreibweise wird auch in den nun vorgestellten Formeln Gebrauch gemacht.

Die Formeln von Mertens

Für d​ie oben genannten Funktionen gelten folgende Beziehungen.[1]

${\displaystyle (1)\quad \sum _{n\leq x}{\frac {\Lambda (n)}{n}}=\log x\,+\,O(1).}$

${\displaystyle (2)\quad \sum _{p\leq x}{\frac {\log p}{p}}=\log x\,+\,O(1).}$

${\displaystyle (3)\quad \int _{1}^{x}{\frac {\psi (t)}{t^{2}}}\mathrm {d} t=\log x\,+\,O(1).}$

Es gibt eine Konstante ${\displaystyle M}$, so dass

${\displaystyle (4)\quad \sum _{p\leq x}{\frac {1}{p}}=\log \log x+M\,+\,O\left({\frac {1}{\log x}}\right).}$

${\displaystyle M}$ ist die Meissel-Mertens-Konstante und es gilt:

${\displaystyle M=\lim _{n\to \infty }\left(\sum _{p\in \mathbb {P} }^{n}{\frac {1}{p}}-\log \log n\right)=\gamma +\sum _{p\in \mathbb {P} }\left[\log \left(1-{\frac {1}{p}}\right)+{\frac {1}{p}}\right]=\gamma +\sum _{k=2}^{\infty }{\frac {\mu (k)}{k}}\log \zeta (k).}$

Hierbei bezeichnet ${\displaystyle \gamma =0,5772156649...}$ die Euler-Mascheroni-Konstante und es gilt[2]

${\displaystyle (5)\quad \lim _{x\to \infty }\log x\prod _{p\leq x}\left(1-{\frac {1}{p}}\right)=e^{-\gamma }.}$

Bemerkungen

Die originalen Formeln von Mertens sind (2), (4) und (5). Mertens nennt weniger präzise Versionen von (4) und (5) "Merkwürdige Formeln" von Legendre.[3] Dass die Reihe der Kehrwerte aller Primzahlen divergiert (wie ${\displaystyle \log \log x}$), war von Euler bekannt.[4] Die Formel (4) beschreibt präzise, wie schnell diese Reihe gegen unendlich divergiert. Die letzte Formel ist eine Folgerung daraus, wie im angegebenen Lehrbuch von Hardy und Wright[2] gezeigt wird. Die Formeln wurden erstmals 1874 von Franz Mertens bewiesen.[5] Die Formel (4) war von Tschebyschow[6] erkannt, aber sein Beweis verwendete die Legendre-Gauss Vermutung, die erst im Jahre 1896 gezeigt werden konnte, und die danach als Primzahlsatz bekannt wurde. Mertens jedoch verwendete keine (im Jahre 1874) unbewiesene Vermutung. Sein Beweis ist aus zwei Gründen bemerkenswert. Mertens hatte die Idee, erst (2) zu beweisen, wobei (4) relativ leicht folgt. Zweitens wissen wir jetzt, dass die Formel (4) "fast" äquivalent mit dem Primzahlsatz ist: in der Tat ist dieser gleichwertig mit[7]

${\displaystyle (4')\quad \sum _{p\leq x}{\frac {1}{p}}=\log \log x+C\,+\,o\left({\frac {1}{\log x}}\right).}$

Einzelnachweise

1. K. Chandrasekharan: Introduction to Analytic Number Theory, Springer Verlag, Grundlehren der mathematischen Wissenschaften 148, ISBN 3540041419, VII, §5, Theorem 8
2. G. H. Hardy, E. M. Wright: An Introduction to the Theory of Numbers, 4. Auflage, Oxford University Press, Oxford 1975. ISBN 0-19-853310-1, Theorem 429
3. Essai sur la théorie des nombres; 3. Auflage (1830), zwei Bände; Deutsch Leipzig 1886. Vierter Teil, VIII.
4. Leonhard Euler. Variae observationes circa series infinitas. Commentarii academiae scientiarum Petropolitanae 9 (1737), 160–188.
5. F. Mertens. J. reine angew. Math. 78 (1874), 46–62. Ein Beitrag zur analytischen Zahlentheorie
6. P.L. Tchebychev. Sur la fonction qui détermine la totalité des nombres premiers. Mémoires présentés à l'Académie Impériale des Sciences de St-Pétersbourg par divers savants, VI 1851, 141–157
7. Obwohl diese Äquivalenz nicht ausdrücklich erwähnt, ist es leicht, die zu bekommen. Zum Beispiel mit I.3 von: G. Tenenbaum. Introduction à la théorie analytique et probabiliste des nombres. Cours spécialisés 1. Société Mathématique de France, Paris 1995.