viernes, 2 de septiembre de 2011

¿Aproximaciones físicas a la hipótesis de Riemann?


¿Aproximaciones físicas a la hipótesis de Riemann?

 otro callejón sin salida. 

La función zeta de Riemann es tan sencilla (transalgebraicamente hablando) que si modela un sistema físico éste tiene que ser tan sencillo que ya habría sido descubierto y la hipótesis de Riemann habría sido probada.
 Como no se ha dado lo segundo, lo primero no implica ningún tipo de progreso. 
Aún así, y como yo soy físico, me gustaría recordar que la función zeta de Riemann aparece en muchos problemas de física, desde la mecánica clásica a la física de la materia condensada. 
A los interesados les recomiendo el interesante artículo de Daniel Schumayer, David A. W. Hutchinson, “Physics of the Riemann Hypothesis,” Review of Modern Physics 83: 307-330, 2011 [gratis en ArXiv].

¿Estás interesado en la hipótesis de Riemann? 

 Deberías empezar leyendo a Aleksandar Ivić, “On some reasons for doubting the Riemann hypothesis,” ArXiv, 11 Nov 2003 ["creer o no creer en la validez de la hipótesis de Riemann, that's the question!"]. 

Y ni se te ocurra leer a Enrico Bombieri en su descripción del problema del Milenio (“The Riemann hypothesis,” porque dicen que la mejor manera de provocar que toques algo es poner un cartel que diga que no lo toques). 

¿Qué deberías leer entonces? 

 E. Landau, 2Handbuch der Lehre von der Verteilung der Primzahlen,” 2nd Edition, Chelsea, New York, 1953, y a H. M. Edwards, “Riemann’s Zeta Function,” Dover Publications, New York, 2001.


La hipótesis de Riemann

Los números primos \mathcal{P} son los números naturales \mathcal{N} que no son divisibles salvo por ellos mismos y por la unidad.

 Hay infinitos primos, pero los detalles de su distribución aún están ocultos. Euler demostró con 1737 que

\sum_{p \in\mathcal{P}}{\frac{1}{p}} = \infty,

lo que indica que los números primos son muy frecuentes entre los números naturales; recuerda que
\sum_{n \in\mathcal{N}}{\frac{1}{n^k}} < \infty, \qquad k>1.
Euler fue más allá y demostró usando el teorema fundamental de la aritmética que

\zeta(k) =\sum_{n \in\mathcal{N}}{\frac{1}{n^{k}} } = \prod_{p\in\mathcal{P}}{\left ( 1- \frac{1}{p^{k}}\right )^{-1}},

expresión matemática bien definida para k>1. La función \zeta(k) no tiene ceros reales para k>1.

Bernhard Riemann aplicó las herramientas del análisis en variable compleja a la función zeta y la extendió a todos los números complejos como

\zeta (s) = \sum_{n\in\mathcal{N}}{\frac{1}{n^{s}}},

función que puede ser continuada analíticamente para todo el plano complejo s excepto para s=1.

 Esta función de variable compleja s=\sigma+it, donde \sigma y t 

son números reales, y i=\sqrt{-1}, es la llamada función zeta de Riemann 
y presenta cierta simetría alrededor de la línea crítica \sigma= 1/2 dada por
 la ecuación funcional 

\pi^{-\frac{s}{2}} \Gamma \!\left ( \frac{s}{2} \right ) \zeta (s) = \pi^{-\frac{1-s}{2}} \Gamma \!\left ( \frac{1-s}{2} \right ) \zeta (1-s),

que permite demostrar que tiene ceros (llamados triviales) en todos los números enteros negativos \sigma =-n 

Además, si la función tiene un cero \sigma+it, con 0<\sigma<1/2 
también tendrá como cero el número simétrico con 1/2<1/2+\sigma<1 
y sus dos simétricos respecto al eje t=0.

Riemann conjeturó como hipótesis razonable que todos los ceros no triviales de la función \zeta(s) son de la forma nula es decir, se encuentran en la línea crítica.

 En 1900, Hilbert consideró la hipótesis de Riemann como el octavo problema de su famosa lista, y de ahí acabó como uno de los problemas del milenio del Instituto Clay de Matemáticas dotado con un millón de dólares.

 Durante el s. XX ha habido ciertos avances menores en la demostración de la conjetura, como cuando Hardy demostró en 1914 que hay infinitos ceros de la función \zeta(s) en la línea crítica, pero esto no basta para demostrar la hipótesis de Riemann (hoy sabemos gracias a Conrey, 1989, que al menos dos tercios de los ceros se encuentran en ella).

 Todos lo ceros deben estar en ella.

No hay comentarios: