Gleichung von Tatuzawa-Iseki

Die Gleichung von Tatuzawa-Iseki (englisch Tatuzawa-Iseki identity) ist eine Identität aus dem mathematischen Teilgebiet der Analytischen Zahlentheorie, die auf eine wissenschaftliche Arbeit der beiden Mathematiker Tikao Tatuzawa und Kanesiro Iseki aus dem Jahre 1951 zurückgeht. Die Gleichung erlaubt einen Zugang zu einem elementaren Beweis des Primzahlsatzes.

Formulierung der Gleichung

Die Gleichung lässt sich darstellen wie folgt:

Gegeben sei das unbeschränkte reelle Intervall ${\displaystyle I:=[1,\infty )\subset \mathbb {R} }$ und darauf eine reellwertige oder komplexwertige Funktion ${\displaystyle g\colon I\to \mathbb {K} }$ (mit ${\displaystyle \mathbb {K} =\mathbb {R} }$ oder ${\displaystyle \mathbb {K} =\mathbb {C} }$).

Dazu werde die Funktion ${\displaystyle G\colon I\to \mathbb {K} }$ mit ${\displaystyle G(x)=\sum _{n\leq x}{g\left({\frac {x}{n}}\right)}}$ für reelles ${\displaystyle x\geq 1}$ gebildet.

Weiter seien – wie üblich – ${\displaystyle \Lambda }$ die Von Mangoldt-Funktion, ${\displaystyle \psi }$ die tschebyscheffsche Psi-Funktion , ${\displaystyle \mu }$ die Möbius-Funktion und ${\displaystyle \ln }$ der natürliche Logarithmus.

Dann gilt für ${\displaystyle x\geq 1}$ stets die Gleichung

${\displaystyle \sum _{n\leq x}{\mu (n)\cdot \ln \left({\frac {x}{n}}\right)\cdot G\left({\frac {x}{n}}\right)}=g(x)\cdot \ln(x)+\sum _{n\leq x}{\Lambda (n)\cdot g\left({\frac {x}{n}}\right)}}$

Selbergsche Formel

Aus der obigen Gleichung ergibt sich ein übersichtlicher Beweis der sogenannten Selbergschen Formel (englisch Selberg’s formula oder Selberg’s identity), die von ihrem Urheber, dem norwegischen Mathematiker Atle Selberg, im Jahre 1948 gefunden und im Jahre 1949 veröffentlicht wurde. Von dieser Formel, welche Grundlage der meisten elementaren Beweise des Primzahlsatzes ist, gibt es eine größere Anzahl von gleichwertigen Versionen, von denen eine sich folgendermaßen angeben lässt:

Es sei – wie üblich – mit ${\displaystyle \psi }$ die tschebyscheffsche Psi-Funktion bezeichnet. Dann gilt für reelles ${\displaystyle x\geq 1}$ – unter Anwendung der O-Notation – stets die Gleichung

${\displaystyle \psi (x)\cdot \ln(x)+\sum _{n\leq x}{\Lambda (n)\cdot \psi \left({\frac {x}{n}}\right)}=2x\cdot \ln(x)+O(x)}$

Mit Hilfe dieser Formel (und unter Zuhilfenahme äquivalenter Versionen) lässt sich dann zeigen, dass

${\displaystyle \lim _{x\to \infty }\left({\frac {\psi (x)}{x}}\right)=1}$

und damit der Primzahlsatz gilt.

Weitere Versionen der selbergschen Formel

Bezeichnet man – wie üblich – mit ${\displaystyle \vartheta }$ die tschebyscheffsche Theta-Funktion und ist eine reelle Zahl ${\displaystyle x\geq 1}$ gegeben, so sind mit der obigen Version der selbergschen Formel – nicht zuletzt! – auch die folgenden gleichwertig:

(1) ${\displaystyle \vartheta (x)\cdot \ln(x)+\sum _{p\leq x}{\ln(p)\cdot \vartheta \left({\frac {x}{p}}\right)}=2x\cdot \ln(x)+O(x)}$

(2) ${\displaystyle \sum _{p\leq x}{{\ln }^{2}(p)}+\sum _{pq\leq x}{\ln(p)\cdot \ln(q)}=2x\cdot \ln(x)+O(x)}$

(3) ${\displaystyle \sum _{p\leq x}{\ln(p)}+\sum _{pq\leq x}{\frac {\ln(p)\cdot \ln(q)}{\ln(pq)}}=2x+O\left({\frac {x}{1+\ln(x)}}\right)}$

Literatur

• R. G. Buschman: Identities involving products of number-theoretic functions. In: Proc. Amer. Math. Soc. Band 25, 1970, S. 307–309 (MR0262190). 
• Robert Breusch: Another proof of the prime number theorem. In: Duke Math. J. 1954, S. 49–53 (MR0068567). 
• P. Erdős: On a new method in elementary number theory which leads to an elementary proof of the prime number theorem. In: Proc. Nat. Acad. Sci. U.S.A. Band 35, 1949, S. 374–384 (MR0029411). 
• G. J. O. Jameson: The Prime Number Theorem (= London Mathematical Society Student Texts. Band 53). Cambridge University Press, Cambridge 2003, ISBN 0-521-81411-1 (Reprinted 2004). 
• Melvyn B. Nathanson: Elementary Methods in Number Theory (= Graduate Texts in Mathematics. Band 195). Springer-Verlag, New York, Berlin, Heidelberg 2000, ISBN 0-387-98912-9. 
• Harald Scheid: Zahlentheorie. 3. Auflage. Spektrum Akademischer Verlag, Heidelberg, Berlin 2003, ISBN 3-8274-1365-6. 
• Atle Selberg: An elementary proof of the prime-number theorem. In: Ann. of Math. (2) 50 (1949), 305–313. Band 50, 1949, S. 305–313 (MR0029410). 
• T. Tatuzawa, K. Iseki: On Selberg's elementary proof of the prime-number theorem. In: Proc. Japan Acad. Band 27, 1951, S. 340–342 (MR0046382). 
• Ernst Trost: Primzahlen (= Elemente der Mathematik vom höheren Standpunkt au. Band II). Birkhäuser Verlag, Basel, Stuttgart 1968 (MR0058630). 

Einzelnachweise

1. ↑ G. J. O. Jameson: The Prime Number Theorem. 2004, S. 206–222
2. 1 2 G. J. O. Jameson: The Prime Number Theorem. 2004, S. 214 ff.
3. ↑ G. J. O. Jameson: The Prime Number Theorem. 2004, S. 207, S. 214–221
4. ↑ Harald Scheid: Zahlentheorie. 2003, S. 339–349
5. ↑ Ernst Trost: Primzahlen. 1953, S. 66 ff.
6. ↑ Melvyn B. Nathanson: Elementary Methods in Number Theory. 2000, S. 293 ff.
7. ↑ G. J. O. Jameson: The Prime Number Theorem. 2004, S. 214–216
8. ↑ Harald Scheid: Zahlentheorie. 2003, S. 341–343

Anmerkungen

1. ↑ Unter einem elementaren Beweis des Primzahlsatzes versteht man – in Anschluss an Tschebyscheff – einen Beweis, der ohne die Methoden der Funktionentheorie und insbesondere ohne die Anwendung der komplexen riemannschen Zetafunktion auskommt.
2. ↑ Im Weiteren verweist für eine reelle Zahl ${\displaystyle x\geq 1}$ die Schreibung ${\displaystyle \sum _{n\leq x}}$ in verkürzter Form auf die Summation ${\displaystyle \sum _{n\in \mathbb {N} \;{\text{und}}\;1\leq n\leq x}}$. Hat man hier anstelle des Buchstabens ${\displaystyle n}$ den Buchstaben ${\displaystyle p}$, so wird über alle Primzahlen ${\displaystyle p\leq x}$ summiert. Steht indes unter dem Summenzeichen ${\displaystyle pq\leq x}$, so verläuft die Summation über alle geordneten Paare ${\displaystyle (p,q)}$ von Primzahlen, deren Produkt ${\displaystyle pq}$ die reelle Zahl ${\displaystyle x}$ nicht übersteigt.
3. ↑ Die hiesige selbergschen Formel ist eine andere als die (ebenfalls auf Atle Selberg zurückgehende) selbergsche Spurformel!
4. ↑ Die ersten zwei elementaren Beweise des Primzahlsatzes wurden von Atle Selberg selbst und von dem ungarischen Mathematiker Paul Erdős in 1948 gefunden und in 1949 publiziert.
5. ↑ Vermöge dieser Version gelang Paul Erdős in 1948 der Beweis, dass die Primzahlfolge ${\displaystyle \left(p_{n}\right)_{n=1,2,3,\ldots }}$ die Grenzwertbeziehung ${\displaystyle \lim _{n\to \infty }\left({\frac {p_{n+1}}{p_{n}}}\right)=1}$ erfüllt. (Siehe Melvyn B. Nathanson: Elementary Methods in Number Theory. 2000, S. 321–322!)