LA HIPOTESIS DE RIEMANN

Manuel Cruz-L opez Facultad de Matem aticas Universidad de Guanajuato 9 de mayo de 2006

1 La Distribuci on de los N umeros Primos

Los inicios...
Uno de los resultados importantes establecidos en los Elementos de Euclides es el que concierne a la innitud de los n umeros primos. Entre otras cosas, el m etodo de demostraci on marc o una era en la forma de hacer y pensar a la matem atica. Muchos a nos m as tarde se estableci o el llamado Teorema Fundamental de la Aritm etica, que establece que todo n umero entero se puede expresar, de manera u nica, como un producto de todos sus factores primos, por ejemplo, 105 = 3 5 7. Este importante teorema deja a un sin resolver el tambi en antiguo problema de la distribuci on de los n umeros primos, que pretende determinar, para un entero n, la cantidad de n umeros primos que son menores o iguales que n, as como el comportamiento de esta distribuci on de n umeros.

La Distribuci on de los n umeros primos

Un primer intento por describir la distribuci on de los n umeros primos es la llamada Criba de Erat ostenes, la cual nos permite determinar, para un entero n todos los n umeros primos que son menores o iguales que el. Recordemos que este m etodo consiste en escribir en un cuadrado los primeros n n umeros; despu es marcamos el 2 y eliminamos todos sus m ultiplos, luego marcamos el 3 y eliminamos todos sus m ultiplos, y as sucesivamente, marcamos el siguiente n umero primo y eliminamos todos sus m ultiplos. Al nal del proceso habremos obtenido todos los n umeros primos que son menores o iguales a n. Es claro que este m etodo funciona bien para n umeros peque nos. Si n es arbitrariamente grande, entonces el m etodo es totalmente inapropiado. Otro intento por resover este problema fu e dado por Pierre de Fermat (1601-1665) qui en, sin intentar una demostraci on, se nal o que la expresi on 2n f (n) = 2 1 permit a encontrar n umeros primos. Pocos a nos despu es, Leonhard Euler (1707-1783) encontr o que f (5) no es un n umero primo. Se hicieron otros intentos por encontrar expresiones algebraicas que describieran a los n umeros primos. Tiempo despu es se plante o determinar la distribuci on de los n umeros primos en Progresiones Aritm eticas de la forma a, a + d, a + 2d, ..., a + nd, .... Tard o algunos a nos hasta que Lejeune Dirichlet (1805-1859), utilizando t ecnicas desarrolladas del An alisis Matem atico, prob o que en cada 2

progresi on aritm etica hay un n umero innito de primos. Despu es de muchos intentos por encontrar la Ley de Distribuci on de Primos, los matem aticos se olvidaron de las f ormulas y se preguntaron por la distribuci on promedio de los n umeros primos entre los n umeros enteros. Para ver un poco m as de cerca esta idea, supongamos que n es un n umero entero y denotemos por An al n umero de primos que son menores o iguales que n. Esto es, An = #{p : 1 < p n, p primo}. Por ejemplo, A1 = 0, A2 = 1, A3 = A4 = 2, A5 = A6 = 3, A7 = A8 = A9 = A10 = 4, etc. Es claro que si tomamos una sucesi on de valores crecientes de n, entonces la sucesi on An tambi en es creciente. La densidad de los n umeros primos entre los primeros n enteros est a dada por el cociente An /n. La Ley que gobierna el comportamiento de este cociente es uno de los descubrimientos m as importantes e intrigantes en toda la matem atica... De un estudio emp rico de tablas de n umeros primos, Carl Frederich Gauss (1777-1855) observ o que el cociente An /n es aproximadamente igual a 1/ log(n), y esta aproximaci on parece mejorar cuando n se hace arbitrariamente grande. Esto es, An /n 1/ log(n). Sobre esta base emp rica, Gauss conjetur o que el cociente An /n es asint oticamente igual a 1/ log(n). Esto es, An /n 1, 1/ log(n) cuando n . M as tarde, Bernhard Riemann (1826-1866) di o la estrategia para demostrar el teorema, el cual fu e probado por Jaques Hadamard e independientemente por de la Vall ee Poussin, en 1896.

2 La funci on zeta de Riemann

Recordemos primero que el sistema de n umeros complejos C consiste de todos aquellos n umeros que se pueden expresar en la forma s = a + bi, donde umeros tienen bien denida una a y b son n umeros reales e i := 1. Estos n suma y multiplicaci on y estas operaciones satisfacen las propiedades usuales 3

de las operaciones de los n umeros reales. Podemos tambi en representar a estos n umeros como puntos en el plano xy , esto es, como parejas ordenadas (x, y ), donde la coordenada x, llamada la parte real de s, se denota por Re(s), y la coordenada y , llamada la parte imaginaria de s, se denota por Im(s). Si s es una variable compleja, denimos la funci on zeta de Riemann como 1 (s) = . ns n=1 Una primera propiedad de esta funci on que se prueba f acilmente es que (s) representa una funci on anal tica en el semiplano Re(s) > 1. Un resultado importante que puede probarse es que la funci on zeta (s) admite una continuaci on anal tica a todos los n umeros complejos, excepto 1. La funci on (s) tambi en satisface la Identidad de Euler: (s) = 1 , s 1 p pP

donde P denota al conjunto de todos los n umeros primos. La expresi on en el lado derecho signica que tomamos el producto innito de todos los factores de la forma 11 , para cada n umero primo p; por ejemplo, los primeros ps 1 1 factores son 12s , 13s . La identidad de Euler expresa el Teorema Fundamental de la Aritm etica en una sola ecuaci on y muestra tambi en la naturaleza aritm etica de la funci on zeta.

3 La Hip otesis de Riemann

La identidad de Euler muestra que (s) = 0 si Re(s) > 1. Los u nicos ceros de (s) en el dominio Re(s) < 0 est an en los argumentos s = 2, 4, 6, .... Estos son los llamados ceros triviales de (s). Los otros ceros tienen que estar en la banda cr tica 0 Re(s) 1, ya que (s) = 0 si Re(s) > 1. Esta discusi on nos lleva al siguiente problema a un no resuelto: Hip otesis de Riemann: Los ceros no-triviales de (s) est an en la recta Re(s) = 1/2. 4

B. Riemann, en su art culo Ueber die Anzahl der Primzahlen unter einer gegebenen Gr osse (Sobre el N umero de N umeros Primos menores o iguales que una cantidad dada), publicado en 1859, plante o este problema que, desde entonces ha sido objeto de estudio por parte de muchos grandes matem aticos. Se ha vericado para 150 millones de ceros y actualmente, The Clay Mathematics Institute, estableci o, en el a no 2000, un premio de 1 mill on de d olares, a quien logre resolver este y otros 6 problemas importantes en matem aticas. La Hip otesis de Riemann tiene consecuencias inmediatas para el problema de la distribuci on de los n umeros primos en todos los n umeros naturales. Esto se puede ver en la siguiente idea: Si x es un n umero entero, la funci on (x) denida por (x) = #{p : p x, p primo}, determina el n umero de primos que son menores o iguales que x. Esta funci on de distribuci on se puede escribir, de acuerdo con Riemann, como la serie (x) = R(x)

R(x ),

donde var a sobre todos los ceros de (s) y R(x) es la funci on

R(x) = 1 +
n=1

1 (log x)n . n (n + 1) n!

A escala miscrosc opica, la funci on (x) es una funci on escalonada con un comportamiento altamente irregular. Pero, a grandes escalas, se comporta altamente diferenciable, lo que la convierte en uno de los m as grandes misterios de toda la matem atica...

Referencias
[1] A.E. Ingham, The Distribution of Prime Numbers. Cambridge University Press, 1932. [2] P. Ribenboim, The New Book of Prime Number Records. Springer-Verlag, 1996. [3] A.A. Karatsuba and S.M. Voronin, The Riemann Zeta-function. De Gruyter Expositions in Mathematics N. 5. Walter deGruyter, 1992. [4] A. Weil, Basic Number Theory. Classics in Mathematics, Springer-Verlag, 1973. [5] J. Neurkirch, Algebraic Number Theory. Springer-Verlag, 1999.