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
38
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
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
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
81
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
LEITURA COMPLEMENTAR . . . . . . . . . . . 101
Aula 7: Integrao Complexa
103
7.1
Introduo . . . . . . . . . . . . . . . . . . . . . . . 104
7.2
Integrao Complexa . . . . . . . . . . . . . . . . . 104
7.3
Integrais de Linha Reais
7.4
Relao entre Integrais de Linha Complexa e Real . 106
7.5
Integral Indefinida . . . . . . . . . . . . . . . . . . . 109
7.6
Concluso . . . . . . . . . . . . . . . . . . . . . . . 109
. . . . . . . . . . . . . . . 105
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
9.6
Concluso . . . . . . . . . . . . . . . . . . . . . . . 145
. . . . . . . . . . . . . . . . . . 141
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
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 Complexas 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. Historicamente a idia de nmeros complexos apareceu com o Matemtico
italiano Gerolamo Cardano, que os chamou de fictcius. Scipione del Ferro, Matemtico italiano, por volta de 1510, encontrou uma forma geral para a soluo da equao cbica incompleta 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 cbicas 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
s
s
r
r
q 2
q 2
q
p 3
q
p 3
x=
+
+ 3 +
+
. Foi Rafael
2
2
3
2
2
3
Bombelli, engenheiro hidrulico nascido em Bolonha, Itlia, em
3
AULA
1530, quem conseguiu atravessar a barreira e chegar aos novos

nmeros. Bombelli, estudando a equao x3 15x 4 = 0 por inspeo verificou que x = 4 era soluo. Dividindo x3 15x 4 por
x4 encontrou x2 +4x+1 = 0 cujas solues so reais porm, subp
stituindo na frmula de Tartaglia encontramos x = 3 2 + 121+

p
3
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 ordenado 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 complexos 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 propriedades:
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.

x
y
1
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
Variveis Complexas
AULA
z = x + y, que uma forma mais simples de se manipular desde
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. Definimos 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, definimos o mdulo de z, denotado |z|, por:
def
|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. Definimos 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

y
z
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
iii) x = Re(z) =
z + z
2
iv) y = Im(z) =
z z
2
Como podemos associar um nmero complexo z = x + y C a

um ponto do plano xy, podemos usar coordenadas polares e definir
uma nova forma de representao d nmeros complexos. A saber:
18
Variveis Complexas
AULA
y
z = r cos() + r sin()
r
x
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
(r cos())2 + (r sin())2
q
= r2 cos2 () + r2 sin2 ()
q
= r2 (cos2 () + sin2 ())
= r2
|z| =
=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 infinidade de valores j que cos( + 2k) = cos(), k Z e sin( +
2k) = sin(), k Z. qualquer dos + 2k pode ser um argumento.
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 argumento 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 estrutura 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
Variveis Complexas
AULA
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 )
Algumas Propriedades
Os nmeros complexos possuem, entre outras, as seguintes propriedades:
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.

x
y
1
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) respectivamente, 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
2
z z
iv) y = Im(z) =
2
iii) x = Re(z) =
Definio
Seja z = x + y C um nmero complexo. Fazendo x = r cos()
22
Variveis Complexas
AULA
e y = r sin() a representao: z = r cos() + r sin() dita
representao polar do nmero z.

Produto na Forma Polar
Se z = r cos() + r sin() e w = % cos() + % sin(). Fazendo o
produto z.w temos:
z.w = r% cos( + ) + r% sin( + )
PRXIMA AULA
Em nossa prxima aula introduziremos o conceito de funes de

variveis complexas e o conceito de limites no corpo dos nmeros
complexos. Veremos tambm, algumas propriedades dos limites de
funes complexas.
ATIVIDADES
Deixamos como atividades as seguintes questes:
ATIV. 1.1. Sejam 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, Editora 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 Variables 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
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 disciplina 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
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
AULA
Variveis Complexas
y
Br (z0 )
r1
z0
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 complementar {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 conjunto 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
Variveis Complexas
AULA
Tambm, com o objetivo de simplificao e a menos que seja indi-
cado o contrrio, o domnio de D de f ser um conjunto aberto.

OBS 2.7. Desde que a imagem de uma funo complexa um
nmero complexo, podemos ter uma forma alternativa de representar 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
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) = . Vaz
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
|z| < 2
30
(2.3)
AULA
Variveis Complexas
Da, teremos a seguinte limitao:

|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 | <
(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) =
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
lim v(x, y) = v0 .
w0 se, somente se: xx
lim u(x, y) = u0 e xx
0
yy0
0
yy0
Temos tambm o seguinte teorema que sintetiza algumas das propriedades 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
f0
zz0
iv) lim
(z) =
=
se g0 6= 0
zz0
g
lim g(z)
g0
zz0
OBS 2.10. As propriedades dos limites de funes complexas resumida 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
Variveis Complexas
AULA
Definio 2.10. Sejam D C um aberto de C, F : D C 7 C
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 referentes 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
iv)
f
(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 composta 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

Definimos os seguintes conceitos topolgicos no plano complexo:
Bola Aberta
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}
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
Variveis Complexas
AULA
um conjunto aberto se, somente se: Para todo z D, existe > 0
tal que B (z) D.

Conjunto Fechado
Seja D C um subconjunto do plano complexo. Dizemos que D
um conjunto fechado se, somente se se complementar {C (D) em
relao a C for aberto.
Ponto Interior
Sejam D C um subconjunto do plano complexo e z D. Dizemos 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. Dizemos que z um ponto exterior de D se, somente se existe > 0
tal que B (z) {C (D).
Ponto de Fronteira
Sejam D C um subconjunto do plano complexo 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= .
Ponto de Acumulao
Sejam D C um subconjunto do plano complexo e z C. Dizemos 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
somente se: xx
lim u(x, y) = u0 e xx
lim v(x, y) = v0 .
0
yy0
0
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
f0
zz0
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
Variveis Complexas
AULA
complexa e z0 D. Dizemos que f () contnua se, somente se:
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
f0
zz0
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 .
Comentrio:
exemplo, ele lhe servir de guia.
BROWN, James W. and CHURCHILL, Ruel R., Complex Variables and Applications Editora McGraw Hill, 2008.
38
AULA
Derivao Complexa
META:
Introduzir o conceito de derivada de funes de variveis complexas.
OBJETIVOS:
Definir derivada de funes de variveis complexas e
determinar a derivada de algumas funes de variveis complexas.
PR-REQUISITOS
Derivao Complexa
3.1
Introduo
Caros alunos em nossa aula de hoje veremos a Derivao Complexa. Em muitos aspectos a derivao complexa tem as mesmas
propriedades da derivao real. Em outros porm a derivao complexa 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 0 (z0 ) = lim
zz0
f (z) f (z0 )
z z0
(3.7)
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 0 (z0 ) = lim
zz0
f (z0 + z) f (z0 )
z
(3.8)
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
Variveis Complexas
AULA
Exemplo 3.1. Seja f : C 7 C dada por f (z) = z 3 . Calculemos
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:
lim
z0
f (z0 + z) f (z0 )
= lim (3z02 + 3z0 z + (z)2 )
z0
z
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
= 1. E passando o limite z 0 que equivalente, neste
z
caso a x 0 temos:
Da,
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 complexo, exceto em z0 = 0.
3.3
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 (z0 ).g 0 (z0 ) g(z0 ).f 0 (z0 )
f
(z0 ) =
se g(z0 ) 6= 0
4.
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
AULA
Variveis Complexas
PROVA: Para simplificar trocaremos z por . Usando a definio
de derivada complexa temos:

f
f
(z0 + )
(z0 )
g
g
f (z0 + ) f (z0 )
g(z0 + )
g(z0 )
= lim
0
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 )
0
f
(z0 ) = lim
0
g
(3.9)
Adicionando o termo nulo f (z0 )g(z0 ) + f (z0 )g(z0 ) ao denominador da equao eqn 3.9.4 acima temos:
0
f
f (z0 + )g(z0 ) f (z0 )g(z0 )
(z0 ) = lim
0
g
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 )
g(z0 + ) g(z0 )
f (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
(3.10)
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 )
=
g(z0 + )g(z0 )
gr(z0 )
f (z0 )
f (z0 )
= 2
lim
0 g(z0 + )g(z0 )
g (z0 )
f (z0 + ) f (z0 )
f 0 (z0 ) = lim
0
g(z
+
)
g(z0 )
0
g 0 (z0 ) = lim
0
lim
Logo a ltima equao eqn 3.10.3 passa a:

0
g(z0 ) 0
f (z0 ) 0
f
(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 complexas 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
v
u
(x0 , y0 ) = (x0 , y0 )
x
y
(3.11)
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 0 (z0 ) = lim
zz0
44
f (z) f (z0 )
z z0
(3.12)
AULA
Variveis Complexas
Podemos tomar dois casos (caminhos):

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:
lim
zz0
f (z) f (z0 )
u(x, y0 ) u(x0 , y0 )
= lim
xx0
z z0
x x0
u
v
f 0 (z0 ) =
(x0 , y0 ) +
(x0 , y0 )
x
x
(3.13)
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
v(x0 , y) v(x0 , y0 )
u(x0 , y) u(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:
lim
zz0
u(x0 , y) u(x0 , y0 )
f (z) f (z0 )
= lim
yy
z z0
(y y0 )
0
u
v
f 0 (z0 ) = (x0 , y0 ) +
(x0 , y0 )
y
y
v
u
=
(x0 , y0 )
(x0 , y0 )
y
y
(3.14)
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 (x0 + , y0 + ) f (x0 , y0 ) =
f
f
(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 (x0 + , y0 + ) f (x0 , y0 + ) =
Como
f
(x0 + t, y0 + )
x
f
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 ) +
x
46
(3.16)
AULA
Variveis Complexas
Do mesmo modo temos:

f (x0 , y0 + ) f (x0 , y0 ) =

f
(x0 , y0 ) +
y
(3.17)
portanto das equaes eqn 3.15, eqn 3.16 e eqn 3.17 temos
f (x0 + , y0 + ) f (x0 , y0 ) =
f
f
(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 .
PROVA: Como, da hiptese,
u u
e
so contnuas, aplicando
x y
o lema a u(x, y), temos:

u = u(x0 + , y0 + ) u(x0 , y0 )
=
u
u
(x0 , y0 ) +
(x0 , y0 ) + 1 + 1
x
y
(3.18)
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
(x0 , y0 ) +
(x0 , y0 ) + 2 + 2
x
y
(3.19)
47
Derivao Complexa
onde 2 0 e 2 0 quando 0 e 0. Das equaes eqn
3.18 e eqn 3.19 temos:
w = u + v

u v
u v
=
+
+
+
+ +
x x
y y
(3.20)
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
w =
+
x

u
=
+
x

v
v
u
+
+
+ +
x
x x

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

w
u v
+
=
+
+
z
x x
+
(3.21)
(3.22)
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 ||

= p
1 e
1
Como

+
+
2 + 2
2 + 2
podemos reescrever eqn 3.23 como:

+
|| + ||

(3.24)
0
+
Passando o limite z 0 em eqn 3.24 lembrando que 0 e
0 quando z 0 temos:

+

0
0
+
48
Variveis Complexas
+
= 0 e passando o limite z 0 em eqn
z0 +
3.22 temos:
w
u v
f 0 (z0 ) = lim
=
+
z0 z
x x
e portanto lim
AULA
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
x
u
y
v
x
v
y
= 3x2 3y 2
= 6xy
= 6xy
= 3x2 3y 2
Vemos pois, que as equaes de Cauchy-Riemann:

v
u
=
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 0 (z0 ) = lim
zz0
f (z) f (z0 )
z z0

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 )
(z0 ) =
se g(z0 ) 6= 0
4.
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
Variveis Complexas
TEOREMA: (condio necessria)
AULA
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
,
,
e
funo complexa tal que as derivadas parciais
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 ligao de funes harmonicas com a derivao complexa.
51
Derivao Complexa
ATIVIDADES
Deixamos como atividades o clculo de algumas integrais duplas.
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
META:
Introduzir o conceito de funes holomorfas.
OBJETIVOS:
Definir funes holomorfas e
determinar se uma dada funo de variveis complexas holomorfa.
PR-REQUISITOS
Mais Alguns Aspectos da Derivao Complexa
4.1
Introduo
Caros alunos em nossa aula de hoje veremos mais alguns aspectos da derivao de funes complexas. Em particular funes
holomorfas e mostraremos algumas funes holomorfas. Veremos
tambm, a ligao de funes harmnicas com a derivao complexa. Para concluir veremos a forma polar das equaes de CauchyRiemann.
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
Variveis Complexas
AULA
por outro lado, derivando as expresses para x e y em funo de z
e z temos:
x
z
x
z
y
z
i
z
= 1/2
= 1/2
(4.26)
= 1/2
= 1/2
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:
f 0 (z0 ) = lim
zz0
z n z0n
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.
z , z 6= 0
z
Exemplo 4.2. A funo f : C 7 C dada por f (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)
z2
= lim
= lim 2
z0
z0 z
z0 z
z0
f 0 (0) = lim
Se a derivada existe em z = 0 ela ter que ser independente do

caminho com que z 0. Vamos escolher trs caminhos distintos:
56
Variveis Complexas
AULA
Caminho 1: ao longo do eixo real x. Da, z = x + 0, z = x 0
e z 0 equivale a x 0.
z2
(x 0)2
x2
=
lim
=
lim
=1
z0 z 2
x0 (x + 0 )2
x0 x2
f 0 (0) = lim
Caminho 2:
ao longo do eixo imaginrio y. Da, z = 0 + y,
z = 0 y e z 0 equivale a y 0.
z2
(0 y)2
y 2
=
lim
=
lim
=1
z0 z 2
y0 (0 + y )2
x0 y 2
f 0 (0) = lim
Como a avaliao da derivada de f () no ponto zero seguindo

os caminhos 1 e 3 so iguais temos que as equaes de CauchyRiemann so satisfeitas em z = 0 pois, as equaes de CauchyRiemann so obtidas de derivaes seguindo os eixos real e imaginrio. 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.
z2
(x x)2
x(1 )2
(1 )2
=
lim
=
lim
=
= 1
z0 z 2
x0 (x + x )2
x0 x(1 + )2
(1 + )2
f 0 (0) = lim
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:

lim = lim
zz0
4.3
zz0

f (z) f (z0 )
0
f (z 0) = f 0 (z0 ) f 0 (z0 ) = 0
z z0
Podemos expressar as equaes de Cauchy-Riemann usando coordenadas 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
v
1 u
=
r
r
(4.28)
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
AULA
Variveis Complexas
temos:
r
x
r cos()
=p
= cos()
=
2
2
x
r
x +y
r
y
r sin()
=p
=
= sin()
2
2
y
r
x +y
(4.29)
r cos()
cos()
x
=
=
= 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
u
u r u
=
+
y
r y
y
u
1 u
=
sin() +
cos()
r
r
Do mesmo modo para a funo v(, ) temos:
(4.30)
v r
v
v
=
+
x
r x x
v
1 v
=
cos()
sin()
r
r
(4.31)
v r v
v
=
+
y
r y y
v
1 v
=
sin() +
cos()
r
r
v
u
=
, usando as equaes
Da equao de Cauchy-Riemann
x
y
eqn 4.30.1 e eqn 4.31.2 temos:

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

u 1 v
v 1 u
sin() +
+
cos() = 0
r
r
r
r
(4.33)
59

Fazendo o produto da equao eqn 4.32 por cos() e da equao
eqn 4.33 por sin() e somando temos:
u 1 v
=0
r
r
(4.34)
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
r
r
(4.35)
As equaes eqn 4.34 e eqn 4.35 constituem-se a forma polar

das equaes de Cauchy-Riemann.
OBS 4.5. Veremos aqui como derivar uma funo complexa dada
na forma polar.
Seja f : D C 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
(r(cos() + sin())) = cos() +

regra da cadeia lembrando que
r
sin() temos:
f 0 (r(cos() + sin())).(cos() + sin()) =
u
v
() +
(r, )
r
r
Fazendo o produto da equao acima por cos() sin() e lembrando que (cos() + sin()).(cos() sin()) = 1 e cos()
sin() = cos() + sin() temos:

u
v
f 0 (z) = (cos() + sin()).
(r, ) +
(r, )
r
r
(4.37)
Por outro lado, derivando a equao eqn 4.36 com relao a e
usando em f () a regra da cadeia lembrando que

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

f 0 (r(cos()+sin())).(r( sin()+cos())) =
60
u
v
(r, )+ (r, )
AULA
Variveis Complexas
1
= temos: r( sin() + cos()) =
r(cos() + sin()). e a equao acima pode ser reescrita como:

Levando em conta que
f 0 (r(cos() + sin())).(r(cos() + sin())) =
v
u
(r, ) +
(r, )
1
(cos() sin()) e
r
lembrando que (cos() + sin()).(cos() sin()) = 1 e cos()
Fazendo o produto da equao acima por
sin() = cos() + sin() temos:

1
u
v
0
f (z) = (cos() + sin()).
() +
(r, )
r
4.4
(4.38)
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
x2
y
(4.39)
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) possuem derivadas contnuas de qualquer ordem em D. Alm de que
satisfazem as equaes de Cauchy-Riemann. A saber:
u
v
=
x
y
u
v
=
y
x
(4.40)
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
2v
2u
=
2
y
yx
(4.41)
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
x2
y
(4.42)
Do mesmo modo podemos mostrar que:

2v
2v
+
=0
x2 y 2
(4.43)
E portanto, u(, ) e v(, ) so funes harmnicas.

OBS 4.7. Se u(x, y) e v(x, y) so componentes de uma funo
f (z) = u(x, y) + v(x, y) holomorfa em algum domnio D C
dizemos que u e v so funes harmnicas conjugadas.
Veremos agora um exemplo, de como partindo de uma funo harmnica u(x, y) determinar sua harmnica conjugada v(x, y) e reconstruir 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
AULA
Variveis Complexas
y duas vezes temos:

u
= 2(1 y)
x
2
u
=0
x2
u
= 2x
y
2u
=0
y 2
(4.44)
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:
v
u
=
x
y
u
v
=
y
x
(4.45)
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)
x
(4.47)
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
Variveis Complexas
Definio de Funo Holomorfa em um ponto.
AULA
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.
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:

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

v
u
(r, ) +
(r, )
r
r
Derivao com relao a :

1
f (z) = (cos() + sin()).
r
0

u
v
() +
(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
Variveis Complexas
AULA
67
AULA
Funes Elementares
do Clculo Complexos 1
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 variveis complexas. Estenderemos, nesta aula, as definies das
funes exponencial e logaritmo ao domnio dos nmeros complexos 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 esperamos 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)
v(x, y) = ex sin(y)
(5.53)
Da, derivando eqn 6.64.1 e eqn 6.64.2 com relao a x e com
70
AULA
Variveis Complexas
relao a y temos:
u
x
u
y
v
x
v
y
= ex cos(y)
= ex sin(y)
(5.54)
= ex sin(y)
= ex cos(y)
Das equaes eqn 6.65 podemos verificar facilmente que:

v
u
=
x
y
u
v
=
y
x
(5.55)
Logo as equaes de Cauchy-Riemman so satisfeitas. E da continuidade 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) esto 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 exponencial no campo dos reais valem para o campo dos complexos.
Adicionalmente, teremos algumas outras propriedades da funo
71

y
+
Figura 5.1: Domnio da funo exponencial

exponencial que valem apenas no campo dos complexos (a exemplo da periodicidade).
z1 , z2 C, exp(z1 + z2 ) = exp(z1 ) exp(z2 )
z C, exp(z) =
1
exp(z)
k Z, z C, exp(kz) = (exp(z))k
z C, exp(
z ) = exp(z)
z C, exp(z + 2) = exp(z)
OBS 5.3. A ltima propriedade vale apenas no campo dos complexos 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
Variveis Complexas
AULA
Demonstrao da Primeira Propriedade: Sejam z1 , z2 C
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:
exp(x + y)
x
x
=
(e cos() + ex sin())
x
exp0 (z) =
= 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 exponencial 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
Variveis Complexas
AULA
Z corresponde a um ramo da funo logaritmo. O ramo principal
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
AULA
Variveis Complexas
para as equaes de Cauchy-Riemann e

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

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

equaes acima como:

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

u
v
1
.
() +
(r, )
=
re
0
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
r
u
v
r
v
1
r
=0
=
(5.60)
=0
=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 continuidade 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
ln0 (z) = e .
(r, ) +
r

=e .
ln(r) +
r
1
= e
r
1
=
re
1
=
z

v
(r, )
r

( + 2k)
r
(5.62)
OBS 5.9. Vemos pois que a funo logaritmo no campo dos complexos 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 praticamente 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
Variveis Complexas
Algumas Propriedades da Funo Exponencial
AULA
A funo exponencial assim definida tem as seguintes propriedades:
z1 , z2 C, exp(z1 + z2 ) = exp(z1 ) exp(z2 )

z C, exp(z) =
1
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:
log0 (z) =
1
z
PRXIMA AULA
Em nossa prxima aula vamos continuaremos o estudo da extenso 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
Variveis Complexas
AULA
Mostre, que se tomarmos o ramo principal de log() a funo assim
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
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 trigonomtricas.
Como vimos anteriormente a frmula de Eler para variveis complexas escreve-se assim:
R, e = cos() + sin()
(6.63)
Trocando em eqn. 6.63 por e levando em conta que as

funes seno e cosseno de reais so funo par e funo mpar
respectivamente, teremos:
e = cos() + sin()
e = cos() sin()
Subtraindo e adicionando as equaes eqn. 6.63 temos:
e e
sin() = e e
=
2
2
e
e
cos() =
2
(6.64)
(6.65)
Desta forma natural estender a definio das funes seno e

cosseno no domnio dos complexos por:
Para a funo seno
84
Variveis Complexas
AULA
Definio 6.1. Para todo z C, definimos a funo seno, calcu-
lada no ponto z, denotada sin(z) por:

def
sin(z) =
ez ez
2
(6.66)
Para a funo cosseno

Definio 6.2. Para todo z C, definimos a funo cosseno,
calculada no ponto z, denotada cos(z) por:
def
cos(z) =
ez + ez
2
(6.67)
As definies das funes tangente, cotangente, secante e cosecante 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
tan(z) =
sin(z)
cos(z)
(6.68)
Para a funo cotangente:

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

Definio 6.5. Para todo z C a funo secante calculada no
ponto z, denotada sec(z) definida por:
def
sec(z) =
1
cos(z)
(6.70)
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
csc(z) =
1
sin(z)
(6.71)
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
ez + ez
ez + ez
cot(z) = z
e ez
2
sec(z) = z
e + ez
2
csc(z) = z
e ez
tan(z) =
6.3
(6.72)
Propriedades das Funes Trigonomtricas
As propriedades das funo trigonomtricas 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, 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
AULA
Variveis Complexas
vii) z, w C, cos(z + w) = cos(z) cos(w) sin(z) sin(w)

viii) z, w C, sin(z + w) = sin(z) cos(w) + cos(z) sin(w)
ix) z, w C, tan(z + w) =
tan(z) + tan(w)
1 + tan(z) tan(w)
1
=
2

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

sin(2z)
1
2
x) z
C, cos2 (z)
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)
2
ez + ez
cos(z) =
2
ew + ew
cos(w) =
2
ez ez
sin(z) =
2
ew ew
sin(z) =
2
cos(z + w) =
(6.73)
Fazendo o produto das equaes eqn 6.73.2 e eqn 6.73.3 temos:

ez + ez ew + ew
2
2
z
z
w
(e + e )(e + ew )
=
4
w
z
z
e e + e ew + ez ew + ez ew
=
4
(z+w)
(wz)
e
+e
+ e(zw) + e(z+w)
=
4
cos(z) cos(w) =
(6.74)
87

Fazendo o produto das equaes eqn 6.73.4 e eqn 6.73.5 temos:
ez ez ew ew
2
2
(ez ez )(ew ew )
=
4
w
z
z
e e e ew ez ew + ez ew
=
4
(z+w)
(wz)
e
+e
+ e(zw) e(z+w)
=
4
sin(z) sin(w) = 2
(6.75)
Subtraindo as equaes eqn 6.74 e eqn 6.75 temos:

2e(z+w) + 2e(z+w)
4
(z+w)
e
+ e(z+w)
=
2
cos(z) cos(w) sin(z) sin(w) =
(6.76)
comparando as equaes eqn 6.73.1 e eqn 6.76 temos:

cos(z + w) = cos(z) cos(w) sin(z) sin(w)
6.4
(6.77)
Funes Trigonomtricas Inversas
As funes trigonomtricas inversas podem ser deduzidas das expresses de definio das funes trigonomtricas. Aqui faremos a
deduo de uma delas. A saber:
1
log(z + 1 z 2 )
1
cos1 (z) = log(z + z 2 1)

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

1
z +
1
cot (z) = log
2
z
!
2
1
1
z
z
+
sec1 (z) = log
i) sin1 (z) =
ii)
iii)
iv)
v)
88
AULA
Variveis Complexas
1
vi) csc1 (z) = log
z+
z2 1
z
Demonstraremos aqui que: sin1 (z) =
1
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:
sin(w) =
ew ew
=z
2
(6.78)
por outro lado, fazendo na equao eqn 6.78 = ew temos:

1
=z
2
(6.79)
= 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:
= z +
Onde sabemos que
p
1 z2
(6.81)
1 z 2 uma funo multivalorada. Por outro
lado, como = ew da equao eqn 6.81 temos:

ew = z +
p
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 )
p
1
sin1 (z) = 2k + log(z + 1 z 2 )
(6.83)
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:
sin1 (z) =
6.5
p
1
log(z + 1 z 2 )
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:
sin0 (z) =
d ez ez
dz
2
ez + ez
2
ez + ez
=
2
=
= cos(z)
90
(6.84)
AULA
Variveis Complexas
6.6
Funes Hiperblicas
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 hiperblico, calculada no ponto z, denotada sinh(z) por:
def
sinh(z) =
ez ez
2
(6.85)
Para a funo cosseno hiperblico.

Definio 6.8. Para todo z C, definimos a funo cosseno hiperblico, calculada no ponto z, denotada cosh(z) por:
def
cosh(z) =
ez + ez
2
(6.86)
As definies das funes tangente hiperblica, cotangente hiperblica, secante hiperblica e cosecante hiperblica no campo no
campo dos nmeros reais so feitas partir das funes seno hiperblico 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
tanh(z) =
sinh(z)
cosh(z)
(6.87)
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
coth(z) =
cosh(z)
sinh(z)
(6.88)
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
sech (z) =
1
cosh(z)
(6.89)
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
csch (z) =
1
sinh(z)
(6.90)
Alternativamente, a exemplo das funes seno hiperblico e cosseno

hiperblico, podemos definir as funes tangente hiperblica, cotangente hiperblica, secante hiperblica e cosecante hiperblica usando a funo exponencial. A saber:
ez ez
ez + ez
ez + ez
cot(z) = z
e ez
2
sec(z) = z
e + ez
2
csc(z) = z
e ez
tan(z) =
92
(6.91)
AULA
Variveis Complexas
6.7
Propriedades das Funes Hiperblicas
As propriedades das funo hiperblicas so as mesmas no campo

dos reais quanto no campo dos complexos. A seguir listaremos
algumas e faremos a demonstrao de uma delas.
i) z C, 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)
ix) z, w C, tanh(z + w) =
tanh(z) + tanh(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
2
ez ez
sinh(z) =
2
cosh(z) =
(6.92)
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
=
4
4
2z
z
2z
z
2z
e 2e e
+e
e 2 + e2z
sinh(z)2 =
=
4
4
cosh2 (z) =
(6.93)
93

Subtraindo as equaes eqn 6.93.1 e eqn 6.93.2
e2z + 2 + e2z
e2z 2 + e2z
4
4
e2z + 2 + e2z e2z + 2 e2z
=
4
4
=
4
cosh2 (z) sinh(z)2 =
(6.94)
=1
Dividindo a equao eqn 6.94 por cosh2 (z) temos:
1
cosh2 (z) sinh(z)2
=
2
cosh (z)
cosh2 (z)
1
cosh2 (z) sinh(z)2
=
2
2
cosh (z) cosh (z)
cosh2 (z)
sinh(z)2
1
1
=
cosh2 (z)
cosh2 (z)
(6.95)
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.8
(6.97)
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 +
ii) cosh1 (z) = log(z +
94
1 + z2)
z 2 1)
AULA
Variveis Complexas
1
(z) = log
2
1
(z) = log
2
iii) tanh
iv) coth
v) sech 1 (z) = log
vi)
csch 1 (z)
= log
1+z
1z

z+1
z1
!
z + 1 z2
z
z+
z2 1
z
1
Demonstraremos aqui que: tanh
1
(z) = log
2

1+z
.
1z
Demonstrao:
Da definio de funo inversa temos:
tanh(w) = z w = tanh1 (z)
Da definio da funo tanh(w) temos:
tanh(w) =
ew ew
=z
ew + ew
(6.98)
por outro lado, fazendo na equao eqn 6.98 = ew temos:

1
=z
+ 1
= ( +
(6.99)
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
uma funo multivalorada. Por outro
1z
lado, como = ew equao eqn 6.101 temos:
r
1+z
w
e =
(6.102)
1z
Onde sabemos que
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
!
(6.103)
r
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:
tanh
6.9
1
(z) = log
2
1+z
1z

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
AULA
Variveis Complexas
vi) csch 0 (z) = csch (z) coth(z)

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:
cosh0 (z) =
d ez + ez
dz
2
ez ez
2
ez ez
=
2
=
(6.104)
= 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 originais intactas.
97
RESUMO
Funes Trigonomtricas
As funes trigonomtricas so definidas por:
ez ez
def
sin(z) =
2z
z
def e + e
cos(z) =
2
ez ez
def sin(z)
tan(z) = =
= z
cos(z)
e + ez
z
e + ez
def cos(z)
= z
cot(z) =
sin(z)
e ez
1
2
def
sec(z) = =
z
cos(z) e + ez
2
1
def
= z
csc(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
Variveis Complexas
z, w C, sin(z + w) = sin(z) cos(w) + cos(z) sin(w)
AULA
tan(z) + tan(w)
1 + tan(z) tan(w)

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

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

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

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

1
z +
1
cot (z) = log
2
z
!
1
z + 1 z2
1
sec (z) = log
sin1 (z) =
1
csc1 (z) = log
z+
z2 1
z
Funes Hiperblicas Inversas As funes hiperblicas inversas so definidas por:
sinh1 (z) = log(z +
1 + z2)
cosh1 (z) = log(z + z 2 1)

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

1
z+1
1
coth (z) = log
2
z1
100
Variveis Complexas
sech 1 (z) = log
z+
csch 1 (z) = log
z+
1 z2
z
z2 1
z
AULA
PRXIMA AULA
Em nossa prxima aula veremos integrao complexa. Definiremos 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) Comentrio: Volte ao texto e reveja com calma e ateno as demonstraes acima, elas lhe serviro de guia.

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

102
AULA
Integrao Complexa
META:
Introduzir o conceito de integrao de funes de variveis complexas.
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 relao 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 .
y
zn
n1
C
1
1
z0
z1
zn1
z2
Figura 7.1: Integral de Linha
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
Variveis Complexas
AULA
Fazendo zk = zk zk1 podemos reescrever a equao eqn 7.105
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)
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 integrais 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)
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 reescrita em funo das integrais de linha reais da seguinte forma:
Z
Z
(u(x, y) + v(x, y)).(dx + dy)
f (z)dz =
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
AULA
Variveis Complexas
z0
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
=
(ar sin(t) br cos(t) 2r2 sin(t) cos(t))dt
= (ar cos(t) br sin(t) 2r2
sin2 (t) 2
)
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
)
2
0
= (ar sin(t) + br cos(t) r2

=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
Z
f (z)dz, C.
f (z)dz =
ii)
C
Z
f (z)dz =
iii)
f (z)dz, a, b C.
b
b
Z
f (z)dz =
iv)
a
f (z)dz, a, b, c C.
f (z)dz +
c

Z

v) f (z)dz M L onde |f (z)| M, z C e L o compriC
mento de C.
108
Variveis Complexas
7.5
Integral Indefinida
AULA
Vermos agora, que podemos estender o conceito de integral indefinida 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 integral 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 complexa 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
g(z)dz.
f (z)dz +
(f + g)(z)dz =
i)
C
Z
f (z)dz, C.
f (z)dz =
ii)
C
Z
f (z)dz =
iii)
f (z)dz, a, b C.
b
b
f (z)dz =
iv)
a
f (z)dz, a, b, c C.
f (z)dz +
a
Z

v) f (z)dz M L onde |f (z)| M, z C e L o compriC
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 integrao 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
AULA
Variveis Complexas
y
4
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
f (z)dz.
dada por y + x2 . Determine a integral de linha
C
Comentrio:
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
Comentrio:
exemplo, ela lhe servir de guia.
111
Integrao Complexa
112
AULA
Teoremas de Cauchy
META:
Introduzir os principais teoremas de Cauchy sobre integrao de
funes de variveis complexas.
OBJETIVOS:
Enunciar os principais teoremas de Cauchy sobre integrao de
funes de variveis complexas.
PR-REQUISITOS
Aula07 de Variveis Complexas.
Teoremas de Cauchy
8.1
Introduo
Caros alunos o tema dessa nossa aula Teoremas de Cauchy

tambm conhecidos como Teoria de Cauchy. As integrais de
funes holomorfas possuem algumas propriedades muito importantes. 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
George Green nasceu
em Sneinton, condado
de Nottinghamshire 14
de Julho de 1793 e morreu em Nottingham,
31 de Maio de 1841,
foi um matemtico e
fsico ingls. Na sua
obra Essay on the
Application of Mathematical Analysis to the
Theory of Electricity
and Magnetism (1828)
introduziu a noo de
funo potencial no
estudo dos campos
magnticos. O teorema
de Green, que demonstrou em 1828 facilitou
bastante o estudo das
funes. Wikipedia
Definio 8.1. Seja D C dizemos que D um domnio simplesmente conexo se, somente se toda curva fechada inteiramente
contida em D puder ser deformada at um ponto em curvas inteiramente contidas em D.
E agora, sem demonstrao (para uma demonstrao veja o Livro
de Clculo III), o teorema de Green no plano.
Teorema 8.1 (Teorema de Green no Plano). Sejam D R2 um
domnio e f : D R2 7 R2 uma aplicao suave. Seja V D
satisfazendo:
1. V fechado e limitado.
2. a fronteira V constituda de um nmero finito de curvas
de Jordan suaves por partes
3. V V um domnio.
114
Variveis Complexas
AULA
Supondo que V e V tem orientao compatvel. Se f (x, y) =
(u(x, y), v(x, y)) ento:

Z Z
Z
v u
(udx + vdy) =
dxdy
dx
dy
V
V
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
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 e tem derivada f 0 (z) contnua em D ento:
I
f (z)dz = 0
C
PROVA:
Augustin-Louis
Cauchy nasceu em
Paris, Frana 21 de
agosto de 1789 e morreu em Sceaux, Frana
23 de maio de 1857,
foi um matemtico
frances, pioneiro no estudo da anlise, tanto
real e quanto complexa, e em teoria de
grupos de permutao.
Ele tambm pesquisou
em convergncia e
divergncia de sries
infinitas,
equaes
diferenciais, determinantes, 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
= (udx vdy) + (vdx + udy)
C
(8.113)
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:
f 0 (z) =
u v
v u
+
=
x x
y
y
u u v v
,
,
e
so contnuas em
x y x y
D e como C D conseqentemente em C e seu interior. Podemos
Portanto, as derivadas parciais
pois aplicar o teorema de Green nas integrais da equao eqn

8.113 e temos.

I
Z Z
v
u
f (z)dz =
dxdy
x y
C
R

Z Z
u v
+
dxdy
y
R x
(8.114)
onde R a regio interior da curva C.

Por outro lado, como f (z) holomorfa, vale em D e em particular
em R, as equaes de Cauchy-Riemann.
BIOGRAFIA
douard Jean-Baptiste
Goursat nasceu em
Lanzac, Frana, 21 de
maio de 1858 e morreu
em Paris, Frana, 25 de
novembro de 1936, foi
um matemtico francs
mais conhecido por sua
verso do teorema de
Cauchy-Goursat afirmando que a integral
de uma funo em
torno de um contorno
simples fechado zero
se a funo analtica
dentro do contorno.
Mac Tutor
v
u
=
x
y
u
v
=
y
x
(8.115)
Logo, substituindo eqn 8.115 em eqn 8.114 temos:

I
f (z)dz = 0
C
Nosso prximo passo demonstrar uma verso mais forte do teorema, retirando a necessidade da continuidade da derivada f 0 (z)
em D.
Teorema 8.3 (Teorema de Cauchy-Goursat). Sejam D C um
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
AULA
Variveis Complexas
A prova do teorema sera dividida em trs partes.

Prova do Teorema de Cauchy-Goursat para o Caso de um
Tringulo
Tomando un tringulo arbitrrio , ligando os pontos A, B e C
ver 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
1
E
D
4
2
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 reesED
DE
FE
EF
DF
FD
crever eqn 8.116 como:

Z
I
f (z)dz =
Z
+
DAE
ED
Z
+
Z
+
DF
Z
+
DAED
+
Z
+
DE
FE

(8.117)
EF
Z
+
EDF E
EBF
F CD
Z
FD
Z
+
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
+
f (z)dz +
f (z)dz
3
(8.118)
Tomando o mdulo de eqn 8.118 e usando a desigualdade triangular temos:

I
I
I

f (z)dz
f (z)dz +
f (z)dz

C
1
2
I
I

+
f (z)dz +
f (z)dz
3
(8.119)
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

C

f (z)dz
(8.120)
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)
onde, neste caso 2 o sub-tringulo de 1 com maior contribuio.

Substituindo eqn 8.121 em eqn 8.120 temos:
I

I

2
f
(z)dz
4

C

f (z)dz
Aps n repetio desse processo temos:

I

I

n
f (z)dz 4

C

f (z)dz
(8.122)
Por outro lado, , 1 , 2 , . . . , k , . . . uma seqncia de tringulos encaixantes cada um contido no seu antecessor e portanto,
118
Variveis Complexas
AULA
existe um ponto z0 que pertence a todos os tringulos da seqn-
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
(z z0 )dz +
f (z)dz = f (z0 )
n
(z z0 )dz
(8.124)
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
(z z0 )dz
f (z)dz =
n
(8.125)
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:
I
I
L L
L2
f (z)dz =
(z z0 )dz n n = n
2 2
4
n
n
(8.126)
119
Teoremas de Cauchy
I

f (z)dz L2

(8.127)
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)
E
Traando as linhas BF , CF e DF repartimos o polgono em tringulos. Como o teorema de Cauchy-Goursat j foi provado para
tringulos, e como as integrais ao longo de BF , CF e DF cancelamse (cada um desses caminhos percorrido duas vezes em sentidos
120
AULA
Variveis Complexas
opostos) temos:
Z
Z
I
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 usado 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:
Sn =
n
X
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 <

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

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

+
zn1
Z z1
=
(f (z) f (z1 ))dz+
z0
Z zn
(f (z) f (zn ))dz + Sn
+
(8.130)
zn1
Portanto, de eqn 8.130 tiramos:

Z z1
Z
Sn =
(f (z) f (z1 ))dz + +
zn
(f (z) f (zn ))dz (8.131)
zn1
z0
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)| <

2L
2L
(8.132)
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
|Sn |
|f (z) f (z1 )|dz + +
z0
zn
|f (z) f (zn )|dz
zn1
(|z1 z0 | + + |zn zn1 |)

2L
(8.133)
122
AULA
Variveis Complexas
Por outro lado fazendo:
I
I
f (z)dz Sn + Sn
f (z)dz =
8
(8.134)
Tomando o mdulo de eqn 8.134 e usando a desigualdade triangular e eqn 8.129 temos:

I
I

f (z)dz
f (z)dz Sn + Sn

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 =
C1
f (z)dz
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 retornar ao ponto A seguimos pela reta AB no sentido de A para B
123
Teoremas de Cauchy
A
C1
C2
B

at o ponto B em C2 percorremos C2 no sentido negativo (horrio)
at retornar ao ponto B e concluindo retornamos ao ponto A percorrendo 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
f (z)dz
f (z)dz +
C1
AB
f (z)dz +
C2
f (z)dz = 0 (8.136)
BA
Z
f (z)dz =
Como
f (z)dz da equao eqn 8.136 temos:
AB
BA
I
f (z)dz =
C1
f (z)dz
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
C
124
1
dz = 2
z z0
AULA
Variveis Complexas
PROVA:
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
z
z
z
z0
0
C
(8.137)
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:
Z 2
I
1
1
dz =
e t dt
t
z
z
e
0
0
C
Z 2
(8.138)
dt
=
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
C
f (z)
dz =
z z0
f (z)
dz
z z0
(8.139)
onde ambas as curvas so orientadas no sentido positivo.

Podemos parametrizar o crculo por: z = z + 0 + e t , t [0, 2).
Da, dz = e t dt e para eqn 8.139 temos:
I
C
f (z)
dz =
z z0
f (z0 + e t ) t
e dt
e t
(8.140)
f (z0 + e )dt
0
Passando o limite 0 em eqn 8.140 e lembrando que f (z)

holomorfa e portanto contnua temos:
I
C
Z 2
f (z)
f (z0 + e t )dt
dz = lim
0
z z0
0
Z 2
=
lim f (z0 + e t )dt
0
0
Z 2
=
f (lim (z0 + e t ))dt
0
0
Z 2
=
f (z0 )dt
0
Z 2
= f (z0 )
dt
(8.141)
= 2f (z0 )
Logo:
1
f (z0 ) =
2
I
C
f (z)
dz
z z0
A seguir veremos mais um teorema. Diz respeito a derivao de

funes holomorfas.
126
Variveis Complexas
AULA
Teorema 8.7 (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:
f 0 (z0 ) =
1
2
I
C
f (z)
dz
(z z0 )2
PROVA: Tomando z0 + no interior da regio limitada por C

podemos usar o teorema 8.6 e escrever:

I
f (z0 + ) f (z0 )
1
1
1
1
=
f (z)dz
2 C z z0 z z0
I
f (z)
1
dz
=
2 C (z z0 )(z z0 )
I
1
f (z)
=
dz
2 C (z z0 )2
I
f (z)
1
+
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
C
f (z)
dz =
(z z0 )(z z0 )2
f (z)
dz
(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

2
(z z0 )(z z0 )
(/2)(2 )
(8.145)
Portanto, o lado esquerdo de tende a zero quando 0 i.e.

I

lim

f (z)

dz
=0
2
(z z0 )(z z0 )
Logo:
I
lim
f (z)
dz = 0
(z z0 )(z z0 )2
(8.146)
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
f (z)
1
0
f (z0 ) =
dz
2 C (z z0 )2
OBS 8.2. O resultado obtido equivale a:
d
1 d
f (w) =
dw
2 dw
I
C
f (z)
1
dz =
zw
2
I
C
f (z)
zw

dz
que uma extenso da regra de Leibnitz de derivao sob a integrao para integrais de contorno.
OBS 8.3. Podemos tambm, do mesmo modo, mostrar que:
f
(n)
1
(z0 ) =
2
I
C
f (z)
dz, n = 1, 2, . . .
(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
Variveis Complexas
8.5
AULA
Concluso
Na aula de hoje, vimos que se uma funo complexa holomorfa ela tem derivada de qualquer ordem.
RESUMO
Teorema de Cauchy
Sejam D C um 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 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:
f (z0 ) =
1
2
I
C
f (z)
dz
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:
1
f (z0 ) =
2
0
I
C
f (z)
dz
(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
ATIV. 8.2. Mostre que:
C
z
(4
z 2 )(z
+ i)
dz =
2
onde; C
5
o crculo |z| = 2.
Comentrio: Use os teoremas de Cauchy e verifique quais z0 dos
130
Variveis Complexas
AULA
fatores da forma z z0 do denominador do integrando pertencem
ao interior do crculo |z| = 2.
131
AULA
Convergncia de Sries
de Nmeros Complexos
META:
Apresentar o conceito de convergncia de sries de nmeros complexos.
OBJETIVOS:
Definir convergncia de sries de nmeros complexos e calcular o
limite de algumas sries de nmeros complexos.
PR-REQUISITOS
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 contradomnio o conjunto dos nmeros complexos C, z : N 7 C.
O n-simo termo da seqncia ser denotado z(n) ou alternativamente 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
Variveis Complexas
AULA
Definio 9.3. Seja {zn } uma seqncia de nmeros complexos.
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 alternativamente 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 Complexos.

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
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
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
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 simultaneamente 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
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
= , se w 6= 0
n wn
w
v) lim
136
Variveis Complexas
AULA
PROVA: Provaremos apenas a iii) o restante ficar cargo dos
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|
+ |w|.
< K.
2K
2|w|
<
Da, temos:
n n0 , zn wn B (zw). Portanto:
lim (zn wn ) = zw.
O prximo teorema constitui-se um importante critrio de convergncia 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
n
X
sn =
zk .
k=0
OBS 9.3. Sries so seqncias especiais definidas a partir de outras 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 =
n
X
rk = 1 + r + r2 + + rn . do seguinte modo:
k=0
fazendo o produto de sn por r temos:

n
X
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
AULA
Variveis Complexas
Se r < 1 como lim rn = 0 temos:

n
1 rn+1
n 1 r
1 lim rn+1
lim sn = lim
1r
1
=
1r
e a srie geomtrica convergente.
Por outro lado se r > 1 como lim rn = temos:
n
1 rn+1
n 1 r
1 lim rn+1
lim sn = lim
1r
=
e a srie geomtrica divergente.
As sries numricas so mais ricas, em comparao com as seqncias, 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
2. Se
n=0
xn diverge ento
n=0
Teorema 9.6. Seja
X
n=0
yn diverge.
n=0
zn uma srie de nmeros complexos. Se
n=0
zn converge ento lim zn = 0.

n
139

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

convergncia de uma srie numrica.
Definio 9.6. Seja
mos que
zn uma srie de nmeros complexos. Dize-
n=0
zn converge absolutamente se, somente se, a srie
n=0
|zn | associada seqncia {|zn |} converge.
n=0
OBS 9.6. Na prxima seo, estudo das sries de potncias ficar

clara a importncia deste conceito.
Teorema 9.7. Seja
n=0
zn absolutamente convergente ento
n=0
zn convergente.
n=0
PROVA: Sejam sn =
sn
n
X
n
X
zk a n-sima soma parcial de {zn } e
k=0
|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
AULA
Variveis Complexas
Como
|zn | do critrio de Cauchy, para todo > 0 existe no N
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.
Teorema 9.8. Sejam
zn e
n=0
plexos convergentes tais que
wn duas sries de nmeros com-
n=0
n=0
n=0
zn = z e
wn = w e a C
ento:
i)
(azn ) = az
n=0
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?
Teorema 9.9. Seja
an z n uma srie numrica:
n=0
i) Se existe z1 C, z1 6= 0 tal que
an z1n converge ento
n=0
an z n converge para todo z C tal que |z| < |z1 |
n=0
ii) Se existe z2 C, z2 6= 0 tal que
an z2n
diverge ento
n=0
an z n
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
142
AULA
Variveis Complexas
tal que para todo n N, |an z1n | < K. Da, como |z| < |z1 | pondo
|z|
r=
< 1 temos:
|z1 |
|an z n | = |an |.|z|n

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

< Krn
Como r < 1 a srie
Krn converge para
n=0
comparao teorema 9.5 a srie

rema 9.7 a srie
K
pelo critrio da
1r
|an z n | e portanto do teo-
n=0
an z n convergente.
n=0
Suponha, por absurdo, que exista um nmero z C
X
tal que |z| > |z2 | e a srie
an z n seja convergente. repetindo a
Parte 2:
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
para todo z C tal que |z| > |z2 | a srie
an z n divergente.
n=0
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
n
X
funo f : B|z1 | (0) 7 C dada por f (z) = lim
an z n .
n
Teorema 9.10. Seja
k=0
an z n uma srie de potncias ento existe
n=0
r (0) tal que a srie converge absolutamente em

uma bola fechada B
todos os pontos do interior da bola e diverge para todos os pontos
do exterior da bola.
143
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
ou r = lim
r = lim

n an+1
n |an |1/n
Vejamos um exemplo de determinao do raio de convergncia de
uma srie de potncias.
Exemplo 9.2. Seja a srie de potncias dada por
X
1 n
z . Den!
n=0
termine seu raio de convergncia.

SOLUO:
1
1
temos: an+1 =
=
n!
(n + 1)!
1
(n + 1).n!
n!
=
=
= n + 1.
1
n!
(n + 1).n!
Tomando an =
1
an
. Logo:
(n + 1).n!
an+1
Da, temos:
an
= lim n + 1 = . Logo:
lim
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:
f (z) =
X
f (n) (z0 )
n=0
144
n!
(z z0 )n
Variveis Complexas
9.6
AULA
Concluso
Na aula de hoje, tanto as seqncias de nmeros complexos

quanto as sries de nmeros complexos tm paralelo com seqncias e sries de nmeros reais exceto por alguns critrios de convergncia.
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 } convergente 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
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
z
zn
= , se w 6= 0
n wn
w
v) lim
Teorema 3: Critrio de Cauchy

Seja {zn } uma seqncia de nmero complexos ento {zn } convergente 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
zk .
associada {sn } com a seqncia de somas parciais sn =
k=0
Definio
X
X
Seja
zn uma srie de nmeros complexos. Dizemos que
zn
n=0
converge absolutamente se, somente se, a srie
n=0
|zn | associada
n=0
seqncia {|zn |} converge.

Teorema 1
X
X
Seja
zn absolun=0
tamente convergente ento
n=0
zn convergente.
n=0
Teorema 2
X
X
Sejam
zn e
wn duas sries de nmeros complexos convern=0
gentes tais que
n=0
n=0
i)
(azn ) = az
n=0
146
zn = z e
X
n=0
wn = w e a C ento:
AULA
Variveis Complexas
ii)
(zn + wn ) = z + w
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
i) Se existe z1 C, z1 6= 0 tal que
an z1n converge ento
n=0
an z n converge para todo z C tal que |z| < |z1 |
n=0
ii) Se existe z2 C, z2 6= 0 tal que
an z2n diverge ento
n=0
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
r (0) tal que a srie converge absolutamente em todos os pontos

B
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 conn=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
ou r = lim
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:
f (z) =
X
f (n) (z0 )
n=0
n!
(z z0 )n
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 complexos tais que z = lim zn e w = lim wn . Mostre, usando a
n
definio, que:
lim (zn + wn ) = z + w.
Comentrio:
Volte ao texto e reveja com calma e ateno as
demonstraes dos teoremas sobre seqncias de nmeros complexos, elas lhe serviro de guia.
148
AULA
Variveis Complexas
ATIV. 9.2. Seja a srie de potncias dada por
X
2n
n=0
n!
z n . Deter-
mine seu raio de convergncia.

Comentrio:
exemplo de determinao do raio de convergncia de uma srie de

potncias, ele lhe servir de guia.
149
AULA
Sries de Laurent
META:
Introduzir sries de Laurent.
OBJETIVOS:
Definir sries de Laurent e determinar a srie de Laurent para algumas funes de variveis complexas.
PR-REQUISITOS
10
Sries de Laurent
10.1
Introduo
Caros alunos essa nossa aula tem como tema Sries de Laurent. 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 +
1z
1z
(10.147)
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:
f (z) =
X
m=
152
am (z z0 )m
AULA
Variveis Complexas
10
y
2
%2
1
z0 %1
x
Figura 10.1: Srie de Laurent
onde:
I
f (z)
1
dz
m = 0, 1, 2, . . .
am =
2 I2 (z z0 )m+1
1
f (z)(z z0 )m1 dz m = 1, 2, 3, . . .
am =
2 1
PROVA: Da frmula integral de Cauchy temos:
f (z) =
1
2
I
1
f (w)
dw
wz
I
2
f (w)
dw
wz
(10.148)
Vamos considerar a primeira integral em eqn 10.148. Para isto

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

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

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

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

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

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

z z0
w z0
+
w z0 (z z0 )
w z0

z z0
z z0 n
=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
z z0
1
=
+
+
wz
w z0 (w z0 )2

z z0 n 1
+
w z0
wz
154
(10.152)
Variveis Complexas
AULA
Fazendo o produto de eqn 10.152 por f (w) e integrando ao longo
10
de 2 no sentido positivo temos:

I
I
I
f (w)
z z0
f (w)
f (w)
dw +
dw +
dw =
(w z0 )2
2 w z
2
2 w z0

I
z z0 n f (w)
+
dw
w z0
wz
2
(10.153)
Fazendo o produto de eqn 10.153 por
1
ak =
2
I
2
1
e definindo
2
f (w)
dw, k = 0, 1, . . .
(w z0 )k+1
temos:
1
2
I
2
f (w)
dw = a0 + a1 (z z0 ) + + an1 (z z0 )n1
wz

I
1
z z0 n f (w)
+
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
=
(z z0 )(1 + (z0 w)/(z z0 ))
1
=
(z z0 )(1 (w z0 )/(z z0 ))
(10.155)
w z0
em eqn 10.147temos:
z z0

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

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

1
w z0 n
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
w z0 n
+ +
=1+
z z0
z z0

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

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

w z0
z z0
+
zw
z z0

w z0
w z0 n
=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

w z0 n 1
+
z z0
zw
(10.158)
Fazendo o produto de eqn 10.158 por f (w) e integrando ao longo

de 1 no sentido positivo temos:
I
I
I
f (w)
f (w)
w z0
dw =
dw +
f (w)
dw +
w
z
z
z
(z
z0 ) 2
0
1
1
1

I
w z0 n f (w)
+
dw
z z0
zw
1
(10.159)
156
AULA
Variveis Complexas
Fazendo o produto de eqn 10.159 por

ak
1
=
2
10
1
e definindo
2
f (w)(w z0 )k1 dw, k = 1, 2, . . .
temos:
1
2
I
1
f (w)
a1
a2
an
dw =
+
+ +
2
wz
z z0 (z z0 )
(z z0 )n
n
I
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:

I
z z0 n f (w)
1
dw
(10.161)
un =
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
dw
|un | =
2 2 w z0
wz
n
I
1
f (w)
z z0

dw
2 2
w z0
wz
nM
1
2%2
2 %2 |z z0 |
n M %2
%2 |z z0 |
(10.162)
De eqn 10.162 temos lim |un | = 0 de onde lim un = 0

n
Da mesma forma para mostrar que a integral final em eqn 10.160

tendem a zero quando n faamos:

I
w z0 n f (w)
1
vn =
dw
2 1 z z0
zw
(10.163)
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
n
I
1
f (w)
z z0

dw
2 2
w z0
wz
nM
1
2%1
2 |z z0 | %1
n M %1
|z z0 | %1
(10.164)
De eqn 10.164 temos lim |vn | = 0 de onde lim vn = 0 Portanto,

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:
f (z) =
am (z z0 )m
m=
onde:
I
1
f (z)
dz
m = 0, 1, 2, . . .
am =
2 I2 (z z0 )m+1
1
f (z)(z z0 )m1 dz m = 1, 2, 3, . . .
am =
2 1
OBS 10.1. As vezes conveniente reescrever a srie de Laurent
na forma:
f (z) =
X
m=1
X
bm
+
an (z z0 )n
(z z0 )m
n=0
onde:
I
1
f (z)
dz
n = 0, 1, 2, . . .
an =
2 I2 (z z0 )n+1
1
f (z)(z z0 )m1 dz m = 1, 2, 3, . . .
bm =
2 1
158
AULA
Variveis Complexas
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:
f (z) = f(u) = f (u + 1) =
Como
ez
X
zn
n=0
au
ea(u+1)
ae
=
e
(u + 1 1)4
u4
(10.165)
temos:
n!
au
=
=
X
(au)n
n=0
X
n=0
n!
(10.166)
an un
n!
De eqn 10.165 e eqn 10.166 temos:

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

devarivel k = n4, n = k+4

e substituindo os limites n
ek
no somatrio temos:
0
4
f (z) = f(u) = ea
X
ak+4 uk
(k + 4)!
(10.168)
k=4
Explicitando no somatrio de eqn 10.168 os termos de k = 4

at k = 1 temos:
ea
aea a2 ea a3 ea
+
+ 2 +
u4
u3
u
u
k+4
k
X
a u
+ ea
(k + 4)!
f (z) = f(u) =
(10.169)
k=0
159
Sries de Laurent
Retornando em eqn 10.170 u = z 1 temos:
aea
a2 ea
a3 ea
ea
+
+
+
(z 1)4 (z 1)3 (z 1)2 z 1
X
ak+4 ea (z 1)k
+
.
(k + 4)!
f (z) =
(10.170)
k=0
10.3
Concluso
Na aula de hoje, vimos que certas funes no-holomorfas tambm podem ser representadas por srie de potncias. Mais especificamente, 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:
f (z) =
am (z z0 )m
m=
onde:
I
f (z)
1
dz
m = 0, 1, 2, . . .
a
=
m
m+1
2 C
I2 (z z0 )
1
f (z)(z z0 )m1 dz m = 1, 2, 3, . . .
am =
2 C1
PRXIMA AULA
Em nossa prxima aula veremos singularidades de funes de

variveis complexas. Mais especificamente veremos como usar sries
160
Variveis Complexas
AULA
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
Comentrio:
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.
2
z (z 1)2
Comentrio:
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
META:
Introduzir o conceito de singularidades de funes de variveis complexas.
OBJETIVOS:
Definir singularidades de funes de variveis complexas e
analisar as singularidades de algumas funes de variveis complexas.
PR-REQUISITOS
11
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 Laurent 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 Isolados
Estaremos, aqui, interessado em estudar e classificar pontos singulares isolados. Para isso usaremos a representao em srie de
164
Variveis Complexas
AULA
11
Laurent da funo a ser estudada.

Definio 11.3. Sejam D C um aberto conexo, f : D C 7 C
uma funo complexa representada em srie de Laurent por:
f (z) =
X
m=1
X
bm
+
an (z z0 )n
(z z0 )m
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.
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:
f (z) =
k
X
m=1
X
bm
+
an (z z0 )n
(z z0 )m
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 singularidades.
165
Exemplo 11.1. Seja f : C {0} 7 C dada por f (z) =

Como sin(z) =
(1)n
n=0
sin(z)
.
z
z 2n+1
ento:
(2n + 1)!
f (z) =
z 2n+1
1X
(1)n
z
(2n + 1)!
n=0
=
=
(1)n
n=0
(1)n
n=0
=1
1 z 2n+1
z (2n + 1)!
z 2n
(2n + 1)!
z2 z4 z6
+
+
3!
5!
7!
Portanto z = 0 uma singularidade removvel de f ().

Exemplo 11.2. Seja f : C {0} 7 C dada por f (z) =
Como sin(z) =
(1)n
n=0
f (z) =
sin(z)
.
z3
z 2n+1
ento:
(2n + 1)!
2n+1
1 X
n z
(1)
z3
(2n + 1)!
n=0
=
=
(1)n
n=0
(1)n
n=0
1 z 2n+1
z 3 (2n + 1)!
z 2n2
(2n + 1)!
X
1
z 2k
k+1
+
(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
AULA
Variveis Complexas
Como sin(z) =
(1)n
n=0
f (z) =
=
=
11
z 2n+1
ento:
(2n + 1)!
(1)n
n=0
(1)n
n=0
(1)n
n=0
=1+
(1/z)2n+1
(2n + 1)!
1/z 2n+1
(2n + 1)!
1
1
2n2
(2n + 1)! z
(1)n
n=1
1
1
2n2
(2n + 1)! z
1
1
1
+
+1
7
5
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:
f (z) =
an (z z0 )n
n=0
Logo lim f (z) = a0 e portanto existe lim f (z) e ii) vale.

zz0
Parte 2:
zz0
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:
f (z) =
k
X
m=1
X
bm
+
an (z z0 )n
m
(z z0 )
Logo, fazendo o produto por (z z0
n=0
)k
temos:
(z z0 )k f (z) = bk + + b1 (z z0 )k1 +
X
n=0
168
an (z z0 )n+k
AULA
Variveis Complexas
11
Passando o limite z z0 temos:

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 ).
g(z) =
an (z z0 )n
n=0
Da, como g(z) = (z z0 )k f (z) podemos escrever para f (z).

f (z) =
X
L
ak1
+
+
+
an+k (z z0 )n
z z0
(z z0 )k
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 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 () | < .
11.4
Concluso
Na aula de hoje, vimos que algumas funes de variveis complexas so no-holomorfas pois apresentam pontos singulares (pontos 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:
f (z) =
X
m=1
X
bm
+
an (z z0 )n
(z z0 )m
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
Variveis Complexas
AULA
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). Determine todas as singularidades de f () e estabelea o seu domnio.
Comentrio: Volte ao texto e reveja com calma e ateno os exemplos, eles lhe serviro de guia.
ATIV. 11.2. Seja f : C {0} 7 C dada por f (z) =
1 cos(z)
.
z3
Classifique as singularidades de f ().

Comentrio:
exemplos, eles lhe serviro de guia.
172
AULA
Clculo de Resduos
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
12
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
+
+
+
(z 1)4 (z 1)3 (z 1)2 z 1
X
ak+4 ea (z 1)k
+
.
(k + 4)!
f (z) =
k=0
Por simples inspeo vemos que: res(f, 1) = a3 ea .
174
AULA
Variveis Complexas
12
2
a2
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:
1
2
I
f (z)dz =
n
X
res(f, zk )
k=1
PROVA: Para cada ponto zk , k = 1, 2, . . . , n tomemos um crculo 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 negativamente (sentido horrio). Seja C = 1 2 n . Do
teorema de Cauchy temos:
I
f (z)dz = 0
(12.171)
Levando em conta a construo de C podemos reescrever eqn
175
Clculo de Resduos
12.171 como:
I
f (z)dz =
n I
X
k=1
f (z)dz
(12.172)
Do teorema de Laurent temos:
f (z) =
m=1
X
bm
an (z zk )n
+
(z zk )m
n=0
onde:
bm =
1
2
f (z)(z zk )m1 dz, m = 1, 2, 3, . . .
Em particular:
res(f, zk ) = b1 =
1
2
I
f (z)dz
k
Da, tiramos:
I
f (z)dz = 2res(f, zk )
(12.173)
Da, substituindo eqn 12.173 em eqn 12.172 temos:

I
n
X
1
f (z)dz =
res(f, zk ).
2
(12.174)
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 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:
1
2
f 0 (z)
dz = Z P
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
Variveis Complexas
AULA
plos de f () no interior de contado tantas vezes quantas forem
12
sua ordem.
PROVA: Consideremos a integral:
I 0
1
f (z)
dz
2 f (z)
(12.175)
Pelo teorema dos resduos a integral em eqn 12.175 a soma dos

resduos do integrando. Porm, dado um ponto a no interior de
temos trs possibilidades:
i) f (a) 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)
holomorfa o resduo zero e o ponto
f (z)
nada contribui para a integrao em eqn 12.175.
Parte 1: no caso i)
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)
tambm holomorfa e
Como g(z) holomorfa em Br (a),
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
g(z)
(12.177)
n=0
X
f 0 (z)
m
=
+
cn (z a)n
f (z)
za
(12.178)
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)
k
g 0 (z)
=
+
za
g(z)
(12.179)
g 0 (z)
tambm holomorfa e
g(z)
portanto tem representao por srie de Taylor en torno do ponto
Como g(z) holomorfa em Br (a),
z = a. Da, temos:
g 0 (z) X
=
cn (z a)n
g(z)
(12.180)
n=0
X
f 0 (z)
k
=
+
cn (z a)n
f (z)
za
(12.181)
n=0
f 0 (z)
, z = a um polo
Logo eqn 12.181 a srie de Laurent de
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
Variveis Complexas
AULA
12
sua ordem.
A seguir, veremos alguns teoremas que auxiliaram na determinao
dos resduos de uma funo no-holomorfa.
Teorema 12.3. Seja D C um aberto e f : D C 7 C holomorfa 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
z z0
(12.182)
n=0
Fazendo o produto de eqn 12.182 por z z0 temos:

(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
Teorema 12.4. Seja D C um aberto e f : D C 7 C holomorfa 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:
f (z) =
bk
res(f, z0 ) X
+
+
+
cn (z z0 )n
z z0
(z z0 )k
(12.184)
n=0
179
Clculo de Resduos
Fazendo o produto de eqn 12.184 por (z z0 )k temos:
(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:
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:
res(f, z0 ) =
g (k1) (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 singularidades isoladas.
RESUMO
180
Variveis Complexas
AULA
12
Resduos
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:
1
2
I
f (z)dz =
n
X
res(f, zk )
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:
1
2
f 0 (z)
dz = Z P
f (z)

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
1
ATIV. 12.2. Determine a integral:
2
o crculo unitrio |z| = 1.
ez csc(z)dz onde C
Comentrio: Aplique o teorema do resduos e o problema anterior.
182
AULA
Aplicaes do Teorema
dos Resduos
META:
Apresentar algumas aplicaes do clculo de resduos.
OBJETIVOS:
Aplicar o clculo de resduos na determinao de algumas integrais.
PR-REQUISITOS
13
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 Resduos
Veremos, agora, como aplicar o teorema dos resduos na determinao 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
lim
+M
M M
f (x)dx
(13.188)
+r x
Figura 13.1: Aplicaes do Teorema dos Resduos
184
Variveis Complexas
AULA
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 escolhido grande o suficiente para que todos os plos {z1 , z2 , . . . , zn }
estejam contidos no interior de C.
Do teorema de Cauchy temos:
I
n
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
r 0
f (ret )ret dt = 0
(13.190)
Passando o limite r em eqn 13.189 e usando eqn 13.190

temos:
Z
lim
r r
f (x)dx = 2
n
X
res(f, zk )
(13.191)
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 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, passando o limite r temos:

Z
M

lim f (z)dz lim k1
r r
r
=0
e portanto:
Z
lim
f (z)dz = 0.
y
z2
z1
x
z3
z4

Vejamos um exemplo:
Z
Exemplo 13.1. Determine a integral
1
dz, onde a > 0.
z 4 + a4
SOLUO: Para a funo do exemplo f (z) =
z4
1
os plos
+ 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
AULA
Variveis Complexas
13
em z1 :
res(f, z1 ) = lim (z z1 )f (z)
zz1
= lim (z z1 )
zz1
z4
1
a4
z z1
z 4 a4
1
= lim
zz1 4z 3
1
= 3 3/4
4a e
(13.193)
= lim
zz1
Resduo em z2 :
zz2
= lim (z z2 )
zz2
z4
1
a4
z z2
z 4 a4
1
= lim
zz2 4z 3
1
= 3 9/4
4a e
De eqn 13.193 e eqn 13.194 temos:
= lim
zz2
2
X
res(f, zk ) =
k=1
1
4a3 e3/4
(13.194)
1
4a3 e9/4
1 3/4
(e
+ e9/4 )
4a3
1
= 3 (cos(3/4) + sin(3/4)
4a
=
(13.195)
+ 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
k=1
1
(2 sin(3/4))
4a3
2
= 3
4a
res(f, zk ) =
(13.196)
187

Portanto de eqn 13.191 e eqn 13.196 temos:
Z
X
1
dx = 2
res(f, zk )
4
4
x +a
k=1
2
= 2 3
4a
2
=
.
2a3
(13.197)

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
1
e e
zz
sin() =
=
. Vejamos um exemplo:
2
2
Z 2
1
d onde: a >
Exemplo 13.2. Calculo a integral
a + b cos()
0
|b|.
SOLUO: Usando as transformaes acima temos:
Z
1
d
a + b cos()
0
I
1
1
=
dz
1
z
z+z
C
a+b
2
I
2
=
dz
2
C bz + 2az + b
I=
188
(13.198)
AULA
Variveis Complexas
2
so obtidos resolvendo
+ 2az + b
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
Os plos da funo f (z) =
bz 2
13
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 )
zz1 bz 2 + 2az + b
2
= lim
zz1 2bz + 2a
=
2
a b2
= lim
(13.199)
189

2
e na curva
+ 2az + b
fechada suave e usando eqn 13.198 e eqn 13.199 temos:
Usando o teorema dos resduos em f (z) =
Z
I=
0
1
d =
a + b cos()
bz 2
bz 2
2
dz
+ 2az + b
= 2res(f, z1 )
=
13.3
2
.
a2 b2
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
f (x)dx = lim
190
r r
f (x)dx = 2
n
X
k=1
res(f, zk )
(13.200)
Variveis Complexas
Segunda Aplicao
Z 2
Integrais da forma
f (cos(), sin())d. Para este caso usare-
AULA
13
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 2
I
z + z 1 z z 1 1
f (cos(), sin())d =
f
,
dz
2
2
z
0
C
PRXIMA AULA
Em nossa prxima aula veremos transformaes conforme (transformaes que preservam o ngulo entre vetores). Em particular
veremos que funes holomorfas so transformaes conformes.
ATIVIDADES
ATIV. 13.1. Determine a integral
Comentrio:
1
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|.
a + b sin()
0
Comentrio: Volte ao texto e reveja com calma e ateno o
segundo exemplo acima, ele lhe servir de guia.
191
192
AULA
Transformaes Conformes
META:
Introduzir o conceito de transformaes conforme.
OBJETIVOS:
Definir transformaes conformes e exemplificar transformaes
conformes.
PR-REQUISITOS
14
14.1
Introduo
Caros alunos estamos quase no final de nosso curso de Variveis Complexas. Nosso assunto de agora Transformaes
Conformes. Aqui estabeleceremos os aspectos bsicos de transformaes conformes como ponto de partida para a prxima aula
onde faremos algumas aplicaes das transformaes conformes.
14.2
Vamos iniciar com a definio do conceito de transformaes conformes:

y
plano xy
C2
plano w
(u0 , v0 )
C20
C1
C10
(x0 , y0 )
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
Variveis Complexas
AULA
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
plano w
z0 + z
w0 + w
C0
z0
0 + a
w0
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
dz
= f 0 (z).
dt
(14.201)
195
Em particular fazendo t = t0 em eqn 14.201 temos:
dz
dw
= f 0 (z(t0 )).

dt t=t0
dt t=t0
Que equivalente a:
dw
dz
0
= f (z0 ).

dt w=w0
dt z=z0
(14.202)
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
Variveis Complexas
AULA
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 Conformes
Veremos nesta seo alguns exemplos de algumas transformaes

conformes.
y
plano z
plano w
z0
f (z0 )
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
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 denominada de transformao de Mbius.

Definio 14.2. Uma transformao fracionria
w = f (z) =
az + b
cz + d
tal que ad bc 6= 0 dita uma transformao de Mbius.
198
(14.204)
Variveis Complexas
AULA
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 +
+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)
a
Tirando eqn 14.204 da forma de frao temos:

Azw + Bz + Cw + D = 0
(14.205)
que linear em z linear em w e bilinear em z e w.

Por outro lado podemos inverter eqn 14.204 e temos:
z = f 1 (w) =
dw + b
cw a
Se c = 0 deixa de ser uma transformao fracionria e passa a ser

uma transformao linear.
Caso c 6= 0 podemos reescrever eqn 14.204 na forma:
w = f (z) =
a bc ad 1
+
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 transfor2z 5
mao fracionria: f (z) =
.
z+4
SOLUO: Da definio de ponto fixo temos:
z = f (z) =
2z 5
z+4
Da, desfazendo a frao temos:

z 2 + 2z + 5 = 0
Resolvendo a equao do segundo grau temos:
22 4.1.5
2
2 + 16
=
2
z1 =
2 +
= 1 + 2
2 22 4.1.5
z2 =
2
2 16
=
2
= 1 2.
Ficaremos por aqui.
200
Variveis Complexas
14.4
AULA
14
Concluso
Na aula de hoje, vimos que funes holomorfas so transformaes conformes i.e. transformaes que preservam o ngulo entre 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 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 )).
Teorema 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
201
entre duas curvas C1 e C2 passando por z0 preservado pela transformao w = f (z) em mdulo e direo.
Definio:
Uma transformao fracionria
w = f (z) =
az + b
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 transformaes conformes. Em particular veremos aplicaes ao escoamento potencial de fluidos.
ATIVIDADES
z z0
,
z z0
z0 um ponto do semiplano superior e 0 R transforma o semiATIV. 14.1. que a transformao w = f (z) onde f (z) = e0
plano superior no plano z no exterior do disco unitrio no plano w .
Comentrio:
exemplos acima, eles lhes serviro de guia.
202
Variveis Complexas
z+a
uma transformao fracionria.
z+b
Qual a relao entre a e b garante que a transformao tem apenas
ATIV. 14.2. Seja f (z) =
AULA
14
um ponto fixo?
Comentrio:
exemplo de ponto fixo, ele lhe servir de guia.
BROWN, James W. and CHURCHILL, Ruel R., Complex Variables and Applications Editora McGraw Hill, 2008
TIMONEY, Richard M. Riemann Mapping Theorem. http://www.
maths.tcd.ie/ richardt/414/414-ch7.pdf. Acessado em 01/06/2011.
203
AULA
15
Transformaes Conformes:
Aplicaes
META:
Aplicar transformaes conformes.
OBJETIVOS:
Aplicar transformaes conformes na determinao da distribuio
de velocidade em alguns escoamentos estacionrios laminares planos.

PR-REQUISITOS
Transformaes Conformes: Aplicaes
15.1
Introduo
Caros alunos conclumos aqui nosso curso de Variveis Complexa com Algumas Aplicaes das Transformaes Conformes.
Em particular faremos aplicaes ao escoamento laminar, no viscoso e potencial de fluidos.
15.2
Problemas de Dirichlet e de Neumann
Vrios problemas da Fsica e da Engenharia so modelados matematicamente por equaes diferenciais parciais s quais so associadas 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 fronteira 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 limitada pelo semi-plano superior ou o crculo unitrio. Neste caso
muito til o teorema da transformao de Riemmann enunciado
sem demonstrao na aula anterior. As idias por trs da soluo
de tais problemas so:
206
Variveis Complexas
i) Usar uma aplicao conforme que leve a regio B no semi-
AULA
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 determinar 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
+
= |f 0 (z)|2
x2
y 2
2 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 u
2
=
+
2
2
x
u x
x
u 2 v
+
+
2
x
v x
x
v
x

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

u u
v
2 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
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
Do mesmo modo, calculando
Somando
208
2
2
com
temos:
x2
y 2
AULA
Variveis Complexas
15
2 2
+
=
x2
y 2
u

2u 2u
2 v
2v
+
+
+
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
+
=
x2
y 2
u

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

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

Por outro lado, u e v so tambm so harmnicas logo:

2v
2v
2u 2u
+
=
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
x
y
u2
"
u
x
2

+
u
y
2 #
2
+
v 2
Usando as equaes de Cauchy-Riemann
"
v
x
2

+
v
y
2 #
u
v v
u
=
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:

u
x
2 2 2 2 2 2
u
v
v
u
v
+
=
+
=
+
= |f 0 (z)|2
y
x
y
x
x
E a equao acima toma a forma:

2 2
+
= |f 0 (z)|2
x2
y 2
2 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 )(x, y) = c, (x, y) Bz ou
15.2.1
( f )
(x, y) = 0, (x, y) Bz
~~n
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
(x, y) = c
, (x, y) B
onde c R.
15.2.2
Problemas de Neumann
Vejamos a definio:
210
(15.206)
Variveis Complexas
AULA
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
(x, y) = 0 , (x, y) B
~~n
(15.207)
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 aerodinmica 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 consideraes que simplificaram tremendamente a nossa tarefa. As hipteses 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 apenas 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 velocidade na direo x e na direo y respectivamente, existe uma
211

funo (x, y) tal que:
vx =
x
vy =
y
(15.208)
v) Fluido incompressvel. Equivale a dizer que a densidade do

fluido constante e o campo de velocidade satisfaz:
vx vy
+
x
y
(15.209)
OBS 15.2. Substituindo eqn 15.208 e eqn 15.209 temos:

2 2
+
x2
y 2
(15.210)
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
dz

=
+
x
x

=
x
x
0 (z) =
(15.211)
= vx vy
OBS 15.3. As famlias de curvas a um parmetro:
(x, y) =
(x, y) =
(15.212)
onde e so constante so denominadas curvas eqipotenciais

e curvas de fluxo respectivamente. Em escoamentos estacionrios
curvas de fluxo representam trajetria reais das partculas do fluido.
212
AULA
Variveis Complexas
15.2.4
15
Escoamento em Torno de Obstculos
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
plano w
Figura 15.1: Transformao f (z) = z +
u
a2
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 semicrculo. Da, fazendo z = re podemos reescrever o potencial
213

complexo na forma:
(z) = +

a2
= v0 re +
re

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

a2
cos()
(r, ) = v0 r +
r

a2
(r, ) = v0 r
sin()
r
(15.214)
(15.215)
Ento as curvas (r, ) = (ver figura 15.2) representam as

linhas de corrente i.e. as trajetrias reais das partculas do fluido.
y
Figura 15.2: Linhas de corrente

Por outro lado, derivando o potencial complexo para obter a
velocidade complexa temos:
V = 0 (z)

= v0 1

= v0 1

= v0 1
214

a2
z2

a2
re

a2
v0 a2
cos()
sin()
2
r2
(15.216)
Variveis Complexas
AULA
distante do semi-crculo, lim V = v0 i.e. o fluido est escoando
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 )(x, y) = c, (x, y) Bz ou
( f )
(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 Variveis Complexa. Espero que este curso tenha dado bons frutos.
216
Variveis Complexas
AULA
Ele apenas um introduo ao maravilhoso mundo das Variveis
15
Complexas. A Leitura complementar fornece material adicional

para quem desejar mais informaes.
ATIVIDADES
ATIV.
15.1.

Considere o potencial complexo de escoamento (z) =
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.
15.2.

Considere o potencial complexo de escoamento (z) =
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

Aula 2: Limites de Funes de Variveis Complexas

Topologia do Plano Complexo

Funes de Variveis Complexas . . . . . . . . . . .

Limites de Funes de Variveis Complexas . . . . .

Continuidade de Funes complexas . . . . . . . . .

Aula 3: Derivao Complexa

Regras de Derivao Complexa

Aula 4: Mais Alguns Aspectos da Derivao Complexa

Forma Polar das Equaes de Cauchy-Riemann

Aula 5: Funes Elementares do Clculo Complexos 1

Propriedades da Funo Exponencial . . . . . . . .

Derivada da Funo Exponencial . . . . . . . . . . .

Propriedades da Funo Logaritmo

Derivada da Funo Logaritmo . . . . . . . . . . . .

Aula 6: Funes Elementares do Clculo Complexos 2

Propriedades das Funes Trigonomtricas . . . . .

Funes Trigonomtricas Inversas . . . . . . . . . .

Derivada das Funes Trigonomtricas

Propriedades das Funes Hiperblicas . . . . . . .

Funes Hiperblicas Inversas . . . . . . . . . . . .

Derivada das Funes Hiperblicas . . . . . . . . .

PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 101

Integrao Complexa . . . . . . . . . . . . . . . . . 104

Integrais de Linha Reais

Relao entre Integrais de Linha Complexa e Real . 106

Integral Indefinida . . . . . . . . . . . . . . . . . . . 109

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

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

Seqncias de Nmeros Complexos . . . . . . . . . 134

Alguns Teoremas . . . . . . . . . . . . . . . . . . . 135

Sries de Nmeros Complexos . . . . . . . . . . . . 138

Aula 10: Sries de Laurent

10.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 152

12.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 174

12.3 Concluso . . . . . . . . . . . . . . . . . . . . . . . 180

Aula 13: Aplicaes do Teorema dos Resduos

13.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 184

14.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 194

15.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 206

lgebra dos Nmeros

lgebra dos Nmeros Complexos

interessante notar que a descoberta dos nmeros complexos no

1530, quem conseguiu atravessar a barreira e chegar aos novos

stituindo na frmula de Tartaglia encontramos x = 3 2 + 121+

por outro 121 era, at ento, visto com impossvel. A idia de

Bombelli foi a de que 3 2 + 121 e 3 2 121 deveriam ser

nmeros da forma a + b e a b respectivamente. Aps, um

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

lgebra dos Nmeros Complexos

z = x + y, que uma forma mais simples de se manipular desde

que ponhamos 2 = 1. Nesta forma a soma e a multiplicao

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

lgebra dos Nmeros Complexos

Figura 1.1: Conjugado de um nmero complexo

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

lgebra dos Nmeros Complexos

Na aula de hoje, vimos que embora definidos inicialmente como

No nosso resumo da Aula 01 constam os seguintes tpicos:

lgebra dos Nmeros Complexos

com soma e produto dados por: z1 , z1 , z1 = (x1 , y1 ) e z2 =

lgebra dos Nmeros Complexos