Livro Variáveis Complexas PDF

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 Indefinida . . . . . . . . . . . . . . . . . . . 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 Classificao 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 fixos 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
lgebra dos Nmeros
Complexos 1
META:
Apresentar a lgebra dos nmeros complexos.
OBJETIVOS:
Ao fim da aula os alunos devero ser capazes de:
Definir 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 definidas
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 x2 + ax + b =
0, a, b R e sim devido a descoberta da soluo para a equao
cbica em sua forma geral x3 +ax2 +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 fictcius. 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 x3 + px + q = 0 porm, morreu sem publica-la.
Seu aluno Antonio Maria Fior. conhecendo a soluo, prope
um desafio 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 x3 + px + q = 0 quanto para x3 + px2 + q = 0
e venceu a disputa. Tartaglia, com a mudana de variveis y =
a
x reduziu a equao geral da cbica x3 + ax2 + bx + c = 0
3
forma y 3 + py + q = 0 cuja soluo j tinha demonstrado ser
14
Variveis Complexas AULA
x=
s
3 q
2
r
q 2
2
+
p 3
3
s
q
+ 3 +
2
r
q 2
2
+
p 3
3
. Foi Rafael
1
Bombelli, engenheiro hidrulico nascido em Bolonha, Itlia, em
1530, quem conseguiu atravessar a barreira e chegar aos novos
nmeros. Bombelli, estudando a equao x3 15x 4 = 0 por in-
speo verificou que x = 4 era soluo. Dividindo x3 15x 4 por
x4 encontrou x2 +4x+1 = 0 cujas solues so reais porm, sub-
p
stituindo na frmula de Tartaglia encontramos x = 3 2 + 121+
p3

2 121. Por um lado a frmula de Tartaglia estava correta

por outro 121 era, at ento, visto com impossvel. A idia de
p p
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 ,

definindo o que vem a ser nmeros complexos.
Definio 1.1. Um nmero complexo z = (x, y) um par or-

denado onde x, y R com soma e produto dados por: z1 , z1 ,
z1 = (x1 , y1 ) e z2 = (x2 , y2 ).

z1 + z2 def
= (x1 + x2 , y1 + y2 )
z .z def
1 1 = (x1 x2 y1 y2 , x1 y2 + x2 y1 )
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.
Definio 1.2. Seja z1 = (x1 , y1 ) e z2 = (x2 , y2 ) dois nmeros

complexos. z1 = z2 se, somente se x1 = x2 e y1 = y2 .
OBS 1.2. Apesar de ser definido como par ordenado de nmeros

complexos, os nmeros complexos no tem paralelo com R2 pois,
em R2 no existe estrutura multiplicativa como nos complexos.
Os nmeros complexos possuem, entre outras, as seguintes pro-

priedades:
z1 , z2 , z3 C
i) z1 + z2 = z2 + z1 simetria da soma
ii) z1 .z2 = z2 .z1 simetria da multiplicao
iii) (z1 + z2 ) + z3 = z1 + (z2 + z3 ) associatividade da soma
iv) (z1 .z2 ).z3 = z1 .(z2 .z3 ) 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.

1 x y
viii) se z = (x, y) 6= (0, 0) ento z = , o
x2 + y 2 x2 + y 2
simtrico multiplicativo
ix) z1 .(z2 + z3 ) = z1 .z2 + z1 .z3 distributividade da multiplicao

sobre a soma
OBS 1.3. Fazendo as seguintes identificaes: 1 = (1, 0) e =

(0, 1) podemos escrever um nmero complexo z = (x, y) como
16
z = x + y, que uma forma mais simples de se manipular desde 1
que ponhamos 2 = 1. Nesta forma a soma e a multiplicao
ficam dadas por: se z1 , z2 C, z1 = x1 + y1 e z2 = x2 + y2 ento
z1 + z2 = (x1 + x2 ) + (y1 + y2 )
z1 .z2 = (x1 x2 y1 y2 ) + (x1 y2 x2 y1 )
Definio 1.3. Seja z = x + y C um nmero complexo. Defi-

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 graficamente como um ponto do plano xy. Desta
forma dando sentido prxima definio.
Definio 1.4. Dado um nmero complexo z = x + y C, defi-

nimos o mdulo de z, denotado |z|, por:
def
p
|z| = x2 + y 2 (1.1)
Um conceito importante a ser em seguida definido o de conjugado.

A saber:
Definio 1.5. Seja z = x + y C um nmero complexo. Defi-

nimos o conjugado de z, denotado z por:
def
z = x y
OBS 1.5. O mdulo e o conjugado esto relacionados por: |z|2 =

z.z.
Algumas propriedades do mdulo:

z1 , z2 C
17
Figura 1.1: Conjugado de um nmero complexo
i) z1 | 0
ii) |z1 .z2 | = |z1 |.|z2 |
iii) |z1 + z2 | |z1 | + |z2 |
iv) se z = x + y ento |z| |x| e |z| |y|
Algumas propriedades do conjugado:

z1 , z2 , z C
i) z1 + z2 = z1 + z2
ii) z1 .z2 = z1 .z2
z + z
iii) x = Re(z) =
2
z z
iv) y = Im(z) =
2
Como podemos associar um nmero complexo z = x + y C a

um ponto do plano xy, podemos usar coordenadas polares e definir
uma nova forma de representao d nmeros complexos. A saber:
18
y
z = r cos() + r sin()
1
r

Figura 1.2: Forma polar de um nmero complexo
Definio 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:

p
|z| = (r cos())2 + (r sin())2
q
= r2 cos2 () + r2 sin2 ()
q
= r2 (cos2 () + sin2 ())

= r2
=r
Definio 1.7. Dado um nmero complexo z C em sua forma

polar z = r cos()+r sin() definimos o argumento de z, denotado
arg(z) por: arg(z) = .
OBS 1.7. O argumento de um nmero complexo tem uma in-

finidade 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 definidos inicialmente como

pares ordenados de R2 , os nmeros complexos possuem um estru-
tura multiplicativa que torna C diferente de R2 .
RESUMO
No nosso resumo da Aula 01 constam os seguintes tpicos:

Definio
Um nmero complexo z = (x, y) um par ordenado onde x, y R
20
com soma e produto dados por: z1 , z1 , z1 = (x1 , y1 ) e z2 = 1
(x2 , y2 ).

z1 + z2 def
= (x1 + x2 , y1 + y2 )
z .z def
1 1 = (x1 x2 y1 y2 , x1 y2 + x2 y1 )
Algumas Propriedades
Os nmeros complexos possuem, entre outras, as seguintes pro-
priedades:
z1 , z2 , z3 C
i) z1 + z2 = z2 + z1 simetria da soma
ii) z1 .z2 = z2 .z1 simetria da multiplicao
iii) (z1 + z2 ) + z3 = z1 + (z2 + z3 ) associatividade da soma
iv) (z1 .z2 ).z3 = z1 .(z2 .z3 ) 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.

1 x y
viii) se z = (x, y) 6= (0, 0) ento z = , o
x2 + y 2 x2 + y 2
simtrico multiplicativo
ix) z1 .(z2 + z3 ) = z1 .z2 + z1 .z3 distributividade da multiplicao

sobre a soma
Definio
Fazendo as seguintes identificaes: 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. Definimos 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.
Definio
Dado um nmero complexo z = x + y C, definimos o mdulo
def p
de z, denotado |z|, por: |z| = x2 + y 2 .
Definio
Seja z = x + y C um nmero complexo. Definimos o conjugado
def
de z, denotado z por: z = x y.
Algumas Propriedades do Mdulo
Algumas propriedades do mdulo:
z1 , z2 C
i) z1 | 0
ii) |z1 .z2 | = |z1 |.|z2 |
iii) |z1 + z2 | |z1 | + |z2 |
iv) se z = x + y ento |z| |x| e |z| |y|
Algumas Propriedades do Conjugado

Algumas propriedades do conjugado:
z1 , z2 , z C
i) z1 + z2 = z1 + z2
ii) z1 .z2 = z1 .z2

z + z
iii) x = Re(z) =
2
z z
iv) y = Im(z) =
2
Definio
Seja z = x + y C um nmero complexo. Fazendo x = r cos()
22
e y = r sin() a representao: z = r cos() + r sin() dita 1
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 z1 e z2 dois nmeros complexos. Mostre que

z1 .z2 = z2 .z1 .
Comentrio: Use as propriedades comutativas dos nmeros

reais.
ATIV. 1.2. Sejam z = r cos() + r sin(). Mostre que:
z n = rn cos(n) + rn 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
Limites de Funes
de Variveis Complexas 2
META:
Introduzir o conceito de limite de funes de variveis complexas.
OBJETIVOS:
Definir 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 definies de limite e continuidade de
funes complexas.
2.2 Topologia do Plano Complexo
Vamos iniciar nossa aula com as definies, com alguns pequenos

comentrios, de alguns conceitos topolgicos. Comeando por:
Definio 2.1. Sejam z0 C um ponto do plano complexo e r > 0

um real positivo. definimos a bola aberta de centro em z0 e raio r
por:
Br (z0 ) = {z C||z z0 | < r}
OBS 2.1. Apesar do nome bola aberta, a representao geomtrica

de uma bola aberta de centro em z0 C e raio r > 0 (ver figura
2.1), no plano complexo C, o interior um disco cujo centro z0
e cujo raio r.
Podemos definir tambm, a bola fechada incluindo as bordas i.e.
Definio 2.2. Sejam z0 C um ponto do plano complexo e r > 0

um real positivo. definimos a bola fechada de centro em z0 e raio
r por:
Br (z0 ) = {z C||z z0 | r}
26
y 2
Br (z0 )
z0
r1
Figura 2.1: Bola Aberta no Plano Complexo
Definio 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 definio de conjunto vazio.
Definio 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.
Definio 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 6= e B (z) {C (D) 6= .

e z C. Dizemos que z um ponto de acumulao de D se,
somente se para todo > 0 tal que B (z) D 6= .
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 7 C.
28
Tambm, com o objetivo de simplificao e a menos que seja indi- 2
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 7 R e v : D C 7 R so ditas

componentes real e imaginria de f respectivamente.
Exemplo 2.1. Para a funo f : C 7 C dada por f (z) = z 3 suas

componentes so u(x, y) = x3 3xy 2 e v(x, y) = 3x2 y y 3 i.e.
f () pode ser escrita como:
f (z) = f (x + y) = (x + y)3
= (x + y).(x + y).(x + y)
= ((x2 y 2 ) + 2xy).(x + y)
= (x3 3xy 2 ) + (3x2 y y 3 )
2.4 Limites de Funes de Variveis Complexas
Comearemos diretamente pela definio de limite.
Definio 2.9. Seja f : D C 7 C uma funo complexa de

domnio D aberto e z0 D. Dizemos que L C o limite de f (z)
quando z tende a z0 , denotado lim f (z) = L se, somente se para
zz0
todo > 0, existe > 0 tal que para todo z B (z0 ) {z0 } temos
f (z) B (L)
OBS 2.8. A definio acima, traduzindo em palavras, quer dizer

que se L o limite de f (z) quando z se aproxima de z0 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 definio, veremos o

seguinte exemplo:

z3 , z =
6
Exemplo 2.2. Seja f : C 7 C dada por: f (z) = .
0 ,z =
Determinar o limite de f (z) quando z tende a .
SOLUO: Como 3 = suspeitamos que lim f (z) = . Va-
z
mos comprovar, usando a definio 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 )| (2.2)
|z |.|z 2 + z + 2 | <
Se, temporariamente, limitarmos z de modo que |z| < 1 teremos:
|z| || |z | < 1
|z| 1 < 1 (2.3)
|z| < 2
30
Da, teremos a seguinte limitao: 2
|z 2 + z + 2 | < |z 2 + |z| + |2 |
< |z|2 + |z||| + ||2 (2.4)
<7
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 (2.5)
|z |.7 <
Das desigualdades eqn 2.5 e eqn 2.4.3 temos:
|z |.|z 2 + z + 2 | <
|(z ).(z 2 + z + 2 )| < (2.6)
|z 3 3 | <
Da, temos:
>, > 0, = min{1, /7}|z, 0 < |z | < |z 3 + | <
Que podemos sintetizar como:
lim f (z) =
z
Teorema 2.1. Sejam D C um aberto de C, f : D C 7 C uma

funo complexa e z0 D. Se lim f (z) = w0 e lim f (z) = w1
zz0 zz0
ento w0 = w1 .
31
OBS 2.9. O teorema acima garante que se existe o limite de f ()

em um ponto z0 ento este limite nico.
Teorema 2.2. Sejam D C um aberto de C, f : D C 7 C

uma funo complexa de componentes f (z) = f (x+y) = u(x, y)+
v(x, y), z0 = x0 +y0 D e w0 = u0 +v0 C. Ento lim f (z) =
zz0
w0 se, somente se: xx lim v(x, y) = v0 .
lim u(x, y) = u0 e xx
0 0
yy0 yy0
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 7

C duas funes complexas e z0 D tais que lim f (z) = f0 e
zz0
lim g(z) = g0 ento:
zz0
i) lim (f + g)(z) = lim f (z) + lim g(z) = f0 + g0

zz0 zz0 zz0
ii) lim (f g)(z) = lim f (z) lim g(z) = f0 g0

zz0 zz0 zz0
iii) lim (f.g)(z) = lim f (z). lim g(z) = f0 .g0

zz0 zz0 zz0
lim f (z)
f zz0 f0
iv) lim (z) = = se g0 6= 0
zz0 g lim g(z) g0
zz0
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 definio de imediato.
32
Definio 2.10. Sejam D C um aberto de C, F : D C 7 C 2
uma funo complexa e z0 D. Dizemos que f () contnua se,
somente se:
lim f (z) = f (z0 )
zz)
OBS 2.11. A equao da definio acima sintetiza trs requisitos

para a continuidade de uma funo em um ponto. Primeiro a
funo tem que ser definida no ponto. Segundo o limite lim f (z)
zz)
existe. E terceiro requerida a igualdade lim f (z) = f (z0 ).
zz)
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 7 C

e duas funes complexas contnuas em D e z0 D ento:
i) (f + g)(z) contnua em z0
ii) (f g)(z) contnua em z0
iii) (f.g)(z) contnua em z0

f
iv) (z) contnua em z0 se g(z) 6= 0, z D
g
OBS 2.13. As propriedades acima decorrem imediatamente das
propriedades das operaes com limites.
Teorema 2.5. Sejam D1 , D2 C, abertos de C, f : D2 C 7 C

e g : D1 C 7 D2 C duas funes complexas contnuas em D2
e D1 respectivamente e z0 D1 ento:
lim (f g)(z) = f (g(z0 ))

zz0
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 R2

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

Definimos os seguintes conceitos topolgicos no plano complexo:
Bola Aberta
Sejam z0 C um ponto do plano complexo e r > 0 um real posi-
tivo. definimos a bola aberta de centro em z0 e raio r por:
Br (z0 ) = {z C||z z0 | < r}
Bola Fechada
Sejam z0 C um ponto do plano complexo e r > 0 um real
positivo. definimos a bola fechada de centro em z0 e raio r por:
Br (z0 ) = {z C||z z0 | r}
Conjunto Aberto
Seja D C um subconjunto do plano complexo. Dizemos que D
34
um conjunto aberto se, somente se: Para todo z D, existe > 0 2
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 6= e B (z) {C (D) 6= .
Ponto de Acumulao
mos que z um ponto de acumulao de D se, somente se para
todo > 0 tal que B (z) D 6= .
Funes Complexas
Podemos representar funes complexas de diversas formas como:
Para f : D C 7 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:
Definio
Seja f : D C 7 C uma funo complexa de domnio D aberto e
z0 D. Dizemos que L C o limite de f (z) quando z tende a
z0 , denotado lim f (z) = L se, somente se para todo > 0, existe
zz0
> 0 tal que para todo z B (z0 ) {z0 } temos f (z) B (L)
Teorema 1
Sejam D C um aberto de C, f : D C 7 C uma funo
complexa e z0 D. Se lim f (z) = w0 e lim f (z) = w1 ento
zz0 zz0
w0 = w1 .
Teorema 2
complexa de componentes f (z) = f (x + y) = u(x, y) + v(x, y),
z0 = x0 + y0 D e w0 = u0 + v0 C. Ento lim f (z) = w0 se,
zz0
lim u(x, y) = u0 e xx
somente se: xx lim v(x, y) = v0 .
0 0
yy0 yy0
Teorema 3 (Operaes com Limites)

Sejam D C um aberto de C, f, g : D C 7 C duas funes
complexas e z0 D tais que lim f (z) = f0 e lim g(z) = g0 ento:
zz0 zz0

zz0 zz0 zz0

zz0 zz0 zz0

zz0 zz0 zz0
lim f (z)
f zz0 f0
iv) lim (z) = = se g0 6= 0
zz0 g lim g(z) g0
zz0
Definio
Sejam D C um aberto de C, F : D C 7 C uma funo
36
complexa e z0 D. Dizemos que f () contnua se, somente se: 2
lim f (z) = f (z0 )
zz)
Propriedades da Funes Contnuas

Sejam D C um aberto de C, f, g : D C 7 C duas funes
complexas e z0 D tais que lim f (z) = f0 e lim g(z) = g0 ento:
zz0 zz0

zz0 zz0 zz0

zz0 zz0 zz0

zz0 zz0 zz0
lim f (z)
f zz0 f0
iv) lim (z) = = se g0 6= 0
zz0 g lim g(z) g0
zz0
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 significativamente diferente da derivao em R2 .
ATIVIDADES

z2 , z =
6
ATIV. 2.1. Seja f : C 7 C dada por: f (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 7 C dada por: f (z) = az 2 + bz + c, onde

a, b, c C. Mostrar que f () contnua em z0 .
exemplo, ele lhe servir de guia.

ables and Applications Editora McGraw Hill, 2008.
38
AULA
Derivao Complexa
3
META:
Introduzir o conceito de derivada de funes de variveis com-
plexas.
OBJETIVOS:
Definir 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 definio de derivada de uma funo complexa.
Definio 3.1. Sejam D C aberto, z0 D e f : D C 7 C

uma funo complexa. Definimos a derivada de f () no ponto z0 ,
denotada f 0 (z0 ), por:
def f (z) f (z0 )

f 0 (z0 ) = lim (3.7)
zz0 z z0
OBS 3.1. Est implcito na definio 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 z0 , z = z0 + z, onde z escolhido de modo que
tenhamos z D.
def f (z0 + z) f (z0 )

f 0 (z0 ) = lim (3.8)
zz0 z
OBS 3.2. Para que a derivada de f () exista em um ponto z0 D

necessrio que o limite da definio seja independente da maneira
como z se aproxima de z0 .
Vejamos, agora, dois exemplos:
40
Exemplo 3.1. Seja f : C 7 C dada por f (z) = z 3 . Calculemos 3
sua derivada.
SOLUO: Seja z0 C temos:
f (z0 + z) f (z0 ) (z0 + z)3 z03

=
z z
z03 + 3z02 z + 3z0 (z)2 + (z)3 z03
=
z
3z02 z + 3z0 (z)2 + (z)3
=
z
= 3z02 + 3z0 z + (z)2
Passando o limite z 0 e usando a definio de derivada eqn

3.8 temos:
f (z0 + z) f (z0 )
lim = lim (3z02 + 3z0 z + (z)2 )
z0 z z0
f 0 (z0 ) = 3z02
Vamos ao segundo exemplo:
Exemplo 3.2. Seja f : C 7 C dada por f (z) = |z|2 . Calculemos

sua derivada.
SOLUO: Seja z0 C temos:
f (z0 + z) f (z0 ) |z0 + z|2 |z0 |2

=
z z
(z0 + z)(z0 + z) z0 z0
=
z
z0 z0 + z0 z + z0 z + zz z0 z0
=
z
z0 z + z0 z + zz
=
z
z
= z0 + z0 + 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 = x 0 = x.
41
Derivao Complexa
z
Da, = 1. E passando o limite z 0 que equivalente, neste
z
caso a x 0 temos:
f 0 (z0 ) = z0 + z0
Caminho 2: Vamos fazer z 0 seguindo um caminho paralelo

ao eixo imaginrio. Neste caso z = 0 + y = y, z =
z
0 y = y. Da, = 1. E passando o limite z 0
z
que equivalente, neste caso a y 0 temos:
f 0 (z0 ) = z0 z0
Da, f (z) = |z|2 no derivvel em ponto nenhum do plano com-

plexo, exceto em z0 = 0.
3.3 Regras de Derivao Complexa
Se f () e g() so funes derivveis em um ponto z0 C ento

valem as seguintes regras de derivao:
1. (f + g)0 (z0 ) = f 0 (z0 ) + g 0 (z0 )
2. (f g)0 (z0 ) = f 0 (z0 ) g 0 (z0 )
3. (f.g)0 (z0 ) = f (z0 ).g 0 (z0 ) + g(z0 ).f 0 (z0 )

0
f f (z0 ).g 0 (z0 ) g(z0 ).f 0 (z0 )
4. (z0 ) = se g(z0 ) 6= 0
g g 2 (z0 )
Demonstraremos, agora, uma das regras de derivao complexa.
A saber.
Se f () e g() so funes derivveis em um ponto z0 C ento
vale
a0 seguinte regra0 de derivao: 0
f f (z0 ).g (z0 ) g(z0 ).f (z0 )
(z0 ) = se g(z0 ) 6= 0.
g g 2 (z0 )
42
PROVA: Para simplificar trocaremos z por . Usando a definio 3
de derivada complexa temos:

f f
0 (z0 + ) (z0 )
f g g
(z0 ) = lim
g 0
f (z0 + ) f (z0 )

g(z0 + ) g(z0 )
= lim
0 (3.9)
f (z0 + )g(z0 ) f (z0 )g(z0 + )
g(z0 + )g(z0 )
= lim
0
f (z0 + )g(z0 ) f (z0 )g(z0 + )
= lim
0 g(z0 + )g(z0 )
Adicionando o termo nulo f (z0 )g(z0 ) + f (z0 )g(z0 ) ao denomi-

nador da equao eqn 3.9.4 acima temos:
0
f f (z0 + )g(z0 ) f (z0 )g(z0 )
(z0 ) = lim
g 0 g(z0 + )g(z0 )
f (z0 )g(z0 + ) f (z0 )g(z0 )
lim
0 g(z0 + )g(z0 )
g(z0 ) f (z0 + ) f (z0 )
= lim
0 g(z0 + )g(z0 )
(3.10)
f (z0 ) g(z0 + ) g(z0 )
lim
0 g(z0 + )g(z0 )
g(z0 ) f (z0 + ) f (z0 )
= lim lim
0 g(z0 + )g(z0 ) 0
f (z0 ) g(z0 + ) g(z0 )
lim lim
0 g(z0 + )g(z0 ) 0
Como as funes f () e g() so derivveis, so tambm contnuas

e da definio de derivada complexa temos:
43
Derivao Complexa
g(z0 ) g(z0 )
lim =
0 g(z0 + )g(z0 ) gr(z0 )
f (z0 ) f (z0 )
lim = 2
0 g(z0 + )g(z0 ) g (z0 )
f (z0 + ) f (z0 )
f 0 (z0 ) = lim
0
g(z 0 + ) g(z0 )
g 0 (z0 ) = lim
0
Logo a ltima equao eqn 3.10.3 passa a:
0
f g(z0 ) 0 f (z0 ) 0
(z0 ) = 2 f (z0 ) 2 g (z0 )
g g (z0 ) g (z0 )
g(z0 )f 0 (z0 ) f (z0 )g 0 (z0 )
=
g 2 (z0 )
3.4 Equaes de Cauchy-Riemann
Nesta seo estabeleceremos condies necessrias e suficiente 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 7

C, f (z) = u(x, y) + v(x, y) e f 0 (z) existam na vizinhana de um
ponto z0 = x0 + y0 C. Ento as derivadas parciais de primeira
ordem de u e v com relao a x e a y existem e satisfazem:
u v
(x0 , y0 ) = (x0 , y0 )
x y (3.11)
v u
(x0 , y0 ) = (x0 , y0 )
x y
PROVA: Da hiptese do teorema f (z) = u(x, y)+v(x, y) e f 0 (z)

esto definidas em uma vizinhana do ponto z0 = x0 + y0 C.
Da definio de derivada temos:
def f (z) f (z0 )

f 0 (z0 ) = lim (3.12)
zz0 z z0
44
Podemos tomar dois casos (caminhos): 3
Caso 1 podemos fazer z z0 seguindo o caminho z = x + y0 ,
z z0 = x + y0 (x0 + y0 ) = x x0 que equivalente a x x0
e temos:
f (z) f (z0 ) u(x, y0 ) + v(x, y0 ) u(x0 +, y0 ) v(x0 , y0 )
=
z z0 x x0
u(x, y0 ) u(x0 , y0 ) v(x, y0 ) v(x0 , y0 )
= +
x x0 x x0
Passando o limite z z0 (de forma equivalente) x x0 temos:
f (z) f (z0 ) u(x, y0 ) u(x0 , y0 )

lim = lim
zz0 z z0 xx0 x x0 (3.13)
u v
f 0 (z0 ) = (x0 , y0 ) + (x0 , y0 )
x x
Caso 2 podemos fazer z z0 seguindo o caminho z = x0 + y,
z z0 = x0 + y (x0 + y0 ) = (y y0 ) que equivalente a y y0
e temos:
f (z) f (z0 ) u(x0 , y) + v(x0 , y) u(x0 +, y0 ) v(x0 , y0 )
=
z z0 x x0
u(x0 , y) u(x0 , y0 ) v(x0 , y) v(x0 , y0 )
= +
(y y0 ) (y y0 )
u(x0 , y) u(x0 , y0 ) v(x0 , y) v(x0 , y0 )
= +
(y y0 ) (y y0 )
Passando o limite z z0 (de forma equivalente) x x0 temos:
f (z) f (z0 ) u(x0 , y) u(x0 , y0 )

lim = lim
zz0 z z0 yy 0 (y y0 )
u v
f 0 (z0 ) = (x0 , y0 ) + (x0 , y0 ) (3.14)
y y
v u
= (x0 , y0 ) (x0 , y0 )
y y
Comparando as equaes eqn 3.13.3 e eqn 3.14.3 temos:
u v v u
(x0 , y0 ) + (x0 , y0 ) = (x0 , y0 ) (x0 , y0 )
x x y y
45
Derivao Complexa
Da igualdade de nmeros complexos temos:

u v
(x0 , y0 ) = (x0 , y0 )
x y
v u
(x0 , y0 ) = (x0 , y0 )
x y
Antes de provar a suficincia, provaremos um lema que ser muito
til.
Lema 3.1. Sejam D R2 um aberto e f : D R2 7 R uma

funo com derivadas parciais e D, contnuas em (x0 , y0 ) D.
Ento:
f f
f (x0 + , y0 + ) f (x0 , y0 ) = (x0 , y0 ) + (x0 , y0 ) + +
x y
onde 0 e 0 quando 0 e 0.
PROVA: Comeamos por escrever a diferena f (x0 + , y0 + )

f (x0 , y0 ) como:
f (x0 + , y0 + ) f (x0 , y0 ) = f (x0 + , y0 + ) f (x0 , y0 + )
+ f (x0 , y0 + ) f (x0 , y0 )
(3.15)
Do teorema do valor mdio para funes de uma varivel real existe

t (0, 1) tal que:
f
f (x0 + , y0 + ) f (x0 , y0 + ) = (x0 + t, y0 + )
x
f
Como contnua em D a diferena:
x
f f
(, ) = (x0 + t, y0 + ) (x0 , y0 )
x x
tende a zero quando 0 e 0. Da, temos:

f
f (x0 + , y0 + ) f (x0 , y0 + ) = (x0 , y0 ) + (3.16)
x
46
Do mesmo modo temos:

3
f
f (x0 , y0 + ) f (x0 , y0 ) = (x0 , y0 ) + (3.17)
y
portanto das equaes eqn 3.15, eqn 3.16 e eqn 3.17 temos
f f
f (x0 + , y0 + ) f (x0 , y0 ) = (x0 , y0 ) + (x0 , y0 ) + +
x y
e fica provado o lema.
Vamos, agora, provar a suficincia.
Teorema 3.2. Seja D C aberto e suponhamos que f : D C 7

u v
C seja uma funo complexa tal que as derivadas parciais , ,
x x
u v
e existam em D e so contnuas em z0 = x0 + y0 . Se as
y y
condies de Cauchy-Riemann so satisfeitas em z0 ,
u v
(x0 , y0 ) = (x0 , y0 )
x y
v u
(x0 , y0 ) = (x0 , y0 )
x y
ento f derivvel em z0 .
u u
PROVA: Como, da hiptese, e so contnuas, aplicando
x y
o lema a u(x, y), temos:
u = u(x0 + , y0 + ) u(x0 , y0 )
u u (3.18)
= (x0 , y0 ) + (x0 , y0 ) + 1 + 1
x y
onde 1 0 e 1 0 quando 0 e 0.
v v
Do mesmo modo, Como, da hiptese, e so contnuas,
x y
aplicando o lema a v(x, y), temos:
v = v(x0 + , y0 + ) v(x0 , y0 )
v v (3.19)
= (x0 , y0 ) + (x0 , y0 ) + 2 + 2
x y
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 v

u v
(3.20)
= + + + + +
x x y y
onde omitimos o argumento (x0 , y0 ) das derivadas parciais e =

1 + 2 e = 1 + 2 .
Das equaes de Cauchy-Riemann podemos reescrever a equao
eqn 3.20 como:

u v v u
w = + + + + +
x x x x
(3.21)
u v
= + ( + ) + +
x x
Dividindo a equao eqn 3.21 por z = + temos:

w u v +
= + + (3.22)
z x x +
Antes de fazer z 0 em eqn 3.22 temos que mostrar que

+
lim = 0. Para isto tomando o mdulo da expresso
z0 +
e usando a desigualdade triangular temos:

+
|| + ||

+ + + (3.23)

||
= p ||
Como = p 1 e 1
+
2 + 2 + 2 + 2
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
e portanto lim
+
z0 +
= 0 e passando o limite z 0 em eqn
3
3.22 temos:
w u v
f 0 (z0 ) = lim = +
z0 z x x
Portanto a derivada f 0 (z0 ) 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 definio 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)
= (x2 y2 + 2xy)(x + y)
= x3 3xy 2 + (3x2 y y 3 )
Temos ento u(x, y) = x3 3xy 3 e v(x, y) = 3x2 y 3 . Derivando

com relao a x e a y temos:
u
= 3x2 3y 2
x
u
= 6xy
y
v
= 6xy
x
v
= 3x2 3y 2
y
Vemos pois, que as equaes de Cauchy-Riemann:
u v
=
x y
u v
=
y 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
Definio da derivao complexa:
DEFINIO: Sejam D C aberto, z0 D e f : D C 7 C
uma funo complexa. Definimos a derivada de f () no ponto z0 ,
denotada f 0 (z0 ), por:
def f (z) f (z0 )

f 0 (z0 ) = lim
zz0 z z0
Regras de Derivao Complexa

Para a derivao complexa temos, entre outras, as seguintes regras:
1. (f + g)0 (z0 ) = f 0 (z0 ) + g 0 (z0 )
2. (f g)0 (z0 ) = f 0 (z0 ) g 0 (z0 )
3. (f.g)0 (z0 ) = f (z0 ).g 0 (z0 ) + g(z0 ).f 0 (z0 )

0
f f (z0 ).g 0 (z0 ) g(z0 ).f 0 (z0 )
4. (z0 ) = se g(z0 ) 6= 0
g g 2 (z0 )
Equaes de Cauchy-Riemann
Os seguintes teoremas constituem condies necessria e suficiente
(respectivamente) para a derivabilidade de uma funo complexa:
50
TEOREMA: (condio necessria) 3
Seja D C aberto e suponhamos que f : D C 7 C, f (z) =
u(x, y) + v(x, y) e f 0 (z) existam na vizinhana de um ponto z0 =
x0 + y0 C. Ento as derivadas parciais de primeira ordem de u
e v com relao a x e a y existem e satisfazem:
u v
(x0 , y0 ) = (x0 , y0 )
x y
v u
(x0 , y0 ) = (x0 , y0 )
x y
TEOREMA: (condio suficiente)

Seja D C aberto e suponhamos que f : D C 7 C seja uma
u v u v
funo complexa tal que as derivadas parciais , , e
x x y y
existam em D e so contnuas em z0 = x0 + y0 . Se as condies
de Cauchy-Riemann so satisfeitas em z0 ,
u v
(x0 , y0 ) = (x0 , y0 )
x y
v u
(x0 , y0 ) = (x0 , y0 )
x y
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

z0 C ento vale a seguinte regra de derivao:
(f.g)0 (z0 ) = f (z0 ).g 0 (z0 ) + g(z0 ).f 0 (z0 ).
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
Mais Alguns Aspectos da
Derivao Complexa 4
META:
Introduzir o conceito de funes holomorfas.
OBJETIVOS:
Definir 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 definio de funo holomorfa.
Definio 4.1. Sejam D C aberto, f : D C 7 C uma funo

e z0 D. Dizemos que f () holomorfa em z0 D se, somente
se existe > 0 tal que f 0 (z) existe para todo z B (z0 ).
e tambm,
Definio 4.2. Sejam D C aberto e f : D C 7 C uma

funo. Dizemos que f () holomorfa em D se, somente se f 0 (z)
existe para todo z D.
OBS 4.1. Para que uma funo seja holomorfa em um ponto no

suficiente 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 7 C, z = x+y,

f (z) = u(x, y) + v(x, y). Como z = x y podemos escrever:
z + z z z
x= ey= . Dai, para f (z) temos:
2 2

z + z z z z + z z z
f (z) = u , +v , (4.25)
2 2 2 2
54
por outro lado, derivando as expresses para x e y em funo de z 4
e z temos:
x
= 1/2
z
x
= 1/2
z (4.26)
y
= 1/2
z
i
= 1/2
z
Derivando a equao 4.25 com relao a z, usando a regra da
1
cadeia, as equaes 4.26 e levando em conta que = temos:

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

1 u 1 u 1 v 1 v
= +
2 x 2 y 2 x 2 y
(4.27)
1 u 1 u 1 v 1 v
= + +
2 x 2 y 2 x 2 y

1 u v 1 u v
= + +
2 x y 2 y x
Se f () for holomorfa satisfaz as equaes de Cauchy-Riemann

u v u v
em todos os pontos de D i.e. = 0 e + = 0.
x y y x
Dai, da equao 4.27 conclumos que: se f () for holomorfa ento

f (z) = 0 em todo z D. Em outras palavras uma funo
z
holomorfa quando no depende de z.
OBS 4.3. As equaes de Cauchy-Riemann oferecem uma condio

suficiente pa identificao 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 7 C dada por f (z) = z n , n N

uma funo holomorfa. Seno vejamos:
55
fcil verificar que:
z n z0n = (z z0 )(z n1 + z n2 z0 + + zz0n2 + z0n1 )
Dai, temos:
z n z0n
= z n1 + z n2 z0 + + zz0n2 + z0n1
z z0
Passando o limite z z0 e usando a definio de derivada temos:

z n z0n
f 0 (z0 ) = lim
zz0 z z0
= lim (z n1 + z n2 z0 + + zz0n2 + z0n1 )
zz0
= z0n1 + z0n2 z0 + + z0 z0n2 + z0n1
= z0n1 + z0n1 + + z0n1 + z0n1

| {z }
n vezes
= nz0n1
Da, f (z) = z n uma funo holomorfa em C i.e. f 0 (z) existe em

todo o plano complexo.
Por outro lado.

2
z

, z 6= 0
Exemplo 4.2. A funo f : C 7 C dada por f (z) = z
0

,z = 0
no holomorfa em ponto nenhum de C. Pois, da observao acima
temos:
f z
= 2 6= 0, z 6= 0
z z
Por outro lado no ponto z = 0 temos:
f (z) f (0) f (z) z 2

f 0 (0) = lim = lim = lim 2
z0 z0 z0 z z0 z
Se a derivada existe em z = 0 ela ter que ser independente do

caminho com que z 0. Vamos escolher trs caminhos distintos:
56
Caminho 1: ao longo do eixo real x. Da, z = x + 0, z = x 0 4
e z 0 equivale a x 0.
z 2 (x 0)2 x2
f 0 (0) = lim = lim = lim =1
z0 z 2 x0 (x + 0 )2 x0 x2
Caminho 2: ao longo do eixo imaginrio y. Da, z = 0 + y,

z = 0 y e z 0 equivale a y 0.
z 2 (0 y)2 y 2
f 0 (0) = lim = lim = lim =1
z0 z 2 y0 (0 + y )2 x0 y 2
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 = x x
e z 0 equivale a x 0.
z 2 (x x)2 x(1 )2 (1 )2
f 0 (0) = lim = lim = lim = = 1
z0 z 2 x0 (x + x )2 x0 x(1 + )2 (1 + )2
Vemos da, que f () tambm no derivvel em z = 0.
Vamos agora a mais uma definio.
Definio 4.3. Seja f : C 7 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 7 C uma

funo holomorfa em D e z0 D ento:
f (z) = f 0 (z0 )(z z0 ) + (z z0 )
57
onde lim = 0.
zz0
PROVA: Definindo por:
f (z) f (z0 )
= f 0 (z 0)
z z0
temos que:
f (z) = f 0 (z0 )(z z0 ) + (z z0 )
Por outro lado, como f () holomorfa em D , em particular,

holomorfa em z0 e:

f (z) f (z0 )
lim = lim f (z 0) = f 0 (z0 ) f 0 (z0 ) = 0
0
zz0 zz0 z z0
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 1 v
=
r r (4.28)
v 1 u
=
r r
PROVA: Em coordenadas polares temos: x = r cos() e y =

p
r sin() e suas inversas: r = x2 + y 2 e = tan1 (y/x). derivando
58
temos:
r x r cos()
4
=p = = cos()
x 2
x +y 2 r
r y r sin()
=p = = sin()
y 2
x +y 2 r
(4.29)
x r cos() cos()
= 2 2
= 2
=
x x +y r r
y r sin() sin()
= 2 2
= 2
=
y x +y r r
Usando a regra da cadeia para funes de duas variveis reais e as
equaes eqn 4.29 para a funo u(, ) temos:
u u r u
= +
x r x x
u 1 u
= cos() + sin()
r r
(4.30)
u u r u
= +
y r y y
u 1 u
= sin() + cos()
r r
Do mesmo modo para a funo v(, ) temos:
v v r v
= +
x r x x
v 1 v
= cos() sin()
r r
(4.31)
v v r v
= +
y r y y
v 1 v
= sin() + cos()
r r
u v
Da equao de Cauchy-Riemann = , usando as equaes
x y
eqn 4.30.1 e eqn 4.31.2 temos:

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

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

eqn 4.33 por sin() e somando temos:
u 1 v
=0 (4.34)
r r
Fazendo o produto da equao eqn 4.32 por sin() e da equao
eqn 4.33 por cos() e subtraindo temos:
v 1 u
+ =0 (4.35)
r r
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 7 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(cos() + sin())) = cos() +
r
sin() temos:
u v
f 0 (r(cos() + sin())).(cos() + sin()) = () + (r, )
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:

u v
f 0 (z) = (cos() + sin()). (r, ) + (r, ) (4.37)
r r
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:
u v
f 0 (r(cos()+sin())).(r( sin()+cos())) = (r, )+ (r, )

60
Levando em conta que

1

= temos: r( sin() + cos()) =
4
r(cos() + sin()). e a equao acima pode ser reescrita como:
u v
f 0 (r(cos() + sin())).(r(cos() + sin())) = (r, ) + (r, )

1
Fazendo o produto da equao acima por (cos() sin()) e
r
lembrando que (cos() + sin()).(cos() sin()) = 1 e cos()
sin() = cos() + sin() temos:

0 1 u v
f (z) = (cos() + sin()). () + (r, ) (4.38)
r
4.4 Funes Harmnicas
Nesta seo veremos que as componentes de uma funo complexa

holomorfa so funes harmnicas. Comeando pela definio
Definio 4.4. Seja u : D R2 7 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:
2u 2u
+ 2 =0 (4.39)
x2 y
OBS 4.6. A equao eqn 4.39 conhecida com equao de Laplace
no plano.
Seja f : D C 7 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 v
=
x y (4.40)
u v
=
y x
61
Da, derivando eqn 4.40.1 com relao a x e eqn 4.40.2 com

relao a y temos:
2u 2v
=
x2 xy (4.41)
2u 2v
2
=
y yx
Levando em conta que as derivadas parciais de u(, ) e v(, ) so

2v 2v
contnuas temos que = . Da, somando as equaes
xy yx
eqn 4.41.1 e eqn 4.41.2 temos:
2u 2u
+ 2 =0 (4.42)
x2 y
Do mesmo modo podemos mostrar que:
2v 2v
+ =0 (4.43)
x2 y 2
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
y duas vezes temos:
u
4
= 2(1 y)
x
2
u
=0
x2 (4.44)
u
= 2x
y
2u
=0
y 2
Somando as equaes eqn 4.44.2 e eqn 4.44.4 temos:
2u 2u
+ 2 =0
x2 y
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 v
=
x y (4.45)
u v
=
y x
Das equaes eqn 4.45.1 e eqn 4.44.1 e integrando temos:
v
= 2(1 y)
y
Z
v(x, y) = 2(1 y)dy (4.46)
= 2y y 2 + h(x)
onde h(x) uma funo a ser determinada.

Derivando a equao eqn 4.46.3 com relao a x temos:
v
= h0 (x) (4.47)
x
Substituindo as equaes eqn 4.47 e eqn 4.44.3 em eqn 4.45.2
63
e integrando temos:
h0 (x) = 2x
Z
h(x) = 2xdx (4.48)
= x2
Substituindo a equao eqn 4.48.3 em eqn 4.46.3 temos:
v(x, y) = 2y + x2 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 + x2 y 2 ) (4.50)
Fazendo em eqn 4.49 y = 0 temos:
f (x + 0) = f (x) = 2x + x2
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
Definio de Funo Holomorfa em um ponto. 4
DEFINIO: Sejam D C aberto, f : D C 7 C uma funo
e z0 D. Dizemos que f () holomorfa em z0 D se,somente se
existe > 0 tal que f 0 (z) existe para todo z B (z0 ).
Definio de funo holomorfa.
DEFINIO: Sejam D C aberto e f : D C 7 C uma
funo. Dizemos que f () holomorfa em D se,somente se f 0 (z)
existe para todo z D.
Definio de funo inteira.
DEFINIO: Seja f : C 7 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 1 v
=
r r (4.51)
v 1 u
=
r r
Derivao de Funes Complexas na Forma Polar
Derivao com relao a r:

0 u v
f (z) = (cos() + sin()). (r, ) + (r, )
r r
Derivao com relao a :

0 1 u v
f (z) = (cos() + sin()). () + (r, )
r
PRXIMA AULA
Em nossa prxima aula vamos comear o estudo da extenso

da definio 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 3x2 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 7 C dada por f (z) = an z n + an1 z n1 +

+ a1 + a0 , onde an , an1 , . . . , a1 , a0 C. Mostre que f () uma
funo holomorfa
Comentrio: Use o fato de que f (z) = z n , n N uma funo

holomorfa.

66
FERNANDEZ, Ceclia S. e BERNARDES Jr, Nilson C. Introduo 4
67
AULA
Funes Elementares
do Clculo Complexos 1 5
META:
Definir algumas funes elementares no campo dos complexos.
OBJETIVOS:
Definir 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 definies 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) = ex
para todo real x. Com isto em mente vamos definio.
Definio 5.1. Para todo z C a funo exponencial calculada

no ponto z = x + y, denotada exp(z) definida por:
def
exp(z) = ex (cos(y) + sin(y)) (5.52)
OBS 5.1. Claramente a definio acima concorda com o que es-

peramos inicialmente da funo exponencial pois,
def
exp(x + 0) = ex (cos(0) + sin(0)) = ex .
As partes real e imaginria da funo exponencial so:
u(x, y) = ex cos(y)
(5.53)
v(x, y) = ex sin(y)
Da, derivando eqn 6.64.1 e eqn 6.64.2 com relao a x e com
70
relao a y temos:
u
5
= ex cos(y)
x
u
= ex sin(y)
y (5.54)
v
= ex sin(y)
x
v
= ex cos(y)
y
Das equaes eqn 6.65 podemos verificar facilmente que:
u v
=
x y (5.55)
u v
=
y x
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 ex esta definida x R e cos(y) e sin(y) es-

to definidas y R temos que exp(z) est definida z C i.e.
Dom(exp) = C.
Por outro lado, como Img(ex cos(y)) = R e Img(ex sin(y)) = R
poderamos pensar que a imagem da funo exponencial seria todo
o plano complexo. Porm, como ex > 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) 6= 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
Figura 5.1: Domnio da funo exponencial
exponencial que valem apenas no campo dos complexos (a exem-

plo da periodicidade).
z1 , z2 C, exp(z1 + z2 ) = exp(z1 ) exp(z2 )
1
z C, exp(z) =
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 definio da funo exponencial faixa
Dom(exp(z)) = R [, +) (ver figura 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
Demonstrao da Primeira Propriedade: Sejam z1 , z2 C 5
dados por: z1 = x1 + y1 e z2 = x2 + y2 . Da, temos:
exp(z1 ) exp(z2 ) = ex1 (cos(y1 ) + sin(y1 ))ex2 (cos(y2 ) + sin(y2 ))
= ex1 +x2 (cos(y1 ) cos(y2 ) + sin(y1 ) cos(y2 )
+ sin(y2 ) cos(y1 ) sin(y1 ) sin(y2 ))
= ex1 +x2 (cos(y1 ) cos(y2 ) sin(y1 ) sin(y2 )
+ (sin(y1 ) cos(y2 ) + sin(y2 ) cos(y1 )))
= ex1 +x2 (cos(y1 + y2 ) + sin(y1 + y2 ))
= exp(z1 + z2 )
OBS 5.4. Para um z C puramente real z = x + 0 temos:
exp(z) = exp(x + 0) = ex (cos(0) + sin(0)) = ex
Como potncia de base e as propriedades da funo exponencial

no entram em conflito com as propriedades usuais das potncias.
E para um z C puramente imaginrio z = 0 + y temos:
exp(z) = exp(0 + y) = e0 (cos(y) + sin(y)) = cos(y) + sin(y)
Desta forma podemos introduzir a notao devida a Eler:
exp(y) = ey = 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 = ea+
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:

exp0 (z) = exp(x + y)
x
x
= (e cos() + ex sin())
x
= ex cos() + ex sin() (5.56)
= exp(x + y)
= exp(z)
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. exp0 (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 definir 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.
Definio 5.2. Definimos a funo logaritmo em um ponto z

C, z = re , r [0, ) e [, +), por:
def
log(z) = ln(r) + ( + 2k), k Z (5.57)
A funo logaritmo assim definida uma funo multiforme com

infinitos valores associados a cada ponto z C. Cada valor de k
74
Z corresponde a um ramo da funo logaritmo. O ramo principal 5
corresponde a k = 0 i.e.
def
log(z) = 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.
z1 , z2 C , log(z1 .z2 ) = log(z1 ) + log(z2 )

z1
z1 , z2 C , log = log(z1 ) log(z2 )
z2
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 z1 , z2 C
dados por: z1 = r1 e1 e z2 = r2 e2 . Da, temos:
log(z1 .z2 ) = log(r1 e1 .r2 e2 )
= log(r1 r2 e(1 +2 ) )
= ln(r1 r2 ) + (1 + 2 + 2k), k Z
= ln(r1 ) + ln(r2 ) + (1 + 2m) + (2 + 2n), m, n Z
= (ln(r1 ) + (1 + 2m)) + (ln(r2 ) + (2 + 2n)), m, n Z
= log(z1 ) + log(z2 )
75
OBS 5.7. Na demonstrao acima, a passagem do passo 3 para

o passo 4 justificada pois, para cada k Z podemos escrever
k = m + n de infinitas 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(ex .ey )
= ln(ex ) + (y + 2k), k Z
= x + y + 2k, k Z
= z + 2k, k Z
6= z
devido ao carter de funo multivalorada do logaritmo definido

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 1 v
=
r r
v 1 u
=
r r
76
para as equaes de Cauchy-Riemann e

5
0 u v
f (z) = (cos() + sin()). (r, ) + (r, )
r r

1 u v
= (cos() + sin()). () + (r, )
r
Para a derivada de f (). Pondo z = re podemos reescrever as

equaes acima como:

0 u v
f (z) = e . (r, ) + (r, )
r r

1 u v
= . () + (r, )
re
As partes real e imaginria da funo logaritmo so:
u(r, ) = ln(r)
(5.59)
v(r, ) = + 2k, k Z
Da, derivando eqn 6.70.1 e eqn 6.70.2 com relao a x e com

relao a y temos:
u 1
=
r r
u
=0
(5.60)
v
=0
r
v
=1

Das equaes eqn 6.71 podemos verificar facilmente que:
u(r, ) = ln(r)
(5.61)
v(r, ) = + 2k, k Z
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:

u v
ln0 (z) = e . (r, ) + (r, )
r r

=e . ln(r) + ( + 2k)
r r
1 (5.62)
= e
r
1
=
re
1
=
z
OBS 5.9. Vemos pois que a funo logaritmo no campo dos com-
plexos tem a mesma derivada que a funo logaritmo no campo
1
dos reais i.e. ln0 (z) = .
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
Definimos a funo exponencial da seguinte forma:
Definio: Para todo z C a funo exponencial calculada no
ponto z = x + y, denotada exp(z) definida por:
def
exp(z) = ex (cos(y) + sin(y))
78
Algumas Propriedades da Funo Exponencial 5
A funo exponencial assim definida tem as seguintes propriedades:
z1 , z2 C, exp(z1 + z2 ) = exp(z1 ) exp(z2 )
1
z C, exp(z) =
exp(z)
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:
exp0 (z) = exp(z)
Funo Logaritmo
Definimos a funo logaritmo da seguinte forma:
Definio: Definimos a funo logaritmo em um ponto z C,
z = re , r [0, ) e [, +), por:
def
log(z) = ln(r) + ( + 2k), k Z
Algumas Propriedades da Funo Logaritmo

A funo logaritmo assim definida tem as seguintes propriedades:
z1 , z2 C , log(z1 .z2 ) = log(z1 ) + log(z2 )

z1
z1 , z2 C , log = log(z1 ) log(z2 )
z2
79
z C , exp(log(z)) = z
Derivada da Funo Logaritmo

A derivada da funo logaritmo log() no campo dos complexos
dada por:
1
log0 (z) =
z
PRXIMA AULA
Em nossa prxima aula vamos continuaremos o estudo da ex-

tenso da definio 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:
Comentrio: Use o princpio da induo.
ATIV. 5.2. Seja C e defina a funo:
def
z = exp( log(z)), z C
80
Mostre, que se tomarmos o ramo principal de log() a funo assim 5
definida holomorfa e sua derivada dada por:
d
z = z 1
dz
Comentrio: Use a regra da cadeia.

81
AULA
Funes Elementares
do Clculo Complexos 2 6
META:
Definir mais algumas funes elementares no campo dos complexos.
OBJETIVOS:
Definir 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 definies 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 definies das funes seno e cosseno pois,

serviram de base para definio 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()
(6.64)
e = cos() sin()
Subtraindo e adicionando as equaes eqn. 6.63 temos:

e e

sin() = e e

=
2 2 (6.65)
e e
cos() =

2
Desta forma natural estender a definio das funes seno e
cosseno no domnio dos complexos por:
Para a funo seno
84
Definio 6.1. Para todo z C, definimos a funo seno, calcu- 6
lada no ponto z, denotada sin(z) por:
def ez ez
sin(z) = (6.66)
2
Para a funo cosseno
Definio 6.2. Para todo z C, definimos a funo cosseno,

calculada no ponto z, denotada cos(z) por:
def ez + ez
cos(z) = (6.67)
2
As definies 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 definies. A saber:
Para a funo tangente:
Definio 6.3. Para todo z C a funo tangente calculada no

ponto z, denotada tan(z) definida por:
def sin(z)
tan(z) = (6.68)
cos(z)
Para a funo cotangente:
Definio 6.4. Para todo z C a funo cotangente calculada

no ponto z, denotada cot(z) definida por:
def cos(z)
cot(z) = (6.69)
sin(z)
Para a funo secante:
Definio 6.5. Para todo z C a funo secante calculada no

ponto z, denotada sec(z) definida por:
def 1
sec(z) = (6.70)
cos(z)
85
Para a funo cosecante:
Definio 6.6. Para todo z C a funo cosecante calculada no

ponto z, denotada csc(z) definida por:
def 1
csc(z) = (6.71)
sin(z)
Alternativamente, a exemplo das funes seno e cosseno, podemos

definir as funes tangente, cotangente, secante e cosecante usando
a funo exponencial. A saber:
ez ez
tan(z) =
ez + ez
ez + ez
cot(z) = z
e ez (6.72)
2
sec(z) = z
e + ez
2
csc(z) = z
e ez
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, cos2 (z) + sin2 (z) = 1
ii) z C, sec2 (z) tan2 (z) = 1
iii) z C, cot2 (z) csc2 (z) = 1
iv) z C, sin(z) = sin(z)
v) z C, cos(z) = cos(z)
vi) z C, tan(z) = tan(z)
86
vii) z, w C, cos(z + w) = cos(z) cos(w) sin(z) sin(w) 6
viii) z, w C, sin(z + w) = sin(z) cos(w) + cos(z) sin(w)
tan(z) + tan(w)
ix) z, w C, tan(z + w) =
1 + tan(z) tan(w)

1 sin(2z)
x) z C, cos2 (z) = 1+
2 2

2 1 sin(2z)
xi) z C, sin (z) = 1
2 2
Demonstraremos aqui que: z, w C, cos(z +w) = cos(z) cos(w)

sin(z) sin(w).
Demonstrao:
Das definies das funes sin() e cos() temos:
e(z+w) + e(z+w)
cos(z + w) =
2
ez + ez
cos(z) =
2
ew + ew (6.73)
cos(w) =
2
ez ez
sin(z) =
2
ew ew
sin(z) =
2
Fazendo o produto das equaes eqn 6.73.2 e eqn 6.73.3 temos:
ez + ez ew + ew
cos(z) cos(w) =
2 2
(e + e )(e + ew )

z z

w
=
4 (6.74)
e e + e ew + ez ew + ez ew
z w z
=
4
e(z+w)
+e (wz)
+ e(zw) + e(z+w)
=
4
87
Fazendo o produto das equaes eqn 6.73.4 e eqn 6.73.5 temos:
ez ez ew ew
sin(z) sin(w) = 2
2 2
(ez ez )(ew ew )
=
4 (6.75)
e e e ew ez ew + ez ew
w
z z
=
4
e (z+w)
+e (wz)
+ e(zw) e(z+w)
=
4
Subtraindo as equaes eqn 6.74 e eqn 6.75 temos:
2e(z+w) + 2e(z+w)
cos(z) cos(w) sin(z) sin(w) =
4 (6.76)
e
(z+w) + e(z+w)
=
2
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 definio das funes trigonomtricas. Aqui faremos a
deduo de uma delas. A saber:
1
i) sin1 (z) = log(z + 1 z 2 )

1
ii) cos1 (z) = log(z + z 2 1)

1 1 1 + z
iii) tan (z) = log
2 1 z

1 1 z +
iv) cot (z) = log
2 z
!
1 z + 1 z 2
v) sec1 (z) = log
z
88
1
vi) csc1 (z) = log

z+

z2 1
z
!
6
1
Demonstraremos aqui que: sin1 (z) = log(z + 1 z 2 ).

Demonstrao:
Da definio de funo inversa temos:
sin(w) = z w = sin1 (z)
Da definio da funo sin(w) temos:

ew ew
sin(w) = =z (6.78)
2
por outro lado, fazendo na equao eqn 6.78 = ew temos:
1
=z
2 (6.79)
1
= 2z
Fazendo o produto da equao eqn 6.79 por temos:
2 1 = 2z
(6.80)
2 2z 1 = 0
Resolvendo a equao do segundo grau eqn 6.80 para temos:

p
= z + 1 z2 (6.81)

Onde sabemos que 1 z 2 uma funo multivalorada. Por outro
lado, como = ew da equao eqn 6.81 temos:
p
ew = z + 1 z2 (6.82)
Invertendo a funo exponencial em eqn 6.82, levando em conta

que ew = e(w2k) e que w = sin1 (z) temos:
p
w = 2k + log(z + 1 z 2 )
(6.83)
1 p
sin1 (z) = 2k + log(z + 1 z 2 )

89
Vemos ento que a funo sin1 (z) tem infinitos valores porm,
escolhendo o ramo principal onde sin1 (0) = 0 temos k = 0 e da
equao eqn 6.83 podemos escrever:
1 p
sin1 (z) = log(z + 1 z 2 )

6.5 Derivada das Funes Trigonomtricas
As funes trigonomtricas estendidas ao campo dos complexos

tm as seguintes derivadas:
i) cos0 (z) = sin(z)
ii) sin0 (z) = cos(z)
iii) tan0 (z) = sec2 (z)
iv) cot0 (z) = csc2 (z)
v) sec0 (z) = sec(z) tan(z)
vi) csc0 (z) = csc(z) cot(z)
Faremos a demonstrao apenas de um tem acima. A saber:

Derivada da Funo Seno: sin0 (z) = cos(z).
PROVA: Usando a definio da funo seno sin(), a definio
da funo coseno cos(), a derivada da funo exponencial exp()
e a regra da cadeia temos:
d ez ez
sin0 (z) =
dz 2
ez + ez
=
2 (6.84)
ez + ez
=
2
= cos(z)
90
6.6 Funes Hiperblicas 6
Comearemos pelas definies das funes seno hiperblico e cosseno
hiperblico pois, serviram de base para definio das demais funes
hiperblicas. Como no campo dos nmeros reais as funes seno
hiperblico e cosseno hiperblico so definidas partir da funo
exponencial, sua extenso ao campo dos nmeros complexo utiliza
a mesma forma. A saber:
Para a funo seno hiperblico.
Definio 6.7. Para todo z C, definimos a funo seno hiper-

blico, calculada no ponto z, denotada sinh(z) por:
def ez ez
sinh(z) = (6.85)
2
Para a funo cosseno hiperblico.
Definio 6.8. Para todo z C, definimos a funo cosseno hiper-

blico, calculada no ponto z, denotada cosh(z) por:
def ez + ez
cosh(z) = (6.86)
2
As definies 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 definies. A saber:
Para a funo tangente hiperblica:
Definio 6.9. Para todo z C a funo tangente calculada no

ponto z, denotada tanh(z) definida por:
def sinh(z)
tanh(z) = (6.87)
cosh(z)
91
Para a funo cotangente hiperblica:
Definio 6.10. Para todo z C a funo cotangente hiperblica

calculada no ponto z, denotada coth(z) definida por:
def cosh(z)
coth(z) = (6.88)
sinh(z)
Para a funo secante hiperblica:
Definio 6.11. Para todo z C a funo secante hiperblica

calculada no ponto z, denotada sech (z) definida por:
def 1
sech (z) = (6.89)
cosh(z)
Para a funo cosecante hiperblica:
Definio 6.12. Para todo z C a funo cosecante hiperblica

calculada no ponto z, denotada csch (z) definida por:
def 1
csch (z) = (6.90)
sinh(z)
Alternativamente, a exemplo das funes seno hiperblico e cosseno

hiperblico, podemos definir as funes tangente hiperblica, cotan-
gente hiperblica, secante hiperblica e cosecante hiperblica us-
ando a funo exponencial. A saber:
ez ez
tan(z) =
ez + ez
ez + ez
cot(z) = z
e ez (6.91)
2
sec(z) = z
e + ez
2
csc(z) = z
e ez
92
6.7 Propriedades das Funes Hiperblicas 6
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, cosh2 (z) sinh2 (z) = 1
ii) z C, sech 2 (z) + tanh2 (z) = 1
iii) z C, coth2 (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)

tanh(z) + tanh(w)
ix) z, w C, tanh(z + w) =
1 + tanh(z) tanh(w)
Demonstraremos aqui que: z C, sech 2 (z) + tanh2 (z) = 1.
Demonstrao:
Das definies das funes sinh() e cosh() temos:
ez + ez
cosh(z) =
2 (6.92)
ez ez
sinh(z) =
2
Elevando ao quadrado as equaes eqn 6.92.1 e eqn 6.92.2 e
levando-se em conta que ez ez = ezz = e0 = 1 temos:
e2z + 2ez ez + e2z e2z + 2 + e2z
cosh2 (z) = =
4 4 (6.93)
2z
e 2e ez 2z +e z e 2 + e2z
2z
sinh(z)2 = =
4 4
93
Subtraindo as equaes eqn 6.93.1 e eqn 6.93.2
e2z + 2 + e2z e2z 2 + e2z

cosh2 (z) sinh(z)2 =
4 4
e2z + 2 + e2z e2z + 2 e2z
=
4 (6.94)
4
=
4
=1
Dividindo a equao eqn 6.94 por cosh2 (z) temos:
cosh2 (z) sinh(z)2 1

2 =
cosh (z) cosh2 (z)
cosh2 (z) sinh(z)2 1
2 2 = (6.95)
cosh (z) cosh (z) cosh2 (z)
sinh(z)2 1
1 =
cosh2 (z) cosh2 (z)
Levando-se em conta a equao eqn 6.95 e as definies das
funes tanh() e sech () temos:
1 tanh2 (z) = sech 2 (z) (6.96)
Que pode ser rearrumada para:
sech 2 (z) + tanh2 (z) = 1 (6.97)
6.8 Funes Hiperblicas Inversas
As funes hiperblicas inversas podem ser deduzidas das expresses

de definio das funes hiperblicas. Aqui faremos a deduo de
uma delas. A saber:

i) sinh1 (z) = log(z + 1 + z2)

ii) cosh1 (z) = log(z + z 2 1)
94
iii) tanh 1 1
(z) = log
2

1+z
1z

6

1 1 z+1
iv) coth (z) = log
2 z1
!
z + 1 z2
v) sech 1 (z) = log
z
!
z+ z2 1
vi) csch 1 (z) = log
z

1 1 1+z
Demonstraremos aqui que: tanh (z) = log .
2 1z
Demonstrao:
Da definio de funo inversa temos:
tanh(w) = z w = tanh1 (z)
Da definio da funo tanh(w) temos:
ew ew
tanh(w) = =z (6.98)
ew + ew
por outro lado, fazendo na equao eqn 6.98 = ew temos:
1
=z
+ 1 (6.99)
1 1
= ( + )z
Fazendo o produto do numerador e do denominador da frao da

equao eqn 6.99 por e rearrumando temos:
2 1 = ( 2 + 1)z
(6.100)
2
(1 z) = 1 + z = 0
Resolvendo a equao do segundo grau eqn 6.100 para temos:

r
1+z
= (6.101)
1z
95
r
1+z
Onde sabemos que uma funo multivalorada. Por outro
1z
lado, como = ew equao eqn 6.101 temos:
r
w 1+z
e = (6.102)
1z
Invertendo a funo exponencial, levando em conta que ew =

ew2k e que w = tanh1 (z) da equao eqn 6.102 temos:
r !
1+z
w = 2k + ln
1z
r ! (6.103)
1 + z
tanh1 (z) = 2k + ln
1z
Vemos ento que a funo tanh1 (z) tem infinitos valores porm,
escolhendo o ramo principal onde tanh1 (0) = 0 temos k = 0 e
usando propriedade da funo logaritmo e na equao eqn 6.103
podemos escrever:

1 1 1+z
tanh (z) = log
2 1z
6.9 Derivada das Funes Hiperblicas
As funes hiperblicas estendidas ao campo dos complexos tm

as seguintes derivadas:
i) cosh0 (z) = sinh(z)
ii) sinh0 (z) = cosh(z)
iii) tanh0 (z) = sech 2 (z)
iv) coth0 (z) = csc2 (z)
v) sech 0 (z) = sech (z) tanh(z)
96
vi) csch 0 (z) = csch (z) coth(z) 6
Faremos a demonstrao apenas de um tem acima. A saber:
Derivada da Funo Coseno: cosh0 (z) = sinh(z).
PROVA: Usando a definio da funo coseno hiperblico cosh(),
a definio da funo seno hiperblico sinh(), a derivada da funo
exponencial exp() e a regra da cadeia temos:
d ez + ez
cosh0 (z) =
dz 2
ez ez
=
2 (6.104)
ez ez
=
2
= sinh(z)
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 definidas por:
def ez ez
sin(z) =
z
2z
def e + e
cos(z) =
2
def sin(z) ez ez
tan(z) = = = z
cos(z) e + ez
def cos(z) e + ez

z
cot(z) = = z
sin(z) e ez
def 1 2
sec(z) = =
cos(z) e + ez

z
def 1 2
csc(z) = = z
sin(z) e ez
Propriedades das Funes Trigonomtricas
Algumas propriedades das funes trigonomtricas:
z C, cos2 (z) + sin2 (z) = 1
z C, sec2 (z) tan2 (z) = 1
z C, cot2 (z) csc2 (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
z, w C, sin(z + w) = sin(z) cos(w) + cos(z) sin(w) 6
tan(z) + tan(w)
z, w C, tan(z + w) =
1 + tan(z) tan(w)

2 1 sin(2z)
z C, cos (z) = 1+
2 2

2 1 sin(2z)
z C, sin (z) = 1
2 2
Funes Hiperblicas
As funes hiperblicas so definidas por:
def ez ez
sinh(z) =
z
2 z
def e + e
cosh(z) =
2
def sinh(z) ez ez
tanh(z) = = = z
cosh(z) e + ez
def cosh(z) e + ez
z
coth(z) = = z
sinh(z) e ez
def 1 2
sech (z) = =
cosh(z) e + ez
z
def 1 2
csch (z) = = z
sinh(z) e ez
Propriedades das Funes Hiperblicas
Algumas propriedades das funes hiperblicas:
z C, cosh2 (z) sinh2 (z) = 1
z C, sech 2 (z) + tanh2 (z) = 1
z C, coth2 (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)
tanh(z) + tanh(w)
z, w C, tanh(z + w) =
1 + tanh(z) tanh(w)
Funes Trigonomtricas Inversas

As funes trigonomtricas inversas definidas por:
1
sin1 (z) = log(z + 1 z 2 )

1
cos1 (z) = log(z + z 2 1)

1 1 1 + z
tan (z) = log
2 1 z

1 1 z +
cot (z) = log
2 z
!
1 1 z + 1 z2
sec (z) = log
z
!
1 z+ z2 1
csc1 (z) = log
z
Funes Hiperblicas Inversas As funes hiperblicas inver-

sas so definidas por:

sinh1 (z) = log(z + 1 + z2)

cosh1 (z) = log(z + z 2 1)

1 1 1+z
tanh (z) = log
2 1z

1 1 z+1
coth (z) = log
2 z1
100
sech 1 (z) = log

z+

1 z2
z
!
6
!
z+ z2 1
csch 1 (z) = log
z
PRXIMA AULA
Em nossa prxima aula veremos integrao complexa. Definire-

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.

1 z +
ATIV. 6.2. Mostre que cot1 (z)
= log .
2 z
Comentrio: Volte ao texto e reveja com calma e ateno as
demonstraes acima, elas lhe serviro de guia.

101

102
AULA
Integrao Complexa
7
META:
Introduzir o conceito de integrao de funes de variveis com-
plexas.
OBJETIVOS:
Definir 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 definir 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
figura 7.1).
Subdividimos C em n partes atravs dos pontos z0 , z1 , . . . , zn .
zn
n1
C zn1
1 1
z2
z0 z1
Figura 7.1: Integral de Linha x
Para cada arco de curva ligando zk1 a zk tomamos um ponto

arbitrrio k e fazemos a soma:
Sn = f (1 )(z1 z0 ) + f (2 )(z2 z1 ) + + f (n )(zn zn1 )

n
X
= f (k )(zk zk1 )
k=1
(7.105)
104
Fazendo zk = zk zk1 podemos reescrever a equao eqn 7.105 7
como:
Sn = f (1 )z1 + f (2 )z2 + + f (n )zn

n
X (7.106)
= f (k )zk
k=1
Fazendo o nmero de pontos da partio n tender ao infinito, em

eqn 7.106 de modo que o comprimento da maior corda |zk | tenda
a zero, o soma Sn tende a um limite que independe da subdiviso
de C. A esse limite chamamos de integral de f () ao longo de C e
denotamos:
Z
f (z)dz (7.107)
C
OBS 7.1. A integral acima definida 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 definir a integral de
linha real por:
Z
(Q(x, y)dx + P (x, y)dy) (7.108)
C
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:
Z b
(Q(x(t), y(t))x0 (t) + P (x(t), y(t))y 0 (t))dt (7.109)
a
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:
Z Z
f (z)dz = (u(x, y) + v(x, y)).(dx + dy)
C ZC
= (u(x, y)dx v(x, y)dy) (7.110)
ZC
+ (v(x, y)dx + u(x, y)dy)
C
OBS 7.3. Podemos tambm, considerar eqn 7.110 como a definio

oficial da integral de linha complexa.
Para ilustrar veremos um exemplo de integral de linha complexa.
Exemplo 7.1. Sejam f : C 7 C dada por f (z) = z = x + y e

C o crculo de centro em z0 = a + b e raio r (ver figura 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 z0 = 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
y 7
b z0
r
a x
Figura 7.2: Exemplo 7.1
em eqn 7.110. A sabe:
Z
= (u(x, y)dx v(x, y)dy)
ZC
= (xdx ydy)
C
Z 2
= ((a + r cos(t).(r sin(t) (b + r sin(t)).r cos(t))dt
0
Z 2
= (ar sin(t) br cos(t) 2r2 sin(t) cos(t))dt
0
sin2 (t) 2
= (ar cos(t) br sin(t) 2r2 )
2 0
=0
(7.111)
107
Integrao Complexa
Para a segunda integral:

Z
= (u(x, y)dy + v(x, y)dx)
ZC
= (xdy + ydx)
C
Z 2
= ((a + r cos(t).r cos(t) + (b + r sin(t)).(r sin(t)))dt
0
Z 2
= (ar cos(t) br sin(t) r2 (cos2 (t) sin2 (t))dt
0
sin(2t) 2
= (ar sin(t) + br cos(t) r2 )
2 0
=0
(7.112)
Portanto, de eqn 7.110, eqn 7.111 e eqn 7.112 temos:

Z
f (z)dz = 0
C
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 7 C duas

funes complexas integrveis sobre a curva lisa C D, ento:
Z Z Z
i) (f + g)(z)dz = f (z)dz + g(z)dz.
C C C
Z Z
ii) f (z)dz = f (z)dz, C.
C C
Z b Z a
iii) f (z)dz = f (z)dz, a, b C.
a b
Z b Z c Z b
iv) f (z)dz = f (z)dz + f (z)dz, a, b, c C.
a a c
Z

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

C
mento de C.
108
7.5 Integral Indefinida 7
Vermos agora, que podemos estender o conceito de integral in-
definida para funes complexas.
Definio 7.1. Sejam D C um aberto e f, F : D C 7 C

duas funes complexas tais que F 0 (z) = f (z). Dizemos que F (z)
a integral indefinida de f (z) e denotamos:
Z
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 indefinida complexa
segue o mesmo padro que a real.
RESUMO
Integrao Complexa
Sejam D C um aberto de C, f : D C 7 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:
Z Z
f (z)dz = (u(x, y) + v(x, y)).(dx + dy)
C ZC
= (u(x, y)dx v(x, y)dy)
ZC
+ (v(x, y)dx + u(x, y)dy)
C
109
Integrao Complexa
Algumas Propriedades da Integral de Linha

Sejam D C um aberto f, g : D C 7 C duas funes complexas
integrveis sobre a curva lisa C D, ento:
Z Z Z
i) (f + g)(z)dz = f (z)dz + g(z)dz.
C C C
Z Z
ii) f (z)dz = f (z)dz, C.
C C
Z b Z a
iii) f (z)dz = f (z)dz, a, b C.
a b
Z b Z c Z b
iv) f (z)dz = f (z)dz + f (z)dz, a, b, c C.
a a c
Z

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

C
mento de C.
Integral Indefinida
A integral indefinida complexa definida do mesmo modo que
integral indefinida real. A saber:
Sejam D C um aberto e f, F : D C 7 C duas funes
complexas tais que F 0 (z) = f (z). Dizemos que F (z) a integral
indefinida de f (z) e denotamos:
Z
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
y
4
7
2 x
Figura 7.3: Atividade 1
ATIVIDADES
ATIV. 7.1. Sejam f : C 7 C dada por f (z) = z 3 e C a curva

suave por partes dada pela figura 7.3 onde a parte parablica
Z
dada por y + x2 . Determine a integral de linha f (z)dz.
C

exemplo e na parametrizao procure fazer x(t) = t.
ATIV. 7.2. Sejam f : C 7 C dada por f (z) = z e C o crculo

de centro em z0 = a + b e raio r (ver figura 7.2 ). Calcule:
Z
f (z)dz.
C
exemplo, ela lhe servir de guia.
111
Integrao Complexa

112
AULA
Teoremas de Cauchy
8
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 definio de domnio simplesmente

conexo e enunciaremos, sem demonstrao, o teorema de Green no
plano (funes reais).
BIOGRAFIA
Definio 8.1. Seja D C dizemos que D um domnio sim-
George Green nasceu
em Sneinton, condado plesmente conexo se, somente se toda curva fechada inteiramente
de Nottinghamshire 14
de Julho de 1793 e mor- contida em D puder ser deformada at um ponto em curvas in-
reu em Nottingham,
31 de Maio de 1841, teiramente contidas em D.
foi um matemtico e
fsico ingls. Na sua E agora, sem demonstrao (para uma demonstrao veja o Livro
obra Essay on the
Application of Mathe- de Clculo III), o teorema de Green no plano.
matical Analysis to the
Theory of Electricity
and Magnetism (1828) Teorema 8.1 (Teorema de Green no Plano). Sejam D R2 um
introduziu a noo de
funo potencial no
domnio e f : D R2 7 R2 uma aplicao suave. Seja V D
estudo dos campos satisfazendo:
magnticos. O teorema
de Green, que demon-
strou em 1828 facilitou 1. V fechado e limitado.
bastante o estudo das
funes. Wikipedia
2. a fronteira V constituda de um nmero finito de curvas
de Jordan suaves por partes
3. V V um domnio.
114
Supondo que V e V tem orientao compatvel. Se f (x, y) = 8
(u(x, y), v(x, y)) ento:
Z Z Z
v u
(udx + vdy) = dxdy
V V dx dy
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
Teorema 8.2 (Teorema de Cauchy). Sejam D C um aberto de
Augustin-Louis
C, f : D C 7 C uma funo complexa contnua e C D uma Cauchy nasceu em
Paris, Frana 21 de
curva suave contida em D (ver figura 8.1). Se f (z) holomorfa agosto de 1789 e mor-
reu em Sceaux, Frana
em D e tem derivada f 0 (z) contnua em D ento: 23 de maio de 1857,
I foi um matemtico
frances, pioneiro no es-
f (z)dz = 0 tudo da anlise, tanto
C
real e quanto com-
PROVA: plexa, e em teoria de
grupos de permutao.
Ele tambm pesquisou
em convergncia e
divergncia de sries
infinitas, equaes
diferenciais, determi-
nantes, probabilidade
e fsica matemtica.
Wikipedia
Figura 8.1: Teorema de Cauchy
Da definio da integral de linha complexa temos:

I I
f (z)dz = (u + v)(dx + dy)
C IC I (8.113)
= (udx vdy) + (vdx + udy)
C C
115
Teoremas de Cauchy
Como f (z) = u(x, y) + v(x, y) holomorfa em D e tem derivada

f 0 (z) contnua em D temos:
u v v u
f 0 (z) = + =
x x y y
u u v v
,
Portanto, as derivadas parciais , e so contnuas em
x y x y
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.
I Z Z
v u
f (z)dz = dxdy
C R x y
Z Z (8.114)
u v
+ dxdy
R x y
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 u v
=
douard Jean-Baptiste x y (8.115)
Goursat nasceu em u v
=
Lanzac, Frana, 21 de y x
maio de 1858 e morreu
em Paris, Frana, 25 de Logo, substituindo eqn 8.115 em eqn 8.114 temos:
novembro de 1936, foi I
um matemtico francs f (z)dz = 0
mais conhecido por sua C
verso do teorema de
Cauchy-Goursat afir- Nosso prximo passo demonstrar uma verso mais forte do teo-
mando que a integral
rema, retirando a necessidade da continuidade da derivada f 0 (z)
de uma funo em
torno de um contorno em D.
simples fechado zero
se a funo analtica
dentro do contorno. Teorema 8.3 (Teorema de Cauchy-Goursat). Sejam D C um
Mac Tutor
aberto de C, f : D C 7 C uma funo complexa contnua e
C D uma curva suave contida em D (ver figura 8.1). Se f (z)
holomorfa em D ento:
I
f (z)dz = 0
C
116
A prova do teorema sera dividida em trs partes. 8
Prova do Teorema de Cauchy-Goursat para o Caso de um
Tringulo
Tomando un tringulo arbitrrio , ligando os pontos A, B e C
ver figura 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:
I Z Z Z
f (z)dz = f (z)dz + f (z)dz + f (z)dz (8.116)
DAE EBF F CD
E D
2 3
B C
F
Figura 8.2: Teorema de Cauchy-Goursat no Tringulo
Levando em conta, das propriedades da integral de linha complexa,

Z Z Z Z Z Z
que = , = e = podemos rees-
ED DE FE EF DF FD
crever eqn 8.116 como:
I Z Z Z Z
f (z)dz = + + +
C DAE ED EBF FE
Z Z Z Z Z
+ + + + + (8.117)
F CD DF DE EF FD
Z Z Z Z
= + + +
DAED EDF E F CDF DEF D
117
Teoremas de Cauchy
onde omitimos os integrandos por questo de economia.

A equao eqn 8.117 pode ser reescrita como:
I I I
f (z)dz = f (z)dz + f (z)dz
C 1 2
I I (8.118)
+ f (z)dz + f (z)dz
3 4
Tomando o mdulo de eqn 8.118 e usando a desigualdade trian-

gular temos:
I I I
f (z)dz f (z)dz + f (z)dz

C 1 2
I I (8.119)
+ f (z)dz + f (z)dz

3 4
Sem perda de generalidade podemos tomar 1 como o tringulo

que contribui com o maior valor em eqn 8.119 e escrever:
I I
f (z)dz 4 f (z)dz (8.120)

C 1
Podemos repetir o processo, ligando os pontos mdios dos lados de

1 e obter:
I I
f (z)dz 4 f (z)dz (8.121)

1 2
onde, neste caso 2 o sub-tringulo de 1 com maior con-

tribuio.
Substituindo eqn 8.121 em eqn 8.120 temos:
I I
2
f (z)dz 4 f (z)dz

C 2
Aps n repetio desse processo temos:

I I
n
f (z)dz 4 f (z)dz (8.122)

C n
Por outro lado, , 1 , 2 , . . . , k , . . . uma seqncia de trin-

gulos encaixantes cada um contido no seu antecessor e portanto,
118
existe um ponto z0 que pertence a todos os tringulos da seqn- 8
cia. Como cada tringulo est contido em D e f (z) holomorfa
em D holomorfa em z0 . Logo,
f (z) = f 0 (z0 )(z z0 ) + (z z0 ) (8.123)
Como lim = 0, > 0, > 0 tal que z, |z z0 | < temos

zz0
|| < . Dai, integrando eqn 8.123 em n temos:
I I I
0
f (z)dz = f (z0 ) (z z0 )dz + (z z0 )dz (8.124)
n n n
Como z z0 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:
I I
f (z)dz = (z z0 )dz (8.125)
n n
z0
Figura 8.3:
Devido a proporcionalidade, se o permetro de L, o permetro

de n L/2n e se z um ponto qualquer sobre n (ver figura 8.3)
ento |z z0 | < L/2n < . Da, e da propriedade das integrais
R
de linha C f (z)dz M L onde |f (z)| M, z C e L o
comprimento de C, a equao eqn 8.125 passa a:
L2
I I
L L
f (z)dz = (z z0 )dz n n = n (8.126)
n n 2 2 4
119
Teoremas de Cauchy
I
f (z)dz L2 (8.127)

C
Como em eqn 8.127 pode ser tomado arbitrariamente pequeno,

conclumos que:
I
f (z)dz = 0
C
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 figura 8.4)
A B
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
opostos) temos:
I Z Z
8
f (z)dz = f (z)dz + f (z)dz
Z ABF A ZBCF B
+ f (z)dz + f (z)dz
CDF C DEF D
=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 z0 , z1 , z2 , . . . , zn ,
z0 = zn , sobre C e seja Pn o polgono formado ligando em seqncia
esses pontos (ver figura 8.5)
z2

z1
z0 = zn
zn1
Definindo a soma:
n
X
Sn = f (zk )zk (8.128)
k=1
onde zk = zk = zk1 .
Passando o limite n + em eqn 8.129 de modo que max |k |
121
Teoremas de Cauchy
0 vemos que >, N0 N tal que n > n0 temos:

I
f (z)dz Sn < (8.129)

2

C
Tomando a integral de linha no polgono fechado Pn (levando em

conta que no polgono fechado vale o teorema de Cauchy-Goursat)
temos:
I Z z1 Z zn
f (z)dz = 0 = f (z)dz + + f (z)dz
Pn z zn1
Z 0z1
= (f (z) f (z1 ) + f (z1 ))dz+
z0
Z zn
+ (f (z) f (zn ) + f (zn ))dz (8.130)
zn1
Z z1
= (f (z) f (z1 ))dz+
z0
Z zn
+ (f (z) f (zn ))dz + Sn
zn1
Portanto, de eqn 8.130 tiramos:

Z z1 Z zn
Sn = (f (z) f (z1 ))dz + + (f (z) f (zn ))dz (8.131)
z0 zn1
Tomando N0 suficientemente grande para que em cada lado de Pn ,

ligando z0 a z1 , z1 a z2 at zn1 a zn tenhamos:

|f (z1 ) f (z)| < , . . . , |f (zn ) f (z)| < (8.132)
2L 2L
onde L o permetro de Pn . Tomando o mdulo de eqn 8.131 e
usando a desigualdade triangular e eqn 8.132 e propriedades da
integral de linha temos:
Z z1 Z zn
|Sn | |f (z) f (z1 )|dz + + |f (z) f (zn )|dz
z0 zn1

(|z1 z0 | + + |zn zn1 |)
2L

2
(8.133)
122
Por outro lado fazendo:
I I
8
f (z)dz = f (z)dz Sn + Sn (8.134)
C C
Tomando o mdulo de eqn 8.134 e usando a desigualdade trian-

gular e eqn 8.129 temos:
I I
f (z)dz f (z)dz Sn + Sn

C C

< +
2 2
<
Como arbitrariamente pequeno temos, finalmente:

I
f (z)dz = 0
C
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 C1 e C2 e f : D C 7 C uma
funo holomorfa ento:
I I
f (z)dz = f (z)dz
C1 C2
onde ambas as curvas so orientadas positivamente no sentido

anti-horrio.
PROVA: Tomaremos o seguinte caminho (ver figura 8.6)

comeando no ponto A percorremos C1 no sentido positivo at re-
tornar ao ponto A seguimos pela reta AB no sentido de A para B
123
Teoremas de Cauchy
A C1
C2
at o ponto B em C2 percorremos C2 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:
I
f (z)dz = 0 (8.135)

Da equao eqn 8.135 temos:

I Z I Z
f (z)dz + f (z)dz f (z)dz + f (z)dz = 0 (8.136)
C1 AB C2 BA
Z Z
Como f (z)dz = f (z)dz da equao eqn 8.136 temos:
AB BA
I I
f (z)dz = f (z)dz
C1 C2
Teorema 8.5. Sejam D C um aberto, C D uma curva suave

e z0 D um ponto do interior de C ento:
I
1
dz = 2
C z z0
124
PROVA: 8
C
z0
Como z0 D e D C um aberto, podemos tomar um > 0 de

modo que o crculo de raio e centro em z0 esteja inteiramente
contido na regio limitada por C (ver figura 8.7). Da, aplicando
o teorema anterior regio entre C e temos:
I I
1 1
dz = dz (8.137)
C z z 0 z z0
onde ambas as curvas so orientadas no sentido positivo.

Podemos parametrizar o crculo pondo z = z0 + e t , t [0, 2).
Da, dz = e t dt e substituindo na equao eqn 8.137 temos:
I Z 2
1 1
dz = t
e t dt
C z z 0 0 e
Z 2
= dt (8.138)
0
= 2
Teorema 8.6 (Frmula Integral de Cauchy). Sejam D C um

aberto f : D C 7 C uma funo holomorfa em D, C D uma
curva suave e z0 um ponto interior da regio limitada por C ento:
I
1 f (z)
f (z0 ) = dz
2 C z z0
125
Teoremas de Cauchy
PROVA: Como z0 D e D C um aberto, podemos tomar

um > 0 de modo que o crculo de raio e centro em z0 esteja
inteiramente contido na regio limitada por C (ver figura 8.7).
Da, aplicando o teorema anterior regio entre C e temos:
I I
f (z) f (z)
dz = dz (8.139)
C z z0 z z0
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:
2
f (z0 + e t ) t
I Z
f (z)
dz = e dt
C z z0 0 e t
Z 2
(8.140)
t
= f (z0 + e )dt
0
Passando o limite 0 em eqn 8.140 e lembrando que f (z)

holomorfa e portanto contnua temos:
I Z 2
f (z)
dz = lim f (z0 + e t )dt
C z z0 0 0
Z 2
= lim f (z0 + e t )dt
0 0
Z 2
= f (lim (z0 + e t ))dt
0
0
Z 2 (8.141)
= f (z0 )dt
0
Z 2
= f (z0 ) dt
0
= 2f (z0 )
Logo:
I
1 f (z)
f (z0 ) = dz
2 C z z0
A seguir veremos mais um teorema. Diz respeito a derivao de
funes holomorfas.
126
Teorema 8.7 (Derivada de funes Holomorfas). Sejam D C 8
um aberto f : D C 7 C uma funo holomorfa em D, C D
uma curva suave e z0 um ponto interior da regio limitada por C
ento:
I
1 f (z)
f 0 (z0 ) = dz
2 C (z z0 )2
PROVA: Tomando z0 + no interior da regio limitada por C
podemos usar o teorema 8.6 e escrever:

f (z0 + ) f (z0 )
I
1 1 1 1
= f (z)dz
2 C z z0 z z0
I
1 f (z)
= dz
2 C (z z0 )(z z0 )
I
1 f (z)
= dz
2 C (z z0 )2
I
1 f (z)
+ dz
2 C (z z0 )(z z0 )2
(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 z0 ,
inteiramente contido na regio limitada por C (ver figura 8.7) e
temos:
I I
f (z) f (z)
dz = dz
C (z z0 )(z z0 )2 (z z0 )(z z0 )2
(8.143)
Tomando pequeno o bastante para que z0 + pertena a regio
limitada por e || < /2 e levando em conta que sobre , |zz0 | =
temos:
|z z0 | |z z0 | || > /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:
I f (z) 2M ||
dz (8.145)

(z z0 )(z z0 )2 (/2)(2 )

Portanto, o lado esquerdo de tende a zero quando 0 i.e.
I f (z)
lim dz =0

0 (z z0 )(z z0 )2

Logo:
I
f (z)
lim dz = 0 (8.146)
0 (z z0 )(z z0 )2
Passando o limite 0 em eqn 8.142 e eqn 8.143 e usando

f (z0 + ) f (z0 )
eqn 8.146 e levando em conta que f 0 (z0 ) = lim
0
temos:
I
0 1 f (z)
f (z0 ) = dz
2 C (z z0 )2
OBS 8.2. O resultado obtido equivale a:

I I
d 1 d f (z) 1 f (z)
f (w) = dz = dz
dw 2 dw C zw 2 C w zw
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:

I
(n) 1 f (z)
f (z0 ) = dz, n = 1, 2, . . .
2 C (z z0 )n+1
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
8.5 Concluso 8
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 7 C uma funo com-
plexa contnua e C D uma curva suave contida em D (ver figura
8.1). Se f (z) holomorfa em D e tem derivada f 0 (z) contnua em
D ento:
I
f (z)dz = 0
C
Teorema de Cauchy-Goursat
complexa contnua e C D uma curva suave contida em D (ver
figura 8.1). Se f (z) holomorfa em D ento:
I
f (z)dz = 0
C
Frmula Integral de Cauchy

Sejam D C um aberto f : D C 7 C uma funo holomorfa
em D, C D uma curva suave e z0 um ponto interior da regio
limitada por C ento:
I
1 f (z)
f (z0 ) = dz
2 C z z0
129
Teoremas de Cauchy
Derivada de funes Holomorfas

Sejam D C um aberto f : D C 7 C uma funo holomorfa
em D, C D uma curva suave e z0 um ponto interior da regio
limitada por C ento:
I
0 1 f (z)
f (z0 ) = dz
2 C (z z0 )2
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 7 C uma

funo complexa holomorfa, a, b D e C uma curva lisa tal que a
e b estam no seu interior. Mostre que:
I
1 f (z) f (a) f (b)
dz = +
2 C (z a)(z b) ab ba
Comentrio: Procure usar os teoremas de Cauchy e o mtodo

das fraes parciais.
I
z 2
ATIV. 8.2. Mostre que: dz = onde; C
C (4 z 2 )(z + i) 5
o crculo |z| = 2.
Comentrio: Use os teoremas de Cauchy e verifique quais z0 dos
130
fatores da forma z z0 do denominador do integrando pertencem 8
ao interior do crculo |z| = 2.

131
AULA
Convergncia de Sries
de Nmeros Complexos 9
META:
Apresentar o conceito de convergncia de sries de nmeros com-
plexos.
OBJETIVOS:
Definir 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 definio de seqncias de nmeros complexos.

A saber:
Definio 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 7 C.
O n-simo termo da seqncia ser denotado z(n) ou alternativa-

mente zn (que utilizaremos daqui para a frente). Uma seqncia
pode ser denotada alternativamente por {zn , n N} ou {zn } (que
utilizaremos daqui para a frente).
Exemplo 9.1. Como exemplos de seqncias temos:

1. {zn } onde z0 = 2 e zn = 2 + zn1 , n = 1, 2, 3, . . .
2. {zn } onde zn = n2 + 1, n = 0, 1, 2, . . .
Definio 9.2. Seja {zn } uma seqncia de nmeros complexos.

Dizemos que {zn } uma seqncia limitada se, somente se existe
K > 0 tal que zn BK (0), n N.
OBS 9.1. Uma seqncia limitada se todos os seus elementos

pertencem a alguma bola aberta.
134
Definio 9.3. Seja {zn } uma seqncia de nmeros complexos. 9
Dizemos que z C o limite de {zn }, denotado z = lim zn ,
n
se, somente se para todo > 0 existe n0 N tal que n n0 ,
zn B (z).
OBS 9.2. Se uma seqncia {zn } tem limite dizemos alternativa-

mente que ela converge. Por outro lado se {zn } 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 {zn } uma seqncias de nmeros complexos.

Se {zn } convergente ento {zn } limitada.
PROVA: Como {zn } convergente existe z C tal que z =

lim zn . Da, tomando = 1 existe n0 N tal que n n0 , zn
n
B1 (z).
Da, usando a desigualdade triangular, temos:
|zn z| < 1 |zn | < 1 + |z|. De outra forma: n n0 , zn
B1+|z| (0).
Teorema 9.2. Seja {zn } uma seqncias de nmeros complexos

tal que zn = xn + yn onde {xn } e {yn } so seqncias de nmeros
reais ento z = x + y = lim zn se, somente se x = lim xn e
n n
y = lim yn .
n
PROVA: A prova ser dividida em duas partes:

Parte 1: Se z = x + y = lim zn ento para todo > 0, existe
n
135
n0 N tal que:
n n0 , zn B (z), de outra forma: n n0 , |zn z| < .
p
por outro lado, como |xn x| (xn x)2 + (yn y)2 = |zn
z| < .
Da, temos: > 0, n0 N|n n0 , |xn x| < .
logo x = lim xn .
n
Do mesmo modo:
y = lim yn .
n
Parte 2: se x = lim xn e y = lim yn ento para todo > 0
n n
existe n1 , n2 N tal que:

n n1 , |xn x| < e n n2 , |yn y| < .
2 2
Tomando n0 = max{n1 , n2 } as desigualdades acima valem simul-
taneamente se n n0 i.e.

n n0 , |xn x| < |yn y| < .
2 2
Da, temos:

|zn z| |xn x| + |yn y| < + = Logo zn B (z).
2 2
Da, temos:
> 0, n0 N|n n0 , zn B (z).
logo z = lim zn .
n
Teorema 9.3. Sejam {zn } e {wn } duas seqncias de nmeros

complexos tais que z = lim zn e w = lim wn ento:
n n
i) lim azn = az, para todo a C

n
ii) lim (zn + wn ) = z + w

n
iii) lim (zn wn ) = z w

n
iv) lim (zn .wn ) = z.w

n
zn z
v) lim = , se w 6= 0
n wn w
136
PROVA: Provaremos apenas a iii) o restante ficar cargo dos 9
alunos.
Para todo > 0, existem n1 , n2 , n3 N e K > 0 tais que, da
definio de limite de seqncias e do teorema 9.1 :
n n1 , zn B/2|w| (z), n n1 , wn B/2K (z) e n n1 , zn
BK (z).
De outra forma:

n n1 , |zn z| < , n n1 , |wn z| < e n
2|w| 2K
n1 , |zn | < K.
Da, tomando n0 = max{n1 , n2 , n3 } teremos as trs desigualdades
acima simultaneamente satisfeitas e:
|zn wn zw| = |zn wn zn w + zn w zw|
|zn wn zn w| + |zn w zw|
|zn |.|wn w| + |w|.|zn z|
< K.|wn w| + |w|.|zn z|

< K. + |w|.
2K 2|w|
<
Da, temos:
n n0 , zn wn B (zw). Portanto:
lim (zn wn ) = zw.
n
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 {zn } uma seqncia de
137
nmero complexos ento {zn } convergente se, somente se, para

todo > 0, existe n0 N tal que:
m, n n0 |zm zn | <
9.4 Sries de Nmeros Complexos
Como de modo geral, comearemos pela definio.
Definio 9.4. Dada uma seqncia {zn } de nmeros complexos,

definimos a srie associada {sn } com a seqncia de somas parciais
Xn
sn = zk .
k=0
OBS 9.3. Sries so seqncias especiais definidas a partir de out-

ras seqncias. Se a seqncia de somas parciais converge dizemos

X
que a srie converge. Denotaremos zn srie numrica gerada
n=0
por {zn }.
Definio 9.5. Seja r > 0 um nmero real positivo e {xn = rn }

a seqncia de potncias de r. Definimos a srie geomtrica r
n
X
como a srie associada a {xn } de somas parciais sn = rk =
k=0
1 + r + r2 + + rn .
OBS 9.4. podemos simplificar a expresso da soma parcial sn =

Xn
rk = 1 + r + r2 + + rn . do seguinte modo:
k=0
fazendo o produto de sn por r temos:
Xn
rsn = r rk = r +2 +r3 + + rn+1 . Subtraindo de sn temos:
k=0
rsn sn = rn+1 1. Da, temos:
1 rn+1
sn = .
1r
138
Se r < 1 como lim rn = 0 temos:
n
9
1 rn+1
lim sn = lim
n n 1 r
1 lim rn+1
n
=
1r
1
=
1r
e a srie geomtrica convergente.
Por outro lado se r > 1 como lim rn = temos:
n
1 rn+1
lim sn = lim
n n 1 r
1 lim rn+1
n
=
1r
=
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.
X X
Teorema 9.5 (Critrio da Comparao). Sejam xn e yn
n=0 n=0
sries numricas onde: xn , yn R. tais que xn , yn > 0. Supondo
que para todo n, xn < yn valem:
X X
1. Se yn converge ento xn converge.
n=0 n=0

X
X
2. Se xn diverge ento yn diverge.
n=0 n=0

X
Teorema 9.6. Seja zn uma srie de nmeros complexos. Se
n=0
X
zn converge ento lim zn = 0.
n
n=0
139
PROVA: Pelo critrio de Cauchy temos: lim |zn | = lim |sn

n n
sn1 | = 0.
Logo da continuidade da funo mdulo temos:
lim zn = 0.
n
OBS 9.5. O teorema acima nos d uma condio necessria para

convergncia de uma srie numrica.

X
Definio 9.6. Seja zn uma srie de nmeros complexos. Dize-
n=0

X
mos que zn converge absolutamente se, somente se, a srie
n=0

X
|zn | associada seqncia {|zn |} converge.
n=0
OBS 9.6. Na prxima seo, estudo das sries de potncias ficar

clara a importncia deste conceito.

X
Teorema 9.7. Seja zn uma srie de nmeros complexos. Se
n=0

X
X
zn absolutamente convergente ento zn convergente.
n=0 n=0
n
X
PROVA: Sejam sn = zk a n-sima soma parcial de {zn } e
k=0
n
X
sn = |zk | a n-sima soma parcial de {|zn |}. Da desigualdade
k=0
triangular, fazendo m = n + k temos:
|sm sn | = |sn+k sn |
= |zn+k + zn+k1 + + zn+1 |
|zn+k | + |zn+k1 | + + |zn+1 |
|sn+k sn |
|sm sn |
140
Como

X
|zn | do critrio de Cauchy, para todo > 0 existe no N
9
n=0
tal que m, n n0 , |sm sn | < . Da desigualdade acima temos:
X
m, n n0 , |sm sn | < . Logo zn satisfaz o critrio de
n=0
Cauchy e convergente.

X
X
Teorema 9.8. Sejam zn e wn duas sries de nmeros com-
n=0 n=0

X
X
plexos convergentes tais que zn = z e wn = w e a C
n=0 n=0
ento:

X
i) (azn ) = az
n=0

X
ii) (zn + wn ) = z + w
n=0
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.
Definio 9.7. Seja {an } uma seqncia de nmeros complexos.

Definimos a srie de potncias associada a {an } de centro em 0
X
por: an z n .
n=0
OBS 9.7. As primeiras somas parciais da srie de potncias asso-
141
ciada a {an } de centro em 0 so:
s0 = a0
s1 = a0 + a1 z
s2 = a0 + a1 z + a2 z 2
..
.
sn = a0 + a1 z + a2 z 2 + + an 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 fizermos f (z) = lim sn sob
n
quais condies teramos uma funo e onde estaria definida. 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?

X
Teorema 9.9. Seja an z n uma srie numrica:
n=0

X
i) Se existe z1 C, z1 6= 0 tal que an z1n converge ento
n=0

X
an z n converge para todo z C tal que |z| < |z1 |
n=0

X
X
ii) Se existe z2 C, z2 6= 0 tal que an z2n diverge ento an z n
n=0 n=0
diverge para todo z C tal que |z2 | < |z|
PROVA: Dividiremos a prova em duas partes:

X
Parte 1: Como an z1n converge do teorema 9.6 temos:
n=0
lim an z1n = 0 e a seqncia {an z1n } limitada. Logo existe K > 0
n
142
tal que para todo n N, |an z1n | < K. Da, como |z| < |z1 | pondo
|z|
9
r= < 1 temos:
|z1 |
|an z n | = |an |.|z|n

n
n |z|
= |an |.|z1 | .
|z1 |
= |an z1n |.rn
< Krn

X K
Como r < 1 a srie Krn converge para pelo critrio da
1r
n=0

X
comparao teorema 9.5 a srie |an z n | e portanto do teo-
n=0

X
rema 9.7 a srie an z n convergente.
n=0
Parte 2: Suponha, por absurdo, que exista um nmero z C

X
tal que |z| > |z2 | e a srie an z n seja convergente. repetindo a
n=0
demonstrao da Parte 1 trocando z por z2 e z1 por z teramos

X
que a srie an z2n seria convergente o que um absurdo. Logo,
n=0

X
para todo z C tal que |z| > |z2 | a srie an z n divergente.
n=0

X
OBS 9.8. O teorema acima nos diz de se uma srie an z n
n=0
convergente em um ponto z1 6= 0 ento convergente em todos
os pontos da bola aberta B|z1 | (0) e portanto podemos definir uma
Xn
funo f : B|z1 | (0) 7 C dada por f (z) = lim an z n .
n
k=0

X
Teorema 9.10. Seja an z n uma srie de potncias ento existe
n=0
uma bola fechada Br (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

X
Definio 9.8. Seja an z n uma srie de potncias denomi-
n=0
namos raio de convergncia ao raio r da bola definida pelo teorema
acima.
O seguinte teorema oferece um modo prtico de determinar o raio

de convergncia de uma srie de potncias.

X
Teorema 9.11. Seja an z n uma srie de potncias tal que para
n=0
todo n N, an 6= 0. Ento o raio de convergncia da srie de
potncias pode ser dado por:

an 1
r = lim ou r = lim
n an+1 n |an |1/n
Vejamos um exemplo de determinao do raio de convergncia de

uma srie de potncias.

X 1 n
Exemplo 9.2. Seja a srie de potncias dada por z . De-
n!
n=0
termine seu raio de convergncia.
1 1
SOLUO: Tomando an = temos: an+1 = =
n! (n + 1)!
1
1 an n! (n + 1).n!
. Logo: = = = n + 1.
(n + 1).n! an+1 1 n!
(n + 1).n!
Da, temos:
an
lim = lim n + 1 = . Logo:
n an+1
n
an an
r = lim = lim
= .
n an+1 n an+1
Para concluir enunciaremos sem demonstrao o seguinte teorema.
Teorema 9.12. Sejam D C um aberto e f : D C 7 C um

funo holomorfa em uma bola aberta Br (z0 ) D ento para cada
z Br (z0 ) temos:

X f (n) (z0 )
f (z) = (z z0 )n
n!
n=0
144
9.6 Concluso 9
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

Definio 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 7 C.
Convergncia de Seqncia de Nmeros Complexos
Se uma seqncia {zn } tem limite dizemos alternativamente que
ela converge. Por outro lado se {zn } no possui limite dizemos que
a seqncia diverge.
Teorema 1
Seja {zn } uma seqncias de nmeros complexos. Se {zn } con-
vergente ento {zn } limitada.
Teorema 2
Sejam {zn } e {wn } duas seqncias de nmeros complexos tais que
z = lim zn e w = lim wn ento:
n n
i) lim azn = az, para todo a C

n
ii) lim (zn + wn ) = z + w

n
145
iii) lim (zn wn ) = z w

n
iv) lim (zn .wn ) = z.w

n
zn z
v) lim = , se w 6= 0
n wn w
Teorema 3: Critrio de Cauchy

Seja {zn } uma seqncia de nmero complexos ento {zn } con-
vergente se, somente se, para todo > 0, existe n0 N tal que:
m, n n0 |zm zn | <
Sries de Nmeros Complexos

Definio
Dada uma seqncia {zn } de nmeros complexos, definimos a srie
n
X
associada {sn } com a seqncia de somas parciais sn = zk .
k=0
Definio

X
X
Seja zn uma srie de nmeros complexos. Dizemos que zn
n=0 n=0

X
converge absolutamente se, somente se, a srie |zn | associada
n=0
seqncia {|zn |} converge.
Teorema 1

X
X
Seja zn uma srie de nmeros complexos. Se zn absolu-
n=0 n=0

X
tamente convergente ento zn convergente.
n=0
Teorema 2

X
X
Sejam zn e wn duas sries de nmeros complexos conver-
n=0 n=0

X
X
gentes tais que zn = z e wn = w e a C ento:
n=0 n=0

X
i) (azn ) = az
n=0
146
ii)

X
(zn + wn ) = z + w
9
n=0
Sries de Potncia
Definio
Seja {an } uma seqncia de nmeros complexos. Definimos a srie

X
de potncias associada a {an } de centro em 0 por: an z n .
n=0
Teorema 1

X
Seja an z n uma srie numrica:
n=0

X
i) Se existe z1 C, z1 6= 0 tal que an z1n converge ento
n=0

X
an z n converge para todo z C tal que |z| < |z1 |
n=0

X
ii) Se existe z2 C, z2 6= 0 tal que an z2n diverge ento
n=0

X
an z n diverge para todo z C tal que |z2 | < |z|
n=0
Teorema 2

X
Seja an z n uma srie de potncias ento existe uma bola fechada
n=0
Br (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.
Definio

X
Seja an z n uma srie de potncias denominamos raio de con-
n=0
vergncia ao raio r da bola definida pelo teorema acima.
Teorema 3

X
Seja an z n uma srie de potncias tal que para todo n N,
n=0
an 6= 0. Ento o raio de convergncia da srie de potncias pode
147
ser dado por:

an 1
r = lim ou r = lim
n an+1 n |an |1/n
Teorema 4
Sejam D C um aberto e f : D C 7 C um funo holomorfa
em uma bola aberta Br (z0 ) D ento para cada z Br (z0 ) temos:

X f (n) (z0 )
f (z) = (z z0 )n
n!
n=0
PRXIMA AULA
Em nossa prxima aula veremos sries de Laurent uma forma

de representao de funes no holomorfas.
ATIVIDADES
ATIV. 9.1. Sejam {zn } e {wn } duas seqncias de nmeros com-

plexos tais que z = lim zn e w = lim wn . Mostre, usando a
n n
definio, que:
lim (zn + wn ) = z + w.
n
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
ATIV. 9.2. Seja a srie de potncias dada por

X 2n
n!
z n . Deter-
9
n=0
mine seu raio de convergncia.
exemplo de determinao do raio de convergncia de uma srie de
potncias, ele lhe servir de guia.

149
AULA
Sries de Laurent 10
META:
Introduzir sries de Laurent.
OBJETIVOS:
Definir 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 6= 1 um nmero complexo ento:
1 z n+1
= 1 + z + z2 + + zn + (10.147)
1z 1z
PROVA: Considere a soma sn = 1 + z + z 2 + + z n e fazendo

o produto zsn temos:
zsn = z + z 2 + z 3 + + z n+1 . Subtraindo sn zsn temos:
sn zsn = 1 + z + z 2 + + z n (z + z 2 + + z n+1 ) = 1 z n+1 .
Da, temos:
sn (z) = 1 z n+1 . Logo:
1 z n+1
= sn = 1 + z + z 2 + + z n . E finalmente:
1z
1 z n+1
= 1 + z + z2 + + zn + .
1z 1z
Teorema 10.1. Seja f () uma funo holomorfa no anel aberto

D = B%2 (z0 )B%1 (z0 ) e sua fronteira onde 0 < %1 < %2 seja z D
(ver figura 10.1) ento:

X
f (z) = am (z z0 )m
m=
152
y 10
2
%2
1
z
z0 %1
Figura 10.1: Srie de Laurent
onde:
I
1 f (z)
am = dz m = 0, 1, 2, . . .

2 I2 (z z0 )m+1
1
am =

f (z)(z z0 )m1 dz m = 1, 2, 3, . . .
2 1
PROVA: Da frmula integral de Cauchy temos:
I I
1 f (w) f (w)
f (z) = dw dw (10.148)
2 1 wz 2 wz
Vamos considerar a primeira integral em eqn 10.148. Para isto

tomamos:
1 1
=
wz w z0 + z0 z
1
= (10.149)
(w z0 )(1 + (z0 z)/(w z0 ))
1
=
(w z0 )(1 (z z0 )/(w z0 ))
153
Sries de Laurent
z z0
Substituindo z por em eqn 10.147temos:
w z0
z z0 n

1 z z0
=1+ + +
1 (z z0 )/(w z0 ) w z0 w z0
n+1
z z0
w z0
+
1 (z z0 )/(w z0 )
(10.150)
Manipulando eqn 10.150 temos:

z z0 n

1 z z0
=1+ + +
1 (z z0 )/(w z0 ) w z0 w z0
n+1
z z0
w z0
+
1 (z z0 )/(w z0 )
z z0 n

z z0
=1+ + +
w z0 w z0
n+1
z z0
w z0
+
w z0 (z z0 )
w z0
z z0 n

z z0
=1+ + +
w z0 w z0
n+1
z z0
w z0
+ wz
w z0
z z0 n

z z0
=1+ + +
w z0 w z0
n+1
z z0 w z0
+
w z0 wz
(10.151)

1 1 z z0
= + +
wz w z0 (w z0 )2
(10.152)
z z0 n 1

+
w z0 wz
154
Fazendo o produto de eqn 10.152 por f (w) e integrando ao longo 10
de 2 no sentido positivo temos:
z z0
I I I
f (w) f (w)
dw = dw + f (w) dw +
2 w z 2 w z0 2 (w z0 )2
z z0 n f (w)
I
+ dw
2 w z0 wz
(10.153)
1
Fazendo o produto de eqn 10.153 por e definindo
2
I
1 f (w)
ak = dw, k = 0, 1, . . .
2 2 (w z0 )k+1
temos:
I
1 f (w)
dw = a0 + a1 (z z0 ) + + an1 (z z0 )n1
2 2 wz
z z0 n f (w)
I
1
+ dw
2 2 w z0 wz
(10.154)
Vamos considerar agora a segunda integral em eqn 10.148. Para

isto tomamos:
1 1 1
= =
wz zw z z 0 + z0 w
1
= (10.155)
(z z0 )(1 + (z0 w)/(z z0 ))
1
=
(z z0 )(1 (w z0 )/(z z0 ))
w z0
Substituindo z por em eqn 10.147temos:
z z0
w z0 n

1 w z0
=1+ + +
1 (w z0 )/(z z0 ) z z0 z z0
n+1
w z0
z z0
+
1 (w z0 )/(z z0 )
(10.156)
155
Sries de Laurent
Manipulando eqn 10.156 temos:

w z0 n

1 w z0
=1+ + +
1 (w z0 )/(z z0 ) z z0 z z0
n+1
w z0
z z0
+
1 (w z0 )/(z z0 )
w z0 n

w z0
=1+ + +
z z0 z z0
n+1
w z0
z z0
+
z z0 (w z0 )
z z0
w z0 n

w z0
=1+ + +
z z0 z z0
n+1
w z0
z z0
+ zw
z z0
w z0 n

w z0
=1+ + +
z z0 z z0
n+1
w z0 z z0
+
z z0 zw
(10.157)

1 1 w z0
= + +
wz z z0 (z z0 )2
(10.158)
w z0 n 1

+
z z0 zw
Fazendo o produto de eqn 10.158 por f (w) e integrando ao longo
de 1 no sentido positivo temos:
w z0
I I I
f (w) f (w)
dw = dw + f (w) dw +
1 w z 1 z z 0 1 (z z0 ) 2
w z0 n f (w)
I
+ dw
1 z z0 zw
(10.159)
156
Fazendo o produto de eqn 10.159 por

1
2
e definindo
10
I
1
ak = f (w)(w z0 )k1 dw, k = 1, 2, . . .
2 1
temos:
I
1 f (w) a1 a2 an
dw = + 2
+ +
2 1 wz z z0 (z z0 ) (z z0 )n
I n
1 w z0 f (w)
+ dw
2 1 z z0 zw
(10.160)
Resta mostrar que a integral final em eqn 10.154 tendem a zero

quando n . Para isso faamos:
z z0 n f (w)
I
1
un = dw (10.161)
2 2 w z0 wz
zz
0
Como w 2 temos: max = < 1. Por outro lado

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

2 2 w z0
wz
I n
1 z z0 f (w)
dw
2 2 w z0 wz

(10.162)
1 nM
2%2
2 %2 |z z0 |
n M %2

%2 |z z0 |
De eqn 10.162 temos lim |un | = 0 de onde lim un = 0
n n
Da mesma forma para mostrar que a integral final em eqn 10.160
tendem a zero quando n faamos:
w z0 n f (w)
I
1
vn = dw (10.163)
2 1 z z0 zw
157
Sries de Laurent
w z
0
Como w 1 temos: max = < 1. Por outro lado

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

2 2 z z0 zw
I n
1 z z0 f (w)
dw
2 2 w z0 wz

(10.164)
1 nM
2%1
2 |z z0 | %1
n M %1

|z z0 | %1
De eqn 10.164 temos lim |vn | = 0 de onde lim vn = 0 Portanto,
n n
passando o limite n em eqn 10.154 e eqn 10.160 levando
em conta que as integrais finais de eqn 10.154 e eqn 10.160
tendem a zero e substituindo em eqn 10.148 temos:

X
f (z) = am (z z0 )m
m=
onde:
I
1 f (z)
am = dz m = 0, 1, 2, . . .

2 I2 (z z0 )m+1
1
am =

f (z)(z z0 )m1 dz m = 1, 2, 3, . . .
2 1
OBS 10.1. As vezes conveniente reescrever a srie de Laurent
na forma:

X bm X
f (z) = + an (z z0 )n
(z z0 )m
m=1 n=0
onde:
I
1 f (z)
an = dz n = 0, 1, 2, . . .

2 I2 (z z0 )n+1
1
bm =

f (z)(z z0 )m1 dz m = 1, 2, 3, . . .
2 1
158
Vamos a alguns exemplos de aplicao da srie de Laurent. 10
Exemplo 10.1. Determine a srie de Laurent da funo f (z) =
eaz
em torno do ponto z0 = 1.
(z 1)4
SOLUO: Primeiramente vamos deslocar o ponto onde f ()
descontnua de z0 = 1 para z0 = 0 fazendo a mudana de varivel
u = z 1 e temos:
ea(u+1) ae
au
f (z) = f(u) = f (u + 1) = = e (10.165)
(u + 1 1)4 u4

X zn
Como ez = temos:
n!
n=0

au
X (au)n
e =
n!
n=0
(10.166)
X an un
=
n!
n=0
De eqn 10.165 e eqn 10.166 temos:

1 X an un
f (z) = f(u) = ea
u4 n!
n=0
(10.167)
a
X an un4
=e
n!
n=0
Fazendo em eqn 10.167 a mudana

devarivel k = n4, n = k+4

e substituindo os limites n ek no somatrio temos:
0 4

X ak+4 uk
f (z) = f(u) = ea (10.168)
(k + 4)!
k=4
Explicitando no somatrio de eqn 10.168 os termos de k = 4

at k = 1 temos:
ea aea a2 ea a3 ea
f (z) = f(u) = + + 2 +
u4 u3 u u
k+4 k (10.169)
X a u
+ ea
(k + 4)!
k=0
159
Sries de Laurent
Retornando em eqn 10.170 u = z 1 temos:

ea aea a2 ea a3 ea
f (z) = + + +
(z 1)4 (z 1)3 (z 1)2 z 1
(10.170)
X ak+4 ea (z 1)k
+ .
(k + 4)!
k=0
10.3 Concluso
Na aula de hoje, vimos que certas funes no-holomorfas tam-

bm podem ser representadas por srie de potncias. Mais especi-
ficamente, 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 (z0 )
B%1 (z0 ) e sua fronteira onde 0 < %1 < %2 seja z D ento:

X
f (z) = am (z z0 )m
m=
onde:
I
1 f (z)
a = dz m = 0, 1, 2, . . .

m

m+1
2 C I2 (z z0 )
1
am =

f (z)(z z0 )m1 dz m = 1, 2, 3, . . .
2 C1
PRXIMA AULA
Em nossa prxima aula veremos singularidades de funes de

variveis complexas. Mais especificamente veremos como usar sries
160
de Laurent para classificar pontos de singularidades isoladas de 10
funes no-holomorfas..
ATIVIDADES
ATIV. 10.1. Determine a srie de Laurent da funo f (z) =

1 cos(z)
entorno do ponto z0 = 0.
z2

exemplo acima, ele lhe servir de guia.
ATIV. 10.2. Determine a srie de Laurent da funo f (z) =

1
entorno do ponto z0 = 1.
z (z 1)2
2

exemplo acima, ele lhe servir de guia. Veja tambm a srie de
1
Taylor para a funo .
(1 + z)2

161
Sries de Laurent

162
AULA
Singularidades de Funes
de Variveis Complexas 11
META:
Introduzir o conceito de singularidades de funes de variveis com-
plexas.
OBJETIVOS:
Definir 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 classificar pontos de singularidades de funes
complexas.
11.2 Pontos Singulares de Funes Complexas
Comearemos por estudar pontos singulares de funes complexas.
Definio 11.1. Sejam D C um aberto conexo, f : D C 7 C

uma funo complexa e z0 D. Dizemos que z0 um ponto
singular de f () se, somente se f 0 (z0 ) = 0 ou no existe.
Definio 11.2. Sejam D C um aberto conexo, f : D C 7

C uma funo complexa e z0 D um ponto singular de f ().
Dizemos que z0 um ponto singular isolado se, somente se existe
uma bola aberta Br (z0 ) de centro em z0 tal que z0 o nico ponto
singular de f () que pertence a Br (z0 ). Caso contrario z0 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 Classificao de Pontos Singulares Isola-

dos
Estaremos, aqui, interessado em estudar e classificar pontos sin-

gulares isolados. Para isso usaremos a representao em srie de
164
Laurent da funo a ser estudada. 11
Definio 11.3. Sejam D C um aberto conexo, f : D C 7 C
uma funo complexa representada em srie de Laurent por:

X bm X
f (z) = + an (z z0 )n
(z z0 )m
m=1 n=0
e z0 D um ponto singular isolado de f (). Se:
i) bm = 0, m = 1, 2, . . . dizemos que z0 uma singularidade

removvel.
ii) bk 6= 0 e bm = 0, m = k + 1, k + 2, . . . dizemos que z0 um

polo de ordem k.
iii) m N, k > m|bk 6= 0 dizemos que z0 uma singularidade

essencial.
OBS 11.2. Se z0 uma singularidade removvel f () holomorfa

sendo representada por uma srie de Taylor em torno de z0 i.e.
X
f (z) = an (z z0 )n
n=0
OBS 11.3. Se z0 um polo de ordem k a representao de f ()

em srie de Laurent fica reduzida a:
k
X bm X
f (z) = + an (z z0 )n
(z z0 )m
m=1 n=0
OBS 11.4. Se z0 uma singularidade essencial os coeficiente bm

da representao de f () so no nulos para uma infinidade de
valores de m N.
Vejamos alguns exemplos de funes complexas e suas singulari-

dades.
165
sin(z)
Exemplo 11.1. Seja f : C {0} 7 C dada por f (z) = .
z

X z 2n+1
Como sin(z) = (1)n ento:
(2n + 1)!
n=0

1X z 2n+1
f (z) = (1)n
z (2n + 1)!
n=0

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

X z 2n
= (1)n
(2n + 1)!
n=0
z2 z4 z6
=1 + +
3! 5! 7!
Portanto z = 0 uma singularidade removvel de f ().
sin(z)
Exemplo 11.2. Seja f : C {0} 7 C dada por f (z) = .
z3

X z 2n+1
Como sin(z) = (1)n ento:
(2n + 1)!
n=0
2n+1
1 X n z
f (z) = (1)
z3 (2n + 1)!
n=0

X 1 z 2n+1
= (1)n
z 3 (2n + 1)!
n=0

X z 2n2
= (1)n
(2n + 1)!
n=0

1 X
k+1 z 2k
= + (1)
z2 (2k + 3)!
n=0
1 1 z2 z4
= 2 + +
z 3! 5! 7!
Portanto z = 0 um polo de ordem 2 de f ().
Exemplo 11.3. Seja f : C {0} 7 C dada por f (z) = sin(1/z).
166
Como sin(z) =

X
(1)n
z 2n+1
(2n + 1)!
ento:
11
n=0

X (1/z)2n+1
f (z) = (1)n
(2n + 1)!
n=0

X 1/z 2n+1
= (1)n
(2n + 1)!
n=0

X 1 1
= (1)n 2n2
(2n + 1)! z
n=0

X 1 1
=1+ (1)n 2n2
(2n + 1)! z
n=1
1 1 1
= 7
+ 5
+1
7!z 5!z 3!z 3
Portanto z = 0 uma singularidade essencial de f ().
Teorema 11.1. Sejam D C um aberto conexo, f : D C 7 C

uma funo complexa e z0 D. As seguintes proposies so
equivalentes:
i) z0 uma singularidade removvel de f ().
ii) Existe lim f (z).

zz0
iii) |f (z)| limitado em alguma bola aberta Br (z0 ).
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:
X
f (z) = an (z z0 )n
n=0
Logo lim f (z) = a0 e portanto existe lim f (z) e ii) vale.

zz0 zz0
Parte 2: ii) implica iii). Supondo que existe lim f (z) = L,
zz0
da definio de limite existe > 0 tal que se z B (z0 ) {z0 }
167
ento f (z) B1 (L). De outra forma. Se z B (z0 ) {z0 } ento

|f (z) L| < 1 ou seja: z B (z0 ) {z0 }, |f (z)| < |L| + 1 isto
vale iii).
Parte 3: iii) implica i). Suponhamos que vale iii) ento existe
K > 0 e uma bola Br (z0 ) tal que z Br (z0 ), |f (z)| < K. por
outro lado, os coeficientes bm da srie de Laurent so dados por:
Z
1
bm = f (z)(z z0 )m1 dz, m = 1, 2, . . .
2
onde (t) = z0 + e t , t [0, 2) e < r. Da, temos:
1 Z
m1
|bm | f (z)(z z0 ) dz

2
Z
1
|f (z)|.|z z0 |m1 |dz|
2
1
Km1 2
2
Km
Fazendo 0 temos: |bm | 0 e portanto bm = 0, m = 1, 2, . . ..

Logo z0 uma singularidade removvel de f () e i) vale.

uma funo complexa e z0 D, ento z0 um polo de ordem k de
f () se, somente se existe L 6= 0 tal que L = lim (z z0 )k f (z).
zz0
PROVA: Dividimos a prova em duas partes:

Parte 1 (Necessidade) Suponhamos que z0 um polo de ordem
k de f () ento a representao por srie de Laurent de f (z) da
forma:
k
X bm X
f (z) = m
+ an (z z0 )n
(z z0 )
m=1 n=0
Logo, fazendo o produto por (z z0 )k temos:

X
(z z0 )k f (z) = bk + + b1 (z z0 )k1 + an (z z0 )n+k
n=0
168
Passando o limite z z0 temos: 11
lim (z z0 )k f (z) = bk 6= 0 e temos nosso candidato L = bk .
zz0
Parte 2 (Suficincia) Suponhamos que existe o limite lim (z
zz0
z0 )k f (z) = L 6= 0. Definindo a funo g(z) = (z z0 )k f (z), temos:
lim g(z) = L 6= 0. Logo da parte ii) do teorema 12.1 g(z) tem
zz0
uma singularidade removvel em z0 e pode ser dada por uma srie
de Taylor centrada em z0 em alguma bola aberta Br (z0 ).
X
g(z) = an (z z0 )n
n=0
Da, como g(z) = (z z0 )k f (z) podemos escrever para f (z).
L ak1 X
f (z) = + + + an+k (z z0 )n
(z z0 )k z z0
n=0
E portanto z0 um polo de ordem k de f ().

Vamos agora enunciar um ltimo teorema sem demonstra-lo.

uma funo complexa e suponhamos que z0 D uma singulari-
dade essencial de f () e que f (z) holomorfa em B% (z0 ) {z0 }
D ento dados 0 < r %, > 0 e C, existe um nmero
complexo tal que Br (z0 ) {z0 } 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 classificadas como removveis,
plos ou singularidades essenciais.
169
RESUMO
Pontos Singulares de Funes Complexas

Definio
Sejam D C um aberto conexo, f : D C 7 C uma funo
complexa e z0 D. Dizemos que z0 um ponto singular de f ()
se, somente se f 0 (z0 ) = 0 ou no existe.
Definio
complexa e z0 D um ponto singular de f (). Dizemos que z0
um ponto singular isolado se, somente se existe uma bola aberta
Br (z0 ) de centro em z0 tal que z0 o nico ponto singular de f ()
que pertence a Br (z0 ). Caso contrario z0 dito um ponto singular
no isolado.
Classificao de Pontos Singulares Isolados
Definio
complexa representada em srie de Laurent por:

X bm X
f (z) = + an (z z0 )n
(z z0 )m
m=1 n=0
e z0 D um ponto singular isolado de f (). Se:
i) bm = 0, m = 1, 2, . . . dizemos que z0 uma singularidade

removvel.
ii) bk 6= 0 e bm = 0, m = k + 1, k + 2, . . . dizemos que z0 um

polo de ordem k.
170
iii) m N, k > m|bk 6= 0 dizemos que z0 uma singularidade 11
essencial.
Teorema 1
complexa e z0 D. As seguintes proposies so equivalentes:
i) z0 uma singularidade removvel de f ().
ii) Existe lim f (z).

zz0
iii) |f (z)| limitado em alguma bola aberta Br (z0 ).
Teorema 2
complexa e z0 D, ento z0 um polo de ordem k de f () se,
somente se existe L 6= 0 tal que L = lim (z z0 )k f (z).
zz0
Teorema 3
complexa e suponhamos que z0 D uma singularidade essencial
de f () e que f (z) holomorfa em B% (z0 ) {z0 } D ento dados
0 < r %, > 0 e C, existe um nmero complexo tal que
Br (z0 ) {z0 } 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 7 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.
1 cos(z)
ATIV. 11.2. Seja f : C {0} 7 C dada por f (z) = .
z3
Classifique as singularidades de f ().
exemplos, eles lhe serviro de guia.

172
AULA
Clculo de Resduos 12
META:
Apresentar clculo de resduos.
OBJETIVOS:
Definir 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 z0 dito um ponto singular de uma funo f ()

se f () falha em ser holomorfa em z0 mais holomorfa em algum
ponto de toda vizinhana de z0 . Ademais z0 dita singularidade
isolada se existe uma vizinhana de z0 onde f () holomorfa a
exceo de z0 .
Definio 12.1. Seja D C um aberto e f : D C 7 C

holomorfa em D {z0 }. Definimos o resduo de f () no ponto z0 ,
1
denotado res(f, z0 ), como coeficiente do termo da srie de
z z0
Laurent de f () centrada em z0 .
Vejamos um exemplo de resduo.
Exemplo 12.1. Na aula10 vimos que a srie de Laurent para a

eaz
funo f (z) = em torno do ponto z0 = 1 era:
(z 1)4
ea aea a2 ea a3 e a
f (z) = + + +
(z 1)4 (z 1)3 (z 1)2 z 1

X ak+4 ea (z 1)k
+ .
(k + 4)!
k=0
Por simples inspeo vemos que: res(f, 1) = a3 ea .
174
2
12
a2
1
n
a1 an
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 finito de plos.
Teorema 12.1 (Teorema dos resduos). Seja D C um aberto

e f : D C 7 C holomorfa em D {z1 , z2 , . . . , zn }. Suponha
D {z1 , z2 , . . . , zn } uma curva suave por partes , orientada no
sentido positivo, tal que em seu interior contenha todos os pontos
z1 , z2 , . . . , zn ento:
I n
1 X
f (z)dz = res(f, zk )
2 k=1
PROVA: Para cada ponto zk , k = 1, 2, . . . , n tomemos um cr-

culo k de centro em zk tais que: k no tem ponto em comum
com n , n 6= k nem com e est orientado positivamente (sentido
anti-horrio) (ver figura 12.1) seja k o crculo k orientado neg-
ativamente (sentido horrio). Seja C = 1 2 n . Do
teorema de Cauchy temos:
I
f (z)dz = 0 (12.171)
C
Levando em conta a construo de C podemos reescrever eqn
175
Clculo de Resduos
12.171 como:
I n I
X
f (z)dz = f (z)dz (12.172)
k=1 k
Do teorema de Laurent temos:

X bm X
f (z) = + an (z zk )n
(z zk )m
m=1 n=0
onde:
I
1
bm = f (z)(z zk )m1 dz, m = 1, 2, 3, . . .
2 k
Em particular:
I
1
res(f, zk ) = b1 = f (z)dz
2 k
Da, tiramos:
I
f (z)dz = 2res(f, zk ) (12.173)
k
Da, substituindo eqn 12.173 em eqn 12.172 temos:

I n
1 X
f (z)dz = res(f, zk ). (12.174)
2
k=1
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 7 C holo-

morfa em D {z1 , z2 , . . . , zn }. Suponha D {z1 , z2 , . . . , zn }
uma curva suave por partes , orientada no sentido positivo, tal que
em seu interior contenha todos os pontos z1 , z2 , . . . , zn e que esses
pontos sejam plos de f () e que no contenha nenhum zero de
f () ento:
f 0 (z)
I
1
dz = Z P
2 f (z)
onde Z o nmero de zeros de f () no interior de , contado
tantas vezes quantas forem sua multiplicidade e P o nmero de
176
plos de f () no interior de contado tantas vezes quantas forem 12
sua ordem.
PROVA: Consideremos a integral:

I 0
1 f (z)
dz (12.175)
2 f (z)
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) 6= 0
ii) f (0) = 0 e a um zero de multiplicidade m de f ()
iii) lim f (z) = , a um polo de ordem k de f ()

za
f 0 (z)
Parte 1: no caso i) holomorfa o resduo zero e o ponto
f (z)
nada contribui para a integrao em eqn 12.175.
Parte 2 no caso ii) para este caso existe uma bola aberta Br (a)
de raio r e centro em a tal que f (z) = (z a)m g(z), z Br (a)
f 0 (z)
onde g(z) holomorfa em Br (a). Da, calculando a razo
f (z)
temos:
f 0 (z) m(z a)m1 g(z) + (z a)m g 0 (z) m g 0 (z)
= = +
f (z) (z a)m g(z) za g(z)
(12.176)
g 0 (z)
Como g(z) holomorfa em Br (a), tambm holomorfa e
g(z)
portanto tem representao por srie de Taylor en torno do ponto
z = a. Da, temos:

g 0 (z) X
= cn (z a)n (12.177)
g(z)
n=0

f 0 (z) m X
= + cn (z a)n (12.178)
f (z) za
n=0
177
Clculo de Resduos
f 0 (z)
Logo eqn 12.178 a srie de Laurent de , z = a um polo
0 f (z)
f (z)
de primeira ordem cujo resduo res , a = m, que a
f (z)
contribuio do ponto z = a integral eqn 12.175.
Parte 3: no caso iii) para este caso existe uma bola aberta Br (a)
de raio r e centro em a tal que f (z) = (z a)k g(z), z Br (a)
f 0 (z)
onde g(z) holomorfa em Br (a). Da, calculando a razo
f (z)
temos:
f 0 (z) k(z a)k1 g(z) + (z a)k g 0 (z)

=
f (z) (z a)k g(z)
(12.179)
k g 0 (z)
= +
za g(z)
g 0 (z)
Como g(z) holomorfa em Br (a), tambm holomorfa e
g(z)
portanto tem representao por srie de Taylor en torno do ponto
z = a. Da, temos:

g 0 (z) X
= cn (z a)n (12.180)
g(z)
n=0

f 0 (z) k X
= + cn (z a)n (12.181)
f (z) za
n=0
f 0 (z)
Logo eqn 12.181 a srie de Laurent de , z = a um polo
0 f (z)
f (z)
de primeira ordem cujo resduo res , a = k, que a
f (z)
contribuio do ponto z = a integral eqn 12.175.
Juntando as contribuies dos casos ii) e iii) temos:
I 0
1 f (z)
dz = Z P
2 f (z)
178
plos de f () no interior de contado tantas vezes quantas forem 12
sua ordem.
A seguir, veremos alguns teoremas que auxiliaram na determinao
dos resduos de uma funo no-holomorfa.

morfa em D {z0 }. E suponhamos que z0 um polo de ordem 1
de f (). Ento res(f, z0 ) = lim (z z0 )f (z).
zz0
PROVA: Da hiptese do teorema a srie de Laurent de f (z)

da forma:

res(f, z0 ) X
f (z) = + cn (z z0 )n (12.182)
z z0
n=0
Fazendo o produto de eqn 12.182 por z z0 temos:

X
(z z0 )f (z) = res(f, z0 ) + cn (z z0 )n+1 (12.183)
n=0
Passando o limite z z0 em eqn 12.183 e levando em conta que

X
lim cn (z z0 )n+1 = 0 temos:
zz0
n=0
res(f, z0 ) = lim (z z0 )f (z).

zz0

morfa em D {z0 }. E suponhamos que z0 um polo de ordem
k > 1 de f () e g : D C 7 C dada por g(z) = (z z0 )k f (z).
g (k1) (z0 )
Ento res(f, z0 ) = .
(k 1)!
PROVA: Da hiptese do teorema a srie de Laurent de f (z)

da forma:

bk res(f, z0 ) X
f (z) = + + + cn (z z0 )n (12.184)
(z z0 )k z z0
n=0
179
Clculo de Resduos
Fazendo o produto de eqn 12.184 por (z z0 )k temos:

X
(z z0 )k f (z) = bk + + res(f, z0 )(z z0 )k1 + cn (z z0 )n+k
n=0
(12.185)
Como g(z) = (z z0 )k f (z) e holomorfa da eqn 12.185 temos:

X
g(z) = bk + +res(f, z0 )(z z0 )k1 + cn (z z0 )n+k (12.186)
n=0
Logo eqn 12.184 a expanso em srie de Taylor de g(z) en torno

do ponto z0 e res(f, z0 ) o coeficiente de (z z0 )k1 nessa expanso
e portanto:
g (k1) (z0 )
res(f, z0 ) = .
(k 1)!
OBS 12.1. Se f (z) holomorfa em z0 ento res(f, z0 ) = 0 que
no contribui em nada. Porm, se z0 uma singularidade essencial
no tem uma frmula para simplificar 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
Resduos 12
Definio
Seja D C um aberto e f : D C 7 C holomorfa em D {z0 }.
Definimos o resduo de f () no ponto z0 , denotado res(f, z0 ), como
1
coeficiente do termo da srie de Laurent de f () centrada
z z0
em z0 .
Teorema 1
Seja D C um aberto e f : D C 7 C holomorfa em D
{z1 , z2 , . . . , zn }. Suponha D{z1 , z2 , . . . , zn } uma curva suave
por partes , orientada no sentido positivo, tal que em seu interior
contenha todos os pontos z1 , z2 , . . . , zn ento:
I n
1 X
f (z)dz = res(f, zk )
2 k=1
Teorema 2
Seja D C um aberto e f : D C 7 C holomorfa em D
{z1 , z2 , . . . , zn }. Suponha D{z1 , z2 , . . . , zn } uma curva suave
por partes , orientada no sentido positivo, tal que em seu interior
contenha todos os pontos z1 , z2 , . . . , zn e que esses pontos sejam
plos de f () e que no contenha nenhum zero de f ()ento:
f 0 (z)
I
1
dz = Z P
2 f (z)

plos de f () no interior de contado tantas vezes quantas forem
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 definidas.
ATIVIDADES
ATIV. 12.1. Seja f (z) = ez csc(z). Determine todos os plos de

f () e calcule o resduo em cada polo.
Comentrio: Verifique que todos os plos de f () so simples e
use a frmula lim (z zk )f (z).
zzk
I
1
ATIV. 12.2. Determine a integral: ez csc(z)dz onde C
2 C
o crculo unitrio |z| = 1.
Comentrio: Aplique o teorema do resduos e o problema ante-
rior.

182
AULA
Aplicaes do Teorema
dos Resduos 13
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 especificamente, 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:
Z +
f (x)dx (13.187)

Sabemos de Clculo II que se a integral imprpria acima existe

pode ser calculada como o limite:
Z +M
lim f (x)dx (13.188)
M M
r +r x
Figura 13.1: Aplicaes do Teorema dos Resduos
184
Analisaremos o seguinte caso: a nossa funo f () holomorfa no 13
semi-plano superior e borda exceto em um nmero finito de plos
{z1 , z2 , . . . , zn } para os quais Im(zk ) > 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 suficiente para que todos os plos {z1 , z2 , . . . , zn }
estejam contidos no interior de C.
Do teorema de Cauchy temos:
n I
X 1
res(f, zk ) = f (z)dz
2 C
k=1
Z Z
1 1 (13.189)
= f (z)dz + f (z)dz
2 2
Z Z r
1 1
= f (re t )re t dt + f (x)dx
2 0 2 r
se:
Z
lim f (ret )ret dt = 0 (13.190)
r 0
Passando o limite r em eqn 13.189 e usando eqn 13.190

temos:
Z r n
X
lim f (x)dx = 2 res(f, zk ) (13.191)
r r
k=1
Veremos agora uma condio suficiente para eqn 13.190.

Se |f (z)| M/rk onde M e k > 1 so constantes ento:
Z Z
lim f (z)dz = lim f (re t )re t dt = 0 (13.192)
r r 0
PROVA: Das propriedades da integrao complexa temos:

Z Z
f (z)dz |f (z)|.|dz|

M
k r
r
M
k1
r
185
Visto que o comprimento do arco r. Da, como k > 1, pas-

sando o limite r temos:
Z M
lim f (z)dz lim k1

r r r
=0
e portanto:
Z
lim f (z)dz = 0.
r
y
z2 z1
x
z3 z4
Vejamos um exemplo:
Z
1
Exemplo 13.1. Determine a integral dz, onde a > 0.
z 4 + a4
1
SOLUO: Para a funo do exemplo f (z) = os plos
z4 + a4
(ver figura 13.2) so:
z1 = a cos(/4) + a sin(/4) = ae/4

z2 = a cos(3/4) + a sin(3/4) = ae3/4
z3 = a cos(5/4) + a sin(5/4) = ae5/4
z4 = a cos(7/4) + a sin(7/4) = ae7/4
Logo apenas os plos z1 e z2 esto no interior de C (ver figura

13.1 e figura 13.2). Levando em conta que todos os plos de
1
f (z) = 4 so plos simples podemos calcular os resduos em
z + a4
z1 e z2 usando regra de LHopital da seguinte forma: Resduo
186
em z1 : 13
res(f, z1 ) = lim (z z1 )f (z)
zz1
1
= lim (z z1 )
zz1 z4 a4
z z1
= lim (13.193)
zz1 z 4 a4
1
= lim
zz1 4z 3
1
= 3 3/4
4a e
Resduo em z2 :

zz2
1
= lim (z z2 )
zz2 z4 a4
z z2
= lim (13.194)
z 4 a4
zz2
1
= lim
zz2 4z 3
1
= 3 9/4
4a e
De eqn 13.193 e eqn 13.194 temos:
2
X 1 1
res(f, zk ) = +
k=1
4a3 e3/4 4a3 e9/4
1 3/4
= (e + e9/4 ) (13.195)
4a3
1
= 3 (cos(3/4) + sin(3/4)
4a
+ cos(9/4) + sin(9/4))
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
X 1
res(f, zk ) = (2 sin(3/4))
4a3
k=1
(13.196)
2
= 3
4a
187
Portanto de eqn 13.191 e eqn 13.196 temos:

Z 2
1 X
4 4
dx = 2 res(f, zk )
x +a
k=1

2 (13.197)
= 2 3
4a
2
= .
2a3
Analisaremos agora um outro caso especial: integrais da forma

Z 2
f (cos(), sin())d. Para este caso usaremos o contorno da
0
figura 13.3 e fazemos a seguinte mudana de varivel: z = e .
1 e + e z + z 1
Logo: dz = e d, d = dz, cos() = = e
z 2 2

e e

zz 1
sin() = = . Vejamos um exemplo:
2 2
Z 2
1
Exemplo 13.2. Calculo a integral d onde: a >
0 a + b cos()
|b|.
SOLUO: Usando as transformaes acima temos:

Z 2
1
I= d
0 a + b cos()
I
1 1
= 1 dz
C z+z z (13.198)
a+b
2
2
I
= 2
dz
C bz + 2az + b
188
Os plos da funo f (z) =

bz 2
2
+ 2az + b
so obtidos resolvendo
13
bz 2 + 2az + b = 0. Os dois plos simples so:

2a + 4a2 4b2
z1 =
2b
a + a2 b2
=
b
2a 4a2 4b2
z2 =
2b
a a2 b2
=
b
Apenas z1 pertence a regio limitada por pois,
a + a2 b2
|z1 | =

b

a2 b2 + a a2 b2 a
=

b

a2 b2 + a
b
=

2 2

a b +a
<1
Por outro lado

a a2 b2
|z1 | =

b

a + a2 b2
=

b

>1
O que garante z2 fora da regio limitada por . Para o resduo de

f () em z1 temos:

zz1
2(z z1 )
= lim
zz1 bz 2 + 2az + b
(13.199)
2
= lim
zz1 2bz + 2a

=
a b2
2
189
2
Usando o teorema dos resduos em f (z) = e na curva
+ 2az + b bz 2
fechada suave e usando eqn 13.198 e eqn 13.199 temos:
2
2
Z I
1
I= d = dz
0 a + b cos() bz 2 + 2az + b
= 2res(f, z1 )
2
= .
a2 b2
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 finito de plos {z1 , z2 , . . . , zn } para os quais Im(zk ) >
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 suficiente para que todos os plos {z1 , z2 , . . . , zn } estejam
contidos no interior de C (figura 13.1).
Se |f (z)| M/rk onde M e k > 1 so constantes ento:
Z Z r n
X
f (x)dx = lim f (x)dx = 2 res(f, zk ) (13.200)
r r
k=1
190
Segunda Aplicao
Z 2
13
Integrais da forma f (cos(), sin())d. Para este caso usare-
0
mos o contorno da figura 13.3 e fazemos a seguinte mudana
1
de varivel: z = e . Logo: dz = e d, d = dz, cos() =
z
e + e z + z 1 e e z z 1
= e sin() = = . E temos:
2 2 2 2
z + z 1 z z 1 1
Z 2 I
f (cos(), sin())d = f , dz
0 C 2 2 z
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
Z
1
ATIV. 13.1. Determine a integral dz, onde a > 0.
z 6 + a6

primeiro exemplo acima, ele lhe servir de guia.
Z 2
1
ATIV. 13.2. Calculo a integral d onde: a > |b|.
0 a + b sin()
segundo exemplo acima, ele lhe servir de guia.
191

192
AULA
Transformaes Conformes
14
META:
Introduzir o conceito de transformaes conforme.
OBJETIVOS:
Definir transformaes conformes e exemplificar transformaes
conformes.
PR-REQUISITOS
14.1 Introduo
Caros alunos estamos quase no final 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 definio do conceito de transformaes con-

formes:
y plano xy v plano w
(u0 , v0 )
C2
C1 C20
(x0 , y0 ) C10
x u
Figura 14.1: Transformaes Conformes
Definio 14.1. Seja : D R2 7 R2 uma transformao de

um aberto D de R2 em R2 tal que leva o ponto (x0 , y0 ) do plano
xy no ponto (u0 , v0 ) do plano uv. Se dada duas curvas C1 e C2
do plano xy que se interceptam em z0 so levadas na curvas C10 e
C20 que se interceptam em (u0 , v0 ) (ver figura 14.1) ento se
tal que o ngulo entre as curvas C1 e C2 em (x0 , y0 ) igual ao
ngulo entre C10 e C20 em mdulo e sentido, dizemos que uma
transformao conforme em (x0 , y0 ).
194
Vamos examinar a mudana de direo de curvas no plano com- 14
plexo z, passando pelo ponto z0 sob a transformao w = f (z)
quando a funo em questo holomorfa em z0 e alm disso f 0 (z0 ) 6=
0. Para isso enunciamos e provamos o seguinte teorema:
y plano z v plano w
z0 + z w0 + w
C C0
0 + a
0
z0 w0
x u
Teorema 14.1. Sejam D C um aberto, f : D C 7 C, w =

f (z) uma transformao holomorfa em z0 D tal que f 0 (z0 ) 6= 0
ento a tangente a qualquer curva C passando por z0 girada de
um ngulo igual a arg(f 0 (z0 )).
PROVA: Quando um ponto se move de z0 a z0 + z ao longo

da curva C no plano z (ver figura 14.2) sua imagem atravs de
f (z) move-se ao longo de C 0 , no plano w, de w0 at w0 + 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 0 tal que: z0 = z(t0 ) e w0 = w(t0 ) = f (z(t0 )).
dz dw
As derivadas e representam os vetores tangente nos pontos
dt dt
correspondentes de C e C 0 . Da, ento, da regra da cadeia, temos:
dw dw dz
= .
dt dz dt (14.201)
dz
= f 0 (z).
dt
195
Em particular fazendo t = t0 em eqn 14.201 temos:

dw dz
= f 0 (z(t0 )).
dt t=t0 dt t=t0

Que equivalente a:
dw 0 dz
= f (z0 ). (14.202)
dt w=w0 dt z=z0

dw
Levando em conta que f (z) holomorfa em z0 . Escrevendo =
dt w
dz

w0 = f0 e 0 , f 0 (z0 ) = R0 e e = r0 e 0 e substituindo em
dt z=z0

eqn 14.202 temos:
f0 e 0 = R0 e .r0 e 0
(14.203)
= R0 .r0 e (+0 )
Finalmente, de eqn 14.203 temos:
0 = 0 + = 0 + arg(f 0 (z0 )).
OBS 14.1. Notem que nos pontos crticos (pontos para os quais
f 0 (z0 ) = 0) indeterminado.
Teorema 14.2. Sejam D C um aberto, f : D C 7 C, w =

f (z) uma transformao holomorfa em z0 D tal que f 0 (z0 ) 6=
0 ento, o ngulo entre duas curvas C1 e C2 passando por z0
preservado pela transformao w = f (z) em mdulo e direo.
PROVA: Pelo teorema 14.2 cada curva gira do ngulo arg(f 0 (z0 ))
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
Teorema 14.3. Seja C uma curva simples fechada, contorno de 14
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.
y plano z v plano w
z0
f (z0 )
x 1 u
Exemplo 14.1. Como primeiro exemplo, vamos mostrar que a

z z0
transformao w = f (z) onde f (z) = e0 , z0 um ponto do
z z0
semiplano superior e 0 R transforma o semiplano superior no
plano z no disco unitrio no plano w (ver figura 14.3).
197
y plano xy
z
|
z0

|z
z0
z0 |
|z
x
z0
SOLUO: Da figura 14.4 se z pertence ao semiplano superior

temos |z z0 | |z z0 | ocorrendo a igualdade se z pertence ao
eixo real. Da, temos:
z z0
|w| = e0

z z0

|z z0 |
= |e0 |.
|z z0 |
1
pois, |e0 | = 1 e |z z0 | |z z0 |.
OBS 14.4. Observamos tambm que f (z0 ) = 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.
Definio 14.2. Uma transformao fracionria
az + b
w = f (z) = (14.204)
cz + d
tal que ad bc 6= 0 dita uma transformao de Mbius.
198
Uma das propriedades das transformaes fracionrias, em par- 14
ticular as transformaes de Mbius, que a composio de duas
transformaes fracionria uma transformao fracionria. sejam
az + b z +
f (z) = e g(z) = . Da, temos:
cz + d z +
z +
a +b
z +
(f g)(z) = f (g(z)) =
z +
c +d
z +
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:
dw + b
z = f 1 (w) =
cw a
Se c = 0 deixa de ser uma transformao fracionria e passa a ser
uma transformao linear.
Caso c 6= 0 podemos reescrever eqn 14.204 na forma:
a bc ad 1
w = f (z) = +
c c cz + d
e portanto a condio ad bc 6= 0 garante que eqn 14.204 no
a transformao constante.
14.3.2 Pontos fixos 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 definio:
Definio 14.3. Seja f : C 7 C uma transformao. Dizemos

que z C um ponto fixo de f () se, somente se z = f (z).
Vejamos um exemplo:
Exemplo 14.2. Determine os pontos fixos da seguinte transfor-

2z 5
mao fracionria: f (z) = .
z+4
SOLUO: Da definio de ponto fixo temos:
2z 5
z = f (z) =
z+4
Da, desfazendo a frao temos:
z 2 + 2z + 5 = 0
Resolvendo a equao do segundo grau temos:

22 4.1.5
2 +
z1 =
2
2 + 16
=
2
= 1 + 2

2 22 4.1.5
z2 =
2
2 16
=
2
= 1 2.
Ficaremos por aqui.
200
14.4 Concluso 14
Na aula de hoje, vimos que funes holomorfas so transfor-
maes conformes i.e. transformaes que preservam o ngulo en-
tre vetores.
RESUMO
Definio:
Seja : D R2 7 R2 uma transformao de um aberto D de
R2 em R2 tal que leva o ponto (x0 , y0 ) do plano xy no ponto
(u0 , v0 ) do plano uv. Se dada duas curvas C1 e C2 do plano xy
que se interceptam em z0 so levadas na curvas C10 e C20 que se
interceptam em (u0 , v0 ) (ver figura 14.1) ento se tal que o
ngulo entre as curvas C1 e C2 em (x0 , y0 ) igual ao ngulo entre
C10 e C20 em mdulo e sentido, dizemos que uma transformao
conforme em (x0 , y0 ).
Teorema 1:
Sejam D C um aberto, f : D C 7 C, w = f (z) uma transfor-
mao holomorfa em z0 D tal que f 0 (z0 ) 6= 0 ento a tangente a
qualquer curva C passando por z0 girada de um ngulo igual a
arg(f 0 (z0 )).
Teorema 2:
Sejam D C um aberto, f : D C 7 C, w = f (z) uma trans-
formao holomorfa em z0 D tal que f 0 (z0 ) 6= 0 ento, o ngulo
201
entre duas curvas C1 e C2 passando por z0 preservado pela trans-

formao w = f (z) em mdulo e direo.
Definio:
Uma transformao fracionria
az + b
w = f (z) =
cz + d
tal que ad bc 6= 0 dita uma transformao de Mbius.

Definio:
Seja f : C 7 C uma transformao. Dizemos que z C um
ponto fixo 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 fluidos.
ATIVIDADES
z z0
ATIV. 14.1. que a transformao w = f (z) onde f (z) = e0 ,
z z0
z0 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
ATIV. 14.2. Seja f (z) =

z+a
z+b
uma transformao fracionria.
14
Qual a relao entre a e b garante que a transformao tem apenas
um ponto fixo?

exemplo de ponto fixo, 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
Transformaes Conformes:
Aplicaes 15
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 fluidos.
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 u
+ =0
x y
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
i) Usar uma aplicao conforme que leve a regio B no semi- 15
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 7 C holomorfa tal que f 0 (z) 6= 0z B ento existe uma nica
funo f 1 : Img(f ) 7 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 R2 , para o plano
complexo.
Teorema 15.2. Sejam Bz e Bw abertos simplesmente conexos dos

plano z e plano w respectivamente e f : Bz 7 Bw uma aplicao
conforme tal que f 0 (z) 6= 0z Bz ento se harmnica em
Bw , f harmnica em Bz .
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 0 (z) 6= 0 ento:
2 2 2 2

+ = |f 0 (z)|2 +
x2 y 2 u2 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:
u v u v
= + e = +
x u x v x y u y v y
Para a segunda derivada, usando a regra da cadeia a derivada de
um produto, temos:
2 2 u u 2 v

v
2
= 2
+ + 2
+
x u x x u x v x x v x
2 2 u u u

v
= + +
x2 u x2 x u u x v u x
2 v

u u v
+ + +
v x2 x u v x v v x
2 u u 2 u 2 v

= + +
u x2 x u2 x vu x
2 v u 2 u 2 v

+ + +
v x2 x uv x v 2 x
2
Do mesmo modo, calculando temos:
y 2
2 2 u u 2 u 2 v

= + +
x2 u y 2 y u2 y vu y
2 v u 2 u 2 v

+ + +
v y 2 y uv y v 2 y
2 2
Somando com temos:
x2 y 2
208
15
2 2 2u 2u 2 v 2v

+ = + + +
x2 y 2 u x2 y 2 v x2 y 2
" # " 2 #
2 u 2 u 2 2 v 2

v
+ 2
+ + 2
+
u x y v x y
2 u v

u v
+2 +
uv x x y y
Como w = u + v = f (z) analtica temos que u e v satisfazem as

equaes de Cauchy-Riemann:
u v v u
= e = . Da, temos:
x y x y
u v u v v v v
+ = y = 0. O que elimina a ltima
x x y y y x v x
parte da equao acima e temos:
2 2 2u 2u 2 v 2v

+ = + + +
x2 y 2 u x2 y 2 v x2 y 2
" # " 2 #
2 u 2 u 2 2 v 2

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

2u 2u 2v 2v
+ = 0 e + = 0, o que elimina os dois primeiros
x2 y 2 x2 y 2
termos da equao e temos:
" 2 2 # " 2 2 #
2 2 2 2

u u v v
2
+ 2
= + + +
x y u2 x y v 2 x y
u v v u
Usando as equaes de Cauchy-Riemann = e =
x y x y
temos:
u v u v v v v
+ = y = 0. O que elimina a ltima
x x y y y x v x
209
parte da equao acima e temos:
2 2 2 2 2 2
u u v v u v
+ = + = + = |f 0 (z)|2
x y x y x x
E a equao acima toma a forma:
2 2 2 2

+ = |f 0 (z)|2 +
x2 y 2 u2 v 2
Teorema 15.4. Sejam Bz e Bw abertos simplesmente conexos dos

plano z e plano w respectivamente e f : Bz 7 Bw uma aplicao
conforme tal que f mapeia Bz em Bw ento se satisfaz:

(u, v) = c, (u, v) Bw ou (u, v) = 0, (u, v) Bw
~~n
f satisfaz:
( f )
(f )(x, y) = c, (x, y) Bz ou (x, y) = 0, (x, y) Bz
~~n
15.2.1 Problemas de Dirichlet
Vejamos a definio:
Definio 15.1. O problema de Dirichlet consiste em determinar

uma funo (x, y) contnua com derivadas parciais contnuas que
satisfaam:
+ = 0 , (x, y) B

x y (15.206)
(x, y) = c , (x, y) B

onde c R.
15.2.2 Problemas de Neumann
Vejamos a definio:
210
Definio 15.2. O problema de Neumann consiste em determinar 15
uma funo (x, y) contnua com derivadas parciais contnuas que
satisfaam:

+ = 0 , (x, y) B
x y (15.207)
(x, y) = 0 , (x, y) B

~~n

onde ~n a normal unitria a B orientada para fora de B e a
~~n
derivada direcional de na direo da normal.
15.2.3 Aplicaes ao Escoamento de Fluidos
Muitos problemas de hidrulica, dinmica dos fluidos ou aerodi-

nmica dos fluidos podem ser resolvidos por mtodos de variveis
complexas, em especial com aplicaes conformes, como veremos
nesta subseo. Para este fim so necessrias algumas conside-
raes que simplificaram tremendamente a nossa tarefa. As hipte-
ses bsicas so as seguintes:
i) O escoamento bi-dimensional. As caractersticas bsicas do

escoamento de fluidos 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 fluido depende ape-

nas das coordenadas espaciais (x, y) e no do tempo.
iii) Fluido no viscoso. O fluido no tem viscosidade, escoa sem

atrito.
iv) Escoamento potencial. A velocidade do fluido deriva de um

campo potencial i.e. se vx e vy so as componentes da veloci-
dade na direo x e na direo y respectivamente, existe uma
211
funo (x, y) tal que:

vx =

x (15.208)

vy =

y
v) Fluido incompressvel. Equivale a dizer que a densidade do

fluido constante e o campo de velocidade satisfaz:
vx vy
+ (15.209)
x y
OBS 15.2. Substituindo eqn 15.208 e eqn 15.209 temos:
2 2
+ (15.210)
x2 y 2
logo o potencial de velocidade uma funo harmnica. Se

a harmnica conjugada de definimos o potencial complexo
por: (z) = (x, y) + (x, y). Da, temos:
d
0 (z) =
dz

= +
x x (15.211)

=
x x
= vx vy
OBS 15.3. As famlias de curvas a um parmetro:

(x, y) =
(15.212)
(x, y) =
onde e so constante so denominadas curvas eqipotenciais

e curvas de fluxo respectivamente. Em escoamentos estacionrios
curvas de fluxo representam trajetria reais das partculas do flu-
ido.
212
15.2.4 Escoamento em Torno de Obstculos 15
Um problema importante em dinmica dos fluidos determinar
como um fluido, inicialmente escoando com velocidade constante
v0 , perturbado pela introduo de obstculos. A inteno obter
um potencial complexo da forma:
(z) = v0 z + G(z) (15.213)
tal que lim G(z) = 0 garantindo que longe do obstculo a veloci-

|z|
dade tem mdulo constante.
y plano z w plano w
a x u
a2
Figura 15.1: Transformao f (z) = z +
z
Exemplo 15.1. Estudar o potencial complexo de escoamento (z) =

a2

v0 z + .
z
SOLUO: Pela figura 15.1 a transformao conforme f (z) =

a2
z+ leva o exterior do semi-crculo de raio a centrado em z0 = 0
z
do semiplano superior do plano z no semiplano superior do plano
w. Portanto podemos usa-la para descrever o escoamento de um
fluido incompressvel, no viscoso, estacionrio em torno do semi-
crculo. Da, fazendo z = re podemos reescrever o potencial
213
complexo na forma:
(z) = +
a2

= v0 re + (15.214)
re
2 a2

a
= v0 r + cos() + v0 r sin()
r r
De eqn 15.214 temos:
a2

(r, ) = v0 r + cos()

r
(15.215)
a2

(r, ) = v0 r sin()

r
Ento as curvas (r, ) = (ver figura 15.2) representam as

linhas de corrente i.e. as trajetrias reais das partculas do fluido.
Figura 15.2: Linhas de corrente
Por outro lado, derivando o potencial complexo para obter a

velocidade complexa temos:
V = 0 (z)
a2

= v0 1
z2

a2
(15.216)
= v0 1
re
a2 v0 a2

= v0 1 cos() sin()
r2 2
214
distante do semi-crculo, lim V = v0 i.e. o fluido est escoando
r
15
na direo do semi-eixo real positivo com velocidade constante v0 .
15.3 Concluso
Na aula de hoje, vimos que possvel usar aplicaes conformes

para resolver alguns tipos de problemas de escoamento de fluidos.
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 7 C holomorfa
tal que f 0 (z) 6= 0z B ento existe uma nica funo f 1 :
Img(f ) 7 B.
Teorema 2:
Sejam Bz e Bw abertos simplesmente conexos dos plano z e plano
w respectivamente e f : Bz 7 Bw uma aplicao conforme tal que
f 0 (z) 6= 0z Bz ento se harmnica em Bw , f harmnica
em Bz .
Teorema 3:
Sejam Bz e Bw abertos simplesmente conexos dos plano z e plano
w respectivamente e f : Bz 7 Bw uma aplicao conforme tal que
215
f mapeia Bz em Bw ento se satisfaz:

(u, v) = c, (u, v) Bw ou (u, v) = 0, (u, v) Bw
~~n
f satisfaz:
( f )
(f )(x, y) = c, (x, y) Bz ou (x, y) = 0, (x, y) Bz
~~n
Definio: Problema de Dirichlet

O problema de Dirichlet consiste em determinar uma funo (x, y)
contnua com derivadas parciais contnuas que satisfaam:

+ = 0 , (x, y) B

x y (15.217)
(x, y) = c , (x, y) B

onde c R.
Definio: Problema de Neumann
O problema de Neumann consiste em determinar uma funo (x, y)
contnua com derivadas parciais contnuas que satisfaam:

+ = 0 , (x, y) B
x y (15.218)
(x, y) = 0 , (x, y) B

~~n

onde ~n a normal unitria a B orientada para fora de B e a
~~n
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
Ele apenas um introduo ao maravilhoso mundo das Variveis 15
Complexas. A Leitura complementar fornece material adicional
para quem desejar mais informaes.
ATIVIDADES
ATIV. Considere o potencial complexo de escoamento (z) =

15.1.
a2

v0 z + e determine os pontos de estagnao do fluido.
z
Comentrio: Lembre-se que os pontos de estagnao em um

escoamento so pontos onde a velocidade complexa nula.
ATIV. Considere o potencial complexo de escoamento (z) =

15.2.
a2

v0 z + e mostre que as curvas ae t , t [0, ], t, t (, a]
z
e t, t [a, ) so linhas de corrente.
Comentrio: Volte ao exemplo e estude a equao das linhas de
corrente.

217

218

Livro Variáveis Complexas PDF

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

Livro Variáveis Complexas PDF

Enviado por

Direitos autorais:

Formatos disponíveis

SUMRIO

Aula 1: lgebra dos Nmeros Complexos 13

Aula 2: Limites de Funes de Variveis Complexas 25

Aula 3: Derivao Complexa 39

Aula 4: Mais Alguns Aspectos da Derivao Complexa

Aula 5: Funes Elementares do Clculo Complexos 1

Aula 6: Funes Elementares do Clculo Complexos 2

Aula 7: Integrao Complexa 103

Aula 8: Teoremas de Cauchy 113

8.2 Preliminares . . . . . . . . . . . . . . . . . . . . . . 114

8.3 Teoria de Cauchy . . . . . . . . . . . . . . . . . . . 115

8.4 Frmula Integral de Cauchy . . . . . . . . . . . . . . 123

8.5 Concluso . . . . . . . . . . . . . . . . . . . . . . . 129

Aula 9: Convergncia de Sries de Nmeros Complexos

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

Aula 11: Singularidades de Funes de Variveis Complexas

Aula 12: Clculo de Resduos 173

Aula 14: Transformaes Conformes 193

Aula 15: Transformaes Conformes: Aplicaes 205

Caros alunos iniciamos aqui nosso curso de Variveis Com-

1.2 Um Pouquinho de Histria

interessante notar que a descoberta dos nmeros complexos no

1.3 Nmeros Complexos

Vamos agora por a mo na massa comeando pela incio. Isto ,

Definio 1.1. Um nmero complexo z = (x, y) um par or-

OBS 1.1. Denotamos C o conjunto de todos os nmeros com-

A igualdade de nmeros complexos derivada da igualdade de

Definio 1.2. Seja z1 = (x1 , y1 ) e z2 = (x2 , y2 ) dois nmeros

OBS 1.2. Apesar de ser definido como par ordenado de nmeros

Os nmeros complexos possuem, entre outras, as seguintes pro-

ii) z1 .z2 = z2 .z1 simetria da multiplicao

iii) (z1 + z2 ) + z3 = z1 + (z2 + z3 ) associatividade da soma

iv) (z1 .z2 ).z3 = z1 .(z2 .z3 ) 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.

ix) z1 .(z2 + z3 ) = z1 .z2 + z1 .z3 distributividade da multiplicao

OBS 1.3. Fazendo as seguintes identificaes: 1 = (1, 0) e =

Definio 1.3. Seja z = x + y C um nmero complexo. Defi-

OBS 1.4. Dado um nmero complexo z = x + y C, podemos

Definio 1.4. Dado um nmero complexo z = x + y C, defi-

Um conceito importante a ser em seguida definido o de conjugado.

Definio 1.5. Seja z = x + y C um nmero complexo. Defi-

OBS 1.5. O mdulo e o conjugado esto relacionados por: |z|2 =

Algumas propriedades do mdulo:

Figura 1.1: Conjugado de um nmero complexo

ii) |z1 .z2 | = |z1 |.|z2 |

iii) |z1 + z2 | |z1 | + |z2 |

iv) se z = x + y ento |z| |x| e |z| |y|

Algumas propriedades do conjugado:

ii) z1 .z2 = z1 .z2

Como podemos associar um nmero complexo z = x + y C a

Figura 1.2: Forma polar de um nmero complexo

Definio 1.6. Seja z = x + y C um nmero complexo.

dita representao polar do nmero z.

OBS 1.6. O mdulo de z dado por:

Definio 1.7. Dado um nmero complexo z C em sua forma

OBS 1.7. O argumento de um nmero complexo tem uma in-

OBS 1.8. Se z = r cos() + r sin() e w = % cos() + % sin().

Fazendo o produto z.w temos: