Notas em Analise Complexa

Gabriel E. Pires
1998
Conte udo
1 Integracao 5
1.1 Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2 Consequencias do Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . 14
1.3

Indice de um Caminho Fechado . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4 Formulas Integrais de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.5 Teorema de Morera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.6 Teorema de Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.7 Teorema Fundamental da

Algebra . . . . . . . . . . . . . . . . . . . . . . . 20
1.8 Zeros de Funcoes Analticas . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.9 Teorema do Modulo Maximo . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.10 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2 Singularidades 25
2.1 Classicacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 Serie de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3 Resduos e Aplicacoes 37
3.1 Teorema dos Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2 Zeros e Polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.3 C alculo de Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.4 C alculo de Integrais e de Series . . . . . . . . . . . . . . . . . . . . . . . . 42
3.4.1 Integrais do tipo:
_

f(x)dx . . . . . . . . . . . . . . . . . . . . . 43
3.4.2 Integrais do tipo
_

e
iax
f(x)dx . . . . . . . . . . . . . . . . . . 45
3.4.3 Integrais trigonometricos . . . . . . . . . . . . . . . . . . . . . . 47
3.4.4 Valor principal de Cauchy . . . . . . . . . . . . . . . . . . . . . 48
3.4.5 Integrais de fun coes multivalentes . . . . . . . . . . . . . . . . 51
3.4.6 Soma de series . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.4.7 Exemplos diversos . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3
4 CONTE

UDO
Captulo 1
Integracao
A uma funcao contnua : [a, b] C, em que [a, b] R e um intervalo, chamamos
caminho. Uma linha e a imagem de um caminho, ou seja, e o conjunto
{(t) C : a t b}.
Seja A = (a) e B = (b).

E claro que a linha denida por sera percorrida do ponto
A para o ponto B.
Note-se que a funcao (t) = a + (b a)t estabelece uma bijec cao entre os intervalos
[0, 1] e [a, b].
Seja g = . Assim, a linha denida pelo caminho : [a, b] C sera tambem denida
pelo caminho g : [0, 1] C. Podemos entao denir uma linha atraves de um caminho no
intervalo [0, 1].
Seja : [a, b] C um caminho seccionalmente regular, ou seja, um caminho de classe
C
1
excepto num conjunto nito de pontos do intervalo [a, b] (cf. [5],[2],[6]). Seja

a
respectiva imagem, S C um conjunto aberto tal que

S e seja f : S C uma
funcao contnua. Entao as funcoes Re(f )

e Im(f )

serao seccionalmente contnuas

no intervalo [a, b] e, portanto, integraveis em [a, b].
Assim, dene-se integral de f ao longo do caminho , ou integral de f ao longo da linha

, da forma seguinte:
_

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

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

(t)

dt + i
_
b
a
Im
_
f((t))

(t)

dt. (1.0.1)
Lema 1.0.1 Seja : [a, b] C um caminho seccionalmente regular, S C um conjunto
aberto tal que

S e f : S C uma fun cao contnua.

1.
_

f(z)dz =
_

f(z)dz.
5
6 CAP

ITULO 1. INTEGRAC

AO
2. Seja : [, ] [a, b] uma fun cao de classe C
1
com derivada positiva e seja =
uma reparametrizacao. Ent ao,
_

f(z)dz =
_

f(z)dz.
3. Para =
1
+
2
tem-se,
_

f(z)dz =
_

1
f(z)dz +
_

2
f(z)dz.
Re
Im

Figura 1.0.1: Mudan ca de sentido num caminho

Dem.:
1. Basta ter em conta o facto de que (ver gura 1.0.1)
(t) = (a + b t).
2. Efectuando a mudan ca de variavel t = (s), obtemos
_

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

(t)dt
=
_

f(((s)))

((s))

(s)ds
=
_

f( (s))

(s)ds
=
_

f(z)dz.
3. Por reparametrizacao, podemos considerar
1
e
2
denidos no intervalo [0, 1] e,
portanto, =
1
+
2
, tambem designado por concatena cao de
1
e de
2
, (ver gura
1.0.2), e dado por:
(t) =
_

1
(2t), se t [0,
1
2
]

2
(2t 1), se t [
1
2
, 1],
7
Re
Im

2
Figura 1.0.2: Concatenacao de dois caminhos
donde se obtem,
_

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

1
(2t)dt +
_
1
1
2
f(
2
(2t 1))

2
(2t 1)dt
=
_

1
f(z)dz +
_

2
f(z)dz.
Deste Lema conclumos que o integral esta bem denido porque n ao depende da para-
metrizacao usada para o calcular.
Note-se tambem que o integral muda de sinal quando a linha e percorrida no sentido
contr ario.
Exemplo 1.0.1 Seja r > 0 e (t) = re
it
, (t [0, 2]) a parametrizacao de uma circun-
ferencia de raio r, centrada na origem e percorrida no sentido directo como mostra a gura
1.0.3.
Entao,
_

z
n
dz =
_
2
0
(re
it
)
n
ire
it
dt
= ir
n+1
_
2
0
e
i(n+1)t
dt
= ir
n+1
__
2
0
cos(n + 1)t dt + i
_
2
0
sen(n + 1)t dt
_
=
_
0, n = 1
2i, n = 1.
(1.0.2)
8 CAP

ITULO 1. INTEGRAC

AO
Re
Im

r
Figura 1.0.3: Circunferencia de raio r e centro na origem
Teorema 1.0.1 Seja um caminho seccionalmente regular, S C um aberto tal que

S e F : S C uma fun cao de classe C

1
. Ent ao,
_

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

Dem.: (cf. [5]) Consideremos apenas o caso em que e regular. Para o caso em que e
seccionalmente regular basta ter em conta a propriedade 3. do Lema 1.0.1.
_

(z)dz =
_
b
a
F

((t))

(t)dt
=
_
b
a
(F )

dt
= [Re(F )(t)]
b
a
+ i[Im(F )(t)]
b
a
= F((b)) F((a)).
Este e o chamado Teorema Fundamental do Calculo. A sua aplicacao exige o conheci-
mento da primitiva da funcao a integrar o que, em muitos casos, nao e simples. No entanto,
temos a seguinte estimativa para o m odulo do integral de uma funcao contnua:

f(z)dz

M
_
b
a
|

(t)|dt = Ml(), (1.0.3)

em que M e o m aximo da funcao |f| em

e l() e o comprimento da linha parametrizada

por .
1.1. TEOREMA DE CAUCHY 9
De facto, sendo
_

f(z)dz = re
i
a representa cao polar do integral de f ao longo de ,
obtemos,
r = e
i
_

f(z)dz =
_

e
i
f(z)dz
=
_
b
a
{Re[e
i
f((t))

(t)] + i Im[e
i
f((t))

(t)]}dt
=
_
b
a
Re[e
i
f((t))

(t)]dt

_
b
a
| Re[e
i
f((t))

(t)]|dt

_
b
a
|e
i
||f((t))

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

(t)|dt
=
_

|f(z)|dz Ml().
Exemplo 1.0.2 1. Seja f(z) =
1
1+z
4
e (t) = Re
it
, (0 t ). Entao,

f(z)dz

_

0

Rie
it
R
4
e
i4t
+ 1

dt
R
|R
4
1|
.
2. Seja f(z) =
1
z
e (t) = e
it
, (0 t 2). Entao, |f((t))| = 1 e |(t)| = 1 e, portanto,
|
_

f(z)dz| 2.
1.1 Teorema de Cauchy
O teorema de Cauchy e um dos resultados fundamentais na teoria das funcoes analticas
e pode ser apresentado sob diversas formas (cf. [6, 1, 2, 5]). Nesta seccao estudaremos
uma de tais versoes que e suciente para grande parte das aplicacoes.
Seja C um triangulo com vertices {a, b, c}. Dada um funcao contnua na fronteira
do triangulo , pela propriedade 3. do Lema 1.0.1, obtemos
_

f(z)dz =
_
[a,b]
f(z)dz +
_
[b,c]
f(z)dz +
_
[c,a]
f(z)dz,
em que [x, y] designa o segmento de recta percorrido de x para y.
10 CAP

ITULO 1. INTEGRAC

AO
Lema 1.1.1 Seja S C um conjunto aberto, S um triangulo fechado e f uma fun cao
analtica em S. Entao,
_

f(z)dz = 0.
Dem.: (cf. [5, 6]) Sejam a, b, c os vertices de e sejam a

, b

, c

os pontos medios dos

segmentos [b, c], [c, a] [a, b], respectivamente, como mostra a gura 1.1.4. Consideremos os
quatro triangulos
j
, j = 1, 2, 3, 4, cujos vertices sao, respectivamente,
{a, c

, b

}, {b, a

, c

}, {c

, b

, a

}, {a

, b

, c

}.
a b
c
b

Figura 1.1.4: Subdivisao em tri angulos encaixados

Pelas propriedades 1., 2. e 3. do Lema 1.0.1, temos,
I =
_

f(z)dz =
4

j=1
I
j
,
em que I
j
=
_

j
f(z)dz.
O m odulo de pelo menos um dos n umeros I
j
deve ser maior ou igual a
|I|
4
. Seja I
1
esse n umero. Repetindo este procedimento com
1
em substituicao de , obtemos uma
sucessao de triangulos (
n
), encaixados da seguinte forma:

1

2

3

O comprimento da fronteira de cada um dos triangulos
n
e igual a
L
2
n
, em que L e
o comprimento de . Portanto,
|I| 4
n

_
n
f(z)dz

, (n = 1, 2, 3, . . .).
1.1. TEOREMA DE CAUCHY 11
Dado que e um conjunto compacto, existe um ponto z
0
que e comum a todos
os triangulos
n
. Sendo f diferenciavel em S, e diferenciavel em z
0
.
Seja > 0. Entao, existe r > 0 tal que
|f(z) f(z
0
) f

(z
0
)(z z
0
)| |z z
0
|,
para |z z
0
| < r.
Tendo em conta que os triangulos estao encaixados, existe n tal que se z
n
entao
|z z
0
| < r.
Note-se que, pelo teorema 1.0.1, se tem
_

z
n
dz = 0 , (n = 1).
Portanto, temos

_
n
f(z)dz

_
n
[f(z) f(z
0
) f

(z
0
)(z z
0
)]dz

(2
n
L)
2
,
o que implica que |I| L
2
. Dado que e arbitrario, I = 0.
Este Lema coloca imediatamente a questao de saber em que conjuntos abertos S C
se verica a seguinte propriedade: Dados tres pontos a, b, c S, o triangulo fechado
de vertices a, b, c esta contido em S. Uma classe de conjuntos em que tal se verica e a
dos convexos. Veremos, de seguida, que para esta classe de conjuntos e possvel denir
primitiva de uma funcao analtica.
Teorema 1.1.1 Seja S C um conjunto aberto e convexo, f uma fun cao analtica em S.
Entao, existe uma fun cao F, analtica em S, tal que f = F

.
Dem.: Seja a S. Sendo S convexo, o segmento [a, z] esta contido em S para todo z S.
Portanto, podemos denir,
F(z) =
_
[a,z]
f(w)dw , (z S).
Dados z e z
0
em S, o triangulo com vertices {a, z
0
, z} esta contido em S. Entao
F(z) F(z
0
) =
_
[z
0
,z]
f(w)dw,
donde obtemos
F(z) F(z
0
)
z z
0
f(z
0
) =
1
z z
0
_
[zz
0
]
[f(w) f(z
0
)]dw, (1.1.1)
para z = z
0
.
12 CAP

ITULO 1. INTEGRAC

AO
Sendo f contnua em z
0
, dado > 0, existe > 0 tal que, se |z z
0
| < entao
|f(z) f(z
0
)| < . Portanto, de (1.1.1) obtemos,

F(z) F(z
0
)
z z
0
f(z
0
)

<
ou seja, f = F

e, em particular, F e analtica.
Outra classe de subconjuntos de C em que e possvel denir primitiva de uma funcao
analtica e a dos conjuntos em forma de estrela.
Diz-se que um conjunto S C e uma estrela se existe um ponto a S tal que
[a, z] S para qualquer z S (cf. [5]).
a z
Figura 1.1.5: Conjunto em forma de estrela
Note-se que qualquer conjunto convexo e uma estrela. Tome-se para ponto a qualquer
ponto de S.
Um corte do plano complexo, ou seja, o conjunto que se obtem retirando ao plano
complexo uma semi-recta, dado por
C

= C \ {w C : arg(w) = }
e uma estrela. Tome-se para ponto a qualquer ponto de C

sobre o segmento de recta

{w C

: arg(w) = + }, tal como se ilustra na gura (1.1.6).

O plano perfurado, ou seja, o conjunto que se obtem retirando um ponto ao plano
complexo, nao e uma estrela.
A demonstracao do teorema 1.1.1 e facilmente adaptavel a esta classe de conjuntos. De
facto, dados dois pontos z
1
e z
2
em S, se o segmento de recta [z
1
, z
2
] S entao cada um
dos segmentos de recta [a, z] com z [z
1
, z
2
] estar a contido em S e, portanto, o triangulo
fechado de vertices {a, z
1
, z
2
} estar a igualmente contido em S.
Do teorema 1.1.1 e do teorema fundamental do calculo obtemos imediatamente o teo-
rema de Cauchy:
1.1. TEOREMA DE CAUCHY 13
Re
Im
a

Figura 1.1.6: Corte no plano complexo

Teorema 1.1.2 Seja f uma fun cao analtica, denida num aberto e em estrela S, e

S
um caminho fechado. Entao
_

f(z)dz = 0.
Note-se que a aplicacao do teorema fundamental do calculo exige o conhecimento da
primitiva da funcao a integrar o que, na pr atica, podera tornar-se uma diculdade incon-
tornavel. Pense-se, por exemplo, na funcao exp (z
2
). O teorema anterior resolve, para
caminhos fechados, este problema.
Exemplo 1.1.1 Seja (t) = e
it
, (0 t 2). Entao,
_

f(z)dz = 0 para cada uma das

funcoes abaixo indicadas:
1. Para f(z) =
1
z
2
, veja-se o primeiro exemplo de calculo de integrais.
2. Para f(z) = cosec
2
(z) =
d
dz
cot(z), use-se o teorema fundamental do calculo.
3. Para f(z) =
e
iz
2
4+z
2
, aplique-se o teorema de Cauchy.
4. Para f(z) = (Imz)
2
, temos, por deni cao de integral:
_

f(z)dz =
_
2
0
sen(2t)ie
it
dt
=
_
2
0
2 cos(t) sen
2
(t)dt + 2i
_
2
0
sen(t) cos
2
(t)dt = 0.
Note-se que esta funcao nao e diferenciavel.
5. (Exerccio:) f(z) =
1
2z1

1
2z+1
.
14 CAP

ITULO 1. INTEGRAC

AO
1.2 Consequencias do Teorema de Cauchy
1.3

Indice de um Caminho Fechado
Seja um caminho fechado e designemos por S o complementar de

. Seja z S e
consideremos o integral
Ind

(z) =
1
2i
_

dw
w z
, (z S).
Re
Im

z
Figura 1.3.7:

Indice de um caminho no ponto z
Seja
(t) = exp
_
t
a

(s)
(s) z
ds , (a t b).
Derivando obtemos,

(t)
(t)
=

(t)
(t) z
,
excepto, possivelmente, num conjunto nito D em que nao e diferenciavel. Assim, a
funcao

z
e contnua em [a, b] e tem derivada nula em [a, b] \ D. De facto,
d
dt
(t)
(t) z
=

(t)((t) z) (t)

(t)
((t) z)
2
= 0.
Sendo D nito,

z
e constante em [a, b] e, como (a) = 1, temos
(t) =
(t) z
(a) z
, (a t b).
Dado que e um caminho fechado, ou seja, (a) = (b), ca claro que (b) = 1. Por
outro lado, (b) = exp (2i Ind

(z)). Portanto, (b) = 1 se e so se exp (2i Ind

(z)) = 1.
1.3.

INDICE DE UM CAMINHO FECHADO 15
Sendo a exponencial complexa uma funcao periodica de perodos 2ki, em que k Z,
conclumos que a funcao Ind

toma valores inteiros em S.

Veremos de seguida que a funcao Ind

pode ser representada por uma serie de potencias,

ou seja, trata-se de uma funcao analtica em S.
Seja a S. Sendo S um conjunto aberto, existe um disco D
r
(a) S. Dado que S e o
complementar de

, tem-se: |w a| > r para todo z D

r
(a) e, portanto,

z a
w a

|z a|
r
< 1.
Dado que
w a
w z
=
1
1
za
wa
,
podemos expressar
1
wz
em termos de uma serie geometrica:

n=0
(z a)
n
(w a)
n+1
=
1
w z
.
Portanto,
Ind

(z) =
1
2i
_

dw
w z
=
1
2i
_

n=0
(z a)
n
(w a)
n+1
dw.
Se for possvel trocar a serie com o integral na expressao anterior, conclumos que a
funcao Ind

pode ser expressa na forma de uma serie de potencias:

Ind

(z) =

n=0
c
n
(z a)
n
, (z D
r
(a))
em que os coecientes c
n
sao dados por
c
n
=
_

1
(w a)
n+1
dw , (n = 0, 1, 2, . . .)
Portanto, a funcao Ind

e analtica em S.
A possibilidade de troca da serie com o integral ca estabelecida no Lema seguinte ([5]):
Lema 1.3.1 Seja um caminho,
_
f
k
_
uma sucessao de fun coes contnuas em

tais que,
para todo z

, a serie

k=0
f
k
(z) converge. Suponhamos que existem constantes M
k
tais
que a serie

M
k
converge e, para todo z

, se tem: |f
k
(z)| M
k
. Entao

k=0
_

f
k
(z)dz =
_

k=0
f
k
(z)dz.
16 CAP

ITULO 1. INTEGRAC

AO
Dem.: Seja F(z) =

k=0
f
k
(z) e F
n
(z) =

n
k=0
f
k
(z). Por serem contnuas, F e F
n
sao
integraveis em

e, por comparacao, a serie

k=0
|f
k
(z)| converge e temos:

F(z)dz
n

k=0
_

f
k
(z)dz

(F(z) F
n
(z))dz

sup
z

F(z) F
n
(z)

l()
sup
z

k=n+1
|f
k
(z)| l()
l()

k=n+1
M
k
.
Sendo

k=0
M
k
convergente, lim
n

k=n+1
M
k
= 0, o que estabelece o pretendido.
Note-se que, se |w a| > r,

(z a)
n
(w a)
n+1

1
r
_
|z a|
r
_
n
=: M
n
e a serie

M
n
converge desde que se tenha |z a| < r, o que permite concluir que a funcao
Ind

e representavel por uma serie de potencias.

Dado que a imagem de um conjunto conexo por uma funcao contnua e um conjunto
conexo e, sabendo que Ind

toma apenas valores inteiros, conclumos que Ind

deve ser
constante em cada componente conexa de S.
Finalmente, da deni cao de Ind

deduz-se que, para |z| sucientemente grande, se tem

| Ind

(z)| < 1, o que implica que Ind

(z) = 0 na componente nao limitada de S.

De facto, seja R > 2 max {|z| : z

} e consideremos o conjunto
S
R
= {z C : |z w| >
R
2
; w

}.
Para z S
R
, temos,
| Ind

(z)|
1
2
_

1
w z

dw
l()
R
.
Exemplo 1.3.1 Seja (t) = a + re
it
em que r > 0 e 0 t 2. Entao, para |z a| < r,
1
2i
_

dz
z a
=
1
2i
_
2
0
ire
it
re
it
dt =
1
2
_
2
0
dt = 1,
1.4. F

ORMULAS INTEGRAIS DE CAUCHY 17

ou seja,
Ind

(z) =
_
1, se |z a| < r
0, se |z a| > r.
(1.3.1)
1.4 F ormulas Integrais de Cauchy
Teorema 1.4.1 Seja um caminho fechado e contido num aberto e em estrela S e seja
f uma fun cao analtica em S. Ent ao, para z S \

tem-se
f(z) Ind

(z) =
1
2i
_

f(w)
w z
dw. (1.4.2)
Dem.: Seja z S \

e consideremos a seguinte funcao

g(w) =
_
f(w)f(z)
wz
, se w S, w = z
f

(z), se w = z.
Esta funcao satisfaz as condi coes do teorema 1.1.2 e, portanto,
0 =
1
2i
_

g(w)dw =
1
2i
_

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

f(w)
w z
dw
1
2i
_

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

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

1
w z
dw
=
1
2i
_

f(w)
w z
dw f(z) Ind

(z).
Para o caso em que Ind

(z) = 1 obtem-se uma formula integral para a funcao f o que

permitir a representar funcoes analticas em termos de series de potencias. De facto, se
tomarmos para uma circunferencia, o teorema seguinte estabelece essa representa cao.
Teorema 1.4.2 Seja S C um conjunto aberto e f : S C uma fun cao analtica. Entao
f e represent avel por uma serie de potencias em S.
Dem.: Seja a S e R > 0 tal que D
R
(a) S. Seja uma circunferencia centrada em a, de
raio r < R e percorrida uma vez no sentido positivo. Sendo D
R
(a) um conjunto convexo,
18 CAP

ITULO 1. INTEGRAC

AO
estao satisfeitas as condi coes do teorema anterior. Note-se que, para esta circunferencia se
tem Ind

(z) = 1 em que z D
r
(a). Portanto,
f(z) =
1
2i
_

f(w)
w z
dw , (z D
r
(a)).
Seguindo os mesmos passos da prova de que a funcao ndice e analtica, conclumos que
existe uma sucessao de coecientes (c
n
) tais que
f(z) =

n=0
c
n
(z a)
n
, (z D
r
(a)).
Da unicidade dos coecientes c
n
, obtemos a mesma serie para qualquer r < R desde
que a esteja xado. Portanto, a representa cao em serie de potencias e v alida para todo
z D
R
(a) como era pretendido.
A tal serie de potencias chamamos serie de Taylor de f.
Sendo f representavel por uma serie de potencias, a derivada f

tambem o sera, ou
seja, a derivada de uma funcao analtica e uma funcao analtica. Do estudo das series de
potencias e do teorema anterior obtemos as chamadas formulas integrais de Cauchy:
c
n
n! = f
(n)
(a) =
n!
2i
_

f(w)
(w a)
n+1
dw , (n = 0, 1, 2, . . .). (1.4.3)
em que

S e uma circunferencia centrada em a e descrita uma vez no sentido positivo.

Exemplo 1.4.1 1. Seja (t) = i + e
it
, 0 t 2.
Entao,
_

z
2
z
2
+ 1
dz =
_

z
2
(z + i)(z i)
dz
= 2i
_
z
2
z + i
_
z=i
= .
2. Seja (t) = e
it
, 0 t 2. Entao, usando a formula (1.4.3),
_

e
z
z
3
dz =
_
2i
2!
d
2
dz
2
e
z
_
z=0
= i.
3. Para calcular o integral
_

Re z
z
1
2
dz, em que e o caminho do exemplo anterior, nao
podemos usar a formula de Cauchy porque Re z nao e uma funcao analtica.
1.5. TEOREMA DE MORERA 19
No entanto, para |z| = 1 temos:
Re z = cos(t) =
e
it
+ e
it
2
=
z + z
1
2
=
z
2
+ 1
2z
.
Portanto,
_

Re z
z
1
2
dz =
_

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

_
1
2

1
z
+
5
2(2z 1)
_
dz
= 0 2i + 5

2
i =
i
2
.
1.5 Teorema de Morera
O teorema seguinte designado por Teorema de Morera estabelece o recproco do teorema
de Cauchy.
Teorema 1.5.1 Seja S C um conjunto aberto e f : S C uma fun cao contnua tal
que
_

f(z)dz = 0,
para todo o triangulo fechado S. Ent ao, f e uma fun cao analtica em S.
Dem.: Seja a S e r > 0 tal que D
r
(a) S. Sendo D
r
(a) um conjunto aberto e convexo,
existe uma funcao F analtica em D
r
(a) tal que F

= f e, portanto, f e tambem analtica

em D
r
(a). Dado que a S e arbitrario, conclumos que f e analtica em S.
1.6 Teorema de Liouville
Seja f : C C uma funcao inteira e limitada. Consideremos dois pontos a, b C.
Seja R 2 max (|a|, |b|) tal que se tenha |w a|
R
2
e |w b|
R
2
para |w| = R. Seja
(t) = Re
it
, (0 t 2). Aplicando a formula integral de Cauchy (1.4.2), obtemos:
f(a) f(b) =
1
2i
_

f(w)
_
1
w a

1
w b
_
dw
e, portanto,
|f(a) f(b)|
1
2
2RM
|a b|
(
1
2
R)
2
,
20 CAP

ITULO 1. INTEGRAC

AO
em que M e tal que |f(w)| M, w C. Sendo R arbitrario, conclumos que f(a) =
f(b), a, b C.
Temos, assim, o chamado Teorema de Liouville:
Teorema 1.6.1 Uma fun cao inteira e limitada e constante.
1.7 Teorema Fundamental da

Algebra
Seja p : C C um polin omio nao constante de coecientes complexos. Suponhamos
que p(z) = 0 para todo z C. Dado que, se |z| , entao |p(z)| , existe R > 0 tal
que
1
|p(z)|
< 1 para |z| > R. Por outro lado, no compacto {z C : |z| R} a funcao
1
p(z)
e
contnua e, portanto, limitada. Assim, a funcao
1
p(z)
e limitada em C e, sendo inteira, pelo
teorema de Liouville, conclumos que
1
p(z)
deve ser constante. Temos, assim, o chamado
Teorema Fundamental da

Algebra que estabelece a existencia de zeros de polin omios:
Teorema 1.7.1 Seja p : C C um polinomio nao constante de coecientes complexos.
Entao existe w C tal que p(w) = 0.
1.8 Zeros de Func oes Analticas
O facto de que uma funcao analtica e representavel localmente por uma serie de
potencias permite caracterizar o seu conjunto de zeros.
Seja S C um aberto e conexo e f : S C um funcao analtica e designemos por
Z(f) = {a S : f(a) = 0} o conjunto dos zeros de f. Seja A o conjunto de pontos de
acumulacao de Z(f). Sendo f contnua, A Z(f). Fixemos a Z(f), e seja r > 0 tal que
D
r
(a) S e em que:
f(z) =

n=0
c
n
(z a)
n
, (z D
r
(a)).
Se todos os coecientes c
n
forem nulos, D
r
(a)) A e a e um ponto interior de A. Caso
contr ario, como f(a) = 0, existe o menor dos inteiros m > 0 tal que c
m
= 0. Neste caso,
dena-se
g(z) =
_
(z a)
m
f(z), se z S \ {a}
c
m
, se z = a.
Desta deni cao ca claro que g e uma funcao analtica em S \ {a} e, da serie para f
obtemos a representa cao em serie de potencias para g:
g(z) =

k=0
c
m+k
(z a)
k
, (z D
r
(a))
1.9. TEOREMA DO M

ODULO M

AXIMO 21
e, portanto, g e uma funcao analtica em S. Para alem disso, g(a) = c
m
= 0 e, sendo g
contnua, existe um disco centrado em a onde nao existem zeros de g, ou seja, a e um ponto
isolado de Z(f).
Assim, se a A, todos os coecientes c
n
sao nulos e, portanto, A e um conjunto aberto.
Por outro lado, por deni cao A e fechado. Dado que S e conexo, ou A = S e entao
Z(f) = S, ou A = .
Portanto, ou Z(f) = S ou Z(f) nao tem pontos de acumulacao em S.
Se A = , em cada compacto de S nao podera ocorrer mais do que um n umero nito de
zeros de f. Como S pode ser descrito como uma uniao numer avel de compactos, conclumos
que Z(f) e, quanto muito, numer avel.
O que acaba de ser exposto pode ser resumido no teorema seguinte:
Teorema 1.8.1 Seja S C um aberto e conexo, f : S C uma fun cao analtica e
Z(f) = {a S : f(a) = 0}. Ent ao, ou Z(f) = S ou Z(f) nao tem pontos de acumulacao
em S. No segundo caso, a cada a Z(f) corresponde um unico inteiro m = m(a) tal que
f(z) = (z a)
m
g(z) , (z S), (1.8.4)
em que g e uma fun cao analtica em S e g(a) = 0. Alem disso, Z(f) e um conjunto
contavel.
Ao inteiro m chama-se ordem do zero e no caso em que m = 1 diz-se que o zero
e simples. Desta caracterizacao dos zeros de uma funcao analtica deduz-se o seguinte
teorema de unicidade que estabelece que uma funcao analtica num aberto conexo S ca
completamente denida sobre qualquer conjunto com pontos de acumulacao em S.
Teorema 1.8.2 Sejam f, g duas fun coes analticas num aberto e conexo S. Se f(z) = g(z)
num conjunto com pontos de acumulacao em S, entao f(z) = g(z) em S.
Note-se que este teorema deixa de ser v alido para o caso em que S nao e conexo. De
facto, se S = S
1
S
2
em que S
1
, S
2
sao abertos disjuntos, considere-se a funcao denida
por
f(z) =
_
0, se z S
1
1, se z S
2
.
1.9 Teorema do Modulo Maximo
Tal como para os zeros de uma funcao analtica f : S C denida num aberto e
convexo, os pontos de m aximo de |f| obedecem a restri coes que so nao se vericam para
funcoes constantes.
Teorema 1.9.1 Seja f uma fun cao denida e analtica num disco D
R
(a) e tal que |f(z)|
|f(a)| para todo z D
R
(a). Ent ao f e constante.
22 CAP

ITULO 1. INTEGRAC

AO
Dem.: Seja 0 < r < R e (t) = a + re
it
, 0 t 2. Pela formula integral de Cauchy
temos,
f(a) =
1
2i
_

f(z)
z a
=
1
2i
_
2
0
f(a + re
it
)
re
it
ire
it
dt
=
1
2
_
2
0
f(a + re
it
)dt.
Dado que r < R e, por hipotese, |f(z)| |f(a)| para todo z D
R
(a), obtemos,
|f(a)|
1
2
_
2
0
|f(a + re
it
)|dt |f(a)|
e, portanto,
_
2
0
_
|f(a)| |f(a + re
it
)|
_
dt = 0.
Sendo a funcao integranda contnua e nao negativa, deve ser nula, ou seja, f e constante
em D
R
(a).
Seja S um aberto, conexo e limitado e f uma funcao analtica em S e contnua em S.
Assim, |f| tem m aximo em S. Suponhamos que o ponto de m aximo se situa no interior de
S. Pelo teorema anterior, f deve ser constante em algum disco centrado nesse ponto o que
implica que f deve ser constante em S por unicidade. Por ser contnua, f e constante em
S e, portanto, |f| tem o seu m aximo sobre a fronteira de S. Tem-se, assim, o teorema do
m odulo m aximo:
Teorema 1.9.2 Seja S um aberto, conexo e limitado e f uma fun cao analtica em S e
contnua em S. Entao, |f| tem o seu maximo sobre a fronteira de S.
Como exemplo de aplicacao deste teorema, consideremos uma funcao f analtica em
D
1
(0). Suponhamos que se tem
f(0) = 0,
|f(z)| 1 ; |z| < 1.
Consideremos a funcao g denida por
g(z) =
f(z)
z
, z = 0,
g(0) = f

(0).
1.10. EXERC

ICIOS 23
Sendo g analtica em D
1
(0), pelo teorema do m odulo m aximo conclumos que se tem
|g(z)| 1
ou seja
|f(z)| |z| , z D
1
(0)
e, em particular,
|f

(0)| 1.
Se para algum z D
1
(0) tivermos |g(z)| = 1, entao, pelo teorema do m odulo m aximo,
a funcao g sera constante em D
1
(0), ou seja, g(z) = em que || = 1. Portanto, a funcao
f tera a seguinte forma
f(z) = e
i
z
em que R e tal que = e
i
.
1.10 Exerccios
Nesta serie de exerccios, iremos denotar por (a, r) a circunferencia centrada em a C
e de raio r e percorrida no sentido positivo, ou seja,
(a, r) = {z C : |z a| = r} = {a + re
it
: t [0, 2]}.
1. Mostre que sobre a circunferencia

= {z : |z| = R > 1} se tem

Log(z)
z
2
dz

< 2
+ log(R)
R
.
2. Use o teorema de Cauchy para mostrar que se tem
_
|z|=1
f(z)dz = 0
nos casos seguintes:
a) f(z) =
z
2
z 3
,
b) f(z) = tan(z),
c) f(z) = Log(z + 2).
3. Considere a funcao f(z) = z
1/2
com f(0) = 0 e |z| > 0 ;

2
arg(z) <
3
2
. Seja

= {z : |z| = 1; Im(z) 0}. Mostre que o teorema de Cauchy nao se aplica no

calculo do integral
_

f(z)dz. Calcule esse integral.

4. Para = (0, 2), calcule os integrais:
24 CAP

ITULO 1. INTEGRAC

AO
a)
_

z
3
+5
zi
dz,
b)
_

1
z
2
+z+1
dz,
c)
_

sen(z)
z
2
+1
dz,
d)
_

cos(z)
z
n
dz,
e)
_

dz
z
.
5. Seja A C um aberto e convexo e f : A C uma funcao analtica. Seja um
caminho fechado em A e z
0
A\

. Mostre que se tem

_

(w)
w z
0
dw =
_

f(w)
(w z
0
)
2
dw.
6. Seja f uma funcao inteira tal que lim
|z|
f(z)
z
= 0. Prove que f e constante.
7. Seja f uma funcao analtica em C. Prove que, se existem constantes M e K e um
inteiro positivo n tais que |f(z)| M|z|
n
para |z| K, entao f e um polin omio de
grau menor ou igual a n.
8. Seja A um subconjunto convexo de C e f : A C uma funcao analtica e nao nula.
Mostre que
_

(z)
f(z)
dz = 0,
em que e um caminho fechado em A.
9. Seja f uma funcao analtica no disco fechado D
1
(0). Prove que, se para algum r > 0
e algum a C se tem f(D
1
(0)) D
r
(a), entao
f(D
1
(0)) D
r
(a).
10. Prove que uma funcao analtica numa estrela tem primitiva.
11. Seja S C um aberto e f : S C uma funcao contnua. Suponhamos que f e
analtica em S \ [a, b], em que [a, b] S e um segmento de recta. Prove que f e
analtica em S.
12. Seja f uma funcao analtica num domnio S C. Considerando a funcao e
f
, mostre
que Re(f) nao pode ter m aximo em S.
Captulo 2
Singularidades
2.1 Classicacao
Consideremos a funcao f(z) =
1
z
, que, como vimos, desempenha um papel importante
no teorema de Cauchy e, especialmente, nas suas consequencias. Esta funcao apresenta a
particularidade de nao estar denida na origem e e analtica em C\ {0}. Em particular, e
analtica em qualquer coroa circular centrada na origem. Nesta seccao analisaremos, com
algum pormenor, as funcoes que sao analticas excepto em pontos isolados e obteremos
uma classicacao desses pontos a que chamaremos singularidades.
Seja S C um aberto, a S e f uma funcao analtica em S \ {a}. Diz-se, neste caso,
que f tem uma singularidade em a.
Se lim
za
f(z) existe, diz-se que f tem uma singularidade removvel em a. Neste caso,
f pode ser denida em S tomando f(a) = lim
za
f(z).
Chamaremos disco perforado em a ao conjunto D

r
(a) = D
r
(a) \ {a}.
Teorema 2.1.1 Seja f uma fun cao analtica em S \ {a} e limitada em algum disco per-
forado D

r
(a). Entao f tem uma singularidade removvel em a.
Dem.: Seja h : S C denida do seguinte modo:
h(z) =
_
0, se z = a
(z a)
2
f(z), se z = a.
Sendo f limitada em algum disco perforado, obtemos,

h(z) h(a)
z a

= |(z a)f(z)| M|z a|,

em que M e tal que |f(z)| M, z D

r
(a).
Portanto, h e diferenciavel em a e h

(a) = 0.
Assim, h e analtica em S e pode ser representada pela serie de potencias
h(z) =

n=2
c
n
(z a)
n
, (z D
r
(a)).
25
26 CAP

ITULO 2. SINGULARIDADES
Tomando f(a) = c
2
, obtemos uma extens ao analtica de f em S e representada pela
serie
f(z) =

n=0
c
n+2
(z a)
n
, (z D
r
(a)).
Note-se que a funcao f(z) =
1
z
nao se encontra nas condi coes do teorema anterior o que
nos leva a pensar no tipo de singularidades que uma funcao pode apresentar. O teorema
seguinte resolve este problema apresentando uma classicacao exaustiva das singularidades
isoladas.
Teorema 2.1.2 Seja a S uma singularidade de f. Ent ao, apenas tres casos podem
ocorrer:
a) f tem uma singularidade removvel em a.
b) Existem complexos c
1
, c
2
, . . . , c
m
, sendo m N e c
m
= 0, tais que a fun cao
f(z)
m

k=1
c
k
(z a)
k
tem uma singularidade removvel em a.
c) Se r > 0 e D
r
(a) S, entao f(D

r
(a)) e um conjunto denso no plano complexo.
No caso b), diz-se que f tem um p olo de ordem m em a e diz-se que a funcao

m
k=1
c
k
(za)
k
e a parte principal de f em a.

E claro que se f tem um polo em a, entao

lim
za
|f(z)| =
Ao n umero m chamamos ordem do polo e no caso em que m = 1 dizemos que o p olo
e simples.
No caso c), diz-se que f tem uma singularidade essencial em a. Dito de outra forma,
a cada complexo w corresponde uma sucessao (z
n
) tal que z
n
a e f(z
n
) w, ou
equivalentemente,
w C, > 0, r > 0, z D

r
(a) : |f(z) w| < .
No que segue e sempre que nao haja perigo de confusao denotaremos
D = D
r
(a) , D

= D

r
(a).
2.2. S

ERIE DE LAURENT 27
Dem.: (cf. [6]) Suponhamos que c) nao se verica. Entao, existem r > 0, > 0 e w C
tais que |f(z) w| > em D

r
(a). Seja g a funcao denida por
g(z) =
1
f(z) w
, (z D

). (2.1.1)
Entao, g e analtica em D

e |g| <
1

. Pelo teorema 2.1.1, g e analtica em D, pelo que,

dois casos podem ocorrer.
Se g(a) = 0, sendo f(z) = w+
1
g(z)
, obtemos que f e limitada em algum disco perforado
D

(a), o que, pelo teorema 2.1.1, signica que f tem uma singularidade removvel em a.
Se a e um zero de g de ordem m 1, temos
g(z) = (z a)
m
g
1
(z) (z D)
em que g
1
e analtica e nao nula em D.
Assim, seja h =
1
g
1
. Entao, h e analtica e nao nula em D, o que permite escrever
h(z) =

n=0
b
n
(z a)
n
(z D),
em que b
0
= 0.
Por outro lado, de (2.1.1), obtemos para z D

,
f(z) w = (z a)
m
h(z)
= (z a)
m

n=0
b
n
(z a)
n
=
b
0
(z a)
m
+
b
1
(z a)
m1
+ + b
m
+

k=1
b
m+k
(z a)
k
,
ou seja, a funcao f(z)

m
k=1
b
mk
(za)
k
tem uma singularidade removvel em a.
2.2 Serie de Laurent
Da correspondencia entre funcoes analticas e series de potencias e tendo em conta o
teorema 2.1.2 podemos concluir que se uma funcao f tiver uma singularidade nao removvel
em algum ponto a nao podera ser representada por uma serie de potencias relativa a esse
ponto. No entanto, se considerarmos potencias com expoentes inteiros n Z, sera possvel
obter uma representa cao em termos de series do tipo
+

n=
c
n
(z a)
n
,
28 CAP

ITULO 2. SINGULARIDADES
denidas em algum disco perforado D

r
(a).
Sejam R e S n umeros reais tais que (0 R < S ) e f uma funcao analtica na
coroa circular {z C : R < |z| < S}.
Por razoes de clareza xemos a seguinte notacao:
1. (a, r) designa a cincunferencia de raio r e centro em a e percorrida uma vez no
sentido positivo;
2.
r
(z, w) designa o arco de circunferencia de raio r e centro na origem e percorrida
desde o ponto z ate ao ponto w no sentido positivo;
3. [z, w] designa o segmento de recta percorrido de z para w.
4. A(R, S) designa a coroa circular de raios R e S com 0 R < S e centro na
origem do plano complexo.
5. I() designa o conjunto aberto e limitado pela linha simples e fechada

e chama-se,
abusivamente, interior de

.
Lema 2.2.1
_
(0,r)
f(w)
w
n
dw =
_
(0,R)
f(w)
w
n
dw , 0 < r < R , n Z. (2.2.2)
Dem.: (cf. [5]) Consideremos os caminhos seguintes (ver gura 2.2.1):

1
=
R
(R, iR) + [iR, ir]
r
(r, ir) + [r, R],

2
=
R
(iR, R) + [R, r]
r
(ir, r) + [ir, iR],

3
=
R
(R, iR) + [iR, ir]
r
(r, ir) + [r, R],

4
=
R
(iR, R) + [R, r]
r
(ir, r) + [ir, iR].
Note-se que cada um dos caminhos
i
esta contido num quadrante do plano complexo.
Portanto, pelo teorema de Cauchy, obtemos:
_

i
f(w)
w
n
dw = 0, i = 1, 2, 3, 4.
Por outro lado,
_

1
+
2
+
3
+
4
f(w)
w
n
dw =
_
(0,R)
f(w)
w
n
dw
_
(0,r)
f(w)
w
n
dw.
Portanto,
_
(0,R)
f(w)
w
n
dw =
_
(0,r)
f(w)
w
n
dw.
2.2. S

ERIE DE LAURENT 29
Re
Im
r
R

4
Figura 2.2.1: Invari ancia do integral
A prova deste Lema mostra que o mesmo se passa se substituirmos a circunferencia
(0, r) por uma linha fechada simples e contida no aberto limitado por (0, R) e tal que
0

. Note-se que tal circunferencia existe dado que I() e um conjunto aberto.
Teorema 2.2.1 Seja f uma fun cao analtica na coroa circular A(R, S). Entao,
f(z) =

n=
c
n
z
n
, (z A), (2.2.3)
em que
c
n
=
1
2i
_

f(w)
w
n+1
dw, (2.2.4)
sendo = (0, r) , (R < r < S).
Dem.: Seja z A(R, S) e P, Q > 0 tais que R < P < |z| < Q < S (ver gura 2.2.2).
30 CAP

ITULO 2. SINGULARIDADES
Re
Im
z
R
P
Q S
Figura 2.2.2: Coroa circular A(R, S)
Usando o teorema de Cauchy e considerando os caminhos (0, Q) e (0, P), obtemos,
f(z) =
1
2i
_
(0,Q)
f(w)
w z
dw
1
2i
_
(0,P)
f(w)
w z
dw
=
1
2i
_
(0,Q)

n=0
z
n
w
n+1
f(w)dw
_
(0,P)

m=0

w
m
z
m+1
f(w)dw. (2.2.5)
Note-se que

w
z

< 1 para w (0, P) e

z
w

< 1 para w (0, Q).

Pelo Lema 1.3.1, podemos trocar o integral com a serie em (2.2.5), ou seja,
f(z) =

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

m=0
_
_
(0,P)
f(w)w
m
dw
_
z
m1
.
Fazendo n = m1 no segundo somatorio e tendo em conta o Lema 2.2.1 obtemos a
serie de Laurent para a funcao f.

E importante notar que a serie de Laurent e unica. De facto, se f fosse representada,

2.2. S

ERIE DE LAURENT 31
em A, por outra serie de Laurent com coecientes b
n
, de (2.2.4), teramos,
2ic
n
=
_
(0,r)
f(w)w
n1
dw =
_
(0,r)

k=
b
k
w
kn1
dw
=
_
(0,r)

k=0
b
k
w
kn1
dw +
_
(0,r)

m=1
b
m
w
mn1
dw
=

k=
b
k
_
(0,r)
w
kn1
dw = 2ib
n
.
Este resultado de unicidade revela-se muito importante no calculo dos coecientes da
serie de Laurent. Note-se que para a serie de Taylor os coecientes estao relacionados com
as derivadas da funcao representada o que nao acontece com os coecientes da serie de
Laurent. No entanto, a unicidade de representa cao permite obter esses coecientes desde
que sejam conhecidos para alguns casos particulares. Em grande n umero de aplicacoes,
interessa calcular apenas alguns desses coecientes.
Note-se que, ate este ponto, todos os calculos foram efectuados supondo que a funcao
f tem uma singularidade na origem do plano complexo. No entanto, todos esses calculos
permanecem v alidos para o caso em que f tenha uma singularidade num ponto a = 0.
Assim, numa coroa {z : 0 < |z a| < r} a funcao f pode ser representada pela serie de
Laurent dada por
f(z) =

n=
c
n
(z a)
n
, (2.2.6)
em que os coecientes c
n
sao calculados da forma seguinte,
c
n
=
1
2i
_

f(z)
(z a)
n+1
dz. (2.2.7)
Exemplo 2.2.1 1. Seja f(z) =
1
z(1z)
. Entao f e analtica em cada uma das coroas
A(0, 1) e A(1, ).
Podemos reescrever f na forma seguinte
f(z) =
1
z
+
1
1 z
e, portanto,
f(z) =

k=1
z
n
, (z A(0, 1)). (2.2.8)
32 CAP

ITULO 2. SINGULARIDADES
Na coroa A(1, ), temos,
f(z) = z
1
z
1
(1 z
1
)
1
=
2

n=
(z
n
).
2. A funcao f(z) =
1
z(1z)
2
e analtica na coroa A = {z : 0 < |z 1| < 1}. Sendo
z(z 1)
2
= (z 1)
2
(1 + (z 1)),
obtemos
f(z) =
1
(z 1)
2
[1 (z 1) + (z 1)
2
] =

n=2
(1)
n
(z 1)
n
. (2.2.9)
Nestes casos, recorremos ao conhecimento da serie geometrica o que, por unicidade,
permitiu obter os coecientes da serie de Laurent de f para cada uma das coroas conside-
radas.
1. A funcao cosec(z) e analtica excepto nos pontos z = k , (k Z) e, portanto, sera
representada por uma serie de Laurent em 0 < |z| < .
sen(z) = z
z
3
3!
+
z
5
5!
+ = z
_
1
z
2
6
+ h(z)
_
,
em que h e uma funcao analtica tal que, numa vizinhanca da origem, verica |h(z)|
M|z
4
|, ou seja h(z) = O(z
4
).
Tendo em conta que para |w| < 1 se tem
1
1w
= 1 + w + w
2
+ , obtemos,
cosec(z) =
1
sen(z)
=
1
z
_
1
_
z
2
6
+ O(z
4
)
_
1
=
1
z
_
1 +
z
2
6
+ O(z
4
)
_
, (2.2.10)
para |z| pequeno.
2. A funcao
cot(z) =
cos(z)
sen(z)
e analtica para 0 < |z| < . Numa vizinhanca da origem, temos,
cot(z) =
_
1
z
2
2
+ O(z
4
)
__
1
z
+
z
6
+ O(z
3
)
_
=
1
z
_
1 + z
2
_

1
2

1
6
_
+ O(z
4
)
_
e, portanto,
cot(z) =
1
z

z
3
+ O(z
3
) , (0 < |z| < ). (2.2.11)
2.2. S

ERIE DE LAURENT 33
3. Dado que exp(z) =

n=0
z
n
n!
em C temos
exp(
1
z
) =

n=0
1
n!z
n
, (2.2.12)
em C \ {0}.
A classicacao das singularidades de uma funcao pode ser reformulada em termos da
respectiva serie de Laurent (cf. [5]). Seja a uma singularidade isolada de f. Entao f e
analtica em alguma coroa A = {z : 0 < |z a| < r} e pode ser representada pela
respectiva serie de Laurent
f(z) =

n=
c
n
(z a)
n
= f
s
(z) + f
a
(z),
em que a
f
a
(z) =

n=0
c
n
(z a)
n
se chama parte analtica de f e a
f
s
(z) =
1

n=
c
n
(z a)
n
se chama parte principal ou singular de f.
Entao, tendo em conta o teorema 2.1.2, obtemos,
a e uma singularidade removvel se c
n
= 0 para todo n < 0, ou seja, f = f
a
; f
s
= 0;
a e um polo de ordem m 1 se c
m
= 0 e c
n
= 0 para todo n < m. Neste caso a
funcao f pode ser escrita na forma
f(z) =
g(z)
(z a)
m
,
em que g e uma funcao analtica tal que g(a) = c
m
= 0. De facto,
f(z) =

k=m
c
k
(z a)
k
=
1
(z a)
m

k=0
c
m+k
(z a)
k
=
g(z)
(z a)
m
. (2.2.13)
34 CAP

ITULO 2. SINGULARIDADES
a e uma singularidade essencial se nao existe algum m tal que c
n
= 0 para todo
n < m.
Teorema 2.2.2 Seja f uma fun cao analtica num disco perforado D

r
(a). Entao f tem um
polo de ordem m em a se e so se
lim
za
(z a)
m
f(z) = D = 0, (2.2.14)
em que D e uma constante.
Dem.: Suponhamos que a e um polo de ordem m. Entao, para z D

r
(a), temos,
f(z) =

n=m
c
n
(z a)
n
em que c
m
= 0. Portanto,
(z a)
m
f(z) =

n=0
c
nm
(z a)
n
= g(z).
A funcao g e analtica e g(a) = c
m
= 0. Assim,
lim
za
(z a)
m
f(z) = c
m
= 0.
Consideremos a serie de Laurent relativa ao ponto a. Os coecientes c
n
sao dados por
c
n
=
1
2i
_

f(z)
(z a)
n+1
dz.
Da condi cao (2.2.14), dado > 0 existe > 0 tal que, se 0 < |z a| < , entao
|(z a)
m
f(z) D| < .
Seja 0 < s < min{, r}. Entao, para |z a| = s temos,
|(z a)
m
f(z)| |D| +
e portanto,
|(z a)
n1
f(z)| (|D| + )s
nm1
.
Assim, os coecientes c
n
podem ser estimados do seguinte modo
|c
n
| (|D| + )s
nm
.
Portanto, para n < m, s
nm
0 desde que s 0, ou seja, c
n
= 0, o que quer dizer
que podemos escrever
f(z) =

n=m
c
n
(z a)
n
.
2.3. EXERC

ICIOS 35
Mas pela condi cao (2.2.14) obtemos
c
m
= lim
za
(z a)
m
f(z) = D = 0.
Exemplo 2.2.2 1. A funcao f(z) =
1cos(z)
z
2
tem uma singularidade removvel na ori-
gem. De facto, tendo em conta que cos(z) =

n=0
z
2n
2n!
obtemos,
f(z) =
1
2!

z
2
4!
+
z
4
6!
+
2. De (2.2.8), (2.2.10) e (2.2.11) conclumos que cada uma das funcoes
1
z(1z)
, cosec(z) =
1
sen(z)
e cot(z) apresenta um polo simples na origem.
3. De (2.2.12) conclumos que a funcao exp(
1
z
) tem uma singularidade essencial na
origem.
2.3 Exerccios
1. Mostre que
1 + 2z
z
2
+ z
3
=
1
z
2
+
1
z
1 + z z
2
+ z
3
, para 0 < |z| < 1.
2. Classique as singularidades de cada uma das seguintes funcoes:
a) ze
1
z
,
b)
z
2
1 + z
,
c)
sen(z)
z
,
d)
cos(z)
z
,
e)
z + 1
z
2
2z
,
f)
cos(z)
z
,
g)
z
cos(z)
,
36 CAP

ITULO 2. SINGULARIDADES
h) g(z) =
f(z)
z a
em que f(a) = 0,
g) g(z) =
f(z)
z a
em que f(a) = 0.
Captulo 3
Resduos e Aplicacoes
3.1 Teorema dos Resduos
Para funcoes analticas e denidas em estrelas, o integral ao longo de um caminho
fechado pode ser facilmente calculado usando o teorema de Cauchy. No caso de funcoes
analticas em coroas circulares, o teorema dos resduos desempenhara o mesmo papel.
Lema 3.1.1 Seja f uma fun cao analtica tendo um polo no interior de uma linha simples
e fechada

e seja
f(z) =

k=m
c
k
(z a)
k
a respectiva serie de Laurent. Ent ao
_

f(z)dz = 2ic
1
.
Dem.: Seja r > 0 tal que D
r
(a) I(). Entao
_

f(z)dz =
_
(a,r)
f(z)dz
=
_
(a,r)

k=m
c
k
(z a)
k
dz
=

k=m
c
k
_
(a,r)
(z a)
k
dz
= 2ic
1
.
Ao coeciente c
1
da serie de Laurent chamamos resduo de f relativo ao ponto a
e usaremos o smbolo res(f, a) para o distinguir.
37
38 CAP

ITULO 3. RES

IDUOS E APLICAC

OES
Teorema 3.1.1 Seja f uma fun cao analtica com um n umero nito de polos em I() em
que e um caminho fechado, simples e percorrido no sentido positivo. Sejam a
1
, a
2
, . . . , a
m
esses pontos. Entao
_

f(z)dz = 2i
m

k=1
res(f, a
k
).
Dem.: Designemos por f
k
a parte principal da serie de Laurent de f relativa a a
k
. Entao,
a funcao denida por
g := f
m

k=1
f
k
tem singularidades removveis nos pontos a
1
, . . . , a
m
e, portanto g e analtica e, pelo teo-
rema de Cauchy tem-se
_

g(z)dz = 0
donde obtemos, usando o Lema anterior para cada f
k
,
_

f(z)dz =
m

k=1
_

f
k
(z)dz = 2i
m

k=1
res(f, a
k
).
3.2 Zeros e Polos
O teorema dos resduos permite contar e localizar os zeros e os polos de uma funcao.
Neste processo, os zeros ou polos de ordem m sao contados m vezes.
Teorema 3.2.1 Seja f uma fun cao analtica com um n umero nito P de polos e um
n umero nito Z de zeros em I(), sendo um caminho fechado e simples percorrido no
sentido positivo. Suponhamos que f e nao nula sobre

. Ent ao
1
2i
_

(z)
f(z)
dz = Z P.
Dem.: (cf. [6, 5, 1]) A funcao
f

f
e analtica excepto nos zeros e polos de f. Se a e um zero
de f de ordem m, entao existe uma funcao analtica g tal que
f(z) = (z a)
m
g(z)
em algum disco D
r
(a) e, portanto,
f

(z)
f(z)
=
m
z a
+
g

(z)
g(z)
.
3.2. ZEROS E POLOS 39
Sendo g nao nula em D
r
(a), a funcao
f

f
tem apenas um polo simples em a e o respectivo
resduo e m.
Se b for um polo de ordem n, entao existe uma funcao g analtica, tal que
f(z) =
g(z)
(z b)
n
e,
f

(z)
f(z)
=
n
z b
+
g

(z)
g(z)
.
Portanto,
f

f
tem um polo simples em b e o respectivo resduo e n.
Tendo em conta o teorema 3.1.1, ca estabelecido o resultado pretendido.
O teorema seguinte (Teorema de Rouche) estabelece que duas funcoes tem o mesmo
n umero de zeros num conjunto se, na fronteira desse conjunto elas estao, de certa maneira,
pr oximas uma da outra.
Teorema 3.2.2 Seja um caminho simples e fechado, f e g duas fun coes analticas em
I() e tais que |f(z)| > |f(z) g(z)| sobre

. Ent ao f e g tem o mesmo n umero de zeros

em I().
Note-se que o n umero de zeros deve ser nito porque I() e um conjunto compacto.
Caso contr ario, pelo teorema da unicidade 1.8.2, f e g seriam identicamente nulas.
Dem.: As funcoes f e g nao tem zeros sobre

, ou seja, por hip otese em

, temos,

g(z)
f(z)
1

< 1.
Seja h =
f
g
. Entao, h(

) D
1
(1) e, portanto, considerando o caminho h , obtemos
_

(z)
h(z)
dz =
_
h
1
z
dz = Ind
h
(0) = 0.
Por outro lado,
h

(z)
h(z)
=
g

(z)
g(z)

f

(z)
f(z)
.
Assim, pelo teorema anterior, ca provado o pretendido.
Exemplo 3.2.1 1. Seja h uma funcao analtica em D
1
(0) e tal que |h(z)| < 1 para
|z| = 1. Entao a equa cao h(z) = z tem apenas uma solucao em D
1
(0).
40 CAP

ITULO 3. RES

IDUOS E APLICAC

OES
De facto, considerando

= {z : |z| = 1, }
f(z) = z,
g(z) = z h(z),
temos,
|f(z) g(z)| = |h(z)| < 1 = |z| = |f(z)|.
Pelo teorema de Rouche conclumos que g e f tem o mesmo n umero de zeros.
2. Dado um polin omio p de grau n dado por p(z) = a
0
+ a
1
z + + a
n
z
n
com a
n
= 0,
seja f(z) = a
n
z
n
e g(z) = p(z). Entao
|f(z) g(z)| = |a
0
+ a
1
z + + a
n1
z
n1
| (n 1)a|z|
n1
,
em que |z| > 1 e a = max{|a
0
|, , |a
n1
|}.
Seja

= {z : |z| = R} com R > max{

(n1)a
|an|
, 1, R
0
} em que R
0
e tal que os zeros do
polin omio p se encontram no disco de raio R
0
e centro na origem. Assim, temos
|f(z) g(z)| < |a
n
|R
n
= |f(z)|
o que, pelo teorema de Rouche, permite concluir que p tem n zeros em C.
3.3 Calculo de Resduos
Nesta seccao veremos algumas formas de calculo do resduo relativo a um polo que nao
envolvem a serie de Laurent (cf. [5, 1, 4, 3, 2]).
Da deni cao de resduo, ca claro que, para uma funcao f com um polo simples num
ponto a, se tem:
res(f, a) = lim
za
(z a)f(z). (3.3.1)
Suponhamos que f tem um polo de ordem m em a. Em algum disco perforado D

r
(a)
temos:
f(z) =
g(z)
(z a)
m
,
em que g e analtica e g(a) = 0. Pelas formulas integrais de Cauchy para derivadas
obtemos,
g
(m1)
(a) =
(m1)!
2i
_
(a,
r
2
)
g(z)
(z a)
m
dz
=
(m1)!
2i
_
(a,
r
2
)
f(z)dz
= (m1)! res(f, a).
3.3. C

ALCULO DE RES

IDUOS 41
Portanto,
res(f, a) =
1
(m1)!
g
(m1)
(a). (3.3.2)
Suponhamos que f(z) =
h(z)
k(z)
, em que h e k sao analticas em D
r
(a). Suponhamos
tambem que h(a) = 0, k(a) = 0 e k

(a) = 0.
Entao
res(f, a) = lim
za
h(z)
k(z)
(z a)
= lim
za
h(z)
z a
k(z) k(a)
=
h(a)
k

(a)
. (3.3.3)
Exemplo 3.3.1 1. A funcao f(z) =
1
(2z)(z
2
+4)
tem polos simples nos pontos {2, 2i, 2i}
e, portanto, por (3.3.1), temos
res(f, 2) =
1
8
res(f, 2i) =
1
4i(2 2i)
=
1 i
16
res(f, 2i) =
1
4i(2 + 2i)
=
1 + i
16
.
2. f(z) =
1
1+z
4
tem polos simples nos pontos z
k
= e
(2k+1)i
4
, k = 0, 1, 2, 3.
Considere-se h(z) = 1 e k(z) = 1 + z
4
. Entao, por (3.3.3), temos
res(f, z
k
) =
_
1
4z
3

z=z
k
=
1
4
e
(2k+1)i
4
.
3. f(z) =
e
iz
z
4
tem um polo de ordem quatro na origem. Por (3.3.2),
res(f, 0) =
1
3!
_
d
3
dz
3
e
iz

z=0
=
i
6
.
4. f(z) =
cot(z)
z
2
tem um polo de ordem tres em z = 0 e polos simples nos inteiros
n = 1, 2, . . . . Por (3.3.3) temos
res(f, n) =
_

cos(z)
z
2
cos(z)

z=n
=
1
n
2
, n = 0.
42 CAP

ITULO 3. RES

IDUOS E APLICAC

OES
Por outro lado, de (2.2.11) e numa vizinhanca da origem temos,
cot(z)
z
2
=
1
z
3


2
3z
+
Portanto
res(f, 0) =

2
3
.
3.4 Calculo de Integrais e de Series
O teorema dos resduos permite o calculo de integrais de funcoes de variavel real e de
somas de series de termos reais.
Consideremos o caminho
=
R
(R, R) + [R, R]
(ver gura 3.4.1) e seja f uma funcao complexa de variavel complexa.
Re
Im

R
R R
Figura 3.4.1: Concatenacao dos caminhos [R, R] e
R
Entao o integral de f ao longo de e dado por
_

f(z)dz =
_

R
(R,R)
f(z)dz +
_
[R,R]
f(x)dx.
Portanto, usando os teoremas de Cauchy e estimando o integral sobre a semicircun-
ferencia
R
(R, R), podemos calcular o integral de f sobre o segmento de recta [R, R],
ou seja, o integral de uma funcao de variavel real no intervalo ] R, R[.
Do mesmo modo, se considerarmos o caminho (ver gura 3.4.2)
= [R, S] + [S, S + i] + [S + i, R + i] + [R + i, R]
podemos calcular o integral de uma funcao de variavel real no intervalo ] R, S[.
Assim, sera possvel calcular integrais de algumas funcoes de variavel real em intervalos
nao limitados por passagem ao limite fazendo R, S :
3.4. C

ALCULO DE INTEGRAIS E DE S

ERIES 43
Re
Im

R S

Figura 3.4.2
lim
R
_
R
0
f(x)dx designado por integral improprio de f em ]0, [.
lim
R,S
_
S
R
f(x)dx designado por integral improprio de f em R.
Portanto, poderemos calcular integrais do tipo
_

0
f(x)dx ou
_

f(x)dx entendidos
no sentido dos integrais improprios de Riemann ou no sentido do integral de Lebesgue caso
existam. Sera tambem possvel calcular integrais de funcoes trigonometricas.
3.4.1 Integrais do tipo:
_

f(x)dx
Seja f uma funcao analtica excepto para o conjunto de polos {a
1
, a
2
, , a
N
} com parte
imagin aria positiva.
Suponhamos que existem constantes M e R tais que, para |z| > R, se tem
|f(z)|
M
|z|

, > 1. (3.4.4)
Note-se que se f =
P
Q
em que P e Q sao polin omios de grau n e m, respectivamente, e
tais que m n + 2, entao f verica a condi cao (3.4.4).
Seja r > R e consideremos o caminho (ver gura 3.4.3)
=
r
(r, r) + [r, r]
de tal forma que os polos de f se encontram todos em I().
Pelo teorema dos resduos temos
_

f(z)dz = 2i
N

i=1
res(f, a
i
).
44 CAP

ITULO 3. RES

IDUOS E APLICAC

OES
Re
Im

r r
Figura 3.4.3
Por um lado,
_

f(z)dz =
_
r
r
f(x)dx +
_

0
f(re
it
)ire
it
dt
e a condi cao (3.4.4) permite concluir que o integral
_

f(x)dx = lim
r
_
r
r
f(x)dx
existe.
Por outro lado temos,

_

0
f(re
it
)ire
it
dt

M
r
1
que converge para zero quando r , desde que > 1.
Portanto,
_

f(x)dx = 2i
N

i=1
res(f, a
i
).
Exemplo 3.4.1 Para calcular o integral
_

1
1 + x
4
dx
determina-se a soma dos resduos relativos aos polos da funcao f(z) =
1
1+z
4
com parte
imagin aria positiva:
res(f, e
i
4
) + res(f, e
3i
4
) =
1
4
_
e
i
4
+ e
3i
4
_
=
i
2

2
.
3.4. C

ALCULO DE INTEGRAIS E DE S

ERIES 45
Portanto,
_

1
1 + x
4
dx =

2
.
Note-se que se tem
|f(z)|
1
|R
4
1|
para z = Re
it
, ou seja, f verica a condi cao (3.4.4).
3.4.2 Integrais do tipo
_

e
iax
f(x)dx
Suponhamos que existem constantes M, R > 0 tais que, para |z| > R, se tem
|f(z)|
M
|z|
. (3.4.5)
Seja
g(z) = e
iz
f(z); > 0
e consideremos o caminho (ver gura 3.4.4)
= [r, s] + [s, s + ip] + [s + ip, r + ip] + [r + ip, r]
em que r, s, p > R e tais que os polos de f, {a
1
, a
2
, , a
N
}, se encontram em I().
Re
Im

r s
p
Figura 3.4.4
Pelo teorema dos resduos temos
_

g(z)dz = 2i
N

i=1
res(g, a
i
).
46 CAP

ITULO 3. RES

IDUOS E APLICAC

OES
Por outro lado, quando x = s; 0 < y < p temos
_
p
0
e
y
|f(s + iy)|dy
M
s
_
p
0
e
y
dy =
M(1 e
p
)
as

M
as
.
Do mesmo modo, quando x = r; 0 < y < p temos
_
p
0
e
y
|f(r + iy)|dy
M
ar
.
Finalmente, para y = 0; r < x < s
_
s
r
e
p
|f(x + ip)|dx
Me
p
(r + s)
p
que converge para zero quando p . Portanto,
_

e
ix
f(x)dx = 2i
N

i=1
res(f(z)e
iz
, a
i
).
Exemplo 3.4.2 Para mostrar que
_

0
cos(x)
x
2
+ b
2
dx =
e
b
2b
, b > 0
consideremos a funcao g(z) = e
iz
f(z) em que f(z) =
1
z
2
+b
2
.
O unico polo com parte imagin aria positiva e o ponto bi e tem-se
res(f, bi) =
e
b
2bi
.
Por outro lado, e claro que f satisfaz a condi cao (3.4.5).
Portanto,
_

0
cos(x)
x
2
+ b
2
dx = Re
_
2i
e
b
2bi
_
=
e
b
b
.
3.4. C

ALCULO DE INTEGRAIS E DE S

ERIES 47
3.4.3 Integrais trigonometricos
Seja R(x, y) uma funcao racional que nao apresenta polos sobre a circunferencia = (0, 1)
e consideremos o calculo do integral
_
2
0
R(cos(t), sen(t))dt.
Para tal consideremos a funcao
f(z) =
R
_
1
2
(z +
1
z
),
1
2i
(z
1
z
)
_
iz
.
Assim, f nao tem polos sobre e sejam {a
1
, a
2
, , a
N
} os polos de f em I(). Pelo
teorema dos resduos, temos
_

f(z)dz = 2i
N

i=1
res(f, a
i
).
Mas,
_
2
0
R(cos(t), sen(t))dt =
_
2
0
R
_
e
it
+ e
it
2
,
e
it
e
it
2i
_
ie
it
ie
it
dt
=
_
2
0
f(e
it
)ie
it
dt =
_

f(z)dz,
ou seja,
_
2
0
R(cos(t), sen(t))dt =
N

i=1
res(f, a
i
).
Exemplo 3.4.3
I =
_
2
0
dt
1 + a
2
2a cos(t)
; a > 0, a = 1
=
_

dz
iz
_
1 + a
2

2a
2
_
z +
1
z
_
=
_

dz
i[az
2
+ (1 + a
2
)z a]
=
_

idz
(z a)(az 1)
.
Os polos da funcao integranda f(z) =
i
(za)(az1)
sao z = a e z =
1
a
.
48 CAP

ITULO 3. RES

IDUOS E APLICAC

OES
Para a < 1, f tem o polo z = a em I() e o respectivo resduo e dado por
res(f, a) =
i
a
2
1
.
Para a > 1, f tem o polo z =
1
a
em I() e o respectivo resduo e dado por
res(f,
1
a
) =
i
1 a
2
.
Portanto, temos,
I =
_
2
1a
2
, se a < 1,
2
a
2
1
, se a > 1.
3.4.4 Valor principal de Cauchy
Lema 3.4.1 Suponhamos que f tem um polo simples em a e seja

o arco de circun-
ferencia de raio , centro em a e angulo . Ent ao,
lim
0
_

f(z)dz = ires(f, a). (3.4.6)

Dem.: Numa vizinhanca de a podemos escrever f na forma
f(z) =
b
z a
+ h(z)
em que h e analtica, b = res(f, a) e, portanto,
_

f(z)dz =
_

b
z a
dz +
_

h(z)dz.
Por outro lado,
_

b
z a
dz = b
_

0
+

0
ie
it
e
it
dt = ib
em que

(t) = a + e
it
,
0
t
0
+ , como mostra a gura 3.4.5.
Sendo h analtica, |f(z)| M numa vizinhanca de a e, portanto,

h(z)dz

Ml(

) = M 0,
quando 0.
3.4. C

ALCULO DE INTEGRAIS E DE S

ERIES 49
Re
Im

Figura 3.4.5
Seja f uma funcao contnua em R \ {a
1
< a
2
< < a
N
}. Se para todo > 0,
lim
0
_
_
a
1

f(x)dx +
_
a
2

a
1
+
f(x)dx + +
_

a
N
+
f(x)dx

existir, diz-se que este limite e o valor principal de Cauchy e representa-se pelo smbolo
PV.
_

f(x)dx.
Seja f uma funcao analtica excepto para um conjunto nito de polos simples {a
1
<
a
2
< < a
N
} sobre o eixo real e para um conjunto nito de polos {b
1
, . . . , b
K
} tais que
Im(b
i
) > 0. Suponhamos que uma das condi coes seguintes se verica:
i) Existem M, R > 0 tais que para |z| > R e Im(z) 0 se tem
|f(z)|
M
|z|
2
, (3.4.7)
ii) f(z) = e
iz
g(z), em que > 0 e existem M, R > 0 tais que, para |z| > R e Im(z) 0
se tem
|g(z)
N
|z|
. (3.4.8)
Seja =
r
(r, r) +
1
+ +
N
+ em que r > max {|a
i
| : i = 1, 2, . . . , N},
i
designa
a semicircunferencia

(a
i
+ , a
i
) e designa os segmentos de recta sobre o eixo real
tais que o caminho e fechado (ver gura 3.4.6).
A condi cao (3.4.7) permite concluir que
_
r(r,r)
f(z)dz 0 se r .
O Lema 3.4.1 garante que lim
0
_

j
f(z)dz = i res(f, a
j
) , j = 1, 2, . . . , N.
Portanto, temos
PV.
_

f(x)dx = 2i
K

j=1
res(f, b
j
) + i
N

j=1
res(f, a
j
). (3.4.9)
50 CAP

ITULO 3. RES

IDUOS E APLICAC

OES
Re
Im

a
j
Figura 3.4.6
Exemplo 3.4.4 Para mostrar que se tem
_

0
sen(x)
x
dx =

2
consideremos a funcao
f(z) =
e
iz
z
e o caminho
=
r
(r, r)

(, ) +
em que designa os dois segmentos de recta sobre o eixo real tais que e fechado como
mostra a gura 3.4.7.
Re
Im

r
Figura 3.4.7
3.4. C

ALCULO DE INTEGRAIS E DE S

ERIES 51
Entao, por (3.4.9), PV.
_

sen(x)
x
dx existe e tem-se
PV.
_

sen(x)
x
dx = 2
_

0
sen(x)
x
dx.
Mas,
_

f(z)dz = i res(
e
iz
z
, o) = i,
o que estabelece o que se pretendia.
3.4.5 Integrais de fun coes multivalentes
Seja f uma funcao analtica excepto num conjunto nito de polos e consideremos integrais
do tipo
_

0
f(x) log(x)dx ,
_

0
f(x)x
a1
dx,
em que a > 0.
Exemplo 3.4.5 Para calcular o integral
_

0
log(x)
1 + x
2
dx
consideramos o corte do plano complexo C

e consideramos o ramo analtico do logaritmo

dado por log(z) = log(|z|) + i em que z = |z|e
i
e < .
Assim, a funcao f(z) =
log(z)
1+z
2
e analtica em C

excepto nos polos i.

Consideremos o caminho
=
R
(R, R) + [R, ]

(, ) + [, R],
em que R > 1 (ver gura 3.4.8).
Pelo teorema dos resduos temos,
_

f(z)dz = 2i res(f, i) = 2i
log(i)
2i
=
1
2

2
i.
Por outro lado,

R
(R,R)
f(z)dz

_

0

log(R) + i
1 + R
2
e
2i
iRe
i

_

0
(log(R) + )R
R
2
1
d.
52 CAP

ITULO 3. RES

IDUOS E APLICAC

OES
Re
Im

R
Figura 3.4.8
Do mesmo modo,

_
(,)
f(z)dz

_

0
(| log()| + )
1
2
d.
Fazendo R e 0, obtemos,
2
_

0
log(x)
1 + x
2
dx + i
_

0
1
1 + x
2
=
1
2

2
i.
Igualando as partes reais obtemos,
_

0
log(x)
1 + x
2
dx = 0.
3.4.6 Soma de series
Consideremos a funcao
f(z) =
cot(z)
z
2
que e analtica excepto para os polos simples n = 1, 2, . . . com resduo
1
n
2
e para o polo
de ordem tres na origem com resduo

2
3
. Consideremos o caminho
N
que consiste da
concatena cao das arestas do quadrado S
N
com vertices em (1 i)(N +
1
2
) (ver gura
3.4.9). Note-se que os lados verticais nao contem polos de f.
3.4. C

ALCULO DE INTEGRAIS E DE S

ERIES 53
Re
Im

N
S
N
N +
1
2
Figura 3.4.9
Pelo teorema dos resduos temos
_

N
f(z)dz = 2i
_
2
N

n=1
1
n
2


2
3
_
.
Por outro lado,

N
f(z)dz

sup
zS
N

cot(z)
z
2

l(
N
)
sup
zS
N
| cot(z)|
4(2N + 1)
(N +
1
2
)
2
.
Sobre as arestas horizontais z = x i(N +
1
2
), temos
| cot(z)| =

e
i[xi(N+
1
2
)]
+ e
i[xi(N+
1
2
)]
e
i[xi(N+
1
2
)]
e
i[xi(N+
1
2
)]

e
(N+
1
2
)
+ e
(N+
1
2
)
e
(N+
1
2
)
e
(N+
1
2
)
= coth(N +
1
2
)
coth(
3
2
)
porque a funcao coth(t) e decrescente para t 0.
Sobre as arestas verticais z = (N +
1
2
) + iy, temos
| cot(z)| = | tan(iy)| = | tanh(y)| 1.
54 CAP

ITULO 3. RES

IDUOS E APLICAC

OES
Portanto, fazendo N , obtemos

N
f(z)dz

0
o que nos permite calcular a soma da serie

n=1
1
n
2
=

2
6
.
Este metodo pode ser aplicado a qualquer serie do tipo

n=1
(n), em que e uma
funcao racional, par e analtica excepto nos pontos 1, 2, . . . e para a qual existem M, R >
0 tais que |(z)|
M
|z|
2
desde que |z| > R.
Integrando a funcao f(z) = (z) cot(z) ao longo do caminho
N
e aplicando o teo-
rema dos resduos, obtemos a soma pretendida. Note-se que a funcao f tem polos simples
nos pontos n = 1, 2, . . . com resduo (n).
3.4.7 Exemplos diversos
Exemplo 3.4.6 Para calcular o integral
_

e
ax
cosh(x)
dx
em que (1 < a < 1), consideremos a funcao
f(z) = a
az
sech(z)
que tem polos simples nos pontos z =
1
2
(2n + 1)i , (n Z) e consideremos o caminho
seguinte (ver gura 3.4.10)
= [S, R] + [R, R + i] + [R + i, S + i] + [S + i, S].
Em I() a funcao f apresenta o polo z =
i
a
com resduo dado por
res(f,
i
a
) = ie
ai
2
.
Portanto, pelo teorema dos resduos temos,
_
R
S
e
ax
cosh(x)
dx +
_

0
ie
a(R+iy)
cosh(R + iy)
dy +
_
S
R
e
ai
e
ax
cosh(x + i)
dx
+
_

0
ie
a(S+iy)
cosh(S + iy)
dy = 2e
ai
2
.
3.4. C

ALCULO DE INTEGRAIS E DE S

ERIES 55
Re
Im

S
R

Figura 3.4.10
Sejam I e J o segundo e o quarto integrais respectivamente. Entao,
|I|
_

0
2e
aR
|e
(R+iy)
+ e
(R+iy)
|
dy
_

0
2e
aR
|e
R
e
R
|
dy
e, sendo a < 1, fazendo R obtemos I 0.
|J|
_

0
2e
aS
|e
S
e
S
|
dy
e sendo a > 1, fazendo S , obtemos J 0.
Portanto,
_

e
ax
cosh(x)
dx =
2e
ai
2
1 + e
ai
= sec(
ai
2
).
Exemplo 3.4.7 Para calcular o integral improprio
_

0
cos(x
2
)dx
consideremos a funcao f(z) = e
iz
2
e o caminho seguinte
= [0, R] + (R, Re
i
4
) + [Re
i
4
, 0],
como se mostra na gura 3.4.11.
Pelo teorema de Cauchy temos,
_
R
0
e
ix
2
dx +
_
4
0
e
iR
2
e
i2t
Rie
it
dt +
_
0
R
e
i(re
i
4 )
2
e
i
4
dr = 0.
56 CAP

ITULO 3. RES

IDUOS E APLICAC

OES
Re
Im

4
Figura 3.4.11
Usando a desigualdade
2

sen(t)
t
1 , (0 < t

2
)
podemos estimar o segundo integral

_
4
0
e
iR
2
e
i2t
Rie
it
dt

R
_
4
0
e
R
2
sen(2t)
dt
R
_
4
0
e
4R
2
t

dt

(1 e
R
2
)
4R
.
Fazendo R e tendo em conta que
_

0
e
x
2
dx =

2
, obtemos
_

0
e
ix
2
dx =
(1 + i)

2
_

0
e
r
2
dr =
(1 + i)

2
.
Igualando as partes reais,
_

0
cos(x
2
)dx =
_

8
.
Exemplo 3.4.8 Para calcular o integral
_

0
x
a
x + 1
dx ; (0 < a < 1)
3.4. C

ALCULO DE INTEGRAIS E DE S

ERIES 57
consideremos as funcoes
f
1
(z) =
z
a
z + 1
; |z| > 0 ,

2
< arg(z) <
3
2
,
f
2
(z) =
z
a
z + 1
; |z| > 0 ,

2
< arg(z) <
5
2
,
e os caminhos
1
e
2
como se mostram nas guras (3.4.12, 3.4.13) e em que < 1 < R.
Re
Im

1
R
Figura 3.4.12
Note-se que a funcao f
1
e analtica em I(
1
) e, portanto,
_

1
f
1
(z)dz = 0. (3.4.10)
Por sua vez, a funcao f
2
apresenta um polo simples no ponto z = 1 em I(
2
). Por
deni cao temos
f
2
(z) =
z
a
z + 1
=
exp [a Log |z| + i arg z]
z + 1
em que

2
< arg z <
5
2
.
O resduo de f
2
em z = 1 e dado por
lim
z1
(z + 1)f
2
(z) = lim
z1
z
a
= e
ai
e, portanto
_

2
f
2
(z)dz = 2i e
ai
. (3.4.11)
Dado que f
1
(z) = f
2
(z) sobre o segmento de recta no segundo quadrante temos,
58 CAP

ITULO 3. RES

IDUOS E APLICAC

OES
Re
Im

2
R
1
Figura 3.4.13
_

1
f
1
(z)dz +
_

2
f
2
(z)dz =
_
R

f
1
(x)dx
_
R

f
2
(x)dx (3.4.12)
+
_

1
f
1
(z)dz +
_

2
f
2
(z)dz +
_

1
f
1
(z)dz +
_

2
f
2
(z)dz,
em que
k
e o arco de circunferencia de raio R e
k
e o arco de circunferencia de raio
que, como mostram as guras (3.4.12,3.4.13), fazem parte do caminho
k
; (k = 1, 2).
Sobre
k
; (k = 1, 2) temos
|f
k
(z)| =

z
a
z + 1

R
a
R 1
,
ou seja,

k
f
k
(z)dz

R
a
R 1
2R
e, portanto
lim
R
_

k
f
k
(z)dz = 0 (k = 1, 2). (3.4.13)
Sobre
k
temos
|f
k
(z)| =

z
a
z + 1

a
1
,
ou seja,

k
f
k
(z)dz

a
1
2
3.5. EXERC

ICIOS 59
e, portanto
lim
0
_

k
f
k
(z)dz = 0 (k = 1, 2). (3.4.14)
De (3.4.10), (3.4.11), (3.4.12), (3.4.13) e (3.4.14), obtemos
lim
R,0
__
R

f
1
(x)dx
_
R

f
2
(x)dx
_
= 2i e
ai
.
Por outro lado,
_
R

f
1
(x)dx
_
R

f
2
(x)dx =
_
R

1
x + 1
[e
a Log(x)
e
a(Log(x)+2i)
]dx
=
_
R

x
a
x + 1
(1 e
2ai
)dx,
que permite concluir
lim
R,0
_
R

x
a
x + 1
dx =
2ie
ai
1 e
2ai
e, portanto
_

0
x
a
x + 1
dx =

sen(a)
(0 < a < 1).
3.5 Exerccios
1. Calcule os resduos correspondentes aos polos da funcao f(z) =
1
(z+1)
2
(z
3
1)
.
2. Calcule o resduo em z = 0 de cada uma das funcoes seguintes:
a) cosec
2
(z),
b)
cosec(z
2
)
z
3
,
c) zcos(
1
z
).
3. Calcule o resduo em z = 1 do ramo analtico da funcao
f(z) =

z
1 z
correspondente a
(2n 1) < arg(z) < (2n + 1) ; (n Z).
60 CAP

ITULO 3. RES

IDUOS E APLICAC

OES
4. Calcule o integral
_

1
z
3
(z + 4)
dz
para os dois casos seguintes:
i)

= {z C : |z| = 2},
ii)

= {z C : |z + 2| = 3}.
5. Para

= {z C : |z| = 2}, calcule os integrais:

i)
_

tan(z)dz,
ii)
_

1
senh(2z)
dz.
6. Calcule os integrais:
a)
_
(0,8
1
1+e
z
dz,
b)
_
2
0
1
1+8 cos
2
(t)
dt,
c) lim
R
_
(0,R
)
p(z)
q(z)
dz, em que p e q sao polin omios de grau m e n, respectiva-
mente, tais que m < n 1.
7. Para

= {z C : |z| = 1}, calcule os integrais:

i)
_

e
z
z
2
dz,
ii)
_

cosec(z)
z
dz,
iii)
_

ze
1
z
.
8. Estabeleca as igualdades seguintes:
a)
_

0
x
2
x
6
+ 1
dx =

6
,
b)
_

xsen(ax)
x
4
+ 4
=

2
e
a
sen(a),
c)
_
2
0
1
5 + 4sen(t)
dt =
2
3
,
d)
_
2
0
1
1 + acos(t)
dt =
2

1 a
2
; (1 < a < 1),
3.5. EXERC

ICIOS 61
e)
_

0
sen
2n
(t)dt =
a
(a
2
1)
3
2
; (a > 1),
f)
_

0
log(x)
(x
2
+ 1)
2
dx =

4
,
g)
_

0
x

1
2
x
2
+ 1
dx =

2
.
9. Calcule o valor principal de cada um dos integrais seguintes:
a)
_

1
x
2
+ 2x + 2
dx,
b)
_

1
(x
2
+ 1)(x
2
+ 2x + 2)
dx,
c)
_

sen(x)
x
2
+ 4x + 5
dx.
10. Calcule o integral
_

0
sen
2
(x)
x
2
dx
considerando a funcao
f(z) =
1 e
i2z
z
2
e o caminho

R
(R, R) + [R, ] +

(, ) + [, R].
11. Mostre que se tem
_

0
1
x
3
+ 1
dx =
2
3

3
,
usando o teorema dos resduos e o caminho

R
(R, Re
i
2
3
) + [Re
i
2
3
, 0] + [0, R].
12. Seja f uma funcao analtica excepto nos polos 1 e 1 de ordem dois com resduos
a e b, respectivamente. Alem disso existem M, R > 0 tais que |z
2
f(z)| M para
|z| > R. Prove que a + b = 0.
13. Prove que a equa cao z
5
+15z +1 = 0 tem precisamente quatro solucoes no conjunto
{z :
3
2
< |z| < 2}.
14. Prove que, para n = 3, 4, 5, . . . , o polin omio z
n
+ nZ 1 tem n zeros no interior do
crculo de centro na origem e raio 1 +
_
2
n1
.
62 CAP

ITULO 3. RES

IDUOS E APLICAC

OES
Bibliograa
[1] L. Ahlfors. Complex Analysis. McGraw Hill, 3rd. ed., 1979.
[2] J. Bak and D.J. Newman. Complex Analysis. Springer Verlag, 2nd. ed., 1996.
[3] R.V. Churchill, J.W. Brown, and R.F. Verhey. Complex Variables and Applications.
International Student Edition, 3rd. ed., 1974.
[4] T. Needham. Visual Complex Analysis. Clarendon Press, 1997.
[5] H.A. Priestley. Introduction to Complex Analysis. Oxford Univ. Press, 1990.
[6] W. Rudin. Real and Complex Analysis. McGraw Hill, 3rd. ed., 1987.
63