Roteiro de Estudos: Var.

Complexas Unidade 3: Série de Laurent e Teorema dos Resı́duos;

R Rj
Aplicações de Resı́duos: Integrais do tipo . . . dx e Transf. Inversa de Laplace j . . . ds.

FORMULÁRIO

• Teorema dos Resı́duos: o valor (complexo) da integral (complexa) de contorno

I
f (z) dz = j 2 × (soma dos resı́duos no interior do caminho C)
C

• m-ésima Fórmula para calcular o resı́duo de f (z) no polo z 0 :

1 dm
a1 = Res{f (z), z = z 0 } = lim [(z − z 0 )m f (z)] , quando z 0 é polo de ordem m
zz 0 (m − 1)! dz m1

EXERCÍCIOS

sen(z)
1. (a) Mostre que os 6 primeiros termos da série de Laurent de f (z) ≡ (z 3) 5 em torno de z0 = 3 são dados por:

sen(3) cos(3) sen(3) cos(3) sen(3) cos(3)

+ − − + +
(z − 3)5 (z − 3)4 2(z − 3)3 6 (z − 3)2 24 (z − 3) 120

Sugestão: escreva z ≡ 3 + (z − 3) = +, use a fórmula sen( +) ≡ sen()cos() + cos()sen(), e desenvolva

em série de Taylor as funções cos() e sen().

sen(3)
(b) Confirme que o Resı́duo (=coeficiente a 1 ) da função f (z) dessa questão em z 0 = 3 é de fato igual 24 usando
a quinta (pois z0 = 3 é um pólo de ordem cinco) fórmula dos resı́duos:

1 d4  
a1 = lim (z − 3)5 f (z)
z3 4! dz 4

2. Mostre que o Resı́duo Res{g(z), z 0 = 4} é igual a − 100

3
sabendo que z0 = 4 é um pólo de ordem 2 da função
complexa
2 z2 + 3 z + 5
g(z) ≡ .
(z − 4)2 (z 2 + 4)

3. Usando o Teorema dos Resı́duos, mostre que a seguinte integral de contorno no plano complexo

I 2
ez
dz
C z3 − 9 z 2 + 8z
com Ccircunferência
 de raio 3, com centro na origem e orientada positivamente, é igual a seguinte valor complexo
1 e
j2 − .
8 7

4. Use o Teorema dos resı́duos para mostrar que o valor da integral real imprópria
Z
1
dx.
(x + 9)(x 2 + 16)
2

é igual a π
Sugestão use o resultado de decaimento para o aro AR = {z = x + jy ∈ C : x 2 + y2 = R 2 e y > 0}, o
84 .
R P (z)
qual diz que limR AR Q(z)
dz é zero quando o grau do polinômio Q(z) menos o grau do polinômio P (z) é maior
ou igual a 2. Faça o seguinte roteiro:

(a) Encontre todos os polos de f (z) que se encontram no primeiro e segundo quadrantes (y > 0 parte imaginária
de z);