iptesis de Riemann

Parte real (rojo) y parte imaginaria (azul) de la lnea crtica Re(s) = 1/2 de la funcin zeta de
Riemann. Pueden verse los primeros ceros no triviales en Im(s) = 14,135, 21,022 y 25,011.

En matemtica pura, la hiptesis de Riemann, formulada por primera vez por Bernhard
Riemann en 1859, es una conjetura sobre la distribucin de los ceros de la funcin zeta de
Riemann (s).1
La hiptesis de Riemann, por su relacin con la distribucin de los nmeros primos en el
conjunto de los naturales, es uno de los problemas abiertos ms importantes en la
matemtica contempornea.
El Instituto Clay de Matemticas ha ofrecido un premio de un milln de dlares a la primera
persona que desarrolle una demostracin correcta de la conjetura.2 La mayor parte de la
comunidad matemtica piensa que la conjetura es correcta, aunque otros grandes
matemticos como J. E. Littlewood y Atle Selberg se han mostrado escpticos, si bien el
escepticismo de Selberg fue disminuyendo desde sus das de juventud. En un artculo en
1989 sugiri que un anlogo debe ser cierto para una clase mucho ms amplia de
funciones (laclase de Selberg).
ndice
[ocultar]

1 Definicin
2 Historia
3 La hiptesis de Riemann y los nmeros primos
4 Clculo numrico
5 Vase tambin
6 Referencias
7 Enlaces externos

Definicin[editar]
La funcin zeta de Riemann (s) est definida de la siguiente manera:

Para todos los nmeros complejos s 1, se puede prolongar analticamente mediante

la ecuacin funcional:

Esta posee ciertos valores, llamados ceros "triviales" para los cuales la funcin
zeta se anula. De la ecuacin se puede ver que s = 2, s = 4, s = 6, ... son
ceros triviales. Existen otros valores complejos s comprendidos entre 0 < Re(s) <
1, para los cuales la funcin zeta tambin se anula, llamados ceros "no triviales".
La conjetura de Riemann hace referencia a estos ceros no triviales afirmando:
La parte real de todo cero no trivial de la funcin zeta de Riemann
es 1/2
Por lo tanto los ceros no triviales deberan encontrarse en la lnea crtica s = 1/2 + i
t donde t es un nmero real e i es la unidad imaginaria. La funcin zeta de
Riemann, a lo largo de la lnea crtica ha sido estudiada en trminos de la funcin
Z, cuyos ceros corresponden a los ceros de la funcin zeta sobre la lnea crtica.

Un grfico polar de zeta, esto es, Re(zeta) vs. Im(zeta), a lo largo de la lnea
crtica s=it+1/2, con t con valores desde 0 a 34.

Historia[editar]
Riemann mencion la conjetura en 1859, que sera llamada la hiptesis de
Riemann, en su tesis de doctorado Sobre los nmeros primos menores que una
magnitud dada, al desarrollar una frmula explcitapara calcular la cantidad de
primos menores que x. Puesto que no era esencial para el propsito central de su
artculo, no intent dar una demostracin de la misma. Riemann saba que los
ceros no triviales de la funcin zeta estn distribuidos en torno a la recta s = 1/2 + i
t, y saba tambin que todos los ceros no triviales deban estar en el rango 0
Re(s) 1.3
En 1896, Hadamard y de la Valle-Poussin probaron independientemente, que
ningn cero poda 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 crtica 0 < Re(s) < 1. Este
fue un paso fundamental para las primeras demostraciones del teorema de los
nmeros primos.
En 1900, Hilbert incluy la hiptesis 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 hara si se despertara
habiendo dormido quinientos aos, remarcablemente Hilbert contest que su
primera pregunta sera si la hiptesis de Riemann haba sido probada. La hiptesis
de Riemann es el nico problema de los que propuso Hilbert que est en el premio
del milenio del Instituto Clay de Matemticas.
En 1914, Hardy demostr que existe un nmero infinito de ceros sobre la recta
crtica Re(s) = 1/2. Sin embargo todava era posible que un nmero infinito (y

posiblemente la mayora) de los ceros no triviales se encontraran en algn otro

lugar sobre la banda crtica. En trabajos posteriores de Hardy y Littlewood en 1921
y de Selberg en 1942 se dieron estimaciones para la densidad promedio de los
ceros sobre la lnea crtica.
Trabajos recientes se han concentrado en el clculo explcito de la localizacin de
grandes cantidades de ceros (con la esperanza de hallar algn contraejemplo) y
en el establecimientos de cotas superiores en la proporcin de ceros que puedan
estar lejos de la lnea crtica (con la esperanza de reducirlas a cero).

La hiptesis de Riemann y los nmeros primos[editar]

La formulacin tradicional de la hiptesis de Riemann oscurece un poco la
importancia real de la conjetura. La funcin zeta de Riemann tiene una profunda
conexin con los nmeros primos y Hege von Koch demostr en 1901 que la
hiptesis de Riemann es equivalente al considerable refinamiento del teorema de
los nmeros primos: Existe una constante C > 0 tal que

para todo x suficientemente grande, donde (x) es la funcin contadora de

primos y ln(x) es el logaritmo naturalde x. Lowell Schoenfeld mostr que se
puede tomar C = 1/(8 ) para todo x 2657.
Los ceros de la funcin zeta y los nmeros primos satisfacen ciertas
propiedades de dualidad, conocidas como frmulas explcitas, que muestran,
usando anlisis de Fourier, que los ceros de la funcin zeta de Riemann
pueden interpretarse como frecuencias armnicas en la distribucin de los
nmeros primos.
Ms an, 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:

donde tr es la traza del operador (suma de sus valores propios),

es

un nmero imaginario y
es lafuncin de Chebyshov que nos suma
el log(x) sobre los primos y sus potencias enteras, dicha frmula es una
conclusin de la 'frmula explicita' de V. Mangoldt.4 Varios operadores
propuestos por C. Perelman, J. Macheca y J. Garca, parecen corroborar
los resultados de la conjetura de Hilbert sobre el operador, reproduciendo
la parte imaginaria de los ceros.

Clculo numrico[editar]

Valor absoluto de la -function.

En el ao 2004 Xavier Gourdon verific la conjetura de Riemann

numricamente a lo largo de los primeros diez trillones de ceros no
triviales de la funcin. Sin embargo esto no es estrictamente una
demostracin, numricamente es ms interesante encontrar un
contraejemplo, es decir un valor de cero que no cumpla con que su
parte real es 1/2, pues esto echara por los suelos la validez de la
conjetura.

Hasta el 2005, el intento ms serio para explorar los ceros de la

funcin-, es el ZetaGrid, un proyecto de computacin distribuidacon
la capacidad de verificar billones de ceros por da. El proyecto acab
en diciembre de 2005, y ninguno de los ceros pudo ser identificado
como contraejemplo de la hiptesis de Riemann.

Vase tambin[editar]

Teorema de los nmeros primos

Funcin zeta de Riemann
Funcin contador de nmeros primos
Frmula explcita
Teora analtica de nmeros

Referencias[editar]
1.

2.
3.

4.

Volver arriba Bombieri, Enrico (2000) (en ingls, PDF), The Riemann
Hypothesis - official problem description, Clay Mathematics Institute,
consultado el 21 de febrero de 2011 Reimpreso en (Borwein et al., 2008).
Volver arriba The Millennium Prize Problems (en ingls). Consultado
el 21 de febrero de 2011.
Volver arriba Riemann, Bertrand (1859). Ueber die Anzahl der
Primzahlen unter einer gegebenen Grsse. Consultado el 29 de
diciembre de 2008.
Volver arriba Explicit formula http://www.wbabin.net/science/moreta8.pdf

Enlaces externos[editar]

(en) The Riemann Hypothesis in a Nutshell

(en) Andrew Odlyzko: Tables of zeros of the Riemann zeta function

(en) Riemann zeros Quantum chaos
(en) Zetagrid
(en) Algoritmos para calcular los ceros de la funcin de Riemann, por
Michael Rubinstein
Categoras:

Teora analtica de nmeros

Conjeturas matemticas

Problemas no resueltos de la Matemtica

Epnimos relacionados con las matemticas