The Lindelöf Hypothesis for Zeta Zero Ordinates

1. Formulação do Problema e Motivação

O artigo investiga a distribuição dos zeros não triviais $\rho = \beta + i\gamma$ da função zeta de Riemann $\zeta(s)$. Especificamente, aborda uma conjectura proposta por Gonek, Graham e Lee relativa à Hipótese de Lindelöf para as ordenadas desses zeros (denotada como $LH(\gamma)$).

O problema central é estimar a soma exponencial:
$$\sum_{0 < \gamma < x} \gamma^{-i\tau}$$
onde a soma percorre as partes imaginárias (ordenadas) dos zeros não triviais. A conjectura postula que esta soma comporta-se assintoticamente como uma integral, com um limite específico para o termo de erro:
$$\sum_{0 < \gamma < x} \gamma^{-i\tau} = \int_{2}^{x} \frac{u^{-i\tau}}{2\pi \log u} du + E$$
onde o termo de erro $E$ satisfaz $E \ll |\tau|^\epsilon x^{1/2}$ para $2 \le x \le |\tau|^B$.

Isso é análogo à Hipótese de Lindelöf clássica para $\zeta(1/2+it)$, que concerne ao crescimento da própria função zeta. Os autores visam provar esta fórmula assintótica incondicionalmente para $|\tau|$ pequeno e condicionalmente (assumindo a Hipótese de Riemann) para intervalos maiores, bem como estabelecer uma equivalência entre o termo de erro desta soma e o crescimento de uma série de Dirichlet específica.

2. Metodologia

Os autores empregam uma combinação de técnicas de teoria analítica dos números, incluindo:

• Integração de Stieltjes: Utilizada para relacionar a soma sobre os zeros à função de contagem de Riemann-von Mangoldt $N(T)$ e à função argumento $S(T)$.
• Integração de Contorno: O teorema dos resíduos é aplicado a integrais envolvendo a derivada logarítmica $\zeta'/\zeta(s)$ e a equação funcional da função zeta.
• Método da Fase Estacionária e Testes de Derivada: Utilizados para estimar integrais oscilatórias que surgem da representação em série de Dirichlet de $\zeta'/\zeta$.
• Fórmula de Perron: Uma versão truncada é utilizada para expressar a soma parcial da série de Dirichlet $G(s) = \sum \gamma^{-s}$ em termos de uma integral complexa.
• Continuação Analítica: As propriedades da série de Dirichlet $G(s)$ são analisadas para vincular seu crescimento vertical ao termo de erro na soma das ordenadas dos zeros.

3. Contribuições e Resultados Principais

Teorema 1: Resultado Incondicional para $\tau$ Pequeno

Os autores provam uma fórmula assintótica incondicional para a soma $\sum_{0 < \gamma < x} \gamma^{-i\tau}$.

• Resultado: Para qualquer $\tau$ real e $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)$$
• Significado: Isso confirma a Hipótese de Lindelöf para ordenadas ($LH(\gamma)$) no intervalo onde $|\tau|^2 \le x \le \tau^B$. Neste intervalo, o termo principal domina o termo de erro. A prova baseia-se no limite clássico $S(T) \ll \log T$.

Teorema 2: Integração de Contorno e Resultados Condicionais

Este teorema fornece uma análise mais refinada usando integração de contorno, dividindo o problema em dois casos com base na magnitude de $\tau$ em relação a $x$.

• Caso 1 ($\tau$ Pequeno): Para $0 \le \tau \le cx \log 2$, a soma é aproximada pela integral com um erro de $O((\log x)^2)$.
• Caso 2 ($\tau$ Grande): Para $cx \log 2 \le \tau \ll x \log x$, a soma transforma-se numa soma exponencial envolvendo a função de von Mangoldt $\Lambda(n)$:
  $$\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{Erro}$$
• Corolário 1 (Condicionado à HR): Assumindo a Hipótese de Riemann (HR), os autores derivam limites para a soma. Especificamente, se $x \le \gamma < 2x$:
  • Para $\tau$ pequeno: A soma é limitada por $O(x \log x / |\tau| + (\log x)^2)$.
  • Para $\tau$ grande: A soma exibe "cancelamento de raiz quadrada", comportando-se como $x^{1/2+o(1)}$. Isso sugere que, se a HR for verdadeira, a Hipótese de Lindelöf para ordenadas vale no intervalo difícil onde $x \approx |\tau|^2$.

Teorema 3: Equivalência com o Crescimento da Série de Dirichlet

O artigo estabelece uma equivalência profunda entre o termo de erro da soma das ordenadas dos zeros e o crescimento da série de Dirichlet $G(s) = \sum_{\gamma > 0} \gamma^{-s}$.

• Declaração: Seja $A \in [0, 1/2]$. O seguinte são equivalentes:
  1. O termo de erro $E$ na fórmula assintótica satisfaz $E \ll |\tau|^{A+\epsilon} x^{1/2}$ para $2 \le x \le |\tau|^2$.
  2. A série de Dirichlet satisfaz o limite vertical $G(1/2 + it) \ll |t|^{A+\epsilon}$ para $|t| \ge 1$.
• Significado: Isso conecta a distribuição dos zeros (via a soma) diretamente às propriedades analíticas da série $G(s)$. Implica que provar a Hipótese de Lindelöf para ordenadas é equivalente a provar um limite de crescimento específico para $G(s)$ na linha crítica.

4. Significado e Impacto

• Nova Perspectiva: O artigo introduz uma nova perspectiva sobre a Hipótese de Lindelöf, deslocando o foco dos valores de $\zeta(s)$ para a distribuição das ordenadas dos seus zeros.
• Progresso Incondicional: Fornece a primeira prova incondicional da conjectura no intervalo $|\tau|^2 \le x$, um regime onde o termo principal domina.
• Optimalidade Condicional: Sob a suposição da Hipótese de Riemann, os resultados sugerem que o "cancelamento de raiz quadrada" ($x^{1/2}$) é o comportamento ótimo para estas somas, espelhando a Hipótese de Lindelöf clássica.
• Conexão Analítica: A equivalência no Teorema 3 oferece um novo caminho para a pesquisa. Em vez de atacar a soma diretamente, pode-se estudar a continuação analítica e o crescimento da série de Dirichlet $G(s)$, que foi estudada por Delsarte, Ivić e Bondarenko.
• Contexto Histórico: O trabalho faz a ponte entre resultados clássicos (von Mangoldt, Littlewood) e conjecturas modernas (Gonek et al.), esclarecendo a relação entre o argumento da função zeta ($S(T)$) e a distribuição dos zeros.

Em resumo, o artigo quantifica rigorosamente o comportamento de somas exponenciais sobre zeros do zeta, provando a Hipótese de Lindelöf para ordenadas em intervalos específicos e estabelecendo um vínculo teórico profundo entre estas somas e o crescimento das séries de Dirichlet associadas.