Note on the positivity of the real part of the log-derivative of the Riemann $ξ$-function near the critical line

Technische Zusammenfassung: Positivität des Realteils der Log-Derivierten der Riemannschen $\xi$-Funktion

Problemstellung
Die vorliegende Arbeit untersucht das Verhalten des Realteils der logarithmischen Ableitung der Riemannschen $\xi$-Funktion, bezeichnet als $\Re \frac{\xi'}{\xi}(s)$, innerhalb des kritischen Streifens $0 < \sigma < 1$. Konkret konzentrieren sich die Autoren auf den Bereich unmittelbar rechts der kritischen Geraden, definiert durch $1/2 + 1/\sqrt{\log t} < \sigma < 1$ für hinreichend große $t$.

Es ist bekannt, dass $\Re \frac{\xi'}{\xi}(s) > 0$ für $\sigma > 1$ gilt und dass die Riemannsche Hypothese (RH) äquivalent zu dieser Positivität für alle $\sigma > 1/2$ ist; das Verhalten im Streifen $1/2 < \sigma < 1$ bleibt jedoch Gegenstand der Untersuchung. Vorherige Arbeiten von Goldstein und A.G. [5] etablierten eine untere Schranke für die Summe über die Nullstellen auf der kritischen Geraden, doch diese Schranke tendierte gegen Null, wenn $\sigma \to 1/2$ geht. Das primäre Ziel dieser Arbeit ist es, diese untere Schranke zu verbessern, sodass sie gegen Unendlich strebt, wenn $\sigma \to 1/2$ geht, um somit eine stärkere Bedingung für die Positivität in der Nähe der kritischen Geraden zu liefern.

Methodik
Die Autoren verwenden Techniken der analytischen Zahlentheorie, wobei sie sich primär auf die unendliche Produktdarstellung der $\xi$-Funktion und Methoden der partiellen Summation stützen.

1. Expansion der logarithmischen Ableitung: Die Untersuchung nutzt die Expansion $\frac{\xi'}{\xi}(s) = \sum_{\rho} \frac{1}{s-\rho}$, wobei die Summe über die nicht-trivialen Nullstellen der Riemannschen Zeta-Funktion läuft. Der Realteil dieser Summe wird in Beiträge von Nullstellen auf der kritischen Geraden ($\rho = 1/2 + i\gamma$) und hypothetische Nullstellen abseits der kritischen Geraden ($\tilde{\rho} = \tilde{\beta} + i\tilde{\gamma}$) zerlegt.
2. Partielle Summation und Integralapproximation: Um die Summe über die Nullstellen auf der kritischen Geraden abzuschätzen, nutzen die Autoren die partielle Summation (Lemma 2) in Kombination mit expliziten Schranken für die Nullenzählfunktion $N(T)$ (Lemma 3).
3. Integralschätzung: Ein wesentlicher Teil der technischen Arbeit besteht in der Ableitung expliziter unterer Schranken für Integrale der Form $\int \frac{\log u}{a^2(t) + b^2(t)(u-t)^2} du$. Lemma 5 liefert eine rigorose untere Schranke für diese Integrale, welche zur Approximation der diskreten Summen über die Nullstellen verwendet werden.
4. Behandlung hypothetischer Nullstellen: Die Arbeit analysiert Szenarien, in denen die RH verletzt wird, indem sie den Beitrag von Nullstellen abseits der kritischen Geraden berücksichtigt. Lemma 9 liefert eine obere Schranke für die Summe der Kehrwerte der Quadrate der Abstände zu hypothetischen Nullstellen und stellt sicher, dass deren Beitrag den positiven Beitrag der Nullstellen auf der kritischen Geraden in dem spezifizierten Bereich nicht überwiegt.

Wesentliche Beiträge und Ergebnisse

• Verbesserte untere Schranke (Theorem 6): Das zentrale Ergebnis ist Theorem 6, welches eine neue explizite untere Schranke für den Realteil der Summe über die Nullstellen auf der kritischen Geraden etabliert. Für $1/2 + 1/\sqrt{\log t} < \sigma < 1$ und $t > 3.11 \times 10^{10}$ beweisen die Autoren:
  $$0 < (0.28 - \epsilon(t))c \frac{1}{\sigma - 1/2} < \Re \sum_{\rho=1/2+i\gamma} \frac{1}{s-\rho}$$
  Hierbei stellt $c$ die untere Dichte der Nullstellen auf der kritischen Geraden dar ($c = \liminf N_{1/2}(T)/N(T)$), und $\epsilon(t)$ ist eine Funktion, die gegen $\frac{\log \log t}{\log t}$ verschwindet. Im Gegensatz zu früheren Schranken divergiert dieser Ausdruck, wenn $\sigma \to 1/2$ geht, was eine stärkere Einschränkung darstellt.

• Analyse von RH-Verletzungsszenarien: Abschnitt 4 untersucht die Positivität von $\Re \frac{\xi'}{\xi}(s)$ unter der Annahme, dass die RH falsch ist. Die Autoren betrachten drei Fälle:

  1. Eine einzelne Nullstelle abseits der kritischen Geraden.
  2. Eine endliche Anzahl von Nullstellen abseits der kritischen Geraden.
  3. Unendlich viele Nullstellen abseits der kritischen Geraden.
     In allen Fällen zeigen die Autoren, dass $\Re \frac{\xi'}{\xi}(s)$ in der Region $1/2 + 1/\sqrt{\log t} < \sigma < 1$ positiv bleibt, mit Ausnahme potenziell kleiner Umgebungen um die hypothetischen nicht-trivialen Nullstellen. Der positive Beitrag der Nullstellen auf der kritischen Geraden (skaliert mit $c$) dominiert die negativen Beiträge der Nullstellen abseits der Geraden in dem spezifizierten Bereich.

• Numerische Verifizierung: Die Autoren nutzen die Odlyzko-Datenbank [12], um den Bereich zu visualisieren, in dem die Ungleichung gilt, und bestätigen damit die theoretischen Schranken für spezifische große Werte von $t$ (z. B. $t \approx 2.68 \times 10^{11}$).

Bedeutung und Behauptungen
Das Papier beansprucht, das Verständnis der Log-Derivierten der $\xi$-Funktion nahe der kritischen Geraden zu verfeinern. Durch die Gewinnung einer unteren Schranke, die gegen $\sigma \to 1/2$ wächst, verstärkt die Arbeit die Evidenz für die Positivität von $\Re \frac{\xi'}{\xi}(s)$ im kritischen Streifen, selbst ohne die Annahme, dass die Riemannsche Hypothese wahr ist.

Die Autoren formulieren ihren Beitrag bescheiden als eine Verbesserung der Ergebnisse von Goldstein und A.G. [5]. Sie behaupten nicht, die Riemannsche Hypothese zu beweisen; vielmehr zeigen sie, dass die „Positivitätsregion“ der Log-Derivierten robust ist und in der Nähe der kritischen Geraden bestehen bleibt, außer in der unmittelbaren Umgebung hypothetischer Gegenbeispiele. Die Arbeit liefert explizite, berechenbare Schranken, die von der Dichte der Nullstellen auf der kritischen Geraden ($c$) und der Größe von $t$ abhängen.