Introdu c ao ` a An alise Complexa

Jo ao Palhoto Matos
10 de Setembro de 2002

INDICE

Indice

Indice 3
1 Introdu cao 5
2 Analise Complexa 7
2.1 Estrutura algebrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Diferenciabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.3 Fun c oes denidas por series de potencias . . . . . . . . . . . . . . . . . . . . . . . . 10
2.4 Integra c ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.5 Zeros e singularidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.6 O teorema dos resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.7 Aplica c oes ao c alculo de certos integrais de fun c oes reais de vari avel real . . . . . . 21
2.8 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.9 Exerccios suplementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.10 Sugest oes para os exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
Bibliograa 31

Indice remissivo 32
3 10 de Setembro de 2002

INDICE
10 de Setembro de 2002 4
Captulo 1
Introdu cao
Este texto e uma introdu c ao 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 demonstra c ao
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 elabora c ao e est a sujeito a todo o tipo de muta c oes s ubitas, erros, etc.
Confesso que as minhas introdu c oes favoritas ` a An alise Complexa s ao [4] e o ultimo captulo
de [2]. O primeiro e obviamente sosticada 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:

E curta.
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 fun c oes.
Todos os logaritmos e razes quadradas tem os mesmos direitos.
Contem uma demonstra c ao do teorema de Cauchy-Goursat.
Demonstra o que e difcil e n ao o que e trivial.
Holomora implicar analiticidade e um teorema.
A menos de correc c ao de gralhas o texto cou 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 acas 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 correc c ao 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
5 10 de Setembro de 2002
CAP

ITULO 1. INTRODU C

AO
10 de Setembro de 2002 6
Captulo 2
Analise Complexa
A An alise Complexa tem como objecto de estudo as fun c oes complexas de vari avel complexa que
satisfazem no interior do seu domnio uma deni c ao de diferenciabilidade. Em que medida e que
isto difere da An alise Real de fun c oes de R
2
em R
2
? A diferen ca vai-se dever ` as aplica c oes lineares
de C em C (multiplica c ao por um complexo xo) corresponderem da maneira natural a aplica c oes
lineares de R
2
em R
2
muito especcas: aquelas que podem ser representadas por matrizes reais
2 2 da forma
_
a b
b a

com a, b R.

E isto que vai provocar uma extraordin aria diferen ca
qualitativa entre os dois assuntos. De resto as no c oes topol ogicas (limite, aberto, continuidade)
em C s ao exactamente as mesmas de R
2
. De certa forma falarmos de R
2
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 algebrica
Para construir C, o corpo dos complexos, come camos por considerar R
2
com a estrutura usual de
espa co 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. Facil-
mente se verica 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
identicamos este conjunto com R daqui por diante. Alem disso convencionamos designar por i
o complexo (0, 1) que satisfaz i
2
= 1. Isto permite introduzir a nota c ao 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 coeciente
da parte imagin aria com nota c ao 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 C0, existe um inverso unico w C tal que
zw = wz = 1. Um c alculo r apido mostra que se a = Re(z), b = Im(z) ent ao w =
a
a
2
+b
2

b
a
2
+b
2
i.
Usamos a nota c ao z
1
para o inverso de um complexo n ao nulo e denimos 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 denido por a + bi = a bi e [z[ e o m odulo de z denido por [a +bi[ =

a
2
+ b
2
.
A interpreta c ao geometrica de C e das opera c oes nele introduzidas, nomeadamente o produto e
os conceitos de m odulo e conjugado revelar-se- ao extremamente importantes. Assim a conjuga c ao
corresponde a uma reex ao relativamente ao eixo real, o m odulo correponde ` a norma euclideana
em R
2
(a dist ancia ` a origem), o produto por um complexo de m odulo 1 corresponde a uma rota c ao,
o produto por real positivo a uma homotetia, o produto por 1 a uma simetria em rela c ao a 0,
um produto por i a uma rota c ao de /2,. . . Para reinterpretar o produto complexo em termos de
7 10 de Setembro de 2002
CAP

ITULO 2. AN

ALISE COMPLEXA
aplica c oes lineares de R
2
em R
2
convem comparar:
(a + bi)(c + di) = ac bd + (ad + bc)i
_
a b
b a
_ _
c
d
_
=
_
ac bd
ad + bc
_
isto e o produto por um complexo a + bi corresponde a uma aplica c ao linear de R
2
em R
2
repre-
sentada por uma matriz
_
a b
b a

.
Exerccio 2.1.1 Mostre que o produto por um complexo pode ser interpretado como uma homo-
tetia seguida de uma rota c ao. Exprima a homotetia e a rota c ao tanto como produtos em C como
aplica c oes lineares de R
2
em R
2
.
2.2 Diferenciabilidade
Seja z C com z = x + iy com x, y R. A aplica c ao R
2
(x, y) x + iy C e a sua inversa
fornecem o metodo can onico de identicar R
2
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 aplica c oes contnuas com domnio em C e com valores em R ou C, a
no c ao de convergencia de uma sucess ao, a no c ao de limite de uma sucess ao ou fun c ao, soma de
uma serie, etc.
`
A no c ao de norma euclidiana de um vector de R
2
corresponde como j a vimos a de
m odulo de um complexo, isto e, [z[ = [x +iy[ =
_
x
2
+ y
2
= |(x, y)|. Uma aplica c ao contnua de
um intervalo de R com valores em C designar-se- a ainda por caminho. A primeira no c ao que, de
facto, escapa a esta analogia e, como j a se disse,
Deni cao 2.2.1 Seja C um aberto, z
0
e f : C. Diz-se que f e diferenci avel em z
0
se existir
lim
zz0
f(z) f(z
0
)
z z
0
. (2.1)
De forma an aloga ao que acontece com fun c oes reais de vari avel real aquele limite quando existe
e unico, designamo-lo por derivada de f em z
0
e abreviamo-lo por f

(z
0
),
df
dz
(z
0
) ou Df(z
0
).
Problema 2.2.1 Verique que diferenciabilidade num ponto implica continuidade.
Problema 2.2.2 Mostre que as seguintes condi c oes s ao equivalentes a (2.1):
1. Existe w C tal que f(z) = f(z
0
) + w(z z
0
) + o([z z
0
[) em que lim
zz0
o(|zz0|)
|zz0|
= 0.
2. Existe uma aplica c ao linear : C C tal que f(z) = f(z
0
) +(z z
0
) +o([z z
0
[) em que
lim
zz0
o(|zz0|)
|zz0|
= 0.
3. Escrevendo z
0
= x
0
+iy
0
com x
0
, y
0
R e f(x+iy) = u(x, y)+iv(x, y) com u, v com valores
reais a aplica c ao = (u, v) e diferenci avel em (x
0
, y
0
) com derivada representada por uma
matriz jacobiana J

(x
0
, y
0
) =
_
a b
b a

com a =
u
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
), b =
u
y
(x
0
, y
0
) =

v
x
(x
0
, y
0
).
As condi c oes obtidas no problema anterior
_
u
x
=
v
y
u
y
=
v
x
(2.2)
s ao conhecidas por condi c oes 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 fun c oes diferenci aveis em abertos que dada a sua
import ancia v ao merecer uma designa c ao pr opria.
10 de Setembro de 2002 8
2.2. DIFERENCIABILIDADE
Deni cao 2.2.2 Uma fun c ao f : C C com aberto diz-se holomorfa se f or diferenci avel
em .
Exerccio 2.2.1 Dene-se a exponencial complexa via e
z
= e
x
(cos y + i seny). Verique que a
exponencial e holomorfa em C e que
d
dz
(e
z
) = e
z
. Resolva a equa c ao e
z
= 1.
Exerccio 2.2.2 Seja z = x + iy com x, y R. Dene-se para x > 0
f(z) =
1
2
log(x
2
+ y
2
) + i arctg
y
x
.
1. Use as condi c oes de Cauchy-Riemann para mostrar que f e diferenci avel.
2. Mostre que f, a fun c ao conjugada de f, n ao e diferenci avel.
3. Exprime f

(z) em termos de z.
4. Mostre que e
f(z)
= z para Re(z) > 0.
5. Determine o contradomnio de f.
Embora extremamente importantes as condi c oes de Cauchy-Riemann nem sempre s ao o pro-
cesso mais expedito para garantir que uma fun c ao e holomorfa ou calcular a sua derivada.
Exerccio 2.2.3 Verique que as regras de deriva c ao usuais
1
valem para fun c oes holomorfas.
Exerccio 2.2.4 Verique que se I R e um intervalo, C e um aberto e as fun c oes g : I
e f : C s ao diferenci aveis ent ao f g e diferenci avel em I com
d
dt
(f(g(t))) = f

(g(t))g

(t) para todo t I.

Deni cao 2.2.3 Uma fun c ao holomorfa em C diz-se inteira.
Exerccio 2.2.5 Verique que as potencias inteiras s ao fun c oes holomorfas, as constantes s ao
holomorfas com derivada nula e
d
dz
(z
k
) = kz
k1
para k Z, k ,= 0.
Os polin omios e a exponencial s ao fun c oes inteiras. Outros exemplos de fun c oes inteiras im-
portantes s ao o seno (sen), coseno (cos), seno hiperb olico (sh) e coseno hiperb olico (ch) complexos
denidos a partir da exponencial via
sen z =
e
iz
e
iz
2i
, cos z =
e
iz
+ e
iz
2
, shz =
e
z
e
z
2
, ch z =
e
z
+ e
z
2
Exerccio 2.2.6 Verique que as restri c oes ao eixo real das fun c oes que acab amos de denir
coincidem com as fun c oes reais de vari avel real do mesmo nome, que estas fun c oes s ao inteiras e
satisfazem as regras de deriva c ao usuais (e.g.
d
dz
(sen z) = cos z).
Exerccio 2.2.7 Verique que se f e uma fun c ao holomorfa com derivada que n ao se anula ent ao
f n ao e holomorfa.
Exerccio 2.2.8 Verique que as linhas de nvel da parte real de uma fun c ao holomorfa s ao
ortogonais ` as linhas de nvel do coeciente da parte imagin aria. Esboce tais linhas de nvel para
z z
2
e z e
z
.
1
Da soma, produto, quociente, composi c ao,. . .
9 10 de Setembro de 2002
CAP

ITULO 2. AN

ALISE COMPLEXA
Alem de estabelecerem a ortogonalidade entre as linhas de nvel da parte real e do coeciente da
parte imagin aria de uma fun c ao holomorfa as condi c oes de Cauchy-Riemann estabelecem tambem
restri c oes muito fortes ao crescimento daquelas fun c oes.

E o que se ilustra no exerccio seguinte.
Exerccio 2.2.9 Uma fun c ao f : C C e da forma
f(x + iy) = (x
2
y
2
) + i(xy), com x, y R,
em que e s ao fun c oes 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 Fun c oes denidas por series de potencias
Um tema recorrente da An alise Complexa ser a a interrela c ao entre diversos tipos de representa c oes
para fun c oes holomorfas. Alguns desses tipos de representa c ao 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 deni c oes e resultados
seguintes.
Deni cao 2.3.1 Uma serie

+
k=1
z
k
diz-se absolutamente convergente se a serie

+
k=1
[z
k
[ f or
convergente.
Proposi cao 2.3.1
Uma serie absolutamente convergente e convergente.
Proposi cao 2.3.2
Dada uma serie de potencias

+
k=1
a
k
(z z
0
)
k
existe R [0, +] tal que para [z z
0
[ < R a
serie e absolutamente convergente e divergente para [z z
0
[ > R. Se R > 0 a fun c ao B
R
(z
0
)
z f(z)

+
k=1
a
k
(z z
0
)
k
e holomorfa com derivada f

(z) =

+
k=1
ka
k
(z z
0
)
k1
sendo esta
serie absolutamente para [z z
0
[ < R. Alem disso a fun c ao denida em B
R
(z
0
) por z G(z) =

+
k=1
a
k
k+1
(z z
0
)
k+1
e holomorfa vericando G

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

k
j=1
b
j
[ < M para todo o k N. Ent ao a serie

+
k=1
a
k
b
k
e convergente.
Exerccio 2.3.1 Determine para que valores de R a sucess ao (z
k
)
kN
denida por z
k
=

k
j=1
e
ij
e
1. Ilimitada.
2. Limitada.
Exerccio 2.3.2 Verique que a serie

+
k=1
1
k
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. INTEGRA C

AO
Exerccio 2.3.3 Dene-se E(z) =

+
k=0
z
k
k!
. Verique que E est a denida para todo o z C.
Verique 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) = e
z
.
Exerccio 2.3.4 Verique que os an alogos dos desenvolvimentos em serie do sen, cos, sh e ch s ao
v alidos em C.
2.4 Integra cao
A integra c ao ao longo de caminhos fechados em C fornece um poderosssimo metodo de an alise
das fun c oes holomorfas. Em geral podemos denir um integral de uma fun c ao ao longo de um
caminho como segue:
Deni cao 2.4.1 Seja I um intervalo de R e z : I R C uma fun c ao cuja derivada existe em
quase todo o I. Seja L = z(I) e considere-se f : L C. Denimos o integral de f ao longo do
caminho denido
2
por z como sendo
_
L
f(z) dz =
_
I
f(z(t))z

(t) dt
sempre que o integral do segundo membro existir
3
.
Esta deni c ao e extremamente geral em rela c ao ao que vamos de facto considerar na maioria das
situa c oes com interesse em que f ser a uma fun c ao holomorfa denida num aberto contendo L e
z ser a seccionalmente C
1
. Esta deni c ao 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 mudan ca de vari aveis com derivada positiva, o integral continua
com o mesmo valor e com valor simetrico se a derivada da mudan ca 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 rectic avel com comprimento e [f[ M
sobre L ent ao

_
L
f dz

M. (2.3)
Lema 2.4.1 (Teorema Fundamental do Calculo)
Seja C um aberto e f : C um fun c ao contnua tal que existe G : C holomorfa tal
que G

= f. Seja z : [a, b] um caminho seccionalmente C

1
com L = z([a, b]). Ent ao
_
L
f(z) dz = G(z(b)) G(z(a)).
Ideia da demonstra c ao.
_
L
f(z) dz =
_
b
a
f(z(t))z

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

2
Nesta deni c ao e em situa c oes semelhantes abusamos a nota c ao usando o mesmo smbolo para a vari avel
independente da fun c ao integranda e para o caminho.
3
Recorda-se que o integral de uma fun c ao complexa denida num subconjunto de R e denido integrando parte
real e parte imagin aria da maneira natural.
11 10 de Setembro de 2002
CAP

ITULO 2. AN

ALISE COMPLEXA
Note-se que nas mesmas condi c oes o integral ao longo de um caminho fechado em ser a 0. Isto
incluir a todos os integrais
_
z
k
dz e portanto todas as fun c oes polinomiais. Alem disso
Exemplo 2.4.1 Seja z um caminho fechado seccionalmente C
1
em C 0 denindo uma linha
C. Ent ao, se k N com k 2,
_
C
1
z
k
dz = 0.
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, denida por z(t) = e
it
, t [0, 2],
_
C
1
z
dz =
_
2
0
e
it
ie
it
dt = 2i.
Note-se que tal prova que e impossvel denir uma primitiva holomorfa em C 0 para 1/z.
O exemplo anterior estende-se facilmente a
_
C
1
za
dz = 2i em que C e uma circunferencia
parametrizada por z(t) = a + e
it
, t [0, 2]. Notavelmente podemos ainda estabelecer que
1
2i
_
L
1
z a
dz Z (2.4)
para uma qualquer linha fechada L seccionalmente C
1
com a , L. A express ao (2.4), designada
por n umero de rota c ao, servir-nos- a mais ` a frente para contar o n umero de voltas em torno de
um ponto dando o sinal a informa c ao sobre o sentido. Note que no enunciado n ao h a nenhuma
suposi c ao sobre a linha ser simples.
Proposi cao 2.4.2 (N umero de rota cao)
Seja a C e L uma linha fechada seccionalmente C
1
em C a. Ent ao
1
2i
_
L
1
z a
dz Z.
Ideia da demonstra c ao. Podemos supor que L e parametrizada por z(t), t [, ]. Seja a CL.
Denimos
N(a) =
1
2i
_
L
1
z a
dz.
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
exp
__
L
1
z a
dz
_
= 1.
ou que, se denirmos (t) = exp
_
_
t

(s)
z(s)a
ds
_
com t [, ], temos
() = 1. (2.5)
Para justicar (2.5) come camos por notar que obviamente () = 1, e contnua e, com a possvel
excep c ao de um n umero nito de pontos onde z

n ao est a denida,

(t)
(t)
=
z

(t)
z(t) a
.
Diferenciando o quociente
(t)
z(t)a
verica-se que a igualdade anterior implica que
(t)
z(t)a
tem deri-
vada nula excepto num n umero nito 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) dene um caminho fechado, z() = z() e portanto () = () = 1.
10 de Setembro de 2002 12
2.4. INTEGRA C

AO
Apesar daquilo que foi dito sobre a primitiva c ao de 1/z podemos obter uma primitiva em
certos
4
subconjuntos de C.
Exerccio 2.4.2 Determine uma primitiva de 1/z em z C : Im(z) ,= 0 ou Re(z) > 0 e tal
que se a designar por log z temos Im(log z) ] , [. Verique que esta fun c ao e uma inversa
da restri c ao da exponencial a z C : Im(z) ] , [.
O resultado central sobre integra c ao 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 triangulo)
Seja C um aberto, T um tri angulo fechado com fronteira T descrita por um caminho
z(t) e f : C uma fun c ao holomorfa. Ent ao
_
T
f dz = 0.
Ideia da demonstra c ao. Suponha que o integral n ao e 0 e designemo-lo por I. A demonstra c ao
baseia-se em localizar um ponto z
0
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 z
0
para mostrar que I e arbitrariamente pequeno.
Considerem-se ent ao os pontos medios dos lados de T (ver gura 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 T
1
, deveremos ter

_
T1
f dz

[I[/4
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 T
1
e metade da soma dos comprimentos dos lados de T.
Aplicando a T
1
o mesmo procedimento que a T pode obter-se um tri angulo T
2
contido em T
1
com soma de comprimentos de lados igual 1/4 da de T e com

_
T2
f dz

[I[/16.
Procedendo indutivamente obtem-se uma sucess ao de tri angulos fechados T T
1
T
2

T
k
. . . tais que a soma dos comprimentos dos lados de T
k
e 2
k
vezes a soma dos comprimentos
dos lados de T, o seu di ametro tende para 0 quando k e

_
T
k
f dz

[I[/4
k
. (2.6)
Existe um e um s o ponto na intersec c ao de todos estes tri angulos que designamos por z
0
.
Usando agora a diferenciabilidade de f em z
0
, dado > 0 existe r > 0 tal que para [z z
0
[ < r

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

(z
0
)

<
ou de forma equivalente
[f(z) f(z
0
) f

(z
0
)(z z
0
)[ < [z z
0
[.
4
Compare com a determina c ao de um potencial de um campo fechado em abertos de R
2
.
13 10 de Setembro de 2002
CAP

ITULO 2. AN

ALISE COMPLEXA
PSfrag replacements
z
0
T
T

Figura 2.1: A demonstra c ao do teorema de Cauchy.

Alem disso existe k tal que T
k
B
r
(z
0
) e, para z T
k
, [z z
0
[ < (T
k
) = 2
k
(T) em que
designa comprimento de. Podemos assim estimar

_
T
k
f(z) dz

_
T
k
f(z
0
) + f

(z
0
)(z z
0
) + (f(z) f(z
0
) f

(z
0
)(z z
0
)) dz

< [z z
0
[(T
k
) < (T
k
)
2
= 4
k
(T)
2
.
(2.7)
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 fun c oes diferenci aveis de R
2
em R
2
n ao e verdadeiro. A raz ao e simplesmente o integral
de linha de um campo linear de R
2
em R
2
ao longo de um caminho fechado regular n ao ser
necessariamente 0. Uma condi c ao necess aria e suciente para isso acontecer e esse campo linear
ser fechado ou seja denido por uma matriz
_
a b
b a

ou, em linguagem de fun c oes de C em C,

vericar as condi c oes de Cauchy-Riemann.
Lema 2.4.4 (Teorema de Cauchy (existencia de primitiva) em conjuntos convexos)
Seja C um convexo aberto e f : C uma fun c ao holomorfa. Ent ao existe G : C
holomorfa em e tal que G

= 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. INTEGRA C

AO
Ideia da demonstra c ao. Seja w
0
. Convencionamos que o segmento de recta unindo w a z e
designado por L(w, z). Constr oi-se um candidato a primitiva considerando
G(z) =
_
L(w0,z)
f(z) dz.
Resta mostrar que G e diferenci avel com G

= f. Para isso precisamos de estimar

G(z) G(z
0
)
(z z
0
)
f(z
0
)

.
Considerando o tri angulo com vertices w
0
, z
0
, z e usando o lema 2.4.3 vericamos que
G(z) G(z
0
) =
_
L(z0,z)
f(z) dz
o que permite
=

_
L(z0,z)
f(z) f(z
0
) dz
z z
0

m ax
wL(z0,z)
[f(w) f(z
0
)[.
A continuidade de f em z
0
permite obter a conclus ao desejada.
Exerccio 2.4.3 Curiosamente os dois lemas anteriores s ao ainda v alidos se substituirmos a hi-
p otese de holomora de f em pela hip otese de holomora em excepto possivelmente num ponto
em que exigimos continuidade de f. Demontre esta arma c ao. Ir a ser usada na demontra c ao da
f ormula integral de Cauchy
5
.
Lema 2.4.5 (Primeira versao da f ormula integral de Cauchy.)
Seja C um aberto convexo, f : C uma fun c ao holomorfa e L uma linha fechada
seccionalmente C
1
em . Seja z L. Ent ao
_
L
f(w)
w z
dw = f(z)
_
L
1
w z
dw = f(z)2iN
L
(z).
em que N
L
(z) designa o n umero de rota c ao de z relativamente a L.
Ideia da demonstra c ao. Aplique o lema 2.4.4 com a formula c ao obtida no exerccio 2.4.3 a g :
C denida por
g(z) =
_
f(w)f(z)
wz
, se w ,= z,
f

(z), se w = z.

A vers ao anterior da f ormula integral de Cauchy vai ser suciente para obter rapidamente
algumas propriedades not aveis das fun c oes holomorfas do ponto de vista de regularidade. Para
isso basta considerar o caso em que L C(a, r), uma circunferencia centrada em a percorrida
uma vez no sentido directo. Precisaremos de calcular o n umero de rota c ao N
L
(z) =
1
2i
_
L
1
wz
dw
neste caso particular. No caso de z = a o c alculo directo conduz facilmente, como j a vimos atr as,
a N
L
(a) = 1. No caso geral, notamos que o n umero de rota c ao e uma fun c ao contnua do seu
argumento que s o toma valores inteiros e que a regi ao limitada pela circunferencia e conexa. Logo
N
L
(z) = N
L
(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 fun c oes s ao holomorfas
em .
15 10 de Setembro de 2002
CAP

ITULO 2. AN

ALISE 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 denida 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 signicado obvio e tres segmentos de
recta unindo C(z, ) a C(a, r) como sugerido na gura 4, por exemplo radiais relativamente a a
nas direc c oes denidas por 1, e
2i/3
e e
2i/3
.
1. Verique que
_
C(z,)
1
wz
dw = 2i.
2. Utilize o teorema de Cauchy e tres linhas fechadas simples denidas pelas fronteiras de cada
uma das regi oes conexas em que cou dividida a coroa entre os dois crculos para mostrar
que
_
C(a,r)
1
wz
dw =
_
C(z,)
1
wz
dw = 2i.
PSfrag replacements
a
w
z
Figura 2.2: Esta gura acompanha o exerccio 2.4.4.
Lema 2.4.6 (Segunda versao da f ormula integral de Cauchy)
Seja C um aberto e considere-se a tal que B
r
(a) . Seja f : C uma fun c ao
holomorfa. Ent ao, designando por C(a, r) a circunferencia de raio r centrada em a percorrida no
sentido directo denida atr as,
_
C(a,r)
f(w)
w z
dw = 2if(z), para todo o z B
r
(a). (2.8)
Alem disso, f e analtica vericando
f
(k)
(z) =
k!
2i
_
C(a,r)
f(w)
(w z)
k+1
dz (2.9)
para todo o k N
0
e
f(z) =
1
2i
+

k=0
_
C(a,r)
f(w)
(w z)
k+1
dz (z a)
k
(2.10)
para todo o z B
r
(a). Adicionalmente f e represent avel pela sua serie de Taylor relativa a a em
B
r
(a), isto e,
f(z) =
+

k=0
f
(k)
(a)
k!
(z a)
k
,
para todo o z B
r
(a).
10 de Setembro de 2002 16
2.5. ZEROS E SINGULARIDADES
Ideia da demonstra c ao. A igualdade (2.8) resulta de forma imediata dos resultados anteriores. O
facto de se vericar permite usar resultados sobre deriva c ao 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
1
z w
=
1
(z a) (w a)
=
1
z a
1
1
wa
za
=
1
z a
+

k=0
_
w a
z a
_
k
, (2.11)
v alida se [w a[ < [z a[, substitui-se em (2.4.6) e justica-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 fun c ao 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 fun c ao
7
. Isto contrasta com o que e conhecido para fun c oes reais de vari avel
real.
Exerccio 2.4.5 Considere R x
1
1+x
2
. Obtenha o raio de convergencia da serie de Taylor
desta fun c ao 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 holomora ou da linha fechada que consideramos,
implicam regularidade adicional das fun c oes holomorfas. Tal permite obter vers oes mais gerais do
teorema de Cauchy em que levantamos tanto quanto possvel essas restri c oes 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 fun c ao holomorfa e L uma linha
fechada seccionalmente C
1
em . Ent ao
_
L
f(z) dz = 0.
Exerccio 2.4.6 Demostre a vers ao anterior do teorema de Cauchy usando o teorema de Green
e o facto das fun c oes holomorfas serem analticas.
O facto da derivada de uma fun c ao holomorfa ser holomorfa, juntamente com a demonstra c ao
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 fun c ao 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)
Seja C um aberto e f : C uma fun c ao contnua satisfazendo
_
T
f(z) dz = 0 para todo
o tri angulo T tal que T . Ent ao f e holomorfa em .
2.5 Zeros e singularidades
Ao estabelecermos que uma fun c ao holomorfa e analtica, camos com um instrumento precioso
para estudar propriedades destas fun c oes. Em particular no que diz respeito a zeros e singulari-
dades isoladas. Come camos por denir precisamente singularidade e singularidade removvel .
6
Alternativamente (2.9) pode obter-se de (2.10).
7
Um ponto a no fecho do domnio de uma fun c ao complexa de vari avel complexa diz-se uma singularidade n ao
removvel da fun c ao se n ao existir uma outra fun c ao que na intersec c ao dos domnios de ambas s o difere da primeira
em a e e holomorfa numa vizinhan ca de a.
17 10 de Setembro de 2002
CAP

ITULO 2. AN

ALISE COMPLEXA
Deni cao 2.5.1 Dizemos que uma fun c ao holomorfa tem uma singularidade num ponto a do fecho
do seu domnio se n ao existir uma fun c ao holomorfa numa vizinhan ca de a que na intersec c ao dos
domnios das duas fun c oes e de uma vizinhan ca de a coincida com a fun c ao original.
A deni c ao de singularidade permite algumas situa c oes muito pouco interessantes. A deni c ao
seguinte encarrega-se de excluir esses casos.
Deni cao 2.5.2 Dizemos que uma singularidade num ponto a do fecho do domnio duma fun c ao e
removvel se existir uma fun c ao holomorfa numa vizinhan ca de a que, na intersec c ao dos domnios
das duas fun c oes, s o difere da fun c ao quando muito no ponto a.
Uma classe importante de singularidades e a das singularidades isoladas.
Deni cao 2.5.3 Dizemos que uma fun c ao holomorfa tem uma singularidade isolada num ponto
a do fecho do seu domnio se for holomorfa em B
r
(a) a para algum r > 0 e ou n ao estiver
denida em a ou n ao for diferenci avel em a. A singularidade isolada e removvel se for possvel
denir ou redenir f em a de modo a que a nova fun c ao seja holomorfa numa vizinhan ca de a.
Exerccio 2.5.1 Verique que os conceitos de singularidade removvel para singularidades isola-
das referidos nas deni c oes 2.5.2 e 2.5.3 coincidem.
Exerccio 2.5.2 Verique que z 1/ sen(1/z) dene uma fun c ao com uma singularidade n ao
isolada e n ao removvel na origem.
Exerccio 2.5.3 Verique que z (e
z
1)/z tem uma singularidade isolada removvel na origem.
Nesta sec c ao estamos essencialmente interessados nas propriedades dos zeros e singularidades
isoladas das fun c oes holomorfas.
Proposi cao 2.5.1
Seja C um aberto conexo, f : C uma fun c ao holomorfa. Ent ao ou f 0 ou todos os
zeros de f s ao pontos isolados.
Ideia da demonstra c ao. Seja Z o conjunto dos zeros de f em . Seja z Z . Existe r > 0
tal que f e represent avel por uma serie de potencias em B
r
(z), isto e f(w) =

+
k=0
c
k
(wz)
k
em
B
r
(z). Se todos os coecientes fossem nulos z int Z, o que contradiria z Z. Portanto existir a
um k N mnimo tal que c
k
,= 0. Designemo-lo por k
0
. Ent ao, em B
r
(z),
f(w) = (w z)
k0
+

k=k0
c
k
(w z)
kk0
.
A continuidade da fun c ao w

+
k=k0
c
k
(w z)
kk0
garante que z e um ponto isolado de 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).
Corolario 2.5.2
Suponha-se que duas fun c oes holomorfas num aberto conexo coincidem num subconjunto de
que tem um ponto de acumula c ao em . Ent ao as duas fun c oes s ao iguais em .
Ideia da demonstra c ao. Aplique-se o resultado anterior ` a diferen ca das duas fun c oes.
Quanto a singularidades isoladas come camos por notar que
Proposi cao 2.5.3
Suponha-se que uma fun c ao holomorfa e limitada numa vizinhan ca de uma singularidade isolada.
Ent ao a singularidade e removvel.
10 de Setembro de 2002 18
2.5. ZEROS E SINGULARIDADES
Ideia da demonstra c ao. Suponha-se f uma fun c ao holomorfa limitada numa vizinhan ca de uma
singularidade removvel z. Considere-se nessa vizinhan ca uma fun c ao g denida por
g(w) =
_
(w z)
2
f(w), se w ,= z,
0, se w = z.
O facto de f ser limitada permite utilizar a deni c ao de derivada para mostrar que a derivada de
g em z existe e e igual a 0. Logo g e holomorfa nessa vizinhan ca de z com uma representa c ao por
series de potencias
g(z) =
+

k=0
c
k
(w z)
k
=
+

k=2
c
k
(w z)
k
em que us amos na segunda igualdade g(z) = g

(z) = 0 para garantir c

0
= c
1
= 0. Mas ent ao
temos, para w ,= z,
f(w) =
g(w)
(w z)
2
=
+

k=2
c
k
(w z)
k2
Logo podemos remover a singularidade de f denindo ou redenindo esta fun c ao em z, via
f(z) = c
2
.
O resultado seguinte classica 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 deni c ao e a ordem do p olo.
Proposi cao 2.5.4 (Classica cao de singularidades isoladas)
Suponha-se que f : C C tem uma singularidade isolada em a . Ent ao ocorre uma das
seguintes situa c oes:
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 (z
k
)
kN
B
r
(a) a tal que
f(z
k
) w quando k +.
Ideia da demonstra c ao. Considere que n ao ocorre (iii). Ent ao existem w C, r > 0 e > 0 tais
que [f(z) w[ > para todo o z B
r
(a) a. Dene-se uma fun c ao g : B
r
(a) a C via
g(z) =
1
f(z) w
.
Temos [g(z)[ < 1/ pelo que, usando a proposi c ao 2.5.3 a e uma singularidade removvel de g. Pro-
longuemos g a a de maneira a ser holomorfa em B
r
(a) e continuemos a designar o prolongamento
por g.
Se tivermos g(a) ,= 0 ent ao a igualdade
f(z) =
1
g(z)
+ w, para z B
r
(a) a,
mostra que f tem uma singularidade removvel em a e portanto verica-se (i).
Se tivermos g(a) = 0 o desenvolvimento de Taylor de g em torno de a permite escrever g(z) =
(z a)
m
g
1
(z) com g
1
holomorfa em B
r
(a) e g
1
(a) ,= 0. Ent ao
f(z) =
1
g(z)
+ w =
1
(z a)
m
1
g
1
(z)
+ w, para z B
r
(a) a,
e portanto a e um p olo de ordem m de f vericando-se (ii).
19 10 de Setembro de 2002
CAP

ITULO 2. AN

ALISE COMPLEXA
No caso (iii) dizemos que f tem uma singularidade essencial em a.
Exerccio 2.5.4 Classique a singularidade em 0 das fun c oes denidas por:
1.
senz
z
.
2.
senz
z
2
.
3. sen
_
1
z
_
.
4.
1
senz
.
2.6 O teorema dos resduos
Deni cao 2.6.1 Dizemos que uma fun c ao 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 acumula c ao em .
Para cada a A na deni c ao anterior podemos escrever, com k N a ordem do p olo e para z
numa vizinhan ca sucientemente pequena de a,
f(z) =
+

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

l=k
c
l
(z a)
l
+
+

l=0
c
l
(z a)
l
.
Note-se que no ultimo membro desta igualdade a segunda parcela e uma fun c ao holomorfa.
`
A
primeira parcela do ultimo membro chamaremos parte principal de f em a. Ao coeciente c
1
chamaremos resduo de f em a, abreviadamente Res
f
(a) ou Res(f; a). Convencionamos tambem
dizer que o resduo e 0 em singularidades removveis e pontos onde a fun c ao e diferenci avel.
A seguinte vers ao do teorema dos resduos para fun c oes meromorfas ser a suciente para a
maioria das aplica c oes que temos em mente. Mais ` a frente estende-lo-emos a situa c oes em que
algumas das singularidades s ao essenciais e apresentaremos uma vers ao envolvendo a no c ao de
n umero de rota c ao.
Teorema 2.6.1 (Teorema dos resduos para fun c oes meromorfas)
Seja C um aberto, f uma fun c ao meromorfa em , A o conjunto dos p olos de f, L uma linha
fechada seccionalmente C
1
em A limitando uma regi ao contida
8
em e designemos por A
L
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
_
L
f(z) dz = 2i

aAL
Res
f
(a).
Ideia da demonstra c ao. O n umero de p olos na regi ao limitada por L tem que ser nito (porque?).
Designemos esses p olos por a
1
, a
2
, . . . , a
p
. Seja P
k
a parte principal de f em a
k
. Ent ao f

p
1
P
k
e uma fun c ao holomorfa numa vizinhan ca da regi ao limitada por L. Ent ao o teorema de Cauchy
garante que
_
L
f(z) dz =
_
L
p

k=1
P
k
(z) dz = 2i
p

k=1
Res
f
(a
k
).
Note que a hip otese garante que o caminho descrevendo L e homot opico a uma circunferencia de
raio sucientemente pequeno centrada em cada um dos a
k
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. APLICA C

OES AO C

ALCULO DE CERTOS INTEGRAIS DE FUN C

OES REAIS DE
VARI

AVEL 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
representa c ao de fun c oes via series e integrais.
Para vermos algumas aplica c oes b asicas do teorema dos resduos convem fazermos algumas
observa c oes simples sobre como calcular resduos. Por exemplo se a e um p olo de primeira ordem
de uma fun c ao meromorfa f ent ao
lim
za
(z a)f(z) = lim
za
(z a)
+

k=1
c
k
(z a)
k
= lim
za
+

k=1
c
k
(z a)
k+1
= c
1
= Res
f
(a).
De forma an aloga se a e um p olo de segunda ordem
lim
za
d
dz
_
(z a)
2
f(z)
_
= Res
f
(a).
Exerccio 2.6.1 Justique a arma c ao anterior e generalize para um p olo de ordem k para obter
que nesse caso
1
(k 1)!
lim
za
d
k1
dz
k1
_
(z a)
k
f(z)
_
= Res
f
(a).

E importante notar que muitas vezes os c alculos sugeridos no exerccio anterior podem ser bem
mais trabalhosos do que recorrer a um desenvolvimento em serie de Taylor bem conhecido.
Exemplo 2.6.1 Considere f(z) =
1
z
9
(1z
4
)
. Para determinar o resduo de f na origem usamos
o desenvolvimento da serie geometrica para obter
f(z) =
1
z
9
+

k=0
z
4k
= z
9
+ z
5
+ z
1
+ . . .
pelo que a origem e um p olo de ordem 9 e o resduo e 1.
2.7 Aplica c oes ao calculo de certos integrais de fun c oes reais
de variavel real
Entre as aplica c oes do teorema dos resduos ou do teorema de Cauchy contam-se o c alculo de certos
integrais ou valores principais de fun c oes 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

_
C
+

e
z
(z
2
1)
2
dz e
_
C

e
z
(z
2
1)
2
dz
e utilize um desses c alculos para obter o valor de
_
+

cos y
(y
2
+ 1)
2
dy.
21 10 de Setembro de 2002
CAP

ITULO 2. AN

ALISE COMPLEXA
Exemplo 2.7.1 Para certas fun c oes n ao integr aveis em R e no entanto interessante considerar
o chamado valor principal
9
(v. p.) do integral de acordo com
v. p.
_
+

f(x) dx lim
k
_
k
k
f(x) dx.
Note-se que se a fun c ao integr avel no sentido de Lebesgue o valor principal coincide com o integral.
No entanto h a fun c oes n ao integr aveis para os quais existe valor principal. Um exemplo e a fun c ao
x
senx
x
. Vamos calcular
v. p.
_
+

sen x
x
dx
` a custa de integrais
_
LR
e
iz
z
dz
em que L
R
e a linha esbo cada na gura 2.3 obtida concatenando duas semi-circunferencias e dois
segmentos de recta
10
. O teorema dos resduos ou o teorema de Cauchy garantem que
PSfrag replacements
1/R 1/R
R
R
Re
Im
Figura 2.3: O contorno de integra c ao no exemplo 2.7.1.
_
LR
e
iz
z
dz = 0
pois a unica singularidade da fun c ao integranda est a na origem. Designemos a semi-circunferencia
de raio R por C
R
percorrida no sentido indicado. Parametrizemo-la por z(t) = Re
it
, t [0, ].
Ent ao
_
CR
e
iz
z
dz =
_

0
e
iRe
it
Re
it
Rie
it
dt =
_

0
e
Rsen t+iRcos t
i dt.
Como [e
Rsen t+iRcos t
i[ = e
Rsen t
e a ultima express ao tende para 0 para t ]0, [, o teorema da
convergencia dominada garante que
lim
R +
_
CR
e
iz
z
dz = 0.
9
Este conceito ocorre naturalmente no estudo de certas transforma c oes integrais, teoria das distribui c oes,. . .
10
Este exemplo e relevante no estudo da convergencia das series de Fourier.
10 de Setembro de 2002 22
2.7. APLICA C

OES AO C

ALCULO DE CERTOS INTEGRAIS DE FUN C

OES REAIS DE
VARI

AVEL REAL
Procedendo de forma an aloga com a semi-circunferencia de raio 1/R percorrida no sentido indicado
obtemos
_
C
1/R
e
iz
z
dz =
_

0
e
ie
it
/R
e
it
/R
ie
it
/Rdt =
_

0
e
(sen t+i cos t)/R
i dt.
O teorema da convergencia dominada pode mais uma vez ser invocado para estabelecer
lim
R
_
C
1/R
e
iz
z
dz = i.
Finalmente notamos que restringindo
e
iz
z
ao eixo real obtemos
cos x+i senx
x
. Assim, usando a de-
composi c ao de L
R
em segmentos de recta e semi-circunferencias
lim
R
_
1/R
R
cos x + i senx
x
dx +
_
R
1/R
cos x + i sen x
x
dx =
= lim
R
_
LR
e
iz
z
dz
_
CR
e
iz
z
dz
_
C
1/R
e
iz
z
dz = i.
Deixa-se ao cuidado do leitor vericar 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 La-
place
11
. Pode-se mostrar que, sob certas condi c oes, a invers ao duma transformada de Laplace F
pode ser calculada ` a custa de
1
2
v. p.
_
+

e
(a+iv)t
F(a + iv) dv (2.12)
em que a, t > 0 e F e uma fun c ao meromorfa com um n umero nito de p olos z
1
, . . . , z
k
, todos
contidos no semiplano denido por Re(z) < a. Vamos mostrar que
12
, sob certas condi c oes relativas
ao crescimento de F,
v. p.
_
+

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

l=1
Res(e
t
F(); z
l
). (2.13)
Isto ser a feito ` a custa de considerar integrais
_
LT AT
e
zt
F(z) dz em que L
T
A
T
designa a linha
fechada formada por concatena c ao do segmento unindo aiT a a+iT e pelo arco de circunferencia
de raio

a
2
+ T
2
centrada em 0 percorrido no sentido directo. Uma tal linha est a esbo cada na
gura 2.4.
Temos, para T sucientemente grande e usando o teorema dos resduos,
_
LT AT
e
zt
F(z) dz = 2i
k

l=1
Res(e
t
F(); z
l
). (2.14)
Alem disso
_
LT AT
e
zt
F(z) dz =
_
LT
e
zt
F(z) dz +
_
AT
e
zt
F(z) dz. (2.15)
Para o primeiro dos integrais do segundo membro vale
_
LT
e
zt
F(z) dz =
_
T
T
e
(a+iv)t
F(a + iv)i dv
11
N ao se pretende demonstrar aqui a f ormula de invers ao da transformada de Laplace.
12
Usamos a nota c ao G() para designar uma fun c ao z G(z).
23 10 de Setembro de 2002
CAP

ITULO 2. AN

ALISE COMPLEXA
PSfrag replacements
Im
Re
L
T
A
T
z
1
z
2
iT
iT
a

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)
_
2

a
2
+T
2
e
i
F(
_
a
2
+ T
2
e
i
)
_
a
2
+ T
2
ie
i
d. (2.16)
em que =

2
arcsen
_
a

a
2
+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 situa c oes 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) come camos a estimar o integral (2.16). Como primeiro passo estimamos
a fun c ao integranda
[e

a
2
+T
2
e
i
F(
_
a
2
+ T
2
e
i
)
_
a
2
+ T
2
ie
i
[
e

a
2
+T
2
cos
(

a
2
+ 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
_
/2

a
2
+T
2
cos

a
2
+ T
2
c1
d
_

2

_
e

a
2
+T
2
cos
_
_
a
2
+ T
2
_
1c
=
_

2

_
e
a
_
_
a
2
+ T
2
_
1c
.
10 de Setembro de 2002 24
2.8. S

ERIES DE LAURENT
Como sen(/2) =
a

a
2
+T
2
e usando o facto de lim
u0
sen u
u
= 1 podemos ainda obter, para um
C > 0 conveniente,
_
/2

a
2
+T
2
cos

a
2
+ T
2
c1
d
Cae
a
(

a
2
+ T
2
)
c
0 quando T +.
Exerccio 2.7.2 Complete o exemplo anterior.
2.8 Series de Laurent
Esta sec c ao apresenta extens oes de alguns resultados j a obtidos, nomeadamente do teorema dos
resduos. A observa c ao essencial e a possibilidade de usar series de potencias para representar
fun c oes holomorfas em coroas circulares z C : 0 r < [z a[ < R. Note que tal inclui tais
representa c oes numa vizinhan ca de uma singularidade essencial e que as aspas em torno de serie
de potencias est ao l a para real car o car acter diferente dessas series em que se admitem potencias
inteiras quaisquer o que obriga a considerar dois processos de passagem ao limite.
Deni cao 2.8.1 O smbolo
+

k=
c
k
(2.18)
em que (c
k
)
kN
e uma sucess ao complexa designa
13
a soma de series
+

k=1
c
k
+
+

k=0
c
k
. (2.19)
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 representa c oes em que estamos interessados
obtem-se adaptando a demonstra c ao do lema 2.4.6.
Proposi cao 2.8.1 (Existencia da serie de Laurent)
Sejam 0 r < R, a C e f uma fun c ao holomorfa na coroa circular C
r,R
z C : r < [z a[ <
R. Ent ao para todo o z C
r,R
vale
f(z) =
+

k=
c
k
(z a)
k
, com c
k
=
1
2i
_
Bs(a)
f(w)
(w a)
k+1
dw em que r < s < R.
O integral na express ao de c
k
e calculado percorrendo a fronteira da bola B
s
(a) uma vez no sentido
directo, isto e, usando, por exemplo, z(t) = a + se
it
, t [, ].
Ideia da demonstra c ao. Seja ent ao z C
r,R
. Se considerarmos o caminho sugerido
14
na gura
2.5 e aplicarmos o teorema dos resduos ou a f ormula integral de Cauchy obtemos, para r < s <
[z a[ < S < R,
2if(z) =
_
CS
f(w)
w z
dw
_
Cs
f(w)
w z
dw
supondo na f ormula anterior que C
S
e C
s
s ao percorridos uma vez no sentido directo.
13
Ao leitor que em primeira leitura duvidar da necessidade desta deni c ao aconselha-se a reectir no caso c
k
= 1
para k 0 e c
k
= 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
CAP

ITULO 2. AN

ALISE COMPLEXA
PSfrag replacements
C
s
C
S
a
z
w
Figura 2.5: Os caminhos na demonstra c ao da existencia da serie de Laurent.
Seguindo a demonstra c ao do lema 2.4.6 usamos (2.11) no integral relativo a C
S
e a identidade
similar
1
z w
=
1
(z a) (w a)
=
1
w a
1
1
za
wa
=
1
w a
+

k=0
_
z a
w a
_
k
,
v alida para [w a[ < [z a[ no integral relativo a C
s
, para obter
2if(z) =
_
CS
f(w)

k=0
(w a)
k
(z a)
k+1
dw +
_
Cs
f(w)

k=0
(z a)
k
(w a)
k+1
dw.
Para completar a demonstra c ao tudo o que e necess ario e justicar a permuta dos integrais com
as series usando o teorema da convergencia dominada para series e justicar que na f ormula que
assim se obtem a integra c ao sobre C
S
pode transformar-se numa integra c ao sobre C
s
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 fun c ao holomorfa com A um conjunto de singularidades
isoladas, L uma linha fechada seccionalmente C
1
em A limitando uma regi ao contida
15
em
e designemos por A
L
o conjunto das singularidades isoladas de f na regi ao limitada por L.
Suponha-se que, para uma singularidade isolada 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
_
L
f(z) dz = 2i

aAL
Res
f
(a).
15
Algo que ser a automaticamente satisfeito se f or simplesmente conexo.
10 de Setembro de 2002 26
2.9. EXERC

ICIOS SUPLEMENTARES
Exerccio 2.8.1 Demonstre a vers ao anterior do teorema dos resduos.

E de notar, tal como para a serie de Taylor, que a manipula c ao algebrica de series conhecidas
em geral fornece um metodo mais ecaz de determina c ao de um desenvolvimento em serie do que,
por exemplo, o c alculo dos coecientes via (2.19).
Exerccio 2.8.2 Determine os desenvolvimentos em serie de Laurent de potencias de z da fun c ao
z
1
z(z+1)(z+2i)
v alidos nas regi oes denidas por 0 < [z[ < 1, 1 < [z[ < 2 e [z[ > 2.
Exerccio 2.8.3 Determine o desenvolvimento em serie de Laurent relativo a 0 de z z
2
e
1/z
3
.
Aproveite para calcular
_
C
z
2
e
1/z
3
dz em que C e denida pelo caminho z(t) = e
it
, t [0, 2].
Exerccio 2.8.4 Decida se existe ou n ao uma fun c ao holomorfa h : C 0 C com uma
singularidade essencial em 0 e tal que
_

z
j
h(z) dz =
_
0, se j < 1,
2i
(j+1)!
se 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 fun c ao complexa de vari avel complexa denida por
f(z) =
e
z
1 + e
2z
.
a) Determine e classique as singularidades de f.
b) Sendo a curva de Jordan formada pela concatena c ao 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
denido por Im(z) > 0, calcule os integrais
_

f(z) dz,
_
C
f(z) dz.
Exerccio 2.9.2 Seja f : C C uma fun c ao diferenci avel da forma
f(z) f(x + iy) = x + x
2
y
2
+ x
3
3xy
2
+ iv(x, y)
com x, y e v reais.
a) Determine a fun c ao v de maneira a f(0) = i.
b) Calcule todos os possveis valores para o integral
_

f(z)
(z 1)
2
dz
em que e uma curva de Jordan seccionalmente regular tal que 1 / .
Exerccio 2.9.3 Calcule
_
L
e
z
(z i) sen z
dz
em que L e a linha representada parametricamente em C por z(t) = 2 cos t + 1 + i2 sent, com
t [0, 2].
27 10 de Setembro de 2002
CAP

ITULO 2. AN

ALISE COMPLEXA
Exerccio 2.9.4 Considere a fun c ao complexa de vari avel complexa f denida por
f(z) =
e
iz
z
4
+ 1
.
Aplique o teorema dos resduos a f numa famlia de linhas de Jordan em C conveniente para
calcular
_
+

cos x
x
4
+ 1
dx
2.10 Sugest oes para os exerccios
2.2.2
1. A parte real e a parte imagin aria s ao fun c oes C
1
no seu domnio. Alem disso

x
_
1
2
log(x
2
+ y
2
)
_
=
x
x
2
+ y
2
=

y
_
arctg
y
x
_
e

y
_
1
2
log(x
2
+ y
2
)
_
=
y
x
2
+ y
2
=

x
_
arctg
y
x
_
.
2. f n ao satisfaz as equa c oes de Cauchy-Riemann.
3. Se designarmos por u a parte real da fun c ao e v o coeciente da parte imagin aria temos
f

(x + iy) =
u
x
+ i
u
y
=
x
x
2
+y
2
+ i
y
x
2
+y
2
=
z
|z|
2
=
z
zz
=
1
z
.
4. Temos, para x > 0, e
f(z)
=
_
x
2
+ 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 verica-se que f(e
u+iv
) = u + iv com u + iv A.

2.2.9 As equa c oes de Cauchy-Riemann para uma tal fun c ao f reduzem-se ao sistema
_
2x

(x
2
y
2
) = x

(xy),
2y

(x
2
y
2
) = y

(xy).
Considerando pontos sobre a recta denida por y = x as equa c oes conduzem a 2

(0) =

(x
2
)
se x ,= 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 2

(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 fun c ao 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 respecti-
vamente. As condi c oes de Cauchy-Riemann reduzem-se agora a
_
2x = x,
2y = y.
pelo que devemos ter = 2. Assim f(z) = (x
2
y
2
) + i2xy = z
2
com z = x + iy.
2.4.3 Designe-se o ponto onde n ao se verica diferenciabilidade mas verica-se continuidade por
p.
10 de Setembro de 2002 28
2.10. SUGEST

OES PARA OS EXERC

ICIOS
p
p
p
Figura 2.6: Esta gura acompanha a sugest ao de solu c ao 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 aproxima c oes 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 holomora mas somente o facto dum integral ao
longo de um caminho fechado ser 0 via lema 2.4.3 e a continuidade num ponto.
2.7.1 As linhas C
+

e C

est ao esquematizadas na gura 2.7. Usando o teorema dos resduos

PSfrag replacements

1
Im(z)
Re(z)
C
+

Figura 2.7: As linhas C

+

e C

.
29 10 de Setembro de 2002
CAP

ITULO 2. AN

ALISE COMPLEXA
obtemos
_
C
+

e
z
(z
2
1)
2
dz = 2i
_
d
dz
_
e
z
(z + 1)
2
__

z=1
= 0,
_
C

e
z
(z
2
1)
2
dz = 2i
_
d
dz
_
e
z
(z 1)
2
__

z=1
= i.
Como a exponencial e limitada no semiplano esquerdo ([e
z
= e
x
(cos y + i seny)[ 1 se x 0)
podemos usar o segundo (mas n ao o primeiro) destes integrais para calcular
_
+

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

cos y
(y
2
+ 1)
2
dy =
1
i
lim
+
_
L
e
z
(z
2
1)
2
dz
=
1
i
_
i lim
+
_
S
e
z
(z
2
1)
2
dz
_
=
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 fun c ao integranda ser major avel no

semi-plano esquerdo
16
por
1

2
1
e S

ter comprimento .
2.8.4 Admitindo que tal fun c ao existe o respectivo desenvolvimento em serie de Laurent seria da
forma
h(z) =
+

k=
c
k
z
k
.
Admitindo temporariamente que podemos permutar a serie com o integral teramos
_

z
j
h(z) dz =
_

k=
c
k
z
j+k
dz =
+

k=
_

c
k
z
j+k
dz = 2ic
1j
.
Da que o candidato a fun c ao h dever a satisfazer
c
j1
=
_
0, se j < 1
1
(j+1)!
, se j 1
ou seja
h(z) = 1 +
1
z
+
1
2z
2
+
1
3!z
3
+ = e
1/z
.
Esta fun c ao de facto satisfaz todas as propriedades desejadas
17
.
16
O raciocnio 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 armar que a serie de Laurent que obtemos formalmente fosse v alida em C \ {0}.
10 de Setembro de 2002 30
BIBLIOGRAFIA
Bibliograa
[1] L. Ahlfors. Complex Analysis. McGraw-Hill, 1978.
[2] T. M. Apostol. Mathematical Analysis. Addison-Wesley, Reading, Massachusetts, 2
a
edi c ao,
1978.
[3] J. Campos Ferreira. Introdu c ao ` a An alise Matem atica. Funda c ao Calouste Gulbenkian, 4
a
edi c ao, 1991.
[4] W. Rudin. Real and Complex Analysis. MacGraw Hill, New York, 1974.
31 10 de Setembro de 2002

Indice remissivo
condi c oes de Cauchy-Riemann, 8
conjugado de um complexo, 7
criterio
de Dirichlet, 10
f ormula integral de Cauchy, 15
fun c ao
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
linha
fechada simples, 12
m odulo de um complexo, 7
n umero de rota c ao, 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
teorema
de Cauchy, 13
de Morera, 17
dos resduos, 20
transformada
de Laplace, 23
valor principal, 22
zero de uma fun c ao holomorfa, 17
10 de Setembro de 2002 32