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

Resumen Técnico: Positividad de la Parte Real de la Derivada Logarítmica de la Función $\xi$ de Riemann

Planteamiento del Problema
El artículo investiga el comportamiento de la parte real de la derivada logarítmica de la función $\xi$ de Riemann, denotada como $\Re \frac{\xi'}{\xi}(s)$, dentro de la franja crítica $0 < \sigma < 1$. Específicamente, los autores se centran en la región inmediatamente a la derecha de la línea crítica, definida por $1/2 + 1/\sqrt{\log t} < \sigma < 1$ para un $t$ suficientemente grande.

Si bien se sabe que $\Re \frac{\xi'}{\xi}(s) > 0$ para $\sigma > 1$ y que la Hipótesis de Riemann (HR) es equivalente a que esta positividad se mantenga para todo $\sigma > 1/2$, el comportamiento en la franja $1/2 < \sigma < 1$ sigue siendo objeto de estudio. Trabajos previos de Goldstein y A.G. [5] establecieron un límite inferior para la suma sobre los ceros en la línea crítica, pero este límite tendía a cero cuando $\sigma \to 1/2$. El objetivo principal de este trabajo es mejorar este límite inferior hacia uno que crezca infinitamente cuando $\sigma \to 1/2$, proporcionando así una condición más fuerte para la positividad en las proximidades de la línea crítica.

Metodología
Los autores emplean técnicas de la teoría analítica de números, apoyándose principalmente en la representación de producto infinito de la función $\xi$ y métodos de sumas parciales.

1. Expansión de la Derivada Logarítmica: El estudio utiliza la expansión $\frac{\xi'}{\xi}(s) = \sum_{\rho} \frac{1}{s-\rho}$, donde la suma recorre los ceros no triviales de la función zeta de Riemann. La parte real de esta suma se descompone en las contribuciones de los ceros en la línea crítica ($\rho = 1/2 + i\gamma$) y de los hipotéticos ceros fuera de la línea crítica ($\tilde{\rho} = \tilde{\beta} + i\tilde{\gamma}$).
2. Sumación Parcial y Aproximación Integral: Para estimar la suma sobre los ceros de la línea crítica, los autores utilizan la sumación parcial (Lema 2) combinada con límites explícitos para la función de conteo de ceros $N(T)$ (Lema 3).
3. Estimación de Integrales: Una parte significativa del trabajo técnico consiste en derivar límites inferiores explícitos para integrales de la forma $\int \frac{\log u}{a^2(t) + b^2(t)(u-t)^2} du$. El Lema 5 proporciona un límite inferior riguroso para estas integrales, las cuales se utilizan para aproximar las sumas discretas sobre los ceros.
4. Manejo de Ceros Hipotéticos: El artículo analiza escenarios en los que la HR falla, considerando la contribución de los ceros fuera de la línea crítica. El Lema 9 proporciona un límite superior para la suma de los inversos de los cuadrados de las distancias a los ceros hipotéticos, asegurando que su contribución no supere la contribución positiva de los ceros de la línea crítica en la región especificada.

Contribuciones Clave y Resultados

• Límite Inferior Mejorado (Teorema 6): El resultado central es el Teorema 6, que establece un nuevo límite inferior explícito para la parte real de la suma sobre los ceros de la línea crítica. Para $1/2 + 1/\sqrt{\log t} < \sigma < 1$ y $t > 3.11 \times 10^{10}$, los autores prueban:
  $$0 < (0.28 - \epsilon(t))c \frac{1}{\sigma - 1/2} < \Re \sum_{\rho=1/2+i\gamma} \frac{1}{s-\rho}$$
  Aquí, $c$ representa la densidad inferior de ceros en la línea crítica ($c = \liminf N_{1/2}(T)/N(T)$), y $\epsilon(t)$ es una función que se anula como $\frac{\log \log t}{\log t}$. A diferencia de los límites previos, esta expresión diverge cuando $\sigma \to 1/2$, ofreciendo una restricción más fuerte.

• Análisis de Escenarios de Falla de la HR: La Sección 4 investiga la positividad de $\Re \frac{\xi'}{\xi}(s)$ bajo la suposición de que la HR es falsa. Los autores consideran tres casos:

  1. Un solo cero fuera de la línea crítica.
  2. Un número finito de ceros fuera de la línea crítica.
  3. Infinitos ceros fuera de la línea crítica.
     En todos los casos, los autores demuestran que $\Re \frac{\xi'}{\xi}(s)$ permanece positivo en la región $1/2 + 1/\sqrt{\log t} < \sigma < 1$, excepto potencialmente en pequeñas vecindades que rodean a los hipotéticos ceros no triviales. La contribución positiva de los ceros de la línea crítica (escalada por $c$) domina las contribuciones negativas de los ceros fuera de la línea en la región especificada.

• Verificación Numérica: Los autores utilizan la base de datos de Odlyzko [12] para visualizar la región donde se cumple la desigualdad, confirmando los límites teóricos para valores específicos de $t$ grandes (por ejemplo, $t \approx 2.68 \times 10^{11}$).

Significado y Reivindicaciones
El artículo pretende refinar la comprensión de la derivada logarítmica de la función $\xi$ cerca de la línea crítica. Al obtener un límite inferior que crece cuando $\sigma \to 1/2$, el trabajo refuerza la evidencia de la positividad de $\Re \frac{\xi'}{\xi}(s)$ en la franja crítica, incluso sin asumir que la Hipótesis de Riemann sea verdadera.

Los autores presentan modestamente su contribución como una mejora de los resultados de Goldstein y A.G. [5]. No pretenden demostrar la Hipótesis de Riemann; más bien, muestran que si la HR falla, la "región de positividad" de la derivada logarítmica es robusta, persistiendo cerca de la línea crítica excepto en la vecindad inmediata de los hipotéticos contraejemplos. El trabajo proporciona límites explícitos y computables que dependen de la densidad de los ceros de la línea crítica ($c$) y de la magnitud de $t$.