Você está na página 1de 41

NOTAS DE

VARIVEL
COMPLEXA

Francisco Brito
P REFCIO

iii
S UMRIO

Pgina

Prefcio i

Sumrio iv

Lista de Figuras vii


Pgina

1 Os Nmeros Complexos 3
1.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 Produtos e Potncias Teorema de Moivre . . . . . . . . . 6
1.2 Razes de Polinmios . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Conjugao Complexa . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1 Desigualdades . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Geometria com os nmeros complexos . . . . . . . . . . . . . . . 9
1.4.1 Segmentos de reta . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.2 Crculos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.3 Uma outra maneira de descrever crculos no plano com-
plexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.4 Arcos de crculos . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4.5 figuras no plano . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5 O plano estendido e a esfera de Riemann . . . . . . . . . . . . . . 15
1.5.1 Circunretas . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.5.2 Pontos simtricos . . . . . . . . . . . . . . . . . . . . . . . . 18
1.5.3 Sistemas coaxiais de crculos . . . . . . . . . . . . . . . . . 20
1.5.4 Transformaes de Mbius . . . . . . . . . . . . . . . . . . 22
1.6 Alguns elementos de topologia e anlise em C . . . . . . . . . . . 25
1.6.1 Conjuntos limitados e conjuntos compactos . . . . . . . . 28
1.6.2 Convexidade e conectividade . . . . . . . . . . . . . . . . . 28
1.7 Limites e continuidade em C . . . . . . . . . . . . . . . . . . . . . . 31
1.7.1 Limites de funes . . . . . . . . . . . . . . . . . . . . . . . 33

2 Diferenciao Complexa 35
2.1 Funes holomorfas . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.1.1 Funes complexas elementares . . . . . . . . . . . . . . . 40

iv
Sumrio

A funo logaritmo . . . . . . . . . . . . . . . . . . . . . . . 45

3 Sries complexas 49
3.0.1 As sries geomtricas . . . . . . . . . . . . . . . . . . . . . . 51
3.1 Sries de potncias . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.1.1 Diferenciao de sries de potncias . . . . . . . . . . . . 54

4 Aplicaes conformes 57
4.1 Construo de aplicaes conformes . . . . . . . . . . . . . . . . . 61
4.1.1 Aplicaes conformes na esfera de Riemann . . . . . . . . 62
4.1.2 A funo exponencial . . . . . . . . . . . . . . . . . . . . . 63
4.1.3 O Logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.1.4 Transformando regies limitadas por arcos de crculos . . 64

5 Integrao no Plano Complexo 69


5.1 Integrais de linha . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
5.2 O Teorema de Cauchy-Goursat. . . . . . . . . . . . . . . . . . . . . 78
5.2.1 O Teorema de Cauchy em uma regio simplesmente co-
nexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
5.3 A frmula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . 88
5.4 A frmula integral de Cauchy - derivadas sucessivas . . . . . . . 92
5.4.1 Algumas consequncias da Frmula integral de Cauchy . 94
5.4.2 Representao por sries de potncias . . . . . . . . . . . 95
5.4.3 Zeros de funes holomorfas . . . . . . . . . . . . . . . . . 100
5.4.4 Singularidades isoladas . . . . . . . . . . . . . . . . . . . . 101
5.4.5 A aplicao local . . . . . . . . . . . . . . . . . . . . . . . . 102
5.5 Singularidades novamente Teorema de Laurent . . . . . . . . . 108

6 Teoria dos resduos e aplicaes 113


6.1 Mtodo prtico para o clculo de resduos . . . . . . . . . . . . . . 115
6.1.1 Clculo do resduo de uma funo em um polo simples . 115
6.1.2 Clculo do resduo de uma funo em um polo mltiplo. 116
6.2 Clculo de integrais reais usando o Teorema dos Resduos . . . . 117
6.2.1 Integrais do tipo I . . . . . . . . . . . . . . . . . . . . . . . . 117
6.2.2 Integrais do tipo II . . . . . . . . . . . . . . . . . . . . . . . 118
6.2.3 Integrais do tipo III . . . . . . . . . . . . . . . . . . . . . . . 122
6.2.4 Integrais do tipo IV . . . . . . . . . . . . . . . . . . . . . . . 126
6.2.5 Integrais do tipo V . . . . . . . . . . . . . . . . . . . . . . . 128
6.2.6 Integrais do tipo VI . . . . . . . . . . . . . . . . . . . . . . . 130
6.3 Outras aplicaes do Teorema dos Resduos Somas de sries . . 133
6.3.1 Clculo de somas de sries numricas Caso I . . . . . . 133
6.3.2 Clculo de somas de sries Caso II . . . . . . . . . . . . . 136
6.3.3 Somas envolvendo coeficientes binomiais. . . . . . . . . . 137

7 Funes Harmnicas 141

v
S UMRIO

7.1 Algumas consideraes iniciais funo harmnica conjugada . 141


7.2 A equao de Laplace em coordenadas polares . . . . . . . . . . . 144
7.3 A diferencial conjugada d u . . . . . . . . . . . . . . . . . . . . . . 145

vi
L ISTA DE F IGURAS

1.1 O plano complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5


1.2 Representao polar de nmeros complexos . . . . . . . . . . . . . . 5
1.3 As razes sextas da unidade . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Crculo de Apollonius . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5 Arcos de crculos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.6 Discos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.7 Anis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.8 Semi planos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.9 Setores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.10 Projeo estereogrfica . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.11 Pontos simtricos em relao a uma crculo . . . . . . . . . . . . . . . 19
1.12 Famlias coaxiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.13 Conjunto aberto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.14 Conjunto poligonalmente conexo . . . . . . . . . . . . . . . . . . . . . 29
1.15 Ilustrao do Teorema 1.6.2 . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.1 O logaritmo principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.1 ngulo entre duas curvas em . . . . . . . . . . . . . . . . . . . . . . . 58
4.2 Preservao de ngulos entre curvas por uma aplicao f . . . . . . 59
4.3 Uma funo que no conforme em um s ponto . . . . . . . . . . . 60
4.4 Algumas transformaes de Mbius teis . . . . . . . . . . . . . . . . 62
4.5 A aplicao z 7 z n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.6 A funo exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.7 Transformando metade do disco em um quadrante . . . . . . . . . . 65
4.8 Transformando uma lente em um setor . . . . . . . . . . . . . . . . . 66
4.9 Transformando a regio limitada por dois crculos no concntricos
em um anel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.10 Transformando a regio limitada por dois crculos tangentes em
uma faixa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
5.1 O logaritmo dado por uma integral . . . . . . . . . . . . . . . . . . . . 74
5.2 Integrais independentes do caminho . . . . . . . . . . . . . . . . . . . 76
5.3 Subdivises de um retngulo R . . . . . . . . . . . . . . . . . . . . . . . 79
5.4 Retngulo com ponto excepcional . . . . . . . . . . . . . . . . . . . . . 81
5.5 Teorema de Cauchy num disco . . . . . . . . . . . . . . . . . . . . . . 83
5.6 Teorema de Cauchy num disco com pontos excepcionais . . . . . . . 84
5.7 Teorema de Cauchy num disco com pontos excepcionais . . . . . . . 85

vii
L ISTA DE F IGURAS

5.8 Teorema de Cauchy para a regio limitada por uma curva fechada
simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
5.9 A frmula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 89
5.10 Teorema de Rouch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
5.11 Regio anelar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
6.1 O teorema dos resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
6.2 Funo racional sem zeros reais . . . . . . . . . . . . . . . . . . . . . . 118
6.3 Um tipo especial de contorno . . . . . . . . . . . . . . . . . . . . . . . 121
6.4 Um contorno no simtrico . . . . . . . . . . . . . . . . . . . . . . . . 124
6.5 Um polo no eixo real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
6.6 Contorno para calcular as integrais do tipo V. . . . . . . . . . . . . . . 129
6.7 Contorno para calcular outras integrais do tipo VI. . . . . . . . . . . . 133
6.8 Contorno para o clculo de somas de sries . . . . . . . . . . . . . . . 134

viii
CAPTULO
T EORIA DOS RESDUOS E APLICAES
6
Sejam G uma regio do plano complexo e seja f uma funo holomorfa em
G = G \ {a 1 , a 2 , . . . , a r }, o aberto obtido a partir de G pela remoo
de um con-
junto finito de pontos. Para cada a j , existe j > 0 tal que 0 < z a j < j est
contido em G . Para cada j , seja C j um crculo de raio < j centrado em a j
com orientao positiva e defina

P j = f (z)d z. (6.1)
Cj

Definio 6.0.1: Perodos

O valor da integral da Equao 6.1 chamada de perodo da funo f no


ponto a j .

Observe que P j no muda de valor se o raio for alterado, desde que o cr-
culo permanea contido em G e que nenhum outro ponto a k esteja no interior
do crculo.
Como
dz
= 2i ,
z aj
Cj

113
6. T EORIA DOS RESDUOS E APLICAES

Pj
ento tomando R j = , teremos que a funo em G ,
2i
Rj
f (z)
z aj
tem perodo nulo em a j .
Definio 6.0.2: Resduo

O resduo de f em uma singularidade isolada a o nico nmero com-


R
plexo R tal que f (z) a derivada de uma funo holomorfa em
z a
0 < |z a| < , para algum > 0.

A notao usada para indicar o resduo de uma funo f em um ponto a


R = Res f (z).
z=a

Teorema 6.0.3: Teorema dos resduos


Sejam um caminho fechado e f uma funo holomorfa sobre e no
interior de , com exceo de um nmero finito de pontos a 1 , a 2 , . . . , a n
situados no interior de . Ento,

n
f (z)d z = 2i Res f (z).
z=a j
j =i

Demonstrao Considere a cadeia de curvas, = C 1 C 2 C n . Fazendo


cortes no plano(veja a prxima figura) fica claro que
n

f (z)d z = f (z)d z f (z)d z = 0.
j =i
j

Consequentemente,
n

n
f (z)d z = f (z)d z = 2i Rj.
j =i j =1
j

Observao 1 Quando todas as singularidades existentes no interior da curva


fechada so polos, podemos fazer o seguinte argumento: Seja f k a parte prin-
cipal da expanso de Laurent de f em torno de a k . Ento,

n
g=f fk ,
k=1

tem apenas singularidades removveis em a 1 , a 2 , . . . , a n , e portanto,


n
0 = g (z)d z = f (z)d z f k (z)d z.
k=1

114
6.1. Mtodo prtico para o clculo de resduos

donde o resultado neste caso particular.


Observao 2 Como Res f (z) = 0 se f analtica em a, mantendo as hipteses
z=a
do teorema dos resduos podemos reescrever o resultado como,

f (z)d z = 2i Res f (z).
z
Int()


a1

an

Figura 6.1: O teorema dos resduos

6.1 M TODO PRTICO PARA O CLCULO DE RESDUOS

6.1.1 Clculo do resduo de uma funo em um polo simples


Se a um polo simples de f , ento
Res f (z) = lim (z a) f (z), (6.2)
z=a za
1
pois se a um polo simples de f , ento, perto de a, f (z) = g (z), com g
z a
holomorfa e no nula em uma vizinhana de a. Expandindo g em potncias
de z a, vemos que o coeficiente de (z a)1 na expanso de Laurent de f em
torno de a o valor dado pela equao (6.2).
Um caso importante que merece destaque aquele em que f o quoci-
ente de duas funes holomorfas em uma vizinhana de a e que tem um polo
simples em a. Neste caso podemos descrever a situao em termos de f e g :
h
f = , g (a) = 0, g (a) = 0 e h(a) = 0.
g

115
6. T EORIA DOS RESDUOS E APLICAES

Aplicando o mtodo acima para o clculo de resduo em polo simples teremos:


h(z) h(z) h(a)
Res f (z) = lim (z a) f (z) = lim (z a) = lim = .
z=a za za g (z) za g (z) g (a) g (a)
(z a)
Exemplo 6.1.1
1
Se f (z) = z(2z) , seus polos so z = 0 e z = 2, ambos simples. Assim,
usando o primeiro caso temos que

1 1 1 1
Res = lim (z 0) = lim =
z=0 z(2 z) z0 z(2 z) z0 2 z 2
e
1 1 1 1
Res = lim (z 2) = lim = .
z=2 z(2 z) z2 z(2 z) z2 z 2

Exemplo 6.1.2

csc z 1
Se f (z) = = 2 ento, todos os polos desta funo,
z +1
2 (z + 1) sen z
z = i e z k = k Z so simples, portanto,

csc(i ) 2i 1
Res f (z) = = =
z=i 2i 2i (e e ) e e

csc(i ) 2i 1
Res f (z) = = = ,
z=i 2i 2i (e e ) e e
e
1 1 (1)k
Res f (z) = Res = = .
z=k z=k (1 + z 2 ) sen z (1 + k 2 )( cos k) (k 2 + 1)

6.1.2 Clculo do resduo de uma funo em um polo mltiplo.


Digamos que a um polo de ordem m de uma funo meromorfa em uma
vizinhana de a. Nesta situao temos que f se escreve como,
f (z) = (z a)m g (z), (6.3)
com g uma funo holomorfa em alguma vizinhana de a e tal que g (a) = 0.
O resduo de f em a o coeficiente do termo (z a)1 da expanso em srie
de Laurent de f ; equivalentemente, considerando a equao (6.3), o resduo
de f em a o coeficiente de (z a)m1 na expanso em srie de Taylor de g ,
portanto,
1 d m1 { m
}
Res f (z) = lim (z a) f (z) .
z=a (m 1)! za d z m1
Exemplo 6.1.1

116
6.2. Clculo de integrais reais usando o Teorema dos Resduos

6.2 C LCULO DE INTEGRAIS REAIS USANDO O T EOREMA DOS R ESDUOS

A seguir trataremos de alguns tipos gerais de integrais reais imprprias ou no,


para as quais o mtodo dos resduos se aplica de maneira simples e direta.

6.2.1 Integrais do tipo I


2
I = F (cos , sen )d , com F uma funo racional de duas variveis.
0
Se |z| = 1, ento z = e i = cos + i sen . Consequentemente z 1 = e i =
cos i sen , de maneiras que

z + z 1 z z 1 dz
cos = , sen = e = i e i = i z.
2 2i d
Substituindo em termos de z, temos que
( )
z + z 1 z z 1 d z
I= F , .
2 2i iz
|z|=1

Observe que devido a funo F ser uma funo racional de duas variveis, aps
a substituio em termos de z, o integrando passa a ser uma funo racional
da varivel z. Assim, podemos usar o teorema dos resduos para ter:
[ ( ) ] [ ( ) ]
z + z 1 z z 1 1 z + z 1 z z 1 1
I = 2i Res F , = 2 Res F , .
|z|<1
z 2 2i iz |z|<1
z 2 2i z

Exemplo 6.2.1

2
d 2
Verifiquemos que I = =p , a R, |a| < 1.
1 + a cos 1 a2
0
Pelo exposto acima a
integral que desejamos

calcular dada por,

1 1 2
I = 2 Res

= 2
Res 2 .
|z|<1
z z + z 1 z |z|<1
z az + 2z + a
1+a
2
As nicas singularidades dap expresso acima so os polos(anulam
p o de-
1 1 a 2 1 + 1 a 2
nominador da frao) e apenas z 1 = tem va-
a a
lor absoluto menor que 1. Ento, teremos que:
[ ]
2 2 2
I = 2Res
z=z 1 az 2 + 2z + a
= 2 =p .
2az + 2 z=z1 1 a2

117
6. T EORIA DOS RESDUOS E APLICAES

6.2.2 Integrais do tipo II



P (x)
I= d x, P, Q polinmios reais tais que grau(Q) grau(P )+2, Q sem ra-
Q(x)

zes reais.
Mostraremos que nestas condies, a integral acima dada em termos de
resduos por:

P (x) P (z)
I= d x = 2i Res . (6.4)
Q(x) Imz>0
z Q(z)

Neste caso tiramos proveito do fato que as singularidades da funo F (z) =


P (z)
so os zeros do denominador Q(z), e como Q(z) real se z real, metade
Q(z)
dos zeros esto situados no semi plano superior, a outra metade no semi plano
inferior e so em nmero finito. Consequentemente a partir de um valor R > 0,
todos os zeros de Q(z) esto contidos no disco de centro na origem e raio R.
A condio sobre os zeros de P e de Q garantem a convergncia da integral
imprpria da equao(6.2.2), de maneiras que no precisaremos nos preocu-
par com este importante detalhe. Considere que R suficientemente grande
para que todos os zeros de Q que pertencem ao semi plano superior estejam
a uma distncia menor que R da origem. A figura 6.2 ilustra bem a situao.
Considere ento a curva fechada simples positivamente orientada, R , com-
posta do segmento de reta que une os pontos (R, 0) e (R, 0). seguido da semi
circunferncia centrada na origem, contida no semi plano superior e de raio
R, e seja GR o interior de R .

GR

R R R x

Figura 6.2: Funo racional sem zeros reais

118
6.2. Clculo de integrais reais usando o Teorema dos Resduos

Pelo Teorema dos Resduos temos que



P (z) P (z) P (z) P (z)
dz = dz + d z = 2i Res . (6.5)
Q(z) Q(z) Q(z) zGR
z Q(z)
R R R

Parametrizando R por R (x) = (x, 0), R x R, R por, R () = Re i , 0


e fazendo as substituies nas integrais obtemos

R 2
P (x) P (Re i ) P (z)
dx + i Re i d = 2i Res .
Q(x) Q(Re i ) zGR
z Q(z)
R 0

Agora, fazendo R temos que a primeira integral da igualdade acima


tende, por definio, para a integral imprpria que queremos calcular(pois j
sabemos que a mesma convergente!) e o termo do segundo membro cons-
tante para R R 0 > 0, portanto precisamos apenas mostrar que a segunda par-
cela da igualdade acima tende para zero quando R tende para o infinito.
Faamos ento uma estimativa da segunda parcela do primeiro membro
da igualdade acima:
Sejam que P (z) = a n z n + a n1 z n1 + + a 1 z + a 0 , com a n = 0 e Q(z) = b m z m +
b m1 z m1 + + b 1 z + b 0 , com b m = 0 e m n + 2.
Inicialmente temos que:
( )
P (z) z n a n + an1 z
+ + zan0 1 a n + an1
z
+ + zan0
= ( ) = mn .
Q(z) z m b + bm1 + + bm0 z b m1 b0
m b m + z
+ + z m
z z

an
Observe que o segundo fator nesta ltima equao tem limite = 0 quando
bm
z tende
para o , e portanto existem R 0 > 0 e M > 0 tais que |z| > R 0 implica
P (z)
que < M 1 . Usando esta ltima estimativa temos que para R 0
Q(z) |z|mn
que,
2 2
i i 2
P (Re ) P (Re ) RM 2M R
i Re i
d i Re i d d = mn1 0.
i i mn
Q(Re ) Q(Re ) R R
0 0 0

O limite acima de fato 0 porque por hiptese m n + 2, logo, m n 1 1.


Portanto a equao (6.4) est verificada.

119
6. T EORIA DOS RESDUOS E APLICAES

Exemplo 6.2.1


dx
Calcular a integral imprpria I = .
1 + x4
0

dx 1 dx 1 1 1
I= = = (2i ) Res = i Res .
1+x 4 2 1+x 4 2 Imz>0
z 1+z 4
Imz>0
z 1 + z4
0
p
2
Os polos da funo integrando no semi plano superior so , z 1 = 2 (1+i )
p
2
e z2 = 2 (1 + i ).
Por outro lado, o resduo da funo dada em qualquer
1 a a
um de seus polos a dado por 3 = 4 = . Portanto
4a 4a 4
( p p ) p
dx 2(1 + i ) 2(1 + i ) 2
I= = i = .
1 + x4 8 8 4
0

Algumas integrais do tipo do tipo II podem ser resolvidas com menos tra-
balho. Alm disso, se a funo integrando no par, no possvel transferir a
integrao digamos, do eixo real positivo ao eixo real todo.

120
6.2. Clculo de integrais reais usando o Teorema dos Resduos

Exemplo 6.2.2

()
dx
Verificar que = csc , n 2, inteiro.
1 + xn n n
0
Observe que se n mpar no podemos integrar a mesma funo sobre
toda a reta, pois obteremos 0 como resultado. O que faremos ento iso-
lar um zero do denominador em um setor circular como na Figura 6.3.
Se n 2 ento a integral convergente, e se R > 1 o contorno da Fi-
gura 6.3 (um setor circular com centro na origem, abertura 2/n radi-
1
anos e raio R )contem apenas o polo a = e i /n da funo f (z) =
1 + zn
em seu interior. Aplicando o teorema dos resduos ao contorno desta
mesma figura temos que, se R > 1,

f (z)d z + f (z)d z + f (z)d z = 2i Res f (z).
z=a
1 2 3

Parametrizamos 1 por z(x) = x, 0 x R , e quando R a integral


correspondente nos d a integral procurada. J vimos que a integral so-
bre 2 tende a 0 quando R tende ao , visto que a funo racional f tem
um zero de ordem pelo menos 2 no . Por ltimo, parametrizando 3
como z(t ) = t e 2i /n , 0 t R a terceira integral se torna:

R
e 2i /n d t
f (z)d z = f (z)d z =
1+ tn
3 3 0
R
2i /n d t R dx
=e e 2i /n .
1+t n 1 + xn
0 0

3
e
i
n
2
2
n

1 R x

Figura 6.3: Um tipo especial de contorno

Veremos agora um lema simples que nos possibilita usar o mtodo dos re-
sduos para calcular algumas integrais imprprias reais.

121
6. T EORIA DOS RESDUOS E APLICAES

Lema 6.2.3: Desigualdade de Jordan

2 sen
1, 0 < . (6.6)
2

sen
Demonstrao suficiente mostrar que no intervalo (0, /2] a funo

decrescente, ou equivalentemente sua derivada no positiva. Contudo, a
derivada desta funo
( )
d sen cos sen
= .
d 2
Como o denominador desta ltima expresso sempre positiva, basta mostrar
que o numerador negativo, e como este numerador se anula em = 0, basta
verificar que este numerador tem derivada no positiva em (0, /2).Temos en-
to,
d
( cos sen ) = cos sen cos = sen < 0, (0, /2],
d
donde o resultado.
Observao: O mtodo usado para calcular integrais do tipo II funciona tam-
bm para integrais da forma

P (x) i x P (x) P (x)
e dx = cos xd x + i sen xd x, (6.7)
Q(x) Q(x) Q(x)

com P e Q polinmios, grau(Q) grau(P ) + 2 e Q sem zeros reais, uma vez


que e i z = e y que limitada no semi plano superior. Ento nestas condies
P (z) i z
tem-se que integrando e ao longo de R da Figura 6.2, para R suficien-
Q(z)
temente grande, aplicando o teorema dos resduos obtemos,

P (x) i x P (z) i z P (z) i z
e d x = lim e d z = 2i Res e .
Q(x) R Q(z) Imz>0
z Q(z)
R

Nesta ltima igualdade, separando partes real e imaginria obtemos as inte-


grais

P (x) P (x)
cos xd x e sen xd x. (6.8)
Q(x) Q(x)

6.2.3 Integrais do tipo III



P (x) i x
e d x, com P , Q polinmios reais, Q sem zeros sobre o eixo real e
Q(x)

grau(Q) grau(P ) + 1.

122
6.2. Clculo de integrais reais usando o Teorema dos Resduos

As duas integrais reais resultantes so convergentes, mas no so absoluta-


mente convergentes em geral, de modo que a convergncia das mesmas um
pouco mais trabalhoso de se mostrar. Assumamos por enquanto que as inte-
grais reais resultantes convergem. Se insistirmos no contorno da Figura 6.2,
deveremos mostrar que


P (x) i x P (z) i z P (z) i z
e d x = lim e d z = 2i Res e , (6.9)
Q(x) R Q(z) Imz>0
z Q(z)
R

o que equivale a mostrar que



P (z) i z
lim e d z = 0,
R Q(z)
R

sendo R o semi crculo da Figura 6.2. agora que precisamos da desigualdade


de Jordan.
Se z = Re i , temos que:


P (z) i z P (Re i ) i Re i P (Re i ) R sen
e
Q(z) e d z Q(Re i ) e Rd = i)
Rd .
Q(Re
R 0 0

Pela condio sobre os graus dos polinmios P e Q, temos que se R suficien-


temente grande existe C > 0 tal que,

P (Re i ) C

Q(Re i ) R .

Assim, para R 0 temos que,



/2
P (z) i z C
R sen R sen
e R sen d .
Q(z) e d z R e Rd = C e d = 2C

R 0 0 0

Usando a desigualdade de Jordan, temos que R sen R 2 , 0 < 2 , e


portanto,

/2
P (z) i z C
2R
e d =
R
(1 e R ) 0.
Q(z) e d z 2C (6.10)
2R
R 0

Isto mostra que ainda temos o mesmo resultado com estas hipteses mais
brandas. No entanto o mtodo no garante a convergncia das integrais, mas
se as integrais so convergentes o clculo est correto.
Discutamos ento um mtodo alternativo para calcular estas integrais e
que de quebra mostra a convergncia das mesmas.

123
6. T EORIA DOS RESDUOS E APLICAES

Repetindo em parte o enunciado das afirmaes anteriores:


Se P e Q so polinmios reais tais que Q no tem zeros reais e que grau(Q)
grau(P ) + 1, ento


P (x) i x P (z) i z
e d x = 2i Res e . (6.11)
Q(x) Imz>0
z Q(z)

Para mostrar esta afirmao deveremos optar por um outro tipo de contorno,
de maneiras a ter condies de tomar limites para e independentes.
Para tanto escolheremos o bordo do retngulo com vrtices nos pontos X 2 ,
X 2 + i Y , X 1 + i Y e X 1 , com X 1 , X 2 , Y > 0 da prxima figura. Como as sin-
gularidades da funo integrando so os zeros de Q e Q um polinmio, te-
mos apenas um conjunto finito de singularidades e portanto se X 1 , X 2 , Y so
suficientemente grandes todos os zeros de Q esto dentro deste retngulo.
= 1 + 2 + 3 + 4 temos que

P (z) i z P (z) i z P (z) i z P (z) i z P (z) i z
e dz = e dz + e dz + e dz + e dz
Q(z) Q(z) Q(z) Q(z) Q(z)
1 2 3 4
P (z) i z
=2i Res e .
z Q(z)
Imz>0
(6.12)

Agora estimaremos cada uma das parcelas no segundo membro de (6.12).

y
3 iY

4 2

X 1 1 X2 x

Figura 6.4: Um contorno no simtrico

(a) Devido grau(Q) grau(P ) 1, se X 2 suficientemente grande, existe


P (X 2 + i y)
constante positiva C 2 tal que C 2 . Portanto se X 2 0 te-
Q(X 2 + i y) X 2 + i y

124
6.2. Clculo de integrais reais usando o Teorema dos Resduos

mos que, parametrizando 2 por z(t ) = X 2 + i y, 0 x Y , donde


Y Y

P (z) i z P (X 2 + i y) i (X +i y) P (X 2 + i y) y
e d y
Q(z) e d z = Q(X + i y) e i d y
2
+
2 Q(X 2 i y)
2 0 0
Y Y
C2 y C 2 y C2
e dy e dy .
X 2 + i y X2 X2
0 0

(b) Um clculo muito semelhante a este ltimo que fizemos nos d que


P (z) i z C 1

Q(z) e d z X ,
1
4

se X 1 suficientemente grande.
(c) Ao longo de 3 temos:

X 2 X 2
P (z) i z P (x + i Y ) i (x+i Y ) C3
e Y d x
Q(z) e d z Q(x + i Y ) e dx
|x + |
i Y
3 X 1 X 1
X 2
C 3 Y e Y
e d x C 3 (X 1 + X 2 ) .
Y Y
X 1

Nas desigualdades em (a), (b) e (c) acima podemos substituir qualquer uma
das trs constantes pela maior das trs que chamaremos de C .
Usando a equao (6.12) e as estimativas de (a), (b) e (c), temos que


P (z) i z P (z)
e
i z
Q(z) e d z Res
Imz>0
z Q(z)
1


P (z) i z P (z) i z P (z) i z

= e dz e dz e d z
Q(z) Q(z) Q(z)
2 3 4


P (z) i z P (z) i z P (z) i z
e d z + e d z e d z
Q(z) Q(z) Q(z)
2 3 4
Y
C2 C1 e
+ +C 3 (X 1 + X 2 )
X2 X1 Y
1 1 e Y
C( + ) +C 3 (X 1 + X 2 ) .
X1 X2 Y
Temos ento que

X
2
P (x) i x P (z) i z 1 1 e Y
e d x Res e C ( + ) +C (X + X ) .
3 1 2
Q(x) Imz>0
z Q(z) X1 X2 Y
X 1

125
6. T EORIA DOS RESDUOS E APLICAES

e Y
Como lim = 0, para X 1 e X 2 mantidos fixos e suficientemente grandes,
Y Y
tomando o limite quando Y tende ao temos que
X
2
P (x) i x P (z) i z 1 1
e dx Res e C( + ).

Q(x) Imz>0
z Q(z) X1 X2
X 1

Finalmente fazendo X 1 e X 2 independentemente um do outro te-


mos
X 2
P (x) i x P (z) i z
lim e dx = Res e .
X 1 ,X 2 Q(x) Imz>0
z Q(z)
X 1

Isto significa que a integral converge e o seu valor dado pela igualdade acima,
como queramos.
Exemplo 6.2.1


x 3 sen x
Verificar I = d x = . Observando que a funo integrando
(x + 1)
2 2 2e

uma funo racional sem polos no eixo real e que o grau do numerador
uma unidade a menos que o grau do denominador, podemos usar o
mtodo que acabamos de ver. Temos ento que


x 3e i x z 3e i z
d x = 2i Res ,
(x 2 + 1)2 z=i (z 2 + 1)2

j que z = i a nica singularidade da funo integrando no semi plano


superior. Temos que z = i um polo duplo, portanto,
[ 3 iz ]
z 3e i z d 2 z e
Res 2 = lim (z i ) 2
z=i (z + 1)2 zi d z (z + 1)2
(z + i )2 [3z 2 e i z + i z 3 e i z ] 2(z + i )z 3 e i z e 1
= lim = .
zi (z + i )4 4

Ento,

x 3e i x e 1 i x 3 sen x
d x = 2i = = dx = .
(x 2 + 1)2 4 2e (x + 1)
2 2 2e

6.2.4 Integrais do tipo IV



P (x) i x
e d x, P, Q polinmios reais, grau(P ) + 1 grau(Q), Q tendo zeros re-
Q(x)

ais simples coincidindo com zeros do seno ou cosseno.

126
6.2. Clculo de integrais reais usando o Teorema dos Resduos

Na discusso do ltimo tipo de integral evitamos o surgimento de polos


P (z)
sobre o eixo real uma vez que a integral sobre a reta de e i x no faria sen-
Q(z)
P (z)
tido. No entanto, se a funo racional tiver polos simples que coincidem
Q(z)
com os zeros do seno ou do cosseno, uma das integrais em (6.8) existe de fato.
Vejamos como podemos calcular a integral neste caso. Antes, precisamos do
seguinte
Lema 6.2.1
Seja f holomorfa em D (a; r ) com um polo simples em a e resduo b .
Ento, se = a + r e i , [1 , 2 ], tem-se que

lim f (z)d z = i b(2 1 ).
0

Demonstrao Sendo a um polo simples de f com resduo b temos que


b
f (z) = + H (z), H sendo a derivada de uma funo holomorfa h bem uma
z a
vizinhana de a. Integrando sobre temos:

dz
f (z)d z = b + H (z)d z = i b(2 1 ) + h(e i 2 ) h(e i 1 ).
z a

Fazendo agora 0, e observando que h holomorfa, temos que


lim(h(e i 2 ) h(e i 1 )) = h(0) h(0) = 0, donde o resultado.
0
Consideremos ento uma integral imprpria da forma 6.2.4.
Neste caso uma das integrais reais derivadas desta integral convergente e
a outra s existe como valor principal de Cauchy. Como o argumento em geral
muito semelhante, trataremos a situao em que Q tem um zero simples em
z = 0. Para tanto usaremos o contorno da prxima figura. Como no caso an-
P (z) i z
terior, usaremos a mesma funo integrando, e , ao longo do contorno
Q(z)
da figura 6.5. Como antes as integrais ao longo das laterais, bem como sobre
o lado superior tendem para 0 quando Y , X 1 e X 2 tendem ao , logo, pelo
teorema dos resduos,
( )
P (x) i x P (z) i z P (x) i x P (z) i z
e dx + e dz + e d x = 2i Res e +B ,.
Q(x) Q(z) Q(x) Imz>0
z Q(z)

P (z) i z
onde B = Res Q(z) e . Fazendo 0 nesta ltima igualdade e usando o lema
z=0
6.2.4 obtemos,
( )

P (x) P (x) P (z)
lim i x
e dx + e d x + i B = 2i
i x
Res i z
e +B .
Q(x) Q(x) z Q(z)
Imz>0

127
6. T EORIA DOS RESDUOS E APLICAES

Finalmente,
( )

P (x) P (x) P (z) B
lim i x
e dx + e d x = 2i
i x
Res i
e +z
.
Q(x) Q(x) z Q(z) 2
Imz>0

y
4 iY

5 3


X 1 1 2 X2 x

Figura 6.5: Um polo no eixo real

O limite acima chamado de valor principal de Cauchy; nestas circunstn-


cias ele existe, mesmo que a integral no faa sentido. Por enquanto denotare-

1
mos o valor principal de Cauchy como VPC . Por exemplo a integral dx
x


1
divergente, mas VPC d x = 0.
x

Exemplo 6.2.2


ei z
VPC d z = i . Aps separar as partes real e imaginria obtemos
z

que

sen x
d x = .
x

6.2.5 Integrais do tipo V



P (x)
I= x d x, 0 < < 1, P e Q polinmios reais, Q sem zeros reais no ne-
Q(x)
0
gativos e grau(P ) + 2 grau(Q). Neste tipo de integral imprpria em que apa-
recem potncias com expoentes no inteiros no integrando procuramos tirar

128
6.2. Clculo de integrais reais usando o Teorema dos Resduos

proveito de um ramo holomorfo de z ; o mtodo pode ser modificado para


calcular integrais de outros tipos.
A razo para que (0, 1), que se for maior que 1 escreve=se x =
x x , onde designa o maior inteiro menor ou igual a , e incorpora
x a funo racional.
P (z)
Calcula-se a integral de z sobre o contorno da figura abaixo orien-
Q(z)
tado positivamente, onde o "buraco de fechadura"apenas indica que o plano
foi cortado ao longo do eixo positivo dos x. Lembrar que ao longo do corte, o
argumento do ponto depende de estarmos percorrendo a fronteira acima ou
abaixo do eixo x.

iR

(R)

() i
1
x
2

Figura 6.6: Contorno para calcular as integrais do tipo V.

Pelas condies sobre os graus dos polinmios, a integral sobre o crculo de


maior raio, R tende a zero quando R e o mesmo acontece sobre o crculo
de raio menor , pois o numerador tende a zero quando z 0. Temos que o
caminho de integrao

= (R) + 2 + () + 1 .

Quando R suficientemente grande e suficientemente pequeno todas as

129
6. T EORIA DOS RESDUOS E APLICAES

singularidades da funo integrando esto dentro de , donde,



P (z) P (z) P (z) P (z) P (z)
z dz = z dz + z dz + z dz + z dz
Q(z) Q(z) Q(z) Q(z) Q(z)
(R) () 1 2
P (z)
=2i Res z .
z z Q(z)

As integrais sobre as partes circulares do contorno tendem a 0.


A soma das integrais sobre os segmentos de reta do o valor

R
2i P (x)
(1 e ) x d x = (1 e 2i )I .
Q(x)

Temos ento que


P (z)
(1 e 2i )I = 2i Res z . (6.13)
z z Q(z)

Exemplo 6.2.1

p
x
Calculemos a integral I = d x. Neste caso = 1/2. Aplicando o
x2 + 1
0
que foi feito acima temos que
p p (p p ) p
i z z i i 2
(1 e )I = 2i (Res 2 + Res ) = 2i + I = .
z=i z + 1 z=i z 2 + 1 2i 2i 2

6.2.6 Integrais do tipo VI



P (x)
d x, P , Q polinmios reais tais que Q no tem zeros no eixo real posi-
Q(x)
0
tivo, e grau(Q) grau(P ) 2.
Podemos usar o contorno da Figura 6.6 para calcular integrais reais impr-
prias deste tipo. Para tanto precisamos fazer um pequeno truque como segue:
Primeiramente escolhemos o raio R suficientemente grande e o raio sufi-
P (z)
cientemente pequeno de modo que todos os polos da funo racional
Q(z)
estejam no interior do contorno; em seguida calculamos a integral

P (z)
log z,
Q(z)

onde usamos o ramo do log, log z = log |z| + i , 0 < < 2(Um corte ao longo
do semi eixo positivo dos x).

130
6.2. Clculo de integrais reais usando o Teorema dos Resduos

Pelo teorema dos resduos temos que



P (z) P (z)
lim log zd z = 2i Res ( log z), (6.14)
0 Q(z) z z Q(z)
R

e por outro lado temos que = (R) + 2 + () + 1 , donde



P (z) P (z) P (z)
lim log zd z = lim log zd z + lim log zd z
0 Q(z) R Q(z) 0 Q(z)
R (R) R
2

P (z) P (z)
+ lim log zd z + lim log zd z.
0 Q(z) 0 Q(z)
R
() 1

fcil de ver que as integrais sobre os trechos circulares tendem ambos a 0


quando 0 e R respectivamente, pois

2
P (z)
P (z)

Q(z)
log zd z
Q(z) log z |d z| C (log + 2)d
() |z|= 0
0
= 2C (log + 2) 0,
e

2
P (z)
P (z) K


log zd z
Q(z) log z |d z| R 2 (log R + 2)Rd
(R) Q(z) |z|=R 0
2K R
= (log R + 2) 0.
R
Temos ainda que

P (z) P (x)
lim log zd z = log xd x,
0 Q(z) Q(x)
R
1 0

e

P (z) P (x)
lim log zd z = (log x + 2i )d x,
0 Q(z) Q(x)
R
2 0

de maneiras que

P (x) P (x) P (z)
log xd x (log x + 2i )d x = 2i Res ( log z),
Q(x) Q(x) z z Q(z)
0 0

donde,

P (x) P (x)
d x = Res log z. (6.15)
Q(x) z z Q(x)
0

131
6. T EORIA DOS RESDUOS E APLICAES

Exemplo 6.2.1


dx
Calculemos o valor da integral . Usando a nossa recm obtida
1 + x3
0

dx log z
frmula temos que = Res . Precisamos agora deter-
1+x 3
z z 1+z
3
0
log z
minar as singularidades de e calcular os devidos resduos. As sin-
1 + z3
gularidades so os zeros do denominador, i.e., as razes cbicas de 1
i 5i
que so respectivamente z 1 = e 3 , z 2 = e i = 1, e z 3 = e 5 . Como cada
log z log z
z k polo simples, Res 1+z 3 = 3z 2k , e como z k3 = 1, k = 1, 2, 3, segue que
zk k

log z z k log z k
Res = .
zk 1+z 3 3
Portanto,

dx 1 3 1 [ i i 5i 5i
]
= z log z = e 3 log e 3 + e i log e i + e 5 log e 5 ,
j j
1 + x 3 3 j =1 3
0

e portanto,

[ ] p
dx 1 i i i 5i 5i 2 3
= e ( ) + e (i ) + e (
3 5 ) = .
1 + x3 3 3 3 9
0


P (x)
Observao: Podemos calcular integrais da forma d x de uma ma-
Q(x)
a
neira bem semelhante, calculando a integral

P (z)
log(z a) d z,
Q(z)

onde o circuito indicado na figura abaixo.

132
6.3. Outras aplicaes do Teorema dos Resduos Somas de sries

a x

Figura 6.7: Contorno para calcular outras integrais do tipo VI.

6.3 O UTRAS APLICAES DO T EOREMA DOS R ESDUOS S OMAS DE SRIES

6.3.1 Clculo de somas de sries numricas Caso I



Veremos como calcular a soma de sries da forma f (n), sendo f uma
n=
funo racional par e tal que o grau do denominador seja pelo menos duas
unidades a mais que o grau do numerador, de modo a garantir a convergncia.
Uma ideia razovel seria tentar encontrar uma funo g que tenha diga-
mos polos nos inteiros e tal que Res g (z) = f (n), n Z. Se tomarmos g (z) =
z=n
f (z)(z), deveremos ter que cada nmero inteiro um polo simples de , com
resduo 1. Uma tal funo dada por
cos z
(z) = cot z = ,
sen z
pois todos os inteiros so zeros simples de sen z que no tem nenhum outro
zero, e nenhum inteiro zero de cos z; alem disso,
cos z cos z
Res = = 1.
z=n sen z cos z
Agora para cada inteiro positivo N , seja N o quadrado cujos vrtices so os
pontos (N + 12 ) (N + 12 )i . Nenhum polo de cot z est sobre N , e se N

133
6. T EORIA DOS RESDUOS E APLICAES

suficientemente grande todos os polos de f esto no interior de N . Sejam


z 1 , z 2 , . . . , z m os polos de f .(A figura abaixo deve ajudar a entender a situao.)

i (N +1/2)

z1
N

z2

N N +1

z3
x
zm

i (N +1/2)

Figura 6.8: Contorno para o clculo de somas de sries

Temos portanto, pelo teorema dos resduos,





N m

f (z) cot zd z = 2i f (n) + Res ( f (z) cot z) . (6.16)
n=N
z=z k
k=1
N n=z k


A convergncia da srie fica garantida por que estamos supondo que f (z)
K / |z|2 , se |z| suficientemente grande.
Se mostrarmos que

lim f (z) cot zd z = 0, (6.17)
N
N

ento pela Equao(6.16) teremos que



f (n) = Res f (z) cot z (6.18)
n= z=z k
n=z k
k

134
6.3. Outras aplicaes do Teorema dos Resduos Somas de sries

Passemos ento a mostrar que (6.17) verdadeira. Para tanto, mostraremos


primeiro que
|cot z| < 2, z N . (6.19)
Como a funo cot z uma funo mpar basta que provemos (6.19) nas
aresta direita e superior.
Vejamos o que acontece na aresta da direita, z = N + 12 + i y, y N + 21 .
Neste caso temos:

cos z e i z +e i z e i z + e i z e 2i z + 1

= i z i z = i z =
2
|cot z| =
sen z e e e e i z e 2i z 1
2i
(6.20)
e 2i (N + 12 +i y) + 1 1 e 2y

= = < 1.
e 2i (N + 12 +i y) 1 1 + e 2y

Agora, na aresta superior z = x + i (N + 12 ), |x| N + 12 , temos:


2i z 2i (x+i (N + 1 ))
e 2i x e (2N +1) + 1
e + 1 e 2 +1

|cot z| = 2i z = =
e 1 e 2i (x+i (N + N2 )) 1 e 2i x e (2N +1) 1
(6.21)
(2N +1)
1+e
< 2.
1 e (2N +1)
A ltima desigualdade acima segue do fato que a funo

1 + e (2t +1)
h(t ) = , t > 1/2,
1 e (2t +1)
decrescente, pois sua derivada

4e (2t +1)
h (t ) = < 0, t > 1/2,
(1 e (2t +1) )2

e portanto, segue de (6.21) que (para N = 0),

1 + e e + 1 2 2 2
|cot z| <
= = 1+ < 1+ 3 = 1 + < 2.
1e e 1 e 1 2 1 7
Como o comprimento de N 8N + 4, temos que,



f (z) cot zd z (8N + 4)2 sup f (z) K sup z f (z) N 0,

zN zN
N

como queramos.

135
6. T EORIA DOS RESDUOS E APLICAES

Exemplo 6.3.1

1 4
Mostremos que 4
= .
n=1 n 90
Notemos primeiramente que

1 1 1
4
= .
n=1 n 2 n= n 4
n=0

Ento, por (6.18), ( )


1 1 cot z
4
= Res .
n=1 n 2 z=0 z4
A expanso de Laurent de cot z ,

1 z 1
cot z = z3 + . . . ,
z 3 45
portanto,
cot z 1 2 4
= +...,
z4 z 5 3z 3 45z
logo,
( )
cot z 4
Res = ,
z=0 z4 45
e
1 4
4
= .
n=1 n 90

6.3.2 Clculo de somas de sries Caso II



Lidaremos agora com sries da forma (1)n f (n), com f uma funo me-
n=
romorfa com um nmero finito de polos, por exemplo uma funo racional,
com comportamento no infinito igual ao caso anterior(zero de ordem pelo
menos 2 no infinito). Usaremos o mesmo contorno N da Figura 6.8. Preci-
samos agora de uma funo meromorfa no plano tal que todos os nmeros
inteiros sejam polos de ordem 1 e tais que

Res (z) = (1)n .


z=n

J conhecemos uma funo com esta propriedade: csc z = . Calcu-
sen z
lando o resduo desta funo em z = n Z obtemos:
1
Res = = = (1)n .
z=n sen z cos n cos n
Da mesma forma, Res f (z) csc z = (1)n f (n), desde que n no seja tambm
z=n
singularidade de f .

136
6.3. Outras aplicaes do Teorema dos Resduos Somas de sries

Devido a desigualdade (6.19) e a identidade trigonomtrica

csc2 z = 1 + cot z,
p
segue que csc z limitada sobre N : |csc z| 1 + |cot z|2 5 sobre N ,
de modo que podemos concluir como no caso anterior que

lim f (z) csc zd z = 0,
N
N

e portanto, pelo Teorema dos Resduos teremos:



m
(1)n f (n) = Res f (z) csc z),
n= z=z k
n=z k
k=1

tendo em mente que os z k so os polos de f


Exemplo 6.3.1

(1)n+1
Calculemos a soma da srie .
n=1 n2
Temos que :

(1)n+1 (1)n 1 csc z


2
= 2
= Res .
n=1 n n=1 n 2 z=0 z2

Calculando a srie de Laurent de csc z em z = 0 temos,


1 1 7 4
csc z = + z+ z + ,
z 3! 360
portanto,
csc z 1 2 1 74
= + + z + .
z2 z 3 3! z 360
csc z 2
Assim, Res = e portanto,
z=0 z2 6
(1)n+1 2
= .
n=1 n2 12

6.3.3 Somas envolvendo coeficientes binomiais.


A simples observao que
( )
n
= coeficiente de z k na expanso de (1 + z)n ,
k

137
6. T EORIA DOS RESDUOS E APLICAES

nos permite concluir que


( )
n (1 + z)n 1 (1 + z)n
= Res k+1 = d z, (6.22)
k z=0 z 2i z k+1

onde qualquer curva fechada simples que contenha a origem no seu inte-
rior. Uma consequncia imediata da Equao (6.22) que
( )
2n
4n . (6.23)
n
Para chegar a esta desigualdade basta considerar que o crculo unitrio e
teremos,
( )


2n 1 (1 + z) 2n 1 (1 + z)2n
= d z |d z|
n 2i z n+1
2 |z|n+1
|z|=1

1 (1 + |z|) 2n
1 2n
|d z| = 2 .2 = 4n .
2 |z| n+1 2
|z|=1
( )
2n
Pela Equao (6.23), se |a| < 1/4, a srie a n converge pois em valor
n=0 n
absoluto cada termo dela menor que 4(|a|)n e como 4 |a| ( <) 1, a srie geom-
2n
trica 4(|a|)n converge, donde a convergncia de a n . Pode-se usar
n=0 n=0 n
a frmula para calcular o raio de convergncia desta srie de potncias(o cri-
trio da razo) com o mesmo resultado. Vejamos agora como calcular a soma
desta srie para qualquer valor a, |a| < 1/4. Temos:
( )

2n 1 (1 + z)2n a n d z 1 ( (1 + z)2 a )n d z
n
a = = . (6.24)
n=0 n 2i n=0 zn z 2i n=0 z z

Queremos trocar a ordem da soma e integral na equao acima. Isto vlido


[ (1 + z)2 a ]n
se a srie convergir uniformemente sobre . Escolhendo o
n=0 z
crculo unitrio |z| = 1, temos que sobre ele,

(1 + z)2 a (1 + |z|)2 |a|
= 4 |a| < 1,
z |z|
donde a convergncia uniforme da srie.
Temos ento
( ) [

2n 1 ( (1 + z)2 a )n ] d z 1

dz
n
a = =
n=0 n 2i n=0 z z 2i z (1 + z)2 a
|z|=1 |z|=1

1 dz
= .
2i az (2a 1)z a
2
|z|=1

138
6.3. Outras aplicaes do Teorema dos Resduos Somas de sries

Um pouco de lgebra elementar nos garante que o denominador no inte-


grando acima tem duas razes, uma no interior do crculo unitrio e outra fora
do mesmo se |a| < 1/4, exceto se a = 0, caso em que calculamos a soma da
srie sem nenhum problema. Consequentemente, pelo Teorema dos resduos,
temos: ( ) ( )
2n
n
1
a = Res . (6.25)
n=0 n |z|<1
z az 2 + (2a 1)z + a

Exemplo 6.3.1
( )
2n 1
Calculemos explicitamente, . Neste caso, basta substituir a
n 5n
por 1/5 na Equao 6.25; obteremos ento:
( ) ( )
2n 1 1 p
= 5 Res
p = 5.
n 5n 3 5 z 3z + 1
2
z=
2

139
CAPTULO
F UNES H ARMNICAS
7
O objetivo deste captulo mostrar a estreita relao entre as funes holo-
morfas de uma varivel complexa e as funes harmnicas de duas variveis
reais, que tem uso frequente em algumas reas de matemtica aplicada; em
particular, usaremos o que j foi feito em relao as funes holomorfas para
dar demonstraes mais simples de propriedades das funes harmnicas.

7.1 A LGUMAS CONSIDERAES INICIAIS FUNO HARMNICA CONJUGADA

Seja G R2 um subconjunto aberto de R2 , e seja u = u(x, y) : G R uma


funo duas vezes continuamente diferencivel(i.e, u C 2 (G)). Dizemos que
u harmnica em G, se em G u satisfaz a equao de Laplace

2 u 2 u
u = 2 u = + = 0. (7.1)
x 2 y 2

Exemplo 7.1.1: Exemplos de funes harmnicas

i) u(x, y) = ax + b y + c, a, b, c R;
ii) u(x, y) = x 2 y 2 ;
iii) u(x, y) = e x cos y ;

Devido a natureza linear do operador , qualquer combinao linear finita


de funes harmnicas tambm harmnica. Outros exemplos de funes
harmnicas em regies do plano no triviais nos so dados pelo seguinte

141
7. F UNES H ARMNICAS

Teorema 7.1.2
Sejam G um aberto de C e f = u + i v : G C uma funo holomorfa.
Ento u e v so funes harmnicas.

Demonstrao Se f = u + i v holomorfa, sabemos que u e v possuem deri-


vadas de todas as ordens e satisfazem as equaes de Cauchy-Riemann

u v u v
= ,e = .
x y y x

e portanto, lembrando que nestas condies as derivadas mistas de segunda


ordem so iguais, teremos que:

2 u 2 u 2 v 2 v
u = + = = 0.
x 2 y 2 xy yx

De modo inteiramente anlogo temos que

2 v 2 v
v = 2 + 2 = 0.
x y

Deste modo conclumos que as partes real e imaginria de uma funo holo-
morfa definida em um aberto de C so funes harmnicas.
Definio 7.1.3: Funo harmnica conjugada

Dada uma funo harmnica u em um aberto G de C dizemos que


v : G R uma harmnica conjugada de u , se a funo f = u + i v
holomorfa em G.

Exemplo 7.1.4: Exemplo de funes harmnicas conjugadas

Considere em C as funes u(x, y) = e x cos y e v(x, y) = e x sen y ; temos


que e z = e x+i y = u(x, y) + i v(x, y), portanto, v uma harmnica conju-
gada de u em C, pois sabemos que e z uma funo inteira.

Naturalmente, se v uma harmnica conjugada da funo harmnica


u em G, ento, u uma funo harmnica conjugada de v, uma vez que
i f = v + i u tambm holomorfa em G, se f o . claro que duas fun-
es harmnicas conjugadas de uma mesma funo harmnica dada em um
mesmo aberto diferem por uma constante.
No possvel em geral, encontrar uma funo harmnica conjugada de
uma funo harmnica dada u em um domnio G, como mostra o exemplo a
seguir:

142
7.1. Algumas consideraes iniciais funo harmnica conjugada

Exemplo 7.1.5: Uma funo harmnica que no admite uma conju-


gada harmnica

Sejam G = C \ {0} e u : G R definida por u(x, y) = ln x 2 + y 2 . Esta
funo harmnica, pois em qualquer disco aberto D(a; r ) G, exis-
tem ramos holomorfos de log z , e Re(log z) = u(x, y); podemos tambm
verificar diretamente que u satisfaz a equao de Laplace em G. Mas
se supomos que existe harmnica conjugada de u em G, ento teremos
que u(x, y) a parte real de uma funo holomorfa em G, ou seja log z
holomorfa em G, o que sabemos no ser verdade.

O exemplo acima mostra que a recproca do Teorema 7.1 no verdadeira.


Entretanto, podemos ter uma recproca parcial como segue.
Teorema 7.1.6
Seja u uma funo harmnica em um aberto G de C. Ento:
u
i) a parte real de uma funo holomorfa em G.
x
ii) Se G simplesmente conexo, u a parte real de uma funo holo-
morfa em G.

Demonstrao (i) Se u harmnica no aberto G, ento a funo f : G C


definida por
u u
f (z) = i (7.2)
x y
holomorfa em G, pois se u 1 = u u
x e v 1 = y , temos que estas funes tem
derivadas parciais de primeira ordem contnuas e satisfazem as equaes de
Cauchy-Riemann

u 1 2 u 2 u v 1
= 2 = 2 =
x x y y
u 1 2 u v 1
= = ,
y xy x
u
e portanto, a parte real de uma funo holomorfa em G.
x
Esta a maneira mais natural de obter funes holomorfas a partir de fun-
es harmnicas em abertos quaisquer de C.
(ii) Se G simplesmente conexo, ento pelo Corolrio 5.2.1 a funo ho-
lomorfa f em (7.2) a derivada de uma funo holomorfa F = U + iV em G.
Portanto,
U V U U u u
F (z) = +i = i = i ,
x x x y x y
de maneiras que

U (x, y) = u(x, y) +C , C constante arbitrria.

143
7. F UNES H ARMNICAS

Assim, u(x, y) a parte real da funo F (z) C , holomorfa em G.


Exemplo 7.1.7: Uma forma de usar o teorema acima

A funo u(x, y) = x + e x cos y harmnica em C que simplesmente


conexo, logo, u a parte real de F (z), uma funo inteira, portanto ,
f (z) = F (z) = u x (x, y)i u y (x, y) = 1+e x cos y +i e x sen y = 1+e z , logo,
podemos escrever(a menos de uma constante imaginria pura que,

z
F (z) = f ()d = z + e z ,
0

donde
u(x, y) = Re(z + e z ).

Uma importante consequncia do Teorema 7.1 :


Corolrio 7.1.8
Se u harmnica em G, ento u uma funo C em G, ou seja possui
derivadas de todas as ordens em G.

u u
Demonstrao Inicialmente temos que f (z) = i uma funo holo-
x y
morfa em G, portanto possui derivadas de todas as ordens no sentido com-
plexo, ou seja, f ( j ) (z) holomorfa em G para todo j Z; pelas equaes de
Cauchy-Riemann (2.1), temos que

j j
f ( j ) (z) = f (z) = (i ) j f (z),
x j y j

o que mostra que u possui derivadas de todas as ordens.

7.2 A EQUAO DE L APLACE EM COORDENADAS POLARES

Se em R2 \ {(0, 0)} usamos coordenadas polares (r, ), um exerccio de uso da


regra da cadeia nos d que nestas coordenadas a equao (7.1) se escreve na
forma, ( )
u 2 u
u = r r + 2 = 0. (7.3)
r r
Claramente, a partir da equao acima(ou do fato que ln r a parte real de
log z quando esta ltima est bem definida) temos que u = ln r uma funo
harmnica; alm disso, se u uma funo harmnica que no depende da
varivel , ou seja que depende apenas de r , ento u deve ser da forma a ln r +
b, com a e b constantes reais. Como o argumento a parte imaginria de
log z, quando definido de maneira nica, ou da equao acima, segue que
tambm harmnica.

144
7.3. A diferencial conjugada d u

7.3 A DIFERENCIAL CONJUGADA d u

Sabemos a partir da demonstrao do teorema (7.1) que se u harmnica em


um aberto G, ento a funo f : G C definida por

u u
f (z) = i
x y

holomorfa em G, de modo que, passando para a diferencial exata f d z, e se-


parando as partes real e imaginria desta obtemos
( ) ( )
u u u u
f dz = dx + dy +i dx + dy . (7.4)
x y y x

Na expresso acima identificamos sua parte real com a diferencial de u,

u u
du = dx + d y.
x y

No caso em que u possui uma funo harmnica conjugada v, podemos rees-


crever a parte imaginria de (7.4) como,

u u v v
dx + dy = dx + d y = d v,
y x x y

ou seja a diferencial da funo harmnica conjugada de u. No em geral


verdade que existe uma funo harmnica conjugada v de u, se G um aberto
qualquer de C, de maneiras que nestas condies seria bastante confuso usar
a notao d v para esta diferencial; o mais indicado e usado escrever,

u u
du = dx + d y, (7.5)
y x

e chamar d u a diferencial conjugada de d u. Claramente a partir de (7.4)


temos que
f d z = d u + i d u (7.6)

145