Introdução à Álgebra dos Números Complexos

SUMRIO
Aula 1: lgebra dos Nmeros Complexos 13

1.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 14
1.2 Um Pouquinho de Histria . . . . . . . . . . . . . . 14
1.3 Nmeros Complexos . . . . . . . . . . . . . . . . . 15
1.4 Concluso . . . . . . . . . . . . . . . . . . . . . . . 20
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 20
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 23
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 23
LEITURA COMPLEMENTAR . . . . . . . . . . . 24
Aula 2: Limites de Funes de Variveis Complexas 25
2.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 26
2.2 Topologia do Plano Complexo . . . . . . . . . . . . 26
2.3 Funes de Variveis Complexas . . . . . . . . . . . 28
2.4 Limites de Funes de Variveis Complexas . . . . . 29
2.5 Continuidade de Funes complexas . . . . . . . . . 32
2.6 Concluso . . . . . . . . . . . . . . . . . . . . . . . 34
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 34
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 37
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 37
Aula 3: Derivao Complexa 39
3.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 40
3.2 Derivao Complexa . . . . . . . . . . . . . . . . . 40
3.3 Regras de Derivao Complexa . . . . . . . . . . . 42
3.4 Equaes de Cauchy-Riemann . . . . . . . . . . . . 44
3.5 Concluso . . . . . . . . . . . . . . . . . . . . . . . 50
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 50
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 51
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 52
Aula 4: Mais Alguns Aspectos da Derivao Complexa
53
4.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 54
4.2 Funes Holomorfas . . . . . . . . . . . . . . . . . 54
4.3 Forma Polar das Equaes de Cauchy-Riemann . . 58
4.4 Funes Harmnicas . . . . . . . . . . . . . . . . . 61
4.5 Concluso . . . . . . . . . . . . . . . . . . . . . . . 64
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 64
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 65
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 66
Aula 5: Funes Elementares do Clculo Complexos 1
69
5.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 70
5.2 Funo Exponencial . . . . . . . . . . . . . . . . . . 70
5.3 Propriedades da Funo Exponencial . . . . . . . . 71
5.4 Derivada da Funo Exponencial . . . . . . . . . . . 74
5.5 Funo Logaritmo . . . . . . . . . . . . . . . . . . . 74
5.6 Propriedades da Funo Logaritmo . . . . . . . . . 75
5.7 Derivada da Funo Logaritmo . . . . . . . . . . . . 76
5.8 Concluso . . . . . . . . . . . . . . . . . . . . . . . 78
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 78
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 80
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 80
Aula 6: Funes Elementares do Clculo Complexos 2
83
6.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 84
6.2 Funes Trigonomtricas . . . . . . . . . . . . . . . 84
6.3 Propriedades das Funes Trigonomtricas . . . . . 86
6.4 Funes Trigonomtricas Inversas . . . . . . . . . . 88
6.5 Derivada das Funes Trigonomtricas . . . . . . . 90
6.6 Funes Hiperblicas . . . . . . . . . . . . . . . . . 91
6.7 Propriedades das Funes Hiperblicas . . . . . . . 93
6.8 Funes Hiperblicas Inversas . . . . . . . . . . . . 94
6.9 Derivada das Funes Hiperblicas . . . . . . . . . 96
6.10 Concluso . . . . . . . . . . . . . . . . . . . . . . . 97
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 98
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 101
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 101
Aula 7: Integrao Complexa 103
7.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 104
7.2 Integrao Complexa . . . . . . . . . . . . . . . . . 104
7.3 Integrais de Linha Reais . . . . . . . . . . . . . . . 105
7.4 Relao entre Integrais de Linha Complexa e Real . 106
7.5 Integral Indenida . . . . . . . . . . . . . . . . . . . 109
7.6 Concluso . . . . . . . . . . . . . . . . . . . . . . . 109
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 109
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 110
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 111
Aula 8: Teoremas de Cauchy 113
8.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 114
8.2 Preliminares . . . . . . . . . . . . . . . . . . . . . . 114
8.3 Teoria de Cauchy . . . . . . . . . . . . . . . . . . . 115
8.4 Frmula Integral de Cauchy . . . . . . . . . . . . . . 123
8.5 Concluso . . . . . . . . . . . . . . . . . . . . . . . 129
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 129
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 130
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 130
Aula 9: Convergncia de Sries de Nmeros Complexos
133
9.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 134
9.2 Seqncias de Nmeros Complexos . . . . . . . . . 134
9.3 Alguns Teoremas . . . . . . . . . . . . . . . . . . . 135
9.4 Sries de Nmeros Complexos . . . . . . . . . . . . 138
9.5 Sries de Potncia . . . . . . . . . . . . . . . . . . 141
9.6 Concluso . . . . . . . . . . . . . . . . . . . . . . . 145
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 145
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 148
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 148
Aula 10: Sries de Laurent 151
10.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 152
10.2 Sries de Laurent . . . . . . . . . . . . . . . . . . . 152
10.3 Concluso . . . . . . . . . . . . . . . . . . . . . . . 160
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 160
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 160
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 161
Aula 11: Singularidades de Funes de Variveis Complexas
163
11.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 164
11.2 Pontos Singulares de Funes Complexas . . . . . . 164
11.3 Classicao de Pontos Singulares Isolados . . . . . 164
11.4 Concluso . . . . . . . . . . . . . . . . . . . . . . . 169
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 170
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 171
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 172
Aula 12: Clculo de Resduos 173
12.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 174
12.2 Resduos . . . . . . . . . . . . . . . . . . . . . . . 174
12.3 Concluso . . . . . . . . . . . . . . . . . . . . . . . 180
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 180
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 182
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 182
Aula 13: Aplicaes do Teorema dos Resduos 183
13.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 184
13.2 Algumas Aplicaes do Teorema dos Resduos . . . 184
13.3 Concluso . . . . . . . . . . . . . . . . . . . . . . . 190
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 190
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 191
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 191
Aula 14: Transformaes Conformes 193
14.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 194
14.2 Transformaes Conformes . . . . . . . . . . . . . . 194
14.3 Exemplos de Algumas Transformaes Conformes . 197
14.3.1 Transformaes de Mbius . . . . . . . . . . 198
14.3.2 Pontos xos de uma Aplicao . . . . . . . . 199
14.4 Concluso . . . . . . . . . . . . . . . . . . . . . . . 201
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 201
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 202
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 202
Aula 15: Transformaes Conformes: Aplicaes 205
15.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 206
15.2 Problemas de Dirichlet e de Neumann . . . . . . . . 206
15.2.1 Problemas de Dirichlet . . . . . . . . . . . . 210
15.2.2 Problemas de Neumann . . . . . . . . . . . 210
15.2.3 Aplicaes ao Escoamento de Fluidos . . . . 211
15.2.4 Escoamento em Torno de Obstculos . . . . 213
15.3 Concluso . . . . . . . . . . . . . . . . . . . . . . . 215
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 215
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 216
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 217
AULA
1
lgebra dos Nmeros
Complexos
META:
Apresentar a lgebra dos nmeros complexos.
OBJETIVOS:
Ao m da aula os alunos devero ser capazes de:
Denir e efetuar as operaes algbricas no corpo C.
Calcular razes e potncias em C.
PR-REQUISITOS
Os conhecimentos bsicos, da disciplina Clculo III.
lgebra dos Nmeros Complexos
1.1 Introduo
Caros alunos iniciamos aqui nosso curso de Variveis Com-
plexas com o tema lgebra dos Nmeros Complexos. Vamos aqui
estabelecer as bases algbricas dos nmeros complexos como um
corpo no ordenado i.e. as operaes de soma e produto denidas
para os nmeros complexos tm as mesmas propriedades que as da
soma e produto de nmeros reais.
1.2 Um Pouquinho de Histria
interessante notar que a descoberta dos nmeros complexos no
foi devida a soluo de equaes do segundo grau x
2
+ ax + b =
0, a, b R e sim devido a descoberta da soluo para a equao
cbica em sua forma geral x
3
+ax
2
+bx+c = 0, a, b, c R. Histori-
camente a idia de nmeros complexos apareceu com o Matemtico
italiano Gerolamo Cardano, que os chamou de ctcius. Scip-
ione del Ferro, Matemtico italiano, por volta de 1510, encon-
trou uma forma geral para a soluo da equao cbica incom-
pleta da forma x
3
+ px + q = 0 porm, morreu sem publica-la.
Seu aluno Antonio Maria Fior. conhecendo a soluo, prope
um desao a outro Matemtico italiano Nicol Fontana, apelidado
de Tartaglia. Tartaglia, muito embora no conhecesse a soluo
dos problemas, conseguiu deduzir a frmula para equaes cbi-
cas da forma x
3
+ px + q = 0 quanto para x
3
+ px
2
+ q = 0
e venceu a disputa. Tartaglia, com a mudana de variveis y =
x
a
3
reduziu a equao geral da cbica x
3
+ ax
2
+ bx + c = 0
forma y
3
+ py + q = 0 cuja soluo j tinha demonstrado ser
14
Variveis Complexas
AULA
1
x =
3
q
2

_
_
q
2
_
2
+
_
p
3
_
3
+
3
q
2
+
_
_
q
2
_
2
+
_
p
3
_
3
. Foi Rafael
Bombelli, engenheiro hidrulico nascido em Bolonha, Itlia, em
1530, quem conseguiu atravessar a barreira e chegar aos novos
nmeros. Bombelli, estudando a equao x
3
15x 4 = 0 por in-
speo vericou que x = 4 era soluo. Dividindo x
3
15x4 por
x4 encontrou x
2
+4x+1 = 0 cujas solues so reais porm, sub-
stituindo na frmula de Tartaglia encontramos x =
3
_
2 +
121+
3
_
2
121. Por um lado a frmula de Tartaglia estava correta

por outro

121 era, at ento, visto com impossvel. A idia de
Bombelli foi a de que
3
_
2 +
121 e
3
_
2
121 deveriam ser

nmeros da forma a +
b e a
b respectivamente. Aps, um
bocado de conta (vale a pena refaze-las) encontrou a = 2 e b = 1
e estavam descoberto os nmeros complexos.
1.3 Nmeros Complexos
Vamos agora por a mo na massa comeando pela incio. Isto ,
denindo o que vem a ser nmeros complexos.
Denio 1.1. Um nmero complexo z = (x, y) um par or-
denado onde x, y R com soma e produto dados por: z
1
, z
1
,
z
1
= (x
1
, y
1
) e z
2
= (x
2
, y
2
).
_
_
_
z
1
+ z
2
def
= (x
1
+ x
2
, y
1
+ y
2
)
z
1
.z
1
def
= (x
1
x
2
y
1
y
2
, x
1
y
2
+ x
2
y
1
)
OBS 1.1. Denotamos C o conjunto de todos os nmeros com-
plexos munido das estruturas aditiva e multiplicativa dadas acima.
15
A igualdade de nmeros complexos derivada da igualdade de
pares ordenados i.e.
Denio 1.2. Seja z
1
= (x
1
, y
1
) e z
2
= (x
2
, y
2
) dois nmeros
complexos. z
1
= z
2
se, somente se x
1
= x
2
e y
1
= y
2
.
OBS 1.2. Apesar de ser denido como par ordenado de nmeros
complexos, os nmeros complexos no tem paralelo com R
2
pois,
em R
2
no existe estrutura multiplicativa como nos complexos.
Os nmeros complexos possuem, entre outras, as seguintes pro-
priedades:
z
1
, z
2
, z
3
C
i) z
1
+ z
2
= z
2
+ z
1
simetria da soma
ii) z
1
.z
2
= z
2
.z
1
simetria da multiplicao
iii) (z
1
+ z
2
) + z
3
= z
1
+ (z2 + z
3
) associatividade da soma
iv) (z
1
.z
2
).z
3
= z
1
.(z
2
.z
3
) associatividade da multiplicao
v) (0, 0) o neutro aditivo
vi) (1, 0) o neutro multiplicativo
vii) se z = (x, y) ento z = (x, y) o simtrico aditivo.
viii) se z = (x, y) = (0, 0) ento z
1
=
_
x
x
2
+ y
2
,
y
x
2
+ y
2
_
o
simtrico multiplicativo
ix) z
1
.(z
2
+ z
3
) = z
1
.z
2
+ z
1
.z
3
distributividade da multiplicao
sobre a soma
OBS 1.3. Fazendo as seguintes identicaes: 1 = (1, 0) e =
(0, 1) podemos escrever um nmero complexo z = (x, y) como
16
Variveis Complexas
AULA
1
z = x + y, que uma forma mais simples de se manipular desde
que ponhamos
2
= 1. Nesta forma a soma e a multiplicao
cam dadas por: se z
1
, z
2
C, z
1
= x
1
+y
1
e z
2
= x
2
+y
2
ento
z
1
+ z
2
= (x
1
+ x
2
) + (y
1
+ y
2
)
z
1
.z
2
= (x
1
x
2
y
1
y
2
) + (x
1
y
2
x
2
y
1
)
Denio 1.3. Seja z = x + y C um nmero complexo. De-
nimos as partes reais e partes imaginria de z, denotadas Re(z) e
Im(z) respectivamente, por:
Re(z) = x e Im(z) = y
OBS 1.4. Dado um nmero complexo z = x + y C, podemos
representa-lo gracamente como um ponto do plano xy. Desta
forma dando sentido prxima denio.
Denio 1.4. Dado um nmero complexo z = x + y C, de-
nimos o mdulo de z, denotado |z|, por:
|z|
def
=
_
x
2
+ y
2
(1.1)
Um conceito importante a ser em seguida denido o de conjugado.
A saber:
Denio 1.5. Seja z = x + y C um nmero complexo. De-
nimos o conjugado de z, denotado z por:
z
def
= x y
OBS 1.5. O mdulo e o conjugado esto relacionados por: |z|
2
=
z. z.
Algumas propriedades do mdulo:
z
1
, z
2
C
17
x
y
z
z
Figura 1.1: Conjugado de um nmero complexo
i) z
1
| 0
ii) |z
1
.z
2
| = |z
1
|.|z
2
|
iii) |z
1
+ z
2
| |z
1
| +|z
2
|
iv) se z = x + y ento |z| |x| e |z| |y|
Algumas propriedades do conjugado:
z
1
, z
2
, z C
i) z
1
+ z
2
= z
1
+ z
2
ii) z
1
.z
2
= z
1
.z
2
iii) x = Re(z) =
z + z
2
iv) y = Im(z) =
z z
2
Como podemos associar um nmero complexo z = x + y C a
um ponto do plano xy, podemos usar coordenadas polares e denir
uma nova forma de representao d nmeros complexos. A saber:
18
Variveis Complexas
AULA
1
x
y
z = r cos() + r sin()
r
Figura 1.2: Forma polar de um nmero complexo

Denio 1.6. Seja z = x + y C um nmero complexo.
Fazendo x = r cos() e y = r sin() a representao:
z = r cos() + r sin()
dita representao polar do nmero z.
OBS 1.6. O mdulo de z dado por:
|z| =
_
(r cos())
2
+ (r sin())
2
=
_
r
2
cos
2
() + r
2
sin
2
()
=
_
r
2
(cos
2
() + sin
2
())
=
r
2
= r
Denio 1.7. Dado um nmero complexo z C em sua forma
polar z = r cos()+r sin() denimos o argumento de z, denotado
arg(z) por: arg(z) = .
OBS 1.7. O argumento de um nmero complexo tem uma in-
nidade de valores j que cos( + 2k) = cos(), k Z e sin( +
2k) = sin(), k Z. qualquer dos + 2k pode ser um argu-
mento.
OBS 1.8. Se z = r cos() + r sin() e w = cos() + sin().
19
Fazendo o produto z.w temos:
z.w = (r cos() + r sin()).( cos() + sin())
= r(cos() cos() sin() sin())
+ r(cos() sin() + sin() cos())
= r cos( + ) + r sin( + )
OBS 1.9. Da observao acima tiramos: Se z = r cos()+r sin()
e w = cos() + sin() ento
arg(z.w) = arg(z) + arg(w)
a frmula acima pode ser interpretada assim: se arg(z) um argu-
mento de z e arg(w) um argumento de w ento arg(z)+arg(w)
um argumento de z.w e um argumento de z.w pode ser decomposto
na soma de um argumento de z mais um argumento de w.
1.4 Concluso
Na aula de hoje, vimos que embora denidos inicialmente como
pares ordenados de R
2
, os nmeros complexos possuem um estru-
tura multiplicativa que torna C diferente de R
2
.
RESUMO
No nosso resumo da Aula 01 constam os seguintes tpicos:
Denio
Um nmero complexo z = (x, y) um par ordenado onde x, y R
20
Variveis Complexas
AULA
1
com soma e produto dados por: z
1
, z
1
, z
1
= (x
1
, y
1
) e z
2
=
(x
2
, y
2
).
_
_
_
z
1
+ z
2
def
= (x
1
+ x
2
, y
1
+ y
2
)
z
1
.z
1
def
= (x
1
x
2
y
1
y
2
, x
1
y
2
+ x
2
y
1
)
Algumas Propriedades
Os nmeros complexos possuem, entre outras, as seguintes pro-
priedades:
z
1
, z
2
, z
3
C
i) z
1
+ z
2
= z
2
+ z
1
simetria da soma
ii) z
1
.z
2
= z
2
.z
1
simetria da multiplicao
iii) (z
1
+ z
2
) + z
3
= z
1
+ (z2 + z
3
) associatividade da soma
iv) (z
1
.z
2
).z
3
= z
1
.(z
2
.z
3
) associatividade da multiplicao
v) (0, 0) o neutro aditivo
vi) (1, 0) o neutro multiplicativo
vii) se z = (x, y) ento z = (x, y) o simtrico aditivo.
viii) se z = (x, y) = (0, 0) ento z
1
=
_
x
x
2
+ y
2
,
y
x
2
+ y
2
_
o
simtrico multiplicativo
ix) z
1
.(z
2
+ z
3
) = z
1
.z
2
+ z
1
.z
3
distributividade da multiplicao
sobre a soma
Denio
Fazendo as seguintes identicaes: 1 = (1, 0) e = (0, 1) podemos
escrever um nmero complexo z = (x, y) como z = x + y
Seja z = x + y C um nmero complexo. Denimos as partes
21
reais e partes imaginria de z, denotadas Re(z) e Im(z) respecti-
vamente, por: Re(z) = x e Im(z) = y.
Denio
Dado um nmero complexo z = x + y C, denimos o mdulo
de z, denotado |z|, por: |z|
def
=
_
x
2
+ y
2
.
Denio
Seja z = x +y C um nmero complexo. Denimos o conjugado
de z, denotado z por: z
def
= x y.
Algumas Propriedades do Mdulo
Algumas propriedades do mdulo:
z
1
, z
2
C
i) z
1
| 0
ii) |z
1
.z
2
| = |z
1
|.|z
2
|
iii) |z
1
+ z
2
| |z
1
| +|z
2
|
iv) se z = x + y ento |z| |x| e |z| |y|
Algumas Propriedades do Conjugado
Algumas propriedades do conjugado:
z
1
, z
2
, z C
i) z
1
+ z
2
= z
1
+ z
2
ii) z
1
.z
2
= z
1
.z
2
iii) x = Re(z) =
z + z
2
iv) y = Im(z) =
z z
2
Denio
Seja z = x + y C um nmero complexo. Fazendo x = r cos()
22
Variveis Complexas
AULA
1
e y = r sin() a representao: z = r cos() + r sin() dita
representao polar do nmero z.
Produto na Forma Polar
Se z = r cos() + r sin() e w = cos() + sin(). Fazendo o
produto z.w temos:
z.w = r cos( + ) + r sin( + )
PRXIMA AULA
Em nossa prxima aula introduziremos o conceito de funes de
variveis complexas e o conceito de limites no corpo dos nmeros
complexos. Veremos tambm, algumas propriedades dos limites de
funes complexas.
ATIVIDADES
Deixamos como atividades as seguintes questes:
ATIV. 1.1. Sejam z
1
e z
2
dois nmeros complexos. Mostre que
z
1
.z
2
= z
2
.z
1
.
Comentrio: Use as propriedades comutativas dos nmeros
reais.
ATIV. 1.2. Sejam z = r cos() + r sin(). Mostre que:
z
n
= r
n
cos(n) + r
n
sin(n)
Comentrio: Use o princpio da induo.
23
LEITURA COMPLEMENTAR
SPIEGEL, Murray R., Variveis Complexas, Coleo Schaum, Ed-
itora McGraw-Hill do Brasil, 1973.
SOARES, Mrcio G., Clculo em uma Varivel Complexa, Coleo
Matemtica Universitria, Editora SBM, 2009.
BROWN, James W. and CHURCHILL, Ruel R., Complex Vari-
ables and Applications Editora McGraw Hill, 2008
FERNANDEZ, Ceclia S. e BERNARDES Jr, Nilson C. Introduo
s Funes de uma Varivel Complexa. Editora SBM, 2006.
CERI, Cristina e MONTEIRO, Marta S. A Histria dos Nmeros
Complexos. http://www.ime.usp.br/ martha/caem/complexos.pdf.
Acessado em 02/06/2011.
24
AULA
2
Limites de Funes
de Variveis Complexas
META:
Introduzir o conceito de limite de funes de variveis complexas.
OBJETIVOS:
Denir limites de funes de variveis complexas e
determinar o limite de algumas funes de variveis complexas.
PR-REQUISITOS
Aula01 de Variveis Complexas e os conhecimentos bsicos, da dis-
ciplina Clculo II.
Limites de Funes de Variveis Complexas
2.1 Introduo
Caros alunos o tema de nossa aula de hoje Limites de Funes
de Variveis Complexas. Antes de entrarmos no tema central
no entanto, faremos um pequeno passeio pela topologia do plano
complexo. A rigor, as noes topolgicas aqui expostas no se
restringem ao plano complexo. Estes conceitos, em especial o de
bola aberta sero usados nas denies de limite e continuidade de
funes complexas.
2.2 Topologia do Plano Complexo
Vamos iniciar nossa aula com as denies, com alguns pequenos
comentrios, de alguns conceitos topolgicos. Comeando por:
Denio 2.1. Sejam z
0
C um ponto do plano complexo e r > 0
um real positivo. denimos a bola aberta de centro em z
0
e raio r
por:
B
r
(z
0
) = {z C||z z
0
| < r}
OBS 2.1. Apesar do nome bola aberta, a representao geomtrica
de uma bola aberta de centro em z
0
C e raio r > 0 (ver gura
2.1), no plano complexo C, o interior um disco cujo centro z
0
e cujo raio r.
Podemos denir tambm, a bola fechada incluindo as bordas i.e.
Denio 2.2. Sejam z
0
C um ponto do plano complexo e r > 0
um real positivo. denimos a bola fechada de centro em z
0
e raio
r por:
B
r
(z
0
) = {z C||z z
0
| r}
26
Variveis Complexas
AULA
2
x
y
z
0
r
1
B
r
(z
0
)
Figura 2.1: Bola Aberta no Plano Complexo
Denio 2.3. Seja D C um subconjunto do plano complexo.
Dizemos que D um conjunto aberto se, somente se: Para todo
z D, existe > 0 tal que B
(z) D.
OBS 2.2. Em un conjunto aberto cada ponto centro de alguma
bola aberta inteiramente contida no conjunto. Em particular cada
bola aberta em C por sua vez um conjunto aberto. Tambm
aberto o plano complexo C. E o conjunto vazio aberto, pois
satisfaz a denio de conjunto vazio.
Denio 2.4. Seja D C um subconjunto do plano complexo.
Dizemos que D um conjunto fechado se, somente se se comple-
mentar
C
(D) em relao a C for aberto.
OBS 2.3. Bolas fechadas so conjuntos fechados. Tambm
fechado o plano complexo C, visto que seu complementar, o con-
junto vazio , um conjunto aberto.
Denio 2.5. Sejam D C um subconjunto do plano complexo
e z D. Dizemos que z um ponto interior de D se, somente se
existe > 0 tal que B
(z) D.
27
OBS 2.4. Todos os pontos de um conjunto D aberto so pontos
interiores de D.
e z C. Dizemos que z um ponto exterior de D se, somente se
existe > 0 tal que B
(z)
C
(D).
e z C. Dizemos que z um ponto de fronteira de D se, somente
se para todo > 0, B
(z) D = e B
(z)
C
(D) = .
e z C. Dizemos que z um ponto de acumulao de D se,
somente se para todo > 0 tal que B
(z) D = .
OBS 2.5. Todos os pontos de um conjunto D aberto so pontos
de acumulao. Todos os pontos de fronteira de um conjunto D
so pontos de acumulao.
2.3 Funes de Variveis Complexas
Consideraremos aqui funes de variveis complexas, que questo
de economia sero chamadas simplesmente funes complexas.
Seja D C um subconjunto do plano complexo. Uma funo
complexa f uma regra que associa cada ponto z de D a um
nmero complexo denotado w. O nmero w chamado de o valor
de f no ponto z ou imagem de z por f e denotado f(z) i.e.
w = f(z)
OBS 2.6. Adotaremos tambm, a notao usual de funes i.e.
para indicar uma funo f de domnio D C em C usamos f :
D C C.
28
Variveis Complexas
AULA
2
Tambm, com o objetivo de simplicao e a menos que seja indi-
cado o contrrio, o domnio de D de f ser um conjunto aberto.
OBS 2.7. Desde que a imagem de uma funo complexa um
nmero complexo, podemos ter uma forma alternativa de repre-
sentar funes complexas pondo z = x + y e
f(z) = f(x + y) = u(x, y) + v(x, y)
onde as funes u : D C R e v : D C R so ditas
componentes real e imaginria de f respectivamente.
Exemplo 2.1. Para a funo f : C C dada por f(z) = z
3
suas
componentes so u(x, y) = x
3
3xy
2
e v(x, y) = 3x
2
y y
3
i.e.
f() pode ser escrita como:
f(z) = f(x + y) = (x + y)
3
= (x + y).(x + y).(x + y)
= ((x
2
y
2
) + 2xy).(x + y)
= (x
3
3xy
2
) + (3x
2
y y
3
)
2.4 Limites de Funes de Variveis Complexas
Comearemos diretamente pela denio de limite.
Denio 2.9. Seja f : D C C uma funo complexa de
domnio D aberto e z
0
D. Dizemos que L C o limite de f(z)
quando z tende a z
0
, denotado lim
zz
0
f(z) = L se, somente se para
todo > 0, existe > 0 tal que para todo z B
(z
0
) {z
0
} temos
f(z) B
(L)
OBS 2.8. A denio acima, traduzindo em palavras, quer dizer
que se L o limite de f(z) quando z se aproxima de z
0
a imagem
29
a imagem f(z) est em uma bola arbitrariamente pequena B
(L)
de centro em L.
Para ilustrar o clculo de limites usando a denio, veremos o
seguinte exemplo:
Exemplo 2.2. Seja f : C C dada por: f(z) =
_
_
_
z
3
, z =
0 , z =
.
Determinar o limite de f(z) quando z tende a .
SOLUO: Como
3
= suspeitamos que lim
z
f(z) = . Va-
mos comprovar, usando a denio de limite.
Para cada real positivo > 0, existe um real positivo > 0 tal
que:
z B
() {} temos: f(z) B
().
Podemos, de forma mais conveniente, descrever a situao acima
em termos de mdulo da seguinte forma:
z|0 < |z | < temos: |z
3
+| < .
Para ter isso escrevermos:
|z
3
+| = |z
3
3
|
= |(z )(z
2
+ z +
2
)|
|z |.|z
2
+ z +
2
| <
(2.2)
Se, temporariamente, limitarmos z de modo que |z| < 1 teremos:
|z| || |z | < 1
|z| 1 < 1
|z| < 2
(2.3)
30
Variveis Complexas
AULA
2
Da, teremos a seguinte limitao:
|z
2
+ z +
2
| < |z
2
+|z| +|
2
|
< |z|
2
+|z||| +||
2
< 7
(2.4)
Bom, agora podemos provar o limite:
>, > 0, = min{1, /7}|z, 0 < |z | < .
Como |z | < e = min{1, /7} temos que valem ao mesmo
tempo as seguintes desigualdades:
|z | < 1 e |z | < /7.
Da primeira desigualdade garantimos a desigualdade eqn 2.3.3
que por sua vez garante a desigualdade eqn 2.4.3.
Por outro lado, da segunda desigualdade temos:
|z | <

7
|z |.7 <
(2.5)
Das desigualdades eqn 2.5 e eqn 2.4.3 temos:
|z |.|z
2
+ z +
2
| <
|(z ).(z
2
+ z +
2
)| <
|z
3
3
| <
(2.6)
Da, temos:
>, > 0, = min{1, /7}|z, 0 < |z | < |z
3
+| <
Que podemos sintetizar como:
lim
z
f(z) =
Teorema 2.1. Sejam D C um aberto de C, f : D C C uma
funo complexa e z
0
D. Se lim
zz
0
f(z) = w
0
e lim
zz
0
f(z) = w
1
ento w
0
= w
1
.
31
OBS 2.9. O teorema acima garante que se existe o limite de f()
em um ponto z
0
ento este limite nico.
Teorema 2.2. Sejam D C um aberto de C, f : D C C
uma funo complexa de componentes f(z) = f(x+y) = u(x, y)+
v(x, y), z
0
= x
0
+y
0
D e w
0
= u
0
+v
0
C. Ento lim
zz
0
f(z) =
w
0
se, somente se: lim
xx
0
yy
0
u(x, y) = u
0
e lim
xx
0
yy
0
v(x, y) = v
0
.
Temos tambm o seguinte teorema que sintetiza algumas das pro-
priedades referentes a operaes com limites.
Teorema 2.3. Sejam D C um aberto de C, f, g : D C
C duas funes complexas e z
0
D tais que lim
zz
0
f(z) = f
0
e
lim
zz
0
g(z) = g
0
ento:
i) lim
zz
0
(f + g)(z) = lim
zz
0
f(z) + lim
zz
0
g(z) = f
0
+ g
0
ii) lim
zz
0
(f g)(z) = lim
zz
0
f(z) lim
zz
0
g(z) = f
0
g
0
iii) lim
zz
0
(f.g)(z) = lim
zz
0
f(z). lim
zz
0
g(z) = f
0
.g
0
iv) lim
zz
0
_
f
g
_
(z) =
lim
zz
0
f(z)
lim
zz
0
g(z)
=
f
0
g
0
se g
0
= 0
OBS 2.10. As propriedades dos limites de funes complexas re-
sumida no teorema 2.3 nostra basicamente que limites de funes
complexas tm as mesmas propriedades que funes de valores reais
quanto a operaes com limites.
2.5 Continuidade de Funes complexas
E vamos denio de imediato.
32
Variveis Complexas
AULA
2
Denio 2.10. Sejam D C um aberto de C, F : D C C
uma funo complexa e z
0
D. Dizemos que f() contnua se,
somente se:
lim
zz
)
f(z) = f(z
0
)
OBS 2.11. A equao da denio acima sintetiza trs requisitos
para a continuidade de uma funo em um ponto. Primeiro a
funo tem que ser denida no ponto. Segundo o limite lim
zz
)
f(z)
existe. E terceiro requerida a igualdade lim
zz
)
f(z) = f(z
0
).
OBS 2.12. Se a funo f() contnua em todos os pontos de seu
domnio D dizemos simplesmente que f() uma funo contnua.
O seguinte teorema caracteriza algumas das propriedades referen-
tes a funes contnuas.
Teorema 2.4. Sejam D C um aberto de C, f, g : D C C
e duas funes complexas contnuas em D e z
0
D ento:
i) (f + g)(z) contnua em z
0
ii) (f g)(z) contnua em z
0
iii) (f.g)(z) contnua em z
0
iv)
f
g
(z) contnua em z
0
se g(z) = 0, z D
OBS 2.13. As propriedades acima decorrem imediatamente das
propriedades das operaes com limites.
Teorema 2.5. Sejam D
1
, D
2
C, abertos de C, f : D
2
C C
e g : D
1
C D
2
C duas funes complexas contnuas em D
2
e D
1
respectivamente e z
0
D
1
ento:
lim
zz
0
(f g)(z) = f(g(z
0
))
33
OBS 2.14. O teorema acima diz em outras palavras que a com-
posta de funes contnua tambm uma funo contnua.
2.6 Concluso
Na aula de hoje, vimos que as mesmas noes topolgicas de R
2
podem ser estendidas ao plano complexo e que limites de funes
de valores complexos comportam-se tal e qual limites de funes
de valores reais, possuindo basicamente as mesmas propriedades
no que se refere s operaes com limites.
RESUMO
Topologia do Plano Complexo
Denimos os seguintes conceitos topolgicos no plano complexo:
Bola Aberta
Sejam z
0
C um ponto do plano complexo e r > 0 um real posi-
tivo. denimos a bola aberta de centro em z
0
e raio r por:
B
r
(z
0
) = {z C||z z
0
| < r}
Bola Fechada
Sejam z
0
C um ponto do plano complexo e r > 0 um real
positivo. denimos a bola fechada de centro em z
0
e raio r por:
B
r
(z
0
) = {z C||z z
0
| r}
Conjunto Aberto
Seja D C um subconjunto do plano complexo. Dizemos que D
34
Variveis Complexas
AULA
2
um conjunto aberto se, somente se: Para todo z D, existe > 0
tal que B
(z) D.
Conjunto Fechado
Seja D C um subconjunto do plano complexo. Dizemos que D
um conjunto fechado se, somente se se complementar
C
(D) em
relao a C for aberto.
Ponto Interior
Sejam D C um subconjunto do plano complexo e z D. Dize-
mos que z um ponto interior de D se, somente se existe > 0 tal
que B
(z) D.
Ponto Exterior
Sejam D C um subconjunto do plano complexo e z C. Dize-
mos que z um ponto exterior de D se, somente se existe > 0
tal que B
(z)
C
(D).
Ponto de Fronteira
mos que z um ponto de fronteira de D se, somente se para todo
> 0, B
(z) D = e B
(z)
C
(D) = .
Ponto de Acumulao
mos que z um ponto de acumulao de D se, somente se para
todo > 0 tal que B
(z) D = .
Funes Complexas
Podemos representar funes complexas de diversas formas como:
Para f : D C C podemos escrever:
w = f(z) ou
Se z = x+y podemos escrever f(z) = f(x+y) = u(x, y)+v(x, y)
onde u(x, y) e v(x, y) so ditas componentes de f().
35
Limites de Funes Complexas
Quanto a limites de funes complexas destacamos os seguintes
tpicos:
Denio
Seja f : D C C uma funo complexa de domnio D aberto e
z
0
D. Dizemos que L C o limite de f(z) quando z tende a
z
0
, denotado lim
zz
0
f(z) = L se, somente se para todo > 0, existe
> 0 tal que para todo z B
(z
0
) {z
0
} temos f(z) B
(L)
Teorema 1
Sejam D C um aberto de C, f : D C C uma funo
complexa e z
0
D. Se lim
zz
0
f(z) = w
0
e lim
zz
0
f(z) = w
1
ento
w
0
= w
1
.
Teorema 2
complexa de componentes f(z) = f(x + y) = u(x, y) + v(x, y),
z
0
= x
0
+ y
0
D e w
0
= u
0
+ v
0
C. Ento lim
zz
0
f(z) = w
0
se,
somente se: lim
xx
0
yy
0
u(x, y) = u
0
e lim
xx
0
yy
0
v(x, y) = v
0
.
Teorema 3 (Operaes com Limites)
Sejam D C um aberto de C, f, g : D C C duas funes
complexas e z
0
D tais que lim
zz
0
f(z) = f
0
e lim
zz
0
g(z) = g
0
ento:
i) lim
zz
0
(f + g)(z) = lim
zz
0
f(z) + lim
zz
0
g(z) = f
0
+ g
0
ii) lim
zz
0
(f g)(z) = lim
zz
0
f(z) lim
zz
0
g(z) = f
0
g
0
iii) lim
zz
0
(f.g)(z) = lim
zz
0
f(z). lim
zz
0
g(z) = f
0
.g
0
iv) lim
zz
0
_
f
g
_
(z) =
lim
zz
0
f(z)
lim
zz
0
g(z)
=
f
0
g
0
se g
0
= 0
Denio
Sejam D C um aberto de C, F : D C C uma funo
36
Variveis Complexas
AULA
2
complexa e z
0
D. Dizemos que f() contnua se, somente se:
lim
zz
)
f(z) = f(z
0
)
Propriedades da Funes Contnuas
Sejam D C um aberto de C, f, g : D C C duas funes
complexas e z
0
D tais que lim
zz
0
f(z) = f
0
e lim
zz
0
g(z) = g
0
ento:
i) lim
zz
0
(f + g)(z) = lim
zz
0
f(z) + lim
zz
0
g(z) = f
0
+ g
0
ii) lim
zz
0
(f g)(z) = lim
zz
0
f(z) lim
zz
0
g(z) = f
0
g
0
iii) lim
zz
0
(f.g)(z) = lim
zz
0
f(z). lim
zz
0
g(z) = f
0
.g
0
iv) lim
zz
0
_
f
g
_
(z) =
lim
zz
0
f(z)
lim
zz
0
g(z)
=
f
0
g
0
se g
0
= 0
PRXIMA AULA
A nossa prxima aula ser dedicada Derivao de Funes
Complexas onde veremos que a estrutura multiplicativa do corpo
dos nmeros complexos faz com que a derivao no plano complexo
seja signicativamente diferente da derivao em R
2
.
ATIVIDADES
ATIV. 2.1. Seja f : C C dada por: f(z) =
_
_
_
z
2
, z =
0 , z =
.
Mostrar que o limite de f(z) quando z tende a 1.
Comentrio: Volte ao texto e reveja com calma e ateno o
exemplo, ele lhe servir de guia.
37
ATIV. 2.2. Seja f : C C dada por: f(z) = az
2
+ bz + c, onde
a, b, c C. Mostrar que f() contnua em z
0
.
exemplo, ele lhe servir de guia.
ables and Applications Editora McGraw Hill, 2008.
38
AULA
3
Derivao Complexa
META:
Introduzir o conceito de derivada de funes de variveis com-
plexas.
OBJETIVOS:
Denir derivada de funes de variveis complexas e
determinar a derivada de algumas funes de variveis complexas.
PR-REQUISITOS
ciplina Clculo II.
Derivao Complexa
3.1 Introduo
Caros alunos em nossa aula de hoje veremos a Derivao Com-
plexa. Em muitos aspectos a derivao complexa tem as mesmas
propriedades da derivao real. Em outros porm a derivao com-
plexa peculiar e estas peculiaridades sero parte do tema de nossa
aula.
3.2 Derivao Complexa
Iniciaremos pela denio de derivada de uma funo complexa.
Denio 3.1. Sejam D C aberto, z
0
D e f : D C C
uma funo complexa. Denimos a derivada de f() no ponto z
0
,
denotada f
(z
0
), por:
f
(z
0
)
def
= lim
zz
0
f(z) f(z
0
)
z z
0
(3.7)
OBS 3.1. Est implcito na denio acima que a derivada de
f() dada pela expresso direita se, somente se o limite existe.
Podemos expressar tambm o limite usando uma nova varivel
z = z z
0
, z = z
0
+ z, onde z escolhido de modo que
tenhamos z D.
f
(z
0
)
def
= lim
zz
0
f(z
0
+ z) f(z
0
)
z
(3.8)
OBS 3.2. Para que a derivada de f() exista em um ponto z
0
D
necessrio que o limite da denio seja independente da maneira
como z se aproxima de z
0
.
Vejamos, agora, dois exemplos:
40
Variveis Complexas
AULA
3
Exemplo 3.1. Seja f : C C dada por f(z) = z
3
. Calculemos
sua derivada.
SOLUO: Seja z
0
C temos:
f(z
0
+ z) f(z
0
)
z
=
(z
0
+ z)
3
z
3
0
z
=
z
3
0
+ 3z
2
0
z + 3z
0
(z)
2
+ (z)
3
z
3
0
z
=
3z
2
0
z + 3z
0
(z)
2
+ (z)
3
z
= 3z
2
0
+ 3z
0
z + (z)
2
Passando o limite z 0 e usando a denio de derivada eqn
3.8 temos:
lim
z0
f(z
0
+ z) f(z
0
)
z
= lim
z0
(3z
2
0
+ 3z
0
z + (z)
2
)
f
(z
0
) = 3z
2
0

Vamos ao segundo exemplo:
Exemplo 3.2. Seja f : C C dada por f(z) = |z|
2
. Calculemos
sua derivada.
SOLUO: Seja z
0
C temos:
f(z
0
+ z) f(z
0
)
z
=
|z
0
+ z|
2
|z
0
|
2
z
=
(z
0
+ z)(z
0
+ z) z
0
z
0
z
=
z
0
z
0
+ z
0
z + z
0
z + zz z
0
z
0
z
=
z
0
z + z
0
z + zz
z
= z
0
+ z
0
z
z
+ z
Vamos passar o limite z 0 por dois caminhos distintos.
Caminho 1: Vamos fazer z 0 seguindo um caminho paralelo
ao eixo real. Neste caso z = x+0 = x, z = x0 = x.
41
Derivao Complexa
Da,
z
z
= 1. E passando o limite z 0 que equivalente, neste
caso a x 0 temos:
f
(z
0
) = z
0
+ z
0
Caminho 2: Vamos fazer z 0 seguindo um caminho paralelo
ao eixo imaginrio. Neste caso z = 0 + y = y, z =
0 y = y. Da,
z
z
= 1. E passando o limite z 0
que equivalente, neste caso a y 0 temos:
f
(z
0
) = z
0
z
0
Da, f(z) = |z|
2
no derivvel em ponto nenhum do plano com-
plexo, exceto em z
0
= 0.
3.3 Regras de Derivao Complexa
Se f() e g() so funes derivveis em um ponto z
0
C ento
valem as seguintes regras de derivao:
1. (f + g)
(z
0
) = f
(z
0
) + g
(z
0
)
2. (f g)
(z
0
) = f
(z
0
) g
(z
0
)
3. (f.g)
(z
0
) = f(z
0
).g
(z
0
) + g(z
0
).f
(z
0
)
4.
_
f
g
_
(z
0
) =
f(z
0
).g
(z
0
) g(z
0
).f
(z
0
)
g
2
(z
0
)
se g(z
0
) = 0
Demonstraremos, agora, uma das regras de derivao complexa.
A saber.
Se f() e g() so funes derivveis em um ponto z
0
C ento
vale a seguinte regra de derivao:
_
f
g
_
(z
0
) =
f(z
0
).g
(z
0
) g(z
0
).f
(z
0
)
g
2
(z
0
)
se g(z
0
) = 0.
42
Variveis Complexas
AULA
3
PROVA: Para simplicar trocaremos z por . Usando a denio
de derivada complexa temos:
_
f
g
_
(z
0
) = lim
0
_
f
g
_
(z
0
+ )
_
f
g
_
(z
0
)
= lim
0
f(z
0
+ )
g(z
0
+ )

f(z
0
)
g(z
0
)
= lim
0
f(z
0
+ )g(z
0
) f(z
0
)g(z
0
+ )
g(z
0
+ )g(z
0
)
= lim
0
f(z
0
+ )g(z
0
) f(z
0
)g(z
0
+ )
g(z
0
+ )g(z
0
)
(3.9)
Adicionando o termo nulo f(z
0
)g(z
0
) + f(z
0
)g(z
0
) ao denomi-
nador da equao eqn 3.9.4 acima temos:
_
f
g
_
(z
0
) = lim
0
f(z
0
+ )g(z
0
) f(z
0
)g(z
0
)
g(z
0
+ )g(z
0
)
lim
0
f(z
0
)g(z
0
+ ) f(z
0
)g(z
0
)
g(z
0
+ )g(z
0
)
= lim
0
g(z
0
)
g(z
0
+ )g(z
0
)
f(z
0
+ ) f(z
0
)
lim
0
f(z
0
)
g(z
0
+ )g(z
0
)
g(z
0
+ ) g(z
0
)
= lim
0
g(z
0
)
g(z
0
+ )g(z
0
)
lim
0
f(z
0
+ ) f(z
0
)
lim
0
f(z
0
)
g(z
0
+ )g(z
0
)
lim
0
g(z
0
+ ) g(z
0
)
(3.10)
Como as funes f() e g() so derivveis, so tambm contnuas
e da denio de derivada complexa temos:
43
Derivao Complexa
lim
0
g(z
0
)
g(z
0
+ )g(z
0
)
=
g(z
0
)
gr(z
0
)
lim
0
f(z
0
)
g(z
0
+ )g(z
0
)
=
f(z
0
)
g
2
(z
0
)
f
(z
0
) = lim
0
f(z
0
+ ) f(z
0
)
(z
0
) = lim
0
g(z
0
+ ) g(z
0
)
Logo a ltima equao eqn 3.10.3 passa a:

_
f
g
_
(z
0
) =
g(z
0
)
g
2
(z
0
)
f
(z
0
)
f(z
0
)
g
2
(z
0
)
g
(z
0
)
=
g(z
0
)f
(z
0
) f(z
0
)g
(z
0
)
g
2
(z
0
)

3.4 Equaes de Cauchy-Riemann
Nesta seo estabeleceremos condies necessrias e suciente para
garantir a existncia da derivada de uma funo de variveis com-
plexas em um ponto do plano complexo.
Teorema 3.1. Seja D C aberto e suponhamos que f : D C
C, f(z) = u(x, y) + v(x, y) e f
(z) existam na vizinhana de um

ponto z
0
= x
0
+ y
0
C. Ento as derivadas parciais de primeira
ordem de u e v com relao a x e a y existem e satisfazem:
u
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
)
v
x
(x
0
, y
0
) =
u
y
(x
0
, y
0
)
(3.11)
PROVA: Da hiptese do teorema f(z) = u(x, y)+v(x, y) e f
(z)
esto denidas em uma vizinhana do ponto z
0
= x
0
+ y
0
C.
Da denio de derivada temos:
f
(z
0
)
def
= lim
zz
0
f(z) f(z
0
)
z z
0
(3.12)
44
Variveis Complexas
AULA
3
Podemos tomar dois casos (caminhos):
Caso 1 podemos fazer z z
0
seguindo o caminho z = x + y
0
,
z z
0
= x + y
0
(x
0
+ y
0
) = x x
0
que equivalente a x x
0
e temos:
f(z) f(z
0
)
z z
0
=
u(x, y
0
) + v(x, y
0
) u(x
0
+, y
0
) v(x
0
, y
0
)
x x
0
=
u(x, y
0
) u(x
0
, y
0
)
x x
0
+
v(x, y
0
) v(x
0
, y
0
)
x x
0
Passando o limite z z
0
(de forma equivalente) x x
0
temos:
lim
zz
0
f(z) f(z
0
)
z z
0
= lim
xx
0
u(x, y
0
) u(x
0
, y
0
)
x x
0
f
(z
0
) =
u
x
(x
0
, y
0
) +
v
x
(x
0
, y
0
)
(3.13)
Caso 2 podemos fazer z z
0
seguindo o caminho z = x
0
+ y,
z z
0
= x
0
+y (x
0
+y
0
) = (y y
0
) que equivalente a y y
0
e temos:
f(z) f(z
0
)
z z
0
=
u(x
0
, y) + v(x
0
, y) u(x
0
+, y
0
) v(x
0
, y
0
)
x x
0
=
u(x
0
, y) u(x
0
, y
0
)
(y y
0
)
+
v(x
0
, y) v(x
0
, y
0
)
(y y
0
)
=
u(x
0
, y) u(x
0
, y
0
)
(y y
0
)
+
v(x
0
, y) v(x
0
, y
0
)
(y y
0
)
0
(de forma equivalente) x x
0
temos:
lim
zz
0
f(z) f(z
0
)
z z
0
= lim
yy
0
u(x
0
, y) u(x
0
, y
0
)
(y y
0
)
f
(z
0
) =
u
y
(x
0
, y
0
) +
v
y
(x
0
, y
0
)
=
v
y
(x
0
, y
0
)
u
y
(x
0
, y
0
)
(3.14)
Comparando as equaes eqn 3.13.3 e eqn 3.14.3 temos:
u
x
(x
0
, y
0
) +
v
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
)
u
y
(x
0
, y
0
)
45
Derivao Complexa
Da igualdade de nmeros complexos temos:
u
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
)
v
x
(x
0
, y
0
) =
u
y
(x
0
, y
0
)
Antes de provar a sucincia, provaremos um lema que ser muito
til.
Lema 3.1. Sejam D R
2
um aberto e f : D R
2
R uma
funo com derivadas parciais e D, contnuas em (x
0
, y
0
) D.
Ento:
f(x
0
+, y
0
+) f(x
0
, y
0
) =
f
x
(x
0
, y
0
)+
f
y
(x
0
, y
0
) ++
onde 0 e 0 quando 0 e 0.
PROVA: Comeamos por escrever a diferena f(x
0
+, y
0
+)
f(x
0
, y
0
) como:
f(x
0
+ , y
0
+ ) f(x
0
, y
0
) = f(x
0
+ , y
0
+ ) f(x
0
, y
0
+ )
+ f(x
0
, y
0
+ ) f(x
0
, y
0
)
(3.15)
Do teorema do valor mdio para funes de uma varivel real existe
t (0, 1) tal que:
f(x
0
+ , y
0
+ ) f(x
0
, y
0
+ ) =
f
x
(x
0
+ t, y
0
+ )
Como
f
x
contnua em D a diferena:
(, ) =
f
x
(x
0
+ t, y
0
+ )
f
x
(x
0
, y
0
)
tende a zero quando 0 e 0. Da, temos:
f(x
0
+ , y
0
+ ) f(x
0
, y
0
+ ) =
_
f
x
(x
0
, y
0
) +
_
(3.16)
46
Variveis Complexas
AULA
3
Do mesmo modo temos:
f(x
0
, y
0
+ ) f(x
0
, y
0
) =
_
f
y
(x
0
, y
0
) +
_
(3.17)
portanto das equaes eqn 3.15, eqn 3.16 e eqn 3.17 temos
f(x
0
+, y
0
+) f(x
0
, y
0
) =
f
x
(x
0
, y
0
)+
f
y
(x
0
, y
0
) ++
e ca provado o lema.
Vamos, agora, provar a sucincia.
Teorema 3.2. Seja D C aberto e suponhamos que f : D C
C seja uma funo complexa tal que as derivadas parciais
u
x
,
v
x
,
u
y
e
v
y
existam em D e so contnuas em z
0
= x
0
+ y
0
. Se as
condies de Cauchy-Riemann so satisfeitas em z
0
,
u
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
)
v
x
(x
0
, y
0
) =
u
y
(x
0
, y
0
)
ento f derivvel em z
0
.
PROVA: Como, da hiptese,
u
x
e
u
y
so contnuas, aplicando
o lema a u(x, y), temos:
u = u(x
0
+ , y
0
+ ) u(x
0
, y
0
)
=
u
x
(x
0
, y
0
) +
u
y
(x
0
, y
0
) +
1
+
1
(3.18)
onde
1
0 e
1
0 quando 0 e 0.
Do mesmo modo, Como, da hiptese,
v
x
e
v
y
so contnuas,
aplicando o lema a v(x, y), temos:
v = v(x
0
+ , y
0
+ ) v(x
0
, y
0
)
=
v
x
(x
0
, y
0
) +
v
y
(x
0
, y
0
) +
2
+
2
(3.19)
47
Derivao Complexa
onde
2
0 e
2
0 quando 0 e 0. Das equaes eqn
3.18 e eqn 3.19 temos:
w = u + v
=
_
u
x
+
v
x
_
+
_
u
y
+
v
y
_
+ +
(3.20)
onde omitimos o argumento (x
0
, y
0
) das derivadas parciais e =
1
+
2
e =
1
+
2
.
Das equaes de Cauchy-Riemann podemos reescrever a equao
eqn 3.20 como:
w =
_
u
x
+
v
x
_
+
_
v
x
+
u
x
_
+ +
=
_
u
x
+
v
x
_
( + ) + +
(3.21)
Dividindo a equao eqn 3.21 por z = + temos:
w
z
=
_
u
x
+
v
x
_
+
+
+
(3.22)
Antes de fazer z 0 em eqn 3.22 temos que mostrar que
lim
z0
+
+
= 0. Para isto tomando o mdulo da expresso
e usando a desigualdade triangular temos:
+
+
||
+||
(3.23)
Como
=
||
_
2
+
2
1 e
=
||
_
2
+
2
1
podemos reescrever eqn 3.23 como:
0
+
+
|| +|| (3.24)
Passando o limite z 0 em eqn 3.24 lembrando que 0 e
0 quando z 0 temos:
0
+
+
0
48
Variveis Complexas
AULA
3
e portanto lim
z0
+
+
= 0 e passando o limite z 0 em eqn
3.22 temos:
f
(z
0
) = lim
z0
w
z
=
u
x
+
v
x
Portanto a derivada f
(z
0
) existe e nica.
Agora um exemplo de aplicao das equaes de Cauchy-Riemann.
Em seo anterior vimos que a funo f(z) = z
3
era derivvel
usando para isso a denio de derivada complexa. Por outro
lado podemos expressar a funo em suas componentes reais e
imaginrias da seguinte forma:
f(z) = z
3
= f(x + y) = (x + y)
3
= (x + y)
2
(x + y)
= (x
2
y2 + 2xy)(x + y)
= x
3
3xy
2
+ (3x
2
y y
3
)
Temos ento u(x, y) = x
3
3xy
3
e v(x, y) = 3x
2
y
3
. Derivando
com relao a x e a y temos:
u
x
= 3x
2
3y
2
u
y
= 6xy
v
x
= 6xy
v
y
= 3x
2
3y
2
Vemos pois, que as equaes de Cauchy-Riemann:
u
x
=
v
y
u
y
=
v
x
so satisfeitas para todo z = x + y C.
49
Derivao Complexa
3.5 Concluso
Na aula de hoje, vimos que derivao de funes complexas em
alguns aspectos semelhante derivao de funes reais enquanto
que em outros aspectos diferem sensivelmente.
RESUMO
Derivao Complexa
Denio da derivao complexa:
DEFINIO: Sejam D C aberto, z
0
D e f : D C C
uma funo complexa. Denimos a derivada de f() no ponto z
0
,
denotada f
(z
0
), por:
f
(z
0
)
def
= lim
zz
0
f(z) f(z
0
)
z z
0
Regras de Derivao Complexa
Para a derivao complexa temos, entre outras, as seguintes regras:
1. (f + g)
(z
0
) = f
(z
0
) + g
(z
0
)
2. (f g)
(z
0
) = f
(z
0
) g
(z
0
)
3. (f.g)
(z
0
) = f(z
0
).g
(z
0
) + g(z
0
).f
(z
0
)
4.
_
f
g
_
(z
0
) =
f(z
0
).g
(z
0
) g(z
0
).f
(z
0
)
g
2
(z
0
)
se g(z
0
) = 0
Equaes de Cauchy-Riemann
Os seguintes teoremas constituem condies necessria e suciente
(respectivamente) para a derivabilidade de uma funo complexa:
50
Variveis Complexas
AULA
3
TEOREMA: (condio necessria)
Seja D C aberto e suponhamos que f : D C C, f(z) =
u(x, y) + v(x, y) e f
(z) existam na vizinhana de um ponto z

0
=
x
0
+ y
0
C. Ento as derivadas parciais de primeira ordem de u
e v com relao a x e a y existem e satisfazem:
u
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
)
v
x
(x
0
, y
0
) =
u
y
(x
0
, y
0
)
TEOREMA: (condio suciente)
Seja D C aberto e suponhamos que f : D C C seja uma
funo complexa tal que as derivadas parciais
u
x
,
v
x
,
u
y
e
v
y
existam em D e so contnuas em z
0
= x
0
+ y
0
. Se as condies
de Cauchy-Riemann so satisfeitas em z
0
,
u
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
)
v
x
(x
0
, y
0
) =
u
y
(x
0
, y
0
)
PRXIMA AULA
Em nossa prxima aula veremos mais alguns aspectos da derivao
de funes complexas. Em particular funes holomorfas e a lig-
ao de funes harmonicas com a derivao complexa.
51
Derivao Complexa
ATIVIDADES
Deixamos como atividades o clculo de algumas integrais du-
plas.
ATIV. 3.1. Se f() e g() so funes derivveis em um ponto
z
0
C ento vale a seguinte regra de derivao:
(f.g)
(z
0
) = f(z
0
).g
(z
0
) + g(z
0
).f
(z
0
).
Comentrio: Volte ao texto e reveja com calma e ateno a
demonstrao de uma das regras de derivao complexa, ela lhe
servir de guia.
ATIV. 3.2. Mostre que as componentes da funo complexa f(x+
y) = sin(x) cosh(y) + cos(x) sinh(y) satisfazem as equaes de
Cauchy-Riemann.
Comentrio: Reveja as derivadas das funes trigonomtricas e
das funes hiperblicas.
52
AULA
4
Mais Alguns Aspectos da
Derivao Complexa
META:
Introduzir o conceito de funes holomorfas.
OBJETIVOS:
Denir funes holomorfas e
determinar se uma dada funo de variveis complexas holo-
morfa.
PR-REQUISITOS
ciplina Clculo II.
Mais Alguns Aspectos da Derivao Complexa
4.1 Introduo
Caros alunos em nossa aula de hoje veremos mais alguns as-
pectos da derivao de funes complexas. Em particular funes
holomorfas e mostraremos algumas funes holomorfas. Veremos
tambm, a ligao de funes harmnicas com a derivao com-
plexa. Para concluir veremos a forma polar das equaes de Cauchy-
Riemann.
4.2 Funes Holomorfas
Iniciaremos pela denio de funo holomorfa.
Denio 4.1. Sejam D C aberto, f : D C C uma funo
e z
0
D. Dizemos que f() holomorfa em z
0
D se, somente
se existe > 0 tal que f
(z) existe para todo z B
(z
0
).
e tambm,
Denio 4.2. Sejam D C aberto e f : D C C uma
funo. Dizemos que f() holomorfa em D se, somente se f
(z)
existe para todo z D.
OBS 4.1. Para que uma funo seja holomorfa em um ponto no
suciente que seja derivvel neste ponto. necessrio que seja
derivvel em uma vizinhana do ponto em questo.
OBS 4.2. Dada uma funo complexa f : D C C, z = x+y,
f(z) = u(x, y) + v(x, y). Como z = x y podemos escrever:
x =
z + z
2
e y =
z z
2
. Dai, para f(z) temos:
f(z) = u
_
z + z
2
,
z z
2
_
+ v
_
z + z
2
,
z z
2
_
(4.25)
54
Variveis Complexas
AULA
4
por outro lado, derivando as expresses para x e y em funo de z
e z temos:
x
z
= 1/2
x
z
= 1/2
y
z
= 1/2
i
z
= 1/2
(4.26)
Derivando a equao 4.25 com relao a z, usando a regra da
cadeia, as equaes 4.26 e levando em conta que
1
= temos:
z
f(z) =
u
x
x
z
+
u
y
y
z
+
_
v
x
x
z
+
v
y
y
z
_
=
1
2
u
x

1
2
u
y
+
_
1
2
v
x

1
2
v
y
_
=
1
2
u
x
+
1
2
u
y
+
1
2
v
x

1
2
v
y
=
1
2
_
u
x

v
y
_
+
1
2
_
u
y
+
v
x
_
(4.27)
Se f() for holomorfa satisfaz as equaes de Cauchy-Riemann
em todos os pontos de D i.e.
u
x

v
y
= 0 e
u
y
+
v
x
= 0.
Dai, da equao 4.27 conclumos que: se f() for holomorfa ento
z
f(z) = 0 em todo z D. Em outras palavras uma funo
holomorfa quando no depende de z.
OBS 4.3. As equaes de Cauchy-Riemann oferecem uma condio
suciente pa identicao de funes holomorfas i.e. se em f(z) =
u(x, y) + v(x, y), u(, ), v(, ) e suas derivadas so contnuas
e satisfazem as equaes de Cauchy-Riemann ento f() uma
funo holomorfa.
Exemplo 4.1. A funo f : C C dada por f(z) = z
n
, n N
uma funo holomorfa. Seno vejamos:
55
fcil vericar que:
z
n
z
n
0
= (z z
0
)(z
n1
+ z
n2
z
0
+ + zz
n2
0
+ z
n1
0
)
Dai, temos:
z
n
z
n
0
z z
0
= z
n1
+ z
n2
z
0
+ + zz
n2
0
+ z
n1
0
0
e usando a denio de derivada temos:
f
(z
0
) = lim
zz
0
z
n
z
n
0
z z
0
= lim
zz
0
(z
n1
+ z
n2
z
0
+ + zz
n2
0
+ z
n1
0
)
= z
n1
0
+ z
n2
0
z
0
+ + z
0
z
n2
0
+ z
n1
0
= z
n1
0
+ z
n1
0
+ + z
n1
0
+ z
n1
0
. .
n vezes
= nz
n1
0
Da, f(z) = z
n
uma funo holomorfa em C i.e. f
(z) existe em
todo o plano complexo.
Por outro lado.
Exemplo 4.2. A funo f : C C dada por f(z) =
_
_
z
2
z
, z = 0
0 , z = 0
no holomorfa em ponto nenhum de C. Pois, da observao acima
temos:
f
z
= 2
z
z
= 0, z = 0
Por outro lado no ponto z = 0 temos:
f
(0) = lim
z0
f(z) f(0)
z 0
= lim
z0
f(z)
z
= lim
z0
z
2
z
2
Se a derivada existe em z = 0 ela ter que ser independente do
caminho com que z 0. Vamos escolher trs caminhos distintos:
56
Variveis Complexas
AULA
4
Caminho 1: ao longo do eixo real x. Da, z = x +0, z = x 0
e z 0 equivale a x 0.
f
(0) = lim
z0
z
2
z
2
= lim
x0
(x 0)
2
(x + 0)
2
= lim
x0
x
2
x
2
= 1
Caminho 2: ao longo do eixo imaginrio y. Da, z = 0 + y,
z = 0 y e z 0 equivale a y 0.
f
(0) = lim
z0
z
2
z
2
= lim
y0
(0 y)
2
(0 + y)
2
= lim
x0
y
2
y
2
= 1
Como a avaliao da derivada de f() no ponto zero seguindo
os caminhos 1 e 3 so iguais temos que as equaes de Cauchy-
Riemann so satisfeitas em z = 0 pois, as equaes de Cauchy-
Riemann so obtidas de derivaes seguindo os eixos real e imag-
inrio. No entanto para o caminho 3 temos:
Caminho 3: ao longo da reta y = x. Da, z = x+x, z = xx
e z 0 equivale a x 0.
f
(0) = lim
z0
z
2
z
2
= lim
x0
(x x)
2
(x + x)
2
= lim
x0
x(1 )
2
x(1 +)
2
=
(1 )
2
(1 +)
2
= 1
Vemos da, que f() tambm no derivvel em z = 0.
Vamos agora a mais uma denio.
Denio 4.3. Seja f : C C uma funo complexa. Dizemos
que f uma funo inteira se holomorfa em todo C.
OBS 4.4. A funo f(z) = z
n
, n N, conforme o exemplo acima
uma funo inteira.
Vamos encerrar esta seo com um teorema que ser usado mais
tarde.
Teorema 4.1. Seja D C um aberto, f : D C C uma
funo holomorfa em D e z
0
D ento:
f(z) = f
(z
0
)(z z
0
) + (z z
0
)
57
onde lim
zz
0
= 0.
PROVA: Denindo por:
=
f(z) f(z
0
)
z z
0
f
(z 0)
temos que:
f(z) = f
(z
0
)(z z
0
) + (z z
0
)
Por outro lado, como f() holomorfa em D , em particular,
holomorfa em z
0
e:
lim
zz
0
= lim
zz
0
_
f(z) f(z
0
)
z z
0
f
(z 0)
_
= f
(z
0
) f
(z
0
) = 0
4.3 Forma Polar das Equaes de Cauchy-Rie-
mann
Podemos expressar as equaes de Cauchy-Riemann usando coor-
denadas polares (forma polar de nmeros complexos). A saber:
Teorema 4.2. As equaes de Cauchy-Riemann, em coordenadas
polares, so dadas por:
u
r
=
1
r
v
v
r
=
1
r
u
(4.28)
PROVA: Em coordenadas polares temos: x = r cos() e y =
r sin() e suas inversas: r =
_
x
2
+ y
2
e = tan
1
(y/x). derivando
58
Variveis Complexas
AULA
4
temos:
r
x
=
x
_
x
2
+ y
2
=
r cos()
r
= cos()
r
y
=
y
_
x
2
+ y
2
=
r sin()
r
= sin()
x
=
x
x
2
+ y
2
=
r cos()
r
2
=
cos()
r
y
=
y
x
2
+ y
2
=
r sin()
r
2
=
sin()
r
(4.29)
Usando a regra da cadeia para funes de duas variveis reais e as
equaes eqn 4.29 para a funo u(, ) temos:
u
x
=
u
r
r
x
+
u
x
=
u
r
cos() +
1
r
u
sin()
u
y
=
u
r
r
y
+
u
y
=
u
r
sin() +
1
r
u
cos()
(4.30)
Do mesmo modo para a funo v(, ) temos:
v
x
=
v
r
r
x
+
v
x
=
v
r
cos()
1
r
v
sin()
v
y
=
v
r
r
y
+
v
y
=
v
r
sin() +
1
r
v
cos()
(4.31)
Da equao de Cauchy-Riemann
u
x
=
v
y
, usando as equaes
eqn 4.30.1 e eqn 4.31.2 temos:
_
u
r

1
r
v
_
cos()
_
v
r
+
1
r
u
_
sin() = 0 (4.32)
Da mesma forma, da equao de Cauchy-Riemann
u
y
=
v
x
,
usando as equaes eqn 4.30.2 e eqn 4.31.1 temos:
_
u
r

1
r
v
_
sin() +
_
v
r
+
1
r
u
_
cos() = 0 (4.33)
59
Fazendo o produto da equao eqn 4.32 por cos() e da equao
eqn 4.33 por sin() e somando temos:
u
r

1
r
v
= 0 (4.34)
Fazendo o produto da equao eqn 4.32 por sin() e da equao
eqn 4.33 por cos() e subtraindo temos:
v
r
+
1
r
u
= 0 (4.35)
As equaes eqn 4.34 e eqn 4.35 constituem-se a forma polar
das equaes de Cauchy-Riemann.
OBS 4.5. Veremos aqui como derivar uma funo complexa dada
na forma polar.
Seja f : D C C dada na forma polar:
f(z) = f(r(cos() + sin())) = u(r, ) + v(r, ) (4.36)
Derivando a equao eqn 4.36 com relao a r e usando em f() a
regra da cadeia lembrando que

r
(r(cos() + sin())) = cos() +
sin() temos:
f
(r(cos() + sin())).(cos() + sin()) =

u
r
() +
v
r
(r, )
Fazendo o produto da equao acima por cos() sin() e lem-
brando que (cos() + sin()).(cos() sin()) = 1 e cos()
sin() = cos() + sin() temos:
f
(z) = (cos() + sin()).

_
u
r
(r, ) +
v
r
(r, )
_
(4.37)
Por outro lado, derivando a equao eqn 4.36 com relao a e
usando em f() a regra da cadeia lembrando que

(r(cos() +
sin())) = r(sin() + cos()) temos:
f
(r(cos()+sin())).(r(sin()+cos())) =
u
(r, )+
v
(r, )
60
Variveis Complexas
AULA
4
Levando em conta que
1
= temos: r(sin() + cos()) =

r(cos() + sin()). e a equao acima pode ser reescrita como:
f
(r(cos() + sin())).(r(cos() + sin())) =

u
(r, ) +
v
(r, )
Fazendo o produto da equao acima por
1
r
(cos() sin()) e
lembrando que (cos() + sin()).(cos() sin()) = 1 e cos()
sin() = cos() + sin() temos:
f
(z) =
1
r
(cos() + sin()).
_
u
() +
v
(r, )
_
(4.38)
4.4 Funes Harmnicas
Nesta seo veremos que as componentes de uma funo complexa
holomorfa so funes harmnicas. Comeando pela denio
Denio 4.4. Seja u : D R
2
R uma funo real. Dizemos
que u(, ) harmnica em D se, somente se suas derivadas parciais
de primeira e segunda ordem so contnuas em D e satisfazem:
2
u
x
2
+

2
u
y
2
= 0 (4.39)
OBS 4.6. A equao eqn 4.39 conhecida com equao de Laplace
no plano.
Seja f : D C C uma funo complexa holomorfa em D.
Veremos em uma aula mais adiante que neste caso tanto f(z) =
u(x, y) + v(x, y) quanto suas componentes u(x, y) e v(x, y) pos-
suem derivadas contnuas de qualquer ordem em D. Alm de que
satisfazem as equaes de Cauchy-Riemann. A saber:
u
x
=
v
y
u
y
=
v
x
(4.40)
61
Da, derivando eqn 4.40.1 com relao a x e eqn 4.40.2 com
relao a y temos:
2
u
x
2
=

2
v
xy
2
u
y
2
=

2
v
yx
(4.41)
Levando em conta que as derivadas parciais de u(, ) e v(, ) so
contnuas temos que

2
v
xy
=

2
v
yx
. Da, somando as equaes
eqn 4.41.1 e eqn 4.41.2 temos:
2
u
x
2
+

2
u
y
2
= 0 (4.42)
Do mesmo modo podemos mostrar que:
2
v
x
2
+

2
v
y
2
= 0 (4.43)
E portanto, u(, ) e v(, ) so funes harmnicas.
OBS 4.7. Se u(x, y) e v(x, y) so componentes de uma funo
f(z) = u(x, y) + v(x, y) holomorfa em algum domnio D C
dizemos que u e v so funes harmnicas conjugadas.
Veremos agora um exemplo, de como partindo de uma funo har-
mnica u(x, y) determinar sua harmnica conjugada v(x, y) e re-
construir a funo holomorfa f(z) cujos componentes so u(x, y) e
v(x, y).
Exemplo 4.3. Dada u(x, y) = 2x(1 y). Mostre que u(x, y)
harmnica, determine sua harmnica conjugada v(x, y) e a funo
holomorfa f(z) cujos componentes so u(x, y) e v(x, y).
SOLUO: derivando parcialmente u(x, y) com relao a x e a
62
Variveis Complexas
AULA
4
y duas vezes temos:
u
x
= 2(1 y)
2
u
x
2
= 0
u
y
= 2x
2
u
y
2
= 0
(4.44)
Somando as equaes eqn 4.44.2 e eqn 4.44.4 temos:
2
u
x
2
+

2
u
y
2
= 0
Logo u(x, y) uma funo harmnica.
Vejamos agora como utilizar as equaes de Cauchy-Riemann para
determinar a harmnica conjugada de u(x, y). As equaes de
Cauchy-Riemann em coordenadas cartesianas so:
u
x
=
v
y
u
y
=
v
x
(4.45)
Das equaes eqn 4.45.1 e eqn 4.44.1 e integrando temos:
v
y
= 2(1 y)
v(x, y) =
_
2(1 y)dy
= 2y y
2
+ h(x)
(4.46)
onde h(x) uma funo a ser determinada.
Derivando a equao eqn 4.46.3 com relao a x temos:
v
x
= h
(x) (4.47)
Substituindo as equaes eqn 4.47 e eqn 4.44.3 em eqn 4.45.2
63
e integrando temos:
h
(x) = 2x
h(x) =
_
2xdx
= x
2
(4.48)
Substituindo a equao eqn 4.48.3 em eqn 4.46.3 temos:
v(x, y) = 2y + x
2
y
2
(4.49)
A equao eqn 4.49 a harmnica conjugada de u(x, y). a funo
f(z) = u(x, y) + v(x, y) portanto holomorfa e dada por:
f(z) = f(x + y) = 2x(1 y) + (2y + x
2
y
2
) (4.50)
Fazendo em eqn 4.49 y = 0 temos:
f(x + 0) = f(x) = 2x + x
2
Logo temos:
f(z) = 2z +z
2
4.5 Concluso
Na aula de hoje, vimos que derivao de funes complexas em
alguns aspectos semelhante derivao de funes reais enquanto
que em outros aspectos diferem sensivelmente.
RESUMO
Funes Holomorfas
64
Variveis Complexas
AULA
4
Denio de Funo Holomorfa em um ponto.
DEFINIO: Sejam D C aberto, f : D C C uma funo
e z
0
D. Dizemos que f() holomorfa em z
0
D se,somente se
existe > 0 tal que f
(z) existe para todo z B
(z
0
).
Denio de funo holomorfa.
DEFINIO: Sejam D C aberto e f : D C C uma
funo. Dizemos que f() holomorfa em D se,somente se f
(z)
existe para todo z D.
Denio de funo inteira.
DEFINIO: Seja f : C C uma funo complexa. Dizemos
que f uma funo inteira se holomorfa em todo C.
Forma Polar das Equaes de Cauchy-Riemann
As equaes de Cauchy-Riemann, em coordenadas polares, so
dadas por:
u
r
=
1
r
v
v
r
=
1
r
u
(4.51)
Derivao de Funes Complexas na Forma Polar
Derivao com relao a r:
f
(z) = (cos() + sin()).

_
u
r
(r, ) +
v
r
(r, )
_
Derivao com relao a :
f
(z) =
1
r
(cos() + sin()).
_
u
() +
v
(r, )
_
PRXIMA AULA
Em nossa prxima aula vamos comear o estudo da extenso
da denio de algumas funes do campo real para o campo com-
65
plexo. Em particular as funes exponencial e sua inversa a funo
logaritmo.
ATIVIDADES
ATIV. 4.1. Dada u(x, y) = y
3
3x
2
y. Mostre que u(x, y)
harmnica, determine sua harmnica conjugada v(x, y) e a funo
holomorfa f(z) cujos componentes so u(x, y) e v(x, y).
Comentrio: Volte ao texto e reveja com calma e ateno os
exemplos eles lhes serviro de guia.
ATIV. 4.2. Seja f : C C dada por f(z) = a
n
z
n
+ a
n1
z
n1
+
+a
1
+a
0
, onde a
n
, a
n1
, . . . , a
1
, a
0
C. Mostre que f() uma
funo holomorfa
Comentrio: Use o fato de que f(z) = z
n
, n N uma funo
holomorfa.
66
Variveis Complexas
AULA
4
67
AULA
5
Funes Elementares
do Clculo Complexos 1
META:
Denir algumas funes elementares no campo dos complexos.
OBJETIVOS:
Denir algumas funes elementares no campo dos complexos e
provar algumas de suas propriedades.
PR-REQUISITOS
Aula 01 de Variveis Complexas.
Funes Elementares do Clculo Complexos 1
5.1 Introduo
Caros alunos iniciaremos o estudo de algumas funes de va-
riveis complexas. Estenderemos, nesta aula, as denies das
funes exponencial e logaritmo ao domnio dos nmeros com-
plexos e estudaremos algumas de suas propriedades.
5.2 Funo Exponencial
Se uma funo f() de varivel complexa z = x+u se reduzir, no
campo dos reais, a velha e conhecida funo exponencial devemos
exigir que:
f(x + 0) = e
x
para todo real x. Com isto em mente vamos denio.
Denio 5.1. Para todo z C a funo exponencial calculada
no ponto z = x + y, denotada exp(z) denida por:
exp(z)
def
= e
x
(cos(y) + sin(y)) (5.52)
OBS 5.1. Claramente a denio acima concorda com o que es-
peramos inicialmente da funo exponencial pois,
exp(x + 0)
def
= e
x
(cos(0) + sin(0)) = e
x
.
As partes real e imaginria da funo exponencial so:
u(x, y) = e
x
cos(y)
v(x, y) = e
x
sin(y)
(5.53)
Da, derivando eqn 6.64.1 e eqn 6.64.2 com relao a x e com
70
Variveis Complexas
AULA
5
relao a y temos:
u
x
= e
x
cos(y)
u
y
= e
x
sin(y)
v
x
= e
x
sin(y)
v
y
= e
x
cos(y)
(5.54)
Das equaes eqn 6.65 podemos vericar facilmente que:
u
x
=
v
y
u
y
=
v
x
(5.55)
Logo as equaes de Cauchy-Riemman so satisfeitas. E da con-
tinuidade das derivadas das equaes eqn 6.65 temos que a funo
exponencial exp() holomorfa.
OBS 5.2. Como e
x
esta denida x R e cos(y) e sin(y) es-
to denidas y R temos que exp(z) est denida z C i.e.
Dom(exp) = C.
Por outro lado, como Img(e
x
cos(y)) = R e Img(e
x
sin(y)) = R
poderamos pensar que a imagem da funo exponencial seria todo
o plano complexo. Porm, como e
x
> 0, x R e as funes cos(y)
e sin(y) no se anulam ao mesmo tempo em nenhum y R temos
que exp(z) = 0, z C. Da, Img(exp) = C
.
5.3 Propriedades da Funo Exponencial
Listaremos, aqui, algumas das propriedades da funo exponencial
no campo dos complexos. Algumas das propriedades da funo ex-
ponencial no campo dos reais valem para o campo dos complexos.
Adicionalmente, teremos algumas outras propriedades da funo
71
x
y
+
Figura 5.1: Domnio da funo exponencial

exponencial que valem apenas no campo dos complexos (a exem-
plo da periodicidade).
z
1
, z
2
C, exp(z
1
+ z
2
) = exp(z
1
) exp(z
2
)
z C, exp(z) =
1
exp(z)
k Z, z C, exp(kz) = (exp(z))
k
z C, exp( z) = exp(z)
z C, exp(z + 2) = exp(z)
OBS 5.3. A ltima propriedade vale apenas no campo dos com-
plexos e nos diz que a funo exponencial peridica de perodo
imaginrio 2. Com isso a funo exponencial no campo dos
complexos uma funo multiforme. Em outras palavras uma
funo no injetora. Para recuperar o carter injetor podemos
restringir o domnio de denio da funo exponencial faixa
Dom(exp(z)) = R[, +) (ver gura 5.1). Quanto a imagem
continua a mesma Img(exp(z)) = C
i.e. todo o plano complexo

exceto a origem.
Faremos aqui a demonstrao de apenas uma das propriedades da
funo exponencial. A saber:
72
Variveis Complexas
AULA
5
Demonstrao da Primeira Propriedade: Sejam z
1
, z
2
C
dados por: z
1
= x
1
+ y
1
e z
2
= x
2
+ y
2
. Da, temos:
exp(z
1
) exp(z
2
) = e
x
1
(cos(y
1
) + sin(y
1
))e
x
2
(cos(y
2
) + sin(y
2
))
= e
x
1
+x
2
(cos(y
1
) cos(y
2
) + sin(y
1
) cos(y
2
)
+ sin(y
2
) cos(y
1
) sin(y
1
) sin(y
2
))
= e
x
1
+x
2
(cos(y
1
) cos(y
2
) sin(y
1
) sin(y
2
)
+ (sin(y
1
) cos(y
2
) + sin(y
2
) cos(y
1
)))
= e
x
1
+x
2
(cos(y
1
+ y
2
) + sin(y
1
+ y
2
))
= exp(z
1
+ z
2
)
OBS 5.4. Para um z C puramente real z = x + 0 temos:
exp(z) = exp(x + 0) = e
x
(cos(0) + sin(0)) = e
x
Como potncia de base e as propriedades da funo exponencial
no entram em conito com as propriedades usuais das potncias.
E para um z C puramente imaginrio z = 0 + y temos:
exp(z) = exp(0 + y) = e
0
(cos(y) + sin(y)) = cos(y) + sin(y)
Desta forma podemos introduzir a notao devida a Eler:
exp(y) = e
y
= cos(y) + sin(y)
e teremos um nova forma de escrever um nmero complexo. Seno
vejamos: Dado z C, z = x + y em sua forma polar z =
r(cos() + sin()). Tomaremos a = ln(r) e podemos escrever o
nmero complexo z de diversas formas. A saber:
z = x + y = r(cos() + sin()) = re
= e
a+
73
5.4 Derivada da Funo Exponencial
Do exposto na seo anterior, sabemos que a funo exponencial
exp() holomorfa z C e portanto sua derivada pode ser dada
por:
exp
(z) =

x
exp(x + y)
=

x
(e
x
cos() + e
x
sin())
= e
x
cos() + e
x
sin()
= exp(x + y)
= exp(z)
(5.56)
OBS 5.5. Vemos pois que a funo exponencial no campo dos
complexos tem a mesma derivada que a funo exponencial no
campo dos reais i.e. exp
(z) = exp(z).
5.5 Funo Logaritmo
O fato da funo exponencial ser peridica de perodo imaginrio
2 transforma-se em um problema ao se denir a funo logaritmo
como a inversa da funo exponencial pois tira da funo exponen-
cial a propriedade de funo injetora que a funo exponencial no
campo dos reais tem.
Denio 5.2. Denimos a funo logaritmo em um ponto z
C, z = re
, r [0, ) e [, +), por:

log(z)
def
= ln(r) + ( + 2k), k Z (5.57)
A funo logaritmo assim denida uma funo multiforme com
innitos valores associados a cada ponto z C. Cada valor de k
74
Variveis Complexas
AULA
5
Z corresponde a um ramo da funo logaritmo. O ramo principal
corresponde a k = 0 i.e.
log(z)
def
= ln(r) + (5.58)
OBS 5.6. Vemos ento que a funo logaritmo restrita a cada
ramo uma funo injetora. Em particular o ramo principal 6.69.
5.6 Propriedades da Funo Logaritmo
Listaremos, aqui, algumas das propriedades da funo logaritmo
no campo dos complexos. Algumas das propriedades da funo
logaritmo no campo dos reais valem para o campo dos complexos.
z
1
, z
2
C
, log(z
1
.z
2
) = log(z
1
) + log(z
2
)
z
1
, z
2
C
, log
_
z
1
z
2
_
= log(z
1
) log(z
2
)
z C
, exp(log(z)) = z
Faremos aqui a demonstrao de apenas uma das propriedades da
funo logaritmo. A saber:
Demonstrao da Primeira Propriedade: Sejam z
1
, z
2
C
dados por: z
1
= r
1
e
e z
2
= r
2
e
. Da, temos:
log(z
1
.z
2
) = log(r
1
e
.r
2
e
)
= log(r
1
r
2
e
(
1
+
2
)
)
= ln(r
1
r
2
) + (
1
+
2
+ 2k), k Z
= ln(r
1
) + ln(r
2
) + (
1
+ 2m) + (
2
+ 2n), m, n Z
= (ln(r
1
) + (
1
+ 2m)) + (ln(r
2
) + (
2
+ 2n)), m, n Z
= log(z
1
) + log(z
2
)
75
OBS 5.7. Na demonstrao acima, a passagem do passo 3 para
o passo 4 justicada pois, para cada k Z podemos escrever
k = m + n de innitas maneiras.
OBS 5.8. A propriedade 3 diz que a funo logaritmo log() a
inversa direita da funo exponencial exp() porm, no inversa
esquerda. Tomando z = x + y temos:
log(exp(z)) = log(e
x
.e
y
)
= ln(e
x
) + (y + 2k), k Z
= x + y + 2k, k Z
= z + 2k, k Z
= z
devido ao carter de funo multivalorada do logaritmo denido
por eqn 6.68 porm, se nos restringirmos ao ramo principal a
funo log() tambm inversa esquerda da funo exponencial
exp().
5.7 Derivada da Funo Logaritmo
Antes de calcular a derivada da funo logaritmo vejamos como
reescrever a equaes que determinam a derivada de uma funo
f() complexa em coordenadas polares, vista na aula anterior,
pondo z = re
. Da aula anterior se f(z) = f(r(cos()+sin())) =

u(r, ) + v(r, ) temos:
u
r
=
1
r
v
v
r
=
1
r
u
76
Variveis Complexas
AULA
5
para as equaes de Cauchy-Riemann e
f
(z) = (cos() + sin()).

_
u
r
(r, ) +
v
r
(r, )
_
=
1
r
(cos() + sin()).
_
u
() +
v
(r, )
_
Para a derivada de f(). Pondo z = re
podemos reescrever as
equaes acima como:
f
(z) = e
.
_
u
r
(r, ) +
v
r
(r, )
_
=
1
re
.
_
u
() +
v
(r, )
_
As partes real e imaginria da funo logaritmo so:
u(r, ) = ln(r)
v(r, ) = + 2k, k Z
(5.59)
Da, derivando eqn 6.70.1 e eqn 6.70.2 com relao a x e com
relao a y temos:
u
r
=
1
r
u
= 0
v
r
= 0
v
= 1
(5.60)
Das equaes eqn 6.71 podemos vericar facilmente que:
u(r, ) = ln(r)
v(r, ) = + 2k, k Z
(5.61)
Logo as equaes de Cauchy-Riemman so satisfeitas. E da con-
tinuidade das derivadas das equaes eqn 6.71 temos que a funo
logaritmo log() holomorfa.
Quanto a derivada da funo logaritmo com u(r, ) = ln(r) e
77
v(r, ) = + 2k, k Z temos:
ln
(z) = e
.
_
u
r
(r, ) +
v
r
(r, )
_
= e
.
_

r
ln(r) +

r
( + 2k)
_
=
1
r
e
=
1
re
=
1
z
(5.62)
OBS 5.9. Vemos pois que a funo logaritmo no campo dos com-
plexos tem a mesma derivada que a funo logaritmo no campo
dos reais i.e. ln
(z) =
1
z
.
5.8 Concluso
Na aula de hoje, vimos que a funo exponencial e a funo
logaritmo podem ser estendidas de modo intuitivo no domnio dos
nmeros complexos mantendo suas propriedades originais pratica-
mente intactas.
RESUMO
Funo Exponencial
Denimos a funo exponencial da seguinte forma:
Denio: Para todo z C a funo exponencial calculada no
ponto z = x + y, denotada exp(z) denida por:
exp(z)
def
= e
x
(cos(y) + sin(y))
78
Variveis Complexas
AULA
5
Algumas Propriedades da Funo Exponencial
A funo exponencial assim denida tem as seguintes propriedades:
z
1
, z
2
C, exp(z
1
+ z
2
) = exp(z
1
) exp(z
2
)
z C, exp(z) =
1
exp(z)
k
z C, exp( z) = exp(z)
z C, exp(z + 2) = exp(z)
Derivada da Funo Exponencial
A derivada da funo exponencial exp() no campo dos complexos
dada por:
exp
(z) = exp(z)
Funo Logaritmo
Denimos a funo logaritmo da seguinte forma:
Denio: Denimos a funo logaritmo em um ponto z C,
z = re
, r [0, ) e [, +), por:

log(z)
def
= ln(r) + ( + 2k), k Z
Algumas Propriedades da Funo Logaritmo
A funo logaritmo assim denida tem as seguintes propriedades:
z
1
, z
2
C
, log(z
1
.z
2
) = log(z
1
) + log(z
2
)
z
1
, z
2
C
, log
_
z
1
z
2
_
= log(z
1
) log(z
2
)
79
z C
, exp(log(z)) = z
Derivada da Funo Logaritmo
A derivada da funo logaritmo log() no campo dos complexos
dada por:
log
(z) =
1
z
PRXIMA AULA
Em nossa prxima aula vamos continuaremos o estudo da ex-
tenso da denio de algumas funes do campo real para o campo
complexo. Em particular as funes trigonomtricas e as funes
hiperblicas.
ATIVIDADES
ATIV. 5.1. Considere a funo exponencial exp() no campo dos
complexos e mostre que:
k
Comentrio: Use o princpio da induo.
ATIV. 5.2. Seja C e dena a funo:
z
def
= exp(log(z)), z C
80
Variveis Complexas
AULA
5
Mostre, que se tomarmos o ramo principal de log() a funo assim
denida holomorfa e sua derivada dada por:
d
dz
z
= z
1
Comentrio: Use a regra da cadeia.
81
AULA
6
Funes Elementares
do Clculo Complexos 2
META:
Denir mais algumas funes elementares no campo dos complexos.
OBJETIVOS:
Denir mais algumas funes elementares no campo dos complexos
e provar algumas de suas propriedades.
PR-REQUISITOS
Aula 01 de Variveis Complexas.
6.1 Introduo
Caros alunos dando continuidade ao estudo de algumas funes
de variveis complexas estenderemos, nesta aula, as denies das
funes trigonomtricas e das funes hiperblicas ao domnio dos
nmeros complexos. Comearemos pelas funes trigonomtricas,
mais precisamente pela funo seno.
6.2 Funes Trigonomtricas
Comearemos pelas denies das funes seno e cosseno pois,
serviram de base para denio das demais funes trigonomtri-
cas.
Como vimos anteriormente a frmula de Eler para variveis com-
plexas escreve-se assim:
R, e
= cos() + sin() (6.63)

Trocando em eqn. 6.63 por e levando em conta que as
funes seno e cosseno de reais so funo par e funo mpar
respectivamente, teremos:
_
_
_
e
= cos() + sin()
e
= cos() sin()
(6.64)
Subtraindo e adicionando as equaes eqn. 6.63 temos:
_
_
sin() =
e
2
=
e
2
cos() =
e
2
(6.65)
Desta forma natural estender a denio das funes seno e
cosseno no domnio dos complexos por:
Para a funo seno
84
Variveis Complexas
AULA
6
Denio 6.1. Para todo z C, denimos a funo seno, calcu-
lada no ponto z, denotada sin(z) por:
sin(z)
def
=
e
z
e
z
2
(6.66)
Para a funo cosseno
Denio 6.2. Para todo z C, denimos a funo cosseno,
calculada no ponto z, denotada cos(z) por:
cos(z)
def
=
e
z
+ e
z
2
(6.67)
As denies das funes tangente, cotangente, secante e cose-
cante no campo no campo dos nmeros reais so feitas partir das
funes seno e cosseno. No campo dos nmeros complexos segue
como as mesmas denies. A saber:
Para a funo tangente:
Denio 6.3. Para todo z C a funo tangente calculada no
ponto z, denotada tan(z) denida por:
tan(z)
def
=
sin(z)
cos(z)
(6.68)
Para a funo cotangente:
Denio 6.4. Para todo z C a funo cotangente calculada
no ponto z, denotada cot(z) denida por:
cot(z)
def
=
cos(z)
sin(z)
(6.69)
Para a funo secante:
Denio 6.5. Para todo z C a funo secante calculada no
ponto z, denotada sec(z) denida por:
sec(z)
def
=
1
cos(z)
(6.70)
85
Para a funo cosecante:
Denio 6.6. Para todo z C a funo cosecante calculada no
ponto z, denotada csc(z) denida por:
csc(z)
def
=
1
sin(z)
(6.71)
Alternativamente, a exemplo das funes seno e cosseno, podemos
denir as funes tangente, cotangente, secante e cosecante usando
a funo exponencial. A saber:
tan(z) =
e
z
e
z
e
z
+ e
z
cot(z) =
e
z
+ e
z
e
z
e
z
sec(z) =
2
e
z
+ e
z
csc(z) =
2
e
z
e
z
(6.72)
6.3 Propriedades das Funes Trigonomtricas
As propriedades das funo trigonomtricas so as mesmas no
campo dos reais quanto no campo dos complexos. A seguir listare-
mos algumas e faremos a demonstrao de uma delas.
i) z C, cos
2
(z) + sin
2
(z) = 1
ii) z C, sec
2
(z) tan
2
(z) = 1
iii) z C, cot
2
(z) csc
2
(z) = 1
iv) z C, sin(z) = sin(z)
v) z C, cos(z) = cos(z)
vi) z C, tan(z) = tan(z)
86
Variveis Complexas
AULA
6
vii) z, w C, cos(z + w) = cos(z) cos(w) sin(z) sin(w)
viii) z, w C, sin(z + w) = sin(z) cos(w) + cos(z) sin(w)
ix) z, w C, tan(z + w) =
tan(z) + tan(w)
1 + tan(z) tan(w)
x) z C, cos
2
(z) =
1
2
_
1 +
sin(2z)
2
_
xi) z C, sin
2
(z) =
1
2
_
1
sin(2z)
2
_
Demonstraremos aqui que: z, w C, cos(z+w) = cos(z) cos(w)
sin(z) sin(w).
Demonstrao:
Das denies das funes sin() e cos() temos:
cos(z + w) =
e
(z+w)
+ e
(z+w)
2
cos(z) =
e
z
+ e
z
2
cos(w) =
e
w
+ e
w
2
sin(z) =
e
z
e
z
2
sin(z) =
e
w
e
w
2
(6.73)
Fazendo o produto das equaes eqn 6.73.2 e eqn 6.73.3 temos:
cos(z) cos(w) =
e
z
+ e
z
2
e
w
+ e
w
2
=
(e
z
+ e
z
)(e
w
+ e
w
)
4
=
e
z
e
w
+ e
z
e
w
+ e
z
e
w
+ e
z
e
w
4
=
e
(z+w)
+ e
(wz)
+ e
(zw)
+ e
(z+w)
4
(6.74)
87
Fazendo o produto das equaes eqn 6.73.4 e eqn 6.73.5 temos:
sin(z) sin(w) =
2
e
z
e
z
2
e
w
e
w
2
=
(e
z
e
z
)(e
w
e
w
)
4
=
e
z
e
w
e
z
e
w
e
z
e
w
+ e
z
e
w
4
=
e
(z+w)
+ e
(wz)
+ e
(zw)
e
(z+w)
4
(6.75)
Subtraindo as equaes eqn 6.74 e eqn 6.75 temos:
cos(z) cos(w) sin(z) sin(w) =
2e
(z+w)
+ 2e
(z+w)
4
=
e
(z+w)
+ e
(z+w)
2
(6.76)
comparando as equaes eqn 6.73.1 e eqn 6.76 temos:
cos(z + w) = cos(z) cos(w) sin(z) sin(w) (6.77)
6.4 Funes Trigonomtricas Inversas
As funes trigonomtricas inversas podem ser deduzidas das ex-
presses de denio das funes trigonomtricas. Aqui faremos a
deduo de uma delas. A saber:
i) sin
1
(z) =
1
log(z +
1 z
2
)
ii) cos
1
(z) =
1
log(z +
z
2
1)
iii) tan
1
(z) =
1
2
log
_
1 + z
1 z
_
iv) cot
1
(z) =
1
2
log
_
z +
z
_
v) sec
1
(z) =
1
log
_
z +
1 z
2
z
_
88
Variveis Complexas
AULA
6
vi) csc
1
(z) =
1
log
_
z +
z
2
1
z
_
Demonstraremos aqui que: sin
1
(z) =
1
log(z +
1 z
2
).
Demonstrao:
Da denio de funo inversa temos:
sin(w) = z w = sin
1
(z)
Da denio da funo sin(w) temos:
sin(w) =
e
w
e
w
2
= z (6.78)
por outro lado, fazendo na equao eqn 6.78 = e
w
temos:

1
2
= z

1
= 2z
(6.79)
Fazendo o produto da equao eqn 6.79 por temos:
2
1 = 2z
2
2z 1 = 0
(6.80)
Resolvendo a equao do segundo grau eqn 6.80 para temos:
= z +
_
1 z
2
(6.81)
Onde sabemos que
1 z
2
uma funo multivalorada. Por outro
lado, como = e
w
da equao eqn 6.81 temos:
e
w
= z +
_
1 z
2
(6.82)
Invertendo a funo exponencial em eqn 6.82, levando em conta
que e
w
= e
(w2k)
e que w = sin
1
(z) temos:
w = 2k + log(z +
_
1 z
2
)
sin
1
(z) = 2k +
1
log(z +
_
1 z
2
)
(6.83)
89
Vemos ento que a funo sin
1
(z) tem innitos valores porm,
escolhendo o ramo principal onde sin
1
(0) = 0 temos k = 0 e da
equao eqn 6.83 podemos escrever:
sin
1
(z) =
1
log(z +
_
1 z
2
)
6.5 Derivada das Funes Trigonomtricas
As funes trigonomtricas estendidas ao campo dos complexos
tm as seguintes derivadas:
i) cos
(z) = sin(z)
ii) sin
(z) = cos(z)
iii) tan
(z) = sec
2
(z)
iv) cot
(z) = csc
2
(z)
v) sec
(z) = sec(z) tan(z)

vi) csc
(z) = csc(z) cot(z)

Faremos a demonstrao apenas de um tem acima. A saber:
Derivada da Funo Seno: sin
(z) = cos(z).
PROVA: Usando a denio da funo seno sin(), a denio
da funo coseno cos(), a derivada da funo exponencial exp()
e a regra da cadeia temos:
sin
(z) =
d
dz
e
z
e
z
2
=
e
z
+e
z
2
=
e
z
+ e
z
2
= cos(z)
(6.84)
90
Variveis Complexas
AULA
6
6.6 Funes Hiperblicas
Comearemos pelas denies das funes seno hiperblico e cosseno
hiperblico pois, serviram de base para denio das demais funes
hiperblicas. Como no campo dos nmeros reais as funes seno
hiperblico e cosseno hiperblico so denidas partir da funo
exponencial, sua extenso ao campo dos nmeros complexo utiliza
a mesma forma. A saber:
Para a funo seno hiperblico.
Denio 6.7. Para todo z C, denimos a funo seno hiper-
blico, calculada no ponto z, denotada sinh(z) por:
sinh(z)
def
=
e
z
e
z
2
(6.85)
Para a funo cosseno hiperblico.
Denio 6.8. Para todo z C, denimos a funo cosseno hiper-
blico, calculada no ponto z, denotada cosh(z) por:
cosh(z)
def
=
e
z
+ e
z
2
(6.86)
As denies das funes tangente hiperblica, cotangente hiper-
blica, secante hiperblica e cosecante hiperblica no campo no
campo dos nmeros reais so feitas partir das funes seno hiper-
blico e cosseno hiperblico. No campo dos nmeros complexos
segue como as mesmas denies. A saber:
Para a funo tangente hiperblica:
Denio 6.9. Para todo z C a funo tangente calculada no
ponto z, denotada tanh(z) denida por:
tanh(z)
def
=
sinh(z)
cosh(z)
(6.87)
91
Para a funo cotangente hiperblica:
Denio 6.10. Para todo z C a funo cotangente hiperblica
calculada no ponto z, denotada coth(z) denida por:
coth(z)
def
=
cosh(z)
sinh(z)
(6.88)
Para a funo secante hiperblica:
Denio 6.11. Para todo z C a funo secante hiperblica
calculada no ponto z, denotada sech (z) denida por:
sech (z)
def
=
1
cosh(z)
(6.89)
Para a funo cosecante hiperblica:
Denio 6.12. Para todo z C a funo cosecante hiperblica
calculada no ponto z, denotada csch (z) denida por:
csch (z)
def
=
1
sinh(z)
(6.90)
Alternativamente, a exemplo das funes seno hiperblico e cosseno
hiperblico, podemos denir as funes tangente hiperblica, cotan-
gente hiperblica, secante hiperblica e cosecante hiperblica us-
ando a funo exponencial. A saber:
tan(z) =
e
z
e
z
e
z
+ e
z
cot(z) =
e
z
+ e
z
e
z
e
z
sec(z) =
2
e
z
+ e
z
csc(z) =
2
e
z
e
z
(6.91)
92
Variveis Complexas
AULA
6
6.7 Propriedades das Funes Hiperblicas
As propriedades das funo hiperblicas so as mesmas no campo
dos reais quanto no campo dos complexos. A seguir listaremos
algumas e faremos a demonstrao de uma delas.
i) z C, cosh
2
(z) sinh
2
(z) = 1
ii) z C, sech
2
(z) + tanh
2
(z) = 1
iii) z C, coth
2
(z) csch
2
(z) = 1
iv) z C, sinh(z) = sinh(z)
v) z C, cosh(z) = cosh(z)
vi) z C, tanh(z) = tanh(z)
vii) z, w C, cosh(z + w) = cosh(z) cosh(w) + sinh(z) sinh(w)
viii) z, w C, sinh(z + w) = sinh(z) cosh(w) + cosh(z) sinh(w)
ix) z, w C, tanh(z + w) =
tanh(z) + tanh(w)
1 + tanh(z) tanh(w)
Demonstraremos aqui que: z C, sech
2
(z) + tanh
2
(z) = 1.
Demonstrao:
Das denies das funes sinh() e cosh() temos:
cosh(z) =
e
z
+ e
z
2
sinh(z) =
e
z
e
z
2
(6.92)
Elevando ao quadrado as equaes eqn 6.92.1 e eqn 6.92.2 e
levando-se em conta que e
z
e
z
= e
zz
= e
0
= 1 temos:
cosh
2
(z) =
e
2z
+ 2e
z
e
z
+ e
2z
4
=
e
2z
+ 2 + e
2z
4
sinh(z)
2
=
e
2z
2e
z
e
2z
+ e
z
4
=
e
2z
2 + e
2z
4
(6.93)
93
Subtraindo as equaes eqn 6.93.1 e eqn 6.93.2
cosh
2
(z) sinh(z)
2
=
e
2z
+ 2 + e
2z
4

e
2z
2 + e
2z
4
=
e
2z
+ 2 + e
2z
e
2z
+ 2 e
2z
4
=
4
4
= 1
(6.94)
Dividindo a equao eqn 6.94 por cosh
2
(z) temos:
cosh
2
(z) sinh(z)
2
cosh
2
(z)
=
1
cosh
2
(z)
cosh
2
(z)
cosh
2
(z)
sinh(z)
2
cosh
2
(z)
=
1
cosh
2
(z)
1
sinh(z)
2
cosh
2
(z)
=
1
cosh
2
(z)
(6.95)
Levando-se em conta a equao eqn 6.95 e as denies das
funes tanh() e sech () temos:
1 tanh
2
(z) = sech
2
(z) (6.96)
Que pode ser rearrumada para:
sech
2
(z) + tanh
2
(z) = 1 (6.97)
6.8 Funes Hiperblicas Inversas
As funes hiperblicas inversas podem ser deduzidas das expresses
de denio das funes hiperblicas. Aqui faremos a deduo de
uma delas. A saber:
i) sinh
1
(z) = log(z +
1 + z
2
)
ii) cosh
1
(z) = log(z +
z
2
1)
94
Variveis Complexas
AULA
6
iii) tanh
1
(z) =
1
2
log
_
1 + z
1 z
_
iv) coth
1
(z) =
1
2
log
_
z + 1
z 1
_
v) sech
1
(z) = log
_
z +
1 z
2
z
_
vi) csch
1
(z) = log
_
z +
z
2
1
z
_
Demonstraremos aqui que: tanh
1
(z) =
1
2
log
_
1 + z
1 z
_
.
Demonstrao:
Da denio de funo inversa temos:
tanh(w) = z w = tanh
1
(z)
Da denio da funo tanh(w) temos:
tanh(w) =
e
w
e
w
e
w
+ e
w
= z (6.98)
por outro lado, fazendo na equao eqn 6.98 = e
w
temos:

1
+
1
= z

1
= ( +
1
)z
(6.99)
Fazendo o produto do numerador e do denominador da frao da
equao eqn 6.99 por e rearrumando temos:
2
1 = (
2
+ 1)z
(1 z)
2
= 1 + z = 0
(6.100)
Resolvendo a equao do segundo grau eqn 6.100 para temos:
=
_
1 + z
1 z
(6.101)
95
Onde sabemos que
_
1 + z
1 z
uma funo multivalorada. Por outro
lado, como = e
w
equao eqn 6.101 temos:
e
w
=
_
1 + z
1 z
(6.102)
Invertendo a funo exponencial, levando em conta que e
w
=
e
w2k
e que w = tanh
1
(z) da equao eqn 6.102 temos:
w = 2k + ln
_
_
1 + z
1 z
_
tanh
1
(z) = 2k + ln
_
_
1 + z
1 z
_ (6.103)
Vemos ento que a funo tanh
1
(z) tem innitos valores porm,
escolhendo o ramo principal onde tanh
1
(0) = 0 temos k = 0 e
usando propriedade da funo logaritmo e na equao eqn 6.103
podemos escrever:
tanh
1
(z) =
1
2
log
_
1 + z
1 z
_

6.9 Derivada das Funes Hiperblicas
As funes hiperblicas estendidas ao campo dos complexos tm
as seguintes derivadas:
i) cosh
(z) = sinh(z)
ii) sinh
(z) = cosh(z)
iii) tanh
(z) = sech
2
(z)
iv) coth
(z) = csc
2
(z)
v) sech
(z) = sech (z) tanh(z)

96
Variveis Complexas
AULA
6
vi) csch
(z) = csch (z) coth(z)

Faremos a demonstrao apenas de um tem acima. A saber:
Derivada da Funo Coseno: cosh
(z) = sinh(z).
PROVA: Usando a denio da funo coseno hiperblico cosh(),
a denio da funo seno hiperblico sinh(), a derivada da funo
exponencial exp() e a regra da cadeia temos:
cosh
(z) =
d
dz
e
z
+ e
z
2
=
e
z
e
z
2
=
e
z
e
z
2
= sinh(z)
(6.104)
6.10 Concluso
Na aula de hoje, vimos que as funes trigonomtricas e as
funes hiperblicas podem ser estendidas de modo intuitivo no
domnio dos nmeros complexos mantendo suas propriedades ori-
ginais intactas.
97
RESUMO
Funes Trigonomtricas
As funes trigonomtricas so denidas por:
sin(z)
def
=
e
z
e
z
2
cos(z)
def
=
e
z
+ e
z
2
tan(z) =
def
=
sin(z)
cos(z)
=
e
z
e
z
e
z
+ e
z
cot(z)
def
=
cos(z)
sin(z)
=
e
z
+ e
z
e
z
e
z
sec(z) =
def
=
1
cos(z)
2
e
z
+ e
z
csc(z)
def
=
1
sin(z)
=
2
e
z
e
z
Propriedades das Funes Trigonomtricas
Algumas propriedades das funes trigonomtricas:
z C, cos
2
(z) + sin
2
(z) = 1
z C, sec
2
(z) tan
2
(z) = 1
z C, cot
2
(z) csc
2
(z) = 1
z C, sin(z) = sin(z)
z C, cos(z) = cos(z)
z C, tan(z) = tan(z)
z, w C, cos(z + w) = cos(z) cos(w) sin(z) sin(w)
98
Variveis Complexas
AULA
6
z, w C, sin(z + w) = sin(z) cos(w) + cos(z) sin(w)
z, w C, tan(z + w) =
tan(z) + tan(w)
1 + tan(z) tan(w)
z C, cos
2
(z) =
1
2
_
1 +
sin(2z)
2
_
z C, sin
2
(z) =
1
2
_
1
sin(2z)
2
_
Funes Hiperblicas
As funes hiperblicas so denidas por:
sinh(z)
def
=
e
z
e
z
2
cosh(z)
def
=
e
z
+ e
z
2
tanh(z) =
def
=
sinh(z)
cosh(z)
=
e
z
e
z
e
z
+ e
z
coth(z)
def
=
cosh(z)
sinh(z)
=
e
z
+ e
z
e
z
e
z
sech (z) =
def
=
1
cosh(z)
2
e
z
+ e
z
csch (z)
def
=
1
sinh(z)
=
2
e
z
e
z
Propriedades das Funes Hiperblicas
Algumas propriedades das funes hiperblicas:
z C, cosh
2
(z) sinh
2
(z) = 1
z C, sech
2
(z) + tanh
2
(z) = 1
z C, coth
2
(z) csch
2
(z) = 1
z C, sinh(z) = sinh(z)
z C, cosh(z) = cosh(z)
z C, tanh(z) = tanh(z)
99
z, w C, cosh(z + w) = cosh(z) cosh(w) + sinh(z) sinh(w)
z, w C, sinh(z + w) = sinh(z) cosh(w) + cosh(z) sinh(w)
z, w C, tanh(z + w) =
tanh(z) + tanh(w)
1 + tanh(z) tanh(w)
Funes Trigonomtricas Inversas
As funes trigonomtricas inversas denidas por:
sin
1
(z) =
1
log(z +
1 z
2
)
cos
1
(z) =
1
log(z +
z
2
1)
tan
1
(z) =
1
2
log
_
1 + z
1 z
_
cot
1
(z) =
1
2
log
_
z +
z
_
sec
1
(z) =
1
log
_
z +
1 z
2
z
_
csc
1
(z) =
1
log
_
z +
z
2
1
z
_
Funes Hiperblicas Inversas As funes hiperblicas inver-
sas so denidas por:
sinh
1
(z) = log(z +
1 + z
2
)
cosh
1
(z) = log(z +
z
2
1)
tanh
1
(z) =
1
2
log
_
1 + z
1 z
_
coth
1
(z) =
1
2
log
_
z + 1
z 1
_
100
Variveis Complexas
AULA
6
sech
1
(z) = log
_
z +
1 z
2
z
_
csch
1
(z) = log
_
z +
z
2
1
z
_
PRXIMA AULA
Em nossa prxima aula veremos integrao complexa. Denire-
mos a integrao de linha complexas e veremos como a integrao
de linha complexas se relaciona com a integral de linha real.
ATIVIDADES
Deixamos como atividades as seguintes demonstraes:
ATIV. 6.1. Mostre que
z, w C, cosh(z + w) = cosh(z) cosh(w) + sinh(z) sinh(w) Co-
mentrio: Volte ao texto e reveja com calma e ateno as demon-
straes acima, elas lhe serviro de guia.
ATIV. 6.2. Mostre que cot
1
(z) =
1
2
log
_
z +
z
_
.
Comentrio: Volte ao texto e reveja com calma e ateno as
demonstraes acima, elas lhe serviro de guia.
101
102
AULA
7
Integrao Complexa
META:
Introduzir o conceito de integrao de funes de variveis com-
plexas.
OBJETIVOS:
Denir a integral de uma funo complexa.
Calcular integral de algumas funes de variveis complexas.
PR-REQUISITOS
Aula05 e aula06 de Variveis Complexas.
Integrao Complexa
7.1 Introduo
Caros alunos o tema dessa nossa aula Integrao Complexa
comearemos por denir a integral de uma funo complexa ao
longo de uma curva no plano complexo C veremos tambm a re-
lao entre a integrao complexa e a integrao real bem como
algumas das propriedades da integrao complexa.
7.2 Integrao Complexa
complexa contnua e C D uma curva suave contida em D (ver
gura 7.1).
Subdividimos C em n partes atravs dos pontos z
0
, z
1
, . . . , z
n
.
x
y
z
0
z
1
1
z
2
1
z
n1
n1
z
n
C
Figura 7.1: Integral de Linha
Para cada arco de curva ligando z
k1
a z
k
tomamos um ponto
arbitrrio
k
e fazemos a soma:
S
n
= f(
1
)(z
1
z
0
) + f(
2
)(z
2
z
1
) + + f(
n
)(z
n
z
n1
)
=
n
k=1
f(
k
)(z
k
z
k1
)
(7.105)
104
Variveis Complexas
AULA
7
Fazendo z
k
= z
k
z
k1
podemos reescrever a equao eqn 7.105
como:
S
n
= f(
1
)z
1
+ f(
2
)z
2
+ + f(
n
)z
n
=
n
k=1
f(
k
)z
k
(7.106)
Fazendo o nmero de pontos da partio n tender ao innito, em
eqn 7.106 de modo que o comprimento da maior corda |z
k
| tenda
a zero, o soma S
n
tende a um limite que independe da subdiviso
de C. A esse limite chamamos de integral de f() ao longo de C e
denotamos:
_
C
f(z)dz (7.107)
OBS 7.1. A integral acima denida denominada integral de
linha complexa ou simplesmente integral de linha de f() ao longo
da curva C. Observe que se f(z) analtica em D C, ento f(z)
certamente integrvel ao longo de C
7.3 Integrais de Linha Reais
Nesta seo procuramos relembrar algumas frmulas sobre inte-
grais de linhas reais.
Sejam P(x, y) e Q(x, y) funes de valores reais de x e y, contnuas
em todos os pontos de uma curva C, podemos denir a integral de
linha real por:
_
C
(Q(x, y)dx + P(x, y)dy) (7.108)
E se C for parametrizada por x = x(t) e y = y(t), t [a, b]
podemos reescrever a integral de linha real eqn 7.108 como:
_
b
a
(Q( x(t), y(t)) x
(t) + P( x(t), y(t)) y
(t))dt (7.109)
105
Integrao Complexa
OBS 7.2. Para o caso em que C uma curva lisa por partes
podemos integrar, segundo eqn 7.109, em cada uma das partes
em que a curva lisa e totalizar os resultados.
7.4 Relao entre Integrais de Linha Complexa
e Real
A integral de linha complexa dada por eqn 7.107 pode ser ree-
scrita em funo das integrais de linha reais da seguinte forma:
_
C
f(z)dz =
_
C
(u(x, y) +v(x, y)).(dx +dy)
=
_
C
(u(x, y)dx v(x, y)dy)
+
_
C
(v(x, y)dx + u(x, y)dy)
(7.110)
OBS 7.3. Podemos tambm, considerar eqn 7.110 como a denio
ocial da integral de linha complexa.
Para ilustrar veremos um exemplo de integral de linha complexa.
Exemplo 7.1. Sejam f : C C dada por f(z) = z = x + y e
C o crculo de centro em z
0
= a + b e raio r (ver gura 7.2 ).
SOLUO: Como f(z) = z ento u(x, y) = x e v(x, y) = y.
Resta, antes de efetuar a integrao de linha propriamente dita,
providenciar uma parametrizao para a curva C. Vamos propor
uma parametrizao para a curva C. Como C um crculo de
raio r e centro em z
0
= a + b uma possvel parametrizao
x = a+r cos(t) e y = b+r sin(t), t [0, 2). Da, dx = r sin(t)dt
e dy = r cos(t)dt. Podemos calcular em separado as duas integrais
106
Variveis Complexas
AULA
7
x
y
z
0
r
a
b
Figura 7.2: Exemplo 7.1
em eqn 7.110. A sabe:
=
_
C
=
_
C
(xdx ydy)
=
_
2
0
((a + r cos(t).(r sin(t) (b + r sin(t)).r cos(t))dt
=
_
2
0
(ar sin(t) br cos(t) 2r
2
sin(t) cos(t))dt
= (ar cos(t) br sin(t) 2r
2
sin
2
(t)
2
)
2
0
= 0
(7.111)
107
Integrao Complexa
Para a segunda integral:
=
_
C
(u(x, y)dy + v(x, y)dx)
=
_
C
(xdy + ydx)
=
_
2
0
((a + r cos(t).r cos(t) + (b + r sin(t)).(r sin(t)))dt
=
_
2
0
(ar cos(t) br sin(t) r
2
(cos
2
(t) sin
2
(t))dt
= (ar sin(t) + br cos(t) r
2
sin(2t)
2
)
2
0
= 0
(7.112)
Portanto, de eqn 7.110, eqn 7.111 e eqn 7.112 temos:
_
C
f(z)dz = 0
Encerraremos esta seo com um teorema (sem demonstrao) que
resume algumas das propriedades da integral de linha complexa.
Teorema 7.1. Sejam D C um aberto f, g : D C C duas
funes complexas integrveis sobre a curva lisa C D, ento:
i)
_
C
(f + g)(z)dz =
_
C
f(z)dz +
_
C
g(z)dz.
ii)
_
C
f(z)dz =
_
C
f(z)dz, C.
iii)
_
b
a
f(z)dz =
_
a
b
f(z)dz, a, b C.
iv)
_
b
a
f(z)dz =
_
c
a
f(z)dz +
_
b
c
f(z)dz, a, b, c C.
v)
_
C
f(z)dz
ML onde |f(z)| M, z C e L o compri-

mento de C.
108
Variveis Complexas
AULA
7
7.5 Integral Indenida
Vermos agora, que podemos estender o conceito de integral in-
denida para funes complexas.
Denio 7.1. Sejam D C um aberto e f, F : D C C
duas funes complexas tais que F
(z) = f(z). Dizemos que F(z)

a integral indenida de f(z) e denotamos:
F(z) =
_
f(z)dz
7.6 Concluso
Na aula de hoje, vimos que existe uma forte relao entre a in-
tegral de linha complexa e real e que a integral indenida complexa
segue o mesmo padro que a real.
RESUMO
Integrao Complexa
Sejam D C um aberto de C, f : D C C uma funo com-
plexa contnua e C D uma curva suave contida em D podemos
escrever a integral de linha complexa em funo das integrais de
linha reais da seguinte forma:
_
C
f(z)dz =
_
C
(u(x, y) +v(x, y)).(dx +dy)
=
_
C
+
_
C
(v(x, y)dx + u(x, y)dy)
109
Integrao Complexa
Algumas Propriedades da Integral de Linha
Sejam D C um aberto f, g : D C C duas funes complexas
integrveis sobre a curva lisa C D, ento:
i)
_
C
(f + g)(z)dz =
_
C
f(z)dz +
_
C
g(z)dz.
ii)
_
C
f(z)dz =
_
C
f(z)dz, C.
iii)
_
b
a
f(z)dz =
_
a
b
f(z)dz, a, b C.
iv)
_
b
a
f(z)dz =
_
c
a
f(z)dz +
_
b
c
f(z)dz, a, b, c C.
v)
_
C
f(z)dz
ML onde |f(z)| M, z C e L o compri-

mento de C.
Integral Indenida
A integral indenida complexa denida do mesmo modo que
integral indenida real. A saber:
Sejam D C um aberto e f, F : D C C duas funes
complexas tais que F
(z) = f(z). Dizemos que F(z) a integral

indenida de f(z) e denotamos:
F(z) =
_
f(z)dz
PRXIMA AULA
Em nossa prxima aula veremos alguns teoremas sobre inte-
grao de funes complexas conhecidos como teoria de Cauchy.
Em particular daremos nfase ao teorema de Cauchy-Goursat que
diz que a integral de uma funo holomorfa sobre uma curva fechada
simples zero.
110
Variveis Complexas
AULA
7
x
y
4
2
Figura 7.3: Atividade 1
ATIVIDADES
ATIV. 7.1. Sejam f : C C dada por f(z) = z
3
e C a curva
suave por partes dada pela gura 7.3 onde a parte parablica
dada por y + x
2
. Determine a integral de linha
_
C
f(z)dz.
exemplo e na parametrizao procure fazer x(t) = t.
ATIV. 7.2. Sejam f : C C dada por f(z) = z e C o crculo
de centro em z
0
= a + b e raio r (ver gura 7.2 ). Calcule:
_
C
f(z)dz.
exemplo, ela lhe servir de guia.
111
Integrao Complexa
112
AULA
8
Teoremas de Cauchy
META:
Introduzir os principais teoremas de Cauchy sobre integrao de
funes de variveis complexas.
OBJETIVOS:
Enunciar os principais teoremas de Cauchy sobre integrao de
funes de variveis complexas.
PR-REQUISITOS
Aula07 de Variveis Complexas.
Teoremas de Cauchy
8.1 Introduo
Caros alunos o tema dessa nossa aula Teoremas de Cauchy
tambm conhecidos como Teoria de Cauchy. As integrais de
funes holomorfas possuem algumas propriedades muito impor-
tantes. Provavelmente a mais importante delas seja descrita pelo
teorema integral de Cauchy, uma forma de representar funes
holomorfas atravs de integrais de linha ao longo de curvas fechadas.
8.2 Preliminares
Nas preliminares, veremos a denio de domnio simplesmente
conexo e enunciaremos, sem demonstrao, o teorema de Green no
plano (funes reais).
BIOGRAFIA
George Green nasceu
em Sneinton, condado
de Nottinghamshire 14
de Julho de 1793 e mor-
reu em Nottingham,
31 de Maio de 1841,
foi um matemtico e
fsico ingls. Na sua
obra Essay on the
Application of Mathe-
matical Analysis to the
Theory of Electricity
and Magnetism (1828)
introduziu a noo de
funo potencial no
estudo dos campos
magnticos. O teorema
de Green, que demon-
strou em 1828 facilitou
bastante o estudo das
funes. Wikipedia
Denio 8.1. Seja D C dizemos que D um domnio sim-
plesmente conexo se, somente se toda curva fechada inteiramente
contida em D puder ser deformada at um ponto em curvas in-
teiramente contidas em D.
E agora, sem demonstrao (para uma demonstrao veja o Livro
de Clculo III), o teorema de Green no plano.
Teorema 8.1 (Teorema de Green no Plano). Sejam D R
2
um
domnio e f : D R
2
R
2
uma aplicao suave. Seja V D
satisfazendo:
1. V fechado e limitado.
2. a fronteira V constituda de um nmero nito de curvas
de Jordan suaves por partes
3. V V um domnio.
114
Variveis Complexas
AULA
8
Supondo que V e V tem orientao compatvel. Se f(x, y) =
(u(x, y), v(x, y)) ento:
_
V
(udx + vdy) =
_ _
V
_
v
dx

u
dy
_
dxdy
8.3 Teoria de Cauchy
Comearemos por um teorema de Cauchy em sua forma original e
depois ampliaremos provando o teorema de Cauchy-Goursat.
BIOGRAFIA
Augustin-Louis
Cauchy nasceu em
Paris, Frana 21 de
agosto de 1789 e mor-
reu em Sceaux, Frana
23 de maio de 1857,
foi um matemtico
frances, pioneiro no es-
tudo da anlise, tanto
real e quanto com-
plexa, e em teoria de
grupos de permutao.
Ele tambm pesquisou
em convergncia e
divergncia de sries
innitas, equaes
diferenciais, determi-
nantes, probabilidade
e fsica matemtica.
Wikipedia
Teorema 8.2 (Teorema de Cauchy). Sejam D C um aberto de
C, f : D C C uma funo complexa contnua e C D uma
curva suave contida em D (ver gura 8.1). Se f(z) holomorfa
em D e tem derivada f
(z) contnua em D ento:

_
C
f(z)dz = 0
PROVA:
Figura 8.1: Teorema de Cauchy
Da denio da integral de linha complexa temos:
_
C
f(z)dz =
_
C
(u + v)(dx + dy)
=
_
C
(udx vdy) +
_
C
(vdx + udy)
(8.113)
115
Teoremas de Cauchy
Como f(z) = u(x, y) + v(x, y) holomorfa em D e tem derivada
f
(z) contnua em D temos:

f
(z) =
u
x
+
v
x
=
v
y

u
y
Portanto, as derivadas parciais

u
x
,
u
y
,
v
x
e
v
y
so contnuas em
D e como C D conseqentemente em C e seu interior. Podemos
pois aplicar o teorema de Green nas integrais da equao eqn
8.113 e temos.
_
C
f(z)dz =
_ _
R
_
v
x

u
y
_
dxdy
+
_ _
R
_
u
x

v
y
_
dxdy
(8.114)
onde R a regio interior da curva C.
Por outro lado, como f(z) holomorfa, vale em D e em particular
em R, as equaes de Cauchy-Riemann.
BIOGRAFIA
douard Jean-Baptiste
Goursat nasceu em
Lanzac, Frana, 21 de
maio de 1858 e morreu
em Paris, Frana, 25 de
novembro de 1936, foi
um matemtico francs
mais conhecido por sua
verso do teorema de
Cauchy-Goursat ar-
mando que a integral
de uma funo em
torno de um contorno
simples fechado zero
se a funo analtica
dentro do contorno.
Mac Tutor
u
x
=
v
y
u
y
=
v
x
(8.115)
Logo, substituindo eqn 8.115 em eqn 8.114 temos:
_
C
f(z)dz = 0
Nosso prximo passo demonstrar uma verso mais forte do teo-
rema, retirando a necessidade da continuidade da derivada f
(z)
em D.
Teorema 8.3 (Teorema de Cauchy-Goursat). Sejam D C um
aberto de C, f : D C C uma funo complexa contnua e
C D uma curva suave contida em D (ver gura 8.1). Se f(z)
holomorfa em D ento:
_
C
f(z)dz = 0
116
Variveis Complexas
AULA
8
A prova do teorema sera dividida em trs partes.
Prova do Teorema de Cauchy-Goursat para o Caso de um
Tringulo
Tomando un tringulo arbitrrio , ligando os pontos A, B e C
ver gura 8.2). Ligando os pontos mdios D, E e F dos lados AB,
AC e BC respectivamente. Repartiremos em quatro tringulos
denotados
1
,
2
,
3
e
4
.
Se f(z) holomorfa em , em particular, holomorfa em
1
,
2
,
3
e
4
. E, omitindo os integrandos direita, podemos escrever:
_
f(z)dz =
_
DAE
f(z)dz +
_
EBF
f(z)dz +
_
FCD
f(z)dz (8.116)
B
F
C
A
E D
3
Figura 8.2: Teorema de Cauchy-Goursat no Tringulo
Levando em conta, das propriedades da integral de linha complexa,
que
_
ED
=
_
DE
,
_
FE
=
_
EF
e
_
DF
=
_
FD
podemos rees-
crever eqn 8.116 como:
_
C
f(z)dz =
__
DAE
+
_
ED
_
+
__
EBF
+
_
FE
_
+
__
FCD
+
_
DF
_
+
__
DE
+
_
EF
+
_
FD
_
=
_
DAED
+
_
EDFE
+
_
FCDF
+
_
DEFD
(8.117)
117
Teoremas de Cauchy
onde omitimos os integrandos por questo de economia.
A equao eqn 8.117 pode ser reescrita como:
_
C
f(z)dz =
_
1
f(z)dz +
_
2
f(z)dz
+
_
3
f(z)dz +
_
4
f(z)dz
(8.118)
Tomando o mdulo de eqn 8.118 e usando a desigualdade trian-
gular temos:
_
C
f(z)dz
1
f(z)dz
2
f(z)dz
3
f(z)dz
4
f(z)dz
(8.119)
Sem perda de generalidade podemos tomar
1
como o tringulo
que contribui com o maior valor em eqn 8.119 e escrever:
_
C
f(z)dz
1
f(z)dz
(8.120)
Podemos repetir o processo, ligando os pontos mdios dos lados de
1
e obter:
1
f(z)dz
2
f(z)dz
(8.121)
onde, neste caso
2
o sub-tringulo de
1
com maior con-
tribuio.
Substituindo eqn 8.121 em eqn 8.120 temos:
_
C
f(z)dz
4
2
2
f(z)dz
Aps n repetio desse processo temos:
_
C
f(z)dz
4
n
n
f(z)dz
(8.122)
Por outro lado, ,
1
,
2
, . . . ,
k
, . . . uma seqncia de trin-
gulos encaixantes cada um contido no seu antecessor e portanto,
118
Variveis Complexas
AULA
8
existe um ponto z
0
que pertence a todos os tringulos da seqn-
cia. Como cada tringulo est contido em D e f(z) holomorfa
em D holomorfa em z
0
. Logo,
f(z) = f
(z
0
)(z z
0
) + (z z
0
) (8.123)
Como lim
zz
0
= 0, > 0, > 0 tal que z, |z z
0
| < temos
|| < . Dai, integrando eqn 8.123 em
n
temos:
_
n
f(z)dz = f
(z
0
)
_
n
(z z
0
)dz +
_
n
(z z
0
)dz (8.124)
Como z z
0
holomorfa em C e tem derivada contnua em C
podemos aplicar o teorema de Cauchy, a segunda integral em eqn
8.124 nula e temos:
_
n
f(z)dz =
_
n
(z z
0
)dz (8.125)
n
z
0
Figura 8.3:
Devido a proporcionalidade, se o permetro de L, o permetro
de
n
L/2
n
e se z um ponto qualquer sobre
n
(ver gura 8.3)
ento |z z
0
| < L/2
n
< . Da, e da propriedade das integrais
de linha

_
C
f(z)dz
ML onde |f(z)| M, z C e L o
comprimento de C, a equao eqn 8.125 passa a:
_
n
f(z)dz =
_
n
(z z
0
)dz
L
2
n
L
2
n
=
L
2
4
n
(8.126)
119
Teoremas de Cauchy
_
C
f(z)dz
L
2
(8.127)
Como em eqn 8.127 pode ser tomado arbitrariamente pequeno,
conclumos que:
_
C
f(z)dz = 0
Prova do Teorema de Cauchy-Goursat para o Caso de um
Polgono Fechado
Seja, a ttulo de exemplo, o polgono fechado , ligando os pontos
A, B, C, D, E e F (ver gura 8.4)
A B
C
D
E
F
Traando as linhas BF, CF e DF repartimos o polgono em trin-
gulos. Como o teorema de Cauchy-Goursat j foi provado para
tringulos, e como as integrais ao longo de BF, CF e DF cancelam-
se (cada um desses caminhos percorrido duas vezes em sentidos
120
Variveis Complexas
AULA
8
opostos) temos:
_
f(z)dz =
_
ABFA
f(z)dz +
_
BCFB
f(z)dz
+
_
CDFC
f(z)dz +
_
DEFD
f(z)dz
= 0
OBS 8.1. Observamos que apesar de na demonstrao ter sido u-
sado um polgono fechado simples, o teorema contnua vlido para
um polgono qualquer, incluindo polgonos que se auto-interceptam.
Prova do Teorema de Cauchy-Goursat para o Caso de uma
Curva Fechada Simples
Seja C C uma curva fechada simples contida em uma regio
na qual f(z) seja holomorfa. Tomando os pontos z
0
, z
1
, z
2
, . . . , z
n
,
z
0
= z
n
, sobre C e seja P
n
o polgono formado ligando em seqncia
esses pontos (ver gura 8.5)
z
0
= z
n
z
1
z
2
z
n1
Denindo a soma:
S
n
=
n
k=1
f(z
k
)z
k
(8.128)
onde z
k
= z
k
= z
k1
.
Passando o limite n +emeqn 8.129 de modo que max |
k
|
121
Teoremas de Cauchy
0 vemos que >, N
0
N tal que n > n
0
temos:
_
C
f(z)dz S
n
<

2
(8.129)
Tomando a integral de linha no polgono fechado P
n
(levando em
conta que no polgono fechado vale o teorema de Cauchy-Goursat)
temos:
_
P
n
f(z)dz = 0 =
_
z
1
z
0
f(z)dz + +
_
z
n
z
n1
f(z)dz
=
_
z
1
z
0
(f(z) f(z
1
) + f(z
1
))dz+
+
_
z
n
z
n1
(f(z) f(z
n
) + f(z
n
))dz
=
_
z
1
z
0
(f(z) f(z
1
))dz+
+
_
z
n
z
n1
(f(z) f(z
n
))dz + S
n
(8.130)
Portanto, de eqn 8.130 tiramos:
S
n
=
_
z
1
z
0
(f(z) f(z
1
))dz + +
_
z
n
z
n1
(f(z) f(z
n
))dz (8.131)
Tomando N
0
sucientemente grande para que em cada lado de P
n
,
ligando z
0
a z
1
, z
1
a z
2
at z
n1
a z
n
tenhamos:
|f(z
1
) f(z)| <

2L
, . . . , |f(z
n
) f(z)| <

2L
(8.132)
onde L o permetro de P
n
. Tomando o mdulo de eqn 8.131 e
usando a desigualdade triangular e eqn 8.132 e propriedades da
integral de linha temos:
|S
n
|
_
z
1
z
0
|f(z) f(z
1
)|dz + +
_
z
n
z
n1
|f(z) f(z
n
)|dz

2L
(|z
1
z
0
| + +|z
n
z
n1
|)

2
(8.133)
122
Variveis Complexas
AULA
8
Por outro lado fazendo:
_
C
f(z)dz =
_
C
f(z)dz S
n
+ S
n
(8.134)
Tomando o mdulo de eqn 8.134 e usando a desigualdade trian-
gular e eqn 8.129 temos:
_
C
f(z)dz
_
C
f(z)dz S
n
S
n
<

2
+

2
<
Como arbitrariamente pequeno temos, nalmente:
_
C
f(z)dz = 0
8.4 Frmula Integral de Cauchy
Como uma das possveis aplicaes do teorema de Cauchy, veremos
aqui a frmula integral de Cauchy. Antes porm, teremos que
provar dois teoremas.
Teorema 8.4. Sejam D C uma aberto, R D uma regio
limitada por duas curvas suaves C
1
e C
2
e f : D C C uma
funo holomorfa ento:
_
C
1
f(z)dz =
_
C
2
f(z)dz
onde ambas as curvas so orientadas positivamente no sentido
anti-horrio.
PROVA: Tomaremos o seguinte caminho (ver gura 8.6)
comeando no ponto A percorremos C
1
no sentido positivo at re-
tornar ao ponto A seguimos pela reta AB no sentido de A para B
123
Teoremas de Cauchy
A
B
C
2
C
1
at o ponto B em C
2
percorremos C
2
no sentido negativo (horrio)
at retornar ao ponto B e concluindo retornamos ao ponto A per-
correndo a reta AB no sentido de B para A. Este percurso uma
curva fechada suave por partes e comof(z) holomorfa em D vale
o teorema de Cauchy-Goursat. logo:
_
f(z)dz = 0 (8.135)
Da equao eqn 8.135 temos:
_
C
1
f(z)dz +
_
AB
f(z)dz
_
C
2
f(z)dz +
_
BA
f(z)dz = 0 (8.136)
Como
_
AB
f(z)dz =
_
BA
f(z)dz da equao eqn 8.136 temos:
_
C
1
f(z)dz =
_
C
2
f(z)dz
Teorema 8.5. Sejam D C um aberto, C D uma curva suave
e z
0
D um ponto do interior de C ento:
_
C
1
z z
0
dz = 2
124
Variveis Complexas
AULA
8
PROVA:
z
0
C
Como z
0
D e D C um aberto, podemos tomar um > 0 de
modo que o crculo de raio e centro em z
0
esteja inteiramente
contido na regio limitada por C (ver gura 8.7). Da, aplicando
o teorema anterior regio entre C e temos:
_
C
1
z z
0
dz =
_
1
z z
0
dz (8.137)
onde ambas as curvas so orientadas no sentido positivo.
Podemos parametrizar o crculo pondo z = z
0
+e
t
, t [0, 2).
Da, dz = e
t
dt e substituindo na equao eqn 8.137 temos:
_
C
1
z z
0
dz =
_
2
0
1
e
t
e
t
dt
=
_
2
0
dt
= 2
(8.138)
Teorema 8.6 (Frmula Integral de Cauchy). Sejam D C um
aberto f : D C C uma funo holomorfa em D, C D uma
curva suave e z
0
um ponto interior da regio limitada por C ento:
f(z
0
) =
1
2
_
C
f(z)
z z
0
dz
125
Teoremas de Cauchy
PROVA: Como z
0
D e D C um aberto, podemos tomar
um > 0 de modo que o crculo de raio e centro em z
0
esteja
inteiramente contido na regio limitada por C (ver gura 8.7).
Da, aplicando o teorema anterior regio entre C e temos:
_
C
f(z)
z z
0
dz =
_
f(z)
z z
0
dz (8.139)
onde ambas as curvas so orientadas no sentido positivo.
Podemos parametrizar o crculo por: z = z +0+e
t
, t [0, 2).
Da, dz = e
t
dt e para eqn 8.139 temos:
_
C
f(z)
z z
0
dz =
_
2
0
f(z
0
+ e
t
)
e
t
e
t
dt
=
_
2
0
f(z
0
+ e
t
)dt
(8.140)
Passando o limite 0 em eqn 8.140 e lembrando que f(z)
holomorfa e portanto contnua temos:
_
C
f(z)
z z
0
dz = lim
0
_
2
0
f(z
0
+ e
t
)dt
=
_
2
0
lim
0
f(z
0
+ e
t
)dt
=
_
2
0
f(lim
0
(z
0
+ e
t
))dt
=
_
2
0
f(z
0
)dt
= f(z
0
)
_
2
0
dt
= 2f(z
0
)
(8.141)
Logo:
f(z
0
) =
1
2
_
C
f(z)
z z
0
dz
A seguir veremos mais um teorema. Diz respeito a derivao de
funes holomorfas.
126
Variveis Complexas
AULA
8
Teorema 8.7 (Derivada de funes Holomorfas). Sejam D C
um aberto f : D C C uma funo holomorfa em D, C D
uma curva suave e z
0
um ponto interior da regio limitada por C
ento:
f
(z
0
) =
1
2
_
C
f(z)
(z z
0
)
2
dz
PROVA: Tomando z
0
+ no interior da regio limitada por C
podemos usar o teorema 8.6 e escrever:
f(z
0
+ ) f(z
0
)
=
1
2
_
C
1
_
1
z z
0

1
z z
0
_
f(z)dz
=
1
2
_
C
f(z)
(z z
0
)(z z
0
)
dz
=
1
2
_
C
f(z)
(z z
0
)
2
dz
+
1
2
_
C
f(z)
(z z
0
)(z z
0
)
2
dz
(8.142)
O resultado segue-se passando o limite 0 na equao eqn
8.142. Basta mostrar que a segunda integral vai a zero quando
0. Para isto, tomamos um crculo de raio e centro em z
0
,
inteiramente contido na regio limitada por C (ver gura 8.7) e
temos:
_
C
f(z)
(z z
0
)(z z
0
)
2
dz =
_
f(z)
(z z
0
)(z z
0
)
2
dz
(8.143)
Tomando pequeno o bastante para que z
0
+ pertena a regio
limitada por e || < /2 e levando em conta que sobre , |zz
0
| =
temos:
|z z
0
| |z z
0
| || > /2 = /2 (8.144)
Mais ainda, como f(z) holomorfa, existe M > 0 tal que |f(z)| <
127
Teoremas de Cauchy
M, z e o comprimento de 2. Da, temos:
f(z)
(z z
0
)(z z
0
)
2
dz

2M||
(/2)(
2
)
(8.145)
Portanto, o lado esquerdo de tende a zero quando 0 i.e.
lim
0
f(z)
(z z
0
)(z z
0
)
2
dz
= 0
Logo:
lim
0
_
f(z)
(z z
0
)(z z
0
)
2
dz = 0 (8.146)
Passando o limite 0 em eqn 8.142 e eqn 8.143 e usando
eqn 8.146 e levando em conta que f
(z
0
) = lim
0
f(z
0
+ ) f(z
0
)
temos:
f
(z
0
) =
1
2
_
C
f(z)
(z z
0
)
2
dz
OBS 8.2. O resultado obtido equivale a:
d
dw
f(w) =
1
2
d
dw
_
C
f(z)
z w
dz =
1
2
_
C
w
_
f(z)
z w
_
dz
que uma extenso da regra de Leibnitz de derivao sob a inte-
grao para integrais de contorno.
OBS 8.3. Podemos tambm, do mesmo modo, mostrar que:
f
(n)
(z
0
) =
1
2
_
C
f(z)
(z z
0
)
n+1
dz, n = 1, 2, . . .
de onde conclumos que uma funo holomorfa tem derivada de
qualquer ordem. Omitimos aqui, a demonstrao deste resultado.
Porm, caros alunos, nada impede de ser tentada. Para isto usem o
princpio da induo supondo vlida a frmula acima e mostrando
que a mesma vale para n + 1.
128
Variveis Complexas
AULA
8
8.5 Concluso
Na aula de hoje, vimos que se uma funo complexa holo-
morfa ela tem derivada de qualquer ordem.
RESUMO
Teorema de Cauchy
Sejam D C um aberto de C, f : D C C uma funo com-
plexa contnua e C D uma curva suave contida em D (ver gura
8.1). Se f(z) holomorfa em D e tem derivada f
(z) contnua em
D ento:
_
C
f(z)dz = 0
Teorema de Cauchy-Goursat
complexa contnua e C D uma curva suave contida em D (ver
gura 8.1). Se f(z) holomorfa em D ento:
_
C
f(z)dz = 0
Frmula Integral de Cauchy
Sejam D C um aberto f : D C C uma funo holomorfa
em D, C D uma curva suave e z
0
um ponto interior da regio
limitada por C ento:
f(z
0
) =
1
2
_
C
f(z)
z z
0
dz
129
Teoremas de Cauchy
Derivada de funes Holomorfas
Sejam D C um aberto f : D C C uma funo holomorfa
em D, C D uma curva suave e z
0
um ponto interior da regio
limitada por C ento:
f
(z
0
) =
1
2
_
C
f(z)
(z z
0
)
2
dz
PRXIMA AULA
Em nossa prxima aula veremos como estender ao campo dos
nmeros complexos as mesmas noes de seqncias e sries de
nmeros complexos. Estas noes so bsicas no desenvolvimento
de representaes de funes complexas atravs de sries.
ATIVIDADES
ATIV. 8.1. Sejam D C um aberto, f : D C C uma
funo complexa holomorfa, a, b D e C uma curva lisa tal que a
e b estam no seu interior. Mostre que:
1
2
_
C
f(z)
(z a)(z b)
dz =
f(a)
a b
+
f(b)
b a
Comentrio: Procure usar os teoremas de Cauchy e o mtodo
das fraes parciais.
ATIV. 8.2. Mostre que:
_
C
z
(4 z
2
)(z + i)
dz =
2
5
onde; C
o crculo |z| = 2.
Comentrio: Use os teoremas de Cauchy e verique quais z
0
dos
130
Variveis Complexas
AULA
8
fatores da forma z z
0
do denominador do integrando pertencem
ao interior do crculo |z| = 2.
131
AULA
9
Convergncia de Sries
de Nmeros Complexos
META:
Apresentar o conceito de convergncia de sries de nmeros com-
plexos.
OBJETIVOS:
Denir convergncia de sries de nmeros complexos e calcular o
limite de algumas sries de nmeros complexos.
PR-REQUISITOS
ciplina Clculo II.
Convergncia de Sries de Nmeros Complexos
9.1 Introduo
Caros alunos veremos aqui um pouco de seqncias e sries de
nmeros complexos. Seqncias pois so essenciais ao estudo das
sries e sries pois so essenciais ao estudo das funes holomorfas
visto que essas podem ser expressas como srie de potncias.
9.2 Seqncias de Nmeros Complexos
Comearemos pela denio de seqncias de nmeros complexos.
A saber:
Denio 9.1. Uma seqncia de nmeros complexos uma funo
cujo domnio o conjunto do nmeros naturais N e o contra-
domnio o conjunto dos nmeros complexos C, z : N C.
O n-simo termo da seqncia ser denotado z(n) ou alternativa-
mente z
n
(que utilizaremos daqui para a frente). Uma seqncia
pode ser denotada alternativamente por {z
n
, n N} ou {z
n
} (que
utilizaremos daqui para a frente).
Exemplo 9.1. Como exemplos de seqncias temos:
1. {z
n
} onde z
0
= 2 e z
n
=

2 + z
n1
, n = 1, 2, 3, . . .
2. {z
n
} onde z
n
= n
2
+ 1, n = 0, 1, 2, . . .
Denio 9.2. Seja {z
n
} uma seqncia de nmeros complexos.
Dizemos que {z
n
} uma seqncia limitada se, somente se existe
K > 0 tal que z
n
B
K
(0), n N.
OBS 9.1. Uma seqncia limitada se todos os seus elementos
pertencem a alguma bola aberta.
134
Variveis Complexas
AULA
9
Denio 9.3. Seja {z
n
Dizemos que z C o limite de {z
n
}, denotado z = lim
n
z
n
,
se, somente se para todo > 0 existe n
0
N tal que n n
0
,
z
n
B
(z).
OBS 9.2. Se uma seqncia {z
n
} tem limite dizemos alternativa-
mente que ela converge. Por outro lado se {z
n
} no possui limite
dizemos que a seqncia diverge.
9.3 Alguns Teoremas
Veremos agora alguns teoremas sobre seqncias de Nmeros Com-
plexos.
Teorema 9.1. Seja {z
n
} uma seqncias de nmeros complexos.
Se {z
n
} convergente ento {z
n
} limitada.
PROVA: Como {z
n
} convergente existe z C tal que z =
lim
n
z
n
. Da, tomando = 1 existe n
0
N tal que n n
0
, z
n

B
1
(z).
Da, usando a desigualdade triangular, temos:
|z
n
z| < 1 |z
n
| < 1 + |z|. De outra forma: n n
0
, z
n

B
1+|z|
(0).
Teorema 9.2. Seja {z
n
} uma seqncias de nmeros complexos
tal que z
n
= x
n
+y
n
onde {x
n
} e {y
n
} so seqncias de nmeros
reais ento z = x + y = lim
n
z
n
se, somente se x = lim
n
x
n
e
y = lim
n
y
n
.
PROVA: A prova ser dividida em duas partes:
Parte 1: Se z = x + y = lim
n
z
n
ento para todo > 0, existe
135
n
0
N tal que:
n n
0
, z
n
B
(z), de outra forma: n n

0
, |z
n
z| < .
por outro lado, como |x
n
x|
_
(x
n
x)
2
+ (y
n
y)
2
= |z
n

z| < .
Da, temos: > 0, n
0
N|n n
0
, |x
n
x| < .
logo x = lim
n
x
n
.
Do mesmo modo:
y = lim
n
y
n
.
Parte 2: se x = lim
n
x
n
e y = lim
n
y
n
ento para todo > 0
existe n
1
, n
2
N tal que:
n n
1
, |x
n
x| <

2
e n n
2
, |y
n
y| <

2
.
Tomando n
0
= max{n
1
, n
2
} as desigualdades acima valem simul-
taneamente se n n
0
i.e.
n n
0
, |x
n
x| <

2
|y
n
y| <

2
.
Da, temos:
|z
n
z| |x
n
x| +|y
n
y| <

2
+

2
= Logo z
n
B
(z).
Da, temos:
> 0, n
0
N|n n
0
, z
n
B
(z).
logo z = lim
n
z
n
.
Teorema 9.3. Sejam {z
n
} e {w
n
} duas seqncias de nmeros
complexos tais que z = lim
n
z
n
e w = lim
n
w
n
ento:
i) lim
n
az
n
= az, para todo a C
ii) lim
n
(z
n
+ w
n
) = z + w
iii) lim
n
(z
n
w
n
) = z w
iv) lim
n
(z
n
.w
n
) = z.w
v) lim
n
z
n
w
n
=
z
w
, se w = 0
136
Variveis Complexas
AULA
9
PROVA: Provaremos apenas a iii) o restante car cargo dos
alunos.
Para todo > 0, existem n
1
, n
2
, n
3
N e K > 0 tais que, da
denio de limite de seqncias e do teorema 9.1 :
n n
1
, z
n
B
/2|w|
(z), n n
1
, w
n
B
/2K
(z) e n n
1
, z
n

B
K
(z).
De outra forma:
n n
1
, |z
n
z| <

2|w|
, n n
1
, |w
n
z| <

2K
e n
n
1
, |z
n
| < K.
Da, tomando n
0
= max{n
1
, n
2
, n
3
} teremos as trs desigualdades
acima simultaneamente satisfeitas e:
|z
n
w
n
zw| = |z
n
w
n
z
n
w + z
n
w zw|
|z
n
w
n
z
n
w| +|z
n
w zw|
|z
n
|.|w
n
w| +|w|.|z
n
z|
< K.|w
n
w| +|w|.|z
n
z|
< K.

2K
+|w|.

2|w|
<
Da, temos:
n n
0
, z
n
w
n
B
(zw). Portanto:
lim
n
(z
n
w
n
) = zw.
O prximo teorema constitui-se um importante critrio de con-
vergncia de seqncias pois, com ele possvel decidir sobre a
convergncia de uma seqncia sem a necessidade do conhecimento
prvio de seu limite. conhecido como Critrio de Cauchy ou
Princpio de Cauchy.
Teorema 9.4 (Critrio de Cauchy). Seja {z
n
} uma seqncia de
137
nmero complexos ento {z
n
} convergente se, somente se, para
todo > 0, existe n
0
N tal que:
m, n n
0
|z
m
z
n
| <
9.4 Sries de Nmeros Complexos
Como de modo geral, comearemos pela denio.
Denio 9.4. Dada uma seqncia {z
n
} de nmeros complexos,
denimos a srie associada {s
n
} com a seqncia de somas parciais
s
n
=
n
k=0
z
k
.
OBS 9.3. Sries so seqncias especiais denidas a partir de out-
ras seqncias. Se a seqncia de somas parciais converge dizemos
que a srie converge. Denotaremos
n=0
z
n
srie numrica gerada
por {z
n
}.
Denio 9.5. Seja r > 0 um nmero real positivo e {x
n
= r
n
}
a seqncia de potncias de r. Denimos a srie geomtrica r
como a srie associada a {x
n
} de somas parciais s
n
=
n
k=0
r
k
=
1 + r + r
2
+ + r
n
.
OBS 9.4. podemos simplicar a expresso da soma parcial s
n
=
n
k=0
r
k
= 1 + r + r
2
+ + r
n
. do seguinte modo:
fazendo o produto de s
n
por r temos:
rs
n
= r
n
k=0
r
k
= r +
2
+r
3
+ + r
n+1
. Subtraindo de s
n
temos:
rs
n
s
n
= r
n+1
1. Da, temos:
s
n
=
1 r
n+1
1 r
.
138
Variveis Complexas
AULA
9
Se r < 1 como lim
n
r
n
= 0 temos:
lim
n
s
n
= lim
n
1 r
n+1
1 r
=
1 lim
n
r
n+1
1 r
=
1
1 r
e a srie geomtrica convergente.
Por outro lado se r > 1 como lim
n
r
n
= temos:
lim
n
s
n
= lim
n
1 r
n+1
1 r
=
1 lim
n
r
n+1
1 r
=
e a srie geomtrica divergente.
As sries numricas so mais ricas, em comparao com as se-
qncias, no que tange aos critrios de convergncias. Veremos
alguns deles, na forma de teoremas dos quais provaremos alguns,
comeando pelo critrio da comparao de sries de nmeros reais.
Teorema 9.5 (Critrio da Comparao). Sejam
n=0
x
n
e
n=0
y
n
sries numricas onde: x
n
, y
n
R. tais que x
n
, y
n
> 0. Supondo
que para todo n, x
n
< y
n
valem:
1. Se
n=0
y
n
converge ento
n=0
x
n
converge.
2. Se
n=0
x
n
diverge ento
n=0
y
n
diverge.
Teorema 9.6. Seja
n=0
z
n
uma srie de nmeros complexos. Se
n=0
z
n
converge ento lim
n
z
n
= 0.
139
PROVA: Pelo critrio de Cauchy temos: lim
n
|z
n
| = lim
n
|s
n

s
n1
| = 0.
Logo da continuidade da funo mdulo temos:
lim
n
z
n
= 0.
OBS 9.5. O teorema acima nos d uma condio necessria para
convergncia de uma srie numrica.
Denio 9.6. Seja
n=0
z
n
uma srie de nmeros complexos. Dize-
mos que
n=0
z
n
converge absolutamente se, somente se, a srie
n=0
|z
n
| associada seqncia {|z
n
|} converge.
OBS 9.6. Na prxima seo, estudo das sries de potncias car
clara a importncia deste conceito.
Teorema 9.7. Seja
n=0
z
n
n=0
z
n
absolutamente convergente ento
n=0
z
n
convergente.
PROVA: Sejam s
n
=
n
k=0
z
k
a n-sima soma parcial de {z
n
} e
s
n
=
n
k=0
|z
k
| a n-sima soma parcial de {|z
n
|}. Da desigualdade
triangular, fazendo m = n + k temos:
|s
m
s
n
| = |s
n+k
s
n
|
= |z
n+k
+ z
n+k1
+ + z
n+1
|
|z
n+k
| +|z
n+k1
| + +|z
n+1
|
|s
n+k
s
n
|
|s
m
s
n
|
140
Variveis Complexas
AULA
9
Como
n=0
|z
n
| do critrio de Cauchy, para todo > 0 existe n
o
N
tal que m, n n
0
, |s
m
s
n
| < . Da desigualdade acima temos:
m, n n
0
, |s
m
s
n
| < . Logo
n=0
z
n
satisfaz o critrio de
Cauchy e convergente.
Teorema 9.8. Sejam
n=0
z
n
e
n=0
w
n
duas sries de nmeros com-
plexos convergentes tais que
n=0
z
n
= z e
n=0
w
n
= w e a C
ento:
i)
n=0
(az
n
) = az
ii)
n=0
(z
n
+ w
n
) = z + w
9.5 Sries de Potncia
Esta seo ser o ponto alto de nossa aula. Nela veremos sries de
potncia, culminando com um teorema de representao de funes
holomorfas.
Denio 9.7. Seja {a
n
Denimos a srie de potncias associada a {a
n
} de centro em 0
por:
n=0
a
n
z
n
.
OBS 9.7. As primeiras somas parciais da srie de potncias asso-
141
ciada a {a
n
} de centro em 0 so:
s
0
= a
0
s
1
= a
0
+ a
1
z
s
2
= a
0
+ a
1
z + a
2
z
2
.
.
.
s
n
= a
0
+ a
1
z + a
2
z
2
+ + a
n
z
n
.
.
.
Dada uma srie de potncia duas perguntas aparecem de forma
natural. Na primeira desejamos saber para quais valores de z a
srie convergente. A segunda se zermos f(z) = lim
n
s
n
sob
quais condies teramos uma funo e onde estaria denida. O
caso trivial z = 0 nos d uma resposta bvia pois, teramos
uma seqncia constante. A verdadeira questo para que outros
valores de z teramos uma resposta positiva?
Teorema 9.9. Seja
n=0
a
n
z
n
uma srie numrica:
i) Se existe z
1
C, z
1
= 0 tal que
n=0
a
n
z
n
1
converge ento
n=0
a
n
z
n
converge para todo z C tal que |z| < |z
1
|
ii) Se existe z
2
C, z
2
= 0 tal que
n=0
a
n
z
n
2
diverge ento
n=0
a
n
z
n
diverge para todo z C tal que |z
2
| < |z|
PROVA: Dividiremos a prova em duas partes:
Parte 1: Como
n=0
a
n
z
n
1
converge do teorema 9.6 temos:
lim
n
a
n
z
n
1
= 0 e a seqncia {a
n
z
n
1
} limitada. Logo existe K > 0
142
Variveis Complexas
AULA
9
tal que para todo n N, |a
n
z
n
1
| < K. Da, como |z| < |z
1
| pondo
r =
|z|
|z
1
|
< 1 temos:
|a
n
z
n
| = |a
n
|.|z|
n
= |a
n
|.|z
1
|
n
.
_
|z|
|z
1
|
_
n
= |a
n
z
n
1
|.r
n
< Kr
n
Como r < 1 a srie
n=0
Kr
n
converge para
K
1 r
pelo critrio da
comparao teorema 9.5 a srie
n=0
|a
n
z
n
| e portanto do teo-
rema 9.7 a srie
n=0
a
n
z
n
convergente.
Parte 2: Suponha, por absurdo, que exista um nmero z C
tal que |z| > |z
2
| e a srie
n=0
a
n
z
n
seja convergente. repetindo a
demonstrao da Parte 1 trocando z por z
2
e z
1
por z teramos
que a srie
n=0
a
n
z
n
2
seria convergente o que um absurdo. Logo,
para todo z C tal que |z| > |z
2
| a srie
n=0
a
n
z
n
divergente.
OBS 9.8. O teorema acima nos diz de se uma srie
n=0
a
n
z
n
convergente em um ponto z
1
= 0 ento convergente em todos
os pontos da bola aberta B
|z
1
|
(0) e portanto podemos denir uma
funo f : B
|z
1
|
(0) C dada por f(z) = lim
n
n
k=0
a
n
z
n
.
Teorema 9.10. Seja
n=0
a
n
z
n
uma srie de potncias ento existe
uma bola fechada

B
r
(0) tal que a srie converge absolutamente em
todos os pontos do interior da bola e diverge para todos os pontos
do exterior da bola.
143
Denio 9.8. Seja
n=0
a
n
z
n
uma srie de potncias denomi-
namos raio de convergncia ao raio r da bola denida pelo teorema
acima.
O seguinte teorema oferece um modo prtico de determinar o raio
de convergncia de uma srie de potncias.
Teorema 9.11. Seja
n=0
a
n
z
n
uma srie de potncias tal que para
todo n N, a
n
= 0. Ento o raio de convergncia da srie de
potncias pode ser dado por:
r = lim
n
a
n
a
n+1
ou r = lim
n
1
|a
n
|
1/n
Vejamos um exemplo de determinao do raio de convergncia de
uma srie de potncias.
Exemplo 9.2. Seja a srie de potncias dada por
n=0
1
n!
z
n
. De-
termine seu raio de convergncia.
SOLUO: Tomando a
n
=
1
n!
temos: a
n+1
=
1
(n + 1)!
=
1
(n + 1).n!
. Logo:
a
n
a
n+1
=
1
n!
1
(n + 1).n!
=
(n + 1).n!
n!
= n + 1.
Da, temos:
lim
n
a
n
a
n+1
= lim
n
n + 1 = . Logo:
r = lim
n
a
n
a
n+1
lim
n
a
n
a
n+1
= .
Para concluir enunciaremos sem demonstrao o seguinte teorema.
Teorema 9.12. Sejam D C um aberto e f : D C C um
funo holomorfa em uma bola aberta B
r
(z
0
) D ento para cada
z B
r
(z
0
) temos:
f(z) =
n=0
f
(n)
(z
0
)
n!
(z z
0
)
n
144
Variveis Complexas
AULA
9
9.6 Concluso
Na aula de hoje, tanto as seqncias de nmeros complexos
quanto as sries de nmeros complexos tm paralelo com seqn-
cias e sries de nmeros reais exceto por alguns critrios de con-
vergncia.
RESUMO
Seqncias de Nmeros Complexos
Denio de seqncia de Nmeros complexos
Uma seqncia de nmeros complexos uma funo cujo domnio
o conjunto do nmeros naturais N e o contra-domnio o conjunto
dos nmeros complexos C, z : N C.
Convergncia de Seqncia de Nmeros Complexos
Se uma seqncia {z
n
} tem limite dizemos alternativamente que
ela converge. Por outro lado se {z
n
} no possui limite dizemos que
a seqncia diverge.
Teorema 1
Seja {z
n
} uma seqncias de nmeros complexos. Se {z
n
} con-
vergente ento {z
n
} limitada.
Teorema 2
Sejam {z
n
} e {w
n
} duas seqncias de nmeros complexos tais que
z = lim
n
z
n
e w = lim
n
w
n
ento:
i) lim
n
az
n
= az, para todo a C
ii) lim
n
(z
n
+ w
n
) = z + w
145
iii) lim
n
(z
n
w
n
) = z w
iv) lim
n
(z
n
.w
n
) = z.w
v) lim
n
z
n
w
n
=
z
w
, se w = 0
Teorema 3: Critrio de Cauchy
Seja {z
n
} uma seqncia de nmero complexos ento {z
n
} con-
vergente se, somente se, para todo > 0, existe n
0
N tal que:
m, n n
0
|z
m
z
n
| <
Sries de Nmeros Complexos
Denio
Dada uma seqncia {z
n
} de nmeros complexos, denimos a srie
associada {s
n
} com a seqncia de somas parciais s
n
=
n
k=0
z
k
.
Denio
Seja
n=0
z
n
uma srie de nmeros complexos. Dizemos que
n=0
z
n
converge absolutamente se, somente se, a srie
n=0
|z
n
| associada
seqncia {|z
n
|} converge.
Teorema 1
Seja
n=0
z
n
n=0
z
n
absolu-
tamente convergente ento
n=0
z
n
convergente.
Teorema 2
Sejam
n=0
z
n
e
n=0
w
n
duas sries de nmeros complexos conver-
gentes tais que
n=0
z
n
= z e
n=0
w
n
= w e a C ento:
i)
n=0
(az
n
) = az
146
Variveis Complexas
AULA
9
ii)
n=0
(z
n
+ w
n
) = z + w
Sries de Potncia
Denio
Seja {a
n
} uma seqncia de nmeros complexos. Denimos a srie
de potncias associada a {a
n
} de centro em 0 por:
n=0
a
n
z
n
.
Teorema 1
Seja
n=0
a
n
z
n
uma srie numrica:
i) Se existe z
1
C, z
1
= 0 tal que
n=0
a
n
z
n
1
converge ento
n=0
a
n
z
n
converge para todo z C tal que |z| < |z
1
|
ii) Se existe z
2
C, z
2
= 0 tal que
n=0
a
n
z
n
2
diverge ento
n=0
a
n
z
n
diverge para todo z C tal que |z
2
| < |z|
Teorema 2
Seja
n=0
a
n
z
n
uma srie de potncias ento existe uma bola fechada
B
r
(0) tal que a srie converge absolutamente em todos os pontos
do interior da bola e diverge para todos os pontos do exterior da
bola.
Denio
Seja
n=0
a
n
z
n
uma srie de potncias denominamos raio de con-
vergncia ao raio r da bola denida pelo teorema acima.
Teorema 3
Seja
n=0
a
n
z
n
uma srie de potncias tal que para todo n N,
a
n
= 0. Ento o raio de convergncia da srie de potncias pode
147
ser dado por:
r = lim
n
a
n
a
n+1
ou r = lim
n
1
|a
n
|
1/n
Teorema 4
Sejam D C um aberto e f : D C C um funo holomorfa
em uma bola aberta B
r
(z
0
) D ento para cada z B
r
(z
0
) temos:
f(z) =
n=0
f
(n)
(z
0
)
n!
(z z
0
)
n
PRXIMA AULA
Em nossa prxima aula veremos sries de Laurent uma forma
de representao de funes no holomorfas.
ATIVIDADES
ATIV. 9.1. Sejam {z
n
} e {w
n
} duas seqncias de nmeros com-
plexos tais que z = lim
n
z
n
e w = lim
n
w
n
. Mostre, usando a
denio, que:
lim
n
(z
n
+ w
n
) = z + w.
Comentrio: Volte ao texto e reveja com calma e ateno as
demonstraes dos teoremas sobre seqncias de nmeros com-
plexos, elas lhe serviro de guia.
148
Variveis Complexas
AULA
9
ATIV. 9.2. Seja a srie de potncias dada por
n=0
2
n
n!
z
n
. Deter-
mine seu raio de convergncia.
exemplo de determinao do raio de convergncia de uma srie de
potncias, ele lhe servir de guia.
149
AULA
10
Sries de Laurent
META:
Introduzir sries de Laurent.
OBJETIVOS:
Denir sries de Laurent e determinar a srie de Laurent para al-
gumas funes de variveis complexas.
PR-REQUISITOS
ciplina Clculo II.
Sries de Laurent
10.1 Introduo
Caros alunos essa nossa aula tem como tema Sries de Lau-
rent. Como as sries de Taylor servem para representar funes
holomorfas, Sries de Laurent servem para representar certos tipos
de funes no-holomorfas.
10.2 Sries de Laurent
Caros alunos esta aula em particular ser curta. Vamos ento
diretamente para o teorema que o ponto central de nossa aula
antes porm, veremos um resultado importante na demonstrao
do teorema. A saber: Se z = 1 um nmero complexo ento:
1
1 z
= 1 + z + z
2
+ + z
n
+
z
n+1
1 z
(10.147)
PROVA: Considere a soma s
n
= 1 +z +z
2
+ +z
n
e fazendo
o produto zs
n
temos:
zs
n
= z + z
2
+ z
3
+ + z
n+1
. Subtraindo s
n
zs
n
temos:
s
n
zs
n
= 1 +z +z
2
+ +z
n
(z +z
2
+ +z
n+1
) = 1 z
n+1
.
Da, temos:
s
n
(z) = 1 z
n+1
. Logo:
1 z
n+1
1 z
= s
n
= 1 + z + z
2
+ + z
n
. E nalmente:
1
1 z
= 1 + z + z
2
+ + z
n
+
z
n+1
1 z
.
Teorema 10.1. Seja f() uma funo holomorfa no anel aberto
D = B
2
(z
0
)B
1
(z
0
) e sua fronteira onde 0 <
1
<
2
seja z D
(ver gura 10.1) ento:
f(z) =
m=
a
m
(z z
0
)
m
152
Variveis Complexas
AULA
10
x
y
1
z
0

1
2
z
Figura 10.1: Srie de Laurent
onde:
_
_
a
m
=
1
2
_
2
f(z)
(z z
0
)
m+1
dz m = 0, 1, 2, . . .
a
m
=
1
2
_
1
f(z)(z z
0
)
m1
dz m = 1, 2, 3, . . .
PROVA: Da frmula integral de Cauchy temos:
f(z) =
1
2
_
1
f(w)
w z
dw
_
2
f(w)
w z
dw (10.148)
Vamos considerar a primeira integral em eqn 10.148. Para isto
tomamos:
1
w z
=
1
w z
0
+ z
0
z
=
1
(w z
0
)(1 + (z
0
z)/(w z
0
))
=
1
(w z
0
)(1 (z z
0
)/(w z
0
))
(10.149)
153
Sries de Laurent
Substituindo z por
z z
0
w z
0
em eqn 10.147temos:
1
1 (z z
0
)/(w z
0
)
= 1 +
z z
0
w z
0
+ +
_
z z
0
w z
0
_
n
+
_
z z
0
w z
0
_
n+1
1 (z z
0
)/(w z
0
)
(10.150)
Manipulando eqn 10.150 temos:
1
1 (z z
0
)/(w z
0
)
= 1 +
z z
0
w z
0
+ +
_
z z
0
w z
0
_
n
+
_
z z
0
w z
0
_
n+1
1 (z z
0
)/(w z
0
)
= 1 +
z z
0
w z
0
+ +
_
z z
0
w z
0
_
n
+
_
z z
0
w z
0
_
n+1
w z
0
(z z
0
)
w z
0
= 1 +
z z
0
w z
0
+ +
_
z z
0
w z
0
_
n
+
_
z z
0
w z
0
_
n+1
w z
w z
0
= 1 +
z z
0
w z
0
+ +
_
z z
0
w z
0
_
n
+
_
z z
0
w z
0
_
n+1
w z
0
w z
(10.151)
1
w z
=
1
w z
0
+
z z
0
(w z
0
)
2
+
+
_
z z
0
w z
0
_
n
1
w z
(10.152)
154
Variveis Complexas
AULA
10
Fazendo o produto de eqn 10.152 por f(w) e integrando ao longo
de
2
no sentido positivo temos:
_
2
f(w)
w z
dw =
_
2
f(w)
w z
0
dw +
_
2
f(w)
z z
0
(w z
0
)
2
dw +
+
_
2
_
z z
0
w z
0
_
n
f(w)
w z
dw
(10.153)
Fazendo o produto de eqn 10.153 por
1
2
e denindo
a
k
=
1
2
_
2
f(w)
(w z
0
)
k+1
dw, k = 0, 1, . . .
temos:
1
2
_
2
f(w)
w z
dw = a
0
+ a
1
(z z
0
) + + a
n1
(z z
0
)
n1
+
1
2
_
2
_
z z
0
w z
0
_
n
f(w)
w z
dw
(10.154)
Vamos considerar agora a segunda integral em eqn 10.148. Para
isto tomamos:
1
w z
=
1
z w
=
1
z z
0
+ z
0
w
=
1
(z z
0
)(1 + (z
0
w)/(z z
0
))
=
1
(z z
0
)(1 (w z
0
)/(z z
0
))
(10.155)
Substituindo z por
w z
0
z z
0
em eqn 10.147temos:
1
1 (w z
0
)/(z z
0
)
= 1 +
w z
0
z z
0
+ +
_
w z
0
z z
0
_
n
+
_
w z
0
z z
0
_
n+1
1 (w z
0
)/(z z
0
)
(10.156)
155
Sries de Laurent
Manipulando eqn 10.156 temos:
1
1 (w z
0
)/(z z
0
)
= 1 +
w z
0
z z
0
+ +
_
w z
0
z z
0
_
n
+
_
w z
0
z z
0
_
n+1
1 (w z
0
)/(z z
0
)
= 1 +
w z
0
z z
0
+ +
_
w z
0
z z
0
_
n
+
_
w z
0
z z
0
_
n+1
z z
0
(w z
0
)
z z
0
= 1 +
w z
0
z z
0
+ +
_
w z
0
z z
0
_
n
+
_
w z
0
z z
0
_
n+1
z w
z z
0
= 1 +
w z
0
z z
0
+ +
_
w z
0
z z
0
_
n
+
_
w z
0
z z
0
_
n+1
z z
0
z w
(10.157)
1
w z
=
1
z z
0
+
w z
0
(z z
0
)
2
+
+
_
w z
0
z z
0
_
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 z
dw =
_
1
f(w)
z z
0
dw +
_
1
f(w)
w z
0
(z z
0
)
2
dw +
+
_
1
_
w z
0
z z
0
_
n
f(w)
z w
dw
(10.159)
156
Variveis Complexas
AULA
10
Fazendo o produto de eqn 10.159 por
1
2
e denindo
a
k
=
1
2
_
1
f(w)(w z
0
)
k1
dw, k = 1, 2, . . .
temos:
1
2
_
1
f(w)
w z
dw =
a1
z z
0
+
a
2
(z z
0
)
2
+ +
a
n
(z z
0
)
n
+
1
2
_
1
_
w z
0
z z
0
_
n
f(w)
z w
dw
(10.160)
Resta mostrar que a integral nal em eqn 10.154 tendem a zero
quando n . Para isso faamos:
u
n
=
1
2
_
2
_
z z
0
w z
0
_
n
f(w)
w z
dw (10.161)
Como w
2
temos: max
z z
0
w z
0
= < 1. Por outro lado

como f() holomorfa no anel aberto D = B
2
(z
0
) B
1
(z
0
) e
sua fronteira |f(w)| < M. E tambm, |wz| = |wz
0
+z
0
z|
|w z
0
| |z z
0
| =
2
|z z
0
|. Da, tomando o mdulo de eqn
10.161 temos:
|u
n
| =
1
2
_
2
_
z z
0
w z
0
_
n
f(w)
w z
dw
1
2
_
_
z z
0
w z
0
_
n
f(w)
w z
dw
1
2
n
M
2
|z z
0
|
2
2

n
M
2
2
|z z
0
|
(10.162)
De eqn 10.162 temos lim
n
|u
n
| = 0 de onde lim
n
u
n
= 0
Da mesma forma para mostrar que a integral nal em eqn 10.160
tendem a zero quando n faamos:
v
n
=
1
2
_
1
_
w z
0
z z
0
_
n
f(w)
z w
dw (10.163)
157
Sries de Laurent
Como w
1
temos: max
w z
0
z z
0
= < 1. Por outro lado

como f() holomorfa no anel aberto D = B
2
(z
0
) B
1
(z
0
) e
sua fronteira |f(w)| < M. E tambm, |z w| = |z z
0
+z
0
w|
|z z
0
| |w z
0
| = |z z
0
|
1
. Da, tomando o mdulo de eqn
10.163 temos:
|v
n
| =
1
2
_
2
_
w z
0
z z
0
_
n
f(w)
z w
dw
1
2
_
_
z z
0
w z
0
_
n
f(w)
w z
dw
1
2
n
M
|z z
0
|
1
2
1

n
M
1
|z z
0
|
1
(10.164)
De eqn 10.164 temos lim
n
|v
n
| = 0 de onde lim
n
v
n
= 0 Portanto,
passando o limite n em eqn 10.154 e eqn 10.160 levando
em conta que as integrais nais de eqn 10.154 e eqn 10.160
tendem a zero e substituindo em eqn 10.148 temos:
f(z) =
m=
a
m
(z z
0
)
m
onde:
_
_
a
m
=
1
2
_
2
f(z)
(z z
0
)
m+1
dz m = 0, 1, 2, . . .
a
m
=
1
2
_
1
f(z)(z z
0
)
m1
dz m = 1, 2, 3, . . .
OBS 10.1. As vezes conveniente reescrever a srie de Laurent
na forma:
f(z) =
m=1
b
m
(z z
0
)
m
+
n=0
a
n
(z z
0
)
n
onde:
_
_
a
n
=
1
2
_
2
f(z)
(z z
0
)
n+1
dz n = 0, 1, 2, . . .
b
m
=
1
2
_
1
f(z)(z z
0
)
m1
dz m = 1, 2, 3, . . .
158
Variveis Complexas
AULA
10
Vamos a alguns exemplos de aplicao da srie de Laurent.
Exemplo 10.1. Determine a srie de Laurent da funo f(z) =
e
az
(z 1)
4
em torno do ponto z
0
= 1.
SOLUO: Primeiramente vamos deslocar o ponto onde f()
descontnua de z
0
= 1 para z
0
= 0 fazendo a mudana de varivel
u = z 1 e temos:
f(z) =

f(u) = f(u + 1) =
e
a(u+1)
(u + 1 1)
4
= e
a
e
au
u
4
(10.165)
Como e
z
=
n=0
z
n
n!
temos:
e
au
=
n=0
(au)
n
n!
=
n=0
a
n
u
n
n!
(10.166)
De eqn 10.165 e eqn 10.166 temos:
f(z) =

f(u) = e
a
1
u
4
n=0
a
n
u
n
n!
= e
a
n=0
a
n
u
n4
n!
(10.167)
Fazendo emeqn 10.167 a mudana de varivel k = n4, n = k+4
e substituindo os limites n
_
_
_
0
e k
_
_
_
4
no somatrio temos:
f(z) =

f(u) = e
a
k=4
a
k+4
u
k
(k + 4)!
(10.168)
Explicitando no somatrio de eqn 10.168 os termos de k = 4
at k = 1 temos:
f(z) =

f(u) =
e
a
u
4
+
ae
a
u
3
+
a
2
e
a
u
2
+
a
3
e
a
u
+ e
a
k=0
a
k+4
u
k
(k + 4)!
(10.169)
159
Sries de Laurent
Retornando em eqn 10.170 u = z 1 temos:
f(z) =
e
a
(z 1)
4
+
ae
a
(z 1)
3
+
a
2
e
a
(z 1)
2
+
a
3
e
a
z 1
+
k=0
a
k+4
e
a
(z 1)
k
(k + 4)!
.
(10.170)
10.3 Concluso
Na aula de hoje, vimos que certas funes no-holomorfas tam-
bm podem ser representadas por srie de potncias. Mais especi-
camente, por srie de Laurent.
RESUMO
No nosso resumo da Aula 10 consta o seguinte tpico:
Srie de Laurent
Seja f() uma funo holomorfa no anel aberto D = B
2
(z
0
)
B
1
(z
0
) e sua fronteira onde 0 <
1
<
2
seja z D ento:
f(z) =
m=
a
m
(z z
0
)
m
onde:
_
_
a
m
=
1
2
_
C
2
f(z)
(z z
0
)
m+1
dz m = 0, 1, 2, . . .
a
m
=
1
2
_
C
1
f(z)(z z
0
)
m1
dz m = 1, 2, 3, . . .
PRXIMA AULA
Em nossa prxima aula veremos singularidades de funes de
variveis complexas. Mais especicamente veremos como usar sries
160
Variveis Complexas
AULA
10
de Laurent para classicar pontos de singularidades isoladas de
funes no-holomorfas..
ATIVIDADES
ATIV. 10.1. Determine a srie de Laurent da funo f(z) =
1 cos(z)
z
2
entorno do ponto z
0
= 0.
exemplo acima, ele lhe servir de guia.
ATIV. 10.2. Determine a srie de Laurent da funo f(z) =
1
z
2
(z 1)
2
entorno do ponto z
0
= 1.
exemplo acima, ele lhe servir de guia. Veja tambm a srie de
Taylor para a funo
1
(1 + z)
2
.
161
Sries de Laurent
162
AULA
11
Singularidades de Funes
de Variveis Complexas
META:
Introduzir o conceito de singularidades de funes de variveis com-
plexas.
OBJETIVOS:
Denir singularidades de funes de variveis complexas e
analisar as singularidades de algumas funes de variveis com-
plexas.
PR-REQUISITOS
ciplina Clculo II.
Singularidades de Funes de Variveis Complexas
11.1 Introduo
Caros alunos o tema dessa nossa aula Singularidades de
Funes de Variveis Complexas. O objetivo usar sries de Lau-
rent para estudar e classicar pontos de singularidades de funes
complexas.
11.2 Pontos Singulares de Funes Complexas
Comearemos por estudar pontos singulares de funes complexas.
Denio 11.1. Sejam D C um aberto conexo, f : D C C
0
D. Dizemos que z
0
um ponto
singular de f() se, somente se f
(z
0
) = 0 ou no existe.
Denio 11.2. Sejam D C um aberto conexo, f : D C
C uma funo complexa e z
0
D um ponto singular de f().
Dizemos que z
0
um ponto singular isolado se, somente se existe
uma bola aberta B
r
(z
0
) de centro em z
0
tal que z
0
o nico ponto
singular de f() que pertence a B
r
(z
0
). Caso contrario z
0
dito
um ponto singular no isolado.
OBS 11.1. Pontos singulares so extremamente importantes na
anlise complexas pois, dizem muito do comportamento local de
funes complexas.
11.3 Classicao de Pontos Singulares Isola-
dos
Estaremos, aqui, interessado em estudar e classicar pontos sin-
gulares isolados. Para isso usaremos a representao em srie de
164
Variveis Complexas
AULA
11
Laurent da funo a ser estudada.
Denio 11.3. Sejam D C um aberto conexo, f : D C C
uma funo complexa representada em srie de Laurent por:
f(z) =
m=1
b
m
(z z
0
)
m
+
n=0
a
n
(z z
0
)
n
e z
0
D um ponto singular isolado de f(). Se:
i) b
m
= 0, m = 1, 2, . . . dizemos que z
0
uma singularidade
removvel.
ii) b
k
= 0 e b
m
= 0, m = k + 1, k + 2, . . . dizemos que z
0
um
polo de ordem k.
iii) m N, k > m|b
k
= 0 dizemos que z
0
uma singularidade
essencial.
OBS 11.2. Se z
0
uma singularidade removvel f() holomorfa
sendo representada por uma srie de Taylor em torno de z
0
i.e.
f(z) =
n=0
a
n
(z z
0
)
n
OBS 11.3. Se z
0
um polo de ordem k a representao de f()
em srie de Laurent ca reduzida a:
f(z) =
k
m=1
b
m
(z z
0
)
m
+
n=0
a
n
(z z
0
)
n
OBS 11.4. Se z
0
uma singularidade essencial os coeciente b
m
da representao de f() so no nulos para uma innidade de
valores de m N.
Vejamos alguns exemplos de funes complexas e suas singulari-
dades.
165
Exemplo 11.1. Seja f : C {0} C dada por f(z) =
sin(z)
z
.
Como sin(z) =
n=0
(1)
n
z
2n+1
(2n + 1)!
ento:
f(z) =
1
z
n=0
(1)
n
z
2n+1
(2n + 1)!
=
n=0
(1)
n
1
z
z
2n+1
(2n + 1)!
=
n=0
(1)
n
z
2n
(2n + 1)!
= 1
z
2
3!
+
z
4
5!

z
6
7!
+
Portanto z = 0 uma singularidade removvel de f().
Exemplo 11.2. Seja f : C {0} C dada por f(z) =
sin(z)
z
3
.
Como sin(z) =
n=0
(1)
n
z
2n+1
(2n + 1)!
ento:
f(z) =
1
z
3
n=0
(1)
n
z
2n+1
(2n + 1)!
=
n=0
(1)
n
1
z
3
z
2n+1
(2n + 1)!
=
n=0
(1)
n
z
2n2
(2n + 1)!
=
1
z
2
+
n=0
(1)
k+1
z
2k
(2k + 3)!
=
1
z
2

1
3!
+
z
2
5!

z
4
7!
+
Portanto z = 0 um polo de ordem 2 de f().
Exemplo 11.3. Seja f : C {0} C dada por f(z) = sin(1/z).
166
Variveis Complexas
AULA
11
Como sin(z) =
n=0
(1)
n
z
2n+1
(2n + 1)!
ento:
f(z) =
n=0
(1)
n
(1/z)
2n+1
(2n + 1)!
=
n=0
(1)
n
1/z
2n+1
(2n + 1)!
=
n=0
(1)
n
1
(2n + 1)!
1
z
2n2
= 1 +
n=1
(1)
n
1
(2n + 1)!
1
z
2n2
=
1
7!z
7
+
1
5!z
5

1
3!z
3
+ 1
Portanto z = 0 uma singularidade essencial de f().
Teorema 11.1. Sejam D C um aberto conexo, f : D C C
0
D. As seguintes proposies so
equivalentes:
i) z
0
uma singularidade removvel de f().
ii) Existe lim
zz
0
f(z).
iii) |f(z)| limitado em alguma bola aberta B
r
(z
0
).
PROVA: Dividiremos a prova em trs partes:
Parte 1: i) implica ii). Supondo que i) vale a srie de Laurent
de f(z) da forma:
f(z) =
n=0
a
n
(z z
0
)
n
Logo lim
zz
0
f(z) = a
0
e portanto existe lim
zz
0
f(z) e ii) vale.
Parte 2: ii) implica iii). Supondo que existe lim
zz
0
f(z) = L,
da denio de limite existe > 0 tal que se z B
(z
0
) {z
0
}
167
ento f(z) B
1
(L). De outra forma. Se z B
(z
0
) {z
0
} ento
|f(z) L| < 1 ou seja: z B
(z
0
) {z
0
}, |f(z)| < |L| + 1 isto
vale iii).
Parte 3: iii) implica i). Suponhamos que vale iii) ento existe
K > 0 e uma bola B
r
(z
0
) tal que z B
r
(z
0
), |f(z)| < K. por
outro lado, os coecientes b
m
da srie de Laurent so dados por:
b
m
=
1
2
_
f(z)(z z
0
)
m1
dz, m = 1, 2, . . .
onde (t) = z
0
+ e
t
, t [0, 2) e < r. Da, temos:
|b
m
|
1
2
_
f(z)(z z
0
)
m1
dz
1
2
_
|f(z)|.|z z
0
|
m1
|dz|
1
2
K
m1
2
K
m
Fazendo 0 temos: |b
m
| 0 e portanto b
m
= 0, m = 1, 2, . . ..
Logo z
0
uma singularidade removvel de f() e i) vale.
0
D, ento z
0
um polo de ordem k de
f() se, somente se existe L = 0 tal que L = lim
zz
0
(z z
0
)
k
f(z).
PROVA: Dividimos a prova em duas partes:
Parte 1 (Necessidade) Suponhamos que z
0
um polo de ordem
k de f() ento a representao por srie de Laurent de f(z) da
forma:
f(z) =
k
m=1
b
m
(z z
0
)
m
+
n=0
a
n
(z z
0
)
n
Logo, fazendo o produto por (z z
0
)
k
temos:
(z z
0
)
k
f(z) = b
k
+ + b
1
(z z
0
)
k1
+
n=0
a
n
(z z
0
)
n+k
168
Variveis Complexas
AULA
11
0
temos:
lim
zz
0
(z z
0
)
k
f(z) = b
k
= 0 e temos nosso candidato L = b
k
.
Parte 2 (Sucincia) Suponhamos que existe o limite lim
zz
0
(z
z
0
)
k
f(z) = L = 0. Denindo a funo g(z) = (z z
0
)
k
f(z), temos:
lim
zz
0
g(z) = L = 0. Logo da parte ii) do teorema 12.1 g(z) tem
uma singularidade removvel em z
0
e pode ser dada por uma srie
de Taylor centrada em z
0
em alguma bola aberta B
r
(z
0
).
g(z) =
n=0
a
n
(z z
0
)
n
Da, como g(z) = (z z
0
)
k
f(z) podemos escrever para f(z).
f(z) =
L
(z z
0
)
k
+ +
a
k1
z z
0
+
n=0
a
n+k
(z z
0
)
n
E portanto z
0
um polo de ordem k de f().
Vamos agora enunciar um ltimo teorema sem demonstra-lo.
uma funo complexa e suponhamos que z
0
D uma singulari-
dade essencial de f() e que f(z) holomorfa em B
(z
0
) {z
0
}
D ento dados 0 < r , > 0 e C, existe um nmero
complexo tal que B
r
(z
0
) {z
0
} e |f() | < .
11.4 Concluso
Na aula de hoje, vimos que algumas funes de variveis com-
plexas so no-holomorfas pois apresentam pontos singulares (pon-
tos onde a derivada da funo zero ou no existe). Tambm vimos
que as singularidades isoladas so classicadas como removveis,
plos ou singularidades essenciais.
169
RESUMO
Pontos Singulares de Funes Complexas
Denio
Sejam D C um aberto conexo, f : D C C uma funo
complexa e z
0
D. Dizemos que z
0
um ponto singular de f()
se, somente se f
(z
0
) = 0 ou no existe.
Denio
complexa e z
0
D um ponto singular de f(). Dizemos que z
0

um ponto singular isolado se, somente se existe uma bola aberta
B
r
(z
0
) de centro em z
0
tal que z
0
o nico ponto singular de f()
que pertence a B
r
(z
0
). Caso contrario z
0
dito um ponto singular
no isolado.
Classicao de Pontos Singulares Isolados
Denio
complexa representada em srie de Laurent por:
f(z) =
m=1
b
m
(z z
0
)
m
+
n=0
a
n
(z z
0
)
n
e z
0
D um ponto singular isolado de f(). Se:
i) b
m
= 0, m = 1, 2, . . . dizemos que z
0
uma singularidade
removvel.
ii) b
k
= 0 e b
m
= 0, m = k + 1, k + 2, . . . dizemos que z
0
um
polo de ordem k.
170
Variveis Complexas
AULA
11
iii) m N, k > m|b
k
= 0 dizemos que z
0
uma singularidade
essencial.
Teorema 1
complexa e z
0
D. As seguintes proposies so equivalentes:
i) z
0
uma singularidade removvel de f().
ii) Existe lim
zz
0
f(z).
iii) |f(z)| limitado em alguma bola aberta B
r
(z
0
).
Teorema 2
complexa e z
0
D, ento z
0
um polo de ordem k de f() se,
somente se existe L = 0 tal que L = lim
zz
0
(z z
0
)
k
f(z).
Teorema 3
complexa e suponhamos que z
0
D uma singularidade essencial
de f() e que f(z) holomorfa em B
(z
0
) {z
0
} D ento dados
0 < r , > 0 e C, existe um nmero complexo tal que
B
r
(z
0
) {z
0
} e |f() | < .
PRXIMA AULA
Em nossa prxima aula veremos o clculo de resduos que nos
permitir um teorema semelhante a integral d Cauchy para funes
no-holomorfas com singularidades isoladas tipo polo.
171
ATIVIDADES
ATIV. 11.1. Seja f : D C C dada por f(z) = tan(z). De-
termine todas as singularidades de f() e estabelea o seu domnio.
Comentrio: Volte ao texto e reveja com calma e ateno os ex-
emplos, eles lhe serviro de guia.
ATIV. 11.2. Seja f : C {0} C dada por f(z) =
1 cos(z)
z
3
.
Classique as singularidades de f().
exemplos, eles lhe serviro de guia.
172
AULA
12
Clculo de Resduos
META:
Apresentar clculo de resduos.
OBJETIVOS:
Denir resduo de uma funo de variveis complexas em um ponto
dado e
calcular o resduo de uma funo de variveis complexas em um
ponto dado.
PR-REQUISITOS
Clculo de Resduos
12.1 Introduo
Caros alunos nessa nossa aula veremos Clculo de Resduos.
O teorema da integral de Cauchy-Goursat assegura que a integral
de uma funo holomorfa ao longo de uma curva fechada simples
C zero. O clculo de resduos permite estender o teorema de
Cauchy-Goursat para funes que possuam singularidades isoladas
tipo polo no interior da curva C.
12.2 Resduos
Lembrem-se que z
0
dito um ponto singular de uma funo f()
se f() falha em ser holomorfa em z
0
mais holomorfa em algum
ponto de toda vizinhana de z
0
. Ademais z
0
dita singularidade
isolada se existe uma vizinhana de z
0
onde f() holomorfa a
exceo de z
0
.
Denio 12.1. Seja D C um aberto e f : D C C
holomorfa em D{z
0
}. Denimos o resduo de f() no ponto z
0
,
denotado res(f, z
0
), como coeciente do termo
1
z z
0
da srie de
Laurent de f() centrada em z
0
.
Vejamos um exemplo de resduo.
Exemplo 12.1. Na aula10 vimos que a srie de Laurent para a
funo f(z) =
e
az
(z 1)
4
em torno do ponto z
0
= 1 era:
f(z) =
e
a
(z 1)
4
+
ae
a
(z 1)
3
+
a
2
e
a
(z 1)
2
+
a
3
e
a
z 1
+
k=0
a
k+4
e
a
(z 1)
k
(k + 4)!
.
Por simples inspeo vemos que: res(f, 1) = a
3
e
a
.
174
Variveis Complexas
AULA
12
a
1
1
a
2
2
a
n
Figura 12.1: Teorema dos Resduos

Vejamos agora como adaptar o teorema de Cauchy-Goursat para
o caso de funes no-holomorfas com um nmero nito de plos.
Teorema 12.1 (Teorema dos resduos). Seja D C um aberto
e f : D C C holomorfa em D {z
1
, z
2
, . . . , z
n
}. Suponha
D{z
1
, z
2
, . . . , z
n
} uma curva suave por partes , orientada no
sentido positivo, tal que em seu interior contenha todos os pontos
z
1
, z
2
, . . . , z
n
ento:
1
2
_
f(z)dz =
n
k=1
res(f, z
k
)
PROVA: Para cada ponto z
k
, k = 1, 2, . . . , n tomemos um cr-
culo
k
de centro em z
k
tais que:
k
no tem ponto em comum
com
n
, n = k nem com e est orientado positivamente (sentido
anti-horrio) (ver gura 12.1) seja
k
o crculo
k
orientado neg-
ativamente (sentido horrio). Seja C =
n
. Do
teorema de Cauchy temos:
_
C
f(z)dz = 0 (12.171)
Levando em conta a construo de C podemos reescrever eqn
175
Clculo de Resduos
12.171 como:
_
f(z)dz =
n
k=1
_
k
f(z)dz (12.172)
Do teorema de Laurent temos:
f(z) =
m=1
b
m
(z z
k
)
m
+
n=0
a
n
(z z
k
)
n
onde:
b
m
=
1
2
_
k
f(z)(z z
k
)
m1
dz, m = 1, 2, 3, . . .
Em particular:
res(f, z
k
) = b
1
=
1
2
_
k
f(z)dz
Da, tiramos:
_
k
f(z)dz = 2res(f, z
k
) (12.173)
Da, substituindo eqn 12.173 em eqn 12.172 temos:
1
2
_
f(z)dz =
n
k=1
res(f, z
k
). (12.174)
Veremos agora um teorema que relaciona em uma mesma integral
o nmero de zeros e o nmero de plos de uma funo.
Teorema 12.2. Seja D C um aberto e f : D C C holo-
morfa em D {z
1
, z
2
, . . . , z
n
}. Suponha D {z
1
, z
2
, . . . , z
n
}
uma curva suave por partes , orientada no sentido positivo, tal que
em seu interior contenha todos os pontos z
1
, z
2
, . . . , z
n
e que esses
pontos sejam plos de f() e que no contenha nenhum zero de
f() ento:
1
2
_
(z)
f(z)
dz = Z P
onde Z o nmero de zeros de f() no interior de , contado
tantas vezes quantas forem sua multiplicidade e P o nmero de
176
Variveis Complexas
AULA
12
plos de f() no interior de contado tantas vezes quantas forem
sua ordem.
PROVA: Consideremos a integral:
1
2
_
(z)
f(z)
dz (12.175)
Pelo teorema dos resduos a integral em eqn 12.175 a soma dos
resduos do integrando. Porm, dado um ponto a no interior de
temos trs possibilidades:
i) f(a) = 0
ii) f(0) = 0 e a um zero de multiplicidade m de f()
iii) lim
za
f(z) = , a um polo de ordem k de f()
Parte 1: no caso i)
f
(z)
f(z)
holomorfa o resduo zero e o ponto
nada contribui para a integrao em eqn 12.175.
Parte 2 no caso ii) para este caso existe uma bola aberta B
r
(a)
de raio r e centro em a tal que f(z) = (z a)
m
g(z), z B
r
(a)
onde g(z) holomorfa em B
r
(a). Da, calculando a razo
f
(z)
f(z)
temos:
f
(z)
f(z)
=
m(z a)
m1
g(z) + (z a)
m
g
(z)
(z a)
m
g(z)
=
m
z a
+
g
(z)
g(z)
(12.176)
Como g(z) holomorfa em B
r
(a),
g
(z)
g(z)
tambm holomorfa e
portanto tem representao por srie de Taylor en torno do ponto
z = a. Da, temos:
g
(z)
g(z)
=
n=0
c
n
(z a)
n
(12.177)
f
(z)
f(z)
=
m
z a
+
n=0
c
n
(z a)
n
(12.178)
177
Clculo de Resduos
Logo eqn 12.178 a srie de Laurent de
f
(z)
f(z)
, z = a um polo
de primeira ordem cujo resduo res
_
f
(z)
f(z)
, a
_
= m, que a
contribuio do ponto z = a integral eqn 12.175.
Parte 3: no caso iii) para este caso existe uma bola aberta B
r
(a)
de raio r e centro em a tal que f(z) = (z a)
k
g(z), z B
r
(a)
onde g(z) holomorfa em B
r
(a). Da, calculando a razo
f
(z)
f(z)
temos:
f
(z)
f(z)
=
k(z a)
k1
g(z) + (z a)
k
g
(z)
(z a)
k
g(z)
=
k
z a
+
g
(z)
g(z)
(12.179)
Como g(z) holomorfa em B
r
(a),
g
(z)
g(z)
tambm holomorfa e
portanto tem representao por srie de Taylor en torno do ponto
z = a. Da, temos:
g
(z)
g(z)
=
n=0
c
n
(z a)
n
(12.180)
f
(z)
f(z)
=
k
z a
+
n=0
c
n
(z a)
n
(12.181)
Logo eqn 12.181 a srie de Laurent de
f
(z)
f(z)
, z = a um polo
de primeira ordem cujo resduo res
_
f
(z)
f(z)
, a
_
= k, que a
contribuio do ponto z = a integral eqn 12.175.
Juntando as contribuies dos casos ii) e iii) temos:
1
2
_
(z)
f(z)
dz = Z P
178
Variveis Complexas
AULA
12
sua ordem.
A seguir, veremos alguns teoremas que auxiliaram na determinao
dos resduos de uma funo no-holomorfa.
morfa em D {z
0
}. E suponhamos que z
0
um polo de ordem 1
de f(). Ento res(f, z
0
) = lim
zz
0
(z z
0
)f(z).
PROVA: Da hiptese do teorema a srie de Laurent de f(z)
da forma:
f(z) =
res(f, z
0
)
z z
0
+
n=0
c
n
(z z
0
)
n
(12.182)
Fazendo o produto de eqn 12.182 por z z
0
temos:
(z z
0
)f(z) = res(f, z
0
) +
n=0
c
n
(z z
0
)
n+1
(12.183)
0
em eqn 12.183 e levando em conta que
lim
zz
0
n=0
c
n
(z z
0
)
n+1
= 0 temos:
res(f, z
0
) = lim
zz
0
(z z
0
)f(z).
morfa em D {z
0
}. E suponhamos que z
0
um polo de ordem
k > 1 de f() e g : D C C dada por g(z) = (z z
0
)
k
f(z).
Ento res(f, z
0
) =
g
(k1)
(z
0
)
(k 1)!
.
PROVA: Da hiptese do teorema a srie de Laurent de f(z)
da forma:
f(z) =
b
k
(z z
0
)
k
+ +
res(f, z
0
)
z z
0
+
n=0
c
n
(z z
0
)
n
(12.184)
179
Clculo de Resduos
Fazendo o produto de eqn 12.184 por (z z
0
)
k
temos:
(z z
0
)
k
f(z) = b
k
+ +res(f, z
0
)(z z
0
)
k1
+
n=0
c
n
(z z
0
)
n+k
(12.185)
Como g(z) = (z z
0
)
k
f(z) e holomorfa da eqn 12.185 temos:
g(z) = b
k
+ +res(f, z
0
)(zz
0
)
k1
+
n=0
c
n
(zz
0
)
n+k
(12.186)
Logo eqn 12.184 a expanso em srie de Taylor de g(z) en torno
do ponto z
0
e res(f, z
0
) o coeciente de (z z
0
)
k1
nessa expanso
e portanto:
res(f, z
0
) =
g
(k1)
(z
0
)
(k 1)!
.
OBS 12.1. Se f(z) holomorfa em z
0
ento res(f, z
0
) = 0 que
no contribui em nada. Porm, se z
0
uma singularidade essencial
no tem uma frmula para simplicar a obteno do resduo e o
caminho determinar a srie de Laurent de f(z).
12.3 Concluso
Na aula de hoje, vimos que possvel estender o teorema de
Cauchy para funes no-holomorfas no interior de uma curva
fechada simples em cujo interior o integrando possua singulari-
dades isoladas.
RESUMO
180
Variveis Complexas
AULA
12
Resduos
Denio
Seja D C um aberto e f : D C C holomorfa em D {z
0
}.
Denimos o resduo de f() no ponto z
0
, denotado res(f, z
0
), como
coeciente do termo
1
z z
0
da srie de Laurent de f() centrada
em z
0
.
Teorema 1
Seja D C um aberto e f : D C C holomorfa em D
{z
1
, z
2
, . . . , z
n
}. Suponha D{z
1
, z
2
, . . . , z
n
} uma curva suave
por partes , orientada no sentido positivo, tal que em seu interior
contenha todos os pontos z
1
, z
2
, . . . , z
n
ento:
1
2
_
f(z)dz =
n
k=1
res(f, z
k
)
Teorema 2
Seja D C um aberto e f : D C C holomorfa em D
{z
1
, z
2
, . . . , z
n
}. Suponha D{z
1
, z
2
, . . . , z
n
} uma curva suave
por partes , orientada no sentido positivo, tal que em seu interior
contenha todos os pontos z
1
, z
2
, . . . , z
n
e que esses pontos sejam
plos de f() e que no contenha nenhum zero de f()ento:
1
2
_
(z)
f(z)
dz = Z P
sua ordem.
181
Clculo de Resduos
PRXIMA AULA
Em nossa prxima aula veremos algumas aplicaes do clculo
de resduos (teorema dos resduos). Em especial no clculo de
algumas integrais denidas.
ATIVIDADES
ATIV. 12.1. Seja f(z) = e
z
csc(z). Determine todos os plos de
f() e calcule o resduo em cada polo.
Comentrio: Verique que todos os plos de f() so simples e
use a frmula lim
zz
k
(z z
k
)f(z).
ATIV. 12.2. Determine a integral:
1
2
_
C
e
z
csc(z)dz onde C
o crculo unitrio |z| = 1.
Comentrio: Aplique o teorema do resduos e o problema ante-
rior.
182
AULA
13
Aplicaes do Teorema
dos Resduos
META:
Apresentar algumas aplicaes do clculo de resduos.
OBJETIVOS:
Aplicar o clculo de resduos na determinao de algumas inte-
grais.
PR-REQUISITOS
Aplicaes do Teorema dos Resduos
13.1 Introduo
Caros alunos nessa nossa aula veremos Algumas Aplicaes
do Teorema dos Resduos. Mais especicamente, veremos com
utilizar o teorema dos resduos na determinao de alguns tipos de
integrais imprprias.
13.2 Algumas Aplicaes do Teorema dos Res-
duos
Veremos, agora, como aplicar o teorema dos resduos na determi-
nao de certos tipos de integrais imprprias. Comearemos por
integrais da forma:
_
+
f(x)dx (13.187)
Sabemos de Clculo II que se a integral imprpria acima existe
pode ser calculada como o limite:
lim
M
_
+M
M
f(x)dx (13.188)
x
y
r +r
Figura 13.1: Aplicaes do Teorema dos Resduos
184
Variveis Complexas
AULA
13
Analisaremos o seguinte caso: a nossa funo f() holomorfa no
semi-plano superior e borda exceto em um nmero nito de plos
{z
1
, z
2
, . . . , z
n
} para os quais Im(z
k
) > 0, k = 1, 2, . . . , n.
Para este caso, vamos integrar f(z) ao longo da curva C =
onde (t) = t, t [r, +r] e (t) = re
t
, t [0, ] onde r es-
colhido grande o suciente para que todos os plos {z
1
, z
2
, . . . , z
n
}
estejam contidos no interior de C.
Do teorema de Cauchy temos:
n
k=1
res(f, z
k
) =
1
2
_
C
f(z)dz
=
1
2
_
f(z)dz +
1
2
_
f(z)dz
=
1
2
_

0
f(re
t
)re
t
dt +
1
2
_
r
r
f(x)dx
(13.189)
se:
lim
r
_

0
f(re
t
)re
t
dt = 0 (13.190)
Passando o limite r em eqn 13.189 e usando eqn 13.190
temos:
lim
r
_
r
r
f(x)dx = 2
n
k=1
res(f, z
k
) (13.191)
Veremos agora uma condio suciente para eqn 13.190.
Se |f(z)| M/r
k
onde M e k > 1 so constantes ento:
lim
r
_
f(z)dz = lim
r
_

0
f(re
t
)re
t
dt = 0 (13.192)
PROVA: Das propriedades da integrao complexa temos:
f(z)dz
|f(z)|.|dz|
M
r
k
r
M
r
k1
185
Visto que o comprimento do arco r. Da, como k > 1, pas-
sando o limite r temos:
lim
r
f(z)dz
lim
r
M
r
k1
= 0
e portanto:
lim
r
_
f(z)dz = 0.
x
y
z
1
z
2
z
3
z
4
Vejamos um exemplo:
Exemplo 13.1. Determine a integral
_

1
z
4
+ a
4
dz, onde a > 0.
SOLUO: Para a funo do exemplo f(z) =
1
z
4
+ a
4
os plos
(ver gura 13.2) so:
z
1
= a cos(/4) + a sin(/4) = ae
/4
z
2
= a cos(3/4) + a sin(3/4) = ae
3/4
z
3
= a cos(5/4) + a sin(5/4) = ae
5/4
z
4
= a cos(7/4) + a sin(7/4) = ae
7/4
Logo apenas os plos z
1
e z
2
esto no interior de C (ver gura
13.1 e gura 13.2). Levando em conta que todos os plos de
f(z) =
1
z
4
+ a
4
so plos simples podemos calcular os resduos em
z
1
e z
2
usando regra de LHopital da seguinte forma: Resduo
186
Variveis Complexas
AULA
13
em z
1
:
res(f, z
1
) = lim
zz
1
(z z
1
)f(z)
= lim
zz
1
(z z
1
)
1
z
4
a
4
= lim
zz
1
z z
1
z
4
a
4
= lim
zz
1
1
4z
3
=
1
4a
3
e
3/4
(13.193)
Resduo em z
2
:
res(f, z
2
) = lim
zz
2
(z z
2
)f(z)
= lim
zz
2
(z z
2
)
1
z
4
a
4
= lim
zz
2
z z
2
z
4
a
4
= lim
zz
2
1
4z
3
=
1
4a
3
e
9/4
(13.194)
De eqn 13.193 e eqn 13.194 temos:
2
k=1
res(f, z
k
) =
1
4a
3
e
3/4
+
1
4a
3
e
9/4
=
1
4a
3
(e
3/4
+ e
9/4
)
=
1
4a
3
(cos(3/4) + sin(3/4)
+ cos(9/4) + sin(9/4))
(13.195)
Levando em conta que cos(z) = cos(z), sin(z) = sin(z),
cos(3/4) = cos(9/4) e sin(3/4) = cos(9/4) de eqn 13.194
temos:
2
k=1
res(f, z
k
) =
1
4a
3
(2 sin(3/4))
=
2
4a
3
(13.196)
187
Portanto de eqn 13.191 e eqn 13.196 temos:
_

1
x
4
+ a
4
dx = 2
2
k=1
res(f, z
k
)
= 2
2
4a
3
=
2
2a
3
.
(13.197)
x
y

Analisaremos agora um outro caso especial: integrais da forma
_
2
0
f(cos(), sin())d. Para este caso usaremos o contorno da
gura 13.3 e fazemos a seguinte mudana de varivel: z = e
.
Logo: dz = e
d, d =
1
z
dz, cos() =
e
+ e
2
=
z + z
1
2
e
sin() =
e
2
=
z z
1
2
. Vejamos um exemplo:
Exemplo 13.2. Calculo a integral
_
2
0
1
a + b cos()
d onde: a >
|b|.
SOLUO: Usando as transformaes acima temos:
I =
_
2
0
1
a + b cos()
d
=
_
C
1
a + b
z + z
1
2
1
z
dz
=
_
C
2
bz
2
+ 2az + b
dz
(13.198)
188
Variveis Complexas
AULA
13
Os plos da funo f(z) =
2
bz
2
+ 2az + b
so obtidos resolvendo
bz
2
+ 2az + b = 0. Os dois plos simples so:
z
1
=
2a +
4a
2
4b
2
2b
=
a +
a
2
b
2
b
z
2
=
2a
4a
2
4b
2
2b
=
a
a
2
b
2
b
Apenas z
1
pertence a regio limitada por pois,
|z
1
| =
a +
a
2
b
2
b
a
2
b
2
+ a
a
2
b
2
+ a
a
2
b
2
a
b
a
2
b
2
+ a
< 1
Por outro lado
|z
1
| =
a
2
b
2
b
a +
a
2
b
2
b
> 1
O que garante z
2
fora da regio limitada por . Para o resduo de
f() em z
1
temos:
res(f, z
1
) = lim
zz
1
(z z
1
)f(z)
= lim
zz
1
2(z z
1
)
bz
2
+ 2az + b
= lim
zz
1
2
2bz + 2a
=

a
2
b
2
(13.199)
189
Usando o teorema dos resduos em f(z) =
2
bz
2
+ 2az + b
e na curva
fechada suave e usando eqn 13.198 e eqn 13.199 temos:
I =
_
2
0
1
a + b cos()
d =
_
2
bz
2
+ 2az + b
dz
= 2res(f, z
1
)
=
2
a
2
b
2
.
13.3 Concluso
Na aula de hoje, vimos que possvel aplicar o teorema dos
resduos na determinao de alguns tipos de integrais imprprias.
RESUMO
Algumas Aplicaes do Teorema dos resduos
Primeira Aplicao
Funo f() holomorfa no semi-plano superior e borda exceto em
um nmero nito de plos {z
1
, z
2
, . . . , z
n
} para os quais Im(z
k
) >
0, k = 1, 2, . . . , n.
Para este caso, integrar f(z) ao longo da curva C = onde
(t) = t, t [r, +r] e (t) = re
t
, t [0, ] onde r escolhido
grande o suciente para que todos os plos {z
1
, z
2
, . . . , z
n
} estejam
contidos no interior de C (gura 13.1).
Se |f(z)| M/r
k
onde M e k > 1 so constantes ento:
_

f(x)dx = lim
r
_
r
r
f(x)dx = 2
n
k=1
res(f, z
k
) (13.200)
190
Variveis Complexas
AULA
13
Segunda Aplicao
Integrais da forma
_
2
0
f(cos(), sin())d. Para este caso usare-
mos o contorno da gura 13.3 e fazemos a seguinte mudana
de varivel: z = e
. Logo: dz = e
d, d =
1
z
dz, cos() =
e
+ e
2
=
z + z
1
2
e sin() =
e
2
=
z z
1
2
. E temos:
_
2
0
f(cos(), sin())d =
_
C
f
_
z + z
1
2
,
z z
1
2
_
1
z
dz
PRXIMA AULA
Em nossa prxima aula veremos transformaes conforme (trans-
formaes que preservam o ngulo entre vetores). Em particular
veremos que funes holomorfas so transformaes conformes.
ATIVIDADES
ATIV. 13.1. Determine a integral
_

1
z
6
+ a
6
dz, onde a > 0.
primeiro exemplo acima, ele lhe servir de guia.
ATIV. 13.2. Calculo a integral
_
2
0
1
a + b sin()
d onde: a > |b|.
segundo exemplo acima, ele lhe servir de guia.
191
192
AULA
14
Transformaes Conformes
META:
Introduzir o conceito de transformaes conforme.
OBJETIVOS:
Denir transformaes conformes e exemplicar transformaes
conformes.
PR-REQUISITOS
14.1 Introduo
Caros alunos estamos quase no nal de nosso curso de Va-
riveis Complexas. Nosso assunto de agora Transformaes
Conformes. Aqui estabeleceremos os aspectos bsicos de trans-
formaes conformes como ponto de partida para a prxima aula
onde faremos algumas aplicaes das transformaes conformes.
14.2 Transformaes Conformes
Vamos iniciar com a denio do conceito de transformaes con-
formes:
x
y plano xy
(x
0
, y
0
)
C
2
C
1
u
v plano w
(u
0
, v
0
)
C
1
C
2
Figura 14.1: Transformaes Conformes
Denio 14.1. Seja : D R
2
R
2
uma transformao de
um aberto D de R
2
em R
2
tal que leva o ponto (x
0
, y
0
) do plano
xy no ponto (u
0
, v
0
) do plano uv. Se dada duas curvas C
1
e C
2
do plano xy que se interceptam em z
0
so levadas na curvas C
1
e
C
2
que se interceptam em (u
0
, v
0
) (ver gura 14.1) ento se
tal que o ngulo entre as curvas C
1
e C
2
em (x
0
, y
0
) igual ao
ngulo entre C
1
e C
2
em mdulo e sentido, dizemos que uma
transformao conforme em (x
0
, y
0
).
194
Variveis Complexas
AULA
14
Vamos examinar a mudana de direo de curvas no plano com-
plexo z, passando pelo ponto z
0
sob a transformao w = f(z)
quando a funo em questo holomorfa em z
0
e alm disso f
(z
0
) =
0. Para isso enunciamos e provamos o seguinte teorema:
x
y plano z
z
0
z
0
+ z
C
0
u
v plano w
w
0
w
0
+ w
C
0
+ a
Teorema 14.1. Sejam D C um aberto, f : D C C, w =
f(z) uma transformao holomorfa em z
0
D tal que f
(z
0
) = 0
ento a tangente a qualquer curva C passando por z
0
girada de
um ngulo igual a arg(f
(z
0
)).
PROVA: Quando um ponto se move de z
0
a z
0
+ z ao longo
da curva C no plano z (ver gura 14.2) sua imagem atravs de
f(z) move-se ao longo de C
, no plano w, de w
0
at w
0
+ w. Se
parametrizarmos a curva C usando o parmetro t ento o caminho
z(t) (x = x(t) e y = y(t)) em C corresponde ao caminho w(t) (u =
u(t) e v = v(t)) em C
tal que: z
0
= z(t
0
) e w
0
= w(t
0
) = f(z(t
0
)).
As derivadas
dz
dt
e
dw
dt
representam os vetores tangente nos pontos
correspondentes de C e C
. Da, ento, da regra da cadeia, temos:

dw
dt
=
dw
dz
.
dz
dt
= f
(z).
dz
dt
(14.201)
195
Em particular fazendo t = t
0
em eqn 14.201 temos:
dw
dt
t=t
0
= f
(z(t
0
)).
dz
dt
t=t
0
Que equivalente a:
dw
dt
w=w
0
= f
(z
0
).
dz
dt
z=z
0
(14.202)
Levando em conta que f(z) holomorfa em z
0
. Escrevendo
dw
dt
w
=
w
0
= f
0
e
0
, f
(z
0
) = R
0
e
e
dz
dt
z=z
0
= r
0
e
0
e substituindo em
eqn 14.202 temos:
f
0
e
0
= R
0
e
.r
0
e
0
= R
0
.r
0
e
(+
0
)
(14.203)
Finalmente, de eqn 14.203 temos:
0
=
0
+ =
0
+ arg(f
(z
0
)).
OBS 14.1. Notem que nos pontos crticos (pontos para os quais
f
(z
0
) = 0) indeterminado.
Teorema 14.2. Sejam D C um aberto, f : D C C, w =
f(z) uma transformao holomorfa em z
0
D tal que f
(z
0
) =
0 ento, o ngulo entre duas curvas C
1
e C
2
passando por z
0

preservado pela transformao w = f(z) em mdulo e direo.
PROVA: Pelo teorema 14.2 cada curva gira do ngulo arg(f
(z
0
))
assim, o ngulo entre as curvas no se altera pela transformao
w = f(z) tanto em mdulo quanto em sentido.
OBS 14.2. Em outras palavras o teorema acima diz que uma
aplicao holomorfa uma transformao conforme.
Para concluir, vamos enunciar, sem demonstrar um importante
teorema sobre transformaes conformes. A saber:
196
Variveis Complexas
AULA
14
Teorema 14.3. Seja C uma curva simples fechada, contorno de
uma regio simplesmente conexa ento existe uma transformao
biunvoca w = f(z) holomorfa em C e seu interior, que mapeia C
na borda do disco unitrio no plano w e o interior de C no interior
do disco unitrio.
OBS 14.3. A demonstrao deste teorema de enunciado simples
bastante tcnica e foge ao escopo deste texto. Porm, se os caros
alunos quiserem aprofundar o assunto tem uma demonstrao em
TIMONEY na leitura complementar.
14.3 Exemplos de Algumas Transformaes Con-
formes
Veremos nesta seo alguns exemplos de algumas transformaes
conformes.
x
y plano z
z
0
u
v plano w
f(z
0
)
1
Exemplo 14.1. Como primeiro exemplo, vamos mostrar que a
transformao w = f(z) onde f(z) = e
z z
0
z z
0
, z
0
um ponto do
semiplano superior e
0
R transforma o semiplano superior no
plano z no disco unitrio no plano w (ver gura 14.3).
197
x
y
|
z
z
0
|
|
z
z
0
|
plano xy
z
0
z
0
z
SOLUO: Da gura 14.4 se z pertence ao semiplano superior
temos |z z
0
| |z z
0
| ocorrendo a igualdade se z pertence ao
eixo real. Da, temos:
|w| =
z z
0
z z
0
= |e
|.
|z z
0
|
|z z
0
|
1
pois, |e
| = 1 e |z z
0
| |z z
0
|.
OBS 14.4. Observamos tambm que f(z
0
) = 0 e que o eixo real
mapeado na borda do disco unitrio.
14.3.1 Transformaes de Mbius
Veremos agora um tipo especial de transformao conforme de-
nominada de transformao de Mbius.
Denio 14.2. Uma transformao fracionria
w = f(z) =
az + b
cz + d
(14.204)
tal que ad bc = 0 dita uma transformao de Mbius.
198
Variveis Complexas
AULA
14
Uma das propriedades das transformaes fracionrias, em par-
ticular as transformaes de Mbius, que a composio de duas
transformaes fracionria uma transformao fracionria. sejam
f(z) =
az + b
cz + d
e g(z) =
z +
z +
. Da, temos:
(f g)(z) = f(g(z)) =
a
z +
z +
+ b
c
z +
z +
+ d
=
az + a + bz + b
z +
cz + c + dz + d
c + d
=
(a + b)z + (a + b)
(c + d)z + (c + d)
Tirando eqn 14.204 da forma de frao temos:
Azw + Bz + Cw + D = 0 (14.205)
que linear em z linear em w e bilinear em z e w.
Por outro lado podemos inverter eqn 14.204 e temos:
z = f
1
(w) =
dw + b
cw a
Se c = 0 deixa de ser uma transformao fracionria e passa a ser
uma transformao linear.
Caso c = 0 podemos reescrever eqn 14.204 na forma:
w = f(z) =
a
c
+
bc ad
c
1
cz + d
e portanto a condio ad bc = 0 garante que eqn 14.204 no
a transformao constante.
14.3.2 Pontos xos de uma Aplicao
Imaginemos sobrepor o plano w no plano z de modo que os eixos
coordenados coincidam. Desta forma teremos essencialmente um
199
nico plano. E, podemos encarar uma transformao w = f(z)
como uma aplicao que leva pontos do plano em outros pontos
do plano. Assim faz sentido a seguinte denio:
Denio 14.3. Seja f : C C uma transformao. Dizemos
que z C um ponto xo de f() se, somente se z = f(z).
Vejamos um exemplo:
Exemplo 14.2. Determine os pontos xos da seguinte transfor-
mao fracionria: f(z) =
2z 5
z + 4
.
SOLUO: Da denio de ponto xo temos:
z = f(z) =
2z 5
z + 4
Da, desfazendo a frao temos:
z
2
+ 2z + 5 = 0
Resolvendo a equao do segundo grau temos:
z
1
=
2 +
2
2
4.1.5
2
=
2 +
16
2
= 1 + 2
z
2
=
2
2
2
4.1.5
2
=
2
16
2
= 1 2.
Ficaremos por aqui.
200
Variveis Complexas
AULA
14
14.4 Concluso
Na aula de hoje, vimos que funes holomorfas so transfor-
maes conformes i.e. transformaes que preservam o ngulo en-
tre vetores.
RESUMO
Denio:
Seja : D R
2
R
2
uma transformao de um aberto D de
R
2
em R
2
tal que leva o ponto (x
0
, y
0
) do plano xy no ponto
(u
0
, v
0
) do plano uv. Se dada duas curvas C
1
e C
2
do plano xy
que se interceptam em z
0
so levadas na curvas C
1
e C
2
que se
interceptam em (u
0
, v
0
) (ver gura 14.1) ento se tal que o
ngulo entre as curvas C
1
e C
2
em (x
0
, y
0
) igual ao ngulo entre
C
1
e C
2
em mdulo e sentido, dizemos que uma transformao
conforme em (x
0
, y
0
).
Teorema 1:
Sejam D C um aberto, f : D C C, w = f(z) uma transfor-
mao holomorfa em z
0
D tal que f
(z
0
) = 0 ento a tangente a
qualquer curva C passando por z
0
girada de um ngulo igual a
arg(f
(z
0
)).
Teorema 2:
Sejam D C um aberto, f : D C C, w = f(z) uma trans-
formao holomorfa em z
0
D tal que f
(z
0
) = 0 ento, o ngulo
201
entre duas curvas C
1
e C
2
passando por z
0
preservado pela trans-
formao w = f(z) em mdulo e direo.
Denio:
Uma transformao fracionria
w = f(z) =
az + b
cz + d
tal que ad bc = 0 dita uma transformao de Mbius.
Denio:
Seja f : C C uma transformao. Dizemos que z C um
ponto xo de f() se, somente se z = f(z).
PRXIMA AULA
Em nossa prxima aula veremos algumas aplicaes das trans-
formaes conformes. Em particular veremos aplicaes ao escoa-
mento potencial de uidos.
ATIVIDADES
ATIV. 14.1. que a transformao w = f(z) onde f(z) = e
z z
0
z z
0
,
z
0
um ponto do semiplano superior e
0
R transforma o semi-
plano superior no plano z no exterior do disco unitrio no plano w .
exemplos acima, eles lhes serviro de guia.
202
Variveis Complexas
AULA
14
ATIV. 14.2. Seja f(z) =
z + a
z + b
uma transformao fracionria.
Qual a relao entre a e b garante que a transformao tem apenas
um ponto xo?
exemplo de ponto xo, ele lhe servir de guia.
ables and Applications Editora McGraw Hill, 2008
TIMONEY, Richard M. Riemann Mapping Theorem. http://www.
maths.tcd.ie/ richardt/414/414-ch7.pdf. Acessado em 01/06/2011.
203
AULA
15
Transformaes Conformes:
Aplicaes
META:
Aplicar transformaes conformes.
OBJETIVOS:
Aplicar transformaes conformes na determinao da distribuio
de velocidade em alguns escoamentos estacionrios laminares planos.
PR-REQUISITOS
Transformaes Conformes: Aplicaes
15.1 Introduo
Caros alunos conclumos aqui nosso curso de Variveis Com-
plexa com Algumas Aplicaes das Transformaes Conformes.
Em particular faremos aplicaes ao escoamento laminar, no vis-
coso e potencial de uidos.
15.2 Problemas de Dirichlet e de Neumann
Vrios problemas da Fsica e da Engenharia so modelados ma-
tematicamente por equaes diferenciais parciais s quais so as-
sociadas condies adicionais denominadas condies de contorno.
Denominamos Problema de Valor de Contorno ao problema de
determinar uma soluo que satisfaa ao mesmo tempo as equaes
diferenciais e as condies de contorno. Estaremos interessados
basicamente na soluo de problemas cuja modelagem recaiam em
equaes de Laplace bi-dimensional i.e. Problemas onde desejamos
determinar uma funo u(x, u) que satisfaa a equao de Laplace:
u
x
+
u
y
= 0
no interior de uma regio B sujeita a certas condies na fron-
teira B. Os problemas de Dirichlet e de Neumann podem ser
resolvidos em uma regio B simplesmente conexa que, atravs de
aplicaes conformes, possam ser transformadas na regio limi-
tada pelo semi-plano superior ou o crculo unitrio. Neste caso
muito til o teorema da transformao de Riemmann enunciado
sem demonstrao na aula anterior. As idias por trs da soluo
de tais problemas so:
206
Variveis Complexas
AULA
15
i) Usar uma aplicao conforme que leve a regio B no semi-
plano superior ou o crculo unitrio.
ii) Resolver o problema no semi-plano superior ou no crculo
unitrio. Uma vez resolvidos a tarefa principal recai em de-
terminar a transformao conforme adequada citada no tem
anterior.
iii) Usar a soluo obtida (semi-plano ou crculo unitrio) para
resolver o problema original na regio B usando a inversa da
aplicao conforme.
O processo descrito baseia-se nos seguintes teoremas:
Teorema 15.1. Seja B uma regio simplesmente conexa e f :
B C holomorfa tal que f
(z) = 0z B ento existe uma nica

funo f
1
: Img(f) B.
OBS 15.1. Este teorema assegura que tanto f() quanto f
1
()
so aplicaes conformes. Sua demonstrao no ser feita aqui.
Os interessados podero busca-la em outras referncias ou adaptar
o teorema da funo inversa no caso especial de R
2
, para o plano
complexo.
Teorema 15.2. Sejam B
z
e B
w
abertos simplesmente conexos dos
plano z e plano w respectivamente e f : B
z
B
w
uma aplicao
conforme tal que f
(z) = 0z B
z
ento se harmnica em
B
w
, f harmnica em B
z
.
A demonstrao deste teorema segue imediatamente do seguinte
teorema:
207
Teorema 15.3. Sejam w = u + v = f(z) = f(x + y) analtica
onde f
(z) = 0 ento:
x
2
+

2
y
2
= |f
(z)|
2
_
u
2
+

2
v
2
_
PROVA: Podemos escrever x = x(u, v) e y = y(u, v) desta forma
(x, y) = (x(u, v), y(u, v)). Usando a regra da cadeia temos:
x
=

u
u
x
+

v
v
x
e

y
=

u
u
y
+

v
v
y
Para a segunda derivada, usando a regra da cadeia a derivada de
um produto, temos:
x
2
=

u
2
u
x
2
+

x
_
u
_
u
x
+

v
2
v
x
2
+

x
_
v
_
v
x
x
2
=

u
2
u
x
2
+
u
x
_

u
_
u
_
u
x
+

v
_
u
_
v
x
_
+

v
2
v
x
2
+
u
x
_

u
_
v
_
u
x
+

v
_
v
_
v
x
_
=

u
2
u
x
2
+
u
x
_
u
2
u
x
+

2
vu
v
x
_
+

v
2
v
x
2
+
u
x
_

2
uv
u
x
+

2
v
2
v
x
_
Do mesmo modo, calculando

2
y
2
temos:
x
2
=

u
2
u
y
2
+
u
y
_
u
2
u
y
+

2
vu
v
y
_
+

v
2
v
y
2
+
u
y
_

2
uv
u
y
+

2
v
2
v
y
_
Somando

2
x
2
com

2
y
2
temos:
208
Variveis Complexas
AULA
15
x
2
+

2
y
2
=

u
_
2
u
x
2
+

2
u
y
2
_
+

v
_
2
v
x
2
+

2
v
y
2
_
+

2
u
2
_
_
u
x
_
2
+
_
u
y
_
2
_
+

2
v
2
_
_
v
x
_
2
+
_
v
y
_
2
_
+ 2

2
uv
_
u
x
v
x
+
u
y
v
y
_
Como w = u +v = f(z) analtica temos que u e v satisfazem as
equaes de Cauchy-Riemann:
u
x
=
v
y
e
v
x
=
u
y
. Da, temos:
u
x
v
x
+
u
y
v
y
=
v
y
v
x

v
y
v
x
= 0. O que elimina a ltima
parte da equao acima e temos:
x
2
+

2
y
2
=

u
_
2
u
x
2
+

2
u
y
2
_
+

v
_
2
v
x
2
+

2
v
y
2
_
+

2
u
2
_
_
u
x
_
2
+
_
u
y
_
2
_
+

2
v
2
_
_
v
x
_
2
+
_
v
y
_
2
_
Por outro lado, u e v so tambm so harmnicas logo:
2
u
x
2
+

2
u
y
2
= 0 e

2
v
x
2
+

2
v
y
2
= 0, o que elimina os dois primeiros
termos da equao e temos:
x
2
+

2
y
2
=

2
u
2
_
_
u
x
_
2
+
_
u
y
_
2
_
+

2
v
2
_
_
v
x
_
2
+
_
v
y
_
2
_
Usando as equaes de Cauchy-Riemann
u
x
=
v
y
e
v
x
=
u
y
temos:
u
x
v
x
+
u
y
v
y
=
v
y
v
x

v
y
v
x
= 0. O que elimina a ltima
209
parte da equao acima e temos:
_
u
x
_
2
+
_
u
y
_
2
=
_
v
x
_
2
+
_
v
y
_
2
=
_
u
x
_
2
+
_
v
x
_
2
= |f
(z)|
2
E a equao acima toma a forma:
x
2
+

2
y
2
= |f
(z)|
2
_
u
2
+

2
v
2
_

Teorema 15.4. Sejam B
z
e B
w
abertos simplesmente conexos dos
plano z e plano w respectivamente e f : B
z
B
w
uma aplicao
conforme tal que f mapeia B
z
em B
w
ento se satisfaz:
(u, v) = c, (u, v) B
w
ou

n n n
(u, v) = 0, (u, v) B
w
f satisfaz:
(f)(x, y) = c, (x, y) B
z
ou
( f)
n n n
(x, y) = 0, (x, y) B
z
15.2.1 Problemas de Dirichlet
Vejamos a denio:
Denio 15.1. O problema de Dirichlet consiste em determinar
uma funo (x, y) contnua com derivadas parciais contnuas que
satisfaam:
_
x
+

y
= 0 , (x, y) B
(x, y) = c , (x, y) B
(15.206)
onde c R.
15.2.2 Problemas de Neumann
Vejamos a denio:
210
Variveis Complexas
AULA
15
Denio 15.2. O problema de Neumann consiste em determinar
uma funo (x, y) contnua com derivadas parciais contnuas que
satisfaam:
_
x
+

y
= 0 , (x, y) B
n n n
(x, y) = 0 , (x, y) B
(15.207)
onde n n n a normal unitria a B orientada para fora de B e

n n n
a
derivada direcional de na direo da normal.
15.2.3 Aplicaes ao Escoamento de Fluidos
Muitos problemas de hidrulica, dinmica dos uidos ou aerodi-
nmica dos uidos podem ser resolvidos por mtodos de variveis
complexas, em especial com aplicaes conformes, como veremos
nesta subseo. Para este m so necessrias algumas conside-
raes que simplicaram tremendamente a nossa tarefa. As hipte-
ses bsicas so as seguintes:
i) O escoamento bi-dimensional. As caractersticas bsicas do
escoamento de uidos so as mesmas independente do plano en
considerao. Isso permite aplicao dos teoremas na soluo
de problemas de escoamento en redor de objetos.
ii) Escoamento estacionrio. A velocidade do uido depende ape-
nas das coordenadas espaciais (x, y) e no do tempo.
iii) Fluido no viscoso. O uido no tem viscosidade, escoa sem
atrito.
iv) Escoamento potencial. A velocidade do uido deriva de um
campo potencial i.e. se v
x
e v
y
so as componentes da veloci-
dade na direo x e na direo y respectivamente, existe uma
211
funo (x, y) tal que:
_
_
v
x
=

x
v
y
=

y
(15.208)
v) Fluido incompressvel. Equivale a dizer que a densidade do
uido constante e o campo de velocidade satisfaz:
v
x
x
+
v
y
y
(15.209)
OBS 15.2. Substituindo eqn 15.208 e eqn 15.209 temos:
x
2
+

2
y
2
(15.210)
logo o potencial de velocidade uma funo harmnica. Se
a harmnica conjugada de denimos o potencial complexo
por: (z) = (x, y) + (x, y). Da, temos:
(z) =
d
dz
=

x
+

x
=

x

x
= v
x
v
y
(15.211)
OBS 15.3. As famlias de curvas a um parmetro:
_
_
_
(x, y) =
(x, y) =
(15.212)
onde e so constante so denominadas curvas eqipotenciais
e curvas de uxo respectivamente. Em escoamentos estacionrios
curvas de uxo representam trajetria reais das partculas do u-
ido.
212
Variveis Complexas
AULA
15
15.2.4 Escoamento em Torno de Obstculos
Um problema importante em dinmica dos uidos determinar
como um uido, inicialmente escoando com velocidade constante
v
0
, perturbado pela introduo de obstculos. A inteno obter
um potencial complexo da forma:
(z) = v
0
z + G(z) (15.213)
tal que lim
|z|
G(z) = 0 garantindo que longe do obstculo a veloci-
dade tem mdulo constante.
u
w plano w
x
y plano z
a
Figura 15.1: Transformao f(z) = z +
a
2
z
Exemplo 15.1. Estudar o potencial complexo de escoamento (z) =
v
0
_
z +
a
2
z
_
.
SOLUO: Pela gura 15.1 a transformao conforme f(z) =
z +
a
2
z
leva o exterior do semi-crculo de raio a centrado em z
0
= 0
do semiplano superior do plano z no semiplano superior do plano
w. Portanto podemos usa-la para descrever o escoamento de um
uido incompressvel, no viscoso, estacionrio em torno do semi-
crculo. Da, fazendo z = re
podemos reescrever o potencial

213
complexo na forma:
(z) = +
= v
0
_
re
+
a
2
re
_
= v
0
_
r +
a
2
r
_
cos() + v
0
_
r
a
2
r
_
sin()
(15.214)
De eqn 15.214 temos:
_
_
(r, ) = v
0
_
r +
a
2
r
_
cos()
(r, ) = v
0
_
r
a
2
r
_
sin()
(15.215)
Ento as curvas (r, ) = (ver gura 15.2) representam as
linhas de corrente i.e. as trajetrias reais das partculas do uido.
x
y
Figura 15.2: Linhas de corrente
Por outro lado, derivando o potencial complexo para obter a
velocidade complexa temos:
V =
(z)
= v
0
_
1
a
2
z
2
_
= v
0
_
1
a
2
re
_
= v
0
_
1
a
2
r
2
cos()
_
v
0
a
2
2
sin()
(15.216)
214
Variveis Complexas
AULA
15
distante do semi-crculo, lim
r
V = v
0
i.e. o uido est escoando
na direo do semi-eixo real positivo com velocidade constante v
0
.
15.3 Concluso
Na aula de hoje, vimos que possvel usar aplicaes conformes
para resolver alguns tipos de problemas de escoamento de uidos.
RESUMO
Problemas de Dirichlet e de Neumann
A soluo de problemas de Dirichlet e de Neumann baseia-se nos
seguintes teoremas:
Teorema 1:
Seja B uma regio simplesmente conexa e f : B C holomorfa
tal que f
(z) = 0z B ento existe uma nica funo f

1
:
Img(f) B.
Teorema 2:
Sejam B
z
e B
w
abertos simplesmente conexos dos plano z e plano
w respectivamente e f : B
z
B
w
uma aplicao conforme tal que
f
(z) = 0z B
z
ento se harmnica em B
w
, f harmnica
em B
z
.
Teorema 3:
Sejam B
z
e B
w
abertos simplesmente conexos dos plano z e plano
w respectivamente e f : B
z
B
w
uma aplicao conforme tal que
215
f mapeia B
z
em B
w
ento se satisfaz:
(u, v) = c, (u, v) B
w
ou

n n n
(u, v) = 0, (u, v) B
w
f satisfaz:
(f)(x, y) = c, (x, y) B
z
ou
( f)
n n n
(x, y) = 0, (x, y) B
z
Denio: Problema de Dirichlet
O problema de Dirichlet consiste em determinar uma funo (x, y)
contnua com derivadas parciais contnuas que satisfaam:
_
x
+

y
= 0 , (x, y) B
(x, y) = c , (x, y) B
(15.217)
onde c R.
Denio: Problema de Neumann
O problema de Neumann consiste em determinar uma funo (x, y)
contnua com derivadas parciais contnuas que satisfaam:
_
x
+

y
= 0 , (x, y) B
n n n
(x, y) = 0 , (x, y) B
(15.218)
onde n n n a normal unitria a B orientada para fora de B e

n n n
a
derivada direcional de na direo da normal.
PRXIMA AULA
Caros alunos esta nossa ltima aula portanto, no haver
prxima aula pois, esta a ltima aula do nosso curso de Var-
iveis Complexa. Espero que este curso tenha dado bons frutos.
216
Variveis Complexas
AULA
15
Ele apenas um introduo ao maravilhoso mundo das Variveis
Complexas. A Leitura complementar fornece material adicional
para quem desejar mais informaes.
ATIVIDADES
ATIV. 15.1. Considere o potencial complexo de escoamento (z) =
v
0
_
z +
a
2
z
_
e determine os pontos de estagnao do uido.
Comentrio: Lembre-se que os pontos de estagnao em um
escoamento so pontos onde a velocidade complexa nula.
ATIV. 15.2. Considere o potencial complexo de escoamento (z) =
v
0
_
z +
a
2
z
_
e mostre que as curvas ae
t
, t [0, ], t, t (, a]
e t, t [a, ) so linhas de corrente.
Comentrio: Volte ao exemplo e estude a equao das linhas de
corrente.
217
218

Introdução à Álgebra dos Números Complexos

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Introdução à Álgebra dos Números Complexos

Enviado por

Direitos autorais:

Formatos disponíveis

SUMRIO

Aula 1: lgebra dos Nmeros Complexos 13

121. Por um lado a frmula de Tartaglia estava correta

121 deveriam ser

Figura 1.2: Forma polar de um nmero complexo

Logo a ltima equao eqn 3.10.3 passa a:

(z) existam na vizinhana de um

(z) existam na vizinhana de um ponto z

(z) existe para todo z B

(r(cos() + sin())).(cos() + sin()) =

(z) = (cos() + sin()).

= temos: r(sin() + cos()) =

(r(cos() + sin())).(r(cos() + sin())) =

(z) existe para todo z B

(z) = (cos() + sin()).

Figura 5.1: Domnio da funo exponencial

i.e. todo o plano complexo

, r [0, ) e [, +), por:

. Da aula anterior se f(z) = f(r(cos()+sin())) =

(z) = (cos() + sin()).

, r [0, ) e [, +), por:

= cos() + sin() (6.63)

(z) = sec(z) tan(z)

(z) = csc(z) cot(z)

(z) = sech (z) tanh(z)

(z) = csch (z) coth(z)

(t) + P( x(t), y(t)) y

ML onde |f(z)| M, z C e L o compri-

(z) = f(z). Dizemos que F(z)

ML onde |f(z)| M, z C e L o compri-

(z) = f(z). Dizemos que F(z) a integral

(z) contnua em D ento:

(z) contnua em D temos:

Portanto, as derivadas parciais

Aps n repetio desse processo temos:

(z), de outra forma: n n

= < 1. Por outro lado

= < 1. Por outro lado

Figura 12.1: Teorema dos Resduos

Figura 13.3: Aplicaes do Teorema dos Resduos

. Da, ento, da regra da cadeia, temos:

(z) = 0z B ento existe uma nica

podemos reescrever o potencial

(z) = 0z B ento existe uma nica funo f

Você também pode gostar