The Lindelöf Hypothesis for Zeta Zero Ordinates

Aquí se presenta un resumen técnico detallado del artículo "La Hipótesis de Lindelöf para las Ordenadas de los Ceros del Zeta" de Ramūnas Garunkštis, Athanasios Sourmelidis y Jörn Steuding.

1. Planteamiento del Problema y Motivación

El artículo investiga la distribución de los ceros no triviales $\rho = \beta + i\gamma$ de la función zeta de Riemann $\zeta(s)$. Específicamente, aborda una conjetura propuesta por Gonek, Graham y Lee relativa a la Hipótesis de Lindelöf para las ordenadas de estos ceros (denotada como $LH(\gamma)$).

El problema central consiste en estimar la suma exponencial:
$$\sum_{0 < \gamma < x} \gamma^{-i\tau}$$
donde la sumatoria se extiende sobre las partes imaginarias (ordenadas) de los ceros no triviales. La conjetura postula que esta suma se comporta asintóticamente como una integral, con un límite específico para el término de error:
$$\sum_{0 < \gamma < x} \gamma^{-i\tau} = \int_{2}^{x} \frac{u^{-i\tau}}{2\pi \log u} du + E$$
donde el término de error $E$ satisface $E \ll |\tau|^\epsilon x^{1/2}$ para $2 \le x \le |\tau|^B$.

Esto es análogo a la Hipótesis de Lindelöf clásica para $\zeta(1/2+it)$, que concierne al crecimiento de la propia función zeta. Los autores buscan demostrar esta fórmula asintótica de manera incondicional para $|\tau|$ pequeño y condicionalmente (asumiendo la Hipótesis de Riemann) para rangos más amplios, y establecer una equivalencia entre el término de error de esta suma y el crecimiento de una serie de Dirichlet específica.

2. Metodología

Los autores emplean una combinación de técnicas de teoría analítica de números, que incluyen:

• Integración de Stieltjes: Utilizada para relacionar la suma sobre los ceros con la función de conteo de Riemann-von Mangoldt $N(T)$ y la función argumento $S(T)$.
• Integración de Contorno: Se aplica el teorema de los residuos a integrales que involucran la derivada logarítmica $\zeta'/\zeta(s)$ y la ecuación funcional de la función zeta.
• Método de la Fase Estacionaria y Pruebas de Derivada: Empleados para estimar integrales oscilatorias que surgen de la representación mediante serie de Dirichlet de $\zeta'/\zeta$.
• Fórmula de Perron: Se utiliza una versión truncada para expresar la suma parcial de la serie de Dirichlet $G(s) = \sum \gamma^{-s}$ en términos de una integral compleja.
• Continuación Analítica: Se analizan las propiedades de la serie de Dirichlet $G(s)$ para vincular su crecimiento vertical con el término de error en la suma de las ordenadas de los ceros.

3. Contribuciones y Resultados Clave

Teorema 1: Resultado Incondicional para $\tau$ Pequeño

Los autores demuestran una fórmula asintótica incondicional para la suma $\sum_{0 < \gamma < x} \gamma^{-i\tau}$.

• Resultado: Para cualquier $\tau$ real y $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: Esto confirma la Hipótesis de Lindelöf para ordenadas ($LH(\gamma)$) en el rango donde $|\tau|^2 \le x \le \tau^B$. En este rango, el término principal domina al término de error. La demostración se basa en la cota clásica $S(T) \ll \log T$.

Teorema 2: Integración de Contorno y Resultados Condicionales

Este teorema proporciona un análisis más refinado utilizando integración de contorno, dividiendo el problema en dos casos basados en la magnitud de $\tau$ relativa a $x$.

• Caso 1 ($\tau$ pequeño): Para $0 \le \tau \le cx \log 2$, la suma se aproxima mediante la integral con un error de $O((\log x)^2)$.
• Caso 2 ($\tau$ grande): Para $cx \log 2 \le \tau \ll x \log x$, la suma se transforma en una suma exponencial que involucra la función 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{Error}$$
• Corolario 1 (Condicionado a la HR): Asumiendo la Hipótesis de Riemann (HR), los autores derivan cotas para la suma. Específicamente, si $x \le \gamma < 2x$:
  • Para $\tau$ pequeño: La suma está acotada por $O(x \log x / |\tau| + (\log x)^2)$.
  • Para $\tau$ grande: La suma exhibe "cancelación de raíz cuadrada", comportándose como $x^{1/2+o(1)}$. Esto sugiere que si la HR es cierta, la Hipótesis de Lindelöf para ordenadas se cumple en el rango difícil donde $x \approx |\tau|^2$.

Teorema 3: Equivalencia con el Crecimiento de Series de Dirichlet

El artículo establece una profunda equivalencia entre el término de error de la suma de ordenadas de ceros y el crecimiento de la serie de Dirichlet $G(s) = \sum_{\gamma > 0} \gamma^{-s}$.

• Enunciado: Sea $A \in [0, 1/2]$. Lo siguiente es equivalente:
  1. El término de error $E$ en la fórmula asintótica satisface $E \ll |\tau|^{A+\epsilon} x^{1/2}$ para $2 \le x \le |\tau|^2$.
  2. La serie de Dirichlet satisface la cota vertical $G(1/2 + it) \ll |t|^{A+\epsilon}$ para $|t| \ge 1$.
• Significado: Esto conecta la distribución de los ceros (a través de la suma) directamente con las propiedades analíticas de la serie $G(s)$. Implica que demostrar la Hipótesis de Lindelöf para ordenadas es equivalente a demostrar una cota de crecimiento específica para $G(s)$ en la línea crítica.

4. Significado e Impacto

• Nueva Perspectiva: El artículo introduce una nueva perspectiva sobre la Hipótesis de Lindelöf, desplazando el enfoque de los valores de $\zeta(s)$ hacia la distribución de las ordenadas de sus ceros.
• Progreso Incondicional: Proporciona la primera demostración incondicional de la conjetura en el rango $|\tau|^2 \le x$, un régimen donde el término principal domina.
• Optimalidad Condicional: Bajo la suposición de la Hipótesis de Riemann, los resultados sugieren que la "cancelación de raíz cuadrada" ($x^{1/2}$) es el comportamiento óptimo para estas sumas, reflejando la Hipótesis de Lindelöf clásica.
• Conexión Analítica: La equivalencia en el Teorema 3 ofrece una nueva vía para la investigación. En lugar de atacar la suma directamente, se podría estudiar la continuación analítica y el crecimiento de la serie de Dirichlet $G(s)$, la cual ha sido estudiada por Delsarte, Ivić y Bondarenko.
• Contexto Histórico: El trabajo une resultados clásicos (von Mangoldt, Littlewood) con conjeturas modernas (Gonek et al.), aclarando la relación entre el argumento de la función zeta ($S(T)$) y la distribución de los ceros.

En resumen, el artículo cuantifica rigurosamente el comportamiento de las sumas exponenciales sobre los ceros del zeta, demostrando la Hipótesis de Lindelöf para ordenadas en rangos específicos y estableciendo un vínculo teórico profundo entre estas sumas y el crecimiento de las series de Dirichlet asociadas.