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

Technische Samenvatting: Positiviteit van het reëel deel van de logaritmische afgeleide van de Riemann $\xi$-functie

Probleemstelling
Het artikel onderzoekt het gedrag van het reëel deel van de logaritmische afgeleide van de Riemann $\xi$-functie, aangeduid als $\Re \frac{\xi'}{\xi}(s)$, binnen de kritieke strook $0 < \sigma < 1$. Specifiek richt de focus van de auteurs zich op het gebied direct rechts van de kritieke lijn, gedefinieerd door $1/2 + 1/\sqrt{\log t} < \sigma < 1$ voor voldoende grote $t$.

Hoewel bekend is dat $\Re \frac{\xi'}{\xi}(s) > 0$ voor $\sigma > 1$ en dat de Riemann-hypothese (RH) equivalent is aan deze positiviteit voor alle $\sigma > 1/2$, blijft het gedrag in de strook $1/2 < \sigma < 1$ een onderwerp van studie. Voorgaand werk door Goldstein en A.G. [5] stelde een ondergrens vast voor de som over nulpunten op de kritieke lijn, maar deze ondergrens neigde naar nul wanneer $\sigma \to 1/2$. Het primaire doel van dit werk is om deze ondergrens te verbeteren naar een waarde die oneindig groeit wanneer $\sigma \to 1/2$, waarmee een sterkere voorwaarde voor positiviteit in de nabijheid van de kritieke lijn wordt geboden.

Methodologie
De auteurs maken gebruik van technieken uit de analytische getaltheorie, waarbij zij primair vertrouwen op de oneindige productrepresentatie van de $\xi$-functie en methoden van partiële sommatie.

1. Expansie van de logaritmische afgeleide: De studie maakt gebruik van de expansie $\frac{\xi'}{\xi}(s) = \sum_{\rho} \frac{1}{s-\rho}$, waarbij de som loopt over de niet-triviale nulpunten $\rho$ van de Riemann zeta-functie. Het reële deel van deze som wordt ontleed in bijdragen van nulpunten op de kritieke lijn ($\rho = 1/2 + i\gamma$) en hypothetische nulpunten buiten de kritieke lijn ($\tilde{\rho} = \tilde{\beta} + i\tilde{\gamma}$).
2. Partiële sommatie en integraalaanpassing: Om de som over nulpunten op de kritieke lijn te schatten, gebruiken de auteurs partiële sommatie (Lemma 2) in combinatie met expliciete grenzen voor de nulpunttelingsfunctie $N(T)$ (Lemma 3).
3. Integratieschatting: Een aanzienlijk deel van het technische werk betreft het afleiden van expliciete ondergrenzen voor integralen van de vorm $\int \frac{\log u}{a^2(t) + b^2(t)(u-t)^2} du$. Lemma 5 biedt een rigoureuze ondergrens voor deze integralen, die worden gebruikt om de discrete sommen over nulpunten te benaderen.
4. Afhandeling van hypothetische nulpunten: Het artikel analyseert scenario's waarin de RH faalt door de bijdrage van nulpunten buiten de kritieke lijn te overwegen. Lemma 9 biedt een bovengrens voor de som van de inverse kwadraten van de afstanden tot hypothetische nulpunten, wat ervoor zorgt dat hun bijdrage de positieve bijdrage van de kritieke lijn nulpunten in het gespecificeerde gebied niet overstijgt.

Belangrijkste Bijdragen en Resultaten

• Verbeterde Ondergrens (Theorem 6): Het centrale resultaat is Theorem 6, die een nieuwe expliciete ondergrens vaststelt voor het reële deel van de som over kritieke lijn nulpunten. Voor $1/2 + 1/\sqrt{\log t} < \sigma < 1$ en $t > 3.11 \times 10^{10}$ bewijzen de auteurs:
  $$0 < (0.28 - \epsilon(t))c \frac{1}{\sigma - 1/2} < \Re \sum_{\rho=1/2+i\gamma} \frac{1}{s-\rho}$$
  Hierbij vertegenwoordigt $c$ de lagere dichtheid van nulpunten op de kritieke lijn ($c = \liminf N_{1/2}(T)/N(T)$), en $\epsilon(t)$ is een functie die verdwijnt als $\frac{\log \log t}{\log t}$. In tegenstelling tot eerdere grenzen, divergeert deze uitdrukking wanneer $\sigma \to 1/2$, wat een sterkere beperking oplevert.

• Analyse van scenario's bij falen van de RH: Sectie 4 onderzoekt de positiviteit van $\Re \frac{\xi'}{\xi}(s)$ onder de aanname dat de RH onjuist is. De auteurs beschouwen drie gevallen:

  1. Een enkel nulpunt buiten de kritieke lijn.
  2. Een eindig aantal nulpunten buiten de kritieke lijn.
  3. Oneindig veel nulpunten buiten de kritieke lijn.
     In alle gevallen demonstreren de auteurs dat $\Re \frac{\xi'}{\xi}(s)$ positief blijft in het gebied $1/2 + 1/\sqrt{\log t} < \sigma < 1$, behalve mogelijk in kleine omgevingen rondom de hypothetische niet-triviale nulpunten. De positieve bijdrage van de kritieke lijn nulpunten (geschaald door $c$) domineert de negatieve bijdragen van de nulpunten buiten de lijn in het gespecificeerde gebied.

• Numerieke Verificatie: De auteurs gebruiken de Odlyzko-database [12] om het gebied te visualiseren waar de ongelijkheid geldt, waarmee de theoretische grenzen bevestigd worden voor specifieke grote waarden van $t$ (bijv. $t \approx 2.68 \times 10^{11}$).

Betekenis en Claims
Het artikel claimt de kennis van de logaritmische afgeleide van de $\xi$-functie nabij de kritieke lijn te verfijnen. Door een ondergrens te verkrijgen die groeit als $\sigma \to 1/2$, versterkt het werk het bewijs voor de positiviteit van $\Re \frac{\xi'}{\xi}(s)$ in de kritieke strook, zelfs zonder aan te nemen dat de Riemann-hypothese waar is.

De auteurs kaderen hun bijdrage bescheiden als een verbetering van de resultaten van Goldstein en A.G. [5]. Zij beweren niet de Riemann-hypothese te hebben bewezen; in plaats daarvan tonen zij aan dat, indien de RH faalt, de "positiviteitsregio" van de logaritmische afgeleide robuust is en standhoudt nabij de kritieke lijn, behalve in de directe nabijheid van hypothetische tegenvoorbeelden. Het werk biedt expliciete, berekenbare grenzen die afhankelijk zijn van de dichtheid van de kritieke lijn nulpunten ($c$) en de grootte van $t$.