Riemannsche Vermutung

Die riemannsche Vermutung oder riemannsche Hypothese ist eine Annahme über die Nullstellen der riemannschen Zetafunktion. Sie besagt, dass alle Nullstellen dieser komplexwertigen Funktion den Realteil 1 / 2 besitzen. Ob die Vermutung zutrifft oder nicht, ist eines der bedeutendsten ungelösten Probleme der Mathematik.

Inhaltsverzeichnis
1 Die riemannsche Zetafunktion
2 Riemannsche Vermutung
3 Bedeutung
4 Geschichte
5 Weblinks

Die riemannsche Zetafunktion

thumb|Betrag der Zetafunktion auf der kritischen Geraden Re(s) = 1/2

Die riemannsche Zetafunktion ist eine komplexwertige Funktion, die durch die folgende Reihe definiert ist:

\zeta (s) = \sum_{n=1}^{\infty} \frac{1}{n^s} \qquad ( s \in \mathbb{C} \ \mathrm{und} \ \mathrm{Re}\,s>1 ),

Dabei bezeichnet \mathrm{Re}\,s der Realteil der komplexen Veränderlichen s. Auch wenn diese Darstellung nur für \mathrm{Re}\,s >1 gilt, lässt sich die Funktion auf die gesamte komplexe Ebene mit Ausnahme von s = 1 analytisch fortsetzen. Im Punkt s = 1 besitzt sie einen einzigen einfachen Pol.

Eine der wichtigsten Eigenschaften der riemannschen Zetafunktion ist ihr Zusammenhang mit den Primzahlen. Sie stellt eine Beziehung zwischen komplexer Analysis und analytischer Zahlentheorie her und bildet den Ausgangspunkt der riemannschen Vermutung. Der folgende Ausdruck stellt den Zusammenhang formelhaft dar als

\sum_{n=1}^{\infty}\frac{1}{n^s}= \prod_p \left( 1 - \frac{1}{p^s} \right) ^{-1} = \frac1{\left(1-\frac1{2^s}\right)\left(1-\frac1{3^s}\right)\left(1-\frac1{5^s}\right)\cdots},

wobei Πp eine unendliches Produkt über alle Primzahlen p darstellt.

Riemannsche Vermutung

Die riemannsche Vermutung ist eine Aussage über die Lage der Nullstellen der auf die komplexe Halbebene Re(s) > 0 fortgesetzten Zetafunktion. Sie besitzt die "trivialen" Nullstellen s = -2, s = -4, s = -6, \dots. Es ist bekannt, dass alle anderen, "nicht-trivialen" Nullstellen in dem Streifen

\{s\in\mathbb C\mid 0<\mathrm{Re}\,s<1\}

liegen. Die Vermutung von Bernhard Riemann aus dem Jahre 1856 besagt, dass sie sogar auf der Geraden

s = {1\over 2} + \mathrm i\,t \qquad ( t \in \mathbb{R} )

liegen, also den Realteil 1 / 2 besitzen. Dabei steht i für die imaginäre Einheit.

Bedeutung

Aus der riemannschen Vermutung folgt eine Restgliedabschätzung im Primzahlsatz:

\pi(x) = \mathrm{Li}\,x+O(\sqrt x\cdot\log x);

dabei ist

\mathrm{Li}\,x=\int_2^x\frac{\mathrm dt}{\log t}.

Geschichte

Der Beweis der riemannschen Vermutung wurde im Jahr 1900 von David Hilbert in seiner Liste von 23 mathematischen Problemen als Jahrhundertproblem deklariert. Da es bisher nicht gelungen ist, hat das Clay Mathematics Institute im Jahr 2000 dieses Vorhaben erneut zu den wichtigsten mathematischen Problemen erklärt und einen Preis von einer Million US-Dollar auf einen schlüssigen Beweis der riemannschen Vermutung ausgesetzt, allerdings nichts für ein Gegenbeispiel.

Im Jahr 2001 wurde mit Hilfe von Großrechnern gezeigt, dass die ersten zehn Milliarden Nullstellen der komplexen Zeta-Funktion alle die riemannsche Vermutung erfüllen, d.h., sie liegen alle auf der Geraden mit Realteil 1 / 2.

Die beiden französischen Mathematiker Gourdon und Demichel starteten mit dem Verfahren von Odlyzko und Schönhage im Jahr 2004 einen neuen Versuch und hatten im Oktober 2004 die ersten 10 Billionen Nullstellen überprüft.

Im Juni 2004 hat Louis de Branges de Bourcia zum wiederholten Male einen angeblichen Beweis veröffentlicht, der derzeit kritisch geprüft wird. Derselbe Autor hat allerdings in den letzten Jahren mehrmals Beweise publiziert, die sich als falsch herausstellten. Ob dies auch bei dem aktuellen so ist, wird sich zeigen.

Am 18. März 2005 hat Dr. Fayez Fok Aladah, der Präsident der syrischen Kosmologiegesellschaft, ebenfalls einen überraschend einfachen 10-seitigen Beweis auf der Seite des "The General Science Journal" veröffentlicht (Link zum Beweis(PDF)). Auch dieser angebliche Beweis wurde bislang nicht verifiziert.

Weblinks

See also: Riemannsche Vermutung, 1856, 1900, 2000, Analysis, Bernhard Riemann, Billion, Clay Mathematics Institute, David Hilbert, Hilberts Liste von 23 mathematischen Problemen