Um M Inimo Sobre A Fun C Ao Zeta de Riemann

Captulo 8
Um Mnimo Sobre A Fun

c
ao Zeta de Riemann
Conte
udo
8.1 Origens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312
8.2 Definic
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 317
8.3 A F ormula de Produto de Euler e Outras Rela oes Envolvendo . . . . . . . . . . . . .
c . 318
8.4 Primeiras Rela oes de com a Fun
c c
ao Gama de Euler . . . . . . . . . . . . . . . . . . . . 322
8.5 Os Valores de nos Inteiros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 326
8.5.1 Um Interl udio. A F ormula 1 + 2 + 3 + 4 + 5 + = 1/12 (?!) e Alguns de Seus Amigos . . . 328
8.6 A Rela c
ao Funcional de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332
8.6.1 Uma Demonstrac ao da Relacao Funcional de Riemann . . . . . . . . . . . . . . . . . . . . . . 334
8.7 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 336
N u
meros primos tem intrigado e fascinado matematicos desde a antiguidade e seu estudo tem atrado o interesse
de incont aveis geracoes. Um dos captulos mais interessantes desse empreendimento envolve uma funcao, a
funcao zeta de Riemann, e nossa pretensao aqui e apresentar um mnimo de material sobre a mesma, especi-
almente aquele que concerne sua relacao com a funcao gama de Euler. A funcao zeta de Riemann e tambem
empregada em Fsica (na Teoria Qu antica de Campos, na Mecanica Quantica) e est
aberto da Mecanica Estatstica (generalizacoes do Teorema de Lee-Yang).
a relacionada a alguns problemas em
Algumas referencias sobre a funcao zeta de Riemann sao [251], [62], [121] e [6]. Para um relato n
ao tecnico da historia
dos desenvolvimentos em torno da funcao zeta de Riemann e da relevancia do estudo dessa funcao, vide [56] ou [216]. A
referencia [62] desenvolve a teoria da funcao zeta seguindo proximamente os passos apontados pela historia do assunto e
contem uma traducao do historico trabalho original de Riemann, sobre o qual falaremos um pouco no que segue.
8.1 Origens
Diversas propriedades da funcao zeta de Riemann sao intimamente ligadas a propriedades dos numeros primos e essa
funcao tem sido usada de forma importante como instrumento no estudo da distribuicao dos mesmos. Vamos comecar
com alguns esclarecimentos sobre isso.
N
umeros primos
Um n umero natural p N, p > 1, e dito ser um numero primo se inexistir um numero natural q com 1 < q < p tal
que p/q N. O n umero 1 usualmente nao e considerado primo1 , mas 2 e primo. Denotaremos por P N a colecao
de todos os n
umeros primos. O seguinte resultado fundamental, conhecido desde a Antiguidade, e uma consequencia
imediata da definicao de n
umero primo:
Teorema 8.1 (Teorema Fundamental da Aritm
etica) A cada n N, n > 1, existem univocamente associados
1. um n
umero natural N N,
2. um conjunto de N primos distintos {p1 , . . . , pN } P e
3. um conjunto de N n
umeros naturais {1 , . . . , N } N
tais que vale

n = p11 pNN . (8.1)
1 H
a um coment
ario sobre isso na nota-de-rodap
e 4, `
a p
agina 314.
312
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 8 313/2103
Os n
umeros primos p1 , . . . , pN s
ao denominados fatores primos de n. A express
ao (8.1) e denominada decomposicao
em fatores primos de n. A decomposic ao em fatores primos de cada n
umero natural e u
nica. 2
A demonstracao desse importante teorema segue de forma relativamente direta da definicao de n umero primo e pode
ser encontrada em qualquer bom livro sobre Teoria dos N umeros, por exemplo em [99]. Uma consequencia desse teorema
e o seguinte fato, conhecido desde Euclides2 : h a infinitos n
umeros primos. A demonstracao e muito simples. Suponhamos
que P seja um conjunto finito e seja P seu maior elemento. Considere-se Q := P ! + 1. Como Q > P , Q n ao e primo. Seja
q um n umero primo pertencente ao conjunto de fatores primos de Q. Como q e primo, devemos ter 2 q P . Agora,
por um lado, pela definicao de q tem-se Q/q N, pois Q e divisvel por q. Por outro lado, Q/q = (P !)/q + 1/q 6 N,
pois P ! e divisvel por q (j
a que q aparece entre os fatores do produto P ! = P (P 1) 2, dado que 2 q P ) e pois
1/q 6 N (ja que q 2). Essa contradicao mostra que a hipotese de partida, a finitude de P, e falsa.
A lista dos quarenta primeiros n
umeros primos e
n
P = 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71 , 73, 79, 83,
o
89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, . . . .
Ate o presente (marco de 2014) sao conhecidos todos os primos sucessivamente ate apenas cerca de 4 1018 , que sao
em n umero de 95.676.260.903.887.607 9, 5 1016 . A partir da os primos nao foram mais determinados em sequencia
e o maior primo encontrado ate o presente (marco de 2014) e 257.885.161 1, que e apenas da ordem de 1017.425.170 .
Sabendo-se que P e um conjunto infinito coloca-se a quest
ao sobre a forma como os numeros primos est
ao distribudos
entre os naturais. Seria de grande interesse encontrar uma funcao bijetora N P que, para cada n N, fornecesse o
n-esimo primo, mas tal expressao nao foi encontrada ate o presente. Em verdade, e um fato um tanto surpreendente,
e deveras intrigante, que os primos distribuem-se de uma forma que parece aleat oria. O que justificaria a aparente
aleatoriedade de sua distribuicao? Contemplando-se listas de n umeros primos percebe-se que eles parecem tornar-se
cada vez mais raros, mas como colocar essa afirmacao em termos mais precisos sem que se conheca a totalidade do
conjunto P ou a regra que o produz? Haveria, afinal, alguma regularidade na distribuicao dos primos?
Um dos primeiros a atacar a quest ao da distribuicao dos primos foi Euler3 , no seculo XVIII (portanto cerca de dois
mil anos apos Euclides!), e suas ideias e resultados deram incio a uma serie de desenvolvimentos que est ao em curso
ainda hoje. Tentemos delinear seus raciocnios.
Euler e sua f
ormula de produto
No ano de 1735 Euler anunciou ter resolvido parcialmente um importante desafio de sua epoca, conhecido como
Problema de Basel, o qual consistia em encontrar formulas fechadas para series infinitas como

X 1
k
,
n=1
n
onde k e um n umero natural. Trata-se de uma serie cujos termos sao inversas de potencias dos n
umeros naturais. Euler
obteve uma solucao para o caso em que k e par: a expressao (6.16), p
agina 264 (o caso em que k e mpar est
a em aberto
ate os dias de hoje). Para k = 2, por exemplo, Euler obteve o celebre resultado

X 1 1 1 1 1 1 2
2
= 1+ + + + + + = .
n=1
n 4 9 16 25 36 6
No caso em que k = 1, a serie acima e denominada serie harm

onica:

X 1 1 1 1 1 1
= 1 + + + + + +
n=1
n 2 3 4 5 6
2 Conhecido como Euclides de Alexandria (ci. 325 A.C.ci. 265 A.C.).
3 Leonhard Euler (17071783).
atica Vers
e j
a era conhecido desde o seculo XVII que a mesma e uma serie divergente (o que e facil de se ver se se usar o chamado
criterio da integral).
Assim, Euler sabia que a soma das inversas dos n umeros inteiros e divergente, mas as soma da inversas de seus
quadrados e finita. Isso significa que o conjunto dos quadrados {1, 4, 9, 16, 25, 36, 49, 64, 81, . . .} torna-se cada vez
mais esparso dentro do conjunto dos n umeros naturais {1, 2, 3, 4, 5, 6, 7, 8, 9, . . .} a ponto de que a soma de seus
inversos convirja.
Euler voltou-se ent
ao para a distribuicao de primos {2, 3, 5, 7, 11, 13, 17, 19, 23, . . .}, perguntando-se se eles eram
mais ou menos densamente distribudos que o conjunto de n umeros quadrados {1, 4, 9, 16, 25, 36, 49, 64, 81, . . .}.
Uma maneira de saber isso e responder se a serie
X1 1 1 1 1 1 1 1 1 1
= + + + + + + + + + , (8.2)
p 2 3 5 7 11 13 17 19 23
pP
a soma infinita das inversas dos n

umeros primos, e convergente ou n
ao. Se for convergente, ent
ao os primos devem estar
distribudos de forma cada vez mais esparsa na medida em que crescem, talvez como os n umeros quadrados. Se n ao
for convergente, entao os n
umeros primos ocorrerao com mais frequencia que os numeros quadrados, ou seja, de forma
menos esparsa que os mesmos.
Como veremos, Euler estabeleceu que a serie (8.2), analogamente à serie harmonica, tambem e divergente, indicando
que os primos n
ao se tornam t
ao raros, na medida em que crescem, quanto os n umeros quadrados.
Euler atacou a quest ao da finitude ou n
ao da serie (8.2) de uma forma indireta. Ao inves de lidar diretamente com
aquela serie, Euler tentou antes responder a uma outra quest ao relacionada: a de se a produtoria infinita

Y 1 1 1 1 1 1
1 = 1 1 1 1 1 (8.3)
p 2 3 5 7 11
pP
convergia a zero ou n ao. Por que essas quest oes est ao relacionadas? Pois como aprendemos na Proposicao 6.1, p
agina
265, caso a serie (8.2) seja finita, ent
ao a produtoria em (8.3) e nao-nula e, reciprocamente, se pudermos provar que a
produtoria em (8.3) converge a zero, ent ao a serie (8.2) n
ao pode ser convergente.
Como Euler demonstrou que a produtoria em (8.3) converge a zero? Lancando mao de um resultado que ele mesmo
descobriu, provavelmente quando lidou com o Problema de Basel. Por volta de 1735 Euler anunciou ter provado a
seguinte identidade, conhecida desde ent
ao como f
ormula de produto de Euler:
Y 1
1 X 1
1 k = , (8.4)
p nk
pP n=1
para k N, com P sendo o conjunto de todos os primos4 . Apresentaremos uma demonstracao dessa identidade (em
um caso muito mais geral) logo adiante, na Secao 8.3, p
agina 318. A demonstracao original de Euler, ainda que
n
ao completamente rigorosa, e muito mais simples que aquela que apresentaremos e pode ser acompanhada em textos
elementares (como e.g., em [56] ou [53]).
O que nos importa e que no caso k = 1 a identidade (8.4) indicou a Euler que
Y 1
1 X 1
1 = = ,
p n
pP n=1
pois a serie do lado direito e a serie harm

onica. Como a produtoria do lado esquerdo e a inversa da produtoria de (8.3),
Euler concluiu que aquela produtoria converge a zero e, portanto, que a serie
X1 1 1 1 1 1 1 1 1 1
= + + + + + + + + +
p 2 3 5 7 11 13 17 19 23
pP
n
ao pode ser uma serie convergente.
4 Comentario: o fato de nenhum fator correspondente a p = 1 poder aparecer na produt
oria do lado esquerdo
e a principal raz
ao t
ecnica
para n
ao se considerar o n
umero 1 como sendo um n umero primo, ou seja, como elemento de P.
atica Vers
Um dos pontos importantes da analise de Euler, especialmente de sua formula de produto (8.4), foi o de chamar a
atencao para a relacao entre propriedades das series de Dirichlet5 do tipo

X 1
k
=: (k) , (8.5)
n=1
n
com k N, e propriedades do conjunto de n umeros primos. A funcao definida pela serie em (8.5) passou a ser denominada
func ao zeta de Riemann6 . Euler considerou-a apenas para valores de k dentre os naturais.
ao zeta e, posteriormente, func
Esse foi o ponto de partida para o proximo grande desenvolvimento desta narrativa, o qual foi devido a Riemann. Antes,
porem, devemos fazer alguns coment arios sobre a densidade de numeros primos.
Como cresce o n
umero de primos. A conjectura dos n
umeros primos
Para n N, n 2, denotemos por (n) o n umero de primos entre 2 e n, ou seja, (n) e a cardinalidade do conjunto
{1, 2, . . . , n} P. Podemos formular a quest
ao de como os primos se distribuem atraves da seguinte pergunta: de que
forma (n) cresce com n para n ?
Um dos primeiros a colocar essa quest ao foi Gauss7 que observou por volta de 17938 que (n) comportava-se aproxi-
madamente como n/ Rln n para n grande. Em 1838 Dirichlet apresentou uma versao mais precisa, afirmando que (n)
n
comportava-se como 2 lndtt para n grande9. Isso equivale a dizer que a densidade de n umeros primos proxima a um
dado t e aproximadamente 1/ ln t. Ate onde se sabe, a afirmativa de Gauss tem origem puramente emprica e baseou-se
na analise que o mesmo fez de tabelas de n umeros primos existentes em seu tempo (que forneciam todos os n umeros
primos ate aproximadamente 3, 0 106 , que sao cerca de 2, 16 105 ).
Rx
Dada a sua import ancia nesse e em outros contextos, a funcao 2 lndtt e denotada por Li(x):
Z x
dt
Li(x) := , para x R com x 2 , (8.6)
2 ln t
ao logaritmo integral10 . A conjectura que ent

e e denominada func ao se formulou, baseada nas observacoes empricas de
Gauss, Dirichlet e outros, pode ser colocada nos seguintes termos mais precisos:
Li(n) (n)
lim = 0, (8.7)
n Li(n)
ou seja, o erro relativo da aproximacao de (n) por Li(n) vai a zero quando n . Calculando-se a raz
ao do lado
direito constata-se, por exemplo, que para n 3, 0 106 o erro relativo e da ordem de 1, 0 103 .
Aparentemente Gauss, Dirichlet e outros contemporaneos tentaram sem sucesso provar essa conjectura. Sua demons-
tracao somente foi obtida independentemente por de la Vallee-Poussin e por Hadamard, ambos em 1896. Ambos os
autores basearam-se em ideias lancadas por Riemann em seu historico estudo da funcao zeta e suas consequencias para
a distribuicao de primos.
Sobre o N
umero de Primos Abaixo de um Valor Dado
Como ja dissemos, o estudo da funcao (s) iniciou-se com Euler, que calculou-a nos n umeros naturais pares e estabe-
leceu a formula de produto que leva seu nome (discutida na Secao 8.3, pagina 318). Euler limitou-se, porem, a considerar
valores de s dentre os naturais. Em um celebre trabalho11 de 1859, intitulado Sobre o N umero de Primos Abaixo de
um Valor Dado e apresentado ` a Academia Prussiana de Ciencias, Riemann (um dos fundadores da Analise Complexa)
decidiu tratar a variavel s como complexa e estudou a estrutura analtica de , demonstrando uma serie de resultados
seminais e discutindo suas consequencias para o estudo das distribuicoes de numeros primos, lancando com isso algumas
conjecturas que tem desafiado in umeros matematicos desde ent ao. Alguns dos resultados de Riemann sobre propriedades
analticas da funcao serao apresentados no restante deste captulo.
5 S
eriesde Dirichlet foram definidas `
a pagina 258.
6 Georg Friedrich Bernhard Riemann (18261866).
7 Johann Carl Friedrich Gau (17771855).
8 Essa data
e mencionada em uma carta de Gauss datada, por em, de 1849.
9 Aparentemente Gauss tamb em fizera essa observaca
o em 1793, masRdivulgou-a somente na mencionada carta de 1849, ap os Dirichlet.
10 H
a uma outra funcao parecida que recebe o mesmo nome: li(x) := 0x ln dt
t
, para x > 0. Claro est
a que Li(x) = li(x) li(2).
11 B. Riemann, Ueber die Anzahl der Primzahlen unter einer gegebenen Gr osse. Monatsberichte der K oniglich Preuischen Akademie
der Wissenschaften zu Berlin. 136144, November (1859).
atica Vers
O ponto revolucionario do trabalho de Riemann foi o de estender a funcao zeta ao plano complexo, o que permitiu
explorar todo o arsenal de metodos e resultados da Analise Complexa e coloc
a-los a servico da Teoria dos N
umeros. A
nova area da Matematica assim iniciada e denominada Teoria Analtica de N
umeros, um ativo ramo de pesquisa ate o
presente. Para uma referencia b
asica, vide [6].
O trabalho historico de Riemann possui apenas nove p aginas. Copias, traducoes e mesmo fac-smiles do original
podem ser facilmente encontradas na internet. A referencia [62] contem uma traducao para o ingles em um apendice.
Naquele artigo, apos uma analise detalhada das propriedades de no plano complexo (` a qual dedicamos parte do que
segue neste captulo), Riemann passou a usar a funcao para estudar a distribuicao de primos. Seu principal resultado e
uma expressao em serie para (n) cujo primeiro termo e Li(n). No entanto, Riemann n ao demonstrou que esse primeiro
termo e o termo dominante (isso foi feito apos Riemann) e n ao fez qualquer mencao à questao da convergencia da serie.
Em meio a sua analise Riemann formulou uma conjectura sobre os zeros complexos da funcao , a saber, que eles
teriam todos parte real igual a 1/2 (a funcao tem zeros reais, tambem descobertos por Riemann, sobre os inteiros
negativos, que sao denominados zeros triviais de ). Naquele trabalho, Riemann n ao fez nenhum esforco para provar
essa conjectura ou mesmo para justific a-la (!), limitando-se a dizer que sua veracidade era bastante provavel. Essa assim
chamada conjectura de Riemann, ou hip otese de Riemann, ainda n ao foi demonstrada. Ela tem desafiado matematicos
h
a geracoes e representa ate hoje um dos maiores problemas em aberto da Matem atica. Sua validade forneceriam uma
vis
ao mais precisa da distribuicao dos primos.
Mais adiante, comentaremos um pouco mais sobre essa conjectura e sobre os (poucos) resultados obtidos em sua
direcao ate o presente. A validade da conjectura de Riemann permitiria a demonstracao de varios resultados da Teoria
dos N umeros e em, particular, permitiria justificar as correcoes obtidas por Riemann à aproximacao de (n) por Li(n),
correcoes essas que forneceriam uma visao mais precisa da distribuicao de primos.
O trabalho de Riemann foi muito admirado, mas tambem foi criticado, quer pela falta de demonstracoes de alguns
resultados quer pela natureza vaga de algumas das suas afirmacoes. No entanto, e preciso lembrar que o artigo de Riemann
nao fora escrito como um artigo cientfico detalhado regular. Riemann fora eleito membro correspondente da Academia
Prussiana de Ciencias, uma instituicao de alto prestgio, na epoca, e fora convidado a redigir um texto apresentando
resultados nos quais trabalhava no momento. Riemann decidiu-se por apresentar seus resultados sobre a funcao zeta e
suas aplicacoes na Teoria de N
umeros. Possivelmente pretendia publicar um texto mais detalhado depois, mas n ao chegou
a faze-lo (Riemann faleceu em 1866 aos trinta e nove anos). Foi somente sessenta anos apos sua morte, nos anos trinta do
seculo XX, que revelou-se a intensidade, a profundidade e a qualidade tecnica do trabalho que Riemann devotou a essas
quest oes, quando seus manuscritos foram organizados e estudados por Siegel12 , o qual pode revelar diversos resultados
de Riemann ainda desconhecidos (por exemplo, a chamada relacao de Riemann-Siegel) e que jaziam sob a publicacao
original.
O Teorema dos N
umeros Primos
Um passo importante, posterior a Riemann, foi dado em 1896 de forma independente13 por de la Vallee Poussin14 e
por Hadamard15 . Seguindo ideias delineadas por Riemann, mas sem fazer uso da conjectura de Riemann, de la Vallee
Poussin e Hadamard provaram a validade da conjectura (8.7), obtendo ainda a estimativa de erro

Li(n) (n)
ec ln n ,
Li(n)
valida para todo n grande o suficiente, sendo c > 0 uma constante (a melhor estimativa conhecida para c e c = 1/15). A
conjectura (8.7) transformou-se, assim, em um teorema, denominado Teorema dos N umeros Primos. Para uma demons-
tracao, vide [62] ou [251]. Em 1949, Selberg16 e Erd
os17 semi-independentemente apresentaram18 uma demonstracao do
Teorema dos N umeros Primos usando recursos elementares, ou seja, sem fazer uso de Analise Complexa.
12 Carl Ludwig Siegel (18961981).
13 Charles de la Vall
ee Poussin. Recherches analytiques sur la th eorie des nombres premiers. Ann. Soc. Sci. Bruxells (1897), e Jacques
Hadamard. Sur la distribution des zeros de la fonction (s) et ses consequences arithm
etiques. Bull. Soc. Math. France, 24:199220. JFM
27.0154.01.

14 Charles-Jean Etienne Gustave Nicolas de la Vall
ee Poussin (1866-1962).
15 Jacques Salomon Hadamard (18651963).
16 Atle Selberg (19172007).
17 Paul Erdos (19131996).
18 A. Selberg, An elementary proof of the prime-number theorem. Ann. of Math., 50, pp. 305313 (1949) e P. Erd os, On a new method
in elementary number theory which leads to an elementary proof of the prime number theorem. Proc. Nat. Acad. Sci. USA, 35, pp. 374384
(1949).
atica Vers
Como dissemos, o Teorema dos Numeros Primos fornece uma informacao importante sobre como os n umeros primos
se distribuem em media, mas para a obtencao de informacoes ainda mais precisas seria talvez necessario demonstrar a
validade da conjectura de Riemann.
8.2 Definic
ao
Neste captulo denotaremos por
C1 o semi-plano aberto de C composto por todos os n
umeros complexos cuja parte real
e maior que 1, ou seja, C1 := z C, Re (z) > 1 .
Para s C1 , define-se a chamada func
ao zeta de Riemann por

X 1
(s) := . (8.8)
n=1
ns
Usar a letra s para designar a variavel da qual depende e uma tradicao iniciada com Riemann. Como comentamos
` p
a agina 258, a serie do lado direito e uma serie de Dirichlet. E elementar constatar (vide logo abaixo) que a serie do
lado direito e absoluta e uniformemente convergente em compactos em C1 e, portanto, define uma funcao analtica nessa
regi
ao. Como discutiremos, a funcao zeta de Riemann possui uma extensao analtica para fora dessa regiao onde, porem,
a representacao em serie (8.8) n
ao e mais valida. Mais especificamente, veremos que a funcao zeta de Riemann pode ser
analiticamente estendida ao domnio C \ {1}, tendo no ponto 1 um polo simples com resduo igual a 1.

X
Ao estudante iniciante recordamos que uma situacao semelhante ocorre no exemplo da serie de potencias (z)m ,
m=0
que tambem converge absoluta e uniformemente em compactos no disco aberto |z| < 1 de C e, portanto, define uma
funcao analtica nessa regi
ao. Como e bem sabido, essa funcao definida por essa serie pode ser estendida analiticamente
para fora dessa regiao (exceto em z = 1) pela funcao 1/(1 + z), a qual e analtica em toda a regiao C \ {1}.
Analiticidade em C1 da fun
c
ao definida em (8.8)
Vamos primeiramente tratar da convergencia e analiticidade da serie posta ao lado direito de (8.8) na regiao C1 .
Seja K C1 um conjunto compacto. K e fechado e limitado e, portanto, existe k > 1 tal que Re (z) k para todo
z K. Tomemos s K e escrevamos s = s0 + is1 com s0 , s1 R. Naturalmente s0 k > 1. Logo, para cada n N
vale
1
= 1 = 1 1 .

ns ns0 +is1 ns0 nk
Para N N tem-se, portanto,
N N
X 1 X 1
.
ns nk
n=1 n=1
N
X 1 19
X 1
Como k > 1, o limite N de k
existe e, portanto, a s
e rie s
converge absolutamente para todo s K.
n=1
n n=1
n

Essa convergencia e, ademais, uniforme,
pois a majoracao n1s n1k e valida para todo s K. Agora, cada funcao
P
C s 7 fn (s) := 1/ns = exp s ln n e evidentemente analtica em todo C. Logo, n=1 n1k e uma serie absoluta e
uniformemente convergente em compactos de C1 de funcoes analticas e seu limite, portanto20 , e tambem uma funcao
analtica em C1 .
Isso estabeleceu a analiticidade da funcao de Riemann na regiao C1 , de acordo com a definicao (8.8). No que segue
trataremos de estender o domnio de definicao e analiticidade de . A funcao gama de Euler desempenhara nisso um
papel importante.
19 Essa converg
encia pode ser facilmente estabelecida, por exemplo, pelo crit
erio da integral:
N N N 1 1k
1 1 N 1 1
X X Z
lim k
1 + lim k
1 + lim k
dx = 1 + lim = 1+ < .
N
n=1
n N
n=2
n N 1 x N 1 k 1 k k 1
Vide e.g. [164] e [165] ou qualquer outro bom livro de C

alculo ou An
alise.
20 Esse e um resultado bem-conhecido de An alise Complexa.
atica Vers
8.3 A Formula de Produto de Euler e Outras Rela

coes En-
volvendo
Apresentemos primeiramente a demonstracao da j
a mencionada f
ormula de produto de Euler.
Proposi
c
ao 8.1 Para s C1 vale a identidade
Y 1
1
(s) = 1 s , (8.9)
p
pP
onde P = {2, 3, 5, 7, 11, 13, 17, . . .} N e a colec

ao (infinita) de todos os n
umeros primos. Ambos os lados de (8.9)
representam func
oes analticas em C1 . 2
Q
1
Prova. A primeira etapa da demonstracao e provar a convergencia da produtoria infinita pP 1 ps . Como acima,
seja K C1 um compacto. K e fechado e limitado e, portanto, existe k > 1 tal que Re (z) k para todo z K.
Tomemos s K e escrevamos s = s0 + is1 com s0 , s1 R. Naturalmente s0 k > 1. Para cada p P as funcoes
s 7 1 p1s sao analticas em K. Alem disso,

1 1 1
sup 1 s 1 = sup s k .

sK p sK p p
Com isso,
X 1 X 1 X 1
sup 1 s 1
< < ,
p pk nk
pP pP
sK
nN
a segunda
desigualdade
sendo uma consequencia trivial do fato que P N. Pelo Corolario 6.1, p
agina 266, a produtoria
Q 1
pP 1 ps converge e define uma func a
o anal
tica em todo C 1 .
1
Seja P P e considere-se a produtoria finita pP 1 p1s
Q
. Como |ps | > 1, tem-se
pP
Y 1
1 Y X 1 X X Y 1
1 s = = s ,
p pms m1 mP
pP pP m=0 m =0 m =0 1 P p1 , ..., pP P p1 pP
pP pP
aultima igualdade sendo valida pois a produtoria e finita e as somatorias sao absolutamente convergentes.
n o
Pelo Teorema Fundamental da Aritmetica, conjunto pm 1
1
p mP
P , com p 1 , . . . , p P P e m 1 , . . . , m P N0 eo
conjunto de todos os n
umeros em N0 cujos fatores primos sao todos menores ou iguais a P . Logo, devido à convergencia
absoluta da somatoria em (8.8), conclumos que
Y 1
X 1 1 X 1
s
1 s
= ,
n=1
n pP
p ns
nNP
pP
onde NP e o conjunto de todos os numeros em N que possuem ao menos um fator primo maior que P . Logo,

1
X

1 Y
1 X 1 X 1 X
1
s
1 s =
s k
k
.
n pP
p n n n
n=1 pP
nNP nNP n=P +1
claro pelo exposto anteriormente que o lado direito vai a 0 quando P . Logo, provamos que
E

X 1 1
Y 1
lim s
1 s = 0,
P
P P n=1
n pP
p
pP

atica Vers
completando a prova de (8.9).
A formula de produto de Euler (8.9) revela uma insuspeita conex ao entre a funcao zeta de Riemann e o conjunto dos
n
umeros primos. Essa conex ao e a raz
ao de ser da funcao zeta de Riemann e a principal motivacao para seu estudo.
Uma consequencia de (8.9) e a seguinte afirmacao:
Corol
ario 8.1 A func
ao zeta de Riemann n
ao possui zeros em C1 . 2
Prova. A afirmacao e evidente por (8.9), j

a que a produtoria e convergente e nenhum dos fatores anula-se. Uma prova
direta (e um tanto redundante) seria nas seguintes linhas. Seja P P. Por (8.9) tem-se

Y 1
Y 1 1
1 s (s) = 1 s .
pP
p pP
p
pP p>P
Pelos mesmos passos da demonstracao da Proposicao 8.1, tem-se que o lado direito da u ltima expressao e igual a
X 1

1+ , onde NP N e o conjunto de todos os naturais cujos fatores primos sao todos maiores que P . Agora,

ns
nNP

X 1 X 1 X 1
.
s nk nk
nNP n

nN
P n=P +1
O lado direito pode ser feito menor que 1 tomando-se P grande o suficiente. Isso implica que

Y
1 X 1 X 1
1 s (s) = 1 +

s
1 > 0.
pP p n nk
pP nNP n=P +1
Logo, (s) 6= 0, como queramos estabelecer.
Mais adiante, com auxlio da chamada relacao fundamental de Riemann, estabeleceremos que (s) tambem n
ao se
anula na regiao Re (s) < 0, exceto quanto s e um inteiro par negativo.
A fun
c
ao 1/(s) e a fun
c
ao de M
obius
obius21 , : N {1, 0, 1} por
Define-se a chamada funcao de M

1, se n = 1 ,

(n) := (1)k , se a decomposicao de n em fatores primos for da forma n = p1 . . . pk ,

0, de outra forma.
Tem-se o seguinte resultado:

Proposi
c
ao 8.2 Para s C1 vale

1 X (n)
= , (8.10)
(s) n=1
ns
Note-se que o lado esquerdo de (8.10) est a bem definido e representa uma func
ao analtica em C1 , pois, como vimos
acima, e analtica e n
ao se anula nesse domnio. 2
21 August Ferdinand M
obius (17901868).
atica Vers
Prova. Pela formula do produto de Euler, temos, tomando P P,

P
1 Y 1
= lim 1 s . (8.11)
(s) P
P P p=2
p
pP
Agora,
s
P P
Y 1 (1.A.1) X Y X (n)
1 = (1)|N | p = .
ps ns
p=2 N {1, ..., P }P pN n=1
pP
umeros da forma pN p com N {1, . . . , P } P sao precisamente aqueles

Q
Au ltima igualdade se deve ao fato que os n
n
umeros contidos em {1, . . . , P } para os quais a funcao de M ao se anula. O fator (1)|N | e coerente com a
obius n
definicao de .
PP
Como |(n)| 1, a serie lim P n=1 (n)
ns converge absoltamente em C1 e uniformemente em compactos, como j a
P P
discutido na prova da analiticidade de nessa regiao.
E. 8.1 Exerccio. Mostre que para s C1 vale
Y
(s) 1 X (n)
= 1+ s = . (8.12)
(2s) p ns
pP n=1
Sugestao. Usando formula de produto de Euler, mostre que

" #
(s) Y 1
1
1 Y 1

= 1 2s 1 s = 1+ s
(2s) p p p
pP pP
e prossiga a partir disso, notando que a produt

oria do lado direito, acima, s
o difere da produt
oria em (8.11) pelos sinais. 6
Rela
c
ao entre e a fun
c
ao
Ja definimos anteriormente (n), com n N, n 2, como sendo o n umero de primos em {2, . . . , n}, ou seja, como
sendo a cardinalidade de {2, . . . , n} P. E
u
til estender essa definicao para n
umeros reais. Para x R com x < 2
definimos (x) = 0 e para x R com x 2 definimos (x) sendo o n umero de primos no intervalo fechado [2, x], ou
seja, como sendo a cardinalidade de [2, x] P.
Ja mencionamos anteriormente a relacao entre e a distribuicao dos primos. Vamos agora tornar mais explcita a
relacao entre (s) e a funcao (x), que conta o n
umero de primos menores ou iguais a x.
A ideia chave e a observacao de que para cada n N a diferenca (n) (n 1) vale 1 se n for primo e vale 0 se n
n
ao for primo.
E. 8.2 Exerccio. Justifique! 6
Com isso em mente, considere-se uma funcao f : N C definida nos naturais. Para P P, podemos escrever
X P
X
f (p) = (n) (n 1) f (n) .
pP n=2
pP
atica Vers
Assim, pela formula de produto de Euler temos, para s C1 ,

1
log (s) = lim log 1 s
P
pP
p
P
X 1
= lim (n) (n 1) log 1 s
P
pP n=2
n
" P XP #
X 1 1
= lim (n) log 1 s (n 1) log 1 s
P
pP n=2
n n=2
n
" P PX1 #
X 1 1
= lim (n) log 1 s (n) log 1
P
pP n=2
n n=1
(n + 1)s
" P #
X 1 1
= lim (n) log 1 s log 1
P
pP n=2
n (n + 1)s

1 1
lim (1) log 1 + (P ) log 1
P
pP
(2)s (P + 1)s
P
X 1 1
= lim (n) log 1 s log 1 .
P
pP n=2
n (n + 1)s
Na ultima igualdade acima usamos o fato que (1) = 0 e o fato que (P ) P , o que implica que, para P grande o
suficiente,

1 1 X 1 1 X 1 1
(P ) log 1 P log 1 = P
P ,
(P + 1)s (P + 1)s ms
m (P + 1) m (P + 1)ms0
m=1 m=1

1
donde fica claro que limP (P ) log 1 (P +1) s = 0. Acima, s0 > 1 e a parte real de s.
Prosseguindo, observemos que
d 1 s
log 1 s = s
.
dx x x x 1
Assim, temos
P
X 1 1
log (s) = lim (n) log 1 s log 1
P
pP n=2
n (n + 1)s
P
"Z #
n+1
X s
= lim (n) dx
P
pP n=2 n x xs 1
P Z n+1
X s(x)
= lim dx
P
pP n=2 n x xs 1
Z
s(x)
= dx
2 x xs 1
Portanto, para s C1 , !
Z
(x)
(s) = exp s dx . (8.13)
2 x xs 1
atica Vers
Essa expressao explicita a relacao entre e , como pretendamos.
8.4 Primeiras Rela

coes de com a Fun
cao Gama de Euler
Uma primeira rela

c
ao entre as fun
co
es zeta e gama
Um passo importante no estudo das propriedades elementares da funcao zeta de Riemann e estabelecer uma ligacao
da mesma com a funcao gama de Euler. Tomemos s C1 . Com uma simples mudanca de variaveis e elementar constatar
que para n N, tem-se Z
(s) = ns enx xs1 dx .
0
Assim, podemos escrever, para todo N N,
N Z N
! Z
X 1 X
nx 1
(s) = e xs1 dx = 1 eN x xs1 dx ,
n=1
ns 0 n=1 0 ex 1
PN
onde, na segunda
igualdade, usamos a bem conhecida expressao para a soma de uma progressao geometrica: n=1 an =
a N
1a 1 a , v
a lida para todo a C (acima, tomamos a = ex ). Nosso proximo passo e mostrar que
Z N x
e
lim xs1 dx = 0 (8.14)
N 0 ex 1
(uniformemente na regi
ao C1 ), o que estabelece a seguinte relacao fundamental entre as funcoes gama e zeta:
Z
xs1
(s)(s) = dx , (8.15)
0 ex 1
valida em toda o domnio C1 .
Para provar (8.14), escrevamos s = s0 + is1 , com s0 e s1 reais e com s0 > 1. Temos que
Z N x Z N x
e s1
e s1

x
x dx x
x dx

0 e 1
0 e 1
Z
eN x s0 1
= x dx
0 ex 1
Z
y=N x 1 ey
= y s0 1 dy
N s0 0 ey/N 1
Z
() 1 1
< ey y s0 1 dy
N s0 0 y/N
Z
1
ey y s0 2 dy
N s0 1 0
(s0 1)
= .
N s0 1
(Acima, na passagem indicada por (*) usamos o fato que, para todo t > 0 vale22 et11 < 1t ). Portanto,
Z N x
e
s1 (s0 1)
lim x
x < Nlim = 0,
N 0 e 1 N s0 1
22 Isso pode ser provado de diversas formas, por exemplo, da seguinte: segue da expans ao em serie de Taylor da funca o exponencial
et = k
P P k t
P k
k=0 t /k! = 1 + t + k=2 t /k! que e 1 > t para t > 0 (pois k=2 t /k! > 0, j
a que cada termo e positivo). Disso segue diretamente
o desejada: et11 < 1t
a relaca
atica Vers
para s0 > 1. Provando (8.15). Note-se que o limite e uniforme em compactos na regiao Re (s) > 1.
Uma integra
c
ao complexa
Um salto importante realizado por Riemann foi considerar, ainda provisoriamente no caso s C1 , a seguinte integral
complexa:
Z
exp s log(z) 1
dz , (8.16)
R exp(z) 1 z
onde R e a curva em C definida para > 0 na Figura 8.1, p
agina 323.
L 1
L2
Figura 8.1: A curva R , consistindo das semi-retas orientadas L1 e L2 (paralelas ao eixo real) e do arco orientado A, de
raio e de angulo de abertura , centrado na origem.
Nota. Por conveni

encia, adotaremos 0 < < 2 para garantir que R n
ao envolva outras razes da funca
o exp(z) 1 que n
ao a raiz em
z = 0.
O leitor deve observar que quando a variavel de integracao z passeia ao longo da curva R , o argumento z da
funcao log no integrando em (8.16) nunca passa pelo semi-eixo real negativo. Assim, log(z) est a definido dentro do
ramo principal da funcao log (com o argumento no intervalo (, )).
Disso se conclui que o integrando em (8.16) e analtico na variavel z em todo o plano complexo, exceto no eixo real
positivo. Consequentemente, a integral em (8.16) independe de (desde que este permaneca positivo) e, portanto, pode
ser calculada tomando-se o limite 0 com > 0.
Para cada > 0 a integral em (8.16) pode, naturalmente, ser escrita como soma de tres integrais: ao longo da
semi-reta orientada L1 , ao longo da semi-reta orientada L2 e ao longo do arco orientado A. Denotaremos essas integrais
por I1 , I2 e I3 , respectivamente. Para as duas primeiras, temos
Z 0 Z
exp s log(x i) 1 exp s log(x i) 1
I1 = dx = dx ,
exp(x + i) 1 x + i 0 exp(x + i) 1 x + i
Z

exp s log(x + i) 1
I2 = dx .
0 exp(x i) 1 x i

Agora, log(x i) = ln x2 + 2 i arccos xx
2 + 2
expressao essa que, para x > 0, aproxima-se quando 0 de
ln x i. Dessa forma
Z s1
x (8.15)
lim I1 = eis x
dx = eis (s)(s) ,
0 0 e 1
Z
+is xs1 (8.15)
lim I1 = e dx . = eis (s)(s)
0 0 ex 1
atica Vers
A integral I3 e dada por (tomando-se z = ei com [/2, 3/2] e dz/z = id)

Z 3/2 Z 3/2
exp s log(ei ) s is eis
I3 = i d = i e d .
/2 exp(ei ) 1 /2 exp(ei ) 1

Agora, exp(ei ) 1 = e cos ei sen 1 = e cos cos sen 1 + ie cos sen sen . Logo,
2
exp(ei ) 12 = e cos cos sen 1 + e2 cos sen 2 sen

= e2 cos + 1 2e cos cos sen e2 cos + 1 2e cos
2 2
= e cos + 1 e + 1 .
Portanto, escrevendo-se novamente s = s0 + is1 ,
Z 3/2 Z 3/2
is

I3 i s eis
e
s0 s1 es1
d e exp(ei ) 1 d

/2 exp(ei ) 1 /2
Z 3/2

s0 s1 1 s1 s0 2s1 sinh s1 /2 1
e e d = 2 e ,
e + 1 /2 s1 e + 1
donde se extrai que lim0 I3 = 0, devido ao fator s0 .

Assim, conclumos que
Z
exp s log(z) 1
dz = I1 + I2 + I3 = lim I1 + I2 + I3
R exp(z) 1 z 0

= eis (s)(s) + eis (s)(s) = 2i sen s (s)(s)
ou seja,
Z
1 exp s log(z) 1
(s) = dz . (8.17)
2i sen s (s) R exp(z) 1 z
Fazendo uso da f
ormula de reflex
ao de Euler, relacao (7.39), segue da ultima igualdade que
Z
1 exp s log(z) 1
(s) = (1 s) dz . (8.18)
2i R exp(z) 1 z
Essas importantes relacoes foram obtidas por Riemann no trabalho supracitado. Note-se que, de acordo com a deducao
acima, as mesmas sao validas para s C1 . A raz
ao, porem, de por que essas relacoes sao importantes reside no fato de
o lado direito de ambas poder ser analiticamente continuado em toda a regiao C \ {1}. Esse e nosso proximo assunto.
Continua
c
ao analtica de (8.18)
Afirmamos que a integral
Z
exp s log(z) 1
dz (8.19)
R exp(z) 1 z
define uma funcao analtica em s para
todo s C. Para estabelecer isso, observemos primeiro que, para cada z R , a
funcao de s dada por exp s log(z) e (evidentemente) analtica para todo s C. Assim, e suficiente demonstrar que
a integral em (8.19) e absolutamente convergente para todo s C. Para tal, e suficiente demonstrar que as integrais
atica Vers
que definem as funcoes I1 e I2 , acima, sao absolutamente convergente para todo s C. Para tal, precisamos obter um
majorante para
exp s log(x i) 1

,
exp(x i) 1 x i

com x > 0. Escrevendo s = s0 + is1 , com s0 , s1 R, arbitrarios, e log(x i) = ln x2 + 2 + i arccos x2x+2
temos
s0 /2
s0 ln x2 + 2 s1 arccos 2x 2
exp s log(x i) e x +
x2 + 2 e|s1 | .
Alem disso,
p
exp(x i) 1 = ex cos 1 + iex sen =

(ex cos 1)2 + e2x sen 2 ()
p p
= e2x + 1 2ex cos e2x + 1 2ex = ex 1 .

Por fim, |x + i| = x2 + 2 . Reunindo esses fatos, podemos afirmar que
(s0 1)/2
exp s log(x i) 2 2
1 x +
e|s1 |

.
exp(x i) 1 x i ex 1
Com isso, fica claro que para a > 0, fixo, tem-se

(s 1)/2
Z

exp s log(x i)

Z x2 + 2 0
1
dx e|s1 |

dx < ,
a exp(x i) 1 x i a ex 1
a finitude da u a presenca do fator (ex 1)1 ex (para x grande), que domina o fator
ltima integracao sendo devida `
(s0 1)/2
x2 + 2 xs0 1 (para x grande) qualquer que seja valor de s0 .
Conclumos que a integral em (8.19) e absolutamente convergente para todo s C e, portanto, define uma funcao
analtica para todo s C.
A conclusao importante e que o lado direito da relacao (8.18) pode ser considerada uma extensao de em todos os
pontos s C para os quais (1 s) e analtica. Da estrutura analtica da funcao gama de Euler (Proposicao 7.1, p
agina
273) sabemos que (1 s) possui polos simples quando 1 s = 0, 1, 2, 3, . . ., ou seja, para s N.
Assim, conclumos provisoriamente que (8.18) define uma extensao analtica de de ao conjunto C \ N = C \
{1, 2, 3, . . .}, sendo que nos pontos {1, 2, 3, . . .} a funcao (s) pode no maximo ter polos simples.
Sabemos, porem, que (s) e finita para s real com s > 1. Portanto, (8.18) define uma extensao analtica de ao
conjunto C \ {1}, sendo que no ponto 1 a funcao possui um polo simples.

exp s log(z) 1
Z
Observac
oes. Como o fator (1 s) certamente possui um polo em s = 2, 3, 4, . . ., deve ser valer que a integral dz
R exp(z) 1 z
anula-se nesses pontos. Esse fato pode ser constatado diretamente, pois para s = n = 2, 3, 4, . . ., a integral vale

exp n log(z) 1 z n1 z n1
Z Z Z
dz = (1)n dz = (1)n dz = 0 ,
R exp(z) 1 z R exp(z) 1 C exp(z) 1
onde C e o crculo de raio centrado na origem e orientado no sentido hor ario e onde, na u
ltima igualdade, usamos o Teorema de Cauchy,
pois o integrando e analtico em z no interior do disco limitado por C (no caso em que n = 1 isso nao
e verdade).
interessante ainda notar que para n = 1 a integral vale
E
1 1
Z Z
dz = L(z) dz = 2iL(0) = 2i ,
C exp(z) 1 C z
z
(pelo Teorema dos Resduos), onde L(z) := exp(z)1
com L(0) = 1, como facilmente se constata.
Conclumos disso e de (8.18) que o resduo de no polo 1
e igual ao resduo da funca
o (1 s) no ponto s = 1, que
e igual ao resduo
da funca
o gama de Euler (z) em z = 0, o qual vale +1, segundo a Proposica o 7.1, p
agina 273.
atica Vers
Coletando resultados
Resumimos nossos resultados sobre a estrutura analtica da funcao zeta de Riemann na seguinte

Proposi
c ao zeta de Riemann, definida no domnio C1 := s C, Re (s) > 1 , por
ao 8.3 A func

X 1
(s) := s
(8.20)
n=1
n
e analtica nessa regi

ao e possui uma extens
ao analtica a C \ {1} dada por
Z
1 exp s log(z) 1
(s) = (1 s) dz , (8.21)
2i R exp(z) 1 z
onde, para 0 < < 2, a curva orientada R e descrita na Figura 8.1, p

agina 323. No ponto s = 1 a func
ao (s)
apresenta um polo simples, cujo resduo vale 1. 2

E. 8.3 Exerccio. Prove que (s) = s para todo s C \ {1}. 6
A fun
c
ao de Dirichlet
E. 8.4 Exerccio. A chamada funcao de Dirichlet e definida para s C1 por

X (1)n1
(s) := . (8.22)
n=1
ns
Sua analiticidade em C1 e garantida pelos mesmos argumentos usados para provar a analiticidade da funcao nesse domnio.
A funcao de Dirichlet e tambem denominada funcao alternante, devido aos fatores (1)n1 que distinguem sua definicao
da definicao (8.8) de em C1 . Ambas as funcoes, porem, sao intimamente ligadas.
Mostre que para todo s C1 vale

X (1)n1
= 1 21s (s) , (8.23)
n=1
ns
ou seja,
(s) = 1 21s (s) , s C1 . (8.24)
Sugestao: explore a convergencia absoluta da serie de Dirichlet do lado esquerdo de (8.23) e da serie de Dirichlet que define
(s) em (8.8).

Comoa funcao 1 21s tem um zero simples em s = 1, as propriedades de analiticidade de e a relacao (s) =
1 21s (s) garantem que pode ser analiticamente estendida a todo o plano complexo C. Trata-se de uma funcao inteira,
portanto.
A serie do lado direito
em (8.22) e convergente (mas nao absolutamente convergente) na regiao 0 < Re (s) < 1 e tambem
converge a 1 21s (s) nessa regiao. Alem disso, e possvel provar que a seriedo lado esquerdo e somavel no sentido de
Abel para todo s C, com a somatoria de Abel convergindo tambem a 1 21s (s). 6
8.5 Os Valores de nos Inteiros

possvel computar valores explcitos para a funcao de Riemann em alguns pontos especiais, notadamente, nos n
E umeros
inteiros positivos pares, nos n
umeros inteiros negativos e em s = 0.
atica Vers
Os Valores de nos Inteiros Positivos Pares

Na Secao 6.1.1, p
agina 263, mostramos como a funcao de Riemann pode ser explicitamente determinada com uso
dos chamados n umeros de Bernoulli e apresentamos a seguinte expressao:
2m
X 1 m+1 (2) B2m
(2m) = 2m
= (1) , (8.25)
n=1
n 2(2m)!
(vide relacao (6.16)) valida para todo inteiro m > 0, expressao essa obtida por Euler em 1735. Assim, usando a Tabela
6.1, p
agina 264, para os n umeros de Bernoulli, obtemos os primeiros valores de nos inteiros positivos pares:

X 1 2
(2) = = ,
n=1
n2 6

X 1 4
(4) = 4
= ,
n=1
n 90

X 1 6
(6) = 6
= ,
n=1
n 945

X 1 8
(8) = = ,
n=1
n8 9450

X 1 10
(10) = = .
n=1
n10 93555
Ate o presente n
ao sao conhecidas f
ormulas fechadas simples para os valores de nos inteiros mpares positivos. Em
verdade, sabe-se muito pouco sobre esses valores. Sabe-se que (3) e um irracional23, sabe-se que ao menos um dentre
umeros {(5), (7), (9), (11)} e irracional24 e sabe-se que h
os n a infinitos outros valores de nos inteiros mpares
positivos que tambem sao irracionais25 sem que se possa ainda especificar quais.
Os valores de nos inteiros negativos e em zero

Para s = m, um inteiro negativo ou nulo, podemos escrever exp s log(z) = (1)m z m , funcao essa que n
ao possui
nenhuma linha de ramificacao. Assim, temos que
Z
m |m|! z
(m) = (1) z m2 dz , (8.26)
2i C exp(z) 1
usando o fato que (1 m) = |m|!. Na Secao 6.1.1, p

agina 263, introduzimos os chamados n
umeros de Bernoulli atraves
da representacao em serie de potencias (6.9):

z X Bn n
=: z . (8.27)
ez 1 n=0
n!
Introduzindo-a em (8.26), obtemos

Z
! Z
m |m|! m2
X Bn n X Bn m |m|! B1+|m|
(m) = (1) z z dz = (1) z m+n2 dz = (1)m |m|! .
2i C n=0
n! 2i n=0 n! C (1 + |m|)!
23 Roger Apery, Irrationalit
e de (2) et (3), Asterisque, 61 (1979), 1113. Vide tamb em Alfred van der Poorten, A proof that Euler
missed. Aperys proof of the irrationality of (3). An informal report, Math. Intell., 1 (1979), 195203.
24 Wadim Zudilin. One of the numbers (5), (7), (9), (11) is irrational. Russ. Math. Surv. 56 (4): 774776 (2001).
25 Tanguy Rivoal, La fonction Z eta de Riemann prend une infinite de valeurs irrationnelles aux entiers impairs. Comptes rendus de
lAcademie des Sciences, Paris, 331 (2000), 267270.
atica Vers
R
Pois, como e bem sabido, a integral C z m+n2 dz e nula exceto se m + n 2 = 1, em cujo caso vale 2i. Obtemos
assim, seguinte resultado geral: para todo n N0 vale
Bn+1
(n) = (1)n . (8.28)
n+1
Sabemos da Secao 6.1.1, p
agina 263, que os n
umeros de Bernoulli Bm sao nulos quando m e um n
umero mpar maior ou
igual a 3. Logo, conclumos que (n) anula-se quando n e par (exceto caso n = 0):
(2k) = 0 , k N . (8.29)
Para n = 0 vale, por (8.28),
1
(0) = B1 = . (8.30)
2
Para inteiros negativos mpares (todos da forma 1 2k, com k N), temos
B2k
(1 2k) = , k N . (8.31)
2k
Usando a Tabela 6.1, p
agina 264, para os n
umeros de Bernoulli, obtemos os primeiros valores de nos inteiros negativos
mpares:
B2 1
(1) = = , (8.32)
2 12
B4 1
(3) = = , (8.33)
4 120
B6 1
(5) = = , (8.34)
6 252
B8 1
(7) = = , (8.35)
8 240
B10 5
(9) = = , (8.36)
10 660
B12 691
(11) = = , (8.37)
12 32760
B14 7
(13) = = , (8.38)
14 84
B16 3617
(15) = = . (8.39)
16 8169
8.5.1 Um Interl
udio. A F
ormula 1 + 2 + 3 + 4 + 5 + = 1/12 (?!) e Alguns
de Seus Amigos
Como ja dissemos, a relacao (8.8) n ao e valida caso Re (s) 1. Se, no entanto, suspendessemos por um momento o uso
da raz
ao, e admitssemos a validade daquela expressao para s = 0 ou para os inteiros negativos, obteramos algumas
curiosas relacoes. Para a relacao (0) = 1/2, por exemplo, poderamos oferecer a seguinte leitura:

X 1
n0 = 1 + 1 + 1 + 1 + = . (?!)
n=1
2
No mesmo esprito, teramos para a relacao (8.32) a seguinte interpretacao:

X 1
n1 = 1 + 2 + 3 + 4 + 5 + = . (?!)
n=1
12
atica Vers
A historia dessa relacao pode ser lida em [216]. Como (2) = 0, teramos,

X
n2 = 1 + 4 + 9 + 16 + 25 + = 0 . (?!)
n=1
Com a relacao (8.33) obteramos

X 1
n3 = 1 3 + 2 3 + 3 3 + 4 3 + 5 3 + = + . (?!)
n=1
120
E assim por diante.

Seria desnecessario dizer que essas relacoes sao falsas (as series sao divergentes) e inconsistentes26 mas, infelizmente,
as mesmas sao mencionadas (e mesmo usadas!) em uma certa literatura pseudo-cientfica sem as devidas ressalvas,
cuidados e esclarecimentos.
Outros exemplos de relacoes paradoxais da mesma categoria podem ser obtidas se extrapolarmos a bem-conhecida
identidade que fornece a soma de uma progressao geometrica infinita

X 1
zn = ,
n=0
1z

para alem de seu domnio de validade (o disco aberto z C, , |z| < 1 ). Tomando-se irresponsavelmente z = 2,
obteramos a identidade
1 + 2 + 4 + 8 + 16 + 32 + = 1 . (?!)
Tomando-se levianamente z = 2, obteramos
1
1 2 + 4 8 + 16 32 + = . (?!)
3
Para z = 1 teramos, descaradamante,
1
1 + (1) + 1 + (1) + 1 + (1) + 1 + = . (?!)
2
As diversas curiosidades que encontramos acima n ao devem, porem, ser vistas com absoluto descaso, pois elas inspira-
ram grandes matematicos de Euler27 no seculo XVIII a Ramanujan28 no seculo XX e os paradoxos delas decorrentes
foram de fundamental import ancia para a percepcao da necessidade de maior precisao e rigor logico em demonstracoes
matematicas, culminando com o desenvolvimento de nocoes como as de convergencia e limite e conduzindo ao nascimento
da Analise. Nomes como os de DAlembert29 , Cauchy30 e Weierstrass31 foram fundamentais nessa transicao.
Aquelas curiosidades inserem-se no interessantssimo captulo da Matem atica que envolve o estudo de series divergentes
e seus diversos metodos de renormalizacao (para usar uma linguagem cara a fsicos), que consistem em metodos de
obtencao de resultados finitos a partir de series divergentes. Ha uma extensa literatura seria a respeito (e uma muito
mais extensa literatura n ao-seria). Para um belo texto classico sobre series divergentes recomendamos [97].
Um dentre tais metodos de obtencao de resultados finitos a partir de series divergentes, aplic
avel a certas series
divergentes especficas, e a chamada soma de Abel32 . Seja {xn R, n N0 } uma sequencia de n
umeros reais. Define-se
a soma de Abel dessa sequencia por
X XN
A xn := a1 lim lim an xn , (8.40)
N
n=0 0<a<1 n=0
26 Porexemplo, somando as identidades 1 + 1 + 1 + 1 + = 21 1

e 1 + 2 + 3 + 4 + 5 + = 12 7
teramos 2 + 3 + 4 + 5 + 6 + = 12 ,
1 13
mas subtraindo 1 de ambos os lados de 1 + 2 + 3 + 4 + 5 + = 12 tem-se 2 + 3 + 4 + 5 + 6 + = 12 .
27 Leonhard Euler (17071783).
28 Srinivasa Aiyangar Ramanujan (18871920).
29 Jean Le Rond DAlembert (17171783).
30 Augustin Louis Cauchy (17891857).
31 Karl Theodor Wilhelm Weierstra (18151897).
32 Niels Henrik Abel (18021829).
atica Vers
caso os limites do lado direito existam (atencao: a ordem dos limites n

ao pode ser alterada!).
Em alguns casos, a soma de Abel de uma sequencia de n Pumeros complexos resulta finita mesmo se a serie associada à
N
essa
sequ
e ncia divirja, ou seja, mesmo se o limite lim N n=0 xn n
ao exista. Um caso bem conhecido e o da sequencia
n
xn = (1) , n N0 = {+1, 1, +1, 1, +1, . . .}. Tem-se

N

X (1) N
+ 1 1 , N par,
n
(1) = =
n=0
2

0 , N mpar,
PN
e claramente o limite limN n=0 xn n
ao existe. Porem, para sua soma de Abel, tem-se
N
X X 1 (a)N +1 1 1
A (1)n = a1
lim lim an (1)n = a1
lim lim = a1
lim = .
n=0 a<1
N
n=0 a<1
N 1+a a<1
1 + a 2
Com o mesmo abuso de linguagem de antes, essa relacao pode ser lida como a afirmacao que
1
1 + (1) + 1 + (1) + 1 + (1) + = . (?!)
2
A serie formal do lado esquerdo e conhecida historicamente como serie de Grandi33 .
Outro metodo de renormalizacao de series divergentes e a soma de Cesàro34 , que utilizamos no estudo de series de
Fourier na Secao 35.4.5, p
agina 1702. Define-se a soma de Ces` aro de uma sequencia {xn R, n N0 } por
n m
!
X 1 X X
C xn := lim xp ,
n n + 1
n=0 m=0 p=0
caso o limite do lado direito exista. Como se ve, a soma de Cesàro de uma sequencia xm e formada pelo limite (caso exista)
da media das somas acil de se ver, por exemplo, que para a sequencia {xn = (1)n , n N0 }
P parciais da sequencia xm . E f
vale tambem C n=0 xn = 1/2.
E. 8.5 Exerccio. Prove essa

ultima afirmacao (ou de uma olhada na pagina 1703!). 6
PN
Caso o limite limN n=0 xn exista, tanto a soma de Abel quanto a de Cesàro coincidirao com o mesmo35 . No
PN
caso de series divergentes (ou seja, para as quais o limite limN n=0 xn n ao existe) nem sempre a soma de Abel e
de Cesàro fornecem resultados finitos (as somas de Abel e de Cesàro da sequencia {n, n N0 } = {0, 1, 2, 3, . . .}, por
exemplo, sao divergentes) e, quando o fazem, nem sempre fornecem resultados coincidentes.

E. 8.6 Exerccio. Mostre que a soma de Abel da sequencia (1)n+1 n, n N0 = {0, 1, 2, 3, 4, 5, 6, 7, . . .}
vale
N
X 1
A (1)n+1 n = . (8.41)
n=0
4
Sugestao: Use o fato que
N N
!
X
n n+1 d X
n d 1 (a)N +1 a + (1 + a)N + 1 (a)N +1
a (1) n = a (a) = a = .
n=0
da n=0
da 1+a (1 + a)2
Informalmente, a relacao (8.41) pode ser interpretada como a afirmacao que

1
1 2 + 3 4 + 5 6 + = . (?!)
4
Essa identidade paradoxal foi obtida primeiramente por Euler em 1749.
PN
A soma de Cesàro da mesma sequencia, ou seja C n=0 (1)n+1 n, no entanto, diverge. Prove isso. 6
33 Luigi Guido Grandi (16711742). O trabalho de Grandi sobre essa s
erie dada de 1703.
34 Ernesto Ces`
aro (18591906).
35 No caso da soma de Abel esse fato
e conhecido como Teorema de Abel. Para a demonstraca
o da afirmaca
o no caso da soma de Ces`
aro,
vide p
agina 1702.
atica Vers
* ** *** **** ***** ****** ******* ******** ********* ********** ***********

Alem das somas de Abel e de Ces` aro h
a muitos outros metodos de renormalizacao de series divergentes, com graus
de aplicabilidade distintos. Para um estudo mais aprofundado dessas quest oes, vide [97].
S
eries generalizadas
Para o leitor mais avancado descrevemos neste t opico em que estrutura matematica as nocoes de somas generalizadas,
como as de Abel e de Ces` aro, acima, se inserem. N ao faremos uso disso no que segue.
n o
Seja RN0 = x0 , x1 , x2 , . . . , xk R, k N0 o conjunto de todas as sequencias de n umeros reais. RN0 possui
uma estrutura natural de espaco vetorial com as operacoes obvias de soma e multiplicacao por escalares:

x0 , x1 , x2 , . . . + y0 , y1 , y2 , . . . = x0 + y0 , x1 + y1 , x2 + y2 , . . . ,

x0 , x1 , x2 , . . . = x0 , x1 , x2 , . . . .

Denotamos por 1 (N0 ) RN0 o conjunto das sequencias somaveis, ou seja, das sequencias x0 , x1 , x2 , . . . tais
N
X
que o limite lim ao bem conhecidos os fatos que 1o : se x0 , x1 , x2 , . . . 1 (N0 ) ent
|xn | exista. S ao a serie
N
n=0
X N
X P P
xn = lim xn e convergente; 2o : se : N0 N0 for bijetora, ent
ao n=0 xn = n=0 x(n) ; 3o 1 (N0 ) e um
N
n=0 n=0
subespaco vetorial de RN0 .
Para demonstracoes dos fatos 1o e 2o , vide, e.g., [233]. Para uma demonstracao do fato 3o , vide Secao 25.5.1, p
agina
1221 (em particular, vide Proposicao 25.10, p
agina 1223).
Uma serie generalizada ou soma generalizada S em RN0 e uma funcao definida em um domnio Dom (S ) RN0
com valores em R com as seguintes propriedades:
1. 1 (N0 ) Dom (S ) RN0 .

2. Para toda sequencia x0 , x1 , x2 , . . . Dom (S ) RN0 vale

S x0 , x1 , x2 , . . . = S x0 , x1 , x2 , . . . = S x0 , x1 , x2 , . . . .

3. Se x0 , x1 , x2 , . . . Dom (S ), ent
ao para todo M N tem-se

S 0, . . . , 0, x0 , x1 , x2 , . . . = S x0 , x1 , x2 , . . . .
| {z }
M vezes

4. Caso exista N N0 tal que a sequencia x0 , x1 , x2 , . . . tenha a propriedade que xk = 0 para todo k > N , ent
ao
x0 , x1 , x2 , . . . Dom (S ) e vale
XN

S x0 , x1 , x2 , . . . = xn .
n=0
N
X
X
5. Caso o limite lim xn xn exista, ent
ao
N
n=0 n=0

X

S x0 , x1 , x2 , . . . = xn .
n=0

6. S e um funcional linear em 1 (N0 ), ou seja, se x0 , x1 , x2 , . . . e y0 , y1 , y2 , . . . sao elementos de 1 (N0 ) e
, R, ent
ao

S x0 , x1 , x2 , . . . + y0 , y1 , y2 , . . . = S x0 , x1 , x2 , . . . + S y0 , y1 , y2 , . . . .
atica Vers
Nota. De acordo com nossa formulacao acima, o item 4 segue do item 5. Destacamos ambos, porem, pois por vezes o item 5 nao e
considerado.

Como se ve, a nocao de soma generalizada generaliza a de serie associada a uma sequencia. Por isso S x0 , x1 , x2 , . . .

X
e por vezes expresso como S xn . As relacoes supostas nos itens 2-6 significam nessa notacao, portanto,
n=0

X
X
S (xn ) = S xn ,
n=0 n=0

X N
X
S xn = xn , caso xk = 0 para todo k > N ,
n=0 n=0

X N
X
S xn = lim xn , caso esse limite exista ,
N
n=0 n=0

X
X
S xn = S xn+M+1 para todo M N para o qual valha x0 = = xM = 0 ,
n=0 n=0

X
X
X
X
X

S xn + yn = S xn + S yn = xn + yn ,
n=0 n=0 n=0 n=0 n=0
au
ltima relacao valendo para (xn , n N0 ) e (yn , n N0 ) em 1 (N0 ) e quaisquer , R.
As somas de Abel e de Ces`
aro definidas mais acima sao exemplos de series generalizadas. Seus domnios sao estrita-
mente menores que RN0 .
8.6 A Rela
cao Funcional de Riemann
A funcao zeta de Riemann satisfaz uma importante relacao, conhecida como relac
ao funcional da func
ao , ou relac
ao
funcional de Riemann:
(s) = 2(2)s1 sen s/2 (1 s)(1 s) , (8.42)
valida para todo s C \ {0, 1}.
Essa relacao ja era conhecida de Euler, ainda que o mesmo nao apresentasse demonstracao da mesma. Em seu celebre
trabalho (vide nota-de-rodape 11, p agina 315), Riemann ofereceu duas demonstracoes dessa relacao. No que segue,
apresentaremos a segunda delas, mais simples. A primeira pode ser encontrada em diversas referencias, por exemplo, em
[62]. A referencia [251] oferece diversas outras demonstracoes da relacao (8.42).
Antes da demonstracao, apresentemos algumas consequencias de (8.42). A primeira e obtida usando-se as formulas
de reflex
ao e de duplicacao da funcao gama, eqs. (7.39) e (7.53), p
aginas 283 e 287, respectivamente.
A fun
c
ao de Riemann
Usando a formula de reflex
ao (7.39) com z = s/2, temos
(7.39)
sen s/2 =
(s/2)(1 s/2)
e inserindo isso em (8.42), obtemos

(7.39)
(s) = 2(2)s1 (1 s)(1 s) . (8.43)
(s/2)(1 s/2)
atica Vers
Substituindo z por (1 s)/2 na f

ormula de duplicacao (7.53), tem-se
s

(7.53) 2 1s s
(1 s) = 1 .
2 2
Inserindo-se isso em (8.43), obtemos

(7.39) 1 1s
(s) = s1/2 (1 s) ,
(s/2) 2
o que equivale à identidade funcional
s
s2 1s 1s
(s) = 2 (1 s) , (8.44)
2 2
valida para todo s C \ {0, 1}. O que h a de importante nessa relacao e que um lado e obtido do outro pela troca
s 1 s. Isso aponta para uma simetria especial associada à funcao zeta de Riemann cuja import ancia nao passou
desapercebida por Riemann.

Como ja vimos, a funcao 2s tem polos simples nos pontos s = 2n, n N0 , sendo essas suas u
nicas singularidades.
s
Justamente nesses pontos (exceto caso n = 0) a funcao (s) anula-se (vide (8.29)). Logo, a funcao 2 (s) e analtica
em toda parte, exceto por polos simples em s = 0 e e s = 1 (este u ltimo sendo um polo de (s)). Multiplicando-se ambos
os lados de (8.44) pelo fator s(s 1)/2 (que tambem e invariante pela troca s 1 s), obtemos a identidade
(s) = (1 s) , s C , (8.45)
onde introduzimos a chamada func

ao de Riemann, definida por
s s(s 1) s
(s) := 2 (s) . (8.46)
2 2
Pelas consideracoes de acima, (s) e uma funcao inteira, ou seja, analtica em toda parte, pois os polos simples de
2s (s) sao eliminados pelo fator s(1s)/2. Devido a essas propriedades a funcao desempenha um papel fundamental
em estudos mais aprofundados da funcao zeta de Riemann, com consequencias importantes na Teoria de N umeros.
Definindo-se
1
(z) := + iz , zC, (8.47)
2
a relacao funcional (8.45) fica
(z) = (z) , z C . (8.48)
Comentamos, por fim, que a seguinte afirmacao e evidente pelo Corolario 8.1, p
agina 319, por (8.29) e pela relacao
fundamental:
Corolario 8.2 A func
ao (s) n
ao se anula na regi
ao Re (s) > 1 e na regi
ao Re (s) < 0, exceto quanto s for um inteiro
par negativo. Consequentemente, a func
ao (s) n
ao se anula na regi
ao Re (s) > 1 e na regi
ao Re (s) < 0. 2
A conjectura de Riemann
Como ja vimos, a funcao tem zeros nos n umeros inteiros pares negativos. Esses zeros sao denominados zeros triviais
da func
ao zeta de Riemann Como (s) tem zeros nos n umeros inteiros pares negativos e a funcao (s/2) tem polos
simples nesses pontos, conclumos da definicao (8.46) que n
ao se anula nesses pontos. A funcao tambem n
ao se anula
em s = 0 e s = 1, como j a comentamos acima. A funcao gama de Euler, como ja comentamos, n ao tem zeros no plano
complexo.
Podemos ent ao colocar a seguinte quest ao: teria outros zeros no plano complexo que n ao os inteiros negativos?
Esses zeros seriam os u nicos zeros de e corresponderiam tambem a zeros de . Com base na relacao (8.48) e em uma
intuicao obscura que ate o dia de hoje n
ao foi devidamente compreendida, Riemann conjecturou em seu trabalho classico
que (z) teria apenas zeros para z real. Isso corresponde a dizer que alem dos zeros triviais, (s) teria zeros somente em
pontos tais que Re (s) = 1/2.
atica Vers
A demonstracao dessa conjectura permanece ate hoje um extraordinario desafio, considerado um dos maiores da Ma-
tematica e, quica, o mais importante. Sua validade teria consequencias importantes para o entendimento da distribuicao
dos n
umeros primos e para outros problemas da Teoria de N umeros.
Apesar do enorme esforco intelectual investido na demonstracao dessa conjectura, poucos sao os resultados obtidos
ate o momento. Sabe-se que possui infinitos zeros n ao-triviais (vide e.g. [251]), sabe-se que todos estao na faixa
0 < Re (s) < 1 denominada faixa crtica. Mencionamos tambem que em dois trabalhos36 Hardy37 e Littlewood38
demonstraram que ha infinitos zeros de sobre a linha crtica Re (s) = 1/2.
Usos da rela
c
ao funcional
A relacao funcional (8.42) fornece o valor de (s) em funcao de (1 s) e vice-versa, permitindo-se obter os valores
de na regiao C \ C1 a partir dos valores de em C1 (definidos por (8.8)). Tomando, por exemplo, s = 1 2n, n N,
em (8.42), obtemos
(8.25) B2n
(1 2n) = 2(2)2n sen (1 2n)/2 (2n)(2n) = ,
2n
o que fornece mais uma demonstracao de (8.31). Tomando-se s = 2n, n N, em (8.42), obtemos (2n) = 0, n N,
o que fornece mais uma demonstracao de (8.29).
8.6.1 Uma Demonstrac

ao da Relac
ao Funcional de Riemann
Por simplicidade apresentaremos nestas notas apenas a segunda demonstracao original apresentada por Riemann em seu
trabalho seminal. Para diversas outras demonstracoes, vide [251].
ao de Jacobi39 , denotada por , e definida por
A chamada Func

X 2
(z, t) := e2inzn t
, (8.49)
n=
com z C e t C com Re (t) > 0. Ela satisfaz a identidade funcional

z 2
e t iz 1
(z, t) = , . (8.50)
t t t
Para uma demonstracao, vide Secao 36.2.3.2, p

agina 1765. Frequentemente denota-se (0, t) por (t), t C com
Re (t) > 0. Assim, tem-se,
X
X
2 2
(t) := en t = 1 + 2 en t . (8.51)
n= n=1
Pela identidade funcional (8.50), vale

1 1 1 X n2
(t) = = e t , (8.52)
t t t n=
tambem para Re (t) > 0.

R
Consideremos provisoriamente s C1 . Se na expressao (s/2) = 0 ex xs/21 dx fizermos a mudanca de variaveis
x = n2 t (com n N), obtemos Z
1 s/2 2
(s/2) = en t ts/21 dt .
ns 0
36 G. H. Hardy, Sur les Zeros de la Fonction (s) de Riemann, C. R. Acad. Sci. Paris 158: 10121014, JFM 45.0716.04 (1914).
G. H. Hardy and J. E. Littlewood, The zeros of Riemanns zeta-function on the critical line, Math. Z. 10 (34): p. 283317 (1921),
doi:10.1007/BF01211614.
37 Godfrey Harold Hardy (18771947).
38 John Edensor Littlewood (18851977).
39 Carl Gustav Jacob Jacobi (18041851).
atica Vers
Somando-se ambos os lados dessa expressao para todo n N, obtemos

Z X
! Z
s/2 n2 t s/21 (8.51) 1
(s)(s/2) = e t dt = (t) 1 ts/21 dt . (8.53)
0 n=1
2 0
E. 8.7 Exerccio. Justifique a troca da ordem da integracao pela somatoria realizada acima. 6
Vamos agora fazer uma serie de manipulacoes na integral do lado direito de (8.53), comecando por quebr
a-la em dois
pedacos, um para o intervalo em [0, 1] e outra para (1, ). Temos,
Z Z 1 Z
s/21
s/21

(t) 1 t dt = (t) 1 t dt + (t) 1 ts/21 dt
0 0 1
Z Z
u=t1 1
= 1 us/21 du + (t) 1 ts/21 dt
1 u 1
Z Z
(8.52)
= u1/2 (u) 1 us/21 du + (u) 1 us/21 du
1 1
Z Z
(1s)/21 s/21

= (u) 1 u +u du + u(s+1)/2 us/21 du
1 1
Como Re (s) > 1, tem-se

Z Z
(s+1)/2 2 2
u du = e us/21 du = .
1 s1 1 s
Retornando com esses fatos a (8.53), obtemos

Z
1 1
s/2 (s)(s/2) = (u) 1 u(1s)/21 + us/21 du + . (8.54)
2 1 s(s 1)
P 2
Do fato que (u) 1 = 2 n=1 en u vai a zero para u mais rapidamente que qualquer potencia em u segue
facilmente que a integral do lado direito de (8.54) e absolutamente convergente. Como as funcoes s 7 u(1s)/21 e
s 7 us/21 sao, para cada u 1, analticas para todo s C, conclumos que a aquela integral e analtica para todo
1
s C. As singularidades do lado direito de (8.54) provem apenas dos polos simples de s(s1) em s = 0 e em s = 1. Esses
sao, alias precisamente as singularidades do lado esquerdo de (8.54). Conclumos disso que (8.54) e valida n
ao apenas
em C1 , mas em todo C \ {0, 1}.
Sucede, agora, que o lado direito de (8.54) e ostensivamente invariante pela troca s 1 s (que tambem deixa
invariante o conjunto C \ {0, 1}). Logo, conclumos que vale a identidade

s/2 (s)(s/2) = (1s)/2 (1 s) (1 s)/2) (8.55)
para todo s C \ {0, 1}. Isso concluiu a prova da relacao funcional (8.44) e, portanto, de (8.42).
atica Vers
8.7 Exerccios Adicionais

E. 8.8 Exerccio. Usando (8.15) e (8.25), mostre que
Z 2m1 2m
x m+1 (2) B2m
x
dx = (1) , (8.56)
0 e 1 4m
para todo m N, com B2m sendo n

umeros de Bernoulli. 6
E. 8.9 Exerccio. A expressao (8.56) tem um uso relevante na Fsica Quantica. De acordo com a Lei de Planck40 , a
densidade de energia eletromagnetica por unidade de frequencia de uma cavidade fechada, no vacuo, em equilbrio termico
com suas paredes à temperatura T e dada por
8h 3
(T ) = , (8.57)
c2 eh/(T ) 1
onde e a frequencia, T e a temperatura, c e a velocidade da luz, h e a constante de Planck e Re a constante de Boltzmann.

Portanto, a densidade de energia eletromagnetica dessa cavidade a temperatura T e dada por 0 (T ) d. Usando (8.56)
no caso m = 2, mostre que essa densidade de energia radiante e dada por
Z
8 5 4
(T ) d = T4 . (8.58)
0 15 c3 h3
Essa expressao e aparentada (ainda que conceitualmente nao-identica) à bem-conhecida Lei de Stefan41 -Boltzmann42 para a
radiacao de um corpo negro. Para um excelente tratamento fsico do problema da radiacao de corpo negro, vide [231]. 6
E. 8.10 Exerccio. Seja a R com 0 < |a| < 1. Multiplicando (8.56) por a2m1 /(2m 1)! e somando para todo m 1,
obtenha !
Z
1 X (ax)2m1 1 X m (2a)
2m
B2m
x1
dx = (1) .
0 e m=1
(2m 1)! 2a m=1
(2m)!
Justifique a troca de ordem entre a soma e a integral. Identifique a serie do lado esquerdo como sendo a serie de Taylor da
funcao senh (ax) e, usando (6.14), identifique a serie do lado direito como sendo a cotg (a) 1. Obtenha disso a identidade
Z
senh (ax) 1 a cotg (a)
x
dx = . (8.59)
0 e 1 2a
A integral do lado esquerdo e convergente se 0 < |a| < 1. Por que?. A expressao (8.59) permanece valida em a = 0, pois o
lado direito converge a zero no limite |a| 0. Justifique!
Com a substituicao a ia, obtenha justificadamente de (8.59) a identidade
Z
sen (ax) a coth(a) 1
x
dx = , (8.60)
0 e 1 2a
valida agora para todo a > 0. Obtenha essa relacao seguindo o mesmo tipo de ideia que conduziu-nos a (8.59). Justifique as
passagens. 6
40 Max Karl Ernst Ludwig Planck (18581947).

41 Jo
z ef
Stefan (18351893).
42 Ludwig Eduard Boltzmann (18441906).
atica Vers
Parte III
T
opicos de Algebra Linear
338

Um M Inimo Sobre A Fun C Ao Zeta de Riemann

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Um M Inimo Sobre A Fun C Ao Zeta de Riemann

Transféré par

Droits d'auteur :

Formats disponibles

Captulo 8

Um Mnimo Sobre A Fun

tais que vale

No caso em que k = 1, a serie acima e denominada serie harm

a soma infinita das inversas dos n

pois a serie do lado direito e a serie harm

ao logaritmo integral10 . A conjectura que ent

Vide e.g. [164] e [165] ou qualquer outro bom livro de C

8.3 A Formula de Produto de Euler e Outras Rela

onde P = {2, 3, 5, 7, 11, 13, 17, . . .} N e a colec

completando a prova de (8.9).

Prova. A afirmacao e evidente por (8.9), j

Logo, (s) 6= 0, como queramos estabelecer.

Tem-se o seguinte resultado:

Prova. Pela formula do produto de Euler, temos, tomando P P,

umeros da forma pN p com N {1, . . . , P } P sao precisamente aqueles

E. 8.1 Exerccio. Mostre que para s C1 vale

Sugestao. Usando formula de produto de Euler, mostre que

e prossiga a partir disso, notando que a produt

E. 8.2 Exerccio. Justifique! 6

Assim, pela formula de produto de Euler temos, para s C1 ,

Essa expressao explicita a relacao entre e , como pretendamos.

8.4 Primeiras Rela

Uma primeira rela

Nota. Por conveni

A integral I3 e dada por (tomando-se z = ei com [/2, 3/2] e dz/z = id)

Portanto, escrevendo-se novamente s = s0 + is1 ,

donde se extrai que lim0 I3 = 0, devido ao fator s0 .

Com isso, fica claro que para a > 0, fixo, tem-se

e analtica nessa regi

onde, para 0 < < 2, a curva orientada R e descrita na Figura 8.1, p

E. 8.4 Exerccio. A chamada funcao de Dirichlet e definida para s C1 por

8.5 Os Valores de nos Inteiros

Os Valores de nos Inteiros Positivos Pares

Os valores de nos inteiros negativos e em zero

usando o fato que (1 m) = |m|!. Na Secao 6.1.1, p

Introduzindo-a em (8.26), obtemos

No mesmo esprito, teramos para a relacao (8.32) a seguinte interpretacao:

Com a relacao (8.33) obteramos

E assim por diante.

26 Porexemplo, somando as identidades 1 + 1 + 1 + 1 + = 21 1

caso os limites do lado direito existam (atencao: a ordem dos limites n

E. 8.5 Exerccio. Prove essa

Informalmente, a relacao (8.41) pode ser interpretada como a afirmacao que

* ** *** **** ***** ****** ******* ******** ********* ********** ***********

1. 1 (N0 ) Dom (S ) RN0 .

e inserindo isso em (8.42), obtemos

Substituindo z por (1 s)/2 na f

Inserindo-se isso em (8.43), obtemos

onde introduzimos a chamada func

8.6.1 Uma Demonstrac

com z C e t C com Re (t) > 0. Ela satisfaz a identidade funcional

Para uma demonstracao, vide Secao 36.2.3.2, p

Pela identidade funcional (8.50), vale

tambem para Re (t) > 0.

Somando-se ambos os lados dessa expressao para todo n N, obtemos

Como Re (s) > 1, tem-se

Retornando com esses fatos a (8.53), obtemos

8.7 Exerccios Adicionais

para todo m N, com B2m sendo n

40 Max Karl Ernst Ludwig Planck (18581947).

Vous aimerez peut-être aussi

* * ** * * ** * *****