Clculo Diferencial e Integral III

Series de Laurent e Resduos

Jorge Buescu
Outubro de 2009
1 A serie de Laurent
Sabemos que, se f(z) e analtica num ponto z
0
C, possui derivadas de todas as ordens em z
0
e, alem disso, a sua representa cao em serie de Taylor centrada em z
0
e convergente num certo
disco de raio R. Isto e, sao v alidas as express oes
f(z) =
+

n=0
f
(n)
(z
0
)
n!
(z z
0
)
n
, 0 |z z
0
| < R (serie de Taylor) (1)
com
f
(n)
(z
0
) =
n!
2i
_

f(z)
(z z
0
)
n+1
, (f ormulas integrais de Cauchy) (2)
onde e uma curva de Jordan rectic avel contendo z
0
e no interior do qual f e analtica.
No entanto, se f nao e analtica em z
0
, ela n ao admite um desenvolvimento em serie de
Taylor em torno de z
0
.

E contudo possvel, sob certas condic oes, obter um desenvolvimento de
f em torno de z
0
em serie de potencias de (z z
0
) a serie de Laurent para f centrada em
z
0
. Enquanto que a serie de Taylor incorpora apenas potencias positivas de (z z
0
), a serie de
Laurent incorpora potencias positivas e negativas. Esta serie tem origem no
Teorema 1.1 (Laurent) Suponhamos que f e analtica no anel A = {z : R
1
< |z z
0
| < R
2
},
e seja uma curva de Jordan recticavel nesse domnio. Entao, em todos os pontos z A,
tem-se
f(z) =
+

n=0
a
n
(z z
0
)
n
+
+

n=1
b
n
(z z
0
)
n
, R
1
< |z z
0
| < R
2
, (serie de Laurent) (3)
onde
a
n
=
1
2i
_

f(z)
(z z
0
)
n+1
, b
n
=
1
2i
_

f(z)
(z z
0
)
n+1
(n IN). (4)
Para a demonstrac ao podem ver-se, por exemplo, os livros de Churchill e Brown [2] ou de
Ahlfors [1].
O desenvolvimento (3) em serie de Laurent escreve-se por vezes sob a forma
f(z) =
+

n=
c
n
(z z
0
)
n
, R
1
< |z z
0
| < R
2
(5)
1
onde
c
n
=
1
2i
_

f(z)
(z z
0
)
n+1
, (6)
que tem a vantagem de ser uma expressao mais compacta. A expressao (3) tem, porem, a
vantagem de separar claramente a parte regular de uma func ao, correspondente ` a serie de
Taylor e que surge sempre, quer a fun cao seja ou n ao analtica em z
0
, da sua parte singular,
representada pela serie de potencias negativas, que surge apenas quando z
0
e uma singularidade
de f.
Observacao 1.2 Note-se que, se f e analtica em todo o disco D = {z : 0 |z z
0
| < R},
todos os coecientes b
n
dados pela express ao (4) sao nulos, pois nesse caso a func ao integranda
correspondente, f(z) (z z
0
)
n1
, e analtica em D. Na verdade, comparando a serie de Taylor
(1) e as formulas integrais de Cauchy (2) com a serie de Laurent (3) e respectivos coecientes
(4), vemos que a serie de Laurent para uma funcao analtica em z
0
coincide com a sua serie
de Taylor; isto e, a parte singular de uma func ao analtica e nula. Assim, a serie de Laurent
pode ser encarada como uma generaliza cao da serie de Taylor para func oes n ao-analticas,
devendo-se a parte singular especicamente ` a natureza n ao-analtica de f em z
0
.
Observacao 1.3 Se, no disco |z z
0
| < R
2
, a unica singularidade de f e z
0
, isso signica
que, em (3) ou (5), podemos tomar R
1
arbitrariamente pequeno. Assim, o desenvolvimento
em serie de Laurent e v alido na regiao A = {z : 0 < |z z
0
| < R
2
}. Analogamente, se f e
analtica em todos os pontos z tais que |z z
0
| > R
1
, a regi ao de validade do desenvolvimento
e A = {z : R
1
< |z z
0
| < }.
Observacao 1.4 Note-se que, nas condic oes do teorema de Laurent, se tem a not avel pro-
priedade
b
1
=
1
2i
_

f(z)dz.
De acordo com os comentarios acima, se f e analtica todos os b
n
s ao nulos; em particular
b
1
= 0 =
_

f(z)dz, o que e simplesmente o Teorema de Cauchy. No entanto, se z

0
e uma
singularidade (isolada) de f, a express ao acima implicar a que b
1
e exactamente o resduo de f
em z
0
, como veremos em pormenor no 2.
Problemas Resolvidos
Problema 1 Construa o desenvolvimento em serie de Laurent da funcao f(z) = e
z
/z
2
em
torno da origem, indicando a regiao do plano complexo onde e valida.
Resolucao. O desenvolvimento em serie de Laurent da func ao exponencial em torno da origem
e
e
z
=
+

n=0
z
n
n!
= 1 + z +
z
2
2!
+
z
3
3!
+ . . . ,
sendo esta serie convergente para todo o z C. Assim, por divis ao simples,
f(z) =
e
z
z
2
=
1
z
2
+
1
z
+
1
2!
+
z
3!
+ . . . .
A func ao f(z) e analtica em todo o plano complexo ` a excepc ao de z = 0, onde tem um
p olo de ordem 2. Assim, de acordo com a observa cao 1.3, este desenvolvimento e v alido para
0 < |z| < +. 2
2
Problema 2 Mostre que
z
3
cosh
_
1
z
_
= z
3
+
z
2
+
+

n=1
1
(2n + 2)!
1
z
2n1
, 0 < |z| < .
Resolucao. Recordemos, a partir da denic ao de cosh w da serie para e
w
, que
cosh w = 1/2(e
w
+ e
w
)
=
1
2
_

k=0
w
k
k!
+

k=0
(1)
k
w
k
k!
_
=
1
2

k=0
1 + (1)
k
k!
w
k
=

n=0
w
2n
(2n)!
,
express ao v alida para todo o w C (as opera coes com as series justicam-se da forma usual, em
virtude da convergencia absoluta de todas as series envolvidas). Em particular, considerando
o complexo w = 1/z (para z = 0), obtemos
cosh
_
1
z
_
=

n=1
1
(2n)!
z
2n
= 1 +
1
2!
z
2
+
1
4!
z
4
+ . . . ,
desenvolvimento cuja regi ao de validade e, de acordo com a observac ao 1.3, 0 < |z| < .
Desta forma, a serie de Laurent para a funcao f(z) = z
3
cosh(1/z) em torno de z = 0 ser a
z
3
cosh
_
1
z
_
= z
3
+
z
2!
+
1
4!
z
1
+ . . .
= z
3
+
z
2
+
+

n=1
1
(2n + 2)!
1
z
2n1
, 0 < |z| < .
2
Problema 3 Realize, para a funcao f(z) =
1
z
2
(z 1)
, dois desenvolvimentos de Laurent em
potencias de z, especicando as regioes do plano complexo em que cada um deles e valido.
Resolucao. A func ao f(z) tem duas singularidades um p olo simples em z = 1 e um polo
duplo em z = 0. O Teorema de Laurent arma a existencia de um desenvolvimento em serie
de Laurent em torno de z = 0 que representa a fun cao no anel 0 < |z| < 1. Este e o maior anel
centrado em 0 no qual essa serie pode representar f, uma vez que f tem uma singularidade em
z = 1. No entanto, podemos aplicar de novo o Teorema de Laurent ao anel |z| > 1, obtendo
uma (nova) serie que representa a func ao nessa regiao (note-se que, pelo que acabou de se
armar, nao pode existir uma unica serie que represente f na regiao |z| > 0!).
A func ao f e o produto de dois factores, um dos quais e j a uma potencia de z. O objectivo
ser a conseguido se exprimirmos o segundo factor, 1/(1 z), em potencias de z. Utiliza-se para
isso o desenvolvimento da serie geometrica

n=0
w
n
=
1
1 w
, valido para |w| < 1.
3
1. Para 0 < |z| < 1, utiliza-se directamente a serie geometrica para concluir que
f(z) =
1
z
2
_
1
1 z
_
=
1
z
2
(1 + z + z
2
+ . . .)
=
1
z
2
+
1
z
+

n=0
z
n
,
sendo esta a express ao desejada.
2. Para |z| > 1 n ao podemos realizar directamente o desenvolvimento de 1/(1 z) em serie
de potencias de z, pois estamos fora do domnio de convergencia da serie geometrica.
Observe-se contudo que, se |z| > 1, entao |1/z| < 1 o que sugere tentar desenvolver
este factor numa serie geometrica em 1/z. Ora, com efeito,
1
1 z
=
1
z
_
1
1 1/z
_
=
1
z

n=0
_
1
z
_
n
,
pelo que que obtemos como desenvolvimento para f na regiao |z| > 1
f(z) =
1
z
2
(z 1)
=

n=3
z
n
.
2
Problema 4 Dado a IR, 1 < a < 1, escreva a serie de Laurent da funcao f(z) =
1
za
na
regiao |a| < |z| < . Tomando z = e
i
, obtenha as formulas de soma

n=1
a
n
cos n =
a cos a
2
1 2a cos + a
2
,

n=1
a
n
sin n =
a sin
1 2a cos + a
2
.
Resolucao. De forma an aloga ao problema anterior, desenvolvemos a func ao f(z) = 1/(z a)
em serie de Laurent para z > a, obtendo
1
z a
=
1
z(1 a/z)
=
1
z

n=0
a
n
z
n
. (7)
na regiao indicada. Assim, tomando z = e
i
(observe-se que, como |a| < 1, o crculo de raio 1
est a dentro da regi ao onde o desenvolvimento e v alido), obtemos
e
i

n=0
a
n
e
in
=
1
e
i
a
pelo que
1 +

n=1
a
n
cos n i

n=1
a
n
sin n =
e
i
e
i
a
=
cos + i sin
(cos a) + i sin
=
1 a cos ia sin
1 2a cos + a
2
,
4
donde, igualando as partes reais e imagin aria,

n=1
a
n
cos n =
1a cos
12a cos +a
2
1 =
a cos a
2
12a cos +a
2
,

n=1
a
n
sin n =
a sin
12a cos +a
2
.
Conseguimos, desta forma, obter a soma de series reais de uma forma relativamente simples ` a
custa de variaveis complexas cujos vestgios desaparecem completamente no resultado nal.
Na verdade, estas identidades reais muito dicilmente se demonstrariam sem recurso a vari aveis
complexas mais uma instancia da armac ao de Hadamard segundo a qual o caminho mais
curto entre duas verdades no eixo real passa muitas vezes pelo plano complexo.
2 Serie de Laurent e calculo de resduos
Uma das formas possveis (a que recorremos nas aulas te oricas) de denir o resduo de uma
func ao num polo z
0
(isolado) de ordem n e atraves da express ao
(Res f)
z
0
=
1
(n 1)!
lim
zz
0
d
n1
dz
n1
[(z z
0
)
n
f(z)] . (8)
Vamos aqui vericar que o limite que se calcula em (8) e, efectivamente, um coeciente
da serie de Laurent de f em torno de z
0
. Este processo, para alem de esclarecer o que e
efectivamente o resduo de uma func ao num polo e de fornecer um processo alternativo, por
vezes mais comodo, de calculo de resduos, alarga o conceito de resduo de uma func ao ao caso
de singularidades essenciais o que permite, por exemplo, calcular pelo metodo dos resduos
integrais como
_

sin(1/z)dz (recorde-se que a express ao (8) se aplica, por denic ao , ao calculo

do resduo num p olo de ordem n).
Se z
0
e uma singularidade isolada de f, existe R > 0 tal que f e analtica em 0 < |zz
0
| < R.
No que se segue, designar a sempre uma curva de Jordan nas condic oes do Teorema dos
Resduos nessa regiao. Como vimos no 1, isso signica que, nessa regiao, f admite um
desenvolvimento em serie de Laurent,
f(z) =
+

n=0
a
n
(z z
0
)
n
+
b
1
z z
0
+
b
2
(z z
0
)
2
+ . . . +
b
n
(z z
0
)
n
+ . . . (9)
onde os coecientes a
n
, b
n
s ao dados pelas express oes integrais
a
n
=
1
2i
_

f(z)
(z z
0
)
n+1
, b
n
=
1
2i
_

f(z)
(z z
0
)
n+1
(n IN). (10)
Em particular, tal como se arma na Observa cao 1.4, b
1
=
1
2i
_

f(z)dz.
Comecemos por observar que a classicacao das singularidades isoladas de f em removveis,
p olos (e respectiva ordem) e essenciais tem uma traduc ao imediata sobre a serie de Laurent 9.
Com efeito, dada uma singularidade isolada z
0
, classicamos z
0
como
a) singularidade removvel se lim
zz
0
(z z
0
)f(z) = 0:
b) polo de ordem n se existe n IN tal que lim
zz
0
(z z
0
)
n
f(z) = 0, :
c) singularidade essencial em qualquer outro caso.
5
Ora, atendendo ao desenvolvimento (9) de f em serie de Laurent em torno de z
0
, conclumos
que:
a) z
0
e singularidade removvel lim
zz
0
(z z
0
)f(z) = 0
lim
zz
0
(z z
0
)
_
+

n=0
a
n
(z z
0
)
n
+
b
1
z z
0
+ . . . +
b
n
(z z
0
)
n
+ . . .
_
= 0
b
n
= 0 n IN;
ou seja,
z
0
e singularidade removvel a serie de Laurent de f em torno de z
0
n ao possui parte singular.
b) z
0
e p olo de ordem n lim
zz
0
(z z
0
)
n
f(z) = A = 0,
lim
zz
0
(z z
0
)
n
_
+

n=0
a
n
(z z
0
)
n
+
b
1
z z
0
+ . . . +
b
n
(z z
0
)
n
+ . . .
_
= A = 0, .
Todos os termos da serie de Laurent correspondentes a potencias positivas de (z z
0
),
bem como os termos
b
1
zz
0
, . . .
b
n1
(zz
0
)
n1
, contribuem com 0 para o limite. Os coecientes b
k
s ao forcosamente nulos para k > n caso contrario o limite seria innito. Finalmente,
o coeciente b
n
= 0, pois pelo que foi dito lim
zz
0
(z z
0
)
n
f(z) = b
n
= A = 0, .
Assim, conclumos que
z
0
e um polo de ordem n a serie de Laurent de f em torno de z
0
e dada por
f(z) =
+

k=0
a
k
(z z
0
)
k
+
b
1
z z
0
+
b
2
(z z
0
)
2
+ . . . +
b
n
(z z
0
)
n
, b
n
= 0.
Em particular, a ordem do polo e o maior inteiro k tal que b
k
= 0.
c) Se z
0
e singularidade essencial (isolada) de f, tem-se que
k IN lim
zz
0
(z z
0
)
n
f(z) +.
Por uma an alise semelhante `a anterior conclui-se que, na serie de Laurent para f em torno
de z
0
, tem de existir uma sucess ao n
j
com b
n
j
= 0. Isto e, ao contr ario dos casos
anteriores, em que a parte singular da serie de Laurent tinha um n umero nito de termos
n ao-nulos zero no caso de singularidades removveis, n no caso de p olos de ordem n
n ao existe uma ordem a partir da qual todos os b
n
sejam nulos. Assim, a parte singular da
serie de Laurent incorpora, no caso de uma singularidade essencial, um n umero innito
de termos n ao-nulos.
Podemos resumir estas observacoes no
6
Teorema 2.1 Seja z
0
singularidade isolada de f e

n=1
b
n
(z z
0
)
n
a parte singular da serie
de Laurent correspondente. Entao:
z
0
e singularidade removvel a parte singular e identicamente nula.
z
0
e polo de ordem n b
n
= 0 e b
k
= 0 para k > n.
z
0
e singularidade essencial k IN n > k : b
n
= 0
Recorde-se agora aquilo que ja se fez notar na observa cao 1.4: se z
0
e uma singularidade
isolada de f, cuja serie de Laurent em z
0
e f(z) =

+
n=0
a
n
(z z
0
)
n
+

+
n=1
b
n
(z z
0
)
n
, e e
uma curva de Jordan nas condicoes usuais no interior da qual a unica singularidade de f e z
0
,
ent ao _

f(z)dz = 2ib
1
. (11)
Se z
0
e um polo de ordem n, a versao que apresent amos do Teorema dos Resduos implica que
b
1
= (Res f)
z
0
. Efectivamente, se z
0
e um polo de ordem n, a sua serie de Laurent e dada por
f(z) =
+

n=0
a
n
(z z
0
)
n
+
b
1
z z
0
+
b
2
(z z
0
)
2
+ . . . +
b
n
(z z
0
)
n
,
pelo que (Res f)
z
0
e, de acordo com (8), e
(Res f)
z
0
=
1
(n 1)!
lim
zz
0
d
n1
dz
n1
_
(z z
0
)
n
+

k=0
a
k
(z z
0
)
k
+
n

k=1
b
k
(z z
0
)
k
_
=
1
(n 1)!
lim
zz
0
d
n1
dz
n1
+

k=0
a
k
(z z
0
)
k+n
+
n

k=1
b
k
(z z
0
)
nk
=
1
(n 1)!
(n 1)! b
1
= b
1
.
Assim, o resduo de uma func ao meromorfa num p olo z
0
de ordem n e o coeciente b
1
da serie
de Laurent em torno do ponto z
0
. Podemos encarar esta armac ao do seguinte modo: para
calcular o resduo de uma func ao numa singularidade z
0
construmos a sua serie de Laurent;
o resduo de f em z
0
e entao o coeciente b
1
do termo
1
zz
0
. Isto quer dizer obviamente que,
se o nosso objectivo e simplesmente o calculo de resduos, n ao temos necessidade de conhecer
toda a serie de Laurent de f, tarefa em geral complicada ou impossvel, mas sim o seu primeiro
coeciente b
1
(note-se que este b
1
pode, evidentemente, ser nulo).
Mais ainda, esta nocao de resduo, que coincide com a anterior para p olos, alarga-se a
qualquer tipo de singularidade. Com efeito, a equac ao (11) permite denir (Res f)
z
0
= b
1
.
Note-se, porem, que em (11) e perfeitamente irrelevante se a parte singular da serie de Laurent
tem ou n ao um n umero nito de termos o unico que contribui para o integral e b
1
! Por outras
palavras, esta noc ao de resduo aplica-se a qualquer tipo de singularidade: removvel, p olo ou
essencial. O enunciado que demos do Teorema dos Resduos ca, por seu lado, inalterado com
esta redenic ao de resduo. Assim, n ao s o obtemos uma tecnica alternativa para c alculo de
resduos, como ainda algo de novo podemos calcular integrais de funcoes com singularidades
essenciais.
Problemas Resolvidos
7
Problema 5 Calcular, pelo metodo acima, o resduo de f(z) = 1/(z + z
2
) em z
0
= 0.
Resolucao. z
0
e um polo simples de f. De acordo com o exposto no 1, na regiao 0 < |z| < 1
a serie de Laurent para f e
1
z + z
2
=
1
z
_
1
1 + z
_
=
1
z
_
1 z + z
2
. . .
_
=
1
z
1 + z z
2
+ . . . .
Assim, como o resduo e o coeciente b
1
do termo
1
z
, temos que b
1
= 1. 2
Problema 6 Calcular, pelo Teorema dos Resduos,
_
|z|=1
z cos
_
1
z
_
dz.
Resolucao. A unica singularidade da fun cao integranda e z
0
= 0. Esta e uma singulari-
dade essencial: como cos w =

k=0
1
(2k)!
w
2k
, segue-se que, tomando w = 1/z para z = 0, o
desenvolvimento em serie de Laurent da func ao integranda e
f(z) = z cos
_
1
z
_
= z
_
1
1
2!
z
2
+
1
4!
z
4
+ . . .
_
= z
1
2
z
1
+ . . . .
Desta express ao decorrem imediatamente dois factos: em primeiro lugar, 0 e de facto singu-
laridade essencial, pois a parte singular da serie de Laurent comporta um n umero innito de ter-
mos n ao-nulos. Em segundo lugar, o coeciente b
1
do termo em
1
z
e
1
2
, donde (Res f)
0
= b
1
=
1
2
,
pelo que
_
|z|=1
z cos
_
1
z
_
dz = i.
Problema 7 Calcular, pelo Teorema dos Resduos,
_

sin
2
_
1
z
_
dz, onde e uma curva de
Jordan recticavel que contem a origem no seu interior.
Resolucao. Tambem neste caso a unica singularidade da fun cao integranda e z
0
= 0, que e
uma singularidade essencial. Como anteriormente, basta calcular (Res f)
0
. O problema aqui
e que nao conhecemos directamente (em princpio!) uma express ao para a serie de Laurent de
sin
2
w. No entanto, como conhecemos uma tal serie para sin w, e f acil contornar esse problema
atraves da multiplicacao de series. Com efeito,
sin
2
w =
_
w +
1
3!
w
3
+ . . .
_
2
= w
2
+
2
3!
w
4
+ . . .
pela regra usual de multiplicac ao de series de potencias absolutamente convergentes. Assim, a
serie de Laurent para sin
2
(1/z) e
sin
2
(
1
z
) =
1
z
2
+
2
3!z
4
+ . . .
pelo que o resduo, ou seja, o coeciente b
1
da serie de Laurent, ou seja ainda, o coeciente do
termo em
1
z
, e nulo. Donde
_

sin
2
_
1
z
_
dz = 0. 2
8
Problema 8 Mostre que
_
|z|=1
exp
_
z +
1
z
_
dz = 2i

n=0
1
n!
1
(n + 1)!
.
Resolucao. A forma dos termos sob o sinal de soma sugere claramente a utilizac ao do de-
senvolvimento da funcao exponencial. A fun cao integranda e o produto de duas func oes , e
z
e e
1/z
; a primeira e analtica em C, e a segunda possui uma singularidade essencial na origem.
Comecamos por desenvolver a funcao e
z
, pelo que
_
|z|=1
e
z
e
1/z
dz =
_
|z|=1

n=0
z
n
n!
e
1/z
dz =

n=0
1
n!
_
|z|=1
z
n
e
1/z
dz, (12)
onde a ultima passagem (troca da serie com o integral, isto e, a integra cao da serie termo
a termo) e v alida em virtude de a curva de integracao se situar no interior do crculo de
convergencia da serie para e
z
(que, tal como se disse, e todo o plano complexo). Resta portanto
avaliar o ultimo integral na expressao acima em func ao de n IN. Ora a func ao integranda
f
n
(z) = z
n
e
1/z
tem, claramente, uma singularidade essencial na origem, pelo que basta calcular
o resduo na origem. Tem-se
f
n
(z) = z
n
e
1/z
= z
n
_
1 +
1
1!
z
1
+
1
2!
z
2
+ . . . +
1
(n + 1)!
z
(n+1)
+ . . .
_
= z
n
+ z
n1
+ . . .
1
n!
+
1
(n + 1)!
z
1
+ . . . ,
pelo que (Res f)
0
=
1
(n+1)!
. Assim, pelo Teorema dos Resduos
_
|z|=1
z
n
e
1/z
dz = 2i
1
(n+1)!
, e
portanto
_
|z|=1
exp
_
z +
1
z
_
dz = 2i

n=0
1
n!
1
(n + 1)!
.
2
References
[1] L. Ahlfors, Complex analysis. McGraw-Hill, New York, 1979 (3.
a
edic ao ).
[2] R. V. Churchill e J. Brown, Complex variables and applications. McGraw-Hill, New York,
1990 (5.
a
edic ao ).
9