Juegos matemáticos

por Bartolo Luque

Bartolo Luque es físico y profesor de matemáticas
en la Universidad Politécnica de Madrid. Sus investigaciones
se centran en la teoría de sistemas complejos.

La hipótesis de Riemann (y IV)

La música de los números primos

Un año, Hardy pasó sus vacaciones con Bohr en Dinamarca. Acabado el verano, comentábamos en nuestra última colum-
debía regresar a Inglaterra para comenzar el curso, pero solo había disponible na, esta identidad sugiere que la función
un pequeño barco (no había tráfico aéreo en aquel tiempo). Como es sabido, a zeta «conoce» los números primos. ¿Es
veces el mar del Norte puede estar bastante revuelto, y la probabilidad de que un posible ir más allá?
pequeño barco como aquel se hundiera no era exactamente cero. Como no tenía Esta pregunta fue la que se hizo Georg
otra opción, Hardy embarcó, pero se le ocurrió enviar una postal a Bohr con el Friedrich Bernhard Riemann en 1859, en
siguiente texto: «He demostrado la hipótesis de Riemann —G. H. Hardy». Si el un artículo titulado «Sobre el número de
barco se hundía y se ahogaba, razonó, todo el mundo creería que había demos- primos por debajo de una cierta canti-
trado la hipótesis de Riemann. Pero Dios no consentiría que él tuviera ese gran dad». En él, Riemann partió de la función
honor, y por eso no dejaría que el barco se hundiera. Obviamente, puesto que zeta de Euler, pero extendió su dominio
Hardy llegó a salvo a Inglaterra, este curioso seguro de vida fue eficaz. de definición. En lugar de considerarla
—George Pólya (1887–1985) una función de variable real, analizó qué
ocurriría si el argumento podía tomar
también valores complejos; es decir, si

E n el año 1900, el alemán David Hil- manera caótica, sin seguir ningún patrón s = s + it.
bert, uno de los mayores matemáticos obvio. Sin embrago, para números muy A partir de su expresión como una se-
de todos los tiempos, pronunció una con- grandes, la «función contador» de los nú- rie infinita, la función zeta solo está bien
ferencia durante la celebración del Segun- meros primos (la que nos dice cuántos definida para números complejos con
do Congreso Internacional de Matemáti- primos hay por debajo de un número x parte real s > 1. Sin embargo, Riemann
cos en París. En ella Hilbert enunció los dado), p(x), se comporta de una forma encontró una manera de extender la fun-
que, desde su punto de vista, debían ser sorprendentemente regular: ción al resto del plano complejo [véase
considerados los 23 problemas no resuel- x «¿Cuánto vale la suma de todos los núme-
dt
tos más importantes de las matemáticas, π(x) ≈� ≡ Li(x) , ros naturales?», por Bartolo Luque; Inves-
2 log t
aquellos en los que la comunidad debería tigación y Ciencia, octubre de 2020]. Esta
volcar todos sus esfuerzos. donde esta función se conoce como «lo- función es la que hoy conocemos como
En conmemoración del centenario de garitmo integral». función zeta de Riemann.
la conferencia de Hilbert, el 24 de mayo La función contador es una función El único punto del plano complejo
del año 2000, el Instituto Clay de Mate- escalonada que ∞ sube un peldaño–1cada vez en el que la función zeta se hace infinita
máticas anunció en un congreso en París que en ζ(s) � 
1
la =sucesión
ns
= de los
p
1
�1 naturales
− s � . apa- es s = 1. El tipo de comportamiento que
que premiaría con un millón de dólares rece un número n=1 primo.
p primoPor tanto, «sabe» presenta en este punto se conoce en mate-
a quien lograra demostrar cualquiera dónde están. Encontrar el secreto de su máticas como «polo simple». Esto quiere
de los siete problemas matemáticos que distribución puede traducirse entonces en decir que, aunque z(s) diverge en s = 1,
desde entonces se conocen como los la siguiente pregunta: ¿es posible hallar la función (1 – s)z(s) no lo hace: es una
Problemas del Milenio. De la selección una fórmula para p(x)? función suave y que toma valores finitos
original de Hilbert, solo uno aparecía en ∞ en todo el plano complejo.
1 2π
 s – 2n
 s ρ
x s s
la nueva lista: la hipótesis de Riemann.(1− s)ζ(s) = π(x)
La función � ezeta
�
≈� de�
dt1Riemann
+ ≡ � e
2nLi(x) ,
�1–
ρ
� e , Dado que tales funciones pueden ex-
2
Hoy, esta conjetura, que en ocasiones ha La teoría analítica 2 log
n=1 det números despegó ρ presarse como series de potencias, o po-
sido calificada como el problema abierto con la expresión encontrada por Leo- linomios infinitos, sus «ceros» (aquellos
más importante de toda la matemática, nhard Euler de la función zeta (z) como puntos donde la función se anula) la de-
sigue sin resolver. productorio de primos: finen totalmente. Así pues, ¿dónde están
Una de las razones por las que la Π(x) =
∞ �m
1
.
–1
los ceros de la función z(s)?
conjetura de Riemann es importante es
porque se encuentra relacionada con la
ζ(s) = � 
1 pm≤x
ns
=
1
�1 − p s � . Riemann halló que la función z(s)
tenía dos conjuntos de ceros: todos los
n=1 p primo
distribución de los números primeros. números impares negativos (–2, –4, –6...),
A lo largo de esta serie hemos visto que, Euler había considerado valores reales conocidos desde entonces como «ceros
por un lado, los números primos parecen de la variable s, en cuyo caso la función triviales», y otros de distribución mucho
surgir en la sucesión de los naturalesΠ(10)
de = �1
zeta solo
1 1 1
= � + + cuando
m converge
1 2 3
� + � 1 + 1s�>
1 2
1
+ �1. �Como
1
1
+ � � . más oscura a los que llamaremos r. En su
1
�

pm≤10
{

potencias∞de 2 de 3 de 5 de 7
1 2π
 s – 2n
 �1– ρs �e ρ ,
s s
(1− s)ζ(s) = � � �1 + 2n �e
90  INVESTIGACIÓN Y CIENCIA, marzo 2021 2 e
n=1 ρ
 x
dt
π(x) ≈� ≡ Li(x) ,
2 log t

∞ –1
ζ(s) =� n1 =  s �1 − p1s � .
n=1 p primo

En el siglo XVIII, Leonhard

Euler (izquierda) definió la
función zeta como la suma
s s s
infinita z(s) = 1/1 + 1/2 + 1/3 x
s dt
+ 1/4 ..., donde la variable s ∞
π(x) ≈� s ≡ Li(x) ,


� e � �1 + 2n� e t �1– ρs �e ρ ,
1 2π s2 log– 2n

s
tomaba valores reales. En 1859, (1− s)ζ(s) =
Bernhard Riemann (derecha) x
2
n=1 ρ
dtdeπ(x) ≈� dt ≡ Li(x) ,
x
logró extender π(x)el dominio
≈� ≡ Li(x)2, log t
definición de z(s) a todo2 logelt
plano complejo y halló una ∞

�
x –1
11 .
� 
fórmula
dt que relacionaba dicha Π(x) == 1
π(x) ≈� ≡ Li(x) , ζ(s) m = � 1 − � .
función
2 log t con la distribución de ns ps
pm≤x
los números primos. El resultado ∞ n=1 p primo
∞ –1

�  � 
conectó dos grandes áreas de 1 –1 1
x
las ζ(s)
matemáticas = —el
1
= ζ(s) �=1 − 1 �s = .
análisis
� 1 − s� .
π(x) ≈�
dt
≡ Li(x) , de funciones complejas ns pns p primo p
py la n=1
2 log t n=1 primo
x ∞ teoría de números— y dio lugar
�
–1

� 
dt 1 a un ambicioso 1 programa de Π(10) = 1 1 1 1 1 1 1 1
π(x) ≈� ≡ Li(x) , ζ(s) = =
x
�1 −dt
x dt s � . = � + + � + � ∞+ � + � � + � � .
≈� ≡ m
 
log t nsπ(x) Li(x) ,, hoy. 1 21 3 2π 1 2 1 – 1s
2 π(x) ≈� logpque
investigación ≡ Li(x)
continúa s
= de� 2 � de 3�1 + de 5� e de2n7 �1– �e ρ ,
s s
p primo 2 log tt (1− s)ζ(s)

�
pm≤10

{
potencias
n=1 2 2 e 2n ρ
n=1 ρ
∞ ∞

 �1– ρs �e
–1 ∞

� n1 =  2πs)ζ(s) = 1 �s 2π �– 2ns �1 + ss � e–ρs 2n

s s
�1 − p1s � (1−. s)ζ(s) = 1 �(1−

ρ
ζ(s) = s � �1 +2 2n�e e �1–2nρ �e , ,
∞ n=1 p primo
2 e n=1 ρ
–1 n=1 ρ

�  1
�
∞ 1
∞ 1
�1 − p1s � .
–1
Π(10) = 4 � � +2 � 1 �=+1� 1 m �. .
� 
∞ ζ(s) =
11 = 11 –1 s Π(x)
1un 2π ζ(s) = ss = ns– 2n � 11 − s� s función 1 un x2dado, la 3 serie se
s
ζ(s)
número = primo, = P(x)
artículo, Riemann � es − una �
logró factorizar .. ρ
la fun-= to de términos: para
� e � �1 + nn2ns � e n=1 p primo �1– ps ρ � e ,
p (1− s)ζ(s) p ≤x
m
2escalonada que
n=1 añade primo1/m cada vez que corta a partir
ción zeta a partir de sus ceros de la si-
p
p primo de un cierto valor m tal que
n=1 n=1
encuentra un número naturalguiente manera:
ρ
1 1
Π(x) =que es la.Π(x)x = < 2m(el. número primo más pequeño
m
1/m
� �
∞ m-ésima potencia de un primo: p m
. de ptodos).
m≤x En nuestro ejemplo, p(x 1/m) vale
 
1 2π s – 2ns s ρs pm≤x
(1 − s)ζ(s) = � � �1 + 2n�Calculemos,
e �1– ρpor �e ejemplo,
, P(10). Los 0 para m > 3, ya que 10 1/4 < 2.
2 e ∞
∞ n=1 números m
Π(x)ρp= menores
1
. o iguales que 10 son Por tanto,
Π(10) =
Π(x) � = = 1� 1 + 1contador
la1 función
=
1
+π(x�1/m
1 1Rie- 1
+ �) de ��
+ �+� �+� � .
1
�
 
1 2π s – 2n s s ρ s
2, 2 2 3
, 2 ,13, 3p2π 2 m ∞
P(x), m 1 2 3 1 , 2 1 1
m, 5 y 7. Por tanto: mann, es una versión «ponderada»
(1− s) ζ(s) = � � �1 + 2n� e �1– ρ �e ,
 
∞ m m

�
1 � 2π≤x� ss –– 2nss ss ρss

�
pm≤10m

{
2 e (1−
(1− s)ζ(s)
s)ζ(s) =
= � � �
� 11 ++ �
� ee 2n ��1– 1– ρ
�
� ee ρde,, la función p ≤x potencias
contador m=1 de 2
habitual.
de 3
A par-
de 5 de 7
n=1 ρ 2 ee
2 2n
2n1 1 1 ρρ1 = 1� 1ρ1+ 1 tir 11 11 + 1 �Riemann 1 1
donde el primer productorio corresponde Π(x) =
1
.
Π(10) = n=1 n=1
m
1 Π(10)
= � += + m
1 2pm≤10 3
� + � +1 �2++�3 de
1potencias �
2 función 12
�� ++ ��aquí,
1 �� .2 + � 1 � + � 1pudo
1contador de los
� . despejar la
7 números primos
�

{
m de de 3 de 5 de
�

p ≤10
m
{

potencias de 2 de 3 de 5 de 7
a la contribución de los ceros triviales,pym≤x de la siguiente manera:
el segundo,
Π(x) a= todos los
1
m
. demás.Π(10) =
m
1 1 1 1 1 1
= � + + � + � + � + �11 � + � � .
1 2 3 Π(x) Π(x) 1 = = 2 m1 .. 1 �1 1
� �
1
Π(10) = 4 � � +2 � � +1� � .
∞
µ(m) 1
1
2
1
3
�
Comparando x
«el productorio de ceros»
p ≤x dt
m
m π(x) = Π(x 1/m) ,
�

pm≤10
π(x) ≈� de ≡
{

con «el productorio Li(x) , de Euler,

primos»
potencias de 2 de 3 m
pm≤x
p ≤x
de 5 de 7
m
2 log t 1 1 1
m=1
Riemann descubrió una fórmula explícita Notemos que aparecen Π(10) = 44�sumandos
1 Π(10)
� +2 � 1 � +1 = 4��1 ��. +2 � � +1� � .
para la funciónΠ(10) =
contador.
1
Dicha
1 1 1
= �expresión
+ + � + � de+valor
1 1
� 1
+ �1/1,� �
+uno
1
� . cada número
por � 1 primo 2 31
donde
2 3
m(m), conocida como «función arit-
Jakob Emanuel Handmann, dominio público (Euler); Autor desconocido, dominio público (Riemann)

m 1 2 3 1 2 1 1
es la que desde entonces pm≤10trae de cabeza a menor ode
igual que 7 10. Hay 2 sumandos de mética de Möbius», es una función que
�

potencias de 2 de 3 5 de

� 1 1 1
1 matemáticos. 1 1 1 1 ∞
los valor 1/2, 1
puesto 1 1
Π(10) = = � + + ∞ �+� + �+� �+� � . = 114 �= �� 11+2 �11 +�11+1� +� ��11 .+ 11 � + � 11 � + � 11 � . solo toma los valores
que solo hay dos cuadra- –1, 0 o1 1 dependien-
m 1 2 3 1 2 1 –1 1 Π(10)
Π(10)
Π(10)
=
=
dos de =1 �
primos +
+ 2
menores
+ � + �
3 o �
iguales
+ + � �
que + �10. � . do �
de la factorización Π(x) =de m. Vale= ∞
0
π(x 1/m)
cuando
�
, � �
� 
1 1 m 1 2 3 1 2 1 1 ρ m dtm
1 Π(x) = Li(x) − Li(x ) − plog2 +�
�

p ≤10
m≤10m .
m
{

1 2 3 1 2 1
ζ(s) = para s = p(x)�1 − s �
potencias de 2 de 3 de 5 de 7
. −
��

��

Una fórmula Por último, el sumando 1/3 solo aparece el número natural m m≤x
presenta unat(t factori-
{{

1)logt
{{

p potencias de 2 de 3 de 5 de 7 m=1 2
n p p ≤10
m
potencias de 2 de 3 de 5 de 7 ∞ x
∞ ρ

� � �
A continuación n=1 esbozaremos
p primo brevemente una vez, ya que solo hay un cubo 1 de pri- 1
zación conπ(x alguna
1/m ) potencia de un número
las pasos que dio Riemann para 1
= 4 � � +2 �mos
Π(10)encontrar
1
1 menor
2
� +1� 1 � . o igual que
3
Π(x)10. = De modo
m
=Π(x)
π(x
que m
= 1/m) , =
p m≤x
primo
m=1
,
�
m (comomm(24) = m(23×3) = 0). En caso
una fórmula para p(x). Quienes no estén podemos reescribir P(10) como pm≤x m=1 contrario, si todos los primos en la facto-
∞
interesados 1 los detalles
en 1 1técnicos no tie- rización aparecen solo una vez, y si k es
Π(10) = 4 � � +2 � � +1� � . 1 π(x
� �
1/m
nen de qué 1preocuparse: 2 3pueden saltar Π(x) = Π(10) == 4 � 11 � +2 �) 11,� +1� 11 � . su cantidad, m(m) =∞ (–1)k (por
∞
Π(10) = � � +2 � � +1 � � µ(m) ejemplo,
��
m 4 1 m 2 3 .
1 2 3 π(x) =2µ(m) ∞ Π(x 1/m dt ) ,
�
∞ m≤x
m(10) m(2 ×
 
al último1 párrafo
2π de estassección s y seguir s s p m=1 =
π(x) = R(x) − R(x ) + 5) ρ= (–1) = 1; en
�mparticular, ,
(1− s)ζ(s) = a�partir
leyendo � de � 1 + � e– 2n �1– �e ρ , Observemos que los factores 4, 2 y 1 se si p es primo, m(p) = –1).m=1
ahí. m t(t 2
− 1)logt
2 e 2n ρ ∞ ∞
∞ ρ m=1
x 1/m

µ(m)
n=1 z(s) con p(x), Riemann con p(10), p(10 )µ(m) y p(10
�
que P(x) podía es-
1/2 1/3
π(x 1/m)
� �
Para relacionar ρ 1 corresponden ). Riemann demostró
comenzó considerando la siguiente ver-
Π(x) =
m
=
m
En general,
,
puede demostrarse π(x) = que
m
π(x)
m=1
, m Π(x
Π(x=1/m)cribirse a
1/m
partir
),
de �
r, los ceros no triviales
∞ pm≤x m=1 m=1
sión de la función contador: de la función zeta, de la siguiente manera:
π(x )
� �
1 1/m ∞
∞
∞
Π(x) = =
� � �
, 11 π(x
π(x
1/m
1/m) ∞
1 Π(x) µ(m) = =
� )
��
m m , ∞ dt
pm≤x Π(x) m=1= . π(x) = Π(x) = Π(x m
m
1/m=) , m
m
, Π(x) = Li(x) −µ(n)Li(x )1/n− log2 +� ρ
.
m m pmm≤x m=1 R(x) = Li(x ) . x t(t 2
− 1)logt
pm≤x m=1 p ≤x m=1 nρ
∞ n=1
Mientras que p(x) es una función escalo- ∞ donde, aunque el sumatorio
µ(m) en realidad Π(x) = Li(x) − Π(x) Li(x
sea
)
infinito,
= ρLi(x)− − +�
log2
∞
Li(x ρ) −dtlog2 +� . � −
dt
. �
� t(t 1)logt
2
nada que suma uno cada vezπ(x) que =aparece Π(x 1/m) , solo recorre un número fini- ρ x t(t − 1)logt x
2
m ρ
∞ m=1
∞
1µ(m)
� � �Li(xπ(x)
∞ dt
1 1 1 1/m1) , 1 1 =1Li(x) − ρ ∞ ∞ ∞
Π(10) = π(x) == � +m +Π(x
� + � + � + �Π(x)
�+� � . ) − log2µ(m)
+�
µ(m) . χ(n) µ(m) ∞91
=� m t(t
π(x) = Π(x
− 1)logt
�� � dt
m 1 2 3 1 2 1 1 )) ,,
2 1/m Marzo 2021, InvestigacionyCiencia.es 
ρ Π(x
x 1/m L(s,χ)− = R(x ρ)s + ,
π(x) = R(x) � ,
m
�

pm≤10 m=1 n m x 1/m t(t 2 − 1)logt

{

potencias de 2 de 3 de 5 de 7
m=1
m=1 ρ n=1 m=1
∞
∞
 � 1
m m1 2 3
�
1 11 1 1 11 11
1 2
11 1 1 1
Π(10) = Π(10) == � +m += � �1++�2 ++3 ��++��1 +
1 2 1 1
1
� + �� +�� . � + � 1 � . 200 210 220 230 200 210 220 230

{�
p ≤10

{
�

�
pm≤10 potencias depotencias
dede3 2 dede
5 3 de 7 de 5 de 7

{
2
Juegos matemáticos
1
Π(10) = 4 � � +2 � 1 � +1� 1 � .
1 2 3
50 50 ceros 1 1 1 50 250 ceros 50 500 ceros
� 1 � +=2 �41��1+1
Π(10) = 4Π(10) � 1��2.� +1� 3� .
� +2
1 2 3
48 Función contador 48 48
∞

� m1 =� π(xm
1/m)
Π(x) = ,
46 46 46
pm≤x m=1
∞ ∞
1 =� =� 1 1/m)de π(x 1/m)
Fórmula Riemann
44 Π(x) = �Π(x)
m
= mm ,
π(x
m≤x
pm=1 m=1
m
,
44 44
pm≤x

42 ∞ 42 42
µ(m)
π(x) = � m
Π(x 1/m) ,
m=1
∞ ∞
µ(m) 200 210 220 230
�
200µ(m)
�π(x)m=CONTADOR
π(x) =
210
Π(x m ) ,Π(x ) ,
1/m
220
1/m
230 200 210 220 230
LA FUNCIÓN
m=1 m=1de los números primos (rojo) y el desarrollo «en armónicos» encontrado por Riemann para dicha
función (azul), representado aquí para los primeros 50, 250 y 500 ceros no triviales de la función zeta. A medida que añadimos más ceros
∞
en la expresión, esta convergeρ a la función contador.
Π(x) = Li(x) − �Li(x ) − log2 +� t(t − 1)logt
dt
x
2
.
ρ
50 ∞ 50
dt la depende de r actuaría como las fluctua-
Por último,
�
introdujo tras algunos intentos fugaces y vanos, he
∞ este valor en
� dt
ρ
Π(x)−= Li(x)
Π(x) = Li(x) −
ρ
) − Li(x
Li(xanteriorlog2de ) − log2 +�
+� 2.
.
ecuación p(x) para x t(t − 1)logt
encontrar
t(t 2 − 1)logt ciones alrededor de esa media. De modo decidido dejarla de lado, ya que parece
ρ x
48 unaρ fórmula explícita en función de di- 48que los ceros no triviales de la función prescindible para el siguiente objetivo de
chos ceros: zeta de Riemann controlan las oscilacio- mi investigación.
∞
µ(m) ∞ nes de los números primos alrededor de
46 π(x) = R(x) − R(x ρ) + � � � 46 dt «posiciones
m x 1/m t(t 2 sus
− 1)logt
, esperadas». Esta conjetura, que todos los ceros no
ρ m=1 Una manera de ordenar los ceros de la triviales de la función zeta se hallan so-
∞ ∞
∞ µ(m) ∞
44
π(x)
π(x) = R(x) �
− = R(x) ��
µ(m)
ρ
� dt
R(x ρ−) + R(x ) +� m 2 � 1/m t(t 2,− 1)logt ,
m 1/m t(t − x1)logt
dt 44función
al eje
zeta
real; es
es en
decir,
función
en
de su distancia
función del valor ab-
bre la línea crítica s = 1/2, es la célebre
hipótesis de Riemann. ¿Por qué es tan
ρ ρm=1 x
m=1
soluto de su parte imaginaria. Si ahora usa- importante?
42 ∞
donde R(x), o «función de Riemann», µ(n) se 42mos la expresión de Riemann para calcular La fórmula de Riemann seguiría sien-
define como R(x) = � n
Li(x 1/n
) . p(x) incluyendo cada vez más y más ceros do válida aunque no todos los ceros de
n=1 (ordenados tal y como acabamos de des- la función zeta estuvieran sobre la línea
∞ ∞
µ(n)
R(x) =
200µ(n) 210
�
R(x) =
n n=1 n
�1/n
Li(x ) . Li(x
220
1/n
) .
230 200
cribir), veremos 210
el sorprendente220 compor-
tamiento que muestra la figura superior:
230 crítica. Pero, si la hipótesis de Riemann
es cierta, la posición de un cero en la lí-
n=1
¡cuantos más ceros no triviales añadimos, nea crítica (cuán alejado está del eje real)
∞
Detalles aparte, la importancia de este más se aproxima el resultado a la función nos indica la magnitud de su contribución
χ(n)
resultado es imposible L(s,χ) = �
de sobreestimar:
ns
, la contador de los números primos! al valor de p(x). En analogía con un de-
función contador de ∞ los números n=1 primos, sarrollo de Fourier, los ceros no triviales
50 ∞
χ(n)=que χ(n) codifica los secre- La hipótesis de Riemann
el ente matemático
L(s,χ) = �
L(s,χ)
tos de su distribución, , �
ns n=1 puede ns
,
expresarse Ahora bien, ¿cómo se distribuyen los ceros
actúan como los sucesivos «armónicos»
de la música de los primos.
48 en función n=1 de r, los ceros no triviales de no triviales de la función zeta en el plano Este es el comportamiento que vemos
la función zeta. Si conocemos dónde es- complejo? Es posible demostrar que todos en las gráficas superiores: cuantos más
tán dichos ceros, sabremos todo lo que se ellos se encuentran en la llamada «ban- «armónicos» añadimos, más fiel es la
46
puede saber sobre los números primos. da crítica»: la franja vertical de números aproximación. En cambio, si la función
complejos con parte real mayor que 0 y zeta tiene ceros fuera de la línea crítica,
44 Los ceros de la función zeta menor que 1. Además, Riemann hizo notar la expresión de Riemann para p(x) po-
y los números primos que todos ellos son simétricos con respec- dría exhibir grandes fluctuaciones en al-
¿Qué conclusiones podemos extraer de to a la línea s = 1/2, así como con respecto gún momento, lo que arruinaría ese buen
42
la expresión de Riemann para p(x)? Ob- al eje real (t = 0) comportamiento.
servemos que el término integral decrece Riemann halló a mano los primeros En la fórmula de Riemann para p(x)
a medida que x aumenta, de modo que, ceros no triviales y observó algo curioso: aparece la función Li(x). Jacques Hada-
200
para números 210 grandes,
muy 220 podemos 230 que todos ellos tenían parte real igual a mard y Charles Jean de la Vallée Poussin
despreciarlo. R(x) es una serie cuyo tér- 1/2 (véase la figura de la página siguien- demostraron el teorema de los números
mino dominante es el primero, dado por te). Esta recta del plano complejo se co- primos justamente probando que ese tér-
Li(x), la función logaritmo integral. Este noce desde entonces como «línea crítica». mino era el dominante si la función zeta
término crece con x, por lo que, tal y como En su artículo de 1859 escribió que «era no poseía ceros en la línea vertical s = 1.
afirma el teorema de los números primos, muy probable» que todos los ceros se ha- En particular, Poussin fue capaz de acotar
constituye una excelente aproximación llasen en la línea crítica y añadió: el error que se comete al tomar Li(x) como
asintótica. aproximación gracias a que todos los ceros
Así pues, si interpretamos R(x) como Por supuesto, sería deseable contar con no triviales están en la banda crítica y son
el «valor medio» de p(x), el sumatorio que una demostración rigurosa. Por ahora, y simétricos respecto a la línea crítica.

92  INVESTIGACIÓN Y CIENCIA, marzo 2021

 2 e 
n=1
2n  ρ
ρ

Π(x) = � m1 .
pm≤x
Eje imaginario (t) Ceros no triviales Puede también que la solución ven-
ga de la física. A principios del siglo xx,
1/2 + (32,9350615...) i
Hilbert y el matemático húngaro George
1/2 + (30,4248761...) i
30 i Pólya propusieron, de manera indepen-
Π(10) = � m
1 1 1 1
1 2 1/2
1 1
3 + (25,0108575...)
1 2
1
1i
1
= � + + � + � + � + � � + � � . diente, un nuevo enfoque: encontrar un
1
operador (una matriz infinita) cuyos

�
pm≤10

{
potencias de 2 de 3 de 5 de 7
1/2 + (21,0220396...) i autovalores fueran los ceros de la función
20 i zeta de Riemann. En 1972, el famoso en-
cuentro casual entre el matemático Hugh
1/2 + (14,1347251...) i Montgomery y el físico Freeman Dyson
1 1 1
10 i Π(10) = 4 � � +2 � � +1 � � . puso en evidencia que las correlaciones
1 2 3 entre pares de ceros de la función zeta
de Riemann obedecían la misma ley que
Ceros triviales(s = –2, –4, –6, ...) Eje real (σ)
la función de correlación entre pares de
autovalores de una matriz hermítica alea-
–4 –3 –2 –1 2 3
∞
toria, usada para modelizar los niveles de

–10 i
Π(x) = � 1
Línea
m � π(x 1/m)
= crítica (σ = 1/2)
m
,
energía de los núcleos atómicos pesados
[véase «El espectro del riemannio», por
pm≤x m=1
1/2 – (14,1347251...) i Brian Hayes; Investigación y Ciencia,
enero de 2004]. Una conexión de tintes
místicos que hubiera hecho enormemen-
–20 i 1/2 – (21,0220396...) i te feliz a Pitágoras, para quien «todo era
∞ número».
1/2
µ(m) – (25,0108575...) i
π(x) = � m
Π(x ) ,
1/m En 1914, Hardy demostró que existían
infinitos ceros sobre la línea crítica. Pero
–30 i m=1
1/2 – (30,4248761...) i eso no era suficiente: Riemann conjeturó
1/2 – (32,9350615...) i que en ella estaban todos los ceros no tri-
viales. En 1962, Littlewood dijo que estaba
seguro de que la hipótesis de Riemann
¿CÓMO SE DISTRIBUYEN los ceros de la función zeta (rojo) en elρplano complejo? ∞ Esdt
posible demostrar que todos los ceros no triviales Π(x)se= encuentran�
Li(x) − Li(x − log2de+�
en el )interior la «banda
x
.era falsa, porque no había ninguna razón
t(t 2 − 1)logt imaginable para que fuera cierta. Sin em-
crítica» (amarillo), que son simétricos con respecto al eje real yρcon respecto a la línea crítica
bargo, la mayor parte de los matemáticos,
s = 1/2. En 1859, Riemann conjeturó que todos debían hallarse sobre dicha línea. Hoy se
guiados por la belleza, la elegancia, y la
conocen decenas de billones y todos ellos satisfacen dicha condición. Sin embargo, nadie
ha sido capaz de encontrar una demostración rigurosa. enorme cantidad de teoremas demostra-
dos suponiendo su veracidad, creen que
∞ es verdadera.
µ(m) ∞ (II)», dt
En 1901, Helge von Koch demostró queπ(x)se= «La
la veracidad de la hipótesis de Riemann Bartolo Luque;
�
R(x) hipótesis
− R(x ρ) de �
+ Riemann
Investigación
�
m x 1/my t(t 2
por , Quizá la hipótesis de Riemann sea una
− 1)logt proposición indecidible: una cuya certeza
Ciencia,
ρ m=1
era equivalente a la estimación más pre- enero de 2021]. ni cuya falsedad se pueden demostrar. En
cisa posible de este error: Puede resultar contraintuitivo, pero cierta ocasión, Hilbert comentó en una
algunos matemáticos piensan que la so- entrevista: «Lo primero que haría si vol-
|p(x) – Li(x)| < Ax 1/2 logx ,
lución a la hipótesis∞ de Riemann acabará viese a la vida dentro de 500 años sería
µ(n) particular
donde A es una constante numérica. llegando R(x) �
como= un caso
En definitiva, la veracidad de la hipó- generalización demostrable. n
Li(x 1/n) . de una averiguar si alguien ha resuelto la hipóte-
Por ejemplo, sis de Riemann». Ya han pasado cien de
n=1
tesis de Riemann equivale a afirmar que la hipótesis de Riemann puede genera- esos años y el problema sigue abierto.
los números primos se comportan «de la lizarse a partir de las llamadas «funcio-
mejor manera posible». nes L» de Dirichlet, definidas como
∞
PARA SABER MÁS
A la espera de una demostración
Hoy existen métodos numéricos muy po-
L(s,χ) = � χ(n)
n
, s Riemann’s zeta function. H. M. Edward. Dover,
n=1 2001.
tentes que permiten encontrar todos los
La hipótesis de Riemann: El eslabón perdido
ceros de la función zeta en la banda crítica donde χ(n) es un «carácter», como el entre los números primos y la mecánica
hasta cierta altura. Hasta ahora se han que vimos en nuestra última columna. cuántica. Jorge Jiménez Urroz. EMSE EDAPP,
calculado los primeros 1013 ceros y todos Todas las funciones L cumplen una iden- 2019.
ellos se encuentran exactamente en la lí- tidad semejante a la de Euler y pueden en nuestro archivo
nea crítica. Sin embargo, esto no cuenta prolongarse analíticamente. La hipótesis El espectro del riemannio. Brian Hayes en IyC,
como una demostración en matemáticas. de Riemann generalizada, enunciada por enero de 2004.
Menos aún en teoría de números, donde G. H. Hardy y John Edensor Littlewood, ¿Cuánto vale la suma de todos los números
sabemos que hay comportamientos que afirma que los ceros no triviales de estas naturales?Bartolo Luque en IyC, octubre
de 2020.
se mantienen hasta cifras muchísimo ma- prolongaciones analíticas están situados
yores solo para quebrarse después [véa- en la misma línea crítica: s = 1/2.

Marzo 2021, InvestigacionyCiencia.es  93