INTRODUCCIN

Bernhard Georg Friedrich Riemann naci en Beselenz,

Hannover, Alemania, el 17 de septiembre de 182! F"e "no de los
matem#ticos m#s destacados del siglo $%$, siendo s"s ideas sobre
geometr&a espacial '"ndamentales para el desarrollo de la teor&a de
la relatividad! (ambi)n hizo aportaciones importantes en el
#mbito del c#lc"lo * de la teor&a de n+meros! ,st"di en la
"niversidad de Gotinga, donde se doctor a los 2- a.os! /"ri el
20 de 1"lio de 18 en 2elasca, %talia, de1ando sin demostrar "na
de las con1et"ras m#s 'amosas de todos los tiempos3 la Hiptesis
de Riemann!
Funcin Zeta de Riemann
4a '"ncin zeta de Riemann *a era conocida por ,"ler en 1757, pero s"s propiedades
m#s importantes '"eron demostradas por el primero! Riemann la est"dio a 'ondo en 18-6 en
s" traba1o sobre los n+meros primos! 4a '"ncin tambien aparece en ciertas integrales
relevantes en problemas de '&sica, como p"ede ser la teor&a c"#ntica de campos!
4a principal aportacin de esta '"ncin es 7"e est# &ntimamente relacionada con la
distrib"cin de n+meros primos! ,st# de'inida para todo n+mero comple1o s con Re8s9:13
,n la regin ;s en <3 Re8s9:1=, la serie converge, * para s>1 tenemos la serie armnica!
Riemann e?tendi la '"ncin para todos los n+meros comple1os s con s1, siendo )sta la
'"ncin ob1eto de la hiptesis de Riemann! 4a cone?in de esta '"ncin con los n+meros
primos '"e desc"bierta por ,"ler!
( )
( )

p
z
p
z
1
1

,ste prod"cto in'inito se e?tiende sobre todos los n+meros primos p!

,"ler '"e capaz de calc"lar la '"ncin para valores pares 2@ mediante la sig"iente
'rm"la3
siendo B los n+meros de Berno"illi! Ae esta 'rm"la se obtienen res"ltados conocidos,
como 829>BC! Dara n+meros impares no se conoce "na sol"cin general!
La Hiptesis de Riemann
4a hiptesis de Riemann '"e 'orm"lada por primera vez por )l mismo en 18-6, * es
"na con1et"ra sobre la distrib"cin de los ceros de la '"ncin zeta de Riemann! <on el
tiempo se ha convertido en "no de los problemas matem#ticos m#s imoportantes sin
reolver, constit"*endo el problema 8 de la lista 7"e elabor Hilbert a principios del siglo
$$! ,n la act"alidad el %nstit"to <la* de /atem#ticas o'rece 1 milln de dolares por "na
pr"eba de la hiptesis! A"n7"e a+n no ha* ning"na pr"eba constatada, la con1et"ra es
considerada cierta por la ma*or&a de la com"nidad matem#tica!
4a '"ncin zeta E8s9 est# de'inida para todos los n+meros comple1os s1! (ambi)n
posee ciertos ceros triviales para s>F2, s>FG, s>F, etc! 4a con1et"ra de Riemann hace
re'erencia a los ceros no triviales, a'irmando 7"e la parte real de todo cero no trivial de la
'"ncin es "n medio3
Re8s9>1C2H s cero no trivial de la '"ncin
2eg+n esto los ceros no triviales de la '"ncin deber&an encontrarse en la recta I J i!t,
donde t es "n n+mero real! 4a con1et"ra se ha veri'icado n"m)ricamente a lo largo de los
primeros diez trillones de ceros no triviales de la '"ncin, traba1o llevado a cabo por $avier
Go"rdon en 200G! 4as investigaciones acerca de "na posible 1"sti'icacin de lo anterior han
ampliado tremendamente los conocimientos sobre el campo comple1o!
,n 1"nio de 200G, 4o"is de Branges de Bo"rcia prop"so "na demostracin en s"
Apolog&a de la Aemostracin de la Hiptesis de Riemann, a"n7"e s"s intentos anteriores de
probar la con1et"ra '"eron 'allidos! ,n estos momentos est# siendo escr"tada por la
com"nidad matem#tica, *, de ser correcta, ser# "n gran paso en la teor&a de n+meros!
Distribucin de los Nmeros rimos
,l con1"nto de los n+meros primos obedece a "n orden asim)trico, por lo 7"e
siempre ha res"ltado "n problema entender s"s le*es de distrib"cin! ,l primer matem#tico
7"e obt"vo alg+n res"ltado en este empe.o '"e ,ratstenes en el 500 a!<!, a 7"ien se debe
s" 'amosa criba! Habr&a 7"e esperar a 1757 para ver "n n"evo avance, c"*o a"tor '"e ,"ler!
Aemostr 7"e el prod"cto de todos los n+meros primos era ig"al a la s"ma de "na serie!
,n 18-6 Riemann abri "na n"eva p"erta para la investigacin de los n+meros
primos! 4as investigaciones sobre los n+meros primos se bi'"rcaron, siendo "na l&nea la
7"e se encargaba de ver la cantidad de n+meros primos hasta "n n+mero dado 8(eorema de
los K+meros Drimos9 * otra la 7"e perseg"&a demostrar s" primalidad!
4a '"ncin zeta 'orma parte del primer #mbito, logrando "na '"sin entre la
aritm)tica * la anal&tica! Riemann trat de encontrar "na 'rm"la o "n m)todo simple 7"e
p"ediese calc"lar 8?9, es decir, la cantidad de primos hasta "n n+mero ?, * a"n7"e no
logr s" cometido, sent las bases para 7"e posteriormente se p"diesen lograr alg"nas
apro?imaciones al (eorema de los K+meros Drimos!
!L"UN!# ROI$D!D$# % !LIC!CION$# D$ L! FUNCIN
,l ob1etivo del traba1o es e?poner de manera somera las propiedades, caracter&sticas
* aplicaciones de la '"ncin zeta de Riemann!
Lbviamente lo primero es pasar a de'inir dicha '"ncin3
( )

1
1
n
z
n
z
H
Aicha serie converge "ni'ormemente 1 Re C > z C z , el problema entonces
consiste en encontrar "na e?presin para dicha '"ncin '"era de esa regin, es decir
encontrar la contin"acin anal&tica a todo el plano de la '"ncin!
Antes de pasar a hablar sobre la e?tensin de la '"ncin a todo el plano, hablaremos
brevemente sobre lo 7"e es la contin"acin anal&tica3
Aadas
g f ,
'"nciones reg"lares de'inidas en las regiones conve?as
E D,
respectivamente 8en consec"encia la interseccin de ambas regiones es cone?a9, diremos
7"e
f
es contin"acin anal&tica de
g
* viceversa si
9 8 9 8 , z g z f E D z
!
,sta idea se "sa contin"amente al desarrollar en series de /c 4a"rin "na '"ncin
comple1a, p"es obtenemos "na '"ncin e?presada por medio de "na serie tal 7"e para todo
p"nto donde converge la serie, la '"ncin de partida * la serie toman el mismo valor, lo
+nico 7"e hemos hecho mediante la de'inicin es generalizar lo anterior!
,n este momento pasaremos a hablar sobre la contin"acin anal&tica de la '"ncin
de Riemann a todo el plano comple1o!
roposicin &3 0 Re C > z C z ,
( ) [ ] ( )

+
1
1
1
1
1 dx x x x z
z
z
z

, donde
[ ] x
es la
parte entera de
x
!
FAemostracin3
<onsideremos la sig"iente s"ma3
[ ] ( )
[ ]

,
_

+ + + +

,
_

+ + + +
X
z
X
n
z z z z
X X
n
z z
X
z
X
z
X n
X
n
z
X n
z z
X n
z z
dx x x z dx x n dx x dx x dx x z
dx x dx x dx x dx x z dx zx X n X X n
1
1
G
5
1 1
5
2
1
2
1
1
5
1 1
2
1
1
1 1
!!! 5 2
!!!
2i hacemos
, X
entonces3
( ) [ ] [ ] ( ) [ ] ( )

+
1
1
1
1
1 1
1
1
1
1
1
1
dx x x x z
z
dx x x x z dx x z dx x x z
n
z
z
X
z
X
z z
n
z

tal como se 7"er&a demostrar!

Antes de pasar al res"ltado tal vez m#s importante de'iniremos la 'uncin "amma
de $uler3
( )

0
1
dt t e z
z t
Lema &3 2ea
( )
( )

1
2
n
x n
e x w

, entonces
( ) ( ) x w x 2 1+
, c"mple ( ) ( ) x x x
2 C 1 1

* en
consec"encia ( ) 9 8 2 1 2
2 C 1 2 C 1 1
x w x x x w + +

!
A"n7"e no demostraremos dicho lema, si diremos 7"e para s" demostracin es
necesario hacer "so de la Frm"la de 2"macin de Doisson
roposicin ( )La ecuacin 'uncional de la 'uncin *eta de Riemann93 4a '"ncin zeta
de Riemann c"mple la sig"iente relacin3
( ) ( )
2
1
2
1
2
1
1
2
z
z
z
z
z

,
_

,
_

FAemostracin3

,
_

0
1 2 C
2
dt t e
z
z t
, realizando el cambio de variable ( ) x n t
2
obtenemos3
( )
( )
( )
( )

,
_

,
_

0 0
1 2 C
2 C
2 1 2 C
2 C
2
2 2
2 2
dx x e n
z
dx x e n
z
z x n
z
z x n
z


( ) ( )
( ) ( )

,
_

0
1
1 2 C
1
0
1 2 C 2 C
2 2
2
dx e x dx x e z
z
n
x n z
n
z x n z

,l cambio entre la s"ma * la integral ha sido posible gracias a la convergencia
"ni'orme!
(eniendo en c"enta la '"ncin de'inida anteriormente3
( )
( )

1
2
n
x n
e x w

( ) ( )

+ +
,
_

1
1 1 2 C
1
1 2 C
1
0
1 2 C
1
1 2 C 2 C
9 8 9 8 9 8 9 8
2
dx x w x dx x w x dx x w x dx x w x z
z
z z z z z

(eniendo en c"enta las propiedades de
( )
( )

1
2
n
x n
e x w

( ) ( ) ( )

+ +
1
2 C 1 2 C
1
2 C 1 2 C 1
1 2 C
1
1 1 2 C
9 1 8
1
9 8 2 1
2
9 8 dx x w x
z z
dx x w x x
x
dx x w x
z
z
z
M en consec"encia3
( ) ( ) ( ) ( )

+ +

,
_

1
1 2 C 2 C 1 2 C 2 C
9 1 8
1
2
dx x w x x
z z
z
z
z z z

Dor +ltimo basta observar 7"e si cambiamos z por zF1 en la parte derecha de la
ig"aldad obtenemos lo mismo, * como consec"encia inmediata la e?presin del '"ncional
antes en"nciado!
Ae la proposicin anterior podemos derivar 7"e la '"ncin es anal&tica en todo el
plano comple1o salvo en z>1 donde tiene "n polo simple c"*o resid"o es 1!

roposicin + )La 'rmula del producto de primos de $uler,- 4a '"ncin zeta de
Riemann c"mple 1 Re C > z C z la sig"iente relacin3
( )
( )

p
z
p
z
1
1

, donde p recorre todos los primos ma*ores 7"e "no

ropiedades de los ceros de la 'uncin *eta de Riemann-
/"chos de los res"ltados e?p"estos solamente son en"nciados, debido a la
comple1idad a la hora de demostrarlos llegando incl"so a no haber sido demostrados ho* en
d&a, m"chos a.os desp")s de 7"e '"eran en"nciados por Riemann!
&.
( ) z
no se an"la
1 Re , 0 Re C > < z z C z
salvo para los llamados ceros triviales
N m m z , 2
Aemostracin3
Dara z tal 7"e 1 Re > z , la demostracin es inmediata observando la 'rm"la de
prod"cto de primos de ,"ler, p"es ser&a necesario 7"e alg+n t)rmino del prod"cto se
an"lara para 7"e el prod"cto total '"era cero, cosa 7"e no oc"rre!
Dara z tal 7"e 0 Re < z , basta observar la relacin '"cional * la relacin anterior, *a
7"e la '"ncin Gamma de ,"ler carece de ceros! 4a '"ncin se an"la en los polos de

,
_

2
z
!
A la regin 0NzN1 se le denomina la banda cr&tica 8critical strip9!
(.
( ) z
no tiene ceros reales en la banda cr&tica!
+.
( ) z
tiene in'initos ceros en la banda cr&tica!
/. (odos los ceros no triviales de
( ) z
se enc"entra en la l&nea Rez>0!-!
,ste es "no de los problemas m#s importantes a+n no res"eltos en matem#ticas, *
los +nicos res"ltados 7"e se tienen son emp&ricos, obtenidos mediante c#lc"lo n"m)rico,
ning"no de estos res"ltados desmiente esta 'amosa hiptesis!
0. 2ea K8(9 la '"ncin 7"e nos da el n+mero de ceros de
( ) z
en la banda cr&tica tales 7"e
la parte imaginaria de z c"mpla t:%mz:0, el res"ltado '"e dado por Riemann * provado
posteriormente por von /angvoldt * a'irma lo sig"iente3
( ) 9 8log
2 2
log
2
T O
T T T
T N +
,
_

Teorema de los nmeros primos.
El camino ms corto entre dos verdades en el dominio de los reales, pasa por el
campo complejo. adamard
(al vez esta 'rase nos de "na idea de por7"e tanto inter)s en
( ) z
, * es 7"e nos
permite demostrar el Teorema de los nmeros primos 7"e a'irma3
2ea la '"ncin
( )

X p
X 1
, 7"e nos da el n+mero de primos menor 7"e "n
n+mero real $, dicha '"ncin c"mple3
( )
X
X
X !im
X
log

Aicho teorema '"e demostrado de manera independiente por Hadamard * Oall)e

Do"ssin!
4a relacin entre
( ) z
* este teorema se enc"entra a trav)s de la '"ncin de
<heb*shevPs 87"ien *a anteriormente hab&a establecido "n res"ltado m#s d)bil del teorema,
acotando entre dos valores
( ) X
93
( ) ( )

x m
m x
Aonde
( ) m
es la '"ncin de von /angvoldt, de'inida del sig"iente modo3
( )

'

casos los de resto , 0
p de cero9 7"e 8ma*or potencia "na es m si , log p
m
4a relacin se p"ede observar a partir de la ig"aldad3
( )
( )

,
_

p
z
p
z
1
1
log log
, derivando ambos t)rminos de la ig"aldad obtenemos3

( )
( )
( ) ( )
( )
( )

p m
z
n
nz
p
z z
p
z
m m p p
p p
p
dz
p d
z
z
2 1
Q
log
1
log 1 log

4a demostracin del teorema se basa en demostrar 7"e3

( )
1

X
X
!im
X

, *a 7"e est#
condicin es e7"ivalente a ( )
X
X
X !im
X
log

! ,s a7"& en consec"encia donde entran en
1"ego las propiedades de
( ) z
, es decir podemos a'rontar "n problema para el c"al casi no
tenemos herramientas matem#ticas en "n principio, haciendo "so de las propiedades de las
'"nciones holomor'as 8para la demostracin del problema es necesario hacer "so del
teorema de <a"ch*9, lo 7"e da "n p"nto de vista completamente n"evo al problema!
!utores- ablo "racia "arc1a23i4uel )&5/, 6 3i4uel Casano7as Herrero )&89+,