A funo zeta de Riemann

Maria Ceclia K. Aguilera-Navarro1 , Valdir C. Aguilera-Navarro2

de Matemtica - UNICENTRO 85015-430 Guarapuava, PR 2 Departamento de Qumica e Fsica - UNICENTRO 85015-430 Guarapuava, PR
1 Departamento

Ricardo C. Ferreira3 e Neuza Teramon3

3

Departamento de Matemtica - UEL 86051-970 Londrina, PR

Resumo: Faz-se um estudo extensivo da funo zeta de Riemann. Sua origem e relao
com a teoria dos nmeros primos tambm so discutidas.

Palavras chaves: Funo zeta de Riemann Abstract: The origin of the Riemann zeta function is presented. An extensive study of this
function is carried out. Its relation with the theory of prime number is also discussed.

Key words: Riemann zeta function

1. Introduo
A funo zeta de Riemann desempenha um papel muito importante em vrias reas de pesquisa moderna. Na Fsica Terica aparece em problemas de regularizao de determinantes innitos que surgem em Teoria de Campos; e, tambm, em alguns trabalhos tericos sobre o importante fenmeno da supercondutividade. Mas entre os matemticos que aquela funo exerce um maior fascnio devido, principalmente, famosa conjectura de Riemann (que discutiremos abaixo). Para se ter uma idia da importncia dessa conjectura, agora que foi provado o ltimo Teorema de Fermat (um parnteses: ltimo no sentido de ltimo a ser provado), levantou-se a seguinte questo: e agora, onde encontrar motivao para continuar inspirando, provocando

e desaando as prximas geraes de matemticos? Aqui a conjectura de Riemann desponta como um dos candidatos ao lado da conjectura dos primos gmeos e outros problemas mais complexos. De relevante importncia para o estudo dos nmeros primos, a funo zeta de Riemann invariavelmente ocupa amplo espao em qualquer texto sobre a Teoria dos Nmeros. Sua relao com outras funes especiais tambm lhe reserva uma posio importante na Teoria das Funes. Apesar de sua relevncia, os autores no conhecem nenhuma literatura em lngua portuguesa sobre o assunto. O presente trabalho uma pequena contribuio para aqueles que tenham interesse, ou mesmo curiosidade a respeito da funo zeta de Riemann, e no tenham acesso literatura estrangeira. O que se espera do leitor so apenas conceitos bsicos de Anlise Matemtica e da Teoria das Funes de Varivel Complexa. Neste trabalho desenvolveremos um estudo geral da funo zeta de Riemann. Na prxima seo mostraremos sua origem, daremos sua denio e algumas de suas propriedades elementares. Na seo 3, apresentaremos alguns resultados preliminares visando ao estudo posterior de suas propriedades analticas. A funo zeta de Riemann permite uma representao integral que ser estudada na seo 4. Nas sees 5 e 6, estenderemos o domnio de denio da funo zeta de Riemann e derivaremos a sua equao funcional, que estabelece uma relao com a fun o gama de Euler. A famosa conjectura de Riemann, que permanece um problema aberto na Matemtica, apresentada na seo 7. Como veremos, a funo zeta de Riemann originou-se da busca de soluo a um problema na teoria dos nmeros primos. Sua relao com tais nmeros estudada na seo 8. Alguns clculos algbricos foram deslocados para o Apndice A, para no congestionar o texto principal. No Apndice B colecionamos algumas das propriedades da funo zeta de Riemann e listamos seus valores em alguns pontos particulares. Finalmente, uma bibliograa oferecida para os interessados em se aprofundar sobre o tema.

2. Denio da funo zeta de Riemann

Quando tentava obter uma frmula que permitisse calcular o nmero de primos menores do que um nmero dado n, Georg Friedrich Bernhard Riemann (1826-1866) foi conduzido a investigar a srie (z) =
X 1 nz n=1

(2.1)

hoje conhecida como funo zeta de Riemann. Neste trabalho vamos empregar, tambm, a designao mais simples de funo zeta, sempre subentendendo que se trata da funo zeta de Riemann. A varivel z um nmero complexo da forma z = x + iy, onde i = 1, e x e y so reais. Veremos que esta funo analtica no semi-plano x = Re(z) > 1. Mostraremos, tambm, que a analiticidade de (2.1) pode ser estendida a todo plano complexo, exceto no ponto z = 1. Antes, porm, de

24

estudar a convergncia da srie (2.1), examinemos algumas caractersticas da funo zeta de Riemann. A gura 2.1 mostra um grco da funo para valores reais do seu argumento. Notemos, en passant, algumas caractersticas gerais dessa funo, todas elas ilustradas na gura. Todos os zeros reais esto no eixo real negativo, localizados nos pontos x = 2n, n = 1, 2, . . . , isto , (2n) = 0. No caso particular da origem, temos (0) = 1/2. Sua nica singularidade est em x = 1, onde seu resduo, como veremos, tambm 1. Finalmente, (x) > 1 para x > 1 e (x) 1 quando x .

Figura 2.1. Funo (x), x real. A gura mostra os zeros triviais em x = 2n, n = 1, 2, 3, . . . e a localizao do nico plo em x = 1. Notemos que (0) = 0.5 e que (x) 1 quando x . As escalas so diferentes nas partes esquerda e direita do grco.

Para valores inteiros, a funo foi estudada por Euler, que provou a seguinte frmula notvel no caso de argumentos inteiros positivos pares (2n) = (2)2n |B2n | , n = 1, 2, . . . 2(2n)! (2.2)

onde Bk so os nmeros de Bernoulli denidos como os coecientes da expanso de Taylor da funo t/(et 1), isto X Bk t = tk t1 e k!
k=0

(2.3)

Os primeiros nmeros de Bernoulli so 1 1 1 B0 = 1, B1 = , B2 = , B3 = 0, B4 = , . . . 2 6 30 (2.4)

Euler foi o primeiro a mostrar que a soma dos recprocos dos quadrados dos inteiros positivos, isto (2) , vale 2 /6 (esse valor pode ser vericado a partir do resultado (2.2)). A equao (2.2) mostra que o valor da funo para argumentos inteiros positivos 2n proporcional potncia 2n de . Uma questo ainda em aberto se o mesmo verdadeiro quando o argumento de um inteiro positivo 25

mpar. Por exemplo, ser que (3) proporcional a 3 ? Recentemente, em 1978, R. Apry provou que (3) pelo menos um nmero irracional. Nos pontos mpares negativos o valor da funo zeta tambm pode ser expresso em termos dos nmeros de Bernoulli, a saber B2n , n = 1, 2, . . . (2.5) 2n Quando o argumento z da funo zeta complexo, esta funo assume valores tambm complexos. Na gura 2.2 mostramos o grco do valor absoluto, |(z)| . O inverso de |(z)| mostrado na gura 2.3. (1 2n) =

Figura 2.2. Valor absoluto |(z)| da funo zeta de Riemann para z = x + iy. Nesta gura, e na seguinte, podemos observar alguns zeros no triviais da funo zeta de Riemann e o plo em x = 1.

Figura 2.3. Inverso de |(z)| para z = x + iy. Nesta gura, e na anterior, podemos observar alguns zeros no triviais da funo zeta de Riemann. 26

Algumas outras propriedades e valores especiais da funo zeta de Riemann so listadas no Apndice B. Aps essa breve apresentao de algumas propriedades da funo zeta de Riemann, passemos a discutir a convergncia da srie (2.1). X 1 com Re (z) 1 + . Primeiramente examinemos a convergncia da srie nz n=1 Seja n um nmero inteiro positivo. Temos as seguintes igualdades, z |nz | = eln(n ) = ez ln(n) = e(Re(z)+iIm(z)) ln(n) Re(z) ) = nRe(z) = eRe(z) ln(n)eiIm(z) ln(n) = eRe(z) ln(n) = eln(n Portanto,
n=1 X X Re(z) nz = n n=1

(2.6)

X 1 so conhecidas por p-sries ou sries hiper-harmnicas. Essas np n=1 sries convergem se p > 1 e divergem se p 1. No caso da relao (2.7), X p = 1 + > 1, ou seja, a srie n(1+) convergente. Usando este resultado,

Se Re (z) 1 + , onde um nmero positivo e arbitrariamente pequeno, teremos, X X Re(z) X (1+) nz = (2.7) n n
n=1 n=1 n=1

As sries

n=1

juntamente com o teste M de Weierstrass, podemos concluir que a srie

converge uniformemente e absolutamente se Re(z) > 1. Segue-se, portanto, que a funo zeta de Riemann analtica se Re(z) > 1. Podemos estender a analiticidade de , para 1 < Re(z) < 1 e futuramente para todo C, exceto no ponto z = 1, onde ocorre o nico plo da funo , como ilustrado na gura 2.1. Com o objetivo de ampliar a analiticidade da funo zeta, precisaremos de resultados preliminares, que sero desenvolvidos com o propsito de obter a equao funcional de Riemann. Com essa equao, poderemos estender o domnio da funo , para todo o plano complexo C, com exceo do ponto z = 1.

nz

n=1

3. Resultados preliminares
O primeiro teorema que consideraremos neste trabalho tratar da analiticidade de uma funo denida atravs de uma integral. Esse resultado ser de fundamental importncia para se estender a analiticidade da funo , uma vez que esta admite, tambm, uma representao integral conforme ser estudado na prxima seo.

27

Teorema 1 Seja : [a, b] C uma curva reticada e G um domnio em C. Sejam : {} G C uma funo contnua e h : G C denida por Z (3.1) h(z) = (t, z) dt

ento h contnua. Se existe para cada ponto (t, z) em {} G e contnua, z ento h analtica e Z 0 h (z) = (t, z) dt (3.2) z

Prova: Inicialmente provaremos que h contnua em G, ou seja, dado > 0 existe > 0 tal que |h(z) h(z 0 )| < sempre que |z z 0 | < para todos os pontos z 0 G. Temos Z Z 0 (t, z) dt (t, z 0 ) dt |h(z) h(z )| = Z 0 = [ (t, z) (t, z )] dt Z

(3.3)

| (t, z) (t, z 0 )| |dt|

Como a funo contnua, por hiptese, temos que (t, z) t0 , z 0 < (b a)

sempre que

para todos os pontos (t0 , z 0 ) {} G. Em particular, xando um t qualquer de teremos que (t, z) t, z 0 < , sempre que z z 0 < (b a) (3.4)

2 2 t t0 + z z 0 < 2

para todos os pontos (t, z 0 ) {} G. Segue, assim, que Z h(z) h(z 0 ) |dt| = (b a)

para qualquer ponto z 0 G. Logo, h contnua em G.

28

O nosso prximo objetivo mostrar que h analtica em G. Para isto, basta mostrar que h diferencivel em todos os pontos z pertencentes a G. Por denio, temos que Z h (z + z) h(z) (t, z + z) (t, z) 0 = lim dz (3.5) h (z) = lim z0 z0 z z

quando z 0. Consideremos o disco | z| contido em G, e |z| < . Como, por hiptese, existe em todos os pontos de G, ou seja, analtica em G, podemos representar z por uma srie em torno do ponto z + z, a saber, (t, z + z) = (t, z) + z (t, z) z + R2 (t, z, z) onde (z)2 R2 (t, z, z) = 2i Z (t, ) d ( z) ( z z)
2

Ento, devemos mostrar que Z (t, z + z) (t, z) (t, z) dt 0 I= z z

(3.6)

(3.7)

(3.8)

sobre a circunferncia k : | z| = . Como contnua em G, em particular contnua em k; como k um compacto, segue que limitada por uma constante positiva M em k, ou seja, |(t, z)| M, z k. Logo |R2 (t, z, z)| |z|2 2i
2

Z Z

|(t, )| d | z|2 | z z| M M |d| = 2 |z|2 2 ( |z|) ( |z|)

(3.9)

|z| 2i

Se z 0, ento R2 (t, z, z) 0. Voltando expanso em srie (3.7), temos que e, conseqentemente, Z I= (t, z + z) (t, z) (t, z) z z 0 (3.10)

(t, z + z) (t, z) (t, z) 0 z z 29

(3.11)

quando z 0 e, portanto, h0 (z) =

(t, z) dt z

(3.12)

existe para todos os pontos z G, resultando que h analtica em G. A continuidade contnua em G, segue da primeira de h em G imediata, pois uma vez que z 0 parte que h tambm contnua em G.2 Lema 1 (i) Sejam > 0 e S = {z : Re(z) a} onde a > 1. Ento existe um Z t 1 z1 nmero , (0 < < 1) , tal que para todo z em S, e 1 t dt < , onde

> > > 0.

Prova de (i): Como et 1 t, para todo t 0, temos que para 0 < t 1 e z S 1 z1 1 z1 t (3.13) t t t ta2 e 1 Como 0 < < < 1 e a > 1, ento, para todo z S, temos que Z Z t 1 z1 e 1 t dt 1 z1 t t dt e 1

(ii) Seja S = {z : Re(z) A}, onde < A < . Se > 0, ento existe um Z 1 z1 t t dt < , onde > > k. e 1 nmero k > 1 tal que para todo z em S,

para todo z em S e t 1. Se > > k > 1, ento

Portanto, para um > 0 podemos encontrar , 0 < < 1, tal que (i) seja satisfeito.2 t Prova de (ii): Se t 1 e z S, tz1 tA1 , por outro lado, a funo tA1 e 2 contnua no intervalo [1, ) e converge para zero quando t , ento, existe uma t constante c tal que tA1 e 2 c para todo t 1. Assim, 1 z1 t 1 z1 t t 1 t t (3.15) t = e 1 t e 2 e 2 ce 2 et 1 e 1 ! ! Z Z e2 1 t 1 z1 t e2 +1 e 1 t dt c e 2 (et 1)1 dt = c ln e2 + 1 e2 1 30

# " a1 ta1 1 = 1 ta2 dt = a 1 a 1

(3.14)

(3.16)

Logo, dado > 0 existe um nmero k > 1, tal que ! ! e2 1 e 2 + 1 < c ln e2 + 1 e 2 1 para > > k, o que prova a parte (ii).2 Observemos que, pelo Teorema 1, as integrais
Z Z

(3.17)

1 z1 t t dt, e 1

0<<<1 e

1 z1 t t dt, e 1

1<< (3.18)

so contnuas e analticas no intervalo [, ]. Teorema 2 (i) Se S = {z : a Re(z) A} , onde 1 < a < A < , ento a Z 1 z1 t integral t dt converge uniformemente e analtica em S. e 1
0

(ii) Se S = {z : Re(z) A} onde < A < ento a integral

Z 1

converge uniformemente e analtica em S. n Z t 1 z1 Prova de (i ): Sejam (t, z) = e 1 e fn (z) = t (t, z) dt sobre o seg1/n 1 1 , n . Pelo Teorema 1, existe sobre todos os pontos de , n S, mento de reta n z n portanto, fn analtica sobre S.

t 1 z1 e 1 t dt

Consideremos 1 < n < m. Ento,

m Z n Z

fm (z) fn (z) = =

(t, z) dt (t, z) dt +

(t, z) dt
m Z n m Z n m Z n n Z

1/m m Z 1/m m Z 1/m 1/n Z 1/m

1/n 1/n Z n 1/n Z n m Z n

(t, z) dt +

(t, z) dt (t, z) dt +

(t, z) dt

(t, z) dt +

(t, z) dt +

(t, z) dt

(t, z) dt +

(t, z) dt (3.19) 31

Pelo Lema 1 temos que Z 1/n m Z (t, z) dt < (t, z) dt < 2 1/m n Assim,

m Z (t, z) dt < 2 n

(3.20)

logo, a seqncia {fn } uma seqncia de Cauchy sobre o conjunto das funes analticas que completo, pois, este um subconjunto do conjunto das funes contnuas que tambm completo. Deste modo, a seqncia {fn } converge para uma funo f que analtica, ou seja, para n temos f(z) =
Z 0

Z 1/n Z m |fm (z) fn (z)| (t, z) dt + (t, z) dt < + = 2 2 1/m n

(3.21)

1 z1 t t dt e 1

(3.22)

A convergncia uniforme segue do fato de que uma seqncia de Cauchy converge uniformemente. Portanto, f(z) =
Z 0

1 z1 t t dt e 1

(3.23)

valo [1, n] . Pelo Teorema 1, contnua e existe sobre [1, n] S. Assim, pelo z resultado anterior, fn analtica em S. Consideremos 1 < n < m. Ento m n Z Z fm (z) fn (z) = (t, z) dt (t, z) dt
1 1

analtica e uniformemente convergente em S.2 n Z 1 z1 t Prova de (ii): Sejam (t, z) = e 1 e fn (z) = (t, z) dt sobre o intert
1

= Pelo Lema 1 temos que

1 Z

(t, z) dt +

m Z 1

(t, z) dt =

m Z n

(3.24) (t, z) dt

m Z (t, z) dt < n 32

(3.25)

Segue que

ou seja, a seqncia {fn } de Cauchy sobre o espao das funes analticas. Com os mesmos argumentos usados na demonstrao da parte (i ), podemos concluir que a funo Z f(z) = (t, z) dt (3.27)
1

m Z (t, z) dt < |fm (z) fn (z)| = n

(3.26)

analtica e converge uniformemente em S.2

4. Representao integral
A funo zeta de Riemann, denida em (2.1), admite a seguinte representao integral (que ser provada no Teorema 3 abaixo): 1 (z) = (z)
Z 0

tz1 dt, Re(z) > 1 (et 1)

(4.1)

onde (z) a funo gama de Euler, denida por (z) =

Z 0

et tz1 dt

(4.2)

para Re(z) > 0. Como preliminares para o Teorema 3, faamos a mudana de varivel t = nu na integral (4.2), obtendo (z) = donde n
z Z 0

enu (nu)z1 ndu = nz

Z 0

enu uz1 du

(4.3)

(z) =

Z 0

enu uz1 du

(4.4)

Somando sobre todos os inteiros positivos em ambos os lados da igualdade acima, e considerando Re(z) > 1, temos
X

(z) =

n=1

XZ

enu uz1 du

(4.5)

n=1 0

33

donde segue que (z) (z) = onde usamos a denio (2.1). Teorema 3 Para Re(z) > 1, (z) (z) =

n=1 0

XZ

enu uz1 du

(4.6)

Z 0

1 z1 t t dt e 1
Z 0

(4.7)

Prova: De acordo com o Teorema 2, a integral

1 z1 t t dt uniformemente e 1

convergente e analtica na regio onde Re(z) > 1. Assim, suciente mostrar que (z) (z) igual integral
Z 0

t 1 z1 e 1 t dt para z = x > 1.

Pelo Lema 1, existem nmeros e , 0 < < < , tais que

Z 0

1 x1 t t dt < e 1 4

1 x1 t t dt < e 1 4

(4.8)

Por outro lado,

n X k=1 kt X k=1

ekt = (et 1)1

(4.9)

para todo t 0 e n 1. Conseqentemente,

XZ

nt x1

n=1 0

dt 4

XZ

n=1

ent tx1 dt

(4.10)

34

Segue que Z 1 x1 t (x) (x) t dt e 1 0 X Z Z t 1 x1 nt tx1 dt e 1 e t dt = n=1 0 0 Z X XZ XZ nt tx1 dt + nt tx1 dt + e e enttx1 dt = n=1 n=1 n=1 0
Z 0

pois

n=1

1 no intervalo [, ] , ou seja, ent converge uniformemente para et 1

XZ

Z X +
n=1

1 x1 t t dt e 1

1 x1 t t dt e 1 Z

nt x1

dt

(e 1)

1 x1

dt =

1 x1 t t dt e 1

nt x1

dt =

n=1 Z 0

(et 1)1 tx1 dt.

Portanto, (z)(z) =

1 z1 t t dt, para Re(z) > 1.2 e 1

5. Extenso do domnio da funo

Vimos, na seo 2, que a funo zeta de Riemann analtica no semi-plano Re(z) > 1. Vamos usar o teorema 3 da seo anterior para estender o domnio de denio de para a faixa 1 < Re(z) < 1. Na prxima Seo, estenderemos o domnio de denio da funo para todo plano complexo C. Consideremos a expanso de Laurent de (ez 1)1 , a saber, 1 1 X 1 = + an z n ez 1 z 2 n=1

(5.1)

para certas constantes h 1 , a2 , a3 , . . . que ino precisamos conhecer explicitamente a neste momento. Assim (ez 1)1 z 1 permanece limitada em uma vizinhana 35

de z = 0. Mas isto implica que a integral

1 Z 0

1 z1 1 t dt et 1 t

converge uniformemente sobre subconjuntos compactos no semi-plano complexo direito Re(z) > 0 representando, portanto, uma funo analtica nessa regio. Por outro lado, pelo teorema 3 da seo anterior, temos
Z 1 Z 1 Z 1 Z 0 0 0 0

(z)(z) =

1 z1 t t dt e 1

1 z1 t t dt + e 1

Z 1

t 1 z1 e 1 t dt (z 1)1 + (z 1)1 + 1 z1 t t dt e 1
1 Z 0

1 z1 t t dt e 1

tz2 dt + (z 1)1 +

1 Z h Z i 1 1 z1 t t 1 t1 tz1 dt + (z 1) + e 1 t dt e 1 = 0 1

Z 1

Z 1

1 z1 t t dt e 1

t 1 z1 e 1 t dt

(5.2)

Usando o teorema 2, podemos armar que as integrais

1 Z h Z i t t 1 1 z1 1 z1 e 1 e 1 t t dt t dt e 0 1

(5.3)

que aparecem em (5.2) so analticas se Re(z) > 0. A funo (z 1)1 analtica se Re(z) > 0, exceto no ponto z = 1. Assim, 1 Z h Z i 1 1 z1 t t 1 (z) = t1 tz1 dt + (z 1)1 + e 1 t dt e 1 (z)
0 1

(5.4) analtica para Re(z) > 0, exceto no ponto z = 1, ou seja, meromorfa no semiplano {z : Re(z) > 0}, com um plo simples em z = 1. Observemos que quando X z = 1, n1 a srie harmnica que sabemos ser divergente.
n=1

36

Para 0 < Re(z) < 1, temos (z 1)

Z 1

tz2 dt. Substituindo este resultado

na equao obtida para (z)(z), (5.2), obtemos

Z 0

(z)(z) =

1 z1 1 t dt, 0 < Re(z) < 1 et 1 t

(5.5)

Considerando, novamente, a expanso de Laurent de (ez 1)1 , (5.1), podemos 1 cz, para alguma constante c e para todo z no armar que (ez 1)1 z 1 + 2 intervalo [0, 1] . Assim a integral
1 Z 0 1 Z 1 1 z1 1 c + t dt c tz dt = et 1 t 2 z+1 0

(5.6)

uniformemente convergente sobre subconjuntos compactos onde Re(z) > 1. Como lim t 1 1 et 1 t = 1, (5.7)

existe uma constante c0 tal que para t 1. Logo,

Z 1 Z 1 z1 1 c0 t dt c0 tz2 dt = et 1 t z1 1

1 1 et 1 t

c0 t

(5.8)

(5.9)

desde que Re(z) < 1, ou seja, a integral (5.9) uniformemente convergente sobre subconjuntos compactos onde Re(z) < 1. Usando a equao (5.5) e os resultados das ltimas sub-sees, vamos estender o domnio da denio da funo para a faixa 1 < Re(z) < 0. Da equao (5.5), temos para 0 < Re(z) < 1

37

(z)(z) =

Z 0 1 Z 0 1 Z 0 1 Z 0 1 Z 0

1 z1 1 t dt et 1 t
Z 1 z1 1 z1 1 1 t dt + t dt et 1 t et 1 t 1 Z 1 z1 1 z1 1 1 1 1 t dt + t dt + et 1 t 2z 2z et 1 t 1 1 Z Z 1 z1 1 z1 1 1 1 z1 dt 1 + t dt + t dt t et 1 t 2 2z et 1 t 0 1 Z 1 1 z1 1 z1 1 1 1 + t dt t dt + et 1 t 2 2z et 1 t 1

(5.11) notamos um aparente problema no ponto z = 0, que pode ser resolvido da seguinte forma. O termo 2z (z) no denominador igual a 2 (z + 1) , portanto, no ponto z = 0, temos 2z (z) = 2 (1) = 2 que elimina o aparente problema. Portanto, a funo est denida e analtica na faixa onde 1 < Re(z) < 1, com um plo simples em z = 1.

(5.10) Mas, como ambas as integrais convergem na faixa 1 < Re(z) < 1, podemos usar este resultado para denir na faixa 1 < Re(z) < 1, com exceo do ponto z = 0, que ser analisado em seguida. Reescrevendo (5.10) na forma 1 Z Z 1 1 z1 1 z1 1 1 1 1 + (z) = t dt t dt + (z) et 1 t 2 2z et 1 t
0 1

6. Equao funcional de Riemann

Nesta seo vamos derivar uma relao de fundamental importncia na teoria da funo zeta de Riemann, a equao funcional de Riemann. Vamos examinar mais detalhadamente a equao (5.11). Para 1 < Re(z) < 0, 1 = z
Z 1

tz1 dt

(6.1)

38

Substituindo este resultado na equao (5.11), ela pode ser reescrita como Z 1 1 1 1 z1 t dt (z) = + (z) et 1 t 2
0

(6.2)

Porm,

eiz + eiz eiz eiz e sen(z) = . Desta forma, 2 2i eiz + eiz cos(z) (6.4) = cotg(z) = 1 iz sen(z) (e eiz ) i donde i it 1 et + 1 (6.5) cotg = 2 2 2 et 1 No Apndice A, mostramos que De fato, sabemos que cos(z) = cotg (a) = 1 X 2a , + a n=1 a2 n2

1 1 1 + = t1 e 2 2

et + 1 et 1

i = cotg 2

it 2

(6.3)

aZ /

(6.6)

Substituindo este resultado na equao (6.2), segue que ! Z X XZ 1 1 z tz dt t dt = 2 (z) (z) = 2 t2 + 4n2 2 t2 + 4n2 2 n=1 n=1
0 0

Combinando as equaes (6.7) e (6.3), obtemos X 1 1 1 1 1 + =2 t 1 2 + 4 2 n2 e t 2 t t n=1

Tomando a = it/2 na expresso (6.6), temos X 2 it 1 = 4it cotg , t 6= 0 2 it t2 + 4n2 2 n=1

(6.7)

(6.8)

Efetuando a mudana de varivel t = 2n tg , dt = 2n (sec )2 d, vem ! X Z [2n tg ]z 2n (sec )2 d (z) (z) = 2 [2n tg ]2 + 4n2 2 n=1 0 ! Z X (tg )z (sec )2 = 2 (2n)z1 d (tg )2 + 1 n=1
0

= 2

n=1

(2n)z1

Z 0

(tg )z d

(6.9)

39

Fazendo uma nova mudana com u =tg , du = (sec )2 d, podemos reescrever (6.9) como
X Z 0 uz sec2 ()

(z) (z) = 2

(2n)

z1

n=1 X

du = 2

X n=1

(2n)

z1

Z 0

uz (tg )2 +1

du

= 2 (2)

z1

z1

n=1

Z 0

uz u2 +1

du = 2 (2)

z1

(1 z)

Z 0

uz u2 +1

du (6.10)

para 1 < Re (z) < 0. Por outro lado Z uz du = sec( z) 2+1 u 2 2

0

(6.11)

Substituindo (6.11) e (6.12) em (6.10), obtemos nalmente que z (6.13) (z) = 2 (2)z1 (1 z) (1 z) sen 2 para 1 < Re (z) < 0. O resultado expresso em (6.13) a equao funcional de Riemann. O teorema abaixo estende o domnio da funo zeta de Riemann e de sua equao funcional para todo plano complexo, exceto no ponto z = 1. Teorema 4 A funo zeta de Riemann pode ser denida de modo que ela seja meromorfa no plano complexo tendo um plo simples em z = 1 e Res [, 1] = 1. Para z 6= 1, satisfaz a equao funcional de Riemann ( 6.13). Como (1 z) tem plos em z = 1, 2, . . . e como analtica em z = 2, 3, . . . sabemos, da equao funcional de Riemann que, z (1 z) sen =0 (6.14) 2 para z = 2, 3, . . . . Entretanto, os plos de (1 z) em z = 2, 3, . . so como z . z = 0 deve ser simples. Como sen = 0, simples, cada zero de (1 z)sen 2 2 quando z um inteiro par, ento (1 z) = 0 para z = 3, 5, . . .. Isto , (z) = 0 para z = 2, 4, . . .. Um raciocnio similar nos leva a concluir que no tem zeros fora da faixa {z : 0 Re(z) 1} . Desta forma, conclumos que a funo satisfaz a equao funcional de Riemann z (z) = 2 (2)z1 (1 z) (1 z) sen (6.15) 2 para todo z 6= 1. 40

e da teoria da funo gama de Euler, temos z z i (1 z) (1 z) h 1 = sen (z) = 2sen cos (z) 2 2

(6.12)

7. A conjectura de Riemann
A famosa conjectura ou hiptese de Riemann est relacionada com os zeros da funo . Os zeros da funo zeta localizados em zn = 2n, n = 1, 2, . . . so chamados zeros triviais. Aquele grande matemtico armou que a funo tem innitos zeros na faixa 0 Re(z) 1, conhecida por faixa crtica. J. Hadamard foi o primeiro a provar esta armao, em 1893. Uma das mais famosas questes em aberto da Matemtica a hiptese de Riemann sobre os zeros no triviais da funo zeta. A hiptese de Riemann estabelece que todos os innitos zeros da funo , pertencentes faixa crtica 0 Re(z) 1, es1 to sobre a reta Re(z) = , que chamada de reta crtica. Desta forma, os zeros 2 no triviais da funo , de acordo com a conjectura de Riemann, so innitos e da forma z = 1 + i, com real. At o momento, nenhuma prova foi apresentada para 2 esta conjectura. Este problema no um tipo de problema que pode ser abordado por mtodos elementares. J deu origem a uma extensa e complicada bibliograa. Riemann enunciou, tambm sem provar, a seguinte frmula assinttica para o nmero N (T ) de zeros da faixa crtica, 0 Re(z) 1, 0 < Im(z) T, 1 1 + log 2 T log T T + O(log T ) (7.1) 2 2 Uma prova rigorosa desta frmula foi dada, pela primeira vez, por H. V. Mangoldt em 1905. Nove anos mais tarde, G. H. Hardy provou que existe uma innidade de 1 zeros sobre a reta Re(z) = . Mas, uma innidade no signica que so todos. E. 2 C. Titchmarsh mostrou, em 1935/1936, que h 1041 zeros na regio 0 Re(z) 1 1 e 0 < Im(z) < 1468. Todos estes zeros esto sobre a reta crtica Re(z) = . Com o 2 notvel auxlio dos computadores, j se sabe que o primeiro bilho e meio de zeros no triviais encontram-se sobre a reta crtica. N (T ) =

8. Relao entre a funo zeta e os nmeros primos

A funo zeta de Riemann desempenha um papel importante na Teoria dos Nmeros, em particular, na teoria dos nmeros primos. O teorema abaixo, devido a Euler, mostra uma relao notvel entre a funo e os nmeros primos. Teorema de Euler Se Re(z ) > 1 ento (z) = Y
(p)

1 1 1 pz

(8.1)

onde (p) o conjunto innito de nmeros primos.

X 1 Prova: Notemos que a srie convergente para qualquer nmero primo p, pjz j=0

41

pois tal srie geomtrica, onde o primeiro termo igual a 1 e a razo q =

X 1 1 . Denotemos por pk o k -simo nmero primo, = |q| < 1. Segue que pjz 1 pz j=0

1 , logo pz

assim p1 = 2, p2 = 3, p3 = 5, , e consideremos o seguinte produto Para m = 2, usando a frmula do produto de Cauchy, temos 1 1 pz 1 1 1 pz 2 =
X

1 . 1 pz k k=1

m Y

k1 ,k2

onde k1 , k2 so inteiros no negativos. Por induo, obtemos o seguinte produto

X 1 1 z z = k1 k2 km 1 pk k=1 k1 ,k2 km p1 p2 pk m Y

1 z pk1 pk2 1 2

(8.2)

(8.3)

com k1 , k2 , , km inteiros no negativos. Da teoria dos nmeros inteiros, sabemos que todo inteiro positivo, maior ou igual a 2, pode ser decomposto em produto de fatores primos, de maneira nica, a menos de um rearranjo de seus termos. Logo podemos reescrever (8.3) como segue X 1 1 = nz 1 pz k k=1
m Y

(8.4)

onde n assume qualquer valor inteiro positivo que no possui fator primo maior que pm em sua decomposio em produto de fatores primos. De (2.1), vemos que o produto em (8.4) menor do que (z) , pois no possui todos os termos da srie que representa (z) . Por outro lado, a somatria que 1 1 1 aparece em (8.4) contm os termos 1, z , z , , z , permitindo-nos escrever 2 3 pm
pm m X 1 Y 1 < < (z) z n 1 pz k n=1 k=1

(8.5)
pm X 1 (z) . nz n=1

para todo m. Quando m , pm tambm, e assim Portanto (z) = Y

(p)

1 1 1 pz

(8.6)

42

Apndice A
Neste Apndice, vamos provar a seguinte expanso 1 X 2a cotg (a) = + a n=1 a2 n2 onde a Z. / A funo cotg (z) =

( A1)

cos (z) tem perodo 1, ou seja, cotg ( (z + 1)) = cotg (z) , sen (z) e tem singularidades isoladas nos pontos z = s (s = 0, 1, 2, . . .). Usaremos o teorema dos resduos Z n X 1 f(z)dz = Res [f, k] 2i
k=1

para obter a expanso de cotg (a) em srie. Seja cotg(z) , onde a 6= s (s = 0, 1, 2, . . .) z a Pelo teorema dos resduos temos Z n X cotg(z) cotg(z) 1 Res dz = ,k 2i za za f (z) =
k=1

(A2)

(A3)

1 > |a| , centrada na origem. 2 cotg(z) tem singulariNo interior da regio limitada por , a funo f (z) = za dades isoladas nos pontos z = a e z = s (s = 0, 1, 2, . . . , n) . Podemos, ento, separar a soma em (A3) em duas partes, a saber, onde a circunferncia de raio n = n + 1 2i Z n X cotg(z) cotg(z) dz = ,k Res z a za
k=1

X n cotg(z) cotg(z) Res = Res ,a + ,s za za s=n

(A4)

Calculemos, agora, o resduo de f em cada ponto singular zk de f no interior de , indicados em (A4). g (z) Escrevendo f sob a forma f (z) = notamos que g(z) = cotg(z) analtica h (z) nas singularidades de f e estas singularidades so os zeros da funo h(z) = z a, e g (z) , onde g(z) = cos(z), que so isoladas e simples. Podemos reescrever f (z) = h (z) 43

 uma funo inteira, e h(z) = (z a)sen(z), que se anula nas singularidades de f. Assim, o resduo da funo f no ponto singular a ser dado por Res [f, a] = g(a) h (a)
0

cos(a) = cotg(a) sen(a)

(A5)

e nos pontos singulares z = s (s = 0, 1, 2, . . . , n) , sero dados por Res[f, s] = = g(s)

0

h (s) 1 , (s a)

cos(s) sen(s) + (s a) cos (s) para s = 0, 1, 2, . . . , n. (A6)

De acordo com (A4), temos Z n X cotg(z) 1 1 dz = cotg(a) + 2i (z a) (s a) s=n

= cotg(a) + = cotg(a)

n n 1 1X 1 1X 1 + s=1 (s + a) s=1 (s a) a n 1 1 1X 1 = cotg(a) + + s=1 (s + a) (s a) a n 2a 1 1X = cotg(a) s=1 a2 s2 a

1 n 1 1 X 1 1X 1 + s=n (s a) a s=1 (s a)

(A7)

O nosso prximo passo mostrar que

X

cotg(z) dz 0, quando n e za

1 2a . Para tanto, dividiremos em + 2 n2 a n=1 a duas curvas, 1 e 2 , de modo que, = 1 2 , onde 1 a semicircunferncia superior de , e 2 a semicircunferncia inferior de . Assim, Z Z Z cotg(z) cotg(z) cotg(z) dz = dz + dz (A8) z a za za como conseqncia, cotg(a) =
1 2

Na integral ao longo de 2 fazemos a substituio z = t. Se z percorre a curva 2 no sentido positivo, t descrever a curva 1 no sentido positivo. Usando o fato de que cotg(z) uma funo mpar e dz = dt, temos Z Z Z cotg(z) cotg(t) cotg(t) dt = dz = dt t a za t+a
2 1 1

44

Substituindo este resultado na equao (A8), vem Z Z Z Z 1 cotg(z) cotg(z) cotg(z) 1 dz dz = dz dz = cotg(z) z a za z+a za z+a 1 1 1 Z Z cotg(z) 2a = dz = 2a cotg(z) 2 dz (A9) 2 z a z 2 a2
1 1

Para completar nossa tarefa, usaremos majoraes. Uma primeira majorao que z 2 a2 |z|2 |a|2 = 2 |a|2 . Para majorar a funo cotg(z), deven mos trabalhar sobre uma regio onde cotg(z) no tenha singularidades. Por esta razo, tomemos inicialmente o disco Ds = z : 0 < |z s| < r < 1 , onde a funo 2 cotg(z) no tem singularidades e alm disso Ds est contido na faixa de periodicidade da cotg(z). Por outro lado, 2zi cos(z) e +1 (A10) cotg(z) = = i 2zi sen(z) e 1 tende a i quando Im(z) . Desta forma, podemos armar que |cotg(z)| limitado por uma constante M na faixa peridica, fora do disco Ds . Fazendo o mesmo para todas as outras singularidades da cotg(z) e por sua periodicidade, podemos armar que |cotg(z)| < M no disco |z| = n , excluindo as suas singularidades. Com estas majoraes teremos que Z Z cotg(z) = 2a cotg(z) dz dz 2 a2 za z Z cotg(z) 2 |a| n (A11) 2 |a| 2 z a2 |dz| 2 |a|2 n

1 quando n , n = n + e, ento, 2

cotg(z) dz 0. Portanto za

cotgz =

1 X 2z + z n=1 z 2 n2

(A12)

que se reduz a (A1) quando z = a, a Z2 . /

45

Apndice B
Neste Apndice, apresentamos um resumo das propriedades da funo zeta de Riemann. Denio
X 1 , Re(z) > 1 nz n=1

(z) =

Representao integral 1 (z) = (z)

Z 0

1 z1 t t dt, Re(z) > 1 e 1

Equao funcional de Riemann (z) = 2 (2)z1 (1 z) (1 z) sen Alguns valores especiais z 2 , z 6= 1

1 2 (1) = (0) = (2n) = 0, n = 1, 2, . . . (1 2n) = B2n , n = 1, 2, . . . 2n (2)2n |B2n | , n = 1, 2, . . . (2n) = 2(2n)! 2 6 4 (4) = 90 (2) =

46

Bibliograa
ABRAMOWITZ, M. e STEGUN, I. Handbook of mathematical functions. New York:

Dover, 1970.
AHLFORS, L. V. Complex analysis. New York: McGraw-Hill, 1979. BELL, E. T. Los grandes matemticos. Buenos Aires: Losada, 1948. CHURCHILL, R. V. Variveis complexas e suas aplicaes. So Paulo: McGraw-Hill,

1975.
GUELFOND, A. Los residuos. Moscou: Mir, 1968. HAUSER, A. A. Variveis complexas. Rio de Janeiro: LTC, 1972. KNOPP, K. Theory of functions. New York: Dover, 1945. KNOPP, K. Innite sequences and series. New York: Dover, 1956. MARKUSHEVICH, A. Teora de las funciones analticas. Moscou: Mir, 1970, v. 1 e 2. TITCHMARSH, E. C. The theory of the Riemann zeta function. Oxford: Clarendon,

1967.
WAGON, S. Mathematica in action. New York: Freeman, 1991.

47