G Granja

A Hipotese de Riemann
Gustavo Granja
Departamento de Matematica, IST
21 de Novembro de 2012
Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 1 / 16

Resumo
1 O enunciado da conjectura
2 Historia
3 A importancia do problema
4 Indcios a favor da conjectura
5 Propriedades da funcao zeta
6 Um exemplo de uma aplicacao aritmetica
7 Referencias

O enunciado da conjectura
Enunciado da Hipotese de Riemann
A funcao zeta de Riemann e uma funcao holomorfa : C \ {1} C que,

para <(z) > 1, e definida pela expressao:



X 1
(z) =
nz
n=1



X 1
(z) =
nz
n=1
A Hipotese de Riemann afirma que todos os zeros de com excepcao

dos zeros triviais 2, 4, 6, . . . tem parte real 1/2.



X 1
(z) =
nz
n=1

Este e um dos sete problemas do Milenio cuja resolucao seria premiada

pelo Instituto Clay com um milhao de dolares.



X 1
(z) =
nz
n=1

Este e um dos sete problemas do Milenio cuja resolucao seria premiada

pelo Instituto Clay com um milhao de dolares.
E considerado por alguns matematicos o mais importante de todos os

problemas em aberto da Matematica pura.

Historia
Riemann
Georg Friedrich Bernhard Riemann (1826-1866)
Em 1859, publicou um artigo entitulado Uber die Anzahl der Primzahlen

unter eine gegebener Grosse em que investigava uma conjectura de
Legendre e Gauss.

Historia
O artigo de Riemann

Historia
O Teorema dos Numeros Primos
A funcao de contagem de numeros primos e a funcao : ]0, +[ N

definida por
(x) = #{p primo : p < x}.

Historia

definida por
(x) = #{p primo : p < x}.
Legendre e Gauss (quando tinha 15 ou 16 anos!) conjecturaram que
Z x
1
(x) dt
2 log t
isto e,
(x)
lim R x 1 = 1.
2 log t dt
x

Historia

definida por
(x) = #{p primo : p < x}.
Legendre e Gauss (quando tinha 15 ou 16 anos!) conjecturaram que
Z x
1
(x) dt
2 log t
isto e,
(x)
lim R x 1 = 1.
2 log t dt
x
Riemann estava a tentar provar esta conjectura. Nao conseguiu mas fez
enormes progressos.

Historia
O Teorema dos Numeros Primos (cont.)
Mostra-se que a formula assimptotica para (x) acima e equivalente a

afirmacao que os zeros com parte imaginaria nao nula de (z) estao na
regiao
0 < <(z) < 1.

Historia

regiao
0 < <(z) < 1.
Riemann provou que os zeros estao na regiao
0 <(z) 1.

Historia

regiao
0 < <(z) < 1.
Riemann provou que os zeros estao na regiao
0 <(z) 1.
Hadamard e de la Valee-Poussin provaram independentemente em 1896

que (z) nao tem zeros com parte real 1 ou 0, demonstrando assim o que
a partir de entao ficou conhecido como oTeorema dos Numeros Primos.

Historia
Estimativas para (x)

A hipotese de Riemann e equivalente a afirmacao que, para todo o > 0.
Z x
1
(x) = dt + O(x 1/2+ )
2 log t

Historia

Z x
1
(x) = dt + O(x 1/2+ )
2 log t
Na realidade, e um Teorema de Schoenfeld (1976) que a Hipotese de

Riemann e equivalente a
Z x
1

(x) 1
dt < x log x
2 log t 8


Historia

Z x
1
(x) = dt + O(x 1/2+ )
2 log t

Z x
1

(x) 1
dt < x log x
2 log t 8

A expressao anterior diz que, se a expansao decimal
Rx de x tem N dgitos,
entao os primeiros N/2 dgitos de (x) e 2 log1 t dt estao de acordo.

Historia

Z x
1
(x) = dt + O(x 1/2+ )
2 log t

Z x
1

(x) 1
dt < x log x
2 log t 8

A expressao anterior diz que, se a expansao decimal
Rx de x tem N dgitos,
entao os primeiros N/2 dgitos de (x) e 2 log1 t dt estao de acordo.
Mais geralmente, a localizacao dos zeros da funcao da informacao

detalhada sobre a distribuicao dos numeros primos. Riemann obteve uma
formula explcita para (x) em termos dos zeros (nao triviais) de (z).
A importancia do problema
Qual e o interesse?
Pelo Teorema Fundamental da Aritmetica, o estudo da estrutura

multiplicativa dos numeros naturais reduz-se ao estudo do conjunto dos
numeros primos.

Qual e o interesse?

numeros primos.
As questoes que versam sobre a estrutura dos numeros naturais estao

certamente entre as mais fundamentais da Matematica. O comportamento
da funcao (x) (que descreve a distribuicao dos numeros primos entre os
naturais) e seguramente uma questao basica.

Qual e o interesse?

numeros primos.
As questoes que versam sobre a estrutura dos numeros naturais estao

certamente entre as mais fundamentais da Matematica. O comportamento
da funcao (x) (que descreve a distribuicao dos numeros primos entre os
naturais) e seguramente uma questao basica.
Kronecker: Deus fez os numeros naturais, tudo o resto e obra humana.

Indcios a favor da conjectura
Indcios a favor
Os primeiros (em termos da distancia ao eixo real) 10000000000000
de zeros de na faixa 0 < <(z) < 1 estao na linha crtica <(z) = 21 .
Mas...

Indcios a favor
Mas...
Mais de 40% dos zeros nao triviais de estao na linha crtica.

Indcios a favor
Mas...
Mais de 40% dos zeros nao triviais de estao na linha crtica.

Mais de 99% dos zeros estao perto da linha crtica no sentido em que
satisfazem para z = + i, 12 < log
8
||.
Propriedades da funcao zeta
Formula do produto de Euler
Para <(z) > 1,

X 1 Y 1
= .
nz
n=1 p primo
1 p1z

Para <(z) > 1,

X 1 Y 1
= .
nz
n=1 p primo
1 p1z
Consequencia: (z) 6= 0 se <(z) > 1.

Para <(z) > 1,

X 1 Y 1
= .
nz
n=1 p primo
1 p1z
Consequencia: (z) 6= 0 se <(z) > 1.
Nota: Como limx1+ (x) = +, a formula acima implica que ha

infinitos primos!

Prolongamento a <(z) > 0
Proposicao: Existe uma funcao holomorfa : {z C : <(z) > 0} C tal

que, para <(z) > 1,
1
(z) = + (z).
z 1


que, para <(z) > 1,
1
(z) = + (z).
z 1
A igualdade acima permite prolongar (z) a uma funcao analtica definida

em {z : <(z) > 0} \ {1}. Este prolongamento tem um polo de ordem 1 em
z = 0 com resduo 1.


que, para <(z) > 1,
1
(z) = + (z).
z 1
A igualdade acima permite prolongar (z) a uma funcao analtica definida

em {z : <(z) > 0} \ {1}. Este prolongamento tem um polo de ordem 1 em
z = 0 com resduo 1.
Note-se que o prolongamento e unico.

A equacao funcional para
A funcao Gama de Euler e uma funcao definida para <(z) > 0 pela
expressao Z +
(z) = t z1 e t dt.
0

expressao Z +
(z) = t z1 e t dt.
0
E facil verificar que, nesta regiao, (z + 1) = z(z) (integrando por

partes).
(1) = 1, logo (n) = (n 1)!.

expressao Z +
(z) = t z1 e t dt.
0

partes).
(1) = 1, logo (n) = (n 1)!.
A equacao (z + 1) = z(z) permite prolongar indutivamente aos
semiplanos {z : <(z) > n} com n N.

expressao Z +
(z) = t z1 e t dt.
0

partes).
(1) = 1, logo (n) = (n 1)!.
A equacao (z + 1) = z(z) permite prolongar indutivamente aos
semiplanos {z : <(z) > n} com n N. O prolongamento (ainda
denotado por (z)) tem polos simples para z inteiro nao positivo.

A equacao funcional para (cont.)

No seu artigo, Riemann obteve a seguinte equacao funcional para a funcao
na faixa 0 < <(z) < 1:
z
(z) = 2z z1 sen (1 z)(1 z)
2


na faixa 0 < <(z) < 1:
z
(z) = 2z z1 sen (1 z)(1 z)
2
Esta equacao permite prolongar ao resto do plano complexo (isto e a
valores de z com <(z) 0).


na faixa 0 < <(z) < 1:
z
(z) = 2z z1 sen (1 z)(1 z)
2
Pode mostrar-se que (z) nao se anula para <(z) > 0 logo os unicos zeros
de com <(z) < 0 sao os zeros de sen z
2 (que se dizem os zeros triviais
de ):
z
= k z = 2k com k < 0.
2


na faixa 0 < <(z) < 1:
z
(z) = 2z z1 sen (1 z)(1 z)
2
Pode mostrar-se que (z) nao se anula para <(z) > 0 logo os unicos zeros
de com <(z) < 0 sao os zeros de sen z
2 (que se dizem os zeros triviais
de ):
z
= k z = 2k com k < 0.
2
Exerccio: (0) = 12 . Isto e, 1 + 1 + 1 + . . . = 12 .

Um exemplo de uma aplicacao aritmetica
Fraccoes irredutveis
m
Pergunta: Qual e a percentagem das fraccoes n que sao irredutveis
(isto e, tais que mdc(m, n) = 1)?

Pergunta: Qual e a percentagem das fraccoes m
n que sao irredutveis
Resposta: Cerca de 60%. Mais precisamente, a proporcao e 62 .

A probabilidade de um vector (m, n) Z2 ter ambas as coordenadas

divisveis por p e 1/p 2 .


A probabilidade de um vector (m, n) Z2 ter mdc(m, n) = 1 e
portanto
Y 1

1
1 2 =
p (2)
p primo


A probabilidade de um vector (m, n) Z2 ter mdc(m, n) = 1 e
portanto
Y 1

1
1 2 =
p (2)
p primo
E facil ver usando series de Fourier que

X 1 2
(2) = =
n2 6
n=1
Esta soma foi calculada pela primeira vez por Euler em 1735.
Referencias
References
L. Ahlfors, Complex Analysis, McGraw-Hill, 1979.

J. Brian Conrey, The Riemann Hypothesis, Notices of the AMS,
Marco de 2003.
H. M. Edwards, Riemanns Zeta function, Dover (2001)
Marcus du Sautoy, The music of the primes, Harper-Collins (2003)

Referencias
References
L. Ahlfors, Complex Analysis, McGraw-Hill, 1979.

J. Brian Conrey, The Riemann Hypothesis, Notices of the AMS,
Marco de 2003.
H. M. Edwards, Riemanns Zeta function, Dover (2001)
Marcus du Sautoy, The music of the primes, Harper-Collins (2003)
Ver tambem:
O stio do Instituto Clay
http://www.claymath.org/millennium/Riemann_Hypothesis/
Um vdeo com uma palestra de Vladimir Arnold em http://www.
mathoman.com/index.php/1632-arnold-trivium-conclusion.
A pagina da Wikipedia sobre a Hipotese de RIemann
http://en.wikipedia.org/wiki/Riemann_hypothesis

G Granja

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

G Granja

Enviado por

Direitos autorais:

Formatos disponíveis

A Hipotese de Riemann

Departamento de Matematica, IST

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 1 / 16

4 Indcios a favor da conjectura

5 Propriedades da funcao zeta

6 Um exemplo de uma aplicacao aritmetica

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 2 / 16

Enunciado da Hipotese de Riemann

A funcao zeta de Riemann e uma funcao holomorfa : C \ {1} C que,

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 3 / 16

Enunciado da Hipotese de Riemann

A funcao zeta de Riemann e uma funcao holomorfa : C \ {1} C que,

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 3 / 16

Enunciado da Hipotese de Riemann

A funcao zeta de Riemann e uma funcao holomorfa : C \ {1} C que,

A Hipotese de Riemann afirma que todos os zeros de com excepcao

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 3 / 16

Enunciado da Hipotese de Riemann

A funcao zeta de Riemann e uma funcao holomorfa : C \ {1} C que,

A Hipotese de Riemann afirma que todos os zeros de com excepcao

Este e um dos sete problemas do Milenio cuja resolucao seria premiada

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 3 / 16

Enunciado da Hipotese de Riemann

A funcao zeta de Riemann e uma funcao holomorfa : C \ {1} C que,

A Hipotese de Riemann afirma que todos os zeros de com excepcao

Este e um dos sete problemas do Milenio cuja resolucao seria premiada

E considerado por alguns matematicos o mais importante de todos os

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 3 / 16

Georg Friedrich Bernhard Riemann (1826-1866)

Em 1859, publicou um artigo entitulado Uber die Anzahl der Primzahlen

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 4 / 16

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 5 / 16

O Teorema dos Numeros Primos

A funcao de contagem de numeros primos e a funcao : ]0, +[ N

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 6 / 16

O Teorema dos Numeros Primos

A funcao de contagem de numeros primos e a funcao : ]0, +[ N

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 6 / 16

O Teorema dos Numeros Primos

A funcao de contagem de numeros primos e a funcao : ]0, +[ N

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 6 / 16

O Teorema dos Numeros Primos (cont.)

Mostra-se que a formula assimptotica para (x) acima e equivalente a

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 7 / 16

O Teorema dos Numeros Primos (cont.)

Mostra-se que a formula assimptotica para (x) acima e equivalente a

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 7 / 16

O Teorema dos Numeros Primos (cont.)

Mostra-se que a formula assimptotica para (x) acima e equivalente a

Hadamard e de la Valee-Poussin provaram independentemente em 1896

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 7 / 16

Estimativas para (x)

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 8 / 16

Estimativas para (x)

Na realidade, e um Teorema de Schoenfeld (1976) que a Hipotese de

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 8 / 16

Estimativas para (x)

Na realidade, e um Teorema de Schoenfeld (1976) que a Hipotese de

Gustavo Granja (IST) A Hipotese de RIemann 21 de Novembro de 2012 8 / 16

Estimativas para (x)

Na realidade, e um Teorema de Schoenfeld (1976) que a Hipotese de

Mais geralmente, a localizacao dos zeros da funcao da informacao

Pelo Teorema Fundamental da Aritmetica, o estudo da estrutura