Anda di halaman 1dari 150

Universidade Federal Campina Grande - UFCG

Centro de Cincias e Tecnologia - CCT


Unidade Acadmica de Matemtica e Estatstica - UAME

Variveis Complexas

Prof.: Diogo de Santana Germano


Sumrio

1 Nmeros Complexos 5
1.1 Somas e produtos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Propriedades algbricas bsicas . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Mdulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4 Conjugado Complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5 Forma exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.6 Produtos e quocientes na forma exponencial . . . . . . . . . . . . . . . . . . 15
1.7 Razes de nmeros complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.8 Regies no plano complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

2 Funes Analticas 23
2.1 Funes de uma varivel complexa . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Transformaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.3 Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.4 Limites envolvendo infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.5 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.6 Derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.7 Frmulas de diferenciao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.8 Equaes de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.9 Coordenadas polares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.10 Funes analticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.11 Funes harmnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49

3 Funes Elementares 52
3.1 A funo exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.2 A funo logartmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.3 Ramos e derivadas de logaritmos . . . . . . . . . . . . . . . . . . . . . . . . 55
3.4 Algumas identidades envolvendo logartmos . . . . . . . . . . . . . . . . . . 55
3.5 Expoentes complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

2
3.6 Funes trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.7 Funes hiperblicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.8 Funes trigonomtrica e hiperblica inversas . . . . . . . . . . . . . . . . . 55

4 Integrais 56
4.1 Derivadas de funes w(t) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.2 Integrais definidas de funes w(t) . . . . . . . . . . . . . . . . . . . . . . . . 57
4.3 Caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.4 Integrais Curvilneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.5 Limitao superior para o mdulo de integrais . . . . . . . . . . . . . . . . . 66
4.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.7 Antiderivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.8 O Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . . . . . 74
4.9 Domnios simplesmente e multiplamente conexos . . . . . . . . . . . . . . . 75
4.10 Frmula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
4.11 Derivadas de funes analticas . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.12 Aplicaes da Frmula Integral de Cauchy . . . . . . . . . . . . . . . . . . . 80
4.13 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82

5 Sries 86
5.1 Convergncia de seqncias . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
5.2 Convergncia de sries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.3 Convergncia absoluta e condicional . . . . . . . . . . . . . . . . . . . . . . 88
5.4 Sries de potncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
5.5 Sries de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
5.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
5.7 Sries de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
5.8 Convergncia absoluta e uniforme . . . . . . . . . . . . . . . . . . . . . . . . 99
5.9 Continuidade da soma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
5.10 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
5.11 Integrao e diferenciao de sries . . . . . . . . . . . . . . . . . . . . . . . 102
5.12 Unicidade da representao de sries . . . . . . . . . . . . . . . . . . . . . . 105
5.13 Multiplicao e diviso de sries . . . . . . . . . . . . . . . . . . . . . . . . . 106
5.14 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109

3
6 Resduos e Polos 111
6.1 Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
6.2 Teorema dos Resduos de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 114
6.3 Tipos de pontos singulares isolados . . . . . . . . . . . . . . . . . . . . . . . 116
6.4 Resduos em polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
6.5 Zeros de funes analticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
6.6 Zeros e Polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
6.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
6.8 Aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
6.8.1 Integrais reais imprprias . . . . . . . . . . . . . . . . . . . . . . . . 128
6.8.2 Integrais imprprias envolvendo funes trigonomtricas . . . . . . 132
6.8.3 Integrais definidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
6.8.4 A Transformada de Laplace . . . . . . . . . . . . . . . . . . . . . . . . 135

7 Transformaes Elementares 138


7.1 Transformaes Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
7.2 A transformao w = 1/z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
7.3 Transformao linear fracionria . . . . . . . . . . . . . . . . . . . . . . . . . 142

8 Transformaes Conformes 145


8.1 Transformao conforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
8.2 Potencial Complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
8.3 Problemas de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
Captulo 1

Nmeros Complexos

1.1 Somas e produtos


Definio 1.1 (Nmero complexo como par ordenado) Um nmero complexo um par
ordenado (x, y), com x, y R, que identificado com um ponto no plano que aqui ser
chamado de plano complexo.

Quando os nmeros reais x so representados pelo pelo par (x, 0) no eixo real, torna-se
evidente que o conjunto dos nmeros complexos, denotado por C, incluem os nmeros reais
como subconjunto. Nmeros complexos da forma (0, y) correspondem a pontos no eixo y e
so chamados nmeros imaginrios puros. O eixo y chamado eixo imaginrio.
Utilizaremos a seguinte notao para nmeros complexos:
z = (x, y), x, y R. (1.1)

Os nmeros x e y so conhecidos como parte real e imaginria de z, respectivamente;


escrevemos
Re z = x, Im z = y. (1.2)

Definio 1.2 (Igualdade) Dois nmeros complexos z1 = (x1 , x2 ) e z2 = (x2 , y2 ) so iguais


quando x1 = x2 e y1 = y2 , ou seja, as partes reais e imaginrias coincidem.

Assim, z1 e z2 representam o mesmo ponto no plano complexo, ou z-plano.

Definio 1.3 (Soma e Produto) A soma z1 +z2 e o produto z1 z2 so definidos da seguinte


forma:
z1 + z2 = (x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 ); (1.3)
z1 z2 = (x1 , y1 )(x2 , y2 ) = (x1 x2 y1 y2 , y1 x2 + x1 y2 ). (1.4)

As operaes (1.3) e (1.4) so as operaes usuais de adio e multiplicao quando nos


restringimos aos nmeros reias:
(x1 , 0) + (x2 , 0) = (x1 + x2 , 0)
(x1 , 0)(x2 , 0) = (x1 x2 , 0).

5
Qualquer z = (x, y) pode ser escrito como z = (x, 0) + y
(0, y) e, fcil ver, que (0, 1)(y, 0) = (0, y). Ento
z = (x,y)
z = (x, 0) + (0, 1)(y, 0)
i = (0,1)
e, se escrevemos (x, 0) como x e denotamos (0, 1) por i (veja
Figura 1), temos a seguinte definio: x
O x = (x,0)
Definio 1.4 (Nmero complexo com a unidade imaginria) Figura 1.
Um nmero complexo qualquer nmero da forma

z = x + iy. (1.5)

onde x, y R e i a unidade imaginria.

Com a convenso z 2 = zz, z 3 = zz 2 , etc., encontramos

i2 = (0, 1)(0, 1) = (1, 0)

ou
i2 = 1. (1.6)

Por (1.5), definimos (1.3) e (1.4) por

(x1 + iy1 ) + (x2 + iy2 ) = (x1 + x2 ) + i(y1 + y2 ) (1.7)

(x1 + iy1 )(x2 + iy2 ) = (x1 x2 y1 y2 ) + i(y1 x2 + x1 y2 ). (1.8)

Observe que o lado direito da equao (1.8) pode ser obtido multiplicando os termos do
lado esquerdo como se fossem nmeros reais e substituindo i2 por 1.

1.2 Propriedades algbricas bsicas


As familiares leis comutativas, associativas e distributivas so vlidas para nmeros
complexos e so de fcil verificao.

1. Leis comutativas: z1 + z2 = z2 + z1 , z1 z2 = z2 z1 ;

2. Leis associativas: (z1 + z2 ) + z3 = z1 + (z2 + z3 ), (z1 z2 )z3 = z1 (z2 z3 );

3. Lei distributiva: z(z1 + z2 ) = zz1 + zz2 .

Definio 1.5 (Elementos neutros) Os nmeros complexos 0 = (0, 0) e 1 = (1, 0) so os


elementos neutros da adio e multiplicao, isto ,

z+0=z e z1=z

para todo nmero complexo z.

6
Definio 1.6 (Inverso aditivo) O inverso aditivo do complexo z = (x, y) o nmero
z = (x, y), ou seja, satisfaz a equao

z + (z) = 0.

Existe um nico inverso aditivo para cada z complexo, pois

(x, y) + (u, v) = (0, 0) u = x e v = y.

O inverso aditivo pode ser escrito como z = x iy, pois (iy) = (i)y = i(y)
(Verifique!) e utilizado para definir a subtrao

z1 z2 = z1 + (z2 ).

Assim, se z1 = (x1 , y1 ) e z2 = (x2 , y2 ) ento

z1 z2 = (x1 x2 , y1 y2 ) = (x1 x2 ) + i(y1 y2 ).

Para qualquer nmero complexo no nulo z = (x, y), existe um nmero z 1 tal que
1
zz = 1 chamado de inverso multiplicativo. Para encontr-lo, consideramos dois nmeros
reais u e v tais que
(x, y)(u, v) = (1, 0).

De acordo com a definio de multiplicao de nmeros complexos, u e v devem satisfazer


as esquaes lineares {
xu yv = 1
.
yu + xv = 0

Resolvendo o sistema anterior para u e v encontramos


x y
u= , v= 2 .
x2 +y 2 x + y2

Definio 1.7 (Inverso multiplicativo) O inverso multiplicativo do nmero complexo no


nulo z = (x, y) o nmero
( )
1 x y
z = , z = 0. (1.9)
x 2 + y2 x 2 + y2

O inverso z 1 no definido quando z = 0. De fato, z = 0 implica x 2 + y2 = 0, o que no


pode acontecer na expresso anterior.
A existncia do inverso multiplicativo nos permite mostrar que o produto z1 z2 zero se,
e somente se pelo menos um dos fatores z1 ou z2 for zero. De fato, suponha que z1 z2 = 0
e z1 = 0. O inverso z11 existe; ento,

z2 = 1 z2 = (z11 z1 )z2 = z11 (z1 z2 ) = z11 0 = 0.

isto , se z1 z2 = 0 obtemos z1 = 0 ou z2 = 0; utilizando a definio de produto fcil


constatar a recproca.

7
Definio 1.8 (Diviso) A diviso de nmeros complexos definida da seguinte forma:
z1
= z1 z21 , z2 = 0. (1.10)
z2

Se z1 = (x1 , y1 ) e z2 = (x2 , y2 ), a equao (1.10) e a expresso (1.9) nos dizem que


( ) ( )
z1 x2 y2 x1 x2 + y1 y2 y1 x2 x1 y2
= (x1 , y1 ) , = ,
z2 x22 + y22 x22 + y22 x22 + y22 x22 + y22

ou seja,
z1 x1 x2 + y1 y2 y1 x2 x1 y2
= 2 2
+i 2 , z2 = 0.
z2 x2 + y2 x2 + y22

Como a expresso anterior no fcil de memorizar, podemos obt-la escrevendo

z1 (x1 + iy1 )(x2 iy2 )


= . (1.11)
z2 (x2 + iy2 )(x2 iy2 )

Mais adiante apresentaremos a motiviao para a equao (1.11).


Existem algumas identidades esperadas envolvendo quocientes, como a relao

1
= z21 , z2 = 0,
z2

que a equao (1.10) com z1 = 1. Esta ltima identidade pode, por exemplo, ser utilizada
para escrever a equao (1.10) na forma
( )
z1 1
= z1 , z2 = 0.
z2 z2

Podemos tambm observar que

(z1 z2 )(z11 z21 ) = (z1 z11 )(z2 z21 ) = 1, z1 , z2 = 0

e ento que (z1 z2 )1 = z11 z21 , donde segue que


( )( )
1 1 1 1 1 1
= (z1 z2 ) = z1 z2 = , z1 , z2 = 0.
z1 z2 z1 z2

e ( )( )
z1 z2 z1 z2
= , z3 , z4 = 0.
z3 z4 z3 z4

Exemplo 1.1 Podemos agora justificar os seguintes clculos:


( )( )
1 1 1 1 5+i 5+i
= = =
2 3i 1+i (2 3i)(1 + i) 5i 5+i (5 i)(5 + i)
5+i 5 i 5 1
= = + = + i.
26 26 26 26 26

8
Finalmente, observamos que a frmula binomial envolvendo nmeros reais contnua
valendo para nmeros complexos. Isto , se z1 e z2 so dois nmeros complexos,
n (
)
n n
(z1 + z2 ) = z1nk z2k , n = 1, 2, . . .
k
k=0

onde ( )
n n!
= , k = 0, 1, 2, . . . , n
k k!(n k)!
com a convenso de que 0! = 1. A prova por induo matemtica e fica a cargo do leitor.

1.3 Mdulo
natural associar qualquer nmero complexo no nulo, z = x + iy, com um vetor
partindo da origem at o ponto (x, y) que o representa no plano complexo. Na verdade,
nos referimos a z como o ponto z ou vetor z. Na figura 2 os nmeros z = x + iy e 2 + i
esto representados geometricamente como pontos e vetores.
y
(x,y)
(-2,1)
1 iy
-2
+ i x+

x
-2 0
Figura 2.

Segundo a definio da soma de dois nmeros complexos z1 + z2 pode ser obtido


vetorialmente como mostrado na figura 3. A diferena zl z2 = zl + (z2 ) corresponde
soma dos vetores para zl e z2 (Figura 4).

y y

(x2, y2)
|z1 -
z2 z2 |
z2 z2 z2
+ (x1, y1)
z 1
z1
x
z1 0
z1 -
x z
0 2

Figura 3 Figura 4

evidente que o produto de nmeros complexos z1 z2 um ponto do plano (ou vetor)


que no nem o produto escalar, nem o produto vetorial utilizado na anlise de um vetor
comum.
A interpretao do vetor de nmeros complexos especialmente til para estender o
conceito de mdulos dos nmeros reais para o plano complexo.

9
Definio 1.9 (Mdulo) O mdulo, ou valor absoluto, de um nmero complexo z = x + iy
definido como o nmero real no negativo x 2 + y2 e denotado por |z|; isto ,

|z| = x 2 + y2 . (1.12)

Geometricamente, o nmero |z| a distncia entre o ponto (x, y) e a origem, ou o


comprimento do vetor que representa z. Este se reduz para o valor absoluto usual no
sistema dos nmeros reais quando y = 0. Note que, enquanto a desigualdade zl < z2 no
tem sentido a menos que zl e z2 sejam reais, a expresso |z1 | < |z2 | significa que o ponto
zl est mais prximo da origem do que o ponto z2 .

Exemplo 1.2 Desde que | 3 + 2i| = 13 e |1 + 4i| = 17, o ponto 3 + 2i est mais
perto da origem do que o ponto 1 + 4i.

Definio 1.10 A distncia entre dois pontos zl = x1 + iy1 e z2 = x2 + iy2 |z1 z2 |.

A definio anterior est justificado na figura 4, pois zl z2 o comprimento do vetor


que representa zl z2 . A diferena zl z2 pode ser interpretada como o segmento ligando
o ponto (x2 , y2 ) a o ponto (xl , yl ). Como

z1 z2 = (x1 x2 ) + i(y1 y2 )

a definio de mdulo nos fornece



|z1 z2 | = (x1 x2 )2 + (y1 y2 )2 .

Assim, os nmeros complexos z correspondentes aos pontos sobre o crculo com centro
z0 e raio R satisfazem a equao |z z0 | = R, e vice-versa. Logo, nos referiremos a este
conjunto de pontos simplesmento como o crculo |z z0 | = R.

Exemplo 1.3 A equao |z1+3i| = 2 representa o crculo centrado no ponto z0 = (1, 3)


e com raio R = 2.

Decorre tambm da definio (1.12) que os nmeros reais |z|, Re z = x e Im z = y


esto relacionados pela equao

|z|2 = (Re z)2 + (Im z)2 . (1.13)

Ento
Re z | Re z| |z| e Im z | Im z| |z|. (1.14)

Voltamo-nos agora para a desigualdade triangular, que fornece um limite superior para
o mdulo da soma de dois nmeros complexos zl e z2 :

|z1 + z2 | |z1 | + |z2 |. (1.15)

Essa importante desigualdade geometricamente percebida na figura 3, pois ela declara


que o comprimento de um lado de um tringulo menor ou igual soma dos comprimentos

10
dos outros dois lados. Tambm podemos ver na Figura 3 que a desigualdade (1.15) na
verdade uma igualdade quando 0, zl e z2 so colineares.
Uma conseqncia imediata da desigualdade triangular o fato de que
|z1 + z2 | ||z1 | |z2 || . (1.16)

Para justificar a inequao anterior escrevemos


|z1 | = |(z1 + z2 ) + (z2 )| |z1 + z2 | + | z2 |,

isto ,
|z1 + z2 | |z1 | |z2 |.
Esta a inequao (1.16) quando |z1 | |z2 |. Se |z1 | < |z2 |, basta trocar z1 e z2 na
desigualdade anterior para obter
|z1 + z2 | (|z1 | |z2 |),

e assim, chegamos ao resultado desejado. A desigualdade (1.16) nos diz, claro, que
o comprimento de um lado de um tringulo maior ou igual do que a diferena dos
comprimentos dos outros dois lados.
Como | z2 | = |z2 |, podemos substituir z2 por z2 nas desigualdades (1.15) e (1.16)
para escrever as formas particularmente teis:
|z1 z2 | |z1 | + |z2 |,
|z1 z2 | ||z1 | |z2 || .

Exemplo 1.4 Se um ponto z est sobre o crculo unitrio |z| = 1 centrado na origem,
ento
|z 2| |z| + 2 = 3
e
|z 2| ||z| 2| = 1.

A desigualdade triangular pode ser generalizada por induo matemtica para somas
envolvendo um nmero finito de termos:
|z1 + z2 + + zn | |z1 | + |z2 | + + |zn |, n = 2, 3, . . . .

De fato, quando n = 2, a desigualdade anterior apenas a desigualdade (1.15). Alm


disso, se a desigualdade anterior vlida quando n = m, ela tambm verdadeira quando
n = m + 1, pois
|(z1 + z2 + + zm ) + zm+1 | |z1 + z2 + + zm | + |zm+1 |
(|z1 | + |z2 | + + |zm |) + |zm+1 |.

1.4 Conjugado Complexo


Definio 1.11 O conjugado complexo, ou simplesmente conjugado, do nmero complexo
z = x + iy definido da seguinte forma:
z = x iy. (1.17)

11
O conjugado complexo representado pelo ponto (x, y), y
que a reflexo em torno do eixo real do ponto (x, y)
representado na figura 5. Note que (x, y)
z
z = z e |z| = |z| x
0
para todo z. z (x,-y)
Se z1 = x1 + iy1 e z2 = x2 + iy2 , ento Figura 5.
z1 + z2 = (x1 + x2 ) i(y1 + y2 ) = (x1 iy1 ) + (x2 iy2 ).

Assim, o conjugado da soma a soma dos conjugados:


z1 + z2 = z1 + z2 .

Da mesma maneira, fcil mostrar que


z1 z2 = z1 z2 ,
z1 z2 = z1 z2 ,
e ( )
z1 z1
= , z2 = 0.
z2 z2
A soma z + z de um nmero complexo z = x + iy e seu conjugado z = x iy o
nmero real 2x, e a diferena z z o nmero imaginrio puro 2iy. Logo
z+z zz
Re z = , Im z = .
2 2i
Uma identidade importante relacionada ao conjugado de um nmero complexo z = x+iy
para seu mdulo
zz = |z|2 , (1.18)
onde cada lado igual a x 2 + y2 . Ela sugere o mtodo para determinar um quociente de
nmeros complexos z1 /z2 ; basta multiplicar o numerador e o denominador de z1 /z2 por z2 ,
de modo que o denominador torna-se o nmero real |z2 |2 .

Exemplo 1.5 Como ilustrao


1 + 3i (1 + 3i)(2 + i) 5 + 5i 5 + 5i
= = 2
= = 1 + i.
2i (2 i)(2 + i) |2 i| 5

A identidade (1.18) especialmente til na obteno de propriedades de mdulo.


Mencionamos que
|z1 z2 | = |z1 ||z2 | (1.19)
e
z1 |z1 |
=
z2 |z2 | , z2 = 0. (1.20)

Da propriedade (1.19) podemos estabelecer


|z1 z2 | = (z1 z2 )(z1 z2 ) = (z1 z2 )(z1 z2 ) = (z1 z1 )(z2 z2 ) = |z1 |2 |z2 |2 = (|z1 ||z2 |)2

Da propriedade (1.21) podemos verificar uma propridade semelhante a anterior.

12
Exemplo 1.6 A propriedade (1.19) nos diz que |z 2 | = |z|2 e |z 3 | = |z|3 . Ento se z um
ponto dentro do crculo centrado na origem com raio 2, |z| < 2, segue da forma generalizada
da desigualdade triangular

|z 3 + 3z 2 2z + 1| |z|3 + 3|z|2 + 2|z| + 1 < 25.

1.5 Forma exponencial


Definio 1.12 (Forma polar) Sejam r e as coordenadas polares do ponto (x, y) ao qual
corresponde o nmero complexo no nulo z = x + iy. Desde que x = r cos e y = r sen ,
o nmero z pode ser escrito na forma polar como

z = r(cos + i sen ). (1.21)

Se z = 0, a coordenada no est definida.


Em anlise complexa, o nmero real r no pode ser
negativo e representa o comprimento do vetor (raio) de z, y
isto , r = |z|. O nmero real representa o ngulo, medido
em radianos, que z faz com o eixo real positivo quando z z = x + iy
interpretado como um vetor (Figura 6). Como no clculo, r
tem um nmero infinito de valores, incluindo os negativos,
que diferem por mltiplos inteiros de 2. Esses valores q
x
podem ser determinados a partir da equao tan = y/x,
onde o quadrante que contm o ponto correspondendo a z
deve ser especificado. Cada valor de chamado de um Figura 6.
argumento de z, e o conjunto de todos esses valores denotado por arg z. O valor
principal de arg z, denotado por Arg z, o nico valor tal que < < . Note que

arg z = Arg z + 2n, n = 0, 1, 2, . . . . (1.22)

Quando z um nmero real negativo, Arg z tem valor e no .

Exemplo 1.7 O nmero complexo 1 i, que se encontra no terceiro quadrante, tem


argumento principal 3/4. Isto ,
3
Arg(1 i) = .
4

Deve ser enfatizado que, devido restrio < < do argumento principal, no
verdade que Arg(1 i) = 5/4. De acordo com a equao (1.22),
3
arg(1 i) = + 2n, n = 0, 1, 2, . . . .
4

Note que o termo Arg z no lado direito da equao (1.22) pode ser substitudo por qualquer
valor determinado de arg z e, assim, tambm podemos escrever,
5
arg(1 i) = + 2n, n = 0, 1, 2, . . . .
4

13
O smbolo ei , ou exp(i), definida por meio da frmula de Euler como

ei = cos + i sen , (1.23)

onde deve ser medido em radianos.

Definio 1.13 (Forma exponencial) A frmula de Euler nos permite escrever a forma
polar (1.21) de maneira mais compacta na forma exponencial:

z = rei . (1.24)

Exemplo 1.8 O nmero 1 i do exemplo anterior tem a seguinte forma exponencial:


[ ( )]
3
1 i = 2 exp i .
4

Como ei = ei() , podemos escrever tambm 1i = 2e3/4 . As expresses anteriores
so apenas uma dentre um nmero infinito de possibilidades para a forma exponencial de
1 i: [ ( )]
3
1 i = 2 exp i + 2n n = 0, 1, 2, . . . .
4

Note que a expresso (1.24) com r = 1 nos diz que


os nmeros ei esto sobre o crculo centrado na origem y
de raio unitrio, conforme mostra a figura 7. Por exemplo, i
geometricamente observamos que e
1
i i/2 i4
q
e = 1, e = i e e = 1.
0 x
Note, tambm, que a equao

z = Rei , 0 2
Figura 7.
a representao paramtrica do crculo |z| = R, centrado na origem com raio R. Como
o parmetro aumenta de = 0 a = 2, o ponto z comea a partir do eixo real
positivo e atravessa o crculo uma vez no sentido anti-horrio. Mas, geralmente, o crculo
|z z0 | = R, cujo centro z0 e cujo raio R, tem a representao paramtrica

z = z0 + Rei , 0 2.

Isto pode ser visto geometricamente (Figura 8), observando


que um ponto z percorrendo o crculo |z z0 | = R uma vez, y
no sentido anti-horrio, corresponde soma do vetor fixo z0
com um vetor de comprimento R cujo ngulo de inclinao Re
i

varia de = 0 a 0 = 2. z q

z0
0 x
Figura 8.
14
1.6 Produtos e quocientes na forma exponencial
Da trigonometria decorre uma das propriedades da funo exponencial do clculo:

ei1 ei2 = (cos 1 + i sen 1 )(cos 2 + i sen 2 )


= (cos 1 cos 2 sen 1 sen 2 ) + i(sen 1 cos 2 + cos 1 sen 2 )
= cos(1 + 2 ) + i sen(1 + 2 ) = ei(1 +2 ) .

Ento, se z1 = r1 ei1 e z2 = r2 ei2 , o produto z1 z2 tem forma exponencial

z1 z2 = r1 r2 ei1 ei2 = r1 r2 ei(1 +2 ) . (1.25)

Alm disso,
z1 r1 ei1 ei2 r1 ei(1 2 ) r1
= i i = i
= ei(1 2 ) . (1.26)
z2 r2 e e2 2 r2 e r2

Como 1 = 1ei0 , segue da expresso anterior que o inverso de um nmero complexo qualquer
no nulo z = rei
1 1
z 1 = = ei .
z r
A expresso (1.25) nos fornece uma identidade importante envolvendo argumentos:

arg(z1 z2 ) = arg z1 + arg z2 . (1.27)

Para verificar a identidade anterior, considere 1 =


arg z1 e 2 = arg z2 . A expresso (1.25) nos diz que 1 + 2 y z1z 2
um valor de arg(z1 z2 ) (Veja a Figura 9). Se, por outro
lado, os valores de arg(z1 z2 ) e argz1 so especificados, esses
valores correspondem a escolhas particulares de n e n1 nas
expresses 1 + 2
z2
arg(z1 z2 ) = (1 + 2 ) + 2n, n = 0, 1, 2, . . . , z1
2
1
e 0 x
arg z1 = 1 + 2n1 n = 0, 1, 2, . . . . Figura 9.
Desde que
(1 + 2 ) + 2n = (1 + 2n1 ) + [2 + 2(n n1 )],

a equao (1.27) evidentemente satisfeita quando

arg z2 = 2 + 2(n n1 )

escolhido. A verificao quando os valores de arg(z1 z2 ) e arg z2 so especificados segue


por simetria.
A expresso (1.27) s vezes vlida quando substituimos arg por Arg. Mas, tal fato
nem sempre vlido, como veremos no exemplo que segue.

15
Exemplo 1.9 Quando z1 = 1 e z2 = i,

3
Arg(z1 z2 ) = Arg(i) = mas Arg z1 + Arg z2 = + = .
2 2 2

Se, no entanto, tomarmos os valores de arg z1 e arg z2 usados e selecionarmos o valor

3
Arg(z1 z2 ) + 2 = + 2 =
2 2

de arg(z1 z2 ), a equao (1.27) satisfeita.

A expresso (1.27) tambm nos diz que


( )
z1
arg = arg(z1 z21 ) = arg z1 + arg(z21 ),
z2

donde segue que


arg(z21 ) = arg z2 ,

pois z 1 = 1/z = 1/rei . Ento


( )
z1
arg = arg z1 arg z2 . (1.28)
z2

Exemplo 1.10 A fim de encontrar o argumento principal Arg z quando

2
z= ,
1 + 3i

observamos que
arg z = arg(2) arg(1 + 3i).

Desde que

Arg(2) = e Arg(1 + 3i) = ,
3
um valor de arg z 2/3; e, como 2/3 est entre e , encontramos Arg z = 2/3.

Outro resultado importante que pode ser obtido formalmente atravs de z = rei

z n = r n ein , n = 0, 1, 2, . . . . (1.29)

fcil verificar (1.29) por induo matemtica para valores positivos de n. Mais
especificamente, note primeiro que z = rei quando n = 1. Em seguida, suponha que
(1.29) vlida quando n = m, onde m um inteiro positivo qualquer. Pela produto entre
nmeros complexos no nulos na forma exponencial, a afirmao torna-se verdadeira para
n = m + 1:
z m+1 = zz m = rei r m eim = r m+1 ei(m+1) .

16
Assim, a expresso (1.29) verificada para todo inteiro positivo n; tambm vlida quando
n = 0, com a convenso z 0 = 1. Se n = 1, 2, . . ., definimos z n em termos do inverso
multiplicativo de z, escrevendo

z n = (z 1 )m quando m = n = 1, 2, . . . .

Ento, j que a expresso (1.29) vlida para potncias inteiras positivas, decorre da
forma exponencial para z 1 , que
[ ]m ( )m ( )n
n 1 i() 1 im() 1
z e = e = ei(n)() = r n ein , n = 1, 2, . . . .
r r r

Portanto (1.29) fica estabelecida para todas as potncias inteiras.


Observe que se r = 1, a expresso (1.29) torna-se

(ei )n = ein , n = 0, 1, 2, . . . .

Ento obtemos a forma

(cos + i sen )n = cos n + i sen n, n = 0, 1, 2, . . . ,

que a conhecida frmula de Moivre.


A expresso (1.29) pode ser til na busca de potncias de nmeros complexos.

Exemplo 1.11 Vamos escrever ( 3 + i)7 em sua forma normal. Temos

( 3 + i)7 = (2ei/6 )7 = 27 ei7/6 = (26 ei )(2ei/6 ) = 64( 3 + i).

1.7 Razes de nmeros complexos


Considere um ponto z = rei , situado num crculo
centrado na origem de raio r (Figura 10). Quando cresce, y
z se move ao longo do crculo no sentido anti-horrio. Em
i
particular, quando cresce at 2, chegamos a origem; e z = re
r
o mesmo ocorre quando decresce at 2. , portanto, q
evidente pela figura 10 que dois nmeros complexos no- x
0
nulos
z1 = r1 ei1 e z2 = r2 ei2

so iguais se, e somente se


Figura 10.
r1 = r2 e 1 = 2 + 2k

onde k algum inteiro k = 0, 1, 2, . . ..


A ltima observao, juntamente com a expresso z n = r n ein so bastante teis para
encontrar as razes n-simas de um nmero complexo no nulo z0 = r0 ei0 arbitrrio, onde

17
n assume os valores n = 2, 3, . . .. Uma raz n-sima de z0 um nmero no-nulo z = rei
tal que z n = z0 , ou
r n ein = r0 ei0 .
Logo,
r n = r0 e n = 0 + 2k,

onde k um inteiro qualquer (k = 0, 1, 2, . . .). Assim, r = n
r0 , onde este radical
denota a nica raz n-sima positiva do nmero real r0 ,
0 + 2k 0 2k
= = + , k = 0, 1, 2, . . . .
n n n
Consequentemente, os nmeros complexos
[ ( )]
0 2k
z = n r0 exp i + , k = 0, 1, 2, . . .
n n
so as razes n-simas de z0 . Notamos que todas estas

razes esto sobre o crculo |z| = n r0 centrado na origem e y
esto, cada uma, igualmente espaadas por 2/n radianos, c k - 1

comeando com o argumento 0 /n. Todas as razes distintas


so obtidas quando k = 0, 1, 2, . . . , n 1 e nenhuma nova ck 2p/n
raz surge com outros valores de k. Usaremos a notao ck x
0
(k = 0, 1, 2, . . . , n 1) para denotar estas razes distintas e
escrevemos (veja figura 11)
[ ( )]
0 2k
ck = r0 exp i
n
+ , k = 0, 1, 2, . . . , n 1
n n Figura 11.
(1.30)

O nmero n r0 o comprimento de cada um dos vetores que representam o raio das n
razes. A primeira raz c0 possui argumento 0 /n; e as duas razes quando n = 2 esto nas

extremidades opostas de um dimetro do crculo |z| = n r0 , com a segunda raz sendo c0 .
Quando n 3, as razes esto nos vtices de um polgono regular de n lados inscrito no
crculo.
Faamos z01/n denotar o conjunto das n-simas razes de z0 . Se, em particular, z0 for
um nmero real positivo r0 , o smbolo r01/n denotar o conjunto de todas as razes; e o

smbolo n r0 na expresso (1.30) a raz positiva. Quando o valor de 0 que usado na
expresso (1.30) o valor principal do arg z0 ( < 0 ), o nmero c0 chamado de

raz principal. Ento, quando z0 um nmero real positivo r0 , sua raz principal n r0 .
Finalmente, uma forma conveniente para lembrar a expresso (1.30) escrever z0 na
sua forma exponencial mais geral,
z0 = r0 ei(0 +2k) , k = 0, 1, 2, . . . (1.31)

e formalmente aplicar as leis dos expoentes fracionrios envolvendo nmeros reais, tendo
em mente que existem precisamente n razes:
[ ]
1/n
[ i( +2k) ]1/n i(0 + 2k)
z0 = r0 e 0
= r0 exp
n

n
[ ( )]
0 2k
= n r0 exp i + , k = 0, 1, 2, . . . , n 1.
n n

18
Exemplo 1.12 A fim de determinar as razes n-simas da unidade, escrevemos

1 = 1 exp [i(0 + 2k)] , k = 0, 1, 2, . . .

e encontramos
[ ( )] ( )
1/n

n 0 2k 2k
1 = 1 exp i + = exp i , k = 0, 1, 2, . . . , n 1. (1.32)
n n n

Quando n = 2, estas razes so, de fato, 1. Quando n 3, o polgono regular (as razes
esto nos vrtices) inscrito no crculo unitrio |z| = 1, com um vrtice correspondente
para a raz principal z = 1 (k = 0).

Se escrevemos ( )
2
n = exp i
n

ento ( )
2k
nk = exp i , k = 0, 1, 2, . . . , n 1.
n

Da, as razes n-simas distintas da unidade so simplesmente

1, n , n2 , . . . , nn1 .

Veja a figura 12, onde os casos n = 3, 4 e 6 so ilustrados.

4 62 6
3

42 63
1 1 1

32 64 65
43
Figura 12.

Note que nn = 1. Finalmente, observamos que se c qualquer raz n-sima particular de


um nmero complexo no nulo z0 , o conjunto das razes n-simas pode ser posto na forma

c, cn , cn2 , . . . , cnn1 .

Isto ocorre porque a multiplicao de qualquer nmero complexo diferente de zero por n
aumenta o argumento do nmero em 2/n, deixando seu mdulo inauterado.

Exemplo 1.13 Vamos encontrar todos os valores de (8i)1/3 , ou as trs razes cbicas de
8i.

19
Primeiro precisamos escrever y c
1
[ ( )]
8i = 8 exp i + 2k , k = 0, 1, 2, . . .
2

para ver que as razes so 2 x


[ ( )]
2k c2 c0
ck = 2 exp i + , k = 0, 1, 2.
6 3

Elas situam-se nos vrtices de um tringulo equiltero, Figura 13.


inscrito no crculo |z| = 2, e so igualmente espaadas em
torno desse crculo por 2/3 radianos, comeando com a raz principal (Figura 13).
[ ( )] ( )
c0 = 2 exp i = 2 cos i sen = 3 i.
6 6 6

evidente que c1 = 2i,e, desde que c2 simtrico a c0 , em relao ao eixo imaginrio,


concluimos que c2 = 3 i.
Estas razes podem ainda serem escritas como
( )
2
c0 , c0 3 , c0 32 , onde 3 = exp i .
3

Exemplo
1.14 Os dois valores ck (k = 0, 1) de ( 3 + i)1/2 , que so as razes quadradas
de 3 + i, so encotradas escrevendo
[ ( )]
3 + i = 2 exp i + 2k , k = 0, 1, 2, . . .
6

e (veja figura 14)


[ ( )] y
ck = 2 exp i + k , k = 0, 1.
12

A frmula de Euler nos diz que c0


( ) ( ) c1 = -c0 2 x
c0 = 2 exp i = 2 cos + i sen ,
12 12 12

e as identidades trigonomtricas
( ) 1 + cos ( ) 1 cos Figura 14.
cos2 = , sen2 =
2 2 2 2

nos permitem escrever


( )
1( ) 1 3 2+ 3
cos2 = 1 + cos = 1+ = ,
12 2 6 2 2 4
( )
1( ) 1 3 2 3
sen2 = 1 cos = 1 = ,
12 2 6 2 2 4

20
Consequentemente,
( )
2 + 3 2 3 1
c0 = 2 +i = 2+ 3+i 2 3 .
4 4 2


Desde que c1 = c0 , as duas razes quadradas de 3 + i, so
( )
1
2+ 3+i 2 3 .
2

1.8 Regies no plano complexo


Nesta seo, estudaremos conjuntos de nmeros
complexos e propriedade de aproximao entre pontos y
no plano z. |z - z0|
e
z z
Definio 1.14 (Vizinhanas) Uma -vizinhana 0

|z z0 | < (1.33)
0 x
de um determinado ponto z0 o conjunto formado
Figura 15.
por todos os pontos z que esto no interior de um
crculo centrado em z0 e com raio > 0 (Figura 15). Quando o valor de
irrelevante na discusso, o conjunto (1.33) muitas vezes referido apenas como vizinhana.
Ocasionalmente, conveniente falar da vizinhana excluda

0 < |z z0 | <

consistindo de todos os pontos z na -vizinhana de z0 excluindo o ponto z0 .

Definio 1.15 (Disco e anel) O conjunto dos pontos z que satisfazem a desigualdade

|z z0 |

chamado de disco de raio centrado em z0 . Se 0 < 1 < 2 , o conjunto de pontos


satisfazendo as desigualdades
1 |z z0 | 2

anel circular centrado em z0 .

Definio 1.16 (Pontos interior, exterior, de fronteira e de acumulao) Um ponto z0


um ponto interior de um conjunto S, quando existe uma vizinhana de z0 inteiramente
contida em S; z0 chamado ponto exterior de S quando existe uma vizinhana do mesmo
que no contm ponto algum de S. Se z0 no ponto interior nem exterior, ou seja, se
toda vizinhana de z0 contiver pontos que esto em S e fora de S ao mesmo tempo, este
ponto dito um ponto de fronteira de S. Um ponto z0 chamado ponto de acumulao de
um conjunto S, se cada vizinhana excluda de z0 contm pelo menos um ponto de S.

21
O conjuntos de todos os pontos de fronteira de S chamado fronteira de S. O crculo
|z| = 1, por exemplo, a fronteira dos conjuntos

|z| < 1 e |z| 1.

Evidentemente, um ponto z0 no um ponto de acumulao de um conjunto S, sempre


que existe alguma vizinhana excluda de z0 que no contm pontos de S. Note que a
origem ponto de acumulao apenas do conjunto z = i/n (n = 1, 2, . . .).

Definio 1.17 (Conjuntos aberto e fechado) Um conjunto S aberto se todos os seus


pontos so pontos interiores. Um conjunto fechado se contm todos os pontos de sua
fronteira, e o fecho de um conjunto S o conjunto fechado constitudo de todos os pontos
de S, juntamente com sua fronteira.

Note que o conjunto |z| < 1 aberto e |z| 1 o seu fecho.


Alguns conjuntos no so nem abertos nem fechados. Para um conjunto no ser aberto,
deve existir um ponto de fronteira que est contido no conjunto, e para um conjunto no
ser fechado, basta existir um ponto de fronteira que no pertence ao conjunto. Observe
que o disco perfurado 0 < |z| 1 no nem aberto nem fechado. O conjunto de todos os
nmeros complexos , por outro lado, aberto e fechado, uma vez que no possui pontos de
fronteira.
Se um conjunto S fechado, ento ele contm cada um dos seus pontos de acumulao.
Se um ponto de acumulao z0 no estivesse em em S, seria um ponto de fronteira de S, o
que contradiz o fato de que um conjunto fechado contm todos os pontos de sua fronteira.
deixado como exerccio mostrar que o inverso verdade. Assim, um conjunto fechado
se, e somente se ele contm todos os seus pontos de acumulao.

Definio 1.18 (Conjunto conexo) Um conjunto aberto S conexo se cada par de pontos
z1 e z2 podem ser unidos por uma linha poligonal, composta por um nmero finito de
segmentos de reta, inteiramente contida S.

O conjunto aberto |z| < 1 conexo. O anel


1 < |z| < 2 aberto e conexo (veja figura 16). y

Definio 1.19 (Domnios e regies) z2


Um conjunto aberto e conexo chamado de domnio.
Um domnio juntamente com alguns, nenhum ou todos
os seus pontos de fronteira chamado de regio. 0 1 2 x
z1
Note que qualquer vizinhana um domnio.

Definio 1.20 (Conjunto limitado) Um conjunto S Figura 16.


limitado se todos os pontos de S esto dentro de um
crculo |z| = R; caso contrrio ele dito ilimitado.

Ambos os conjuntos |z| < 1 e |z| 1 so regies limitadas, e o meio plano Re z 0


ilimitado.

22
Captulo 2

Funes Analticas

2.1 Funes de uma varivel complexa


Definio 2.1 (Funo) Seja S um conjunto de nmeros complexos. Uma funo f definida
em S uma regra que atribui a cada z em S um nico nmero complexo w. O nmero w
chamado de valor de f em z e denotada por f(z), ou seja, w = f(z). O conjunto S
chamado de domnio de definio de f.

Deve ser enfatizado que tanto um domnio de definio quanto uma regra so
necessrios para que uma funo seja definida. Quando o domnio de definio no
mencionado, convencionamos que tal domnio todo o conjunto dos nmeros complexos.

Exemplo 2.1 Se f definida sobre o conjunto z = 0 por meio da equao w = 1/z, ela
pode ser referida apenas como a funo w = 1/z, ou simplesmente a funo 1/z.

Suponha que w = u + iv o valor de uma funo f em z = x + iy, isto

u + iv = f(x + iy).

Cada um dos nmeros reais u e v dependem das variveis reais x e y, donde podemos
escrever
f(z) = u(x, y) + iv(x, y). (2.1)

Se a coordenadas polares r e so usadas, em vez de x e y, ento

u + iv = f(rei ),

onde w = u + iv e z = rei . Neste caso, podemos escrever

f(z) = u(r, ) + iv(r, ). (2.2)

Exemplo 2.2 Se f(z) = z 2 , ento

f(x + iy) = (x + iy)2 = x 2 y2 + i2xy.

23
Da,
u(x, y) = x 2 y2 e v(x, y) = 2xy.

Quando as coordenadas polares so usadas,

f(rei ) = (rei )2 = r 2 ei2 = r 2 cos 2 + ir 2 sen 2.

Consequentemente,
u(r, ) = r 2 cos 2 e v(r, ) = r 2 sen 2.

Se, em qualquer uma das equaes (2.1) e (2.2), a funo v zero, ento o valor de f
sempre real. Isto , f uma funo real de uma varivel complexa.

Exemplo 2.3 Uma funo real que usada para ilustrar alguns conceitos importantes
neste captulo
f(z) = |z|2 = x 2 + y2 + i0.

Se n zero ou um nmero inteiro positivo e se a0 , a1 , a2 , . . ., an so constantes


complexas, onde an =
0, a funo

P(z) = a0 + a1 z + a2 z 2 + + an z n

um polinmio de grau n. Note que a soma aqui tem um nmero finito de termos e que
o domnio de definio todo o plano complexo. Quocientes de polinmios P(z)/Q(z) so
chamados funes racionais e so definidos em todo ponto z onde Q(z) = 0. Os polinmios
e funes racionais constituem importantes classes de funes de uma varivel complexa.

Definio 2.2 (Funo multivalente) Uma funo multivalente uma regra que atribui
mais de um valor a um ponto z no domnio de definio.

As funes multivalentes so abordadas na teoria das funes de uma varivel complexa.


Quando funes multivalentes so estudadas, geralmente apenas um dos possveis valores
atribudos a cada ponto tomado, de forma sistemtica, e uma (valor nico) funo
construda a partir da funo de valor mltiplo.

Exemplo 2.4 Seja z um nmero complexo no nulo. Sabemos que z 1/2 possui dois valores:
( )
1/2

z = r exp i ,
2

onde r = |z| e ( < ) o valor principal de arg z. Trata-se de uma funo


multivalente. Mas, se escolhermos apenas o valor positivo de r e escrevermos
( )

f(z) = r exp i , r > 0, < ,
2

a funo fica bem definida sobre o conjunto de nmeros complexos tais que z = 0. Desde
que zero a nica raiz quadrada de zero, escrevemos f(0) = 0. A funo f fica, assim,
bem definido em todo o plano.

24
2.2 Transformaes
As propriedades de uma funo real de uma varivel real so muitas vezes expostas
pelo grfico da funo. Mas, quando w = f(z), onde z e w so variveis complexas, tal
representao grfica da funo no possvel pois cada um dos nmeros z e w est
localizado em um plano, e no numa reta. Pode-se, no entanto, apresentar algumas
informaes sobre a funo, indicando pares de pontos correspondentes z = (x, y) e
w = (u, v). Para fazer isso, mais simples de considerar os planos z e w separadamente.
Quando pensamos em uma funo f dessa forma, nos referimos a ela como sendo um
mapeamento, ou uma transformao. A imagem de um ponto z no domnio de definio
S o ponto w = f(z), e o conjunto de imagens de todos os pontos em um subconjunto
T S chamado a imagem de T . A imagem de todo o domnio de definio S chamado
de imagem de f. A imagem inversa de um ponto w o conjunto de todos os pontos z no
domnio de definio de f que possuem w como sua imagem. A imagem inversa de um
ponto pode conter apenas um ponto, muitos pontos, ou mesmo nenhum. O ltimo caso
ocorre, claro, quando w no est na imagem de f.
Termos como translao, rotao e reflexo so usados para falar de caractersticas
geomtricas de certos mapeamentos. Em tais casos, s vezes conveniente considerar os
planos z e w como sendo o mesmo. Por exemplo, a transformao

w = z + 1 = (x + 1) + iy,

onde z = x + iy, pode ser pensado como uma translao de cada ponto z uma unidade
para a direita. Desde que i = ei/2 , o mapeamento
[ ( )]
w = iz = r exp i + ,
2

onde z = rei , gira o vetor z no nulo atravs de um ngulo reto sobre a origem no sentido
anti-horrio, e o mapeamento
w = z = x iy

transforma cada ponto z = x + iy na sua refrexo em relao ao eixo real.


Conseguimos mais informaes sobre mapeamentos esboando imagens de curvas e
regies do que simplesmente indicando imagens de pontos individuais.

Exemplo 2.5 O mapeamento w = z 2 pode ser pensando como a transformao

u = x 2 y2 , v = 2xy (2.3)

do plano xy no plano uv. Esta forma de mapeamento especialmente til para encontrar
as imagens de certas hiprboles. fcil mostrar, por exemplo, que cada ramo de uma
hiprbole
x 2 y 2 = c 1 , c1 > 0

transformada de forma 1-1 em uma reta vertical u = c1 . Comeamos observando da


primeira das equaes de (2.3) que u = c1 quando (x, y) um ponto de pertencente a
qualquer um dos dois ramos da hiprbole. Quando, em particular, (x, y) encontra-se no

25

ramo da direita, a segunda equao de (2.3) nos diz que v = 2y y2 + c1 . Assim, a imagem
do ramo da direita pode ser expressado parametricamente como

u = c1 , v = 2y y2 + c1 , < y < ;

e evidente que a imagem de um ponto (x, y) sobre esse ramo se move para cima ao longo
da reta inteira quando (x, y) traa o ramo na direo ascendente (Figura 17).

y v
u = c1 > 0
2
w=z
v = c2 > 0

0 x 0 u

Figura 1.

Da mesma forma, uma vez que o par de equaes



u = c1 , v = 2y y2 + c1 , < y <

fornecem uma representao paramtrica para a imagem do ramo esquerdo da hiprbole,


a imagem de um ponto que se move para baixo ao longo do ramo esquerdo sobe ao longo
da reta u = c1 .
Por outro lado, cada ramo da hiprbole

2xy = c2 , c2 > 0 (2.4)

transformado na reta v = c2 , indicado na figura 17. Para verificar isso, notamos a


partir da segunda equao em (2.3) que v = c2 quando (x, y) um ponto de cada ramo.
Suponha que este ponto est no ramo inclinado no primeiro quadrante. Ento, uma vez
que y = c2 /(2x), a primeira das equaes em (2.3) revela que a imagem do ramo tem
representao paramtrica
c22
u = x2 , v = c2 0 < x < .
4x 2

Observe que
lim
x
u = e lim u = .
x>0
x

Desde que u depende continuamente de x, ento, claro que como (x, y) percorre todo
o ramo superior da hiprbole (2.3), sua imagem se move para a direita ao longo da reta
horizontal v = c2 . A imagem da parte inferior do ramo tem representao paramtrica
c22
u = 2 y2 , v = c2 , < y < 0
4y

26
e desde que
lim u = e y
lim u =
y
y<0

segue-se que a imagem de um ponto se movendo para cima ao longo do ramo inferior
tambm se move para a direita ao longo da reta v = c2 (veja figura 1).

Exemplo 2.6 O domnio x > 0, y > 0, xy < 1 composto por todos os pontos situados na
ramos superiores das hiprboles da famlia 2xy = c, onde 0 < c < 2 (Figura 2).
y
v
A D D E
2i
2
E w=z

B C x A B C u
Figura 2.

Uma vez que, para todos os valores de c entre 0 e 2, os ramos preenchem o domnio x > 0,
y > 0, xy < 1, este transformado na faixa horizontal 0 < v < 2.
Tendo em vista as equaes (2.3), a imagem de um ponto (0, y) no plano z (y2 , 0).
Portanto, como (0, y) se desloca para baixo, em direio a origem ao longo do eixo y, sua
imagem se move, no plano w, para a direito ao longo do eixo u negativo e atinge a origem.
Ento, j que a imagem de um ponto (x, 0) (x 2 , 0), essa imagem se move para a direita
da origem ao longo do eixo u j que (x, 0) se move para a direita da origem ao longo do
eixo x. A imagem do ramo superior da hiprbole xy = 1 a reta horizontal v = 2. Ento
a regio fechada x 0, y 0, xy 1 mapeado na faixa fechada 0 v 2, como
indicado na figura 2.

Exemplo 2.7 A transformao w = z 2 pode ser reescrita como


w = r 2 ei2

onde z = rei . Ento se w = ei , temos ei = r 2 ei2 , donde segue que


= r 2 e = 2 + 2k,

onde k = 0, 1, 2, . . ..
Evidentemente, ento, a imagem de qualquer z no nulo encontrada elevando ao
quadrado o mdulo de z e duplicando o valor de arg z.
Observe que os pontos z = r0 ei num crculo r = r0 so transformados em pontos
w = r02 ei2 no crculo = r02 . Como um ponto no primeiro crculo se move para a esquerda
,a partir do eixo real positivo, em direo o eixo imaginrio positivo, a sua imagem no
segundo plano move o crculo anti-horrio a partir do eixo real positivo para o eixo real
negativo (veja Figura 3). Assim, como todos os possveis valores positivos de r0 so
escolhidos, os arcos correspondentes a z no plano w preenchem o primeiro quadrante
do plano e a metade superior, respectivamente. A transformao w = z 2 , ento, um
mapeamento 1-1 do primeiro quadrante r 0, 0 /2 no plano z na metade superior
p 0, O do plano w, como indicado na figura 3. O ponto z = 0 , naturalmente,
mapeado para o ponto w = 0.

27
y v

2
w=z

0 r0 x 0 r02 u
Figura 3.

A transformao w = z 2 tambm mapeia o semi-plano superior r 0, 0 no


plano w inteiro. No entanto, neste caso, a transformao no 1-1 desde ambos os eixos
positivos e negativos reais no plano z so mapeados para o eixo real positivo no plano w.
Quando n um inteiro positivo maior do que 2, as propriedades de mapeamento das
diversas transformaes w = z n , ou ei = r n ein , so semelhantes as de w = z 2 . Tal
transformao mapeia o plano z inteiro no plano w inteiro, onde cada ponto diferente de
zero no plano w a imagem de n pontos distintos no plano z. O crculo r = r0 mapeado
no crculo = r0n ; e o setor r r0 , 0 2/n mapeado no disco r0n : mas no de
forma 1-1.

Exemplo 2.8 A transformao


w = ez

pode ser escrita como ei = ex eiy , onde z = x + iy e w = ei . Ento p = ex e


= y + 2n, onde n algum inteiro; tal transformao pode ser expressada na forma

= ex , = y.

A imagem de um ponto z = (c1 , y) em uma reta vertical x = c1 tem coordenadas


polares = exp c1 e = y no plano w. Essa imagem se move para a esquerda ao redor
do crculo mostrado na figura 4 quando z se move para cima na reta. A imagem da reta
evidentemente, todo o crculo, e cada ponto no crculo a imagem de um nmero infinito
de pontos, igualmente espaados por 2, ao longo da reta.

y v
x = c1

w = exp z
y = c2
c2
0 x 0 exp c1 u

Figura 4.

Uma reta horizontal y = c2 mapeada de forma 1-1 no raio = c2 . Para isto,


notamos que a imagem de um ponto z = (x, c2 ) tem coordenadas polares p = ex e = c2 .
Evidentemente, ento, como esse ponto z se move ao longo de toda a reta da esquerda
para a direita, sua imagem se move para fora do raio = c2 , como indicado na figura 4.

28
Exemplo 2.9 Vamos mostrar que a transformao w = e : transforma a regio retangular
a x b, c x d na regio ea eb , c d. As duas regies e as partes
correspondentes de seus limites so indicados na figura 5. O segmento vertical AD
mapeado no arco = ea , c d, que denotado por A D . As imagens dos segmentos
verticais direita da AD juntamente com as partes limitadas horizontalmente so arcos
maiores; a imagem do segmento BC o arco = eb , c d, denotado por B C . O
mapeamento 1-1, se d c < 2. Em particular, se c = 0 e d = , ento 0 ; e
a regio retangular mapeada na metade de um anel circular.

y v C
d D C
D
w = exp z B
c f=d
A B A
f=c
0 a b x 0 u
Figura 5.

Exemplo 2.10 Quando w = ez , a imagem da faixa infinita 0 y a metade superior


v 0 do plano w (Figura 6).

y v
pi

w = exp z
ci
f=c
0 x 0 u
Figura 6.

2.3 Limites
Seja uma funo f definida em todos os pontos z numa vizinhana excluda de z0 .
Dizemos que o limite de f(z) quando z se aproxima z0 um nmero w0 , ou que

lim f(z) = w0 (2.5)


zz0

significa que o ponto w = f(z) pode ser feito arbitrariamente prximo de w0 se escolhermos
z suficientemente prximo de z0 , mas diferente desse ponto. Vamos agora expressar a
definio de limite de forma mais precisa.
A afirmao em (2.5) significa que, para cada > 0, existe um nmero > 0 tal que

|f(z) w0 | < sempre que O < |z z0 | < . (2.6)

29
Geometricamente, essa definio diz que, para v
cada vizinhana |w w0 | < de wo, existe y
uma vizinhana excluda 0 < |z z0 | < de z0 w e
de tal forma que cada ponto z pertencente a ela w0
possui uma imagem w pertencente a vizinhana d
(Figura 7). Note que, apesar de todos os pontos z0 z
na vizinhana excluda 0 < |z z0 | < serem 0 x 0 u
considerados, suas imagens no precisam no
Figura 7.
estar em sua totalidade contidos na vizinhana
|w w0 | < . Se f tem o valor constanteo w0 , por exemplo, a imagem de z sempre o
centro dessa vizinhana. Note, tambm, que uma vez que foi encontrado, ele pode ser
substitudo por qualquer nmero menor positivos, como o /2.
fcil mostrar que quando o limite de uma funo f(z) existe em um ponto z0 este
limite nico. Para provar isto, supomos que

lim f(z) = w0 e lim f(z) = w1 .


zz0 zz0

Ento, para qualquer nmero positivo , existem nmeros positivos e 1 tais que

|f(z) w0 | < sempre que 0 < |z z0 | < 0

e
|f(z) w1 | < sempre que 0 < |z z0 | < 1

Assim, se 0 < |z z0 | < , onde denota o menor dos dois nmeros 0 e 1 , obtemos

|w1 w0 | = |[f(z) w0 ] [f(z) w1 ]| |f(z) w0 | + |f(z) w1 | < + = 2.

Mas |w1 w0 | uma constante no negativa, e pode ser escolhido arbitrariamente


pequeno. Ento
w1 w0 = 0, ou w1 = w0 .

A definio (2.6) requer que f seja definida em todos os pontos em alguma vizinhana
excluda de z0 . Tal vizinhana excluda, claro, sempre existe quando z0 um ponto
interior de uma regio na qual f est definida. Podemos estender a definio de limite
para o caso em que z0 um ponto de fronteira da regio; basta observar que a primeira
das desigualdades (2.6) precisa ser satisfeita pelos pontos z que se encontram em ambas
as regies e na vizinhana excluda.

Exemplo 2.11 Vamos mostrar que se f(z) = iz/2 num disco aberto |z| < 1, ento
i
lim f(z) = ,
z1 2

como ponto 1 pertencente a fronteira do domnio de definio de f. Observe que, quando


z est na regio |z| < 1,

iz
f(z) = = |z 1| .
i i
2 2 2 2

30
Ento, para qualquer z e qualquer nmero positivo (veja figura 8),

i
f(z) < sempre que 0 < |z 1| < 2.
2

v
y

e
i/2
z 2e
d=
0 1 x 0 u

Figura 8.

Portanto, a condio (2.6) satisfeita pelos pontos na regio |z| < 1, quando igual a
2 ou qualquer nmero positivo menor.

z
Exemplo 2.12 Se f(z) = o limite lim f(z) no existe.
z z

Caso contrrio, seria possvel que o ponto z =


(x, y) se aproximasse da origem em qualquer y
direo. Mas quando z = (x, 0) um ponto
diferente de zero sobre o eixo real (Figura 9), z = (0,y)

x + i0
f(z) = = 1;
x i0
(0,0) z = (x,0) x
e quando z = (0, y) um ponto no nulo no eixo
imaginrio, Figura 9.
0 + iy
f(z) = = 1.
0 iy
Assim, fazendo z se aproximar da origem ao longo do eixo real, poderamos encontrar o
limite 1. Por outro lado, uma aproximao ao longo do eixo imaginrio nos fornece o limite
1. Como o limite nico, conclumos que o mesmo no existe.

Teorema 2.1 Suponha que

f(z) = u(x, y) + iv(x, y), z0 = x0 + iy0 , e w0 = u0 + iv0 .

Ento
lim f(z) = w0 (2.7)
zz0

se, e somente se

lim u(x, y) = u0 e lim v(x, y) = v0 . (2.8)


(x,y)(x0 ,y0 ) (x,y)(x0 ,y0 )

31
Demonstrao: () Os limites em (2.8) nos dizem que, para cada > 0, existem 1 > 0
e 2 > 0 tais que

|u u0 | < sempre que 0 < (x x0 )2 + (y y0 )2 < 1
2
e

|v v0 | < sempre que 0 < (x x0 )2 + (y y0 )2 < 2 .
2
Seja = min{1 , 2 }. Desde que

|(u + iv) (u0 + iv0 )| = |(u u0 ) + i(v v0 )| |u u0 | + |v v0 |

e
(x x0 )2 + (y y0 )2 = |(x x0 ) + i(y y0 )| = |(x + iy) (x0 + iy0 )|,

obtemos

|(u + iv) (u0 + iv0 )| < + =
2 2
sempre que
0 < |(x + iy) (x0 + iy0 )| < .

() Pela hiptese, para todo > 0, existe > 0 tal que

|(u + iv) (u0 + iv0 )| < (2.9)

sempre que
0 < |(x + iy) (x0 + iy0 )| < . (2.10)

Mas
|u u0 | |(u u0 + i(v v0 )| = |(u + iv) (u0 + iv0 )|,
|v v0 | |(u u0 ) + i(v v0 )| = |(u + iv) (u0 + iv0 )|,

e
|(x + iy) (x0 + iy0 )| = |(x x0 ) + i(y y0 )| = (x x0 )2 + (y y0 )2 .

Ento, segue das inequaes (2.9) e (2.10) que

|u u0 | < e |v v0 | <

sempre que
0< (x x0 )2 + (y y0 )2 < ,

o que finaliza a prova do teorema.

32
Teorema 2.2 Suponha que

lim f(z) = w0 e lim F (z) = W0 .


zz0 zz0

Ento
lim [f(z) + F (z)] = w0 + W0 ,
zz0

lim [f(z)F (z)] = w0 W0 ;


zz0

e, se W0 = 0,
f(z) w0
lim = .
zz0 F (z) W0

Demonstrao: Este teorema pode ser provado usando a definio de limite de uma
funo de uma varivel complexa. Mas, com a ajuda do Teorema anterior, segue-se quase
imediatamente dos teoremas sobre limites de funes reais de duas variveis. Deixamos
a cargo do leitor verificar os detalhes dessa demonstrao.

fcil ver, pela definio de limite, que

lim c = c e lim z = z0 ,
zz0 zz0

onde z0 e c so nmeros complexos arbitrrios; e pelo Teorema 2.2 segue que

lim z n = z0n , n = 1, 2, . . . .
zz0

Assim, considerando o polinmio

P(z) = a0 + a1 z + a2 z 2 + + an z n

segue, pelo Teorema 2.2, que


lim P(z) = P(z0 ).
zz0

2.4 Limites envolvendo infinito


Pode ser conveniente incluir no plano
complexo o ponto infinito, denotada por
, que poder ser usado no estudo dos N
limites. O plano complexo juntamente
P
com este ponto chamado de plano
complexo estendido. Para visualizar o z
O
ponto infinito, pode-se pensar no plano
complexo passando pelo equador de uma
esfera unitria centrada em z = 0
(Figura 10). Para cada ponto z no plano Figura 10.
corresponde exatamente um ponto P sobre

33
a superfcie da esfera. O ponto P determinado pela interseo da reta ligando z ao polo
norte N da superfcie esfrica. Da mesma maneira, a cada ponto P sobre a esfera, exceto
o polo norte N, corresponde exatamente um ponto z no plano. Ao deixar o ponto N da
esfera corresponder ao ponto infinito, obtemos uma correspondncia 1-1 entre os pontos
da esfera e os pontos do plano complexo estendido. Esta esfera conhecida como a esfera
de Riemann, e a correspondncia chamada de projeo estereogrfica.
Observe que o exterior do crculo unitrio centrado na origem no plano complexo
corresponde ao hemisfrio superior da esfera com o equador e o ponto N excludos. Alm
disso, para cada > 0 pequeno, os pontos no plano complexo exterior ao crculo |z| = 1/
correspondem a pontos sobre a esfera fechada em N. Assim, chamamos o conjunto |z| > 1/
de vizinhana, ou vizinhana, de .
Em geral, quando nos referimos a um ponto z, estamos falando de um ponto no plano
finito. Quando o ponto infinito considerado, especificaremos.

Teorema 2.3 Se z0 e w0 so pontos nos planos z e w, respectivamante, ento


1
lim f(z) = se, e somente se lim =0 (2.11)
zz0 zz0 f(z)

e ( )
1
lim f(z) = w0 se, e somente se lim f = w0 . (2.12)
z z0 z
Alm disso,
1
lim f(z) = se, e somente se lim = 0. (2.13)
z z0 f(1/z)

Demonstrao: Inicialmente observe que (2.11) significa que, para cada > 0, existe um
> 0 tal que
1
|f(z)| > sempre que 0 < |z z0 | < .

Ou seja, o ponto w = f(z) pertence a vizinhana |w| > 1/ de sempre que z pertence
a vizinhana 0 < |z z0 | < de z0 . Podemos reescrever a ltima expresso como

1

f(z) 0 < sempre que 0 < |z z0 | < ,

donde segue o segundo limite em (2.11).


O primeiro dos limites em (2.12) significa que, para todo > 0, existe > 0 tal que
1
|f(z) w0 | < sempre que |z| > .

Trocando z por 1/z, escrevemos


( )
1
f w < sempre que 0 < |z 0| < ,
z 0

chegamos ao segundo dos limites em (2.12).

34
Finalmente, o primeiro dos limites em (2.13) significa que, para todo > 0, existe um
> 0 tal que
1 1
|f(z)| > sempre que |z| > .

Trocando z por 1/z, obtemos

1
0 < sempre que 0 < |z 0| < ;
f(1/z)

e isto prova o segundo limite em (2.13).

Exemplo 2.13 Observe que

iz + 3 z+1
lim = desde que lim =0
z1 z+1 z1 iz + 3
e
2z + i (2/z) + i 2 + iz
lim = 2 desde que lim = lim = 2.
z z + 1 z0 (1/z) + 1 z0 1 + z

Alm disso,

2z 3 1 (1/z 2 ) + 1 z + z3
lim = desde que lim = lim = 0.
z z 2 + 1 z0 (2/z 3 ) 1 z0 2 z 3

2.5 Continuidade
Definio 2.3 Uma funo f contnua em um ponto z0 se todas as trs seguintes
condies so satisfeitas:

1. lim f(z) existe;


zz0

2. f(z0 ) existe

3. lim f(z) = f(z0 ).


zz0

Observe que a terceira condio diz que para todo > 0, existe um > 0 tal que

|f(z) f(z0 )| < sempre que |z z0 | < .

Uma funo de uma varivel complexa dita contnua em uma regio R quando for
contnua em cada ponto de R.
Se duas funes so contnuas num ponto, sua soma e produto tambm so contnuas
nesse ponto; o quociente contnuo em algum ponto onde o denominador no nulo. Note
tambm que, um polinmio contnuo em todo o plano.

Teorema 2.4 A composio de funes contnuas tambm contnua.

35
Demonstrao: Seja w = f(z) definida na vizinhana |z z0 | < de z0 e considere a
funo W = g(w), cujo domnio contm a imagem da vizinhana mensionada por f. A
composio W = g[f(z)] fica definida para todo z na vizinhana |z z0 | < . Suponha que
f contnua em z0 e que g contnua no ponto g(z0 ) no plano w. Como g contnua em
f(z0 ), para todo > 0, existe > 0 tal que
|g[f(z)] g[f(z0 )]| < sempre que |f(z) f(z0 )| < .

v V
y
g[f(z)]
f(z)
g e
d f(z0)
z0 z g[f(z0)]
0 x 0 u 0 U

Figura 11.

(Veja figura 11) Mas a continuidade de f em z0 garante que a vizinhana |z z0 | < pode
ser feita pequena o suficiente para que a segunda destas desigualdades se mantenha. A
continuidade da composio g[f(z)] , portanto, estabelecida.

Teorema 2.5 Se uma funo f(z) contnua num ponto z0 = 0, ento f(z) = 0 ao longo
de alguma vizinhana deste ponto.

Demonstrao: Assumindo que f(z) , de fato, contnua e diferente de zero em z0 , podemos


provar o teorema, tomando = |f(z0 )/2. Isso nos diz que existe > 0 tal que
|f(z0 )|
|f(z) f(z0 )| < sempre que |z z0 | < .
2
Assim, existe um ponto z na vizinhana |z z0 | < no qual f(z) = 0, e temos a contradio
|f(z0 )|
|f(z0 )| < ;
2
e o teorema est provado.
A continuidade de uma funo
f(z) = u(x, y) + iv(x, y)

est relacionada com a continuidade de duas componentes u(x, y) e v(x, y). Note que, a
funo f(z) contnua no ponto z0 = (x0 , y0 ) se, e somente se suas funes componentes
so contnuas neste ponto.
Por fim, suponha que f(z) contnua numa regio R que fechada e limitada. A funo

[u(x, y)]2 + [v(x, y)]2

contnua em R e ento atinge um valor mximo em algum ponto nessa regio. Isto , f
limitada em R e |f(z)| possui um valor mximo em R. Mais precisamente, existe M > 0
tal que
|f(z)| M, para todo z R.

36
2.6 Derivada
Definio 2.4 Seja f uma funo cujo domnio contm uma vizinhana do ponto z0 . A
derivada de f em z0 , escrita f (z0 ), definida pela equao

f(z) f(z0 )
f (z0 ) = lim , (2.14)
zz0 z z0

desde que este limite exista. A funo f dita diferencivel em z0 quando a derivada
existe neste ponto.

Expressando a varivel z na definio (2.14) em termos da nova varivel complexa

z = z z0

podemos escrever a definio como

f(z0 + z) f(z0 )
f (z0 ) = lim . (2.15)
z0 z

Note que, como f definida em toda uma vizinhana


de z0 , o nmero f(z0 + z) sempre definido para |z| y
suficientemente pequeno (Figura 12).
Na forma (2.15) podemos abandonar a notao com Dz
z0 e introduzir o nmero z0
Dz
w = f(z + z) f(z), z0 +
0 x
que denota a mudana no valor de f correspondente a Figura 12.
mundana z no ponto em que f est sendo calculada.
Ento, escrevemos dw/dz para f (z), e a equao (2.15)
se torna
dw w
= lim .
dz z0 z

Exemplo 2.14 Suponha que f(z) = z 2 . Em qualquer ponto z,

w (z + z)2 z 2
lim = lim = lim (2z + z) = 2z.
z0 z z0 z z0

desde que 2z + z um polinmio em z. Ento dw/dz = 2z, ou f (z) = 2z.

Exemplo 2.15 Considere agora a funo f(z) = |z|2 . Aqui

w |z + z|2 |z|2 (z + z)(z + z) zz z


= = = z + z + z .
z z z z

37
Se o limite de w/z existe, ele pode ser Dy
encontrado, deixando o ponto z = (x, y) se
aproximar da origem no plano z em qualquer (0,Dy)
direo. Em particular, quando z se aproxima da
origem horizontalmente atravs dos pontos (x, 0)
no eixo real (Figura 13),
(0,0) (Dx,0) Dx
z = x + i0 = x i0 = x + i0 = z.
Figura 13.

Neste caso,
w
= z + z + z.
z
Ento, se o limite existe, seu valor deve ser z + z. Por outro lado, quando z se aproxima
da origem verticalmente atravs dos pontos (0, y) no eixo imaginrio,

z = 0 + iy = (0 + iy) = z,

e encontramos
w
= z + z z.
z
Ento, o limite deve ser z z se existir. Pela unicidade do limite, dw/dz s poder existir
se
z + z = z z,

ou seja, z = 0. Para mostrar que, de fato, dw/dz existe em z = 0, precisamos apenas


observar que nossa expresso para w/z se reduz a z quando z = 0. Concluimos,
portanto, que dw/dz existe apenas em z = 0, e seu valor nesse ponto 0.
No exemplo anterior, observe que as partes real e imaginria de f(z) = |z|2 so

u(x, y) = x 2 + y2 e v(x, y) = 0,

Isto mostra que as componentes real e imaginria de uma funo de uma varivel complexa
podem ter derivadas parciais contnuas de todas as ordens em um ponto com a funo no
sendo diferencivel l.
A funo f(z) = |z|2 contnua em cada ponto no plano desde que suas componentes
seja contnuas em cada ponto. Assim, a continuidade de uma funo num ponto no implica
na existncia da derivada nesse ponto. No entanto, verdade que a existncia da derivada
de uma funo num ponto implica na continuidade da funo nesse ponto. Para ver isto,
assuma que f (z0 ) existe e escrevemos

f(z) f(z0 )
lim [f(z) f(z0 )] = lim lim (z z0 ) = f (z0 ) 0 = 0,
zz0 zz0 z z0 zz0

donde segue que


lim f(z) = f(z0 ).
zz0

ou seja, f contnua em z0 .

38
2.7 Frmulas de diferenciao
As frmulas de diferenciao bsica que veremos a seguir podem ser obtidas a partir
da definio de derivada, seguindo essencialmente os mesmos passos como os usados em
clculo. Nestas frmulas, a derivada de uma funo f em um ponto z denotada por
d
f(z) ou f (z).
dz

Seja c uma constante complexa e f, F duas funes funo diferenciveis em z. Temos


as seguintes frmulas:

d d d
1. c = 0, z = 1, [cf(z)] = cf (z);
dz dz dz
d n
2. z = nz n1 , n inteiro positivo. Esta frmula tambm vale quando n um inteiro
dz
negativo, desde que z = 0;
d
3. [f(z) + F (z)] = f (z) + F (z);
dz
d
4. [f(z)F (z)] = f(z)F (z) + f (z)F (z);
dz
[ ]
d f(z) F (z)f (z) f(z)F (z)
5. = , F (z) = 0.
dz F (z) [F (z)]2

Teorema 2.6 (Regra da Cadeia) Suponha que f possui derivada em z0 e que g possui
derivada em f(z0 ). Ento a funo F (z) = g[f(z)] possui derivada em z0 , e

F (z0 ) = g [f(z0 )]f (z0 ).

Se escrevemos w = f(z) e W = g(w), temos W = F (z), e a regra da cadeia se torna


dW dW dw
= .
dz dw dz

Demonstrao: Seja z0 um ponto onde f (z0 ) existe. Escrevemos w0 = f(z0 ) e tambm


assumimos que g (w0 ) existe. Ento, existe alguma vizinhana |w w0 | < de w0 tal que,
para todos os pontos w nesta vizinhana podemos definir uma funo tal que

0, quando w = w0
(w) = g(w) g(w0 ) .
g (w0 ), quando w = w0
w w0

Note que, pela definio de derivada

lim (w) = 0.
ww0

Ento contnua em w0 .

39
Agora, podemos usar a expresso de para obter a forma

g(w) g(w0 ) = [g (w0 ) + (w)](w w0 ), |w w0 | < ,

que vlida quando w = w0 ; e, desde que, f (z0 ) existe e f , portanto, contnua em z0 ,


podemos escolher > 0 tal que o ponto f(z) pertence a vizinhana |w w0 | < de w0
se z pertencer a vizinhana |z z0 | < de z0 . Assim, podemos substituir w na ltima
equao por f(z) quando z um ponto qualquer na vizinhana |z z0 | < . Com essa
substituio e com w0 = f(z0 ), a equao anterior torna-se
g[f(z)] g[f(z0 )] f(z) f(z0 )
= {g [f(z0 )] + [f(z)]} , 0 < |z z0 | < ,
z z0 z z0

onde devemos estipular que z = z0 . Como j observamos, f contnua em z0 e


contnua no ponto w0 = f(z0 ). Assim, a composio [f(z)] contnua em z0 ; e, uma vez
que (w0 ) = 0,
lim [f(z)] = 0.
zz0

o que finaliza a prova do teorema.

Exemplo 2.16 Para encontrar a derivada de (2z 2 + i)5 , escrevemos w = 2z 2 + i e W = w 5 .


Ento
d
(2z 2 + i)5 = 5w 4 4z = 20z(2z 2 + i)4 .
dz

2.8 Equaes de Cauchy-Riemann


Teorema 2.7 Suponha que
f(z) = u(x, y) + iv(x, y)

e que f (z) existe no ponto z0 = x0 + iy0 . Ento as derivadas parciais de primeira ordem
de u e v existem no ponto (x0 , y0 ) e satisfazem as equaes de Cauchy-Riemann

ux = vy , uy = vx

no ponto (x0 , y0 ). Alm disso, f (z0 ) pode ser escrita como

f (z0 ) = ux + ivx ,

onde as derivadas parciais so calculadas em (x0 , y0 ).

Demonstrao: Comeamos escrevendo z0 = x0 + iy0 , z = x + iy e

w = f(z0 + z) f(z0 )
= [u(x0 + x, y0 + y) u(x0 , y0 )] + i[v(x0 + x, y0 + y) v(x0 , y0 )].

Sabendo que a derivada


w
f (z0 ) = lim
z0 z

40
existe, obtemos
w w
f (z0 ) = lim Re +i lim Im . (2.16)
(x,y)(0,0) z (x,y)(0,0) z
Agora importante notar que a expresso anterior vlida quando (x, y) tende a
(0, 0) em qualquer direo. Em particular, faamos (x, y) tender a (0, 0) horizontalmente
atravs dos pontos (x, 0). Neste caso y = 0 e o quociente w/z torna-se
w u(x0 + x, y0 ) u(x0 , y0 ) v(x0 + x, y0 ) v(x0 , y0 )
= +i .
z x x
Ento
w u(x0 + x, y0 ) u(x0 , y0 )
lim Re = lim = ux (x0 , y0 )
(x,y)(0,0) z x0 x
e
w v(x0 + x, y0 ) v(x0 , y0 )
lim Im = lim = vx (x0 , y0 )
(x,y)(0,0) z x0 x
onde ux (x0 , y0 ) e vx (x0 , y0 ) denotam as derivadas parciais de primeira ordem com respeito
a x das funes u e v no ponto (x0 , y0 ). Substituindo esses limites na expresso (2.16),
obtemos
f (z0 ) = ux (x0 , y0 ) + iv(x0 , y0 ). (2.17)
Por outro lado, fazendo z tender a zero na direo vertical atravs dos pontos (0, y),
temos x = 0 e
w u(x0 , y0 + y) u(x0 , y0 ) v(x0 , y0 + y) v(x0 , y0 )
= +i
z iy iy
v(x0 , y0 + y) v(x0 , y0 ) u(x0 , y0 + y) u(x0 , y0 )
= i .
y y

Ento,
w v(x0 , y0 + y) v(x0 , y0 )
lim Re = lim = vy (x0 , y0 )
(x,y)(0,0) z y0 y
e
w u(x0 , y0 + y) u(x0 , y0 )
lim Im = lim = uy (x0 , y0 ).
(x,y)(0,0) z y0 y
Ento segue pela expresso (2.16) que
f (z0 ) = vy (x0 , y0 ) iuy (x0 , y0 ), (2.18)

onde as derivadas parciais de u e v so efetuadas com respeito a y. Note que a expresso


anterior pode ser reescrita como
f (z0 ) = i[uy (x0 , y0 ) + ivy (x0 , y0 )].

Pelas equaes (2.17) e (2.18) temos condies necessrias para a existncia de f (z0 ).
Igualando as partes real e imaginria nessas duas equaes, vemos que a existncia de
f (z0 ) exige que
ux (x0 , y0 ) = vy (x0 , y0 ) e uy (x0 , y0 ) = vx (x0 , y0 ),
que so conhecidas como equaes de Cauchy-Riemann. Assim, fica concluda a prova do
teorema.

41
Exemplo 2.17 Vimos que a funo

f(z) = z 2 = x 2 y2 + i2xy

diferencivel em todo o plano complex e f (z) = 2z. Para verificar que as equaes de
Cauchy-Riemann so satisfeitas em todo plano, note que

u(x, y) = x 2 y2 e v(x, y) = 2xy.

Ento
ux = 2x = vy , uy = 2y = vx .

Alm disso, podemos calcular f (z) da seguinte forma:

f (z) = 2x + i2y = 2(x + iy) = 2z.

Uma vez que as equaes de Cauchy-Riemann so condies necessrias para a


existncia da derivada de uma funo f em um ponto z0 , muitas vezes podemos utiliz-
las para localizar pontos onde f no possui derivada.

Exemplo 2.18 Quanto f(z) = |z|2 , temos

u(x, y) = x 2 + y2 e v(x, y) = 0.

Se as equaes de Cauchy-Riemann so satisfeitas num ponto (x, y), segue-se que 2x = 0


e 2y = 0, ou seja, x = y = 0. Conseqentemente, f (z) no existe em qualquer ponto
diferente de zero, como j foi visto anteriormente. Note que o teorema anterior no
assegura a existncia de f (0). O prximo teorema, no entanto, assegura isso.

Teorema 2.8 Seja f(z) = u(x, y) + iv(x, y) definida em toda uma vizinhana do ponto
z0 = x0 + iy0 , e suponha que as derivadas parciais de primeira ordem das funes u e
v com respeito a x e y existem em toda a vizinhana de z0 . Se essas derivadas parciais
forem contnuas em (x0 , y0 ) e satisfazem as equaes de Cauchy-Riemann

ux = vy , uy = vx

em (x0 , y0 ), ento f (z0 ) existe.

Demonstrao: Comeamos a demonstrao escrevendo z = x + iy, onde 0 < |z| <


, e
w = f(z0 + z) f(z0 ).

Ento w = u + iv, onde

u = u(x0 + x, y0 + y) u(x0 , y0 )

v = v(x0 + x, y0 + y) v(x0 , y0 ).

42
As hipteses de continuidade das derivadas parciais de primeira ordem de u e v no ponto
(x0 , y0 ), nos permintem escrever 1

u = ux (x0 , y0 )x + uy (x0 , y0 )y + 1 (x)2 + (y)2

e
v = vx (x0 , y0 )x + vy (x0 , y0 )y + 2 (x)2 + (y)2 ,
onde 1 e 2 tendem a 0 quando (x, y) se aproxima de (0, 0) no plano z. Substituindo
as ltimas expresses em w = u + iv, vem

w = ux (x0 , y0 )x + uy (x0 , y0 )y + 1 (x)2 + (y)2
[ ]
+i vx (x0 , y0 )x + vy (x0 , y0 )y + 2 (x)2 + (y)2 .

Sabendo que as equaes de Cauchy-Riemann so satisfeitas em (x0 , y0 ), podemos


substituir uy (x0 , y0 ) por vx (x0 , y0 ) e vy (x0 , y0 ) por ux (x0 , y0 ) na equao anterior e dividindo
tudo por z, obtemos

w (x)2 + (y)2
= ux (x0 , y0 ) + ivx (x0 , y0 ) + (1 + i2 ) . (2.19)
z z

Mas (x)2 + (y)2 = |z|, e assim

(x)2 + (y)2

= 1.
z

Alm disso, 1 + i2 tende a 0 quando (x, y) se aproxima de (0, 0). Assim, o ltimo
termo direita na equao (2.19) tende a 0 quando a varivel z = x + iy tende a 0.
Isso significa que o limite do lado esquerdo da equao (2.19) existe e que
f (z0 ) = ux + ivx ,

onde as derivadas parciais so calculadas em (x0 , y0 ).

Exemplo 2.19 Considere a funo exponencial


f(z) = ez = ex eiy , z = x + iy,

Pela frmula de Euler, esta funo pode ser escrita como


f(z) = ex cos y + iex sen y,

onde y deve ser tomado em radianos. Ento


u(x, y) = ex cos y e v(x, y) = ex sen y.

Desde que ux = vy e uy = vx em todo plano complexo e essas derivadas so contnuas


em todo plano, as condies do teorema anterior so satisfeitas em todos os pontos do
plano z. Ento f (z) existe em todo o plano complexo, e
f (z) = ux + ivx = ex cos y + iex sen y.

Note que f (z) = f(z).


1
Veja, por exemplo, a seo sobre diferenciabilidade do Clculo II do Thomas, ou um livro de Clculo
Avanado (este ltimo mais recomendado).

43
Exemplo 2.20 Tambm segue do teorema anterior que a funo f(z) = |z|2 , cujas
componentes so
u(x, y) = x 2 + y2 e v(x, y) = 0,

possui derivada em z = 0. De fato, f (0) = 0 + i0 = 0. Vimos que esta funo no pode


ter derivada em qualquer ponto diferente de zero, pois as equaes de Cauchy-Riemann
no so satisfeitas nesses pontos.

2.9 Coordenadas polares


Assumindo que z0 = 0, usaremos nesta seo a transformao de coordenadas
x = r cos , y = r sen .

Dependendo se ns escrevemos
z = x + iy ou z = rei , z = 0

quando w = f(z), as partes real e imaginria de w = u + iv so expressadas em termos


das variveis x e y ou r e . Suponha que as derivadas parciais de primeira ordem de u e
v em relao a x e y existe em toda parte de alguma vizinhana de um ponto z0 diferente
de zero e que so contnuas nesse ponto. As derivadas parciais de primeira ordem com
respeito a r e tambm tm essas propriedades, e a regra da cadeia para diferenciar
funes reais de duas variveis reais pode ser usada para escrev-las em termos de x e
y. Mais precisamente, desde que
u u x u y u u x u y
= + , = + ,
r x r y r x y

podemos escrever
ur = ux cos + uy sen , u = ux r sen + uy r cos . (2.20)

e
vr = vx cos + vy sen , v = vx r sen + vy r cos . (2.21)

Se as derivadas parciais com respeito a x e y satisfazem as equaes de Cauchy-


Riemann, ux = vy e uy = vx , em z0 , obtemos
vr = uy cos + ux sen , v = uy r sen + ux r cos

em z0 . Assim, claro pela equao (2.20) e pela anterior que


rur = v , u = rvr (2.22)

no ponto z0 .
Se, por outro lado, as equaes (2.22) so satisfeitas em z0 , muito simples mostrar
(Exerccio) que as equaes de Cauchy-Riemann nas variveis x e y tambm so vlidas
em z0 . Assim, as equaes (2.22) so as equaes de Cauchy-Riemann em coordenadas
polares.

44
Teorema 2.9 Seja f(z) = u(r, ) + iv(r, ) definida numa vizinhana de um nmero
complexo no nulo z0 = r0 exp(i0 ), e suponha que as derivadas parciais de primeira
ordem das funes u e v com respeito a r e , existem nesta vizinhana. Se essas
derivadas parciais so contnuas em (r0 , 0 ) e satisfazem as equao de Cauchy-Riemann
em coordenadas polares
rur = v , u = rvr

no ponto (r0 , 0 ), ento f (z0 ) existe.

A derivada f (z0 ) pode ser escrita como (Exerccio)

f (z0 ) = ei (ur + ivr ),

onde o lado direito da equao calculado no ponto (r0 , 0 ).

Exemplo 2.21 Considere a funo

1 1 1 1
f(z) = = i = ei = (cos i sen ), z = 0.
z re r r

Desde que
cos sen
u(r, ) = e v(r, ) = ,
r r
as condies do teorema anterior so satisfeitas em todo ponto z = rei no nulo no plano.
Em particular, as equaes de Cauchy-Riemann

cos sen
rur = = v e u = = rvr
r r

so satisfeitas. Ento a derivada de f existe quando z = 0; e, portanto,


( )
i cos sen ei 1 1
f (z) = e 2 +i 2 = ei 2 = i 2 = 2 .
r r r (re ) z

Exemplo 2.22 O teorema anterior pode ser utilizado para mostrar que, quando um
nmero real fixado, a funo

f(z) = 3 rei/3 , r > 0, < < + 2

possui derivada em todo seu domnio de definio. Aqui



3

u(r, ) = r cos e v(r, ) = 3 r sen .
3 3

Como
3
r 3
r
rur = cos = v e u = sen = rvr
3 3 3 3

45
e as outras condies do teorema so satisfeitas, a derivada f (z) existe em cada ponto
onde f(z) est definida. Logo,
[ ]
1 1
f (z) = ei ( )2 cos + i ( )2 sen
3 3r 3 3 3r 3

ou
ei i/3 1 1
f (z) = ( ) 2
e = ( ) 2
= .
3 3r 3 3 rei/3 3 [f(z)]2

Note que quando um ponto especfico z tomado no domnio de definio de f, o valor


de f(z) um valor de z 1/3 . Portanto, esta ltima expresso para f (z) pode ser colocada
na forma
d 1/3 1
z =
dz 3 (z 1/3 )2
quando este valor tomado.

2.10 Funes analticas


Definio 2.5 Uma funo f de uma varivel complexa z analtica num conjunto aberto
se ela tem uma derivada em cada ponto do conjunto. Quando falamos de uma funo f que
analtica em um conjunto S que no aberto, devemos entender que f analtica em
um conjunto aberto contendo S. Em particular, f analtica em um ponto z0 se analtica
em alguma vizinhana de z0 .

Notamos, por exemplo, que a funo f(z) = 1/z analtica em cada ponto diferente de
zero no plano finito. Mas a funo f(z) = |z|2 no analtica em ponto algum, pois sua
derivada existe apenas em z = 0 e no em alguma vizinhana desse ponto.

Definio 2.6 Uma funo inteira uma funo que analtica em cada ponto no plano
finito.

Desde que a derivada de um polinmio existe em qualquer ponto, segue-se que cada
funo polinomial uma funo inteira.

Definio 2.7 Se uma funo f no analtica em um ponto z0 , mas analtica em alguma


vizinhana do ponto z0 , dizemos que z0 ponto singular, ou singularidade, de f.

O ponto z = 0 , evidentemente, um ponto singular da funo f(2) = 1/z. A funo


f(z) = |z|2 , por outro lado, no tem pontos singulares, uma vez que no nem analtica.
Uma condio necessria, mas no suficiente, para que uma funo f seja analtica
em um domnio D a continuidade de f ao longo D. A satisfao das equaes de
Cauchy-Riemann tambm necessrio, mas no suficiente. Condies suficientes para
analiticidade em D j foram fornecidas nas sees anteriores.

46
Assim, se duas funes so analticas em um domnio D, a sua soma e seus produtos
tambm so analticas em D. Da mesma forma, o quociente analtico em D desde que a
funo no denominador no se anule em qualquer ponto de D. Em particular, o quociente
de P(z)/Q(z) de dois polinmios analtica em qualquer domnio no qual Q(z) = 0.
Da regra da cadeia para a derivada de uma funo composta, temos que a composio
de duas funes analticas analtica. Mais precisamente, suponha que uma funo f(z)
analtica em um domnio D e que a imagem de D pela transformao w = f(z) est contida
no domnio de definio de uma funo g(w). Ento a composio g[f(z)] analtica em
D, com derivativa
d
g[f(z)] = g [f(z)]f (z).
dz
O seguinte teorema especialmente til, alm de esperado.

Teorema 2.10 Se f (z) = 0 num domnio D, ento f(z) constante em D.

Demonstrao: Comeamos a demonstrao escrevendo f(z) = u(x, y) + iv(x, y).


Assumindo que f (z) = 0 em D, notamos que ux + ivx = 0; e, pelas equaes de Cauchy-
Riemann, vy iuy = 0. Consequentemente,

ux = uy = vx = vy = 0

em cada ponto de D.
Agora, mostremos que u(x, y) constante ao
longo de qualquer segmento de reta L ligando um y
ponto P a um ponto P e inteiramente contido em D.
Seja o parmetro s denotando a distncia ao longo L D
de L a partir do ponto P e seja U um vetor unitrio U P
ao longo de L na direo crescente de s (ver figura z0 Q
14). Sabemos do clculo que a derivada direcional
du/ds pode ser escrita como o produto escalar 0 x
Figura 14.
du
= (grad u) U,
ds

onde grad u o vetor gradiente

grad u = ux i + uy j.

Como ux e uy so iguais a zero em todos os pontos de D, ento grad = 0 em todos os


pontos de L. Da, segue pela equao anterior que a derivad adu/ds zero ao longo L; e
isso significa que u constante em L.
Finalmente, como existe sempre um nmero finito de tais segmentos de reta conectando
dois pontos quaisquer P e Q em D (Sec. lo), os valores de u em P e Q deve ser o mesmo.
Podemos concluir, ento, que existe uma constante real a tal que u(x, y) = a todo D. Da
mesma forma, u(x, y) = b, e vemos que f(z) = a + bi em cada ponto de D.

47
Exemplo 2.23 O quociente
z3 + 4
f(z) =
(z 2 3)(z 2 + 1)

evidentemente analtico em todo plano z exceto nos pontos singulares z = 3 e z = i.

Exemplo 2.24 Quando

f(z) = cosh x cos y + i senh x sen y,

as funes componentes so

u(x, y) = cosh x cos y e v(x, y) = senh x sen y.

Como
ux = senh x cos y = vy e uy = cosh x sen y = vx

em todo plano, f inteira.

Exemplo 2.25 Suponha que uma funo

f(z) = u(x, y) + iv(x, y)

e seu conjugado
f(z) = u(x, y) iv(x, y)

so ambas analticas num domnio D. fcil mostrar que f(z) constante em D.


Para ver isto, escrevemos f(z) como

f(z) = U(x, y) + iV (x, y),

onde
U(x, y) = u(x, y) e V (x, y) = v(x, y). (2.23)

Pela analiticidade de f(z), as equaes de Cauchy-Riemann

ux = vy , uy = vx

so vlidas em D. Alm disso, a analiticidade de f(z) em D nos diz que

Ux = Vy , Uy = Vx .

Por (2.23), obtemos


ux = vy , uy = vx .

Adicionando a primeira das equaes anteriores com a primeira das de Cauchy-Riemann,


obtemos ux = 0 em D. Semelhantemente, subtraindo as segundas, obtemos vx = 0.
Portanto,
f (z) = ux + ivx = 0 + i0 = 0;

e segue do teorema anterior que f(z) constante em D.

48
2.11 Funes harmnicas
Definio 2.8 Uma funo real H de duas variveis reais x e y harmnica em um dado
domnio no plano xy se, em todo seu domnio, ela possui derivadas parciais de primeira e
segunda ordem e satisfazem a equao diferencial parcial

Hxx (x, y) + Hyy (x, y) = 0,

conhecida como equao de Laplace;

Funes harmnicas desempenham um papel importante em matemtica aplicada. Por


exemplo, a temperatura T (x, y) em chapas finas deitada no plano xy so muitas vezes
harmnicas. A funo V (x, y) harmnica quando denota um potencial eletrosttico que
varia apenas com x e y no interior de uma regio do espao tridimensional que livre de
cargas.

Exemplo 2.26 fcil verificar que a funo T (x, y) = ey sen x harmnica num domnio
do plano xy e, em particular, no semi-plano vertical 0 < x < , y > 0.

Esta funo tambm assume os valores nas bordas da


faixa que so indicados na figura 15. Mais precisamente, y
ela satisfaz todas as condies

Txx (x, y) + Tyy (x, y) = 0,

T (0, y) = 0, T (, y) = 0, T = 0 Txx + Tyy = 0 T=0


T (x, 0) = sen x, lim T (x, y) = 0,
y

que descrevem temperaturas estveis T (x, y) em uma


placa fina homognea no plano xy que no tem fontes de 0 T = sen x p x
calor ou sumidouros e isolada, exceto para as condies
estabelecidas ao longo das bordas. Figura 15.

Teorema 2.11 Se uma funo f(z) = u(x, y) + iv(x, y) analtica num domnio D, as suas
funes componentes u e v so harmnicas em D.

Demonstrao: Para mostrar isso, precisamos de um resultado que ser provado no


Captulo 4, ou seja, se uma funo de uma varivel complexa analtica em um ponto,
ento a suas partes real e imaginria tm derivadas parciais contnuas de todas as ordens
nesse ponto.
Assumindo que f analtica em D, comeamos com a observao de que as derivadas
parciais de primeira ordem das funes componentes devem satisfazer as equaes de
Cauchy-Riemann em D:
ux = vy , uy = vx .

Diferenciando ambos os lados das equaes anteriores com relao a x, temos

uxx = vyx , uyx = vxx .

49
Agora, diferenciando com respeito a y, obtemos

uxy = vyy , uyy = vxy .

Por um teorema do Clculo Avanado, a continuidade das derivadas parciais de u e v


garante que uyx = uxy e vyx = vxy ; este fato juntamente com as equaes anteriores nos
fornecem
uxx + uyy = 0 e vxx + vyy = 0.

Isto , u e v so harmnicas em D.

Exemplo 2.27 A funo f(z) = ey sen x iey cos x inteira (Exerccio). Ento, sua parte
real, que a funo temperatura T (x, y) = ey sen x, harmnica em todo plano xy.

Exemplo 2.28 Desde que a funo f(z) = i/z 2 analtica sempre que z = 0 e

i i z2 iz 2 iz 2 2xy + i(x 2 y2 )
= = = = ,
z2 z2 z2 (zz)2 |z|4 (x 2 + y2 )2

As funes
2xy x 2 y2
u(x, y) = e v(x, y) =
(x 2 + y2 )2 (x 2 + y2 )2
so harmnicas em qualquer domnio do plano xy que no contm a origem.

Definio 2.9 Se duas funes u e v so harmnicas num domnio D e suas derivadas


parciais de primeira ordem satisfazem as equaes de Cauchy-Riemann em D, v dita um
conjugado harmnico de u.

Teorema 2.12 Uma funo f(z) = u(x, y)+iv(x, y) analtica num domnio D se, e somente
se v um conjugado harmnico de u.

Demonstrao: A prova fcil. Se v um conjugado harmnico de u em D, f analtica


em D. Por outro lado, se f analtica em D, sabemos do teorema anterior que u e v so
harmnicas em D e, portanto, as equaes de Cauchy-Riemann so satisfeitas.
O exemplo a seguir mostra que, se v um conjugado harmnico de u em algum domnio,
no , em geral, verdade que u um conjugado harmnico de v neste domnio.

Exemplo 2.29 Suponha que

u(x, y) = x 2 y2 e v(x, y) = 2xy.

Desde que estas so as componentes real e imaginria, da funo inteira f(z) = z 2 ,


sabemos que v um conjugado harmnico de u no plano. Mas, u no pode ser um
conjugado harmnico de v, pois a funo 2xy + i(x 2 y2 ) no analtica em ponto algum
do plano.

50
Exemplo 2.30 Vamos agora ilustrar um mtodo para obter um conjugado harmnico de
uma determinada funo harmnica. fcil ver que a funo

u(x, y) = y3 3x 2 y

harmnica em todo o plano xy. Desde que um conjugado harmnico v(x, y) est
relacionado com u(x, y) por meio das equaes de Cauchy-Riemann

ux = vy , uy = vx ,

a primeira destas equaes nos diz que

vy (x, y) = 6xy.

Deixando x fixo e integrando cada lado com respeito a y, obtemos

v(x, y) = 3xy2 + (x),

onde uma funo arbitrria de x. Usando a segunda das equaes de Cauchy-Riemann,


temos
3y2 3x 2 = 3y2 (x),

ou (x) = 3x 2 . Ento (x) = x 3 + C , onde C um nmero real arbitrrio. Ento,

v(x, y) = 3xy2 + x 3 + C

um conjugado harmnico de u(x, y).


A funo analtica correspondente

f(z) = (y3 3x 2 y) + i(3xy2 + x 3 + C ).

A forma f(z) = i(z 3 + C ) desta funo facilmente verificada e sugerida observando que,
quando y = 0, a expresso anterior torna-se f(x) = i(x 3 + C ).

51
Captulo 3

Funes Elementares

3.1 A funo exponencial


Definio 3.1 (Funo exponencial) Definimos a funo exponencial ez escrevendo

ez = ex eiy , z = x + iy (3.1)

onde a frmula de Euler eiy = cos y + i sen y usada e y tomado em radianos.

Segue da definio anterior que ez se reduz a funo exponencial habitual do clculo


quando y = 0; escrevemos, tambm, exp z para ez . De acordo com a expresso (3.1),
ex eiy = ex+iy , o que sugerido da propriedade ex1 ex2 = ex1 +x2 de ex em clculo.
Assim como no clculo, so vlidas as seguintes propriedades para a funo
exponencial:

1. ez1 ez2 = ez1 +z2 ;


ez1
2. = ez1 z2 ;
ez2
d z
3. e = ez em todo plano z;
dz
4. ez = 0 para todo z C.

De fato, sejam z1 = x1 + iy1 e z2 = x2 + iy2 . Ento

ez1 ez2 = (ex1 eiy1 )(ex2 eiy2 ) = (ex1 ex2 )(eiy1 eiy2 ).

Como x1 , x2 R e eiy1 eiy2 = ei(y1 +y2 ) (produto de nmeros complexos na forma exponencial)
segue que
ez1 z2 = ex1 +x2 ei(y1 +y2 )

e, desde que

z1 + z2 = (x1 + iy1 ) + (x2 + iy2 ) = (x1 + x2 ) + i(y1 + y2 )

52
temos estabelecido a propriedade 1. Para provar 2 basta escrever ez1 z2 ez2 = ez1 , ou seja,
ez1
z
= ez1 z2 .
e 2

De 2 e do fato de e0 = 1, segue que 1/ez = ez . A propriedade 3 j foi provada no captulo


anterior; ela nos diz que ez uma funo inteira.
Finalmente, para justificar 4, escreva (3.1) na forma

ez = ei onde = ex e = y,

ou seja,
|ez | = ex e arg(ez ) = y + 2n, n = 0, 1, 2, . . . .

A afirmao 4 segue do fato de |ez | = ex > 0.


Porm, algumas propriedades de ez no so esperadas. Por exemplo, desde que

ez+2i = ez e2i e e2i = 1,

vemos que ez peridica, com perodo puramente imaginrio 2i:

ez+2i = ez .

O prximo exemplo ilustra outra propriedade de ez que ex no possui; enquanto ex


nunca negativo, existem valores tais que ez negativo.

Exemplo 3.1 Existem valores de z tais que ez = 1. Para encontr-los, escreva

ez = 1 = 1ei

e por igualdade de nmeros complexos na forma exponencial, segue que

ex = 1 e y = + 2n, n = 0, 1, 2, . . . .

Ento x = 0, e encontramos os valores

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

3.2 A funo logartmica


Nossa motivao para a defino da funo logartmica baseada na resoluo da
equao
ew = z (3.2)

para w, onde z = 0 arbitrrio. Para isto, note que quando z e w so escritos como
z = rei ( < < ) e w = u + iv, a equao (3.2) se torna

eu eiv = rei .

53
Ento, por igualdade de nmeros complexos na forma exponencial,

eu = r e v = + 2n

onde n um inteiro qualquer. Como eu = r o mesmo que u = ln r, segue que (3.2)


satisfeita se, e somente se w assumir um dos valores

w = ln r + i( + 2n), n = 0, 1, 2, . . . .

Definio 3.2 (Funo logartmica) Definimos a funo loagrtmica (multivalente) log z


escrevendo
log z = ln r + i( + 2n), n = 0, 1, 2, . . . . (3.3)

Temos a relao simples


elog z = z, z = 0

que serve para motivar a defino anterior, quando z = rei um complexo no nulo.

Exemplo 3.2 Se z = 1 3i, ento r = 2 e = 2/3. Ento
( ) ( )
2 1
log(1 3i) = ln 2 + i + 2n = ln 2 + 2 n i, n = 0, 1, 2, . . . .
3 3

Queremos enfatizar tambm, que log(ez ) nem sempre resulta no nmero complexo z.
Mais precisamente, desde que (3.3) pode ser escrita como

log z = ln |z| + i arg z

e como
|ez | = ex e arg(ez ) = y + 2n, n = 0, 1, 2, . . .

onde z = x + iy, obtemos

log(ez ) = ln |ez | + i arg(ez ) = ln(ex ) + i(y + 2n) = (x + iy) + 2ni, n = 0, 1, 2, . . . ,

Definio 3.3 (Valor principal) O valor principal de log z o valor obtido de (3.3) quando
n = 0 e denotado por Log z, isto ,

Log z = ln r + i.

Note que Log z define uma funo quando z = 0 e que

log z = Log z + 2n, n = 0, 1, 2, . . . .

Quando z = r um nmero real positivo, este logartmo se reduz ao logartmo usual do


clculo. Para ver isto, escreva z = rei0 e obtemos Log z = lnr.

54
Exemplo 3.3 Pela expresso (3.3), encontramos

log 1 = ln 1 + i(0 + 2n) = 2ni, n = 0, 1, 2, . . .

e Log 1 = 0.

No clculo no possvel definir o logaritmo de um nmero negativo. Mas aqui isto


possvel.

Exemplo 3.4 Observe que

log(1) = ln 1 + i( + 2n) = (2n + 1)i, n = 0, 1, 2, . . .

e que Log(1) = i.

3.3 Ramos e derivadas de logaritmos

3.4 Algumas identidades envolvendo logartmos

3.5 Expoentes complexos

3.6 Funes trigonomtricas

3.7 Funes hiperblicas

3.8 Funes trigonomtrica e hiperblica inversas

55
Captulo 4

Integrais

4.1 Derivadas de funes w(t)


Definio 4.1 Seja w(t) uma funo complexa na varivel t R escrita como

w(t) = u(t) + iv(t) (4.1)

dw
onde u e v so funes reais na varivel t. A derivada (t) dada por
dt
w (t) = u (t) + iv (t),

desde que existam as derivadas u e v em t.

Considerando z0 = x0 + iy0 uma constante complexa, possvel mostrar com auxlio de


derivadas reias as seguintes propriedades:

d
1. [z0 w(t)] = z0 w (t);
dt
d z0 t
2. e = z0 ez0 t .
dt
Porm, nem toda regra de derivao do clculo real vale para funes do tipo (4.1).

Exemplo 4.1 Seja w(t) contnua no intervalo [a, b], ou seja, as funes u(t) e v(t) so
contnuas neste intervalo. Nem sempre existe c (a, b) tal que
w(b) w(a)
w (c) = (Teorema do Valor Mdio).
ba

Por exemplo, considere a funo w(t) = eit com t [0, 2]. Temos

|w (t)| = |ieit | = |i||eit | = 1 para todo t [0, 2]

Mas, [w(2) w(0)]/2 = 0, ou seja, o Teorema do Valor Mdio no satisfeito neste


caso.

56
4.2 Integrais definidas de funes w(t)
Definio 4.2 A integral definida da funo complexa w(t) na varivel t [a, b]
b b b
w(t)dt = u(t)dt + i v(t)dt,
a a a

onde as integrais no lado direito existem.

Se K uma constante complexa e w e g so funes complexas na varivel real t,


temos as seguinte propriedades imediatas:
b b b
1. [K w(t) + g(t)]dt = K w(t)dt + g(t)dt;
a a a
b b b
2. Re w(t)dt = u(t)dt = Re[w(t)]dt;
a a a
b b b
3. Im w(t)dt = v(t)dt = Im[w(t)]dt;
a a a
b

b
4. w(t)dt a |w(t)|dt, a b.
a

As propriedades 2 e 3 j esto justificadas. Deixaremos a propriedade 1 como exerccio


b
e provaremos a propriedade 4. Para isto, seja a w(t)dt = r0 ei0 , onde r0 e 0 denotam,
b
respectivamente, o mdulo e o argumento do nmero complexo a w(t)dt. Logo
b b b
i0 i0
r0 = e
w(t)dt = Re e w(t)dt = Re[ei0 w(t)]dt
a a a
b b
i0
|e w(t)|dt = |w(t)|dt
a a

e, portanto
b b
r0 = w(t)dt |w(t)|dt, a b.
a a

1 1 1 [ ]1
2 2 t3 [ ]1 2
Exemplo 4.2 (1 + it) dt = (1 t )dt + i 2tdt = t + i t 2 0 = + i.
0 0 0 3 0 3

Ressaltamos aqui que integrais imprprias para funes w(t) so definidas de modo
similar. Alm disso chamamos ateno para o fato de que, em w(t), as funes componentes
u(t) e v(t) devem ser seccionalmente contnuas, que o mesmo que contnuas por partes,
no intervalo (a, b). Observamos ainda a validade da seguinte regra
O teorema seguinte a verso em Variveis Complexas de um importante resultado no
Clculo. Trata-se do conhecido Teorema Fundamental do Clculo para funes complexas
numa varivel real.

57
Teorema 4.1 (Teorema Fundamental do Clculo) Suponha que as funes

w(t) = u(t) + iv(t) e W (t) = U(t) + iV (t)

sejam contnuas em t [a, b]. Se W (t) = w(t) ento


b
w(t)dt = W (b) W (a).
a

Demonstrao: Temos,

W (t) = U (t) + iV (t) = w(t) = u(t) + iv(t)

implicando,
U (t) = u(t) e V (t) = v(t).

Logo,
b b b
w(t)dt = u(t)dt + i v(t)dt = U(b) U(a) + i[V (b) V (a)]
a a a
= [U(b) + iV (b)] [U(a) + iV (a)] = W (b) W (a).

Exemplo 4.3 Desde que (ieit ) = i2 eit = eit , obtemos


/4 ( )
[ ]/4 1 1
e dt = ieit 0 = iei/4 + i = i
it
+ i +i
0
( ) 2 2
1 1
= + 1 i.
2 2

4.3 Caminhos
Nosso objetivo nessa seo definir integrais de funes de uma varivel complexa
sobre curvas no plano complexo.

Definio 4.3 (Arco) Definimos um arco C no plano complexo como sendo o conjunto

C = {z(t) = x(t) + iy(t); x, y funes contnuas em t [a, b]} (4.2)

conforme Figura 4.1.

58
y
z(b)
b C
z z(t) = x(t) + iy(t)
t

a z(a)
x
0

Figura 4.1: Curva C parametrizada.

A definio anterior de arco nos sugere uma orientao para o arco de acordo com
o sentido de crescimento do parmetro t (neste caso, C tambm chamada de curva
parametrizada).

Definio 4.4 (Arco simples e curva simples fechada) O arco C dito um arco simples
(ou arco de Jordan) se t1 = t2 z(t1 ) = z(t2 ), isto , C um arco que no possui
autointersees. Quando C um arco simples, exceto pelo fato de z(a) = z(b), C dito
uma curva simples fechada (ou curva de Jordan).

Exemplo 4.4 A linha poligonal


{
x + ix, 0 x 1
z=
x + i, 1 x 2

um exemplo de arco simples.


y

x
0 1 2

Figura 4.2: Linha poligonal ligando os pontos 0 e 2 + i.

Exemplo 4.5 O crculo unitrio orientado no sentido anti-horrio


z(t) = eit , 0 t 2

uma curva simples fechada, assim como o crculo z = z0 + Reit , 0 t 2 centrado em


z0 e com raio R > 0.

Exemplo 4.6 O arco


z = ei = cos i sen , 0 2

um crculo unitrio orientado no sentido horrio. Trata-se de mais uma curva simples
fechada.

59
Exemplo 4.7 Os pontos do arco

z = ei2 , 0 2

so os mesmos dos exemplos anteriores, diferindo apenas por percorrerem duas voltas no
sentido anti-horrio. Este arco tambm uma curva simples fechada.

Proposio 4.1 A representao paramtrica de um arco C no nica.

Demonstrao: Com efeito, suponha que t = (), [, ] onde : [, ] [a, b] uma


funo real e que C um arco escrito na forma (4.2). Assuma que a funo contnua,
com derivada de primeira ordem tambm contnua e () > 0 para todo (, ), ou
seja, uma funo crescente (Veja Figura 4.3). O leitor deve observar que sempre existe
uma funo com tais prerrogativas.
y
b z(b)
f C
z(t) = x(t) + iy(t)
t = f(t) z

z(a)
a x
0
a t b

Figura 4.3: Mudana do parmetro t para o parmetro .

Assim, z(t) = z[()], e portanto,

z = Z ().

Definio 4.5 (Arco diferencivel e comprimento de arco) Suponha que em z (t) =


x (t) + iy (t), as componentes x (t) e y (t) so contnuas em t [a, b]. O arco ento
chamado arco diferencivel. O comprimento do arco C o nmero
b
L= |z (t)|dt.
a

O valor L invariante por mudana de parmetro que representa o arco C . De


fato, utilizando as terminologias da ltima demonstrao temos dt/d = () e Z () =
z (()) (), com () > 0, donde segue que
b

L= |z (t)|dt = |z (())| ()d
a

= |Z ()|d = L.

60
Definio 4.6 (Arco suave e vetor tangente) Se C um arco diferencivel com z (t) = 0,
para todo t (a, b), C chamado de arco suave. O vetor tangente unitrio

z (t)
T =
|z (t)|

definido para todo t (a, b) com nglo de inclinao arg z (t).

Definio 4.7 (Caminhos) Um caminho uma cadeia contnua de um nmero finito de


arcos suaves. Se o caminho fechado e no se intercecta temos um caminho fechado (ou
curva de Jordan).

4.4 Integrais Curvilneas


Seja f(z) definida ao longo de um caminho C que se extende de z = z1 a z = z2 no
plano-z. Escrevemos z2
f(z)dz ou f(z)dz
C z1

para denotar a integral curvilnea de f(z) ao longo de C ;


Para construir a integral complexa anterior,
seguimos os seguintes passos: y
C
1. Seja f(z) definida sobre uma curva suave C no zk zn
plano complexo definida parametricamente por z*k
z(t) = x(t) + iy(t), a t b; zk-1

2. Seja P uma partio de [a, b] em n subintervalos


z*1 z2
[tk1 , tk ] de comprimento tk = tk tk1 :
z0 z1
a = t0 < t1 < t2 < < tn1 < tn = b. x
0
A partio P induz uma partio da curva C em Figura 4.4: Partio da curva C .
n subarcos conforme Figura 4.4. Seja zk =
zk zk1 , k = 1, 2, . . . , n;

3. Seja ||P|| a norma da partio P de [a, b], isto ,


o comprimento do maior intervalo;

4. Seja zk = xk + iyk um ponto em cada subarco de


C (Figura 4.4);

5. Formamos n produtos f(zk )zk , k = 1, 2, . . . , n e


o somamos: n

f(zk )zk .
k=1

61
Definio 4.8 (Integral curvilnea) A integral curvilnea de f em C
n

f(z)dz = lim f(zk )zk . (4.3)
C ||P||0
k=1

Se o limite em (4.3) existir, dizemos que f integrvel em C . O limite existe sempre


que f for contnua (ou seccionalmente contnua) em todos os pontos de C e C for uma
curva suave ou um caminho.
Para facilitar o clculo de uma integral curvilnea, escrevemos (4.3) de forma abreviada.
Se substituirmos f(z) por u + iv e z por x + iy, obtemos

f(z)dz = lim (u + iv)(x + iy)
C
[ ]
= lim (ux vy) + i (vx + uy) .

A interpretao da ltima linha nos fornece



f(z)dz = udx vdy + i vdx + udy,
C C C


ou seja, as partes real e imaginria de C f(z)dz so integrais de linha. Se x = x(t) e
y = y(t), a t b, forem equaes paramtricas de C , dx = x (t)dt e dy = y (t)dt.
Substituindo x, y, dx e dy por x(t), y(t), x (t) e y (t) no lado direito da ltima equao,
obtemos
b b

[u(x(t), y(t))x (t) v(x(t), y(t))y (t)]dt + i [v(x(t), y(t))x (t) + u(x(t), y(t))y (t)]dt.
a a

b
Se z(t) = x(t) + iy(t), a ltima expresso igual a a
f[z(t)]z (t)dt, pois o integrando
anterior a multiplicao

f[z(t)]z (t) = [u(x(t), y(t)) + iv(x(t), y(t))][x (t) + iy (t)].

Com isto, obtemos uma forma prtica para calcular integrais curvilneas:

Proposio 4.2 (Clculo de uma integral curvilnea) Suponha que C = {z = z(t)


C; t [a, b]} seja o caminho que liga os pontos z1 = z(a) e z2 = z(b) e que f(z) seja
seccionalmente contnua sobre C , isto , f[z(t)] seccionalmente contnua no intervalo
[a, b]. A integral curvilnea de f ao longo de C
b
f(z)dz = f[z(t)]z (t)dt.
C a

Neste caso, fcil verificar as seguintes propriedades:



1. z0 f(z)dz = z0 f(z)dz, onde z0 C uma constante;
C C

62

2. [f(z) g(z)]dz = f(z)dz g(z)dz;
C C C

3. f(z)dz = f(z)dz.
C C

Considere agora um caminho C = C1 + C2 ligando os pontos z1 e z3 e contendo um


ponto z2 , onde C1 um arco de z1 at z2 e C2 um arco de z2 at z3 , conforme a Figura 4.5.
Ento, existe c (a, b) tal que z(c) = z2 . Consequentemente, temos as representaes

C1 = {z = z(t) C; t [a, c]} e C2 = {z = z(t) C; t [c, b]},

y
C1 z2

C2 z3
C
z1
x
0

Figura 4.5: Caminho C = C1 + C2 .

e como
b c b

f[z(t)]z (t)dt = f[z(t)]z (t)dt + f[z(t)]z (t)dt
a a c

obtemos tambm a seguinte propriedade:



f(z)dz = f(z)dz + f(z)dz.
C C1 C2

y
Exemplo 4.8 Encontre o valor de
2i
I= zdz, C
C

onde C o lado direito do crculo |z| = 2 ligando 2i x


a 2i (Figura 4.6), dado por 0

z = 2ei ,
2 2
-2i
Por definio,
Figura 4.6: Lado direito do crculo C : |z| =
/2 2.
I = zdz = f[z()]z ()d
C /2
/2
= 2ei (2ei ) d
/2

63
( )
e, desde que ei = ei e ei = iei , obtemos
/2 /2
i i
I= 2e 2ie d = 4i d = 4i.
/2 /2

Observe que se z pertence ao crculo |z| = 2, ento |z|2 = zz = 4, ou seja, z = 4/z. Como
I = 4i, deduzimos
dz
= i.
C z

Exemplo 4.9 Seja C1 o caminho ilustrado na Figura 4.7, denotado por OAB. Ento,

f(z)dz = f(z)dz + f(z)dz.
C1 OA AB

Considere f(z) = y x i3x 2 , onde aqui escrevemos


z = x + iy. O segmento OA representado y
parametricamente por
i B
z = 0 + iy, 0y1 A 1+i
C1
e sobre este seguimento temos f(z) = y, pois x = 0. C2
Consequentemente
1 1 x
i O
f(z)dz = yidy = i ydy = .
OA 0 0 2 Figura 4.7: Caminhos OAB e OB.

J o segmento AB representado parametricamente


por
z = x + i, 0 x 1,

e f(z) = 1 x i3x 2 , donde


1 1 1
2 1
f(z)dz = (1 x i3x ) 1dx = (1 x)dx 3i x 2 dx = i.
AB 0 0 0 2

Logo,
1+i
i 1 1i
f(z)dz = f(z)dz = + i= .
0 C1 2 2 2
Agora, se C2 denota o segmento OB (Figura 4.7), que a reta cuja equao y = x, sua
representao paramtrica
z = x + ix, 0 x 1.

Da,
1+i 1 1
2
f(z)dz = f(z)dz = (x x i3x )(1 + i)dx = i3x 2 (1 + i)dx
0 C2 0 0
1
= 3(1 i) x 2 dx = 1 i.
0

64
Finalmente podemos calcular a integral da funo f(z) ao longo do caminho OABO:

1i 1 + i
f(z)dz = f(z)dz + f(z)dz = f(z)dz f(z)dz = 1+i = .
OABO C1 C2 C1 C2 2 2

Exemplo 4.10 Seja C um arco suave denotado por


z = z(t), t [a, b],

com extremidades nos pontos z1 e z2 . Sabendo que


d [z(t)]2
= z(t)z (t),
dt 2
encontramos,

z2 b
[z(t)]2 b [z(b)]2 [z(a)]2
zdz = zdz = z(t)z (t)dt = =
z1 C a 2 a 2
z22 z12
= ,
2
isto , o valor da integral anterior independe do arco C utilizado para ligar os pontos z1
e z2 .

Exemplo 4.11 Seja C o caminho semicircular


z = 3ei , 0

ligando os pontos z = 3 e z = 3.

Embora o ramo i
f(z) = re 2 , r > 0, 0 < < 2
da funo multivalente z 1/2 no esteja definida em
z = 3 (veja Figura 4.8), a integral y

I= z 1/2 dz
C
C
existe em relao a esse ramo, pois o integrando
seccionalmente contnuo sobre o caminho C . Com
efeito, quando z() = 3ei temos x
-3 0 3

f[z()] = 3ei 2 = 3 cos + i 3 sin , 0 < .
2 2 Figura 4.8: Semi crculo superior de raio 3.
Neste caso a funo no est definida no eixo real

positivo.
Se 0, 3 cos 2 converge para 3 e 3 sin 2
converge
para 0, ou seja, f[z()] contnua no intervalo [0, ] quando seu valor em = 0
3. Consequentemente,
[ ] [ ]
i 2 i
i 3 2 i 3 2 i 3 2 0
I = 3e 3ie d = 3 3i e 2 d = 3 3i e 2 = 3 3i e 2 e
0 0 3i 0 3i 3i
[ ] [ ]
2 2 2
= 3 3i = 3 3i (1 + i) = 2 3(1 + i).
3 3i 3i

65
4.5 Limitao superior para o mdulo de integrais
Quando C representa um caminho z = z(t), t [a, b], sabemos que
b b

f(z)dz = f[z(t)]z (t)dt

|f[z(t)]||z (t)|dt.

C a a

Assim, se |f(z)| M, com z C e M sendo constante real positiva, obtemos


b

f(z)dz M |z (t)|dt = ML,

C a

onde L denota o comprimento do caminho C . Quase sempre teremos |f[z(t)]| contnua em


t [a, b] e, portanto, esta funo sempre ser limitada superiormente sobre o caminho C .

Exemplo 4.12 Seja C o crculo denotando um quarto do crculo |z| = 2 ligando os pontos
z = 2 a z = 2i (Figura 4.9). Mostre que

z + 4 6

z 3 1 dz 7 .
C

De fato, se z C ento |z| = 2, donde


y
|z + 4| |z| + 4 = 6 e |z 3 1| |z|3 1 = 7.
2i
Ento, quando z C , temos C

z+4
|f(z)| = 3 = |z + 4| 6 = M.
z 1 |z 3 1| 7 x
0 2
Alm disso, L = (1/4) 2 2 = e, portanto
Figura 4.9: Um quarto do crculo
|z| = 2.
z + 4 6

z 3 1 dz ML = 7 .
C

Exemplo 4.13 Seja CR o caminho semicircular z = Rei , 0 (Figura 4.10) e


considere z 1/2 o ramo
i/2 3
z 1/2 = re , r > 0, << .
2 2

Sem calcular o valor da integral, pode-se verificar que



z 1/2
lim dz = 0.
R C z 2 + 1
R

66
De fato, quando |z| = R > 1, y

i/2
|z | = Re = R e |z 2 +1| |z 2 | 1 = R 2 1,
1/2

CR
donde
1/2
z R
|f(z)| = 1 MR , onde MR = 2 . x
z + 1 R 1 -R 0 R

Desde que o comprimento de CR L = R, obtemos


Figura 4.10: Caminho semi circular CR .
z 1/2 Note que a funo z 1/2 deixa de ser contnua
dz MR L, apenas nos pontos do semi eixo imaginrio
z 2+1 negativo.
CR

onde
R R / R
MR L = 2 = ( / )
R 1 1 1 R2

converge para zero quando R tende para o infinito. Isto prova que o limite da integral
tambm zero.

4.6 Exerccios
1) Use as regras correspondentes de derivao do clculo para estabelecer as seguintes
regras, quando w(t) = u(t) + iv(t) uma funo complexa na varivel t e w (t) existe:
d d
(a) w(t) = w (t); (b) [w(t)]2 = 2w(t)w (t).
dt dt
2) Calcule as seguintes integrais:
2( )2 /6
1
(a) i dt; (b) ei2t dt.
1 t 0

Respostas: (a) 1/2 i ln 4; (b) 3/4 + i/4.

3) Mostre que, se m e n so inteiros ento


2 {
im in 0 quando m = n
e e d = .
0 2 quando m = n

4) Seja w(t) uma funo complexa e contnua na varivel t definida no intervalo


a t b. Considerando, em particular, a funo w(t) = eit com 0 t 2, mostre
que nem sempre verdade a afirmao de que existe um nmero real c (a, b) tal
que
b
w(t)dt = w(c)(b a).
a

5) Seja w(t) = u(t) + iv(t) uma funo complexa e contnua na varivel t definida
noa intervalo a a t a. (a) Suponha que w(t) uma funo par; mostre que
a w(t)dt = 2 0 w(t)dt; (b) Suponha que w(t) uma funo mpar; mostre que
a
a
w(t)dt = 0.

67
6) Seja C denotando o lado direito do crculo |z| = 2, orientado no sentido anti-horrio.
Note que duas representaes paramtricas para o arco C so:
( )
i
z = z() = 2e e z = Z (y) = 4 y2 + iy (2 y 2).
2 2

Verifique que Z (y) = z[(y)], onde


y ( )
(y) = arctan arctan t .
4 y2 2 2

e que possui uma derivada positiva.

7) Suponha que uma funo f(z) analtica num ponto z0 = z(t0 ) sobre um arco suave
z = z(t), t [a, b]. Mostre que, se w(t) = f[z(t)] ento

w (t) = f [z(t)]z (t)

quando t = t0 . Sugesto: Escreva f(z) = u(x, y) + iv(x, y) e z(t) = x(t) + iy(t) de modo que w(t) =
u[x(t), y(t)] + iv[x(t), y(t)]. Ento aplique a regra da cadeia para as duas funes de variveis reais para escrever
w = (ux x + uy y ) + i(vx x + vy y ) e use as equaes de Cauchy-Riemann.

8) Sejam z1 e z2 dois pontos distintos fixados no plano complexo e C um caminho


arbitrrio ligando esses dois pontos. Mostre que

dz = z2 z1 .
C


9) Calcule o valor da integral C
f(z)dz nos seguintes casos:
2
(a) f(z) = y x 3x i e C o segmento de reta de z = 0 a z = 1 + i;
(b) f(z) = y x 3x 2 i e C consiste de dois segmentos, um de z = 0 a z = i e o
outro de z = i a z = 1 + i;
(c) f(z) = (z + 2)/z e C o semicrculo z = 2ei , onde varia de 0 a ;
(d) f(z) = (z + 2)/z e C o semicrculo z = 2ei , onde varia de 0 a ;
(e) f(z) = (z + 2)/z e C o semicrculo z = 2ei , onde varia de a ;
(f) f(z) = z 1 e C o semicrculo z 1 = ei , onde varia de 0 a ;
{
4y quando y > 0
(g) f(z) = e C o arco de z = 1 i a z = 1 + i sobre a
1 quando y < 0
curva y = x 3 ; (Resp. 2 + 3i)
(h) f(z) = ez e C o segmento de reta de z = i a z = 1, ou C a poligonal ao
longo dos eixos coordenados tambm de z = i a z = 1;
(i) f(z) = 3z + 1 e C o contorno do quadrado com vrtices nos pontos z = 0, z = 1,
z = 1 + i e z = i, orientado no sentido do Teorema de Green;
(j) f(z) = ez e C o contorno do quadrado com vrtices nos pontos z = 0, z = 1,
z = 1 + i e z = i, orientado no sentido do Teorema de Green. (Resp. 4(e 1))

68
10) Seja C o segmento de z = i a z = 1. Observando que, de todos os pontos nesse
segmento de reta, o ponto central o mais prximo da origem, mostre que

dz
4 2
z4
C

sem resolver a integral.

11) Seja C o arco do crculo |z| = 2 que se situa no primeiro quadrante. Mostre que

dz

z2 + 1 3 .
C

sem calcular o valor da integral.

12) Sendo C o contorno do tringulo com vrtices nos pontos z = 0, z = 4 e z = 3i,


mostre que

(ez z)dz 60.

C

13) Sendo C um crculo |z| = R, onde R > 1, mostre que



Log z
dz < 2 + Log R
z2 R
C

e que, portanto, o valor da integral tende para zero quando R .

14) Seja n um nmero natural. Considere a seguinte integral



dz
I= n
C (z z0 )

onde C um crculo z z0 = r0 ei com r0 > 0 e 0 < < 2. Mostre que I = 2i


se n = 1 e que I = 0 se n = 2, 3, . . ..

4.7 Antiderivadas
Teorema 4.2 Suponha que f(z) contnua num domnio D. Ento so equivalentes:

(i) f(z) possui uma antiderivada F (z) em D;

(ii) as integrais de f(z) ao longo de quaisquer caminhos em D ligando dois pontos fixados
z1 e z2 tm mesmo valor;

(iii) as integrais de f(z) ao longo de qualquer caminho fechado em D tem sempre valor
nulo.

69
Demonstrao: (i) (ii).
Suponha que (i) vlida. Considere C um arco suave ligando z1 a z2 em D, com
representao paramtrica z = z(t), a t b. Sabemos que

d
F [z(t)] = F [z(t)]z (t) = f[z(t)]z (t), a t b,
dt

e poelo Teorema Fundamental do Clculo,


b b

f(z)dz = f[z(t)]z (t)dt = F [z(t)] = F [z(b)] F [z(a)] = F (z2 ) F (z1 )
C a a

implicando, z2
f(z)dz = F (z2 ) F (z1 ).
z1

independente da escolha do arco suave C ligando z1 e z2 . Se C for uma caminho a


demonstrao anloga, uma vez que, C uma cadeia finita de arcos suaves.

(ii) (iii).
Suponha agora que (ii) verdade. Considere um caminho fechado C contido no interior
de D e z1 , z2 C pontos arbitrrios onde C = C1 C2 conforme Figura 4.11.

y
z2
C2
C C1
z1 D
x
0

Figura 4.11: Caminho fechado C = C1 C2 contido no interior de D.

Como (ii) vlida temos


f(z)dz = f(z)dz, (4.4)
C1 C2

ou seja,
f(z)dz = f(z)dz f(z)dz = 0, (4.5)
C C1 C2

como queramos.
(iii) (i).
Finalmente, suponha que a afirmativa em (iii) vlida. Sejam C1 e C2 dois caminhos em
D ligando z1 a z2 . Por (iii), a equao (4.5) verdadeira, e portanto (4.4) tambm , isto

70
, (ii) satisfeita, o que significa dizer que a integrao independe do caminho escolhido
no interior de D. Assim, definimos a funo
z
F (z) = f(s)ds.
z0

e afirmamos que F (z) = f(z) para todo z D, isto , a funo F (z) uma antiderivada
(ou primitiva) para f(z) com z D, que a afirmativa (i). Para provar esta afirmao,
considere o ponto z + z contido numa vizinhana de z pertencente ao domnio D. Ento,
z+z z z+z
F (z + z) F (z) = f(s)ds f(s)ds = f(s)ds,
z0 z0 z

onde o caminho de integrao de z a z + z um segmento de reta (veja Figura 4.12).

y
s
z + Dz
s z

z0 D
x
0

Figura 4.12: Caminho ligando z0 a z + z passando por z. Note que o caminho ligando z + z a z um segmento.

z+z
Desde que z = ds, podemos escrever,
z
z+z
1
f(z) = f(z)ds,
z z

donde segue que


z+z
F (z + z) F (z) 1
f(z) = [f(s) f(z)]ds.
z z z

Como a funo f contnua na varivel z D, para todo > 0, existe > 0 tal que

|s z| < |f(s) f(z)| < .

Da, |z + z z| = |z| < implica



F (z + z) F (z)
f(z) < 1 |z| = ,
z |z|

isto ,
F (z + z) F (z)
lim f(z) = f(z)
0 z
e, portanto F (z) = f(z) para todo z D, como queramos.

71
Exemplo 4.14 A funo contnua f(z) = z 2 tem antiderivada F (z) = z 3 /3 em todo plano
complexo. Ento,
1+i
z 3 1+i 1 2
z 2 dz = = (1 + i)3 = (1 + i),
0 3 0 3 3

para qualquer caminho ligando os pontos z = 0 e z = 1 + i no plano complexo.

y
/ 2
Exemplo 4.15 A funo f(z) = 1 z contnua, exceto
no ponto z = 0. Ela tem antiderivada F (z) = 1/z 2i
no domnio |z| > 0, que o plano menos a origem. C1
Consequentemente,

dz x
2
= 0, 0
C z

onde C o crculo ao redor da origem z = 2ei ,


, orientado positivamente. -2i

Exemplo 4.16 Seja C1 o lado direito do crculo do Figura 4.13: Lado direito do crculo |z| = 2.
As descontinuidades de Log z ficam no semi eixo
exemplo anterior dado parametricamente pela equao real negativo.

z = 2ei , .
2 2

O ramo principal

y
Log z = ln r + i, r > 0, < < ,
2i
da funo logartmica uma antiderivada da funo
C2
1/z que definida sobre o arco C1 (veja Figura 4.13).
Logo,
x
2i 2i 0
dz dz
= = Log z = Log (2i) Log (2i)
C1 z z 2i
(2i ) ( )
= ln 2 + i ln 2 i = i. -2i
2 2

Agora, seja C2 o lado esquerdo do crculo do exemplo Figura 4.14: Lado esquerdo do crculo |z| =
anterior (Figura 4.14) dado parametricamente pela 2.realAspositivo.
descontinuidades de log z ficam no semi eixo

equao
3
z = 2ei , .
2 2
e considere o ramo
log z = ln r + i, r > 0, 0 < < 2,

72
da funo logartmica que uma antiderivada da funo 1/z definida sobre o arco C2 (veja
Figura 4.14).
Temos,
2i 2i
dz dz
= = log z = log (2i) log (2i)
C1 z z 2i
(2i ) (
3 )
= ln 2 + i ln 2 + i = i.
2 2
Finalmente, observando que C = C1 + C2 conclumos que

dz dz dz
= + = i + i = 2i.
C z C1 z C2 z

Exemplo 4.17 Vamos usar uma antiderivada para calcular



z 1/2 dz,
C1

onde o integrando o ramo


i/2
z 1/2 = re , r > 0, 0 < < 2

da funo raz quadrada e C1 um caminho qualquer ligando z = 3 a z = 3 (Figura


4.15); os pontos do eixo x so desconsiderados.
y

C1

x
-3 0 3

Figura 4.15: Caminho arbitrrio ligando 3 e 3.

Observe que a funo f(z) no est definida no raio = 0. Mas, o ramo


3
f1 (z) = rei/2 , r > 0, < < ,
2 2
est definido e contnuo sobre o caminho C1 ; alm disso f(z) = f1 (z) = z 1/2 quando
z C1 . Desde que uma antiderivada de f1 (z)
2 2 3
F1 (z) = z 3/2 = r rei3/2 , r > 0, < < ,
3 3 2 2
podemos escrever
3 3
1/2
z dz = f1 (z)dz = F1 (z) = 2 3(ei0 ei3/2 ) = 2 3(1 + i).
C1 3 3

Fica a cargo do leitor a tarefa de calcular z 1/2 dz, onde C2 o segmento ligando 3 a
C2
3.

73
4.8 O Teorema de Cauchy-Goursat
Seja C um caminho fechado z = z(t), t [a, b], orientado no sentido postivo (sentido
anti-horrio) e suponha que tenhamos uma funo complexa f(z) que analtica sobre C
e no interior de C . Ento,
b
f(z)dz = f[z(t)]z (t)dz.
C a

Sendo f(z) = u(x, y) + iv(x, y) e z(t) = x(t) + iy(t), obtemos


b b

f(z)dz = (ux vy )dt + i (vx + uy )dt,
C a a

ou, escrevendo f(z) = u + iv e dz = dx + idy conclumos que



f(z)dz = udx vdy + i vdx + udy (4.6)
C C C

mostrando como uma integral complexa pode ser escrita em termos de integrais de linha
de funes de duas variveis reais. Lembremos de um importante teorema do Clculo
envolvendo integrais de linha:

Teorema 4.3 (Teorema de Green) Sejam P(x, y) e Q(x, y) funes de duas variveis reais,
com derivadas parciais de primeira ordem contnuas numa regio fechada R, cuja fronteira
um caminho fechado C . Ento

Pdx + Qdy = (Qx Py )dA.
C R

Suponha que a nossa funo f, j mencionada anteriormente, seja contnua numa regio
R como no teorema anterior, com f contnua em R, isto , as derivadas parciais de u e v
so funes contnuas. Aplicando o Teorema de Green a equao (4.6), obtemos

f(z)dz = (vx uy )dA + i (ux vy )dA.
C R R

Mas, pelas condies de Cauchy-Riemann, ux = vy e uy = vx , donde



f(z)dz = 0.
C

Se C orintado no sentido negativo obtemos o mesmo resultado, pois



f(z)dz = f(z)dz = 0.
C C

Exemplo 4.18 Se C um caminho fechado, com qualquer orientao, temos



3
ez dz = 0,
C

3 3
pois f(z) = ez analtica e f (z) = 3z 2 ez contnua em C. Observe que neste caso no
3
possvel determinar uma antiderivada para ez em termos de funes complexas.

74
A hiptese de continuidade para a derivada f pode ser descartada. Assim, temos o
seguinte teorema mais abrangente:

Teorema 4.4 (Teorema e Cauchy-Goursat) Se f uma funo analtica sobre um caminho


fechado C e no interior de C , ento

f(z)dz = 0.
C

As demonstraes dos teoremas de Cauchy-Goursat sero omitidas aqui, devido a sua


grande extenso e complexidade.

4.9 Domnios simplesmente e multiplamente conexos


Um conjunto D no plano complexo um domnio simplesmente conexo se todo caminho
fechado em D envolve apenas pontos de D. Caso contrrio D um domnio multiplamente
conexo.

Teorema 4.5 Se uma funo complexa f analtica num domnio simplesmente conexo D,
ento
f(z)dz = 0,
C

para todo caminho fechado C contido em D.

Corolrio 4.1 Uma funo f que analtica sobre um domnio simplesmente conexo D
possui antiderivada em todo D.

Teorema 4.6 Suponha que

(i) C um caminho fechado com orientao positiva;

(ii) Ck , k = 1, 2, . . . , n so caminhos fechados no interior de C , todos com orientao


negativa, disjuntos e cujo interior no tm pontos em comum (Figura 4.16).

Se uma funo f analtica em cada caminho e na regio anular entre C e os caminhos


Ck , k = 1, 2, . . . , n, ento
n

f(z)dz + f(z)dz = 0.
C k=1 Ck

75
y C

... Cn
C1 C2

x
0

Figura 4.16: Regio anular no plano complexo.

Corolrio 4.2 (Princpio da deformao dos caminhos) Sejam C1 e C2 caminhos fechados


com orientao positiva, onde C2 est contido no interior de C1 (Figura 4.17). Se f uma
funo analtica na regio fechada entre os dois caminhos, ento

f(z)dz = f(z)dz.
C1 C2

y C1

C2

x
0

Figura 4.17: Caminhos fechados C1 e C2 com C2 dentro de C1 .

Exemplo 4.19 Seja C um caminho fechado ao redor da origem. Mostre que



dz
= 2i.
C z

Seja C0 um crculo centrado na origem com raio suficientemente pequeno de modo que o
interior de C contenha C0 (Figura 4.18). Como
o resultado segue diretamente pelo Princpio da deformao dos caminhos.


dz
= 2i,
C0 z

76
y
C

C0
x
0

Figura 4.18: Crculo C0 centrado na origem contido em C .

4.10 Frmula integral de Cauchy


Teorema 4.7 Seja f uma funo analtica sobre um caminho fechado C , com orientao
positiva, e no interior de C . Se z0 um ponto interior a C ento

1 f(z)dz
f(z0 ) = .
2i C z z0

Demonstrao: Seja C o crculo |z z0 | = , com orientao positiva, onde


suficientemente pequeno de modo que C esteja contido no interior de C (Figura 4.19).
/
A funo f(z) (z z0 ) analtica na regio entre C e
C e pelo Princpio de deformao dos caminhos temos y
C
f(z)dz f(z)dz
= ,
C z z0 C z z0
C
ou ainda,
z0
f(z)dz dz f(z) f(z0 )
f(z0 ) = dz.
C z z0 C z z0 C z z0
x
0
dz
Mas, = 2i, donde
C z z0 Figura 4.19: Crculo C centrado em z0
contido em C .
f(z)dz f(z) f(z0 )
2if(z0 ) = dz.
C z z0 C z z0

Utilizando a continuidade da funo f, possvel mostrar que



f(z) f(z0 )
dz = 0,
C z z0

e portanto,
f(z)dz
= 2if(z0 )
C z z0

Exemplo 4.20 Seja C o crculo |z| = 2 com orientao positiva (Figura 4.20). Calcule

zdz
2
.
C (9 z )(z + i)

77
/
Desde que a funo f(z) = z (9 z 2 ) analtica sobre y
C e no interior de C , com z0 = i pertencente ao
interior de C , segue pela frmula integral de Cauchy
que: C

z
zdz 9 z 2 dz x
2
= 0 2
C (9 z )(z + i) C z (i)
= 2if(i) -i
= 2i(i/10)

= .
5
Figura 4.20: Crculo |z| = 2.

4.11 Derivadas de funes analticas


Lema 4.1 Suponha f uma funo analtica sobre um caminho fechado C e no seu interior,
com orientao positiva. Se z um ponto no interior de C , ento

1 f(s)ds 2! f(s)ds
f (z) = 2
e f (z) =
2i C (s z) 2i C (s z)3

Demonstrao: Vamos derivar em relao a z a funo



1 f(s)ds
f(z) = .
2i C s z

Temos,
( )
f(z + z) f(z) 1 1 1 f(s) 1 f(s)ds
= ds = .
z 2i C s z z s z z 2i C (s z z)(s z)

e da,
f(z + z) f(z) 1 f(s)ds 1 zf(s)ds
2
= .
z 2i C (s z) 2i C (s z z)(s z)2
Usando a continuidade de f, obtemos

zf(s)ds
lim = 0,
z C (s z z)(s z)2

ou seja,
f(z + z) f(z) 1 f(s)ds
lim = = f (z).
z z 2i C (s z)2

A segunda frmula anloga, e segue derivando f (z).

Teorema 4.8 Se uma funo analtica num ponto, ento suas derivadas de todas as
ordens existem nesse ponto. Assim, as derivadas de todas as ordens so analticas nesse
ponto.

78
Demonstrao: Seja f uma funo analtica num ponto z0 . Ento, existe uma vizinhana
|z z0 | < de z0 na qual f analtica. Consequentemente, existe um crculo C0 : |z z0 | <
/2, com f analtica em C0 e no seu interior. Pelo Lema anterior

1 f(s)ds
f (z) = ,
i C0 (s z)3

onde z um ponto interior a C0 ; ou seja, f (z) existe numa vizinhana |z z0 | < /2, donde
segue que f analtica em z0 . Aplicando o mesmo argumento a f chegaremos que f
analtica, e assim por diante.

Corolrio 4.3 Se f(z) = u(x, y) + iv(x, y) definida e analtica em z = (x, y), ento as
componentes u e v tm derivadas parciais contnuas de todas as ordens.

Por induo matemtica possvel mostrar que



(n) n! f(s)ds
f (z) = , n = 1, 2, . . . ,
2i C (s z)n+1

onde z um ponto interior a C .

Exemplo 4.21 Se C o crculo |z| = 1 orientado positivamente e f(z) = e2z , ento


2z
e dz f(z)dz 2i 2i 8i
4
= 3+1
= f (0) = 8= .
C z C (z 0) 3! 3! 3

Exemplo 4.22 Seja C um caminho fechado com orientao positiva e z0 um ponto interior
a C . Seja f(z) = 1. Ento,

dz dz
= 2i e n+1
= 0, n = 1, 2, . . . .
C z z0 C (z z0 )

Teorema 4.9 Seja f contnua num domnio D. Se



f(z)dz = 0
C

para todo caminho fechado C contido em D, ento f analtica em D. (Em particular, se


D simplesmente conexo, temos uma recproca do Teorema de Cauchy-Goursat).

Demonstrao: Se C f(z)dz =, f possui uma antiderivada em D, ou seja, existe F analtica
tal que F (z) = f(z) em D. Mas, pelo teorema anterior, F tambm analtica, e portanto,
f analtica.

79
4.12 Aplicaes da Frmula Integral de Cauchy
Teorema 4.10 (Desigualdade de Cauchy) Seja f uma funo analtica num domnio
simplesmente conexo D e seja C a circunferncia |z z0 | = r contida em D. Se |f(z)| M,
para todo z C , ento
n!M
|f (n) (z0 )| n . (4.7)
r

Demonstrao: Se z C , temos

f(z) |f(z)| M

(z z0 )n+1 = r n+1 r n+1 .

Logo, pela Frmula Integral de Cauchy,



n! f(z)dz n! M n!M
(n)
|f (z0 )| = 2r = n .
2i C (z z0 ) n+1 2 r n+1 r

Se n = 0, M |f(z0 )| para qualquer circunferncia C centrada em z0 contida em D;


ou seja, um limitante superior M de |f(z)| em C no pode ser menor que |f(z0 )|.

Teorema 4.11 (Teorema de Liouville) Se f uma funo inteira e limitada em C, ento


f(z) constante em C, isto , as nicas funes inteiras limitadas so as constantes.

Demonstrao: Seja |f(z)| M, para todo z C. Por (4.7) temos


M
|f (z0 )| , para todo r > 0.
r

Fazendo r , conclumos que |f (z0 )| = 0, ou seja, f (z0 ) = 0, para todo z0 C. Logo f


constante em todo plano complexo.

Teorema 4.12 (Teorema Fundamental da lgebra) Seja p(z) um polinmio no


constante; ento, a equao p(z) = 0 tem pelo menos uma raz.

n 2
Demonstrao: Suponha que p(z) / = an z + + a2 z + a1 z + a0 , n > 0 nunca zero
para todo z C. Ento, f(z) = 1 p(z) uma funo inteira. Mas,

1 1
|f(z)| = = n ( / / ) .
|an zn + + a1 z + a0 | |z| an + an1 /z + + a1 z n1 + a0 z n

2naj
Seja M > 1 tal que M > , j = 0, 1, . . . , n 1. Ento, para |z| > M, temos

a n
aj
< M < |z| e sendo |z|nj > M, obtemos
an 2n 2n
a |a |
aj |z|nj j n
< nj < ,
an 2n z 2n

80
de modo que
/ /
an1 /z + + a1 z n1 + a0 z n |an | + . . . + |an | = |an | ,
2n 2n 2
onde a soma no lado direito da desigualdade possui n parcelas. Logo,
1 1 2
|f(z)| n

/
n1
/
n n


/ = n
.
|z| |an | an1 /z + + a1 z + a0 z M |an | |an | 2 M |an |

Assim, f limitada no exterior do disco |z| M (|z| > M). Como f uma funo contnua,
ela tambm limitada no disco |z| M, ou seja, f inteira e limitada. Pelo Teorema de
Liouville, f constante, ou seja, p constante, o que uma contradio.

Teorema 4.13 (Teorema do Mdulo Mximo) Seja f analtica e no constante em uma


regio fechada R limitada por uma curva fechada simples C . Ento, |f(z)| atinge seu
mximo em C .

A demonstrao desse resultado ser omitida neste curso. Ressaltamos ainda que esse
fato nem sempre vale no Clculo real. Por exemplo, a funo f(x) = sen x infinitamente
diferencivel e no constante no intervalo [, ]. Note que
|f(x)| 1 para todo x [, ].

Como |f()| = |f()| = 0, vemos que |f(x)| no atinge seu valor mximo na fronteira.

Exemplo 4.23 Determine o mdulo mximo da funo f(z) = 2z + 5i na regio circular


fechada |z| 2.
Sabemos que |z|2 = zz. Logo,
|2z + 5i|2 = (2z + 5i)(2z + 5i) = (2z + 5i)(2z 5i) = 4zz 10zi + 10zi + 25
= 4zz 10i(z z) + 25 = 4zz 10i(z z) + 25

Mas, z z = 2iIm(z), donde


|2z + 5i|2 = 4|z|2 + 20Im(z) + 25.

Note que a funo f, neste caso, analtica em |z| 2. Pelo Teorema do Mdulo Mximo,
max |2z + 5i| atingido na fronteira |z| = 2. Da, se |z| = 2, temos
|z|2

|2z + 5i| = 41 + 20Im(z).

Mas, max Im(z) atingido no ponto z = 2i. Portanto,


|z|=2

max |2z + 5i| = 81 = 9.
|z|2

Se no Teorema do Mdulo Mximo tambm tivermos a condio f(z) = 0, para todo


z R, ento |f(z)| atingir seu mnimo em C .
No exemplo anterior, note que f(z) = 0 quando z = 5/2i, ponto este no pertencente
ao disco fechado |z| 2. Portanto, temos f(z) = 2z + 5i = 0 em |z| 2. Tal funo atinge
seu valor mnimo na fronteira deste disco e como min Im(z) = 2i, obtemos
|z|=2

min |2z + 5i| = 1 = 1.
|z|=2

81
4.13 Exerccios
1) Usando uma antiderivada, mostre que, para qualquer caminho C que se estende de
um ponto z1 a um ponto z2 ,

1
z n dz = (z2n+1 z1n+1 ) (n = 0, 1, 2, 3, . . .)
C n + 1

2) Usando antiderivadas, mostre que



dz
= 2i
C z z0

onde C um crculo de raio r > 0 centrado em z0 C.

3) Sejam z0 , z1 e z2 trs pontos distintos de um domnio simplesmente conexo D.


Suponha que uma funo f e sua derivada f sejam ambas analticas sobre D, exceto
em z0 . Mostre que, para todo caminho em D que vai de z1 a z2 sem passar por z0 ,
z2

f (z)dz = f(z2 ) f(z1 ); e, portanto, f (z)dz = 0
z1 C

quando o caminho fechado C em D no passa por z0 . D exemplos de tais funes


e domnios.

4) Avalie cada uma das seguintes integrais, ao longo de um caminho arbitrrio ligando
os limites de integrao:
i/2 +2i 3
z z
(a) e dz; (b) cos dz; (c) (z 2)3 dz.
i 0 2 1
Respostas: (a) (1 + i)/; (b) e + (1/e); (c) 0.

5) Use o teorema sobre integrais indefinidas para mostrar que



(z z0 )n1 dz = 0 (n = 1, 2, . . .)
C0

quando C0 um caminho fechado qualquer que no passa necessariamente pelo


ponto z0 .

6) Determine o domnio de analiticidade da funo f e aplique o teorema de Cauchy-


Goursat para mostrar que
f(z)dz = 0,
C

onde o caminho fechado C o crculo |z| = 1 e quando


z2 1
(a) f(z) = ; (b) f(z) = zez ; (c) f(z) = ;
z3 z 2 + 2z + 2
(d) f(z) = sech z; (e) f(z) = tan z; (f) f(z) = Log (z + 2).

82
7) Se B a fronteira da regio entre o crculo |z| = 4 e o quadrado com lados sobre
as retas x = 1 e y = 1, onde B orientada de modo a deixar a regio sua
esquerda, diga porque
f(z)dz = 0
B

quando
1 z+2 z
(a) f(z) = ; (b) f(z) = ; (c) f(z) = .
3z 2+1 sin(z/2) 1 ez
8) Seja C denotando a fronteira orientada positivamente da metade do disco 0 r 1,
0 , e seja f(z) uma funo contnua definida nesta metade de disco por
f(0) = 0 e pelo ramo
( )
i/2 3
f(z) = re r > 0, < <
2 2

da funo multivalente z 1/2 . Mostre que



f(z)dz = 0
C

avaliando, separadamente, as integrais de f(z) sobre o semicrculo e os dois raios


que compem C. Por que o teorema de Cauchy-Goursat no se aplica neste caso?

9) Seja n um nmero natural. Considere a seguinte integral



dz
I= n
C (z z0 )

onde C um caminho fechado qualquer orientado no sentido positivo e z0 um


nmero complexo interior a C . Use o Princpio de Deformao dos Caminhos para
mostrar que I = 2i se n = 1 e que I = 0 se n = 2, 3, . . .. Em seguida mostre que

dz dz
= 2i, n
= 0 (n = 2, 3, . . .),
C z2i C (z 2 i)

onde C a fronteira do retngulo 0 x 3, 0 y 2, orientada no sentido


positivo.

dz
10) Calcule o valor de 2
, onde C o crculo |z| = 4 orientado positivamente.
C z +1

11) Se C o crculo |z| = 3 descrito no sentido positivo e se



2z 2 z 2
g(z0 ) = dz (|z0 | = 3),
C z z0

mostre que g(2) = 8i. Qual o valor de g(z0 ) quando |z0 | > 3?

83
12) Seja C a fronteira do quadrado, cujos lados esto sobre as retas x = 2 e y = 2,
orientada no sentido positivo. D o valor de cada uma das seguintes integrais:

ez cos z z dz
(a) ; (b) 2
dz; (c) ;
C z i/2 C z(z + 8) C 2z + 1

tan(z/2) cosh z
(d) 2
dz (|x0 | < 2); (e) dz.
C (z x0 ) C z4
Respostas: (a) 2; (b) i/4; (c) i/2; (d) 0; (e) i sec2 (x0 /2)

13) D o valor da integral de g(z) ao longo do caminho fechado |z i| = 2 no sentido


positivo quando
1 1
(a) g(z) = 2 ; (b) g(z) = 2 .
z +4 (z + 4)2
Respostas: (a) /2; (b) /16.

14) Se C um caminho fechado orientado no sentido positivo e se



z 3 + 2z
g(z0 ) = 3
dz,
C (z z0 )

mostre que g(z0 ) = 6iz0 quando z0 est no interior de C e g(z0 ) = 0 quando z0


est no exterior de C .
15) Sendo f analtico no interior de e sobre um caminho fechado orientado C , mostre
que
f (z)dz f(z)dz
= 2
,
C z z0 C (z z0 )

onde z0 um ponto no pertencente a C .



z3 + 3
16) Calcule a integral 2
dz onde C o contorno ilustrado na figura abaixo.
C z(z i)
y

x
0

Resposta: 4 + 12i.

17) Seja C o crculo unitrio z = ei ( ). Mostre que, para toda constante


real a, az
e
dz = 2i.
C z

e, em seguida, escreva a integral em termos de para deduzir a frmula



ea cos cos(a sen )d = .
0

84
18) Seja f analtica e no constante numa regio fechada R limitada por uma curva
fechada simples C . Suponha que f(z) = 0 para todo z em R. Defina a funo
g(z) = 1/f(z) para mostrar, com o auxlio do Teorema do Mdulo Mximo, que |f(z)|
atinge seu valor mnimo em C . Este o teorema do mdulo mnimo.

19) D um exemplo para mostrar que |f(z)| pode assumir seu valor mnimo num ponto
interior de um domnio em que f analtica, se esse valor mnimo zero.

20) Determine o mdulo mximo de f(z) = iz + i na regio circular fechada definida


por |z| 5.

85
Captulo 5

Sries

5.1 Convergncia de seqncias


Uma seqncia
y
z1 , z2 , . . . , zn , . . .

de nmeros complexos tem limite z se, para todo > 0, e


existe n0 > 0 tal que z

n > n0 |zn z| < .


x
0
Escrevemos lim zn = z para dizer que o limite da Figura 1.
n
seqncia (zn ) z, ou que a seqncia (zn ) converge para z. Se o limite de (zn ) existe,
(zn ) dita convergente e seu limite nico. Caso contrrio dizemos que a seqncia (zn )
diverge.

Teorema 5.1 Considere a seqncia zn = xn + iyn , n = 1, 2, . . . e o ponto z = x + iy.


Ento
lim zn = z lim xn = x e lim yn = y.
n n n

Demonstrao: A demonstrao anloga ao caso considerando limites de funes


complexas.

1
Exemplo 5.1 A seqncia zn = + i, n = 1, 2, . . ., converge para i, pois
n3
( )
1 1
lim 3
+ i = lim 3 + i lim 1 = 0 + i 1 = i.
n n n n n

3 + ni 2 1
Exemplo 5.2 A seqncia zn = converge para para + i, pois
n + 2ni 5 5
3 + ni 3 + ni n 2ni 3n 6ni + n2 i + 2n2 3n + 2n2 n2 6n
= = = + i .
n + 2ni n + 2ni n 2ni n2 + 4n2 5n2 5n2

86
Como
3n + 2n2 3/n + 2 2 n2 6n 1 6/n 1
lim 2
= lim = e lim 2
= lim = ,
n 5n n 5 5 n 5n n 5 5
concluimos que
3 + ni 3n + 2n2 n2 6n 2 1
lim = lim 2
+ i lim 2
= + i.
n n + 2ni n 5n n 5n 5 5

5.2 Convergncia de sries


Uma srie infinita

zn = z1 + z2 + + zn +
n=1

de nmeros complexos, converge para uma soma S se, a seqncia das somas parciais
N

SN = = z1 + z2 + + zN , N = 1, 2, . . .
n=1

for convergente para S. Escrevemos




zn = S.
n=1

Se a srie no converge dizemos que ela diverge.

Teorema 5.2 Considere zn = xn + iyn , n = 1, 2, . . . e S = X + iY . Ento






zn = S xn = X e yn = Y .
n=1 n=1 n=1

Demonstrao: Anloga ao ltimo teorema sobre limite de seqncias.




Teorema 5.3 (Condio necessrio para convergncia) Se a srie zn converge ento
n=1
lim zn = 0.
n



Demonstrao: Seja L = zn . Ento lim SN = L e lim SN1 = L. Considerando
N N
n=1
SN = z1 + z2 + . . . + zN e SN1 = z1 + z2 + . . . + zN1 temos
SN SN1 = zn (SN SN1 ) = lim zN lim zN = S S = 0.
N N



O teorema anterior diz que se lim zn = 0 ento, a srie zn diverge. Alm disso, se
n
n=1


a srie zn converge ento, |zn | M para todo n N e para alguma constante positiva
n=1
M.

87
5.3 Convergncia absoluta e condicional


Seja zn = xn + iyn . A srie zn converge absolutamente, se a srie
n=1




|zn | = xn2 + y2n
n=1 n=1




for convergente. A srie zn converge condicionalmente se for converge com |zn |
n=1 n=1
sendo divergente.

Teorema 5.4 Convergncia absoluta de sries de nmeros complexos implica em


convergncia da srie.

Demonstrao: Como |xn | xn2 + y2n e |yn | xn2 + y2n , obtemos o resultado.

Um bom mtodo para verificar a convergncia de sries consiste em considerar a


seqncia N = S SN . Ento, temos S = SN + N e como |SN S| = |N 0|
conclumos que uma srie converge para S se, e somente se lim N = 0.
N


1
Exemplo 5.3 Mostremos que zn = quando |z| < 1.
n=0
1z
Para mostrar essa convergncia lembremos que

2 1 z n+1
n
1 + z + z + ... + z = , z=
1.
1z

De fato,

Sn+1 = 1 + z + z 2 + . . . + z n e zSn+1 = z + z 2 + z 3 + . . . + z n+1 .

Da,
1 z n+1
Sn+1 zSn+1 = 1 z n+1 Sn+1 = , z = 1.
1z
Agora, escrevendo as somas parciais
N1
1 zN
SN (z) = z n = 1 + z + z 2 + . . . + z N1 =
n=0
1z

1
e, sendo S(z) = , vem
1z
1 1 zN zN
N (z) = S(z) SN (z) = = , z = 1.
1z 1z 1z

88
Ento,
|z|N
lim |N (z)| = lim = 0 quando |z| < 1.
N N |1 z|

Observe que se |z| 1, a seqncia N diverge. Portanto, SN (z) S(z) quando N ,


se |z| < 1, ou seja

1
zn = se |z| < 1.
n=0
1 z

Uma srie geomtrica uma srie da forma




az n = a + az + az 2 + + az n + .
n=0

Se |z| < 1, temos



a
az n =
n=0
1z

e se |z| 1 a srie geomtrica diverge.


Finalmente observamos a validade dos testes da razo e da raz, que sero utilizados
na prxima seo.

5.4 Sries de potncias


Uma srie da forma


an (z z0 )n = a0 + a1 (z z0 ) + a2 (z z0 )2 + + an (z z0 )n + , (5.1)
n=0

onde os coeficientes an so nmeros complexos, uma srie de potncias centrada no


ponto z0 . Assim, o ponto z0 chamado de centro da srie.
Um crculo centrado em z0 e com maior raio R > 0 para o qual a srie (5.1) converge
em todos os pontos interiores de |z z0 | = R chamado de crculo de convergncia da
srie. Neste caso R o raio de convergncia. O raio de convergncia pode ser R = 0,
R > 0 ou R = .

Exemplo 5.4 Considere a srie de potncias



z n+1
.
n=1
n

Pelo teste da razo, n+2


z

n+1 n
lim n+1 = lim
|z| = |z|.
n z
n n + 1

n

89
Portanto, a srie converge absolutamente se |z| < 1, ou seja, o crculo de convergncia
|z| = 1 e o raio de convergncia R = 1. O que dizer da convergncia sobre o crculo

|z| = 1? Por exemplo, se z = 1 temos a srie harmnica 1/n que diverge. Mas, se
n=0


z = 1 temos a srie harmnica alternada (1)n+1 /n que converge.
n=0

Exemplo 5.5 Considere a srie de potncias



(1)n+1
(z 1 i)n .
n=0
n!

Pelo teste da razo,



(1)n+2
(z 1 i)n+1
(n + 1)! n! 1
lim n+1
= lim
|z 1 i| = lim |z 1 i| = 0 < 1,
n
(1) (z 1 i)n n (n + 1)! n n + 1

n!

para todo z C. Consequentemente, o raio de convergncia R = e a srie de


potncias centrada em z0 = 1 + i converge absolutamente, para todo z C, ou seja,
converge quando |z 1 i| < .

5.5 Sries de Taylor


Teorema 5.5 Suponha que uma funo f analtica no disco |z z0 | < R0 . Ento, f(z)
possui uma representao em sries de potncias


f(z) = an (z z0 )n , |z z0 | < R0 , (5.2)
n=0

onde
f (n) (z0 )
an = , n = 0, 1, 2, . . . . (5.3)
n!
Esta a expanso de f(z) em srie de Taylor centrada em z0 . A expresso em (5.2) pode
ser escrita como
f (z0 ) f (z0 )
f(z) = f(z0 ) + (z z0 ) + (z z0 )2 + , |z z0 | < R0 .
1! 2!

Demonstrao:
Faremos a demonstrao para o caso z0 = 0. Para z0 = 0 bastam algumas modificaes
mnimas para se chegar ao resultado. Assim, mostremos que


f (n) (0)
f(z) = an z n = z n , |z| < R0 ,
n=0 n=0
n!

90
a srie de Maclaurin para a funo f. y
Sejam os crculos |z| = r e C0 : |z| = r0 ,
onde 0 < r < r0 < R0 (veja figura 2).
s
Desde que f analtica em C0 e no interior z
r0
de C0 , com z0 sendo um ponto interior a C0 r
temos, pela frmula integral de Cauchy x
0
1 f(s)ds C0
f(z) = .
2i C0 s z

1 1 1
Mas, = e como
sz s 1 (z/s) Figura 2.

N1
1 zN
= zn + , |z| < 1,
1z n=0
1 z

obtemos:
[N1 ] N1
1 1 1 1 ( z )n (z/s)N 1
n N 1
= = + = n+1
z + z N
,
sz s 1 (z/s) s n=0 s 1 (z/s) n=0
s (s z)s

pois, |z| < |s| o que implica |z/s| < 1. Multiplicando a expresso acima por f(s) e
integrando, vem
N1
f(s)ds f(s)ds n f(s)ds
= z + zN (5.4)
C0 sz n=0 C0 sn+1 C0 (s z)sN

Novamente, pelas frmulas integrais de Cauchy



1 f(s)ds f (n) (0)
= , n = 0, 1, 2, . . . .
2i C0 sn+1 n!
/
Multiplicando (5.4) por 1 2i temos
N1 (n)
f (0)
f(z) = z n + N (z),
n=0
n!


zN f(s)ds
onde N (z) = . Assim, resta mostrar que lim N (z) = 0 (N (z)
2i C0 (s z)sN N
conhecida como resto de Taylor). Note que, |sr| ||s| |z|| = r0 r. Se M = max |f(s)|,
sC0
obtemos ( )N
rN M Mr0 r
|N (z)| N
2r0 = ;
2 (r0 r)r0 r0 r r0
/
Como r r0 < 1 segue que lim N (z) = 0, finalizando a demonstrao.
N

91
Exemplo 5.6 Como f(z) = ez uma funo inteira, sua srie de Maclaurin vale para todo
z C. Aqui f (n) (z) = ez e, como f (n) (0) = 1, temos


z zn
e = , |z| <
n=0
n!

Note que, se z = x + i0, obtemos




x xn
e = , < x < .
n=0
n!

Assim, por exemplo, sendo f(z) = z 2 e3z inteira, sua expanso em srie de Maclaurin :



(3z)n 3n
z 2 e3z = z 2 = z n+2 , |z| < ,
n=0
n! n=0
n!

ou, trocando n por n 2




2 3z 3n2 n
z e = z , |z| <
n=0
(n 2)!

Exemplo 5.7 Encontre a srie de Maclaurin para a funo f(z) = sen z.


eiz eiz
Como sen z uma funo inteira, pois sen z = , obtemos
2i
[
] [ ]
1 (iz)n (iz)n 1 n n
n i z
sen z = = (1 (1) ) , |z| < .
2i n=0 n! n=0
n! 2i n=0 n!

Mas, 1 (1)n = 0 se n par, ou seja, podemos substituir n por 2n + 1, isto ,


[ ]
1 i 2n+1 2n+1
z
sen z = (1 (1)2n+1 ) , |z| < .
2i n=0 (2n + 1)!

Desde que
1 (1)2n+1 = 2 e i2n+1 = (i2 )n i = (1)n i,

concluimos que
[ ]
1 n z 2n+1 z 2n+1
sen z = 2i(1) = (1)n , |z| < .
2i n=0 (2n + 1)! n=0
(2n + 1)!

Analogamente,

z 2n n
cos z = (1) , |z| < .
n=0
(2n)!

92
Exemplo 5.8 Sabemos que senh z = i sen(iz) e cosh z = cos(iz). Ento,

z 2n
z 2n+1
senh z = , |z| < e cosh z = , |z| < .
n=0
(2n + 1)! n=0
(2n)!

A srie de Taylor para cosh z centrada em z0 = 2i obtida trocando z por z + 2i e


lembrando que cosh(z + 2i) = cosh z:

(z + 2i)2n
cosh z = , |z| < .
n=0
(2n)!

Exemplo 5.9 Vamos estabelecer a srie de Maclaurin



1
= z n , |z| < 1.
1z n=0

Observe que a funo f(z) = 1/(1 z) analtica exceto no ponto z = 1. Calculando suas
derivadas, temos
1 2! 3! n!
f (z) = 2(1) 2
= 2
; f (z) = 3
; . . . ; f (n) (z) = ; ....
(1 z) (1 z) (1 z) (1 z)n

Da, f (n) (0) = n!, n = 0, 1, 2, . . .. Logo,


1
1 + z + z2 + z3 + = , |z| < 1.
1z

Observe que, substituindo z por z e notanto que |z| < 1 | z| < 1, obtemos

1
= 1 z + z2 z3 + = (1)n z n , |z| < 1.
1+z n=0

Por fim, substituindo z por 1 z vem



1
= 1 (1 z) + (1 z)2 (1 z)3 + = (1)n (z 1)n , |z 1| < 1.
z n=0

Exemplo 5.10 Considere a funo


( )
1 + 2z 2 1 2(1 + z 2 ) 1 1 1
f(z) = 3 5
= 3 2
= 3 2 .
z +z z 1+z z 1 + z2

Escrevamos f(z) como uma srie de potnicas de z. Como f(z) no analtica em z = 0


no podemos encontrar seu desenvolvimento em srie de Maclaurin. Mas,
1
= 1 z 2 + z 4 z 6 + z 8 , |z| < 1.
1 + z2

Logo, quando 0 < |z| < 1,


1 ( 2 4 6 8
) 1 1
f(z) = 3
2 1 z + z z + z = 3 + z + z3 z5 + .
z z z

93
5.6 Exerccios
1) Determine quais das seqncias abaixo convergem e quais divergem. Justifique sua
resposta.
{ } { } { }
3ni + 2 (ni + 2)2 n + in
(a) ; (b) ; (c) .
n + ni n2 i n
Respostas: (a) converge; (b) converge; (c) diverge.

2) Mostre que a seqncia


(1)n
zn = 2 + i
n2
converge para -2. Em seguida considere rn denotando o mdulo e n o valor principal
dos argumentos de zn . Mostre que a seqncia rn (n = 1, 2, . . .) converge mas a
seqncia n (n = 1, 2, . . .) diverge.
3) Escrevendo z = rei , onde 0 < r < 1 e considerando a srie

z
zn = , |z| < 1,
n=1
1z

mostre que


n r cos r 2 r sen
r cos n = 2
e r n sen n =
n=1
1 2r cos + r n=1
1 2r cos + r 2

quando 0 < r < 1. (Note que esta frmula tambm vlida quando r = 0.)
4) Determine o crculo e o raio de convergncia das sries de potncias dadas.

1 n n n (z 4 3i)n
(a) (z 2i) (b) (1 + 3i) (z i) ; (c) .
n=0
(1 2i)n+1 n=0 n=0
52n

Respotas: (a) |z 2i| = 5, R = 5; (b) |z i| = 1/ 10, R = 1/ 10; (c) |z 4 3i| = 25, R = 25.

5) Obter a representao de Maclaurin




2 z 4n+1
z cosh(z ) = , |z| < .
n=0
(2n)!

6) Obter a srie de Taylor




z (z 1)n
e =e , |z 1| < ,
n=0
n!

para a funo f(z) = ez (a) usando f (n) (1) (n = 0, 1, 2, . . .) e (b) escrevendo ez = ez1 e.
7) Encontre a srie de Maclaurin para a funo
z z 1
f(z) = = .
z4 +9 9 1 + (z 4 /9)

(1)n 4n+1
Resposta: z , |z| < 3.
32n+2
n=0

94
8) Estabelea a seguinte srie de Taylor:

(z i)n
1
= , |z i| < 2.
1z n=0
(1 i)n+1

1 1 1 1
Sugesto: Inicie escrevendo = = .
1z (1 i) (z i) 1 i 1 (z i)/(1 i)

9) Mostre que

1 1 1 (1)n (n + 1)
(a) 2 = (n + 1)(z + 1)n , |z + 1| < 1; (b) 2 = (z 2)n ,
z n=0
z 4 n=0 2n
|z 2| < 2.
10) Desenvolva a funo
(a) cos z em srie de Taylor em torno de z = /2;
(b) senh z em srie de Taylor em torno de z = i.
Sugesto: (a) Utilize a identidade cos z = sen(z /2); (b) Use a identidade senh(z + i) = senh z e o fato de senh z ser
peridica de perodo 2i.

11) Qual o crculo de convergncia para a srie de Maclaurin da funo tanh z? Escreva
os primeiros termos desta srie.

5.7 Sries de Laurent


Teorema 5.6 Suponha que uma funo f analtica num domnio anular R1 < |zz0 | < R2 ,
centrado em z0 e seja C um caminho fechado simples, orientado positivamente, envolvendo
z0 e contido no domnio anular (veja figura 3). Ento, em cada ponto do domnio, f(z) tem
uma representao



n bn
f(z) = an (z z0 ) + , R1 < |z z0 | < R2 , (5.5)
n=0 n=0
(z z0 )n

onde,

1 f(z)dz 1 f(z)dz
an = n+1
, e bn = , n = 0, 1, 2, . . . .
2i C (z z0 ) 2i C (z z0 )n+1
y

R1 R2

z0

x
0

Figura 3.

95
A expresso em (5.5) pode ser reescrita como


f(z) = cn (z z0 )n , R1 < |z z0 | < R2 , (5.6)
n=


1 f(z)dz
onde cn = , n = 0, 1, 2, . . .. As expanses em (5.5) e (5.6) so
2i C (z z0 )n+1
chamadas sries de Laurent.
Observe que o integrando em bn f(z)(zz0 )n1 . Assim, se f analtica em |zz0 | < R2 ,
este integrando tambm o e temos bn = 0. Logo, (5.5) se reduz a srie de Taylor para f
centrada em z0 .
Podemos ter ainda como domnios anulares para f os conjuntos: 0 < |z z0 | < R2 ,
R1 < |z z0 | < e 0 < |z z0 | < .

Demonstrao:
Provaremos para o caso z0 = 0. Considere a regio
anular r1 |z| r2 contida em R1 < |z| < R2 e y
contendo z e C . Sejam C1 e C2 os crculos |z| = r1
e |z| = r2 , de modo que f seja analtica sobre C1 e C
r2
C2 e na regio anular entre eles. Por fim, seja o
z r1
crculo centrado em z com orientao positiva contido
g R1 R2
na regio entre C1 e C2 (veja figura 4). x
0 C1
Pelo teorema de Cauchy-Goursat
C2
f(s)ds f(s)ds f(s)ds
= 0.
C2 s z C1 s z sz

ou ainda, Figura 4.

1 f(s)ds 1 f(s)ds
f(z) = + .
2i C2 sz 2i C1 zs

Sabemos que
1 N1 1 N
1 n N 1 1 1 1 sN
= n+1
z + z N
e =
n+1 z n
+ N
.
sz n=0
s (s z)s z s n=1
s z z s
/
Multiplicando as duas expresses acima por f(s) 2i e integrando em relao a C2 e C1 ,
obtemos
N1

n bn
f(z) = an z + N (z) + + N (z)
n=0 n=1
zn

onde an e bn so
1 f(s)ds 1 f(s)ds
an = , b n =
2i C2 sn+1 2i C1 sn+1
e
zN f(s)ds 1 sN f(s)ds
N (z) = N
, N (z) = .
2i C2 (s z)s 2iz N C1 zs

96
Agora, note que lim N (z) = 0 e lim N (z) = 0 e finalmente, utiliando o Princpio de
N N
Deformao dos Caminhos, obtemos a srie de Laurent (5.5) para a funo f em z0 = 0.

Exemplo 5.11 Substituindo z por 1/z na srie de Maclaurin




z zn z z2 z3
e = =1+ + + + , |z| < ,
n=0
n! 1! 2! 3!

obtemos a srie de Laurent



1/z 1 1 1 1
e = n
=1+ + 2
+ + , 0 < |z| < .
n=0
n!z 1!z 2!z 3!z 3


1
De acordo com o teorema de Laurent, b1 = e1/z dz, onde C um caminho fechado
2i C
com orientao positiva ao redor da origem. Como b1 = 1, temos

e1/z dz = 2i.
C

1
Exemplo 5.12 A funo f(z) = j est escrita como uma srie de Laurent, onde
(z i)2
z0 = i. Temos,


f(z) = cn (z i)n , 0 < |z i| < ,
n=

onde c2 = 1 e os demais coeficientes so nulos. Os coeficientes de Laurent so


/
1 1 (z i)2 1 1
cn = n+1
dz = dz, n = 0, 1, 2, . . . ,
2i C (z i) 2i C (z i)n+3

onde C qualquer caminho fechado orientado positivamente ao redor de z0 = i. Ento,


{
dz 0, n = 2
= .
C (z i)
n+3 2i n = 2

Exemplo 5.13 A funo


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

tem dois pontos singulares: z = 1 e z = 2. Ela analtica nos domnios

D1 : |z| < 1, D2 : 1 < |z| < 2 e D3 : 2 < |z| < .

Em cada domnio, D1 , D2 e D3 temos representaes para f em sries de potncias.


Considere D1 . Temos,
1 1 1
f(z) = + .
1 z 2 1 (z/2)

97
Como |z| < 1, |z/2| < 1 em D1 e lembrando que y

1 D3
= z n , |z| < 1, obtemos
1z n=0 D2

D1
1 znn

n
zn
f(z) = z + = z + x
n=0
2 n=0 2n n=0 n=0
2n+1 0 1 2


= (2n1 1)z n , |z| < 1.
n=0

No domnio D2 , temos |z| > 1 |1/z| < 1 e |z/2| < 1. Figura 5.


Logo,

1 1 1 1 1 1 1 zn 1 zn
f(z) = + = + = +
z 1 (1/z) 2 1 (z/2) z n=0 z n 2 n=0 2n n=0
z n+1 n=0 2n+1


zn 1
= + , 1 < |z| < 2,
n=0
2n+1 n=1 z n

que a srie de Laurent para f(z) em D2 : 1 < |z| < 2.


Finalmente, no domnio D3 temos |z| > 2 |2/z| < 1 e |1/z| < 1. Logo,

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



1 2n 1 2n1
= = , 2 < |z| < .
n=0
z n+1 n=1
zn

Exemplo 5.14 Considere a funo

1
f(z) = .
z(z 1)

Vamos expandir f em uma srie de Laurent que seja vlida nos domnios D1 : 0 < |z1| < 1
e D2 : 1 < |z 1| < .

Considerando primeiro o domnio D1 , temos



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



n n1 1
= (1) (z 1) = (1)n+1 (z 1)n = 1 + (z 1) (z 1)2 + .
n=0 n=1
z1

98

1

J em D2 temos 1 < |z 1| < 1, donde y
z 1
segue que
1 1 1 D2
f(z) = =
z(z 1) z 1 1 + (z 1)

D1
1 1 1 1
= = (1)n x
(z 1)2 1 2
(z 1) n=0 (z 1)n 0 1 2
1+
z1

1
= (1)n
n=0
(z 1)n+2 Figura 6.

1 1 1 1 1
= (1)n2 = + + .
n=2
(z 1)n (z 1)2 (z 1)3 (z 1)4 (z 1)5

5.8 Convergncia absoluta e uniforme


Teorema 5.7 Se uma srie de potncias


an (z z0 )n (5.7)
n=0

converge quando z = z1 , (z1 = z0 ), ento ela converge absolutamente, para cada z em


|z z0 | < R1 , onde R1 = |z1 z0 |.

Demonstrao: Seja z0 = 0 e suponha que




an z1n , z1 = 0
n=0

converge. Ento, |an z1n | M, n = 0, 1, 2, . . ., para algum M > 0. Se |z| < |z1 | e
p = |z/z1 | < 1, obtemos
n

n z
n
|an z | = |an z1 | Mpn , n = 0, 1, 2, . . . e p < 1.
z1


Como Mpn , p < 1 uma srie geomtrica convergente, segue pelo teste da comparao
n=0


que, |an z n | converge em |z| < |z1 | = R1 , como queramos.
n=0
Agora, se z0 = 0, assuma que (5.7) converge em z = z1 (z1 = z0 ). Escrevendo w = z z0

em an w n , obtemos que esta srie converge em w = z1 z0 . Como o teorema vale para
n=0


z0 = 0, an w n converge absolutamente no disco |w| < |z1 z0 |, ou seja,
n=0


an (z z0 )n
n=0

99
converge absolutamente em |z z0 | < |z1 z0 | = R1 .

Suponha que (5.7) tenha crculo de convergncia |z z0 | = R e sejam



N1

n
S(z) = an (z z0 ) , SN (z) = an (z z0 )n , |z z0 | < R.
n=0 n=0

Temos a funo resto


N (z) = S(z) SN (z), |z z0 | < R.
Como a srie em (5.7) converge, para todo z em |z z0 | < R, sabemos que lim N (z) = 0,
n
ou seja, para todo > 0, existe N tal que
|N (z)| < sempre que N > N .

Quando a escolha de N depende apenas de e independe de z, a convergncia dita


uniforme.

Teorema 5.8 Se z1 pertence ao interior do crculo de convergncia |z z0 | = R de uma


srie de potncias

an (z z0 )n
n=0

ento, a srie converge uniformemente no disco fechado |z z0 | R1 , onde R1 = |z1 z0 |.

Demonstrao: Seja z0 = 0. Sendo z1 um ponto no interior de |z z0 | = R, fcil ver


que (veja teorema anterior)

|an z1n |
n=0

converge. Sendo m, N N, com m > N, podemos escrever as funes resto


m
m

n
N (z) = lim an z e N = lim |an z1n |.
m m
n=N n=N

m
n
Note que, |N (z)| = lim an z e, quando |z| < |z1 |
m
n=N
m
m m
m

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

n=N n=N n=N n=N

Ento,
|N (z)| N , quando |z| |z1 | (5.8)
Desde que, N o resto de uma srie convergente, lim N = 0, ou seja, para todo > 0,
N
existe N tal que
N < quando N > N (5.9)
Por (5.8) e (5.9), |N | < sempre que N > N , para todo z no disco |z| |z1 |; e o valor
de N independe da escolha de z1 , isto , a convergncia da srie uniforme.
Se for z0 = 0, faa w = z z0 e conclua o resultado.

100
5.9 Continuidade da soma
Teorema 5.9 Uma srie de potncias


an (z z0 )n
n=0

representa uma funo contnua S(z) em cada z no interior de seu crculo de convergncia
|z z0 | = R.

Demonstrao: Escolhemos omitir esta demonstrao.


/
Escrevendo w = 1 (z z0 ), obtemos uma srie do tipo

bn
. (5.10)
n=1
(z z0 )n



Se a srie em (5.10) converge quando z = z1 , onde z1 = z0 , bn w n converge
/ n=1
absolutamente para uma funo contnua quando |w| < 1 |z1 z0 |, ou seja, quando
|z z0 | > |z1 z0 |, que o exterior do crculo |z z0 | = R1 . A srie de Laurent


bn
f(z) = an (z z0 )n +
n=0 n=1
(z z0 )n

vlida em R1 < |z z0 | < R2 , com as sries no lado direito convergindo uniformemente.

5.10 Exerccios
1) Mostre que quando |z| > 0
ez 1 1 1 z z2 sen(z 2 ) 1 z 2 z 6 z 10
(a) 2 = 2 + + + + + ; (b) = 2 + +;
z z z 2! 3! 4! z4 z 3! 5! 7!
( )
senh z 1 z 2n+1 3 1 z 1 1
(c) = + ; (d) z cosh = + z3 + 2n1 .
z2 z n=0 (2n + 3)! z 2 n=1
(2n + 2)! z

2) Mostre que quando 0 < |z| < 4,


zn
1 1
= + .
4z z 2 4z n=0 4n+2

3) Encontre sries de Laurent que represetem as funes,


( )
2 1 1 1 1
(a) f(z) = z sen 2 , 0 < |z| < ; (b) f(z) = = ,
z 1+z z 1 + (1/z)
1 < |z| < .



(1)n 1 (1)n+1
Respostas: (a) 1 + ; (b) .
(2n + 1)! z 4n zn
n=1 n=1

101
4) Escreva as funes como uma srie de Laurent que seja vlida nos respectivos
domnios anulares.
1
(a) f(z) = nos domnios 0 < |z| < 1, 1 < |z| < , 0 < |z 1| < 1 e
z(z 1)
1 < |z 1| < ;

1
(b) f(z) = nos domnios 0 < |z 1| < 2 e 0 < |z 3| < 2.
(z 1)2 (z 3)
Respostas: (a) f(z) = 1z 1 z z 2 z 3 ; f(z) = 1
z2
+ 1
z3
+ 1
z4
+ 1
z5
+ ; f(z) = 1
z1 1 + (z 1) (z 1)2 + ;
1 1 1 1
f(z) = (z1)2
(z1)3
+ (z1)4
(z1)5
+ .

1 1 1 1 1 1 3
(b) f(z) = 2(z1)2 4(z1) 8 16 (z 1) ; f(z) = 4(z3) 4 + 16 (z 3) 18 (z 3)2 + .

5) Represente a funo
z+1
f(z) =
z1
por uma srie de Maclaurin e escreva onde esta representao vlida; em seguida
represente a mesma funo por uma srie de Laurent no domnio 1 < |z| < .


1
Respostas: (a) 1 2 z n , |z| < 1; (b) 1 + 2 .
zn
n=1 n=1

6) Desenvolva a funo f(z) = (z 1)/z 2 em srie de potncias de z 1 nas regies


|z 1| < 1 e |z 1| > 1.

7) Escreva as duas sries de Laurent em potncias de z para representar a funo

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

e especifique os domnios de convergncia.





1 (1)n+1
Respostas: (1)n+1 z 2n+1 + , 0 < |z| < 1; , 1 < |z| < .
z z 2n+1
n=0 n=1

5.11 Integrao e diferenciao de sries


Uma srie

S(z) = an (z z0 )n (5.11)
n=0

uma funo contnua no interior do crculo de convergncia da srie. Veremos que S(z)
analtica neste domnio.

Teorema 5.10 Seja C um caminho qualquer interior ao crculo de convergncia da srie


(5.11) e seja g(z) uma funo qualquer contnua em C . Ento,


g(z)S(z)dz = an g(z)(z z0 )n dz.
C n=0 C

102
Demonstrao: Note que
N1

g(z)S(z) = an g(z)(z z0 )n + g(z)N (z)
n=0

e integrando, vem
N1

n
g(z)S(z)dz = an g(z)(z z0 ) dz + g(z)N (z)dz.
C n=0 C C

Como lim N (z) = 0, para todo > 0 existe N tal que


N

|N (z)| < sempre que N > N ,

onde N independe de z. Sendo M = max |g(z)| e L o comprimento de C , obtemos


zC


g(z)N (z)dz < ML sempre que N > N ,

C

isto ,
lim g(z)N (z)dz = 0.
N C

Portanto,
N1


n
g(z)S(z)dz = lim an g(z)(z z0 ) dz = an g(z)(z z0 )n dz.
C N C C
n=0 n=0

Se g(z) = 1 para todo z no disco limitado pelo crculo de convergncia da srie em


(5.11), obtemos

g(z)(z z0 ) dz = (z z0 )n dz = 0, n = 0, 1, 2, . . . ,
n
C C

para todo caminho fechado contido neste domnio. Pelo teorema anterior,

S(z)dz = 0,
C

para todo caminho fechado C no domnio de convergncia. Pelo Teorema de Morera, S(z)
analtica que o seguinte corolrio:

Corolrio 5.1 A soma S(z) de uma srie de potncias (5.11) analtica, para todo z no
interior do crculo de convergncia da srie.

103
Exemplo 5.15 Mostre que
{ sen z
, quando z =
0
f(z) = z
1, quando z = 0

inteira. De fato, temos



z 2n+1
sen z = (1)n , |z| <
n=0
(2n + 1)!

representando a funo sen z para todo z. Da,



sen z z 2n z2 z4
= (1)n =1 +
z n=0
(2n + 1)! 3! 5!

converge para f(z) quando z = 0. Mas, a srie anterior converge para f(0) quando z = 0.
Ento, f(z) representada por uma srie de potncias convergente, para todo z no plano
complexo; e f , portanto, uma funo inteira.
sen z
Assim, f contnua em z = 0 e como = f(z) (z = 0),
z
sen z
lim = lim f(z) = f(0) = 1.
z z z

Teorema 5.11 Uma srie de potncias (5.11) pode ser derivada termo a termo. Isto , em
cada z no interior do crculo de convergncia da srie,



S (z) = nan (z z0 )n1 .
n=1

Demonstrao: Seja C um caminho fechado, orientado positivamente, ao redor de z contido


no interior do crculo de convergncia. Defina a funo
1 1
g(s) = , para todo s C .
2i (s z)2

Desde que g(s) uma funo contnua em C , temos pelo teorema anterior


g(s)S(s)ds = an g(s)(s z0 )n ds.
C n=0 C

Agora, como S(s) analtica em C e no interior de C , podemos escrever



1 S(s)
g(s)S(s)ds = 2
ds = S (z) (5.12)
C 2i C (s z)

e por outro lado,



n 1 (s z0 )n d
g(s)(s z0 ) ds = 2
ds = (z z0 )n , n = 0, 1, 2, . . . . (5.13)
C 2i C (s z) dz

104
Logo, de (5.12) e (5.13)


d
S (z) = an (z z0 )n = nan (z z0 )n1 .
n=0
dz n=1

Exemplo 5.16 Vimos que



1
= (1)n (z 1)n , |z 1| < 1.
z n=0


1
Diferenciando ambos os lados desta equao, obtemos 2 = (1)n n(z 1)n1 , ou
z n=1
seja,

1
2
= (1)n (n + 1)(z 1)n , |z 1| < 1.
z n=0

5.12 Unicidade da representao de sries


Teorema 5.12 Se a srie

an (z z0 )n (5.14)
n=0

converge para f(z) no crculo de convergncia |z z0 | = R ento, esta a expanso em


sries de Taylor para f em potncias de z z0 .



Demonstrao: Sendo f(z) = an (z z0 )n , |z z0 | = R, vem
n=0



g(z)f(z)dz = am g(z)(z z0 )m dz
C m=0 C

onde,
1 1
g(z) = , n = 0, 1, 2, . . .
2i (z z0 )n+1
com n fixado, porm arbitrrio e C sendo o crculo centrado em z0 com raio menor que R.
Logo,
1 f(z)dz f (n) (z0 )
g(z)f(z)dz = = , n fixo. (5.15)
C 2i C (z z0 )n+1 n!
Fica a cargo do leitor verificar a igualdade
{
m 1 dz 0 quando m = n
g(z)(z z0 ) dz = = ,
C 2i C (z z0 )nm+1 1 quando m = n

105
donde segue que,


am g(z)(z z0 )m dz = an (5.16)
m=0 C

Das equaes em (5.15) e (5.16), conclumos que


f (n) (z0 )
= an , n = 0, 1, 2, . . . ,
n!

ou seja, a srie em (5.14) a srie de Taylor para a funo f no ponto z0 .

Teorema 5.13 Se a srie






n n bn
cn (z z0 ) = an (z z0 ) +
n= n=0 n=1
(z z0 )n

converge para f(z) em todos os pontos de um domnio anular ao redor de z0 , ento esta
a representao em srie de Laurent para f em potncias de z z0 neste domnio.

Demonstrao: Anloga a demonstrao do teorema anterior.

5.13 Multiplicao e diviso de sries


Suponha que



n
an (z z0 ) e bn (z z0 )n (5.17)
n=0 n=0

convergem no mesmo crculo de convergncia |z z0 | = R. Suas somas f(z) e g(z) so


analticas em |z z0 | < R, e o produto em sries de Taylor


f(z)g(z) = cn (z z0 )n , |z z0 | < R,
n=0

onde
c0 = f(z0 )g(z0 ) = a0 b0

[f(z)g(z)]z=z0 f(z0 )g (z0 ) + f (z0 )g(z0 )


c1 = = = a 0 b1 + a 1 b0
1! 1!
[f(z)g(z)]z=z0 f(z0 )g (z0 ) + 2f (z0 )g (z0 ) + f (z0 )g(z0 )
c2 = = = a0 b2 + a1 b1 + a2 b0
2! 2!

A expresso geral para cn obtida pela regra de Leibnizs


n ( )
(n) n
[f(z)g(z)] = f (k) (z)g(nk) (z),
k
k=0

106
onde ( )
n n!
= , k = 0, 1, 2, . . . , n.
k k!(n k)!
Evidentemente
(n) n n n
[f(z)g(z)]z=z0 1 f (k) (z0 )g(nk) (z0 ) f (k) (z0 ) g(nk) (z0 )
cn = = n! = = ak bnk ,
n! n! k=0 k!(n k)! k=0
k! (n k)! k=0

donde segue que


( n
)

f(z)g(z) = a0 b0 +(a0 b1 )(zz0 )+(a0 b2 +a1 b1 +a2 b0 )(zz0 )2 + + ak bnk (zz0 )n + ,
k=0

onde |z z0 | < R; este o conhecido produto de Cauchy.


/
Exemplo 5.17 A funo ez (1 + z) tem um ponto singular em z = 1, ou seja, existe uma
srie de Maclaurin vlida em |z| < 1. Vamos determinar os trs primeiros temos deste
desenvolvimento. Temos
( )
ez z 1 z2 z3 ( )
=e = 1+z+ + + 1 z + z2 z3 + (5.18)
1+z 1 (z) 2 6
[ ]
1
= 1 1 + [1 (1) + 1 1]z + 1 1 + 1 (1) + 1 z 2 +
2
[ ]
1 1
+ 1 (1) + 1 1 + (1) + 1 z 3 +
2 6
1 1
= 1 + z 2 z 3 + , |z| < 1.
2 3
Este mesmo produto pode ser efetuado atravs do seguinte dispositivo prtico:
1 2 1 3
1 + z + z + z + (a)
2 6
1 3 1 4
z z2 z z (b)
2 6
1 4 1 5
z2 + z3 + z + z + (c)
2 6
1 5 1 6
z3 z4 z z (d)
2 6

1 2 1 3
1 + z z + (e)
2 3
Observando o produto das duas sries na equao (5.18), a srie em (a) obtida
multiplicando a primeira srie em (5.18) por b0 = 1; obtemos (b) multiplicamos a srie
anterior em (a) por b1 z = z; obtemos (c) multiplicamos novamente a srie anterior (b)
por b1 z = z; e (d) tambm obtida multiplicando a srie anterior (c) por b1 z = z; e
assim por diante. Somando os resultados obtidos em (a), (b), (c) e (d), chegamos a srie
em (e) que o resultado do produto na equao (5.18).

107
Considere agora as funes f e g representadas/ em (5.17) e suponha que g(z) = 0 no
disco |z z0 | < R. Desde que o quociente f(z) g(z) analtico em |z z0 | < R, temos a
srie de Taylor

f(z)
= dn (z z0 )n , |z z0 | < R
g(z) n=0
/
onde cada dn obtido diferenciando f(z) g(z) sucessivamente e aplicando os resultados
a z = z0 . Isto fornecer frmulas um tanto complicadas, uma vez que utilizaremos vrias
vezes a regra do produto para derivao. Porm, assim como no exemplo anterior, faremos
uso de um dispositivo prtico para efetuar a diviso.

Exemplo 5.18 Os zeros de senh z so z = ni (n = 0, 1, 2, . . .). Assim, o quociente


( )
1 1 1 1
2
= ( 3 5
)= 3 / / ,
z senh z z z z 1 + z 2 3! + z 4 5! +
2
z z+ + +
3! 5!
/ /
admite uma srie de Laurent no domnio 0 < |z| < . A srie 1 + z 2 3! + z 4 5! +
senh z
converge para , se z = 0 e para 1, se z = 0. Assim, podemos efetuar a diviso
/( / z/ )
1 1 + z 2 3! + z 4 5! + atravs do seguinte dispositivo prtico, vlido se |z| < :

1 (a)
1 2 1 4
1 + z + z + (b)
3! 5!
1 2 1 4
z z (c)
3! 5!
1 2 1 4
z z (d)
3! 5!
[ ]
1 1 4
z + (e)
(3!)2 5!
[ ]
1 1 4
z + (f)
(3!)2 5!

..
.

Queremos fazer a diviso de (a) por (b). Primeiro fazemos a operao (a) (b) para
obter (c); em seguida multiplicamos o primeiro termo da srie (c) por toda a srie (b); o
resultado a srie descrita em (d); fazendo (c)(d) obtemos (e); novamente, multiplicando
o primeiro termo de (e) por toda a srie (b), obtendo a srie (f); e assim por diante. Os
primeiros termos de (a), (c) e (e) nos fornecem os trs primeiros termos da diviso. Logo,
[ ]
1 1 2 1 1 4 1 7 4
2
/
4
/ = 1 z + 2
z + = 1 z 2 + z + , |z| < .
1 + z 3! + z 5! + 3! (3!) 5! 6 360

108
Portanto, ( )
1 1 1 7 4
2
= 3 1 z2 + z + , 0 < |z| <
z senh z z 6 360
isto ,
1 1 1 1 7
= 3 + z + , 0 < |z| < .
z2 senh z z 6 z 360

5.14 Exerccios
1) Derivando a srie de Maclaurin de 1/(1 z), obtenha as representaes

1 n 2
= (n + 1)z e = (n + 1)(n + 2)z n
(1 z)2 n=0
(1 z)3
n=0

para |z| < 1.


2) Desenvolva a funo 1/z em potncias de (z 1). A seguir obtenha, por derivao, o
desenvolvimento de 1/z 2 em potncias de (z 1). Qual a regio de convergncia?
3) Com ajuda de sries de potncias, prove que a funo
{ z
(e 1)/z, quando z = 0,
f(z) =
1 quando z = 0

inteira.
4) Integre a srie de Maclaurin de 1/(1+ w) ao longo de um caminho, interior ao crculo
de convergncia, que vai de w = 0 at w = z para obter a representao

(1)n+1
Log (z + 1) = zn, |z| < 1.
n=1
n

Em seguida mostre que a funo


{
Log (z + 1)
, quando z =
0,
f(z) = z
1 quando z = 0

analtica no domnio |z| < 1, < arg z < .


5) Usando o desenvolvimento de senh z em potncias de (z i) mostre que
senh z
lim = 1.
zi z i

6) Prove que se
cos z
quando z =
/2,
f(z) = z2
(/2)2
1
quando z = /2,

ento f uma funo inteira.

109
7) Seja f uma funo analtica num ponto z0 tal que f(z0 ) = 0. Usando srie de
potncias, mostre que
f(z)
lim = f (z0 ).
zz0 z z0

8) Sejam f e g funes analticas num ponto z0 tal que f(z0 ) = g(z0 ) = 0. Usando srie
de potncias, mostre que
f(z) f (z0 )
lim = .
zz0 g(z) g (z0 )

9) Prove que se f analtica em z0 e f(z0 ) = f (z0 ) = = f (m) (z0 ) = 0, ento a funo


g definida por

f(z)

quando z = z0 ,
(z z0 )m+1
f(z) =

f (m+1) (z0 )


quando z = z0 ,
(m + 1)!

analtica em z0 .

10) Use multiplicao de sries para mostrar que

ez 1 1 5
2
= + 1 z z2 + (0 < |z| < 1).
z(z + 1) z 2 6

11) Escrevendo csc z = 1/ sen z e usando diviso de sries, mostre que


[ ]
1 1 1 1 3
csc z = + z + z + (0 < |z| < ).
z 3! (3!)2 5!

12) Utilizando diviso de sries estabelea a seguiente representao em srie de


Laurent:
1 1 1 1 1 3
z
= + z z + (0 < |z| < 2).
e 1 z 2 12 720
13) Usando diviso de sries de potncias mostre que

1 1 11 7
= 3 + z + (0 < |z| < ).
z2 senh z z 6 z 360

Em seguida mostre que


dz i
=
C z2 senh z 3
onde C o crculo unitrio |z| = 1 orientado no sentido positivo.

110
Captulo 6

Resduos e Polos

6.1 Resduos
Um ponto singular z0 de uma funo f um ponto singular isolado se existir uma
vizinhana 0 < |z z0 | < de z0 , na qual f analtica.

Exemplo 6.1 A funo


z+1
f(z) =
z 3 (z 2
+ 1)
tem trs pontos singulares isolados: z = 0 e z = i.

Exemplo 6.2 O ponto z = 0 um ponto singular do ramo principal,

Log z = ln r + i, r > 0, < < ,

da funo logartmica. Mas, no um ponto singular isolado, pois toda vizinhana de


z = 0 contm pontos do eixo real negativo que so singularidades de Log z (veja figura
1).

x
0

Figura 1.

111
Exemplo 6.3 A funo
1
f(z) =
sen (/z)
tem pontos singulares z = 0 e z = 1/n, n = 1, 2, . . ., todos no eixo real de z = 1
a z = 1. Cada ponto singular, exceto z = 0, isolado. O ponto z = 0 no um ponto
singular isolado, pois toda vizinhana da origem contm algum ponto singular de f; mais
precisamente, dado > 0 e um inteiro m > 1/, temos
1
0< < ,
m
ou seja, z = 1/m um ponto singular na vizinhana 0 < |z| < (figura 2).
y

e
1/m
x
0

Figura 2.

Quando z0 um ponto singular isolado da funo f, existe R2 > 0 tal que f analtica
no domnio 0 < |z z0 | < R2 . Consequentemente, f representada por uma srie de
Laurent

b1 b2 bn
f(z) = an (z z0 )n + + 2
+ + n
+ , 0 < |z z0 | < R2 .
n=0
z z0 (z z0) (z z0)

Em particular,
1 f(z)dz
bn = , n = 1, 2, . . . ,
2i C (z z0 )n+1
onde C um caminho fechado ao redor de z0 , com orientao positiva, contido no interior
do domnio 0 < |z z0 | < R2 (Figura 3).
y

C R2

z0

x
0

Figura 3.

112
Quando n = 1, temos
f(z)dz = 2ib1 .
C
/
O nmero complexo b1 , que o coeficiente de 1 (z z0 ) na expanso em sries de Laurent,
chamado resduo de f no ponto singular isolado z0 . Escrevemos

Res f(z) = b1 .
z=z0

Exemplo 6.4 Considere


dz
,
C z(z 2)4

onde C o crculo |z 2| = 1 orientado no sentido positivo. Como o integrando analtico


em C, exceto nos pontos z = 0 e z = 2, temos uma representao em srie de Laurent
vlida no domnio ) < |z 2| < 2 (veja figura 4).

x
0 1 2

Figura 4.

1
Vamos determinar Res = b1 . Temos
z=2 z(z 2)4
1 1 1 1 1
4
= 4
= ( )
z(z 2) (z 2) 2 + (z 2) (z 2)4 z2
1
2
n
1 n (z 2)
= (1)
2(z 2)4 n=0 2n

(1)n
= (z 2)n4 , 0 < |z 2| < 2.
n=0
2n+1

/ /
O coeficiente b1 de 1 (z 2) 1 16. Logo,
( )
dz 1 1 i
4
= 2i Res 4
= 2i = .
C z(z 2) z=2 z(z 2) 16 8

Exemplo 6.5 Mostre que


2
e1/z dz = 0,
C

113
onde C o crculo unitrio |z| = 1. Como 1/z 2 analtica em todo plano complexo, exceto
2
em z = 0, o mesmo ocorre com e1/z ; alm disso, o ponto singular isolado z = 0 interior
a C e sabendo que
z z2 z3
ez = 1 + + + + , |z| < ,
1! 2! 3!
podemos escrever a srie de Laurent,
2 1 1 1 1 1 1
e1/z = 1 + 2 + 4 + 6 + , 0 < |z| < .
1! z 2! z 3! z
2
Assim, Res e1/z = b1 = 0, donde
z=0

2
e1/z dz = 2ib1 = 0.
C

6.2 Teorema dos Resduos de Cauchy


Teorema 6.1 Seja C um contorno fechado simples, orientado positivamente. Se f uma
funo analtica sobre C e no interior de C , exceto num nmero finito de pontos singulares
zk (k = 1, 2, . . . , n) pertencentes ao interior de C , ento
n
f(z)dz = 2i Res f(z).
C z=zk
k=1

Demonstrao: Considere os crculos Ck (k = 1, 2, . . . , n) orientados nos sentido positivo,


centrados em cada zk , todos pertencentes ao interior de C (veja figura 5).
y
C
Cn
C2
C1 ... zn
z2
z1
x
0
Figura 5.

A regio fechada compreendida entre C e cada crculo Ck um domnio multiplamente


conexo. Ento, pelo Teorema de Cauchy-Goursat,
n

f(z)dz f(z)dz = 0.
C k=1 Ck

Agora, o resultado segue imediatamente da relao



f(z)dz = 2i Res f(z).
Ck z=zk

114
Exemplo 6.6 Calcule a integral
5z 2
dz
C z(z 1)

onde C o crculo |z| = 2 orientado positivamente. Note que, z = 0 e z = 1 so


as singularidades isoladas do integrando e ambas pertencem ao interior de C . Vamos
determinar
5z 2 5z 2
B1 = Res e B2 = Res .
z=0 z(z 1) z=1 z(z 1)

Primeiro, quando 0 < |z| < 1 (figura 6) temos


( )
5z 2 5z 2 1 2
= = 5 (1 z z 2 ).
z(z 1) z 1z z

x
0 1 2

Figura 6.

Observe que o coeficiente de 1/z B1 = 2. Agora, quando 0 < |z 1| < 1 (figura 6),
obtemos
( )
5z 2 5(z 1) + 3 1 3 [ ]
= = 5+ 1 (z 1) + (z 1)2
z(z 1) z1 1 + (z 1) z1
/
e o coeficiente de 1 (z 1) B2 = 3. Logo,

5z 2
dz = 2i(B1 + B2 ) = 2i(2 + 3) = 10i.
C z(z 1)

Aqui, poderamos ter observado que


5z 2 2 3
= + .
z(z 1) z z1
/
Como 2/z uma srie de Laurent quando 0 < |z| < 1 e 3 (z 1) tambm uma srie de
Laurent quando 0 < |z 1| < 1, segue que

5z 2 2 3
dz = dz + dz = 2i(2) + 2i(3) = 10i.
C z(z 1) C z C z1

115
O prximo teorema pode ser bastante til para avaliar integrais, pois envolve o clculo
de apenas um resduo.

Teorema 6.2 Se f uma funo analtica num plano finito, exceto num nmero finito de
pontos singulares contidos no interior de um contorno fechado simples C , ento
[ ( )]
1 1
f(z)dz = 2i Res 2 f .
C z=0 z z

Demonstrao: Deixaremos a demonstrao deste resultado como exerccio para o leitor.

Exemplo 6.7 Calcule


5z 2
dz
C z(z 1)
5z 2
onde C o crculo |z| = 2 orientado no sentido positivo. Sendo f(z) = , temos
z(z 1)
( ) 5 ( )
1 1 1 2 5 2z 5 2z 1 5
f = 2 ( z )= = = 2 (1 + z + z 2 + )
z2 z z 1 1 z(1 z) z 1z z
1
z z
[ ( )]
1 1
donde segue que Res 2 f = 5. Portanto
z=z0 z z

f(z)dz = 2i 5 = 10i.
C

6.3 Tipos de pontos singulares isolados


Se uma funo f tem um ponto singular isolado z0 , ento

b1 b2 bn
f(z) = an (z z0 )n + + + + + , 0 < |z z0 | < R2 . (6.1)
n=0
z z0 (z z0 )2 (z z0 )n

A parcela
b1 b2 bn
+ 2
+ + +
z z0 (z z0 ) (z z0 )n
chamada parte principal de f em z0 . Primeiramente, suponha que existe um inteiro
positivo m tal que
bm = 0 e bm+1 = bm+2 = = 0.
Ento, a expanso em (6.1) toma a forma

b1 b2 bm
f(z) = an (z z0 )n + + 2
+ + , 0 < |z z0 | < R2 ,
n=0
z z0 (z z0 ) (z z0 )m

onde bm = 0. Neste caso, o ponto singular isolado z0 chamado polo de ordem m. Quando
m = 1, o ponto chamado polo simples.

116
Exemplo 6.8 Observe que

z 2 2z + 3 z(z 2) + 3 3 3
= =z+ = 2 + (z 2) + , 0 < |z 2| < ,
z2 z2 z2 z2

em um polo simples (m = 1) em z0 = 2. O resduo b1 desta funo nesse polo 3.

Exemplo 6.9 A funo


( )
senh z 1 z3 z5 z7 1 11 z z3
= 4 z+ + + + = 3 + + + + , 0 < |z| < ,
z4 z 3! 5! 7! z 3! z 5! 7!

tem um polo de ordem m = 3 em z0 = 0, com resduo nesse polo b1 = 1/6.

Agora, suponha que todos os coeficientes bn s so nulos, isto




f(z) = an (z z0 )n = a0 + a1 (z z0 ) + a2 (z z0 )2 + , 0 < |z z0 | < R2 . (6.2)
n=0

Aqui, o ponto z0 chamado ponto singular removvel. Neste caso, Res f(z) = 0. Assim,
z=z0
podemos redefinir a funo f em z0 pondo f(z0 ) = a0 e a expanso em (6.2) fica vlida em
|z z0 | < R2 . Portanto, f torna-se analtica em z0 , ou seja, a singularidade z0 foi removida.

Exemplo 6.10 O ponto z0 = 0 um ponto singular removvel da funo


[ ( )]
1 cos z 1 z2 z4 z6 1 z2 z4
f(z) = = 1 1 + + = + , 0 < |z| < .
z2 z2 2! 4! 6! 2! 4! 6!

Fazendo f(0) = 1/2, f torna-se inteira.

Finalmente, quando na parte principal de f em z0 , uma infinidade de coeficientes bn s


so no nulos, z0 chamado ponto singular essencial de f.

Exemplo 6.11 A funo


1/z 1 1 1 1 1 1
e = n = 1 + + 2 + , 0 < |z| < ,
n=0
n! z 1! z 2! z

tem um ponto singular essencial em z0 = 0, com resduo b1 = 1.

117
6.4 Resduos em polos
Quando uma funo f tem uma singularidade isolada em z0 , o mtodo bsico para saber
se z0 um polo e encontrar o resduo
/ em z0 consiste em escrever a srie de Laurent e
observar quem o coeficiente de 1 (zz0 ). O teorema seguinte fornece uma caracterizao
dos polos e uma maneira diferente de determinar o correspondente resduo.

Teorema 6.3 Um ponto singular isolado z0 de uma funo f um polo de ordem m se, e
somente se, for possvel escrever f(z) na forma

(z)
f(z) = , (6.3)
(z z0 )m

onde (z) uma funo analtica em z0 com (z0 ) = 0. Alm disso,

Res f(z) = (z0 ) se m = 1


z=z0

e
(m1) (z0 )
Res f(z) = se m 2.
z=z0 (m 1)!

Demonstrao: Suponha que f(z) tenha a forma (6.3). Desde que (z) analtica em z0
temos a expanso


(z0 ) (z0 ) 2 (m1) (z0 ) m1 (n) (z0 )
(z) = (z0 )+ (zz0 )+ (zz0 ) + + (zz0 ) + (zz0 )n ,
1! 2! (m 1)! n=m
n!

vlida numa vizinhana |z z0 | < de z0 ; e a expresso em (6.3) toma a forma


/
(z0 ) (z0 )/1! (z0 )/2! (m1) (z0 ) (m 1)! (n) (z0 )/n!
f(z) = + + ++ + ,
(z z0 )m (z z0 )m1 (z z0 )m2 (z z0 ) n=m
(z z0 )nm

quando 0 < |z z0 | < . Esta srie de Laurent, juntamente com/o fato de ser (z0 ) = 0,
mostram que z0 um polo de ordem m de f. O coeficiente de 1 (z z0 ) o resduo de
f(z) em z0 , conforme descrito no teorema.

Inversamente, suponha que z0 um polo de ordem m de f. Ento, f possui uma


representao em sries de Laurent

b1 b2 bm
f(z) = an (z z0 )n + + 2
++ , bm = 0, 0 < |z z0 | < R2 .
n=0
z z0 (z z0 ) (z z0 )m

Defina a funo (z) por


{
(z z0 )m f(z) quando z =
z0
(z) = .
bm quando z = z0

118
Ento, temos a representao


m2 m1
(z) = bm +bm1 (zz0 )+ +b2 (zz0 ) +b1 (zz0 ) + an (zz0 )m+n , |zz0 | < R2 .
n=0

Consequentemente, (z) analtica no disco |z z0 | < R2 . Como (z0 ) = bm = 0, a


expresso (6.3) fica estabelecida.

Exemplo 6.12 A funo


z+1
f(z) =
z2 + 9
tem uma singularidade isolada em z = 3i e pode ser escrita como
z+1
z+1 (z) z+1
f(z) = 2 = z + 3i = , onde (z) = .
z +9 z 3i z + 3i z + 3i
3i
Desde que (z) analtica em z = 3i e (3i) = = 0, este ponto um polo simples
6
3i
de f; seu resduo B1 = (3i) = . O ponto z = 3i tambm um polo simples de f
6
3+i
com resduo B2 = (Verifique!).
6
Exemplo 6.13 Considerando a funo
z 3 + 2z
f(z) = ,
(z i)3

temos
(z)
f(z) = , onde (z) = z 3 + 2z.
(z i)3
A funo (z) inteira, e (i) = i3 + 2i = i = 0. Ento, a funo f tem um polo de ordem
3 em z = i. O resduo em z = i
(i) (6z)z=i 6i
B= = = = 3i.
2! 2! 2
Exemplo 6.14 Suponha que
(log z)3
f(z) = onde log z = ln r + i, r > 0, 0 < < 2.
z2 + 1
Para encontrar o resduo de f em z = i, escrevemos
(z) (log z)3
f(z) = onde (z) = .
zi z+i
A funo (z) analtica em z = i; desde que
(log i)3 (ln 1 + i/2)3 3
(i) = = = = 0,
2i 2i 16
3
o resduo procurado (i) = .
16
119
Exemplo 6.15 Se consideramos a funo
senh z
f(z) = ,
z4

no podemos aplicar o teorema de caracterizao dos polos na singularidade z = 0, pois,


se f(z) = (z)/z 4 com (z) = senh z, teramos (0) = 0. Neste caso, devemos usar a srie
de Laurent para a funo f.

Exemplo 6.16 Desde que z(ez 1) uma funo inteira e seus zeros so os pontos

z = 2ni, n = 0, 1, 2, . . . ,

z = 0 um ponto singular isolado de


1
f(z) = .
z(ez 1)

Da,
( ) ( )
z z z2 z3 z z2 z3
z(e 1) = z 1 + 1 + + + + = z + + +
1! 2! 3! 1! 2! 3!
( )
2 z z2
= z 1+ + + , |z| < .
2! 3!

Ento,
1
1 2 (z)
f(z) = ( ) = 1 + z/2! + 2z /3! + = 2 ,
z z2 z z
z2 1 + + +
2! 3!
1
onde (z) = . Desde que, (z) uma funo analtica no ponto
1 + z/2! + z 2 /3! +
z = 0 e (0) = 1 = 0, z = 0 um polo de segunda ordem; alm disso, o resduo de f em
z = 0 B = (0). Como
( )
1 2z
+ +
2! 3!
(z) = ( )2
z z2
1+ + +
2! 3!

numa vizinhana da origem, segue que B = (0) = 1/2.

Quando z0 um polo de uma funo f, existe ainda, uma outra maneira de calcular
Res f(z). o que est descrito no seguinte teorema:
z=z0

Teorema 6.4 Se f tiver um polo de ordem m em z = z0 , ento


1 dm1
Res f(z) = lim [(z z0 )m f(z)] .
z=z0 (m 1)! zz0 dz m1

120
Demonstrao: Como f tem um polo de ordem m 1 em z = z0 , temos o seguinte
desenvolvimento em sries de Laurent,

b1 b2 bm
f(z) = an (z z0 )n + + 2
++ , bm = 0, 0 < |z z0 | < R2
n=0
z z0 (z z0 ) (z z0 )m

Multiplicando a ltima expresso por (z z0 )m , vem




n
(z z0 ) f(z) = an (z z0 )n+m + b1 (z z0 )m1 + b2 (z z0 )m2 + + bm
n=0

= bm + + b2 (z z0 )m2 + b1 (z z0 )m1 + a0 (z z0 )m
+a1 (z z0 )m+1 + ,

e derivando os dois lados da igualdade m 1 vezes, obtemos

dm1
[(z z0 )m f(z)] = (m 1)!b1 + m!a0 (z z0 ) +
dz m1

Finalmente, tomando o limite quando z z0 na expresso anterior, concluimos que

dm1
lim [(z z0 )m f(z)] = (m 1)!b1 = (m 1)! Res f(z)
zz0 dz m1 z=z0

provando o nosso resultado.

Observe que se f tiver um polo simples (m = 1) em z = z0 , temos

Res f(z) = lim (z z0 )f(z).


z=z0 zz0

Exemplo 6.17 A funo


1
f(z) =
(z 1)2 (z 3)
tem um polo simples em z = 3 e um polo de ordem 2 em z = 1 (Verifique!). Como z = 3
um polo simples, temos

1 1
Res f(z) = lim(z 3)f(z) = lim 2
=
z=3 z3 z3 (z 1) 4

Para o polo de ordem 2, temos


[ ]
1 d [ 2
] d 1 1 1
Res f(z) = lim (z 1) f(z) = lim = lim 2
= .
z=1 1! z1 dz z1 dz z 3 z1 (z 3) 4

121
6.5 Zeros de funes analticas
Suponha que uma funo f analtica num ponto z0 . Sabemos que todas as derivadas
f (n) (z), n = 1, 2, . . ., existe em z0 . Se f(z0 ) = 0 e se existe um inteiro positivo m tal que
f (m) (z0 ) = 0 e cada derivada de ordem menor se anula em z0 , dizemos que f possui um zero
de ordem m em z0 . O prximo teorema nos d uma caracterizao para os zeros de ordem
m.

Teorema 6.5 Uma funo f que analtica no ponto z0 possui um zero de ordem m neste
ponto se, e somente se, existe uma funo g, que analtica e no nula em z0 , tal que
f(z) = (z z0 )m g(z). (6.4)

Demonstrao: Comecemos supondo que existe uma funo g, analtica e no nula em z0 ,


tal que (6.4) ocorre. Ento, temos a expanso em sries de Taylor
g (z0 ) g (z0 )
g(z) = g(z0 ) + (z z0 ) + (z z0 )2 +
1! 2!

vlida numa vizinhana |z z0 | < de z0 . Logo, (6.4) toma a forma


g (z0 ) g (z0 )
f(z) = g(z0 )(z z0 )m + (z z0 )m+1 + (z z0 )m+2 +
1! 2!

quando |z z0 | < . Pela unicidade da representao de sries de potncias, esta a


srie de Taylor para f(z), donde segue que
f(z0 ) = f (z0 ) = f (z0 ) = = f (m1) (z0 ) = 0 (6.5)

e f (m) (z0 ) = m!g(z0 ) = 0. Ento z0 um zero de ordem m de f.

Inversamente, suponha que f tem um zero de ordem m em z0 . Ento f analtica em


z0 e vale a condio (6.5), ou seja, em alguma vizinhana |z z0 | < de z0 temos a
representao em sries de Taylor

f (n) (z0 )
f(z) = (z z0 )n
n=m
n!
[ ]
m f (m) (z0 ) f (m+1) (z0 ) f (m+2) (z0 ) 2
= (z z0 ) + (z z0 ) + (z z0 ) + .
m! (m + 1)! (m + 2)!

Consequentemente, f(z) tem a forma (6.4), onde


f (m) (z0 ) f (m+1) (z0 ) f (m+2) (z0 )
g(z) = + (z z0 ) + (z z0 )2 + , |z z0 | < .
m! (m + 1)! (m + 2)!

Assim, g analtica numa vizinhana de z0 , isto , g analtica em z0 . Alm disso,


f (m) (z0 )
g(z0 ) = = 0.
m!
Isto completa a prova do teorema.

122
Exemplo 6.18 A funo inteira f(z) = z(ez 1) tem um zero de ordem m = 2 em z0 = 0,
pois f (z) = ez 1 + zez , f (z) = ez + ez + zez = 2ez + zez e
f(0) = f (0) = 0 e f (0) = 2 = 0.

A funo g na expresso (6.4) , neste caso, definida por


{ z
(e 1)/z quando z = 0
g(z) =
1 quando z = 0

Usando sries, vimos que esta funo analtica em z = 0 (e mais, ela inteira). Logo,
ez 1
f(z) = z(ez 1) = (z 0)2 g(z) = z 2 se z = 0 e f(0) = 0.
z
Nosso prximo teorema diz que os zeros de uma funo analtica so isolados.

Teorema 6.6 Dada uma funo f analtica num ponto z0 , suponha que f(z0 ) = 0 com f(z)
no sendo identicamente nula numa vizinhana arbitrria de z0 . Ento, f(z) = 0 numa
vizinhana 0 < |z z0 | < de z0 .

Demonstrao: Use o teorema anterior.

6.6 Zeros e Polos


Teorema 6.7 Suponha que: (i) duas funes p e q so analticas num ponto z0 ; (ii)
p(z0 ) = 0 e q possui um zero de ordem m em z0 . Ento, o quociente p(z)/q(z) tem
um polo de ordem m em z0 .

Demonstrao: Sejam p e q como descritas na hiptese do teorema. Desde que q tem


um zero de ordem m em z0 , sabemos pelo teorema anterior que existe uma vizinhana de
z0 na qual q(z) = 0; e assim, z0 um ponto singular isolado do quociente p(z)/q(z). Alm
disso, pelo Teorema 6.5,
q(z) = (z z0 )m g(z)
onde g analtica e no nula em z0 ; logo, podemos escrever
p(z) p(z)/g(z)
= (6.6)
q(z) (z z0 )m
Como p(z)/q(z) analtica e no nula em z0 , segue pelo Teorema 6.3 que z0 um polo de
ordem m de p(z)/q(z).

Exemplo 6.19 As funes


p(z) = 1 e q(z) = z(ez 1)

so inteiras; e sabemos da seo anterior que q tem um zero de ordem m = 2 no ponto


z0 = 0. Ento, pelo teorema anterior,
p(z) 1
= z
q(z) z(e 1)
tem um polo de ordem 2 neste ponto.

123
Teorema 6.8 (Quociente de funes analticas) Sejam p e q duas funes analticas num
ponto z0 . Se
p(z0 ) = 0, q(z0 ) = 0 e q (z0 ) = 0,

ento z0 um polo simples do quociente p(z)/q(z) e


p(z) p(z0 )
Res = . (6.7)
z=z0 q(z) q (z0 )

Demonstrao: Pelas hipteses do teorema, notamos que z0 um zero de ordem m = 1


da funo q. Assim,
q(z) = (z z0 )g(z) (6.8)

onde g(z) analtica e no nula em z0 . Alm disso, o teorema anterior nos diz que z0
um polo simples de p(z)/q(z); e a equao (6.6), nos fornece
p(z)/g(z)
.
z z0

Agora, p(z)/g(z) analtica e no nula em z0 , donde segue que


p(z) p(z0 )
Res = .
z=z0 q(z) g(z0 )

Diferenciando em ambos os lados a equao (6.8) vem

q (z) = g(z) + (z z0 )g (z)

e aplicando o resultado a z0 , obtemos g(z0 ) = q (z0 ). Portanto,


p(z) p(z0 )
Res = .
z=z0 q(z) q (z0 )

Exemplo 6.20 Considere a funo


cos z
f(z) = cot z = ,
sen z

que o quociente das funes inteiras p(z) = cos z e q(z) = sen z. As singularidades
deste quociente ocorrem nos zeros de q, ou seja, nos pontos

z = n, n = 0, 1, 2, . . . .

Desde que
p(n) = (1)n = 0, q(n) = 0 e q (n) = (1)n = 0,

cada ponto singular z = n de f um polo simples, com resduo


p(n) (1)n
Bn = = = 1.
q (n) (1)n

124
Exemplo 6.21 O resduo da funo
tanh z senh z
f(z) = =
z2 z 2 cosh z

no zero z = i/2 de cosh z pode ser encontrado considerando

p(z) = senh z e q(z) = z 2 cosh z.

Desde que ( ) ( )
i i
p = senh = i sen = i = 0
2 2 2
e ( ) ( ) ( )2 ( )
i i i i 2
q = 0, q = senh = i = 0,
2 2 2 2 4
obtemos que z = i/2 um polo simples de f e que seu resduo
p(i/2) 4
B= = .
q (i/2) 2

Exemplo 6.22 Podemos encotrar o resduo da funo


z
f(z) =
z4 + 4

no ponto singular isolado i/4


z0 = 2e =1+i

escrevendo p(z) = z e q(z) = z 4 + 4. Desde que

p(z0 ) = z0 = 0, q(z0 ) = 0 e q (z0 ) = 4z03 = 0,

f tem um polo simples em z0 . O resduo correspondente


p(z0 ) z0 1 1 i
B0 =
= 3 = 2 = = .
q (z0 ) 4z0 4z0 8i 8

6.7 Exerccios
1) Encontre o resduo em z = 0 das funes
( )
1 1 z sin z cot z sinh z
(a) 2
(b) z cos ; (c) ; (d) ; (e) .
z+z z z z4 z 4 (1 z2)
Respotas: (a) 1; (b) 1/2; (c) 0; (d) 1/45; (e) 7/6.

2) Use o Teorema dos Resduos de Cauchy para calcular a integral de cada uma das
funes sobre o crculo |z| = 3, orientado no sentido positivo.
ez ez z+1
(a) 2 (b) 2
; (c) z 2 e1/z ; (d) 2 .
z (z 1) z 2z
Respotas: (a) 2i; (b) 2i/e; (c) i/3; (d) 2i.

125
3) Use o teorema envolvendo um nico resduo para calcular a integral de cada uma
das funes sobre o crculo |z| = 2, orientado no sentido positivo.
z5 1 1
(a) (b) ; (c) .
1 z3 1 + z2 z
Respotas: (a) 2i; (b) 0; (c) 2i.

4) Considere os polinmios

P(z) = a0 + a1 z + a2 z 2 + + an z n , an = 0

e
Q(z) = b0 + b1 z + b2 z 2 + + bm z m , bm = 0

onde m n + 2. Mostre que, se todos os zeros de Q(z) pertencem ao interior de um


contorno fechado simples C , ento

P(z)
dz = 0.
C Q(z)

5) Em cada caso, escreva a parte principal da funo no seu ponto singular isolado e
determine se o ponto um polo, um ponto singular removvel ou um ponto singular
essencial:
z2 sin z cos z 1
(a) ze1/z (b) ; (c) ; (d) ; (e) .
1+z z z (2 z)3
6) Mostre que o ponto singular em cada funo um polo. Em seguida, determine a
ordem m do polo e o resduo B correspondente .
1 cosh z 1 e2z e2z
(a) (b) ; (c) .
z3 z4 (z 1)2
Respotas: (a) m = 1, B = 1/2; (b) m = 3, B = 4/3; (c) m = 2, B = 2e2 .

6) Em cada caso, mostre que qualquer ponto singular da funo um polo. Determine
a ordem m de cada polo e encontre o resduo B correspondente.
z2 + 2 ( z )3 ez
(a) (b) ; (c) 2 .
z1 2z + 1 z + 2
Respotas: (a) m = 1, B = 3; (b) m = 3, B = 3/16; (c) m = 1, B = i/2.

7) Mostre que
z 1/4 1+i
(a) Res = , |z| > 0, 0 < arg z < 2;
z=1 z + 1 2
Log z + 2i
(b) Res 2 2
= ;
z=i (z + 1) 8
z 1/2 1i
(c) Res 2 = , |z| > 0, 0 < arg z < 2.
z=i (z + 1)2 8 2

126
8) Encontre o valor das integrais, onde C o crculo indicado, sempre orientado no
sentido anti-horrio.

3z 3 + 2
(a) 2
dz, onde C : (I) |z 2| = 2; (II) |z| = 4.
C (z 1)(z + 9)

dz
(b) 3
, onde C : (I) |z| = 2; (II) |z + 3| = 3.
C z (z + 4)

cosh z
(c) 2
dz, onde C |z| = 2.
C z(z + 1)
Respotas: (a) (I) i e (II) 6i; (b) (I) i/32 e (II) 0; (c) 4i.

9) Mostre que o ponto z = 0 um polo simples da funo


1
f(z) = csc z =
sen z
usando quociente de funes analticas.
10) Usando quociente de funes analticas, mostre que
z senh z i
(a) Res 2 = ;
z=i z senh z
ezt ezt
(b) Res + Res = 2 cos t.
z=i senh z z=i senh z

(c) Res(z sec z) = (1)n+1 zn , onde zn = + n, n = 0, 1, 2, ;
z=zn 2
( )
(d) Res(tanh z) = 1, onde zn = + n i, n = 0, 1, 2, .
z=zn 2
11) Considere a funo
1
f(z) = ,
[q(z)]2
onde q analtica em z0 , q(z0 ) = 0 e q (z0 ) = 0. Mostre que z0 um polo de ordem
m = 2 da funo f, com resduo
q (z0 )
B0 = .
[q (z0 )]3
Sugesto: Note que z0 um zero de ordem m = 1 da funo q, isto
q(z) = (z z0 )g(z),

onde g(z) analtica e no nula em z0 . Ento escreva


(z) 1
f(z) = , onde (z) = .
(z z0 )2 [g(z)]2

A forma desejada do resduo B0 = (z0 ) pode ser obtida mostrando que


q (z0 ) = g(z0 ) e q (z0 ) = 2g (z0 ).

12 Usando o exerccio anterior, encontre o resduo em z = 0 da funo


1
(a) f(z) = csc2 z; (b) f(z) = .
(z + z 2 )2
Respostas: (a) 0; (b) 2.

127
6.8 Aplicaes

6.8.1 Integrais reais imprprias


Se f uma funo contnua no intervalo [0, ), definimos a integral imprpria de f(x)
neste intervalo por
I1 = f(x)dx = lim f(x)dx.
0 R

Se o limite acima existir, dizemos que a integral I1 converge; caso contrrio ela diverge.
Analogamente,
0 0
I2 = f(x)dx = lim f(x)dx,
R R

sendo f contnua em (, 0]. Por fim, se f contnua em (, ), definimos


0
f(x)dx = f(x)dx + f(x)dx = I1 + I2 (6.9)
0

desde que as integrais I1 e I2 convirjam. Se I1 ou I2 diverge,
f(x)dx diverge.


O valor principal de Cauchy para f(x)dx definido por
R
V. P. f(x)dx = lim f(x)dx (6.10)
R R

Se a integral em (6.9) converge (isto , I1 e I2 convergem)
seu valor V. P.
f(x)dx.
Mas, a existncia do limite em (6.10), no significa que f(x)dx convirja. De fato, o

leitor pode verificar facilmente que se f(x) = x, ento V. P. xdx = 0, mas xdx
diverge.

Agora, se f for uma funo par, ou seja, f(x) = f(x), para todo x R, temos
R 0 R R
f(x)dx = f(x)dx + f(x)dx = 2 f(x)dx
R R 0 0

ou ainda,
R R
f(x)dx = 2 f(x)dx.
R 0

Assim, se V. P.
f(x)dx existe, I1 e I2 convergem e

V. P. f(x)dx = 2 f(x)dx = f(x)dx.
0

Podemos calcular f(x)dx usando resduos quando f uma funo racional f(x) =
p(x)/q(x), contnua em (, ). Procedemos integrando f na varivel z num contorno
fechado C consistindo do intervalo [R, R] no eixo real e do semicrculo CR de raio R
suficientemente grande para envolver todos os polos de f(z) = p(z)/q(z) que ocorrem no
semiplano Im(z) > 0 (veja figura 1).

128
y

zn CR
z3
z 1 z2
x
-R 0 R

Figura 1.

Utilizando o teorema dos resduos, temos


R n

f(z)dz = f(z)dz + f(x)dx = 2i Res f(z),
C CR R z=zk
k=1

onde zk , k = 1, 2, . . . , n, so os polos no semiplano superior. Se for possvel mostrar que



lim f(z)dz = 0,
R CR

teremos n
R
V. P. f(x)dx = lim f(x)dx = 2i Res f(z)
R R z=zk
k=1

e se f for par,
n

f(x)dx = V. P. f(x)dx = 2i Res f(z).
z=zk
k=1

Exemplo 6.23 Calcule


x2
dx.
0 x6 + 1
A funo
z2
f(z) =
z6 + 1
tem pontos singulares isolados nas razes do polinmio z 6 + 1. Ora, tratam-se das razes
sextas de 1, isto
( ) ( )
2n 2n
= e( 6 + 6 ) , n = 0, 1, 2, . . . , 5.
2n
cn = cos + + i sen +
6 6 6 6

As trs primeiras singularidades

c0 = ei/6 , c1 = ei/2 = i e c2 = e5i/6

no pertencem ao eixo real (assim como as demais) e esto na parte superior do plano.
Quando R > 1, cada ck (k = 0, 1, 2) pertence ao interior da regio formada pelo semicrculo
superior de raio R e pelo intervalo [R, R] (veja figura 2).

129
y

CR
c1
c2 c0
x
-R 0 R

Figura 2.

Integrando f(z) ao longo do contorno da figura 2, temos


R
f(x)dx + f(z)dz = 2i(K0 + K1 + K2 ) (6.11)
R CR

onde Kn = Res f(z), n = 0, 1, 2. Note que


z=cn

z2 p(z)
f(z) = 6 = ,
z +1 q(z)

onde q(cn ) = 0, q (cn ) = 6cn5 = 0 e p(cn ) = cn2 , n = 0, 1, 2. Logo, cada cn , n = 0, 1, 2, um


polo simples de f com resduo

p(cn ) cn2 1
Kn =
= 5
= 3 , n = 0, 1, 2.
q (cn ) 6cn 6cn

Ento,
( ) ( )
1 1 1 1 1 1
2i(K0 + K1 + K2 ) = 2i i/6 3
+ 3+ 5i/6
= 2i + = ,
6(e ) 6i 6(e )3 6i 6i 6i 3

e substituindo esse valor em (6.11) obtemos


R

f(x)dx = f(z)dz, R > 1 (6.12)
R 3 CR

Resta mostrar que


lim f(z)dz = 0.
R CR

De fato, observe que quando |z| = R, |z 2 | = |z|2 = R 2 e |z 6 + 1| |z|6 1 = R 6 1.
Assim, se z CR ,
|z 2 | R2
|f(z)| = 6 6 = MR
|z + 1| R 1
e como o comprimento de CR L = R, vem


f(z)dz MR R.

CR

130
A prova do limite segue imediatamente do seguinte fato:
R 3 /R 3
lim MR R = lim 6 = lim = 0.
R R R 1 R 1 1/R 6

Logo, da equao (6.12), obtemos


R
x2
lim f(x)dx = ou V. P. 6
dx = .
R R 3 x + 1 3

Desde que o integrando uma funo par, temos V. P. f(x)dx = 2 f(x)dx, ou seja
0

x2
6
dx = .
0 x +1 6

As vezes trabalhoso mostrar que CR f(z)dz 0 quando R . Por esse motivo
apresentamos ao leitor o prximo teorema, que nos poupar algumas vezes do trabalho de
mostrar que lim f(z)dz = 0 no clculo de integrais imprprias.
R CR

Teorema 6.9 Seja f(z) = p(z)/q(z) uma funo racional, onde o grau de p(z) n e o
i
de q(z) m n + 2. Se CR for o contorno semicircular z = Re , 0 , ento
CR
f(z)dz 0 quando R 0.

Demonstrao: Sendo n e m n + 2 os graus dos polinmios p e q, respectivamente,


temos
p(z) = (z z1 )(z z2 ) . . . (z zn )

onde z1 , z2 , . . ., zn , so as razes de p(z), e


q(z) = (z w1 )(z w2 ) . . . (z wn+2 ) . . . (z wm )

onde w1 , w2 , . . ., wn+2 , . . ., wm , so as razes de q(z). Logo


|p(z)| |z z1 ||z z2 | . . . |z zn |
|f(z)| = =
|q(z)| |z w1 ||z w2 | . . . |z wn+2 | . . . |z wm |
(R + |z1 |)(R + |z2 |) . . . (R + |zn |)
= MR
(R |w1 |)(R |w2 |) . . . (R |wn+2 |) . . . (R |wm |)

Logo,

R(R + |z1 |)(R + |z2 |) . . . (R + |zn |)
f(z)dz MR R =
(R |w1 |)(R |w2 |) . . . (R |wn+2 |) . . . (R |wm |)
CR
R n+1 + P(z) R n+1 /R m + P(z)/R m
= = 0 quando R ,
R m + Q(z) 1 + Q(z)/R m

onde P e Q so polinmios com graus n e m 1 respectivamente. Isto conclui a


demonstrao do teorema. Observe que a integral anterior s tende para 0 quando R
graas a hiptese m n + 2.

131
6.8.2 Integrais imprprias envolvendo funes trigonomtricas
Tambm podemos usar resduos para calcular integrais envolvendo funes
trigonomtricas do tipo

f(x) sen axdx ou f(x) cos axdx

onde a > 0. Integrais desse tipo so muito comuns em anlise de Fourier. O mtodo
anterior no serve para o clculo deste tipo de integral. Aqui, trabalharemos com a
expresso
R R R
f(x) cos axdx + i sen axdx = f(x)eiax dx
R R R

juntamente com o fato de

|eiaz | = |eia(x+iy) | = |eay eiax | = eay

ser limitado superiormente no plano Im(z) = y 0.

Exemplo 6.24 Mostre que


cos 3x 2
dx = .
(x 2 + 1)2 e3
Como o integrando uma funo par, basta determinar o valor principal de Cauchy para
a integral imprpria. Considere
1
f(z) = 2 .
(z + 1)2

O produto f(z)ei3z analtico no plano, exceto em z = i. A singularidade z = i pertence


ao interior da regio delimitada pelo semicrculo superior CR , com R > 1 e pelo intervalo
[R, R] (veja figura 3).

CR
i

x
-R 0 R

Figura 3.

Integrando f(z)ei3z ao longo da do contorno descrito na figura 3, temos


R
ei3z
dx = 2iK1 f(z)ei3z dz (6.13)
R (x 2 + 1)2 CR

132
onde K1 = Res[f(z)ei3z ]. Desde que
z=i

ei3z
ei3z (z + i)2 (z) ei3z
f(z)ei3z = = = , (z) = ,
[(z + i)(z i)]2 (z i)2 (z i)2 (z + i)2

o ponto z = i evidentemente um polo de ordem m = 2 da funo f(z)ei3z com resduo


1
K1 = (i) = 3 (Verifique!). Da, a equao (6.13) pode ser reescrita como
ie
R R ( )
cos 3x sen 3x i3z
2 2
dx + i 2 2
dx = Re 2iK1 f(z)e dz +
R (x + 1) R (x + 1) CR
( )
i3z
+ Im 2iK1 f(z)e dz ,
CR

e igualando as partes reais,


R
cos 3x i3z 2
2 + 1)2
dx = 2iK1 Re f(z)e dz = 3 Re f(z)ei3z dz.
R (x CR e CR

Finalmente, observamos que quando z CR ,


1
|f(z)| MR , onde MR =
(R 2 1)2

e |ei3z | = e3y 1. Consequentemente




Re f(z)e dz
i3z
f(z)e dz MR R
i3z

CR CR

e, como
R 1/R 4 /R 3
MR R = = 0 quando R ,
(R 2 1)2 1/R 4 (1 1/R 2 )
conclumos que
lim Re f(z)ei3z dz = 0.
R CR

Portanto,
R
cos 3x cos 3x cos 3x 2
dx = V. P. dx = lim dx = .
(x 2 + 1)2 (x 2 + 1)2 R R (x 2 + 1)2 e3
Assim comono primeiro exemplo desta seo, temos o seguinte teorema para nos ajudar
a mostrar que CR f(z)eiz dz 0 quando R :

Teorema 6.10 Suponha que f(z) = p(z)/q(z) seja racional, sendo n e m os graus de p(z)
i
e de q(z), com
m niaz+ 2. Se CR for um contorno semicircular z = Re , 0 e
a > 0, ento CR f(z)e dz 0 quando R .

Demonstrao: Anloga a demonstrao do teorema anterior; basta adicionar neste caso


que a funo
|eiaz | = |eia(x+iy) | = |eay eiax | = eay
limitada superiormente no plano Im(z) = y 0.

133
6.8.3 Integrais definidas
Considere 2
F (sen , cos )d, 0 2 (6.14)
0

onde = arg z com z C , C sendo o crculo unitrio centrado na origem. Ento, z = ei ,


dz = iei d = izd e as relaes

ei ei z z 1 ei + ei z + z 1 dz
sen = = , cos = = , d = ,
2i 2i 2 2 iz

transformam (6.14) em ( )
z z 1 z + z 1 dz
F , . (6.15)
C 2i 2 iz

Quando o integrando em (6.15) uma funo racional em z, podemos usar teoria dos
resduos para avaliar a integral.

Exemplo 6.25 Mostre que


2
d 2
= , 1 < a < 1.
0 1 + a sen 1 a2

Se a = 0 no h o que fazer. Agora, se a = 0 temos

z z 1 (a) (a) dz
1 + a sen = 1 + a =1+ z z 1 e d = ,
2i 2i 2i iz

donde,
2
d 1 dz 1
= 1 iz
= dz
0 1 + a sen C 1 + (a/2i) z (a/2i) z C iz + (a/2) z 2 (a/2)

2/a
= 2
dz
C z + (2i/a) z 1

onde C o crculo unitrio |z| = 1. Os zeros do denominador so


( ) ( )
1 + 1 a2 1 1 a2
z1 = , z2 = i.
a a

Da,
2/a 2/a
f(z) = = .
z2 + (2i/a) z 1 (z z1 )(z z2 )

Note que, como |a| < 1,


1+ 1 a2
|z2 | = >1
|a|

134
isto , z2 pertence ao exterior de C ; e, desde que |z1 z2 | = 1/a2 (1 a2 )/a2 = 1, temos
1
|z1 | = <1
|z2 |

ou seja, z1 um ponto interior a C . Finalmente, determinemos K1 = Res f(z). Escrevendo,


z=z1

(z) 2/a
f(z) = , onde (z) =
z z1 z z2

2/a
percebemos que analtica e (z1 ) = = 0. Isto mostra que z1 um polo simples
z z2
e
2/a 2/a 1
K1 = (z1 ) = = = .
z z2 2 1 a2 i 1 a2
i
a
Consequentemente,
2
d 2/a 2
= dz = 2iK1 = .
0 1 + a sen C z 2 + (2i/a) z 1 1 a2

Se tivermos mltiplos de obtemos, por exemplo,


( i )2 ( i )2
ei2 + ei2 e + e z 2 + z 2
cos 2 = = = .
2 2 2

6.8.4 A Transformada de Laplace


Seja f(x) uma funo real. Uma integral da forma
b
F () = f(x)K (, x)dx (6.16)
a

transforma a funo f(x) na funo F (). Dizemos que (6.16) uma transformada integral
da funo f. Alm disso, sob hipteses determinadas, podemos recuperar f(x) por meio de
outra transformada integral
d
f(x) = F ()H(, x)d (6.17)
c

denominada transformada inversa. As funes de duas variveis K (, x) e H(, x) so os


ncleos das transformadas (6.16) e (6.17), respectivamente.

Suponha que f definida no intervalo [0, ) e seja z C. Se em (6.16) trocarmos


por z e colocarmos K (z, t) = ezt , t [0, ) teremos
b
L {f(t)} = zt
e f(t)dt = lim ezt f(t)dt
0 b 0

que a conhecida transformada de Laplace.

135
Exemplo 6.26 A transformada de Laplace da funo f(t) = 1, t 0
b
ezt b 1 ezb
L {1} = zt
e (1)dt = lim ezt dt = lim = lim
0 b 0 b z 0 b z
bxbyi bx
1e 1 e (cos by i sen by) 1
= lim = lim = , Re(z) = x > 0,
b z b z z

ou seja, L {1} = 1/z, desde que Re(z) > 0.

Se f contnua por partes em [0, ) e se existem constantes reais c > 0, M > 0 e


T > 0 tais que
|f(t)| Mect , t > T , (6.18)

podemos garantir a existncia de L {f(t)} quando Re(z) > c; e se (6.18) vale para t 0,
a transformada de Laplace

F (z) = L {f(t)} = ezt f(t)dt
0

analtica no semiplano direito Re(z) > 0. Tais resultados podem ser vistos com detalhes
em um curso de Anlise de Fourier.

Se f e f forem contnuas por partes em [0, ), se (6.18) vale para todo t 0 e se


F (z) = L {f(t)}, a transformada inversa de Laplace L 1 {F (z)}
+iR
1
f(t) = L 1
{F (z)} = lim ezt F (z)dz,
2i R iR

onde > c.

Teorema 6.11 Finalmente, se F (z) tem um nmero finito de polos z1 , z2 , . . ., zn , esquerda


da reta vertical Re(z) = , se C o contorno da figura 4 e se zF (z) for limitada em CR
quando R , ento
n
L {F (z)} =
1
Res ezt F (z).
z=zk
k=1

y
g + iR

z2
LR
zn z
1 0
x
z3 g

CR
g - iR
Figura 4.

136
Exemplo 6.27 Calcule L 1 {1/z 3 }, Re(z) > 0. Note que F (z) = 1/z 3 tem um polo de
ordem 3 em z = 0 e 1/z 2 limitada no semicrculo CR da figura 4, quando R . Logo,
{ } [ ]
1 ezt 1 d2 3e
zt
1 d2 zt
f(t) = L 1
= Res = lim (z 0) = lim e
z3 z=0 z 3 2! z dz 2 z3 2 z dz 2
1 1
= lim t 2 ezt = t 2 .
2 z 2

Finalmente queremos introduzir uma outra transformada integral bastante til na


matemtica e em algumas engenharias. Suponha que f(x) uma funo real definida
em (, ). A transformada de Fourier para f(x) definida por

F {f(x)} = f(x)eix dx = F ()

e a transformada inversa de Fourier



1
F 1
{f(x)} = F ()eix d = f(x)
2

onde R. Como as integrais anteriores so reais e imprprias podemos usar teoria dos
resduos em alguns casos.

137
Captulo 7

Transformaes Elementares

7.1 Transformaes Lineares


Estudaremos a transformao
w = Az, (7.1)

onde A = 0 uma constante complexa e z = 0. Sendo A = aei e z = rei , temos


w = (ar)ei(+) ,

donde observamos que (7.1) expande ou contrai o raio de z pelo fator a = |A| e o gira
atravs do ngulo = arg A em torno da origem; assim, a imagem de uma regio similar
a regio inicial.
Temos tambm a transformao
w =z+B (7.2)

onde B C uma constante complexa, que uma translao por meio do vetor B, isto ,
se
w = u + iv, z = x + iy e B = b1 + ib2 ,

a imagem do ponto (x, y) no plano z o complexo


(u, v) = (x + b1 , y + b2 )

no plano w; assim, a imagem de uma regio congruente a regio.


Por fim, consideramos a transformao mais geral
w = Az + B (7.3)

onde A = 0 e B so constantes complexas; aqui, temos a composio da transformao


Z = Az com a transformao w = Z + B, isto , temos uma expanso ou contrao e uma
rotao seguida por uma translao.

Exemplo 7.1 A transformao


w = (1 + i)z + 2

transforma retngulo em retngulo, segundo a figura 1.

138
Y v
-1 + 3i 1 + 3i
y

B 1 + 2i B B
Z = (1 + i)z w=Z+2
C
A A

p/4 p/4
x X u
0 A 0 0 2

Figura 1.
Temos
Z = (1 + i)z e w = Z + 2
e
Z (0) = 0, Z (A) = 1 + i, Z (1 + 2i) = 1 + 3i e Z (B) = 2 + 2i.

Desde que 1 + i = 2ei/4 , Z = (1 + i)z uma expanso pelo fator 2 e uma rotao
atravs do ngulo /4; a transformao w = Z + 2, por sua vez, uma translao de duas
unidades direita.

7.2 A transformao w = 1/z


Estudaremos a transformao
1
w = , z = 0. (7.4)
z
Desde que zz = |z|2 , a transformao (7.4) pode ser escrita por meio das transformaes
( )
1 z z 1
Z = 2z e w = Z = 2 = = .
|z| |z| zz z
Considere a transformao Z como sendo uma inverso em relao ao crculo unitrio
|z| = 1. Ento a imagem de z = 0 um nmero complexo Z tal que
1
|Z | = e arg Z = arg z,
|z|
isto , os pontos no exterior de |z| = 1 so levados ao interior de |z| = 1 e vice-versa. J
a transformao w uma reflexo em torno do eixo real (veja figura 2).

Z
0 1
w

Figura 2.

139
Escrevendo (7.4) como
1
T (z) = , z = 0
z
podemos definir T em 0 e em considerando o que chamaremos de plano complexo
estendido, que consiste do conjunto C incluindo os valores . Desde que,

lim T (z) = e lim T (z) = 0


z z

escrevemos T (0) = e T () = 0 e T passa a ser contnua no plano complexo estendido.


z
Agora, sendo w = 2 com w = u + iv e z = x + iy, temos
|z|
x y
u= , v = (7.5)
x 2 + y2 x 2 + y2

1 w
e desde que z = = , temos
w |w|2
u v
x= , y= 2 . (7.6)
u2 +v 2 u + v2

Quando A, B, C e D so nmeros reais com B2 + C 2 > 4AD a equao

A(x 2 + y2 ) + Bx + C y + D = 0 (7.7)

um crculo se A = 0 ou uma reta se A = 0. De fato, se A = 0 completando quadrados


em (7.7), obtemos
( )2 ( )2 ( )2
B C B2 + C 2 4AD
x+ + y+ = ,
2A 2A 2A

donde devemos ter B2 + C 2 > 4AD.


Se x e y na equao (7.6) satisfazem (7.7), obtemos

D(u2 + v 2 ) + Bu C v + A = 0 (7.8)

que tambm um crculo ou uma reta. Inversamente, se u e v satisfazem (7.8) obtemos


(7.7).
Logo,

(i) um crculo (A = 0) que no passa pela origem (D = 0) no plano z transformado num


crculo que no passa pela origem no plano w;

(ii) um crculo (A = 0) que passa pela origem (D = 0) no plano z transformado numa


reta que no passa pela origem no plano w;

(iii) uma reta (A = 0) que no passa pela origem (D = 0) no plano z transformada num
crculo que passa pela origem no plano w;

140
(iv) uma reta (A = 0) que passa pela origem (D = 0) no plano z transformada numa reta
que passa pela origem no plano w.

Exemplo 7.2 De acordo com as equaes (7.7) e (7.8), uma reta vertical x = c1 (c1 = 0)
transformada por w = 1/z em
( )2 ( )2
u 1 1
c1 = 2 c1 (u2 + v 2 ) + u = 0 u +v = 2
.
u + v2 2c1 2c1

A imagem do ponto (c1 , y) da reta


( )
c1 y
(u, v) = 2
, 2 .
c1 + y c1 + y2
2

Por exemplo, para c1 = 1/3 e c1 = 1/2 temos os seguintes esboos na figura 3:

y v

c1 = -1/2 c1 = 1/3 w = 1/z c2 = -1/2

c1 = 1/3
c1 = -1/2
c2 = 1/2
x u
0 1 -1 0 1
c2 = -1/2

c2 = 1/2

Figura 3.

Exemplo 7.3 Uma reta horizontal y = c2 (c2 = 0) transformada por w = 1/z no crculo
( )2 ( )2
v 2 2 2 1 1
c2 = 2 c2 (u + v ) + v = 0 u + v + = .
u + v2 2c2 2c2

Para c2 = 1/2 e c2 = 1/2 veja figura 3.

Exemplo 7.4 A inverso w = 1/z transforma o plano x c1 (c1 > 0) no disco


( )2 ( )2
u 1 2 1
x= 2 c1 u +v .
u + v2 2c1 2c1

Note que, qualquer reta x = c com c c1 ( 1/2c 1/2c1 ) transformada no crculo


( )2 ( )2
1 2 1
u +v =
2c 2c

interior ao disco anterior (veja figura 4).

141
y v

x = c1 x=c w = 1/z

x u
0 0 1/2c 1/2c1

Figura 4.

7.3 Transformao linear fracionria


A transformao
az + b
w= , ad bc = 0, (7.9)
cz + d
onde a, b, c e d so constantes complexas, chamada transformao linear fracionria ou
transformao de Mbius. Observe que (7.9) pode ser escrita como

Azw + Bz + C w + D = 0, AD BC = 0 (7.10)

e, reciprocamente, escrevemos (7.10) como (7.9). Desde que (7.10) linear em z e w


separadamente, dizemos que (7.10) uma transformao bilinear.
Quando c = 0, ad bc = 0 ad = 0 em (7.9); alm disso, (7.9) se reduz a uma
transformao linear no-constante. J quando c = 0, (7.9) ganha a forma
c(az + b) acz + bc acz + ad + bc ad a(cz + d) + (bc ad)
w = = = =
c(cz + d) c(cz + d) c(cz + d) c(cz + d)
a bc ad 1
= + , ad bc = 0 (7.11)
c c cz + d

A condio ad bc = 0 sugere que w seja uma transformao no-constante. A


transformao 1/z um caso particular de (7.9) com c = 1 = 0.
Por (7.11), quando c = 0, percebemos que a transformao linear fracionria a
composio das transformaes
1 a bc ad
Z = cz + d, W = e w= + W , ad bc = 0,
Z c c

ou seja, se c = 0 ou c = 0, esta transformao transforma crculos ou retas em crculos ou


retas.
Resolvendo (7.9) para z, encontramos
dw + b
z= , ad bc = 0. (7.12)
cw a

142
Agora, escrevendo
az + b
T (z) = , ad bc = 0, (7.13)
cz + d
temos
T () = se c = 0

e ( )
a d
T () = , T = se c = 0,
c c

isto , T contnua no plano z estendido. Alm disso, (7.13) define uma aplicao bijetiva
no plano z estendido, ou seja, para cada w no contra-domnio de T , existe um nico
complexo z tal que T (z) = w. Assim, podemos definir a transformao inversa T 1 , dada
por
T 1 (w) = z T (z) = w.

Por (7.12), vemos que


dw + b
T 1 (w) = , ad bc = 0,
cw a
ou seja, T 1 uma transformao linear fracionria e satisfaz

T 1 () = se c = 0

e (a) d
T 1 = , T 1 () = se c = 0.
c c
Se T e S so duas transformaes lineares fracionrias, a composio S[T (z)] tambm
fracionria. Em particular T 1 [T (z)] = z para cada z no plano estendido.
Finalmente, ressaltamos que sempre existe uma transformo linear fracionria que leva
trs pontos distintos z1 , z2 e z3 do plano z estendido em trs pontos distintos especficos
w1 , w2 e w3 no plano w estendido, como veremos atravs dos prximos exemplos.

Exemplo 7.5 Encontre uma transformao linear fracionria que leva os pontos

z1 = 1, z2 = 0 e z3 = 1

nos pontos
w1 = i, w2 = 1 e w3 = i.

Considerando a transformao linear fracionria em (7.9) e sabendo que 1 a imagem de


0, obtemos b/d = 1 b = d. Ento,
az + b
w= , b(a c) = 0.
cz + b

Desde que 1 e 1 so transformados em i e i, segue que


a + b a+b
i = ic ib = a + b e i = ic + ib = a + b,
c + b c+b

143
ou seja, {
ic ib = a + b
c = ib.
ic + ib = a + b

Do sistema anterior temos tambm


{
ic ib = a + b
a = ib.
ic ib = a b

Consequentemente,
ibz + b b(iz + 1)
w= = , b = 0.
ibz + b b(iz + 1)
Fazendo b = 1, obtemos a transformao

iz + 1 i iz
w= = .
iz + 1 i i+z

Exemplo 7.6 Encontre uma transformao linear fracionria que leva os pontos

z1 = 1, z2 = 0 e z3 = 1

nos pontos
w1 = i, w2 = e w3 = 1.

Considerando a transformao linear fracionria em (7.9) e sabendo que a imagem


de 0, obtemos b/d = d = 0. Ento,
az + b
w= , bc = 0.
cz

Como 1 levado em i e 1 levado em 1, temos


a+b a + b
i= ic = a + b e 1 = c = a + b
c c

ou seja, {
ic = a + b i1
b= c.
c = a + b 2

Do sistema anterior temos tambm


{
ic = a + b i+1
a= c.
c =ab 2

Fazendo c = 2, obtemos a transformao

(i + 1)z + (i 1)
w= .
2z

144
Captulo 8

Transformaes Conformes

Seja C um arco suave representado parametricamente por

z = z((t), a t b,

e seja f(z) uma funo analtica definida sobre C . A equao

w = f(z(t)), a t b

uma representao da imagem de C por w = f(z); vale ressaltar que tambm um


arco suave, pois f analtica.
Suponha que z0 = z(t0 ), a < t0 < b, pertence a C e que f analtica com f (z0 ) = 0.
Pela regra da cadeia
w (t0 ) = f (z(t0 ))z (t0 ),

donde segue que


arg w (t0 ) = arg f (z(t0 )) + arg z (t0 ) (8.1)

Sendo 0 = arg f (z0 ) e 0 o ngulo de inclinao da direo da tangente C em z0 , ou


seja, 0 = arg z (t0 ), reescrevemos (8.1) como 0 = 0 + 0 , com 0 = arg w (t0 ), que o
ngulo de inclinao da direo da tangente em w0 = f(z0 ) (veja figura 1).

y v
G
C
w = f(z)

0 0
w0
z0
x u
0 0
Figura 1.

Note que 0 e 0 diferem pelo ngulo de rotao 0 = arg f (z0 ).

145
8.1 Transformao conforme
Sejam C1 e C2 arcos suaves passando por z0 e 1 , 2 os ngulos de inclinao das
direes das tangentes C1 e C2 no ponto z0 . Sabemos que

1 = 0 + 1 e 2 = 0 + 2

so os ngulos de inclinao das direes das tangentes s curvas 1 e 2 em w0 = f(z0 ).


Ento
2 1 = 2 1 = ,

diz que o ngulo entre 1 e 2 tem mesma magnitude que o ngulo entre C1 e C2 (veja
figura 2).

y v
C2 2

w = f(z)
w0
C1 a
a 1
z0
x u
0 0
Figura 2.

Definio 8.1 Uma transformao w = f(z) dita conforme quando preserva ngulos entre
pares de curvas.

Em cada z D, onde D um domnio, f analtica e f (z) = 0, w = f(z) conforme. Se


a propriedade anterior vale para todo z D, dizemos que w = f(z) uma transformao
conforme.

Exemplo 8.1 A transformao w = ez conforme em todo plano complexo, pois (ez ) =


ez = 0 para todo z C. Para ilustrar a preservao de ngulos, considere duas retas
x = c1 e y = c2 no plano z com direes segundo a figura 3.

y v

x = c1
w = ez
a
a
y = c2
c2
x u
0 0 ec1

Figura 3.

146
A imagem do ponto z = (c1 , y) w = ec1 +iy com coordenadas polares = ec1 e = y no
plano w, ou seja, a imagem da reta x = c1 o crculo de raio ec1 .
J a imagem de z = (x, c2 ) w = ex+ic2 com coordenadas polares = ex e = c2 , isto
, a imagem da reta y = c2 uma semi reta partindo da origem sobre o raio do ngulo
= c2 (veja figura 3).

Exemplo 8.2 Considere dois arcos suaves u(x, y) = c1 e v(x, y) = c2 (curvas de nvel das
funes de duas variveis u e v) de uma funo

f(z) = u(x, y) + iv(x, y)

e suponha que elas se intersectam no ponto z0 onde f analtica com f (z0 ) = 0. A


transformao w = f(z) conforme em z0 e transforma as curvas de nvel anteriores (que
so ortogonais) nas retas u = c1 e v = c2 ortogonais em w0 = f(z0 ).

Definio 8.2 Uma transformao que preserva ngulos entre dois arcos suaves mas, no
necessariamente, o sentido chamada transformao isogonal.

Exemplo 8.3 Seja w = z. Esta transformao no conforme mas isogonal.

De fato, as curvas suaves C1 e C2 na figura 4(a)


so dadas por

1
z1 (t) = t + (2t t 2 )i e z2 (t) = t + (t 2 + 1)i,
2

onde t [0, 2]. Elas se intersectam em z0 =


1 + i. Os vetores tangentes a z0 so z1 (t) = 1 e
z2 (1) = 1 + i e o ngulo entre C1 e C2 em z0
= /4. Sob w = z as imagens de C1 e C2 so,
respectivamente, as curvas C1 e C2 mostradas na
figura 4(b). As paramentrizaes das imagens
so
1
w1 (t) = t (2t t 2 )i e w2 (t) = t (t 2 + 1)i,
2

onde t [0, 2]; elas se intersectam em w0 =


w(z0 ) = 1 i. Em w0 , os vetores tangentes a C1
e C2 so w1 (1) = 1 e w2 (1) = 1 i; o ngulo
entre C1 e C2 em w0 = /4. Portanto, e
so iguais em magnitude. No entanto, e
no so iguais em sentido.

Definio 8.3 Suponha que f analtica em z0


e no constante. Se f (z0 ) = 0, dizemos que z0
um ponto crtico da transformao w = f(z). Figura 4.

147
Exemplo 8.4 O ponto z = 0 um ponto crtico
de w = 1 + z 2 que, por sua vez, uma composio entre Z = z 2 e w = 1 + Z . Um raio
em = que parte de z = 0 transformado num raio emanado de w = 1 com ngulo 2
(veja figura 4).

2
z
2
1+z
z
q=a q = 2a q = 2a
0 0 0 1
Figura 5.

Exemplo 8.5 Para f(z) = z 2 ,

w = f(z) = x 2 y2 + i2xy

conforme no ponto z = 1 + i e as semi retas C1 : y = x (y 0) e C2 : x = 1, se


intersectam. A imagem do ponto z = (x, y) w = u + iv com u = x 2 y2 e v = 2xy, isto
, C1 transformada no arco 1 dado por

u = 0, v = 2y2 , 0 y < .

J C2 transformado em 2 dado por

u = 1 y2 , v = 2y, 0 y < ,

que a parbola v 2 = 4(u 1) (veja figura 5).

v
y 2 1
C2 p/4
C1
p/4

1+i
p/2 p/2
x u
0 0
Figura 6.

Da equao anterior, segue que


dv dv/dy 2 2 dv
= = = = 1 tan = 1.
du du/dy 2y v du v=2

Consequentemente, o ngulo entre 1 e 2 em w = f(1 + i) = 2i /4 e arg[f (1 + i)] =


arg[2(1 + i)] = /4 + 2n o ngulo de rotao em z = 1 + i.
O fator escalar no ponto 1 + i

|f (1 + i)| = |2(1 + i)| = 2 2.

148
8.2 Potencial Complexo
O campo vetorial

F (x, y) = = +i (8.2)
x y
chamado campo gradiente e a funo denominada funo potencial ou, simplesmente,
potencial para F .
No estudo de eletrosttica a intensidade do campo eltrico F devido cargas
estacionrias em uma regio do plano dada por F (x, y) = , onde (x, y) o
potencial eltrico. A lei de Gauss diz que a divergncia do campo F zero, se a regio
do plano for livre de cargas, ou seja,
( )
2 2
F = i = 2 2 = 0.
x y x y

Em outras palavras, a funo potencial satisfaz a equao de Laplace e, portanto, uma


funo harmnica em algum domnio D. Assim, existe uma funo conjugada harmnica
(x, y) definida em D, de modo que

(z) = (x, y) + i(x, y) (8.3)

analtica em D. A funo (z) em (8.3) denominada potencial complexo correspondente


ao potencial real .

8.3 Problemas de Dirichlet


Seja D um domnio no plano complexo e uma funo harmnica em D, isto ,
2 2
= + 2 =0 (8.4)
x 2 y

A equao (8.4) chamada equao de Laplace. O problema de determinar uma funo


(x, y) que satisfaa a equao de Laplace em D e que seja igual a uma determinada
funo na fronteira de D denominado problema de Dirichlet. Tais problemas ocorrem
com freqncia na modelagem bidimensional de eletrosttica, fluxo de fluido, gravitao e
fluxo de calor.
Os valores especificados da funo na fronteira de D so chamados de condies de
contorno ou condies de fronteira.

Exemplo 8.6 O problema



= 0, D: 1 < x < 1, < y <
(1, y) = k0

(1, y) = k1

onde k0 e k1 so constantes reais, um problema de Dirichlet no domnio D limitado pelas


retas verticais x = 1 e x = 1.

149
A forma de D e o fato das condies de contorno serem constantes, sujere que no
depende de y; ou seja, buscaremos uma soluo da forma (x). Assim, a equao de
Laplace
d2
= 0.
dx 2
Integrando duas vezes obtemos a soluo (x) = ax + b. Como (1) = k0 e (1) = k1 ,
devemos ter a(1) + b = k0 e a(1) + b = k1 , donde segue que
k1 + k0 k1 k0
b= e a= .
2 2
Assim, obtemos a seguinte soluo para o problema de Dirichlet:
k1 k0 k1 + k0
(x) = x+ .
2 2
O exemplo anterior pode ser interpretado como a determinao do potencial
eltrosttico entre dois planos condutores infinitos e paralelos que so mantidos em
potenciais constantes. Como harmnica, uma conjugada harmnica pode ser
determinada. Sendo,
k1 k0
= = e = = 0,
y x 2 x y
vemos, pela segunda equao, que uma funo de y apenas; integrando a primeira
equao em relao a y, obtemos
k1 k0
(y) = y.
2
Portanto, uma funo potencial complexo para o problema de Dirichlet do exemplo anterior
(z) = (x) + i(y) ou
k1 k0 k1 + k0 k1 k0 k1 k0 k1 + k0
(z) = x+ +i y= z+ .
2 2 2 2 2
A seguir veremos um teorema de grande utilidade no nosso estudo de problemas de
Dirichlet.

Teorema 8.1 Seja f(z) = u(x, y) + iv(x, y) uma transformao analtica de um domnio D,
no plano z, em um domnio D , no plano w. Se a funo (u, v) for harmnica em D , ento
a funo (x, y) = (u(x, y), v(x, y)) tambm harmnica em D.

Demonstrao: Exerccio.
Com ajuda do teorema anterior, temos os seguintes passos para solucionar um problema
de Dirichlet:

Determinar uma transformao analtica w = f(z) = u(x, y) + iv(x, y) do domnio D


no domnio D ;
Transformar as condies de contorno de D em condies de contorno de D ;
Resolver o problema de Dirichlet transformado em D ;
Escrever (x, y) = (u(x, y), v(x, y)).

150