Hipótesis de Riemann

De Wikipedia, la enciclopedia libre

Tienes mensajes nuevos (Dif. entre las dos últimas versiones).

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 provea una demostración. La mayoría de los matemáticos piensan que la conjetura es cierta. (J. E. Littlewood y Atle Selberg han sido reportados como escépticos. El esceptismo de Selberg ha disminuido desde sus días de juventud. En un artítculo 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 Riemman, a lo largo de la línea crítica ha sido estudiada en términos de la function Z, cuyos ceros corresponden a los ceros de la función zeta sobre la línea crítica.

Tabla de contenidos

1 Historia
2 La hipótesis de Riemann y los números primos
3 Cálculo numérico
4 Enlaces externos

[editar] 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 independienetemente, 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 prguntó que 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 esta 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).

[editar] 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: Exite una constante C > 0 tal que

$\left|\pi(x) - \int_2^x\frac{dt}{\ln(t)}\right|\le 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.

[editar] Cálculo numérico

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 del 2005,y ninguno de los ceros pudo ser identificado como contraejemplo de la hipótesis de Riemann.