The Lindelöf Hypothesis for Zeta Zero Ordinates

1. Probleemstelling en Motivatie

Het artikel onderzoekt de verdeling van de niet-triviale nulpunten $\rho = \beta + i\gamma$ van de Riemann-zetafunctie $\zeta(s)$. Specifiek behandelt het een conjectuur voorgesteld door Gonek, Graham en Lee met betrekking tot de Lindelöf-hypothese voor de ordinaten van deze nulpunten (aangeduid als $LH(\gamma)$).

Het kernprobleem is het schatten van de exponentiële som:
$$\sum_{0 < \gamma < x} \gamma^{-i\tau}$$
waarbij de sommatie loopt over de imaginaire delen (ordinaten) van de niet-triviale nulpunten. De conjectuur stelt dat deze som asymptotisch gedraagt als een integraal, met een specifieke fouttermgrens:
$$\sum_{0 < \gamma < x} \gamma^{-i\tau} = \int_{2}^{x} \frac{u^{-i\tau}}{2\pi \log u} du + E$$
waarbij de foutterm $E$ voldoet aan $E \ll |\tau|^\epsilon x^{1/2}$ voor $2 \le x \le |\tau|^B$.

Dit is analoog aan de klassieke Lindelöf-hypothese voor $\zeta(1/2+it)$, die betrekking heeft op de groei van de zetafunctie zelf. De auteurs beogen deze asymptotische formule onvoorwaardelijk te bewijzen voor kleine $|\tau|$ en conditioneel (onder de aanname van de Riemann-hypothese) voor grotere bereiken, en een equivalentie vast te stellen tussen de foutterm van deze som en de groei van een specifieke Dirichlet-reeks.

2. Methodologie

De auteurs maken gebruik van een combinatie van technieken uit de analytische getaltheorie, waaronder:

• Stieltjes-integratie: Gebruikt om de som over nulpunten te relateren aan de Riemann-von Mangoldt-telfunctie $N(T)$ en de argumentfunctie $S(T)$.
• Contourintegratie: De residustelling wordt toegepast op integralen die de logaritmische afgeleide $\zeta'/\zeta(s)$ en de functionele vergelijking van de zetafunctie bevatten.
• Stationaire-fasemethode en afleidingsproeven: Gebruikt om oscillerende integralen te schatten die voortvloeien uit de Dirichlet-reeksrepresentatie van $\zeta'/\zeta$.
• Perron's formule: Een afgeknotte versie wordt gebruikt om de partiële som van de Dirichlet-reeks $G(s) = \sum \gamma^{-s}$ uit te drukken in termen van een complexe integraal.
• Analytische voortzetting: De eigenschappen van de Dirichlet-reeks $G(s)$ worden geanalyseerd om de verticale groei ervan te koppelen aan de foutterm in de som van de nulpuntsordinaten.

3. Belangrijkste Bijdragen en Resultaten

Stelling 1: Onvoorwaardelijk Resultaat voor Kleine $\tau$

De auteurs bewijzen een onvoorwaardelijke asymptotische formule voor de som $\sum_{0 < \gamma < x} \gamma^{-i\tau}$.

• Resultaat: Voor elke reële $\tau$ en $x > 0$:
  $$\sum_{0 < \gamma < x} \gamma^{-i\tau} = \frac{x^{1-i\tau}}{2\pi(1-i\tau)} \left( \log \frac{x}{2\pi} - \frac{1}{1-i\tau} \right) + O(|\tau|(\log x)^2)$$
• Beteekenis: Dit bevestigt de Lindelöf-hypothese voor ordinaten ($LH(\gamma)$) in het bereik waar $|\tau|^2 \le x \le \tau^B$. In dit bereik domineert de hoofdbegrip de foutterm. Het bewijs is gebaseerd op de klassieke schatting $S(T) \ll \log T$.

Stelling 2: Contourintegratie en Conditionele Resultaten

Deze stelling biedt een verfijndere analyse met behulp van contourintegratie, waarbij het probleem wordt opgesplitst in twee gevallen op basis van de grootte van $\tau$ ten opzichte van $x$.

• Geval 1 (Kleine $\tau$): Voor $0 \le \tau \le cx \log 2$ wordt de som benaderd door de integraal met een fout van $O((\log x)^2)$.
• Geval 2 (Grote $\tau$): Voor $cx \log 2 \le \tau \ll x \log x$ transformeert de som zich tot een exponentiële som die de von Mangoldt-functie $\Lambda(n)$ bevat:
  $$\sum_{x \le \gamma < y} \gamma^{-i\tau} \approx \frac{e^{i(\tau+\pi/4)}\tau^{1/2-i\tau}}{(2\pi)^{1/2}} \sum_{e^{\tau/y} \le n \le e^{\tau/x}} \frac{\Lambda(n)(\log n)^{i\tau}}{n^{1/2}\log n} + \text{Fout}$$
• Corollarium 1 (Conditioneel op RH): Onder de aanname van de Riemann-hypothese (RH) leiden de auteurs grenzen af voor de som. Specifiek, als $x \le \gamma < 2x$:
  • Voor kleine $\tau$: De som wordt begrensd door $O(x \log x / |\tau| + (\log x)^2)$.
  • Voor grote $\tau$: De som vertoont "wortelkorting" (square root cancellation) en gedraagt zich als $x^{1/2+o(1)}$. Dit suggereert dat, als RH waar is, de Lindelöf-hypothese voor ordinaten geldt in het moeilijke bereik waar $x \approx |\tau|^2$.

Stelling 3: Equivalentie met Groei van Dirichlet-reeksen

Het artikel stelt een diepgaande equivalentie vast tussen de foutterm van de som van nulpuntsordinaten en de groei van de Dirichlet-reeks $G(s) = \sum_{\gamma > 0} \gamma^{-s}$.

• Stelling: Laat $A \in [0, 1/2]$. De volgende zijn equivalent:
  1. De foutterm $E$ in de asymptotische formule voldoet aan $E \ll |\tau|^{A+\epsilon} x^{1/2}$ voor $2 \le x \le |\tau|^2$.
  2. De Dirichlet-reeks voldoet aan de verticale grens $G(1/2 + it) \ll |t|^{A+\epsilon}$ voor $|t| \ge 1$.
• Beteekenis: Dit verbindt de verdeling van nulpunten (via de som) direct met de analytische eigenschappen van de reeks $G(s)$. Het impliceert dat het bewijzen van de Lindelöf-hypothese voor ordinaten equivalent is aan het bewijzen van een specifieke groeigrens voor $G(s)$ op de kritieke lijn.

4. Beteekenis en Impact

• Nieuw Perspectief: Het artikel introduceert een nieuw perspectief op de Lindelöf-hypothese, waarbij de focus verschuift van de waarden van $\zeta(s)$ naar de verdeling van de ordinaten van zijn nulpunten.
• Onvoorwaardelijke Vooruitgang: Het biedt het eerste onvoorwaardelijke bewijs van de conjectuur in het bereik $|\tau|^2 \le x$, een regime waarin de hoofdbegrip de overhand heeft.
• Conditionele Optimaliteit: Onder de aanname van de Riemann-hypothese suggereren de resultaten dat de "wortelkorting" ($x^{1/2}$) het optimale gedrag is voor deze sommen, wat overeenkomt met de klassieke Lindelöf-hypothese.
• Analytische Connectie: De equivalentie in Stelling 3 biedt een nieuwe onderzoeksroute. In plaats van de som direct aan te vallen, kan men de analytische voortzetting en groei van de Dirichlet-reeks $G(s)$ bestuderen, wat eerder is onderzocht door Delsarte, Ivić en Bondarenko.
• Historische Context: Het werk overbrugt klassieke resultaten (von Mangoldt, Littlewood) met moderne conjecturen (Gonek et al.), en verduidelijkt de relatie tussen het argument van de zetafunctie ($S(T)$) en de verdeling van nulpunten.

Samenvattend kwantificeert het artikel rigoureus het gedrag van exponentiële sommen over zetanulpunten, bewijst de Lindelöf-hypothese voor ordinaten in specifieke bereiken en legt een diep theoretisch verband tussen deze sommen en de groei van bijbehorende Dirichlet-reeksen.