Selbergs zentraler Grenzwertsatz ist ein mathematischer Satz aus der stochastischen Zahlentheorie, welcher die Verteilung der riemannschen Zeta-Funktion auf der kritischen Gerade charakterisiert. Der Satz sagt im Wesentlichen, dass sich die Verteilung der Absolutwerte
unter korrekter Normierung der Log-Normalverteilung annähert. Die stochastische Komponente kommt dabei von , welches man aus einem beliebigen aber großen Interval unter der Gleichverteilung zieht. Verzichtet man auf die Betragsstriche, so nähert sich die Verteilung der komplexen Log-Normalverteilung.
Das Theorem wurde 1946 in etwas anderer Form von Atle Selberg bewiesen. Er bewies eine leicht stärkere Aussage für das -te Moment von , welche das Theorem für das Argument impliziert. Die heutige Fassung stammt von Selberg und Tsang.
Die Aussage benötigt die riemannsche Vermutung nicht.
Selbergs zentraler Grenzwertsatz Notation: ist die komplexe Standardnormalverteilung, das heißt ist die stetige Gleichverteilung auf .
Komplexe Variante des Theorems
Sei eine genügend große Zahl und . Definiere , dann konvergiert die Zufallsvariable in Verteilung zu einer komplexen Normalverteilung.
In Formeln:
Reelle Variante des Theorems Aus der Beziehung
folgt insbesondere für den reellen Teil
und für den imaginären Teil
Erläuterungen Die Zufallsvariable nähert sich einer zentrierten Log-Normalverteilung mit ungefährer Log-Varianz
Entfernen von Log(0) Der Satz gilt auch für die Zufallsvariable
Selbergs Variante für den k-ten Moment Selberg bewies für positive ganzzahlige
Der Fall wurde von Selberg auch untersucht und er lieferte eine Beweismöglichkeit, aber vollständig bewiesen wurde die Aussage für den Absolutwert erst 1984 durch Tsang.
Selberg erkannte, dass dies die Momente einer zentrierten gaußschen Zufallsvariable sind, und folgerte daraus
wobei das Lebesgue-Maß bezeichnet.
Literatur
Einzelnachweise
Kategorie:Analytische Zahlentheorie Kategorie:Satz (Zahlentheorie)