Você está na página 1de 32

Introducao a` Analise Complexa

Joao Palhoto Matos


10 de Setembro de 2002

INDICE

Indice

Indice

1 Introdu
c
ao

2 An
alise Complexa
2.1 Estrutura algebrica . . . . . . . . . . . . . . . . . .
2.2 Diferenciabilidade . . . . . . . . . . . . . . . . . . .
2.3 Funco
es definidas por series de potencias . . . . . .
2.4 Integraca
o . . . . . . . . . . . . . . . . . . . . . . .
2.5 Zeros e singularidades . . . . . . . . . . . . . . . .
2.6 O teorema dos resduos . . . . . . . . . . . . . . .
2.7 Aplicaco
es ao c
alculo de certos integrais de funco
es
2.8 Series de Laurent . . . . . . . . . . . . . . . . . . .
2.9 Exerccios suplementares . . . . . . . . . . . . . . .
2.10 Sugest
oes para os exerccios . . . . . . . . . . . . .

. . .
. . .
. . .
. . .
. . .
. . .
reais
. . .
. . .
. . .

. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
de vari
avel real
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

7
7
8
10
11
17
20
21
25
27
28

Bibliografia

31

Indice remissivo

32

10 de Setembro de 2002

INDICE

10 de Setembro de 2002

Captulo 1

Introduc
ao
Este texto e uma introduca
o r
apida a
` An
alise Complexa para quem conhece An
alise Real ao nvel
dos dois primeiros anos de uma licenciatura do IST. Procurei evitar explicitamente demonstraca
o
de resultados que s
ao totalmente an
alogos aos de An
alise Real, como o teorema sobre raio de
convergencia de series de potencias, e tenta-se dar enfase aos resultados que s
ao inesperados do
ponto de vista de quem conhece An
alise Real, como diferenciabilidade implicar analiticidade. O
texto est
a em elaboraca
o e est
a sujeito a todo o tipo de mutaco
es s
ubitas, erros, etc.
Confesso que as minhas introduco
es favoritas a
` An
alise Complexa s
ao [4] e o u
ltimo captulo
de [2]. O primeiro e obviamente sofisticada demais para o nvel a que estas notas est
ao escritas.
Um outro texto cl
assico e [1].
Resumidamente alguns das caractersticas desta nota s
ao:
curta.
E
Sup
oe que o leitor n
ao sofre de amnesia relativamente a An
alise Real elementar.
Limites envolvendo integrais s
ao tratados usando o teorema da convergencia dominada ou
estimativas elementares.
N
ao contem ramos de funco
es.
Todos os logaritmos e razes quadradas tem os mesmos direitos.
Contem uma demonstraca
o do teorema de Cauchy-Goursat.
Demonstra o que e difcil e n
ao o que e trivial.
Holomorfia implicar analiticidade e um teorema.
A menos de correcca
o de gralhas o texto ficou essencialmente completo em 18 de Junho de 2000.
Vers
oes posteriores s
o estar
ao disponveis como parte de um texto que estou elaborar juntamente
com o Diogo Gomes e o Jo
ao Paulo Santos.
Para comunicar gralhas matem
aticas, lingusticas ou tipogr
aficas ao autor use email para
jmatos@math.ist.utl.pt. Se o texto estiver ainda em fase preparat
oria e de facto tiver encontrado
um erro a correcca
o ser
a incorporada na vers
ao seguinte disponvel em
http://www.math.ist.utl.pt/~jmatos/AMIV/iac.pdf. Caso o texto seja publicado em papel
a errata estar
a disponvel em http://www.math.ist.utl.pt/~jmatos/AMIV/errata-iac.pdf.
IST, 10 de Setembro de 2002,
Jo
ao Palhoto Matos

10 de Setembro de 2002


CAPITULO 1. INTRODUC
AO

10 de Setembro de 2002

Captulo 2

An
alise Complexa
A An
alise Complexa tem como objecto de estudo as funco
es complexas de vari
avel complexa que
satisfazem no interior do seu domnio uma definica
o de diferenciabilidade. Em que medida e que
isto difere da An
alise Real de funco
es de R2 em R2 ? A diferenca vai-se dever a
`s aplicaco
es lineares
de C em C (multiplicaca
o por um complexo fixo) corresponderem da maneira natural a aplicaco
es
lineares de R2 em R2 muito
espec
ficas:
aquelas
que
podem
ser
representadas
por
matrizes
reais

a b
isto que vai provocar uma extraordin
com a, b R. E
aria diferenca
2 2 da forma b
a
qualitativa entre os dois assuntos. De resto as noco
es topol
ogicas (limite, aberto, continuidade)
em C s
ao exactamente as mesmas de R2 . De certa forma falarmos de R2 ou de C n
ao e falarmos
de conjuntos distintos mas de estruturas algebricas distintas sobre o mesmo conjunto de pares
ordenados de n
umeros reais.

2.1

Estrutura alg
ebrica

Para construir C, o corpo dos complexos, comecamos por considerar R 2 com a estrutura usual de
espaco vectorial real a
` qual juntamos um produto atraves de
(a, b)(c, d) = (ac bd, ad + bc).
O conceito de potencia inteira positiva de um complexo introduz-se da maneira habitual. Facilmente se verifica que restringindo a soma e o produto a {(a, 0) : a R} obtemos uma c
opia
de R com a soma e o produto usuais. Para a R convencionamos escrever a em vez de (a, 0) e
identificamos este conjunto com R daqui por diante. Alem disso convencionamos designar por i
o complexo (0, 1) que satisfaz i2 = 1. Isto permite introduzir a notaca
o a + bi em vez de (a, b),
com a, b R, para os elementos de C. Designaremos a por parte real de a + bi e b por coeficiente
da parte imagin
aria com notaca
o a = Re(a + bi), b = Im(a + bi).
O elemento neutro para o produto em C e 1 e o 0 e o elemento absorvente, isto e, 1z = z1 = z,
0z = z0 = 0 para todo o z C. Alem disso, dado z C\{0}, existe um inverso u
nico w C tal que
a
b
zw = wz = 1. Um c
alculo r
apido mostra que se a = Re(z), b = Im(z) ent
ao w = a2 +b
2 a2 +b2 i.
1
Usamos a notaca
o z para o inverso de um complexo n
ao nulo e definimos potencias de expoente
inteiro qualquer da forma habitual. Notamos que podamos ter escrito z 1 = |z|z 2 em que z e o

conjugado de z definido por a + bi = a bi e |z| e o m


odulo de z definido por |a + bi| = a2 + b2 .
A interpretaca
o geometrica de C e das operaco
es nele introduzidas, nomeadamente o produto e
os conceitos de m
odulo e conjugado revelar-se-
ao extremamente importantes. Assim a conjugaca
o
corresponde a uma reflex
ao relativamente ao eixo real, o m
odulo correponde a
` norma euclideana
em R2 (a dist
ancia a
` origem), o produto por um complexo de m
odulo 1 corresponde a uma rotaca
o,
o produto por real positivo a uma homotetia, o produto por 1 a uma simetria em relaca
o a 0,
um produto por i a uma rotaca
o de /2,. . . Para reinterpretar o produto complexo em termos de
7

10 de Setembro de 2002


CAPITULO 2. ANALISE
COMPLEXA
aplicaco
es lineares de R2 em R2 convem comparar:
(a + bi)(c + di) = ac bd + (ad + bc)i

  

a b c
ac bd
=
b a
d
ad + bc
isto e o produto por um complexo
a + bi corresponde a uma aplicaca
o linear de R 2 em R2 repre
a b
sentada por uma matriz b a .
Exerccio 2.1.1 Mostre que o produto por um complexo pode ser interpretado como uma homotetia seguida de uma rotaca
o. Exprima a homotetia e a rotaca
o tanto como produtos em C como
aplicaco
es lineares de R2 em R2 .

2.2

Diferenciabilidade

Seja z C com z = x + iy com x, y R. A aplicaca


o R2 3 (x, y) 7 x + iy C e a sua inversa
2
fornecem o metodo can
onico de identificar R com C e vice-versa. Um subconjunto de C dir-se-
a
aberto, fechado, conexo, compacto,. . . , se tal for verdade para o conjunto correspondente de R 2 .
Algo an
alogo passa-se para aplicaco
es contnuas com domnio em C e com valores em R ou C, a
noca
o de convergencia de uma sucess
ao, a noca
o de limite de uma sucess
ao ou funca
o, soma de
2
` noca
uma serie, etc. A
o de norma euclidiana de um
a vimos a de
p vector de R corresponde como j
o contnua de
m
odulo de um complexo, isto e, |z| = |x + iy| = x2 + y 2 = k(x, y)k. Uma aplicaca
um intervalo de R com valores em C designar-se-
a ainda por caminho. A primeira noca
o que, de
facto, escapa a esta analogia e, como j
a se disse,
Defini
c
ao 2.2.1 Seja C um aberto, z0 e f : C. Diz-se que f e diferenci
avel em z0
se existir
f (z) f (z0 )
lim
.
(2.1)
zz0
z z0

De forma an
aloga ao que acontece com funco
es reais de vari
avel real aquele limite quando existe
df
e u
nico, designamo-lo por derivada de f em z0 e abreviamo-lo por f 0 (z0 ), dz
(z0 ) ou Df (z0 ).
Problema 2.2.1 Verifique que diferenciabilidade num ponto implica continuidade.
Problema 2.2.2 Mostre que as seguintes condico
es s
ao equivalentes a (2.1):
1. Existe w C tal que f (z) = f (z0 ) + w(z z0 ) + o(|z z0 |) em que limzz0

o(|zz0 |)
|zz0 |

= 0.

2. Existe uma aplicaca


o linear : C C tal que f (z) = f (z0 ) + (z z0 ) + o(|z z0 |) em que
o(|zz0 |)
limzz0 |zz0 | = 0.
3. Escrevendo z0 = x0 + iy0 com x0 , y0 R e f (x + iy) = u(x, y) + iv(x, y) com u, v com valores
reais a aplicaca
o = (u, v) e diferenci
0 , y0 ) com derivada representada por uma
 a b  avel em (xu
v
u
matriz jacobiana J (x0 , y0 ) = b
com
a
=
a
x (x0 , y0 ) = y (x0 , y0 ), b = y (x0 , y0 ) =
v
x
(x0 , y0 ).
As condico
es obtidas no problema anterior
(

u
x
u
y

v
= y
v
= x

(2.2)

s
ao conhecidas por condico
es de Cauchy-Riemann e ser
ao fundamentais em tudo o que se segue.
A diferenciabilidade num ponto n
ao e uma propriedade que por si s
o seja particularmente
interessante. O nosso objectivo central s
ao as funco
es diferenci
aveis em abertos que dada a sua
import
ancia v
ao merecer uma designaca
o pr
opria.
10 de Setembro de 2002

2.2. DIFERENCIABILIDADE
Defini
c
ao 2.2.2 Uma funca
o f : C C com aberto diz-se holomorfa se f
or diferenci
avel
em .
Exerccio 2.2.1 Define-se a exponencial complexa via ez = ex (cos y + i sen y). Verifique que a
d
(ez ) = ez . Resolva a equaca
o ez = 1.
exponencial e holomorfa em C e que dz
Exerccio 2.2.2 Seja z = x + iy com x, y R. Define-se para x > 0
f (z) =

1
y
log(x2 + y 2 ) + i arctg .
2
x

1. Use as condico
es de Cauchy-Riemann para mostrar que f e diferenci
avel.
2. Mostre que f, a funca
o conjugada de f , n
ao e diferenci
avel.
3. Exprime f 0 (z) em termos de z.
4. Mostre que ef (z) = z para Re(z) > 0.
5. Determine o contradomnio de f .
Embora extremamente importantes as condico
es de Cauchy-Riemann nem sempre s
ao o processo mais expedito para garantir que uma funca
o e holomorfa ou calcular a sua derivada.
Exerccio 2.2.3 Verifique que as regras de derivaca
o usuais1 valem para funco
es holomorfas.
Exerccio 2.2.4 Verifique que se I R e um intervalo, C e um aberto e as funco
es g : I
e f : C s
ao diferenci
aveis ent
ao f g e diferenci
avel em I com
d
(f (g(t))) = f 0 (g(t))g 0 (t)
dt

para todo t I.

Defini
c
ao 2.2.3 Uma funca
o holomorfa em C diz-se inteira.
Exerccio 2.2.5 Verifique que as potencias inteiras s
ao funco
es holomorfas, as constantes s
ao
d
(z k ) = kz k1 para k Z, k 6= 0.
holomorfas com derivada nula e dz
Os polin
omios e a exponencial s
ao funco
es inteiras. Outros exemplos de funco
es inteiras importantes s
ao o seno (sen), coseno (cos), seno hiperb
olico (sh) e coseno hiperb
olico (ch) complexos
definidos a partir da exponencial via
sen z =

eiz eiz
,
2i

cos z =

eiz + eiz
,
2

sh z =

ez ez
,
2

ch z =

ez + ez
2

Exerccio 2.2.6 Verifique que as restrico


es ao eixo real das funco
es que acab
amos de definir
coincidem com as funco
es reais de vari
avel real do mesmo nome, que estas funco
es s
ao inteiras e
d
satisfazem as regras de derivaca
o usuais (e.g. dz
(sen z) = cos z).
Exerccio 2.2.7 Verifique que se f e uma funca
o holomorfa com derivada que n
ao se anula ent
ao
f n
ao e holomorfa.
Exerccio 2.2.8 Verifique que as linhas de nvel da parte real de uma funca
o holomorfa s
ao
ortogonais a
`s linhas de nvel do coeficiente da parte imagin
aria. Esboce tais linhas de nvel para
z 7 z 2 e z 7 ez .
1 Da

soma, produto, quociente, composica


o,. . .

10 de Setembro de 2002


CAPITULO 2. ANALISE
COMPLEXA
Alem de estabelecerem a ortogonalidade entre as linhas de nvel da parte real e do coeficiente da
parte imagin
aria de uma funca
o holomorfa as condico
es de Cauchy-Riemann estabelecem tambem
o que se ilustra no exerccio seguinte.
restrico
es muito fortes ao crescimento daquelas funco
es. E
Exerccio 2.2.9 Uma funca
o f : C C e da forma
f (x + iy) = (x2 y 2 ) + i(xy),

com x, y R,

em que e s
ao funco
es reais de vari
avel real diferenci
aveis. Mostre que se f e holomorfa e
devem ter derivadas constantes e aproveite para determinar todos os possveis f .

2.3

Funco
es definidas por s
eries de pot
encias

Um tema recorrente da An
alise Complexa ser
a a interrelaca
o entre diversos tipos de representaco
es
para funco
es holomorfas. Alguns desses tipos de representaca
o envolvem series de potencias. Os
conceitos de serie, serie de potencias, sucess
ao de somas parciais, s
ao em tudo an
alogos ao que se
conhece de An
alise Real (ver por exemplo [3]). O mesmo se passa com as definico
es e resultados
seguintes.
Defini
c
ao 2.3.1 Uma serie
convergente.

P+

k=1 zk

diz-se absolutamente convergente se a serie

P+

k=1

|zk | f
or

Proposi
c
ao 2.3.1
Uma serie absolutamente convergente e convergente.
Proposi
c
ao 2.3.2
P+
Dada uma serie de potencias k=1 ak (z z0 )k existe R [0, +] tal que para |z z0 | < R a
serie e absolutamente
convergente e divergente para |z z0 | > R.
Se R > 0 a funca
o BR (z0 ) 3
P
P+
k
0
k1
z 7 f (z) +
a
(z

z
)

e
holomorfa
com
derivada
f
(z)
=
ka
(z

z
)
sendo esta
k
0
k
0
k=1
k=1
s
e
rie
absolutamente
para
|z

z
|
<
R.
Al
e
m
disso
a
fun
c
a

o
definida
em
B
(z
)
por
z
7 G(z) =
0
R
0
P+ ak
k+1
0
(z

z
)

e
holomorfa
verificando
G
(z)
=
f
(z).
0
k=1 k+1

R na proposica
o anterior e conhecido por raio de convergencia da serie de potencias. Pode ser
calculado, tal como no caso real, via R = 1/ lim |ak |1/k ou, quando existir limk+ |ak /ak+1 |, o
u
ltimo limite fornece um processo alternativo de c
alculo do raio de convergencia. As habituais
ressalvas sobre convergencia para |z z0 | = R devem ser mencionadas: a serie poder
a divergir ou
convergir sobre cada um dos pontos desta circunferencia. Para estudar tais casos e muito u
til a
vers
ao complexa do criterio de Dirichlet.
Proposi
c
ao 2.3.3
Seja (ak )kN uma sucess
ao de termos reais positivos decrescente e com limite 0. Seja (b k )kN uma
Pk
sucess
ao complexa tal que existe M > 0 tal que | j=1 bj | < M para todo o k N. Ent
ao a serie
P+
a
b

e
convergente.
k=1 k k

Exerccio 2.3.1 Determine para que valores de R a sucess


ao (z k )kN definida por zk =
Pk
ij
e

e
j=1
1. Ilimitada.
2. Limitada.
P+
Exerccio 2.3.2 Verifique que a serie k=1 k1 z k tem raio de convergencia 1 e determine para que
valores de z com |z| = 1 e que a serie converge.
10 de Setembro de 2002

10


2.4. INTEGRAC
AO
P+ k
Exerccio 2.3.3 Define-se E(z) = k=0 zk! . Verifique que E est
a definida para todo o z C.
Verifique que E satisfaz E(z + w) = E(z)E(w) para todos os z, w C e use tal propriedade com
z = a, w = bi, a, b R, para mostrar que E(z) = ez .
Exerccio 2.3.4 Verifique que os an
alogos dos desenvolvimentos em serie do sen, cos, sh e ch s
ao
v
alidos em C.

2.4

Integrac
ao

A integraca
o ao longo de caminhos fechados em C fornece um poderosssimo metodo de an
alise
das funco
es holomorfas. Em geral podemos definir um integral de uma funca
o ao longo de um
caminho como segue:
Defini
c
ao 2.4.1 Seja I um intervalo de R e z : I R C uma funca
o cuja derivada existe em
quase todo o I. Seja L = z(I) e considere-se f : L C. Definimos o integral de f ao longo do
caminho definido2 por z como sendo
Z
Z
f (z) dz = f (z(t))z 0 (t) dt
I

sempre que o integral do segundo membro existir3 .


Esta definica
o e extremamente geral em relaca
o ao que vamos de facto considerar na maioria das
situaco
es com interesse em que f ser
a uma funca
o holomorfa definida num aberto contendo L e
z ser
a seccionalmente C 1 . Esta definica
o de integral possui muitas propriedades an
alogas ao de
integral de linha no plano. Por exemplo, se um caminho for substitudo por outro descrevendo
a mesma linha obtido por uma mudanca de vari
aveis com derivada positiva, o integral continua
com o mesmo valor e com valor simetrico se a derivada da mudanca de vari
aveis for negativa.
Podemos concatenar caminhos e adicionar integrais de maneira an
aloga, etc. Outros exemplos de
propriedades an
alogas s
ao enunciados no exerccio e no lema seguintes.
Exerccio 2.4.1 Mostre que se uma linha simples L for rectific
avel com comprimento e |f | M
sobre L ent
ao
Z



f dz M .
(2.3)


L

Lema 2.4.1 (Teorema Fundamental do C


alculo)
Seja C um aberto e f : C um funca
o contnua tal que existe G : C holomorfa tal
que G0 = f . Seja z : [a, b] um caminho seccionalmente C 1 com L = z([a, b]). Ent
ao
Z
f (z) dz = G(z(b)) G(z(a)).
L

Ideia da demonstraca
o.
Z

f (z) dz =
L

f (z(t))z (t) dt =
a

b
a

d
(G(z(t))) dt = G(z(b)) G(z(a)).
dt


2 Nesta

definica
o e em situaco
es semelhantes abusamos a notaca
o usando o mesmo smbolo para a vari
avel
independente da funca
o integranda e para o caminho.
3 Recorda-se que o integral de uma fun
ca
o complexa definida num subconjunto de R e definido integrando parte
real e parte imagin
aria da maneira natural.

11

10 de Setembro de 2002


CAPITULO 2. ANALISE
COMPLEXA
Note-se que nas mesmas condi
es o integral ao longo de um caminho fechado em ser
a 0. Isto
H co
incluir
a todos os integrais z k dz e portanto todas as funco
es polinomiais. Alem disso

Exemplo 2.4.1 Seja z um caminho fechado seccionalmente C 1 em C \ {0} definindo uma linha
C. Ent
ao, se k N com k 2,
I
1
dz = 0.
k
z
C
O exemplo anterior n
ao se pode estender ao caso k = 1 pois obtemos, com C a circunferencia
de raio 1 centrada em 0 percorrida uma vez no sentido directo, definida por z(t) = e it , t [0, 2],
I
Z 2
1
dz =
eit ieit dt = 2i.
C z
0
Note-se que tal prova que e impossvel definir uma
holomorfa em C \ {0} para 1/z.
H primitiva
1
dz = 2i em que C e uma circunferencia
O exemplo anterior estende-se facilmente a C za
parametrizada por z(t) = a + eit , t [0, 2]. Notavelmente podemos ainda estabelecer que
I
1
1
dz Z
(2.4)
2i L z a

para uma qualquer linha fechada L seccionalmente C 1 com a 6 L. A express


ao (2.4), designada
por n
umero de rotaca
o, servir-nos-
a mais a
` frente para contar o n
umero de voltas em torno de
um ponto dando o sinal a informaca
o sobre o sentido. Note que no enunciado n
ao h
a nenhuma
suposica
o sobre a linha ser simples.
Proposi
c
ao 2.4.2 (N
umero de rota
c
ao)
Seja a C e L uma linha fechada seccionalmente C 1 em C \ {a}. Ent
ao
I
1
1
dz Z.
2i L z a
Ideia da demonstraca
o. Podemos supor que L e parametrizada por z(t), t [, ]. Seja a C \ L.
Definimos
I
1
1
N (a) =
dz.
2i L z a
O nosso objectivo e provar que N tem contradomnio em Z. Notando que a exponencial complexa
toma o valor 1 se e s
o se o seu argumento e um m
ultiplo de 2i isto e equivalente a mostrar que
I

1
exp
dz = 1.
L za
R

t z 0 (s)
ou que, se definirmos (t) = exp z(s)a
ds com t [, ], temos
() = 1.

(2.5)

Para justificar (2.5) comecamos por notar que obviamente () = 1, e contnua e, com a possvel
excepca
o de um n
umero finito de pontos onde z 0 n
ao est
a definida,
z 0 (t)
0 (t)
=
.
(t)
z(t) a
(t)
(t)
verifica-se que a igualdade anterior implica que z(t)a
tem deriDiferenciando o quociente z(t)a
vada nula excepto num n
umero finito de pontos. Como tambem e contnua ter
a que ser constante.
Como () = 1 obtivemos

(t) =

z(t) a
,
z() a

para t [, ].

Como z(t) define um caminho fechado, z() = z() e portanto () = () = 1.


10 de Setembro de 2002

12


2.4. INTEGRAC
AO
Apesar daquilo que foi dito sobre a primitivaca
o de 1/z podemos obter uma primitiva em
certos4 subconjuntos de C.
Exerccio 2.4.2 Determine uma primitiva de 1/z em {z C : Im(z) 6= 0 ou Re(z) > 0} e tal
que se a designar por log z temos Im(log z) ] , [. Verifique que esta funca
o e uma inversa
da restrica
o da exponencial a {z C : Im(z) ] , [}.
O resultado central sobre integraca
o e o teorema de Cauchy que ser
a demonstrado a
` custa de
v
arios lemas que s
ao casos particulares do teorema.
Lema 2.4.3 (Teorema de Cauchy num tri
angulo)
Seja C um aberto, T um tri
angulo fechado com fronteira T descrita por um caminho
z(t) e f : C uma funca
o holomorfa. Ent
ao
I
f dz = 0.
T

Ideia da demonstraca
o. Suponha que o integral n
ao e 0 e designemo-lo por I. A demonstraca
o
baseia-se em localizar um ponto z0 no tri
angulo T em torno do qual existem caminhos (fronteiras
de tri
angulos obtidos por um esquema tipo princpio de encaixe) em torno de z 0 , com di
ametro
a tender para 0, relativamente aos quais o integral e t
ao grande quanto possvel e por outro lado
usar a diferenciabilidade em z0 para mostrar que I e arbitrariamente pequeno.
Considerem-se ent
ao os pontos medios dos lados de T (ver figura 2.1) que unidos por segmentos
de recta dividem T em 4 tri
angulos com interiores disjuntos dois a dois. Para pelo menos um desses
tri
angulos, que passamos a designar por T1 , deveremos ter

I



f dz |I|/4

T1

visto que a soma dos integrais ao longo das fronteiras dos quatro tri
angulos tomados no mesmo
sentido devem igualar o integral sobre T . Tal deve-se aos integrais sobre lados comuns a dois
tri
angulos serem tomados em sentidos opostos e portanto cancelarem-se mutuamente. Note que a
soma dos comprimentos dos lados de T1 e metade da soma dos comprimentos dos lados de T .
Aplicando a T1 o mesmo procedimento que a T pode obter-se um tri
angulo T2 contido em T1
com soma de comprimentos de lados igual 1/4 da de T e com
I




f dz |I|/16.

T2

Procedendo indutivamente obtem-se uma sucess


ao de tri
angulos fechados T T 1 T2
Tk . . . tais que a soma dos comprimentos dos lados de Tk e 2k vezes a soma dos comprimentos
dos lados de T , o seu di
ametro tende para 0 quando k e
I




|I|/4k .
f
dz
(2.6)


Tk

Existe um e um s
o ponto na intersecca
o de todos estes tri
angulos que designamos por z 0 .
Usando agora a diferenciabilidade de f em z0 , dado  > 0 existe r > 0 tal que para |z z0 | < r


f (z) f (z0 )

0

f
(z
)
0 <
z z0

ou de forma equivalente

|f (z) f (z0 ) f 0 (z0 )(z z0 )| < |z z0 |.


4 Compare

com a determinaca
o de um potencial de um campo fechado em abertos de R 2 .

13

10 de Setembro de 2002


CAPITULO 2. ANALISE
COMPLEXA

z0

PSfrag replacements

Figura 2.1: A demonstraca


o do teorema de Cauchy.

Alem disso existe k tal que Tk Br (z0 ) e, para z Tk , |z z0 | < (Tk ) = 2k (T ) em que
designa comprimento de. Podemos assim estimar
Z


Tk

Z

f (z) dz =



f (z0 ) + f (z0 )(z z0 ) + (f (z) f (z0 ) f (z0 )(z z0 )) dz
0

Tk

< |z z0 |(Tk ) < (Tk ) = 4

(2.7)

(T ) .

em que se utilizou o facto de os integrais de polin


omios ao longo de caminhos fechados serem 0 e
a estimativa (2.3). Mas ent
ao combinando (2.6) e (2.7) obtemos
|I| (T )2
o que mostra que s
o podemos ter I = 0.

Antes de prosseguir convem observar porque e que o an


alogo deste teorema para integrais de
linha de funco
es diferenci
aveis de R2 em R2 n
ao e verdadeiro. A raz
ao e simplesmente o integral
de linha de um campo linear de R2 em R2 ao longo de um caminho fechado regular n
ao ser
necessariamente 0. Uma condica
o necess
aria esuficiente
para
isso
acontecer

e
esse
campo
linear

ser fechado ou seja definido por uma matriz ab b
ou,
em
linguagem
de
fun
c
o

es
de
C
em
C,
a
verificar as condico
es de Cauchy-Riemann.
Lema 2.4.4 (Teorema de Cauchy (exist
encia de primitiva) em conjuntos convexos)
Seja C um convexo aberto e f : C uma funca
o holomorfa. Ent
ao existe
H G:C
holomorfa em e tal que G0 = f . (Consequentemente, de acordo com 2.4.1, obtemos L f (z) dz = 0
para uma qualquer linha fechada L seccionalmente C 1 em .)
10 de Setembro de 2002

14


2.4. INTEGRAC
AO
Ideia da demonstraca
o. Seja w0 . Convencionamos que o segmento de recta unindo w a z e
designado por L(w, z). Constr
oi-se um candidato a primitiva considerando
Z
f (z) dz.
G(z) =
L(w0 ,z)

Resta mostrar que G e diferenci


avel com G0 = f . Para isso precisamos de estimar


G(z) G(z0 )


f (z0 ) .
(z z0 )

Considerando o tri
angulo com vertices w0 , z0 , z e usando o lema 2.4.3 verificamos que
Z
G(z) G(z0 ) =
f (z) dz
L(z0 ,z)

o que permite

R


L(z0 ,z) f (z) f (z0 ) dz
ax |f (w) f (z0 )|.
=
m
wL(z0 ,z)

z z0

A continuidade de f em z0 permite obter a conclus


ao desejada.

Exerccio 2.4.3 Curiosamente os dois lemas anteriores s


ao ainda v
alidos se substituirmos a hip
otese de holomorfia de f em pela hip
otese de holomorfia em excepto possivelmente num ponto
em que exigimos continuidade de f . Demontre esta afirmaca
o. Ir
a ser usada na demontraca
o da
f
ormula integral de Cauchy5 .
Lema 2.4.5 (Primeira vers
ao da f
ormula integral de Cauchy.)
Seja C um aberto convexo, f : C uma funca
o holomorfa e L uma linha fechada
seccionalmente C 1 em . Seja z \ L. Ent
ao
Z

f (w)
dw = f (z)
wz

1
dw = f (z)2iNL (z).
wz

em que NL (z) designa o n


umero de rotaca
o de z relativamente a L.
Ideia da demonstraca
o. Aplique o lema 2.4.4 com a formulaca
o obtida no exerccio 2.4.3 a g :
C definida por
(
f (w)f (z)
, se w 6= z,
wz
g(z) =
f 0 (z),
se w = z.

A vers
ao anterior da f
ormula integral de Cauchy vai ser suficiente para obter rapidamente
algumas propriedades not
aveis das funco
es holomorfas do ponto de vista de regularidade. Para
isso basta considerar o caso em que L C(a, r), uma circunferencia centrada em a Rpercorrida
1
1
uma vez no sentido directo. Precisaremos de calcular o n
umero de rotaca
o N L (z) = 2i
L wz dw
neste caso particular. No caso de z = a o c
alculo directo conduz facilmente, como j
a vimos atr
as,
a NL (a) = 1. No caso geral, notamos que o n
umero de rotaca
o e uma funca
o contnua do seu
argumento que s
o toma valores inteiros e que a regi
ao limitada pela circunferencia e conexa. Logo
NL (z) = NL (a) = 1 para todo o z no interior do crculo. Um argumento alternativo usando o
teorema de Cauchy e descrito no exerccio seguinte.
5 . . . e em mais lado nenhum pois ser
a uma consequencia de resultados posteriores que tais funco
es s
ao holomorfas
em .

15

10 de Setembro de 2002


CAPITULO 2. ANALISE
COMPLEXA
Exerccio 2.4.4 Seja a C, r > 0, e C(a, r) a circunferencia de raio r centrada em a e percorrida
uma vez no sentido directo, isto e, C(a, r) e definida pelo caminho z(t) = a + re it , t [0, 2]. Seja
z B(a, r). Seja  < r |z a| e considere C(z, ) com o significado o
bvio e tres segmentos de
recta unindo C(z, ) a C(a, r) como sugerido na figura 4, por exemplo radiais relativamente a a
nas direcco
es definidas por 1, e2i/3 e e2i/3 .
H
1
dw = 2i.
1. Verifique que C(z,) wz
2. Utilize o teorema de Cauchy e tres linhas fechadas simples definidas pelas fronteiras de cada
umaHdas regi
oes conexas
ficou dividida a coroa entre os dois crculos para mostrar
H em que
1
1
que C(a,r) wz
dw = C(z,) wz
dw = 2i.
w

z
a

PSfrag replacements

Figura 2.2: Esta figura acompanha o exerccio 2.4.4.

Lema 2.4.6 (Segunda vers


ao da f
ormula integral de Cauchy)
Seja C um aberto e considere-se a tal que Br (a) . Seja f : C uma funca
o
holomorfa. Ent
ao, designando por C(a, r) a circunferencia de raio r centrada em a percorrida no
sentido directo definida atr
as,
I
f (w)
dw = 2if (z), para todo o z Br (a).
(2.8)
w
z
C(a,r)
Alem disso, f e analtica verificando
f (k) (z) =
para todo o k N0 e

k!
2i

+ I

1 X
f (z) =
2i
k=0

f (w)
dz
(w z)k+1

(2.9)

f (w)
dz (z a)k
(w z)k+1

(2.10)

C(a,r)

C(a,r)

para todo o z Br (a). Adicionalmente f e represent


avel pela sua serie de Taylor relativa a a em
Br (a), isto e,
+ (k)
X
f (a)
(z a)k ,
f (z) =
k!
k=0

para todo o z Br (a).


10 de Setembro de 2002

16

2.5. ZEROS E SINGULARIDADES


Ideia da demonstraca
o. A igualdade (2.8) resulta de forma imediata dos resultados anteriores. O
facto de se verificar permite usar resultados sobre derivaca
o de integrais parametricos tipo regra
de Leibniz para obter (2.9) 6 . Finalmente para obter (2.10) usa-se a soma da serie geometrica para
estabelecer a identidade
k
+ 
1
1
1 X wa
1
1
,
(2.11)
=
=
=
zw
(z a) (w a)
z a 1 wa
za
za
za
k=0

v
alida se |w a| < |z a|, substitui-se em (2.4.6) e justifica-se a troca da serie com o integral
usando, por exemplo, a vers
ao do teorema da convergencia dominada para series.

Uma propriedade not
avel da serie de Taylor de uma funca
o holomorfa incluida no enunciado
do resultado anterior, e que pode passar despercebida em primeira leitura, e o raio de convergencia
da serie de Taylor centrada num ponto do domnio ser a dist
ancia ao conjunto das singularidades
n
ao removveis da funca
o7 . Isto contrasta com o que e conhecido para funco
es reais de vari
avel
real.
1
Exerccio 2.4.5 Considere R 3 x 7 1+x
encia da serie de Taylor
2 . Obtenha o raio de converg
desta funca
o em 0 usando o lema 2.4.6.

As vers
oes do teorema de Cauchy que obtivemos ate agora, que tem um car
acter algo restritivo
no que diz respeito a
` topologia do domnio de holomorfia ou da linha fechada que consideramos,
implicam regularidade adicional das funco
es holomorfas. Tal permite obter vers
oes mais gerais do
teorema de Cauchy em que levantamos tanto quanto possvel essas restrico
es topol
ogicas a
` custa
de vers
oes j
a conhecidas do teorema de Green em An
alise Real.
Teorema 2.4.7 (Teorema de Cauchy)
Seja C um aberto simplesmente conexo, f : C uma funca
o holomorfa e L uma linha
fechada seccionalmente C 1 em . Ent
ao
I
f (z) dz = 0.
L

Exerccio 2.4.6 Demostre a vers


ao anterior do teorema de Cauchy usando o teorema de Green
e o facto das funco
es holomorfas serem analticas.
O facto da derivada de uma funca
o holomorfa ser holomorfa, juntamente com a demonstraca
o
do lema 2.4.3 s
o depender do integral ao longo de fronteiras de tri
angulos ser 0 e da continuidade
de f , permite estabelecer que uma tal funca
o tem uma primitiva holomorfa e portanto que ela
pr
opria e holomorfa. Isto constitui um recproco do teorema de Cauchy que se pode enunciar
formalmente como segue.
Teorema 2.4.8 (Morera)
H
Seja C um aberto e f : C uma funca
o contnua satisfazendo T f (z) dz = 0 para todo
ao f e holomorfa em .
o tri
angulo T tal que T . Ent

2.5

Zeros e singularidades

Ao estabelecermos que uma funca


o holomorfa e analtica, ficamos com um instrumento precioso
para estudar propriedades destas funco
es. Em particular no que diz respeito a zeros e singularidades isoladas. Comecamos por definir precisamente singularidade e singularidade removvel .
6 Alternativamente

(2.9) pode obter-se de (2.10).


ponto a no fecho do domnio de uma funca
o complexa de vari
avel complexa diz-se uma singularidade n
ao
removvel da funca
o se n
ao existir uma outra funca
o que na intersecca
o dos domnios de ambas s
o difere da primeira
em a e e holomorfa numa vizinhanca de a.
7 Um

17

10 de Setembro de 2002


CAPITULO 2. ANALISE
COMPLEXA
Defini
c
ao 2.5.1 Dizemos que uma funca
o holomorfa tem uma singularidade num ponto a do fecho
do seu domnio se n
ao existir uma funca
o holomorfa numa vizinhanca de a que na intersecca
o dos
domnios das duas funco
es e de uma vizinhanca de a coincida com a funca
o original.
A definica
o de singularidade permite algumas situaco
es muito pouco interessantes. A definica
o
seguinte encarrega-se de excluir esses casos.
Defini
c
ao 2.5.2 Dizemos que uma singularidade num ponto a do fecho do domnio duma funca
o e
removvel se existir uma funca
o holomorfa numa vizinhanca de a que, na intersecca
o dos domnios
das duas funco
es, s
o difere da funca
o quando muito no ponto a.
Uma classe importante de singularidades e a das singularidades isoladas.
Defini
c
ao 2.5.3 Dizemos que uma funca
o holomorfa tem uma singularidade isolada num ponto
a do fecho do seu domnio se for holomorfa em Br (a) \ {a} para algum r > 0 e ou n
ao estiver
definida em a ou n
ao for diferenci
avel em a. A singularidade isolada e removvel se for possvel
definir ou redefinir f em a de modo a que a nova funca
o seja holomorfa numa vizinhanca de a.
Exerccio 2.5.1 Verifique que os conceitos de singularidade removvel para singularidades isoladas referidos nas definico
es 2.5.2 e 2.5.3 coincidem.
Exerccio 2.5.2 Verifique que z 7 1/ sen(1/z) define uma funca
o com uma singularidade n
ao
isolada e n
ao removvel na origem.
Exerccio 2.5.3 Verifique que z 7 (ez 1)/z tem uma singularidade isolada removvel na origem.
Nesta secca
o estamos essencialmente interessados nas propriedades dos zeros e singularidades
isoladas das funco
es holomorfas.
Proposi
c
ao 2.5.1
Seja C um aberto conexo, f : C uma funca
o holomorfa. Ent
ao ou f 0 ou todos os
zeros de f s
ao pontos isolados.
Ideia da demonstraca
o. Seja Z o conjunto dos zeros de f em . Seja z Z
. Existe r > 0
P+
tal que f e represent
avel por uma serie de potencias em Br (z), isto e f (w) = k=0 ck (w z)k em
Br (z). Se todos os coeficientes fossem nulos z int Z, o que contradiria z Z. Portanto existir
a
um k N mnimo tal que ck 6= 0. Designemo-lo por k0 . Ent
ao, em Br (z),
f (w) = (w z)k0

+
X

k=k0

ck (w z)kk0 .

P+
kk0
A continuidade da funca
o w 7
garante que z e um ponto isolado de Z.
k=k0 ck (w z)
Assim o fecho do interior de Z tem que coincidir com o interior de Z. Como e conexo isto s
o
pode ocorrer se int Z = (todos os zeros s
ao pontos isolados) ou se int Z = (f 0).

Corol
ario 2.5.2
Suponha-se que duas funco
es holomorfas num aberto conexo coincidem num subconjunto de
que tem um ponto de acumulaca
o em . Ent
ao as duas funco
es s
ao iguais em .
Ideia da demonstraca
o. Aplique-se o resultado anterior a
` diferenca das duas funco
es.

Quanto a singularidades isoladas comecamos por notar que


Proposi
c
ao 2.5.3
Suponha-se que uma funca
o holomorfa e limitada numa vizinhanca de uma singularidade isolada.
Ent
ao a singularidade e removvel.
10 de Setembro de 2002

18

2.5. ZEROS E SINGULARIDADES


Ideia da demonstraca
o. Suponha-se f uma funca
o holomorfa limitada numa vizinhanca de uma
singularidade removvel z. Considere-se nessa vizinhanca uma funca
o g definida por
(
(w z)2 f (w), se w 6= z,
g(w) =
0,
se w = z.
O facto de f ser limitada permite utilizar a definica
o de derivada para mostrar que a derivada de
g em z existe e e igual a 0. Logo g e holomorfa nessa vizinhanca de z com uma representaca
o por
series de potencias
+
+
X
X
g(z) =
ck (w z)k =
ck (w z)k
k=0

k=2

em que us
amos na segunda igualdade g(z) = g (z) = 0 para garantir c0 = c1 = 0. Mas ent
ao
temos, para w 6= z,
+
X
g(w)
f (w) =
=
ck (w z)k2
(w z)2
k=2

Logo podemos remover a singularidade de f definindo ou redefinindo esta funca


o em z, via
f (z) = c2 .

O resultado seguinte classifica os diversos tipos de singularidades isoladas. Nele usamos o
termo p
olo para designar uma singularidade isolada a de f que e uma singularidade removvel
para (z a)m f (z) para algum m N. O menor m nesta definica
o e a ordem do p
olo.
Proposi
c
ao 2.5.4 (Classifica
c
ao de singularidades isoladas)
ao ocorre uma das
Suponha-se que f : C C tem uma singularidade isolada em a . Ent
seguintes situaco
es:
i) a e uma singularidade removvel;
ii) a e um p
olo de f ;
iii) para qualquer r > 0 e qualquer w C existe uma sucess
ao (zk )kN Br (a) \ {a} tal que
f (zk ) w quando k +.
Ideia da demonstraca
o. Considere que n
ao ocorre (iii). Ent
ao existem w C, r > 0 e > 0 tais
que |f (z) w| > para todo o z Br (a) \ {a}. Define-se uma funca
o g : Br (a) \ {a} C via
g(z) =

1
.
f (z) w

Temos |g(z)| < 1/ pelo que, usando a proposica


o 2.5.3 a e uma singularidade removvel de g. Prolonguemos g a a de maneira a ser holomorfa em Br (a) e continuemos a designar o prolongamento
por g.
Se tivermos g(a) 6= 0 ent
ao a igualdade
f (z) =

1
+ w,
g(z)

para z Br (a) \ {a},

mostra que f tem uma singularidade removvel em a e portanto verifica-se (i).


Se tivermos g(a) = 0 o desenvolvimento de Taylor de g em torno de a permite escrever g(z) =
(z a)m g1 (z) com g1 holomorfa em Br (a) e g1 (a) 6= 0. Ent
ao
f (z) =

1
1
1
+w =
+ w,
g(z)
(z a)m g1 (z)

e portanto a e um p
olo de ordem m de f verificando-se (ii).
19

para z Br (a) \ {a},



10 de Setembro de 2002


CAPITULO 2. ANALISE
COMPLEXA
No caso (iii) dizemos que f tem uma singularidade essencial em a.
Exerccio 2.5.4 Classifique a singularidade em 0 das funco
es definidas por:
1.

sen z
z .

2.

sen z
z2 .

3. sen
4.

1
z

1
sen z .

2.6

O teorema dos resduos

Defini
c
ao 2.6.1 Dizemos que uma funca
o complexa de vari
avel complexa e meromorfa num
aberto C se existir A tal que f e holomorfa em \ A, cada ponto de A e um p
olo
de f e A n
ao tem pontos de acumulaca
o em .
Para cada a A na definica
o anterior podemos escrever, com k N a ordem do p
olo e para z
numa vizinhanca suficientemente pequena de a,
f (z) =

+
X

l=k

cl (z a)l =

1
X

l=k

cl (z a)l +

+
X
l=0

cl (z a)l .

`
Note-se que no u
ltimo membro desta igualdade a segunda parcela e uma funca
o holomorfa. A
primeira parcela do u
ltimo membro chamaremos parte principal de f em a. Ao coeficiente c 1
chamaremos resduo de f em a, abreviadamente Resf (a) ou Res(f ; a). Convencionamos tambem
dizer que o resduo e 0 em singularidades removveis e pontos onde a funca
o e diferenci
avel.
A seguinte vers
ao do teorema dos resduos para funco
es meromorfas ser
a suficiente para a
maioria das aplicaco
es que temos em mente. Mais a
` frente estende-lo-emos a situaco
es em que
algumas das singularidades s
ao essenciais e apresentaremos uma vers
ao envolvendo a noca
o de
n
umero de rotaca
o.
Teorema 2.6.1 (Teorema dos resduos para fun
co
es meromorfas)
Seja C um aberto, f uma funca
o meromorfa em , A o conjunto dos p
olos de f , L uma linha
fechada seccionalmente C 1 em \ A limitando uma regi
ao contida8 em e designemos por AL o
conjunto dos p
olos de f na regi
ao limitada por L. Suponha-se que, para um p
olo a A L de f , L e
homot
opica em \ {a} a uma circunferencia C descrita por z(t) = a + e it em que < dist(a, ).
Ent
ao
Z
X
f (z) dz = 2i
Resf (a).
L

aAL

Ideia da demonstraca
o. O n
umero de p
olos na regi
ao limitada por L tem que ser finito (porqu
Ppe?).
Designemos esses p
olos por a1 , a2 , . . . , ap . Seja Pk a parte principal de f em ak . Ent
ao f 1 Pk
e uma funca
o holomorfa numa vizinhanca da regi
ao limitada por L. Ent
ao o teorema de Cauchy
garante que
I
I X
p
p
X
Resf (ak ).
Pk (z) dz = 2i
f (z) dz =
L

L k=1

k=1

Note que a hip


otese garante que o caminho descrevendo L e homot
opico a uma circunferencia de
raio suficientemente pequeno centrada em cada um dos ak s percorrida uma vez no sentido directo
(porque?).

8 Algo

que ser
a automaticamente satisfeito se f
or simplesmente conexo.

10 de Setembro de 2002

20

2.7. APLICAC
OES
AO CALCULO
DE CERTOS INTEGRAIS DE FUNC
OES
REAIS DE

VARIAVEL
REAL
Note que esta vers
ao do teorema dos resduos contem como casos particulares o teorema de Cauchy
e a f
ormula integral de Cauchy. A import
ancia e popularidade do teorema dos resduos como
ferrramenta de An
alise Complexa resulta em grande medida da conex
ao que estabelece entre a
representaca
o de funco
es via series e integrais.
Para vermos algumas aplicaco
es b
asicas do teorema dos resduos convem fazermos algumas
observaco
es simples sobre como calcular resduos. Por exemplo se a e um p
olo de primeira ordem
de uma funca
o meromorfa f ent
ao
lim (z a)f (z) = lim (z a)

za

za

+
X

k=1

ck (z a)k = lim

za

+
X

k=1

ck (z a)k+1 = c1 = Resf (a).

De forma an
aloga se a e um p
olo de segunda ordem
lim

za


d
(z a)2 f (z) = Resf (a).
dz

Exerccio 2.6.1 Justifique a afirmaca


o anterior e generalize para um p
olo de ordem k para obter
que nesse caso

1
dk1
lim k1 (z a)k f (z) = Resf (a).
za
(k 1)!
dz

importante notar que muitas vezes os c


E
alculos sugeridos no exerccio anterior podem ser bem
mais trabalhosos do que recorrer a um desenvolvimento em serie de Taylor bem conhecido.

1
duo de f na origem usamos
Exemplo 2.6.1 Considere f (z) = z9 (1z
4 ) . Para determinar o res
o desenvolvimento da serie geometrica para obter

f (z) =

+
1 X 4k
z = z 9 + z 5 + z 1 + . . .
z9
k=0

pelo que a origem e um p


olo de ordem 9 e o resduo e 1.

2.7

Aplicaco
es ao c
alculo de certos integrais de funco
es reais
de vari
avel real

Entre as aplicaco
es do teorema dos resduos ou do teorema de Cauchy contam-se o c
alculo de certos
integrais ou valores principais de funco
es reais de vari
avel real a
` custa do c
alculo de integrais ao
longo de certas famlias de caminhos fechados em C para os quais o teorema dos resduos fornece
facilmente um valor. Usualmente os caminhos fechados s
ao decompostos em dois ou mais caminhos
e o resultado obtem-se por passagem ao limite relativamente a um ou mais par
ametros. H
a diversas
variantes deste raciocnio. Ilustram-se dois casos relativamente tpicos a seguir.
Exerccio 2.7.1 Seja > 0. Considere as linhas fechadas que se obtem percorrendo o segmento
de recta unindo i a i e uma das semi-circunferencias centradas em 0 e raio contidas em
cada um dos semiplanos Re(z) 0 e Re(z) 0. Designe essas linhas, percorridas uma vez no
sentido directo, por C+ e C . Para > 1 calcule
I
I
ez
ez
dz
e
dz
2
2
2
2
C (z 1)
C+ (z 1)
e utilize um desses c
alculos para obter o valor de
Z +
cos y
dy.
2 + 1)2
(y

21

10 de Setembro de 2002


CAPITULO 2. ANALISE
COMPLEXA
Exemplo 2.7.1 Para certas funco
es n
ao integr
aveis em R e no entanto interessante considerar
o chamado valor principal9 (v. p.) do integral de acordo com
Z +
Z k
v. p.
f (x) dx lim
f (x) dx.
k

Note-se que se a funca


o integr
avel no sentido de Lebesgue o valor principal coincide com o integral.
No entanto h
a funco
es n
ao integr
aveis para os quais existe valor principal. Um exemplo e a funca
o
x
x 7 sen
.
Vamos
calcular
x
Z +
sen x
dx
v. p.
x

a
` custa de integrais
Z
eiz
dz
LR z
em que LR e a linha esbocada na figura 2.3 obtida concatenando duas semi-circunferencias e dois
segmentos de recta10 . O teorema dos resduos ou o teorema de Cauchy garantem que
Im

PSfrag replacements

1/R

1/R

Re

Figura 2.3: O contorno de integraca


o no exemplo 2.7.1.

LR

eiz
dz = 0
z

pois a u
nica singularidade da funca
o integranda est
a na origem. Designemos a semi-circunferencia
de raio R por CR percorrida no sentido indicado. Parametrizemo-la por z(t) = Re it , t [0, ].
Ent
ao
Z
Z iReit
Z
e
eiz
it
dz =
Rie
dt
=
eR sen t+iR cos t i dt.
it
z
Re
CR
0
0
Como |eR sen t+iR cos t i| = eR sen t e a u
ltima express
ao tende para 0 para t ]0, [, o teorema da
convergencia dominada garante que
Z
eiz
lim
dz = 0.
R + C
z
R
9 Este
10 Este

conceito ocorre naturalmente no estudo de certas transformaco


es integrais, teoria das distribuico
es,. . .
exemplo e relevante no estudo da convergencia das series de Fourier.

10 de Setembro de 2002

22

2.7. APLICAC
OES
AO CALCULO
DE CERTOS INTEGRAIS DE FUNC
OES
REAIS DE

VARIAVEL
REAL
Procedendo de forma an
aloga com a semi-circunferencia de raio 1/R percorrida no sentido indicado
obtemos
Z
Z ieit /R
Z
eiz
e
it
dz =
ie
/R
dt
=

e(sen t+i cos t)/R i dt.


eit /R
C1/R z
0
0
O teorema da convergencia dominada pode mais uma vez ser invocado para estabelecer
Z
eiz
dz = i.
lim
R C
z
1/R
iz

sen x
. Assim, usando a deFinalmente notamos que restringindo ez ao eixo real obtemos cos x+i
x
composica
o de LR em segmentos de recta e semi-circunferencias
1/R

Z R
cos x + i sen x
cos x + i sen x
dx +
dx =
R R
x
x
1/R
Z
Z
Z
eiz
eiz
eiz
dz
dz
dz = i.
= lim
R L
z
CR z
C1/R z
R
lim

Deixa-se ao cuidado do leitor verificar que o lado esquerdo desta igualdade iguala o valor principal
multiplicado por i.
Exemplo 2.7.2 Um outro exemplo de valor principal ocorre ao inverter a transformada de Laplace11 . Pode-se mostrar que, sob certas condico
es, a invers
ao duma transformada de Laplace F
pode ser calculada a
` custa de
Z +
1
v. p.
e(a+iv)t F (a + iv) dv
(2.12)
2

em que a, t > 0 e F e uma funca


o meromorfa com um n
umero finito de p
olos z 1 , . . . , zk , todos
contidos no semiplano definido por Re(z) < a. Vamos mostrar que 12 , sob certas condico
es relativas
ao crescimento de F ,
v. p.

e(a+iv)t F (a + iv) dv = 2

k
X

Res(et F (); zl ).

(2.13)

l=1

R
Isto ser
a feito a
` custa de considerar integrais LT AT ezt F (z) dz em que LT AT designa a linha
fechada formada
por concatenaca
o do segmento unindo aiT a a+iT e pelo arco de circunferencia

de raio a2 + T 2 centrada em 0 percorrido no sentido directo. Uma tal linha est


a esbocada na
figura 2.4.
Temos, para T suficientemente grande e usando o teorema dos resduos,
Z
Alem disso

ezt F (z) dz = 2i
LT AT

ezt F (z) dz =
LT AT

k
X

Res(et F (); zl ).

(2.14)

l=1

ezt F (z) dz +
LT

ezt F (z) dz.

(2.15)

AT

Para o primeiro dos integrais do segundo membro vale


Z
11 N
ao

ezt F (z) dz =
LT

e(a+iv)t F (a + iv)i dv

se pretende demonstrar aqui a f


ormula de invers
ao da transformada de Laplace.
a notaca
o G() para designar uma funca
o z 7 G(z).

12 Usamos

23

10 de Setembro de 2002


CAPITULO 2. ANALISE
COMPLEXA

Im

iT
AT

z1
LT

PSfrag replacements

Re

z2

iT

Figura 2.4: Invertendo a transformada de Laplace usando o teorema dos resduos.

e, se existir o limite quando T , este ser


a igual a i vezes o primeiro membro de (2.13). Para
o segundo integral em (2.15)
Z

2
a2 +T 2 ei

F(

a2 + T 2 ei )

a2 + T 2 iei d.

(2.16)



em que = 2 arcsen a2a+T 2 . O nosso objectivo ser
a atingido se mostrarmos que o integral
(2.16) tende para 0 quando T +. Isto s
o ser
a realiz
avel se de alguma forma controlarmos o
crescimento de F para . Uma hip
otese razo
avel para muitas situaco
es de interesse e supor que
existem M, R, c > 0 tais que para Re(z) a e |z| > R temos
|F (z)|

M
.
|z|c

(2.17)

Adoptando ent
ao (2.17) comecamos a estimar o integral (2.16). Como primeiro passo estimamos
a funca
o integranda
|e

a2 +T 2 ei

F ( a2 +

T 2 ei )

2
2
p
e a +T cos
a2 + T 2 iei |
.
( a2 + T 2 )c1

Alem disso decompomos o integral em integrais nos intervalos [, /2], [/2, 3/2] e [3/2, 2 ].
A an
alise do limite quando se integra entre /2 e 3/2 ser
a deixada para exerccio e o que se passa
em [3/2, 2 ] e an
alogo ao que se passa em [, /2]. Assim limitamo-nos a estimar
Z

/2

a2 +T 2 cos

a2 + T 2

10 de Setembro de 2002

c1

 2 2
p
1c 
 p
1c
a2 + T 2
a2 + T 2
e a +T cos
ea
=
.
2
2

24


2.8. SERIES
DE LAURENT
Como sen(/2 ) =
C > 0 conveniente,
Z

/2

a
a2 +T 2

e usando o facto de limu0

a2 +T 2 cos

a2 + T 2

c1

sen u
u

Caea
0
d
( a 2 + T 2 )c

= 1 podemos ainda obter, para um

quando T +.

Exerccio 2.7.2 Complete o exemplo anterior.

2.8

S
eries de Laurent

Esta secca
o apresenta extens
oes de alguns resultados j
a obtidos, nomeadamente do teorema dos
resduos. A observaca
o essencial e a possibilidade de usar series de potencias para representar
funco
es holomorfas em coroas circulares {z C : 0 r < |z a| < R}. Note que tal inclui tais
representaco
es numa vizinhanca de uma singularidade essencial e que as aspas em torno de serie
de potencias est
ao l
a para realcar o car
acter diferente dessas series em que se admitem potencias
inteiras quaisquer o que obriga a considerar dois processos de passagem ao limite.
Defini
c
ao 2.8.1 O smbolo
+
X

ck

(2.18)

k=

em que (ck )kN e uma sucess


ao complexa designa13 a soma de series
+
X
k=1

ck +

+
X

ck .

(2.19)

k=0

A serie dupla em (2.18) dir-se-


a convergente se ambas as series em (2.19) o forem e divergente
caso contr
ario.
O resultado b
asico garantindo a existencia das representaco
es em que estamos interessados
obtem-se adaptando a demonstraca
o do lema 2.4.6.
Proposi
c
ao 2.8.1 (Exist
encia da s
erie de Laurent)
Sejam 0 r < R, a C e f uma funca
o holomorfa na coroa circular Cr,R {z C : r < |z a| <
R}. Ent
ao para todo o z Cr,R vale
f (z) =

+
X

k=

ck (z a) ,

1
com ck =
2i

Bs (a)

f (w)
dw em que r < s < R.
(w a)k+1

O integral na express
ao de ck e calculado percorrendo a fronteira da bola Bs (a) uma vez no sentido
directo, isto e, usando, por exemplo, z(t) = a + seit , t [, ].
Ideia da demonstraca
o. Seja ent
ao z Cr,R . Se considerarmos o caminho sugerido14 na figura
2.5 e aplicarmos o teorema dos resduos ou a f
ormula integral de Cauchy obtemos, para r < s <
|z a| < S < R,
I
I
f (w)
f (w)
2if (z) =
dw
dw
w

z
w
z
CS
Cs
supondo na f
ormula anterior que CS e Cs s
ao percorridos uma vez no sentido directo.
13 Ao leitor que em primeira leitura duvidar da necessidade desta defini
ca
o aconselha-se a reflectir no caso c k = 1
para k 0 e ck = 1 para k < 0.
14 Os dois segmentos de recta est
ao sobrepostos, cada uma das circunferencias e percorrida uma vez, z est
a no
interior da regi
ao limitada por aquelas linhas,. . .

25

10 de Setembro de 2002


CAPITULO 2. ANALISE
COMPLEXA

CS
w

Cs

z
a

PSfrag replacements

Figura 2.5: Os caminhos na demonstraca


o da existencia da serie de Laurent.

Seguindo a demonstraca
o do lema 2.4.6 usamos (2.11) no integral relativo a CS e a identidade
similar
k
+ 
1
1 X za
1
1
1
,
=

=
=
za
zw
(z a) (w a)
w a 1 wa
wa
wa
k=0

v
alida para |w a| < |z a| no integral relativo a Cs , para obter
I
I

X
X
(w a)k
(z a)k
f (w)
2if (z) =
f
(w)
dw
+
dw.
(z a)k+1
(w a)k+1
CS
Cs
k=0

k=0

Para completar a demonstraca


o tudo o que e necess
ario e justificar a permuta dos integrais com
as series usando o teorema da convergencia dominada para series e justificar que na f
ormula que
assim se obtem a integraca
o sobre CS pode transformar-se numa integraca
o sobre Cs via teorema
de Cauchy.

Um corol
ario da existencia da serie de Laurent e uma vers
ao mais geral do
Teorema 2.8.2 (Teorema dos resduos)
Seja C um aberto, f : \A C uma funca
o holomorfa com A um conjunto de singularidades
isoladas, L uma linha fechada seccionalmente C 1 em \ A limitando uma regi
ao contida15 em
e designemos por AL o conjunto das singularidades isoladas de f na regi
ao limitada por L.
Suponha-se que, para uma singularidade isolada a AL de f , L e homot
opica em \ {a} a uma
circunferencia C descrita por z(t) = a + eit em que < dist(a, ). Ent
ao
Z
X
f (z) dz = 2i
Resf (a).
L

15 Algo

aAL

que ser
a automaticamente satisfeito se f
or simplesmente conexo.

10 de Setembro de 2002

26

2.9. EXERCICIOS SUPLEMENTARES


Exerccio 2.8.1 Demonstre a vers
ao anterior do teorema dos resduos.
de notar, tal como para a serie de Taylor, que a manipulaca
E
o algebrica de series conhecidas
em geral fornece um metodo mais eficaz de determinaca
o de um desenvolvimento em serie do que,
por exemplo, o c
alculo dos coeficientes via (2.19).
Exerccio 2.8.2 Determine os desenvolvimentos em serie de Laurent de potencias de z da funca
o
1
v
alidos nas regi
oes definidas por 0 < |z| < 1, 1 < |z| < 2 e |z| > 2.
z 7 z(z+1)(z+2i)
3

Exerccio 2.8.3 Determine


desenvolvimento em serie de Laurent relativo a 0 de z 7 z 2 e1/z .
R 2 o1/z
3
Aproveite para calcular C z e
dz em que C e definida pelo caminho z(t) = eit , t [0, 2].
Exerccio 2.8.4 Decida se existe ou n
ao uma funca
o holomorfa h : C \ {0} C com uma
singularidade essencial em 0 e tal que
(
I
0,
se j < 1,
j
z h(z) dz =
2i
se j 1.

(j+1)!

em que j Z e e uma qualquer circunferencia centrada em 0 percorrida uma vez no sentido


directo.

2.9

Exerccios suplementares

Exerccio 2.9.1 Considere a funca


o complexa de vari
avel complexa definida por
f (z) =

ez
.
1 + e2z

a) Determine e classifique as singularidades de f .


b) Sendo a curva de Jordan formada pela concatenaca
o do segmento de recta orientado T que
une 2 a 2 com a semi-circunferencia C de centro 0, raio 2, unindo 2 a 2 no semiplano
definido por Im(z) > 0, calcule os integrais
I
Z
f (z) dz,
f (z) dz.

Exerccio 2.9.2 Seja f : C C uma funca


o diferenci
avel da forma
f (z) f (x + iy) = x + x2 y 2 + x3 3xy 2 + iv(x, y)
com x, y e v reais.
a) Determine a funca
o v de maneira a f (0) = i.
b) Calcule todos os possveis valores para o integral
I
f (z)

(z 1)

dz

em que e uma curva de Jordan seccionalmente regular tal que 1


/ .
Exerccio 2.9.3 Calcule

ez
dz
(z i) sen z

em que L e a linha representada parametricamente em C por z(t) = 2 cos t + 1 + i2 sen t, com


t [0, 2].
27

10 de Setembro de 2002


CAPITULO 2. ANALISE
COMPLEXA
Exerccio 2.9.4 Considere a funca
o complexa de vari
avel complexa f definida por
f (z) =

eiz
.
z4 + 1

Aplique o teorema dos resduos a f numa famlia de linhas de Jordan em C conveniente para
calcular
Z +
cos x
dx
4
x + 1

2.10

Sugest
oes para os exerccios

2.2.2
1. A parte real e a parte imagin
aria s
ao funco
es C 1 no seu domnio. Alem disso


1
x

y
log(x2 + y 2 ) = 2
=
arctg
2
x 2
x +y
y
x
e

1
log(x2 + y 2 )
2

x2

y
y

arctg
.
=
2
+y
x
x

2. f n
ao satisfaz as equaco
es de Cauchy-Riemann.
3. Se designarmos por u a parte real da funca
o e v o coeficiente da parte imagin
aria temos
y
u
x
z
z
1
+
i
=
+
i
=
=
=
.
f 0 (x + iy) = u
x
y
x2 +y 2
x2 +y 2
|z|2
zz
z
p
4. Temos, para x > 0, ef (z) = x2 + y 2 (cos(arctg(y/x) + i sen(arctg(y/x)) = x + iy.

5. O contradomnio estar
a com certeza contido em A {(u + iv) : u R, v ] 2 , 2 [}. Para
ver que o contradomnio e A verifica-se que f (eu+iv ) = u + iv com u + iv A.
J

2.2.9 As equaco
es de Cauchy-Riemann para uma tal funca
o f reduzem-se ao sistema
(
2x0 (x2 y 2 ) = x 0 (xy),
2y0 (x2 y 2 ) = y 0 (xy).
Considerando pontos sobre a recta definida por y = x as equaco
es conduzem a 2 0 (0) = 0 (x2 )
se x 6= 0. Como x na igualdade anterior x e um qualquer n
umero n
ao nulo concluimos que a
derivada de tem que ser constante (e igual a 20 (0)) quando o seu argumento e positivo. De
forma an
aloga considerando y = x chega-se a
` conclus
ao que a derivada de tem de ser constante
quando o seu argumento e negativo. Uma tal funca
o tem de ter derivada constante por toda a
parte (caso contr
ario n
ao e diferenci
avel na origem). O mesmo argumento usando as rectas y = 0
e x = 0 conduz a
` conclus
ao que a derivada de e constante.
Assim e correspondem a produtos por n
umeros reais. Designemo-los por e respectivamente. As condico
es de Cauchy-Riemann reduzem-se agora a
(
2x = x,
2y = y.
pelo que devemos ter = 2. Assim f (z) = (x2 y 2 ) + i2xy = z 2 com z = x + iy.

2.4.3 Designe-se o ponto onde n


ao se verifica diferenciabilidade mas verifica-se continuidade por
p.
10 de Setembro de 2002

28


2.10. SUGESTOES
PARA OS EXERCICIOS
p

p
p

Figura 2.6: Esta figura acompanha a sugest


ao de soluca
o do exerccio 2.4.3.

No lema 2.4.3 nada se altera se p estiver no exterior do tri


angulo. Se p for um dos vertices
aproxime-se o tri
angulo por outros em que os dois outros vertices s
ao os mesmos e o terceiro e
interior ao tri
angulo original e tende para p. Como a igualdade e v
alida para as aproximaco
es a
continuidade em p permite mostrar que tambem e v
alida para o tri
angulo original. Se p n
ao for um
vertice mas estiver sobre um dos lados usamos p para dividir T em dois tri
angulos e aplicamos o
caso anterior para cada um destes. Se p for interior a T usamo-lo para dividir T em tres tri
angulos
e procedemos de forma identica.
No lema 2.4.4 nunca se usou directamente a holomorfia mas somente o facto dum integral ao
longo de um caminho fechado ser 0 via lema 2.4.3 e a continuidade num ponto.
J

2.7.1 As linhas C+ e C est


ao esquematizadas na figura 2.7. Usando o teorema dos resduos

Im(z)

C+

Re(z)

PSfrag replacements

Figura 2.7: As linhas C+ e C .

29

10 de Setembro de 2002


CAPITULO 2. ANALISE
COMPLEXA
obtemos
I

C+





ez
ez
d

= 0,
dz
=
2i

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




ez
ez
d

= i.
dz
=
2i

(z 2 1)2
dz (z 1)2
z=1

Como a exponencial e limitada no semiplano esquerdo (|ez = ex (cos y + i sen y)| 1 se x 0)


podemos usar o segundo (mas n
ao o primeiro) destes integrais para calcular
Z

1
i

Z
1
ez
cos y
dy
=
lim
dz
2
2
2
i + L (z 1)2
(y + 1)
!
Z
ez
i lim
dz =
+ S (z 2 1)2

cos y
dy = lim
2
+
(y + 1)2

em que S designa a semicircunferencia e L


o segmento de recta que formam C . O facto do
limite quando + do integral sobre S ser 0 decorre da funca
o integranda ser major
avel no
semi-plano esquerdo16 por 211 e S ter comprimento .
J

2.8.4 Admitindo que tal funca


o existe o respectivo desenvolvimento em serie de Laurent seria da
forma
+
X
h(z) =
ck z k .
k=

Admitindo temporariamente que podemos permutar a serie com o integral teramos


I

z j h(z) dz =

+
X

ck z j+k dz =

k=

k=

Da que o candidato a funca


o h dever
a satisfazer
(
0,
cj1 =
1

(j+1)! ,

ou seja
h(z) = 1 +

+ I
X

ck z j+k dz = 2ic1j .

se j < 1
se j 1

1
1
1
+
+
+ = e1/z .
z 2z 2
3!z 3

Esta funca
o de facto satisfaz todas as propriedades desejadas17 .

16 O racioc
nio an
alogo n
ao pode ser efectuado com C+ devido a
` exponencial n
ao ser limitada no semiplano
direito.
17 A priori n
ao poderamos afirmar que a serie de Laurent que obtemos formalmente fosse v
alida em C \ {0}.

10 de Setembro de 2002

30

BIBLIOGRAFIA

Bibliografia
[1] L. Ahlfors. Complex Analysis. McGraw-Hill, 1978.
[2] T. M. Apostol. Mathematical Analysis. Addison-Wesley, Reading, Massachusetts, 2 a edica
o,
1978.
[3] J. Campos Ferreira. Introduca
o a
` An
alise Matem
atica. Fundaca
o Calouste Gulbenkian, 4 a
edica
o, 1991.
[4] W. Rudin. Real and Complex Analysis. MacGraw Hill, New York, 1974.

31

10 de Setembro de 2002

Indice remissivo
condico
es de Cauchy-Riemann, 8
conjugado de um complexo, 7
criterio
de Dirichlet, 10
f
ormula integral de Cauchy, 15
funca
o
coseno (cos), 9
coseno hiperb
olico (ch), 9
exponencial (exp ou e ), 9
holomorfa, 9
inteira, 9
meromorfa, 20
parte principal, 20
seno (sen), 9
seno hiperb
olico (sh), 9

teorema
de Cauchy, 13
de Morera, 17
dos resduos, 20
transformada
de Laplace, 23
valor principal, 22
zero de uma funca
o holomorfa, 17

linha
fechada simples, 12
m
odulo de um complexo, 7
n
umero de rotaca
o, 12
ordem
de um p
olo, 19
p
olo, 19
produto de complexos, 7
raio de convergencia, 10
resduo, 20
serie
absolutamente convergente, 10
de Laurent, 25
de Taylor, 16
dupla, 25
singularidade, 17
essencial, 20
isolada, 17, 18
n
ao removvel, 17
removvel, 17, 18
10 de Setembro de 2002

32