Theorema Magnum MCMII: Fortsetzbarkeit von L-Funktionen

Als Dirichlet-Reihen bezeichnet man Funktionen der Art . Für die konstante Funktion f=1 bekommt man beispielsweise die Riemannsche Zetafunktion, deren Nullstellen einem Informationen über die Verteilung der Primzahlen geben.

Wenn f multiplikativ ist, also f(mn)=f(m)f(n) für alle m und n gilt, kann man F als „Euler-Produkt“ über alle Primzahlen zerlegen: . Für den Fall der Riemannschen Zetafunktion geht das auf Euler zurück.
Weil die Riemannsche Zetafunktion in s=1 – wegen der Divergenz der harmonischen Reihe – eine Polstelle hat, folgt aus Eulers Produktformel die Existenz unendlich vieler Primzahlen.

Dirichlet hatte mit den von ihm eingeführten Dirichlet-Reihen gezeigt, dass jede arithmetische Folge a_n=kn+d (mit teilerfremden k,d) unendlich viele Primzahlen enthält. Es gibt also jeweils unendlich viele Primzahlen, die auf 1,3,7 oder 9 enden. Dirichlets Beweis benutzte spezielle Dirichlet-Reihen, sogenannte L-Reihen. Für diese betrachtet man einen Charakter der multiplikativen Gruppe von Z/kZ, also einen Homomorphismus χ:(Z/kZ)^x —> C^* (für eine Primzahl k=p entspricht das der Wahl einer p-ten Einheitswurzel), und definiert dann .

Für den trivialen Charakter χ₀ ist L(s,χ₀) ein Vielfaches der Riemannschen Zetafunktion und man hat in s=1 eine Polstelle. Für alle anderen Charaktere ist L(1,χ)≠0 und das spielt eine wesentliche Rolle in Dirichlets Beweis seines Primzahlsatzes über unendliche viele Primzahlen der Form kn+d. Dieser Beweis verwendet die Formel

,

aus der für s=1 wegen der Polstelle von L(s,χ₀) und wegen L(1,χ)≠0 für alle anderen χ folgt, dass die rechte Seite für s=1 divergiert. Damit divergiert die linke Seite , andererseits kann man aber leicht zeigen, dass beschränkt ist und konvergiert. Damit muß die Divergenz durch den Summanden bei r=1 verursacht sein, also . Insbesondere gibt es unendlich viele solcher Primzahlen.

Eine andere Verallgemeinerung der Riemannschen Zetafunktion ζ ist die (von Dedekind in einem Anhang zu seiner Ausarbeitung von Dirichlets Vorlesungen eingeführte) Dedekindsche Zetafunktion ζ_K eines Zahlkörpers K. Die definiert man als Summe von 1/N(a)^s, wobei a alle Ideale des Ganzheitsrings O_K durchläuft und N(a) die Norm des Ideals ist. Es handelt sich also um die Dirichlet-Reihe, deren Koeffizient f(n) die Anzahl von Idealen der Norm n ist.
Für K=Q, O_K=Z bekommt man die Riemannsche Zetafunktion. Im Fall abelscher Erweiterungen von Q hat man eine Formel , wobei das Produkt über eine gewisse K zugeordnete Menge von Charakteren gebildet wird. Man kann damit in manchen Fällen Eigenschaften der Riemannschen Zetafunktion auf die Dedekindsche Zetafunktion übertragen. Für beliebige Zahlkörper wußte man aber zur Jahrhundertwende nur, dass lim_s—>1(s-1)ζ_K(s) durch die Klassenzahl von O_K ausgedrückt werden kann (Klassenzahlformel).

Man kann Dirichlet-Reihen allgemeiner definieren als Reihen der Form . Für λ_n=log(n) bekommt man obige Dirichlet-Reihen, für λ_n=-n nach der Substitution s=log(z) die klassischen Potenzreihen der Funktionentheorie. Für letztere hatten Vivanti und Pringsheim unter der Annahme nichtnegativer Koeffizienten bewiesen, dass der reelle Punkt auf dem Rand des Konvergenzkreises stets eine Polstelle ist.

Edmund Landau bewies die analoge Eigenschaft dann für völlig beliebige Dirichlet-Reihen: es gibt eine reelle Zahl σ₀<1 so, dass die Reihe für alle s mit Re(s)>σ₀ konvergiert und für alle s mit Re(s)< σ₀ divergiert, und im reellen Punkt s=σ₀ hat die Reihe eine Polstelle. Daraus folgt dann leicht, dass L(1,χ)≠0.

Darauf aufbauend fand Landau zunächst einen neuen Beweis des Primzahlsatzes, für den er nur die Fortsetzbarkeit (und das Nichtverschwinden) der Riemannschen Zetafunktion „etwas über die Gerade Re(s)=1“ hinaus, aber nicht auf gesamte komplexe Ebene (und somit auch nicht die von Hadamard entwickelte Theorie wie die Funktionalgleichung und die Produktdarstellung der Zetafunktion) benötigte. Diesen Beweis konnte er dann auch auf die Dedekindsche Zetafunktion ζ_K - für die die Fortsetzbarkeit auf die gesamte komplexe Ebene damals noch nicht bekannt war - anwenden und so die Verallgemeinerung des Primzahlsatzes auf Zahlkörper beweisen: die Anzahl der Primideale der Norm kleiner x ist in einem beliebigen Zahlkörper K approximativ x/log(x).