meta - cesadufs.com.br · sériesdelaurent 10.1 introdução caros alunos essa nossa aula tem como...
TRANSCRIPT
AULA
10Séries de Laurent
META:
Introduzir séries de Laurent.
OBJETIVOS:
Ao fim da aula os alunos deverão ser capazes de:
Definir séries de Laurent e determinar a série de Laurent para al-
gumas funções de variáveis complexas.
PRÉ-REQUISITOS
Aula09 de Variáveis Complexas e os conhecimentos básicos, da dis-
ciplina Cálculo II.
Séries de Laurent
10.1 Introdução
Caros alunos essa nossa aula tem como tema “Séries de Lau-
rent”. Como as séries de Taylor servem para representar funções
holomorfas, Séries de Laurent servem para representar certos tipos
de funções não-holomorfas.
10.2 Séries de Laurent
Caros alunos esta aula em particular será curta. Vamos então
diretamente para o teorema que é o ponto central de nossa aula
antes porém, veremos um resultado importante na demonstração
do teorema. A saber: Se z 6= 1 é um número complexo então:
1
1− z= 1 + z + z2 + · · ·+ zn +
zn+1
1− z(10.147)
PROVA: Considere a soma sn = 1 + z+ z2 + · · ·+ zn e fazendo
o produto zsn temos:
zsn = z + z2 + z3 + · · ·+ zn+1. Subtraindo sn − zsn temos:
sn− zsn = 1 + z+ z2 + · · ·+ zn− (z+ z2 + · · ·+ zn+1) = 1− zn+1.
Daí, temos:
sn(−z) = 1− zn+1. Logo:1− zn+1
1− z= sn = 1 + z + z2 + · · ·+ zn. E finalmente:
1
1− z= 1 + z + z2 + · · ·+ zn +
zn+1
1− z. �
Teorema 10.1. Seja f(•) uma função holomorfa no anel aberto
D = B%2(z0)−B%1(z0) e sua fronteira onde 0 < %1 < %2 seja z ∈ D
(ver figura 10.1) então:
f(z) =
∞∑m=−∞
am(z − z0)m
152
Variáveis Complexas AULA
10
x
y
Γ2
Γ1
z0 %1
%2
z
Figura 10.1: Série de Laurent
onde:
am =
1
2πııı
∮Γ2
f(z)
(z − z0)m+1dz m = 0, 1, 2, . . .
a−m =1
2πııı
∮Γ1
f(z)(z − z0)m−1dz m = 1, 2, 3, . . .
PROVA: Da fórmula integral de Cauchy temos:
f(z) =1
2πııı
∮Γ1
f(w)
w − zdw −
∮Γ2
f(w)
w − zdw (10.148)
Vamos considerar a primeira integral em eqn 10.148. Para isto
tomamos:
1
w − z=
1
w − z0 + z0 − z
=1
(w − z0)(1 + (z0 − z)/(w − z0))
=1
(w − z0)(1− (z − z0)/(w − z0))
(10.149)
153
Séries de Laurent
Substituindo z porz − z0
w − z0em eqn 10.147temos:
1
1− (z − z0)/(w − z0)= 1 +
z − z0
w − z0+ · · ·+
(z − z0
w − z0
)n
+
(z − z0
w − z0
)n+1
1− (z − z0)/(w − z0)
(10.150)
Manipulando eqn 10.150 temos:
1
1− (z − z0)/(w − z0)= 1 +
z − z0
w − z0+ · · ·+
(z − z0
w − z0
)n
+
(z − z0
w − z0
)n+1
1− (z − z0)/(w − z0)
= 1 +z − z0
w − z0+ · · ·+
(z − z0
w − z0
)n
+
(z − z0
w − z0
)n+1
w − z0 − (z − z0)
w − z0
= 1 +z − z0
w − z0+ · · ·+
(z − z0
w − z0
)n
+
(z − z0
w − z0
)n+1
w − zw − z0
= 1 +z − z0
w − z0+ · · ·+
(z − z0
w − z0
)n+
(z − z0
w − z0
)n+1 w − z0
w − z(10.151)
Substituindo eqn 10.151 em eqn 10.149 temos:
1
w − z=
1
w − z0+
z − z0
(w − z0)2+ · · ·
+
(z − z0
w − z0
)n 1
w − z
(10.152)
154
Variáveis Complexas AULA
10Fazendo o produto de eqn 10.152 por f(w) e integrando ao longo
de Γ2 no sentido positivo temos:∮Γ2
f(w)
w − zdw =
∮Γ2
f(w)
w − z0dw +
∮Γ2
f(w)z − z0
(w − z0)2dw + · · ·
+
∮Γ2
(z − z0
w − z0
)n f(w)
w − zdw
(10.153)
Fazendo o produto de eqn 10.153 por1
2πıııe definindo
ak =1
2πııı
∮Γ2
f(w)
(w − z0)k+1dw, k = 0, 1, . . .
temos:
1
2πııı
∮Γ2
f(w)
w − zdw = a0 + a1(z − z0) + · · ·+ an−1(z − z0)n−1
+1
2πııı
∮Γ2
(z − z0
w − z0
)n f(w)
w − zdw
(10.154)
Vamos considerar agora a segunda integral em eqn 10.148. Para
isto tomamos:
− 1
w − z=
1
z − w=
1
z − z0 + z0 − w
=1
(z − z0)(1 + (z0 − w)/(z − z0))
=1
(z − z0)(1− (w − z0)/(z − z0))
(10.155)
Substituindo z porw − z0
z − z0em eqn 10.147temos:
1
1− (w − z0)/(z − z0)= 1 +
w − z0
z − z0+ · · ·+
(w − z0
z − z0
)n
+
(w − z0
z − z0
)n+1
1− (w − z0)/(z − z0)
(10.156)
155
Séries de Laurent
Manipulando eqn 10.156 temos:
1
1− (w − z0)/(z − z0)= 1 +
w − z0
z − z0+ · · ·+
(w − z0
z − z0
)n
+
(w − z0
z − z0
)n+1
1− (w − z0)/(z − z0)
= 1 +w − z0
z − z0+ · · ·+
(w − z0
z − z0
)n
+
(w − z0
z − z0
)n+1
z − z0 − (w − z0)
z − z0
= 1 +w − z0
z − z0+ · · ·+
(w − z0
z − z0
)n
+
(w − z0
z − z0
)n+1
z − wz − z0
= 1 +w − z0
z − z0+ · · ·+
(w − z0
z − z0
)n+
(w − z0
z − z0
)n+1 z − z0
z − w(10.157)
Substituindo eqn 10.157 em eqn 10.155 temos:
− 1
w − z=
1
z − z0+
w − z0
(z − z0)2+ · · ·
+
(w − z0
z − z0
)n 1
z − w
(10.158)
Fazendo o produto de eqn 10.158 por f(w) e integrando ao longo
de Γ1 no sentido positivo temos:
−∮
Γ1
f(w)
w − zdw =
∮Γ1
f(w)
z − z0dw +
∮Γ1
f(w)w − z0
(z − z0)2dw + · · ·
+
∮Γ1
(w − z0
z − z0
)n f(w)
z − wdw
(10.159)
156
Variáveis Complexas AULA
10Fazendo o produto de eqn 10.159 por1
2πıııe definindo
a−k =1
2πııı
∮Γ1
f(w)(w − z0)k−1dw, k = 1, 2, . . .
temos:
1
2πııı
∮Γ1
f(w)
w − zdw =
a−1
z − z0+
a−2
(z − z0)2+ · · ·+ a−n
(z − z0)n
+1
2πııı
∮Γ1
(w − z0
z − z0
)n f(w)
z − wdw
(10.160)
Resta mostrar que a integral final em eqn 10.154 tendem a zero
quando n→∞. Para isso façamos:
un =1
2πııı
∮Γ2
(z − z0
w − z0
)n f(w)
w − zdw (10.161)
Como w ∈ Γ2 temos: max∣∣∣ z − z0
w − z0
∣∣∣ = γ < 1. Por outro lado
como f(•) é holomorfa no anel aberto D = B%2(z0) − B%1(z0) e
sua fronteira |f(w)| < M . E também, |w−z| = |w−z0 +z0−z| ≥
|w− z0| − |z− z0| = %2 − |z− z0|. Daí, tomando o módulo de eqn
10.161 temos:
|un| =∣∣∣ 1
2πııı
∮Γ2
(z − z0
w − z0
)n f(w)
w − zdw∣∣∣
≤ 1
2π
∮Γ2
∣∣∣ ( z − z0
w − z0
)n f(w)
w − z
∣∣∣dw≤ 1
2π
γnM
%2 − |z − z0|2π%2
≤ γnM%2
%2 − |z − z0|
(10.162)
De eqn 10.162 temos limn→∞
|un| = 0 de onde limn→∞
un = 0
Da mesma forma para mostrar que a integral final em eqn 10.160
tendem a zero quando n→∞ façamos:
vn =1
2πııı
∮Γ1
(w − z0
z − z0
)n f(w)
z − wdw (10.163)
157
Séries de Laurent
Como w ∈ Γ1 temos: max∣∣∣w − z0
z − z0
∣∣∣ = γ < 1. Por outro lado
como f(•) é holomorfa no anel aberto D = B%2(z0) − B%1(z0) e
sua fronteira |f(w)| < M . E também, |z−w| = |z−z0 +z0−w| ≥
|z− z0| − |w− z0| = |z− z0| − %1. Daí, tomando o módulo de eqn
10.163 temos:
|vn| =∣∣∣ 1
2πııı
∮Γ2
(w − z0
z − z0
)n f(w)
z − wdw∣∣∣
≤ 1
2π
∮Γ2
∣∣∣ ( z − z0
w − z0
)n f(w)
w − z
∣∣∣dw≤ 1
2π
γnM
|z − z0| − %12π%1
≤ γnM%1
|z − z0| − %1
(10.164)
De eqn 10.164 temos limn→∞
|vn| = 0 de onde limn→∞
vn = 0 Portanto,
passando o limite n → ∞ em eqn 10.154 e eqn 10.160 levando
em conta que as integrais finais de eqn 10.154 e eqn 10.160
tendem a zero e substituindo em eqn 10.148 temos:
f(z) =∞∑
m=−∞am(z − z0)m
onde:am =
1
2πııı
∮Γ2
f(z)
(z − z0)m+1dz m = 0, 1, 2, . . .
a−m =1
2πııı
∮Γ1
f(z)(z − z0)m−1dz m = 1, 2, 3, . . . �
OBS 10.1. As vezes é conveniente reescrever a série de Laurent
na forma:
f(z) =
∞∑m=1
bm(z − z0)m
+∑n=0
an(z − z0)n
onde: an =
1
2πııı
∮Γ2
f(z)
(z − z0)n+1dz n = 0, 1, 2, . . .
bm =1
2πııı
∮Γ1
f(z)(z − z0)m−1dz m = 1, 2, 3, . . .
158
Variáveis Complexas AULA
10Vamos a alguns exemplos de aplicação da série de Laurent.
Exemplo 10.1. Determine a série de Laurent da função f(z) =eaz
(z − 1)4em torno do ponto z0 = 1.
SOLUÇÃO: Primeiramente vamos deslocar o ponto onde f(•) é
descontínua de z0 = 1 para z0 = 0 fazendo a mudança de variável
u = z − 1 e temos:
f(z) = f̂(u) = f(u+ 1) =ea(u+1)
(u+ 1− 1)4= ea
eau
u4(10.165)
Como ez =
∞∑n=0
zn
n!temos:
eau =
∞∑n=0
(au)n
n!
=∞∑n=0
anun
n!
(10.166)
De eqn 10.165 e eqn 10.166 temos:
f(z) = f̂(u) = ea1
u4
∞∑n=0
anun
n!
= ea∞∑n=0
anun−4
n!
(10.167)
Fazendo em eqn 10.167 a mudança de variável k = n−4, n = k+4
e substituindo os limites n
∞0 e k
∞−4no somatório temos:
f(z) = f̂(u) = ea∞∑
k=−4
ak+4uk
(k + 4)!(10.168)
Explicitando no somatório de eqn 10.168 os termos de k = −4
até k = −1 temos:
f(z) = f̂(u) =ea
u4+aea
u3+a2ea
u2+a3ea
u
+ ea∞∑k=0
ak+4uk
(k + 4)!
(10.169)
159
Séries de Laurent
Retornando em eqn 10.170 u = z − 1 temos:
f(z) =ea
(z − 1)4+
aea
(z − 1)3+
a2ea
(z − 1)2+a3ea
z − 1
+∞∑k=0
ak+4ea(z − 1)k
(k + 4)!. �
(10.170)
10.3 Conclusão
Na aula de hoje, vimos que certas funções não-holomorfas tam-
bém podem ser representadas por série de potências. Mais especi-
ficamente, por série de Laurent.
RESUMO
No nosso resumo da Aula 10 consta o seguinte tópico:
Série de Laurent
Seja f(•) uma função holomorfa no anel aberto D = B%2(z0) −
B%1(z0) e sua fronteira onde 0 < %1 < %2 seja z ∈ D então:
f(z) =∞∑
m=−∞am(z − z0)m
onde:am =
1
2πııı
∮C2
f(z)
(z − z0)m+1dz m = 0, 1, 2, . . .
a−m =1
2πııı
∮C1
f(z)(z − z0)m−1dz m = 1, 2, 3, . . .
PRÓXIMA AULA
Em nossa próxima aula veremos singularidades de funções de
variáveis complexas. Mais especificamente veremos como usar séries
160
Variáveis Complexas AULA
10de Laurent para classificar pontos de singularidades isoladas de
funções não-holomorfas..
ATIVIDADES
Deixamos como atividades as seguintes questões:
ATIV. 10.1. Determine a série de Laurent da função f(z) =1− cos(z)
z2entorno do ponto z0 = 0.
Comentário: Volte ao texto e reveja com calma e atenção o
exemplo acima, ele lhe servirá de guia.
ATIV. 10.2. Determine a série de Laurent da função f(z) =1
z2(z − 1)2entorno do ponto z0 = 1.
Comentário: Volte ao texto e reveja com calma e atenção o
exemplo acima, ele lhe servirá de guia. Veja também a série de
Taylor para a função1
(1 + z)2.
LEITURA COMPLEMENTAR
SPIEGEL, Murray R., Variáveis Complexas, Coleção Schaum, Ed-
itora McGraw-Hill do Brasil, 1973.
SOARES, Márcio G., Cálculo em uma Variável Complexa, Coleção
Matemática Universitária, Editora SBM, 2009.
BROWN, James W. and CHURCHILL, Ruel R., Complex Vari-
ables and Applications Editora McGraw Hill, 2008.
161
Séries de Laurent
FERNANDEZ, Cecília S. e BERNARDES Jr, Nilson C. Introdução
às Funções de uma Variável Complexa. Editora SBM, 2006.
162