Primzahlsatz und die Riemannsche Zeta-Funktion

Lassen

ζ ( S ) = N = 1 1 N S
sei die Riemannsche Zeta-Funktion. Die Tatsache, dass wir dies analytisch auf alle erweitern können C und kann einen nullfreien Bereich links von der Linie finden R e ( S ) = 1 zeigt, dass
π ( X ) := | { P X : P  prim  } | X Protokoll ( X ) .
Darüber hinaus verbessert das Verbessern des nullfreien Bereichs den Fehlerterm π ( X ) wobei die Riemann-Hypothese uns den bestmöglichen Fehlerterm liefert.

Allerdings gibt es für diese Tatsache etwa elementare Beweise π ( X ) die nicht auf die Verwendung angewiesen ist ζ ( S ) . Meine Frage ist, nur mit dem Wissen, dass

π ( X ) = X Protokoll ( X ) + E T
für irgendeinen fehlerbegriff nenne ich E T , kannst du das zeigen ζ ( S ) kann mit einem nullfreien Bereich links von der Linie analytisch fortgesetzt werden R e ( S ) = 1 , wovon diese Region abhängt E T .

Zum Beispiel, wenn Sie davon ausgehen E T = X 1 ϵ für einige ϵ > 0 , dann kannst du das zeigen ζ ( S ) analytisch auf die Region fortgeführt werden kann R e ( S ) > 1 ϵ und das ζ ( S ) hat in diesem Bereich keine Nullen?

Jede Lösung oder Referenz wäre sehr willkommen.

Antworten (1)

  • Wir haben diese Mellin-Transformationen für R e ( S ) > 1 :

    G ( S ) = 1 ( X 1 ) X S 1 D X = 1 S 1 1 S , F ( S ) = 1 1 X ln X X S 1 D X

    Wir sehen das

    F ' ( S ) = G ( S ) F ( S ) = ln ( S 1 ) ln ( S ) + C

  • Verwenden Sie dann das Euler-Produkt, wieder für R e ( S ) > 1 :

    ζ ( S ) = P 1 1 P S ln ζ ( S ) = P k 1 P S k k = S 1 J ( X ) X S 1 D X
    Wo J ( X ) = P k X 1 k (siehe Summenformel von Abel , eine Art partielle Integration).

  • Schließlich ist es leicht zu sehen J ( X ) = π ( X ) + Ö ( X 1 / 2 ) so dass

    π ( X ) X ln X = Ö ( X σ ) J ( X ) + 1 X ln X = Ö ( X σ )
    ln ζ ( S ) + S ln ( S 1 ) S ln ( S ) + S C = S 1 ( J ( X ) + 1 X ln X ) X S 1 D X

    konvergiert absolut und ist daher holomorph für R e ( S ) > σ ζ ( S ) hat keine Null auf R e ( S ) > σ .

die Umkehrung ist viel komplizierter: das zu zeigen ζ ( S ) hat keine Null auf R e ( S ) > σ π ( X ) X ln X = Ö ( X σ + ϵ ) , dazu können Sie sich Titchmarshs Buch Seite 60 bis 66 und das letzte Kapitel (Folge der RH) ansehen.
X / ln X sollte durch ein logarithmisches Integral ersetzt werden li ( X ) . Seit X / ln X = li ( X ) + Ω + ( X / ln 2 X ) , der beste Fehlerterm für PNT in Form von π ( X ) X / ln X Ist Ö ( X / ln 2 X )