A new equivalence to the Riemann Hypothesis by means of the Salem integral equation

A continuación presento un resumen técnico detallado del artículo en español, estructurado según los puntos solicitados:

Resumen Técnico: Una nueva equivalencia a la Hipótesis de Riemann mediante la ecuación integral de Salem

Autores: B. J. González y E. R. Negrín (Universidad de La Laguna, España).

1. El Problema

El artículo aborda la Hipótesis de Riemann (HR), uno de los problemas abiertos más importantes en matemáticas. La HR postula que todos los ceros no triviales de la función zeta de Riemann, $\xi(s)$, situados en la banda crítica $0 < \text{Re}(s) < 1$, se encuentran estrictamente sobre la línea crítica $\text{Re}(s) = 1/2$.

El trabajo se centra en reformular esta hipótesis utilizando la ecuación integral de Salem, establecida originalmente por Raphaël Salem en 1953. La formulación clásica de Salem afirma que la HR es verdadera si y solo si, para cada $\delta$ en el intervalo $(1/2, 1)$, la única función medible acotada $f(t)$ en $(0, \infty)$ que satisface la ecuación integral homogénea para todo $x > 0$ es la función nula ($f=0$ casi por todas partes).

2. Metodología

Los autores emplean un análisis funcional y propiedades de las funciones especiales ($\xi(s)$ y $\eta(s)$) para derivar una condición necesaria y suficiente más específica. La metodología sigue estos pasos lógicos:

1. Relación entre funciones: Se utiliza la conexión entre la función zeta de Riemann $\xi(s)$ y la función eta de Dirichlet $\eta(s)$, dada por $\eta(s) = (1 - 2^{1-s})\xi(s)$, válida para $\text{Re}(s) > 0$.
2. Representación Integral: Se parte de la identidad integral conocida para $\text{Re}(s) > 0$:
   $$\int_0^\infty \frac{t^{s-1}}{e^{xt} + 1} dt = x^{-s}\Gamma(s)\eta(s)$$
3. Sustitución de la variable compleja: Se considera un cero potencial de la función zeta en la banda crítica, definido como $s = \delta + i\gamma$, donde $0 < \delta < 1$ y $\gamma \in \mathbb{R}$.
4. Análisis de soluciones tipo potencia: Los autores investigan la existencia de soluciones de la ecuación integral de la forma $f(t) = t^{i\gamma}$. Dado que $|t^{i\gamma}| = |e^{i\gamma \ln t}| = 1$, estas funciones son acotadas y medibles, cumpliendo con los requisitos de la formulación original de Salem.
5. Equivalencia Lógica: Se demuestra que la existencia de un cero con parte real $\delta \neq 1/2$ es equivalente a la existencia de una solución no trivial de la forma $f(t) = t^{i\gamma}$ en la ecuación integral.

3. Contribuciones Clave

La contribución principal del artículo es establecer una nueva equivalencia a la Hipótesis de Riemann que refina la condición de unicidad de la formulación de Salem:

• Restricción del espacio de soluciones: Mientras que la formulación de 1953 exige que ninguna función medible acotada no nula satisfaga la ecuación, los autores demuestran que la HR es verdadera si y solo si, para cada $\delta$ en el intervalo $(1/2, 1)$, la ecuación integral no tiene soluciones de la forma específica $f(t) = t^{i\gamma}$ (con $\gamma \in \mathbb{R}$).
• Simplificación del criterio de verificación: Esto reduce el problema de verificar la ausencia de cualquier función acotada a verificar la ausencia de un tipo muy específico de función oscilatoria (potencias imaginarias puras) que corresponde directamente a la parte imaginaria de los ceros de la función zeta.

4. Resultados

El resultado formal presentado en el artículo es la siguiente equivalencia:

La Hipótesis de Riemann es verdadera si y solo si, para cada $\delta$ tal que $1/2 < \delta < 1$, la ecuación integral:
$$\int_0^\infty \frac{t^{\delta-1}}{e^{xt} + 1} f(t) dt = 0, \quad \forall x > 0$$
no posee soluciones de la forma $f(t) = t^{i\gamma}$ para $t \in (0, \infty)$ y $\gamma \in \mathbb{R}$.

Además, los autores derivan una consecuencia lógica importante: La afirmación de Salem (que la única solución es $f=0$) es equivalente a la afirmación de que no existen soluciones de tipo $t^{i\gamma}$, siempre que se considere el rango $0 < \delta < 1$ con $\delta \neq 1/2$. Esto vincula directamente la inexistencia de ceros fuera de la línea crítica con la inexistencia de estas soluciones oscilatorias específicas.

5. Significado e Impacto

• Perspectiva Analítica: El trabajo ofrece una nueva perspectiva analítica para atacar la Hipótesis de Riemann, trasladando el problema de la teoría de números (distribución de ceros) al dominio de las ecuaciones integrales y el análisis funcional.
• Reducción de Complejidad: Al identificar que la presencia de un contraejemplo a la HR implicaría necesariamente la existencia de una solución de la forma $t^{i\gamma}$, el artículo simplifica el espacio de búsqueda de contraejemplos. En lugar de buscar en todo el espacio de funciones $L^\infty$, el foco se estrecha a funciones de fase pura.
• Conexión Histórica: El artículo revitaliza y profundiza en el trabajo de Salem de 1953, demostrando que la estructura de las soluciones de la ecuación integral refleja directamente la simetría y ubicación de los ceros de la función zeta.

En conclusión, el artículo no prueba la Hipótesis de Riemann, sino que proporciona un marco teórico alternativo y potente para su estudio, estableciendo que la veracidad de la HR es equivalente a la ausencia de soluciones oscilatorias puras en una ecuación integral específica para ciertos parámetros reales.