Hipótesis de Riemann

Parte real (rojo) y parte imaginaria (azul) de la línea crítica Re(s) = 1/2 de la función zeta de Riemann. Pueden verse los primeros ceros no triviales en Im(s) = ±14.135, ±21.022 y ±25.011.

Un gráfico polar de zeta, esto es, Re(zeta) vs. Im(zeta), a lo largo de la línea crítica s=it+1/2, con t con valores desde 0 a 34

La hipótesis de Riemann, formulada por primera vez por Bernhard Riemann en 1859, es una conjetura sobre la distribución de los ceros de la función zeta de Riemann ζ(s). La hipótesis de Riemann es uno de los problemas abiertos más importantes en la matemática contemporánea; Se ha ofrecido un premio de US$1.000.000 por el Instituto Clay de Matemáticas para el que descubra una demostración. La mayoría de los matemáticos piensan que la conjetura es cierta. J. E. Littlewood y Atle Selberg se han mostrado escépticos. El escepticismo de Selberg ha disminuido desde sus días de juventud. En un artículo en 1989 sugirió que un análogo debe ser cierto para una clase mucho más amplia de funciones (la clase de Selberg).

La función zeta de Riemann ζ(s) está definida para todos los números complejos s ≠ 1 y posee ciertos ceros "triviales" para s = −2, s = −4, s = −6, ... La conjetura de Riemann hace referencia a los ceros no triviales afirmando:

• La parte real de todo cero no trivial de la función zeta de Riemann es 1/2.

Por lo tanto los ceros no triviales deberían encontrarse en la línea crítica 1/2 + i t donde t es un número real e i es la unidad imaginaria. La función zeta de Riemann, a lo largo de la línea crítica ha sido estudiada en términos de la función Z, cuyos ceros corresponden a los ceros de la función zeta sobre la línea crítica.

Historia

Riemann mencionó la conjetura, que sería llamada la hipótesis de Riemann, en su artículo de 1859 Sobre los números primos menores que una magnitud dada, pero como no era esencial para el propósito central de su artículo, no intentó dar una demostración de la misma. Riemann sabía que los ceros no triviales de la función zeta están distribuidos en torno a la recta s = 1/2 + i t, y sabía también que todos los ceros no triviales debían estar en el rango 0 ≤ Re(s) ≤ 1.

En 1896, Hadamard y de la Vallée-Poussin probaron independientemente, que ningún cero podía estar sobre la recta Re(s) = 1. Junto con las otras propiedades de los ceros no triviales demostradas por Riemann, esto mostró que todos los ceros no triviales deben estar en el interior de la banda crítica 0 < Re(s) < 1. Este fue un paso fundamental para las primeras demostraciones del teorema de los números primos.

En 1900, Hilbert incluyó la hipótesis de Riemann en su famosa lista de los 23 problemas no resueltos — es parte del problema 8 en la lista de Hilbert junto con la conjetura de Goldbach. Cuando se le preguntó qué haría si se despertara habiendo dormido quinientos años, remarcablemente Hilbert contestó que su primera pregunta sería si la hipótesis de Riemann había sido probada. La hipótesis de Riemann es el único problema de los que propuso Hilbert que está en el premio del milenio del Instituto Clay de Matemáticas.

En 1914, Hardy demostró que existe un número infinito de ceros sobre la recta crítica Re(s) = 1/2. Sin embargo todavía era posible que un número infinito (y posiblemente la mayoría) de los ceros no triviales se encontraran en algún otro lugar sobre la banda crítica. En trabajos posteriores de Hardy y Littlewood en 1921 y de Selberg en 1942 se dieron estimados para la densidad promedio de los ceros sobre la línea crítica.

Trabajos recientes se han concentrado en el cálculo explícito de la localización de grandes cantidades de ceros (con la esperanza de hallar algún contraejemplo) y en el establecimientos de cotas superiores en la proporción de ceros que puedan estar lejos de la línea crítica (con la esperanza de reducirlas a cero).

La hipótesis de Riemann y los números primos

La formulación tradicional de la hipótesis de Riemann oscurece un poco la importancia real de la conjetura. La función zeta de Riemann tiene una profunda conexión con los números primos y Hege von Koch demostró en 1901 que la hipótesis de Riemann es equivalente al considerable refinamiento del teorema de los números primos: Existe una constante C > 0 tal que

$\left|\pi (x)-\int _{2}^{x}{\frac {dt}{\ln(t)}}\right|\leq C\,{\sqrt {x}}\,\ln(x),$

para todo x suficientemente grande, donde π(x) es la función contadora de primos y ln(x) es el logaritmo natural de x. Lowell Schoenfeld mostró que se puede tomar C = 1/(8 π) para todo x ≥ 2657.

Los ceros de la función zeta y los números primos satisfacen ciertas propiedades de dualidad, conocidas como fórmulas explícitas, que muestran, usando análisis de Fourier, que los ceros de la función zeta de Riemann pueden interpretarse como frecuencias armónicas en la distribución de los números primos.

Más aún, si la conjetura de Hilbert-Polya es cierta, entonces cualquier operador que nos dé las partes imaginarias de los ceros como sus valores propios debe satisfacer:

$\sum _{n}e^{-\beta E_{n}}=Tr[e^{-\beta {\hat {H}}}]=e^{u/2}-e^{-u/2}{\frac {d\psi _{0}}{du}}-{\frac {e^{u/2}}{e^{3u}-e^{u}}},$

donde Tr es la traza del operador (suma de sus valores propios) , 'Beta' es un número imaginario y $\psi (x)$ es la Función de Chebyshov que nos suma el log(x) sobre los primos y sus potencias enteras, dicha fórmula es una conclusion de la 'fórmula explicita' de V. Mangoldt [1]. Varios operadores propuestos por C. Perelman, J. Macheca y J. Garcia, parecen corroborar los resultados de la conjetura de HIlbert sobre el operador, reproduciendo la parte imaginaria de los ceros.

Cálculo numérico

Valor absoluto de la ζ-function

• En el año 2004 Xavier Gourdon verificó la conjetura de Riemann numéricamente a lo largo de los primeros diez trillones de ceros no triviales de la función. Sin embargo esto no es estrictamente una demostración, numéricamente es más interesante encontrar un contraejemplo, es decir un valor de cero que no cumpla con que su parte real es 1/2, pues esto echaría por los suelos la validez de la conjetura.

• Hasta el 2005, el intento más serio para explorar los ceros de la función-ζ, es el ZetaGrid, un proyecto de computación distribuida con la capacidad de verificar billones de ceros por día. El proyecto acabó en diciembre de 2005,y ninguno de los ceros pudo ser identificado como contraejemplo de la hipótesis de Riemann.

Una posible demostración de la hipótesis de Riemann

En junio de 2004, Louis de Branges de Bourcia afirmó haber demostrado la hipótesis de Riemann en la Apología de la demostración de la Hipótesis de Riemann. Su demostración será sujeta a revisión por otros matemáticos. De Branges de Bourcia había anunciado numerosas veces tener una demostración, pero todos sus intentos anteriores habían sido fallidos.

• Información general sobre la demostración de De Branges (Inglés, pdf).
• La demostración de De Branges completa: "Funciones Zeta de Riemann" (Inglés, pdf).

Un artículo de Xia-Jin Li del 1 de julio de 2008 podría probar la hipótesis de Riemann, utilizando análisis de Fourier de campos numéricos. Si no se encontrase ningún error durante el proceso de revisión este sería el artículo científico más importante de los últimos años. {Cabe hacer notar que el articulo citado tiene una nota que dice: This paper has been withdrawn by the author, due to a mistake on page 29. }

Enlaces externos

• (en) A proof of the Riemann hypothesis
• (en) The Riemann Hypothesis in a Nutshell
• (en) Andrew Odlyzko: Tables of zeros of the Riemann zeta function
• (en) Zetagrid
• (en) Algoritmos para calcular los ceros de la función de Riemann, por Michael Rubinstein
• (es) Determinación geométrica de los números primos y perfectos