INTRODUCCIÓN

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 Hipótesis
de Riemann!
Función Zeta de Riemann
4a '"nción 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 '"nción tambien aparece en ciertas integrales
relevantes en problemas de '&sica, como p"ede ser la teor&a c"#ntica de campos!
4a principal aportación de esta '"nción es 7"e est# &ntimamente relacionada con la
distrib"ción de n+meros primos! ,st# de'inida para todo n+mero comple1o s con Re8s9:13
,n la región ;s en <3 Re8s9:1=, la serie converge, * para s>1 tenemos la serie armónica!
Riemann e?tendió la '"nción para todos los n+meros comple1os s con s≠1, siendo )sta la
'"nción ob1eto de la hipótesis de Riemann! 4a cone?ión de esta '"nción 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 '"nción 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"ción general!
La Hipótesis de Riemann
4a hipótesis de Riemann '"e 'orm"lada por primera vez por )l mismo en 18-6, * es
"na con1et"ra sobre la distrib"ción de los ceros de la '"nción 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 millón de dolares por "na
pr"eba de la hipótesis! 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 '"nción zeta E8s9 est# de'inida para todos los n+meros comple1os s≠1! (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
'"nción es "n medio3
Re8s9>1C2H ∀ s cero no trivial de la '"nción
2eg+n esto los ceros no triviales de la '"nción 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 '"nción, traba1o llevado a cabo por $avier
Go"rdon en 200G! 4as investigaciones acerca de "na posible 1"sti'icación 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 demostración en s"
Apolog&a de la Aemostración de la Hipótesis 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!
Distribución de los Números 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"ción! ,l primer matem#tico
7"e obt"vo alg+n res"ltado en este empe.o '"e ,ratóstenes 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 investigación 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 '"nción zeta 'orma parte del primer #mbito, logrando "na '"sión 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! FUNCIÓN
,l ob1etivo del traba1o es e?poner de manera somera las propiedades, caracter&sticas
* aplicaciones de la '"nción zeta de Riemann!
Lbviamente lo primero es pasar a de'inir dicha '"nción3
( )


·
·
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?presión para dicha '"nción '"era de esa región, es decir
encontrar la contin"ación anal&tica a todo el plano de la '"nción!
Antes de pasar a hablar sobre la e?tensión de la '"nción a todo el plano, hablaremos
brevemente sobre lo 7"e es la contin"ación anal&tica3
Aadas
g f ,
'"nciones reg"lares de'inidas en las regiones conve?as
E D,
respectivamente 8en consec"encia la intersección de ambas regiones es cone?a9, diremos
7"e
f
es contin"ación 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 '"nción
comple1a, p"es obtenemos "na '"nción e?presada por medio de "na serie tal 7"e para todo
p"nto donde converge la serie, la '"nción de partida * la serie toman el mismo valor, lo
+nico 7"e hemos hecho mediante la de'inición es generalizar lo anterior!
,n este momento pasaremos a hablar sobre la contin"ación anal&tica de la '"nción
de Riemann a todo el plano comple1o!
roposición &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
!
FAemostración3
<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 'unción "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" demostración es
necesario hacer "so de la Fórm"la de 2"mación de Doisson
roposición ( )La ecuación 'uncional de la 'unción *eta de Riemann93 4a '"nción zeta
de Riemann c"mple la sig"iente relación3
( ) ( )
2
1
2
1
2
1
1
2
z
z
z
z
z
− −

,
_

¸
¸ −
Γ − ·
,
_

¸
¸
Γ π ζ π ζ
FAemostración3


− −
·
,
_

¸
¸
Γ
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 '"nción 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?presión del '"ncional
antes en"nciado!
Ae la proposición anterior podemos derivar 7"e la '"nción es anal&tica en todo el
plano comple1o salvo en z>1 donde tiene "n polo simple c"*o resid"o es 1!

roposición + )La 'órmula del producto de primos de $uler,- 4a '"nción zeta de
Riemann c"mple 1 Re C > ∈ ∀ z C z la sig"iente relación3
( )
( )



·
p
z
p
z
1
1
ζ
, donde p recorre todos los primos ma*ores 7"e "no
ropiedades de los ceros de la 'unción *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
Aemostración3
Dara z tal 7"e 1 Re > z , la demostración 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 relación '"cional * la relación anterior, *a
7"e la '"nción Gamma de ,"ler carece de ceros! 4a '"nción se an"la en los polos de

,
_

¸
¸
Γ
2
z
!
A la región 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 hipótesis!
0. 2ea K8(9 la '"nción 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 números primos.
El camino más 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 números primos 7"e a'irma3
2ea la '"nción
( )


·
X p
X 1 π
, 7"e nos da el n+mero de primos menor 7"e "n
n+mero real $, dicha '"nción c"mple3
( )
X
X
X !im
X
log
·
∞ →
π
Aicho teorema '"e demostrado de manera independiente por Hadamard * Oall)e
Do"ssin!
4a relación entre
( ) z ζ
* este teorema se enc"entra a trav)s de la '"nción 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 '"nción 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 relación 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 demostración del teorema se basa en demostrar 7"e3
( )
1 ·
∞ →
X
X
!im
X
ψ
, *a 7"e est#
condición 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 demostración 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+,