Miscelanea Matematica 38 (2003) 1531

SMM

El teorema de los nmeros primos u

Jaime Ramos Gaytan
Instituto de Matemticas, UNAM-Morelia a Apartado Postal 61-3 (Xangari) 58089, Morelia Michoacn a MEXICO jramos@matmor.unam.mx

In mathematics, simple ideas usually come last J. Hadamard.

1.

Introduccin. o

El objetivo de este trabajo es probar el teorema de los nmeros u primos: (x) l m = 1, () x x log x en donde (x) es el nmero de primos menores o iguales que x. Ms u a precisamente, se analizar la prueba de D.J. Newman [2] con ms detalle a a que en el art culo original. Para esto, nosotros seguimos la exposicin o de D. Zagier [4], que resulta ya bastante simple, pero un poco resumida.

2.

Antecedentes histricos. o

El teorema de los nmeros primos fue enunciado por primera vez u por Gauss y Legendre a nales del siglo XVIII. El primero en intentar con algn xito la demostracin de () fue P.L. Chebyshev. A mediados u e o del siglo XIX, G.F.B. Riemann introdujo la teor de funciones de vaa riable compleja en el estudio de los nmeros primos. Riemann hizo una u serie de armaciones sobre el problema de la demostracin de () que o investigadores posteriores se encargar de demostrar. En particular, an 15

16

Jaime Ramos Gaytan

en 1896, J. Hadamard y C.J. de la Valle-Poussin pudieron probar el e teorema de los nmeros primos (). Para ms informacin histrica, ver u a o o [1] y [5].

3.

Funciones especiales.

En esta seccin se denen y se estudian las funciones especiales que o nos ayudarn a probar el teorema de los nmeros primos. a u Denicin 1. Para el nmero complejo s = + it tal que > 1 se o u dene la funcin zeta de Riemann mediante o

(s) =
n=1

1 . ns

Proposicin 2. La funcin (s) converge absoluta y uniformemente o o en subconjuntos compactos del semiplano > 1. Por lo tanto, (s) representa una funcin anal o tica en > 1. Demostracin. Por el teorema de convergencia anal o tica (ver [3, pg. a 95]) es suciente probar que la sucesin de funciones anal o ticas
k

fk (s) =
n=1

1 , ns

k N,

converge uniformemente en subconjuntos compactos de > 1. Nosotros demostraremos todav ms, a saber, que la convergencia uniforme se a a da en semiplanos 0 en donde 0 > 1. Para s = + it se tiene |ns | = |n+it | = |elog n eit log n | = n . Puesto que 0 entonces |1 ns | 1 n0 . Por lo tanto

n=1

1 ns

n=1

1 1+ n 0
1

1 0 dx = . 0 x 0 1

Esto prueba la convergencia uniforme en el semiplano 0 de la serie que dene (s). Denicin 3. Para s = + it tal que > 1 se dene la funcin (s) o o mediante log p (s) = , ps p en donde la suma es sobre todos los nmeros primos. u

 El Teorema de los Numeros Primos

17

Lema 4. La serie
n=1

log n converge si > 1. n

Demostracin. Supongamos que > 1. Sean y nmeros positivos o u tales que = 1 + + . Puesto que log n 0 n entonces existe M tal que 0 Por lo tanto

cuando

n ,

log n M n

para toda n N.

n=1

log n = n

n=1

log n = n1++

n=1

1 log n 1+ n n

n=1

M < n1+

Proposicin 5. La funcin (s) converge absoluta y uniformemente o o en subconjuntos compactos del semiplano > 1. Por lo tanto, (s) representa una funcin anal o tica en > 1. Demostracin. Sea 0 , en donde 0 > 1. Puesto que cada nmero o u primo p es un nmero natural n, entonces u log p ps

n=1

log n . n 0

Por el Lema 4 la serie de la derecha es convergente. Por lo tanto, la serie que dene a (s) converge uniformemente en el semiplano 0 para cada 0 > 1. Por el teorema de convergencia anal tica (s) es una funcin anal o tica en > 1. Proposicin 6. Para > 1 se cumple que (s) = o
p

1 . 1 ps

Esta proposicin es llamada usualmente el producto de Euler para o la funcin zeta de Riemann, en donde se representa a dicha funcin o o por medio de un producto innito extendido sobre todos los nmeros u primos.

18

Jaime Ramos Gaytan

Demostracin. Sea pk el k-simo nmero primo. Ahora consideremos o e u el producto parcial N 1 QN = . 1 ps k k=1 Probaremos que QN (s) cuando N para cada s tal que > 1. Tenemos entonces que |1 ps | = 1 p < 1 para todo p y > 1. Por lo tanto N 1 1 1 QN = 1 + s + 2s + 3s + pk pk pk k=1 con lo que QN queda expresado como un producto nito de series absolutamente convergentes. Esto es, hemos logrado escribir cada uno de los factores como una serie geomtrica. Ahora, si multiplicamos todas e estas series y reordenamos los trminos de acuerdo con el crecimiene to de los denominadores, entonces obtenemos otra serie absolutamente convergente, cuyo trmino general es de la forma e 1 p a1 p a2 p a3 1 2 3 p aN N Por consiguiente tenemos

1 ns

y cada aj N 0 .

QN =

1 ns

est extendida a aquellos n cuyos factores primos son a en donde es la suma de todos menores o iguales que pN . En otras palabras, los 1/ns , en donde n tiene descomposicin en factores primos menores o o iguales que pN . Por el teorema fundamental de la aritmtica se deduce e una y slo una vez. o que cada una de estas ns aparece en Restando QN de (s) obtenemos

(s) QN =
n=1

1 ns

1 = ns

1 ns

est extendida a aquellos n que poseen por lo menos un a en donde es la suma de todos divisor primo mayor que pN . En otras palabras los 1/ns en donde n tiene en su descomposicin de factores primos o almenos un factor mayor que pN . Puesto que estos n se hallan entre los enteros mayores que pN entonces tenemos |(s) QN |
n>pN

1 = ns

n>pN

1 . n

 El Teorema de los Numeros Primos

19

Cuando N la ultima suma tiende a 0. Por lo tanto QN (s) cuando N . Proposicin 7. La funcin o o (s) 1 s1

admite una extensin anal o tica al semiplano > 0. Demostracin. Otra vez la idea es usar el teorema de convergencia o anal tica. Como antes, es suciente si probamos convergencia uniforme en subconjuntos compactos del semiplano > 0. Sea K un subconjunto compacto contenido en > 0. Sea 0 = m : + it K . Sea n M = mx |s| : s K . Si > 1 entonces a

dx 1 . = xs s1
1

Por lo tanto 1 = (s) s1

n=1

1 ns
1

dx = xs

n=1

1 ns n=1 dx = xs

n+1

dx xs 1 1 s dx ns x

n n+1

=
n=1

1 ns

n+1

n+1

dx
n n=1 n

n=1 n

Esta ultima serie converge absolutamente en 0 . En efecto,

n+1

1 1 s dx s n x

n+1 x

s
n n n+1 x

du dx us+1 du dx = |s| us+1

n+1 x

|s|
n n

du dx . u+1

Puesto que 1/u+1 1/n0 +1 para cada n u x n + 1 entonces

n+1

1 |s| 1 s dx 0 +1 s n x n

n+1 n+1

du dx =
n n

|s| n0 +1

20

Jaime Ramos Gaytan

De esta manera, si s K entonces |s| M y por lo tanto tenemos

n+1

n=1 n

1 1 s dx s n x

M n0 +1

<

n=1

y por lo tanto la convergencia es uniforme en K. Denicin 8. Para x R se dene la funcin (x) mediante o o (x) =
px

log p,

en donde la suma es sobre todos los primos menores o iguales que x. Para enunciar el siguiente resultado, recordemos que si f (x) y g(x) son funciones denidas en R y g(x) > 0 para cada x R entonces la notacin f (x) = O g(x) signica que existen dos constantes A > 0 y o x0 tales que |f (x)| A g(x) siempre que x x0 . Proposicin 9. La funcin (x) satisface (x) = O(x). o o Demostracin. Probaremos que existe A > 0 tal que o (x) Ax para x 1. Por la expansin binomial tenemos que o 22n = (1 + 1)2n = 2n 2n + + 0 2n 2n n
n<p2n

p.

Esto ultimo es cierto ya que 2n n = (n + 1)(n + 2) (2n) (2n)! = 2 (n!) n! p

n<p2n

puesto que si n < p 2n entonces p aparece en la descomposicin del o entero (n + 1) (2n)/n! por lo menos una vez. As 22n
n<p2n

p = exp log
n<p2n

= exp
n<p2n

log p

= exp{(2n) (n)}.

 El Teorema de los Numeros Primos

21

Por otra parte, si a < b y f es una funcin creciente entonces se cumple o que f (a) < f (b). En particular la funcin logaritmo es una funcin o o 2n creciente. De la desigualdad exp (2n) (n) 2 tenemos que (2n) (n) 2n log 2. Por lo tanto, para todo x 1 se cumple que (2x) (x) M x en donde M = 2(log 2 + 1). De esta manera se obtiene x M (x) ( ) x, 2 2 x M x x, ( ) ( ) 2 4 4 x x M ( ) ( ) x, 4 8 8 Sumando verticalmente nos queda

etc.

(x) xM
j=1

1 = Mx . 2j

Proposicin 10. Si 1 entonces (s) = 0 y adems o a (s) es anal tica en el semiplano 1. Demostracin. Probemos primero que si > 1 entonces (s) = 0. Por o la Proposicin 6 tenemos que o 1 (s) =
p

1 s1

1
p

1 ps

1+
p

1 p = () < .

1+

1 1 + 2 + p p

Por lo tanto (s) = 0 para > 1. Tomando logaritmo a (s), tenemos log (s) = log
p

1 ps

=
p

log 1

1 . ps

22

Jaime Ramos Gaytan

Derivando trmino a trmino obtenemos e e Por otra parte log p = ps 1 =

p

(s) = (s)

1 d log 1 s ds p

=
p

log p . ps 1

ps log p ps (ps 1) ps log p log p + log p ps (ps 1) (ps 1) log p + log p ps (ps 1) log p log p + s s s p p (p 1)

=
p

=
p

de donde (s) = (s) log p = (s) + ps 1 log p 1) ps (ps log p . 1)

Armamos ahora que

p

ps (ps

converge absolutamente para > 1 2. Para probar nuestra armacin o veamos primero algunas acotaciones. Tomando |ps 1| tenemos que p |p 1| |p | 1 = p 1 > 10
s s

y tomando inversos |ps De esta manera ps (ps log p = 1)

1 10 < . 1| p log p 10 1| log p . p2

|ps ||ps

Esta ultima serie converge por el Lema 4 y puesto que 2 > 1. Por el teorema de convergencia anal tica, la serie F (s) :=
p

log p ps (ps 1)

 El Teorema de los Numeros Primos

23

1 representa una funcin anal o tica en el semiplano > . 2 Tenemos entonces que (s) = (s) (s) (s) log p = F (s). ps (ps 1) (s)

Examinemos ahora la analiticidad de (s). Por la Proposicin 7, teo 1 es anal tica en > 0. Despejando nemos que h(s) := (s) s1 (s) 1 (s) = + h(s) s1 y reescribiendo a h(s) de la siguiente forma h(s) = tenemos (s) = Haciendo G(s) = 1 + H(s) (s) = G(s) s1 (s 1)h(s) H(s) = s1 s1 con H(s) = (s 1)h(s),

1 (1 + H(s)). s1

con lo que (s) queda expresada como producto de dos funciones. Ahora tomamos la derivada logar tmica para obtener 1 G (s) (s) = . (s) s1 G(s)

Por lo tanto tenemos que (s) = 1 G (s) (s) F (s) = F (s). (s) s1 G(s)

De esta manera (s) se extiende meromrcamente a > 1/2. Esto o es, (s) es anal tica en > 1/2 excepto en s = 1 y tambin en aquellos e puntos en donde (s) se anula, pues estos puntos son polos para (s). Recuerde que s = 1 es precisamente en donde (s) tiene su polo. Probemos por ultimo que (1 + i ) = 0 para todo = 0, R. Por el principio de reexin de Schwarz () = (s), ver [3, pg. 155]. o s a

24

Jaime Ramos Gaytan

Por lo tanto, si es un cero de (s) entonces su conjugado tambin es e un cero. Supongamos que (s) tiene un cero de orden en s = 1 i y un cero de orden en s = 1 2i. Como (s) 1 = h(s) s1

es anal tica en > 0, entonces , son enteros no negativos. Por tanto

0

l (1 + ) = l m m

G (1 + ) l m 0 0 1 + 1 G(1 + ) l F (1 + ) = l m m = 1 0 0

pues el segundo y tercer l mites se anulan ya que G(1) = 1 y F (s) es anal tica en > 1/2. Adems a
0

l (1 + i ) = , m

l (1 + 2i ) = . m

Por la Denin 3, tenemos que o

2

r=2

4 4 (1 + + ir) = 2+r 2+r r=2 =

p

log p
p

p1++ir

4 1 log p 1+ ir 2+r p p r=2 log p p1+ 6+4 1 1 1 1 + i + 2i + 2i i p p p p

=
p

=2
p

log p (3 + 4 cos( log p) + cos(2 log p)) p1+ log p (1 + cos( log p))2 0 p1+

=4
p

ya que 3 + 4 cos + cos 2 = 3 + 4 cos + 2 cos2 1 = 2(1 + cos )2 0 . En resumen

2

r=2

4 (1 + + ir) 0. 2+r

 El Teorema de los Numeros Primos

25

Multiplicando por y tomando el l mite cuando 0 se obtiene

2

4 + 6 4 =
r=2

4 l (1 + + ir) 0 . m 2 + r 0

De donde 6 8 + 2 8. Puesto que es un entero no negativo entonces = 0. Por lo tanto (1 + i) = 0.

4.

El teorema de los n meros primos. u

En esta seccin se usarn las propiedades de la funcin (s), que se o a o obtuvieron en la seccin anterior, para nalmente demostrar el teorema o de los nmeros primos. u

Proposicin 11. Se cumple que la integral o gente.

1

(x) x dx es converx2

Para la prueba de la Proposicin 11 ser necesario el siguiente reo a sultado, cuya demostracin se dar al nal de este trabajo. o a Teorema 12 (Teorema Anal tico). Sea f : [1, ) R una funcin o integrable en cada intervalo nito [a, b] [1, ) y tal que f (x) = O(x). Sea s = + it. Para > 1 sea

g(s) =
1

f (x) dx. xs+1

Supongamos que en > 1 la funcin g(s) es anal o tica. Si g(s) admite una prolongacin anal o tica al semiplano cerrado 1 entonces
X X 1

l m

f (x) dx = g(1) . x2

Demostracin de la Proposicin 11. Por la Denicin 3 y por la frmuo o o o

26

Jaime Ramos Gaytan

la de adicin por partes, tenemos que para > 1 o (s) =

p

log p = ps

n=2

1 ((n) (n 1)) ns
n

=
n=2

1 1 (n 1) = s (n 1) ns (n 1)s n=2
n

dx xs+1

n1

= s
n=2 n1

(x) dx = s xs+1
1

(x) dx . xs+1

En resumen 1 (s) = s

(x) dx. xs+1

1

Por lo tanto 1 1 (s) = s s1

(x) x dx. xs+1

1

Puesto que la funcin o

1 1 (s) s s1 es anal tica en el semiplano cerrado 1, entonces el teorema anal tico implica que la siguiente integral converge

(x) x dx], . x2
1

Proposicin 13. La funcin (x) satisface o o (x) = 1. x x l m Demostracin. Supongamos lo contrario, es decir que existe un > 1 o tal que (x) x para x arbitrariamente grandes. Puesto que (x) es no decreciente, entonces (t) (x) x siempre que x t x. Por lo tanto
x

(t) t dt t2

x t dt. t2

 El Teorema de los Numeros Primos

27

Haciendo el cambio de variable t = xu tenemos

x

(t) t dt t2
1

u du > 0. u2

Pero esto contradice el criterio de Cauchy para la convergencia de integrales impropias. Por lo tanto no existe tal que (x) x para x arbitrariamente grande. De manera similar, si (x) x, para valores arbitrariamente grandes de x y < 1 entonces
x

(t) t dt t2

x t dt = t2

t dt < 0 t2

lo cual tambin contradice el criterio de Cauchy. e Ahora podemos usar la Proposicin 13 para demostrar el teorema o de los nmeros primos. Primero ntese que u o (x) =
px

log p
px

log x = (x) log x.

Por otra parte tenemos que para toda > 0 (x)

x1 px

log p

(1 ) log x
x1 px

= (1 ) log x (x) + O(x1 ) . Esto es (x) (x) (x) + O(x1 ). log x (1 ) log x

Multiplicando por log x y dividiendo entre x obtenemos (x) (x) log x (x) 1 log x . +O x x x (1 ) x Tomando l mite inferior en la primera desigualdad y l mite superior en la segunda desigualdad se obtiene que 1 l inf m
x

1 (x) log x (x) log x l sup m . x x 1 x

28

Jaime Ramos Gaytan

Haciendo 0 vemos que l inf m

x

(x) log x (x) log x = l sup m . x x x (x) = 1. x/ log x

Por lo tanto el siguiente l mite existe y es igual a 1, es decir,

x

l m

Esto termina la demostracin del teorema de los nmeros primos. o u

5.

Demostracin del teorema anal o tico.

Sea > 1. Por denicin, tenemos que o

g(s) =
1

f (x) dx = xs+1
0

f (ex ) x(s1) e dx. ex

Por lo tanto basta probar la siguiente versin del teorema anal o tico. Teorema. Sea f : [0, ) R una funcin acotada e integrable en cada o intervalo nito [a, b] [0, ). Sea z = x + iy. Para x > 0 sea

g(z) =
0

f (t)ezt dt.

Si g(z) se extiende anal ticamente al semiplano cerrado x 0 entonces

T T 0 T

l m

f (t) dt = g(0).

Demostracin. Para T > 0 la funcin gT (z) = 0 f (t)ezt dt es entera. o o Sea R un nmero real grande y sea la frontera de la regin {z = u o x+iy : |z| R, x }, en donde > 0 es un nmero sucientemente u pequeo (que depende de R). Puesto que g(z) es anal n tica en x 0 entonces g(z) es anal tica en el segmento de recta que une Ri con Ri. Para cada punto z de este segmento existe una vecindad Vz en donde g(z) es anal tica. Por lo tanto, tenemos una cubierta abierta del conjunto compacto {iy : R y R}. Extrayendo una subcubierta nita vemos que existe > 0 tal que g(z) es anal tica dentro y sobre el contorno .

 El Teorema de los Numeros Primos

1 0 1 0 111 000 11 00 1 0 111 000 11 00 1 0 111111 000000 111 000 11 00 1 0 111 000 1 0 111 000 1 0
y R x

29

Por el teorema integral de Cauchy tenemos g(0) gT (0) = 1 2i (g(z) gT (z)) ezt 1 + z 2 dz . R2 z

Sobre el semic rculo C+ = {x > 0} el integrando est acotado por a 2 2B R , en donde B = max{|f (t)| : t 0}, porque si z = x + iy entonces
T

|g(z) gT (z)| =
0

f (t)ezt dt
0

f (t)ezt dt

=
T

f (t)ezt dt B
T

|ezt |dt

= B
T

ext dt (recuerde que x > 0) .

eT x = B x

Por otro lado z = x + iy = Rei con [0, 2] ezT 1 + Pero como cos = z2 1 = exT R2 z x entonces R 1 1 R z = ei + ei + z R R R 2x 1 = |2 cos | = 2 . R R = 1+ 1 z z2 1 = exT + 2 . 2 z R z R

1 z + 2 z R

De esta manera tenemos ezT 1 + z2 1 2x = 2 exT . R2 z R

30

Jaime Ramos Gaytan

Por lo tanto la contribucin a g(0) gT (0) que proviene de la integral o sobre C+ est acotada en valor absoluto por B/R. En efecto a 1 2i (g(z) gT (z))ezT 1 +
C+

z 2 dz R2 z

1 BexT exT 2x R 2 x R2 B = . R Para la integral sobre C = {z = x + iy : x < 0} tomaremos a g(z) y gT (z) separadamente. Puesto que gT es entera, entonces el contorno de integracin C para la integral que involucra a gT puede o ser reemplazado por el semic rculo C = {z = x + iy : |z| = R, x < 0}. Entonces tenemos que analizar las dos integrales siguientes; I1 (T, R) 1 2i 1 I2 (T, R) = 2i = gT (z) ezT 1 +
C

g(z) ezT
C

z 2 dz , R2 z z 2 dz 1+ 2 . R z

Para analizar I1 , ntese primero que o

T T

|gT (z)| =
0

f (t)e
T

zt

dt B
0

|ezt |dt

B
xT

ext dt e . |x|

(recuerde que x < 0)

= B

Puesto que para z C se cumple que ezT 1 + en donde x < 0, entonces |I1 (T, R)| 1 B xT 2|x| xT B e 2 e R = 2 |x| R R. z2 1 2|x| = 2 exT , 2 z R R

Finalmente la integral restante sobre C tiende a cero cuando T z2 1 , pues el integrando es el producto de la funcin g(z) 1 + 2 , o R z que es independiente de T , mientras que la funcin ezT tiende a cero o

 El Teorema de los Numeros Primos

31

rpidamente y uniformemente en conjuntos compactos del semiplano a x < 0. Por lo tanto l |I2 (T, R)| = 0. m
T

Se concluye entonces que B l sup |g(0) gT (0)| 2 . m R T Como R es arbitrario, esto prueba el teorema.

Referencias
[1] P. T. Bateman. y H. G. Diamond, A hundred years of prime numbers, Amer. Math. Monthly 103 (9), (1996), 729741. [2] D. J. Newman, Simple analytic proof of the prime number theorem, Amer. Math. Monthly 87 (9), (1980), 693696. [3] E. C. Titchmarsh, The theory of functions, Second edition. Oxford Univ. Press, London, 1991. [4] D. Zagier, Newmans short proof of the prime number theorem, Amer. Math. Monthly 104 (8), (1997), 705708. [5] F. Zald var, La funcin zeta de Riemann, Miscelnea Matemtica o a a 36 (2002), 6382.