Registrieren Passwort vergessen?

Primzahlsatz

5. Nov 2008, 19:56

Der Primzahlsatz erlaubt eine endliche Abschätzung der Verteilung der Primzahlen. Der Zusammenhang zwischen Primzahlen und Logarithmen wurde bereits von dem 15-jährigen Carl Friedrich Gauß 1793 und unabhängig von ihm durch Adrien-Marie Legendre 1798 vermutet, aber erst 1896 unabhängig von Jacques Salomon Hadamard und Charles Jean Gustave Nicolas de la Vallée Poussin bewiesen.

Inhaltsverzeichnis

[Bearbeiten] Die Primzahlfunktion

Im weiteren sei π(x) die Primzahlfunktion, die für beliebige reelle Zahlen x definiert ist als die Anzahl der Primzahlen p\leq x. Formal kann man schreiben:

\pi (x) = \# \{p \in \mathbb{P} \mid p \le x\}

Dabei bezeichnet das Symbol \mathbb{P} die Menge der Primzahlen, die Schreibweise \#M steht für die Anzahl der Elemente der Menge M.

[Bearbeiten] Der Primzahlsatz

Der Primzahlsatz besagt:

\lim_{x \to \infty}\frac{\pi(x)}{\frac{x}{\ln(x)}} = 1.

Nennt man zwei reelle Funktionen f(x) und g(x) asymptotisch äquivalent, in Formelschreibweise f(x)\sim g(x), wenn der Quotient f(x) / g(x) für x\to\infty gegen 1 konvergiert, so kann man den Primzahlsatz auch so formulieren:

Die Funktionen π(x) und x / lnx sind asymptotisch äquivalent.

[Bearbeiten] Stärkere Formen des Primzahlsatzes

Bessere Approximationen als x / lnx liefert der so genannte europäische Integrallogarithmus, der definiert wird als

\mathrm{Li}(x) = \int_2^x \frac{\mathrm{d}t}{\ln t}.

(Die Integraldarstellung für Li(x) wird gewählt, weil die Stammfunktion von 1/ln(x) nicht elementar ist.)

Der Integrallogarithmus ist asymptotisch äquivalent zu x / lnx, also auch zu π(x).

Man kann sogar zeigen:

\pi(x) = \mathrm{Li}\,x + \mathcal O \left(x \cdot \exp(-C\sqrt{\ln x} )\right)
mit einer positiven Konstanten C.

\mathcal{O}(\ldots) ist dabei ein Landau-Symbol, d.h., es gibt eine Konstante D, so dass

\Big|\pi(x)-\mathrm{Li}\,x \Big| \ <\ D\cdot x \cdot \exp \left(-C\sqrt{\ln x} \right)

für alle x gilt.


Unter Annahme der riemannschen Vermutung, und nur unter dieser, kann man die Fehlerabschätzung zu

\pi(x) = \mathrm{Li}\,x + \mathcal O \left(\sqrt{x} \cdot \ln x \right)

verbessern.

[Bearbeiten] Geschichte

  • Legendre veröffentlichte 1798 als erster in seiner Théorie des nombres (Abhandlung über Zahlentheorie) unabhängig den von Gauß vermuteten Zusammenhang zwischen Primzahlen und Logarithmen. In der zweiten Auflage dieses Werks 1808 verbesserte er die Abschätzung der Anzahl der Primzahlen π(x) zu ungefähr gleich
\frac x{\ln x - 1{,}08366}.
  • Tschebyschow zeigte 1851 die folgende schwächere Form des Primzahlsatzes:
0{,}92929 \le \frac{\pi(x)}{\frac{x}{\ln(x)}} \le 1{,}1056
für alle hinreichend großen x.
  • In seiner berühmten Arbeit Über die Anzahl der Primzahlen unter einer gegebenen Größe (1859) hat Bernhard Riemann den Zusammenhang zwischen der Verteilung der Primzahlen und den Eigenschaften der riemannschen Zetafunktion aufgezeigt. Später wurde bewiesen, dass der Primzahlsatz dem Satz äquivalent ist, dass die riemannsche Zetafunktion keine Nullstellen mit Realteil 1 hat.
  • Sowohl Hadamard als auch de la Vallée Poussin haben 1896 die Nichtexistenz solcher Nullstellen bewiesen. Ihre Beweise des Primzahlsatzes sind also nicht „elementar“, sondern verwenden funktionentheoretische Methoden.
  • Lange Jahre galt ein elementarer Beweis des Primzahlsatzes für unmöglich, was 1949 durch die von Atle Selberg und Paul Erdős gefundenen Beweise widerlegt wurde (wobei „elementar“ hier keineswegs „einfach“ bedeutet). Später wurden noch zahlreiche Varianten und Vereinfachungen dieser Beweise gefunden.

[Bearbeiten] Zahlenbeispiele

Darstellung von π(x), x / ln(x) und Li(x)
Die folgende Tabelle zeigt konkrete Werte des Primzahlsatzes sowie die Werte, die sich aus Legendres Formel ergeben.
x π(x) π(x) / x x / ln(x) π(x)·ln(x) / x Legendre
10 4 0,4000 4,34 0,9210 8
100 25 0,2500 21,71 1,1513 28
1.000 168 0,1680 144,76 1,1605 172
10.000 1.229 0,1229 1.085,74 1,1320 1.231
100.000 9.592 0,0959 8.685,89 1,1043 9.588
1.000.000 78.498 0,0785 72.382,41 1,0845 78.543
10.000.000 664.579 0,0665 620.420,69 1,0712 665.140
100.000.000 5.761.455 0,0576 5.428.681,02 1,0613 5.768.004
1.000.000.000 50.847.534 0,0508 48.254.942,43 1,0537 50.917.519

Die Größe π(x) / x heißt Primzahldichte.

[Bearbeiten] Literatur

  • E. Freitag, R. Busam: Funktionentheorie. 3. Aufl., Springer-Verlag, Berlin 2000. ISBN 3540676414
  • G. H. Hardy, E. M. Wright, An Introduction to the Theory of Numbers, 5. Auflage, Oxford University Press, Oxford 1979. ISBN 0198531710

[Bearbeiten] Weblinks

Von „http://de.wikipedia.org/wiki/Primzahlsatz“
Dieser Artikel ist eine Kopie aus der freien Enzyklopädie Wikipedia. Am Originalartikel kann jeder Korrekturen und Ergänzungen vornehmen. Zudem kann man frühere Versionen einsehen.
In Kooperation mit Lycos Europe Network