Iniciac ao Cientca

Analise em uma Vari avel Complexa

Aluna: Gisela Marino
Orientador: Julio Rebelo
2004/2 - 2005/1
1
Este relatorio foi escrito como resultado de um projeto de iniciac ao cientca
orientado pelo professor Julio Rebelo do Departamento de Matematica da
PUC-Rio, em que tivemos o auxlio de uma bolsa de iniciac ao cientca do
CNPq.
2
1 N umeros Complexos
1.1 A

Algebra dos N umeros Complexos
Sejam x = a + ib e y = c + id n umeros complexos. Podemos denir a soma
e o produto de n umeros complexos da seguinte forma:
x + y = (a + c) + i(b + d) (1)
x.y = (ac bd) + i(ad + bc) (2)
A divisao de n umeros complexos tambem esta denida. Para ver isto, basta
vericar que
x
y
= w onde w = + i e um n umero complexo e y = 0. Ou
seja vericar que existe w complexo tal que x = yw
(a + ib) = (c + id)( + i)
(a + ib) = (c d) + i(d + c)
_
a = (c d)
b = (d + c)
_
ad = cd + d
2
bc = cd + c
2
Logo =
bcad
d
2
+c
2
e =
ac+bd
d
2
+c
2
, donde concluimos que w C.
Na pratica, podemos calcular a divisao utilizando o seguinte artifcio:
x
y
=
x
y
.
y
y
=
(ac + bd) + i(bc ad)
c
2
+ d
2
1.2 Razes Quadradas
Os n umeros complexos possuem uma propriedade singular que e a de que a
sua raz quadrada sempre pode ser escrita explicitamente.

z = (x + iy)
3
Ou seja, se z = a + ib, temos:
a + ib = (x + iy)
2
a + ib = (x
2
y
2
) + i(2xy)
_
a = x
2
y
2
b = 2xy
Observe que:
a
2
+ b
2
= (x
2
y
2
)
2
+ 4x
2
y
2
= x
4
+ 2x
2
y
2
+ y
4
= (x
2
+ y
2
)
2
Logo:
x
2
+ y
2
=

a
2
+ b
2
0
_
x
2
+ y
2
=

a
2
+ b
2
x
2
y
2
= a
Donde obtemos:
x
2
=
1
2
(a +

a
2
+ b
2
) 0
y
2
=
1
2
(a +

a
2
+ b
2
) 0
Observe que temos duas opc oes para x e y de forma que temos que escolher
x e y a satisfazerem xy = b.
1.3 Justicativa
Devemos agora vericar a existencia do corpo C dos n umeros complexos.
Comecamos supondo que existe um corpo F que tem R como subcorpo tal
que x
2
+ 1 = 0 tenha solucao em F. Vamos denotar a solucao de x
2
+ 1 = 0
de i. Seja C o subcorpo de F dos elementos da forma: +i, com , R.
4
Vamos denir o corpo dos complexos como sendo o subcorpo C de um F
arbitrario. Temos agora que mostrar que F de fato existe.
Considere expressoes do tipo: +i, onde + e i sao apenas smbolos. Estas
expressoes sao elementos de um corpo F, em que a adicao estao denidas
conforme (1) e (2).
Elementos da forma + i0 formam um subcorpo isomorfo a R, alem disso,
o elemento 0 + i1 satisfaz equacao x
2
+ 1 = 0.
Assim, o corpo F possui as propriedades de que necessitamose coincide com
o subcorpo C, pois podemos escrever:
+ i = ( + i0) + (0 + i1)
como isso provamos a existencia de C.
1.4 Conjugacao e Valor Absoluto
Observe que ao deduzirmos a adicao e multiplicac ao de um n umero complexo,
apenas usamos o fato de que i
2
= 1, como (i)
2
= 1, as regras continuam
valendo se substituirmos i por i.
Assim, podemos denir a conjugac ao complexa. Ou seja,
+ i = i
Exemplo: Seja uma raz da equac ao:
c
0
z
n
+ c
1
z
n1
+ . . . + c
n1
z + c
n
= 0
Ent ao esta claro que

xi e raz de :
c
0
z
n
+ c
1
z
n1
+ . . . + c
n1
z + c
n
= 0
Em particular, se c
i
R, ent ao e

sao razes conjugadas da mesma equac ao.
Denicao: O modulo ou valor absoluto de a e dado por: |a| =

a a.
5
Vejamos agora algumas igualdades importantes:
1)|a + b|
2
= |a|
2
+|b|
2
+ 2Re(a

b)
2)|a b|
2
= |a|
2
+|b|
2
2Re(a

b)
3)|a + b|
2
+|a b|
2
= 2(|a|
2
+|b|
2
)
1.5 Desigualdades
Esta claro que
_
|a| Re(a) |a|
|a| Im(a) |a|
Obtemos assim,
|a + b|
2
|a|
2
+|b|
2
+ 2|ab|
(|a| +|b|)
2
Assim, obtemos a desigualdade triangular;
|a + b| |a| +|b|
Por induc ao, temos:
|a
1
+ . . . + a
n
| |a
1
| + . . . +|a
n
|
Tambem obtemos facilmente que:
|a b| ||a| |b||
e
| + i || +||
Temos ainda a Desigualdade de Cauchy, que nao sera demonstrada:
|

a
i
b
i
|
2

|a
i
|
2

|b
i
|
2
6
2 Func oes Complexas
2.1 Limites e Continuidade
Denicao 1 Uma funcao tem limite A quando x tende a a se e somente se
para todo > 0 existe um > 0 tal que |f(x) A| < para todo x sempre
que |x a| < e x = a.
Denicao 2 Dizemos que f(x) e contnua em a se e somente se lim
xa
f(x) =
f(a).
Diremos que uma funcao e real (respectivamente, complexa) se assume valo-
res reais (complexos). Assim, temos quatro tipos diferentes de func oes, sao
elas:
1) func oes reais com a vari avel x real;
2) func oes complexas com variavel x real;
3) func oes reais com a vari avel z complexa e
4) func oes complexas com a vari avel z complexa.
Estamos interessados em estudar os casos em que a funcao e derivavel. O
primeiro caso e estudado em Analise Real, logo nao sera abordado neste
texto.
Vamos ao segundo caso. Observe que podemos escrever z(t) = x(t) + iy(t)
onde t R. Donde concluimos que a derivada z(t) existe se e somente se as
derivadas das func oes reais com variaveis reais existirem simultaneamente.
No caso de uma funcao real com variavel complexa temos o seguinte:
f

(a) = lim
h0
f(a + h) f(a)
h
logo f

(a) e real
f

(a) = lim
h0
f(a + ih) f(a)
ih
logo f

(a) e imaginario puro

f

(a) = 0
7
O ultimo caso e de fato o mais interessante. A diferenciabilidade deste tipo
de func ao tera uma serie de consequencias que serao abordadas nas sec oes
seguintes.
2.2 Func oes Holomorfas
Denicao 3 Dizemos que uma funcao complexa com variavel complexa e
holomorfa se ela e diferenciavel em todo o seu domnio de denicao.
Mais tarde veremos que funcoes holomorfas sao, de fato analticas. Ou seja,
podem ser representadas pela serie de Taylor. Por esse motivo, e comum em
alguns textos de Analise Complexa o uso de ambos os termos, holomorfa e
analtica, com o mesmo sentido.
Proposicao 1 Toda funcao holomorfa e contnua.
Considere f(z) = u(z) + iv(z), onde z = x + iy.
f

(z) = lim
h0
f(z + h) f(z)
h
O limite do quociente tem que ser o mesmo independentemente de como h
se aproxima de 0. Ent ao, aproximando por n umeros reais, obtemos:
f

(z) = lim
h0
u(z + h) + iv(z + h) u(z) iv(z)
h
=
u
x
+ i
v
x
Aproximando por imaginarios puros, temos:
f

(z) = lim
k0
u(z + ik) + iv(z + ik) u(z) iv(z)
ik
= i
u
y
+
v
y
8
Assim se f(z) e holomorfa a func ao deve satisfazer as seguintes condic oes,
denominadas Equacoes de Cauchy-Riemann.
_
u
x
=
v
y
v
x
=
u
y
Resumindo, funcoes holomorfas podem ser encaradas simplesmente como
func oes de R
2
emR
2
com a propriedade adicional de satisfazerem as Condicoes
de Cauchy-Riemann. Conforme veremos ao longo do relatorio, esta condic ao
adicional e, de fato, essencial a m de se obter alguns resultados importantes.
Resultados estes que nao se aplicam em se tratando de funcoes reais quais-
quer. Por isso este conjunto particular de func oes reais e estudado como um
caso `a parte e seus elementos sao denominados funcoes holomorfas.
3 Integracao Complexa
3.1 Teoremas Fundamentais
3.1.1 Integrais de Linha
A generalizac ao mais imediata da integral real e a integral denida de uma
func ao complexa sobre um intervalo real. Assim, podemos denir:
_
b
a
f(t)dt =
_
b
a
u(t)dt + i
_
b
a
v(t)dt
onde u(t) e v(t) sao funcoes reais.
Cosidere agora uma curva diferenciavel por partes dada pela equacao z =
z(t) com a t b. Se f(z) esta denida em entao f(z(t)) tambem e
contnua e obtemos:
_

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

(t)dt

E facil vericar que a integral e invariante por mudancas de parametros.

9
Se denirmos como z(t) com b t a obtemos que
_

f(z)dz =
_

f(z)dz
Ainda, se =
1
+ . . . +
n
, temos:
_

f(z)dz =
_

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

n
f(z)dz
Uma integral de linha essencialmente diferente e integrar em relacao ao com-
primento de arco.
_

fds =
_

f|dz| =
_

f(z(t))|z

(t)|dt
3.1.2 Integrais de Linha como Func oes de arcos
Uma classe importante de integrais e caracterizada pela propriedade de que
a integral sobre a curva depende somente dos seus pontos inicial e nal.
_

f(z)dz =
_

u(z) + iv(z)dz
=
_

(u + iv)dx + i
_

u + ivdy
=
_

p dx + q dy
Ou seja, se
1
e
2
possuem os mesmos pontos extremos, exigimos que:
_

1
p dx + q dy =
_

2
p dx + q dy
Proposicao 2 A integral sobre uma curva fechada e zero se e somente se a
integral depende somente dos pontos extremos.
10
Prova: Em se tratando de uma curva fechada, temos que:
_

f(z)dz =
_

f(z)dz =
_

f(z)dz
Logo
2
_

f(z)dz = 0
Reciprocamente, se
1
e
2
possuem os mesmos pontos extremos, ent ao
1

2
e uma curva fechada.
a
b

2
Ent ao por hipotese, temos que:
_

2
f(z)dz =
_

1
f(z)dz
_

2
f(z)dz

1
f(z)dz =
_

1
f(z)dz
Observe que f(z) pode ser encarada como uma 0-forma (veja Anexo), de
modo que estamos integrando a 1-forma f(z)dz ao longo de uma curva difer-
encial (dimensao 1). Assim sendo iremos demonstrar o seguinte
Teorema 1 A integral de linha
_

f(z)dz, denida em um aberto depende

dos pontos extremos se, e somente se a 1-forma w = f(z)dz = pdx + qdy e
exata.
Prova: Fixando um ponto p qualquer, podemos denir a func ao:
F() =
_

p
f(z)dz
11
Observe que esta integral esta bem denida, ja que por hipotese a integral
nao depende do caminho que liga p a . Assim, o Teorema Fundamental do
Calculo nos da que:
dF() = f()d
Ou seja w e uma 1-forma exata, ja que a diferencial exterior de uma funcao
coincide com a propria derivada da func ao.
Reciprocamente, se w e uma forma exata, existe uma 0-forma (i.e, uma
func ao) F tal que w = dF. Novamente, pelo Teorema Fundamental do
Calculo, obtemos:
_

p
w =
_

p
dF = F() F(p)
Ou seja, a integral so depende dos pontos inicial e nal.
Observe que se existir uma tal func ao F ela sera holomorfa.
De fato,
w = f(z)dz = f(z)dx + if(z)dy
Por outro lado,
dF(x, y) =
F
x
dx +
F
y
dy
Donde concluimos que
_
F
x
= f(z)
F
y
= if(z)
Ou seja,
F
x
= i
F
y
Esta EDP nos da as condic oes de Cauchy-Riemann, garantindo assim, que
F e holomorfa.
12
3.1.3 Teorema de Cauchy em um Disco Circular
A integral de uma funcao analtica sobre uma curva fechada NEM SEMPRE
e zero!
De fato, considere o crculo C em torno de um ponto a. Observe que
_
C
dz
z a
= 2i
Para que efetivamente a integral de zero, temos que fazer uma suposic ao
especial relativa a regiao em que f e analtica e em que a curva esta denida.

E na realidade uma questao topologica, que sera tratada mais adiante.

Por enquanto, vamos estudar o que acontece em um disco circular.
Teorema 2 Se f e holomorfa em um disco circular aberto , entao
_

f(z)dz = 0 (3)
para toda curva fechada em .
Prova: O Teorema 1 nos da uma condicao suciente e necessaria para que
(3) aconteca. Isto e, que a 1-forma f(z)dz seja exata.
Podemos vericar facilmente que uma func ao e holomorfa se e so se f(z)dz
e fechada.
De fato, como f(z)dz = [u(x, y) +iv(x, y)]dx+[v(x, y) +iu(x, y)]dy, temos:
d(f(z)dz) =
u
y
dy dx + i
v
y
dy dx
v
x
dx dy + i
u
x
dx dy = 0
_
u
y
+ i
v
y
_
dx dy =
_

v
x
+ i
u
x
_
dx dy
Sabemos que toda forma exata e fechada, porem, nem toda forma fechada e
exata. Assim, a integral de linha de uma funcao analtica sera igual a zero
sempre que a 1-forma f(z)dz fechada for exata.
13
No entanto, o Lema de Poincare nos garante que toda forma fechada e local-
mente exata. Assim, como podemos cobrir qualquer curva fechada no disco
por abertos, temos que neste caso especco, a 1-forma fechada f(z)dz e, de
fato globalmente exata. Com isso, o Teorema 1 conclui a demonstarcao.
Teorema 3 Seja f(z) uma funcao holomorfa na regiao

, obtida omitindo-
se um n umero nito de pontos
i
de um disco aberto . Se f(z) satisfaz a
condicao:
lim
z
i
(z
i
)f(z) = 0 j
Entao
_

f(z)dz = 0 para toda curva fechada em

.
Estas sao duas formulac oes topologicamente diferentes para o Teorema de
Cauchy.
3.2 Formula Integral de Cauchy
Uma simples aplicac ao do Teorema de Cauchy nos permite representar uma
func ao holomorfa por uma integral de linha. Como veremos a seguir, esta
representa cao possui muitas aplicac oes de extrema utilidade. Em particular,
seremos capazes de vericar que uma funcao holomorfa e, de fato analtica,
como havia sido armado anteriormente.
3.2.1 O ndice de um ponto em relacao a uma curva fechada
Precisamos de um meio preciso para indicar quantas vezes uma curva fechada
se enrola em torno de um ponto que nao esta na curva. Vamos comecar com
um
Lema 1 Se uma curva fechada suave por partes nao passa pelo ponto a,
entao o valor de
_

dz
z a
e um m ultiplo de 2i.
14
Denicao 4 O ndice de um ponto em relacao a uma curva e dado pela
expressao:
n(, a) =
1
2i
_

dz
z a
3.2.2 A Formula Integral
Teorema 4 Sejam f(z) holomorfa em um disco aberto e uma curva
fechada em . Para qualquer ponto a que nao pertenca a , vale:
n(, a)f(a) =
1
2i
_

f(z)
z a
dz
onde n(, a) e o ndice do ponto a em relacao a .
Prova: Considere a funcao:
F(z) =
f(z) f(a)
z a
Como f(z) e holomorfa por hipotese, F(z) e uma func ao holomorfa para todo
z = a em . Observe que apesar de F(z) nao estar denida em z = a, ela
satisfaz:
lim
za
F(z)(z a) = lim
za
f(z) f(a) = 0
Esta condic ao nos permite aplicar o Teorema 3 `a F(z). Donde concluimos
que
_

f(z) f(a)
z a
dz = 0
_

f(z)
z a
dz f(a)
_

dz
z a
_

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

dz
z a
15
1
2i
_

f(z)
z a
dz = n(, a)f(a)

Observacao 1: Esta formula e valida em qualquer regiao em que se possa

aplicar o Teorema 3, desde que nenhum dos pontos excepcionais coincida
com a.
Observacao 2: Se a ent ao n(, a) = 0, e pelo Teorema de Cauchy sendo
f(z)
za
holomorfa em , temos que
_

f(z)
za
dz = 0. Observe que este resultado
coincide com o do Teorema 4, conforme esperado.
A aplicac ao mais comum deste teorema e para o caso em que n(, a) = 1
para todo a e f(z) holomorfa. Nestas condic oes, fazendo a variar em ,
podemos obter:
f(z) =
1
2i
_

f()
z
d
Esta forma de representar uma funcao holomorfa f(z) e conhecida como
Formula Integral de Cauchy.
3.2.3 Derivadas mais altas
Usaremos a Formula Integral de Cauchy nesta sec ao para provar que funcoes
holomorfas admitem derivadas de todas as ordens.
Seja f(z) holomorfa em . Dado a vamos determinar uma -vizinhanca
contida em e um crulo C em torno de a em .
a
C

16
Assim, aplicando diretamente o Teorema 4 `a func ao f(z) em , para todo z
no interior do crculo C, vale:
f(z) =
1
2i
_
C
f()
z
d
Vamos ent ao vericar que as derivadas de f(z) podem ser representadas por:
f
(n)
(z) =
n!
2i
_
C
f()
( z)
(n+1)
d (4)
Para isso, provemos o seguinte
Lema 2 Seja () contnua ao longo do arco . Entao a funcao
F
n
(z) =
_

()
( z)
n
d
e holomorfa em cada regiao determinada por , e sua derivada e:
F

n
(z) = nF
n+1
(z)
Prova: Vamos primeiramente mostrar que F
1
(z) e contnua.
Seja z
0
um ponto que nao pertenca `a curva . Escolha uma vizinhanca em
torno de z
0
que nao encontre .
|z z
0
| <
Restringindo z a:
|z z
0
| <

2
Obtemos | z| >

2

17
Assim,
F
1
(z) F
1
(z
0
) =
_
()
( z)

()
( z
0
)
d
=
_
( z
0
+ z)()
( z)( z
0
)
d
= (z z
0
)
_
()
( z)( z
0
)
d
Observe que pela desigualdade triangular:
| z
0
| |z
0
z| +| z|
+| z|
| z
0
| >
| z| | z
0
| |z z
0
|


2
| z| >

2
Obtemos ent ao:
|F
1
(z) F
1
(z
0
)| < |z z
0
|
_
|()|
| z|| z
0
|
|d|
< |z z
0
|
2

2
_
|()||d|
Donde F
1
e contnua em z
0
.
Continuaremos a prova por inducao. Devemos ent ao mostrar que F

1
(z) =
F
2
(z).
F
1
(z) F
1
(z
0
)
z z
0
=
_
()
( z)( z
0
)
d
18
lim
zz
0
F
1
(z) F
1
(z
0
)
z z
0
= lim
zz
0
_
()
( z)( z
0
)
d
F

1
(z
0
) =
_
()
( z
0
)
2
d
F

1
(z
0
) = F
2
(z
0
)
Vamos supor que provamos que
F

n1
(z) = (n 1)F
n
(z)
Devemos mostrar que F

n
(z) = (n)F
n+1
(z).
F
n
(z) F
n
(z
0
) =
=
_

( z)
n


( z
0
)
n
d
=
_
1
( z)
n1
(

( z)


( z
0
)
) +

( z)
n1
( = z
0
)


( z
0
)
n
d
=
_

( z)
n1
( z
0
)
d
_

( z
0
)
n
d + (z z
0
)
_

( z)
n
( z
0
)
d
Donde obtemos que F
n
e contnua.
lim
zz
0
F
n
(z) F
n
(z
0
)
(z z
0
)
=
= lim
zz
0
_

(z)
n1
(z
0
)
d
_

(z
0
)
n
d
(z z
0
)
+ lim
zz
0
_

( z)
n
( z
0
)
d
= lim
zz
0
_
1
z
0
(

(z)
n1


(z
0
)
n1
(z z
0
)
)d + F
n+1
(z
0
)
=
_
1
z
0
F

n1
(z
0
)d + F
n+1
(z
0
)
= (n 1)
_
1
z
0
F
n
(z
0
)d + F
n+1
(z
0
)
19
= (n 1)
_

( z
0
)
n+1
d + F
n+1
(z
0
)
= (n 1)F
n+1
(z
0
) + F
n+1
(z
0
)
= nF
n+1
(z
0
)
Donde concluimos que F

n
(z
0
) = nF
n+1
(z
0
)
Antes de nos encaminharmos para a vericac ao de que func oes holomorfas
sao analticas, veremos dois teoremas como aplicac oes da Formula Integral
de Cauchy.
Teorema 5 (Teorema de Morera) Se f(z) e contnua em uma regiao
e se
_

fdz = 0
para toda curva fechada em entao f(z) e holomorfa em .
Prova: Observe que pelo Teorema 1, a hipotese de
_

fdz = 0 implica que

a 1-forma f(z)dz e exata. Ou seja, existe uma func ao holomorfa F(z) tal
que f(z) = F

(z). Usando o Lema 2 obtemos que a derivada de uma funcao

holomorfa ainda e holomorfa, donde segue o resultado.
Teorema 6 (Teorema de Liouville) Uma funcao holomorfa limitada em
todo o plano se reduz a uma constante.
Prova: Vamos usar a equac ao (4). Seja r o raio de um crculo C em torno
de a. Supondo que |f(z)| M em C, temos:
|f
(n)
(a)|
n!
2
_
C
|f()|
| a|
n+1
|d|

n!
2
Mr
n1
2r
Mn!r
n
Fixando n = 1 e como f(z) e limitada em qualquer crculo, podemos tomar
r . Obtemos assim que f

(a) = 0 para todo a, donde f e constante.

20
3.3 Propriedades Locais de Funcoes Holomorfas
3.3.1 Teorema de Taylor
Teorema 7 Suponha que f(z) seja holomorfa na regiao

, obtida retirando-
se um ponto de uma regiao . Uma condicao suciente e necessaria para que
exista uma funcao holomorfa em que coincida com f(z) em

e que
lim
za
(z a)f(z) = 0
Alem disso, a extensao e unicamente determinada.
Prova:
I) Se existe uma func ao holomorfa em que coincide com f(z) em

entao
lim
za
(z a)f(z) = 0
Segue diretamente da continuidade da extensao.
II) Se lim
za
(z a)f(z) = 0 entao existe uma func ao holomorfa em que
coincide com f(z) em

Pela Formula Integral de Cauchy, temos:

f(z) =
1
2
_
C
f()
z
d z = a C
A integral do lado direito representa uma funcao holomorfa de z no interior
de C. Ent ao a funcao que coincide com f(z) para todo z =a e tem o valor
1
2
_
C
f()
a
d para z = a e holomorfa em .
Teorema 8 (Teorema de Taylor) Se f(z) e holomorfa em uma regiao ,
contendo a, tem-se:
f(z) = f(a)+
f

(a)
1!
(za)+
f

(a)
2!
(za)
2
+. . .+
f
(n1)
(a)
n 1!
(za)
n1
+f
n
(z)(za)
n
onde f
n
(z) e holomorfa em .
21
Prova: Considere a seguinte func ao:
F(z) =
f(z) f(a)
z a
Observe que F(z) nao esta denida para z = a, mas
lim
za
(z a)F(z) = lim
za
f(z) f(a) = 0
lim
za
F(z) = f

(a)
Assim, pelo Teorema 7, existe uma funcao analtica que coincide com F(z)
para z = a e igual a f

(a) para z = a, que e analtica. Vamos denota-la por

f
1
(z). Repetindo o processo, obtemos f
2
(z) analtica tal que:
f
2
(z) =
_
f
1
(z)f
1
(a)
za
se z = a
f

1
(a) se z = a
Por induc ao, denimos f
n
(z) para todo n.
f(z) = f(a) + (z a)f
1
(z)
f
1
(z) = f
1
(a) + (z a)f
2
(z)
.
.
.
f
n1
(z) = f
n1
(a) + (z a)f
n
(z)
Reescrevendo, obtemos ainda:
f(z) = f(a) + (z a)f
1
(a) + (z a)
2
f
2
(a) + . . . + (z a)
n1
f
n1
(a)
+(z a)
n
f
n
(z)
f

(z) = f
1
(a) + 2(z a)f
2
(a) + . . . + n(z a)
n1
f
n
(z)
.
.
.
f
(n)
(z) = n!f
n
(z)
22
Donde concluimos que
f
(n)
(a) = n!f
n
(a) f
n
(a) =
f
(n)
(a)
n!

Observamos ainda que f
n
(z) possui uma expressao explcita como uma inte-
gral de linha.
De fato, como f
n
(z) e holomorfa no crculo C, podemos escrever:
f
n
(z) =
1
21
_
C
f
n
()
z
d
Pelo Teorema 8, temos:
f() = f(a)+
f

(a)
1!
(a)+
f

(a)
2!
(a)
2
+. . .+
f
(n1)
(a)
n 1!
(a)
n1
+f
n
()(a)
n
Divindo ambos os lado da equac ao por ( a)
n
, obtemos:
f
n
() =
f()
( a)
n

f(a)
( a)
n

f

(a)( a)
( a)
n
. . .
f
(n1)
(a)( a)
n1
(n 1)!( a)
n
_
C
f
n
()
z
=
_
C
f()
( a)
n
( z)
f(a)
_
C
d
( a)
n1
( z)
. . .

f
(n1)
(a)
(n 1)!
_
C
d
( a)( z)
(5)
Seja
F

(a) =
_
C
d
( a)

( z)
1
Observe que
F
1
(a) =
_
C
d
( a)( z)
=
1
z a
_
C
(
1
z

1
a
)d
23
Se z pertence ao disco delimitado pela curva C, temos que n(C, z) = n(C, a) =
1. Alem disso, o fato de
_
C
1
z
= n(C, z)2i, implica que F
1
(a) = 0.
Pelo Lema 2 temos que
F

(a) = F
+1
(a)
F

1
(a) = F
2
(a)
F

1
(a) = F

2
(a) = 2F
3
(a)
.
.
.
F
()
1
(a) = !F
+1
(a)
Assim se F
1
(a) = 0, F

(a) = 0 para todo 1, donde obtemos, por (5) que:

f
n
(z) =
1
2i
_
C
f
n
()
z
d
=
1
2i
_
C
f()
( a)
n
( z)
d (6)
Como decorrencia imediata do Teorema 8 e da observacao acima, obtemos o
importante resultado a seguir:
Teorema 9 Se f(z) e uma funcao holomorfa em uma regiao , contendo a,
entao a representacao
f(z) = f(a) +
f

(a)
1!
(z a) +
f

(a)
2!
(z a)
2
+ . . . +
f
n
(a)
n!
(z a)
n
+ . . .
e valida no maior disco aberto com centro em a contido em .
Prova: Seja C um crculo |z a| = tal que o disco fechado |z a|
esteja contido em .
Seja M o maximo de |f(z)| em C. Podemos obter uma estimativa para (6).
24
a

C
Pela desigualdade triangular, temos
| z| |z a|
Donde
|f
n+1
(z)|
M

n+1
( |z a|)
Logo
|f
n+1
(z)(z a)
n+1
|
M|z a|
n+1

n
( |z a|)
Conseq uentemente, o resto da expansao de Taylor, dado por |f
n+1
(z)(z
a)
n+1
| tende uniformemente a zero em todo disco |z a| r < . Por
outro lado, podemos escolher arbitrariamente proximo do valor da menor
distancia entre a e a fronteira de . Isso demonstra o Teorema.
Com isso ca claro que uma funcao holomorfa e analtica, isto e, pode ser
representada pela serie de Taylor.
3.3.2 Princpio do Maximo
Teorema 10 Se f(z) e holomorfa e nao constante em uma regiao , entao
o seu valor absoluto |f(z)| nao tem maximo em .
Prova: Por absurdo, suponha que existe a tal que |f(a)| = max
z
|f(z)|.
25
Considere um crculo C centrado em a de raio . Seja M = max
zC
|f(z)|. Pela
Formula Integral de Cauchy, temos:
f(a) =
1
2i
_
C
f(z)
z a
dz
|f(a)|
1
2
_
C
|f(z)|
|z a|
dz

2M
2
Logo |f(a)| M. Por outro lado, como |f(a)| = max
z
|f(z)|, temos
|f(a)| M. Esta claro que se a ultima desigualdade for estrita teremos
uma contradicao. Assim concluimos que f(a) = f(z) para todo z C.
Como C e arbitrario, |f(z)| e constantemente igual a |f(a)| para todo z em
uma vizinhanca de a. Conseq uentemente, f(z) seria constante em , o que
contradiz as hipoteses do teorema.
3.4 Forma Geral do Teorema de Cauchy
Uma vez demonstrado o Teorema de Cauchy para regioes delimitadas por
um crculo, desejamos agora estudar o caso geral.
3.4.1 Denic oes Preliminares
Denicao 5 Considere dois caminhos, C
1
e C
2
, com C
i
: [0, 1] . C
1
e C
2
sao ditos homotopicas se existe uma aplicacao contnua H : [0, 1]X[0, 1]
tal que H(0, t) = C
1
(t) e H(1, t) = C
2
(t). Neste caso, escreve-se C
1
C
2
.
Ainda, a aplicacao H(s, t) e dita uma homotopia entre os caminhos C
1
e C
2
.
Denicao 6 Dizemos que uma regiao e simplemente conexa se ela for conexa
por caminhos e se dois caminhos quaisquer com as mesmas extremidades
forem homotopicos (com extremidades xas).
Observamos ainda que em uma regiao simplesmente conexa, todo caminho
pode ser transformado homotopicamente em um ponto.
26

C
1
C
2
Figura 1: Exemplo de uma regiao
simplesmente conexa

C
1
C
2
Figura 2: Exemplo de uma regiao
que nao e simplesmente conexa
3.4.2 O Teorema de Cauchy (Geral)
Teorema 11 Se f(z) e holomorfa em uma regiao simplesmente conexa ,
entao para toda curva fechada em vale:
_

f(z)dz = 0
Prova: Ja foi visto na demonstracao do Teorema 2 que se f(z) e uma func ao
holomorfa ent ao a 1-forma w = f(z)dz e fechada, i.e, dw = 0.
Em se tratando de uma regiao simplesmente conexa, duas curvas fechadas
quaisquer em com mesma extremidade, sao homotopicas. Assim, podemos
aplicar o Teorema de Stokes `a superfcie S, que tem como fronteira a curva
C
1
C
2
_
S
w =
_
S
dw
_
C
1
C
2
w =
_
S
0
_
C
1
w
_
C
2
w = 0
27

C
1
C
2
S
Sabemos ainda, pela observac ao nal da secao 3.4.1, que
_
C
1
f(z)dz =
_
C
1
w =
_
p
w = 0
onde p e um ponto em .
3.5 Func oes Harmonicas
3.5.1 Denicao e Propriedades Basicas
Denicao 7 Uma funcao real u(x, y) denida em uma regiao e dita harmonica
se for contnua, assim como as derivadas parciais das suas duas primeiras
ordens e se satisfaz a equacao de Laplace:
u =

2
u
x
2
+

2
u
y
2
= 0
Observe que se u e harmonica, entao a funcao
f(z) =
u
x
i
u
y
e holomorfa. Isso se deve ao fato de que se U =
u
x
, V =
u
y
, temos
U
x
=

2
u
y
2
=
V
y
28
U
y
=
u
2
xy
=
V
x
Assim sendo, podemos escrever
fdz =
_
u
x
dx +
u
y
dy
_
+ i
_

u
y
dx +
u
x
dy
_
(7)
A parte real corresponde a du. Se u possui uma func ao harmonica conjugada,
isto e, se existir uma func ao v harmonica tal que f(x, y) = u(x, y) + iv(x, y)
seja holomorfa, ent ao a parte imaginaria de (7) corresponde a dv. Como em
geral nao existe uma func ao conjugada, escrevemos

du =
u
y
dx +
u
x
dy
e diremos que

du e a diferencial conjugada de du.
Pelo Teorema de Cauchy, sabemos que
_

fdz = 0 em uma regiao simples-

mente conexa. Por outro lado,
_

du = 0. Temos entao que

_

du =
_

u
y
dx +
u
x
dy = 0
Outra interpreta cao de

du e a seguinte. Seja uma curva parametrizada
por z(t). O vetor tangente a e dado por = arg z

(t).
_
dx = |dz| cos
dy = |dz| sin
Seja w normal a . A direcao de w e dada por =

2
. A derivada norma
em relac ao a e dada por:
u
n
=
u
x
cos +
u
y
sin
29
Assim sendo, temos que

du =
u
y
dx +
u
x
dy
= |dz|(
u
y
cos +
u
x
sin )
= |dz|(
u
y
sin +
u
x
cos )
= |dz|
u
n

du =
u
n
|dz| (8)
Teorema 12 Se u
1
e u
2
sao harmonicas em uma regiao simplesmente conexa
, entao
_

1
du
2
u

2
du
1
= 0 (9)
3.5.2 Propriedade do Valor Medio
Teorema 13 A media aritmetica de uma funcao harmonica sobre crculos
concentricos |z| = r e dada por
1
2
_
|z|=r
ud = log r +
e se u e harmonica em um disco = 0 e a media aritmetica e constante.
Prova: Aplicando o Teorema 12 com u
1
= log e u
2
igual a uma func ao u
harmonica em |z| < . Seja o disco 0 < |z| < . Seja C
1
C
2
onde C
i
e o crculo |z| = r
i
< , no sentido positivo. Pela equac ao (8), a equac ao (9)
pode ser escrita como:
log r
1
_
C
1
r
1
u
r
d
_
C
1
ud = log r
2
_
C
2
r
2
u
r
d
_
C
2
ud
30
Ou seja, a expressao
_
|z|=r
ud log r
_
|z|=r
r
u
r
d
e constante. Da mesma forma,
_
|z|=r
r
u
r
d
e constante no caso do anel e zero se u for harmonica em todo o disco. Da
segue o resultado.
Teorema 14 (Princpio do Maximo) Uma funcao harmonica nao cons-
tante nao possui maximo ou mnimo em sua regiao de denicao. Conseq uen-
temente o maximo e mnimo em um conjunto fechado limitado sao atingidos
na fronteira.
4 Aplicac oes Conformes
4.1 Introducao
Considere uma curva dada pela equac ao z(t) com t , contido em
uma regiao . Seja f(z) uma funcao holomorfa em . Sejam w(t) = f(z(t))
a imagem de , dada por

e z
0
= z(t
0
). Vamos supor ainda que z

(t
0
) = 0
e f

(z
0
) = 0. Assim, como
w

(t
0
) = f

(z
0
)z

(t
0
)
temos que w

(t
0
) = 0. Logo

admite uma tangente em w

0
= f(z
0
), com
direc ao
arg w

(t
0
) = arg f

(z
0
) + arg z

(t
0
)
Observamos que o angulo formado entre as tangentes de em z
0
e

em
w
0
e dado por arg f

(z
0
). Conseq uentemente, independente da curva . Por
31
isso, curvas tangentes em z
0
sao levadas em curvas tangentes em w
0
. Ainda,
curvas que formam um determinado angulo entre si sao mapeadas em curvas
formando o mesmo angulo.
Denicao 8 A aplicacao holomorfa f(z) em e dita conforme se f

(z) = 0
para todo z .
A m de demonstrar o Teorema de Aplicac ao de Riemann iremos precisar de
algumas denic oes e teoremas relacionados com seq uencias de funcoes.
Denicao 9 Uma famlia F de funcoes f
n
e dita equicontnua, se para cada
> 0, existir > 0 tal que d(f(z), f(z
0
)) < sempre que |z z
0
| < ,
simultaneamente para toda funcao f F.
Denicao 10 Uma famlia F e dita normal se toda seq uencia f
n
de funcoes
em F, contem uma subseq uencia que converge uniformemente em todo sub-
conjunto compacto de .
Teorema 15 (Ascoli-Arzela) Toda famlia eq uicontnua e simplesmente
limitada de funcoes denidas em um compacto K C, admite uma sub-
seq uencia uniformemente convergente.
Corolario 1 Toda famlia eq uincontnua e simplesmente limitada de funcoes
denidas em um aberto C possui uma subseq uencia que converge uni-
formemente em cada parte compacta de .
Teorema 16 Seja f
n
(z) analtica em
n
. Suponha que a seq uencia f
n
(z)
converge uniformemente em todo conjunto compacto de . Entao f(z) e
analtica em . Alem disso, f

n
(z) converge uniformemente para f

(z) em
todo subconjunto compacto de .
Teorema 17 (Hurwitz) Se as funcoes sao analticas e nao-nulas em uma
regiao e se f
n
(z) converge para f(z), uniformemente em cada subconjunto
compacto de , entao ou f(z) e identicamente nula ou nunca se anula em
.
32
4.2 Teorema de Apliacacao de Riemann
Sera demonstrado que o disco unitario pode ser aplicado conformalmente em
qualquer regiao simplesmente conexa do plano que nao seja o prorpio plano.
Teorema 18 Dada uma regiao simplesmente conexa do plano, que nao
seja o proprio plano , e um ponto z
0
, existe uma unica funcao analtica
f(z) em , normalizada pelas condicoes f(z
0
) = 0, f

(z
0
) > 0, tal que f(z)
dene uma aplicacao bijetiva de no disco D dado por |w| < 1.
Prova:
Unicidade: Suponha que existam duas func oes f
1
e f
2
com estas pro-
priedades. Assim, f
1
[f
1
2
] dene uma aplicac ao injetiva do disco |w| < 1
em si mesmo. Uma tal aplicac ao pode ser dada por uma tranformac ao linear
S. As condic oes S(0) = 0 e S

(0) > 0 implicam que S(w) = w logo f

1
= f
2
.
Existencia: Vamos considerar uma famlia F formada por todas as func oes
g com as seguintes propriedades:
1) g e analtica e injetiva em ;
2) |g(z)| 1 em ;
3) g(z
0
) = 0 e g

(z
0
) > 0.
A prova sera feita em 3 partes:
Parte I: Mostrar que a famlia F e nao vazia;
Parte II: Mostrar que existe f com derivada maximal;
Parte III: Mostrar que f tem as propriedades desejadas.
Parte I
Sendo simplesmente conexo, podemos denir um ramo de

z a em .
Vamos denota-lo por h(z). A imagem de por h cobre o disco |wh(z
0
)| < ,
conseq uentemente nao se encontra com o disco |w + h(z
0
)| < . Ou seja,
|h(z) + h(z
0
)| para z , e em particular 2|h(z
0
)| . Podemos entao
veriar que a func ao
g
0
(z) =
|h

(z
0
)|
4|h(z
0
)|
2
.
h(z
0
)
h

(z
0
)
.
h(z) h(z
0
)
h(z) + h(z
0
)
33
pertence `a famlia F. Primeiramente, g
0
e injetiva ja que e obtida de h
por uma transformacao linear. Ainda, e facil vericar que g
0
(z
0
) = 0 e
g

(z
0
) = (

8
)
|h

(z
0
)|
|h(z
0
)|
2
> 0. Finalmente, a estimativa

h(z) h(z
0
)
h(z) + h(z
0
)

= |h(z
0
)|.

1
h(z
0
)

2
h(z) + h(z
0
)

4|h(z
0
)|

mostra que |g
0
(z)| 1 em .
Parte II
As derivadas g

(z
0
), g F tem uma menor cota superior, B, que a princpio
poderia ser innita. Ent ao existe uma seq uencia g
n
F tal que g

n
(z
0
) B.
Armacao 1: As derivadas das func oes g
n
sao uniformemente limitadas nas
partes compactas de .
Seja C um crculo de raio r em um compacto de . Como a imagem de g
n
esta em D, |g
n
(z)| < 1. Alem disso, as func oes g
n
sao analticas, logo pela
equac ao ( 4) temos
g

n
(z) =
1
2i
_
C
g
n
()
( z)
2
d
|g

n
(z)|
1
r
Assim segue que no disco compacto de raio 0 < r < 1 as derivadas sao
uniformemnte limitadas.
Nao e difcil mostrar que uma seq uencia de func oes com derivadas uniforme-
mente limitadas e eq uicontnua.
Aplicando o Corolario do Teorema de Ascoli-Arzela, obtemos que g
n
e uma
famlia normal. O Teorema 16 nos garante entao que a funcao limite f :
D e analtica.
Parte III
Esta claro que |f(z)| 1 em , f(z
0
) = 0 e f

(z
0
) = B, logo B e nito.
Devemos mostrar ainda que f e injetiva.
34
Primeiramente, f nao e constante, ja que f

(z) = B > 0. Dado z

1
,
considere as funcoes g
1
(z) = g(z) g(z
1
) onde g {. As funcoes g
1
(z) sao
diferentes de 0 na regiao obtida omitindo-se o ponto z
1
de . Aplicando o
Teorema de Hurwitz, temos que a func ao limite f(z) f(z
1
) nao e identica-
mente nula. Logo f(z) = f(z
1
) para z = z
1
. Como z
1
e arbitrario, mostramos
que f(z) e injetiva.
Ainda nos resta mostrar que f(z) e sobrejetiva. Por absurdo, vamos supor
que existe |w
0
| < 1 tal que f(z) = w
0
. Como e simplesmente conexo,
podemos denir um ramo de:
F(z) =

f(z) w
0
1 w
0
f(z)
Lembrando que em uma regiao simplesmente conexa toda curva e homotopica
a um ponto. Se (z) = 0 em podemos denir log (z) integrando

(z)
(z)
, e
_
(z) = exp(
1
2
log (z)).
Esta claro que F e injetiva e |F| 1. A m de normaliza-la usamos
G(z) =
|F

(z
0
)|
F

(z
0
)
.
F(z) F(z
0
)
1

F(z
0
)F(z)
Esta claro que G(z
0
) = 0 e por uma conta obtemos
G

(z
0
) =
|F

(z
0
)|
1 |F(z
0
)|
2
=
1 +|w
0
|
2
_
|w
0
|
B > B
Isso gera uma contradic ao, logo f(z) assume todos os valores w, |w| < 1.
Completando assim a demonstrac ao.
5 Anexo - Formas Diferenciaveis
5.1 Denic oes Basicas
Denicao 11 Um k-tensor e uma funcao real T em V
p
= V V . . . V
(k vezes), multilinear.
35
Exemplos:
1-tensor - funcionais lineares
2-tensor - produto interno
k-tensor - determinante
Denicao 12 Um tensor T e alternado se
T(v
1
, . . . , v
i
, . . . , v
j
, . . . , v
k
) = T(v
1
, . . . , v
j
, . . . , v
i
, . . . , v
k
)
para quaisquer i, j.
Seja T
p
(V

) o espaco vetorial de todos os k-tensores.
Observe que T
1
(V

) = V

.
Seja
p
(V

) o subespaco de T
1
(V

) de todos os k-tensores alternados.
Denicao 13 Seja M uma variedade suave. Uma k-forma em M e uma
funcao w que associa a cada ponto x M um k-tensor alternado w(x) no
espaco tangente de M em x; w(x)
p
((T
x
M)

)
Observe que a partir desta denic ao, temos que uma 1-forma em M e uma
sec ao de (TM)

, ja que
w : M
1
((TM)

) = (TM)

x w(x)
e
w : M (TM)

M
x w(x) x
Seja : M R uma func ao suave e d : T
x
M R um mapeamento linear
em cada x. Assim, associando x d
x
denimos a 1-forma d em M,
chamada diferencial de .
36
Em particular, as func oes coordenadas x
1
, . . . , x
k
em R geram 1-formas
dx
1
, . . . , dx
k
em R
k
.
Para cada z R
k
,
dx
i
(z)(a
1
, . . . , a
k
) = a
i
Assim, para cada z R
k
, os funcionais lineares dx
1
(z), . . . , dx
k
(z) sao a base
de (R
k
)

.
5.2 Motivacao
Considere uma transformacao linear T do espaco vetorial E
1
em E
2
.
T : E
1
E
2
v T(v)
Observe que dado v em E
1
conseguimos encontrar T(v) em E
2
. Mas, a priori,
dado u em E
2
, nao sabemos como transporta-lo de volta para E
1
.
Isso porque campos de vetores funcionam naturalmente com o push-forward.
Ou seja, dado um campo X denido em E
1
e uma aplicac ao injetiva f : E
1

E
2
podemos encontrar o campo Y denido em E
2
da seguinte forma:
Y (q) = f

X(f
1
(q))
= Df
f
1
(q)
.X(f
1
(q))
Em contra partida, formas diferenciaveis funcionam naturalmente com o
pull-back. Sejam f como antes, w uma k-forma denida em E
2
, v
1
, . . . , v
k
campos denidos em E
1
.
f : E
1
E
2
v
1
, . . . , v
k
D
p
f.v
1
, . . . , D
p
f.v
k
f

w(p)(v
1
, . . . , v
k
) w
onde f

w(p)(v
1
, . . . , v
k
) = w
f(p)
(D
p
f.v
1
, . . . , D
p
f.v
k
)
37
5.3 Diferencial Exterior
Como vimos, uma 1-forma em R
k
pode ser escrita na base dx
1
, . . . , dx
k
, ou
seja,
w(x) = c
1
(x)dx
1
+ . . . + c
k
(x)dx
k
Podemos denir agora a seguinte operacao, denominada produto wedge ou
produto exterior, da seguite forma:
dx
i
dx
j
(v
1
, v
2
) := det
_
dx
i
.v
1
dx
i
.v
2
dx
j
.v
1
dx
j
.v
2
_
Assim, podemos escrever uma 2-forma da seguinte maneira:

c
ij
(x)dx
1
dx
j
Sejam w
1
e w
2
1-formas diferenciaveis.
w
1
w
2
(v
1
, v
2
) = det
_
w
1
(v
1
) w
1
(v
2
)
w
2
(v
1
) w
2
(v
2
)
_
w =
k

i=1
c
i
(x)dx
i
dw :=
k

i=1
dc
i
(x) dx
i
onde dc
i
=

x
1
c
i
dx
1
+ . . . +

x
k
c
i
dx
k
k

i=1
dc
i
(x) dx
i
=

x
1
dx
1
dx
i
+ . . . +

x
k
dx
k
dx
i
2-forma
Se w e uma 2-forma temos:
w =

c
ij
dx
i
dx
j
dw =

i,j
dc
ij
dx
i
dx
j
3-forma
38
Exemplo: Seja w a 1-forma em R
3
dada por:
w = 3xydx + z
2
dy + 7dz
dw = (3ydx + 3xdy + 0dz) dx + (0dx + 0dy + 2zdz) dy +
(0dx + 0dy + 0dz)dz
= 3xdx dy 2zdy dz
dw
p
(2z, xyz, 1)(0, 5x
2
, yz) = 3x det
_
2z 0
xyz 5x
2
_
2z det
_
xyz 5x
2
1 yz
_
= 30x
3
z 2xy
2
z
3
+ 10x
2
z
No ponto (1, 0, 1), dw
p
(2z, xyz, 1)(0, 5x
2
, yz) = 20.
5.4 Propriedades Basicas
1) d(w + ) = dw + d
2) Se w e uma k-forma e e uma l-forma, entao d(w) = dw+(1)
k
wd
3) d(dw) = 0
4) Se w e uma k-forma em R
m
, f : R
n
R
m
e diferenciavel, ent ao f

(dw) =
d(f

w)
Denicao 14 Se dw = 0, dizemos que w e fechado.
OBS: O pull-back leva formas fechadas em formas fechadas.
Denicao 15 Se w = d dizemos que w e exata.
OBS: O pull-back leva formas exatas em formas exatas.
39
6 Referencias
1) AHLFORS, L.V. Complex Analysis. Third Edition. Singapore: McGraw-
Hill, 1979. 331p.
2) LIMA, E.L. Grupo Fundamental e Espacos de Recobrimento. Rio de
Janeiro, 1977. 263p.
3) Notas do curso de Equac oes Diferencias Parcias ministrado pelo Professor
Julio Rebelo no Departamento de Matematica da PUC-Rio em 2004/2.
40