SMM

nea Matema
ti a 36 (2002) 63{82
Mis ela

La fun ion zeta de Riemann

Felipe Zald
var

Departamento de Matemati as
Universidad Autonoma Metropolitana-Iztapalapa
Apdo. Postal 55-534
09340 Mexi o, D.F.
Mexi o
fz xanum.uam.mx

Resumen
En 1859 Bernhard Riemann fue admitido omo miembro orrespondiente de la A ademia de Cien ias de Berln y uno de
sus primeros deberes era presentar un reporte de sus trabajos
mas re ientes. Para este reporte [4 Riemann eligio lo que sera
su uni o trabajo sobre teora de numeros, la distribu ion de los
numeros primos, donde la fun ion zeta, que ahora lleva su nombre tiene un papel importante. En este art ulo, ha emos una
le tura del art ulo de Riemann [4, re ordando las ideas involu radas sobre la fun ion zeta, hasta arribar a la formula ion de
la onjetura (hipotesis) de Riemann: los eros no triviales de la
fun ion zeta tienen parte real 1=2. En esen ia esto o upa menos
de tres paginas del reporte de Riemann, las uales tradu imos
en el apendi e, para bene io del le tor interesado.

Introdu ion
Pensando en la fun ion zeta de Riemann, re uerdo el ensayo de
Borges, Kafka y sus pre ursores in luido en [1, donde el punto prin ipal
es la tesis de que ada gran reador inventa a sus pre ursores, de tal
forma que uno lee a estos a luz de la obra a tual. Que Riemann no
des ubrio la fun ion que lleva su nombre es un he ho ono ido; que la
fun ion zeta no es la misma en Riemann que en sus pre ursores, tambien
63

64

Felipe Zald
var

es laro; que a partir de Riemann leamos las apari iones previas de

zeta omo manifesta iones primitivas de la misma, y que solo tienen
sentido a partir del uni o art ulo [4 que Riemann es ribio al respe to,
es exa tamente la tesis de Borges. Entre los pre ursores de la fun ion
zeta, bien puede in luirse el des ubrimiento por los griegos de la epo a
lasi a, al menos en la forma de paradojas, de que una suma innita,
una serie, pueda tener una suma nita, por ejemplo la paradoja de
Aquiles y la tortuga de Zenon de Elea que, segun narra Aristoteles,
puede resumirse as: un movil que esta en A no podra al anzar el punto
B, porque antes debera re orrer la mitad del amino entre los dos, y
antes, la mitad de la mitad, y antes, la mitad de la mitad de la mitad,
y as hasta el innito. Di ho on smbolos, si la distan ia entre A y B
la llamamos una unidad, Zenon preguntaba por la suma innita
1 1 1 1
+ + + +



2 4 8 16
No debe ausar asombro que este sea el primer ejemplo, entre los
pre ursores de Kafka, que Borges men iona en su ensayo, de tal forma que Aquiles o la e ha del eleati o son los primeros personajes
que apare en omo terminos de una serie innita. Sin dejar la Gre ia
lasi a, la proposi ion 35 del libro IX de los Elementos de Eu lides
esen ialmente muestra omo sumar ualquier progresion geometri a
1 + s + s2 + s3 + s4 +


=

1
X

sn

n=0

1
s

uya razon sea 0 < s < 1, el aso de la paradoja del eleati o orresponde a la razon 1=2. Mas aun, Arqumedes, en su Quadratura de la
Parabola de he ho al ula la suma de la progresion geometri a innita
de razon 1=4. Ha ia la mitad del siglo 14, en un libro que gozo de ierta
popularidad, Ni ola Oresme demostro que la serie armoni a
1 1 1
1+ + + +



2 3 4
diverge. En el siglo 17 ya se poda probar que la serie (formalmente
simetri a on respe to a la serie geometri a al inter ambiar s y n):
1
X
n=1

1
ns

=1+

1 1 1
+ + +



2s 3s 4s

onverge para s > 1, por ejemplo usando el riterio de la integral. Sin

embargo, el al ulo de su suma, para valores enteros de s  2, haba
eludido a los matemati os de la epo a.

65

 n zeta de Riemann
La fun io

El segundo pre ursor que quisiera men ionar es un texto, publi ado
en Bolo~na en 1650 por Pietro Mengoli, dedi ado a la teora de series
innitas, donde, en parti ular, onsidera la suma de los re pro os de
los numeros triangulares. Re ordemos que un numero triangular Tn
es el numero natural que resulta al ontar objetos, digamos piedras,
olo ados en un triangulo equilatero de base n:

T1

=1

T2

=3


T3




=6



T4







= 10

de tal forma que el n-esimo numero triangular es la suma

n(n + 1)
;
Tn = 1 + 2 + 3 + 4 +


+ n =
2
por lo que la serie onsiderada por Mengoli es:
1 1 1
1
1+ + + + +



3 6 10 15
uyo termino n-esimo es
2
2
2
an =
=
;
n(n + 1)
n
n+1
de donde se sigue que la suma par ial de los primeros n terminos es

 


 

2 2
2 2
2
2
2
2
Sn =
+
+


+
+
1 2
1 2
n 1
n
n
n+1
2
2
;
=
1 n+1
y as la serie innita onverge a:
1
X

2
= 2:
n(n + 1)
n=1

Mengoli ya saba que la serie armoni a diverge, y se pregunta por

lo que su ede al onsiderar la suma de los re pro os de los uadrados
de los numeros naturales:
1
X
1 1 1
1
1
1+ + + + +


=
;
4 9 16 25
k2
k =1

66

Felipe Zald
var

maravillandose por el he ho de que haya podido sumar los re pro os

de los numeros triangulares pero que no haya podido ha er lo mismo
on la suma de los re pro os de los uadrados, lo ual, segun el es ribe, \requiere la ayuda de un intele to mas ri o". As, el problema de
al ular la suma de la serie
1
X
1
1
1
1
1
1
 (m) := m + m + m + m + m + : : : =
1
2
3
4
5
km
k =1

para m  2 entero ya estaba planteado laramente y, a prin ipios del

siglo 18, varios matemati os, in luyendo a Ja ob Bernoulli, trataban de
entender ha ia donde onverga esta serie, un problema dif il debido a
su lenta onvergen ia. Daniel Bernoulli y Christian Goldba h inter ambiaron varias artas on resultados preliminares sobre  (2), que pronto
seran superados por L. Euler que, en este mar o on eptual, hizo su
primer onta to on la fun ion zeta y pronto mejorara los al ulos de
sus prede esores. Finalmente, en 1735, Euler anun io que  (2) =  2 =6,
un resultado que ontribuira estable er su prestigio omo matemati o
y que se difundio rapidamente entre los espe ialistas. Po o despues,
Euler anun iara la generaliza ion del al ulo anterior a  (2n), n  1
entero, y en los siguientes 10 a~nos, debido a rti as y dudas, de sus ontemporaneos y de el mismo, reviso y dio varias demostra iones de los
al ulos anteriores, de tal forma que ya pudo in luir, en su Introdu tio
in Analysin Innitorum de 1748, un tratamiento enteramente satisfa torio del tema. Es tambien relevante men ionar que, en un art ulo
presentado a la A ademia de San Petersburgo en 1739, Euler obtuvo
la des omposi ion de  (n) en terminos de un produ to que involu raba
a todos los primos; este es el punto donde, mas de siglo y medio despues, B. Riemann omienza su uni o art ulo [4 sobre la fun ion que
lleva su nombre y que el denoto por  (s), para s un numero omplejo.
Comen emos on el resultado de Euler:
Y
1
Teorema (Euler). Si s > 1 es un real, enton es  (s) =
:
1 p s
p primo
Demostra ion: Para ada primo

fa tor de Euler (1
r = p s < 1:

2 y s > 1, observemos que el

es la suma de la serie geometri a on razon
p

= 1 + p s + p 2s + p 3s +



1 p s
Ahora, hagamos variar al primo p entre 2  p  q , para q otro primo,
y multipliquemos las series (1) orrespondientes. El termino general de
(1)

67

 n zeta de Riemann
La fun io

este produ to es de la forma

2 e2
s3 e3
s


q
donde

=: n

eq s

:= 2e2
3e3


q eq ; (ej  0):

Observese que un numero n apare e de esta forma si y solo si sus
divisores primos son  q , y por el teorema fundamental de la aritmeti a
este n apare e solo una vez. Se sigue que
X
Y
1
=
n s;
1
p s
pq
pjn; pq
n

donde la suma es sobre aquellos enteros positivos n uyos fa tores primos son  q . Observemos ahora que en la suma del lado dere ho en
parti ular apare en todos los enteros del 1 al q ; se sigue enton es que
0<

1
X

n=1

y aqu

P1

1
X
n=1

n=q +1

= ql!1
m

1
X

<

p n; p q

n=q +1

! 0 uando q ! 1. Por lo tanto

X

p n; p q

= ql!1
m

1
pq

1
p

=
p

1
primo

ut

La expansion en produ to de Euler de  (s) guarda el teorema fundamental de la aritmeti a en una sola e ua ion. Esto muestra, de ini io,
la importan ia aritmeti a de la fun ion zeta.
La fun i
on zeta. En 1859 Bernhard Riemann fue elegido omo miem-

bro orrespondiente de la A ademia de Berln y en el reporte sobre sus

trabajos mas re ientes, que deba presentar a la A ademia, Riemann eligio a la distribu ion de los numeros primos, y en su reporte [4 omienza
itando el teorema de Euler sobre la des omposi ion de  (s) omo un
produ to. Ya de entrada Riemann onsidera a  (s) omo una fun ion
de una variable ompleja \siguiendo" el di tum futuro, (Hadamard),
de que en o asiones la ruta a una verdad del mundo real, pasa por el
mundo imaginario ( omplejo). As, dados s =  + it 2 C y k  1 un
entero, se tiene que, para Re(s) :=  la parte real de s 2 C :

jksj = j exp(s
log k)j = exp(Re(s)
log k) = k

Re(s)

68

Felipe Zald
var

y onse uentemente


n 
X
1
 
 ks 

n
X

1
k Re(s)

k =1

k =1


n 
X
1
 
 ks 


n 
X
 1 


 k 1+" 

por lo que, si Re(s)  1 + ", enton es

k =1

y as la serie

k =1

1
X

1
ns

n=1

onverge absoluta y uniformemente en fs 2 C : Re(s)  1 + "g y

por lo tanto dene una fun ion holomorfa en el semiplano fs 2 C :
Re(s) > 1g a la que Riemann denota por
 (s)

1
X
n=1

1
ns

y a la que se suele llamar la fun ion zeta de Riemann.

Una f
ormula integral para la fun ion zeta. El primer objetivo del

art ulo [4 de Riemann es obtener una formula integral para la fun ion
denida en el semiplano Re(s) > 1 mediante la serie anterior y,
usando esta formula, dedu ir que  (s) se extiende a una fun ion holomorfa en todo el plano omplejo ex epto por un polo simple en s = 1.
La demostra ion des ansa en una formula integral para la fun ion gamma de Euler que, para Re(s) > 0, esta denida por la integral impropia
onvergente
 (s)

(s) =

Z 1
0

x s 1

dx

Z 1

x s dx

la ual satisfa e las propiedades siguientes (vease [6):

(1) (s) es holomorfa en el semiplano Re(s) > 0.
(2) (s) admite una ontinua ion meromorfa a todo el plano omplejo
y sus uni os polos son simples en s = n, n  0 entero, y no tiene
eros.
(3) (s) satisfa e las e ua iones fun ionales siguientes:

69

 n zeta de Riemann
La fun io

(i) (s + 1) = s (s).

(ii) (s) (1 s) =
.
sen(s)
(4) (s) tiene los valores espe iales siguientes:
(i) (1) = 1, lo ual se sigue dire to de la deni ion.
(ii) (n + 1) = n!, n  1 entero, se sigue apli ando 3(i) y 4(i).
Para rela ionar la fun ion gamma on la fun ion zeta, Riemann
omienza on la deni ion de gamma:
(s) =

Z 1

x s dx

para Re(s) > 1

y ha e la substitu ion x 7! nx, para n  1 entero, lo ual da la e ua ion

(s) =

Z 1

nx

i.e.,
(s)

s ndx

(nx)
1

ns

=n

nx

Z 1

Z 1

nx s dx

nx s dx

y luego sumando sobre n  1 e inter ambiando la integral y la suma,

gra ias al teorema de Fubini, se obtiene
(s)  (s) = (s)

1
X
n=1

1
ns

y usando el he ho de que

1 Z 1
X

n=1

1
X

nx s dx

= (r

1)

n=1

(2)

(s)  (s) =

Z 1
0

1
ex

s dx

x
1

Z 1X
1
0

n=1

nx s dx

on r = ex se sigue que

Z 1 s
x
0

ex

dx:

La igualdad (2) anterior, que se obtuvo usando opera iones elementales a partir de la fun ion exponen ial, bien podra haber sido obtenida
antes de Riemann, para s > 0 real. Sin embargo, en este punto Riemann ya saba omo denir la integral en (2) para una variable ompleja s, reemplazando la integral impropia de (2) por una integral de
lnea alrededor del punto de rami a ion del integrando. Veamos omo
pro ede Riemann: pongamos
z
1
F (z ) :=
y G(z ) := z
z
1 e
e
1

70

Felipe Zald
var

y observe que F ( z ) = zG(z ). Las fun iones F (z ) y G(z ) son meromorfas en C on polos en z = 2ik, k 2 Z . Fijemos ahora un real " tal
que 0 < " < 2 y sea
C

= (1; " + C" + ["; 1)

la traye toria dada por la semire ta L1 de 1 a ", luego sobre la ir unferen ia C" : z = " it , 0  t  2 , en sentido negativo y nalmente
sobre la semire ta L2 de " a 1:

L!
L
2

 
0 "

XYZ[
C" _^]\

Consideremos ahora la integral, para Re(s) > 1:

Z
C

G(z )z

donde z s

s 1

dz

:= e(s

L1

G(z )z

1) log z

L1

L2

G(z )z

s 1

G(z )z

s 1

dz

dz

"

G(t)t

s 1

1
Z 1

2is

"

ya que, en L2 , z = ts 1 = e(s
I (")

:=

C"

G(z )z

2

i
0

s 1

dz

"s G("e

ya que para z = "e it , dz =

Z

G(z )z

s 1

dz

L2

G(z )z

s 1

dz

Z
C"

G(z )z s

dz;

log t
para z = t 2 (1; ")
log t + 2i para z = t 2 ("; 1):

Se tiene que:
Z

dz

, para el valor prin ipal de log z dado por

log z =

s 1

Z 1

= [e

"
2is

dt

G(t)t

s 1

1)[log t+2i

=
it

)e

2

sit

dt

it

dt.

=e

"

1 2is

1 (s

2i

1)(

dt;

G(t)ts

= ts

it)

dt;

1 2is

"ie

it

,y

)dt

Se sigue que

G(t)t

dt + e

2is

G(t)ts

s 1

Z 1
"

Z 1

2is

)"s

dt;

it

"ie

G(t)ts

"

= ts

G("e

Z 1

Z 1
"

G(t)ts

dt + I (");

dt + I (")

71

 n zeta de Riemann
La fun io

y omo Re(s) > 1, enton es

R la integral I (") ! 0 uando " ! 0. Finalmente, omo la integral C G(z )z s 1 dz no depende de ", pasando al
lmite uando " ! 0, se tiene que
Z

G(z )z

s 1

= [e

2is

dz

Pongamos ahora
H (s)

Z 1
0

F (z )z s

G(t)ts

dz
z

dt:

La integral que dene a H (s) onverge absolutamente para toda s 2 C

y por lo tanto dene una fun ion entera. Es laro que H (s) no depende
del valor " entre 0 y 2 .
Ha iendo el ambio de variable z 7! z y notando que si z = jz jei ,
enton es z = jz jei i y por lo tanto
(

z )s

=
=

e(s
zs

y as, omo bajo z 7!

H (s)

jzj

i )

is i

F ( z )( z )
F ( z )z s
is

is

dz
z

1 dz

F ( z )( z )s

is

e
e

is

Z
C

H (s)

[e

=
=

G(z )z

C
is

is

2i sen(s)

s 1

Z 1
0

dz

G(t)t

Z 1 s
t

s 1

is

dt

[e

2is

= [e

is

Z 1
0

et

dt

de donde se sigue que

H (s)

= 2i sen(s) (s) (s) =

2i (s)
;
(1 s)

1 dz

dz:

G(t)ts

is

1
2i sen(s) (s) (s) por (2);
0

1 dz

F ( z )z s

G(z )z s

As, para Re(s) > 1, se tiene que

is

i )

1)(

7! C , enton es

jzje(s

z)

1) log

is s 1

zG(z )z s

= e(s

se tiene que
s 1d

ZC

1)(log

dt

Z 1 s
t
0

et

dt

72

Felipe Zald
var

por la propiedad 3(ii) de . Multipli ando por i y despejando se obtiene

 (s)

2

(1

s)

(
C

z )s

dz

ez

Observe ahora que la formula anterior es valida para toda s 2 C ,

ex epto s = 1, ya que la integral que dene a H (s) onverge para todos
los valores de s porque ez re e mas rapido que z s , uando z ! 1,
y la onvergen ia es uniforme en dominios ompa tos; se sigue que
H (s) es holomorfa. Por otra parte, (s
1) es meromorfa
P1 en C s on
polos s = 1; 2; 3; : : : y omo, para Re(s) > 1,  (s) = n=1 1=n no
tiene polos, enton es la integral H (s) debe tener eros en s = 2; 3; 4; : : :
que an elan los polos orrespondientes de (s 1) en esos valores.
Finalmente, para s = 1 se tiene que lms!1  (s) = 1. Resumiendo, la
formula integral para  (s) anterior muestra que  (s) se extiende a una
fun ion holomorfa en C n f1g y tiene un polo simple en s = 1.
La e ua i
on fun ional. El segundo objetivo del art ulo de Riemann

[4 es mostrar que  (s) satisfa e una e ua ion fun ional que rela iona
 (s) on  (1
s), donde esta u
ltima expresion tiene sentido ya que
 (s) se extiende a todo el plano omplejo omo mostramos antes. Para
obtener la rela ion deseada, onsideremos las dos traye torias siguientes


?

 6

0
mi 6
2mi

Cn

- 1

- 1

XYZ[
_^]\
0

donde el uadrado tiene verti es (2n +1)  (2n +1)i, la ir unferen ia tiene radio " < 2 y las semire tas horizontales re orren el semieje
real de +1 a " y de " a +1 omo se indi a. Notese que C , ambiando la
orienta ion de C , es la traye toria que se uso para denir a la integral
H (s) anteriormente. Consideremos ahora el i lo Cn C y observemos
que este i lo rodea una sola vez a ada uno de los puntos 2mi, para
1  m  n y es laro que la fun ion f (z ) = ( z )s 1 =(ez 1) tiene polos
simples on residuos (2mi)s 1 en ada uno de estos puntos. Por el

73

 n zeta de Riemann
La fun io

teorema del residuo se sigue que

1
2i

z )s

ez

Cn C

n
X

dz

m=1
n
X

m=1
n
X

2mi; Cn + C )Res(f (z); 2i)

n(

( 2mi)s 1 + (2mi)s

(2m )s

( i)s 1 + (i)s

m=1

y observamos que i = ei=2 y



( i)s 1 + (i)s

= ei(s

=e

i=2

, por lo que

1)=2

+e

i(s 1)=2

= 2 os ( (s 1)=2)=

= 2 sen(s=2)
y por lo tanto
1
2i

()

(
Cn C

z )s
ez

dz

n
X

ms

(2 )s 1 2 sen(s=2)

m=1

= 2(2 )s 1 sen(s=2)

n
X
m=1

1
m1

Es ribamos ahora la urva Cn = Cn0 + Cn00 , donde Cn0 es el uadrado

y Cn00 son las semire tas de +1 a (2n + 1) . Para omenzar observemos
que, en Cn0 , jez 1j  una onstante que no depende de n. Por otra
parte, en Cn0 , j( z )s 1 j esta a otada por un multiplo de n 1 , donde
s =  + it. Se sigue que
Z




(
Cn0

ez

z )s



dz 





(
long(C 0 )sup 
n

 ez

z )s

long(Cn0 )( onstante) n

: z 2 Cn0

Kn ;

la ultima desigualdad porque la longitud del uadrado long(Cn0 ) =

16n + 8 y as K es una onstante que no depende de n tambien. De la
desigualdad anterior, si la parte real  de s es tal que  < 0, enton es
Kn ! 0 uando n ! 1. Se sigue que la integral anterior tiende a 0
uando n ! 1. En forma similar se prueba que la integral sobre Cn00
tiende a 0 uando n ! 1. Por lo tanto
Z
Z
1
( z )s 1
1
( z )s 1
1
lm
dz =
dz =
H (s):
z
n!1 2i C C ez
1
2i C e 1
2i
n

74

Felipe Zald
var

As, para el lado izquierdo de () se tiene que

1
l

m
n!1 2i

(
Cn C

z )s
ez

1
dz =
1
2i
1

(
C

z )s

ez

dz

1
H (s)
2i

y, para el lado dere ho de (),

lm 2(2 )s 1 sen(s=2)
n!1

n
X
m=1

1
s

m1

= 2(2 )s 1 sen(s=2) (1

s);

de donde se sigue que

1
H (s) = 2s  s 1 sen(s=2) (1
2i
Ahora, omo probamos antes,
H (s)

s):

2i (s)
;
(1 s)

que, junto on lo anterior nos da

 (s)

H (s)

(1

s)

= 2s  s 1 sen(s=2) (1 s) (s 1)
2i
o, usando la identidad (s) (s 1) = = sen(s), la igualdad anterior
se puede rees ribir omo
 (1

s)

= 2(2 )

(s) os(s=2) (s);

y hemos as obtenido la e ua ion fun ional de la fun ion zeta:

Teorema (Riemann). La fun ion zeta es una fun ion meromorfa en
C , on un u
ni o polo simple en s = 1, y satisfa e la e ua ion fun ional
 (1

s)

= 2(2 )

(s) os(s=2) (s):

Valores espe iales de la fun ion zeta. Por la des omposi ion en

produ to de Euler, no debiera ser una sorpresa que al evaluar la fun ion zeta en iertos enteros los resultados tengan signi ado aritmeti o
espe ial. Comenzamos observando que la fun ion
f (z )

:= F (

z)

= zG(z ) =

z
ez

75

 n zeta de Riemann
La fun io

es una fun ion meromorfa on polos en z = 2ik, k 2 Z n f0g, por lo

que tiene una expansion en una ve indad de z = 0, de he ho en el dis o
jzj < 2, de la forma
f (z )

1
X
Bn

n!

n=0

=1

1
X
Bn
n=1

n!

zn

y notamos ahora que z

+ es una fun ion par, y por lo tanto en
e
1 2
la expansion anterior los oe ientes Bn = 0 para toda n > 1 impar.
Algunos valores de los numeros Bn , llamados numeros de Bernoulli, son
B0 =1; B1 =

1=2;

B2 =1=6; B4 =

Teorema. Para todo entero

 (1

n)

n>

B6 =1=42; B8 =

1=30; et .

0 se tiene que

1 Bn

= ( 1)n

1=30;

para n > 0 entero:

Demostra ion: Para la fun ion

f (z ) que dene a los n
umeros de
Bernoulli, observese que (n 1)!f (z )z n 1 tiene un polo en z = 0 uyo
residuo se al ula fa ilmente

Resz=0 (n 1)!f (z )z

n 1

= oe iente de z

en (n 1)!

1
X
Bk
k =1

=
as basta probar que

Bn
n

k!

zk

n 1

1
 (1 n)
Resz=0 f (z )z
:=
f (z )z n 1 dz =
;
2i jzj="
(n 1)!
para 0 < " < 2 y donde el r ulo jz j = " esta orientado positivamente.
Re ordemos ahora la fun ion
n 1

H (s)

C"

F ( z )z s

1 dz

que apare io en el al ulo de la formula integral para zeta:

H (s) (1 s)
()
 (s) =
;
2i

76

Felipe Zald
var

de tal forma que la integral que apare e en el al ulo del residuo anterior
es pre isamente el valor de H (s) en s = 1 n, por lo que
Z
1
1
n 1
F (z )z n 1 dz =
H (1 n)
Resz=0 F (z )z
=
2i C"
2i
1 2i  (1 n)
=
por ()
2i
(n)
 (1 n)
;
=
(n 1)!
omo se quera.
ut
Usando el teorema anterior y la e ua ion fun ional obtenida por
Riemann, para s = 2n on n  1, se obtiene la igualdad


2n
2n 1 B2n
2n
( 1)
=  (1 2n) = 2(2 )
(2n) os
 (2n);
2n
2
de donde se sigue que
( 1)n 1 (2 )2n B2n
 (2n) =
2
(2n)!
que re upera la formula de Euler men ionada previamente, en parti ular, si n = 1, omo B2 = 1=6, se obtiene que  (2) =  2 =6. Notese que
esta formula de Euler no se ve fa il de dedu ir de la formula integral
para zeta que Riemann obtuvo al prin ipio; quiza el problema de derivar
la formula de Euler llevo a Riemann al des ubrimiento de la e ua ion
fun ional para la fun ion zeta.
Los eros triviales de zeta. De la igualdad
 (1

n)

= ( 1)n

1 Bn

para n > 0 entero

y omo los numeros de Bernoulli de ndi e impar > 1 son ero, se sigue
que
0 =  ( 2) =  ( 4) =  ( 6) =


=  ( 2n); para toda n  1:
A los numeros de la forma
triviales de la fun ion zeta.

2n,

1, se les llama los eros

Los otros eros de zeta. De la expansion en produ to de Euler

 (s)

=
p

1
primo

1
p

Re(s) > 1;

77

 n zeta de Riemann
La fun io

se sigue que  (s) no tiene eros en el semiplano Re(s) > 1. Ahora,

omo (s) no tiene eros, de la e ua ion fun ional de la fun ion zeta,
des ontando los eros triviales se sigue que s es un ero de  (s) si y
solo si 1 s lo es, y onse uentemente  (s) tampo o tiene eros en
el semiplano Re(s) < 0, y por lo tanto todos los eros no triviales de
 (s) est
an en la franja 0  Re(s)  1 y, mas aun, estos eros estan
distribuidos simetri amente on respe to a la re ta verti al Re(s) =
1=2.
En este punto del art ulo de Riemann, al nal de la ter era pagina
(de un total de 8), onjetura que todos los eros no triviales de  (s)
estan en la re ta Re(s) = 1=2. Esta es la elebre hipotesis de Riemann,
de la ual el mismo di e, en el art ulo en uestion, que \le gustara
tener una demostra ion rigurosa, pero que tiene que ponerla a un lado,
despues de unos intentos vanos, porque no es ne esaria para su objetivo
inmediato", a saber la demostra ion de su formula para el numero de
primos menores que una antidad x dada.
Hadamard demostro que  (s) no tiene eros en la re ta Re(s) = 1 y,
por la e ua ion fun ional, onse uentemente tampo o tiene eros en el
eje Re(s) = 0. De he ho, Hadamard y de la Vallee-Poussin demostraron,
independientemente, en 1896, que la ley de distribu ion de primos es
equivalente a la arma ion de que la fun ion zeta de Riemann no tiene
eros on parte real igual a 1, y onse uentemente obtienen el teorema
de los numeros primos.
En 1914, G. Hardy [3 demostro que  (s) tiene un numero innito
de eros en la re ta Re(s) = 1=2.
Observa i
on. En [4 Riemann da dos demostra iones de la e ua ion

fun ional de la fun ion zeta y aqu hemos reprodu ido la primera de
ellas. Uno podra preguntarse por que Riemann ha e esto en un art ulo
de orte resumido. Una posible respuesta sera la siguiente: la primera
demostra ion, que hemos reprodu ido arriba, tiene la ventaja de que
en el trans urso de la misma se obtiene una formula integral para la
fun ion zeta que despues se usa para re uperar los al ulos de Euler para
 (2n). La segunda demostra i
on no muestra ninguna bondad inmediata,
y parte de la misma idea ahora on la substitu ion x 7! n2 x en la
formula integral para la fun ion gamma de Euler, para despues obtener
la igualdad


(s) (2s) =

Z 1X
1
0

n=1

n2 x s dx

78

Felipe Zald
var

donde el integrando proviene de la serie theta de Ja obi

 (z )

:=

2Z

in2 z

=1+2

ein z ;

n=1

es de ir,

1
X

Z 1

dx
1
((ix) 1)xs
2
x
0
y ha iendo la substitu ion s 7! s=2 esto se puede es ribir omo


(s) := 

(s) (2s) =

s=2

(s=2) (s) =

Z 1
0

1
((ix)
2

1)xs=2

dx
x

y enton es Riemann nos re uerda, itando a Ja obi (que a su vez ita

a Poisson) que la fun ion theta de Ja obi representa una fun ion holomorfa en el semiplano fz 2 C : Im(z ) > 0g y ademas satisfa e la
e ua ion fun ional:
p
 ( 1=z ) = z=i  (z ):
De aqu Riemann dedu e la e ua ion fun ional de la fun ion zeta
en la forma (s) = (1 s). Desde un punto de vista on eptual esta
es una demostra ion mas satisfa toria ya que nos di e que la fun ion
zeta satisfa e la e ua ion fun ional orrespondiente porque es la transformada de Mellin de una fun ion modular, a saber la fun ion theta
de Ja obi, una idea que resonara en la teora de numeros en los a~nos
siguientes, tanto en el siglo 19 omo en el siglo 20, hasta ulminar on
la demostra ion de la onjetura de Fermat a nales del siglo pasado.

Referen ias
[1 J. L. Borges, Kafka y sus pre ursores, 107-109, en Otras inquisi iones. Alianza Editorial-Eme e Editores, Madrid, 1976.
[2 J. Hadamard, Sur la distribution des zeros de la fon tion  (s) et ses
onsequen es arithmetiques. Bull. So . Math. Fran e 24, 199-220
(1896).
[3 G. H. Hardy, Sur les zeros de la fon tion  (s) de Riemann. C.R.
A ad. S i. Paris, 158, 1012-1014, 1914.

[4 B. Riemann, Uber
die Anzahl der Primzahlen unter einer gegebenen Grosse, in luido en Gesammelte Mathematis he Werke, Dover,
New York, 1953, 145-155.

 n zeta de Riemann
La fun io

79

[5 A. Weil, Number theory: An approa h through history from Hammurapi to Legendre. Birkhauser Verlag, Boston, 2001.
[6 E. Whittaker, & G. Watson, A Course of Modern Analysis. 4th
Ed. Cambridge University Press, Cambridge, 1950.
Apendi e. Ofre emos a ontinua ion una tradu ion de las primeras

tres paginas del art ulo [4 de Riemann de tal manera que el le tor
podra veri ar que tan er a seguimos el original de Riemann en la
le tura que hi imos en nuestra exposi ion.

Sobre el n
umero de primos menores que una
antidad dada1
Bernhard Riemann

Creo que la mejor manera de expresar mi gratitud por el honor

que la A ademia [de Berln me ha onferido al nombrarme uno de sus
miembros orrespondientes, es usar el privilegio que esta membresa
onlleva para omuni ar una investiga ion sobre la distribu ion de los
numeros primos, un tema que atrajo la aten ion de Gauss y Diri hlet
durante mu hos a~nos.
En esta investiga ion tomare omo punto de partida la observa ion
de Euler de que el produ to
Y
X 1
1
=
;
1
p s
ns
p
n
donde p re orre todos los numeros primos y n re orre todos los numeros
naturales. A la fun ion de una variable ompleja s que estas dos expresiones denen uando onvergen, la denotare por  (s). Estas expresiones
onvergen solamente uando la parte real de s es mayor que 1; sin embargo es fa il en ontrar una expresion de esta fun ion que siempre es
valida. [En efe to, usando la e ua ion
Z 1
(s)
e nx xs 1 dx =
s
0


de F. Zaldvar de las primeras paginas de Uber
die Anzahl der
Primzahlen unter einer gegebenen Gr
osse, in luido en Gesammelte Mathematis he
Werke, reimpreso por Dover, New York, 1953, 145-155.
1 Tradu i
on

80

Felipe Zald
var

uno en uentra que

(s) (s) =

Z 1 s
x

dx

ex

Si ahora uno onsidera la integral [de lnea

Z

x)s
ex

dx

de +1 a +1 en el sentido positivo a lo largo de la frontera de un

dominio que ontiene al 0 pero ninguna otra singularidad del integrando
en su interior, enton es fa ilmente se ve que esta integral es igual a
(e

is

is

Z 1 s
x
0

dx

ex

si en la fun ion multivaluada ( x)s 1 = e(s 1) log( x) el logaritmo de x

esta determinado de tal manera que es real para valores negativos de
x. As,
Z 1
( x)s 1 dx
2 sen(s) (s) (s) = i
ex 1
1
donde la integral se denio arriba.
Esta e ua ion dene la fun ion  (s) para todos los omplejos s y
muestra que es univaluada y nita para todos los valores de s diferentes
de 1 y que se anula uando s es un entero par negativo.
Cuando la parte real de s es negativa, la integral se puede tomar, en
lugar de en el sentido positivo a lo largo de la frontera del dominio dado, en el sentido negativo a lo largo de la frontera del omplemento de
este dominio porque en este aso [ uando Re(s) < 0 la integral sobre
valores on modulos innitamente grandes es innitamente peque~na.
Pero, dentro de este dominio omplementario las uni as singularidades
del integrando son los multiplos enteros de 2i, y por lo tanto la integral es igual a la suma de las integrales tomadas alrededor de estas
singularidades en el sentido negativo. Como la integral alrededor del
valor n2i es ( n2i)s 1 ( 2i), esto nos da
2 sen(s) (s) (s) = (2 )s

ns

[( i)s 1 + is 1 ;

y por lo tanto [nos da una rela ion entre  (s) y  (1 s), la ual, por
las propiedades ono idas de la fun ion , se puede formular omo la
arma ion de que
(s=2) s=2 (s)

81

 n zeta de Riemann
La fun io

permane e invariante uando s se reemplaza por 1 s.

Esta propiedad de la fun ion me motivo a onsiderar la integral
P
(s=2) en lugar de la integral (s) en el termino general de n s ,
lo ual lleva a una expresion muy onveniente de la fun ion  (s). De
he ho,
Z 1
s
1
2
s=2
(s=2)
=
e n x x 2 1 dx;
s
1

de tal forma que si uno pone

1
X

n2 x

= (x)

n=1

se sigue que
(s=2)

s=2

 (s)

Z 1

o, ya que
2 (x) + 1 = x

1=2

se tiene que
(s=2)

s=2

 (s)

[2 (1=x) + 1
Z 1
1

1
+
2
=

s(s

(x)

1)

x 2 (s

dx

(Ja obi, Fund., p. 184);

s
x2

(x)x 2

dx +

x2

(x)

(1=x)x 2 (s

3)

Z 1


s

x2

3)

dx

dx
1

(1+s)=2

dx:

Si ahora ponemos s = 21 + ti y
s

1 (s 1)

s=2

 (s)

Z
1 1
(t + )
(x)x
4 1

3=4

de tal forma que

1
 (t) =
2
o tambien
 (t)

=4

Z 1
d[x3=2 0 (x)
1

dx

1=4

=  (t)
t

os( log x)dx

2
t

os( log x)dx:

2

Esta fun ion es nita para todos los valores nitos de t y se puede
desarrollar omo una serie de poten ias en t2 que onverge rapidamente.

82

Felipe Zald
var

Ahora,
valores de s on parte real mayor que 1, log  (s) =
P omo para
log(1 p s) es nito, y ya que lo mismo es valido para los otros
fa tores de  (t), enton es la fun ion  (t) se anula solo uando la parte
imaginaria de t esta entre 12 i y 12 i. El numero de ra es de  (t) = 0
uya parte real esta entre 0 y T es aproximadamente
=
R

2

log

2

2

porque la integral d log  (t) tomada en el sentido positivo alrededor

del dominio que onsiste de todos los valores uyas partes imaginarias
estan entre 21 i y 12 i y uyas partes reales estan entre 0 y T (salvo una
fra ion de orden de magnitud 1=T ) es igual a [T log(T =2 ) T i y,
por otro lado, es igual a 2i ve es el numero de ra es de  (t) = 0 en
el dominio. De he ho, se prueba que hay aproximadamente el mismo
numero de ra es reales2 dentro de esta frontera y es muy posible que
todas las ra es sean reales.3 Me gustara tener una demostra ion rigurosa de esto, pero he puesto a un lado su busqueda despues de algunos
intentos vanos, ya que no es ne esaria para el objetivo inmediato de mi
investiga ion.

2 En

una arta itada en las observa iones al nal del art ulo de Riemann, por los
editores de sus obras ompletas, en la pagina 149, Riemann di e que esta arma ion
no ha podido probarla. Hasta la fe ha permane e onjetural.
3 La parte enfatizada (por el tradu tor) es, por supuesto, la 
elebre hipotesis de
Riemann.