Sobre la Hipótesis de Riemann

Julio Alcántara

15 de septiembre de 2018

1. Historia
Fue Gauss quien propuso

n
π(n) ∼ log(n)
Rn 1
π(n) ∼ 1 log t dt

donde π(n) = cantidad primos ≤ n.

Luego, Chebyshev intentó entender el lı́mite lı́m π(n)nlog n , para ello

log 2 π(n) log n π(n) log n

≤ lı́m inf ≤ 1 ≤ lı́m sup ≤ log 2
2 n n

por lo tanto, si lı́m π(n)nlog n , entonces vale 1.

2. La función zeta
Para s = σ + it ∈ C con σ > 1 y defina
∞
X 1 Y 1
ζ(s) = =
n s (1 − p−s )
n=1 p:primo

función analı́tica, que puede ser extendida a C − {1}, con un polo simple alrededor de
1, de hecho tenemos
∞
X (−1)k
1
ζ(s) = + ak (s − 1)k
s−1 k!
n=1

logk v logk+1 n
con ak = lı́m { nv=1
P
v − n+1 } para k ≥ 0 y de ello
n→∞

ζ(s) = ζ(s)

1
Observación 0.1. No se sabe si los valores ak son racionales o no.

Tenemos la ecuación funcional

 
− 2s
s
− s−1 1−s
π Γ ζ(s) = π 2 Γ ζ(1 − s)
2 2

donde Γ es la función de Gamma usual.

3. La Hipótesis de Riemann
Riemann intentó entender el espacio de ceros de la función ζ y observó

Z(ζ) ∩ {s = σ + it : σ > 1} = ∅
Z(ζ) ∩ {s = σ + it : σ < 0} = {−2n : n ∈ N}
|Z(ζ) ∩ {s = σ + it : 0 ≤ σ ≤ 1}| = ∞

y planteó la hipótesis (de Riemann)

1
Z(ζ) ∩ {s = σ + it : 0 ≤ σ ≤ 1} = Z(ζ) ∩ {s = σ + it : σ = }
2

Al tratar de probar esto, Hardy empezó entendiendo

N (T ) = |Z(ζ) ∩ {s = σ + it : 0 ≤ σ ≤ 1, 0 < t ≤ T }|
N0 (T ) = |Z(ζ) ∩ {s = σ + it : σ = 12 , 0 < t ≤ T }|

y demostró que existe T0 ∈ N tal que

1. N0 (T ) ≥ cT para algún c > 0 y para todo T > T0 .

T T T


2. N (T ) = 2π log 2π − 2π + O(log T ) para todo T > T0 .

3. De lo anterior, encontró N0 (T ) ≥ cT log T para algún c > 0 y para todo T > T0 .

y más aún obtuvo

N0 (T )
lı́m >0
N (T )
refinamientos posteriores mostraron que N0 (T ) > 25 N (T ) para todo T > T0 .

2
4. Equivalencias
Sea ρ(x) = x − bxc, defina

N N
(   X )
X θk
M= f : f (x) = ak ρ , ak θk = 0, θk ∈ (0, 1), ak ∈ C
x
k=1 k=1

Teorema 1. [Teorema de Beurling]La hipótesis de Riemann se verifica sı́ y sólo si

M = L2 ([0, 1]). La segunda parte es equivalente a que la función constante 1 ∈ M .

Dado el operador Z 1  
θ
[Ae (f )](θ) = ρ f (x)dx
0 x
tenemos

Corolario 1.1. La hipótesis de Riemann se verifica sı́ y sólo si ker Ae = {0}. La segunda
parte es equivalente a que la función h(x) = x ∈
/ ker Ae .

Sean sn los autovalores de Ae tales que sn ≥ sn+1 . Con los vectores no nulos un tal
que Ae A∗e (un ) = s2n un .
Tenemos que la hipótesis de Riemann es equivalente a cualquiera de los ı́tems:

1. Si h ∈ ker Ae entonces
X khh, un ik2
= ∞.
n
s2n

2. Existe una secuencia {φn } ⊂ L2 ([0, 1]) tal que

khφn , hik
lı́m = ∞.
kA∗e (φn )k

Observación 0.2. Para el operador Ae tenemos

1. R(Ae A∗e ) ⊂ R(Ae ),

2. ker(Ae A∗e ) = ker(A∗e ),

3. R(Ae ) = ker(A∗e )⊥ ,

4. R(Ae A∗e ) = ker(Ae A∗e )⊥ .

3
Teorema 2 (Alcántara). Para las condiciones descritas arriba se tiene

X khh, un ik2
= ∞.
n
s4n

Por otro lado, para s ∈ Z(ζ), se tiene

n ζ(s+1) s+1
Ae (hs ) = s − s+1 h
Ae (shs ) = h

por tanto dim ker(Ae ) < ∞ si y sólo si existen finitos ceros de ζ fuera de la recta crı́tica
y eso ocurre sı́ y sólo si ker(A∗e ) = {0}.