6 SINGULARIDADES E RESÍDUOS

Quando uma função f (z) não é diferenciável num complexo z0 ; diremos que z0 é uma
singularidade de f (z) ; z0 dir-se-á uma singularidade isolada de f (z) se, contudo, f (z)
for holomorfa numa bola perfurada
D" (z0 ) = fz : 0 < jz z0 j < "g ;
de centro em z0 e raio " > 0; su…cientemente pequeno. A independência do valor do
integral (ver a secção 5, DESENVOLVIMENTOS EM SÉRIES DE POTÊNCIAS)
Z
1
f (z) dz;
2 i Cr (z0 )
relativamente às circunferências simples e positivamente orientadas, Cr (z0 ); de centro em
z0 e raio 0 < r < "; assume um papel de grande relevo. Constitui-se com ele o chamado
resíduo de f em z0 ; que representaremos por Res (f; z0 ):
Considerando o desenvolvimento de Laurent de f em D" (z0 );
X
1 X
1
bn
n
f (z) = an (z z0 ) + ; z 2 D" (z0 ); (1)
n=0 n=1
(z z0 )n

a série
X
1
bn
;
n=1
(z z0 )n
dita parte singular da série de Laurent, pode constituir a pedra-de-toque para a classi…-
cação dessas singularidades. Note-se que pelo teorema de Laurent (ver secção 5.1, SÉRIES
DE LAURENT) o resíduo de f em z0 coincide com o coe…ciente b1 ; do primeiro termo da
mesma parte singular.

6.1 CLASSIFICAÇÃO DE SINGULARIDADES

Através daquela série podemos, de um modo bastante natural, distinguir os diversos

tipos de singularidades de acordo com a seguinte de…nição:

De…nição 1 Seja z0 uma singularidade isolada de f: Diremos que:

i) z0 é uma singularidade removível se todos os coe…cientes bn forem nulos;
ii) z0 é um polo, se apenas um número …nito dos coe…cientes bn não forem nulos; se bk 6= 0
e bn = 0 para cada n > k; z0 diz-se um polo de ordem k (usaremos a terminologia de polo
simples quando k = 1, de polo duplo quando k = 2; etc.).
iii) z0 é uma singularidade essencial de f; se uma in…nidade dos coe…cientes bn forem
diferentes de zero.

Observemos que quando z0 2 C é uma singularidade removível da função f , temos

que
X
1
f (z) = an (z z0 )n ;
n=0

1
para z 2 D" (z0 ); onde esta série é convergente. Como tal podemos tornar f diferenciável
em z0 ; mediante a chamada remoção da singularidade, a qual consiste simplesmente em
atribuir à função o valor a0 no ponto z0 : De facto, desse modo, passamos a ter f analítica
em z0 :

6.2 TEOREMA DOS RESÍDUOS

À custa do conceito de resíduo podemos entretanto proceder a uma extensão da teoria
de Cauchy-Goursat através do importante teorema que a seguir estabelecemos.
Teorema 2 (Teorema dos Resíduos) Seja f uma função que no aberto e convexo U
apenas tem um número …nito de singularidades isoladas, z1 ; :::; zq : Se for uma linha
fechada em U que não passe por estas singularidades, então
Z Xq
f (z)dz = 2 i I( ; zj )Res(f; zj ): (2)
j=1

Dem.: Para cada j = 1; :::; q; existe, pelo teorema de Laurent, uma bola perfurada
Drj (zj ) = fz : 0 < jz zj j < rj g ;
de centro em zj e raio rj > 0 su…cientemente pequeno, na qual,
X
1 X
1
bjn
n
f (z) = ajn (z zj ) + :
n=0 n=1
(z zj )n

Para cada j = 1; :::; q; consideremos a família de funções

X
1
bjn
j (z) = :
n=1
(z zj )n

Observemos que cada uma destas séries é absolutamente convergente em K (zj ; 0; 1) =

fz : 0 < jzjg (j = 1; :::; q)) e neste conjunto j (z) é uma função holomorfa (veja-se a este
propósito as observações feitas no …nal da secção 4.2, FUNÇÕES ANALÍTICAS). Assim,
podemos a…rmar que cada j é holomorfa em Cn fzj g (j = 1; :::; q) :
Deste modo, através de
q
X
g(z) = f (z) j (z)
j=1

constituímos uma função holomorfa em U n fz1 ; :::; zq g : Porém, em cada zj ; (j = 1; :::; q);
g possui uma singularidade removível, já que na correspondente bola perfurada, Drj (zj );
é q
X1 X
n
g(z) = ajn (z zj ) k (z):
n=0 k=1
k6=j

Logo, após a remoção das respectivas singularidades, podemos tomar g como uma função
holomorfa em U; vindo pelo teorema de Cauchy que
Z X q Z
f (z) dz = j (z) dz:
j=1

2
 Por outro lado, para cada j = 1; :::; q; tem-se
Z X1 Z
bjn
j (z) dz = dz;
n=1
(z zj )n
e como Z
bjn
dz = 0;
(z zj )n
para n 2; podemos concluir que
Z
Sj (z) dz = 2 ibj1 I( ; zj ) = 2 iI( ; zj ) Res(f; zj );

…cando o teorema demonstrado.

6.3 CÁLCULO DE RESÍDUOS

A importância do teorema dos resíduos levou a que se procurassem métodos de classi-
…cação de singularidades e de cálculo dos respectivos resíduos sem recorrer à utilização do
correspondente desenvolvimento em série de Laurent. Tais métodos podem ser profícuos
sobretudo na análise de singularidades removíveis e de polos. O comportamento das
funções em torno de singularidades essenciais é signi…cativamente mais complexo.

Teorema 3 Seja z0 uma singularidade isolada de f:

i) z0 é uma singularidade removível se e só se existir

lim f (z) 6= 1; (3)

z!z0

sendo então Res (f; z0 ) = 0:

ii) z0 é um polo de ordem k se e só se existir

lim (z z0 )k f (z) 6= 0; 1: (4)

z!z0

Então se k = 1
Res (f; z0 ) = lim [(z z0 ) f (z)] ; (5)
z!z0

se k > 1 h i
1 k
Res (f; z0 ) = lim Dzk 1 (z z0 ) f (z) (6)
(k 1)! z!z0
Dem.: Relativamente a uma certa bola perfurada, D" (z0 ); de centro em z0 ; consider-
emos o correspondente desenvolvimento em série de Laurent de f :
X
1 X
1
bn
f (z) = an (z z0 )n + (z 2 D" (z0 )) :
n=0 n=1
(z z0 )n

i) Se z0 é uma singularidade removível então para z 2 D" (z0 )

X
1
f (z) = an (z z0 )n :
n=0

3
Como tal, existe limz!z0 f (z) = a0 :
Inversamente, a existência deste limite implica que

lim (z z0 )f (z) = 0:
z!z0

Isto signi…ca que para qualquer > 0; existe r 2 ]0; "[ ; su…cientemente pequeno, digamos
tal que r < 1; de modo que para qualquer z 2 Br (z0 );

jf (z)(z z0 )j < :

Ora sendo, para n 1;

Z
1
bn = f (z)(z z0 )n 1 dz;
2 i Cr (z0 )

temos que
1
jbn j max jf (z)j jz z0 jn 1 c (C(z0 ; r))
2 w2Cr (z0 )
max jf (z)j jz z0 j jz z0 jn 2 r
w2Cr (z0 )

< rn 1
< :

Da arbitrariedade de ; concluímos que bn = 0; para cada n = 1; 2; ::: :

Quanto ao resíduo, tem-se obviamente Res (f; z0 ) = 0:
ii) Se z0 é um polo de ordem k; então com bk 6= 0;

X
1 X
k
bn
n
f (z) = an (z z0 ) +
n=0 n=1
(z z0 )n

para z 2 D" (z0 ): Nestas circunstâncias, temos

k
X
1
(z z0 ) f (z) = an (z z0 )n+k + b1 (z z0 )k 1
+ ::: + bk 1 (z z0 ) + bk ;
n=0

pelo que existe limz!z0 (z z0 )k f (z) = bk 6= 0; 1:

Inversamente, se existe limz!z0 (z z0 )k f (z) 6= 0; 1; por i), a função (z z0 )k f (z)
tem uma singularidade removível em z0 : Como tal, temos para z em torno de z0 ;
X
1
(z z0 )k f (z) = an (z z0 )n ;
n=0

em que a0 = limz!z0 (z z0 )k f (z) 6= 0: Deste modo, o desenvolvimento de Laurent de f

em torno de z0 é dado por
X
1
a0 ak 1 X 1
n k
f (z) = an (z z0 ) = + ::: + + an+k (z z0 )n ;
n=0
(z z0 )k (z z0 ) n=0

e, por conseguinte, z0 é um polo de ordem k:

4
 Quanto ao resíduo, notemos com base no desenvolvimento de Laurent de (z z0 )k f (z)
em torno de z0 ; que por derivação termo-a-termo
h i X1
k
Dzk 1 (z z0 ) f (z) = an (n + k) :::n(z z0 )n+1 + (k 1)!b1 ;
n=0

resultando em consequência,
1 h i
Res (f; z0 ) = lim Dzk 1
(z z0 )k f (z) :
(k 1)! z!z0

Reanalisando o teorema de Goursat (ver secção 2.1, TEOREMA DE GOURSAT) podemos

observar, à luz do ponto i) deste teorema, que a singularidade que ele refere é uma singu-
laridade removível cuja remoção permite a aplicação imediata do teorema de Cauchy.

6.4 CASO DE FUNÇÕES f (z) = g(z)=h(z)

Quando
g(z)
f (z) =
h(z)
em que g e h são funções holomorfas num dado aberto U; as potenciais singularidades de
f são os zeros da função h: Neste contexto, tem a chamada multiplicidade dos zeros de g
e de h um papel relevante na classi…cação da singularidade.
Perante uma função, , holomorfa numa vizinhança de um ponto z0 ; se z0 é um zero
de tal que
0
(z0 ) = 0; :::; (m 1) (z0 ) = 0 e (m) (z0 ) 6= 0; (m 1);
diremos que tem em z0 um zero de multiplicidade m: (Utilizaremos também as desig-
nações de zero simples, quando m = 1; zero duplo para m = 2; etc.).

Exemplo 4 A função (z) = z 3 2z 2 + z tem apenas dois zeros: 0 e 1: Como 0 (0) =

1 6= 0; temos que 0 é um zero simples de : Contudo 0 (1) = 0 e 00 (1) = 2 6= 0; o que
signi…ca que 1 é um zero duplo de :

Se numa vizinhança de z0 ; a função , não possuir outros zeros para além de z0 ;

diremos que z0 é um zero isolado de : Neste sentido, notemos que se z0 é um zero de
multiplicidade m; então através do desenvolvimento em série de Taylor de em torno de
z0 ; se tem
(z) = (z z0 )m 1 (z) ;
para z numa certa bola aberta, B" (z0 ) ; de centro em z0 e raio " > 0; onde
(m) (m+1) (m+2)
(z0 ) (z0 ) (z0 )
1 (z) = + (z z0 ) + (z z0 )2 + ::: :
m! (m + 1)! (m + 2)!
Sendo 1 (z) contínua e
(m)
(z0 )
6= 0
1 (z0 ) =
m!
podemos escolher " su…cientemente pequeno de modo que seja 1 (z) 6= 0 para qualquer
z 2 B" (z0 ) : Como tal, z0 é um zero isolado de :

5
Teorema 5 Seja f (z) = g(z)=h(z); com g e h holomorfas num dado aberto U; e z0 2 U
um zero de h de multiplicidade m:
i) Se g(z0 ) 6= 0; então z0 é um polo de ordem m de f:
ii) Se z0 é um zero de g de multiplicidade k m então z0 é uma singularidade removível
de f:
iii) Se z0 é um zero de g de multiplicidade k < m então z0 é um polo de f de ordem
q = m k:

Dem.: É claro que sendo z0 um zero isolado de h; z0 será uma singularidade isolada
de f:
Consideremos então os desenvolvimentos de Taylor de g e de h em torno de z0 :

g (k) (z0 ) g (k+1) (z0 )

g(z) = (z z0 )k + (z z0 )k+1 + ::: g (k) (z0 ) 6= 0 ;
k! (k + 1)!
h(m) (z0 ) h(m+1) (z0 )
h(z) = (z z0 )m + (z z0 )m+1 + ::: h(m) (z0 ) 6= 0 :
m! (m + 1)!

Então, para " > 0 su…cientemente pequeno, temos na bola aberta, B" (z0 ) ; de centro
em z0 e raio ":

g (k) (z0 ) g (k+1) (z0 )

g(z) = (z z0 )k + (z z0 ) + ::: ; (7)
k! (k + 1)!

h(m) (z0 ) h(m+1) (z0 )

h(z) = (z z0 )m + (z z0 ) + ::: ; (8)
m! (m + 1)!
e consequentemente,
2 3
k g (k) (z0 ) g (k+1) (z0 )
g(z) (z z0 ) 4 k!
+ (k+1)!
(z z0 ) + :::
f (z) = = 5:
h(z) (z z0 )m h(m) (z0 ) + h(m+1) (z0 )
(z z0 ) + :::
m! (m+1)!

i) Se g(z0 ) 6= 0; então k = 0 e

m!g(z0 )
lim (z z0 )m f (z) = 6= 0; 1:
z!z0 h(m) (z0 )

Logo z0 é um polo de ordem m de f (z) :

ii) Se k m 1 também

m! g (k) (z0 )
lim f (z) = 6= 1:
z!z0 k! h(m) (z0 )

Logo z0 é uma singularidade removível.1

1
Note-se que depois de removida a singularidade, …ca f (z0 ) 6= 0; se k = m; e f com um zero em z0 de
multiplicidade k m; se k > m:

6
 iii) Se m > k 1; com q = m k; temos que

m! g (k) (z0 )
lim (z z0 )q f (z) = 6= 0; 1;
z!z0 k! h(m) (z0 )
pelo que z0 é um polo de ordem q:
No que respeita ao cálculo dos resíduos, pode proceder-se segundo as fórmulas (5) ou
(6).
Argumentos semelhantes aos usados no teorema anterior permitem-nos uma general-
ização às funções holomorfas da conhecida regra de Cauchy.

Teorema 6 (Regra de Cauchy) Sejam g e h holomorfas num dado aberto U; e z0 2 U

tais que g (z0 ) = h (z0 ) = 0: Então
0
1 1
0
g (z) g (z) g(z) g(z)
lim = lim 0 e lim 1 = lim 0 ;
z!z0 h (z) z!z0 h (z) z!z0
h(z)
z!z0 1
h(z)

onde a não existência de um dos limites implica a não existência do outro.

Dem.: Suponhamos tal como acima que z0 é uma zero de multiplicidade k de g (z) e
um zero de multiplicidade m de h (z) : Então por (7) e (8) temos, respectivamente,

g (z) = (z z0 )k g1 (z) e h (z) = (z z0 )m h1 (z) ;

onde
g (k) (z0 ) g (k+1) (z0 )
g1 (z) = + (z z0 ) + :::
k! (k + 1)!
h(m) (z0 ) h(m+1) (z0 )
h1 (z) = + (z z0 ) + :::
m! (m + 1)!
são funções holomorfas e não nulas numa vizinhança de z0 :
Notemos que
g (z) g1 (z0 )
lim = lim (z z0 )k m
:
z!z0 h (z) h1 (z0 ) z!z0
De

g 0 (z) = k (z z0 )k 1 g1 (z) + (z z0 )k g10 (z) ;

h0 (z) = m (z z0 )m 1 h1 (z) + (z z0 )m h01 (z) ;

resulta também
g 0 (z) (z z0 )k 1 [kg1 (z) + (z z0 ) g10 (z)]
lim = lim
z!z0 h0 (z) z!z0 (z z0 )m 1 [mh1 (z) + (z z0 ) h01 (z)]
kg1 (z0 )
= lim (z z0 )k m :
mh1 (z0 ) z!z0
Assim, se k = m temos
g (z) g 0 (z)
lim = lim 0 ;
z!z0 h (z) z!z0 h (z)

7
o mesmo acontecendo quer quando k > m; caso em que ambos os limites são zero, quer
quando k < m; caso em que os dois limites são 1:
Analogamente,
1 1
g(z) (z z0 )k g1 (z) h1 (z0 )
lim 1 = lim 1 = lim (z z0 )m k
z!z0
h(z)
z!z0
(z z0 )m h1 (z)
g1 (z0 ) z!z0

e
0 k(z z0 )k 1
g1 (z)+(z z0 )k g10 (z)
1 2
g(z) [(z z0 )k g1 (z)]
lim 0 = lim
z!z0 1 z!z0 m(z z0 )m 1 h1 (z)+(z z0 )m h01 (z)
h(z) [(z z0 )m h1 (z)]2

[h1 (z)]2 (z z0 )k m [kg1 (z) + (z z0 ) g10 (z)]

= lim (z z0 )2(m k)
z!z0 [g1 (z)]2 [mh1 (z) + (z z0 )m h01 (z)]
[h1 (z0 )]2 [kg1 (z0 )]
= lim (z z0 )2(m k)
2 (z z0 )k m
z!z0 [g1 (z0 )] [mh1 (z0 )]
kh1 (z0 )
= lim (z z0 )m k
;
mg1 (z0 ) z!z0

donde resulta igualmente

0
1 1
g(z) g(z)
lim 1 = lim 0 :
z!z0 z!z0 1
h(z)
h(z)

Pelos argumentos usados podemos ainda concluir que a não existência de um dos
limites implica a não existência do outro.

6.5 RESÍDUO NO PONTO INFINITO

Se f é uma função holomorfa num conjunto

D" (1) = fz : jzj > "g ;

também o ponto in…nito pode ser tomado, com algumas vantagens em certos casos, como
uma singularidade de f:
Notemos que também os valores dos integrais
Z
1
f (z) dz;
2 i Cr

relativos a qualquer circunferência simples e negativamente orientada, Cr ; de centro na

origem e raio r > "; são invariantes com r; constitui-se com eles o chamado resíduo de f
no ponto in…nito, que representaremos por Res(f; 1):
Observemos que parametrizando a circunferência Cr através da função (t) = re it ;

8
com t a variar no intervalo [0; 2 ] ; então com (z) = f (1=z)
Z Z 2
1 1
f (z) dz = f re it ire it dt
2 i Cr 2 i 0
Z 2 !
1 1 1
= f eit ir dt
2 i 0 r
eit
Z 2 !
1 1 1 i it
= f eit it 2
e dt
2 i 0 r
e r
r
Z
1 (z)
= dz;
2 i C + (0;1=r) z 2
pelo que
(z)
Re s (f; 1) = Re s ;0 ; (9)
z2
tendo em conta que a função (z)=z 2 é holomorfa em D1=" (0) = fz : 0 < jzj < 1="g com
uma singularidade em z = 0:
É no âmbito do teorema dos resíduos que o resíduo no ponto in…nito de uma função
assume alguma relevância prática de acordo com o que se explicita no teorema seguinte.

Teorema 7 Se f for uma função com um número …nito de singularidades isoladas,

z1 ; :::; zm ; em C; então
X
m
Res(f; zj ) + Re s(f; 1) = 0: (10)
j=1

De facto, considerando uma circunferência simples e positivamente orientada, Cr ; de

centro na origem e raio r su…cientemente grande de modo que fz1 ; :::; zm g intCr ; então
pelo teorema dos resíduos temos
Z Xm Z
1 1
f (z) dz = Re s(f; zj ) = f (z) dz = Re s(f; 1):
2 i Cr j=1
2 i C r

Exemplo 8 Com (t) = 2eit ; t 2 [0; 2 ] ; pelo teorema dos resíduos e por (10), o integral
Z
1 1 1
dz = 2 i Re s ; 1 + Re s ; 1
z2 1 z2
1 z2 1
= 2 iRe s (f; 1) :
Aplicando (9) obtemos que
Z
1 (z)
dz = 2 i Re s ;0 = 0;
z2 1 z2
já que neste caso
1
(z) 1 1 1
z2
1 1
= f = =
z2 z2 z z2 1 z2
é uma função diferenciável em z = 0:

9
6.6 EXERCÍCIOS RESOLVIDOS
1. Através dos correspondentes desenvolvimentos em série de Laurent, classi…que as
singularidades das funções indicadas a seguir e indique os respectivos resíduos:

sin z
a) f (z) = :
z
b) f (z) = z 3 ei=z :
1
c) f (z) = (1 z)2
:

z
d) f (z) = :
z2 +1
1
e) f (z) = z(1 z)2
:

2. Sem recorrer aos desenvolvimentos em série de Laurent, classi…que as singularidades

das funções indicadas a seguir e determine os respectivos resíduos:

sin2 z
a) f (z) = :
z3
(eiz i)2
b) f (z) = :
z 2

2z+1
c) f (z) = (z 1)(z 2 2z+2)
:

eiz 1
d) f (z) = :
sin z

i2t
3. Com respeito ao caminho dado por (t) = 2e ; t 2 [0; ] ; calcule os seguintes
integrais:
R
a) e(1 1=z)
dz:
R 1
b) (z 2 +1)2
dz:
R
c) sec2 z dz:

10
6.6.1 RESOLUÇÕES
1.a): A função
sin z
f (z) =
z
possui uma única singularidade na origem. Podemos construir o desenvolvimento de
Laurent de f em torno da origem através do desenvolvimento de Mac-Laurin da função
sen z; obtendo-se

1 X ( 1)n 2n+1 X ( 1)n 2n

1 1
1
f (z) = sen z = z = z ;
z z n=0 (2n + 1)! n=0
(2n + 1)!

válido para z 2 D1 (0) = fz : 0 < jzjg : Podemos então concluir imediatamente que a
origem é uma singularidade removível de f e que, como em qualquer singularidade desse
tipo, Res (f; 0) = 0: Note-se que após a remoção da singularidade se obtém f (0) = 1 e
por conseguinte
sin z
lim = 1:
z!0 z

1.b): Tal como no exemplo anterior, a função

f (z) = z 3 e1=z

tem na origem a sua única singularidade. O desenvolvimento de Laurent de f em torno

da origem pode agora ser obtido à custa do desenvolvimento de Mac-Laurin da função
exponencial. Temos então, para z 2 D1 (0) = fz : 0 < jzjg ;
X1
1 1 X1
1 1 1 1 X 1 1
1
3 1=z 3 3 2
f (z) = z e =z = =z +z + z+ + :
n=0
n! z n n=0
n! z n 3 2! 3! n=4 n! z n 3

Esta última série constitui a parte singular da correspondente série de Laurent de f em

D1 (0); o que nos permite concluir que a origem é uma singularidade essencial de f e que
Res(f; 0) = 1=4! = 1=24: A parte regular da mesma série é constituída apenas por
1 1
+ z + z2 + z3:
3! 2!
1.c): Como
1 1
2 = ;
(1 z) (z 1)2
o desenvolvimento em série de Laurent de f (z) em torno de z = 1; única singularidade
da função, resume-se a
1
f (z) = :
(z 1)2
Isto signi…ca que z = 1 é um polo duplo e que Res(f; 1) = 0:
1d): As singularidades de
z z
f (z) = = ;
z2 + 1 (z + i)(z i)

11
são z = i: Podemos determinar o desenvolvimento de Laurent da função em torno de
z = i; através da decomposição
1 1 1 1
f (z) = + :
2 (z + i) 2 (z i)

Como para z tal que jz ij < 2;

1 1 1 1
=
2 (z + i) 2 (2i + z i)
1 1
=
4i 1 + z2i i
1 X
1 n
1
= (z i)n
4i n=0 2i
1 X
1 n
i
= (z i)n
4i n=0 2
X1
in 1
= n+2
(z i)n ;
n=0
2

obtemos
X1
in 1 1 1
f (z) = n+2
(z i)n + ;
n=0
2 2 (z i)
para z 2 D2 (i):
Por comparação com (1) temos que

in 1
an = ; n 0;
2n+2
e que b1 = 1=2; bn = 0; para n > 1; o que nos permite concluir imediatamente que z = i é
um polo simples de f e que
Res(f; i) = 1=2:
Analogamente em torno de z = i temos para z 2 D2 ( i)

1 1 1 1 1 1 X
1
1
f (z) = z+i = (z + i)n ;
2 (z + i) 4i 1 2i
2z +i n=0
2n+2 in+1

e, por conseguinte, f tem também naquele ponto um polo simples, sendo Res(f; i) = 1=2:
1.e): z = 0 e z = 1 são as singularidades de
1
f (z) = :
z (1 z)2

Para obtermos o desenvolvimento de Laurent em torno de z = 0; notemos primeira-

mente que
1 1
2 = Dz :
(1 z) 1 z

12
Como para z 2 B = fz : jzj < 1g se tem

1 X
1
= zn;
1 z n=0

então dada a possibildade de derivarmos termo-a-termo uma série de potências, obtemos

!
1 X1 X1
n
= Dz z = nz n 1 :
(1 z)2 n=0 n=1

Assim, para z 2 D1 = fz : 0 < jzj < 1g ; é

1X n X
1 1
1
f (z) = nz = nz n 2 ;
z n=1 n=1

ou seja,
1 X n 1 X
1 1
2
f (z) = + nz = + (n + 2) z:
z n=2 z n=0
Por comparação com (1) podemos concluir que para n 0; an = n+2 e que b1 = 1; bn = 0
para n > 1:
Logo z = 0 é um polo simples e Res (f; 0) = 1:
No que respeita a z = 1; a série de Laurent em D1 (1) = fz : 0 < jz 1j < 1g pode ser
obtida através de
1 1 1 1
f (z) = = 2 2
(z 1) z (z 1) 1 + z 1
1 X1
= 2 ( 1)n (z 1)n
(z 1) n=0
X1
= ( 1)n (z 1)n 2
n=0

1 1 X
1
= + ( 1)n (z 1)n 2
(z 1)2 (z 1) n=2

1 1 X1
= 2 + ( 1)n (z 1)n :
(z 1) (z 1) n=0

Comparando com (1) temos que para n 0; an = ( 1)n enquanto que que b1 = 1; b2 =
1; bn = 0 para n > 2:
Logo z = 1 é um polo duplo e Res (f; 0) = 1:
2.a): A única singularidade da função
sin2 z
f (z) =
z3
é a origem. Notando que
sin2 z sin2 z
lim z = lim = 1 6= 0; 1;
z!0 z3 z!0 z 2

13
podemos concluir que f tem na origem um polo simples, e que Res (f; 0) = 1:
2.b): Neste caso,
(eiz i)2
f (z) =
z 2

possui também uma única singularidade, agora em z = =2: Considerando as funções

g(z) = (eiz i)2 e h(z) = z 2 ; observamos que g( 2 ) = 0 e h( 2 ) = 0: Como

g 0 (z) = 2ieiz (eiz i); g 0 ( ) = 0;

2
g 00 (z) = 2eiz (eiz i) 2e ; g 00 ( ) = 2 6= 0;
2iz
2
e
h0
= 1 6= 0;
2
temos que que z = 2 é um zero duplo de g(z) e um zero simples de h(z): Então pelo Teo-
rema 5 ii) concluímos que f possui em z = 2 uma singularidade removível. O respectivo
resíduo é naturalmente igual a zero.
2.c): As singularidades de
2z + 1
f (z) = ;
(z 1) (z 2 2z + 2)

são z = 1 e as raízes de
p
2 2 4 8
z 2z + 2 = 0 , z = =1 i:
2
Deste modo podemos escrever
2z + 1
f (z) = :
(z 1) (z 1 i) (z 1 + i)

o que permite observar que

3
lim (z 1) f (z) = = 3 6= 0; 1;
z!1 ( i) i
3 + 2i 3
lim (z 1 i) f (z) = = i 6= 0; 1;
z!1+i i2i 2
3 2i 3
lim (z 1 + i) f (z) = = + i 6= 0; 1:
z!1 i i ( 2i) 2

Logo todas as singularidades de f (z) são polos simples e

3 3
Re s (f; 1) = 3; Re s (f; 1 + i) = i; Re s (f; 1 i) = + i:
2 2
2.d): Sendo
eiz 1
f (z) =
sin z

14
consideremos as funções auxiliares

g (z) = eiz 1; h (z) = sin z:

Os zeros de h (z) são z = k (k = 0; 1; 2; :::) e simultaneamente as singularidades da

função f: Como h0 (k ) = cos (k ) = ( 1)k 6= 0; podemos concluir que z = k são zeros
de h (z) de multiplicidade 1.
Distingamos os casos k ímpar e k par, ou seja quando z = (2n + 1) e z = 2n
(n 2 Z) :
Ora como
g ((2n + 1) ) = 2 6= 0;
pelo Teorema 5 i) os reais z = (2n + 1) (n 2 Z) são polos de ordem 1 de f: Aplicando
(5) vem
(z (2n + 1) ) (eiz 1)
Res (f; (2n + 1) ) = lim :
z!(2n+1) sinz
Por aplicação da regra de Cauchy obtemos

(z (2n + 1) ) (eiz 1) eiz 1 + (z (2n + 1) ) ieiz

lim = lim = 2:
z!(2n+1) sin z z!(2n+1) cos z

Logo
Res (f; (2n + 1) ) = 2:
Nos reais z = 2n (n 2 Z) temos que

g (2n ) = 0; g 0 (2n ) = iei2n = i 6= 0;

ou seja, g (z) tem em z = 2n zeros de multiplicidade 1. Como z = 2n também são

zeros de h (z) de multiplicidade 1, podemos concluir, pelo Teorema 5 ii), que z = 2n são
singularidades removíveis de f (z) : Os respectivos resíduos são todos nulos.
3.a): Como
f (z) = e(1 1=z)
possui uma única singularidade em z = 0; e pelo teorema dos resíduos tem-se
Z
e(z+1=z) dz = 2 iI ( ; 0) Res (f; 0) :

O desenvolvimento de Laurent de f em torno de z = 0 vem dado por

e(1 1=z)
= e e 1=z
X 1 1
n
= e
n 0
n! z
X e ( 1)n 1
= ;
n 0
n! z n

o que permite concluir que z = 0 é uma singularidade essencial e que

Res (f; 0) = e:

15
 Como I ( ; 0) = 1 então Z
e(1 1=z)
dz = 2 ei:

3.b): As singularidades de
1
f (z) =
(z 2 + 1)2
são z = i e por conseguinte
1
f (z) = :
(z i) (z + i)2
2

Como I ( ; i) = 1 temos pelo teorema dos resíduos

Z
1
dz = 2 i [Res (f; i) + Res (f; i)] :
(z + 1)2
2

Tendo em atenção que

1 1
lim (z i)2 f (z) = 2 = 6 0; 1;
=
z!i (2i) 4
1 1
lim (z + i)2 f (z) = 2 = 6 0; 1;
=
z! i ( 2i) 4

pelo Teorema 3 ii) ambas as singularidades são polos duplos.

Quanto aos valores dos resíduos podemos utilizar (6) com k = 2 e obter

Res (f; i) = lim Dz (z i)2 f (z)

z!i
1
= lim Dz
z!i (z + i)2
2
= lim
z! i (z + i)3
2
=
(2i)3
i
= :
4
Analogamente

Re s (f; i) = lim Dz (z + i)2 f (z)

z! i
1
= lim Dz
z! i (z i)2
2
= lim
z! i (z i)3
2
=
( 2i)3
i
= :
4
16
 Logo Z
1 i i
2 dz = 2 i + = 0:
+ 1) (z 2 4 4
NOTA: Observemos que poderia ter sido utilizada aqui a relação (10) do Teorema 6,
segundo a qual
Res (f; i) + Res (f; i) = Res (f; 1) :
Como por (9)
(z)
Res (f; 1) = Res ;0 ;
z2
sendo
(z) 1 1 1 1 1 z4 z2
= f = 2 = =
z2 z2 z +1 z2 1 z 2 (1 + z 2 )2 (1 + z 2 )2
z2
uma função diferenciável em z = 0; temos que
(z)
Res (f; i) + Res (f; i) = Res ;0 = 0:
z2
3.c): As singularidades de
1
f (z) = sec2 z = ;
cos2 z
são os reais
z= + k ; (k 2 Z) :
2
Porém, em int apenas se encontram
: z=
2
Como I ; 2
= 1 temos novamente pelo teorema dos resíduos
Z h i
2
sec z dz = 2 i Res f; + Res f; :
2 2
Façamos
g (z) = 1; h (z) = cos2 z:
Temos h ( =2) = 0; e

h0 (z) = 2 sin z cos z; h0 = 0;

2
h00 (z) = 2 cos2 z + 2 sin2 z;
= 2 6= 0; h00
2
o que mostra que h (z) tem em z = =2 zeros de multiplicidade 2. Como g 2
= 1 6= 0,
pelo Teorema 5 i) estamos perante polos duplos da função f: Por (6) com k = 2 obtemos
" 2
#
z 2
Res (f; ) = lim Dz
2 z! =2 cos2 z
2
2 z 2
cos2 z + 2 z 2
sin z cos z
= lim
z! =2 cos4 z
2
z 2
cos z + z 2
sin z
= 2 lim :
z! =2 cos3 z

17
Então por aplicação sucessiva da regra de Cauchy, vem
2
cos z + z 2
sin z + z 2
cos z
Res (f; ) = 2 lim
2 z! =2 3 cos2 z sin z
2
3 z 2
cos z z 2 sin z
= 2 lim 2
z! =2 6 cos z sin z 3 cos3 z
2
3 cos z 5 z 2 sin z z 2 cos z
= 2 lim 3
z! =2 6 sin z + 12 cos z sin z + 9 cos2 z sin z
2

0
= 2
6 sin3 2
= 0:

Logo Z
sec2 z dz = 2 i [0 + 0] = 0:

18