Nmeros Primos

y la

Hiptesis de Riemann

Leonardo Damian Cappelletti

2008

Objetivo del texto

El objetivo de este breve texto es ser un nexo entre las muchas

explicaciones elementales de la hiptesis de Riemann y los Nmeros
Primos, con los complejos y elaborados libros escritos por reconocidos
matemticos. Se ha intentado mantener una lnea simple entre el
concepto de nmero primo y los desarrollos realizados por Riemann
hasta su conocida Hiptesis, y la consecuencia de sta sobre la teora de
nmeros. Para explicaciones ms exhaustivas o desarrollos
contemporneos, se puede consultar la bibliografa citada al final del
presente texto y a partir de stas consultar otras que pueden
proporcionar ms claridad sobre el tema.

ndice

1 Introduccin a los Nmeros Primos.4

2 La funcin Zeta y los Nmeros Primos6

3 La funcin Contadora de Primos y los Nmeros Primos....11

4 La funcin Contadora de Primos y la funcin Zeta.18

5 La funcin Contadora de Primos de Riemann.22

6 Formas integrales de la funcin Zeta...20

7 La ecuacin funcional..35

8 La funcin Xis..39

9 La funcin Xis y la representacin en productos infinitos..43

10 Relacin entre la ceros y la funcin Contadora de Primos46

11 Determinacin de los ceros no triviales de la funcin zeta61

12 Comentarios finales73

Captulo 1
Introduccin a los Nmeros Primos
Desde hace 2500 aos los nmeros primos atraen la atencin de matemticos y aficionados de
todo el mundo, se los califica de misteriosos e indomables ya que no parece existir alguna
regla que determine sus ubicaciones entre los dems nmeros naturales.
Se define un nmero primo como aquel nmero natural que es solo divisible por si mismo y
por la unidad, por definicin el nmero 1 no se considera nmero primo.
El concepto de nmero primo ya se conoca en la antigua Grecia en la escuela de Pitgoras
(hace 2500 aos) y un poco despus en las obras de Euclides se incluye la demostracin de la
existencia de una cantidad infinita de estos nmeros.
Un antiguo y efectivo mtodo para hallar nmeros primos es la criba de Eratstenes, que
consiste en una tabla de nmeros naturales dispuestos en columnas, primero se tachan todos
los mltiplos de 2, luego se tachan todos los mltiplos del siguiente nmero no tachado
anteriormente y as sucesivamente, los nmeros que quedan sin tachar son los nmeros
primos.

Tabla 1: Criba de Eratstenes

Para saber si un nmero es primo basta dividirlo por todos los nmeros naturales menores a la
raz cuadrada de dicho nmero y si no se encuentra ningn divisor entonces el nmero es
primo. Si se encuentra un divisor o si el nmero es par y mayor que 2 se dice que es un
nmero compuesto. Los nmeros primos son importantes porque son los tomos de las
matemticas, ya que todos los dems nmeros se construyen a partir de ellos en forma de
productos.

Figura 1: Ejemplo de factorizacin

A medida que avanzamos en la recta numrica los nmeros primos son cada vez ms escasos
y la distancia entre primos consecutivos se va haciendo cada vez ms grande, a estas
distancias que son regiones libres de primos se las denomina lagunas o desiertos.

Tabla 2: Nmeros primos entre el 1 y el 1000.

Captulo 2
La funcin Zeta y los nmeros primos
Fue Euler en su publicacin de 1794 Introductio in analysin infinitorum, quien demostr la
relacin entre la funcin zeta y los nmeros primos, que ms tarde se conocera como
producto de Euler.
Se redefine la funcin zeta como la funcin armnica generalizada.

1
s
n =1 n

( s) =

(2.1)

Expandiendo, nos queda la sumatoria infinita

( s) = 1 +

1 1 1 1 1
1
+
+
+
+
+
+
2 s 3s 4 s 5 s 6 s 7 s

(2.2)

si se multiplican ambos miembros de (2.2) por 1 2 nos queda

1
1
1
1 1
1
1
( s ) = s + s + s + s + s + s +
s
2
2
4 6 8 10 12

(2.3)

ahora si se resta (2.3) a (2.2)

(1

1
1 1 1 1
1
1
)

(
s
)
=
1
+
+
+
+
+
+
+
2s
3s 5s 7 s 9s 11s 13s

si repetimos el procedimiento de multiplicar ambos miembros de (2.4) por 1 3

(2.4)
s

1
1
1 1
1
1
1
1
1
(1

(
s
)
=
+
+
+
+
+
+
+
3s
2s
3s 9s 15s 21s 27 s 33s 39s

(2.5)

y de igual forma si se resta (2.5) a (2.4)

(1

1
1
1 1
1
1
1
1
)(1 s ) ( s ) = 1 + s + s + s + s + s + s +
s
3
2
5 7 11 13 17 19

Este procedimiento se puede seguir aplicando para los infinitos trminos que nos van
quedando y vemos que el trmino de la derecha se va cribando en los infinitos nmeros
primos.

 (1

1
1
1
1
1
1
1
)(1 s )(1 s )(1 s )(1 s )(1 s )(1 s ) ( s ) = 1
s
17
13
11
7
5
3
2

Finalmente despejando la funcin zeta nos queda

( s) =

1
(1

1
1
1
1
1
1
1
)(1 s )(1 s )(1 s )(1 s )(1 s )(1 s )
s
17
13
11
7
5
3
2

Expresndolo en forma compacta, nos queda la relacin entre la funcin zeta y los nmeros
primos.

1
( s) = 1 s
p
p

(2.6)

El ndice p bajo el smbolo multiplicatoria indica que esta ltima corre sobre los infinitos
nmeros primos.
Es notable que la funcin zeta expresada como una sumatoria sobre los nmeros naturales
pueda ser expresada como un producto sobre los nmeros primos, igualando (2.1) con (2.6)
nos queda

1
1
n s = 1 p s

n =1
p

Otra forma de expresar la funcin zeta es teniendo en cuenta la serie convergente

p ks =1 + p s + p 2s + p3s + p 4 s + p5s + p ks = 1 p s

k =0

que al reemplazarla en (2.6) queda representada como

( s) = p ks

(2.7)

p k =0

Cabe hacer notar que ya se conocan algunos valores particulares de la funcin zeta en
trminos de series, ya en el ao 1350 Oresme demostr que la serie armnica (1) = es
divergente, con lo cual se confirma por el producto de Euler que existen infinitos nmeros
primos, y tambin el mismo Euler en 1737 demostr que la serie

(2) = 2 6 .

Figura 2: Representacin de la funcin zeta para valores reales de s.

Pasaron ms de 100 aos hasta que Riemann se interes por la funcin zeta, en ese entonces
conocida como funcin zeta de Euler, y tuvo la idea de extender la funcin zeta a todo el
plano complejo (excepto en el punto singular s = 1 ) por lo cual obtuvo valores adicionales de
la funcin y por medio de ellos intent probar el teorema de los nmeros primos en su
manuscrito Ueber die anzahl der primzahlem unter einer gegebenen Grsse, (Sobre el
nmero de primos menores que una magnitud dada).
En dicho manuscrito Riemann determin que la distribucin de los nmeros primos estaba
ntimamente relacionada con la distribucin de los ceros no triviales de la funcin zeta, y cuya
localizacin se encuentra en la franja critica comprendida entre 0 < Re( s ) < 1 .
Riemann para avanzar en sus estudios conjetura que la parte no trivial de la funcin zeta es
1/ 2 , con lo cual los ceros no triviales deberan encontrarse en la lnea critica s = 1 / 2 + it ,
ya que no era esencial para el propsito de su estudio, Riemann no dio una demostracin de la
misma.
En 1896 Hadamard y de la Valle Poussin probaron independientemente que ningn cero
poda estar sobre la recta Re( s ) = 1 , esta y otras propiedades de los ceros no triviales
demostradas por Riemann prueban que dichos ceros estn dentro de la banda crtica.
En 1914 Hardy demuestra que existe un nmero infinito de ceros sobre la lnea crtica con
Re( s ) = 1 / 2 , sin embargo todava es posible que exista un nmero infinito de ceros no
triviales que se encuentren en algn otro lugar dentro de la banda crtica, posiblemente la
mayora de ellos.
En la figura 3 se pueden apreciar dos ceros triviales sobre el eje Re( s ) y 20 de los ceros no
triviales sobre el eje Im( s ) ; de estos ltimos, 10 tienen parte imaginaria positiva y los otros
10 tienen parte imaginaria negativa, la distribucin de los ceros no triviales en ambos
cuadrantes es simtrica respecto al eje real.

Figura 3: Representacin de

(s) .

Ejemplo 1: La funcin

1
es analtica en la regin s : Re( s ) > 1
s
n
n =1

( s) =

Sea f ( x ) definida para x > 0 y siendo una funcin que nunca es creciente entonces se tiene
n

n 1

f ( x)dx f (n)

n +1

f ( x )dx

sumando se llega a
N

f ( x)dx

Si f ( x) = x

n=2
a

f ( n)

N +1

f ( x )dx

siendo a un entero mayor que 1 , al integrar se tiene

1
1
1 1
N 1 1

a 1 a

a 1
2a 1
1 a N
n=2 n
1 a ( N + 1)
tomando lmites cuando N .


1
1 1

a
a 1
a 1 n=2 n
( a 1)2
Y sumando1 en cada miembro nos queda

1 1
1

1 +
a 1 +
a 1
a 1 n =1 n
(a 1)2
Para el caso de a = 2 se tiene
anterior entre

(2) = 2 6 , valor que queda acotado por la formula

2 2 6 1.5
para a = 4 que tiene un valor de la funcin zeta

(4) = 4 90

4 3 4 90 25 24
Para el caso de f ( x) = x

se tiene

1
( ln( N + 1) ln 2 )
n
n=2
Tomando lmite cuando N y sumando 1 a cada miembro

( ln N ln1)

1
(1 + ln ln 2 )
n
n =1

(1 + ln )

1

n =1 n
por lo tanto

1
n =1 n

(1) = =
Para Re( s ) < a < 1 entonces n
Weierstrass

= n a < n r de modo que por la prueba de

( s ) converge uniformemente.

De igual modo a < r < 1 , la suma

n s > n r diverge

10

Captulo 3
La funcin Contadora de Primos y los Nmeros Primos
Se define la funcin contadora de primos

( x) como:

: , x ( x ) =

p x

(3.1)

El ndice p bajo el smbolo sumatoria indica que esta ltima corre sobre los infinitos nmeros
primos. Tambin se puede definir en forma ms compacta.

( x) = #{ p p / p x}

En donde el smbolo # significa todos los nmeros que cumplen con esa condicin .En
definitiva ( x) es una funcin que cuenta todos los nmeros primos menores o iguales a un
determinado valor de x .

Ejemplo 2: Aplicando la definicin dada en (3.1) calculamos los valores de la funcin

contadora de primos para algunos nmeros enteros.

(10) = 4( p 10 : 2,3,5,7)
(20) = 8( p 10 : 2,3,5,7,11,13,17,19)
(50) = 15
(100) = 25
(103 ) = 168
(104 ) = 1229

(105 ) = 9592
(106 ) = 78498
(107 ) = 664579
(108 ) = 5761455
(109 ) = 50487534
(1010 ) = 455052511

Cabe destacar que a medida que aumentamos el valor de x sobre los nmeros naturales, los
nmeros primos son cada vez ms escasos y estn ms distanciados.

11

Figura 4: Representacin de

( x) para valores enteros de x

En 1792, Gauss se interes en determinar la cantidad de nmeros primos que hay en un

intervalo dado, cambiando el enfoque que hasta ese tiempo se tena de tratar de hallar una
ecuacin que describiera la irregular distribucin de los nmeros primos, y de forma
independiente Legendre lleg a resultados semejantes a Gauss.

( x)

( x)

dt
ln t

x
ln x

Gauss

(3.2)

Legendre

(3.3)

La forma integral es conocida como Integral Logartmica Li ( x ) , la cual al integrarla por

partes queda:

Li ( x) =

x dt
dt
x
2
x
=

+ 2
ln t ln x ln 2 2 ln t ln x

Entonces se establece

( x) Li ( x )
( x)

x
Cuando x
ln x

12

x
100000000
1000000000
10000000000
100000000000
1000000000000
10000000000000

( x)

x ln x ( x )

5761455
50847534
455052511
4118054813
37607912018
346065536839

-332774
-2592592
-20758030
-169923160
-1,416706193
-11992858452

Li ( x ) ( x)
754
1701
3104
11588
38263
108971

Tabla 3: comparacin entre x ln x y Li ( x )

En la Tabla 3 se puede ver claramente que la ecuacin para Li ( x ) da una mejor aproximacin
a la funcin contadora de primos que x ln x . En la Figura 5 se puede apreciar que

( x) queda encerrada entre Li ( x ) superiormente y por x ln x en la parte inferior.

Figura 5: Grafico de la funciones

( x) , Li ( x ) y x ln x .

Fue Chebychev quien demostr la desigualdad 0.92

existe el lmite cuando x de la relacin de

lim

( x)
x ln x

( x)
x ln x

( x)
x ln x

1.11 y estableci que si

esta debe ser la unidad, por lo tanto:

=1

13

Y se cumplira la equivalencia asinttica siguiente ( x) x ln x cuando x , esta

conjetura es la que conocemos como el Teorema de los Nmeros Primos, sobre la densidad de
estos sobre los nmeros naturales.
Con estos conceptos queda establecida la forma asinttica de la distribucin de los nmeros
primos.

( x) =

x
x
+ O(
)
ln x
ln x

Por lo tanto queda un resto a determinar: R ( x ) = O( x ln x) ,y fue Riemann quien determina

que la diferencia ( x ) Li ( x) depende de la ubicacin de los ceros no triviales de la
funcin zeta.
Ejemplo 3: Se quiere saber que cantidad de nmeros primos aproximadamente hay en el
7

intervalo 10 - 10 .
Usando la ecuacin

( x) x ln x

(107 ) 6.204 105 , (106 ) 7.238 104

(107 ) (106 ) 5.48 105
7

Ejemplo 4: Dado un nmero aleatorio en el intervalo 10 - 10 cuntos nmeros enteros se

deben recorrer hasta encontrar algn numero primo.
La diferencia entre dos nmeros consecutivos es = 1 , entonces si tomamos el lmite
superior del rango elegido hasta un nmero primo consecutivo tenemos que:

x2 ln x2 x p ln x p
Y para valores grandes ln x2 ln x p con lo cual x p x2 ln x2 por lo tanto el intervalo
aproximado en que podemos encontrar algn numero primo es

x x2 x p ln x2
x 16.118
Es decir si tenemos un primo p el siguiente aparecer en una distancia aproximadamente de
ln p , en nuestro caso dado un numero aleatorio deberemos recorrer aproximadamente 16
nmeros enteros hasta encontrar algn nmero primo. Esta distancia deber ser interpretada
como una distancia promedio en el intervalo tomado ya que algunos primos se encontraran a
una distancia menor y otros a una distancia mayor.

14

Logaritmo integral
Se define la integral logartmica como

Li ( x ) =

dt
ln t

Como la funcin 1 ln t tiene una singularidad en t = 1 entonces la integral para x > 1 debe
ser interpretada utilizando el valor principal de Cauchy que permite asignar valores a
determinadas integrales impropias que de lo contrario resultaran indefinidas.
x dt
1 dt
Li ( x) = lim
+

1+ ln t
0 0 ln t

operando sobre el primer trmino

1

1 1
1 dt
dt
1
=

dt
+

0 (t 1)
0
ln t
ln t (t 1)

1
1
1

dt + [ ln(t 1) ]0
ln t (t 1)

1
1

dt + ln

ln
t
(
t
1)

para el segundo trmino

x

dt

dt

1+ ln t = 1+ ln t (t 1) dt + 1+ (t 1)
1
1
x

dt + [ ln(t 1) ]1+

1+ ln t
(t 1)

1
1

dt + ln( x 1) ln
1+ ln t
(t 1)

Al sumar ambos trminos nos queda

x 1
1
Li ( x) = ln( x 1) +

dt
0 ln t
(t 1)

15

1
1

no es tan problemtica ya que cuando t esta prximo a

ln t (t 1)
1 , su valor es el mismo que cuando s esta prximo a cero de la funcin.

Se tiene que la relacin

1
1 s ln(1 + s ) s ( s s 2 2 + s 3 3 s 4 4 + )
=
=
ln(1 + s ) s
s ln(1 + s )
s ( s s 2 2 + s 3 3 s 4 4 + )
1 2 s 3 + s 2 4
=
1 s 2 + s 2 3
por lo que

lim+ Li ( x) = ln(0) +

x 1

1
=
2

Aplicando la regla de Lhospital

ln( x) 1 ln 2 ( x)
x ln x
lim ln( x) 1 = 1
lim
= lim
x 0 Li ( x )
x0
x 0
1 ln x
ln x
de la cual se deduce

Li ( x) x ln x cuando x .
Tambin se suele dar una forma desplazada de la integral logartmica para evitar la
singularidad en el dominio de integracin.

Li ( x) =

dt
= Li( x ) Li (2)
ln t

Como para x > 1 la funcin Li ( x ) tiene derivadas positivas y es creciente, entonces recorre
todos los valores enteros cuando x > 1 , solo se anula una vez en ese intervalo y ocurre
cuando x = = 1.45136923488338 este numero es mas conocido como la constante
de Ramanujan Soldner, de modo que la expresin alternativa para el logaritmo integral es

dt
ln t

Li ( x ) =

16

y como resulta mas comodo integrar desde 2 .

Li ( x ) = +

dt
ln t

La expansin asinttica de Li ( x ) cuando x es

Li ( x) = O ( x ln x ) la notacin de Landau O representa la cota superior asinttica

La expansin asinttica completa es

k!
xk !
Li ( x) x ln x

k
k +1
k = 0 (ln x )
k = 0 (ln x )

escrito de otra forma

Li ( x)
1
2
6
12
1+
+
+
+
+
x ln x
ln x (ln x ) 2 (ln x)3 (ln x) 4

17

Capitulo 4
La funcin Contadora de Primos y la funcin Zeta
Riemann encontr la forma de relacionar la funcin contadora de primos con la funcin zeta y
parte de la siguiente forma integral

2
Que al descomponer la funcin
operar algebraicamente da:

( x)
x ( x s 1)

dx =
i =1

pi +1
pi

( x)
x ( x s 1)

dx

(4.1)

( x) conceptualmente en funcin de los nmeros primos y

i
x( x s 1)

dx = i
i =1

pi +1
pi

i +1
x s 1 1
ln( x s 1)
( s 1 )dx = i
ln x
x
s
x
i =1
p
i

ln( pis+1 1)

ln( pis )
= i
ln( pi +1 )
+ ln( pi )
s
s
i =1

ln( p2s 1)

ln( p1s 1)
=
ln( p2 )
+ ln( p1 )
s
s

ln( p3s 1)

ln( p2s )
+2
ln( p3 )
+ ln( p2 ) +
s
s

ln( p1s 1)

ln( p2s 1)
=
ln( p2 )
+ [ ln p1 + ln p2 + ]
s
s

ln( p1s 1) ln( p2s 1)

s ln p1 s ln p2

+
+
+
s
s
s

s
ln( p1s 1) ln( p2s 1)
ln p1s

+
+ ln p2s +
s
s

ln( p1s 1) ln p1s

ln( p2s 1) ln p2s

s
s
s
s

18


1 ln( p1s 1) ln( p2s 1)
1
=
+
+

ln(1 p s )

s
s
s
s p
p1
p2

quedando la relacin entre la funcin contadora de primos y la funcin zeta como

( x)

x ( x s 1)

dx =

1
ln(1 p s )

s p

al sacar logaritmo a la funcin zeta expresada en forma de productos infinitos queda

expresada en forma de sumatoria sobre todos los nmeros primos, es decir:

( s) = (1
p

1 1
)
ps

ln ( s ) = ln( (1
p

ln ( s ) = ln(1 p s )
p

1 1
1
) ) = ln(1 s )
s
p
p
p

relacionando trminos

( x)
x ( x s 1)

dx = ln ( s )

finalmente

( x)
x ( x s 1)

dx =

ln ( s )
s

Re( s ) > 1

(4.2)

De esta manera el teorema de los nmeros primos puede obtenerse invirtiendo esta relacin
para obtener ( x) como una integral sobre ln ( s ) s . Como esta integral es difcil de
obtener, Riemann se bas en otra funcin que cuenta la potencia de los nmeros primos, y es
por medio de esta ltima que pudo invertir dicha relacin y obtener la expresin para ( x) .
A esta misma relacin podemos llegar utilizando la formula de sumacin de Abel, que es una
versin discreta de la integracin por partes, y nos va a proporcionar una visin mas integral
de la funcin ( s ) en el semiplano Re( s ) > 1 .

Sea a : N y f (t ) una funcin con derivadas continuas y definidas en el intervalo

[ a, b ] , entonces definiendo

A(t ) =

a (n) tendremos que:

a < nt

19

a < n t

a( n) f (n) = A( x) f ( x) A(t ) f (t )dt

a

Aplicado para nuestro caso particular

a (n) = ( n) (n 1) =

1
0

Si n es primo entonces a (n) = 1 y si n es no primo entonces a (n) = 0 .

Haciendo a = m y f ( x) = x

A( x) =

nos queda

a ( n) = ( x ) ( m)

m<n x
x
a ( n)
s
=

(
x
)

(
m
)
x

(t ) (m) ) (t s )dt
(
)
(
ns

m
m< n x
x

= ( x) x s + s (t )(t s 1 )dt (m)m s

m

Poniendo m = 1 y tomando limites cuando x se tiene

(t )

p s = s 2
p

t s +1

dt

Como nos interesa relacionar el resultado anterior con la funcin zeta debemos convertir la
suma de potencias en una suma de logaritmos para ello utilizamos el cambio de variable
s = nz y multiplicamos ambos miembros por una sumatoria en n .

(t )
1
1
1
=
nz
n p nz n 2 t nz +1 dt
n =1
p
n =1

1 1
(t )
=
n p nz 2 z t nz +1 dt
p n =1
n =1

(t )t z
1
ln(1 p z ) = z 2 t (1 t z ) dt

(t )
1
ln (1 z ) 1 = z
dt
2 t (t z 1)

p
p

20

1
Y como ( z ) = 1 z nos queda
p
p

ln ( z ) = z

(t )
t (t z 1)

dt

expresin valida para Re( s ) > 1

De manera semejante se pueden relacionar otras funciones aritmticas con la funcin

(s) .

21

Captulo 5
La funcin contadora de primos de Riemann
Relacin entre J ( x ) y ( x)
Para poder obtener ( x) como una integral sobre ln ( s ) s , Riemann defini una funcin
aritmtica que cuenta los nmeros primos y sus potencias menores que un cierto valor dado,
entonces esta funcin J ( x ) puede expresarse en trminos de ( x) de la siguiente manera.

J ( x) =

n
1

n =1 p n x

J ( x) =

n =1 p n x

J ( x) =

n
1
=
n

n =1 p x1 n

n =1 p n x

1
=
n

1
=
n
1n

n =1 p x

1=
n =1

1
n

J ( x) =

p x1 n

n =1

n =1

La funcin

1
(x n )
n

1
(x n )
n

(5.1)

( x) puede expresarse en trminos de J ( x) utilizando la inversin de Mbius.

g ( n) =

f ( n) =

f (d )

d n

d n

n
g ( d ) ( )
d

En donde g (n) y f (n) son funciones aritmticas y las sumas se extienden para todos los
divisores positivos de n .
Por lo cual queda

( x) =

n =1

( n)
n

1
J (x n )

(5.2)

22

La funcin

(n) de Mbius es una funcin multiplicativa y est definida para todos los

nmeros naturales n y toma valores {1,0,1} , dependiendo de la factorizacin de n en sus

factores primos y se define como sigue:

( n) = 1 si n es libre de cuadrados y tiene un nmero par de factores primos distintos

( n) = 1 si n es libre de cuadrados y tiene un nmero impar de factores primos
distintos

( n) = 0 si n es divisible por algn cuadrado

Solo cuando n es un nmero primo la funcin de Mbius da el valor de -1.

n
pi
( n)

1
-

2
2

3
3

4
22

5
5

6
2x3

7
7

8
23

9
32

10
2x5

-1

-1

-1

-1

Tabla 4: valores de la funcin de Mbius del 1 al 10.

Figura 6: los 50 primeros valores de la funcin

( x) .

Ejemplo 5: Determinar el valor numrico de J ( x ) para x = 100 .

De la definicin de J ( x ) en funcin de ( x) , ecuacin (5.1) y teniendo en cuenta que
(100) = 25 , ya que existen 25 nmeros primos antes que 100 (ver Tabla 2).

1
1
1
1
J ( x) = ( x n ) = ( x) + ( x1/ 2 ) + ( x1/3 ) + ( x1/ 4 ) +
2
3
4
n =1 n

23

1
1
1
1
1
1
J (100) = (100) + (10) + (4.64) + (3.16) + (2.51) + (2.15) + (1.93)
2
3
4
5
6
7
1
1
1
1 1 1
J (100) = 25 + 4 + 2 + 2 + 1 + 1 + 0 = 28.533
2
3
4
5 6 7

Ejemplo 6: Determinar el valor numrico de ( x) en funcin de J ( x ) para x = 100 .

( x) =

n =1

( n)
n

1
J (x n )

= (1) J ( x ) +

(2)
2

J ( x1/2 ) +

De la figura 6 se pueden extraer valores de la funcin

1
2

1
3

1
2

1
3

(3)
3

J ( x1/3 ) +

(4)
4

J ( x1/4 ) +

( x) .

1
5

1
6

1
7

(100) = J (100) J (10) J (4.64) J (2.51) + J (2.15) J (1.93)

1
5

1
6

1
7

(100) = 28.333 (5.33) (3) (2) + (2) J (0) = 24.87

Relacin entre J ( x ) y ( s )
Partiendo de la definicin de la funcin zeta y su forma logartmica.

( s) = (1 p s ) 1

ln ( s ) = ln(1 p s )
p

y de la forma integral para un nmero primo elevado a una cierta potencia

ks

=s

x s 1dx

Se tiene que:

ln ( s ) =

(1 p
p

)=

k =1

p ks
=s
k

k =1

1
k

x s 1dx

24

s 1
1
1 s 1
x
dx
=
s
pk
k pik x dx
k
k =1
p
k =1 i =1

ln ( s ) = s

Si consideramos a J ( x ) uniforme y continua se cumple la siguiente propiedad en el cual

ambos lados de la funcin convergen al mismo limite.

1
1
1 1
J ( x) = + =
lim J ( x + ) + lim J ( x )

0
2 p n < x n p n x n 2 0

de esta manera se puede considerar la relacin entre

( s ) y J ( x) de la siguiente manera

ln ( s ) = s J ( x)x s 1dx
0

Despejando finalmente nos queda

ln ( s )
= J ( x)x s 1dx
0
s

(5.3)

Quedando la funcin J ( x ) como una integral sobre ln ( s ) s . Riemann invirti esta

relacin y obtuvo la expresin para ( x) la cual depende de la distribucin de los ceros no
triviales de la funcin zeta.

25

Captulo 6
Formas integrales de la funcin Zeta
Si se utiliza la funcin gamma de Euler sobre la funcin zeta expresada en forma de sumatoria
se puede expresar esta en forma de una integral que es ms fcil de manejar.

1
s
n =1 n

( s) =

s >1

La funcin gamma de Euler ( s ) es una funcin meromorfa en cuyas propiedades

pueden extenderse a todo el plano complejo por continuacin analtica (exceptuando los
puntos singulares), posee polos simples en s = 0, 1, 2, 3, 4, y de residuo

( 1) n
Re s ( ( s ), n ) =
.
n!

( s ) = e t t s 1dt
0

Re( s ) > 0

(6.1)

Figura 7: Funcin gamma de Euler.

multiplicando ambas funciones

1 t s 1
e t dt
s 0
n
n =1

( s ) ( s ) =

reordenando trminos

26

( s ) ( s ) = e t
0

n =1

t s 1 dt
t t s 1 dt
=
e
( )

0
n
n
n s 1 n
n =1

ahora debemos hacer un cambio de variable

t
n

d =

dt
n

dt = nd

reemplazando

n s 1
e d
0

( s ) ( s ) =
n =1

e n s 1d

n =1

teniendo en cuenta la serie geomtrica convergente

1
= xn
1 x n=0

x=e

1
= e n
n
1 e
n =0

Como el ndice de la sumatoria empieza desde 0 debemos expresarla en funcin de que

comience desde 1.

e
n =1

= e

( n +1)

n=0

=e

n =0

e
1
=
=
1 e e 1

reemplazando nos queda

( s ) ( s ) =

1
s 1d

e 1
n

la suma dentro de la integral es posible por el hecho de que e

absolutamente como suma en n y tambin como integral en .

s 1 converge

s 1
Re( s ) 2
esta acotada por
cuando
La integral converge cuando Re( s ) > 1 ya que
e 1

es prxima a cero y por Re( s ) 1 e x cuando es grande.

Despejando trminos finalmente nos queda la funcin zeta expresada en forma de una integral
impropia.

1 s 1
(s) =
d
( s) 0 e 1

(6.2)

27

La siguiente serie puede expresarse como

e 1

n =0

n!

= Bn

si

< 2

En donde cada coeficiente Bn , de la serie de Taylor es el ensimo nmero de Bernoulli.

1
2
4
= 1 + B1
B2
+
2
2!
4!
e 1
Algunos valores de los nmeros de Bernoulli

B0 = 1 , B1 = 1 2 , B2 = 1 6 , B3 = 0 , B4 = 1 30 , B5 = 0 , B6 = 1 42
B7 = 0 , B8 = 1 30 , B9 = 0 , B10 = 5 66 , B11 = 0 , B12 = 691 2730
Euler ya haba encontrado algunos valores particulares de la funcin zeta en funcin de los
nmeros de Bernoulli.
Otra forma integral dada por Riemann parte de la siguiente expresin

( x ) s 1
e x 1 dx
Si se deforman los limites de integracin entre + y + , que puede expresarse como un
recorrido de + movindose hacia la izquierda por debajo del semieje positivo de las
x , rodea el origen una vez en la direccin positiva y volviendo al eje positivo de las x va
hacia + . El termino 2 i es el promedio del valor de ( x )(e 1)
x

en el circulo de

x = (porque id = dx / x ), por lo tanto el termino medio tiende a cero cuando

0 siempre que s > 1 porque ( x )(e x 1) 1 es no singular alrededor de x = 0 .

Figura 8: Recorrido de integracin de

(s)

28

Reemplazando los lmites de integracin tenemos:

( x ) s dx
ex 1 x

(6.3)

Descomponiendo la trayectoria y teniendo en cuenta las propiedades antes mencionadas

( x ) s dx
=
ex 1 x

( x) s dx
+
x
+ e 1 x

( x) s dx
= lim (
e x 1 x 0
( x ) s dx
=
ex 1 x

( x ) s dx
+
x
+ e 1 x

( x ) s dx
+
x
e 1 x

( x) s dx
+
x
x = e 1 x
0

( x ) s dx
ex 1 x

( x ) s dx
)
ex 1 x

( x) s dx
ex 1 x

Ahora si se opera convenientemente el signo negativo en ( x ) .

( x) s dx
= ( 1) s
x
e 1 x

( x) s dx
= ( 1) s
x
e 1 x

x s 1
dx = ei s
x
e 1

x s 1
dx
ex 1

x s 1
dx = e i s
x
e 1

x s 1
dx
ex 1

Reemplazando los trminos

( x ) s dx
= ei s
x
e 1 x

x s 1
dx e i s
x
e 1

( x) s dx
= (ei s e i s )
x
e 1 x

x s 1
dx
ex 1

x s 1
dx
ex 1

(6.4)

1 x s 1
( s) =
dx
( s) 0 e x 1
1 x s 1
Teniendo en cuenta que ( s ) =
dx
( s) 0 e x 1
Y el trmino fuera de la integral puede expresarse en la forma trigonomtrica dada por Euler.

29

(ei s e i s ) = (cos( s ) + isen( s )) (cos( s ) isen( s)) = 2isen( s)

Al reemplazar en (6.4) nos queda

( x ) s dx
= 2isen( s ) ( s )( s )
ex 1 x

(6.5)

Usando la formula de reflexin de Euler para la funcin gamma se tiene:

(1 s)( s ) =

s e n( s )

s e n( s )( s ) =

Reemplazando (6.6) en (6.5) y despejando el valor de

(1 s )
(s) =
2 i

(1 s)

(6.6)

( s ) se tiene que

( x ) s dx
ex 1 x

(6.7)

Esta ultima integral nos da el valor de la funcin ( s ) para todos los nmeros complejos s y
muestra que esta funcin es finita para valores finitos de s con la excepcin de 1 y tambin
que es 0 si s es igual a enteros negativos.
Si la parte real de s es negativa entonces a pesar de ser tomada en un sentido positivo
alrededor del dominio especificado, esta integral tambin puede ser tomada en un sentido
negativo alrededor de igual dominio conteniendo todos los complejos restantes.

Ejemplo 7: La funcin zeta sirve para regularizar series que en principio parecieran
divergentes, un caso curioso es el de la serie para s = o .

1
1
=
1
+
1
+
1
+
1
+
1
+
1
+
1
+
1
+
1
+
1
+

0
2
n =1 n

(0) =

Para poder resolver esta integral por medio del teorema de los residuos debemos considerar el
desarrollo en series de Taylor y cambiar a variable compleja.

(1 s ) + ( x) s dx (1 s) ( z ) s dz
( s) =
=
2 i + e x 1 x
2 i  c e z 1 z
Sustituyendo por s = o y teniendo en cuenta que (1) = 1

z
1
Bn z n
= 1 z +
2
ez 1
n = 2 n!

30

 (0) =

(1)
z dz
1
i
s
f
z
z
=
2

Re
(
(
),
)

k
2 i  c e z 1 z 2 2 i
k

1
1
1
Bn z n dz
1
1
Bn z n 1
1

z
+
=

(n)! z 2 2 i  c z 2 2 z (n)!z dz
2 i  c 2
n=2
n=2

2
n 1

1
d 3 1 1
Bn z
1

=
2 i lim 2 z 3 z + z
=
z 0 dz
2 i
2
z z n = 2 (n)! z

Es interesante destacar que la suma infinita de nmeros 1 converge o se le puede asignar un

nmero negativo.
Ejemplo 8: Otro caso particular es para la serie s = 1 .

1
1
( 1) = 1 = n =1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + =
12
n =1 n
n =1

(1 s ) + ( x) s dx (1 s) ( z ) s dz
( s) =
=
2 i + e x 1 x
2 i  c e z 1 z
Reemplazando para s = 1 y recordando que (2) = 1

(2) + ( x) 1 dx (1) 1
1 dz
( 1) =
=
2 i + e x 1 x
2 i  c e z 1 z 2

1
1
z dz
1
1
B2
Bn z n 2
=
=
+
+

dz
2 i  c e z 1 z 3
2 i  c z 3 2 z 2 (2!) z n =3 ( n)! z

d 2 3 1 1 d 2 1 zB2
1
Bn z n 2
B2
=
z
+
+
z
=

2 i lim 2 z 3

z 0 dz
2 i
2
z 2 dz z 2 (2)! z
n = 3 ( n)! z

y como B2 = 1 6

31

 (1) =

1
12

la sumatoria de todos los nmeros naturales converge a un nmero negativo

De manera similar se pueden determinar valores para otras series como por ejemplo:

( 2n) =
La serie

(2n + 1) + ( x) 2 n dx (2n)!
+ e x 1 x = 2 i 0 = 0
2 i

(2n) corresponde a los ceros triviales de la funcin zeta

(2n)! + ( x )1 2 n dx (2n 1)! ( 1) n 2 iBn (1) n Bn

=
=
(1 2n) =
2 i + e x 1 x
2 i
(2n)!
(2n)!

Forma debida a Chebychev

En 1850 Chebychev publico el primer estudio de la funcin contadora de primos por mtodos
analticos. El comenz por tomar el logaritmo del producto de Euler obteniendo

ln(1 p

) + ln( s 1) = ln( ( s )( s 1))

de este punto parti para obtener la forma integral siguiente

1
1
( s) 1
=
s 1 ( s )

1
1
)e x x s 1dx
e 1 x
x

A esta misma ecuacin podemos llegar partiendo de la definicin de la funcin zeta en forma
de sumatoria

1
( s) = s
n =1 n

(s) 1 =

1
ns
n=2

Multiplicando por la funcin gamma y teniendo en cuenta que la sumatoria no incluye el

nmero 1 ya que se le resta la misma cantidad a la funcin zeta.

( s )( ( s) 1) =

n=2

t s 1

e t
ns

haciendo cambio de variables: x =

dt =

n=2

t
dt
e t ( ) s 1
n
n

t
dt
dx =
n
n
32

( s )( ( s) 1) =

e
0

nx

n =0

dx

n=2

1
=
1 e x

( s )( ( s) 1) =

nx s 1

nx

=e

2 x

n=2

s( s) = ( s + 1)

e 2 x s 1
x dx =
1 e x

e nx =

n =0

e 2 x
1 e x

e x s 1
x dx
ex 1

( s 1)( s 1) = ( s )

( s 1) =

y sumando ( s 1) en ambos miembros

( s )( ( s) 1)

( s 1) =

( s )
=
( s 1)

e x x s 2 dx =

1
( s )( ( s) 1
)=
s 1

e x s 1
x dx ( s 1)
ex 1

( s )
( s 1)

e x

x s 1
dx
x

e x s 1
x dx
ex 1

x s 1
dx
x

quedando

1
1
( s) 1
=
s 1 ( s )

1
1
)e x x s 1dx
e 1 x

(6.8)

De esta ultima expresin dedujo que ( s 1) ( s ) tiene limite 1 y tambin tiene derivadas

finitas de algn orden, a medida que s 1 desde la derecha. Chebychev observo que las
derivadas de determinado orden pueden ser escritas como una fraccin en el cual el
numerador es un polinomio de las derivadas de ( s 1) ( s ) y el denominador es una potencia
entera de dicha derivada, desde la cual el demostr que el lado derecho de (6.8) tiene
derivadas finitas de algn orden cuando s 0 desde la derecha , por ello es posible que hay
una formula asinttica para

( x) por medio de una suma finita

a x / (ln x) hasta un
k

orden O ( x / (ln x ) ) ,entonces ak = (k 1)! para k = 1,2,.........n 1 .

n

33

Esta es precisamente la expansin asinttica de la funcin Li ( x ) , la cual reinvidicaba la

intuicin de Gauss, y cuando x 0 tenemos que Li ( x) = O ( x ln x ) .La expansin
asinttica completa para Li ( x ) es:

k!
xk !
Li ( x) x ln x

(ln x ) k k = 0 (ln x) k +1
k =0

34

Captulo 7
La ecuacin funcional
En funcin de las formas integrales, Riemann deduce la ecuacin funcional de la cual extrae
todas las propiedades de la funcin zeta para todo el plano complejo, partiendo de la
definicin de la funcin gamma.

( s ) =

e t t s 1dt

Valida para Re( s ) > 0

La cual bajo el cambio de variable t = n

( s ) =

t s 1

dt =

e t

x , dt = n 2 dx toma la forma

e n x (n 2 x) s 1 n 2 dx
2

( s ) = n

s 2s

e n x x s 1dx
2

reagrupando trminos

( s )
=
s n2 s

e n x x s 1dx
2

si se hace la sustitucin s

s
( )
2 =
s s 2
n

s
y despejando trminos
2

e n x x s 2 1dx
2

sumando sobre ambos miembros sobre el ndice n .

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

s
( )
( s) s22 =

n =1

e n x x s 2 1dx)

e n x x s 2 1dx)
2

n =1

obtenemos la forma integral que es completamente convergente para la regin Re( s ) > 0 .

s
( )
( s) s22 =

s 2 1

e n x )dx
2

Re( s ) > 0

(7.1)

n =1

35

Para resolver la sumatoria se utiliza la funcin Theta de Jacobi y sus propiedades

( x) =

e n x
2

(7.2)

n =1

la cual tiene la siguiente propiedad de transformacin

1
=
x

n x
2

n 2
e x

por lo tanto

1
x

2 ( x) + 1 =

n 2
e x

2 ( x) + 1 =

( x) =

1
1

2 ( ) + 1

x
x

1
1
1
1
( ) +

x x 2 x 2

reemplazando (7.2) en (7.1) tenemos

s
2

s 2 ( s )( ) =
s
2

x s 2 1 ( x )dx

s 2 ( s )( ) =

x s 2 1 ( x)dx +

x s 2 1 ( x )dx

1 1
1
( x s 2 3 2 ( ) + x s 23 2 x s 21 )dx +
x 2
2
0
(x

1
1
1
( ))dx +
+
x
s 1 s

s 2 3 2

1
s ( s 1)

1
( x s 23 2 ( ))dx +
x
0

x s 2 1 ( x)dx

x s 21 ( x)dx

x s 2 1 ( x)dx

1
dx = y 2 dy
x
limites sern, y = cuando x = 0 , y = 1 cuando x = 1 .
haciendo un cambio de variable y =

por lo tanto los nuevos

36

s 2

(x

1
( ))dx =
x

s 23 2

( s 2 + 3 2)

s
2

( y )( y )dy =

s
1
( s ) ( ) =
+
2
s ( s 1)

s 2 ( s )( ) =

1
+
s ( s 1)

y ( s 2 1 2) ( y )dy

(x

( s 2 1 2)

( x)dx +

1
( s 1)
x2
( x))dx

( x ( s 2 1 2) + x ( s 2 1) ) ( x) dx (7.1)

se puede apreciar que el segundo miembro permanece invariante bajo la sustitucin

s (1 s ) entonces el primer miembro tambin debe permanecer invariante bajo dicha
sustitucin

1 s
) (1 s )
2

s
2

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

(7.3)

esta ltima forma se la suele representar de la forma

( s ) = s 2( s 2)
( s ) ( s ) = (1 s ) (1 s )
y se define la funcin zeta modificada como

( s ) = (1 s )
por lo que se aprecia el cambio invariante bajo la sustitucin s (1 s ) , que es la
continuacin meromorfa de ( s ) para todo el plano complejo y satisface dicha ecuacin para

s.

Se puede llegar a otra forma de la ecuacin funcional teniendo en cuenta la siguiente

propiedad de la funcin gamma

s
(1 ) =
2

e t t s 2 dt

al multiplicar esta ltima en ambos miembros de la ecuacin (7.3) nos queda

s
2

s
2

1 s
s
)(1 ) (1 s )
2
2

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

(7.4)

ahora debemos tener en cuenta la propiedad de reflexin de la funcin gamma dada por Euler.

37

(1 s)( s ) =

sen( s )

s
s

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

y la propiedad de duplicacin

1
( s )( s + ) = 21 2 s (2 s)
2

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

que al sustituirlas en (7.4) nos da

s 2 +1

(s)
s
sen( )
2

= 2 s 1 2 + s 2 +1 2(1 s ) (1 s )

Finalmente despejando trminos

( s ) = 2s s 1sen(

s
2

s<0

)(1 s ) (1 s )

(7.5)

claramente se pueden ver los ceros triviales para los enteros negativos pares
s = 2, 4, 6, 8, dados por la funcin seno.

Ejemplo 9: para s = 1 .

( 1) =

n =1

1
= 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 +
n 1

(1) = 21 11sen( )(1 (1)) (1 (1)) = 21 2 sen( )(2) (2)

2

Euler demostr que

1

(2) =

( 1) = 2 (1)

2
6

y los dems valores son (2) = 1 , sen(

) = 1

1
12

El resultado concuerda con el Ejemplo 8.

38

Captulo 8
La funcin Xis
En su ensayo Riemann introduce la funcin de variable compleja t, conocida como funcin
Xis y definida por

1
2

s
2

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

(8.1)

y de las ecuaciones dadas en el capitulo anterior se deduce

( s) =
=

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

(
x
x
)

(
x
)
dx
+
+

2 s ( s 1) 1

1 s ( s 1) ( s 2 1)
(1 2 + s 2)
+
(
x
+
x
) ( x )dx

1
2
2

y reemplazando s = 1 2 + it

x ( s 2 1) + x (1 2 + s 2) = x 3 4 ( x it 2 + x it 2 ) = x 3 4 (eit

2 ln x

+ e it

2 ln x

= x 3 4 2cos(t 2ln x )

s ( s 1) 1 2 1
= t
2
2
4
reemplazando nos queda la expresin dada por Riemann

(t ) =

1 2 1
t + ( x)x 3 4 x 3 4 cos(t 2ln x) dx
2
4 1

(8.2)

Otra forma de esta ecuacin y que le dio buenas conclusiones parte de

( s) =

1 s ( s 1) ( s 2 1)
+
+ x (1 2 + s 2) ) ( x )dx
(x

1
2
2

Integrando por partes

= ( x)

d = ( x )dx

39

dv = ( x ( s 2 1) + x (1 2 + s 2) ) dx

v=

x s 2 x (1 s ) 2
+
s 2 (1 s ) 2

x s 2 x (1 s ) 2
x s 2 x (1 s ) 2
1 s ( s 1)
s( s 1)
( s) = +
+
( x )
+
( x )

dx

1
2
2
s
2
(1

s
)
2
2
s
2
(1

s
)
2

x s 2 x (1 s ) 2
x s 2 x (1 s ) 2
1 s( s 1) d
s ( s 1)

(
x
)
+
dx

(
x
)
+

dx

1
2
2 1 dx
s
2
(1

s
)
2
2
s
2
(1

s
)
2

La funcin theta para x = es cero por lo tanto

x s 2 x (1 s ) 2
1 s( s 1)
2 s ( s 1)
2
= +
(1) +

( x)
+
dx
2
2
2 1
s
2
(1

s
)
2
s 1 s

1
+ (1) + ( x ) (1 s) x s 2 + sx (1 s ) 2 dx
1
2

Sacando factor comn x

32

1
( s 1) 2]1
+ (1) + ( x ) x3 2 (1 s ) x[
+ sx ( s
1

2) 1

dx

Integrando por partes de igual forma

d
1
+ (1) +
( x ) x3 2 2 x ( s 1) 2 2 x s 2 dx
1
2
dx

d
( x) x 3 2 2 x ( s 1) 2 2 x ( s 1) 2 dx

dx

d
1
( x ) x 3 2 2 x ( s 1) 2 2 x s 2 dx
+ (1) (1) [ 2 2] +

1 dx
2

teniendo en cuenta las propiedades de la funcin Theta dada por el mtodo de sumacin de
Poisson.

2 ( x) + 1 =

1
[ 2 (1 x) + 1]
x

1
+ (1) + 4 (1) = 0
2

40

Operando sobre el trmino

x ( s 1) 2 + x s 2 = x 1 4 x1 4 ( x ( s

2) (1 2)

+ x s 2 ) = x 1 4 ( x s 2 1 4 + x s 2 +1 4 )

= x 1 4 ( x1 2( s (1 2)) + x 1 2( s (1 2)) )
multiplicando y dividiendo por dos y poniendo los trminos en forma exponencial

= 2x

1 4

(e1 2( s (1 2)) ln x + e 1 2( s (1 2)) ln x )

2

e x e x
este ltimo termino toma la forma del coseno hiperblico cosh( x ) =
por lo tanto
2
1
1

= 2 x 1 4 cosh ( s )ln x
2
2

reemplazando trminos tenemos

( s) = 4

d 32
1
1
( x ) x 1 4 cosh ( s )ln x dx
x

dx
2
2

Si el coseno hiperblico es expandido en forma de una serie de Taylor se tiene

x2n
cosh( x) =
por lo tanto
(2
n
)!
n =0
1
1

( s )ln x
1
1

2
2

cosh ( s )ln x =
2
(2n)!
2
n =0

2n

Reagrupando trminos en funcin de x tenemos

a2 n = 4

2n
d 32
1 4 (1 2ln x )

x ( x) x
dx
dx
(2n)!

Con lo cual queda expresada la funcin Xis en forma de serie

( s ) = a2 n s
2

n =0

2n

(8.3)

41

Para llegar a la forma que dio Riemann debemos tener en cuenta la expansin para el coseno
hiperblico y reemplazar s = 1 2 + it .

1
1

( s )ln x
2
2
(2n)!
n =0

2n

1
1 1

( + it )ln x
2 2
2

=
(2n)!
n =0

= (i )
n =0

2n

2n

2n

(t 2ln x ) 2 n
n (t 2ln x )
= ( 1)
(2n)!
(2n)!
n=0

Este ltimo trmino corresponde a la expresin para el coseno expandido en forma de series
de Taylor

cos( x ) = (1) n
n =0

( x) 2 n
(2n)!

al reemplazar nos queda

(t ) = 4

d 32
( x) x 1 4 cos ( t 2ln x ) dx
x

dx

(8.4)

Esta funcin es finita para valores finitos de t y puede ser desarrolladas en potencias de

t 2 dando una serie que converge rpidamente ,ya que para valores de s cuya parte real es
mayor que 1 por lo que ln ( s ) = ln(1 p s ) permanece finito lo mismo sucede para el
logaritmo de los factores de (t ) ,esto viene de que esta funcin solo puede anularse si la
parte imaginaria de t cae entre 1 2i y 1 2i . El numero de races N (T ) de la funcin
(t ) = 0 cuya parte real esta entre 0 y T es aproximadamente:

N (T ) (T 2 ) ln(T 2 ) (T 2 ) porque la integral d ln (t ) tomada en un sentido positivo

alrededor de la regin consiste de los valores de t cuya parte imaginaria se halla entre
1 2i y 1 2i y cuya parte real esta entre 0 y T (hasta un orden de magnitud de la cantidad T 1 )
y es igual a T (T 2 T )i ,esta integral es igual al nmero de races de (t ) = 0 situada dentro
de esta regin y multiplicada por 2 i , Riemann estableci que aproximadamente este nmero
de races reales estn dentro de esos limites y afirmo que no pudo obtener una prueba de ello
y que temporalmente haba desistido ya que no lo consideraba esencial para su investigacin .
Si se denota por a todas las races de la ecuacin ( ) = 0 se puede expresar el
ln (t ) como:

ln (t ) = ln (0) + 1 t 2 2

(8.5)

42

Captulo 9
La funcin Xis y la representacin en productos infinitos
Riemann dio una forma de expresar la funcin zeta en forma de productos que dependen de
los ceros no triviales y se baso en que la funcin zeta tiene infinitos ceros complejos que estn
en la banda critica y que son simtricos respecto a la recta Re( s ) = 1 2 , Im( s ) = 1 2 .
Si denotamos por N (T ) el numero de ceros complejos que estn en la banda critica
0 Re( s ) 1 y con 0 Im( s ) T entonces dedujo que

N (T ) = (T 2 )ln(T 2 ) (T 2 ) + O (ln T )
2

Y que la serie converge mientras que la serie es divergente, teniendo en

cuenta que la sumatoria se extiende a todos los nmeros complejos define la funcin entera
Xis de la forma:

t2
(t ) = (0) 1 2

(9.1)

en donde representa la parte imaginaria de los ceros no triviales , ahora si tenemos en

cuenta que esta funcin esta dada para s = 1 2 + it podemos generalizarla de la siguiente
manera

t2
(1 2 + it ) = (1 2) 1 2


= (1 2)

( t )( + t )

= (0) (1

= (1 2) (1 +

it
t
) (1 )
i

12
t
i
it
) (1 ) = (0) (
) (1 )
1 2 + i

i
1 2 + i

i it
1 2 + it
= (0) (
) = (0) (1
)
1 2 + i
1 2 + i

Y como los ceros no triviales estn definidos como = 1 2 + i

( s ) = (0) (1 )

(9.2)

43

recordando

1
2

s
2

( s) = s ( s 1) s 2( ) ( s ) y la relacin s 2 ( s 2) = ( s 2 + 1)

Al combinarlas con (8.2) podemos despejar

( s) =

( s ) en funcin de los ceros no triviales.

s 2 (0)
( s 1)(1 + s 2)

(1 s

(9.3)

De esta forma se puede observar el polo simple para s = 1 en el denominador, los ceros
triviales dados por (1 + s 2) y los ceros no triviales dados cuando s = .

Hadamard dio una demostracin del producto llegando a una expresin similar de ( s )

e(ln(2 ) 1 ( 2))
(s) =
(1 s )e s

2( s 1)(1 + s 2)
donde

(9.4)

es la constante de Euler Mascheroni y vale, = 0.577216649015328

Ejemplo 10: Si queremos explicitar los ceros no triviales y los triviales de la funcin zeta

( s) = ( s 2 + 1) s 2 ( s 1) ( s)
( s) = s 2 ( s 2) s 2 ( s 1) ( s)
s 2 ( s 2) = ( s 2 + 1)
2 s 2 ( s)
( s) =
s 2 ( s 2)( s 1)
s

( s) = (0) (1 )

Multiplicando y dividiendo por (1 s 2) y reemplazando

(s)

2 s 2
(1 s 2)
s
( s) =
(0) (1 )
s 2 ( s 2)( s 1) (1 s 2)

Ahora tenemos en cuenta la siguiente propiedad de la funcin gamma.

44

( s 2)(1 s 2) =

sen( s 2)

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

s( s 1)

en el denominador existe un nico polo cuando s = 1 , pero cuando s = 0 se tiene que es

indeterminado, esto se resuelve aplicando la regla de Lhospital.

( sen( s 2))

sen
(

s
2)

lim
= lim ds
= lim cos( s 2) =

d
s 0
s
s 0
2
s 0 2
(s)
ds

1
(0) = (0) =
2
reemplazando y reordenando trminos queda finalmente

( s) =

s
( 1) ln ln s
e2

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

en donde podemos ver ms claramente el polo simple los ceros triviales y los ceros no
triviales

45

Captulo 10
Relacin entre la ceros y la funcin contadora de primos
La relacin entre la funcin Zeta y la funcin contadora de primos de Riemann quedo definida
como

ln ( s )
= J ( x)x s 1dx
0
s

(10.1)

Para expresar J ( x ) en funcin de ln ( s ) s , se aplica el teorema de inversin de Fourier,

cuyas ecuaciones en forma generalizada son:

( x) =

1
2

( ) =

1
2

( ) =

1
2

( ) ei ( x ) d d = ( )e i x d

( )e
( )e

definiendo trminos

s = a + i

y si a = cte ,

= ln x

x = e

d =

dx
x

Y considerando los trminos particulares

J ( x ) x s = J ( e )e a e i u = ( )e i u

0 ( ) e i u

< 0 ( ) = 0

( ) = J ( e ) e a
ln ( a + i )
=
a + i

( ) =

J (e )e ( a + i ) d =

1
2

( )ei d

ln (a + i )
a + i

46

reemplazando para el valor de

( ) =
y

J (e )e

1
2

( )e

1
=
2

J (e y ) =

1
2

ln (a + i ) i
e d
a + i

ln ( a + i ) ( a + i )
e
d
a + i

reemplazando para, x = e , s = a + i , ds = id , y el limite superior de integracin por

= s = a + i , y el inferior = s = a i

J ( x) =

1 a + i ln ( s) s
x ds
2 i a i
s

(10.2)

para resolver esta ltima integral se deriva por partes

u = ln ( s )

ln ( s)
du =
ds

dv = x s ds ,

v=

xs
ln x

quedando
a + i

1 1 a + i d ln ( s ) s
ln ( s ) s
J ( x) =
x

x ds

s
a i 2 i ln x a i ds s
una propiedad muy til es que el primer trmino es nulo al tomar lmites cuando T

lim (

ln (a iT ) a iT
x
)=0
a iT

Por lo cual nos queda la forma integral original como la integral de una derivada

J ( x) =

1 1 a + i d ln ( s ) s

x ds
2 i ln x a i ds s

(10.3)

47

Sacando logaritmo a la ecuacin (9.3) obtenemos ln ( s ) en funcin de los siguientes

trminos:

s
ln ( s ) = ln (0) + ln ln (1 + s 2) ln( s 1) + ln(1 s )
2

Y segn el termino a integrar si converge o no elegiremos la forma (10.2) o (10.3) para la

integracin de cada uno de ellos.

El termino principal, ln( s 1)

Para resolver esta integral adoptamos la forma dada en (10.3) y teniendo en cuenta el signo
negativo nos queda

1 1 a + i d ln( s 1) s
x ds
2 i ln x a i ds s

a >1

Riemann mostr que para x > 1 el valor de esta integral definida es el logaritmo integral
x dt
1 dt
Li ( x) = lim
+

1+ ln t
0 0 ln t

La funcin 1 ln t tiene una singularidad en t = 1 y la integral para x > 1 debe ser interpretada
utilizando el valor principal de Cauchy que permite asignar valores a determinadas integrales
impropias que de lo contrario resultaran indefinidas.
El valor principal dado por la integral divergente es

0 dt ln t que sale de aplicar el teorema

de Cauchy y el fundamento es el siguiente.

Si fijo x > 1 y considero la funcin definida de la siguiente forma:

F ( ) =

1 1 a + i d ln( s 1) s
x ds
2 i ln x a i ds
s

As que el nmero a determinar es F (1) , la definicin de F ( ) se puede extender a todo

nmero real o complejo de menos para 0 y con a > Re( ) y definiendo la expresin

ln [ ( s ) 1] que sea ln( s ) ln en el cual ln z es definida para todo z y que la parte

real sea z > 0 .Entonces la integral F ( ) converge absolutamente.
d ln ( s 1) ln( s 1)
1
+

2
ds
s
s(s )
s

48

es integrable mientra x oscila entre la lnea de integracin porque:

d ln( s 1)
1
=

d
s
( s)
diferenciando bajo el signo integral e integrando por partes

s
1 1 a + i d
1
1 a + i
xs
F ( ) =
x ds =
ds
2 i ln x a i ds ( s )
2 i a i ( s )
Para resolver esta integral de una forma general debemos tener en cuenta que tiene un polo o
punto singular en s = , por lo cual vamos a elegir un circuito cerrado C en el plano
complejo que rodee dicha singularidad. Por el teorema de Cauchy tenemos

xs
 c ( s) ds = 0
El circuito de integracin esta constituido por los tramos C = c1 + c2 + c3 + c4 + c5 + c6 , y
si consideramos s = Re

, ds = iR e d , siendo 0 el argumento para s = a + iR y

s = a iR , y va desde 0 a y de a 2 0 . Tambin es el radio de un circulo

que rodea el punto singular y cuyo argumento es y va desde a por lo que
s = ei , ds = i ei d . Debemos considerar dos tramos iguales pero de distinto
sentido que caen en el eje real y conectan el circulo mayor de radio R y el menor de radio
que rodea el punto singular , definiendo para un tramo s = e i = y para el otro
i
tramo de distinto sentido s = e
= , en ambos casos s = , ds = d .
Reemplazando tenemos
a + iR

a iR
+

x e
xs
x Re
x
i
( i ei )d +
ds +
i Re d +
d +

i
i
0 ( Re )
e
R
( s)

d +

2 0

x Re
i Rei d = 0
i
( Re )

Tomando limites cuando R y 0 la segunda y sexta integrales tienden a 0 cuando

R y la tercera y quinta integrales se anulan por ser de signos opuestos, por lo cual
queda.
i
a + iR

x e
xs
i
lim lim
ds i
(

e
)
d

=0
ei

R 0 a iR ( s )

49

a + i

a i

x
xs
ds = i
d

( s)

= 2 i

Despejando trminos

1 a + i
xs
x

ds =
2 i a i ( s )

F ( ) =

Otra forma de resolver esta integral de una forma particular es aplicando la inversin de
Fourier, operando sobre los trminos se tiene

F ( ) =

1 a + i x s
ds
2 i a i ( s )

Y reemplazando x = e , s = a + i , ds = id

1
F ( ) =
2

e a ei
(a + i ) d

( ) = F ( )e a =

1
2

ei
(a + i ) d

Ahora debemos determinar el valor de

1
) = x s x 1dx
1
s

( )

Valida para Re( s ) > 0

1
a + i

) = e ( a )e i d
0

Valida para a > Re( )

Y dependiendo de si la variable x es mayor o menor que cero se obtendrn dos resultados.

Si

( ) = (

( ) =

1
2

1
a + i

1
a + i

( ) = e ( a )

)ei d

50

e e a =
e =

1
2

( a + i )e

e( a + i )
(a + i ) d

1
2

Reemplazando por x = e , s = a + i , ds = id

a + i

ei x d =

2 e x ( a ) x > 0
0 x < 0

De la cual se deduce

1 a + i x s
x =
ds
2 i a i ( s )

Esta ultima ecuacin puede tener dos soluciones dependiendo del valor de x

x > 1 x , x <1 x = 0
Teniendo en cuenta que a > Re( ) y que x > 1 se asume que esta toma el siguiente valor

F ( ) = x
despejando

F ( ) =

Si C denota el contorno en el plano complejo t el cual consiste de la lnea segmento desde 0

a 1 ,(donde es un pequeo nmero positivo), seguido de un semicrculo en la mitad
superior del plano complejo Im(t ) 0 y desde 1 a 1 + seguido de la lnea segmento
de 1 + a x , dejando la siguiente expresin:

t 1
dt
C + ln t

G( ) =

Entonces la derivada es
x

G( ) = + t
C

t
dt = = F ( )
0

51

ahora G ( ) es definida y analtica para Re( ) > 0 , si Re( ) < 0 entonces la integral que
define G diverge en t = 0 ,como es F ( ) de aqu esta difiere de una constante la cual
depende de x aunque Re( ) > 0 , Riemann establece que esta constante puede ser evaluada

manteniendo Re( ) fijo y dejando Im( ) + en ambos F ( ) y G ( ) , pero el no

llevo a cabo esta evaluacin.
Para evaluar el limite de G ( ) se toma como = + i , donde es fijo y , el

cambio de variable es t = e y por lo tanto

G( ) =

i + ln x

d +

ln x

i + ln x

= ln t por lo G ( ) queda de la forma

El camino de integracin ha sido alterado ligeramente usando el teorema de Cauchy, y el

cambio de variables es = i + v en la primera integral y = ln x + iw para la segunda

G( ) = e

ln x

w iw
e v i v
e
e
e dv ix
dv
0 ln x + iw
i + v

, la primera porque e 0 y la
w
segunda porque e
0 excepto en w = 0 , de esta forma el limite de G ( ) cuando
es cero. Este argumento no seria valido si C + fuera cambiado siguiendo el
Ambas integrales se acercan a cero cuando

semicrculo inferior porque entonces e

Para evaluar el lmite F ( ) se define

H ( ) =

debiera ser reemplazado por e

ye

por e

1 1 a + i d ln [1 ( s ) ] s

x ds
s
2 i ln x a i ds

) ] es definido para todo nmero complejo

siempre que 0 , y se puede expresar la siguiente relacin ln( s ) ln( ) para
poder obtener la diferencia H ( ) F ( ) definida para todo nmero complejo sobre el
eje real y sobre el semiplano superior es decir Im( ) > 0 .
Donde a > Re( ) y donde ln 1 ( s

H ( ) F ( ) =

1 1 a + i d ln( ) ln( ) s
1 a + i d i s
x
ds
=
x ds

2 i ln x a i ds
s
2 i a i ds s

La cual se puede resolver utilizando la inversin de Fourier.

H ( ) F ( ) =

1 a + i i s
x ds = i
2 i a i s

52

Para el caso de > 0 se obtiene F ( ) = H ( ) + i que corresponde a la mitad del

semiplano y es suficiente para evaluar el limite de H ( ) cuando para = + i si

1 ( s ) 1 de aqu el logaritmo tienda a cero y que H ( ) tambin tienda a cero.

ln [1 ( s ) ]
ln [1 ( s ) ]
d ln [1 ( s ) ]
1
1
1
+
=

=
ds
s
s(s )
(s ) s
s2
s2

Multiplicando por x ds 2 i e integrando desde a i a a + i en el usual sentido se

obtiene el siguiente resultado
s

x0

( x 1)

0 la funcin H ( ) se aproxima a cero, por lo que se puede

deducir H ( ) G ( ) .

Entonces cuando

F ( ) = G ( ) + i Valida para el semiplano Re( ) > 0

Entonces el nmero deseado F (1) es:

F (1) =

1+ (t 1) dt
x dt
dt
+
+
+ i
ln t 1 ln t (t 1) 1+ ln t

(t 1)
1 y la siguiente integral es
ln t
el limite 0 de la formula para F (1) queda
Como

0 el termino

1+

dt
= i entonces
(t 1)

F (1) = Li ( x)
por lo cual

1 1 a + i d ln( s 1) s
x ds = Li ( x)
2 i ln x a i ds s

(10.4)

El trmino envolviendo las races, ln [1 ( s ) ]

El trmino envolviendo los ceros no triviales de la funcin zeta puede resolverse de manera
similar pero teniendo en cuenta algunas particularidades

53

1 1 a + i d ln [1 ( s ) ] s

x ds
s
2 i ln x a i ds

De manera similar se define la funcin

H ( ) la cual se relaciona de la

forma H ( ) G ( ) y para en el primer cuadrante Re( ) > 0 , Im( ) > 0 y de la

misma forma en el cuarto cuadrante.

t 1
t
( +
dt + +
dt )
C ln t
C ln t
Im > 0
Si

es real y positivo y haciendo el cambio de variable t = ln , dt t = d

x d
t 1

C + ln t dt = 0 ln = Li( x i )

Para la segunda integral el camino de integracin es sobre la singularidad en = 1 y esta

integral converge a travs del semiplano Re( ) > 0 y da la continuacin analtica de

Li ( x ) en ese semiplano cuando x es un numero fijo y cumple con x > 0 .Con igual criterio
obtenemos el valor para el cuarto cuadrante.

t 1

C ln t dt = Li( x ) + i )
al reemplazar el valor de

segn el cuadrante nos queda

t 1
t
( +
dt + +
dt ) = Li ( x ) + Li ( x1 )
C ln t
C ln t
Im > 0
Im > 0
recordando que los ceros no triviales son simtricos en la lnea recta Re( s ) = 1 2 .

= 1 2 + i

Li( x ) =

Im > 0

1 = 1 (1 2 + i ) = 1 2 i

Li ( x ) + Li ( x1 )

donde son los ceros no triviales de la funcin zeta, y la sumatoria no es totalmente

convergente.

1 1 a + i d ln [1 ( s ) ] s
x ds = Li ( x )

2 i ln x a i ds
s

(10.5)

54

El termino, ln ( s 2 + 1)
El termino que envuelve la funcin gamma esta dado por

1 1 a + i d ln ( s 2 + 1) s

x ds
2 i ln x a i ds
s

Para resolver esta integral partimos de las propiedades de la funcin gamma

s( s) = ( s + 1)
y utilizamos la definicin de la funcin Gamma en forma de productos infinitos dada por
Euler y Weierstrass, que vale para todo complejo que no sea entero negativo.

e s
( s ) =
s

(1 s n)
n =1

1 s n

s( s) = ( s + 1) = e s (1 s n) 1 e s n
n =1

s
s
ln ( s + 1) = s + ln(1 + )
n
n =1 n n =1

Sustituyendo s s 2

s
s
ln ( s 2 + 1) = s 2 + ln(1 + )
2n
n =1 2n n =1

Teniendo presente la propiedad dada en la integracin por partes nos conviene utilizar la
forma que contiene la derivada bajo el smbolo integral.

1 a + i ln ( s 2 + 1) s
1 1 a + i d ln ( s 2 + 1) s
x
ds
=

x ds
2 i a i
s
2 i ln x a i ds
s

Derivando los trminos

d s
= 0
ds 2 s

d s

=0
ds n =1 2ns

d
s
ln(1 + ) 0
ds n =1
2n

55

se puede expresar de la siguiente manera

1 1 a + i d ln [1 ( s 2n) ] s

x ds = H (2n)
a i ds
s

n =1 2 i ln x
n =1

Pero como H ( ) se aplica para

E ( ) =

t 1

ln t

> 0 entonces para

< 0 se tiene que

dt

Entonces E ( ) H ( )
1
t dt
x

E( ) =

Y al reemplazar

E ( ) =
n =1

= F ( ) = H ( )

= (2n)

t 2 n 1

ln t

dt =

t 3

ln t

( t
n =0

2 n

) dt =

t 3

dt
1
dt
=

x t (t 2 1)ln t
ln t 1 t 2

1 a + i ln ( s 2 + 1) s
dt
x
ds
=
x t (t 2 1)ln t
2 i a i
s

(10.6)

Figura 9: Grafico de f (t ) en funcin de t

56

El termino, ln (0)
Aplicando la inversin de Fourier se puede determinar el valor de la integral

1 1 a + i d ln (0) s
1 a + i ln (0) s
x ds =
x ds = ln (0)

2 i ln x a i ds s
2 i a i s

definimos los trminos para aplicar el teorema de inversin de Fourier

x = e , s = a + i , ds = id

F (e ) =

1 a + i ln (0) s
1
x
ds
=
2 i a i s
2

ln (0) a i
a + i e e d

F ( e )e a
( ) =
ln (0)

1
= x s 1dx
0
s

( ) = e

1
=
2

1
= e a e i d

a + i

ei
(a + i ) d

Igualando trminos tenemos para

( )

F (e ) = F ( x) = ln (0)
1 a + i ln (0) s
x ds = ln (0)
2 i a i s

(10.7)

El termino, s 2ln
Al elegir la forma dada en (10.3) rpidamente se ve que la integral es cero.

1 1 a + i d s 2ln s

x ds
2 i ln x a i ds s

Por lo que la derivada da cero

57

d s 2ln d ln

=
ds s ds 2

=0

1 a + i s ln

2 i a i 2

1 1 a + i d s 2ln s
s
x
ds
=

x ds = 0
2 i ln x a i ds s

(10.8)

Una vez establecidos los trminos nos resta reemplazar cada uno de ellos para la ecuacin de
J ( x ) dada en (10.2)

J ( x ) = Li ( x )

dt

Li
x
Li
x
(
)
+
(
)
+

2
x t (t 1)ln t + ln (0)
Im > 0

J ( x ) = Li ( x ) Li ( x ) ln 2 +

( x > 1)

dt
t (t 1)ln t
2

( x) se obtiene aplicando la formula de inversin de Mbius dada en (5.2)

Y la formula para

( x) =

( n)

n =1

dt
1n
n

Li
(
x
)
Li
(
x
)
ln
(0)

+
+

(10.9)

x1 n t (t 2 1)ln t
n

desarrolando los trminos y reagrupndolos

( x) = Li ( x) Li ( x ) ln 2 +

n=2

dt
t (t 2 1)ln t

( n)

dt
1n
n
Li
(
x
)

Li
(
x
)

ln
2
+

x1 n t (t 2 1)ln t
n

En la ltima expresin nos queda un trmino error a determinar E ( x) , por lo tanto en forma
ms compacta podemos expresar la funcin contadora de primos como:

( x) = Li ( x) + E ( x)
Si uno restringe la

a un numero finito de trminos se deriva la expresin para J ( x ) ,

sabiendo que una parte disminuye muy rpidamente con el incremento de x la siguiente

58

expresin

1
cos( ln( x)) 1 2
2
x da una aproximacin para la densidad de los
ln x
ln
x

nmeros primos mas la mitad de la densidad de la raz de los nmeros primos mas un tercio
de la densidad del cubo de los nmeros primos , etc , en una magnitud x . La conocida
expresin que da una aproximacin para la funcin contadora de primos es ( x) Li ( x ) ,
1 2

y da un cierto valor porque los

es por lo tanto valida para cantidades de un orden x
trminos no peridicos en la expresin para ( x) provienen de cantidades que no se vuelven
infinitas con x .

Li ( x) 1 2 Li ( x1 2 ) 1 3 Li ( x1 3 ) 1 5 Li( x1 5 ) +1 6 Li ( x1 6 ) 1 7 Li ( x1 7 ) +
En la comparacin de Li ( x ) con el numero de primos menores que una cantidad x dados por
Gauss , esta ultima expresin puede presentar fluctuaciones graduales con x ,entonces se
puede dar una aproximacin a la funcin contadora de primos de la siguiente forma.

( n)

n=2

( x) Li ( x ) +

x
1000000
2000000
3000000
4000000
5000000
6000000
7000000
8000000
9000000
10000000
Tabla 5: Errores al calcular

Li ( x1 n )

Riemann error
30
-9
0
33
-64
24
-38
-6
-53
88

Gauss error
130
122
155
206
125
228
179
223
187
339

( x) por medio de las ecuaciones dadas por Riemann y Gauss

En la figura 10 se grafican oscilaciones entre Li ( x ) y

por las ecuaciones de Riemann.

( x) debidas a aproximaciones dadas

59

Figura 10: Comparacin de fluctuaciones entre J ( x ) , Li ( x ) y ( x)

La hiptesis de Riemann es equivalente a determinar

( x ) = Li ( x ) + O( x1 2 + ) .

60

Captulo 11
Determinacin de los ceros no triviales de la funcin zeta
La formula Riemann-Siegel fue descubierta por Riemann pero no publicada por el, fue
descubierta entre los papeles de Riemann por Siegel y publicada en 1931. La forma para
determinar los valores de los ceros no triviales de la funcin zeta esta basado en el mtodo del
punto silla para la evaluacin de integrales. Los ceros de la funcin de Riemann-Siegel
corresponden a la parte imaginaria de los ceros no triviales de la funcin zeta sobre la lnea
crtica y se basa en el hecho de que ambas funciones son holomorfas sobre dicha lnea.
Partiendo de la definicin de la funcin Xis

s
2

( s) = ( + 1) s 2 ( s 1) ( s )

x s 2e x dx s 2 ( s 1) ( s ) =

x s 2 1e x dx s 2 ( s 1) ( s )

la cual puede reescribirse como

s
2

s
2

( s) = ( ) s 2 ( s 1) ( s)
Ahora teniendo en cuenta el valor para s =
s

1
+ it siendo la parte imaginaria positiva queda
2
s

1 1

ln ( )
ln ( ) ( + it ) 1 1
1
s ( s 1)
1
1
( + it ) = e 2 s 2
(s) = e 2 2 2
( + it )( + it 1) ( + it )
2
2
2 2
2
2

s
1
Re ln ( )
2
e
4

4t 2 1 iI m ln ( 2s ) i 2t 1

(
+
it
)

8
2

la cual nos queda expresada en una parte real y otra parte imaginaria, reagrupando trminos
podemos definir una funcin que de nmeros reales en funcin de la parte imaginaria.

1
Z (t ) = ei(t ) ( + it )
2

(11.1)

En donde (t ) es definida como

61

1
t t

(t ) = I m ln ( i ) + ln
2 2 2

recordando que Riemann derivo una formula valida para todo s

(1 s )
(s) =
2 i

( x) s dx
ex 1 x

cuya trayectoria de integracin es un curva que rodea el origen y tiene una singularidad, al
tener en cuenta la siguiente relacin

e Nx
=
e nx
x
e 1 n = N +1

ex
=
ex 1

nx

n =0

podemos obtener un definicin alternativa

N

( s) =

n =1

(1 s)
+
2 i

+ Nx

( x ) s dx
ex 1 x

si cambiamos los contornos de integracin a una curva C ( M ) cuyos crculos en los polos
2 im con 1 m M y m , se puede aplicar el teorema de los residuos de Cauchy
quedando la siguiente expresin.

( s) = (1 s )(2 )
N

( s) =

s 1

2 sen(

s
2

(1 s )

n =1

+ 2( s 1)(2 )

s 1

n =1

sen(

s
2

(1 s )
+
2 i
M

n
n =1

s 1

( x) s dx
x
C(M ) e 1 x

( s 1)
+
2 i

e Nx ( x ) s dx
C(M )
ex 1 x

recordando la simetra de la ecuacin funcional al multiplicar ambos miembros por

1 2 s ( s 1) ( s ) obtenemos otra ecuacin simtrica para ( s ) .

s
( s) = ( s 1)( + 1) s 2
2

n
n =1

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

(1 s )

n =1

e Nx ( x) s dx
+
x
s
4 i (2 ) s 1 sen( ) C ( M ) e 1 x
2

62

Como nos interesa el caso en donde s cae en la lnea s = 1 2 + it para t R entonces

observando los dos primeros trminos y teniendo en cuenta la simetra s (1 s ) se deduce

que N = M . Poniendo los trminos como:

1

1
+ it
n 2

1
1 2 + it 2 ( 2 + it )
(t ) = + it
+ 1
2
2

Se puede reescribir la formula

1
( + it ) = (t )
2

1
it
n 2

+ ( t )

n =1

n =1

( t )

1
+ it

2i (2 ) 2 sen

1
(
2 2 + it )

C(N )

Nx

1
+ it
(1)( x) 2

ex 1

dx

Nos queda expresada en los trminos anteriormente definidos

(1 2 + it ) = r (t ) Z (t )
R ln ( s 2) ] 1 4 4t 1
r (t ) = e[ e
(
)
8
2

R ln ( s 2) ] 4 s 1 [ iI m ln ( s 2) ]
= e[ e
s
e
2

i
s
= ( + 1) 4 e (t ) 2 = (t )e i(t )
2
i ( t )

Poniendo el trmino r (t ) = (t )e
en la ecuacin
trmino r (t ) = r (t ) para obtener la expresin

Z (t ) = e

i ( t )

1
it
n 2

+e

i ( t )

n =1

( s) = r (t ) Z (t ) podemos cancelar el

1
+ it
n 2

n =1

i ( t )

1
+ it

2i (2 ) 2 sen

(
2 2 + it )

C (M )

Nx

1
+ it
(1)( x) 2

ex 1

dx

63

ahora vamos a realizar la siguiente simplificacin

2isen(

s
2

)=

i s
e2

i i
e 4 e2

i s
2

=e

i
(e 2 et

i s
2 (ei s

1) =

1) = e

i i
e 4 e 2

i s 1
1
( + it ) i s ( + it )
2 2
(e 2

(1 e

isen( )) =
2

1)
i i
e 4 e 2

(1 iet )

Teniendo en cuenta la siguiente propiedad de los nmeros complejos conjugados

ln ( Z ) = ln ( Z )
podemos escribir la siguiente relacin para (t )

1
t t

(t ) = I m ln ( i ) + ln
2 2 2

1
t t
1
t t
= I m ln ( + i ) + ln = I m ln ( + i ) + ln
2 2 2
2 2 2

1
t t

= I m ln ( + i ) ln = (t )
4 2 2

Si consideramos el siguiente nmero complejo z = a + ib se puede expresar la siguiente

propiedad de los complejos conjugados

I m ( z ) = I m ( a ib) = ib = I m ( z )
Por lo que se pueden reagrupar los trminos para Z (t ) de la siguiente manera

i ( t )

1 2 it

+e

i ( t )

n =1

1 2 + it

=e

i ( t )

n =1

n
n =1

1 2

1 2 it

n =1

(e

i ( t ) it ln n

)+

+e

i ( t )

1 2 it

n =1

1 2

(e i (t )eit ln n )

n =1

64

1 2 i ( t ) t ln n

n =1

)+e

i ( t ) t ln n

=2

1 2

cos [ (t ) t ln n ]

n =1

Y el ultimo termino de Z (t ) como

i ( t )

1
+ it

2i (2 ) 2 sen

1
(
2 2 + it )

1
+ it
( 1)( x) 2

1
+ it
(2 ) 2

i ( t )

i t

t
4
2
e e (1 ie )

i ( t ) t 2

1
+ it
(2 ) 2

dx =

ex 1

C(N )

Nx

t
4
e (1 ie )

Nx

ex 1

C(N )

1
+ it
( 1)( x) 2

Nx

C(N )

1
+ it
(1)( x ) 2

ex 1

dx

dx

quedando finalmente la expresin total de la forma:

Z (t ) = 2

1 2

cos [ (t ) t ln n ]

n =1

i ( t ) t 2

1
+ it
(2 ) 2

t
4
(1
)
e

ie

C(N )

Nx

1
+ it
(1)( x ) 2

ex 1

dx

(11.2)

65

de una forma mas compacta puede ser expresada

N

Z (t ) = 2

1 2

cos [ (t ) t ln n ] + R(t )

(11.3)

n =1

El termino menor R (t ) desafortunadamente diverge cuando N , pero los trminos de

esta decrecen en tamao por lo cual se puede hacer una aproximacin de Z (t ) en la siguiente
forma
N

Z (t ) 2

1 2

cos [ (t ) t ln n ]

n =1

(11.4)

Determinacin de (t )
Para la determinacin de la parte imaginaria de (t ) partimos de la definicin de la funcin
Gamma en forma de productos infinitos dada por Euler y Weierstrass, y que vale para todo
complejo que no sea entero negativo.

e s
( s ) =
s
en donde

(1 s n)

1 s n

n =1

es la constante de Euler- Mascheroni

Sacando logaritmo a ( s )

ln ( s ) = s ln s +

s
s

ln(1
+
)
n
n
n =1

y expresando el numero complejo en la forma exponencial de Euler que tiene en cuenta su

modulo y argumento

s = s eiw

s=

1
t
+i
s = (1 4) 2 + (t 2) 2
4 2

Siendo w el argumento

ln s = ln( s eiw ) = ln s + iw = ln s + i arctan( w)

66

tan w =

t 2
= 2t
14

w = arctan(2t )

ln s = ln( s eiw ) = ln s + iw = ln s + i arctan(2t )

tan w =

t 2
2t
=
1 4 + n 4n + 1

w = arctan(

2t
)
4n + 1

s
) se tiene
n
s
t
1
ln(1 + ) = ln( n + s ) ln n = ln ( + n) + i ln n
n
2
4

Desarrollando el trmino ln(1 +

1
t
2t
= ln ( + n) + i + i arctan(
) ln n
4
2
4n + 1
Juntando los trminos queda

ln ( s ) = + ln s +
4

n =1

1
t
( + n) + i +
4
2

ln n
n =1

+i t arctan(2t ) +
2

n =1

2n

arctan(

n =1

2t
)
4n + 1

y como solo nos interesa la parte imaginaria

1
t

I m ln ( i ) = t arctan(2t ) +
2 2 2

n =1

2n

n =1

arctan(

2t
)
4n + 1

Que al reemplazarla en (t ) finalmente nos queda

(t ) = (

+ ln
2

)t arctan(2t ) +

n =1

t
2t
arctan(
))
2n
4n + 1

(11.5)

67

Esta funcin se puede representar en forma de expansin asinttica, y da una buena

aproximacin para t 1

t
t
t
1
7
(t ) = ln( ) +
+
+ +
2 2
2 8 48t 5750t 3

(11.6)

Figura 11: Grafica de la funcin theta de Riemann-Siegel

Determinacin de R(t )
Para determinar el trmino remanente se utiliza el mtodo del punto silla que sirve para la
aproximacin de integrales y para encontrar formulas asintticas que representen una
determinada funcin para valores grandes de la variable que la define. Entonces para R (t ) y
cuando N .

R(t ) =

R(t ) =

i ( t ) t 2

1
+ it
(2 ) 2

e 4 (1 ie t )

i ( t ) t 2

1
+ it
(2 ) 2

t
4
e
ie
(1

Nx

ex 1

C(N )

C(N )

1
+ it
(1)( x ) 2

Nx

1
+ it
(1)( x ) 2

ex 1

dx

dx

68

Se puede obtener una solucin de la forma

R(t ) ( 1) N 1 (t 2 ) 1 4 c0 + c1 (t 2 ) 1 2 + c2 (t 2 ) 2 2 + c3 (t 2 ) 3 2 + c4 (t 2 ) 4 2
y definiendo la funcin

( p) =

i 8 2 ip 2

e
2 i

iu 2 4 2 pu

e
eu 1

du =

cos(2 ( p 2 p
cos(2 p )

1
))
16

Donde r es un segmento que va desde 0 a 2 i .

los coeficientes vienen dados por

c0 = ( p ) =

cos(2 ( p 2 p
cos(2 p )

1
))
16

1 d 3 ( p )
c1 =
96 2 dp 3
c2 =

1
d 6 ( p)
1 d 2 ( p)
+
18432 4 dp 6
64 2 dp 2

c3 =

1
d 9 ( p )
1
d 5 ( p )
1 d ( p)

5308416 6 dp 9
3840 4 dp 5
64 2 dp

1
d 12 ( p )
11
d 8 ( p )
19
d 4 ( p)
c4 =

+
2038431744 8 dp12
5898240 6 dp8
24576 4 dp 4
+

1
( p)
128 2

Y se puede hacer una aproximacin del trmino remanente de la forma

2
cos(2

(
p

))
N 1
1 4
16
R(t ) ( 1) (t 2 )

cos(2
)
p

(11.7)

69

Finalmente Z (t ) puede ser aproximado por la formula que tiene en cuenta la suma de dos
trminos.
N

Z (t ) 2

cos [ (t ) t ln n ]

1 n x

cos [ (t ) t ln n ] + R (t )

(11.8)

Ejemplo 11: Para determinar la parte imaginaria de la races debemos recurrir a algn tipo de
algoritmo ya que no se pueden calcular directamente en forma algebraica, a continuacin
daremos un ejemplo para determinar el primer valor de la parte imaginaria de t .

x=

t
2

N (Parte entera de x)

p (Parte fraccional de x)

Usando las ecuaciones que nos dan una aproximacin de Z (t )

N

Z (t ) 2

1 n x

cos [ (t ) t ln n ]
n

cos [ (t ) t ln n ] + R (t )

t
t
t
1
7
(t ) = ln( ) +
+
+ +
2 2
2 8 48t 5750t 3

2
cos(2

(
p

))
N 1
1 4
16
R(t ) ( 1) (t 2 )

cos(2
p
)

Partiendo de un valor aleatorio de x debemos ir calculando valores de Z (t ) hasta que cambie

de signo justo cuando cambia el signo se encuentra un valor de t que hace cero a Z (t ) y
justamente ese valor de t corresponde a un cero de la funcin zeta de Riemann.

t = 14.13
p = 0.4996

x = 1.4996
(14.13) = 1.73053

N =1
R(14.13) = 0.31250

n =1
Z (14.13) = 0.0056

Tabla 6: Valores para calcular Z (t ) cuando t = 14.13

70

t = 14.14
p = 0.50015

x = 1.50015
(14.14) = 1.72653

N =1
n =1
R(14.14) = 0.31244 Z (14.14) = 0.00224

Tabla 7: Valores para calcular Z (t ) cuando t = 14.14

Como Z (14.13) = 0.0056 es negativa y Z (14.14) = 0.00224 es positiva se sabe que
entre ambos valores existe un cero de la funcin zata de Riemann entre t = 14.13 y
t = 14.14 , para ser mas precisos se usan mas trminos en (t ) o mayores trminos en la
serie para R (t ) ,usando mayor precisin el primer cero se da en Z (14.134725142) = 0 es
decir el primer cero de la funcin zeta es s = (1 2 + i 14.134725142) .

De igual manera se pueden ir calculando los siguientes valores de t por medio de algn
algoritmo que sistematice el proceso de clculo. En la Tabla 8 se dan los primeros 50 valores
de los ceros no triviales con 6 dgitos decimales en forma creciente de izquierda a derecha.

14.134725
37.586178
52.970321
67.079810
79.337375
92.491899
103.725538
114.320220
124.256818
134.756509

21.022039
40.918719
56.446247
69.546401
82.910380
94.651344
105.446623
116.226680
127.516683
138.116042

25.010857
43.327073
59.347044
72.067157
84.735492
95.870634
107.168611
118.790782
129.578704
139.736208

30.424876
48.005150
60.831778
75.704690
87.425274
98.831194
111.029535
121.370125
131.087688
141.123707

32.935061
49.773832
65.112544
77.144840
88.809111
101.317851
111.874659
122.946829
133.497737
143.111845

Tabla 8: Los 50 primeros valores de la parte imaginaria de los ceros no triviales.

71

Figura 12: Grafico de Z (t ) en funcin de t

Intervalos entre ceros consecutivos

Una de las cuestiones que se plantean es como estn distribuidas las partes imaginarias de los
ceros en la lnea s = 1 / 2 + it con t R , para ello se busca estimar la diferencia entre las
partes imaginarias de los ceros consecutivos en dicha recta.
Sea tn la parte imaginaria del ensimo cero de la funcin ( s ) de la forma 1 / 2 + it con

t > 0 , de forma tal que 0 < t1 t2

tn +1 tn < tn

Hardy dio una estimacin con = 1 4 , otra estimacin mejor fue dada por Ivic y vale

0.15594583 < 5 32 . Los ceros de alejan y acercan dentro de un cierto rango mximo

y mnimo.

Hiptesis de los nmeros primos consecutivos

Para intervalos entre dos nmeros primos consecutivos se obtienen estimaciones asintticas
del tipo
con 0 < < 1 y

pn +1 pn pn ( ln pn )

Si la hiptesis de Riemann es cierta se verifica la estimacin

pn +1 pn pn1 2 ln pn

72

Captulo 12
Comentarios finales
Si bien el breve ensayo que Riemann escribi en 1859 fue la gran obra maestra sobre la
distribucin de los nmeros primos, al utilizar la variable compleja y relacionar la funcin
contadora de primos y el producto de Euler de la cual deduce una formula para ( x) cuyo
termino principal es Li ( x) , pero no se puede afirmar que Riemann probase el teorema de los
nmeros primos ya que en su escrito enuncia varias propiedades que no demuestra, tampoco
dejo muy en claro que el termino Li ( x) dominase sobre el resto y tampoco que tenga mucho
sentido por algunos problemas de convergencia, a pesar de ello Riemann marco el camino
para desarrollos posteriores y fue en 1896 que Hadamard y de la Valle Poussin consiguieron
independientemente una demostracin completa de dicho teorema.
En 1944 Selberg y Erdos desarrollaron una demostracin elemental del teorema de los
nmeros primos. Tambin existen pruebas que esta ms cerca del anlisis real que del
complejo.
Lo que si queda claro es que si se quiere estudiar el trmino error en el teorema de los
nmeros primos, se debe enfrentar a los misteriosos ceros no triviales de cierta funcin
compleja. El mejor resultado en la teora de nmeros se obtendra si se resolviese la famosa
Hiptesis de Riemann la cual sigue sin probarse a pesar del esfuerzo de los mejores
matemticos del mundo durante ms de 145 aos.

73

Bibliografa
[1] Riemann, George F , Ueber die anzahl der primzahlem unter einer gegebenen Grsse,
Manuscrito original de Riemann, 1859.

[2] H. M. Edwards, Riemann's Zeta Function, Academic Press, 1974.

[3] Sarah L. Johnson, Riemann Zeta and the Prime Numbers, 2007
[4] Marcus Du Sautoy, The Music of the Primes, Harper Perennial, New Ed, 2004
[5] E.C.Titchmarsh, The zeros of the Riemann zeta-function, Proc.Roy.Soc.Ser, 1935
[6] A. Ivic, The Riemann zeta-function: the theory of the Riemann zeta-function with
applications, 1985.

Espero que el lector sepa disculpar los posibles errores no detectados, en este sentido
cualquier indicacin al respecto ser tenida en cuenta y bien aceptada.
numerosprimos@live.com.ar

74