A hiptese de Riemann 150 anos

Jos Carlos Santos

Em 1859, Bernhard Riemann, ento com 32 anos, foi eleito para a Academia
das Cincias de Berlim. Fazia ento parte do regulamento daquela instituio
que os novos membros deviam fazer um relatrio sobre a pesquisa que estavam
a fazer. O relatrio entregue por Riemann era curto (foi publicado em oito
pginas) e tinha por ttulo Sobre o nmero de nmeros primos que no excedem
uma grandeza dada. aqui que surge a hiptese de Riemann, que talvez o mais
famoso problema em aberto da Matemtica.
(n)
Para compreender o problema, convm recuar a 1650, ano em que foi publi-
cado o livro Nov quadratur arithmetic seu se additione fractionum, de Pietro
Mengoli. um livro sobre soma de sries, duas das quais so
(1) = 1 +
1
2
+
1
3
+
1
4
+
e
(2) = 1 +
1
2
2
+
1
3
2
+
1
4
2
+
a demonstrado que a primeira (a srie harmnica) diverge e o autor levanta
o problema de saber qual a soma da segunda. Este problema foi novamente
levantado por Jacob Bernoulli em 1689.
1
Trs anos mais tarde, o mesmo Jacob
Bernoulli comea a estudar as sries
(n) = 1 +
1
2
n
+
1
3
n
+
1
4
n
+ (1)
para cada n \ {1}.
1
O texto em questo foi publicado em Basileia, o que deu origem a designar-se por problema
de Basileia o problema de determinar o valor de (2).
1
Em 1735, Euler provou que (2) =

2
/6 e, pouco tempo depois, calculou (n)
para cada nmero natural par n, para alm de ter obtido o produto euleriano
(n) =

p primo

1 p
n

1
, (2)
o qual vlido para cada nmero real n > 1. Isto mostra que h uma relao
entre a funo e a distribuio dos nmeros primos. No a nica ligao da
funo Teoria dos Nmeros. Por exemplo, se s >1, ento
(s )
2
=

n=1
d(n)
n
s
,
onde d(n) o nmero de divisores de n. Alm disso, se s >2, ento
(s ) (s 1) =

n=1
(n)
n
s
,
onde (n) a soma dos divisores de n.
Conjectura de Legendre
Para cada x , seja (x) o nmero de nmeros primos menores ou iguais
a x. Por exemplo, (1) = 0, (2) = 1 e () = 2. No m do sculo XVIII
Legendre observou que aparentemente se tem
(x)
x
log x
, (3)
querendo isto dizer que o quociente das duas funes tende para 1 quando x
tende para +. Pela mesma altura, Gauss (com apenas 15 ou 16 anos de idade)
tambm conjecturou que se tem (3), mas tambm fez a conjectura equivalente
(x)

x
2
1
log t
d t .
Que as duas conjecturas so equivalentes resulta de se ter
lim
x+
x
/log(x)

x
2
1
log t
d t
= 1,
que algo que se prova facilmente. No entanto,

x
2
1
log t
d t uma melhor aproxi-
mao de (x) do que
x
/log(x) como se pode ver pela gura 1.
2
2 000 4 000 6 000 8 000 10 000
250
500
750
1 000
1 250
Figura 1: Grcos de (x) (vermelho),

x
2
1
log t
d t (verde) e
x
/log(x) (azul).
A gura 1 tambm sugere que (x) sempre maior do que
x
/log(x) e que a
diferena vai aumentando medida que x cresce. Isto levou Legendre a conjec-
turar, em 1800, que uma funo que aproxima (x) ainda melhor do que
x
/log(x)

x
log(x) 1,08366

No claro o que que ele tinha em mente ao escrever isto, pois se o quociente
de (x) por
x
/log(x) tender de facto para 1, ento o quociente de (x) por qualquer
funo do tipo
x
/(log(x)+A) tambm tende para 1.
Gauss no publicou nada sobre este tpico; o que se sabe sobre as obser-
vaes dele sobre o assunto vem nas suas cartas pessoais e no seu dirio. Em
contrapartida, a conjectura de Legendre era bem conhecida dentro da comuni-
dade matemtica e mencionada por, pelo menos, Abel, Dirichlet e

Cebiev
na primeira metade do sculo XIX. Foi alis

Cebiev a primeira pessoa a fazer
progressos em direco a uma demonstrao da conjectura. Em 1848 provou que
para x sucientemente grande tem-se
0,89

x
2
1
log t
d t <(x) <1,11

x
2
1
log t
d t ;
num certo sentido (que ele precisou) nenhuma funo da forma
x
x
log(x) +
3
aproxima melhor a funo do que
x
/(log(x)1);
caso o limite
lim
x+
(x)

x
2
1
log t
d t
exista, ento o seu valor s pode ser 1.
O artigo de Riemann
O artigo de Riemann no um artigo de Matemtica no sentido usual do
termo. sobretudo um programa de pesquisa que pretende levar a uma de-
monstrao da conjectura de Legendre.
A expresso (1) para (n) foi denida para valores naturais de n > 1. Na-
turalmente, denir (n) daquele modo continua a fazer sentido para qualquer
n ]1, +[. O que Riemann fez foi denir (s ) para qualquer nmero com-
plexo s diferente de 1. A denio dele complexa (sem trocadilhos!) mas vamos
ver como se pode prolongar ao conjunto dos nmeros complexos s tais que
Re(s ) > 0 (e com s = 1). Para comear, convm denir n
s
= e
s log(n)
, para cada
s . No difcil provar que
(s ) = 1 +
1
2
s
+
1
3
s
+
1
4
s
+ (4)
converge (e at converge absolutamente) quando Re(s ) > 1. No entanto, a s-
rie (4) diverge quando Re(s ) 1. Por outro lado, se Re(s ) >1 tem-se
(s ) =

n=1
1
n
s
=

n=1
(1)
n1
n
s
+2

n=1
1
(2n)
s
=

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

n=1
1
n
s
=

n=1
(1)
n1
n
s
+2
1s
(s ).
Logo,
(s ) =

n=1
(1)
n1
n
s
1 2
1s
(5)
4
Acontece que o numerador do membro da direita desta igualdade uma srie
que converge sempre que Re(s ) > 0. Isto permite ento denir (s ) para cada
nmero complexo s com parte real positiva, excepto aqueles para os quais 2
1s
=
1, ou seja, excepto os nmeros s da forma 1
2i n
log2
, com n . Por outro lado,
se se denir
a
n
=

2 se n for mltiplo de 3
1 caso contrrio
(n ),
ento clculos semelhantes aos anteriores mostram que
(s ) =

n=1
a
n
n
s
1 3
1s
(6)
Isto permite denir (s ) para cada nmero complexo s com parte real positiva,
excepto os nmeros s da forma 1
2i n
log3
, com n . As expresses (5) e (6) em
conjunto permitem denir (s ) para cada s \ {1} tal que Re(s ) >0.
Riemann encontrou uma expresso analtica que permitia denir (s ) para
cada s \{1}. natural que no se possa prolongar a 1, pois o limite de | (s )|
quando s tende para 1 por valores reais maiores do que 1 +. Isto tanto pode
ser demonstrado a partir de (4) como (mais facilmente) a partir de (5).
Considerando agora como uma funo de \ {1} em , Riemann mos-
trou facilmente que (s ) = 0 quando s um inteiro par menor do que 0 e ob-
servou que resulta do produto euleriano (2) que (s ) no tem zeros tais que
Re(s ) > 1. Riemann tambm provou que, a no ser quando s ou 1 s um
inteiro par menor do que 0, (s ) = 0 se e s se (1 s ) = 0. Resulta disto
tudo que, com excepo dos inteiros pares menores do que 0 (que se designam
por zeros triviais da funo ), todos os zeros da funo esto na faixa crtica:
{ s | 0 Re(s ) 1}.
Prova-se facilmente que, para cada s \ {1}, (s ) = (s ). Em particular,
se s for um zero da funo , ento s tambm o . Consequentemente, se se est
procura de zeros da funo basta procurar aqueles que tm parte imaginria
maior ou igual a 0 e vo ser s estes que sero considerados a partir deste ponto.
Riemann fez uma estimativa de quantos zeros h na faixa crtica com parte
imaginria entre 0 e T (T >0) e obteve
T
2
log

T
2

T
2
(7)
Em seguida, Riemann armou que este nmero tambm era uma estimativa
para o nmero de zeros situados na recta crtica {
1
/2 + t i | t } tais que
0 Im() T. Foi neste contexto que formulou a sua famosa hiptese:
5
Todos os zeros no triviais da funo esto na recta crtica.
natural nesta fase ocorrer uma pergunta. O que que tudo isto tem a ver
com a conjectura de Legendre? At aqui, a nica relao que foi vista entre a
funo e nmeros primos foi o produto euleriano (2). Para se ver a relao
entre as duas coisas, considere-se a funo de Mbius : {1,0,1}, assim
denida: se n , ento
se n for mltiplo de algum quadrado perfeito maior do que 1, (n) = 0;
caso contrrio, (n) = 1 (respectivamente 1) caso n tenha um nmero
par (resp. mpar) de factores primos.
Seja tambm, para cada x ]1, +[,
Li(x) =

x
0
1
log t
d t = lim
0+

1
0
1
log t
d t +

x
1+
1
log t
d t .

Riemann conjecturou que

Li(x)
1
2
Li

1
3
Li

1
5
Li

+
1
6
Li

+ =
=

n=1
(n)
n
Li

(8)
seria uma excelente aproximao de (x). Empiricamente isto plausvel; por
exemplo, se n( ) 1 000 000, ento a diferena entre (n) e a soma dos
quatro primeiros termos no nulos da srie (8) no excede 37. Para se ter uma
ideia da ordem de grandeza dos nmeros com que se est a trabalhar, basta ver
que (1 000 000) = 78 498. Como Li(x) e

x
2
1
log t
d t diferem por uma constante
( 1,04516), h uma relao clara entre a aproximao de (x) que Riemann
conjecturou e a conjectura de Legendre.
Convm observar que existe uma relao directa entre a funo de Mbius e
a funo : se s e se Re(s ) >1, ento

n=1
1
n
s

n=1
(n)
n
s

= 1. (9)
Aps Riemann
O artigo de Riemann estava to avanado em relao ao seu tempo que ti-
veram de decorrer mais de trinta anos at haver avanos relativamente ao que
6
l vem. S em 1896 que Jacques Hadamard e Charles de la Valle Poussin
demonstraram (independentemente um do outro) a conjectura de Legendre, a
qual passou a ser conhecida por teorema dos nmeros primos. A demonstrao
envolveu o estudo dos zeros da funo , mas o que provaram foi somente que
esta no tem zeros na fronteira da faixa crtica, ou seja, no tem zeros da forma
i t ou 1 + i t (t ). Para se ter uma ideia da complexidade do estudo deste
problema, basta ver o grco da restrio de | | ao eixo dos imaginrios pu-
ros, representado na gura 2. At hoje, ningum conseguiu provar que existe
algum <
1
/2 tal que todos os zeros no triviais da funo estejam na faixa
{ s | <Re(s ) <1 }.
10 20 30 40 50 60 70 80 90 100
10
Figura 2: Grco de t | (t i )| (t [0,100])
O artigo de Riemann continuou a ser fonte de inspirao para muitos mate-
mticos que trabalharam nesta rea. Parte desse trabalho consistiu em encontrar
as demonstraes de muitas armaes a feitas por Riemann as quais, aparen-
temente, eram por ele encaradas como estando completamente demonstradas.
Um exemplo entre outros consiste na estimativa (7) apresentada por Riemann
para o nmero de zeros da funo no rectngulo que tem por vrtices 0, 1,
1+T i e T i (T >0). S em 1905 que von Mangoldt conseguiu demonstrar que
estava correcta.
Desde o m do sculo XIX que se estudam por mtodos numricos os ze-
ros da funo na faixa crtica. De facto, o prprio Riemann j zera isso,
mas no revelou esse facto no artigo de 1859. Foi somente em 1932 que Carl
Ludwig Siegel publicou uma anlise dos apontamentos de Riemann que estavam
depositados na Universidade de Gttingen. Foi a descoberta uma frmula, actu-
almente conhecida por frmula de Riemann-Siegel, que permite encontrar zeros
da funo . Riemann chegou a usar essa frmula para encontrar os trs pri-
meiros zeros da funo da forma
1
/2 + t i (t > 0): correspondem a tomar-se
t 14,135, t 21,022 e t 25,011. Levando essa anlise um pouco mais longe,
pode-se mostrar que no h mais zeros da funo na faixa crtica com parte
imaginria positiva e menor ou igual ao maior dos trs. Esta anlise numrica
aos zeros da funo foi levada cada vez mais longe ao longo dos anos; os primei-
ros dez zeros situados na faixa crtica podem ser vistos na gura 3. Conhecem-se
actualmente bilies de zeros da funo situados na faixa crtica e tm todos
parte real igual a
1
/2.
7
10i
20i
30i
40i
50i
1
/2
Figura 3: Os primeiros dez zeros no triviais da funo
Este tipo de vericaes numricas so provavelmente encaradas por muitas
pessoas como uma prova, para todos os efeitos prticos, da hiptese de Riemann.
Para se ver o cuidado que se deve ter com este tipo de demonstraes, consi-
dere-se novamente a gura 1. Como se pode a ver, tem-se sempre (i. e. sem-
pre que 1 x 10 000)

x
2
1
log t
d t > (x). Como Li(x) ligeiramente maior
que

x
2
1
log t
d t tem-se, por maioria de razo, que Li(x) > (x). Ser que a desi-
gualdade Li(x) > (x) se verica para qualquer x 1? De facto no; em 1914
Littlewood provou que h nmeros x tais que Li(x) < (x). No entanto, os
nmeros para os quais se tem esta desigualdade so to grandes que nunca se
encontrou nenhum.
Naturalmente, foram surgindo ao longo dos anos resultados tericos cada
vez mais precisos sobre os zeros da funo Riemann. Por exemplo, em 1914
Hardy demonstrou que a funo tem uma innidade de zeros na recta crtica.
Sete anos mais tarde, Hardy e Littlewood demonstraram que existe algum n-
mero K > 0 tal que o nmero de zeros da funo no segmento que une
1
/2 a
1
/2 + t i maior de que Kt , desde que t seja sucientemente grande. Em 1942,
Selberg provou que o mesmo verdade se se tiver Kt log(t ) em vez de Kt .
Outras formulaes
A hiptese de Riemann formulada em termos da localizao dos zeros de
uma funo de \ {1} em cuja denio no trivial. Felizmente, h outros
enunciados equivalentes mais fceis de compreender. Um deles : a funo
x
(x) Li(x)

x log x
8
limitada. Outro enunciado equivalente pode ser obtido a partir da funo de
Mbius. o seguinte: para cada >0,
lim
n

n
k=1
(k)
n
1/2+
= 0.
Convm ver o que signica o numerador da expresso anterior. Diz-se que
um nmero natural n livre de quadrados se no for mltiplo de nenhum qua-
drado perfeito maior de que 1. Resulta da denio da funo que, se n ,
ento

n
k=1
(k)

a diferena entre o nmero de naturais em [1, n] livres de

quadrados que tm um nmero par de factores primos e o nmero de naturais
em [1, n] livres de quadrados que tm um nmero mpar de factores primos.
Assim, por exemplo, h 13 nmeros livres de quadrados menores ou iguais a 20:
1, 2, 3, 5, 6, 7, 10, 11, 13, 14, 15, 17, 19,
estando sublinhados aqueles que tm um nmero par de factores primos, que
so 5 no total. Logo,

20
k=1
(k)

= 3. Um enunciado equivalente hiptese de

Riemann : se >0 e se n for sucientemente grande, ento

n
k=1
(k)

n
1/2+
. Em 1897, Mertens props uma conjectura muito mais forte, a hiptese de
Mertens:
Se n , ento

k=1
(k)

n.
Durante muito tempo, todos os dados numricos disponveis apoiavam esta hi-
ptese, mas, de facto, falsa, o que s foi provado em 1985. No entanto, ainda
no se conhece nenhum contra-exemplo hiptese de Mertens, mas sabe-se que
um tal contra-exemplo tem que ser maior do que 10
14
.
Concluso
Tudo o que foi escrito atrs deve explicar porque que a hiptese de Rie-
mann um problema em aberto to famoso. Desde que foi formulada que tem
captado a imaginao de alguns dos maiores matemticos de mundo. Conta-se,
por exemplo, que o exemplar de Hurwitz das obras completas de Riemann tinha
a lombada gasta de tal modo que se se deixasse ca-lo ele abria na pgina onde est
formulada a hiptese. Outro matemtico fascinado por ela foi Andr Weil, que
declarou certa vez numa entrevista que, durante muito tempo, acalentou a am-
bio de a demonstrar e de publicar a demonstrao em 1959, no centenrio da
9
publicao da hiptese. Mas aquele ano passou sem que ele tivesse tido sucesso.
Depois, a sua ambio passou a ser somente a de compreender a demonstrao
quando algum a publicasse. Perto do m da vida, desejava somente que a de-
monstrao fosse feita em vida dele, mas nem essa ambio foi satisfeita.
Convm dizer que uma conjectura formulada por Weil sobre os zeros de cer-
tas funes de uma varivel complexa anloga hiptese de Riemann e foi de-
monstrada por Pierre Deligne em 1974. Este facto frequentemente apresentado
como um dos argumentos mais convincentes para a plausibilidade da hiptese de
Riemann.
Em 1900, Hilbert fez uma palestra no Congresso Internacional de Matemti-
cos onde exps uma lista de 23 problemas matemticos particularmente impor-
tantes. provavelmente a lista de problemas mais famosa da histria da Mate-
mtica, mas no ano 2000 surgiu outra que tem rivalizado com a de Hilbert em
termos de impacto meditico: a lista dos problemas do milnio, do Instituto
Clay de Matemtica. No admira que o nico problema comum a ambas as listas
seja a hiptese de Riemann.
10