Func oes de Uma Vari avel Complexa

Sergio L. Zani
2
Sumario
1 Introducao 5
2 Os n umeros complexos 9
3 Representacao vetorial de um n umero complexo 13
4 Forma polar de um n umero complexo 17
5 Razes de n umeros complexos 21
6 Alguns subconjuntos do plano complexo 25
7 Algumas func oes elementares 29
8 Limite e continuidade 37
9 Derivacao e as equac oes de Cauchy-Riemann 41
10 Func oes analticas 51
11 Func oes multivalentes 57
11.1 Raiz nesima . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
11.2 Logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
11.3 Potencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
12 Curvas no plano complexo 63
13 Integracao 67
14 O Teorema de Cauchy-Goursat 75
14.1 Independencia do Caminho . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
15 Primitiva 79
16 A formula de Cauchy 85
3
17 Funcoes Harmonicas 93
18 Seq uencias e Series 97
19 Series de Potencias 101
19.1 Serie de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
19.2 Zeros de func ao analtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
20 Series de Laurent 119
21 Singularidades 127
21.1 Singularidades e Serie de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . 129
22 O Teorema do Resduo e Aplicac oes 131
22.1 Integrais Improprias Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
22.2 Outros Tipos de Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
4
Captulo 1
Introducao
Por que precisamos dos n umeros complexos?
Antes de responder a esta questao vamos dar uma olhada porque ja precisamos estender o
conceito de n umeros para podermos resolver algumas equacoes algebricas simples. Primeira-
mente, assumiremos os naturais, N = 1, 2, . . . , como o conceito primordial de n umero. Nos
n umeros naturais estao denidas duas operacoes: a adicao (+) e a multiplicacao ( ou ).
Tambem existe uma ordem natural nestes n umeros (<). Considere o seguinte
Problema 1 Encontre um n umero natural que somado a 2 resulta em 1.
Se n for este tal n umero natural, dever a satisfazer
n + 2 = 1. (1.1)
Como o lado esquerdo da equac ao 1.1 e sempre maior do que 2 1 < 2 vemos que nao existe
solucao para este problema dentro dos n umeros naturais. Assim, primeira extensao do conceito
de n umero se faz necessaria. Da surgem os n umeros inteiros
Z = . . . , 2, 1, 0, 1, 2, . . .
que ampliam o conceito dos n umeros naturais e preservam as operac oes e a ordem que ja
existiam anteriormente. O elemento 0 e tal que 0 + m = m para todo M N e, dado n N,
n denota o inteiro que satisfaz (n) + n = 0. Note que problema 1 tem soluc ao em Z.
Vejamos o seguinte
Problema 2 Encontre um n umero inteiro cujo dobro seja a unidade.
Se n fosse um inteiro que solucionasse este problema deveramos ter
2n = 1. (1.2)
Porem, o lado esquerdo de 1.2 e par, enquanto que o n umero um e mpar. Ou seja, nao existe
solucao para o problema 2 dentro dos n umeros inteiros. A soluc ao e ampliar mais uma vez
o conceito de n umeros estendendo-o para o conjunto dos n umeros racionais. Aqui a extensao
5
e um pouco mais elaborada: primeiro formamos o conjunto de todos pares ordenados (p, q),
com p, q Z, q ,= 0. Depois dizemos que dois pares ordenados (p, q), q ,= 0 e (m, n), n ,= 0 sao
equivalentes se pn = qm. Quando isto acontece, representaremos por
p
q
ou p/q todos os pares
(m, n), n ,= 0 tais que pn = qm, e chamaremos p/q de um n umero racional. Podemos tambem
denir a soma e a multiplicac ao entre dois racionais da seguinte maneira
p
q
+
m
n
=
pn + qm
qn
e
p
q

m
n
=
pm
qn
, m, n ,= 0.
Os n umeros racionais tambem tem uma ordem natural que estende a ordem existente pre-
viamente nos inteiros: dados dois racionais r, s podemos supor que r = p/q, q > 0 e s = m/n,
n > 0, e dizemos que r, s se pn < qm. As operac oes e a ordem assim denidas para os n umeros
racionais preservam as anteriores. Note que 2 apresenta solucao em Q.
Considere agora o
Problema 3 Encontre um quadrado cuja area seja dois.
Se r for a medida do lado de um tal quadrado, deveramos ter
r
2
= 2. (1.3)
Esta equacao, porem, nao tem soluc ao dentro dos n umeros racionais. Basta ver que se colocar-
mos r = p/q, e notarmos que podemos assumir que p e q nao apresentam divisores em comum
(com excec ao de 1 ou 1), entao 1.3 e equivalente a
p
2
= 2q
2
. (1.4)
Assim p
2
e par e, portanto, p e par (por que?). Logo, podemos escrever p = 2k para algum
inteiro k. Colocando esta informacao na equacao 1.4 obtemos
(2k)
2
= 2q
2
4k
2
= 2q
2
2k
2
= q
2
.
Ou seja, q
2
e par e, conseq uentemente, q tambem e par. Mas isto e impossvel pois p e q nao
possuem divisores comuns que sejam 1 e 1. Concluindo, o problema 3 nao apresenta soluc ao
em Q, isto e, nao existe nenhum n umero racional que satisfaca a equacao r
2
= 2. Note porem,
que existe uma innidade de racionais que satisfazem a desigualdade r
2
< 2 e que podemos
tomar r
2
tao proximo de 2 quanto quisermos. Basta considerar, por exemplo, a seq uencia de
n umeros racionais dada por
_
r
1
= 1
r
n+1
=
1
2
(r
n
+
2
r
n
), n 1.
A proxima extensao a ser considerada, a dos n umeros reais, e mais elaborada do que as
anteriores e nao a apresentaremos aqui. Contudo, o conjunto dos n umeros reais, R, pode
ser entendido como um conjunto ordenado contendo os n umeros racionais, sobre o qual estao
denidas duas operac oes (adic ao e multiplicac ao) que preservam as propriedades anteriores e
satisfazendo o axioma do supremo: todo subconjunto nao vazio X R e limitado superiormente
6
possui supremo, isto e, existe um n umero real c tal que x c para todo x X e se d R
satiszer esta mesma propriedade entao c d. Note que o conjunto X = x R; x > 0, x
2
< 2
e nao vazio, pois 1 X, e e limitado superiormente por 2, por exemplo. Desta maneira, X possui
supremo em R. Pode-se provar que o supremo de X, digamos c, satisfaz c
2
= 2, resolvendo-se,
assim, o problema 3 em R.
Considere o
Problema 4 Encontre um n umero cujo quadrado seja igual a 1.
Se x R e solucao deste problema ent ao teramos x
2
= 1. Isto e impossvel, visto que como
x ,= 0 ent ao teramos x > 0 ou x > 0 e assim,
x
2
= x x = (x) (x) > 0,
uma contradic ao.
Antes de continuarmos, talvez seja natural tentar explicar porque se deveria resolver um
problema como 4. Uma motiva cao para isto pode ser dada pela equac ao diferencial que descreve
o movimento do pendulo:
y

+ y = 0. (1.5)
Note que as funcoes e
x
e e
x
, x R satisfazem y

y = 0 e, portanto, e natural procuramos

solucao de 1.5 da forma y(x) = e
x
. Somos levados a
(
2
+ 1)e
x
= 0, x R,
ou seja, o quadrado de deve ser igual a 1.
7
8
Captulo 2
Os n umeros complexos
Considere em C = R R, o plano cartesiano, duas operac oes dadas por:
1. (x
1
, y
1
) + (x
2
, y
2
) = (x
1
+ x
2
, y
1
+ y
2
)
2. (x
1
, y
1
) (x
2
, y
2
) = (x
1
x
2
y
1
y
2
, x
1
y
2
+ x
2
y
1
).
Tambem podemos denir a multiplicacao de um par (x, y) por um n umero real da seguinte
forma:
(x, y) = (x, y) (multiplicac ao por escalar).
A primeira das operacoes acima nada mais e do que a soma de coordenadas vetoriais que ja
e familiar de

Algebra Linear ou Calculo II e como visto, satisfaz as propriedades associativa e
comutativa apresenta um elemento neutro e para todo par ordenado existe um recproco que
somada a ele resulta no elemento neutro. Note que C com a adic ao e a multiplicac ao por escalar
real e um espaco vetorial sobre R de dimensao dois.
Com relacao `a operac ao 2, temos a seguinte
Proposicao 1 A operacao denida em C = R R por
(x
1
, y
1
) (x
2
, y
2
) = (x
1
x
2
y
1
y
2
, x
1
y
2
+ x
2
y
1
)
e associativa e comutativa e satisfaz (1, 0) (x, y) = (x, y), para todo (x, y) R
2
.
Alem do mais, se (x, y) ,= (0, 0) entao existe (u, v) C tal que (x, y) (u, v) = (1, 0).
Prova:
1. Associatividade: Por um lado, temos
((x
1
, y
1
) (x
2
, y
2
)) (x
3
, y
3
) = (x
1
x
2
y
1
y
2
, x
1
y
2
+ x
2
y
1
) (x
3
, y
3
)
(x
1
x
2
x
3
x
3
y
1
y
2
x
1
y
2
y
3
x
2
y
1
y
3
, x
1
x
2
y
3
y
1
y
2
y
3
+ x
1
x
3
y
2
+x
2
x
3
y
1
).
Por outro lado,
(x
1
, y
1
) ((x
2
, y
2
) (x
3
, y
3
)) = (x
1
, y
1
) (x
2
x
3
y
2
y
3
, x
2
y
3
+x
3
y
2
)
(x
1
x
2
x
3
x
3
y
1
y
2
x
1
y
2
y
3
x
2
y
1
y
3
, x
1
x
2
y
3
y
1
y
2
y
3
+ x
1
x
3
y
2
+x
2
x
3
y
1
).
Comparando as expressoes acima obtemos o que queramos mostrar.
9
2. Associatividade: Por um lado, temos
(x
1
, y
1
) (x
2
, y
2
) = (x
1
x
2
y
1
y
2
, x
1
y
2
+ x
2
y
1
).
Por outro lado,
(x
2
, y
2
) (x
1
, y
1
) = (x
2
x
1
y
2
y
1
, x
2
y
1
+ x
1
y
2
).
Comparando as expressoes acima obtemos o que queramos mostrar.
3. Elemento Neutro: Temos
(1, 0) (x, y) = (1x 0y, 1y + 0x) = (x, y).
4. Inverso Multiplicativo: Se (x, y) ,= (0, 0) ent ao podemos denir
(u, v) =
_
x
x
2
+ y
2
,
y
x
2
+ y
2
_
e obtemos
(x, y) (u, v) = (x, y)
_
x
x
2
+y
2
,
y
x
2
+y
2
_
=
_
x
2
x
2
+y
2

y
2
x
2
+y
2
,
xy
x
2
+ y
2
+
xy
x
2
+y
2
_
= (1, 0) .
Exerccio 1 Mostre que se (x, y) ,= (0, 0) entao o inverso multiplicativo de (x, y) e unico.
Se n N e z C denimos z
n
= z
n1
z, n 2, z
1
= z. O inverso multiplicativo de um
n umero complexo z nao nulo sera denotado por z
1
e se m e um inteiro negativo, denimos
z
m
= (z
1
)
m
. Se z
1
, z
2
C, e z
2
,= 0, denimos
z
1
z
2
= z
1
z
1
2
.
As operac oes de multiplicacao e adic ao se relacionam atraves da distributividade como pode
ser visto na seguinte
Proposicao 2 Para quaisquer pares (x
1
, y
1
), (x
2
, y
2
), (x
3
, y
3
) C tem-se
((x
1
, y
1
) + (x
2
, y
2
)) (x
3
, y
3
) = (x
1
, y
1
) (x
3
, y
3
) + (x
2
, y
2
) (x
3
, y
3
).
Prova: Por um lado, temos
((x
1
, y
1
) + (x
2
, y
2
)) (x
3
, y
3
) = (x
1
+x
2
, y
1
+ y
2
) (x
3
, y
3
)
= (x
1
x
3
+ x
2
x
3
y
1
y
3
y
2
y
3
, x
1
y
3
+ x
2
y
3
+ x
3
y
1
+x
3
y
2
).
10
Por outro,
(x
1
, y
1
) (x
3
, y
3
) + (x
2
, y
2
) (x
3
, y
3
)
= (x
1
x
3
y
1
y
3
, x
1
y
3
+x
3
y
1
) + (x
2
x
3
y
2
y
3
, x
2
y
3
+ x
3
y
2
)
= (x
1
x
3
+ x
2
x
3
y
1
y
3
y
2
y
3
, x
1
y
3
+ x
2
y
3
+x
3
y
1
+ x
3
y
2
).
Comparando as expressoes acima obtemos o que queramos mostrar.
Denicao 1 O conjunto C munido das operacoes de adicao e multiplicacao denidas acima e
chamado de corpo dos n umeros complexos.
Vale a pena observar que as seguintes propriedades
1. (x, 0) + (y, 0) = (x + y, 0), x, y R
2. (x, 0) (y, 0) = (xy, 0), x, y R
dizem que o subconjunto dos n umeros complexos dado por 1 = (x, 0); x R e preservado
pela adic ao e multiplicac ao. Desta forma, e natural identicarmos 1 com o conjunto dos
n umeros reais. Em outras palavras: podemos assumir que o conjunto dos n umeros reais e um
subconjunto dos n umeros complexos.
Como ja observamos, C e um espaco vetorial sobre R com respeito `a adicao e a multiplicac ao
por escalares reais. Alem do mais, por seus elementos serem pares ordenados, C e um espaco
vetorial bidimensional sobre R. Desta forma, como (1, 0) e (0, 1) formam uma base, todo par
z = (x, y) C se escreve de maneira unica como
z = x(1, 0) + y(0, 1).
Ja vimos que (1, 0) e o elemento neutro da multiplicac ao e como (1, 0) 1, vamos denota-lo
tambem por 1.
Vejamos o comportamento de (0, 1). Temos
(0, 1) (0, 1) = (0 1, 0 0) = (1, 0) = (1, 0),
ou seja,
(0, 1)
2
= (1, 0). (2.1)
Assim, o n umero complexo (0, 1) possui quadrado recproco aditivo do elemento neutro da
adicao. Usaremos a notac ao i = (0, 1), obtendo
i
2
= 1.
Com isto, todo elemento z = (x, y) C pode ser escrito de modo unico como z = x1 + yi, ou
ainda z = x +yi. Tambem escreveremos z = x +iy.
Dado z = x + iy, x, y R, o n umero x e chamado de parte real do n umero complexo z
e e denotado por 1z. O n umero y e chamado de parte imaginaria do n umero complexo z e e
denotado por z. Temos z = 0 se e somente se 1z = z = 0.
Com esta nova notacao, as operacoes em C podem ser escritas da seguinte forma
11
1. (x
1
+ iy
1
) + (x
2
+ iy
2
) = (x
1
+ x
2
) + i(y
1
+ y
2
)
2. (x
1
+ iy
1
)(x
2
+ iy
2
) = (x
1
x
2
y
1
y
2
) + i(x
1
y
2
+ x
2
y
1
).
Alem do mais, o inverso multiplicativo de z = x + iy ,= 0, e dado por
z
1
=
x
x
2
+y
2
i
y
x
2
+y
2
.
Exemplo 1 Encontre as partes real e imaginaria de z = (1 + i)
2
.
Temos z = (1 + i)(1 + i) = 1 + i + i + i
2
= 2i. Logo 1z = 0 e z = 2.
Exemplo 2 Encontre as partes real e imaginaria de z = (1 + i)/(1 i).
Temos z = (1 +i)(1 i)
1
= (1 +i)(
1
1
2
+(1)
2
i
1
1
2
+(1)
2
) =
1
2
(1 +i)
2
=
1
2
2i = i. Logo 1z = 0 e
z = 1.
12
Captulo 3
Representacao vetorial de um n umero
complexo
Ja vimos que um n umero complexo z = x+iy, x, y Re uma representac ao de um par ordenado
(x, y). Assim, podemos representa-lo num plano cartesiano xOy, identicando o eixo x com os
n umeros reais (os m ultiplos de 1 = (1, 0)). O eixo y representa os m ultiplos de i = (0, 1) e sera
denominado de eixo imaginario.
-
6
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . y
x
i
1 O
Com esta visao geometrica dos n umeros complexos, denimos o modulo de z = x+iy, x, y
R, como [z[ =
_
x
2
+y
2
. A partir da, denimos a distancia entre dois n umeros complexos z
1
e z
2
como [z
1
z
2
[.

E imediato que valem as desigualdades 1z [1z[ [z[ e z [z[ [z[.
O conjugado de z = x + iy, x, y R, e denido como z = x iy. Geometricamente, z e a
reexao do vetor que representa z com relac ao ao eixo real.
Note que valem as seguintes propriedades elementares
Proposicao 3 Para todo z, z
1
, z
2
C temos
13
1. [z[ = [z[
2. z + z = 21z
3. z z = 2iz
4. z = z
5. z = z z R
6. z
1
+ z
2
= z
1
+ z
2
7. z = z se R.
Exerccio 2 Prove as propriedades acima.
-
6
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . y
x
i
1 O
z
s
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
z
Tambem temos
Proposicao 4 Para todo z, z
1
, z
2
C temos
1. [z[
2
= zz
2. z
1
z
2
= z
1
z
2
3. [z
1
z
2
[ = [z
1
[[z
2
[
14
4.

z
1
z
2

=
|z
1
|
|z
2
|
, se z
2
,= 0
5. [z
1
+ z
2
[ [z
1
[ +[z
2
[
6. [[z
1
[ [z
2
[[ [z
1
z
2
[.
Prova: Colocando x = 1z, y = z, x
1
= 1z
1
, y
1
= z
1
, x
2
= 1z
2
e y
2
= z
2
, temos
1. zz = (x + iy)(x iy) = x
2
+ y
2
+ i(xy xy) = x
2
+ y
2
= [z[
2
.
2. Por um lado,
z
1
z
2
= x
1
x
2
y
1
y
2
+ i(x
1
y
2
+ x
2
y
1
) = x
1
x
2
y
1
y
2
i(x
1
y
2
+ x
2
y
1
)
e pelo outro,
z
1
z
2
= (x
1
iy
1
)(x
2
iy
2
) = x
1
x
2
y
1
y
2
+i(x
1
y
2
x
2
y
1
) = x
1
x
2
y
1
y
2
i(x
1
y
2
+x
2
y
1
)
3. Como
[z
1
z
2
[
2
= z
1
z
2
z
1
z
2
= z
1
z
2
z
1
z
2
= z
1
z
1
z
2
z
2
= [z
1
[
2
[z
2
[
2
extraindo a raiz quadrada (as expressoes envolvem n umeros reais) obtemos o resultado.
4.

z
1
z
2

z
1
z
2
z
2
z
2

=
1
[z
2
[
2
[z
1
z
2
[ =
1
[z
2
[
2
[z
1
[[z
2
[ =
1
[z
2
[
2
[z
1
[[z
2
[ =
[z
1
[
[z
2
[
.
5.
[z
1
+ z
2
[
2
= (z
1
+ z
2
)(z
1
+ z
2
) = (z
1
+ z
2
)(z
1
+ z
2
)
= z
1
z
1
+ z
2
z
1
+ z
1
z
2
+ z
2
z
2
= [z
1
[
2
+[z
2
[
2
+ z
1
z
2
+ z
1
z
2
= [z
1
[
2
+[z
2
[
2
+ 21(z
1
z
2
) [z
1
[
2
+[z
2
[
2
+ 2[z
1
z
2
[
= [z
1
[
2
+[z
2
[
2
+ 2[z
1
[[z
2
[ = [z
1
[
2
+[z
2
[
2
+ 2[z
1
[[z
2
[ = ([z
1
[ +[z
2
[)
2
,
extraindo a raiz quadrada obtemos o resultado.
6.
[z
1
[ = [z
1
z
2
+ z
2
[ [z
1
z
2
[ +[z
2
[
e
[z
2
[ = [z
2
z
1
+ z
1
[ [z
2
z
1
[ +[z
1
[ = [z
1
z
2
[ +[z
1
[.
Da
([z
1
[ [z
2
[) [z
1
z
2
[,
ou seja,
[[z
1
[ [z
2
[[ [z
1
z
2
[.
15
Exemplo 3 Determine todos os valores a R para que
a + i
1 + ai
seja real.
Temos
a + i
1 +ai
=
a +i
1 + ai

1 ai
1 ai
=
a a
2
i + i + a
1 + a
2
=
2a
1 + a
2
+i
1 a
2
1 +a
2
.
Assim,

_
a + i
1 + ai
_
= 0 a
2
= 1 a = 1 ou a = 1.

Exemplo 4 Dados R e z = cos + i sen , encontre [z[.

Temos
[z[
2
= zz = (cos + i sen )(cos i sen ) = cos
2
+ sen
2
= 1.
Logo, [ cos + i sen [ = 1.
Exemplo 5 Resolva a equacao iz + 2z + 1 i = 0.
Colocando x = 1z e y = z, vemos que z satisfaz a equac ao acima se e somente se
i(x +iy) + 2(x iy) = 1 + i 2x y + i(x 2y) = 1 +i

_
2x y = 1
x 2y = 1
x = y = 1.

Exemplo 6 Determine todos os n umeros complexos cujo quadrado seja igual ao conjugado.
Um n umero complexo z = x + iy, x, y R e solucao deste problema se e somente se
z
2
= z (x + iy)
2
= x iy x
2
y
2
+ 2xyi = x iy

_
x
2
y
2
= x
2xy = y y = 0 ou x = 1/2
.
Se y = 0 a primeira equacao acima e equivalente a x
2
= x cujas soluc oes sao x = 0 ou x = 1.
Se x = 1/2 a primeira equac ao acima e equivalente a y
2
= 3/4 cujas soluc oes sao y =

3/2 ou y =

3/2.
Assim, o conjunto das soluc oes do problema e dado por
0, 1,
1 + i

3
2
,
1 i

3
2
.

16
Captulo 4
Forma polar de um n umero complexo
Dado um n umero complexo z ,= 0, podemos represent a-lo em coordenadas polares como
z = r cos + ir sen = r(cos + i sen ), (4.1)
onde r = [z[ e e o angulo que o vetor representado por z faz com o eixo real medido no sentido
anti-horario em radianos. Devido `a periodicidade das funcoes seno e cosseno, e evidente que a
equacao 4.1 continua valida se substituirmos por + 2k, k Z. Um angulo que satisfaz
4.1 e chamado de argumento do n umero complexo z e e denotado por arg z. Enfatizamos que
existem innitos argumentos para um mesmo n umero complexo. Porem, dado um intervalo de
n umeros reais da forma I = [
0
,
o
+ 2), existe apenas um argumento em I para cada z ,= 0.
-
6
*

z
r
i
1
x
y
Colocando z = x + iy ,= 0, x, y R, vemos que r =
_
x
2
+ y
2
. Vejamos como se comporta
o arg z [0, 2). Se z for um n umero real entao arg z = 0 se 1z > 0 e arg z = se 1z < 0. Se
z e um n umero imaginario puro ent ao arg z =

2
se z > 0 e arg z =
3
2
se z < 0. Finalmente,
se 1z ,= 0 e z ,= 0 entao = arg z ca determinado pela equac ao
tan =
z
1z
e pelo quadrante onde se encontra o vetor que representa z.
Observacao 1 Dois n umeros complexos coincidem se e somente se tem o mesmo modulo e
seus argumentos diferem por um m ultiplo inteiro de 2.
A representac ao 4.1 continua valida quando z = 0, tomando r = 0 e R arbitrario.
17
Exemplo 7 Encontre uma representacao polar para z = 1 + i.
Temos r = [z[ =

2. Como z se encontra no primeiro quadrante temos que a solucao para

tan =
1
1
= 1 e =

4
. Assim, uma forma polar de z e
1 + i =

2
_
cos

4
+ i sen

4
_
.

Exemplo 8 Dado R, determine uma forma polar dos seguintes n umeros complexos
a) z = cos i sen b) v = sen i cos .

E imediato que ambos n umeros acima tem modulo 1.

Note que
z = cos i sen = cos() +i sen()
que e uma forma polar para z.
Observe que
u = i (cos +i sen ) =
_
cos
3
2
+ i sen
3
2
_
(cos + i sen )
= cos
3
2
cos sen
3
2
sen + i
_
cos
3
2
sen + sen
3
2
cos
_
= cos
_
+
3
2
_
+ i sen
_
+
3
2
_
,
que e uma forma polar.
Exerccio 3 Dado 0 < < , determine uma forma polar dos seguintes n umero complexo
z = 1 + cos + i sen .
Proposicao 5 Seja z ,= 0. Se e um argumento de z entao e um argumento de z.
Prova: Escrevendo z = r(cos + i sen ), tomando o conjugado, obtemos
z = r(cos i sen ) = r(cos() + i sen()).
Proposicao 6 Se r
j
e
j
representam o modulo e um argumento, respectivamente, de z
j
C,
para j = 1, 2, entao r
1
r
2
e
1
+
2
representam o modulo e um argumento de z
1
z
2
.
18
Prova: Basta notar que
z
1
z
2
= [r
1
(cos
1
+i sen
1
)][r
2
(cos
2
+ i sen
2
)]
= r
1
r
2
(cos
1
cos
2
sen
1
sen
2
+ i(cos
1
sen
2
+ cos
2
sen
1
))
= r
1
r
2
(cos(
1
+
2
) + i sen(
1
+
2
)).
Corolario 1 Se r
j
e
j
representam o modulo e um argumento, respectivamente, de z
j
C,
para j = 1, 2, z
2
,= 0, entao r
1
/r
2
e
1

2
representam o modulo e um argumento de z
1
/z
2
.
Prova: Temos
z
1
z
2
=
z
1
z
2
[z
2
[
2
=
1
r
2
2
r
1
r
2
(cos(
1

2
) + i sen(
1

2
))
=
r
1
r
2
(cos(
1

2
) + i sen(
1

2
))
Observacao 2 Seja z
o
= cos
o
+ i sen
o
,
o
> 0. Dado z C, temos que z
o
z e a rotacao do
vetor que representa z pelo angulo
o
no sentido anti-horario. Se
o
< 0 a rotacao e no sentido
oposto.
A observac ao acima segue imediatamente da proposicao 6 e do corolario 1 notando-se que
[z
o
[ = 1.
A proposicao 6 se estende, por induc ao nita, da seguinte maneira:
Proposicao 7 Se r
j
e
j
representam o modulo e um argumento, respectivamente, de z
j
C,
para j = 1, . . . , n entao r
1
r
n
e
1
+ +
n
representam o modulo e um argumento de
z
1
z
n
.
Tomando z = z
1
= = z
n
obtemos o seguinte
Corolario 2 Se r e representam o modulo e um argumento, respectivamente, de z C, entao
para todo n N temos
z
n
= r
n
(cos(n) +i sen(n)).
Alem do mais, se z ,= 0, a formula acima e valida para todo n Z.
Corolario 3 (De Moivre) Para todo R e todo n Z temos
(cos + i sen )
n
= cos(n) + i sen(n).
Prova: Basta notar que [ cos +i sen [ = 1.
19
Exemplo 9 Mostre que
i
n
; n Z = 1, 1, i, i.
Como i = cos

2
+ i sen

2
, obtemos i
n
= cos
n
2
+ i sen
n
2
. Agora, se n Z, podemos escrever
n = 4k + r onde r 0, 1, 2, 3 e ent ao
i
n
= cos
(4k + r)
2
+ i sen
(4k + r)
2
= cos
r
2
+ i sen
r
2
=
_

_
1, se r = 0
i, se r = 1
1, se r = 2
i, se r = 3.
20
Captulo 5
Razes de n umeros complexos
Nas secoes anteriores vimos como operar com n umeros complexos. Nesta secao vamos nos ater
a encontrar soluc oes para equac oes do tipo
z
n
= z
o
, (5.1)
em que n N e z
o
C sao dados. A melhor maneira para tratar este problema e usando a
forma polar de representac ao.
Primeiramente, e claro que se z
o
= 0 ent ao a equacao 5.1 apresenta somente a soluc ao z = 0.
Escrevendo z = r(cos +i sen ) e z
o
= r
o
(cos
o
+i sen
o
) vemos que 5.1 e equivalente a
r
n
(cos(n) + i sen(n)) = r
o
(cos
o
+i sen
o
), (5.2)
que por sua vez e equivalente a
_
r
n
= r
o
n =
o
+ 2k, para algum k Z

_
r =
n

r
o
=

o
n
+
2k
n
, para algum k Z.
(5.3)

E bom salientar que

n

r
o
representa a raiz n-esima (positiva) do n umero real e positivo r
o
.
Quanto `a equacao
=

o
n
+
2k
n
vemos que para cada k Z temos um valor distinto de e para designar esta dependencia
escreveremos
k
ao inves de , isto e

k
=

o
n
+
2k
n
.
Tambem escreveremos
z
k
=
n

r
o
(cos
k
+i sen
k
).

E facil ver que para todo k, Z temos

cos(
k+n
) + i sen(
k+n
) = cos
k
+ i sen
k
,
21
ou seja, z
k+n
= z
k
. Isto signica que podemos nos restringir `as soluc oes dadas por
z
0
, . . . , z
n1
. (5.4)
Note que os n umeros em 5.4 sao dois a dois distintos, pois embora tenham o mesmo modulo,
seus argumentos nao diferem por nenhum m ultiplo inteiro de 2 (veja a observac ao 1).
Em resumo, se z
o
= r
o
(cos
o
+ i sen
o
) ,= 0, a equac ao 5.1 apresenta n soluc oes (razes)
distintas dadas por
z
k
=
n

r
o
_
cos
_

o
+ 2k
n
_
+ i sen
_

o
+ 2k
n
__
, k = 0, . . . , n 1.
Note que se colocarmos
=
n

r
o
_
cos
_

o
n
_
+ i sen
_

o
n
__
e

k
= cos
_
2k
n
_
+ i sen
_
2k
n
_
, k = 0, . . . , n 1,
obtemos
n
= z
o
,
n
k
= 1 e as solucoes de 5.1 sao dadas por z
k
=
k
, k = 0, . . . , n 1. Ou
seja conhecendo-se uma raiz de z
o
as outras razes sao obtidas multiplicando-a pelas razes da
unidade.
Observe ainda que pela formula de De Moivre (veja 3) temos
k
=
k
1
para k = 0, . . . , n1.
De onde,
k
=
1

k1
, k = 1, . . . , n 1, que geometricamente nos diz que
k
e obtido rodando

k1
de um angulo
2
n
no sentido anti-horario. Desta maneira, as razes n-esimas da unidade sao
precisamente os vertices do polgono regular inscrito na circunferencia z C; [z[ = 1 tendo
como um do vertices o n umero um.
-
6
1
...........................................................................
1
=
2
8
=

4
As razes de z
8
= 1.
Exemplo 10 Encontre todas as razes de z
4
= 1.
22
Como vimos, as razes sao dadas por

k
= cos
_
2k
4
_
+ i sen
_
2k
4
_
= cos
_
k
2
_
+i sen
_
k
2
_
, k = 0, . . . , 3,
ou seja,

0
= 1,
1
= i,
2
= 1 e
3
= i.

Exemplo 11 Encontre as razes de z

3
= 1 i.
Como
1 i =

2
_
cos
7
4
+ i sen
7
4
_
,
obtemos
z
0
=
6

2
_
cos
7
12
+ i sen
7
12
_
,
z
1
=
6

2
_
cos
15
12
+ i sen
15
12
_
e
z
2
=
6

2
_
cos
23
12
+ i sen
23
12
_
.

23
24
Captulo 6
Alguns subconjuntos do plano
complexo
Ja vimos que a distancia entre dois pontos z
1
= x
1
+iy
1
, z
2
= x
2
+iy
2
, x
1
, x
2
, y
1
, y
2
R e dada
por
[z
1
z
2
[ = [(x
1
x
2
) + i(y
1
y
2
)[ =
_
(x
1
x
2
)
2
+ (y
1
y
2
)
2
,
que nada mais e do que a distancia usual entre dois pontos do plano euclidiano. Desta forma,
deniremos conjuntos abertos, fechados, etc., como feito em Calculo II. Vamos `as denicoes
Denicao 2 1. Se z
o
C e r > 0, o conjunto
D(z
o
, r) = z C; [z z
o
[ < r
e chamado de disco aberto centrado em z
o
e de raio r > 0.
2. Se z
o
C e r > 0, o conjunto
D[z
o
, r] = z C; [z z
o
[ r
e chamado de disco fechado centrado em z
o
e de raio r > 0.
3. Um ponto z
o
X C e chamado ponto interior de X se existir r > 0 tal que D(z
o
, r)
X.
4. Dizemos que X C e aberto se todo x X e ponto interior de X.
5. Dizemos que X C e fechado se o seu complementar for aberto.
6. A fronteira de X C, denotada por X, e formada por todo ponto z C tal que z
nao e ponto interior de X e z tambem nao e ponto interior do complementar de X.
Equivalentemente, z X se e somente se para todo r > 0, existem z
1
X e z
2
no
complementar de X tal que z
1
, z
2
D(z, r).
Exemplo 12 O disco aberto e um exemplo de conjunto aberto, bem como uma reuniao qualquer
de discos abertos.
25
Exemplo 13 O disco fechado e um exemplo de conjunto fechado, bem como uma interseccao
qualquer de discos fechados.
Podemos tambem trazer para o plano complexo as curvas que foram estudadas em Geometria
Analtica como as retas, os crculos, as elipses, etc. Na geometria analtica, estas curvas sao
expressas em termos das coordenadas dos pontos que estao sobre elas. No plano complexo,
entretanto, e mais conveniente expressa-las em termos do ponto z e de seu conjugado z, ou
ainda com relac ao ao modulo ou `a distancia. O que permite esta passagem sao as relac oes
existentes entre as partes real e imaginaria de um n umero complexo com relacao a este n umero
e o seu conjugado.
Exemplo 14 Considere a equacao geral da reta no plano cartesiano dada por ax +by +c = 0,
a
2
+b
2
> 0. Enfatizamos que as constantes a, b e c sao n umeros reais e que um ponto que esta
sobre esta reta tem coordenadas reais. Mostre que a esta equacao pode ser escrita na forma
z + z + = 0
onde z = x + iy, x, y R e C, R.
Lembre que 2x = z +z e 2iy = z z. Com isto, vemos que um ponto z = x +iy esta sobre
a reta dada se e somente se
a
z + z
2
+ b
z z
2i
+ c = 0
a bi
2
z +
a + bi
2
z + c = 0,
que esta na forma desejada.
Exemplo 15 Mostre que o crculo C(z
o
, r) = z C; [z z
o
[ = r pode ser escrito como
zz + z + z + = 0
onde C e R.
Temos
[z z
o
[ = r [z z
o
[
2
= r
2
(z z
o
)(z z
o
) = r
2
(z z
o
)(z z
o
) = r
2
zz z
o
z z
o
z +[z
o
[
2
r
2
= 0,
que esta na forma desejada.
Exerccio 4 Descreva geometricamente o conjunto R = z C; 1z (z + 1).
Colocando z = x +iy, x, y R, temos que x = 1z e y = (z +1) e, assim, z R se e somente
se x y. Desta forma, R representa o semiplano fechado determinado pela reta z = y que
contem o ponto (1, 0).
26

`
y = x
x y

Exerccio 5 Descreva geometricamente o conjunto R = z C; 1z

2
= 1.
Colocando z = x +iy, x, y R, temos que 1z
2
= x
2
y
2
e, portanto,
1z
2
= 1 x
2
y
2
= 1,
que representa uma hiperbole.
6
-
x
y
x
2
y
2
= 1

Exerccio 6 Descreva geometricamente o conjunto R = z C;

zi
z+i

= 2.
Colocando z = x +iy, x, y R, temos que z R se e somente se
[z i[ = 2[z + i[
_
x
2
+ (y 1)
2
= 2
_
x
2
+ (y + 1)
2
x
2
+ (y 1)
2
= 4x
2
+ 4(y + 1)
2
3x
2
+ 3y
2
+ 10y + 3 = 0 x
2
+ y
2
+
10
3
y + 1 = 0 x
2
+
_
y +
5
3
_
2
+ 1
25
9
= 0
x
2
+
_
y +
5
3
_
2
=
16
9
,
isto e, 1 = C(i
5
3
,
4
3
), o crculo centrado em i
5
3
com raio
4
3
.
27
`

i
5
3

28
Captulo 7
Algumas func oes elementares
Seja D um subconjunto de C. Uma func ao f a valores complexos sobre D e uma relacao
que a cada z D associa um unico elemento de C, denotado por f(z). Usaremos a notacao
F : D C, para representar uma funcao denida em D que toma valores em C. As func oes
z 1f(z) e z f(z)
sao chamadas de partes real e imaginaria de f, respectivamente. Usando a identicac ao z =
x +iy = (x, y), x, y R, podemos denir as funcoes u, v : D R por
u(x, y) = 1f(x + iy) e v(x, y) = f(x + iy).
Note que u e v sao func oes de duas variaveis a valores reais.
Vejamos alguns exemplos de func oes.
Exemplo 16 Fixados a
0
, . . . , a
n
C, denimos
f(z) = a
0
+ a
1
z + + a
n
z
n
, z C,
que e chamada de funcao polinomial. Os n umeros a
0
, . . . , a
n
sao chamados de coecientes de
f.
Exerccio 7 Mostre que se f e uma funcao polinomial com coecientes reais entao f(z) = f(z).
Em particular, f(z
o
) = 0 se e somente se f(z
o
) = 0.
Exemplo 17 Seja f(z) = z
2
3iz 2. Note que f(i) = 1 + 3 2 = 0 mas f(i) = f(i) =
1 3 2 = 6 ,= 0.
Exemplo 18 Se p e q sao funcoes polinomiais, denimos a funcao racional h(z) = p(z)/q(z)
para todo z C tal que q(z) ,= 0. Mais adiante veremos que para cada funcao polinomial,
digamos q, existe somente um n umero nito de n umeros complexos satisfazendo q(z) = 0.
Exerccio 8 Seja f(z) = 1/z denida para z ,= 0. Encontre as partes real e imaginaria de f.
29
Colocando z = x + iy, x, y R, temos
1
z
=
z
[z[
2
=
x
x
2
+ y
2
i
y
x
2
+ y
2
.
Assim, as partes real e imaginaria sao dadas, respectivamente, por
u(x, y) =
x
x
2
+ y
2
e v(x, y) =
y
x
2
+ y
2
, (x, y) ,= (0, 0).

Exerccio 9 Seja
h(z) = (1 + i)
z i
z + 1
, z ,= 1.
Mostre que imagem imagem do conjunto S = cos + i sen , < < e o eixo real.
Note que S e o crculo centrado na origem de raio um do qual foi excludo o n umero 1. Para
< < temos
h(cos + i sen ) = (1 + i)
cos + i(sen 1)
1 + cos + i sen
= (1 + i)
cos + i(sen 1)
1 + cos + i sen

1 + cos i sen
1 + cos i sen
= (1 + i)
1 + cos sen + i(1 + sen cos )
2(1 + cos )
=
1 + cos sen
2(1 + cos )
(1 + i)(1 i) =
1 + cos sen
1 + cos
R.
Alem do mais, usando LHospital para func ao de vari avel real, temos
lim
+
1 + cos sen
1 + cos
= lim
+
sen cos
sen
= lim
+
(1 + cotg ) =
e
lim

1 cos sen
1 + cos
= lim

sen cos
sen
= lim

(1 + cotg ) = +
e como () = h(cos + i sen ), e uma func ao contnua de < < , vemos que a imagem
de S pela func ao h e todo o eixo real.
Denicao 3 Denimos a funcao exponencial por
exp z = e
x
(cos y + i sen y), onde x = 1z, y = z.
Proposicao 8 Mostre que
1. exp(z
1
+ z
2
) = exp z
1
exp z
2
para todo z
1
, z
2
C;
30
2. [ exp z[ = e
z
para todo z C; em particular exp z ,= 0;
3. (exp z)
n
= exp(nz) para z C e n inteiro;
4. exp z = exp z;
5. Se z e real entao
exp z = e
z
, cos z =
exp(iz) + exp(iz)
2
e sen z =
exp(iz) exp(iz)
2i
.
Prova:
1. Escrevendo z
j
= x
j
+iy
j
, x
j
, y
j
R, j = 1, 2, e utilizando a formula para o produto (veja
6), obtemos
exp(z
1
+ z
2
) = exp(x
1
+ x
2
+ i(y
1
+ y
2
)) = e
x
1
+x
2
(cos(y
1
+ y
2
) + i sen(y
1
+ y
2
))
= [e
x
1
(cos y
1
+i sen y
1
)][e
x
2
(cos y
2
+ i sen y
2
)] = exp z
1
exp z
2
;
2. basta notar que [ cos y + i sen y[ = 1 e e
z
> 0;
3. como exp z ,= 0, para todo n Z, temos
(exp z)
n
= (e
x
(cos y +i sen y))
n
= e
nx
(cos(ny) +i sen(ny))
= exp(nx + iny) = exp(nz);
4. escrevendo z = x + iy, x, y R, temos
exp z = e
x
(cos y + i sen y)
= e
x
(cos y i sen y) = e
x
(cos(y) +i sen(y)) = exp(x iy) = exp z.
5. Se z e real entao z = 0, z = 1z e pela denicao de exponencial, temos
exp z = e
z
(cos(z) + i sen(z)) = e
z
(cos 0 + i sen 0) = e
z
.
Como z e real tambem temos 1(iz) = 1(iz) = 0 e (iz) = z = (iz). Assim
_
exp(iz) = cos z + i sen z
exp(iz) = cos(z) + i sen(z) = cos z i sen z

_
cos z =
exp(iz)+exp(iz)
2
sen z =
exp(iz)exp(iz)
2i
.
Observacao 3 Em virtude da proposicao anterior (veja 5), utilizaremos tambem a expressao
e
z
para denotar exp z mesmo quando z C.
31
Observacao 4 Note que z C tem modulo igual a um se somente se z = e
i
para algum
R.
Como as expressoes
exp(iz)+exp(iz)
2
e
exp(iz)exp(iz)
2i
estao denidas para todo n umero complexo
z e tendo em vista a proposicao 8 item 5, denimos as func oes seno e cosseno por
Denicao 4
cos z =
exp(iz) + exp(iz)
2
e sen z =
exp(iz) exp(iz)
2i
, z C.
Proposicao 9 Para todo z, z
1
, z
2
C, temos
1. cos z = cos x cosh y i sen x senh y, onde x = 1z e y = z;
2. sen z = sen x cosh y + i cos x senh y, onde x = 1z e y = z;
3. [ cos z[
2
= cos
2
x + senh
2
y, onde x = 1z e y = z;
4. [ sen z[
2
= sen
2
x + senh
2
y, onde x = 1z e y = z;
5. cos z = 0 se e somente se z =

2
+ k, k Z;
6. sen z = 0 se e somente se z = k, k Z;
7. cos
2
z + sen
2
z = 1;
8. cos z = cos z;
9. sen z = sen z;
10. cos(z) = cos z;
11. sen(z) = sen z;
12. cos(z
1
+ z
2
) = cos z
1
cos z
2
sen z
1
sen z
2
;
13. sen(z
1
+ z
2
) = sen z
1
cos z
2
+ sen z
2
cos z
1
;
14. cos(z
1
z
2
) = cos z
1
cos z
2
+ sen z
1
sen z
2
;
15. sen(z
1
z
2
) = sen z
1
cos z
2
sen z
2
cos z
1
;
16. cos(z + 2) = cos z;
17. sen(z + 2) = sen z.
Prova: Colocando x = 1z e y = z, temos
32
1.
cos z =
exp(iz) + exp(iz)
2
=
exp(y + ix) + exp(y ix)
2
=
e
y
(cos x + i sen x) + e
y
(cos x i sen x)
2
=
e
y
+ e
y
2
cos x i
e
y
e
y
2
sen x
= cosh y cos x i senh y sen x;
2.
sen z =
exp(iz) exp(iz)
2i
=
exp(y + ix) exp(y ix)
2i
=
e
y
(cos x +i sen x) e
y
(cos x i sen x)
2i
=
e
y
e
y
2i
cos x + i
e
y
+e
y
2i
sen x
= cosh y sen x + i senh y cos x;
3. de 1 obtemos
[ cos z[
2
= cosh
2
y cos
2
x + senh
2
y sen
2
x
= cosh
2
y cos
2
x + senh
2
y(1 cos
2
x)
= (cosh
2
y senh
2
y) cos
2
x + senh
2
y
= cos
2
x + senh
2
y;
4. de 2, obtemos
[ sen z[
2
= cosh
2
y sen
2
x + senh
2
y cos
2
x
= cosh
2
y sen
2
x + senh
2
y(1 sen
2
x)
= (cosh
2
y senh
2
y) sen
2
x + senh
2
y
= sen
2
x + senh
2
y;
5. note que cos z = 0 se e somente se [ cos z[ = 0. Segue de 3 que, colocando x = 1z e
y = z, entao cos z = 0 se e somente se cos x = 0 e senh y = 0, ou seja, se e somente se
x =

2
+ k, k Z e y = 0;
6. note que sen z = 0 se e somente se [ sen z[ = 0. Segue de 4 que, colocando x = 1z e
y = z, entao cos z = 0 se e somente se sen x = 0 e senh y = 0, ou seja, se e somente se
x = k, k Z e y = 0;
33
7.
cos
2
z + sen
2
z =
(exp(iz) + exp(iz))
2
4

(exp(iz) exp(iz))
2
4
=
exp(2iz) + exp(2iz) + 2 exp(2iz) exp(2iz) + 2
4
= 1
8.
cos z =
exp(iz) + exp(iz)
2
=
exp(iz) + exp(iz)
2
= cos z;
9.
sen z =
_
exp(iz) exp(iz)
2i
_
=
exp(iz) exp(iz)
2i
= sen z;
10.
cos(z) =
exp(iz) + exp(iz)
2
= cos z;
11.
sen(z) =
exp(iz) exp(iz)
2i
= sen z;
12. temos
cos z
1
cos z
2
sen z
1
sen z
2
=
1
4
[(exp(iz
1
) + exp(iz
1
))(exp(iz
2
) + exp(iz
2
))
+ (exp(iz
1
) exp(iz
1
))(exp(iz
2
) exp(iz
2
))]
=
1
4
[exp(i(z
1
+ z
2
)) + exp(i(z
1
z
2
)) + exp(i(z
1
z
2
)) + exp(i(z
1
+ z
2
))
+ exp(i(z
1
+ z
2
)) exp(i(z
1
z
2
)) exp(i(z
1
z
2
)) + exp(i(z
1
+ z
2
))]
=
1
2
[exp(i(z
1
+ z
2
)) + exp(i(z
1
+ z
2
))] = cos(z
1
+ z
2
);
13. temos
sen z
1
cos z
2
+ sen z
2
cos z
1
=
1
4i
[(exp(iz
1
) exp(iz
1
))(exp(iz
2
) + exp(iz
2
))
+ (exp(iz
2
) exp(iz
2
))(exp(iz
1
) + exp(iz
1
))]
=
1
4i
[exp(i(z
1
+ z
2
)) exp(i(z
1
z
2
)) + exp(i(z
1
z
2
)) exp(i(z
1
+ z
2
))
+ exp(i(z
1
+ z
2
)) exp(i(z
1
z
2
)) + exp(i(z
1
z
2
)) exp(i(z
1
+ z
2
))]
=
1
2i
[exp(i(z
1
+ z
2
)) exp(i(z
1
+z
2
))] = sen(z
1
+ z
2
);
34
14. substitua z
2
por z
2
em 12 e use 10 e 11;
15. substitua z
2
por z
2
em 13 e use 10 e 11;
16. por 12
cos(z + 2) = cos z cos 2 sen z sen 2 = cos z;
17. por 13
sen(z + 2) = sen z cos 2 + sen 2 cos z = sen z.
Observacao 5 Note que por 5 e 6 os zeros das func oes complexas cosseno e seno sao os
mesmos que os zeros das funcoes reais cosseno e seno, respectivamente. Desta forma, podemos
denir as funcoes complexas tg, cotg, sec e cosec de modo analogo ao caso real.
Denicao 5 Dizemos que uma funcao f denida num subconjunto D de C e limitada se existir
K > 0 tal que [f(z)[ K para todo z D.
Exemplo 19 As funcoes seno e cosseno nao sao limitadas em C.
Usando 3 e 4 da proposicao 9 com z = ni, n = 1, 2, . . . , vemos que
[ cos z[ = [ sen z[ = senh n =
e
n
e
n
2
+ quando n +.

Exemplo 20 Sejam A > 0 e D = z C; [z[ A. As funcoes seno e cosseno sao limitadas

em D.
Se z = x + iy D, x, y R, ent ao, como [y[ A, temos
[ cos z[
2
= cos
2
x + senh
2
y 1 +
(e
y
e
y
)
2
4
1 + e
2A
.
Tomando K =

1 + e
2A
, vemos que [ cos z[ K para todo z D. De modo analogo, [ sen z[
K para todo z D.
Denicao 6 As funcoes complexas seno e cosseno hiperbolicos sao denidas por:
senh z =
exp z exp(z)
2
e cosh z =
exp z + exp(z)
2
.
Deixamos como exerccio a verica cao da seguinte
Proposicao 10 Temos
1. cosh
2
z senh
2
z = 1, para todo z C;
2. [ cosh z[
2
= senh
2
x + cos
2
y, para todo z = x + iy C, x, y R;
3. [ senh z[
2
= senh
2
x + sen
2
y, para todo z = x + iy C, x, y R;
4. cosh z = 0 se e somente z =
2k+1
2
i para algum k Z;
5. senh z = 0 se e somente z = ki para algum k Z.
35
36
Captulo 8
Limite e continuidade
Denicao 7 Sejam f : D C C e z
o
C. Dizemos que existe o limite de f em z
o
se existir
L C tal que para cada > 0 existir > 0 tal que
z D, 0 < [z z
o
[ < [f(z) L[ < .
Deixamos como exerccio a vericac ao de que se existir L C satisfazendo a denic ao acima,
ele e o unico. Neste caso, usaremos a notacao
L = lim
zz
o
f(z).
Geometricamente, a existencia do limite de f em z
o
signica que dado qualquer disco C
centrado em L, e possvel encontrar um outro disco centrado em z
o
cujos pontos distintos de
z
o
e que estao em D sao mandados por f em C.
Exemplo 21 Verique que
(i) lim
zz
o
= , constante (ii) lim
zz
o
z = z
o
(iii) lim
zz
o
z = z
o
(iv) lim
zz
o
[z[ = [z
o
[
Seja > 0.
(i) Tome > 0 qualquer e da [ [ = 0 < .
(ii) Tome = . Da, sempre que [z z
o
[ < temos [z z
o
[ < = .
(iii) Tome = . Da, sempre que [z z
o
[ < temos [z z
o
[ = [z z
o
[ = [z z
o
[ < = .
(iv) Tome = . Da, sempre que [z z
o
[ < temos [[z[ [z
o
[[ [z z
o
[ < = .
Proposicao 11 Sejam f, g funcoes tais que existem lim
zz
o
f(z) e lim
zz
o
g(z). Temos
1. Para quaisquer , C temos
lim
zz
o
(f(z) + g(z)) = lim
zz
o
f(z) + lim
zz
o
g(z);
37
2.
lim
zz
o
f(z)g(z) = lim
zz
o
f(z) lim
zz
o
g(z);
3. Se lim
zz
o
g(z) ,= 0 entao
lim
zz
o
f(z)
g(z)
=
lim
zz
o
f(z)
lim
zz
o
g(z)
.
Prova:
1. Fa ca como exerccio.
2. Coloque L = lim
zz
o
f(z) e M = lim
zz
o
g(z). Usando a denic ao de limite, tome
1
> 0
tal que [f(z) L[ < 1 sempre que 0 < [z z
o
[ <
1
. Segue que
[f(z)[ [f(z) L[ +[L[ < 1 +[L[ sempre que 0 < [z z
o
[ <
1
.
Usando a denic ao de limite, existe
2
> 0 tal que
[f(z) L[ <

2(1 +[M[)
sempre que 0 < [z z
o
[ <
2
.
Tambem, existe
3
> 0 tal que
[g(z) M[ <

2(1 +[L[)
sempre que 0 < [z z
o
[ <
3
.
Coloque = min
1
,
2
,
3
. Se 0 < [z z
o
[ < entao
[f(z)g(z) LM[ = [f(z)(g(z) M) + M(f(z) L)[ [f(z)[[g(z) M[ +[M[f(z) L[
(1 +[L[)

2(1 +[L[)
+[M[

2(1 +[M[)
< .
3. Pela parte anterior, basta mostrarmos que lim
zz
o
g(z) =
1
M
. Dado > 0, pela denicao
de limite existe
1
> 0 tal que
[g(z) M[ <

2
[M[
2
sempre que 0 < [z z
o
[ <
1
.
Tambem existe
2
> 0 tal que
[g(z) M[ <
[M[
2
sempre que 0 < [z z
o
[ <
2
.
[M[ [g(z) M[ +[g(z)[
temos que
[g(z)[ [M[ [g(z) M[ > [M[
[M[
2
=
[M[
2
sempre que 0 < [z z
o
[ <
2
.
Tomando = min
1
,
2
temos

1
g(z)

1
M

=
[M g(z)[
[M[[g(z)[
<
1
[M[

2
[M[
2
2
[M[
= sempre que 0 < [z z
o
[ < .
38
Exemplo 22 Como ja vimos que lim
zz
o
z = z
o
segue da proposicao anterior que se f(z) e
uma funcao polinomial que lim
zz
o
f(z) = f(z
o
). Alem do mais, se g e tambem polinomial com
g(z
o
) ,= 0 entao
lim
zz
o
f(z)
g(z)
=
f(z
o
)
g(z
o
)
.
Exerccio 10 Encontre, se possvel, lim
z0
z
z
.
Note que sobre se z ,= 0 e real temos
z
z
= 1 e se z ,= 0 e imaginario puro temos
z
z
= 1.
Como todo disco centrado na origem possui n umeros real e imaginario puro, conclumos, pela
unicidade do limite, que nao existe lim
z0
z
z
.
Proposicao 12 Sejam f : D C C, u e v as partes real e imaginaria de f e z
o
= x
o
+iy
o

C, x
o
, y
o
R. A m de exista o limite de f em z
o
e necessario e suciente que existam os limites
de u e v em (x
o
, y
o
). Em caso armativo, vale
lim
zz
o
f(z) = lim
(x,y)(x
o
,y
o
)
u(x, y) + i lim
(x,y)(x
o
,y
o
)
v(x, y).
Prova: Suponha que existam u
o
= lim
(x,y)(x
o
,y
o
)
u(x, y) e v
o
= lim
(x,y)(x
o
,y
o
)
v(x, y). Dado
> 0, existem
1
,
2
> 0 tal que
[u(x, y) u
o
[ <

2
sempre que 0 < [z z
o
[ =
_
(x x
o
)
2
+ (y y
o
)
2
<
1
e
[v(x, y) v
o
[ <

2
sempre que 0 < [z z
o
[ =
_
(x x
o
)
2
+ (y y
o
)
2
<
2
.
Tomando = min
1
,
2
, temos
[f(z) (u
o
iv
o
)[ = [(u(x, y) u
o
) +i(v(x, y) v
o
)[ [u(x, y) u
o
[ +[v(x, y) v
o
[ <

2
+

2
=
sempre que 0 < [z z
o
[ < .
Reciprocamente se existir L = lim
zz
o
f(z), ent ao, para cada > 0 existe > 0 tal que
[f(z) L[ < sempre que 0 < [z z
o
[ =
_
(x x
o
)
2
+ (y y
o
)
2
< .
Colocando L = U +iV, U, V R, temos que
[u(x, y)U[
_
(u(x, y) U)
2
+ (v(x, y) V )
2
= [u(x, y)+iv(x, y)UiV [ = [f(z)L[ <
e
[v(x, y)V [
_
(u(x, y) U)
2
+ (v(x, y) V )
2
= [u(x, y)+iv(x, y)U iV [ = [f(z)L[ <
sempre que 0 < [z z
o
[ =
_
(x x
o
)
2
+ (y y
o
)
2
< .
39
Exemplo 23 Utilizando a proposicao acima e observando as partes real e imaginaria das
funcoes exponencial, seno e cosseno, vemos que se z
o
C entao
(i) lim
zz
o
= exp z
o
(ii) lim
zz
o
sen z = sen z
o
(iii) lim
zz
o
cos z = cos z
o
.
Denicao 8 Sejam f : D C C e z
o
D. Dizemos que f e contnua em z
o
se
lim
zz
o
f(z) = f(z
o
).
Dizemos que f e contnua em D se f for contnua em todos os pontos de D.
Observacao 6 Segue da proposicao 11 que se f e g sao contnuas em z
o
entao para quaisquer
, C que f + g e contnua em z
o
. Alem do mais, o produto fg e contnuo em z
o
e o
mesmo vale para f/g desde que g(z
o
) ,= 0.
Observacao 7 Segue da proposicao 12 que uma condicao necessaria e suciente para que f
seja contnua e que as suas partes real e imaginaria sejam contnuas.
Observacao 8 Segue do exemplo 22 que toda funcao polinomial e contnua e o mesmo vale
para as funcoes racionais. Vale a pena salientar que uma funcao racional e contnua sobre os
pontos onde ela esta denida.
Exemplo 24 A funcao f(z) =
z
z
e contnua para todo z ,= 0.
Basta notar que se z
o
,= 0 entao
lim
zz
o
z
z
=
lim
zz
o
z
lim
zz
o
z
=
z
o
z
o
= f(z
o
).

Observacao 9 Segue do exemplo 23 que as funcoes exponencial, seno e cosseno tambem sao
contnuas.
Proposicao 13 Sejam f : D C C e g : C. Se f e contnua em z
o
D e g e
contnua em
o
= f(z
o
) entao a composta g f : D C tambem e contnua em z
o
.
Prova: Dado > 0, pela continuidade de g em
o
, existe
1
tal que
[g() g(
o
)[ = [g() g(f(z
o
))[ < sempre que [
o
[ <
1
. (8.1)
Por outro lado, existe > 0 ent ao
[f(z)
o
[ = [f(z) f(z
o
)[ <
1
sempre que [z z
o
[ < .
Combinando a desigualdade acima com 8.1, obtemos que
[g(f(z)) g(f(z
o
))[ < sempre que [z z
o
[ < .
40
Captulo 9
Derivacao e as equac oes de
Cauchy-Riemann
Denicao 9 Sejam D C um aberto, f : D C e z
o
D. Dizemos que f e derivavel em z
o
se o seguinte limite existir
lim
zz
o
f(z) f(z
o
)
z z
o
ou equivalentemente, caso exista
lim
h0
f(z
o
+ h) f(z
o
)
h
.
Em caso armativo, escreveremos
f

(z
o
) = lim
zz
o
f(z) f(z
o
)
z z
o
= lim
h0
f(z
o
+ h) f(z
o
)
h
e diremos que f

(z
o
) e a derivada de f em z
o
.
Observacao 10 Note que f

(z
o
) e a derivada de f em z
o
D se e somente se para qualquer
> 0 existir > 0 tal que
[f(z) f(z
o
) f

(z
o
)(z z
o
)[ [z z
o
[ sempre que [z z
o
[ < ,
ou equivalentemente,
[f(z
o
+ h) f(z
o
) f

(z
o
)h[ [h[ sempre que [h[ < .
Proposicao 14 Se f : D C e derivavel em z
o
D entao f e contnua em z
o
.
Prova: Note que
lim
zz
o
(f(z) f(z
o
)) = lim
zz
o
f(z) f(z
o
)
z z
o
(z z
o
)
41
lim
zz
o
f(z) f(z
o
)
z z
o
lim
zz
o
(z z
o
) = f

(z
o
) 0 = 0,
ou seja,
lim
zz
o
f(z) = f(z
o
).
Exemplo 25 Mostre que f(z) = z + e derivavel para qualquer z
o
C e f

(z) = .
Temos
lim
zz
o
f(z) f(z
o
)
z z
o
= lim
zz
o
z + (z
o
+ )
z z
o
= lim
zz
o
(z z
o
)
z z
o
= .

Exemplo 26 Mostre que f(z) = z nao e derivavel em nenhum ponto.

Observe que para z ,= z
o
,
f(z) f(z
o
)
z z
o
=
z z
o
z z
o
=
z z
o
z z
o
.
Assim, se tomarmos z = z
o
+ h, h R, h ,= 0, obtemos
f(z) f(z
o
)
z z
o
=
h
h
= 1.
Por outro lado, tomando z = z
o
+ hi, h R, h ,= 0, obtemos
f(z) f(z
o
)
z z
o
=
hi
hi
= 1.
Como os pontos da forma z
o
+ h e z
o
+ hi podem car tao proximos a z
o
quanto quisermos,
vemos que nao existe
lim
zz
o
z z
o
z z
o
.

Valem as regras usuais de deriva cao, isto e, temos a

Proposicao 15 Sejam D C um aberto, z
o
D e f, g : D C. Se f e g sao derivaveis em
z
o
entao
1. (f +g)

(z
o
) = f

(z
o
) +g

(z
o
), onde , C;
2. (f g)

(z
o
) = f

(z
o
)g(z
o
) +f(z
o
)g

(z
o
);
3.
_
f
g
_

(z
o
) =
f

(z
o
)g(z
o
)f(z
o
)g

(z
o
)
[g(z
o
)]
2
, desde que g(z
o
) ,= 0.
Prova:
42
1. Como f

(z
o
) e g

(z
o
) existem, temos
lim
zz
o
f(z) + g(z) f(z
o
) g(z
O
)
z z
o
= lim
zz
o
f(z) f(z
o
)
z z
o
+ lim
zz
o
g(z) g(z
o
)
z z
o
= f

(z
o
) + g

(z
o
);
2. como f

(z
o
) e g

(z
o
) existem e f e contnua em z
o
, temos
lim
zz
o
f(z)g(z) f(z
o
)g(z
o
)
z z
o
= lim
zz
o
f(z)(g(z) g(z
o
)) +g(z
o
)(f(z) f(z
o
))
z z
o
lim
zz
o
f(z)
g(z) g(z
o
)
z z
o
+ g(z
o
) lim
zz
o
f(z) f(z
o
)
z z
o
= f(z
o
)g

(z
o
) +g(z
o
)f

(z
o
);
3. usando o item anterior, basta mostrarmos que
_
1
g
_

(z
o
) =
g(z
o
)
[g(z
o
)]
2
.
Como g

(z
o
) existe, g e contnua em z
o
e g(z
o
) ,= 0, temos
lim
zz
o
1
g(z)

1
g(z
o
)
z z
o
= lim
zz
o
1
g(z)g(z
o
)
lim
zz
o
g(z
o
) g(z)
z z
o
=
g

(z
o
)
[g(z
o
)]
2
.
Exemplo 27 Se f
n
(z) = z
n
n N entao f

n
(z) = nz
n1
.
De fato, do exemplo 26 obtemos f

1
(z) = 1 e por induc ao, se assumirmos que f

n1
(z) =
(n 1)z
n2
entao pela proposic ao anterior,
f

n
(z) = (z z
n1
)

= 1 z
n1
+ z (n 1)z
n2
= nz
n1
.

Exemplo 28 Se f(z) = a
0
+ a
1
z + + a
n
z
n
entao f

(z) = a
1
+ 2a
2
z + + na
n
z
n1
.
Exemplo 29 Se g
n
(z) = z
n
n N entao g

n
(z) = nz
n1
para todo z ,= 0.
Note que g
n
=
1
f
n
, f
n
como no exemplo 27 e, portanto, se z ,= 0,
g

n
(z) =
f

n
(z)
[f
n
(z)]
2
=
nz
n1
z
2n
= nz
n1
.

No captulo anterior vimos que para que uma func ao f : D C C fosse contnua era
necessario e suciente que as suas partes real e imaginaria fossem contnuas. Como veremos a
seguir, para que f seja derivavel nao bastara que suas partes real e imaginaria tenham derivadas.
Os dois proximos teoremas nos mostram como elas se relacionam.
43
Teorema 1 Sejam D C um aberto, z
o
= x
o
+ iy
o
D, x
o
, y
o
R, f : D C, u(x, y) =
1f(z) e v(x, y) = f(z). Se f e derivavel em z
o
entao existem as derivadas parciais de u e v
em (x
o
, y
o
) e elas satisfazem
u
x
(x
o
, y
o
) =
v
y
(x
o
, y
o
) e
u
y
(x
o
, y
o
) =
v
x
(x
o
, y
o
). (9.1)
Alem do mais,
f

(z
o
) =
u
x
(x
o
, y
o
) +i
v
x
(x
o
, y
o
) =
v
y
(x
o
, y
o
) i
u
y
(x
o
, y
o
). (9.2)
Prova: Como f

(z
o
) existe por hipotese, podemos calcula-la dos seguintes modos:
Primeiro modo: Aproximando do ponto z
o
= x
o
+ iy
o
por pontos da forma x
o
+ h + iy
o
D
com h R.
f

(z
o
) = lim
h0, hR
f(x
o
+ h + iy
o
) f(x
o
+ iy
o
)
h
= lim
h0,hR
_
u(x
o
+ h, y
o
) u(x
o
, y
o
)
h
+ i
v(x
o
+ h, y
o
) v(x
o
, y
o
)
h
_
=
u
x
(x
o
, y
o
) + i
v
x
(x
o
, y
o
),
pois como o limite existe, sabemos pela proposic ao 12 que tambem existem os limites das partes
real e imaginaria.
Segundo modo: Aproximando do ponto z
o
= x
o
+ iy
o
por pontos da forma x
o
+ i(y
o
+ h) D
com h R.
f

(z
o
) = lim
h0, hR
f(x
o
+ i(y
o
+h)) f(x
o
+ iy
o
)
ih
= lim
h0,hR
_
u(x
o
, y
o
+ h) u(x
o
, y
o
)
ih
+ i
v(x
o
, y
o
+ h) v(x
o
, y
o
)
ih
_
= lim
h0,hR
_
v(x
o
, y
o
+h) v(x
o
, y
o
)
h
i
u(x
o
, y
o
+ h) u(x
o
, y
o
)
h
_
=
v
y
(x
o
, y
o
) i
u
y
(x
o
, y
o
).
Deste modo,
f

(z
o
) =
u
x
(x
o
, y
o
) +i
v
x
(x
o
, y
o
) =
v
y
(x
o
, y
o
) i
u
y
(x
o
, y
o
),
resultando em nas equacoes 9.1 e 9.2.
Observacao 11 As equacoes 9.1 sao chamadas de equacoes de Cauchy-Riemann. Embora a
parte real e a parte imaginaria de uma funcao f devam satisfazer estas equacoes para que exista
a derivada de f, a simples vericacao de 9.1 nao e garantia da existencia de f

como mostra o
seguinte exemplo.
44
Exemplo 30 A funcao
f(z) =
_
z
5
|z|
4
, se z ,= 0
0, se z = 0
nao e derivavel em z = 0 mas as suas partes real e imaginaria satisfazem as equacoes de
Cauchy-Riemann em z = 0.
Se h = re
i
, r > 0 e R, entao
f(h) f(0)
h
=
h
5
|h|
4
h
=
h
4
[h[
4
=
r
4
e
4i
r
4
= e
4i
.
Como a expressao acima depende do valor de , vemos que nao existe a derivada de f em z = 0.
Por outro lado, se u = 1f e v = F, vemos que u(0, 0) = v(0, 0) = 0 e para z = x +iy ,= 0,
x, y R,
f(z) =
z
5
[z[
4
=
(x + iy)
5
(x
2
+ y
2
)
2
=
x
5
10x
3
y
2
+ 5xy
4
(x
2
+ y
2
)
2
+ i
y
5
10x
2
y
3
+ 5yx
4
(x
2
+ y
2
)
2
= u(x, y) + iv(x, y).
Agora,
u
x
(0, 0) = lim
x0
u(x, 0) u(0, 0)
x
= lim
x0
x
x
= 1,
v
y
(0, 0) = lim
y0
v(0, y) v(0, 0)
y
= lim
y0
y
y
= 1,
vericando a primeira das equac oes de Cauchy-Riemann em (0, 0). Tambem,
u
y
(0, 0) = lim
y0
u(0, y) u(0, 0)
x
= lim
y0
0
y
= 0,
v
x
(0, 0) = lim
x0
v(x, 0) v(0, 0)
x
= lim
x0
0
y
= 0,
vericando a segunda das equac oes de Cauchy-Riemann em (0, 0).
Os resultados obtidos ate agora nao nos dao muita informac ao de como calcular derivadas
das func oes complexas. Com o que sabemos nao vamos muito mais longe do que o calculo das
derivadas de func oes polinomiais ou funcoes racionais (p(z)/q(z), p e q polinomios).
O proximo teorema nos fornece uma condicao suciente para que uma func ao complexa
possua derivada. Esta condicao e que, alem de que as partes real e imaginaria desta func ao
existam e satisfacam as equac oes de Cauchy-Riemann, elas tambem sejam de classe C
1
, isto e,
possuam derivadas parciais contnuas.
Teorema 2 Sejam D C um aberto, z
o
= x
o
+ iy
o
D, x
o
, y
o
R e f : D C uma
funcao tal que u(x, y) = 1f(z) e v(x, y) = f(z) possuam derivadas parciais de primeira
ordem contnuas em (x
o
, y
o
). Se u e v satisfazem as equacoes de Cauchy-Riemann (9.1) entao
f e derivavel em z
o
e f

(z
o
) e dada por 9.2.
45
Prova: Como u e v sao de classe C
1
, sabemos de Calculo II que existem funcoes
1
e
2
denidas em torno de (0, 0) satisfazendo para todo (r, s) R
2
sucientemente pequeno
u(x
o
+ r, y
o
+ s) u(x
o
, y
o
) =
u
x
(x
o
, y
o
)r +
u
y
(x
o
, y
o
)s +
1
(r, s),
v(x
o
+ r, y
o
+ s) v(x
o
, y
o
) =
v
x
(x
o
, y
o
)r +
v
y
(x
o
, y
o
)s +
2
(r, s),
e
lim
(r,s)(0,0)

1
(r, s)

r
2
+s
2
= lim
(r,s)(0,0)

2
(r, s)

r
2
+ s
2
= 0.
Colocando h = r + is, e utilizando as equac oes de Cauchy-Riemann, temos
f(z
o
+ h) f(z
o
) = u(x
o
+ r, y
o
+ s) u(x
o
, y
o
) +i(v(x
o
+ r, y
o
+ s) v(x
o
, y
o
))
=
u
x
(x
o
, y
o
)r +
u
y
(x
o
, y
o
)s + i
v
x
(x
o
, y
o
)r + i
v
y
(x
o
, y
o
)s +
1
(r, s) + i
2
(r, s)
=
u
x
(x
o
, y
o
)r
v
x
(x
o
, y
o
)s + i
v
x
(x
o
, y
o
)r + i
u
x
(x
o
, y
o
)s +
1
(r, s) + i
2
(r, s)
=
u
x
(x
o
, y
o
)(r + si) + i
v
x
(x
o
, y
o
)(r + si) +
1
(r, s) +i
2
(r, s)
=
_
u
x
(x
o
, y
o
) + i
v
x
(x
o
, y
o
)
_
h +
1
(r, s) + i
2
(r, s)
e, desta forma,
lim
h0
_
f(z
o
+ h) f(z
o
)
h

_
u
x
(x
o
, y
o
) +i
v
x
(x
o
, y
o
)
__
= lim
h=r+si0
_

1
(r, s)
r + si
+ i

2
(r, s)
r + si
_
= 0,
pois

j
(r, s)
r + si

=
[
j
(r, s)[

r
2
+ s
2
0, quando (r, s) 0, 1 = 1, 2.
Isto mostra que f e derivavel em z
o
e
f

(z
o
) =
u
x
(x
o
, y
o
) + i
v
x
(x
o
, y
o
).
Quanto `a outra formula para f

(z
o
), basta usar a formula acima e as equac oes de Cauchy-
Riemann.
Observacao 12 As formulas 9.2 tambem podem ser escritas da seguinte forma
f

(z) =

x
f(x + iy) = i

y
f(x + iy).
Equivalentemente
f
x
+ i
f
y
= 0.
46
Exemplo 31 A funcao exponencial e derivavel em qualquer z C e exp

(z) = exp z.
Como u(x, y) = 1exp z = e
x
cos y e v(x, y) = exp z = e
x
sen y sao func oes de classe C
1
,
para mostrar que a exponencial e derivavel, resta mostrar que elas satisfazem as equacoes de
Cauchy-Riemann. De fato,
u
x
(x, y) =

x
(e
x
cos y) = e
x
cos y =

y
(e
x
sen y) =
v
y
(x, y)
e
u
y
(x, y) =

y
(e
x
cos y) = e
x
sen y =

x
(e
x
sen y) =
v
x
(x, y).
Alem do mais,
exp

(z) =

x
exp(x + iy) =

x
(e
x
cos y + ie
x
sen y) = e
x
cos y + ie
x
sen y = exp z.

Exemplo 32 Temos sen

z = cos z para todo z C.

Pelo item 2 da proposic ao 9 temos que u(x, y) = 1sen z = sen x cosh y e v(x, y) = cos x senh y
sao de classe C
1
e satisfazem as equac oes de Cauchy-Riemann, pois
u
x
(x, y) =

x
(sen x cosh y) = cos x cosh y =

y
(cos x senh y) =
v
y
(x, y)
e
u
y
(x, y) =

y
(sen x cosh y) = sen x senh y =

x
(cos x senh y) =
v
x
(x, y).
Alem do mais,
sen

(z) =

x
(sen x cosh y + i cos x senh y) = cos x cosh y i sen x senh y = cos z
pelo item 1 da proposic ao 9.
Exerccio 11 Mostre que cos

z = sen z para todo z C.

Proposicao 16 Sejam D C um aberto, z
o
D, z
o
,= 0 e f : D C, u = 1f, v =
f. Suponha que u e v sejam de classe C
1
. Entao, u e v satisfazem as equacoes de Cauchy-
Riemann em z
o
= r
o
e
i
o
, se e somente se as funcoes U(r, ) = u(r cos , r sen ) e V (r, ) =
v(r cos , r sen ), denidas numa vizinhanca de (r
o
,
o
), satisfazem as equacoes
U
r
(r
o
,
o
) =
1
r
o
V

(r
o
,
o
) e
1
r
o
U

(r
o
,
o
) =
V
r
(r
o
,
o
). (9.3)
Alem do mais, em caso armativo tem-se
f

(z
o
) = (cos
o
i sen
o
)
_
U
r
(r
o
,
o
) + i
V
r
(r
o
,
o
)
_
. (9.4)
47
Prova: Aplicando a regra da cadeia,
U
r
(r
o
,
o
) =
u
x
(z
o
) cos
o
+
u
y
(z
o
) sen
o
, (9.5)
U

(r
o
,
o
) =
u
x
(z
o
)r
o
sen
o
+
u
y
(z
o
)r
o
cos
o
, (9.6)
V
r
(r
o
,
o
) =
v
x
(z
o
) cos
o
+
v
y
(z
o
) sen
o
(9.7)
e
V

(r
o
,
o
) =
v
x
(z
o
)r
o
sen
o
+
v
y
(z
o
)r
o
cos
o
. (9.8)
Assim, se u e v satisfazem as equacoes de Cauchy-Riemann, comparando 9.5 com 9.8 e 9.6
com 9.7 obtemos as equac oes 9.3.
Reciprocamente, se U e V satisfazem as equac oes 9.3 entao de 9.5 e 9.8 obtemos
_
u
x
(z
o
)
v
y
(z
o
)
_
cos
o
+
_
u
y
(z
o
) +
v
x
(z
o
)
_
sen
o
= 0
e de 9.6 e 9.7
_
v
y
(z
o
)
u
x
(z
o
)
_
sen
o
+
_
u
y
(z
o
) +
v
x
(z
o
)
_
cos
o
= 0,
ou seja,
_
cos
o
sen
o
sen
o
cos
o
__
u
x
(z
o
)
v
y
(z
o
)
u
y
(z
o
) +
v
x
(z
o
)
_
=
_
0
0
_
cuja unica solucao e
u
x
(z
o
)
v
y
(z
o
) = 0 e
u
y
(z
o
) +
v
x
(z
o
) = 0,
que sao as equac oes de Cauchy-Riemann.
De 9.5 e 9.6 obtemos
u
x
= cos
o
U
r
(r
o
,
o
)
sen
o
r
o
U

(r
o
,
o
)
e de
9.7 e 9.8 obtemos
v
x
= cos
o
V
r
(r
o
,
o
)
sen
o
r
o
V

(r
o
,
o
).
Agora, se u e v satisfazem as equacoes de Cauchy-Riemann entao
f

(z
o
) =
u
x
+ i
v
x
= cos
o
U
r
(r
o
,
o
)
sen
o
r
o
U

(r
o
,
o
)+
48
+i
_
cos
o
V
r
(r
o
,
o
)
sen
o
r
o
V

(r
o
,
o
)
_
= cos
o
U
r
(r
o
,
o
) + sen
o
V
r
(r
o
,
o
) + i
_
cos
o
V
r
(r
o
,
o
) sen
o
U
r
(r
o
,
o
)
_
= (cos
o
i sen
o
)
_
U
r
(r
o
,
o
) +i
V
r
(r
o
,
o
)
_
= e
i
o

r
(U + iV ) (r
o
,
o
).
Observacao 13 As equacoes 9.3 sao chamadas de equacoes de Cauchy-Riemann na forma
polar.
Exerccio 12 Verique que a funcao dada por L(z) =
1
2
log(x
2
+y
2
) +i arctg
y
x
, denida para
x > 0 e derivavel e calcule a sua derivada.
Usando coordenadas polares, com r > 0 e

2
< <

2
, obtemos que
L(r cos +ir sen ) = log r + i.
Como as partes real e imaginaria de L sao de classe C
1
, podemos vericar que as func oes
U(r, ) = log r e V (r, ) = sao suaves e
U
r
=
1
r
,
U

= 0,
V
r
= 0 e
V

= 1
satisfazem 9.3. Assim,
L

(z) = L

(re
i
) = e
i

r
(log r + i) = e
i
1
r
=
re
i
r
2
=
z
[z[
2
=
z
zz
=
1
z
.

Exerccio 13 Verique que a funcao dada na forma polar por

R(z) =

r
_
cos

2
+ i sen

2
_
=

re
i

2
,
denida para < < , r > 0, e derivavel e calcule a sua derivada.
Como as partes real (U) e imaginaria (V ) de R sao de classe C
1
e
U
r
=
1
2

r
cos

2
,
U

r
2
sen

2
,
V
r
=
1
2

r
sen

2
e
V

r
2
cos

2
satisfazem 9.3, vemos que R e derivavel e
R

(z) = R

(re
i
) = e
i

r
_

r
_
cos

2
+ i sen

2
__
= e
i
1
2

r
e
i

2
=
1
2

r
e
i

2
=
1
2

re
i

2
=
1
2R(z)
.

49
50
Captulo 10
Func oes analticas
Denicao 10 Sejam D um aberto, z
o
D e f : D C. Dizemos que f e analtica em z
o
se
a f for derivavel em todos os pontos de algum disco aberto centrado em z
o
. Dizemos que f e
analtica em D se f for analtica em todos os pontos de D.
Uma funcao analtica em C e chamada de funcao inteira.
Observacao 14 Usa-se tambem o termo holomorfa como sinonimo de funcao analtica.
Exemplo 33 As funcoes polinomiais, exponencial, seno e cosseno (trigonometricos ou hi-
perbolicos) sao exemplos de funcoes inteiras, pois sao derivaveis em todo ponto de C.
Exemplo 34 Como toda funcao polinomial possui apenas um n umero nito de zeros, podemos
ver que as funcoes racionais sao analticas em todos os pontos onde estao denidas.
Exemplo 35 A funcao f(z) = [z[
2
so e derivavel na origem. Logo, nao e analtica em nenhum
ponto.
De fato, como as partes real e imaginaria de f sao, respectivamente, dadas por
u(x, y) = x
2
+ y
2
e v(x, y) = 0,
vemos que elas sao de classe C
1
e as equacoes de Cauchy-Riemann sao satisfeitas somente na
origem pois
_
u
x
(x, y) = 2x = 0 =
v
y
(x, y)
u
y
(x, y) = 2y = 0 =
v
x
(x, y)
(x, y) = (0, 0).

Proposicao 17 Se f e g sao analticas em z

o
entao as seguintes funcoes tambem o sao:
1. f + g onde , C;
2. fg
51
3. f/g desde que g(z
o
) ,= 0.
Prova: Faca como exerccio.
Proposicao 18 (Regra da Cadeia) Sejam D, C abertos, f : D e g : C. Se f
e analtica em D e g e analtica em entao a composta g f : D C tambem e analtica em
D e vale
(g f)

(z
o
) = g

(f(z
o
))f

(z
o
), para todo z
o
D.
Prova: Apresentaremos apenas a prova em dois casos especiais.
O primeiro caso e quando f(z) e constante. Neste caso, g f tambem e constante e a
conclusao da proposic ao e imediata.
O outro caso que consideraremos e quando f(z) ,= f(z
o
) para todo z proximo a z
o
mas
z ,= z
o
. Neste caso,
g(f(z)) g(f(z
o
))
z z
o
=
g(f(z)) g(f(z
o
))
f(z) f(z
o
)
f(z) f(z
o
)
z z
o
. (10.1)
Como f e contnua em z
o
e g e derivavel em f(z
o
), temos
lim
zz
o
g(f(z)) g(f(z
o
))
f(z) f(z
o
)
= g

(f(z
o
)).
Como f e derivavel em z
o
, temos
lim
zz
o
f(z) f(z
o
)
z z
o
= f

(z
o
).
Logo, segue de 10.1 que g f e derivavel em z
o
e vale
(g f)

(z
o
) = g

(f(z
o
))f

(z
o
).
Denicao 11 Uma poligonal em C e uma reuniao nita de segmentos de reta
I
j
.
= a
j
(1 t) +b
j
t C; 0 t 1,
onde a
j
, b
j
C, j = 1, . . . , n, satisfazendo b
1
= a
2
, . . . , b
n1
= a
n
.
Denicao 12 Um conjunto D de n umeros complexos e chamado de conexo se quaisquer dois
pontos de D puderem ser conectados por uma poligonal contida em D.
Proposicao 19 Seja D um aberto conexo. Se f : D C satisfaz f

(z) = 0 para todo z D

entao f e constante em D.
52
Prova: Como D e aberto e a derivada de f existe em todos os pontos de D, tem-se que f e
analtica. Como f

(z) = 0, segue de 9.2 que

u
x
(x, y) =
v
x
(x, y) =
v
y
(x, y) =
u
y
(x, y) = 0.
Como D e conexo podemos usar um resultado de Calculo II para concluir que u e v sao
constantes em D. Portanto, f = u + iv tambem e constante em D.
Corolario 4 Seja D um aberto conexo. Se f : D C e analtica e [f(z)[ e constante entao
f(z) tambem e constante.
Prova: Colocando f = u + iv como de costume, segue-se que u
2
+ v
2
= c = constante.
Derivando esta ultima expressao e usando as equac oes de Cauchy-Riemann, obtemos
_
u
u
x
+ v
v
x
= 0
u
u
y
+ v
v
y
= 0

_
u
u
x
v
u
y
= 0
u
u
y
+ v
u
x
= 0

_
u v
v u
__
u
x
u
y
_
=
_
0
0
_
.
Agora, se c = 0, entao u = v = 0 e, portanto, f e constante e igual a zero. Por outro lado,
se c ,= 0 o sistema acima so admite a solucao trivial
u
x
=
u
y
= 0. Voltando `as equac oes de
Cauchy-Riemann obtemos tambem
v
x
=
v
y
= 0 e, portanto, f

= 0. Pela proposicao anterior,

f e constante.
As func oes analticas possuem uma propriedade geometrica bem interessante como pode ser
vista no teorema a seguir.
Teorema 3 Sejam D C um aberto e f : D C uma analtica tal que f

(z) ,= 0. Sejam
u = 1f e v = f. Entao as curvas de nvel de u e v se cruzam ortogonalmente.
Prova: Como f

,= 0 ent ao os vetores gradientes u e v sao nao nulos e por um resultado de

Calculo II, temos que u e v sao ortogonais `as curvas de nvel de u e de v, respectivamente.
Porem, pelas equac oes de Cauchy-Riemann,
u =
_
u
x
,
u
y
_
=
_
v
y
,
v
x
_
.
Assim,
__
u
x
,
u
y
_
,
_
v
x
,
v
y
__
=
__
v
y
,
v
x
_
,
_
v
x
,
v
y
__
=
v
y
v
x

v
x
v
y
= 0.
Exemplo 36 Considere f(z) = z
2
, z ,= 0. Como f

(z) = 2z ,= 0 vemos que as curvas u(x, y) =

1f(z) = x
2
y
2
= c
1
e v(x, y) = f(z) = 2xy = c
2
se cruzam ortogonalmente. Note que estas
curvas sao hiperboles.
53
3
2
1
0
1
2
3
y
3 2 1 1 2 3
x
Figura 10.1: x
2
y
2
= c
1
e 2xy = c
2
3
2
1
0
1
2
3
y
3 2 1 1 2 3
x
Figura 10.2: e
x
cos y = c
1
e e
x
sen y = c
2
54
Exemplo 37 Considere f(z) = e
z
. Como f

(z) = e
z
,= 0 vemos que as curvas u(x, y) =
1f(z) = e
x
cos y = c
1
e v(x, y) = f(z) = e
x
sen y = c
2
se cruzam ortogonalmente.
Exemplo 38 Encontre, se possvel uma famlia de curvas ortogonais `as curvas dadas em co-
ordenadas polares por r
2
cos 2 = , R, r > 0.
Seja U(r, ) = r
2
cos 2 e procuremos V (r, ) de classe C
1
tal que f(re
i
) = U(r, ) + iV (r, )
seja analtica. Se uma tal V existir, devera satisfazer as condicoes de Cauchy-Riemann na
forma polar (veja 9.3):
_
U
r
(r, ) = 2r cos 2 =
1
r
V

(r, )
V

(r, ) = 2r
2
cos 2
U

(r, ) =
1
r
r
2
(2 sen 2) = 2r sen 2 =
V
r
(r, )
.
Integrando a primeira equac ao, obtemos V (r, ) = r
2
sen 2 +(r), onde a func ao e escolhida
de modo a satisfazer a segunda equac ao, isto e,
2r sen 2 =
V
r
(r, ) = 2r sen 2

(r),
ou seja,

(r) = 0, isto e, e constante, digamos, = k R.

Desta maneira, obtemos V (r, ) = r
2
sen 2 + k e como pode ser visto, V e de classe C
1
e
satisfaz as equac oes de Cauchy-Riemann na forma polar. Desta forma f e analtica e, portanto,
a famlia de curvas r
2
sen 2 + k = , R, e ortogonal a r
2
cos 2 = , R.
Note que
f(z) = f(re
i
) = r
2
cos 2 + i(r
2
sen 2 + k) = r
2
cos 2 + ir
2
sen 2 + ik
= r
2
(cos 2 + i sen 2) + ik = r
2
e
2i
+ik = (re
i
)
2
+ ik = z
2
+ ik.

Exemplo 39 Faca o mesmo para a famlia de crculos x

2
+ y
2
= , > 0.
Coloque u(x, y) = x
2
+ y
2
e procuremos v(x, y) de classe C
1
tal que f = u + iv seja analtica,
isto e, que u e v satisfacam as equacoes de Cauchy-Riemann. Devemos ter
_
u
x
(x, y) = 2x =
v
y
(x, y)
u
y
(x, y) = 2y =
v
x
(x, y).
Integrando a primeira equac ao, obtemos v(x, y) = 2xy + (x), onde deve ser escolhida de
modo a satisfazer a segunda equac ao, isto e,
v
x
= 2y +

(x) = 2y

(y) = 4y,
o que e impossvel, pois e independente de y.
55
Vemos assim, que o metodo usado no exemplo anterior nem sempre se aplica. Poderamos
ter iniciado com v(x, y) = x
2
+ y
2
e querer encontrar u de classe C
1
tal que f = u + iv fosse
analtica. Neste caso, as equac oes de Cauchy-Riemann nos levariam a
_
u
x
(x, y) = 2y =
v
y
(x, y)
u
y
(x, y) = 2x =
v
x
(x, y).
Como anteriormente, integrando a primeira equac ao, obtemos u(x, y) = 2xy + (y). Como a
segunda equac ao tambem precisa ser satisfeita, devemos ter 2x

(y) = 2x, que tambem e

impossvel.
Note, entretanto, que o feixe de retas que passa pela origem, que e dado por ax + by = 0,
a, b R, a
2
+ b
2
> 0, e uma famlia ortogonal aos crculos x
2
+ y
2
= , > 0.
56
Captulo 11
Func oes multivalentes
11.1 Raiz nesima
Neste captulo vamos tratar, na sua maior parte,de inversas para algumas funcoes elementares.
Vejamos como isto pode ser feito no caso da func ao de uma variavel real f : R R dada
por f(x) = x
n
, n N. Quando n e mpar, para cada y R existe apenas um n umero real x
satisfazendo x
n
= y. Este n umero e denotado por
n

y e a func ao inversa de f e simplesmente

g : R R, g(y) =
n

y. Agora, quando n e par, x

n
e sempre maior ou igual a zero. Desta
forma, a equacao x
n
= y so pode ser resolvida quando y 0. Neste caso, isto e, quando y 0,
a equacao x
n
= y apresenta duas solucoes distintas (a menos quando y = 0): uma positiva
e outra negativa. Por convencao, denotamos a solucao positiva por
n

y. Assim, a funcao f
quando restrita ao intervalo [0, +) possui como inversa a func ao h : [0, +) [0, +) dada
por h(y) =
n

y.
Como veremos a situac ao no complexo tera de ser tratada de modo diferente. O primeiro
aspecto a ser observado e que a equacao z
n
= z
o
sempre possui solucao e, na verdade, se z
o
,= 0,
ela possui n soluc oes distintas. Esta ocorrencia de solucoes se assemelha ao caso real em que n
e par, quando zemos uma escolha sobre qual raiz seria escolhida. No entanto, a escolha aqui
deveria ser feita entre as n solucoes existentes.
O outro aspecto a ser considerado decorre do modo como expressamos as razes nesimas
na forma polar. Relembrando, se expressarmos z
o
= r
o
e
i
o
ent ao as n razes nesimas de z
o
sao dadas por
u
k
=
n

r
o
_
cos
_

o
+ 2k
n
_
+ i sen
_

o
+ 2k
n
__
=
n

r
o
e
i(
o
+2k)/n
, k = 0, . . . , n 1.
(11.1)
Fixemos por enquanto uma destas razes e a denotemos por
n

z. Como a expressao
n

z =
n

re
i
=
n

re
i(+2k)/n
envolve , o argumento de z, devemos vericar se ela nao se altera quando o argumento e
trocado por +2m, pois esta mudan ca nao altera o n umero complexo z. Isto claramente nao
ocorre pois
n

re
i(+2k)/n
,=
n

re
i(+2m+2k)/n
57
se m nao for um m ultiplo de n. Para se ver livre deste inconveniente podemos limitar a varia cao
do argumento de z tomando, por exemplo, < . A m de simplicar a notac ao, vamos
escolher a raiz correspondente a k = 0 na equacao 11.1. Note que se z
o
e um n umero real
negativo ent ao duas maneiras de represent a-lo na forma polar com sao [z
o
[e
i
e [z
o
[e
i
. Embora
a primeira destas representa coes nao esteja dentro do que impusemos para a variac ao de , ela
pode se escrita como
[z
o
[e
i
= lim
+
[z
o
[e
i
.
Assim,
lim
+
n
_
[z
o
[e
i
=
n

re
i

n
enquanto que
n

z
o
=
n
_
[z
o
[e
i
=
n
_
[z
o
[e
i

n
. Desta forma, a escolha que zemos deixa des-
contnua a funcao raiz nesima nos pontos z R, z < 0. Na verdade, qualquer outra escolha
para k em 11.1 produziria o mesmo efeito. Alem do mais, se a restricao no argumento fosse
determinada pela varia cao
o
<
o
+ 2, onde
o
R, a nova denicao de raiz nesima
apresentaria descontinuidade no raio re
i
o
; r > 0.
Antes de apresentarmos a denic ao denitiva do que pretendemos dizer por funcao raiz
nesima note que os unicos valores possveis para
n

e
i/n
quando varia sao aqueles apresen-
tados em 11.1, com =
o
e r = r
o
. Geometricamente, tomando z C, escolhemos um de seus
argumentos e apos isto, rotacionamos os pontos do plano no sentido anti-horario por um angulo
de 2. Com isto, a imagem do ponto z pela rotac ao coincide consigo proprio, porem a expressao
n

e
i/n
passara para
n

e
i(+2)/n
. Aplicando mais uma rotac ao como a anterior obtemos o novo
valor de
n

e
i(+4+)/n
. Desta maneira, apos n destas rotacoes o resultado sera
n

e
i(2n+)/n
que
e igual a
n

e
i/n
.
Denimos a funcao multivalente raiz nesima, n

, como sendo a relac ao que a cada z

associa todas as n razes dadas como em 11.1. Vale a pena salientar que uma funcao multivalente
nao e uma func ao no estrito senso da denicao de func ao, ja que associa a um elemento do seu
domnio mais de um valor.
Considere agora a func ao
R
k
(z) = R
k
(re
i
) =
n

re
i
+2k
n
,
o
< <
o
+ 2
que coincide com um dos valores possveis para a raiz nesima. As suas partes real e imaginaria
sao dadas, respectivamente, por
U(r, ) =
n

r cos
+ 2k
n
e V (r, ) =
n

r sen
+ 2k
n
sao func oes de classe C
1
para r > 0 e satisfazem
U
r
(r, ) =
1
n
r
1
n
1
cos
+ 2k
n
=
1
r
1
n
r
1
n
cos
+ 2k
n
=
1
r
V

(r, )
e
V
r
(r, ) =
1
n
r
1
n
1
sen
+ 2k
n
=
1
r
1
n
r
1
n
sen
+ 2k
n
=
1
r
U

(r, )
que sao as equacoes de Cauchy-Riemann na forma polar. Logo, R
k
e analtica e e chamada
de um ramo da func ao (multivalente) raiz nesima e tambem e denotado por n

. Quando
tomamos
o
= 0 e k = 0 o ramo e chamado de ramo principal.
58
11.2 Logaritmo
Vamos denir o logaritmo de um n umero complexo z, log z, atraves da relacao
w = log z z = exp w.
Note que log z nao e denido quando z = 0, pois ja vimos que a funcao exponencial nunca se
anula. Outra observa cao pertinente e que como a exponencial complexa e uma funcao periodica
de perodo igual a 2i (exp(z + 2i) = exp z), a expressao z = exp w nao dene w de maneira
unica a partir de z. Com efeito, se para um dado z encontrarmos w tal que z = exp w ent ao
para todo k Z os n umeros w
k
= w + 2ki tambem satisfazem z = exp w
k
. Desta maneira, o
logaritmo tambem deve ser denido como uma funcao multivalente.
Representando z ,= 0 na forma polar re
i
e se w for um dos valores de log z ent ao
z = exp w re
i
= exp w e
w
= r e w = + 2k,
ou seja, a parte real de w e o logaritmo real de r = [z[ e a sua parte imaginaria e um argumento
qualquer de z. Assim,
log z = log [z[ + i arg z (11.2)
onde o logaritmo que aparece no lado direito da igualdade acima e o logaritmo (natural ou
neperiano) real.
Note que o argumento da vari avel z e tambem uma func ao multivalente e, assim, devemos
encarar a expressao 11.2 como uma igualdade de conjuntos, ou seja, para cada z ,= 0, log z
representa todos os n umeros complexos da forma log [z[ +i(arg
o
z +2k), com k Z e arg
o
z e
um argumento de z
o
xado.
Exemplo 40 Calcule log i.
Temos
log i = log [i[ +i
_

2
+ 2k
_
= log 1 + i
4k + 1
2
= i
4k + 1
2
, k Z.

Exemplo 41 Calcule log z se z = 0, z ,= 0.

Temos z = [z[ se z > 0 ou z = [z[e
i
se z < 0. No primeiro caso
log z = log [z[ + 2ki, k Z
e no segundo,
log z = log [z[ + (2k + 1)i, k Z.

Quando restringimos a variac ao do argumento em um intervalo (

o
,
o
+ 2], vemos que a
representacao 11.2 ca denida de maneira unica para todo z ,= 0. Porem, como no caso da
raiz nesima a func ao deixa de ser contnua sobre os pontos do raio R
o
= re
i
o
; r 0. No
59
entanto, se considerarmos a restric ao do argumento ao intervalo aberto (
o
,
o
+ 2) vemos
que as partes real e imaginaria do logaritmo sao dadas na forma polar por U(r, ) = log r e
V (r, ) = , respectivamente. Como ja vimos no exerccio 12, estas funcoes sao de classe C
1
e satisfazem as equacoes de Cauchy-Riemann na forma polar e, portanto, a func ao logaritmo
quando restringirmos o argumento da variavel a um intervalo do tipo (
o
,
o
+ 2) e analtica
em todo o plano menos o raio R
o
. Cada uma destas restricoes e chamada de um ramo da funcao
multivalente logaritmo. No caso em que tomarmos
o
= , diremos que o ramo tomado e o
ramo principal e o denotaremos por Log .
Exemplo 42 Seja f(z) = log z um ramo do logaritmo. Calcule log

z.
Se z = re
i
, r > 0,
o
< <
o
+ 2 entao, tomando log z = log r +i e usando 9.4, obtemos
log

z = e
i
_

r
log r + i

r

_
= e
i
1
r
=
1
re
i
=
1
z
.

Exemplo 43 Calcule Log(1 + i).

Escrevendo 1 + i =

2e
i/4
, obtemos de imediato que
Log(1 + i) = log

2 + i

4
.

Proposicao 20 Se z
1
e z
2
sao nao nulos entao as seguintes igualdades de conjuntos sao validas:
1. log z
1
z
2
= log z
1
+ log z
2
;
2. log
z
1
z
2
= log z
1
log z
2
.
Prova: Antes de comecarmos a prova, explicaremos o que queremos dizer com respeito `a
expressao igualdades de conjuntos. No primeiro item isto signica que dado um dos possveis
valores de log z
1
z
2
e possvel encontrar um valor de log z
1
e um valor de log z
2
cuja soma seja
igual ao valor dado do logaritmo de z
1
z
2
e reciprocamente. Isto e, dados um valor de log z
1
e
um valor de log z
2
e possvel encontrar um valor de log z
1
z
2
que coincida com a soma dos valores
tomados de log z
1
e log z
2
. O segundo item e tratado de modo semelhante.
Vamos provar somente o primeiro item. Coloque z
j
= [z
j
[e
i
j
, onde
j
e um argumento de
z
j
, j = 1, 2. Entao z
1
z
2
= [z
1
z
2
[e
i(
1
+
2
)
e assim,
log z
1
z
2
= log [z
1
z
2
[ + i(
1
+
2
+ 2k) = log [z
1
[ + i
1
+ log [z
2
[ + i(
2
+ 2k)
e vemos que log [z
1
[ +i
1
e um dos valores de log z
1
e log [z
2
[ +i(
2
+2k) e um dos valores de
log z
2
.
Reciprocamente,
log z
1
+ log z
2
= log [z
1
[ + i(
1
+ 2m) + log [z
2
[ + i(
2
+ 2k)
= log [z
1
[[z
2
[ +i(
1
+
2
+ 2(m + k)) = log [z
1
z
2
[ +i(
1
+
2
+ 2(m + k))
que e um dos valores de log z
1
z
2
.
60
11.3 Potencia
Se z ,= 0 e C denimos
z

= exp(log z).
Dependendo do expoente a funcao z z

e multivalente. No entanto, quando = n Z a

denicao acima coincide com aquela que ja havamos dado para z
n
. De fato, se z = re
i
, r > 0,
temos
exp(nlog z) = exp(n(log r + i( + 2k))) = exp(nlog r) exp(in( + 2k))
= exp(log r
n
) exp(in) exp(2kni) = r
n
e
in
= (re
i
)
n
= z
n
,
que e independente de k Z.
Quando =
1
n
, n N, a denicao acima tambem coincide com a da func ao multivalente
raiz nesima. De fato,
z
1
n
= exp
_
1
n
log z
_
= exp
_
1
n
(log r + i ( + 2k))
_
= exp
_
1
n
log r
_
exp
_
i
+ 2k
n
_
= exp
_
log r
1
n
_
exp
_
i
+ 2k
n
_
=
n

re
i
+2k
n
=
n

z.
Note que em geral quando tomamos um ramo do logaritmo a func ao f(z) = z

com esta
restricao e chamada tambem de ramo. Note ainda que este ramo e uma func ao analtica pois
e composic ao de duas funcoes analticas. No caso de tomarmos o ramo principal do logaritmo,
o ramo da func ao potencia tambem sera chamado de principal.
Exemplo 44 Seja f(z) = z

um ramo da funcao potencia. Calcule f

(z).
Fixe um ramo do logaritmo com r > 0 e
o
< <
o
+ 2, dado por log z = log r +i( + 2k).
Podemos usar a regra da cadeia para obter
f

(z) = exp(log(z))log

z = exp(log(z))
1
z
=
exp(log z)
exp(log z)
= exp(log z log z) = exp(( 1) log z) = z
1
,
onde deve ser entendido que z
1
e o ramo da func ao multivalente z z
1
com r > 0 e

o
< <
o
+ 2.
Exemplo 45 Encontre todos os valores de i
i
.
Temos
i
i
= exp (i log i) = exp
_
i
_
log [i[ + i
_

2
+ 2k
___
= exp
_

4k + 1
2

_
= e

4k+1
2

com k Z. Note que todos os valores de i
i
sao reais.
61
Observacao 15 Algumas propriedades algebricas que sao validas para potenciacao real perdem
a veracidade no caso complexo. Vejamos duas delas.
1. Nao e verdade que sempre que z ,= 0 e , C tem-se z
+
= z

, nem mesmo no
sentido de igualdade de conjuntos. Basta tomar z = 1, = =
1
2
e os dois valores
distintos para z
1
2
um igual a 1 e o outro igual a 1. Da 1
1
2
+
1
2
= 1
1
= 1 mas 1
1
2
1
1
2
=
(1)1 = 1.
2. Nao e verdade que sempre que z ,= 0 e , C tem-se (z

= z

, nem mesmo no
sentido de igualdade de conjuntos. Basta tomar = p N, p 2, e =
1
np
, n N e
da vemos que (z
p
)
1
np
representa np n umeros distintos enquanto que z
p
1
np
= z
1
n
representa
apenas n n umeros distintos.
No entanto vale a seguinte propriedade cuja demonstracao e deixada como exerccio.
Proposicao 21 Se z
1
e z
2
sao nao nulos e C entao vale a seguinte igualdade de conjuntos
(z
1
z
2
)

= z

1
z

2
.
62
Captulo 12
Curvas no plano complexo
Denicao 13 Uma curva no plano complexo e uma funcao contnua : [a, b] C, isto e, as
funcoes de uma variavel real 1, : [a, b] R sao contnuas. Dizemos que a curva e simples
se a t < s b implicar em (t) ,= (s), a menos que t = a e s = b. Dizemos que a curva e
fechada se (a) = (b).
Exemplo 46 (t) = cos t+i sen t, t [0, 2] representa o crculo unitario centrado na origem.
Esta curva e simples e fechada.
Exemplo 47 A cardioide () = (
1
2
+cos )e
i
= (
1
2
+cos ) cos +i(
1
2
+cos ) sen , 0 2
e exemplo de uma curva fechada que nao e simples.
Figura 12.1: Cardioide
Exemplo 48 (t) = z
0
+ (z
1
z
0
)t, 0 t 1, z
0
, z
1
C, z
0
,= z
1
, representa o segmento
no plano complexo cujas extremidades sao z
0
e z
1
. Note que esta curva e simples mas nao e
fechada.
63
Denicao 14 Considere uma curva (t) = x(t) +iy(t), x(t), y(t) R, a t b. Dizemos
que e suave se as funcoes de valores reais x, y : [a, b] R possuem derivada contnua. O
vetor

(t) = x

(t) + iy

(t) e chamado de vetor velocidade ou tangente `a curva em (t). Se

(t) ,= 0 para todo a t b, dizemos que e uma curva regular.

Exemplo 49 Todas as curvas dos exemplos anteriores sao exemplos de curvas suaves e regu-
lares. Vejamos mais especicamente o exemplo 47. Neste caso temos

() = sen e
i
+ i
_
1
2
+ cos
_
e
i
= e
i
_
sen + i
_
1
2
+ cos
__
.
Como e
i
,= 0, vemos que

() = 0 se e somente se sen +i(

1
2
+cos ) = 0, ou seja, sen = 0
e cos =
1
2
, o que e impossvel. Logo,

() ,= 0 para todo 0 2.
Exemplo 50 Considere a curva (t) = t
3
+ it
2
, 1 t 1. Esta curva e suave mas como

(0) = 0, nao e regular.

Figura 12.2: Curva nao regular
Denicao 15 O traco de uma curva : [a, b] C e a imagem desta curva.
Observacao 16 Muitas vezes usaremos a palavra curva signicando, na verdade, o seu traco.
Exemplo 51 As curvas (t) = e
it
, 0 t 2 e (t) = e
2it
, 0 t possuem o mesmo
traco. Qual?
O exemplo anterior serve para ilustrar que o mesmo traco pode ser percorrido de formas
diferentes. No entanto, naquele exemplo, temos (t) = (2t), 0 t e percebemos que o
que ocorreu foi uma mudanca de parametro da curva . Isto sugere o seguinte:
64
Denicao 16 Seja : [a, b] C uma curva suave. Seja : [c, d] [a, b] uma funcao suave
cuja inversa
1
: [a, b] [c, d] tambem e suave. Diremos que e uma mudanca de parametro
e (t) = ((t)), c t d e uma reparametrizacao da curva .
Observacao 17 Se : [c, d] [a, b] e uma mudanca de parametro entao temos

(t) < 0 para

todo t [c, d] ou

(t) > 0 para todo t [c, d]. No primeiro caso, (c) = b e (d) = a; ja no
segundo, (c) = a e (d) = b.
Exemplo 52 Seja : [a, b] C uma curva suave. Considere : [a, b] [a, b] dada por
(t) = a + b t. Ve-se que e uma mudanca de parametro e (t) = (a + b t), a t b
e uma reparametrizacao de . Note que essa mudanca de parametro inverte a ordem sobre a
qual o traco de e percorrido.
Exemplo 53 Considere (t) = cos t +i2 sen t, 0 t 2. O traco desta curva e uma elipse
(x, y) R
2
; x
2
+
y
2
4
= 1 que e percorrido no sentido anti-horario. Fazendo-se a mudanca do
exemplo 52 obtemos (t) = (0+2t) = (2t) = cos(2t)+i2 sen(2t) = cos ti2 sen t
que representa a mesma elipse, porem percorrida no sentido horario.
`
As vezes nos deparamos com tracos de curvas que sao mais facilmente parametrizaveis por
partes, ou seja, sabemos parametrizar partes de um traco da curva e queremos, a partir da,
parametrizar todo o traco. Neste caso, precisamos saber como proceder para colar estes pedacos
(arcos) da curva. Vejamos como fazer. Considere duas curvas
1
: [a, b] C e
2
: [c, d] C
tais que
1
(b) =
2
(c).
Denimos : [a, b + d c] C por
(t) =
_

1
(t), se a t b

2
(t + c b), se b t b + d c.
(12.1)
Note que a condicao
1
(b) =
2
(c) assegura a continuidade de . No entanto, mesmo que
1
e
2
sejam suaves, podemos ter que nao exista a derivada de em t = b. Observe que o traco
de e a reuniao dos tracos de
1
e
2
.
Denicao 17 A curva dada por 12.1 e chamada de justaposicao das curvas
1
e
2
.
Denicao 18 Sejam
j
: [a
j
, b
j
] C, j = 1, . . . , n, curvas suaves tais que
1
(b
1
) =
2
(a
2
), . . . ,

n1
(b
n1
) =
n
(a
n
). A justaposicao das curvas
1
,
2
, . . . ,
n
e chamada de caminho.
Observacao 18 As denicoes de caminhos fechados e simples sao analogas `as denicoes usa-
das para curvas.
Denicao 19 Um contorno e um caminho fechado e simples.
Exemplo 54 A justaposicao das curvas
1
(t) = t, 0 t 1,
2
(t) = 1 + it, 0 t
1,
3
(t) = 1t +i(1t), 0 t 1, e o caminho cujo traco representa o triangulo de vertices
0, 1 e 1+i. Este caminho e exemplo de um contorno.
65
Figura 12.3: Um contorno
Teorema 4 Todo contorno divide o plano em duas regioes conexas disjuntas X
1
e X
2
com
as seguintes propriedades:
1. X
1
= X
2
= traco de ;
2. X
1
e limitada;
3. X
2
e ilimitada;
A regiao X
1
e chamada de interior da curva .
66
Captulo 13
Integracao
Denicao 20 Seja g : [a, b] C uma curva (contnua) com u(t) = 1g(t) e v(t) = g(t). A
integral de g sobre [a, b] e denida por
_
b
a
g(t) dt =
_
b
a
u(t) dt + i
_
b
a
v(t) dt.
Observacao 19 1
_
b
a
g(t) dt =
_
b
a
1g(t) dt e
_
b
a
g(t) dt =
_
b
a
g(t) dt.
Proposicao 22 Se f, g : [a, b] C sao contnuas e C entao
1.
_
b
a
(f(t) +g(t)) dt =
_
b
a
f(t) dt +
_
b
a
g(t) dt;
2.
_
b
a
f(t) dt =
_
b
a
f(t) dt;
3.

_
b
a
f(t) dt

_
b
a
[f(t)[ dt.
Prova:
1. Colocando u
1
= 1f, v
1
= f, u
2
= 1g e v
2
= g, obtemos
_
b
a
(f(t) +g(t)) dt =
_
b
a
(u
1
(t) +u
2
(t) + i(v
1
(t) + v
2
(t))) dt
=
_
b
a
(u
1
(t) + u
2
(t)) dt + i
_
b
a
(v
1
(t) +v
2
(t)) dt
=
_
b
a
u
1
(t) dt + i
_
b
a
v
1
(t) dt +
_
b
a
u
2
(t) dt + i
_
b
a
v
2
(t) dt =
_
b
a
f(t) dt +
_
b
a
g(t) dt;
67
2. Se e real temos
_
b
a
f(t) dt =
_
b
a
(u
1
(t) + iv
1
(t)) dt =
_
b
a
u
1
(t) dt + i
_
b
a
v
1
(t) dt

_
b
a
u
1
(t) dt +i
_
b
a
v
1
(t) dt =
__
b
a
u
1
(t) dt +i
_
b
a
v
1
(t) dt
_
=
_
b
a
f(t) dt.
Agora,
_
b
a
if(t) dt =
_
b
a
(iu
1
(t) v
1
(t)) dt =
_
b
a
(v
1
(t) + iu
1
(t)) dt
=
_
b
a
(v
1
(t)) dt + i
_
b
a
u
1
(t) dt =
_
b
a
v
1
(t) dt + i
_
b
a
u
1
(t) dt
= i
__
b
a
u
1
(t) dt + i
_
b
a
v
1
(t) dt
_
= i
_
b
a
f(t) dt.
Finalmente, colocando = + i, , R, combinando o item anterior e o que ja foi
demonstrado neste item, obtemos
_
b
a
f(t) dt =
_
b
a
(f(t) +if(t)) dt =
_
b
a
f(t) dt +
_
b
a
if(t)) dt
=
_
b
a
f(t) dt + i
_
b
a
f(t) dt = ( +i)
_
b
a
f(t) dt =
_
b
a
f(t) dt;
3. Coloque
re
i
=
_
b
a
f(t) dt.
Temos

_
b
a
f(t) dt

= r = e
i
_
b
a
f(t) dt =
_
b
a
e
i
f(t) dt
= 1
__
b
a
e
i
f(t) dt
_
=
_
b
a
1
_
e
i
f(t)
_
dt
pois

_
b
a
f(t) dt

e real. Da,

_
b
a
f(t) dt

=
_
b
a
1
_
e
i
f(t)
_
dt
_
b
a

1
_
e
i
f(t)
_

dt

_
b
a

e
i
f(t)

dt =
_
b
a
[f(t)[ dt.
68
Denicao 21 Sejam : [a, b] C uma curva suave e f : C uma funcao contnua.
A integral de linha de f sobre a curva e denida por
_

f(z) dz =
_
b
a
f((t))

(t) dt.
Note que g(t) = f((t))

(t) e uma curva contnua se f e sao como na denicao acima.

Se colocarmos u = 1f, v = f, x = 1 e y = ent ao
_

f(z) dz =
_

f((t))

(t) dt =
=
_
b
a
[u(x(t), y(t)) +iv(x(t), y(t))][x

(t) + iy

(t)] dt =
=
_
b
a
[u(x(t), y(t))x

(t) v(x(t), y(t))y

(t)] dt + i
_
b
a
[u(x(t), y(t))y

(t) + v(x(t), y(t))x

(t)] dt =
=
_

udx vdy + i
_

vdx + udy,
onde as ultimas integrais sao integrais de linha como visto em Calculo III.
Valem as seguintes propriedades:
Proposicao 23 Se f
1
, f
2
: C C sao contnuas e : [a, b] C e suave entao
_

[
1
f
1
(z) +
2
f
2
(z)] dz =
1
_

f
1
(z) dz +
2
_

f
2
(z) dz, onde
1
,
2
C.
Prova: Colocando u
j
= 1f
j
, v
j
= f
j
,
j
= 1
j
e
j
=
j
, j = 1, 2, obtemos

1
f
1
+
2
f
2
= (
1
+ i
1
)(u
1
+ iv
1
) + (
2
+ i
2
)(u
2
+iv
2
) =
=
1
u
1

1
v
1
+
2
u
2

2
v
2
+ i(
1
v
1
+
1
u
1
+
2
v
2
+
2
u
2
).
Assim, usando as propriedades de integral de linha como visto em Calculo III,
_

[
1
f
1
(z) +
2
f
2
(z)] dz =
_

[
1
u
1

1
v
1
+
2
u
2

2
v
2
]dx [
1
v
1
+
1
u
1
+
2
v
2
+
2
u
2
]dy+
+ i
_

[
1
v
1
+
1
u
1
+
2
v
2
+
2
u
2
]dx + [
1
u
1

1
v
1
+
2
u
2

2
v
2
]dy =
= (
1
+ i
1
)
_

u
1
dx v
1
dy + i
_

v
1
dx +u
1
dy + (
2
+ i
2
)
_

u
2
dx v
2
dy + i
_

v
2
dx +u
2
dy =
=
1
_

f
1
(z) dz +
2
_

f
2
(z) dz.
69
Proposicao 24 Sejam f : C C uma funcao contnua, e
1
: [a, b] curva suave. Se
: [c, d] [a, b] e uma mudanca de parametro e
2
e a reparametrizacao de
1
obtida atraves
de entao
_

1
f(z) dz =
_
_

2
f(z) dz, se e crescente,

2
f(z) dz, se e decrescente.
Prova: Provaremos apenas o caso em que e decrescente. O outro caso e deixado como
exerccio.
Como
2
(t) =
1
((t)), temos

2
(t) =

1
((t))

(t). Como e decrescente, (c) = b e

(d) = a. Assim, fazendo a mudanca = (t), obtemos
_

2
f(z) dz =
_
d
c
f(
2
(t))

2
(t) dt =
_
d
c
f(
1
((t)))

1
((t))

(t) dt =
=
_
a
b
f(
1
())

1
()d =
_
b
a
f(
1
())

1
()d =
_

1
f(z) dz
Prova:
Exemplo 55 Se n Z, calcule
_

(z z
0
)
n
dz,
onde (t) = z
0
+ Re
it
, R > 0, 0 t 2 e n Z.
Observe que o traco de e o crculo centrado em z
0
de raio R. A func ao f(z) = (z z
0
)
n
e contnua (mesmo quando n e negativo) em = C 0. Como

(t) = Rie
it
e z z
0
= Re
it
,
temos
_

f(z) dz =
_
2
0
[Re
it
]
n
Rie
it
dt =
_
2
0
R
n+1
ie
i(n+1)t
dt.
Se n = 1 ent ao a integral acima se reduz a
_
2
0
i dt = 2i.
Se n ,= 1 ent ao
_

f(z) dz =
_
2
0
R
n+1
i[cos((n + 1)t) + i sen((n + 1)t)] dt =
= R
n+1
i
_
2
0
cos((n + 1)t) R
n+1
i
_
2
0
sen((n + 1)t) dt =
= R
n+1
i
sen((n + 1)t)
n + 1

2
0
+ R
n+1
i
cos((n + 1)t)
n + 1

2
0
= 0.
Assim,
_

1
(z z
0
)
n
dz =
_
2i se n = 1,
0 se n ,= 1.

70

`
2
Figura 13.1: Contorno de integracao
Exemplo 56 Calcule
_

1
z
dz onde (t) = 2 + e
it
, 0 t 2.
Veja que
1
z
= (z 0)
1
mas o centro de e o n umero 2 (o raio e 1), ou seja, este exemplo
nao e um caso particular do exemplo anterior.
Assim
1
z
e contnua numa regiao contendo o traco de .
Sabemos que qualquer ramo do logaritmo satisfaz (log z)

=
1
z
. Como a curva sobre a qual
estamos integrando ca no semiplano x > 0, tomaremos um ramo do logaritmo denotado por
log, pela restricao < < . Desta forma, a func ao (t) = log(2 + e
it
), 0 t 2 e bem
denida e suave.
Aplicando a regra da cadeia, obtemos

(t) =
1
2 +e
it
ie
it
=
ie
it
2 + e
it
.
Deste modo,
_

1
z
dz =
_
2
0
ie
it
2 + e
it
dt =
_
2
0

(t) dt =
(2) (0) = log(2 + e
2i
log(2 + e
0i
) = log 3 log 3 = 0.

Denicao 22 Se [a, b] C e um caminho formado pela justaposicao das curvas suaves

1
, . . . ,
n
se f : C e contnua, denimos
_

f(z) dz =
n

j=1
_

j
f(z) dz.
Observacao 20 A propriedade enunciada na proposicao 23 continua valida para caminhos.
Exemplo 57 Calcule
_

z dz onde o traco de e o triangulo de vertices 0, 1 e i percorrido no

sentido anti-horario.
71
Parametrizando cada um dos lados do triangulos por

1
(t) = t, 0 t 1,

2
(t) = 1 t + it, 0 t 1,

3
(t) = (1 t)i, 0 t 1,
obtemos
_

1
z dz =
_
1
0
t dt =
1
2
,
_

2
z dz =
_
1
0
(1 t +it)(1 + i) dt =
_
1
0
(t 1 t) dt + i
_
1
0
(1 t t) dt
=
_
1
0
dt + i
_
1
0
(1 2t) dt = 1 + i(t t
2
)

1
0
= 1
_

3
z dz =
_
1
0
(1 t)i(i) dt =
_
1
0
(1 t) dt = t
t
2
2

1
0
=
1
2
.
Deste modo,
_

z dz =
_

1
z dz +
_

2
z dz +
_

3
z dz =
1
2
1 +
1
2
= 0.

Denicao 23 Se : [a, b] C e uma curva suave, denimos o comprimento de por

() =
_
b
a
[

(t)[dt.
Se e um caminho obtido pela justaposicao das curvas suaves
1
,
2
, . . . ,
n
, denimos o
seu comprimento por
() =
n

j=1
(
j
).
Exemplo 58 Encontre o comprimento da cardioide (t) = (1 + cos t)e
it
.
Temos,

(t) = sen te
it
+ i(1 + cos t)e
it
= e
it
(sen t + i(1 + cos t))
e
[

(t)[ =
_
sen
2
t + (1 + cos t)
2
=

1 + cos t.
Assim, devido `a simetria da cardioide,
() =

2
_
2
0

1 + cos t dt = 2

2
_

0

1 + cos t dt =
72
1
0.5
0.5
1
0.5 1 1.5 2
1
Figura 13.2: Cardioide: (t) = (1 + cos t)e
it
= 2

2
_

0
_
(1 + cos t)(1 cos t)
1 cos t
dt =
= 2

2
_

0

1 cos
2
t

1 cos t
dt = 2

2
_

0

sen
2
t

1 cos t
dt =
= 2

2
_

0
[ sen t[

1 cos t
dt = 2

2
_

0
sen t

1 cos t
dt =
= 4

2
_

0
d
dt

1 cos t dt = 4

1 cos t

0
=
= 4

2(

2 0) = 8.
Proposicao 25 Se : [a, b] C e um caminho e f : C e contnua, entao

f(z)dz

max
z

[f(z)[(),
onde

e o traco de .
Em particular, se [f(z)[ M, para todo z entao,

f(z)dz

M().
Prova: Se e o caminho obtido pela justaposic ao das curvas suaves
1
, . . . ,
n
entao

f(z)dz

j=1
_

j
f(z)dz

j=1

f(z)dz

.
73
Assim, basta mostrar a proposic ao quando e uma curva suave.
Como : [a, b] e contnua, o seu traco

e um conjunto compacto.
Como a func ao g :

R dada por g(z) = [f(z)[ tambem contnua e

e compacto entao ela

atinge um maximo em

, que denotaremos por m = max

z
g(z) = max
z
[f(z)[.
Assim,

f(z)dz

_
b
a
f((t))

(t)dt

_
b
a
[f((t))[[

(t)[dt
_
b
a
m[

(t)[dt
= m
_
b
a
[

(t)[dt = m().
Exemplo 59 Utilize a proposicao 25 para obter uma estimativa da integral
_

z
n
dz onde n Z
e (t) = Re
it
, R > 0, 0 t .
Precisamos saber o comprimento da curva e o maximo de [z
n
[ sobre o seu traco. Ora, o
comprimento e R e para todo 0 t , temos [(Re
it
)
n
[ = R
n
[e
int
[ = R
n
. Assim,

z
n
dz

R
n
R = R
n+1
.
Observe que se n 2 entao
lim
R
_

z
n
dz = 0.
Exemplo 60 Idem para
_

1
z
4
+ 1
dz, onde (t) = Re
it
, 0 t 2, R > 1.
Sobre o traco de , a funcao f(z) =
1
z
4
+1
pode ser majorada como segue:
[f((t))[ = [f(Re
it
)[ =
1
[R
4
e
4it
+ 1[

1
[[R
4
e
4it
[ 1[
=
1
[R
4
1[
=
1
R
4
1
onde foi usada a seguinte versao da desigualdade triangular: [[a[ [b[[ [a + b[, a, b C.
Desta forma,

1
z
4
+ 1
dz

1
R
4
1
() =
2R
R
4
1
.
74
Captulo 14
O Teorema de Cauchy-Goursat
Neste captulo faremos uso do Teorema de Green como visto em Calculo III.
Teorema 5 (Teorema de Green) Sejam um contorno orientado no sentido anti-horario
e R o seu interior. Se P e Q sao funcoes de classe C
1
denidas em

R entao
_

Pdx +
_

Qdy =
__
R
_
Q
x

P
y
_
dxdy.
Observacao 21

R = R R
Teorema 6 (Teorema de Cauchy-Goursat) Sejam e R como no enunciado do Teorema
de Green. Se f e uma funcao analtica denida em um aberto contendo

R entao
_

f(z)dz = 0.
Prova: A demonstrac ao que faremos sera somente no caso em que f e de classe C
1
. Esta parte
e devida a Cauchy. A parte sem a hipotese de f ser de classe C
1
e bem mais elaborada e e
creditada a Goursat.
Coloque u = 1f e v = f. Aplicando o teorema de Green, obtemos
_

f(z)dz =
_

udx vdy + i
_

vdx udy =
=
__
R
_
(v)
x

u
y
_
dxdy + i
__
R
_
u
x

v
y
_
dxdy =
=
__
R
_
v
x
+
u
y
_
dxdy + i
__
R
_
u
x

v
y
_
dxdy = 0
pois, pelas equac oes de Cauchy-Riemann,
u
y
=
v
x
e
u
x
=
v
y
.
75
Exemplo 61 Calcule
_

1
z2
dz onde = e
it
, 0 t 2.
Como o contorno delimita a regiao R = z C; [z[ < 1 e f(z) =
1
z2
e claramente
analtica em

R = x C; [z[ 1, obtemos
_

1
z 2
dz = 0
Exemplo 62 Calcule
_

1
z2
dz onde = 2 + e
it
, 0 t 2.
Note que, agora, a funcao f nao esta denida em toda a regiao delimitada por . Basta
observar que 2 z C; [z 2[ 1.
Desta maneira, o teorema de Cauchy-Goursat nao se aplica. Devemos, assim, calcular a
integral usando apenas a denicao. Temos
_

1
z 2
dz =
_
2
0
ie
it
e
it
dt = i
_
2
0
dt = 2i.
O teorema de Cauchy-Goursat se aplica a regioes mais gerais do que aquelas dadas por in-
terior de contornos. Mais precisamente, ele continua valido para regioes simplesmente conexas,
que passamos a denir.
Denicao 24 Seja D um aberto conexo. Dizemos que D e simplesmente conexo se o interior
de qualquer contorno contido em D, esta contido em D.
Observacao 22 Grosso modo, um conjunto simplesmente conexo nao apresenta buracos.
Exemplo 63 Considere os conjuntos:
D
1
= z C; [z[ < 1, D
2
= z C; 1 < [z[ < 3 e D
3
= z C; 0 < [z[ < 1.
D
3
D
2
D
1
Todos os tres conjuntos sao abertos e conexos. No entanto, somente D
1
e simplesmente
conexo. Observe que embora o contorno
1
(t) = 2e
it
esteja contido em D
2
, os seu interior,
z C; [z[ < 2 nao esta. O mesmo acontece em D
3
com o contorno
2
(t) =
1
2
e
it
.
76
Exemplo 64 O plano complexo e simplesmente conexo.
Com esta nova linguagem, temos:
Teorema 7 (Teorema de Cauchy-Goursat) Seja D um conjunto simplesmente conexo. Se f e
analtica em D entao para qualquer contorno contido em D temos
_

f(z)dz = 0.
Exemplo 65 Se n N entao
_

z
n
dz = 0. para qualquer contorno . Em particular, tomando-
se n = 2 vemos que
_

(x
2
y
2
)dx 2xydy =
_

2xydx + (x
2
y
2
)dy = 0.
para qualquer contorno.
14.1 Independencia do Caminho
Denicao 25 Seja f : C C uma funcao contnua. Dizemos que a integral de f
independe do caminho se para quaisquer dois caminhos
1
e
2
: [a, b] tais que
1
(a) =
2
(a)
e
1
(b) =
2
(b) tem-se
_

1
f(z)dz =
_

2
f(z)dz.
Observacao 23 Se a integral de f independe do caminho, usaremos a notacao
_
z
1
z
0
f(z)dz
para designar a integral de f ao longo de qualquer caminho contido em que una os pontos z
0
a z
1
, nesta ordem.
Teorema 8 Seja f : C C uma funcao contnua. Sao equivalentes:
(i)
_

f(z)dz = 0 para qualquer caminho fechado contido em ;

(ii) A integral de f independe do caminho.
Prova: Suponha que (i) seja valido. Se
1
e
2
: [a, b] sao dois caminhos tais que

1
(a) =
2
(a) e
1
(b) =
2
(b) ent ao : [a, b] dado por
(t) =
_

1
(2t a), se a t
a+b
2

2
(a + 2b 2t), se
a+b
2
t b.
77
e um caminho fechado. Logo,
_

f(z)dz = 0.
Mas
_

f(z)dz =
_

1
f(z)dz
_

2
f(z)dz
pois
2
e percorrida de
2
(a) a
2
(b). Assim
_

1
f(z)dz =
_

2
f(z)dz.
Reciprocamente, suponha que (ii) seja valida. Se e um caminho fechado vemos que
(t) = (a + b t), a t b
tem o mesmo traco de , porem e percorrido no sentido oposto.
Alem do mais, como e fechada, tambem e. Assim,
(a) = (b) = (a) e (b) = (b) = (b).
Logo, por (ii),
_

f(z)dz =
_

f(z)dz. (14.1)
Mas, ja sabemos que se invertermos o sentido do percurso da curva, a integral muda de sinal.
Assim,
_

f(z)dz =
_

f(z)dz. (14.2)
Comparando as equac oes 14.1 e 14.2 obtemos
_

f(z)dz = 0.
Observacao 24 O teorema de Cauchy-Goursat (veja 7) continua valido se a integral for feita
sobre caminhos fechados (lembre que um contorno e um caminho fechado simples).
Juntando a observac ao acima e o teorema 8 obtemos:
Teorema 9 Seja um conjunto simplesmente conexo. Se f : C e analtica entao a
integral de f independe do caminho.
Exemplo 66 Calcule
_

e
z
dz onde e uma poligonal que liga o ponto z = 0 a z = i.
Como f(z) = e
z
e uma func ao inteira podemos substituir a poligonal por qualquer outro
caminho que ligue z = 0 a z = i.
Por exemplo,
1
(t) = it, 0 t 1. Temos:
_

1
e
z
dz =
_
1
0
e
it
idt = e
it

1
0
= e
i
1.
78
Captulo 15
Primitiva
Denicao 26 Seja f : C. Dizemos que F : C e uma primitiva de f se F

(z) = f(z)
para todo z .
Teorema 10 Se e um conjunto simplesmente conexo e f e uma funcao analtica em entao,
xado z
0
, a funcao
F(z) =
_
z
z
0
f() d, z
e uma primitiva de f.
Prova: Como e simplesmente conexo e f e analtica, a funcao F esta bem denida, pois a
integral de f independe do caminho.
Queremos mostrar que para cada z
lim
h0
F(z +h) F(z)
h
= f(z).
Fixemos z
0
e tomemos h C tal que o segmento ligando z ate z +h esteja contido em .
Lembrando que F(z +h) representa a integral de f de z
0
ate z +h e que F(z) e a integral
de f de z
0
ate z, entao, a diferenca F(z +h) F(z) representa a integral de f de z ate z +h,
isto e,
F(z + h) F(z) =
_
z+h
z
f() d.
Como a integral acima independe do caminho, podemos escolher como caminho o segmento
que liga z ate z +h, isto e,
(t) = z +th, 0 t 1.
Como
_
z+h
z
d = h (exerccio), podemos escrever

F(z + h) F(z)
h
f(z)

=
1
[h[
[F(z + h) F(z) hf(z)[
=
1
[h[

_
z+h
z
f() d
_
z+h
z
f(z) d

=
1
[h[

_
z+h
z
[f() f(z)] d

79
=
1
[h[

[f() f(z)] d

1
[h[
max
0t1
[f((t)) f(z)[()
= max
0t1
[f(z + th) f(z)[, (15.1)
pois () = [[.
Como f e contnua, dado > 0 existe um > 0 tal que para todo [w[ < temos [f(z +
w) f(z)[ < .
Assim, se tomarmos h tal que [h[ < ent ao w = th, a t 1, satisfaz [w[ = [th[ [h[ <
e, portanto, [f(z + w) f(z)[ < .
Assim segue de 15.1

F(z + h) F(z)
h
f(z)

<
sempre que [h[ < , ou seja,
lim
h0
F(z + h) F(z)
h
= f(z).
Corolario 5 Sejam um conjunto simplesmente conexo e f : C uma funcao analtica.
Entao, xado z
0
a funcao F : C dada por
F(z) =
_
z
z
0
f() d, z
e analtica.
Prova: Pelo teorema anterior, a derivada de F existe em todo (e e igual a f). Logo, F e
analtica em .
Proposicao 26 Sejam um conjunto simplesmente conexo e f : C uma funcao analtica.
Se F e G sao primitivas de f entao a diferenca entre F e G e constante. Em particular, dado
z
0
existe C C tal que
F(z) =
_
z
z
0
f() d + C.
Prova: Seja H : C dada por H(z) = F(z) G(z).
Como H

(z) = F

(z) G

(z) = f(z) f(z) = 0 e e conexo, segue de 19 que H(z) e

constante.
Quanto `a outra conclusao, basta lembrar que
z
_
z
z
0
f() d
e primitiva de f. Portanto, F(z)
_
z
z
0
f() d = C para alguma constante C. Alem do mais,
tomando z = z
0
, vemos que C = F(z
0
).
80
Observacao 25 Segue do Teorema 10 e da Proposicao 26 que toda primitiva de uma funcao
analtica denida em um conjunto simplesmente conexo e da forma
_
z
z
0
f() d +C, para algum
z
0
e algum C C.
Proposicao 27 Sejam um conjunto simplesmente conexo e f : C uma funcao analtica.
Se F e uma primitiva de f e : [a, b] e um caminho entao
_

f(z) dz = F((b)) F((a)).

Prova: Sabemos que F pode ser escrita como
F(z) =
_
z
(a)
f() d + C,
com C = F((a)). Tambem e sabido que a integral de f independe do caminho. Logo,
_

f(z) dz =
_
(b)
(a)
f(z) dz =
=
_
_
(b)
(a)
f(z) dz +C
_
C = F((b)) F((a)).
Exemplo 67 Calcule
_

e
z
2
z dz onde (t) = (1 + cost)e
it
, 0 t pi.
Como
d
dz
(
1
2
e
z
2
) = e
z
2
z, temos que F(z) =
1
2
e
z
2
e uma primitiva de f(z) = e
z
2
z.
Assim,
_

e
z
2
z dz =
1
2
e
z
2

()
(0)
=
1
2
e
z
2

0
2
=
1 e
4
2
.
Exemplo 68 Seja um conjunto simplesmente conexo que nao contem a origem. Se :
[a, b] C e um caminho entao
_

1
z
dz = log((b)) log((a)). (15.2)
Em particular se e fechada,
_

1
z
dz = 0.
Isto segue do fato que a funcao log z e uma primitiva de
1
z
denida no conjunto simplesmente
conexo . Porem, se contiver a origem, a formula 15.2 deixa de ser valida. Basta lembrar
que
_

1
z
dz = 2i, (t) = e
it
, 0 t 2.
81

2

n
Figura 15.1: Integracao sobre regiao que nao e simplesmente conexa
Observacao 26 O mesmo resultado do exemplo 68 e valido para a funcao
1
za
se o contorno
nao contiver o ponto a no seu interior. Neste caso, a primitiva e log(z a).
Vejamos agora como podemos proceder com a integra cao sobre um contorno , no caso em
que a func ao a ser integrada nao e necessariamente analtica em todo o interior de .
Considere um contorno e n contornos
1
, . . . ,
n
satisfazendo as seguintes propriedades:
i) cada
j
esta contido no interior de ;
ii) se j
1
,= j
2
entao
j
1
esta contido no exterior de
j
2
.
Seja R a regiao obtida do interior de eliminando-se cada
j
bem como o seu interior. Note
que a fronteira de R e a reuniao dos contornos ,
1
,
2
, . . . ,
n
.
Se f e uma func ao analtica denida em um aberto contendo R e se ,
1
,
2
, . . . ,
n
sao
percorridos no sentido anti-horario ent ao
_

f(z) dz =
_

1
f(z) dz + +
_

n
f(z) dz. (15.3)
A prova deste fato requer mais ferramentas do que dispomos neste curso. No entanto, e facil-
mente visualizada pelas guras 15 e 15 onde separamos a regiao R em duas partes simplesmente
conexas.
A fronteira de cada uma destas partes e um contorno e a funcao f e analtica sobre ela e
o seu interior. Assim, a integral de f ao longo de cada um destes dois contornos no sentido
anti-horario se anula. Somando as duas integrais, observamos que o resultado e uma soma de
integrais ao longo de (no sentido anti-horario) e de
j
(no sentido horario), j = 1, . . . , n.
Ao revertermos a ordem do processo das integrais sobre
j
, obtemos o resultado.
Exemplo 69 Seja um contorno contendo no seu interior o ponto a C, percorrido no
sentido anti-horario. Verique que
_

dz
z a
= 2i.
82

2

n

Figura 15.2: Subdividindo a regiao em duas simplesmente conexas

`
`

i
0
i

3
Vamos retirar do interior de um disco fechado, centrado em a e de raio > 0, suciente-
mente pequeno.
Nesta nova regiao, a funcao f(z) =
dz
za
e analtica e por 15.3 temos
_

dz
z a
=
_

dz
z a
onde

(t) = a + e
it
, 0 t 2. Logo,
_

dz
z a
=
_
2
0
1
e
it
e
it
idt = 2i.
Exemplo 70 Calcule
_

1
z(z
2
+ 1)
dz
onde e a elipse x
2
+
y
2
4
= 1, percorrida no sentido anti-horario.
83
Do interior da elipse retiramos tres conjuntos fechados de raio > 0, sucientemente pe-
queno, centrado nos pontos 0, i e i.
Neste novo domnio a funcao
1
z(z
2
+1)
e analtica e
_

1
z(z
2
+ 1)
dz =
_

1
1
z(z
2
+ 1)
dz +
_

2
1
z(z
2
+ 1)
dz +
_

3
1
z(z
2
+ 1)
dz
onde
1
(t) = e
it
,
2
(t) = i +e
it
,
3
(t) = i + e
it
, 0 t 2.
Usando frac oes parciais, temos
1
z(z
2
+ 1)
=
1
z

1
2
1
z + i

1
2
1
z i
.
Temos
_

1
1
z(z
2
+ 1)
dz =
_

1
1
z
dz
1
2
_

1
1
z + i
dz
1
2
_

1
1
z i
dz.
Usando o Exemplo 68 e a Observa cao 26, vemos que
_

1
1
z
dz = 2i, e
_

1
1
z +i
dz =
_

1
1
z i
dz = 0.
Analogamente,
_

2
1
z
dz =
_

2
1
z +i
dz = 0, e
_

2
1
z i
dz = 2i.
_

3
1
z
dz =
_

3
1
z i
dz = 0, e
_

3
1
z + i
dz = 2i.
Reagrupando os resultados, obtemos
_

1
z(z
2
+ 1)
dz = 2i
1
2
2i
1
2
2i = 0.
84
Captulo 16
A formula de Cauchy
Teorema 11 (Formula de Cauchy) Sejam um conjunto simplesmente conexo, um con-
torno contido em orientado no sentido anti-horario. Se f e uma funcao analtica em entao
f(z
0
) =
1
2i
_

f(z)
z z
0
dz (16.1)
para todo z
0
contido no interior de .
Prova: Como o interior do contorno e um conjunto aberto, existe r
0
> 0 tal que para todo
0 < r < r
0
o crculo centrado em z
0
de raio r tambem esta contido no interior de .
Coloque
r
(t) = z
0
+ re
it
, 0 t 2. Como a funcao
f(z)
zz
0
e analtica em z
0
, segue de
15.3 que
_

f(z)
z z
0
dz =
_

r
f(z)
z z
0
dz.
Agora,
_

f(z)
z z
0
dz =
_

r
f(z)
z z
0
dz =
_

r
f(z) f(z
0
) + f(z
0
)
z z
0
dz =
=
_

r
f(z) f(z
0
)
z z
0
dz + f(z
0
)
_

r
1
z z
0
dz =
=
_

r
f(z) f(z
0
)
z z
0
dz + f(z
0
)2i.
Portanto,

r
f(z)
z z
0
dz f(z
0
)2i

r
f(z) f(z
0
)
z z
0
dz

=
=

_
2
a
f(z
0
+ fe
it
) f(z
0
)
re
it
rie
it
dt

=
=

_
2
0
(f(z
0
+re
it
) f(z
0
))dt

85

_
2
0
[(f(z
0
+ re
it
) f(z
0
))[dt.
Como f e contnua em z
0
, dado > 0 existe > 0 tal que [zz
0
[ < implica em[f(z)f(z
0
)[ <
/2.
Deste modo, tomando r menor do que r
0
e vemos que w = z
0
+ re
it
satisfaz, para todo
t [0, 2], [w z
0
[ = [re
it
[ = r < .
Logo, [f(w) f(z
0
)[ < /2, isto e, [f(z
0
+ re
it
) f(z
0
)[ < /2.
Desta maneira,

r
f(z)
z z
0
dz f(z
0
)2i

_
2
0
[(f(z
0
+ re
it
) f(z
0
))[dt <
_
2
0

2
dt = . (16.2)
Como a primeira expressao de 16.2 nao depende de , vemos que
_

r
f(z)
z z
0
dz = f(z
0
)2i,
que apos a divisao por 2i e a formula desejada.
Exemplo 71 Se e um contorno que contem z
0
no seu interior e percorrido no sentido anti-
horario entao tomando f(z) = 1 na formula de Cauchy, obtemos um resultado que ja nos e
familiar:
1 =
1
2i
_

1
z z
0
dz, isto e,
_

1
z z
0
dz = 2i.
Exemplo 72 Seja e um contorno que contem z
0
no seu interior. Calcule
_

cosz
z
dz, per-
corrido no sentido anti-horario. Basta tomar f(z) = cosz e z
0
= 0 na formula de Cauchy.
Obtemos
_

cos z
z
dz = 2i cos 0 = 2i.
Exemplo 73 Vamos refazer o calculo da integral
_

1
z(z
2
+1)
dz onde e a elipse x
2
+
y
2
4
= 1
percorrida no sentido anti-horario, fazendo uso da formula de Cauchy.
Como nao e possvel colocar a funcao
1
z(z
2
+1)
na forma
f(z)
zz
0
)
, com f analtica no interior da
elipse e para algum z
0
, (veja que a unica possibilidade seria f(z) =
zz
0
z(z
2
+1)
que nao e analtica
no interior da elipse mesmo quando z
0
e tomado dentre um dos valores de 0, i, i).
Vamos percorrer a elipse como mostra a gura abaixo
Devido aos cancelamentos das integrais calculadas nos arcos que se encontram no interior
da elipse (cada um deles e percorrido duas vezes, porem em sentidos opostos), temos
_

1
z(z
2
+ 1)
dz =
_

1
1
z(z
2
+ 1)
dz +
_

2
1
z(z
2
+ 1)
dz +
_

3
1
z(z
2
+ 1)
dz =
=
_

1
f
1
(z)
z i)
dz +
_

2
f
2
(z)
z
dz +
_

3
f
3
(z)
z + i)
dz,
86
onde f
1
(z) =
1
z(z+i)
, f
2
(z) =
1
z
2
+1
e f
3
(z) =
1
z(zi)
sao analticas sobre
1
,
2
e
3
e seus
interiores, respectivamente.
Desse modo, podemos aplicar a formula de Cauchy em cada uma das integrais, obtendo
_

1
z(z
2
+ 1)
dz = 2if
1
(i) + 2if
2
(0) + 2if
3
(i) =
= 2i(
1
2
) + 2i + 2i(
1
2
) = 0.
A integral
_

1
z
2
dz, onde e um contorno contendo a origem no seu interior, nao pode
ser tratada diretamente usando a formula de Cauchy. A razao para isto e que se colocarmos
1
z
2
=
zz
0
z
2
zz
0
, a funcao f(z) =
zz
0
z
2
nao e analtica no interior de para qualquer escolha de z
0
.
Note que nem mesmo a escolha z
0
= 0 e util aqui, tampouco e possvel usar de argumentos como
no exemplo anterior, em que percorremos a curva usando tres curvas auxiliares. A diferenca
aqui e que a func ao
1
z
2
so nao esta denida em z = 0 enquanto que
1
z(z
2
+1)
=
1
z(z+i)(zi)
nao esta
denida para mais de um ponto (da o uso de curvas auxiliares) e as razes de z(z + i)(z i)
sao todas simples (a raz de z
2
e dupla).
O teorema 12, que fornece uma generalizacao da formula de Cauchy, sera util para tratar
integrais como, por exemplo,
_

1
z
2
dz.
Teorema 12 (Formula de Cauchy para derivadas) Sejam , , f e z
0
como no teorema
16.1. Entao f possui todas as derivadas em z
0
e a n-esima derivada e dada por
f
(n)
(z
0
) =
n!
2i
_

f(z)
(z z
0
)
n+1
dz, (16.3)
onde e percorrido no sentido anti-horario.
Prova: Mostremos o caso n = 1.
Precisamos mostrar que
lim
h0
f(z
0
+ h) f(z
0
)
h
=
1
2i
_

f(z)
(z z
0
)
2
dz.
Pela formula de Cauchy, para h ,= 0 sucientemente pequeno, temos
1
h
[f(z
0
+ h) f(z
0
)] =
1
h
_
1
2i
_

f(z)
(z z
0
h)
dz
1
2i
_

f(z)
(z z
0
)
dz
_
=
=
1
2hi
_

f(z)
_
1
(z z
0
h)

1
(z z
0
)
_
dz =
=
1
2hi
_

f(z)
h
(z z
0
h)(z z
0
)
dz =
1
2i
_

f(z)
(z z
0
h)(z z
0
)
dz.
87
`

z
o
z
o
+ h

r
Deste modo,
1
h
[f(z
0
+h) f(z
0
)]
1
2i
_

f(z)
(z z
0
)
2
dz =
1
2i
_

f(z)
(z z
0
h)(z z
0
)
dz
1
2i
_

f(z)
(z z
0
)
2
dz
=
1
2i
_

f(z)[z z
0
(z z
0
h)]
(z z
0
h)(z z
0
)
2
dz =
h
2i
_

f(z)
(z z
0
h)(z z
0
)
2
dz =
=
h
2i
_

r
f(z)
(z z
0
h)(z z
0
)
2
dz (16.4)
onde
r
e um crculo contido no interior de , centrado em z
0
de raio r contendo o ponto z
0
+h
no seu interior,
r
e percorrido no sentido anti-horario.
Assim se 0 < [h[ <
r
2
, e [z z
0
[ < r
[(z z
0
h)(z z
0
)
2
[ = [z z
0
h[[z z
0
[
2
=
= [z z
0
h[ ([z z
0
[ [h[)r
2
=
(r [h[)r
2
> (r
r
2
)r
2
=
r
3
2
e da,

f(z)
(z z
0
h)(z z
0
)
2

[f(z)[
[(z z
0
h)(z z
0
)
2
[

2M
r
3
,
onde M e o maximo de [f(z)[ sobre o crculo [z z
0
[ = r (
r
).
Com isto, obtemos de 16.4

1
h
[f(z
0
+ h) f(z
0
)]
1
2i
_

f(z)
(z z
0
)
2
dz

[h[
2

r
f(z)
(z z
0
h)(z z
0
)
2
dz

[h[
2
2M
r
3
() =
M()
r
3
[h[
que tende a zero quando h tende a zero.
Logo,
lim
h0
f(z
0
+ h) f(z
0
)
h
=
1
2i
_

f(z)
(z z
0
)
2
dz.
88

`
,
0
1

2
A prova do caso n 2 segue os passos da prova que acabamos de mostrar, com adaptacoes
apropriadas.
Corolario 6 Toda funcao analtica e de classe C

.
Prova: Dados n N e f analtica, segue do teorema anterior que f
(n+1)
existe em todo o
domnio de f. Conseq uentemente, a funcao f
(n)
e contnua (por ser derivavel).
Corolario 7 A derivada de uma funcao analtica e tambem analtica.
Exemplo 74 Seja um contorno que envolve a origem. A integral
_

1
z
2
dz pode ser calculada
usando-se a formula 16.3 com f(z) = 1 e z
0
= 0, obtendo
_

1
z
2
dz = 2if

(0) = 2i0 = 0.
Exemplo 75 Calcule
_

z+1
z
3
(z1)
dz onde e um contorno percorrido no sentido anti-horario e
que envolve os pontos z = 0 e z = 1.
Se tomarmos os contornos
1
e
2
como na gura 75 entao
_

z + 1
z
3
(z 1)
dz =
_

1
z + 1
z
3
(z 1)
dz +
_

2
z + 1
z
3
(z 1)
dz =
=
_

1
f
1
(z)
z
3
dz +
_

2
f
2
(z)
(z 1)
dz,
onde f
1
(z) =
z+1
z1
e f
2
(z) =
z+1
z
3
.
Usando a formula de Cauchy para derivada, calculamos
_

1
f
1
(z)
z
3
dz =
2i
2!
f

1
(0) = if

1
(0).
89
Mas, f

1
(z) =
2
(z1)
2
e f

1
(z) =
4
(z1)
3
.
Logo,
_

1
f
1
(z)
z
3
dz = i(4) = 4i.
Agora,
_

2
f
2
(z)
(z 1)
dz = 2if
2
(1) = 4i.
Portanto,
_

z + 1
z
3
(z 1)
dz = 4i + 4i = 0.
Teorema 13 (Morera) Sejam f : C contnua e simplesmente conexo. Se a integral de
f independe do caminho ou, equivalentemente, a integral de f se anula sobre qualquer caminho
fechado contido em , entao f e analtica.
Prova: Fixado z
0
, a func ao
F(z) =
_
z
z
0
f()d, z
esta bem denida em .
Mostremos que F

(z) = f(z). Para isto, procedemos como na prova do teorema 10. Temos
F(z + h) F(z) =
_
z+h
z
f() d.
Como a integral acima independe do caminho, podemos escolher como caminho o segmento
que liga z ate z + h, isto e,
(t) = z + th, 0 t 1.
Como
_
z+h
z
d = h, podemos escrever

F(z + h) F(z)
h
f(z)

=
1
[h[
[F(z + h) F(z) hf(z)[
=
1
[h[

_
z+h
z
f() d
_
z+h
z
f(z) d

=
1
[h[

_
z+h
z
[f() f(z)] d

=
1
[h[

[f() f(z)] d

1
[h[
max
0t1
[f((t)) f(z)[()
= max
0t1
[f(z + th) f(z)[, (16.5)
pois () = [[.
Como f e contnua, dado > 0 existe um > 0 tal que para todo [w[ < temos [f(z +
w) f(z)[ < .
90
Assim, se tomarmos h tal que [h[ < ent ao w = th, a t 1, satisfaz [w[ = [th[ [h[ <
e, portanto, [f(z +w) f(z)[ < .
Assim segue de 16.5

F(z + h) F(z)
h
f(z)

<
sempre que [h[ < , ou seja,
lim
h0
F(z +h) F(z)
h
= f(z).
Pelo Corolario 7, F

(z) = f(z) tambem e analtica em .

Teorema 14 (Liouville) Se f e uma funcao inteira e limitada entao f e constante.
Prova: Seja M tal que [f(z)[ M, para todo z C. Tomando (t) = z + Re
it
, 0 t 2,
temos
[f

(z)[ =

1
2i
_

f()
( z)
2
d

1
2
max

f()
( z)
2

()
mas () = 2R e para

, isto e, [ z[ = R, temos

f()
( z)
2

=
[f()[
[ z[
2
=
[f()[
R
2

M
R
2
.
Logo,
[f

(z)[
1
2
M
R
2
2R =
M
R
,
que tende a zero quando R tende a +.
Desta forma, f

(z) = 0 para todo z C. Segue da que f(z) e constante.

Teorema 15 (Teorema fundamental da algebra) Todo polinomio nao constante possui u-
ma raiz em C.
Prova: Seja p : C C um polinomio. Suponha que p(z) ,= 0 para todo z C.
A func ao f(z) =
1
p(z)
e inteira. Mostremos que f tambem e limitada.
Escrevendo p(z) = a
n
z
n
+ + a
1
z + a
0
, com a
n
,= 0 vemos que para z = re
i
, r > 0, temos
[p(z)[ = [a
n
z
n
[

1 +
a
n1
a
n
z
+ +
a
1
a
n
z
n1
+
a
0
a
n
z
n

[a
n
[r
n
_
1
[a
n1
[
[a
n
[r

[a
1
[
[a
n
[r
n1

[a
0
[
[a
n
[r
n
_
.
Como
lim
r
_
1
[a
n1
[
[a
n
[r

[a
1
[
[a
n
[r
n1

[a
0
[
[a
n
[r
n
_
= 1,
91
existe R
0
tal que R > R
0
implica em
1
[a
n1
[
[a
n
[R

[a
1
[
[a
n
[R
n1

[a
0
[
[a
n
[R
n
>
1
2
.
Logo, para [z[ > R
0
, temos
[f(z)[ =
1
[p(z)[
<
2
[a
n
[[z[
n
<
2
[a
n
[R
n
0
.
Como f e contnua, tambem e limitada para todo [z[ R
0
. Logo, f e limitada em C.
Pelo Teorema de Liouville 14, f deve ser constante e, portanto, p tambem e constante. Isto
e uma contradic ao.
Portanto, existe z
0
C tal que p(z
0
) = 0.
92
Captulo 17
Func oes Harmonicas
Considere f : C, uma func ao analtica. Sabemos que f e de classe C

, isto e, possui
derivadas de qualquer ordem em . Segue da que as func oes u = 1f e v = f tambem sao
de classe C

em .
Como f e analtica, u e v satisfazem as equacoes de Cauchy-Riemann:
u
x
=
v
y
e
u
y
=
v
x
em .
Derivando a primeira das equac oes acima com relac ao a x e a segunda com relac ao a y,
obtemos

2
u
x
2
=

2
v
xy
e

2
u
y
2
=

2
v
yx
em .
Somando-se ambas as equac oes,

2
u
x
2
+

2
u
y
2
=

2
v
xy


2
v
yx
= 0
pois v tem derivadas parciais de segunda ordem contnua.
Vemos, assim, que u satisfaz

2
u
x
2
+

2
u
y
2
= 0 em .
A equac ao acima e chamada de equacao de Laplace e uma funcao de classe C
2
que a satisfaca
e dita harmonica.
Exerccio 14 Prove que v = f, f analtica, e tambem uma funcao harmonica.
Exemplo 76 As funcoes
u
1
(x, y) = x
2
y
2
= 1z
2
, u
2
(x, y) = e
x
cos y = 1e
z
e u
3
(x, y) = coshy cos x = 1cos z
sao exemplos de funcoes harmonicas em C.
93
Exemplo 77 Nao existe funcao analtica cuja parte real seja u(x, y) = x
2
+ y
2
. Pois, se
existisse, u deveria ser harmonico, porem,

2
u
x
2
(x, y) +

2
u
y
2
(x, y) = 4 ,= 0
Como vimos, toda parte real de uma funcao analtica e harmonica.
O proximo teorema diz que se u for harmonica em uma regiao simplesmente conexa entao
u e a parte real de alguma funcao analtica.
Teorema 16 Sejam um conjunto simplesmente conexo e u : R uma funcao harmonica.
Entao existe uma funcao analtica f : C tal que u = 1f.
Prova: Seja g : C dada por
g =
u
x
i
u
y
Como u e de classe C
2
, vemos que g e de classe C
1
. Como

x
1g =

2
u
x
2
=

2
u
y
2
=

y
g
e

y
1g =

2
u
yx
=

2
u
xy
=

x
g
vemos que g e analtica em .
Como e simplesmente conexo,existe uma primitiva G : C de g, isto e, G

= g em .
Lembre que G e analtica.
Agora, colocando = 1G e = G temos
G

=

x
+ i

x
= g =
u
x
i
u
y
e tambem,
G

=

y
i

y
= g =
u
x
i
u
y
Da,

x
( u) = 0 e

y
( u) = 0
Como e conexo, vemos que u e constante, digamos, u = c R.
Desta maneira, colocando f = Gc, vemos que f e analtica e
1f = 1(Gc) = c = u.
94
Observacao 27 A funcao f do teorema acima e dada por
f(z) =
_
z
z
0
_
u
x
i
u
y
_
dz C,
conforme a prova do teorema 10
Exerccio 15 Verique que se u e sao como no teorema acima e se : [a, b] e tal que
(a) = (z
0
, y
0
) e (b) = (x, y), entao
_

_
u
x
i
u
y
_
dz = u(x, y) u(x
0
, y
0
) + i
_

u
y
dy +
u
x
dx.
Denicao 27 Seja um aberto. Denotamos por H() o conjunto de todas as funcoes harmo-
nicas em .
Exemplo 78 H() e um espaco vetorial.
Exemplo 79 Se e simplesmente conexo entao H() = 1f; f : C e analtica.
Exemplo 80 Seja um conjunto simplesmente conexo que contenha a origem. Se R e tal que
(t) = Re
it
, 0 t 2 esteja contida em entao, para todo a tal que [a[ < R temos
u(a) =
1
2
_
2
0
R
2
[a[
2
[z a[
2
u(z)dt =
1
2
_
2
0
R
2
[a[
2
[Re
it
a[
2
u(Re
it
dt (17.1)
Seja f analtica tal que 1f = u em .
Se a = 0 entao
u(0) = 1f(0) = 1
1
2i
_

f(z)
z
dz =
1
1
2i
_
2
0
f(Re
it
)Rie
it
Re
it
dt = 1
1
2
_
2
0
f(Re
it
)dt =
=
1
2
_
2
0
1f(Re
it
)dt =
1
2
_
2
0
u(Re
it
)dt
que e 17.1 com a = 0.
Suponha agora que a ,= 0. Pela formula de Cauchy temos
f(a) =
1
2i
_

f(z)
z a
dz (17.2)
Agora, como w =
R
2
a
e tal que
w =
R
2
[a[
=
R
2
[a[
= R
R
[a[
> R,
95
vemos que a funcao g(z) =
f(z)
z
R
2
a
e analtica em z; [z[ R. Logo,
0 =
1
2i
_

f(z)
z
R
2
a
dz (17.3)
Subtraindo 17.3 de 17.2 temos
f(z) =
1
2i
_

f(z)
_
1
z a

1
z
R
2
a
_
dz =
=
1
2i
_

f(z)
[a[
2
R
2
(z a)(za R
2
)
dz =
1
2i
_
2
0
f(Re
it
)
[a[
2
R
2
(Re
it
a)(Re
it
a R
2
)
Rie
it
dt
=
1
2
_
2
0
f(Re
it
)
[a[
2
R
2
(Re
it
a)(a Re
it
)
dt =
1
2
_
2
0
f(Re
it
)
R
2
[a[
2
(Re
it
a)(Re
it
a)
dt
=
1
2
_
2
0
f(Re
it
)
R
2
[a[
2
[a Re
it
[
2
dt =
1
2
_
2
0
f(z)
[z[
2
[a[
2
[z a[
2
dt.
Portanto,
u(x, y) = 1
1
2
_
2
0
f(z)
[z[
2
[a[
2
[z a[
2
dt =
1
2
_
2
0
u(z)
[z[
2
[a[
2
[z a[
2
dt.
Exemplo 81 Tomando u = 1, vemos que se [a[ < R
_
2
0
[z[
2
[a[
2
[z a[
2
dt =
_
2
0
R
2
[a[
2
[Re
it
a[
2
dt = 2.
Ou seja,
_
2
0
1
[Re
it
a[
2
dt =
2
R
2
[a[
2
.
Observacao 28 Observe que pela formula 17.1, o valor de u no interior do disco z; [z[ R so
depende dos valores de u na fronteira deste mesmo disco.
96
Captulo 18
Seq uencias e Series
Denicao 28 Considere uma seq uencia de n umeros complexos (z
n
), isto e, uma aplicacao que
para cada n N associa um unico n umero complexo z
n
. Dizemos que z
n
e convergente se existir
z C tal que para todo > 0 existe n
o
N satisfazendo
[z
n
z[ < sempre que n n
o
.
Proposicao 28 Se z
n
e convergente entao existe um unico n umero complexo z satisfazendo a
denicao acima.
Prova: Se z e w satisfazem a denicao acima ent ao, dado > 0 e possvel encontrar n
1
N
tal que
[z
n
z[ < /2 sempre que n n
1
e tambem n
2
N satisfazendo
[z
n
w[ < /2 sempre que n n
2
.
Tomando n
o
como o maior entre os n umeros n
1
e n
2
vemos que se n n
o
ent ao
0 [z w[ [z z
n
[ +[z
n
w[ < /2 +/2 =
para todo > 0. Logo, [z w[ = 0, isto e, z = w.
Observacao 29 Se z
n
e convergente e se z e o unico n umero complexo que satisfaz a denicao
28, dizemos que z e o limite da seq uencia z
n
e denotaremos por
z
n
z ou lim
n
z
n
= z.
Observacao 30 Geometricamente, o fato de z
n
z signica que por menor que seja o disco
centrado em z
o
, sempre sera possvel encontrar n
o
N de modo que z
n
pertenca a este disco
para todo n n
o
. Em geral, quanto menor o disco, maior sera n
o
.
97
Observacao 31 Se uma seq uencia nao for convergente, diremos que ela e divergente.
Deixamos como exerccio as provas das seguintes proposic oes:
Proposicao 29 Se z
n
z e w
n
w entao
i) z
n
+ w
n
z + w;
ii) z
n
z, para todo C;
iii) existe M > 0 tal que [z
n
[ M, para todo n N, isto e, a seq uencia z
n
e limitada.
Proposicao 30 Seja z
n
uma seq uencia em C. Sejam x
n
= 1z
n
e y
n
= z
n
. Entao z
n
e
convergente se e somente se as seq uencias de n umeros reais x
n
e y
n
convergem. Em caso
armativo, temos
lim
n
z
n
= lim
n
x
n
+ i lim
n
y
n
.
Exemplo 82 Analise a convergencia das seguintes seq uencias:
z
n
=
i
n
, w
n
= i
n
e
n
=
1
n
+ in.
Como 1z
n
= 0 0 e z
n
=
1
n
0, a proposicao 30 nos diz que z
n
e convergente e se limite
e zero.
Note que 1w
2k
= 1i
2k
= (1)
k
nao e convergente. Logo, pela proposicao 30, a seq uencia
w
n
tambem nao converge.
Quanto `a ultima seq uencia, vemos que ela nao e limitada, pois para todo n N, temos
[
n
[ =
_
1
n
2
+n
2

n
2
= n.
Logo, pelo terceiro item da proposic ao 29,
n
nao pode ser convergente.
Denicao 29 Seja z
n
uma seq uencia em C. Dizemos que a serie

n=0
z
n
e convergente se a
seq uencia s
n
= z
0
+ +z
n
for convergente. Ou seja, se existir S C tal que para cada > 0
existir n
o
N tal que

S
n

j=0
z
j

< para todo n n

o
.
Neste caso, denotamos S por

n=0
z
n
.
Observacao 32 A seq uencia z
n
que da origem `a serie

n=0
z
n
e chamada de termo geral desta
serie.
Seguem das proposic oes 29 e 30 as seguintes proposicoes:
Proposicao 31 Se S =

n=0
z
n
e T =

n=0
w
n
entao
98
i)

n=0
(z
n
+ w
n
) = S + T;
ii)

n=0
z
n
= S, para todo C.
Proposicao 32 Sejam z
n
= x
n
+ iy
n
, x
n
= 1z
n
e z
n
= y
n
. Entao a serie

n=0
z
n
converge
se e somente se as series de n umeros reais

n=0
x
n
e

n=0
y
n
convergem. Neste caso,

n=0
z
n
=

n=0
x
n
+i

n=0
y
n
.
Tambem temos
Proposicao 33 Se

n=0
z
n
e convergente entao z
n
0.
Prova: Coloque x
n
= 1z
n
e y
n
= z
n
. Pela proposic ao 32, as series de n umeros reais

n=0
x
n
e

n=0
y
n
convergem. Portanto, por um resultado de Calculo II, temos x
n
, y
n
0, isto e,
z
n
= x
n
+ iy
n
0.
Exemplo 83 A serie

n=1
i
n
nao e convergente pois

n=1

i
n
=

n=1
1
n
diverge (serie har-
monica). No entanto, temos
i
n
0.
Observacao 33 O exemplo acima mostra que a condicao z
n
0 nao e suciente para que a
serie formada por z
n
seja convergente. No entanto, a proposicao 33 nos diz que esta condicao
(z
n
0) e necessaria para a convergencia de

n=0
z
n
, isto e, se o limite de z
n
nao existir ou
se convergir para um n umero diferente de zero entao a serie

n=0
z
n
sera divergente.
Exemplo 84 Pela proposicao 32, a serie

n=1
n+i
n
3
e convergente, pois as series de n umeros
reais

n=1
1
n+i
n
3
=

n=1
1
n
2
e

n=1
1
n+i
n
3
=

n=1
1
n
3
sao ambas convergentes.
Denicao 30 Dizemos que a serie

n=1
z
n
e absolutamente convergente se a serie

n=1
[z
n
[
for convergente.
Exemplo 85 A serie

n=1
i
n
n
2
e absolutamente convergente. Basta notar que a serie de n u-
meros reais

n=1

i
n
n
2

n=1
1
n
2
e convergente.
Proposicao 34 Se

n=0
z
n
e absolutamente entao ela tambem e convergente.
Prova: Colocando x
n
= 1z
n
e y
n
= z
n
, vemos que x
2
n
x
2
n
+ y
2
n
= [z
n
[
2
e, portanto,
[x
n
[ [z
n
[. Assim, usando o criterio de comparacao para series de n umeros reais vemos que

n=0
x
n
e absolutamente convergente e, portanto, convergente.
De modo semelhante se mostra que

n=0
y
n
tambem e convergente. Logo, pela proposic ao
32 temos que

n=0
z
n
e convergente.
99
Exemplo 86 Nem toda serie convergente e absolutamente convergente como pode ser vericado
pela serie

n=1
i
2n
n
.
Esta serie nao converge absolutamente pois

n=1

i
2n
n

n=1
1
n
diverge.
No entanto,

n=1
i
2n
n
=

n=1
(1)
n
n
e convergente pelo criterio de Leibinitz (Calculo II),
isto e, como a seq uencia
1
n
e decrescente e tende a zero, entao a serie alternada

n=1
(1)
n
n
e
convergente.
100
Captulo 19
Series de Potencias
Denicao 31 Sejam z
o
C e a
n
uma seq uencia de n umeros complexos. A cada z C coloque
z
n
= a
n
(zz
o
)
n
. A serie dada por

n=0
z
n
=

n=0
a
n
(zz
o
)
n
e chamada de serie de potencias.
O n umero complexo z
o
e chamado de centro da serie de potencias.
Neste captulo trataremos de estudar sob que condic oes uma serie de potencias e convergente.
Note que quando tomamos z = z
o
a serie de potencias e convergente e seu valor e o termo
independente a
0
.
Veremos mais adiante que se a serie de potencias convergir quando tomamos algum outro
valor de z ,= z
o
entao sera possvel denir uma func ao numa vizinhanca (pelo menos num
disco aberto) de z
o
que a cada z nesta vizinhanca associa o valor da serie, isto e, f(z) =

n=0
a
n
(z z
o
)
n
.
Na maior parte do captulo passaremos a estudar propriedades desta funcao. A principal
delas sera que f e uma func ao analtica.
Reciprocamente, o teorema de Taylor par funcoes analticas nos garantira que toda funcao
analtica pode ser escrita como uma serie de potencias convergente em uma vizinhanca de cada
ponto do domnio (aberto) da func ao.
Vamos comecar a nossa investigac ao considerando a serie geometrica que e obtida tomando-
se z
o
= 0 e a
n
= 1 na denic ao 31.
Sabemos que uma condic ao necessaria para que uma serie seja convergente e que seu termo
geral tenda a zero. Como no presente caso z
n
= z
n
vemos z
n
0 se e somente se [z[ < 1.
Assim, para [z[ 1 a serie geometrica e divergente.
Para [z[ < 1, considere a seq uencia formada pelas somas parciais,
s
n
(z) = 1 + z + +z
n
.
Temos
(1 z)s
n
(z) = s
n
(z) zs
n
(z) = 1 + z + + z
n
(z + z
2
+ z
n+1
) = 1 z
n+1
e, da,
s
n
(z) =
n

j=0
z
j
=
1
1 z

z
n+1
1 z
. (19.1)
101
Como [z[ < 1, vemos que

z
n+1
1 z

=
[z[
n+1
[1 z[
0.
Desta maneira, segue de 19.1 que

n=0
z
n
= lim
n
s
n
(z) =
1
1 z
, para todo z tal que [z[ < 1.
Vale a pena observar que a convergencia tambem e absoluta neste disco D
1
= z; [z[ < 1
pois a serie geometrica de n umeros reais

n
n=0
[z[
n
=
1
1|z|
e convergente pois a [z[ < 1.
Denicao 32 Dizemos que uma serie de potencias

n=0
a
n
(z z
o
)
n
converge uniformemente
em um conjunto D C se existir uma funcao S em D tal que dado > 0 existir n
o
N
satisfazendo

S(z)
n

j=0
a
j
(z z
o
)
j

< para todo n n

o
.
Observacao 34

E claro que se a serie converge uniformemente em D entao, para z D temos
que a serie de potencias

n=0
a
n
(z z
o
)
n
converge para S(z).
Observacao 35 Note que embora as denicoes de convergencia e de convergencia uniforme
sejam bastante semelhantes, nesta ultima e possvel escolher, para cada > 0, um mesmo n
o
que sirva para todo z D. Na denicao de convergencia, o n
o
pode variar de acordo com o
ponto z.
Proposicao 35 Seja

n=0
a
n
(z z
o
)
n
um serie de potencias tal que para todo n tenhamos
[a
n
(z z
o
)
n
[ b
n
para todo z D, onde

n=0
b
n
e convergente. Entao,

n=0
a
n
(z z
o
)
n
e
uniformemente convergente em D.
Prova:
Dado > 0, existe n
o
tal que

j=0
b
j

j=0
b
j

j=n+1
b
j
< para todo n n
o
.

E claro que a serie de potencias e (absolutamente) convergente para todo z D.

Assim, se n n
o
e todo z D temos

j=0
a
j
(z z
o
)
j

j=0
a
j
(z z
o
)
j

j=n+1
a
j
(z z
o
)
j

j=n+1

a
j
(z z
o
)
j

j=n+1
b
j
<
102
Exemplo 87 A serie geometrica converge uniformemente no disco fechado D
r
= z; [z[ r

onde 0 r

< 1. Porem a convergencia nao e uniforme no disco aberto D

1
= z; [z[ < 1.
Passemos a vericar estes fatos notamos primeiramente que se z D
r
ent ao [z[
n
(r

)
n
.
Segue da proposicao 35 com b
n
= (r

)
n
(note que 0 r

< 1) que a serie geometrica e

uniformemente convergente em D
r
.
Quanto `a segunda armac ao, vemos que, por 19.1, para > 0 existira n
o
tal que para todo
n n
o
tem-se

s
n
(z)

j=0
z
j

<
se e somente se

z
n+1
1 z

=
[z[
n+1
[1 z[
< [z[
n+1
< [1 z[ (n + 1) log [z[ < log([1 z[)
n + 1 >
log([1 z[)
log [z[
,
pois [z[ < 1. Note agora, que `a medida que tomamos os pontos mais proximos `a fronteira
do disco ([z[ =1), teremos que tomar n
o
cada vez maior para que 19.1 que valida para todo
n n
o
.
Teorema 17 Dada uma serie de potencias

n=0
a
n
(z z
o
)
n
entao ocorre uma e somente uma
das seguintes situacoes:
i)

n=0
a
n
(z z
o
)
n
so converge em z = z
o
;
ii) existe r > 0 tal que se [z z
o
[ < r a serie

n=0
a
n
(z z
o
)
n
converge absolutamente e se
0 r

< r, a convergencia e uniforme no disco fechado D

r
= z; [z z
o
[ r

.
Alem do mais, se [z z
o
[ > r a serie

n=0
a
n
(z z
o
)
n
diverge;
iii) a serie

n=0
a
n
(z z
o
)
n
converge absolutamente para todo z C e uniformemente em
todo disco fechado D
r
= z; [za z
o
[ r

.
Prova: Seja D = z;

n=0
a
n
(z z
o
)
n
converge absolutamente.
Se D = z
o
entao temos i).
Se D ,= z
o
entao existe z
1
D, z
1
,= z
o
. Coloque r
o
= [z
1
z
o
[ > 0.
Como

n=0
a
n
(z
1
z
o
)
n
converge, o seu termo geral tende a zero e e, portanto, limitado.
Assim, existe M > 0 tal que [a
n
(z
1
z
o
)
n
[ M para todo n.
Se 0 r

< r
o
e [z z
o
[ r

entao
[a
n
(z z
o
)
n
[ =

z z
o
z
1
z
o

n
[a
n
(z z
o
)
n
[ M
_
r

r
o
_
n
. (19.2)
Como 0
r

r
o
< 1, vemos que

n=0
[a
n
(z z
o
)
n
[ converge. logo, z D.
103
Note que por 19.2 a serie

n=0
a
n
(z z
o
)
n
converge uniformemente em D
r
. Para ver isto,
basta notar que o ultimo membro de 19.2 independe de z D
r
.
Veja que mostramos que D
r
D para todo r

< [z
1
z
o
[ onde z
1
D, z
1
,z
o
.
Agora, se todos os discos centrados em z
o
estiverem contidos em D ent ao teremos D = C
e com o que ja foi demonstrado, obteremos iii). Por outro lado, se isto nao acontecer ent ao
existira r > 0 tal que
D
r
= z; [z z
o
[ < r D e D
s
, D para todo s > r. (19.3)
As estimativas feitas em 19.2 com r = r
o
mostram as duas primeiras armativas de ii).
Quanto `a terceira, basta ver que se [z z
o
[ > r entao se a serie

n=0
a
n
(z z
o
)
n
convergisse,
seria possvel encontrar M

> 0 tal que [a

n
(z z
o
)
n
[ M

para todo n e, assim, para todo z

satisfazendo r < [z

z
o
[ < [z z
o
[, teramos
[a
n
(z

z
o
)
n
[ =

z
o
z z
o

n
[a
n
(z z
o
)
n
[ M

z
o
z z
o

n
.
Como

z
o
z z
o

< 1,
a serie

n=0
a
n
(z

z
o
)
n
convergiria absolutamente e, portanto, z

D. Mas, segue da que

D
s
D onde s = [z
1
z
o
[, que contradiz 19.3 pois s > r.
Observacao 36 O n umero r que aparece em ii) da proposicao acima e chamado de raio de
convergencia da serie. Estendemos este conceito para dizer que em i) o raio de convergencia e
zero e em iii) e innito.
Observacao 37 O segundo item do teorema anterior nada arma sobre a convergencia da
serie sobre o crculo [z z
o
[ = r.
A proxima proposic ao nos fornece uma maneira de calcularmos o raio de convergencia de
uma serie de potencias desde que um determinado limite exista.
Proposicao 36 Considere a serie de potencias

n=0
a
n
(z z
o
)
n
.
Se o limite da seq uencia
n
_
[a
n
[ converge entao o raio de convergencia da serie acima sera dado
por r onde
r =
_

_
0, se lim
n
n
_
[a
n
[ = ;
, se lim
n
n
_
[a
n
[ = 0;
1
lim
n
n

|a
n
|
, se 0 < lim
n
n
_
[a
n
[ < .
104
Prova: Provaremos apenas o caso em que
1
r
= lim
n
n
_
[a
n
[ > 0. Se s < r ent ao 1/s > 1/r e
pela denic ao de limite existe n
o
tal que
n
_
[a
n
[ < 1/s para todo n n
o
. Da,
[a
n
[ <
1
s
n
se n n
o
.
Assim, para [z z
o
[ < s e n n
o
temos
[a
n
(z z
o
)
n
[
_
[z z
o
[
s
_
n
.
Como [z z
o
[/s < 1, a serie

n=0
(z z
o
)
n
e absolutamente convergente. Como s < r foi
arbitrario, a mesma serie e absolutamente convergente em D
r
.
Agora, dado r

< r, tome s tal que r

< s < r. Um calculo como acima nos diz que

[a
n
(z z
o
)
n
[
_
s
r

_
n
, para [z z
o
[ r

e n grande.
Assim, a serie e uniformemente convergente em D
r
.
Agora, se s > r ent ao 1/s < 1/r. Logo, existe n
1
tal que 1/s <
n
_
[a
n
[ para todo n n
1
. Se
tomarmos [z z
o
[ s vemos que
[a
n
(z z
o
)
n
[ >
_
[z z
o
[
s
_
n
.
Como
[z z
o
[
s
1
entao a
n
(zz
o
)
n
nao tende a zero e, portanto, a serie

n=0
a
n
(zz
o
)
n
nao pode ser convergente.
Vemos assim, que o n umero r e o raio de convergencia da serie.
Exemplo 88 Encontre os raios de convergencias das seguintes series:
a)

n=0
n2
n
z
n
;
b)

n=0
n
n
z
n
;
c)

n=0
z
n
n
n
.
a) Como lim
n
n

2
n
n = 2 lim
n
n

n = 2, vemos que o raio de convergencia e 1/2.

b) Como lim
n
n

n
n
= lim
n
n = , vemos que o raio de convergencia e zero.
c) Como lim
n
n
_
1/n
n
= lim
n
1/n = 0, vemos que o raio de convergencia e innito.
Deixamos como exerccio a prova da seguinte
105
Proposicao 37 Considere a serie de potencias

n=0
a
n
(z z
o
)
n
.
Se o limite da seq uencia

a
n
a
n+1

converge entao o raio de convergencia da serie acima sera dado

por
r = lim
n

a
n
a
n+1

mesmo que o limite de innito.

Exemplo 89 A serie

n=0
1
n!
z
n
converge absolutamente para todo z C pois, como
lim
n
1
n!
1
(n+1)!
= lim
n
(n + 1)!
n!
= lim
n
n + 1 = ,
o seu raio de convergencia e innito pela proposicao 37.
Teorema 18 Seja
f(z) =

n=0
a
n
(z z
o
)
n
uma serie de potencias cujo raio de convergencia r seja diferente de zero.
Entao f e contnua no disco D
r
= z; [z z
o
[ < r.
Prova: Seja z
1
D
r
. Tome r

satisfazendo [z
1
z
o
[ < r

< r.
Sabemos que a serie dada por f converge uniformemente em D
r
. Assim, dado > 0 existe
n
o
tal que

f(z)
n

j=0
a
j
(z z
o
)
j

<

3
para todo z D
r
, n n
o
. (19.4)
Como o polinomio
p
n
o
(z) =
n
o

j=0
a
j
(z z
o
)
j
e contnuo em z
1
, existe > 0 tal que [p
n
o
(z) p
n
o
(z
1
)[ < /3 se [z z
1
[ < .
Diminuindo > 0 se necessario podemos supor que o disco aberto centrado em z
1
de raio
esteja contido em D
r
.
Assim, se [z z
1
[ < ,
[f(z) f(z
1
)[ [f(z) p
n
o
(z)[ +[p
n
o
(z) p
n
o
(z
1
)[ +[p
n
o
(z
1
) f(z
1
)[ <

3
+

3
+

3
= ,
pois, z, z
1
D
r
e tambem [z z
1
[ < .
106
z
o
z
1

r
r

Teorema 19 (Integracao termo a termo) Seja

f(z) =

n=0
a
n
(z z
o
)
n
uma serie de potencias cujo raio de convergencia r seja diferente de zero. Se : [a, b] C e
um caminho cujo traco esteja contido em D
r
= z; [z z
o
[ < r entao
_

f(z) dz =

n=0
_

(z z
o
)
n
dz =

n=0
a
n
n + 1
_
((b) z
o
)
n+1
((a) z
o
)
n+1

.
Em particular, se e um caminho fechado,
_

f(z) dz = 0.
Prova: Como o traco

de um caminho e um conjunto compacto, existe r

> 0 tal que

D
r
. Como a convergencia de f e uniforme em D
r
, dado > 0, existe n
o
tal que

j=n
a
j
(z z
o
)
j

<
para todo z D
r
e n n
o
.
Desta forma, como f e contnua, sua integral sobre existe e podemos escrever
_

f(z) dz =
_

j=0
a
j
(z z
o
)
j
dz +
_

j=n+1
a
j
(z z
o
)
j
dz
=
n

j=0
_

a
j
(z z
o
)
j
dz +
_

j=n+1
a
j
(z z
o
)
j
dz
pois a primeira soma so apresenta um n umero de termos. Segue da, que se n n
o
ent ao

f(z) dz
n

j=0
_

a
j
(z z
o
)
j
dz

j=n+1
a
j
(z z
o
)
j
dz

107
max
z

j=n+1
a
j
(z z
o
)
j

) < (

).
Como esta xa, segue que
n

j=0
_

a
j
(z z
o
)
j
dz
_

f(z) dz,
isto e,
_

f(z) dz =

j=0
_

a
j
(z z
o
)
j
dz.
A formula nal segue do fato que
a
j
j+1
(z z
o
)
j+1
e uma primitiva de a
j
(z z
o
)
j
para j 0.
Exemplo 90 Vamos aplicar o teorema anterior `a funcao
f(z) =
1
1 z
=

n=0
z
n
, [z[ < 1.
Como o disco D
1
= z; [z[ < 1 e simplesmente conexo e f e analtica em D
1
, sabemos que
ela possui primitiva neste domnio. Uma tal primitiva e dada por F(z) = log(1 z), onde
tomamos o ramo do logaritmo satisfazendo
_
z 1 = re
i
, 0 < < 2
log(1 z) = log [1 z[ + i( ).
Note que com este ramo temos log 1 = 0, pois 0 1 = e
i
. Assim, F(0) = 0.
Para cada z D
1
, tomamos (t) = tz, 0 t 1.
Pelo teorema anterior e pelo fato de F ser uma primitiva de f, temos
log(1 z) = F((1)) F((0)) =
_

1
1
d =

n=0
_

n
d
=

n=0
1
n + 1
_
(1)
n+1
(0)
n+1

n=0
z
n+1
n + 1
=

n=1
z
n
n
.
Portanto, com o ramo escolhido acima,
log(1 z) =

n=1
z
n
n
.
108
Corolario 8 Seja
f(z) =

n=0
a
n
(z z
o
)
n
uma serie de potencias cujo raio de convergencia r seja diferente de zero.
Entao f e analtica no disco D
r
= z; [z z
o
[ < r.
Prova: Pelo teorema 18 f e contnua em D
r
e pelo teorema 19 a integral de f e zero sobre
todo caminho fechado contido em D
r
. Segue do teorema de Morera que f e analtica em D
r
.
Teorema 20 (Derivacao termo a termo) Seja
f(z) =

n=0
a
n
(z z
o
)
n
uma serie de potencias cujo raio de convergencia r seja diferente de zero.
Entao a derivada k-esima de f num ponto z D
r
= z; [z z
o
[ < r e dada por
f
(k)
(z) =

j=k
j(j 1) (j k + 1)a
j
(z z
o
)
jk
=

n=0
(k + n)!
n!
a
n+k
(z z
o
)
n
e o raio de convergencia da serie acima tambem e r.
Prova: Fixado z
1
D
r
, tome [z
1
z
o
[ < r

< r. Selecione s > 0 de modo que o disco centrado

em z
1
de raio s esteja contido no disco D
r
.
z
o
z
1

s
r
r

Coloque (t) = z
1
+ se
it
, 0 t 2.
Como f e analtica em D
r
, segue da formula de Cauchy para derivadas que
f
(k)
(z
1
) =
k!
2i
_

f(z)
(z z
1
)
k+1
dz.
109
Mas, para todo z D
r
,
f(z)
(z z
1
)
k+1
=

j=0
a
j
(z z
o
)
j
(z z
1
)
k+1
=
N

j=0
a
j
(z z
o
)
j
(z z
1
)
k+1
+

j=N+1
a
j
(z z
o
)
j
(z z
1
)
k+1
.
Integrando a expressao acima sobre , obtemos
f
(k)
(z
1
) =
k!
2i
_

f(z)
(z z
1
)
k+1
dz =
N

j=0
k!
2i
_

a
j
(z z
o
)
j
(z z
1
)
k+1
dz +
k!
2i
_

j=N+1
a
j
(z z
o
)
j
(z z
1
)
k+1
dz. (19.5)
Mas

j=N+1
a
j
(z z
o
)
j
(z z
1
)
k+1
dz

max
z

j=N+1
[a
j
(z z
o
)
j
[
[z z
1
[
k+1
(

)
=
2s
s
k+1
max
z

j=N+1

a
j
(z z
o
)
j

=
2
s
k
max
z

j=N+1

a
j
(z z
o
)
j

.
Como

j=0
a
j
(z z
o
)
j
converge absoluta e uniformemente em [z z
o
[ < r

e o traco de esta
contido neste disco, vemos que para cada > 0, existe n
o
tal que para todo N n
o
e para
todo z

temos

j=N+1

a
j
(z z
o
)
j

< .
Segue de 19.5 que para todo N n
o
temos

f
(k)
(z
1
)
N

j=0
a
j
k!
2i
_

(z z
o
)
j
(z z
1
)
k+1
dz

<
k!
2
,
ou seja,
f
(k)
(z
1
) =

j=0
a
j
k!
2i
_

(z z
o
)
j
(z z
1
)
k+1
dz.
Usando a formula de Cauchy para derivada,
k!
2i
_

(z z
o
)
j
(z z
1
)
k+1
dz =
d
k
dz
k
(z z
o
)
j

z=z
1
=
_
0, se j = 0, . . . , k 1
j(j 1) (j k + 1)(z
1
z
o
)
jk
, se j k.
Portanto,
f
(k)
(z
1
) =

j=k
a
j
j(j 1) (j k + 1)(z
1
z
o
)
jk
110
=

j=k
a
j
j!
(j k)!
(z
1
z
o
)
jk
=

n=0
a
n+k
(n + k)!
n!
(z
1
z
o
)
n
.
Seja R o raio de convergencia da serie da primeira derivada de f. Claramente, por dominac ao,
temos R r.
Suponha que R > r. Ent ao existem s satisfazendo r < s < R e z tal que [z z
o
[ = s.
Integrando a serie da derivada (

n=0
(n+1)a
n+1
(z z
o
)
n
) termo a termo do segmento que liga
z
o
a z obtemos que

n=1
a
n
(z z
o
)
n
= f(z) f(z
o
) e covergente. Isto e um absurdo, pois
[z z
o
[ > r. Logo, R = r.
Por induc ao, o raio de convergencia da serie da k-esima derivada tambem e R.
Exemplo 91 Podemos aplicar a serie da derivada de
f(z) =
1
1 z
=

n=0
z
n
, [z[ < 1
para obter varias outras representacoes de funcoes em serie de potencias.
De fato, derivando a expressao acima obtemos
1
(1 z)
2
=

n=1
nz
n1
=

n=0
(n + 1)z
n
, [z[ < 1.
Derivando mais uma vez,
2
(1 z)
3
=

n=1
(n + 1)nz
n1
=

n=0
(n + 2)(n + 1)z
n
, [z[ < 1,
ou seja,
1
(1 z)
3
=
1
2

n=0
(n + 2)(n + 1)z
n
, [z[ < 1.
Prosseguindo o processo, obtemos
1
(1 z)
k
=
1
(k 1)!

n=0
(n + k 1) (n + 1)z
n
=

n=0
(n + k 1)!
(k 1)!n!
z
n

n=0
_
n + k 1
k 1
_
z
n
, [z[ < 1, k 1.
Exemplo 92 Verique que
1
(1 + z
2
)
2
=

n=0
(1)
n
(n + 1)z
2n
, [z[ < 1.
111
Como
1
1 w
=

n=0
w
n
, [w[ < 1,
tomando w = z
2
vemos que
1
1 + z
2
=

n=0
(z
2
)
n
=

n=0
(1)
n
z
2n
, [z[ < 1
pois [w[ = [ z
2
[ < 1 e equivalente a [z[ < 1.
Derivando a expressao acima obtemos para [z[ < 1

2z
(1 +z
2
)
2
=

n=0
(1)
n
2nz
2n1
= 2

n=1
(1)
n
nz
2n1
= 2z

n=1
(1)
n
nz
2n2
= 2z

n=0
(1)
n+1
(n + 1)z
2n
.
Logo,
z
(1 + z
2
)
2
= z

n=0
(1)
n+1
(n + 1)z
2n
e, portanto,
1
(1 +z
2
)
2
=

n=0
(1)
n
(n + 1)z
2n
, [z[ < 1.
19.1 Serie de Taylor
Ja vimos que toda serie de potencias cujo raio de convergencia seja positivo e uma funcao
analtica. O proximo teorema diz que toda func ao analtica pode ser representada localmente
como serie de potencias, isto e, se f e analtica em z
o
ent ao existe r > 0 e uma seq uencia a
n
satisfazendo f(z) =

n=0
a
n
(z z
o
)
n
, para todo [z z
o
[ < r. Mais precisamente, temos
Teorema 21 (Serie de Taylor) Seja f : C uma funcao analtica denida em um aberto
. Se z
o
e r > 0 e tal que D
r
= z; [z z
o
[ < r entao
f(z) =

n=0
f
(n)
(z
o
)
n!
(z z
o
)
n
, para todo z D
r
.
Prova: Dado z D
r
tome s tal que [z z
o
[ < s < r. Coloque (t) = z
o
+ se
it
, 0 t 2.
Pela formula de Cauchy e manipulacao algebrica podemos escrever
112
f(z) =
1
2i
_

f(w)
1
w z
dw
=
1
2i
_

f(w)
1
w z
o
+ (z
o
z)
dw
=
1
2i
_

f(w)
1
w z
o

1
1
zz
o
wz
o
dw.
Como para w

, isto e, [w z
o
[ = s, vemos que

z z
o
w z
o

=
[z z
o
[
s
< 1
e da, usando a serie geometrica,
f(z) =
1
2i
_

f(w)
1
w z
o

n=0
_
z z
o
w z
o
_
n
dw =
1
2i
_

n=0
f(w)
(w z
o
)
n+1
(z z
o
)
n
dw
=
1
2i
_

n=0
f(w)
(w z
o
)
n+1
(z z
o
)
n
dw +
1
2i
_

n=N+1
f(w)
(w z
o
)
n+1
(z z
o
)
n
dw
=
1
2i
N

n=0
(z z
o
)
n
_

f(w)
(w z
o
)
n+1
dw +
1
2i
_

n=N+1
f(w)
(w z
o
)
n+1
(z z
o
)
n
dw (19.6)
=
N

n=0
(z z
o
)
n
1
n!
f
(n)
(z
o
) +
1
2i
_

n=N+1
f(w)
(w z
o
)
n+1
(z z
o
)
n
dw. (19.7)
Mas, como f e contnua e

e compacto, existe M > 0 tal que [f(w)[ M para todo

w

. Desta forma, o ultimo membro do lado esquerdo de 19.7 pode tende a zero quando N
tende a innito, pois

1
2i
_

n=N+1
f(w)
(w z
o
)
n+1
(z z
o
)
n
dw

1
2
max
w

n=N+1
[f(w)[
[w z
o
[
n+1
[z z
o
[
n
_
(

1
2

n=N+1
M
s
n+1
[z z
o
[
n
2s = M

n=N+1
_
[z z
o
[
s
_
n
0,
quando N , pois e o resto da serie geometrica cuja razao e
|zz
o
|
s
< 1. Logo,
f(z) =

n=0
f
(n)
(z
o
)
n!
(z z
o
)
n
, para todo z D
r
.
113
Observacao 38 Note que se f e inteira, isto e, = C, entao o raio de convergencia da serie
de Taylor de f e innito pois D
r
C para todo r > 0.
Observacao 39 Nos referiremos `a serie

n=0
f
(n)
(z
o
)
n!
(z z
o
)
n
como a serie de Taylor de f
centrada em z
o
.
Exerccio 16 Prove o seguinte:
Se uma funcao analtica denida em um disco centrado em z
o
e representada por uma serie
de potencias centrada em z
o
, entao esta serie e a serie de Taylor de f centrada em z
o
.
Observacao 40 Quando z
o
= 0 a serie de Taylor tambem e conhecida como serie de MacLau-
rin.
Exemplo 93 Encontre a expansao em serie de MacLaurin da funcao f(z) = e
z
.
Como para todo n = 0, 1, . . . , temos f
(n)
(z) = e
z
, vemos que
e
z
=

n=0
f
(n)
(0)
n!
z
n
=

n=0
1
n!
z
n
que e valida para todo z C.
Exemplo 94 Do exemplo anterior podemos escrever, para todo z C,
e
iz
=

n=0
1
n!
(iz)
n
=

n=0
i
n
n!
z
n
e
e
iz
=

n=0
1
n!
(iz)
n
=

n=0
(i)
n
n!
z
n
.
Somando as duas expressoes obtemos
2 cos z = e
iz
+e
iz
=

n=0
i
n
+ (i)
n
n!
z
n
= 2

k=0
(1)
k
(2k)!
z
2k
,
pois quando n e mpar, i
n
+(i)
n
= 0 e quando n = 2k, i
n
+(i)
n
= (i
2
)
k
+((i)
2
)k = 2(1)
k
.
Assim,
cos z =

k=0
(1)
k
(2k)!
z
2k
, z C.
Derivando a expressao acima obtemos
sen z =

k=0
(1)
k
(2k + 1)!
z
2k+1
, z C.
114
Exemplo 95 Encontre a expansao em serie de Taylor em torno de z
o
= 1 do ramo da funcao
f(z) =

z com

1 = 1 e z = re
i
, < < .
O maior disco aberto centrado em z
o
= 1 contido no domnio do ramo acima e D
1
=
z; [z 1[ < 1.

E facil ver que as derivadas de f sao dadas por

f
(n)
(z) =
1
2
_
1
2
1
_

_
1
2
(n 1)
_
z
1
2
n
=
1
2
_
1 2
2
_

_
1 2(n 1)
2
_
z
1
2
n
.

E claro que f
(0)
(1) = f(1) = 1 f
(1)
(1) = 1/2 e quando z = 1, n 2,
f
(n)
(1) =
1
2
n
(1)(3) ((2n 3)) =
1
2
n
(1)(2)(3) ((2n 3))(2(n 1))
(2) (2(n 1))
=
1
2
n
(2(n 1))!
(1)
n1
2
n1
(n 1)!
= (1)
n1
2
(2(n 1))!
4
n
(n 1)!
.
Como a ultima expressao e valida mesmo com n = 1, temos

z =

n=0
f
(n)
(1)
n!
(z1)
n
= 1+2

n=1
(1)
n1
(2(n 1))!
4
n
n!(n 1)!
(z1)
n
, z D
1
= z; [z1[ < 1.
19.2 Zeros de funcao analtica
Nesta secao faremos uma aplicacao da serie de Taylor para mostrar que os zeros de uma func ao
analtica nao identicamente nula sao isolados. Isto quer dizer que se z
o
e zero de uma func ao
analtica f nao identicamente nula (o mesmo que dizer que z
o
e uma raiz da equacao f(z) =
0) entao em algum disco centrado em z
o
nao existe nenhum outro zero de f. Note que esta
propriedade e satisfeita pelos polinomios que sao os exemplos mais simples de func oes analticas.
Resumiremos os resultados que temos em mente nos seguintes teoremas:
Teorema 22 Seja f : C uma funcao analtica denida em um aberto . Se z
o
e tal
que todas as derivadas de f de se anulam em z
o
entao f se anula identicamente em todo um
disco aberto centrado em z
o
.
Prova: Seja D
r
um disco centrado em z
o
contido em . Pela serie de Taylor, para todo z D
r
temos
f(z) =

n=0
f
(n)
(z
o
)
n!
(z z
o
)
n
.
Mas como f
(n)
(z
o
) = 0 para todo n, segue da formula acima que f(z) = 0 para todo z D
r
.
Observacao 41 Se e conexo e f satisfaz as hipoteses do teorema acima, pode-se mostrar
que f e identicamente nula.
115
Corolario 9 Se z
o
e um zero isolado de uma funcao analtica f : C entao pelo menos
uma das derivadas de f se anula em z
o
.
Observacao 42 Considere a funcao de uma variavel real a valores reais dada por f(x) = e

1
x
2
se x ,= 0 e f(0) = 0. Pode-se vericar que todas as derivadas de f existem e em x = 0 elas se
anulam. No entanto, f nao e identicamente nula.
Teorema 23 Seja f : C uma funcao analtica denida em um aberto . Se z
o
e tal
f(z
o
) = 0 e nem todas as derivadas de f de se anulam em z
o
entao z
o
e um zero isolado de f,
isto e, em algum disco centrado em z
o
nao existe nenhum outro zero de f.
Prova: Seja m o menor n umero inteiro nao negativo tal que f
(m)
(z
o
) = 0 mas f
(m+1)
(z
o
) ,= 0.
Seja r > 0 tal que o disco D
r
= z; [z z
o
[ < r . Tomando a serie de Taylor de f em torno
de z
o
vemos que
f(z) =

n=0
f
(n)
(z
o
)
n!
(z z
o
)
n
=

n=m+1
f
(n)
(z
o
)
n!
(z z
o
)
n
= (z z
o
)
m+1

n=0
f
(n+m+1)
(z
o
)
(n + m + 1)!
(z z
o
)
n
= (z z
o
)
m+1
g(z)
onde g(z) =

n=0
f
(n+m+1)
(z
o
)
(n+m+1)!
(z z
o
)
n
, e claramente analtica em D
r
. Note que como
g(z
o
) =
f
(m+1)
(z
o
)
(m + 1)!
,= 0,
existe 0 < < r tal que [g(z)[ [g(z
o
)[/2 para todo z D

= z; [z z
o
[ < .
Desta forma, vemos que para z D

temos
[f(z)[ [z z
o
[
m+1
[g(z
o
)[
2
.
Assim, se z D

e z ,= z
o
entao [f(z)[ > 0, isto e, f(z) ,= 0. Isto mostra que z
o
e um zero
isolado de f.
Corolario 10 Seja f : C uma funcao analtica denida em um aberto . Se z
o
e um
zero isolado de f entao existe um inteiro positivo n e uma funcao analtica g denida em um
disco aberto D centrado em z
o
satisfazendo
f(z) = (z z
o
)
n
g(z), g(z
o
) ,= 0, para todo z D.
Prova: Se g e m sao como na prova do teorema anterior, basta tomar n = m + 1.
116
Denicao 33 Sejam f : C uma funcao analtica denida em um aberto e z
o
um zero
isolado de f. O n umero n do corolario acima e chamado de ordem do zero z
o
.
Exemplo 96 A funcao f(z) = 1 [z[
2
= 1 x
2
y
2
nao e analtica pois os seus zeros nao
sao isolados. Note que os zeros de f representam o crculo centrado na origem de raio 1.
Exemplo 97 z
o
= 0 e um zero de ordem dois da funcao f(z) = 1 cos z. Basta ver que
f(0) = 1 cos 0 = 0, f

(0) = sen 0 = 0, f

(0) = cos 0 = 1 ,= 0.
Note tambem que
1 cos z = 1

k=0
(1)
k
(2k)!
z
2k
=

k=1
(1)
k
(2k)!
z
2k
= z
2

k=1
(1)
k
(2k)!
z
2(k1)
= z
2

k=0
(1)
k+1
(2(k + 1))!
z
2k
= z
2
g(z),
onde g(z) =

k=0
(1)
k+1
(2(k+1))!
z
2k
e analtica e g(0) =
1
2
.
117
118
Captulo 20
Series de Laurent
Neste captulo vamos tratar de series de potencias nao necessariamente positivas, isto e, que-
remos estudar convergencia e propriedades de series dadas na forma

n=1
b
n
(z z
o
)
n
+

n=1
a
n
(z z
o
)
n
. (20.1)
O signicado da primeira parcela acima e o limite, caso exista, da seq uencia das somas parciais
n

j=1
b
j
(z z
o
)
j
=
b
1
z z
o
+ +
b
n
(z z
o
)
n
.
Fixada uma seq uencia b
n
considere

n=1
b
n
w
n
. Se r e o raio de convergencia desta serie, o
qual suporemos diferente de zero, entao se 0 < r

< r, a serie converge uniforme e absolutamente

no disco D
r
= z; [z z
o
[ r

.
Colocando w = (z z
o
)
1
, vemos que [w[ r

e equivalente a [z z
o
[
1
r

. Deste modo a
serie de potencias negativas

n=1
b
n
(z z
o
)
n
converge uniforme e absolutamente na regiao z; [z z
o
[
1
r

onde r

e qualquer n umero
positivo menor do que r.
Note ainda que se s > r ent ao [z z
o
[ 1/s e equivalente a [w[ s > r. Logo a serie

n=1
b
n
w
n
=

n=1
b
n
(z z
o
)
n
diverge.
Note que se

n=1
b
n
w
n
for inteira entao

n=1
b
n
(z z
o
)
n
converge para todo z ,= z
o
.
Resumindo, uma serie de potencias negativas

n=1
b
n
(z z
o
)
n
que converge em algum
ponto, convergir a absoluta e uniformemente no complementar de discos abertos centrados em
z
o
.
Se o raio de convergencia da serie

n=1
b
n
w
n
for r < entao a serie de potencias negativas

n=1
b
n
(z z
o
)
n
diverge quando [z z
o
[ < r.
Se r = entao a convergencia de

n=1
b
n
(z z
o
)
n
se da para todo z ,= z
o
.
119
Ao considerarmos uma serie como em 20.1 precisamos assegurar a convergencia de ambas
parcelas. A menos do caso trivial (convergir somente em z
o
) a serie

n=
a
n
(z z
o
)
n
converge
em um disco D
R
= z; [z z
1
[ < R (pode acontecer de R = e, neste caso, D
R
= C).
Quanto `a serie de potencias negativas, o seu domnio de convergencia e vazio (caso em que
nao converge em nenhum ponto) ou da forma C
r
= z; [z z
o
[ > r onde r 0.
Desta forma, para que 20.1 que bem denida num aberto, precisamos ter r < R. Neste
caso, o domnio de 20.1 e dado pelo anel
A
r,R
= z; r < [z z
o
[ < R.

E claro que pode acontecer de 20.1 convergir em pontos dos crculos de raio r ou R.
Deve estar claro que em A
r,R
a serie 20.1 dene uma func ao analtica. No entanto, como
A
r,R
nao e simplesmente conexo, a integral desta serie nao precisa se anular em todas as curvas
fechadas contidas em A
r,R
. Agora, se um contorno cujo traco esteja em A
r,R
for tal que seu
interior tambem esteja contido em A
r,R
ent ao, necessariamente, a integral da serie sobre esta
curva se anular a.
Vale observar que continuam validos teoremas analogos aos de integracao e derivac ao termo
a termo para a serie 20.1. O unico cuidado a ser tomado na integrac ao termo a termo e que o
traco da curva sobre a qual a integracao ocorre deve estar contido em A
r,R
.
O proximo teorema diz que toda funcao analtica denida em um anel A
r,R
possui repre-
sentac ao em serie de potencias como em 20.1. Tal expansao e chamada de serie de Laurent da
funcao.
Teorema 24 (Serie de Laurent) Seja f analtica em A
r,R
= z, r < [z z
o
[ < R. Entao,
para todo z A
r,R
f(z) =

n=1
a
n
(z z
o
)
n
+

n=0
a
n
(z z
o
)
n
.
=

n=
a
n
(z z
o
)
n
onde
a
n
=
1
2i
_

f()
( z
o
)
n+1
d, n Z
e
(t) = z
o
+ s
o
e
it
, 0 t 2, r < s
o
< R.
Prova: Dado z A
r,R
tome s e S tais que r < s < S < R. Considere o contorno abaixo que
consiste nos arcos C
s
, C
S
dos segmentos l
1
e l
2
, percorrido no sentido anti-hor ario e contendo
z em seu interior.
Os arcos sao dados por
C
S
(t) = z
o
+Se
it
,
0
t
0
+ 2
C
s
(t) = z
o
+ se
it
,
0
t
0
+ 2
Colocando
A = C(
0
), A

= C(
0
+ 2 )
120
B = C(
0
), B

= C(
0
+ 2 ))
os segmentos l
1
e l
2
sao dados por
l
1
(t) = A

+ t(B A

), 0 t 1
l
2
(t) = B

+ t(A B

), 0 t 1.
z
o

z
-

C
S
C
s

2
z
A

B
A B

1
Como o interior do contorno esta contido em A
r,R
, segue da formula de Cauchy que
f(z) =
1
2i
_

f()
z
d =
1
2i
_
C
S
f()
z
d +
1
2i
_
C
s
f()
z
d
+
1
2i
_

1
f()
z
d +
1
2i
_

2
f()
z
d.
Como a expressao acima e valida para todo > 0, tomando o limite quando tende a zero
e usando o fato que a func ao g() = f()/( z) e contnua sobre cada um dos caminhos C
S
,
C
s
,
1
e
2
, obtemos
f(z) ==
1
2i
_

S
f()
z
d
1
2i
_

s
f()
z
d,

S
(t) = z
o
+Se
it
,
s
(t) = z
o
+se
it
, 0 t 2. Observe que B

B e B

B quando 0.
Agora, a integral
1
2i
_

S
f()
z
d
121
e desenvolvida como na prova do teorema de Taylor (veja 19.6), resultando em
1
2i
_

S
f()
z
d =
1
2i

n=0
(z z
o
)
n
_

f()
( z
o
)
n+1
d.
Colocando
a
n
=
1
2i
_

f()
( z
o
)
n+1
d, (20.2)
obtemos
1
2i
_

S
f()
z
d =

n=0
a
n
(z z
o
)
n
.
Analisemos agora a integral
1
2i
_

s
f()
z
d.
Temos
1
z
=
1
z
o
(z z
o
)
=
1
z z
o

1
1
z
o
zz
o
.
Como para

s
, tambem e valido

z
o
z z
o

=
s
[z z
o
[
< 1,
podemos lancar mao da serie geometrica e obter
1
z
=
1
z z
o

n=0
_
z
o
z z
o
_
n
=

n=0
( z
o
)
n
(z z
o
)
n+1
.
Logo,
1
2i
_

s
f()
z
d =
1
2i
_

n=0
( z
o
)
n
(z z
o
)
n+1
f()d
=
1
2i
N

n=0
1
(z z
o
)
n+1
_

s
f()( z
o
)
n
d
1
2i
_

n=N+1
( z
o
)
n
(z z
o
)
n+1
f()d. (20.3)
Tome M > 0 tal que [f()[ M para todo

s
.
Usando a majorac ao como na proposicao 25, segue que

1
2i
_

n=N+1
( z
o
)
n
(z z
o
)
n+1
f()d

M
2

n=N+1
[ z
o
[
n
[z z
o
[
n+1
(
s
)
= M

n=N+1
s
n+1
[z z
o
[
n+1
= M

n=N+1
_
s
[z z
o
[
_
n+1
122
que tende a zero quando N tende a innito pois s < [z z
o
[.
Assim, passando ao limite a expressao 20.3 chegamos a

1
2i
_

s
f()
z
d =
1
2i

n=0
1
(z z
o
)
n+1
_

s
f()( z
o
)
n
d
=
1
2i

n=1
1
(z z
o
)
n
_

s
f()( z
o
)
n1
d =
1
2i

n=1
1
(z z
o
)
n
_

s
f()
( z
o
)
n+1
d.
Colocando
a
n
=
1
2i
_

s
f()
( z
o
)
n+1
d (20.4)
vemos que

1
2i
_

s
f()
z
d =

n=1
a
n
(z z
o
)
n
=

n=1
a
n
(z z
o
)
n
, n 1.
Como as integrais que aparecem nas denic oes de a
n
e a
n
(veja 20.2 e 20.4) continuam as
mesmas quando substitumos
S
e
s
pos
s
o
dada por
s
o
(t) = z
o
+ s
o
e
it
, 0 t 2, onde
s
o
(s, R), chegamos ao resultado procurado.
Observacao 43 O crculo centrado em z
o
e de raio s
o
que aparece no enunciado do teorema
anterior pode ser substitudo por qualquer outro contorno contido em A
r,R
que contenha z
o
no
seu interior.
Temos tambem o seguinte
Corolario 11 Se f e como no teorema anterior (veja 24) e e um contorno em A
r,R
contendo
z
o
no seu interior, entao
_

f(z)dz = 2ia
1
,
onde a
1
e o coeciente do termo (z z
o
)
1
da serie de Laurent de f centrada em z
o
.
Observacao 44 Mais adiante veremos um resultado mais geral do corolario acima.
Observacao 45 A serie de Laurent de uma funcao f denida em A
r,R
e unica, isto e, se
f(z) =

n=1
a
n
(z z
o
)
n
+

n=0
a
n
(z z
o
)
n
=

n=1
b
n
(z z
o
)
n
+

n=0
b
n
(z z
o
)
n
, z A
r,R
entao a
n
= b
n
para todo n Z.
123
Denicao 34 Seja f como no teorema 24. O n umero a
1
, que e o coeciente do termo (z
z
o
)
1
da serie de Laurent de f centrada em z
o
e chamado de resduo de f em z
o
e e denotado
por
a
1
= Res f[
z=z
o
.
Exemplo 98 Encontre a serie de Laurent de f(z) = e
1/z
em torno de z
o
= 0 e de seu domnio
de convergencia.
Como
e
w
=

n=0
1
n!
w
n
, w C,
vemos que
e
1
z
=

n=0
1
n!
1
z
n
, z ,= 0.
Exemplo 99 Seja f a funcao denida em = C 1, 2 por f(z) =
1
(z1)(z2)
. Note que f e
analtica em . Encontre
1. A serie de MacLaurin de f e o seu raio de convergencia.
2. A serie de Laurent de f em A
1,2
= z; 1 < [z[ < 2.
3. A serie de Laurent de f em A
2,
= z; 2 < [z[.
Temos
f(z) =
1
z 2

1
z 1
.
1. Usando a serie geometrica vemos que

1
z 1
=
1
1 z
=

n=0
z
n
, [z[ < 1.
Temos tambem
1
z 2
=
1
2

1
1
z
2
=
1
2

n=0
_
z
2
_
n
=

n=0
z
n
2
n+1
, [z/2[ < 1, isto e, [z[ < 2.
Como a interseccao do domnio de validade das duas series acima e o disco [z[ < 1, temos
f(z) =

n=0
_
1
1
2
n+1
_
z
n
, [z[ < 1.
Como
lim
n

1
1
2
n+1
1
1
2
n+2

= lim
n
1
1
2
n+1
1
1
2
n+2
= 1,
o raio de convergencia da serie e um.
124
2. Se 1 < [z[ < 2 entao [1/z[ < 1 e, pela serie geometrica,

1
z 1
=
1
z

1
1
1
z
=
1
z

n=0
_
1
z
_
n
=

n=0
1
z
n+1
, [z[ > 1.
Como [z[ < 2 ent ao [z/2[ < 1 e, pela serie geometrica,
1
z 2
=
1
2

1
1
z
2
=
1
2

n=0
_
z
2
_
n
=

n=0
z
n
2
n+1
, [z[ < 2.
Assim, se z A
1,2
f(z) =

n=0
1
z
n+1

n=0
z
n
2
n+1
=

n=0
_
1
z
n+1
+
z
n
2
n+1
_
.
3. Se [z[ > 2 ent ao [2/z[ < 1 e tambem [1/z[ < 1. Temos

1
z 1
=
1
z

1
1
1
z
=
1
z

n=0
_
1
z
_
n
=

n=0
1
z
n+1
e
1
z 2
=
1
z

1
1
2
z
=
1
z

n=0
_
2
z
_
n
=

n=0
2
n
z
n+1
.
Logo,
f(z) =

n=0
2
n
z
n+1

n=0
1
z
n+1
=

n=0
2
n
1
z
n+1
, [z[ > 2.

Exemplo 100 Encontre a serie de Laurent de

f(z) = z
3
sen
1
z
em torno da origem.
Como
sen w =

n=0
(1)
n
(2n + 1)!
w
2n+1
, w C,
temos
sen
1
z
=

n=0
(1)
n
(2n + 1)!
z
2n1
, z ,= 0
e da,
z
3
sen
1
z
=

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

k=1
(1)
k+1
(2k + 3)!
z
2k
= z
2

1
6
+

k=1
(1)
k+1
(2k + 3)!
z
2k
. (20.5)
125
Exemplo 101 Calcule
_

z
3
sen
1
z
dz, (t) = e
it
, 0 t 2.
Segue do corolario 11 que
_

z
3
sen
1
z
dz = 2ia
1
onde a
1
e o resduo de f em z
o
= 0.
Mas, de 20.5 temos a
1
= 0. Assim,
_

z
3
sen
1
z
dz = 0.
Exemplo 102 Calcule
_

sen
1
z
dz, (t) = e
it
, 0 t 2.
Usando o teorema 24, temos
_

sen
1
z
dz =
_

z
3
sen
1
z
z
3
dz =
_

z
3
sen
1
z
z
2+1
dz = a
2
2i,
mas por 20.5, a
2
= 1. Logo,
_

sen
1
z
dz = 2i.
126
Captulo 21
Singularidades
Denicao 35 Um ponto z
o
C e um ponto singular isolado (ou uma singularidade isolada)
de uma funcao f se f nao for analtica em z
o
e existir r > 0 tal que f e analtica em A
0,r
=
z; 0 < [z z
o
[ < r.
Exemplo 103 A origem e ponto singular isolado das seguintes funcoes:
f
1
(z) =
sen z
z
, f
2
(z) =
1
z
n
, n N e de f
3
(z) = e
1
z
.
Denicao 36 Se uma funcao nao for analtica em z
o
e, alem disso, para todo r > 0 existir um
ponto em A
0,r
onde f tambem nao e analtica, diremos que z
o
e uma singularidade nao isolada
(ou ponto singular nao isolado) de f.
Exemplo 104 A origem e uma singularidade nao isolada da funcao f(z) = 1/ sen(1/z). Basta
ver que para cada r > 0, tomando n N tal que 1/n < r, f nao e analtica em z = 1/n.
Denicao 37 Um ponto singular isolado z
o
de uma funcao f e classicado como
1. Removvel quando existe um n umero complexo c tal que a funcao
g(z) =
_
f(z) se z ,= z
o
c se z = z
o
e analtica em um disco centrado em z
o
. Em outras palavras, existe uma funcao analtica
numa vizinhanca de z
o
que coincide com f nesta vizinhanca a menos do ponto z
o
.
2. Polo quando existirem um inteiro positivo m e um n umero complexo c ,= 0 tal que a
funcao
g(z) =
_
(z z
o
)
m
f(z) se z ,= z
o
c se z = z
o
e analtica em um disco centrado em z
o
. Em outras palavras, existe uma funcao analtica
numa vizinhanca de z
o
que coincide com a funcao z (z z
o
)
m
f(z) nesta vizinhanca a
menos do ponto z
o
e esta funcao e diferente de zero em z
o
.
127
3. Essencial quando nao for removvel nem polo.
Observacao 46 Seja z
o
um polo de f. Suponha que m
1
, m
2
N e c
1
, c
2
C, c
1
,= 0 e c
2
,= 0
sejam tais que
g
1
(z) =
_
(z z
o
)
m
1
f(z) se z ,= z
o
c
1
se z = z
o
e g
2
(z) =
_
(z z
o
)
m
2
f(z) se z ,= z
o
c
2
se z = z
o
sejam analticas em um disco centrado em z
o
.
Entao, como c
1
e c
2
sao diferentes de zero, temos
lim
zz
o
(z z
o
)
m
1
m
2
= lim
zz
o
(z z
o
)
m
1
(z z
o
)
m
2
= lim
zz
o
(z z
o
)
m
1
f(z)
(z z
o
)
m
2
f(z)
= lim
zz
o
g
1
(z)
g
2
(z)
=
c
1
c
2
,= 0.
Mas isto so e possvel quando m
1
= m
2
e, conseq uentemente, c
1
= c
2
.
Denicao 38 Diremos que a ordem de um polo de uma funcao f e o ( unico) inteiro que
aparece na denicao 2.
Observacao 47 Se z
o
e uma singularidade removvel de f entao existe o limite lim
zz
o
f(z).
Observacao 48 Se z
o
e um polo de ordem m de f entao o limite lim
zz
o
(z z
o
)
m
f(z) existe
e e diferente de zero.
Exemplo 105 A origem e uma singularidade removvel de f
1
(z) = sen z/z pois a funcao
g(z) =

n=0
(1)
n
(2n+1)!
z
2n
e inteira (para vericar isto, use a proposicao 37) e satisfaz
g(z) =
1
z

n=0
(1)
n
(2n + 1)!
z
2n+1
=
sen z
z
, z ,= 0.
Exemplo 106 A origem e um polo de ordem m da funcao f(z) = 1/z
m
. Basta tomarmos
g(z) = 1 na denicao de polo.
Exemplo 107 A origem e uma singularidade essencial de f(z) = e
1/z
. Basta notar que para
todo inteiro m 0, o limite de f quando z tende a zero nao existe. Basta ver que sobre o eixo
real temos
lim
x0+
x
m
e
1
x
= +.
128
21.1 Singularidades e Serie de Laurent
Um modo simples de classicar uma singularidade isolada de uma funcao e atraves de sua serie
de Laurent. De fato, se z
o
e uma singularidade isolada de uma funcao f, ent ao, para algum
r > 0, podemos escrever
f(z) =

n=1
a
n
(z z
o
)
n
+

n=0
a
n
(z z
o
)
n
, z A
0,r
.
Vejamos como identicar uma singularidade removvel. Sabemos que z
o
e uma tal singula-
ridade de f se existir uma func ao analtica denida em um disco centrado em z
o
e que coincida
com f a menos do ponto z
o
. Esta funcao g por ser analtica coincide com sua serie de Taylor
centrada em z
o
,
g(z) =

n=0
b
n
(z z)
n
= f(z) =

n=1
a
n
(z z
o
)
n
+

n=0
a
n
(z z
o
)
n
.
Agora, sabemos que a serie de Taylor e a serie de Laurent onde os coecientes das potencias
negativas sao todos nulos. Desta forma, pela unicidade da serie de Laurent, temos a
n
= 0,
n 1.
Resumindo, z
o
e uma singularidade removvel de f se e somente se todos os coecientes das
potencias negativas da sua serie de Laurent se anulam, ou seja, a serie de Laurent de f e uma
serie de Taylor.
Passemos agora aos polos. Note que z
o
e um polo de ordem m de f se e somente se o mesmo
z
o
for uma singularidade removvel de h(z) = (z z
o
)
m
f(z) e lim
zz
o
h(z) = c ,= 0. Pelo que
acabamos de aprender sobre singularidades removveis, isto equivale `a serie de Laurent de h
centrada em z
o
ser uma serie de Taylor, isto e,
h(z) = (z z
o
)
m
f(z) =

n=0
b
n
(z z
o
)
n
, e b
0
= lim
zz
o
h(z) ,= 0
em algum A
0,r
.
Dividindo por (z z
o
)
m
, obtemos
f(z) =

n=0
b
n
(z z
o
)
nm
=
b
0
(z z
o
)
m
+ +
b
m1
z z
o
+

j=0
b
m+j
(z z
o
)
j
com b
0
,= 0.
Assim, para que z
o
seja um polo de ordem m de f e necessario e suciente que os coecientes
a
n
das potencias negativas (z z
o
)
n
da serie de Laurent de f em torno de z
o
se anulem para
n m + 1 e a
m
,= 0.
Finalmente, para que z
o
seja uma singularidade essencial de f e necessario e suciente que
na serie de Laurent de f em torno de z
o
haja uma innidade de coecientes a
n
nao nulos das
potencias negativas (z z
o
)
n
.
129
Exemplo 108 A funcao
f(z) =
1
z
3

1
z
+

n=0
z
n
, 0 < [z[ < 1
apresenta na origem um polo de ordem tres.
Exemplo 109 A funcao

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

n=1
1
n
2
z
n
= +
1
4!
1
z
4
+
1
2!
1
z
2
+ z +
1
2
2
z
2
+
apresenta uma singularidade essencial na origem.
Exerccio 17 Uma singularidade isolada z
o
de f e removvel se e somente se existe o limite
de f(z) quando z tende a z
o
.
130
Captulo 22
O Teorema do Resduo e Aplicacoes
Teorema 25 (Teorema do Resduo) Seja f uma funcao analtica denida em um aberto .
Se e um contorno contido em tal que no seu interior a funcao f tenha somente singulari-
dades isoladas e apenas um n umero nito delas, denotadas por z
1
, . . . , z
n
, entao
_

f(z) dz = 2i
_
Res f[
z=z
1
+ + Res f[
z=z
n

(22.1)
com o contorno sendo percorrido no sentido anti-horario.
Prova: Tome crculos
j
(t) = z
j
+r
j
e
it
, 0 t 2, satisfazendo
i) cada
j
esta contido no interior de ;
ii) se j
1
,= j
2
ent ao
j
1
esta contido no exterior de
j
2
.
.
`
z
1
z
2
z
n

n
Ent ao, por 15.3 temos
_

f(z) dz =
_

1
f(z) dz + +
_

n
f(z) dz.
131
Aplicando o corolario 11 a cada uma das integrais do lado direito da igualdade acima, obtemos
_

f(z) dz = 2i
_
Res f[
z=z
1
+ + Res f[
z=z
n

.
Antes de aplicarmos o teorema acima no calculo de integrais, vejamos como podemos pro-
ceder para o calculo do resduo de uma funcao f em um polo z
o
.
Se z
o
e um polo simples, isto e, de ordem um entao a serie de Laurent de f em torno deste
ponto e da seguinte forma
f(z) =
a
1
z z
o
+

n=0
a
n
(z z
o
)
n
. (22.2)
Multiplicando a expressao acima por zz
o
e tomando o limite quando z tende a z
o
, obtemos
lim
zz
o
(z z
o
)f(z) = lim
zz
o
_
a
1
+

n=0
a
n
(z z
o
)
n+1
_
= a
1
= Res f[
z=z
o
.
Exemplo 110 Encontre o resduo de f(z) = cos z/z na origem. Como cos z = zf(z), e
analtica e cos 0 = 1 ,= 0, vemos que 0 e um polo simples de f. Assim,
Res f[
z=0
= lim
z0
zf(z) = lim
z0
cos z = 1.
Se z
o
e um polo de ordem m ent ao
f(z) =
a
m
(z z
o
)
m
+ +
a
1
z z
o
+

j=0
a
j
(z z
o
)
j
, em A
0,r
,
com a
m
,= 0. Desta maneira, existe uma func ao analtica g denida em um disco centrado em
z
o
satisfazendo g(z
o
) ,= 0 e e
g(z) = (z z
o
)
m
f(z) =

n=0
a
m+n
(z z)
n
= a
m
+ a
m+1
(z z
o
) + + a
1
(z z
o
)
m1
+ . (22.3)
Note que g(z
o
) = a
m
.
Derivando 22.3,
g

(z) = a
m+1
+ 2a
m+2
(z z
o
) + + (m1)a
1
(z z
o
)
m2
+
e calculando em z = z
o
, obtemos g

(z
o
) = a
m+1
.
Derivando mais uma vez,
g

(z) = 2a
m+2
+ + (m1)(m2)a
1
(z z
o
)
m3
+
132
e calculando em z = z
o
, obtemos g

(z
o
) = 2a
m+2
.
Prosseguindo, obteremos
g
m1
(z
o
) = (m1)!a
1
,
isto e, o resduo de f em z
o
, um polo de ordem m, e dado por
a
1
=
1
(m1)!
g
m1
(z
o
) =
1
(m1)!
d
m1
dz
m1
[(z z
o
)
m
f(z)]

z=z
o
.
Exemplo 111 A funcao f(z) = cos z/z
2
tem um polo de ordem dois na origem, pois z
2
f(z) =
cos z, que e inteira e cos 0 = 1 ,= 0.
O resduo de f na origem e dado por
d
dz
_
z
2
f(z)

z=0
=
d
dz
[cos z]

z=0
= sen 0 = 0.
A proxima proposicao apresenta um modo de reconhecermos a ordem de um polo.
Proposicao 38 Sejam f e g analticas em um disco centrado em z
o
. Se f(z
o
) ,= 0 e g tem um
zero de ordem m em z
o
entao h = f/g tem um polo de ordem m em z
o
.
Prova: Como z
o
e um zero isolado de g, temos que z
o
e uma singularidade isolada de h.
Tambem podemos escrever
g(z) = (z z
o
)
m
(z),
com analtica em um disco centrado em z
o
e satisfazendo (z
o
) ,= 0. Desta forma,
h(z) =
f(z)
g(z)
=
f(z)
(z z
o
)
m
(z)
=
1
(z z
o
)
m
f(z)
(z)
.
E, assim, (zz
o
)
m
h(z) que e igual a
f(z)
(z)
, coincide com uma funcao analtica num disco centrado
e em z
o
e
f(z
o
)
(z
o
)
,= 0. Ou seja, z
o
e um polo de ordem m de h.
Mais geralmente, temos
Proposicao 39 Sejam f e g analticas em um disco centrado em z
o
. Se z
o
e um zero de ordem
n de f e um zero de ordem m de g entao a funcao h = f/g
1. tem um zero de ordem n m em z
o
se n > m;
2. tem uma singularidade removvel em z
o
se n = m;
3. tem um polo de ordem mm em z
o
se m > n.
133
Prova: Por hipotese, podemos escrever f(z) = (z z
o
)
n
(z) g(z) = (z z
o
)
m
(z) com e
analticas num disco centrado em z
o
e tais que (z
o
) ,= 0 e (z
o
) ,= 0.
Segue da que, colocando = /,
h(z) =
(z z
o
)
n
(z z
o
)
m
(z)
(z)
= (z z
o
)
nm
(z) =
1
(z z
o
)
mn
(z)
e os resultados seguem, analisando-se o sinal de nm, pois e analtica em um disco centrado
em z
o
e (z
o
) ,= 0.
Observacao 49 Temos um outro modo de calcularmos o resduo no caso de um polo simples.
Poderamos tambem ter utilizado a denicao de polo de ordem um, ou mesmo a expressao
22.2, para obter uma funcao analtica g tal que g(z
o
) ,= 0 com g(z) = (z z
o
)f(z). Como
g(z
o
) = a
1
,= 0 podemos escrever
1
f(z)
=
z z
o
g(z)
.
Derivando esta expressao, obtemos
_
1
f(z)
_

=
g(z) (z z
o
)g

(z)
[g(z)]
2
que calculada em z
o
fornece
lim
zz
o
_
1
f(z)
_

=
1
g(z
o
)
=
1
a
1
,
ou seja,
Res f[
z=z
o
= a
1
= lim
zz
o
__
1
f(z)
_

_
1
.
Exemplo 112 Calcule o resduo de f(z) = cot z na origem.
Como cot z = cos z/ sen z, cos 0 = 1 e 0 e um zero simples da funcao seno, vemos que 0 e
um polo simples de f.
Temos
__
1
f(z)
_

_
1
=
_
(tg z)

1
=
_
sec
2
z

1
.
Logo, Res f[
z=0
= 1.
Exemplo 113 Calcule
_

z
(z + 1)
2
(z
2
+ 1)
dz
onde (t) = 2e
it
, 0 t 2.
134
A func ao
f(z) =
z
(z + 1)
2
(z
2
+ 1)
possui tres polos nos pontos z = 1 (duplo, isto e, de ordem dois), z = i (simples) e z = i
(simples).
Note que como todos estes pontos estao contidos no interior de , pelo teorema do resduo,
temos
_

z
(z + 1)
2
(z
2
+ 1)
dz = 2i
_
Res f[
z=1
+ Res f[
z=i
+ Res f[
z=i

.
Calculando o resduo em z = 1 :
Res f[
z=1
=
d
dz
_
(z + 1)
2
f(z)

z=1
=
d
dz
_
z
z
2
+ 1
_

z=1
=
1 z
2
(z
2
+ 1)
2

z=1
= 0.
Calculando o resduo em z = i :
Res f[
z=i
= lim
zi
(z i)f(z) = lim
zi
z
(z + 1)
2
(z +i)
=
i
(i + 1)
2
2i
=
i
4
.
Calculando o resduo em z = i :
Res f[
z=i
= lim
zi
(z + i)f(z) = lim
zi
z
(z + 1)
2
(z i)
=
i
(i + 1)
2
(2i)
=
i
4
.
Logo,
_

z
(z + 1)
2
(z
2
+ 1)
dz = 2i
_
0
i
4
+
i
4
_
= 0.

22.1 Integrais Improprias Reais

O teorema do resduo e util no calculo de integrais improprias reais da forma
_
+

f(x) dx.
Vamos considerar o caso em que f e uma func ao racional do tipo f = p/q, onde p e q sao
polinomios com coecientes reais satisfazendo
i) q(x) ,= 0 para todo x real;
ii) se n e o grau de p e m e o grau de q ent ao n m2.
Sabemos de Calculo II que as condic oes acima garantem a existencia da integral impropria
_
+

p(x)
q(x)
dx.
135
Proposicao 40 Sejam p e q polinomios com coecientes reais satisfazendo i) e ii) acima.
Entao
_
+

p(x)
q(x)
dx = 2i[soma dos resduos de p(z)/q(z) nos polos contidos no semiplano z > 0.]
Prova: Considere o contorno
R
percorrido no sentido anti-horario dado pela justaposicao dos
caminhos
R
(t) = t, R t R e
R
(t) = Re
it
, 0 t , onde R > 0. Veja 22.1.

`
-
.
R R

R
Figura 22.1: O contorno
R
Pelo teorema do resduo,
_

R
p(z)
q(z)
dz =
_

R
p(z)
q(z)
dz +
_

R
p(z)
q(z)
dz (22.4)
= 2i[soma dos resduos de p(z)/q(z) nos polos contidos no interior de
R
.]
Note que
lim
R+
_

R
p(z)
q(z)
dz = lim
R+
_
R
R
p(t)
q(t)
dt =
_
+

p(t)
q(t)
dt,
pois sabemos que esta integral existe.
Coloque
p(z) = a
n
z
n
+ + a
0
e q(z) = b
m
z
m
+ + b
0
onde n e m sao os graus de p e q, respectivamente.
Se R > 1 z

R
, isto e, [z[ = R, entao
[p(z)[ = [a
n
z
n
+ + a
0
[ [a
n
[[z[
n
+ +[a
0
[ ([a
n
[ + +[a
0
[)[z[
n
= cR
n
.
136
Tambem temos
[q(z)[ = [b
m
z
m
[

1 +
b
m1
b
m
z
+ +
b
1
b
m
z
m1
+
b
0
b
m
z
m

[b
m
[R
m
_
1
[b
m1
[
[b
m
[R

[b
1
[
[b
m
[R
m1

[b
0
[
[b
m
[R
m
_
.
Como
lim
R
_
1
[b
m1
[
[b
m
[R

[b
1
[
[b
m
[R
m1

[b
0
[
[b
m
[R
m
_
= 1,
existe R
0
> 1 tal que R > R
0
implica em
1
[b
n1
[
[b
n
[R

[b
1
[
[b
n
[R
n1

[b
0
[
[b
n
[R
n
>
1
2
.
Logo, para R > R
0
, temos
[q(z)[
[b
m
[
2
R
m
, isto e,
1
[q(z)[
c

1
R
m
.
Desta forma, para todo R > R
0
, temos

R
p(z)
q(z)
dz

max
|z|=R

p(z)
q(z)

(
R
) cc

R
n
R
m
R = cc

R
nm+1
.
Como n m + 1 2 + 1 = 1, vemos que
lim
R+
_

R
p(z)
q(z)
dz = 0.
Por m, note que `a medida que R cresce, o contorno
R
engloba todos polos de p/q que
estao no semiplano z > 0.
O resultado segue de 22.4 tomando o limite quando R +.
Exemplo 114 Calcule
_
+

1
x
4
+ 1
dx.
Tomando p(z) = 1 e q(z) = z
4
+ 1, vemos que as hipoteses da proposic ao 40 estao satisfeitas.
Desta maneira, tudo o que precisamos saber e onde estao os polos de p/q no semiplano z > 0,
e o resduo desta funcao nestes pontos.
Os polos de p/q sao os pontos onde z
4
+ 1 = 0. Das quatro razes de z
4
= 1, isto e,
z
1
= e

4
i
, z
2
= e
3
4
i
, z
3
= e
5
4
i
e z
4
= e
7
4
i
137
as unicas que estao no semiplano z > 0 sao z
1
e z
2
.
Como z
4
+ 1 se fatora em termos lineares como (z z
1
)(z z
2
)(z z
3
)(z z
4
), vemos que
os polos de 1/(z
4
+ 1) sao simples.
Para calcularmos o resduo, usaremos o metodo da observac ao 49, isto e,
Res
1
z
4
+ 1

z=z
o
=
_
(z
4
+ 1)

z=z
o
.
Em z
1
,
Res
1
z
4
+ 1

z=z
1
=
_
4z
3

z=z
1
=
1
4z
3
1
=
1
4e
3
4
i
=

2
8
(1 + i).
Em z
2
,
Res
1
z
4
+ 1

z=z
2
=
_
4z
3

z=z
2
=
1
4z
3
2
=
1
4e
9
4
i
=
1
4e

4
i
=

2
8
(1 i).
Assim,
_
+

1
x
4
+ 1
dx = 2i
_

2
4
i
_
=

2
2
.
Exerccio 18 Se p e q satisfazem as hipoteses da proposicao 22.4 entao
_
+

p(x)
q(x)
dx =
= 2i[soma dos resduos de p(z)/q(z) nos polos contidos no semiplano z < 0.]
Mais geralmente, temos
Proposicao 41 Se f e uma funcao analtica tendo somente singularidades isoladas, mas ne-
nhuma delas sobre o eixo real e que satisfaz [f(z)[ M[z[
k
, onde k > 1, para todo z com
modulo sucientemente grande e z > 0, entao
_
+

f(x) dx =
= 2i[soma dos resduos de f(z) nas singularidades contidas no semiplano z > 0.].
Prova: A prova da proposic ao 22.4 pode ser usada com pequenas modicac oes para mostrar
o que se pede. A vericac ao deste fato e deixada como exerccio.
Exemplo 115 Calcule
_
+
0
cos x
x
2
+ 1
dx. (22.5)
138
Como o integrando e par, temos
_
+
0
cos x
x
2
+ 1
dx =
1
2
_
+

cos x
x
2
+ 1
dx
A funcao f(z) = e
iz
/(z
2
+1) satisfaz as condicoes da proposicao 41. Para ver isto, note que
as unicas singularidades de f sao os polos simples em z
1
= i e z
2
= i.
Tambem, se [z[ > 2, e z > 0 temos
1
2
[z[
2
1 > 0
_
1
1
2
_
[z[
2
1 > 0 [z[
2
1 >
1
2
[z[
2
e

e
iz
z
2
+ 1

=
e
z
[z
2
+ 1[

1
[z
2
+ 1[

1
[z[
2
1
2[z[
2
.
Logo,
_
+

e
ix
x
2
+ 1
dx = 2i Res
e
iz
z
2
+ 1

z=i
.
Mas
Res
e
iz
z
2
+ 1

z=i
= lim
zi
(z i)e
iz
z
2
+ 1
= lim
zi
e
iz
z + i
=
e
1
2i
.
Assim,
_
+

e
ix
x
2
+ 1
dx =

e
.
Mas
_
+

e
ix
x
2
+ 1
dx =
_
+

cos x
x
2
+ 1
dx + i
_
+

sen x
x
2
+ 1
dx =
_
+

cos x
x
2
+ 1
dx,
pois a funcao x
senx
x
2
+1
e mpar.
Portanto,
_
+
0
cos x
x
2
+ 1
dx =
1
2
_
+

cos x
x
2
+ 1
dx =

2e
.

22.2 Outros Tipos de Integrais

Suponha que f() = R(cos , sen ) seja uma func ao contnua em 0 2. A integral
_
2
0
R(cos , sen ) d
pode ser calculada com o auxlio do teorema dos resduos se zermos a mudanca z = e
i
. De
fato, como z
1
= e
i
, vemos que
cos =
z + z
1
2
=
z
2
+ 1
2z
e sen =
z z
1
2i
=
z
2
1
2zi
.
139
Alem do mais, ie
i
d = dz, ou seja, d =
1
iz
dz. Assim, colocando (t) = e
i
, 0 2, e
assumindo que a funcao
f(z) =
1
zi
R
_
z
2
+ 1
2z
,
z
2
1
2zi
_
esteja denida em [z[ 1, seja analtica sobre

= z; [z[ = 1 e tenha apenas um n umero

nito de singularidades no interior de e que estas singularidades sejam todas isoladas, entao
_
2
0
R(cos , sen ) d =
_

R
_
z
2
+ 1
2z
,
z
2
1
2zi
_
1
iz
dz
= 2
_
soma dos resduos de
1
z
R
_
z
2
+ 1
2z
,
z
2
1
2zi
_
em [z[ < 1
_
.
Exemplo 116 Calcule
_
2
0
1
4 sen
d.
A func ao
f() =
1
4 sen
e uma func ao nos moldes acima. Note que sen ,= 4.
Fazendo z = e
i
, obtemos
sen =
z
2
1
2zi
e d =
1
iz
dz.
Assim, colocando (t) = e
i
, 0 2, obtemos
_
2
0
1
4 sen
d =
_

1
4
z
2
1
2zi
1
iz
dz =
_

2
z
2
+ 8zi + 1
dz. (22.6)
Note que
z
2
+ 8zi + 1 = 0 z = (4 +

15)i ou z = (4

15)i.
Como [(4 +

15)i[ = 4 +

15 > 1 e [(4

15)i[ = 4

15 < 1, vemos que o unico polo do

integrando de 22.6 que esta no interior do contorno e (4

15)i. O resduo neste ponto e

Res
_
2
z
2
+ 8zi + 1
_

z=(4

15)i
= 2 lim
z(4

15)i
z (4

15)i
z
2
+ 8zi + 1
= 2 lim
z(4

15)i
1
z (4 +

15)i
=
1

15i
.
Portanto,
_
2
0
1
4 sen
d =
2

15
.

Terminamos com o calculo da seguinte integral que nao se encaixa em nenhum dos exemplos
anteriores.
140
Exemplo 117 Calcule
_
+

x sen x
x
2
+ 1
dx.
Considere a funcao
f(z) =
ze
iz
z
2
+ 1
.
Considere o contorno
R
percorrido no sentido anti-hor ario dado pela justaposicao dos
caminhos
R
(t) = t, R t R e
R
(t) = Re
it
, 0 t , onde R > 0. Veja 22.1.
Como o unico polo de f no interior do contorno
R
e z = i, pelo teorema do resduo, temos
2i Res f(z)[
z=i
= 2i lim
zi
ze
iz
z + i
=

e
i =
_

R
ze
iz
z
2
+ 1
dz
=
_

R
ze
iz
z
2
+ 1
dz +
_

R
ze
iz
z
2
+ 1
dz =
_
R
R
te
it
t
2
+ 1
dt +
_

R
ze
iz
z
2
+ 1
dz
=
_
R
R
t cos t
t
2
+ 1
dt + i
_
R
R
t sen t
t
2
+ 1
dt +
_

R
ze
iz
z
2
+ 1
dz
= i
_
R
R
t sen t
t
2
+ 1
dt +
_

R
ze
iz
z
2
+ 1
dz,
pois t t cos t/(t
2
+ 1) e mpar.
Se R > 1 e z

R
, isto e, z = Re
i
= Rcos + iRsen , temos

ze
iz
z
2
+ 1

z
z
2
+ 1

e
iz

=
[z[
[z
2
+ 1[
e
(iz)
=
[z[
[z
2
+ 1[
e
Rsen

R
R
2
1
e
Rsen
.
Logo,

R
ze
iz
z
2
+ 1
dz

_

0
Re
i
e
iRe
i
R
2
e
i2
+ 1
iRe
i
d

R
2
R
2
1
_

0
e
Rsen
d =
2R
2
R
2
1
_
2
0
e
Rsen
d,
pois
_

0
e
Rsen
d =
_
2
0
e
Rsen
d +
_

2
e
Rsen
d (22.7)
e substituindo = na segunda integral acima, obtemos
_

2
e
Rsen
d =
_
0

2
e
Rsen()
d =
_
0

2
e
Rsen
d =
_
2
0
e
Rsen
d.
Substituindo a ultima integral em 22.7, chegamos a
_

0
e
Rsen
d = 2
_
2
0
e
Rsen
d.
141
Mas, se 0 /2 temos sen 2/. Para ver isto, considere a funcao
() = sen 2/, 0 /2.
Como (0) = 0 = (/2) e

() = sen < 0 em 0 < < /2,

vemos que e uma func ao cuja concavidade e voltada para baixo no intervalo [0, /2] e se
anula nos extremos deste intervalo. Portanto, () 0 em [0, /2], como queramos vericar.
Voltando `a nossa integral, temos

R
ze
iz
z
2
+ 1
dz

2R
2
R
2
1
_
2
0
e
Rsen
d
2R
2
R
2
1
_
2
0
e
R
2

d =
1

R
R
2
1
(1 e
R
)
que tende a zero quando R tende a +.
Portanto,
_
+

t sen t
t
2
+ 1
dt = lim
R+
_
R
R
t sen t
t
2
+ 1
dt =

e
.
142

Indice Remissivo
caminho, 65
comprimento de, 72
conjunto
aberto, 25
conexo, 52
fechado, 25
fronteira, 25
continuidade, 40
contorno, 65
curva, 63
comprimento de, 72
interior, 66
justaposic ao de, 65
regular, 64
simples, 63
suave, 64
derivada, 41
distancia, 13
equacoes de Cauchy-Riemann, 44
forma polar, 47
formula de Cauchy, 85
para derivadas, 87
formula de De Moivre, 19
funcao
analtica, 51
contnua, 40
cosseno, 32
cosseno hiperbolico, 35
derivada, 41
exponcencial, 30
harmonica, 93
holomorfa, 51
inteira, 51
limite, 37
polinomial, 29
seno, 32
seno hiperbolico, 35
integral, 67
de linha, 69
limite, 37
logaritmo, 59
n umero complexo, 9
argumento, 17
conjugado, 13
forma polar, 17
modulo, 13
parte imaginaria, 11
parte real, 11
razes, 22
polo, 127
ordem de, 128
simples, 132
poligonal, 52
ponto interior, 25
ponto singular
essencial, 128
isolado, 127
nao isolado, 127
removvel, 127
potenciacao, 61
primitiva, 79
ramo
da potencia, 61
da raiz nesima, 58
do logaritmo, 60
143
principal da potencia, 61
principal da raiz nesima, 58
principal do logaritmo, 60
resduo, 124
serie, 98
convergente, 98
de Laurent, 120
de MacLaurin, 114
de potencias, 101
de potencias, centro de, 101
de potencias, derivacao de, 109
de potencias, integra cao de, 107
de potencias, raio de convergencia, 104
de Taylor, 112
seq uencia, 97
convergente, 97
singularidade
essencial, 128
isolada, 127
nao isolada, 127
removvel, 127
teorema
de Cauchy-Goursat, 75
de derivacao termo a termo, 109
de Green, 75
de integra cao termo a termo, 107
de Liouville, 91
de Morera, 90
do resduo, 131
fundamental da algebra, 91
zero isolado, 115
144
Referencias Bibliogracas
[C] CHURCHILL, R. V. Vari aveis Complexas e Aplicac oes, Editora McGraw-Hill, 1975, Sao
Paulo.
145