Uma introdu cao `a Analise Complexa

Airton Von Sohstein de Medeiros Leonardo Meireles Camara

Versao prelimiar de 08 de julho de 2007
Resumo
Estas notas se dedicam ao estudo geometrico das fun c oes complexas, introduzindo de forma ele-
mentar e natural alguns conceitos fundamentais em matematica tais como o conceito de superfcie
de Riemann, homolologia, ndice de rota c ao (winding number), monodromia etc, em exemplos
simples que motivaram de fato a cria c ao de tais conceitos buscando com isso tornar claro
os pontos geometricos fundamentais no estudo de tais fun c oes e da sua rela c ao com seus domnios
de deni c ao naturais. Apesar de introduzir conceitos mais adiantados em Matem atica, de forma
alguma ele compromete a clareza da leitura do texto, podendo ser aplicado tanto para estudantes
no nal de um curso de gradua c ao quanto no incio de um curso de mestrado em Matem atica, sendo
tambem util para estudantes do curso de Fsica ou Engenharia que queiram tomar conhecimento
de tais assuntos de maneira n ao traum atica.
Nele desenvolve-se inicialmente as fun c oes elementares mais b asicas para depois tratar da Teoria
de Integra c ao de Cauchy. Finalmente trata-se da Teoria de fun c oes do ponto de vista de Weierstrass
ou seja da convergencia de series e continua c ao analtica.
A motiva c ao natural destas notas, a despeito de varios textos classicos sobre o assunto, e prover
uma texto em portugues que levasse o leitor ao conhecimento n ao apenas de uma forma de obter
os resultados nele contidos mas de faze-lo de maneira geometrica, explicitando os argumentos
topologicos que fundamentam os resultado, da forma mais natural possvel.
Este texto e baseado em notas de aula do primeiro autor elaboradas enquanto professor do curso
de analise complexa ministrados no Mestrado em Matem atica do IM-UFRJ e desenvolvido parale-
lamente nos cursos de variaveis complexas ministrado na Gradua c ao dos Cursos de Matem atica e
Fsica do CCE-UFES.
Sumario
1 Fun c oes complexas 3
1.1 N umeros complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 O Corpo dos n umeros complexos . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.2 Representa c ao polar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.3 Retas e semi-planos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2 Fun c oes de uma variavel complexa: Limite e continuidade . . . . . . . . . . . . . . 9
1.3 Fun c oes holomorfas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3.1 Revisao de diferenciabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3.2 Caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3.3 Matriz Jacobiana . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3.4 Holomora versus diferenciabilidade: Transforma c oes C-lineares . . . . . . . 15
1.4 Consequencias das equa c oes de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . 17
1.4.1 A conjugada harmonica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.4.2 Exemplo de n ao existencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4.3 Uma interpreta c ao em termos de primitivas . . . . . . . . . . . . . . . . . . 20
1.4.4 As variaveis z e z: diferenciais . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.4.5 Transforma c oes conformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.4.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.5 Fun c oes elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.5.1 A fun c ao exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.5.2 Interpreta c ao geometrica de exp(z) . . . . . . . . . . . . . . . . . . . . . . . 27
1.5.3 As fun c oes trigonometricas . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.5.4 Logaritmos de um n umero complexo . . . . . . . . . . . . . . . . . . . . . . 29
1.5.5 Ramos de logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.5.6 Ramos de argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.5.7 Ramos de logaritmo primitivas . . . . . . . . . . . . . . . . . . . . . . . . 32
1.5.8 Das propriedades de Log(z) . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.5.9 Ramos de raiz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.5.10 Potencias com expoentes arbitrarios: Ramos de potencia . . . . . . . . . . . 35
1.5.11 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2 Teoria da integra cao complexa de Cauchy 40
2.1 Primitivas e formas diferenciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.1.1 O problema central . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.1.2 Formulando o problema em termos de diferenciais . . . . . . . . . . . . . . 41
2.1.3 1-formas diferenciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.1.4 Integra c ao em caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.1.5 Integra c ao de 1-formas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1
2.1.6 Retornando ao problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.1.7 Primitivas em um disco aberto . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.1.8 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.2 Consequencias do Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . 51
2.2.1 Formula integral de Cauchy e derivadas de ordem superior . . . . . . . . . 52
2.2.2 Consequencias da formula integral de Cauchy . . . . . . . . . . . . . . . . . 53
2.2.3

Indices de pontos com rela c ao a curvas e a forma geral da formula integral
de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.2.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.3 Estrutura local das singularidades isoladas . . . . . . . . . . . . . . . . . . . . . . . 60
2.3.1 Singularidades isoladas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.3.2 Zeros de fun c oes holomorfas . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.3.3 Polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
2.3.4 Singularidades essenciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.4 Fun c oes holomorfas na esfera de Riemann . . . . . . . . . . . . . . . . . . . . . . . 66
2.4.1 Singularidades no innito . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.4.2 O plano estendido . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2.4.3 Fun c oes inteiras: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.4.4 Exerccio (pontos singulares) . . . . . . . . . . . . . . . . . . . . . . . . . . 72
2.5 Derivada logaritmica e princpio do argumento . . . . . . . . . . . . . . . . . . . . 72
2.5.1 Princpio do argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
2.5.2 N umero de solu c oes da equa c ao f(z) = b . . . . . . . . . . . . . . . . . . . . 74
2.5.3 Estrutura local da fun c oes holomorfas . . . . . . . . . . . . . . . . . . . . . 76
2.5.4 Princpio do argumento para fun c oes meromorfas . . . . . . . . . . . . . . . 77
2.5.5 O Teorema de Rouche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.5.6 Exercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3 Primitivas e Homologia 80
3.1 Uma revisao de conexidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.1.1 Deni c ao e exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.1.2 O caso particular M = R
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.2 Primitivas de formas diferenciais fechadas . . . . . . . . . . . . . . . . . . . . . . . 83
3.2.1 Cadeias e ciclos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.2.2 Domnios multiplamente conexos . . . . . . . . . . . . . . . . . . . . . . . . 90
3.2.3 Polos e resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
3.2.4 Uma breve digress ao sobre homotopia e homologia . . . . . . . . . . . . . . 93
3.2.5 Uma breve digresao sobrre homotopia e homologia . . . . . . . . . . . . . . 94
3.2.6 Domnios multiplamente conexos . . . . . . . . . . . . . . . . . . . . . . . . 94
3.2.7 Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
2
Captulo 1
Funcoes complexas
Iremos introduzir alguns aspectos preliminares ao estudo das fun c oes complexas, abordando suas
propriedades b asicas de continuidade e diferenciabilidade.
1.1 N umeros complexos
Nesta se c ao iremos recordar o conceito de n umero complexo e algumas de suas propriedades
algebricas e geometricas mais b asiscas.
1.1.1 O Corpo dos n umeros complexos
Sendo R o corpo dos n umeros reais, ent ao denotaremos por C `a extensao de R dada pela adjun c ao
ao mesmo das solu c oes da equa c ao x
2
+ 1 = 0, ou seja
C =
_
z = x +iy : x, y R, i
2
= 1
_
.
com a soma e o produto dados por z
1
+z
2
= (x
1
+x
2
) +i(y
1
+y
2
) e z
1
z
2
= (x
1
+iy
1
)(x
2
+iy
2
) =
x
1
(x
2
+iy
2
) +iy
1
(x
2
+iy
2
) = (x
1
x
2
y
1
y
2
) +i(x
1
y
2
+x
2
y
1
) respectivamente, onde z
j
= x
j
+iy
j
,
j = 1, 2.
Nota cao 1.1.1 Sendo z = x + iy ent ao chamamos x de parte real e y de parte imagin aria de z,
denotando-os por: x = Re(z) e y = Im(z), respectivamente.
Observa cao 1.1.2 Por vezes ao inves de notarmos o produto por z
1
z
2
, iremos faze-lo t ao somente
por z
1
z
2
.
Deixaremos como exerccio para o leitor, a verica c ao de que com tais opera c oes o conjunto
dos n umeros complexos e de fato um corpo ou seja:
Proposi cao 1.1.3 Sendo z
j
= x
j
+iy
j
, j = 1, 2. Ent ao temos
1. z
1
z
2
= z
2
z
1
(comutatividade);
2. (z
1
z
2
)z
3
= z
1
(z
2
z
3
) (associatividade do produto);
3. Sendo 1 = 1 + i0, ent ao z 1 = 1 z = z para todo z C (existencia de elemento neutro da
multiplica c ao);
4. Se z = x +iy C

= C0 ent ao temos z z
1
= z
1
z = 1, onde z
1
=
x
x
2
+y
2
i
y
x
2
+y
2
(existencia de inversa);
3
5. (z
1
+z
2
)z
3
= z
1
z
2
+z
1
z
3
(distributividade da soma);
6. z
1
z
2
= 0 se, e somente se, z
1
= 0 ou z
2
= 0 (inexistencia de divisores de zero).
Nota cao 1.1.4
z1
z2
:= z
1
z
1
2
.
Claramente, tal corpo e isomorfo, como espa co vetorial, a R
2
, atraves da aplica c ao x + iy
(x, y). De tal isomorsmo obteremos uma descri c ao geometrica das propriedades de C. Em par-
ticular, podemos induzir em R
2
o produto (x
1
, y
1
) (x
2
, y
2
) = (x
1
x
2
y
1
y
2
, x
1
y
2
+ x
2
y
1
). Em
particular teremos i = (0, 1) e i
2
= (0, 1) (0, 1) = (0 1, 0 0) = (1, 0). Portanto i e chamado
unidade imaginaria.
Observa cao 1.1.5 Nos n umeros reais se introduz o conceito de raiz quadrada de um n umero n ao
negativo a R
0
como sendo o n umero n ao negativo x =

a R
0
satisfazendo a equac ao
algebrica x
2
+a = 0. Em alguns livros se usa a notac ao i =

1, pelo fato de atender ` a equac ao

x
2
+ 1 = 0.
Sendo z = x +iy ent ao denotamos por z := x iy o complexo conjugado de z.
Novamente deixamos para o leitor a verica c ao das seguintes propriedades da opera c ao de
conjuga c ao.
Proposi cao 1.1.6 Sendo z, z
j
C, j = 1, 2. Ent ao temos:
1. z = z ;
2. (z
1
z
2
) = z
1
z
2
;
3. (z
1
+z
2
) = z
1
+z
2
;
4. z
1
= (z)
1
;
5.
_
z1
z2
_
=
z1
z2
;
6. z = z se, e somente se, z R.
Por outro lado, C herda a norma euclidiana de R
2
: [z = x + iy[ =
_
x
2
+y
2
, que satisfaz as
seguintes propriedades
Proposi cao 1.1.7 Sendo z, z
j
C, j = 1, 2. Ent ao temos:
(1) [z[ = (zz)
1/2
;
4
(2) [z[ = [z[;
(3) [z
1
z
2
[ = [z
1
[[z
2
[;
(4) [z
1
+z
2
[ [z
1
[ +[z
2
[;
(5) [[z
1
[ [z
2
[[ [z
1
z
2
[ [z
1
[ +[z
2
[;
(6)

z1
z2

=
|z1|
|z2|
;
(7)
1
z
=
z
|z|
2
z ,= 0.
1.1.2 Representacao polar
Vamos agora nos utilizar da identica c ao entre o corpo dos n umeros complexos e do plano real uti-
lizando assim as coordenadas polares de R
2
(0, 0) para descrever geometricamente os elementos
de C

= C0. De fato, dado z C

, ent ao existe (r, ) R

+
R tais que
z = r(cos +i sen ), z ,= 0.
Tal representa c ao nos permite por exemplo descrever geometricamente o produto ente dois
n umeros complexos. De fato, sendo z
j
= r
j
(cos
j
+ i sen
j
), j = 1, 2, ent ao pela lei dos senos e
dos cosenos, temos
z
1
z
2
= r
1
r
2
(cos(
1
+
2
) +i sen(
1
+
2
)) (1.1)
Observa cao 1.1.8 Note que se [a[ = 1, ent ao a aplica c ao z az e de fato uma rota c ao. Quando
[a[ , = 1, temos ent ao uma rota c ao seguida de uma homotetia
Uma consequencia imediata da equa c ao (1.1) e a chamada lei de Moivre: (cos +i sen)
n
=
cos(n) +i sen(n), ou mais apropriadamente z
n
= r
n
(cos(n) +i sen(n)).
Deni cao 1.1.9 Chamamos de argumento de um n umero complexo z C

, denotado por arg(z),

a qualquer n umero real tal que z = r(cos +i sen). Em particular, se arg
1
(z) e arg
2
(z) s ao dois
argumentos distintos de z ,= 0, ent aoarg
1
(z) arg
2
(z) = 2n, n Z. Finalmente chamamos de
valor principal do argumento de z, denotando-o por Arg(z), ao argumento de z que satisfaz
` as inequac oes:
< Arg(z)
5
Deixamos como exerccio a prova das seguintes propriedades do argumento:
Proposi cao 1.1.10 Sendo z, z
j
,= 0, j=1,2. Ent ao temos:
(1) arg(z
1
z
2
) = arg(z
1
) + arg(z
2
) (mod 2);
(2) arg(
z1
z2
) = arg(z
1
) arg(z
2
) (mod 2);
(3) arg(z
n
) = narg(z) (mod 2);
(4) z
1
= z
2
se, e somente se, [z
1
[ = [z
2
[ e arg(z
1
) = arg(z
2
) (mod 2).
Note que a deni c ao do corpo dos n umeros complexos e feita de tal forma a permitir a solu c ao
da equa c ao algebrica z
2
+1 = 0. Desta forma, torna-se natural identicar as solu c oes das equa c oes
algebricas da forma z
n
a = 0.
Proposi cao 1.1.11 Sendo a C, ent ao as solu c oes da equac ao algebrica
z
n
a = 0
s ao dadas por
z
k
=
n
_
[a[(cos(
Arg(a)+2k
n
) +i sen(
Arg(a)+2k
n
)) , k = 0 n 1.
Prova. Sendo a = r(cos +i sen) e z = (cos +i sen) ent ao temos:

n
(cos n +i senn) = r(cos +i sen)
de onde segue que
_
=
n

r
=

n
+
2k
n
, k = 0 n 1
Razes oitavas da unidade
Em particular para o caso em que a = 1 as solu c oes serao chamadas de razes da unidade e
dadas por z
k
=
k
n
, k = 0 n 1, onde
n
= cos(
2
n
) + i sen(
2
n
) e chamada de a n-esima raiz
primitiva da unidade.
Corolario 1.1.12 Sendo a C e z
0
uma das solu c oes da equac ao z
n
a = 0. Ent ao as solu c oes
s ao da forma
z
k
=
k
z
0
.
Prova. De fato,
n
= a se, e somente se,
_

z0
_
n
= 1. Temos portanto que

z0
=
k
, para
algum k = 0, . . . , n 1.
6
1.1.3 Retas e semi-planos
Iremos agora descrever em termos de n umeros complexos os semiplanos determinados por uma
reta real no mesmo.
Da geometria analtica, sabemos que uma reta real que passa por um ponto a R
2
paralela-
mente ao vetor b R
2
pode ser descrita por R
a,b
= z(t) = a +bt R
2
: t R, a, b R
2
, b ,= 0.
Uma reta passando por a paralelamente ao vetor b
Iremos agora descrever em termos de n umeros complexos as distintas parametriza c oes de uma
reta em C.
Lema 1.1.13 Duas retas R
a,b
, R
c,d
C coincidem se, e somente se, a c e d s ao m ultiplos reais
de b.
Prova. Primeiramente consideremos as parametriza c oes z(t) = a + bt e w(s) = c + ds para
R
a,b
e R
c,d
respectivamente. Suponhamos inicialmente que as retas coincidam. Temos portanto
que
c = w(0) = z(t
1
) = a +bt
1
c +d = w(1) = z(t
2
) = a +bt
2
de onde segue que
c a
b
= t
1
R
d
b
=
a c
b
+t
2
= t
2
t
1
R
o que prova a necessidade da condi c ao. Vejamos agora a suciencia. De fato, sendo R
c,d
parametrizada
por w(s) = c +ds, ent ao vamos buscar uma reparametriza c ao de w(s), digamos w
1
() = w(f())
de tal forma que w
1
() = z() = a + b. Basta-nos portanto buscar f : R R da forma
f() =
0
+
0
, onde
0
,
0
R
1
. Da equa c ao
a +b = w(
0
+
0
) = c +d(
0
+
0
)
= c +
0
d +
0
d
1
Tal reparametriza c ao representa na verdade uma mudan ca de referencial determinada por uma transla c ao
seguida de uma mudan ca na velocidade de percurso da reta R
c,d
.
7
temos que
0
=
b
d
R e
0
=
ac
d
R, de onde segue que R
a,b
= R
c,d
.
Iremos agora descrever em termos de n umeros complexos, quando um ponto pertence ou n ao a
uma dada reta real em C.
Proposi cao 1.1.14 Sendo R
a,b
uma reta real. Ent ao
z R
a,b
Im(
z a
b
) = 0.
Em particular, a express ao acima n ao depende da parametriza c ao escolhida para a reta.
Prova. Primeiramente observe que z R
a,b
se, e somente se, z = z(t
1
) = a + bt
1
, t
1
R ou
seja se, e somente se,
za
b
= t
1
R.
Por outro lado, se tivessemos escolhido outra parametriza c ao para a reta, digamos R
c,d
, ainda
assim nosso resultado persistiria, pois do lema anterior,a c = b e d = b, onde , R. Dessa
forma, temos ent ao que
Im(
z c
d
) = Im(
z a
d
+
a c
d
)
=
1

Im(
z a
b
) + Im(

)
=
1

Im(
z a
b
)
Logo Im(
zc
d
) = 0 se, e somente se, Im(
za
b
) = 0.
Dessa forma, vemos em particular que C R ca subdividido em dois semiplanos distintos:
Im(
za
b
) < 0 e Im(
za
b
) > 0
1.1.4 Exerccios
1. Mostre que o conjunto de todas as matrizes da forma
_
a b
b a
_
, a, b R, munido das
opera c oes de soma e produto de matrizes, e isomorfo ao corpo dos n umeros complexos.
2. Determine condi c oes sob as quais a equa c ao az +bz +c = 0 (com a, b constantes complexas)
tem exatamente uma solu c ao e calcule esta solu c ao.
3. Simplique as expressoes 1+cos(x)+cos(2x)+ +cos(nx) e 1+sen(x)+sen(2x)+ +sen(nx).
4. Seja = cos(
2
n
) + i sen(
2
n
) e seja m um inteiro que n ao e m ultiplo de n. Prove que
1 +
m
+
2m
+
(n1)m
= 0.
5. Ainda com o mesmo enunciado do item anterior, calcule o valor de 1
m
+
2m
+
(1)
n1

(n1)m
= 0 ?
6. Prove que
m
_
n

a =
nm

a, onde a C.
7. Seja uma raiz n-esima de a. Mostre que
n

ab =
n

b.
8. Seja
n
= e
2i
n
, onde n Z
+
. Se m Z
+
e tal que mdc(m, n) = 1, ent ao as razes n-esimas
da unidade sao exatamente

0
,
1
, ,
n1
onde =
m
n
.
9. Sendo 0 ,= a C. Ent ao mostre que (
n

a)
m
=
n

a
m
se, e somente se, mdc(m, n) = 1.
8
1.2 Funcoes de uma variavel complexa: Limite e continuidade
Trataremos aqui do estudo das propriedades innitesimais de fun c oes de uma variavel complexa.
Inicialmente vamos recordar algumas propriedades da topologia de R
2
, analogos aos de intervalos
abertos e fechados em R. Diremos que um conjunto U C e um conjunto aberto se para todo
z U existir > 0, tal que D(x, ) U, onde D(x, ) e o disco aberto de centro em x e raio , i.e.,
D(x, ) := z C : [z x[ < . Por conseguinte, diremos que um conjunto F e fechado se seu
complementar R F e aberto. Mais ainda, chamaremos de fecho de um conjunto S, denotado
por S, ao menor conjunto fechado contendo S, i.e., `a interse c ao de todos os conjuntos fechados
que contenham S
2
. Finalmente, diremos que um conjunto aberto e conexo quando pudermos
armar que n ao pode se decompor na uniao de dois conjuntos abertos, disjuntos e n ao-vazios.
Se e um conjunto aberto e conexo em C, ent ao diremos que e um domnio ou regiao.
Observa cao 1.2.1 Recordemos um resultado cl assico de topologia que nos diz que todo conjunto
aberto e conexo e de fato conexo por caminhos.
Deni cao 1.2.2 Dada uma fun c ao complexa f : U C C ent ao dizemos que f tem limite
L quando x tende ao ponto a C, se > 0 existe > 0 tal que [f(z) L[ < sempre que
0 < [z a[ < .
Observa cao 1.2.3 Note que na denic ao de limite s ao fundamentais as propriedades de corpo
dos n umeros complexos e o uso da norma herdada de R
2
.
Exemplo 1.2.4 1. Sendo f(z) = z
2
, ent ao lim
z0
f(z) = 0;
2. Sendo g(z) =
1
z1
, ent ao lim
z2
g(z) = 1;
3. Sendo h(z) =
az+b
cz+d
e c d ,= 0, ent ao lim
z0
h(z) = b.
Como no caso de fun c oes de uma variavel real as propriedades classicas de limite se aplicam,
ou seja se existirem os limites:
lim
za
f(z) = L, lim
za
g(z) = M
ent ao valem as propriedades
1. lim
za
f(z) +g(z) = L +M;
2. lim
za
f(z) = 0 lim
za
[f(z)[ = 0;
3. lim
za
f(z) g(z) = L M;
4. lim
za
f(z)/g(z) = L/M;
5. lim
za
f(z) = L;
6. lim
za
f(z) = L se, e somente se,
_
lim
za
Re(f(z)) = Re(L);
lim
za
Im(f(z)) = Im(L).
7. Se g e uma fun c ao limitada proximo a a e lim
za
f(z) = 0, ent ao lim
za
g(z) f(z) = 0;
De maneira analoga temos para limites innitos:
8. lim
za
f(z) = se, e somente se, lim
za
1
f(z)
= 0;
2
Como em toda topologia, a interse c ao de uma famlia de fechados em R
2
e tambem fechada.
9
9. lim
z
f(z) = L se, e somente se, lim
w0
f(
1
w
) = L.
Podemos denir o conceito de continuidade de maneira analoga `as fun c oes reais. Dizemos que
uma fun c ao complexa f : U C C e contnua em a U, quando existir o limite
lim
za
f(z) = f(a)
Sendo f, g : U C C fun c oes contnuas num domnio U, ent ao:
10. f +g, f g e f/g sao contnuas em seus respectivos domnios de deni c ao;
11. f g e contnua em seu domnio de deni c ao;
12. [f[ e contnua;
13. f e contnua se, e somente se, Re(f) e Im(f), sao contnuas.
1.3 Funcoes holomorfas
Nesta se c ao iremos generalizar o conceito de derivada de uma fun c ao do ponto de vista da extensao
de corpos dos n umeros reais para os n umeros complexos. De fato, n ao e difcil vericar que as
propriedades utilizadas na deni c ao de derivada sao as propriedades de corpo mais a norma de R.
Deni cao 1.3.1 Seja um domnio e f : C uma fun c ao. Ent ao dizemos que f e holo-
morfa em a se existir o limite
f

(a) := lim
za
f(z) f(a)
z a
o qual ser a chamado de a derivada de f em a. Em particular se f e holomorfa em todo ponto de
, ent ao diremos que f e holomorfa em . Mais ainda, diremos que uma fun c ao e inteira se for
holomorfa em todos os pontos do plano.
Exemplo 1.3.2 As func oes f(z) = const., g(z) = z, C, s ao holomorfas em todos os pontos
do plano, i.e., s ao fun c oes inteiras. De fato as mesmas regras de derivac ao do c alculo real nos diz
que f

0 e g

(z) = .
Exemplo 1.3.3 De maneira an aloga se verica que f(z) =
1
za
e uma fun c ao holomorfa em
C a, mas n ao e inteira, pois lim
za
f(z) = .
De maneira analoga `as fun c oes de uma variavel real, temos validas as seguintes propriedades
das derivadas. Se f e g sao holomorfas em a, ent ao:
1. f e contnua em a;
2. f +g e holomorfa em a e (f +g)

= f

+g

;
3. f g e holomorfa em a e (f g)

= f

g +f g

;
4. Se g(a) ,= 0, ent ao
f
g
e holomorfa em a e (
f
g
)

=
gf

fg

g
2
;
5. Se g = const. ent ao g

= 0.
6. (Regra da cadeia): Se Im(g) Dom(f) ent ao (f g)

(z) = f

(g(z)) g

(z).
10
Exemplo 1.3.4 (Polinomios) Sendo p(z) = a
0
+ a
1
z + + a
n
z
n
, a
n
,= 0, ent ao p C[z]
e holomorfa e alem disso p

(z) = a
1
+ 2a
2
z + na
n
z
n1
. De fato, por sucessivas aplica c oes da
propriedade (3.) acima, temos que a
k
z
k
e holomorfa e que (z
k
)

= kz
k1
. Desta forma, o resultado
segue, por induc ao matem atica, de sucessivas aplica c oes da propriedade (2.).
Exemplo 1.3.5 (Fun c oes Racionais) Sendo r(z) =
p(z)
q(z)
, onde p, q C[z] e Dom(r) := =
C q
1
(0), ent ao a fun c ao r e holomorfa. Sendo assim, em vista do exemplo anterior, basta
aplicar a propriedade (4.)
Como caso particular do exemplo anterior temos:
Exemplo 1.3.6 (Transforma c oes de M obius)
3
T(z) =
az+b
cz+d
.
1.3.1 Revisao de diferenciabilidade
Iremos agora apresentar outra caracteriza c ao para diferenciabilidade de fun c oes reais ou complexas.
Proposi cao 1.3.7 f : I R R (respect. f : C ) e diferenci avel (respect. holomorfa)
em a I (respect. ) se, e somente, se R (respect. C) e uma fun c ao : (a , a +) R
(respect. : (a, ) C) tais que
f(a + h) = f(a) + h + (h) h
onde lim
h0
(h) = 0. Em particular, teremos que = f

(a).
Prova. Basta vericar que
f(a +h) f(a)
h

f(a +h) f(a)
h
0,
e tomar (h) :=
f(a+h)f(a)
h
.
Recorde que as demonstra c oes usuais nos textos de Calculo I para a regra da cadeia sao falhos.
De fato, muitos deles se baseiam no seguinte argumento:
lim
wb
f(g(w)) f(g(a))
w a
= lim
wb
f(g(w)) f(g(a))
g(w) g(a)
lim
wb
g(w) g(a)
w a
= f(g(a)) g(a).
O problema neste tipo de argumenta c ao e que n ao podemos garantir que lim
wb
f(g(w))f(g(a))
g(w)g(a)
exista. Isto pode acontecer caso tenhamos g(w)g(a) se anulando em pontos w C arbitrariamente
proximos de a, como por exemplo se g(z) = x
2
sen(
1
z
), com a = 0.
Vamos ent ao aplicar a caracteriza c ao para fun c oes diferenci aveis dada pela Proposi c ao 1.3.7,
para obter a regra da cadeia em uma dimensao real (ou complexa).
Teorema 1.3.8 (Regra da cadeia) Sendo g : I R J R e f : J R func oes difer-
enci aveis em a I e g(a) J respectivamente, ent ao f g e diferenci avel em a I e sua derivada
e dada por
(f g)

(a) = f

(g(a)) g

(a)
3
As transforma c oes de M obius s ao tambem conhecidas como transfoma c oes lineares fracion arias ou homograas.
11
Prova. De acorod com a Proposi c ao 1.3.7
f(g(a +h)) = f(g(a) +g

(a) h +
g
(h) h)
= f(g(a)) +f

(g(a)) (g

(a) h +
g
(h) h) +
f
(g

(a) h +
g
(h) h) (g

(a) h +
g
(h) h)
= f(g(a)) +f

(g(a)) g

(a) h + [f

(g(a))
g
(h) +
f
(g

(a) h +
g
(h) h) (g

(a) +
g
(h))] h.
Tomando-se ent ao (h) := f

(g(a))
g
(h) +
f
(g

(a) h +
g
(h) h) (g

(a) +
g
(h)), teremos
lim
h0
(h) = f

(g(a)) lim
h0

g
(h) + lim
h0

f
(g

(a) h +
g
(h) h) lim
h0
(g

(a) +
g
(h))
= f

(g(a)) 0 + 0 (g

(a)) = 0.
Note que a demonstra c ao para o caso complexo e inteiramente analoga.
Vamos agora generalizar o conceito de derivada para varias variaveis, tendo como pano de fundo
o conceito de melhor aproxima c ao am de uma fun c ao.
Deni cao 1.3.9 Dizemos que f : U R
m
R
n
e diferenci avel em a U se, e somente se,
existem uma transformac ao linear L : R
m
R
n
e uma aplica c ao : D(0; ) R
m
R
n
tais
que
f(a +h) = f(a) +L(h) +(h) [[h[[
e lim
h0
[[(h)[[ = 0. Em particular L e chamada de derivada de f e ser a denotada por f

(a),
ou df(a).
Note que a deni c ao de continuidade para fun c oes reais utiliza apenas o fato de R ser um espa co
vetorial normado, portanto com essencialmente as mesmas palavras podemos denir o conceito de
continuidade para fun c oes denidas em R
n
. Da mesma forma, pode-se vericar facilmente que se
f e diferenci avel, ent ao f e contnua em a.
Aqui tambem e valida a regra da cadeia, sendo esta demonstrada com a ajuda da desigualdade:
Lema 1.3.10 Sendo L : R
m
R
n
uma aplic ao linear, ent ao existe c > 0 tal que
[[L(h)[[ c[[h[[
h R
m
.
Prova. Sendo h =

m
j=1
h
1
e
j
ent ao temos
[[L(h)[[ = [[L(
m

j=1
h
j
e
j
)[[ = [[
m

j=1
h
j
L(e
j
)[[
m

j=1
[h
j
[ [[L(e
j
)[[
max
j=1m
([[L(e
j
)[[)
m

j=1
[h
j
[ = c[[h[[
onde c = max
j=1m
([[L(e
j
)[[).
Teorema 1.3.11 (Regra da cadeia para varias variaveis) Sendo g : U R
m
V R
n
e f : V R
p
func oes diferenci aveis em a U e g(a) V respectivamente, ent ao f g e
diferenci avel em a U e sua derivada e dada por
(f g)

(a) = f

(g(a)) g

(a)
12
Prova. Repetiremos a argumenta c ao feita no caso de uma variavel para o caso de varias
variaveis, em vista da deni c ao acima. Por deni c ao temos
f(g(a +h)) = f(g(a) +g

(a) h +
g
(h)[[h[[)
= f(g(a)) +f

(g(a)) (g

(a) h +
g
(h)[[h[[) +
f
(g

(a) h +
g
(h)[[h[[) (g

(a) h +
g
(h)[[h[[)
= f(g(a)) +f

(g(a)) g

(a) h + [f

(g(a))
g
(h) +
f
(g

(a) h +
g
(h) h) (g

(a)
h
[[h[[
+
g
(h))][[h[[.
Logo, tomando-se (h) := f

(g(a))
g
(h) +
f
(g

(a) h +
g
(h) h) (g

(a)
h
||h||
+
g
(h)),
aplicando-se o lema anterior e a desigualdade triangular, iremos concluir que existem c
1
, c
2
> 0
tais que
lim
h0
[[(h)[[ = c
1
lim
h0
[[
g
(h)[[ + lim
h0
[[
f
(g

(a) h +
g
(h) h)[[ lim
h0
[[g

(a)
h
[[h[[
+
g
(h)[[
lim
h0
[[
f
(g

(a) h +
g
(h) h)[[ lim
h0
(c
2
h
[[h[[
+[[
g
(h)[[)
= c
2
lim
h0
[[
f
(g

(a) h +
g
(h) h)[[ = 0
1.3.2 Caminhos
Recorde que uma aplica c ao : I R R
n
e diferenci avel em t I se, e somente se, existe uma
transforma c ao linear L : R R
n
e uma aplica c ao : R R
n
tais que (t + h) = (t) + L(h) +
(h) [[h[[, onde L(h) = h v, onde v = L(1) R
n
. Neste caso diremos que e um caminho
diferenci avel em t, com velocidade instantanea

(t) = v, em t I.
Lema 1.3.12 Sendo U R
m
um conjunto aberto, : I U e f : U R
n
diferenci aveis em
a I e (a) U respectivamente, ent ao := f e diferenci avel em a I e sua derivada e dada
por

(t) = df((y))

(t).
Prova. Aplicando-se a regra da cadeia

(t) = d(f )

(t)
= df((y))

(t).
Observe que dada uma aplica c ao f : U R
m
R
n
, ent ao podemos analisar tal fun c ao
atraves de suas coordenadas, ou seja f := (f
1
, , f
n
), onde f
j
: U R
m
R, j = 1 n.
Proposi cao 1.3.13 Sendo U R
m
um conjunto aberto e conexo e f : U R
m
R
n
difer-
enci avel tal que f

(a) = 0. Ent ao f e constante.

Prova. Ja sabemos da validade desta arma c ao no caso em que m = n = 1, que e uma
consequencia imediata do teorema do valor medio. Vamos agora analisar o caso em que f : U
R
m
R. Neste caso, como U e aberto, ent ao quaisquer dois pontos sucientemente pr oximos,
digamos p e q, podem ser ligados por uma caminho diferenci avel : [0, 1] U, desta forma,
13
aplicando-se o Teorema Fundamental do Calculo e o Lema 1.3.12, temos que
f(p) f(q) = (1) (0)
=
_
1
0

(t)dt
=
_
1
0
df((y))

(t)
= 0
visto que f e localmente constante e contnua, de onde segue que e globalmente constante.
1.3.3 Matriz Jacobiana
Vamos agora estudar mais detalhadamente a derivada de uma aplica c ao de n variaveis atraves
de suas derivadas parciais. Seja T : R
m
R
n
uma transforma c ao linear e [T] a matriz que a
representa na base canonica, i.e., T(h) = [T] h, com h =

n
j=1
h
1
e
j
, ent ao temos:
Lema 1.3.14 As colunas da matriz [T] se identicam aos vetores T(e
j
), j = 1, . . . , n.
Prova. De fato, temos T(h) = T(

n
j=1
h
j
e
j
) =

n
j=1
h
j
T(e
j
) ou seja, o vetor T(h) se
escreve como
T(h) = h
1
T(e
1
) + +h
n
T(e
n
) = [T]
_
_
_
h
1
.
.
.
h
n
_
_
_
Recorde que as derivada parciais de uma fun c ao de varias variaveis f : U R
m
R, sao
dadas por
f
x
j
(x
1
, x
n
) = lim
h0
f(x +he
j
) f(x)
h
onde e
j
:= (
j1 termos
..
0, , 0 , 1, 0, , 0)
t

m
j=1
e a base canonica de R
n
. Desta forma, podemos denir as
derivadas parciais para uma aplica c ao f : U R
m
R por
f
xj
= (
f1
xj
, ,
fn
xj
)
t
, j = 1, . . . , m.
Temos ent ao:
Corolario 1.3.15 As colunas da matriz [f

(a)] s ao dadas por f

(a) e
j
=
f
xj
(a), j = 1 m.
Prova. Basta observar que por deni c ao
f
xj
(a) :=

(0), onde (t) := f (t) e (t) = a+te

j
.
Desta forma

(0) = f

(a)

(0) = f

(a)

(0) = f

(a) e
j
, de onde segue o resultado desejado.
Nota cao 1.3.16

E usual na literatura denotar-se a matriz f

(a) por
J(f)(a) =
_

_
f1
x1
(a)
f1
xn
(a)
.
.
.
.
.
.
fm
x1
(a)
fm
xn
(a)
_

_
e cham a-la de matriz Jacobiana de f.
14
No caso particular em que temos uma aplica c ao f : R
2
R
2
dada em coordenadas por
f(x, y) := (u(x, y), v(x, y)). Temos que a matriz Jacobiana sera dada por
J(f)(a) =
_
u
x
(a)
u
y
(a)
v
x
(a)
v
y
(a)
_
=
_
u
x
(a) u
y
(a)
v
x
(a) v
y
(a)
_
(1.2)
Para nalizar esta se c ao iremos enunciar um resultado cuja prova foge ao escopo deste livro.
Teorema 1.3.17 Sendo f := (f
1
, , f
n
) : U R
m
R
n
uma aplica c ao tal que as derivadas
parciais das fun c oes coordenadas f
j
: U R s ao contnuas em a U (j = 1, , n). Ent ao f e
diferenci avel em a U
4
.
1.3.4 Holomora versus diferenciabilidade: Transformacoes C-lineares
De todas as fun c oes complexas, as mais simples sao sem sombra de d uvida as fun c oes lineares.

E
facil vericar (atraves da deni c ao) que tais fun c oes sao diferenci aveis, no caso real, e holomorfas
no caso complexo. Vamos agora, utilizar a analise da se c ao anterior para vericar as condi c oes
para que uma transforma c ao linear de R
2
seja de fato uma transforma c ao linear complexa.
Inicialmente recordemos que C pode ser visto como um espa co vetorial real de dimensao 2 com
base canonica = 1, i. Dessa forma denotaremos as transforma c oes (R)-lineares de C por L
R
(C).
Por outro lado, C pode ser visto, como um espa co vetorial sobre C, sendo que as transforma c oes
C-lineares serao denotadas por L
C
(C).
Exemplo 1.3.18 Considere a transformac ao R-linear T : C C dada por [T] = diag(1, 3) e
seja = 1 +i. Sendo z = x +iy, teremos ent ao que
T(z) =
_
1 0
0 3
__
x
y
_
= (x, 3y)
= (1 +i)(x + 3i)
= (x 3y) + (x + 3y)i.
Por outro lado
T(z) = T((1 +i) (x +iy))
= T((x y) + (x +y)i)
=
_
1 0
0 3
__
x y
x +y
_
= (x y, 3x + 3y).
Dessa forma T(z) ,= T(z) e portanto T n ao e C-linear.
Lema 1.3.19 Seja T : C C uma transformac ao R-linear, ent ao s ao equivalentes:
i) T e C-linear;
ii) T(z) = z,onde C;
iii) T = 0 ou uma semelhanca positiva (homotetia mais rota c ao);
4
Para uma prova deste resultado veja [3] ou [7].
15
iv) [T] =
_
a b
b a
_
, com a, b R.
Prova. Primeiramente vamos vericar que i) ii). Sendo = T(1), ent ao T(z) = T(1 z) =
T(1) z = z. Note que a recproca decorre imediatamente da comutatividade em C. Por
outro lado, temos imediatamente da observa c ao 1.1.8 que ii) iii). Vamos agora vericar que
iii) iv). Como consequencia da

Algebra Linear teremos
T = r
_
cos() sen()
sen() cos()
_
.
Sendo assim, basta tomarmos a := r cos() e b = r sen(). Finalmente vamos vericar que iv) i).
De fato, do isomorsmo entre R
2
e C como espa cos vetoriais sobre R = R (dado por (x, y) x+iy)
teremos
_
a b
b a
_ _
x
y
_
=
_
ax by
bx +ay
_
,
de onde seque que T(z) = (ax by) + (bx + ay)i = (a + bi)(x + iy) = z, onde = a + bi,
z = x +iy, i.e., iv) ii) i).
Algumas consequencias imediatas do resultado acima sao: Sendo (f := u + iv) : C C
uma fun c ao holomorfa em a ent ao teremos:
Corolario 1.3.20 f

(a) L
C
(C) preserva orienta c ao
Prova. Segue imediatamente do Lema 1.3.19.iii).
Corolario 1.3.21 (Equa c oes de Cauchy-Riemann) Sendo f : U C C uma fun c ao dada
por f = u +iv, ent ao df(z) e C-linear se, e somente, se
_
u
x
= v
y
u
y
= v
x
Prova. Segue imediatamente de (1.2) e do Lema 1.3.19.iv).
Corolario 1.3.22 f e holomorfa em a (respect. em ) se, e somente se, f e diferenci avel e
satisfaz ` as equac oes de Cauchy-Riemann em a (respect. em ), i.e., df(z) e C-linear para z = a
(respect. z ).
Prova. Primeiramente vamos mostrar que sendo f holomorfa ent ao e diferenci avel e satisfaz
`as equa c oes de Cauchy-Riemann. De fato sabemos que existe : (a , a +) C tal que
f(a +h) = f(a) +f

(a) h +(h) h
onde lim
h0
(h) = 0. Dessa forma, se +i = f

(a), ent ao segue do Lema 1.3.19.iii) que

f(a +h) = f(a) +
_


_
h +(h)[[h[[ (1.3)
onde (h) :=
(h)h
||h||
. Como lim
h0
(h) = 0, ent ao f e diferenci avel. Mais, pela expressao da
derivada em (1.3), temos imediatamente que f satisfaz as equa c oes de Cauchy Riemann, pois
u
x
= = v
y
e v
x
= = u
y
.
16
Reciprocamente suponhamos que f seja diferenci avel e satisfa ca `as equa c oes de Cauchy-Riemann.
Ent ao temos pelo Corolario 1.3.15 que
f(a +h) = f(a) +
_
u
x
u
y
v
x
v
y
_
z=a
h +(h)[[h[[
= f(a) +
_
u
x
v
x
v
x
u
x
_
z=a
h +(h)[[h[[
= f(a) + (u
x
(a) +iv
x
(a)) h +(h) h,
onde (h) =
(h)||h||
h
e tal que lim
h0
(h) = 0. Donde segue que f e holomorfa.
O resultado acima permite-nos vericar quando uma aplica c ao diferenci avel f : R
2
R
2
e de
fato holomorfa.
Exemplo 1.3.23 A fun c ao f(x+iy) = x
2
+iy
2
e holomorfa somente sobre a reta y = x. De fato,
pelo Teorema 1.3.17 temos que f e diferenci avel, desta forma o Corol ario 1.3.22 nos diz que basta
vericar o conjunto dos pontos onde s ao satisfeitas as equac oes de Cauchy-Riemann
_
u
x
= 2x v
y
= 2y
u
y
= 0 v
x
= 0
Corolario 1.3.24 f e holomorfa e f

0 (em ) ent ao f const.

Prova. De fato, sendo f holomorfa ent ao satisfaz as equa c oes de Cauchy-Riemann
_
u
x
= v
y
u
y
= v
x
Sendo assim, como f

0, ent ao u
x
= v
y
= u
y
= v
x
= 0. Dessa forma, como e aberto e
conexo, ent ao e conexo por arcos, mais ainda tais arcos podem ser formados por uma sequencia
de retas horizontais e verticais. Dessa forma, o Teorema Fundamental do Calculo garante que f e
constante, bastando para isso integrar ao longo de tais caminhos poligonais.
Corolario 1.3.25 f e holomorfa e de classe C
1
se, e somente se, possui todas as derivadas parciais
contnuas e satisfazendo ` as equac oes de Cauchy-Riemann
5
.
Para nalizar esta se c ao gostaramos de observar que existe uma outra maneira de introduzir
as equa c oes de Cauchy-Riemann, que e usualmente utilizada na literatura. De fato temos pela
deni c ao de derivada que
f

(a) = lim
h0
hR
f(a+h)f(a)
h
=
f
x
(a) e f

(a) = lim
h0
hR
f(a+ih)f(a)
ih
= i
f
y
(a)
(1.4)
de onde segue que f
x
+if
y
= 0.
1.4 Consequencias das equa coes de Cauchy-Riemann
1.4.1 A conjugada harmonica
Inicialmente observemos que se f = u + iv e uma fun c ao holomorfa e de classe C
2
, ent ao u e v
satisfazem a equa c ao U = 0, onde U = U
xx
+ U
yy
(usa-se o termo Laplaciano de U). Desta
forma se coloca naturalmente a quest ao recproca.
5
A condi c ao de f ser de classe C
1
e de fato superua. Como veremos no corol ario 2.2.3, toda fun c ao holomorfa
e de classe C

.
17
Problema 1.4.1 Seja u : R uma fun c ao real de classe C
2
cujo Laplaciano se anula. Existe
uma fun c ao holomorfa f, de classe C
2
tal que Re(f) = u?
Para estudarmos tal quest ao e conveniente fazermos a seguinte:
Deni cao 1.4.2 Diremos que uma fun c ao de classe C
2
e harm onica quando seu Laplaciano se
anular identicamente.
Exemplo 1.4.3 Sendo dada u = x
2
y
2
. Calcular v, se existir, tal que f = u + iv e holomorfa.
De fato pelas equac oes de Cauchy Riemann
_
u
x
= v
y
u
y
= v
x
(1.5)
Portanto se considerarmos o campo de vetores X := (u
y
, u
x
), o problema torna-se encontrar
um potencial para o mesmo, i.e., encontrar v C
2
tal que X = v
6
. De fato temos ent ao que
_
v
x
= 2y
v
y
= 2x
Da primeira equa c ao temos que v = 2xy +(y), derivando-a com rela c ao a y obtemos da segunda
equa c ao 2x = 2x +

(y), ou seja const. Em particular podemos tomar 0 como uma

solu c ao particular.
Nota cao 1.4.4 Quando uma tal v existir diremos que e uma conjugada harm onica de u.
Analisando o metodo aplicado no exemplo, temos a impressao de poder utiliza-lo em situa c oes
mais gerais. De fato aplicando-se o teorema fundamental do Calculo para a segunda equa c ao de
(1.5) temos que
v(x, y) =
_
x
x0
u
y
(t, y)dt +(y)
onde (y) = v(x
0
, y). Por outro lado, derivando-se esta equa c ao vem que
u
x
(x, y) = v
y
(x, y) =
_
x
x0
u
yy
(t, x)dt +

(y)
u=0
=
_
x
x0
u
xx
(t, x)dt +

(y)
= u
x
(x, y) u
x
(x
0
, y) +

(y),
de onde segue que

(y) = u
x
(x
0
, y). Finalmente, novamente atraves do teorema fundamental do
Calculo,
(y) =
_
y
y0
u
x
(x
0
, y)dy
6
Em Fsica diz-se que X e o Hamiltoniano de u.
18
Temos, a princpio, a impressao de que o metodo funciona desde que a poligonal retangular
que liga os pontos (x
0
, y
0
) a (x, y
0
) e (x, y
0
) a (x, y), esteja contida em (ver gura cima).
No entanto e preciso garantir que a conjugada harmonica assim construda esteja de fato bem
denida, i.e., que tal constru c ao independa do caminho. Como veremos mais tarde isto acontece
em particular para todo o plano, um ret angulo, um disco, elipse etc. De fato a possiblidade
de construir uma tal fun c ao est a muito mais ligada a propriedades de natureza topologicas do
maiordomnio de deni c ao da fun c ao.
Como consequencia imediata da conclusao acima teremos que:
Corolario 1.4.5 Uma conjugada harm onica sempre existe localmente
7
.
1.4.2 Exemplo de nao existencia
Deni cao 1.4.6 Diremos que duas fun c oes, u, v : R
2
R s ao ortogonais quando suas curvas
de nvel se interceptam ortogonalmente, i.e., u v = 0.
Como consequencia imediata do anulamento do Laplaciano de u, temos a:
Proposi cao 1.4.7 Sendo f = u +iv holomorfa. Ent ao u e v s ao ortogonais.
Prova. De fato basta reparar que
_
u = (u
x
, u
y
)
v = (v
x
, v
y
)
de onde segue das equa c oes de Cauchy-Riemann que
u v = u
x
v
x
+u
y
v
y
= u
x
u
y
+u
y
u
x

E conveniente observar da demonstra c ao acima que alem de v ser ortogonal a u, ele e de

fato obtido de u por uma rota c ao de 90
0
no sentido anti-horario.
Exemplo 1.4.8 u(x, y) = log(x
2
+ y
2
) e harm onica e n ao possui conjugada em C

. De fato,
um c alculo direto mostra que u = 0. Observemos, por outro lado, que as curvas de nvel n ao
degeneradas de u s ao os crculos concentricos na origem. Portanto, vemos que as curvas de nvel
de v devem ser semi-retas partindo da origem (Note que isto signica que e fun c ao apenas do
argumento). Restringindo-se v a S
1
, devemos ter um ponto de m aximo ou mnimo, visto que S
1
e compacto. Seja z
0
S
1
um tal ponto. Pelo metodo dos multiplicadores de Lagrange temos que
v(z
0
) = u(z
0
). Por outro lado, como o gradiente e sempre ortogonal ` as curvas de nvel da
fun c ao, ent ao v(z
0
) u(z
0
). Segue portanto que [u(z
0
)[
2
= v(z
0
) u(z
0
) = 0, i.e., = 0,
visto que [u(z
0
)[ , = 0. Temos portanto que [v(z
0
)[
2
= 0, o que e um absurdo, pois das equac oes
de Cauchy-Riemann temos que [v[ = [u[ , = 0.
Observa cao 1.4.9 Mais adiante veremos que ao retirarmos uma semi-reta de C

e possvel en-
contrar f = u +iv, com u = log(x
2
+y
2
) e v = Arg(z).
7
Uma prova imediata do corol ario pode ser dada com o uso do teorema de Green. No entanto iremos construir,
mais adiante, uma prova mais elegante utilizando argumentos que se adaptam a situa c oes mais gerais.
19
1.4.3 Uma interpretacao em termos de primitivas
Dada u(x, y) harmonica, ent ao o problema de determinar f holomorfa tal que Re(f) = u equivale a
determinar uma primitiva de uma determinada fun c ao holomorfa g, i.e., determinar G holomorfa
tal que G

= g, em .
Lema 1.4.10 Se u : C R e uma fun c ao harm onica, ent ao a fun c ao g = u
x
iu
y
e
holomorfa. Alem disso, u possui conjugada harm onica se, e somente se, g possui primitiva.
Prova. Primeiramente observemos que de acordo com o Teorema 1.3.17 e o Corolario 1.3.25,
basta mostrarmos que f satisfaz `as equa c oes de Cauchy-Riemannn. Para tal, basta utilizar o
anulamento do Laplaciano de u e o Lema de Schwartz (pois u e de classe C
2
) para obter que
u
xy
= u
yx
.
Veriquemos agora a segunda parte do enunciado. Suponhamos inicialmente que u possui uma
conjugada harmonica v, ent ao f := u+iv e holomorfa. Por outro lado, sabemos que f

= u
x
+iv
x
=
u
x
iu
y
= g. Temos portanto que f e uma primitiva de g. Reciprocamente, seja G = U +iV uma
primitiva de g = u
x
iu
y
, ent ao como g = G

devemos ter
U
x
iU
y
= u
x
iu
y

_
U
x
= u
x
U
y
= u
y
U = u +c, c R
logo f = G c e uma fun c ao holomorfa com Re(f) = u, de onde segue que u possui conjugada
harmonica.
Observa cao 1.4.11 Infelizmente n ao temos (ainda)
_
z
z0
g(z)dz para denirmos uma primitiva
de g. Esta quest ao ser a motivo de grande parte do curso: A teoria de integra c ao complexa de
Cauchy.
Encerraremos esta se c ao com as seguintes consequencias imediatas das equa c oes de Cauchy-
Riemann.
Proposi cao 1.4.12 Seja f : C C holomorfa. Em qualquer das hip oteses abaixo, f e
constante.
a) f

0;
b) Re(f) ou Im(f) e constante (em particular se f e real).
c) [f[ e constante;
d) arg(f) e constante (f ,= 0).
Prova. a) Ja foi provado no Corolario 1.3.24. Vamos ent ao provar b). Seja f = u + iv com
u =const., ent ao f

= u
x
iu
y
= 0, de onde o resultado segue de a) (para o caso de Im(f) = 0
tomamos if). Vejamos agora a prova de c). Tomemos := u
2
+v
2
, emt ao como [f[ e constante,
podemos supor que ,= 0, pois caso contrario teremos [f[ =

= 0. Neste caso
= c C

=
_
uu
x
+vv
x
= 0
uu
y
+vv
y
= 0

_
uu
x
vu
y
= 0
uu
y
+vu
x
= 0

_
uu
x
= vu
y
uu
y
= vu
x
(1.6)
temos ent ao que u
x
u
y
= (u
2
+ v
2
) u
x
u
y
= 0 e portanto que u
x
u
y
= 0. Dessa forma,
(u
x
+u
y
)
2
= u
2
x
+ u
2
y
= (u
x
u
y
)
2
, de onde segue que u
x
+ u
y
= (u
x
u
y
). Analisando-se
ambas as hipoteses obteremos que u
x
= 0 ou u
y
= 0. Suponhamos, sem perda de generalidade,
que u
x
= 0, ent ao temos de (11) que
_
vu
y
= 0
uu
y
= 0
20
de onde segue que u
2
y
= (u
2
+ v
2
) u
2
y
= 0 e portanto que u
y
= 0, i.e., f

= 0, de onde
segue o resultado pelo item a).Vamos agora ao item d). Neste caso teremos f(z) = r(z)
0
;

0
= cos
0
+ i sen
0
, de onde segue que
1
0
f(z) = r(z) e holomorfa. Portanto, pela observa c ao
do item b), r(z) = const. e dessa forma f = const.

E interessante observar que todos estes resultados decorrem de outra forma do fato de toda
fun c ao holomorfa n ao constante ser aberta. Porem n ao precisamos de uma marreta para matar
uma pulga
1.4.4 As variaveis z e z: diferenciais
Vamos agora justicar rigorosamente o fato de que f e holomorfa se, e somente se, n ao depende
de z. Vamos iniciar tal estudo atraves de um enfoque formal. Seja f : C C, dada explicitamente
por (x, y) f(x, y), onde x =
1
2
(z +z) e y =
1
2i
(z z) substituindo na expressao da fun c ao temos

f(z, z) = f(x, y) = f(
1
2
(z +z),
1
2i
(z z)).
Uma c alculo formal nos fornece (pela regra da cadeia)
f
z
:= f
x
x
z
+f
y
y
z
=
1
2
(f
x
if
y
)
f
z
:= f
x
x
z
+f
y
y
z
=
1
2
(f
x
+if
y
)
Desta forma, vemos que
f
z
= 0 equivale `as equa c oes de Cauchy-Riemann f
x
+ if
y
= 0. Assim,
ao denirmos
f
z
:=
1
2
(f
x
+ if
y
) temos que f e holomorfa se, e somente se,
f
z
= 0. Note que
neste caso f

(z) =
f
z
. No entanto, observe que nossa deni c ao se baseia num computo formal que
pressupoe de uma forma implcita que z pode ser tratado como uma variavel independente de z
em C, o que de forma nenhuma e uma argumenta c ao embasada em conceitos matematicos ja bem
estabelecidos. Vamos portanto, atraves da Algebra Linear, estabelecer um suporte matematico
rigoroso para tal argumenta c ao formal, de maneira indireta.
Consiremos agora uma fun c ao diferenci avel f : R
m
R
n
. Ent ao, como vimos na se c ao
1.3.4, para todo ponto a , temos que df(a) L(R
m
, R
n
) de onde seque que ca bem denida
a aplica c ao
df : L(R
m
, R
n
)
x df(x)
a qual chamaremos de diferencial de f dada por x df(x). Aqui, estaremos particularmente
interessados nos casos m = n = 2, i.e., f : C R (com df : L
R
(C; R)) e g :
C C (com dg : L
C
(C)).
Tomando-se agora x, y : C
2
C
2
dadas respectivamente por x(x
0
, y
0
) = (x
0
, 0) e y(x
0
, y
0
) =
(0, y
0
) i.e., pelas aplica c oes lineares representadas pelas proje c oes nos eixos das abscissas e das
ordenadas, ent ao suas derivadas dx, dy : R
2
R
2
serao dadas respectivamente por dx(x
0
, y
0
)
(u, v) = u e dy(x
0
, y
0
) (u, v) = y. Vericaremos agora que que dx e dy formam uma base, dita
can onica, de L
R
(C). Antes de enunciarmos o teorema propriamente dito, observe que:
Lema 1.4.13 O conjunto das aplica c oes R-lineares do plano complexo nele mesmo, i.e., L
R
(C),
e um espa co vetorial sobre C.
Prova. Sendo T, S L
R
(C) e C, ent ao basta-nos mostrar que T + S L
R
(C). De fato,
21
sendo r R e v, w C ent ao
(T + S)(rv +w) = T(rv +w) + S(rv +w)
= rT(v) +T(w) +rS(v) +S(w)
= r(T(v) +S(v)) +T(w) +S(w)
= r(T +S)(v) + (T +S)(w),
como desejado.
Teorema 1.4.14 B = dx, dy e uma base de L
R
(C) como espa co vetorial sobre C.
Prova. Tomemos T L
R
(C), devemos ent ao mostrar que , C unicos tais que
T(z
0
) = dx(z
0
) +dy(z
0
). (1.7)
Veriquemos inicialmente as condi c oes que e devem necessariamente satisfazer caso, existam.
Recorde que T ca determinado pelos seus valores na base canonica de C, logo
T(1) =
T(i) =
de onde segue que caso existam , sao unicamente determinados por = T(1) e = T(i). Por
outro lado, um c alculo imediato mostra que e sao solu c oes de (1.7). De fato
T(z) = T(x +iy) = T(1) x +T(i) y
= x + y = dx(z) +dy(z).
Em particular, sendo f : C uma fun c ao diferenci avel, ent ao df(z) = (z)dx(z) +
(z)dy(z), onde (z) = df(z) (1) e (z) = df(z) (i)
8
, i.e.,
df = f
x
dx + f
y
dy.
Consideremos o espa co L
R
(C), das transforma c oes R-lineares de C e denotemos por z, z : C
C as aplica c oes dadas respectivamente por z(x+iy) = x+iy (i.e., a identidade) e z(x+iy) = xiy.
Teremos portanto as derivadas das mesmas, i.e., dz, dz L
R
(C), sendo dadas pelas seguintes
transforma c oes lineares: dz(z
0
) (u + iv) = u + iv e dz(z
0
) (u + iv) = u iv, respectivamente.
Ent ao temos, de maneira analoga, que.
Teorema 1.4.15 B = dz, dz e uma base de L
R
(C) como espa co vetorial sobre C.
Prova. Tomemos T L
R
(C), devemos ent ao mostrar que , C unicos tais que
T(z
0
) = dz (z
0
) +dz (z
0
). (1.8)
Veriquemos inicialmente as condi c oes que e devem necessariamente satisfazer caso, existam.
Recorde que T ca determinado pelos seus valores na base canonica de R
2
, logo
T(1) = + (1.9)
T(i) = i( )
8
Note que a diferencial e de fato dual ao gradiente, i.e., aonde aplicamos o gradiente com o produto interno
passamos a utilizar a diferencial enquanto transforma c ao linear.
22
de onde segue que caso existam , sao unicamente determinados por =
1
2
(T(1) iT(i)) e
=
1
2
(T(1) + iT(i)). Agora, um c alculo imediato mostra e sao solu c oes de (1.8), bastanto
para isto aplicar os valores acima no ramo direito desta equa c ao.
Em particular, sendo f : C uma fun c ao diferenci avel, ent ao
df(z) = (z)dz(z) +(z)dz(z), (1.10)
onde (z) =
1
2
(df(z) (1) idf(z) (i)) e (z) =
1
2
(df(z) (1) +idf (i)).
Deni cao 1.4.16 Diremos que T L
R
(C) e C-antilinear se T(z) = T(z).
Note que nas condi c oes do teorema acima, teremos que T e C-linear quando = 0 e C-antilinear
quando = 0.
Denimos ent ao por analogia (e com propriedade)
f
z
(z) = (z) =
1
2
(df(z) (1) idf(z) (i)) =
1
2
(f
x
if
y
)(z)
f
z
(z) = (z) =
1
2
(df(z) (1) +idf (i)) =
1
2
(f
x
+if
y
)(z).
Observe ainda que
dz = dx +idy
dz = dx idy.
Finalmente temos a
Proposi cao 1.4.17 Seja f : C uma fun c ao diferenci avel. Ent ao f e holomorfa se, e
somente se,
f(z)
z
= 0. Neste caso
f

(a) =
f(a)
z
para todo a .
Prova. Sendo f diferenci avel, ent ao df(a) se escreve de maneira unica como
df(a) =
f(a)
z
dz +
f(a)
z
dz
para todo a . Logo, pelo Lema 1.3.19 e pelo Corolario 1.3.21, f e holomorfa se, e somente
se, df(a) e C-linear, para todo a . Portanto f e holomorfa se e somente se
f(a)
z
= 0, visto
que dz e C-antilinear. Em particular, temos imediatamente que df(a) =
f(a)
z
dz. Logo, como por
deni c ao f

(a) z = df(a) (z) =

f(a)
z
dz(z) =
f(a)
z
z, para todo z R, ent ao f

(a) =
f(a)
z
para
todo a .
1.4.5 Transformacoes conformes
Faremos agora algumas observa c oes sobre transforma c oes lineares conformes e suas aplica c oes `as
fun c oes holomorfas.
Recorde da Algebra Linear que dados dois vetores n ao-nulos u, v R
2
, ent ao pelo lema de
Schwartz que
u,v
|u||v|
1.
23
Deni cao 1.4.18 Dados u, v R
2
dois vetores n ao nulos, ent ao diremos que o n umero real
:= arccos(
u, v)
[u[[v[
) [0, ]
e o angulo entre os vetores u e v.
Exemplo 1.4.19 O angulo entre os vetores u = (1, 0) e v = (0, 1) e dado por = arccos(0) = /2.
Deni cao 1.4.20 Diremos que uma transformac ao linear T L
R
(C) e conforme se preserva
angulos, i.e., dados z, w C

, ent ao
w, w)
[z[[w[
=
T(z), T(w))
[T(z)[[T(w)[
.

E de f acil verica c ao a partir da denic ao que

Proposi cao 1.4.21 A composta de duas transformac oes conformes e conforme.
Menos imediato e o seguinte resultado:
Proposi cao 1.4.22 Seja T L
R
(C). Ent ao T e conforme se, e somente se, T ,= 0 e e C-linear
ou C-antilinear.
Prova. Primeiramente observemos que sendo T ,= 0, ent ao T(1) = C

, logo T = S,
onde S L
R
(C) e tal que S(1) = 1. Portanto, basta vericar o enunciado para o caso em que
T(1) = 1. Agora note que 1, i e uma base de C como espa co vetorial real. Logo, como T(1) = 1
e T e conforme, ent ao T(i) = i, R. Por outro lado, como 1 + i repousa sobre a bissetriz do
primeiro e terceiro quadrantes ent ao 1 +i = 1 +T(i) = T(1 +i) forma um angulo de

4
radianos
com o eixo real, de onde segue que = 1. Logo T(z) = z ou T(z) = z.
O resultado acima justica a seguinte
Deni cao 1.4.23 Uma aplica c ao f : C e dita conforme, se e de classe C
1
e df(z) : C
C e conforme para todo z .
Note que se z e f : C e conforme, ent ao df(z) e C-linear ou C-antilinear.
Proposi cao 1.4.24 Seja um domnio e f : R
2
uma aplica c ao conforme tal que df(z
0
) e
C-linear (respec. C-antilinear), ent ao df(z) e C-linear (respec. C-antilinear) para todo z C.
Prova. De fato, como e conexo e f e contnua, ent ao det df() e conexo em R

. Logo
det df(z) e sempre positivo ou sempre negativo para todo z , de onde segue o resultado
desejado.
Teorema 1.4.25 Uma aplica c ao f : C e conforme se, e somente se, f e holomorfa e
f

(z) ,= 0 para todo z , ou f e antiholomorfa e

f(z)
z
,= 0 para todo z .
Prova. Primeiramente observe que se f e conforme, ent ao a Proposi c ao 1.4.22 assegura que
df(z) e C-linear ou C-antilinear. No primeiro caso temos pelo Corolario 1.3.22 que f e holomorfa.
No segundo caso, por argumento analogos, temos que f e holomorfa.
Reciprocamente se f e holomorfa (respec. antiholomorfa), ent ao pelo Corolario 1.3.22 temos
que df(z) e C-linear (respect. C-antilinear) de onde segue pela Proposi c ao 1.4.22 que df(z) e
conforme.
24
1.4.6 Exerccios
1. Mostre que (
f
z
) =
f
z
e conclua que
i)
f
z
= (
f
z
);
ii) f : C C e holomorfa se, e somente se, f : C C e anti-holomorfa.
2. A regra da cadeia nas variaveis z e z. Se pensarmos numa transforma c ao de R
2
como
uma fun c ao f(w, w) das variaveis w e w e tomarmos w = g(z, z) de forma que f g esteja
denida, teremos que f g(z, z) = f(g, g), isto sugere que
_
_
_
fg
z
=
f
z
g
z
+
f
z
g
z
fg
z
=
f
z
g
z
+
f
z
g
z
Prove rigiroisamente as identidades acima (Sugestao: Dadas S, T L
R
(C), determine as
cooordenadas de S T na base dz, dz em fun c ao das coordenadas de S e T nesta base).
3. Seja C um domnio simetrico com rela c ao ao eixo real, i.e., a se, e somente se,
z . Ent ao, dada f : C, prove que as arma c oes abaixo sao equivalentes:
i) f e holomorfa;
ii) f z e anti-holomorfa;
iii) f z e holomorfa.
4. Sendo f, g : C C duas fun c oes diferenci aveis, ent ao determine, em fun c ao das
derivadas de f e g em rela c ao a z e z, as derivadas

z
e

z
, nos seguintes casos:
i) := f +g;
ii) := f g;
iii) :=
f
g
, g ,= 0;
iv) (z) := z
m
z
n
.
5. Se e sucientemente diferenci avel, mostre que

2
f
zz
=

2
f
zz
=
1
4
(f
xx
+f
yy
).
Qu ao sucientemente diferenci avel deve ser f? Escreva a equa c ao de Laplace em termos das
variaveis z e z.
1.5 Funcoes elementares
1.5.1 A funcao exponencial
Desejamos denir uma fun c ao holomorfa que preserve as propriedaedes notaveis da fun c ao expo-
nencial real e de fato a extenda, i.e., exp : C C satisfazendo:
_
exp(x) = e
x
, x R;
exp(z
1
+z
2
) = exp(z
1
) exp(z
2
), z
1
, z
2
C.
25
devemos ter ent ao que
exp(z) = exp(x +iy) = exp(x) exp(iy),
portanto, basta denir exp(iy), que por sua vez se escreve:
exp(iy) = u(y) +iv(y).
Sedno assim
exp(z) = exp(x +iy) = exp(x) exp(iy) = e
x
u(y) +e
x
v(y)i
ou seja Re(exp(z)) = e
x
u(y) e Im(exp(z)) = e
x
v(y). Dessa forma, as equa c oes de Cauchy Riemann
se escrevem
_
e
x
u(y) = e
x
v

(y)
e
x
u

(y) = e
x
v(y)
de onde segue que
_
u

(y) = v(y)
v

(y) = u(y)
Note que a analise do campo de vetores associado ao sistema de EDOs acima, nos mostra
que as solu c oes (ou orbitas do campo) sao crculos concentricos. No entanto n ao desejando nos
valer de uma teoria estranha ao texto daremos uma demonstra c ao simples e pouco natural, se
n ao levarmos em considera c ao a analise anterior. De fato vamos mostrar que a fun c ao g(y) =
(u(y) cos(y))
2
+ (v(y) sen(y))
2
e identicamente nula.
9
De fato, derivando-se a fun c ao temos
g

(y) = 2(u(y) cos(y))(u

+ sen(y)) + 2(v(y) sen(y))(v

cos(y))
= 2[uu

+u sen(y) u

cos(y) sen(y) cos(y) +vv

v cos(y) v

sen(y)) + sen(y) cos(y)]

= 2(uv +u sen(y)) +v cos(y) +vu v cos(y) u sen(y)) = 0
de onde segue que g e constante. Por outro lado, como exp(0) = e
0
= 1. Ent ao u(0) = 1 e v(0) = 0,
de onde segue que g(0) = (u(0) cos(0))
2
+ (v(0) sen(0))
2
= 0. Logo
exp(iy) = cos(y) +i sen(y)
para todo y R. A rela c ao acima e conhecida como rela cao de Euler. Portanto nossa fun c ao
sera dada por
exp(z) = e
x
(cos(y) +i sen(y)).
e sera chamada de fun cao exponencial.
Da equa c ao acima e do fato da fun c ao exponencial ser uma fun c ao holomorfa (pois por deni c ao
satisfaz as equa c oes de Cauchy-Rieman) temos a:
Teorema 1.5.1 A fun c ao exp : C C(z) e holomorfa com derivada dada por
exp(z)

= exp z.
Prova. Ja vimos na constru c ao da fun c ao que a mesma e holomortfa, bastando apenas vericar
a ultima assertativa. De fato esta decorre imediatamente da equa c ao (1.4) pois f

(z) = f
x
(z) =
e
x
(cos(y) +i sen(y)) = f(z).
Em particular, a exponencial complexa e uma fun c ao inteira, i.e., denida e holomorfa em
todo plano complexo.
9
E obvio que tal demonstra c ao tem por base a suspeita de que as solu c oes deveriam ser crculos concentricos.
26
1.5.2 Interpretacao geometrica de exp(z)
Faremos uma interpreta c ao geometrica da transforma cao operada por exp(z) : C C

. Con-
sidere ent ao a composi c ao de aplica c oes:
: C
exp
C

S
1
R
z = x +iy exp(z) (exp(iy), x))
Ent ao temos exp =
1
. Nosso trabalho ent ao se reduz a descrevermos geometricamente as
fun c oes e . Iniciemos pela aplica c ao . De fato temos explicitamente que (z = x + iy) =
(e
iy
, x) produz o efeito de enrolamento do plano complexo sobre o cilindro S
1
R (ver gura
abaixo)
Vamos agora descrever geometricamente a aplica c ao . Inicialmente considere a superfcie R
log
dada pela revolu c ao do graco da fun c ao w = log(x) em torno do eixo w no espa co tridimensional,
com eixos x, y, w (ver gura abaixo) que e parametrizada por R(x, y) = (x, y, log(
_
x
2
+y
2
)).
De fato pode ser escrita como a composi c ao das fun c oes:
: C

P
1
R
log
Q
1
S
1
R
z = x +iy (x, y, log(
_
x
2
+y
2
)) (
z
|z|
, log([z[))
27
onde P(x, y, w) = (x, y) e a proje c ao nas duas primeiras coordenas e Q e a proje c ao radial ao longo
do cilindro em R
log
(ver gura abaixo).
1.5.3 As funcoes trigonometricas
Outro exemplo classico de fun c oes elementares nos e fornecido pelas fun c oes trigonometricas. Nosso
intuito inicial e o de estender as fun c oes trigonometricas reais para o plano complexo, de maneira
tal que a fun c ao estendida seja de fato holomorfa. Da formula de Euler, temos que
exp (i) = cos +isen(),
de onde segue que
_
_
_
cos =
exp(i)+exp(i)
2
sen() =
exp(i)exp(i)
2i
;
para todo R. Tais rela c oes nos inspira imediatamente a seguinte:
Deni cao 1.5.2
10
Chamamos de de fun c ao cosseno complexa ` a fun c ao cos : C C dada por
cos(z) =
exp(iz) + exp(iz)
2
.
Analogamente chamamos de fun c ao seno complexa ` a fun c ao cos : C C dada por
sen(z) =
exp(iz) exp(iz)
2i
.
De maneira inteiramente analoga ao caso real, denimos as fun c oes trigonometricas tangente,
cotangente, secante cossecante etc. Um c alculo direto mostra que tais fun c oes exibem as mesmas
propriedades classicamente conhecidas das fun c oes trigonometricas reais.
Proposi cao 1.5.3 Como no caso real as fun c oes trigonometricas complexas satisfazem ` as seguintes
propriedades:
1. cos
2
(z)+sen
2
(z) = 1;
2. (lei dos senos)
sen(z +w) = sen(z) cos(w) + sen(w) cos(z);
3. (lei dos cossenos)
cos(z + w) = cos(z) cos(w) sen(z)sen(w).
4. cos

(z) = sen(z);
5. sen

(z) = cos(z);
e por conseguinte todas as que porventura delas decorram.
10
Como consequencia do princpio da identidade (ver teorema 2.3.14) temos que estas s ao as unicas fun c oes
holomorfas cujas restri c oes a reta real s ao justamente as fun c oes seno e cosseno reais.
28
1.5.4 Logaritmos de um n umero complexo
Iremos agora introduzir o conceito de logaritmo de um n umero complexo e vericar algumas de
suas propriedades.
Deni cao 1.5.4 Sendo C

C tais que
exp(

) = ,
ent ao diremos que

e um logaritmo de e denotaremos por Log() o conjunto dos logaritmos

de .
Exemplo 1.5.5 Log(1) = 2ki : k Z. De fato,

= a

+b

i Log(1) se, e somente se,

e
a

(cos b

+i senb

) = 1
o que e equivalente ao sistema
_
_
_
e
a

= 1
cos b

= 1
sen b

= 0
cujas solu c oes s ao a

= 0 e b

= 2k, k Z.
Da deni c ao acima segue quase imediatamente que:
Lema 1.5.6 Sendo C

um logaritmo de , ent ao

= ln [[ +i arg().
Reciprocamente, todo n umero complexo desta forma e um logaritmo de .
Prova. De fato, sendo = r exp (i) e

= a +bi, a, b R, ent ao temos que

r exp (i) = exp(a +bi) = e
a
exp(ib),
de onde segue que
_
a = log(r),
b = (mod 2).
A recproca e imediata pois exp(log [[+i arg()) = e
log(||)
exp (i arg()) = [[ exp (i arg()) =
.
Temos imediatamente o
Corolario 1.5.7 Dois logaritmos de um mesmo n umero complexo n ao-nulo diferem por um m ultiplo
intero de 2i. Reciprocamente qualquer n umero complexo que dira de um logaritmo de um n umero
complexo por um m ultiplo interiro de 2i e tambem um logaritmo de .
Observa cao 1.5.8

E importante observar que um logaritmo de um n umero complexo tem ntima
rela c ao com o argumento desse mesmo n umero complexo.
Proposi cao 1.5.9 Sendo , C

, ent ao Log( ) = Log() + Log() (igualdade entre con-

juntos).
Prova. Sendo Log( ), ent ao exp() = = exp(

) exp(

) = exp(

). Dessa
forma, pelo Corolario 1.5.7 temos que =

+ 2ki. Aplicando-se novamente o mesmo

corol ario, temos que

:=

+ 2ki e tambem um logaritmo de e dessa forma =

Log() + Log(). Reciprocamente, se =

, onde

Log() e

Log(), ent ao
exp() = exp(

) = exp(

) exp(

) = , i.e., Log( ).
Em particular temos:
29
Corolario 1.5.10 Sendo C

, ent ao temos Log(

1

) = Log().
Prova. De fato, um c alculo imediato mostra que z Log(
1

) = Log(

||
2
) se, e somente se,
z = log(
1
||
)+i arg(

||
2
) = log [[
1
i arg() = (log [[+i arg()). Donde segue que z Log(
1

)
se, e somente se z Log().
1.5.5 Ramos de logaritmo
Por analogia, gostariamos de denir uma fun c ao holomorfa f := u + iv : C

C que
estendesse o logaritmo real e por sua vez fosse uma inversa para a exponencial complexa em
. Inicialmente vamos considerar fun c oes contnuas com esta ultima propriedade. Mais adiante
mostraremos que tais fun c oes sao de fato holomorfas.
Deni cao 1.5.11 Dizemos que uma fun c ao f : C

C e um ramo de logaritmo se
e contnua e para todo n umero complexo z tenhamos que f(z) e um logaritmo do n umero
complexo z, i.e.,
exp(f(z)) = z.
Dessa forma, sendo f(z) = u(z) +iv(z), ent ao pelo Lema 1.5.6, temos que
_
u(z) = ln [z[;
v(z) = arg(z) mod 2.
(1.11)
Note ainda que como consequencia do Corolario 1.5.7 temos que
Proposi cao 1.5.12 Se existir um ramo de logaritmo em C

, f : C, ent ao todos os
ramos de logaritmo em s ao da forma f(z) +2ki, com k Z. Reciprocamente f(z) +2ki e um
ramo de logaritmo para todo k Z.
Prova. Sendo f, g : C dois ramos de logaritmo, ent ao pelo Corolario 1.5.7, temos que
f(z)g(z)
2i
Z segue portanto que a fun c ao contnua k : Z dada por k(z) :=
f(z)g(z)
2i
deve
ser constante, visto que e conexo.
Reciprocamente sendo f : C um ramo de logaritmo, ent ao g(z) := f(z) +2ki e tambem
contnua e mais ainda
exp(g(z)) = exp(f(z) + 2ki)
= expf(z) = z.
Corolario 1.5.13 Se dois ramos de logaritmo em , coincidem em um ponto de , ent ao eles
coincidem em .
Prova. Pela proposi c ao anterior temos que g(z) = f(z) + c. Por outro lado f(z
0
) = g(z
0
), de
onde segue que c = 0.
Corolario 1.5.14 Se existir um ramo de logaritmo em , digamos f : C, e
0
= f(z
0
) mod
2i. Ent ao existe um unico ramo de logaritmo em , digamos f
0
: C, tal que
0
= f
0
(z
0
).
Prova. Sabemos que
0
= f(z
0
) + 2k
0
i, com k
0
Z. Dessa forma, da proposi c ao anterior,
temos a existencia de tal ramo de logaritmo dado pela expressao f
0
(z) := f(z)+2k
0
i. Finalmente,
a unicidde decorre do corol ario anterior.
30
1.5.6 Ramos de argumento
Vamos agora relacionar os ramos de logaritmo com a fun c ao argumento, no intuito de melhor
esclarecer o ponto vital na deni c ao do domnio natural de um ramo de logaritmo.
Deni cao 1.5.15 Dizemos que uma fun c ao : C

R e um ramo de argumento se e
contnua e para cada z , (z) seja um argumento do n umero complexo z, i.e.,
z
[z[
= exp(i(z)).
Proposi cao 1.5.16 f(z) = log [z[ + i(z) e um ramo de logaritmo em C

se, e somente se,

e um ramo de argumento em .
Prova. Inicialmente suponhamos que f e um ramo de logaritmo, em particular temos que e
contnua. Por outro lado temos que
exp(f(z)) = exp(log [z[) exp(i(z))
[z[ exp(i(z))
de onde segue que e ramo de argumento. Reciprocamente, se e ramo de argumento, ent ao
exp(f(z)) = [z[ exp(i(z))
= [z[
z
[z[
= z
Temos imediatamente que:
Corolario 1.5.17 Dado qualquer z
0
C

ent ao existe um ramo de logaritmo denido numa

vizinhanca de z
0
.
Prova. Basta vericar que na vizinhan ca de qualquer ponto sempre e possvel denir uma
fun c ao trigonometrica inversa conveniente por exemplo para o primeiro quadrante podemos tomar
arcsen ou arccos.
Alem disto, como consequencia da Proposi c ao 1.5.12 e do corol ario que a segue temos os dois
resultados seguintes:
Corolario 1.5.18 Dois ramos de argumento diferem por um m utiplo inteiro de 2. Reciproca-
mente se uma fun c ao contnua difere de um ramo de argumento por um m ultiplo inteiro de 2 e
tambem um ramo de argumento.
Corolario 1.5.19 Se dois ramos de argumento em coincidem num ponto ent ao coincidem ao
longo de todo .
Exemplo 1.5.20 Os ramos denidos por cortes:
a) O ramo principal de argumento: arg
0
= Arg : C

(, );
b) O ramo de argumento arg

: C

R
+
(0, 2);
c) O ramo principal de logaritmo : Log(z) = log([z[) + iArg(z);
Note que o angulo de onde se inicia a medida dos angulos e de fato o ponto fundamental que faz
diferir dois ramos de logaritmo denidos num mesmo domnio. Mais ainda, a partir dos exemplos
acima, nossa intui c ao sugere que n ao e possvel obter um ramo de logaritmo em todo C

.
31
Exemplo 1.5.21 N ao existe ramo de logaritmo em C

. De fato, se existisse um ramo de logaritmo

em C

ent ao pela Proposi c ao 1.5.16, existiria tambem um ramo de argumento, digamos , em

C

. Assim [
C

R
e Arg s ao dois ramos de argumento na regi ao C

. Logo temos que

Arg(z) = (z) +2ki, k Z e portanto Arg se extende continuamante a C

, o que e um absurdo,
visto que
lim
y0

Arg(1 +iy) =
enquanto que
lim
y0
+
Arg(1 +iy) =
ou seja lim
z0
Arg(z) n ao existe.
Note que o exemplo acima (baseado fundamentalmente na Proposi c ao 1.5.16) mostra que o
domnio de deni c ao natural de um ramo de logaritmo tambem depende crucialmente do ponto
inicial de onde come camos a medir angulos. De fato isto e o que esta por de tras da prova da
Proposi c ao 1.5.12. Como n ao e difcil vericar, um ramo de logaritimo assim como um ramo de
argumento tem como limite natural um setor de abertura 2.
1.5.7 Ramos de logaritmo primitivas
Iremos agora relacionar a existencia de ramos de logaritmo com a existencia de primitivas de uma
determinada fun c ao.
Teorema 1.5.22 Se f e um ramo de logaritmo em C

ent ao f e holomorfa em e f

(z) =
1
z
z .
Prova. Antes de mais nada observemos que f e injetiva e portanto se z
0
temos que
f(z) ,= f(z
0
), z , z ,= z
0
. Vamos mostrar que existe f

(z
0
) e que f

(z
0
) =
1
z0
. Para tal
tomemos o quociente de Newton
=
f(z) f(z
0
)
z z
0
=
f(z) f(z
0
)
exp(f(z)) exp(f(z
0
))
=
1
exp(f(z))exp(f(z0))
f(z)f(z0)
=
1
expwexpw0
ww0
onde w = f(z) e w
0
= f(z
0
). Sendo f contnua, ent ao w w
0
quando z z
0
e portanto
lim
zz0
e
w
e
w0
w w
0
= lim
ww0
e
w
e
w0
w w
0
= e
w0
,= 0
onde a ultima igualdade decorre do Teorema 1.5.1. Segue portanto que
lim
zz0
=
1
e
w0
=
1
exp(f(z
0
))
=
1
z
0
Proposi cao 1.5.23 Para que exista um ramo de logaritmo (ou de argumento) em C e
necess ario e suciente que existe uma primitiva da fun c ao z
1
z
em .
Prova. A necessidade vem diretamente do Teorema 1.5.22. Vejamos ent ao a suciencia.
Suponhamos que exista g : C holomorfa tal que g

(z) =
1
z
. Queremos mostrar que existe um
ramo de logaritmo, digamos f : C. Faremos ent ao uma pequena digress ao de modo a tornar
mais claro a maneira pela qual iremos provar a existencia de um tal ramo de logartmo f. De fato,
32
se um tal ramo existir, ent ao pelo Teorema 1.5.22, teremos f

(z) =
1
z
= g

(z), ou equivalentente,
que g(z) = f(z) + c, c C. Portanto exp(g(z)) = exp(f(z) + c) = z, com = exp(c), i.e., a
fun c ao h(z) := z exp(g(z)) sera necessariamente constante e igual a 1/ onde = exp(c). Sendo
assim, nossa digress ao nos leva a crer que se provarmos que h e uma fun c ao constante e tomarmos
c como sendo um logaritmo de = 1/h, ent ao f(z) := g(z) c sera o desejado ramo de logaritmo.
Vamos ent ao provar o que nos falta. Derivando-se h vem que
h

(z) = exp(g(z)) z exp(g(z)) g

(z)
= exp(g) z exp(g)
1
z
= 0.
Desta forma, se h(z) = 1/, e c Log(), ent ao f(z) = g(z) c e uma fun c ao continua (de fato
holomorfa) satisfazendo
exp(f(z)) = exp(g(z))/ exp(c)
=
z
h(z)
= z
sendo portanto um ramo de logaritmo em .
1.5.8 Das propriedades de Log(z)
Analisaremos agora quais das propriedades conhecidas da fun c ao logaritmo real realmente se preser-
vam nos ramos de logaritmo complexo.
Proposi cao 1.5.24 Sendo z, z
1
, z
2
n umeros complexos nos seguintes domnios, ent ao s ao v alidas
as rela c oes
1. Log(z
1
z
2
) = Log(z
1
) +Log(z
2
) vale para o setor Re(z) > 0, mas n ao vale em geral. ;
2. Log(
1
z
) = Log(z) para todo z C

;
3. Log(exp(z)) = z. Tal identidade so e valida para < Im(z) < , que por sua vez e
exatamente a imagem de C

por Log.
Prova. Veriquemos inicialmente a primeira arma c ao do item 1). De fato temos que
Log(z
1
z
2
) = ln [z
1
z
2
[ +iArg(z
1
z
2
) = ln [z
1
[ + ln [z
2
[ +i(Arg(z
1
) +Arg(z
2
) + 2k).
Mas como z
1
, z
2
Re(z) > 0, ent ao Arg(z
1
)+Arg(z
2
) (, ), assim como Arg(z
1
z
2
) (, ),
logo k = 0, i.e., Arg(z
1
) + Arg(z
2
) = Arg(z
1
z
2
). Com rela c ao a segunda arma c ao, mesmo
que z
1
, z
2
C

, pode acontecer que Arg(z

1
) + Arg(z
2
) ,= Arg(z
1
z
2
). Por exemplo, se
z
1
= z
2
= 1 +i, teremos Arg(z
1
) = Arg(z
2
) =
3
4
, enquanto que Arg(z
1
z
2
) =

2
.
O item 2) decorre imediatemante do fato de Arg(
1
z
) = Arg(z) e da identidade se vericar
caso z R
+
.
Vamos agora vericar o item 3). De fato temos que exp(z) = e
x
exp(iy), de onde segue que
Log(exp(z)) = ln [ exp(z)[ +iArg(exp(z)) = ln(e
x
) +iArg(cos y +i seny)
= x +iy,
esta ultima igualdade acontecendo se, e somente se, y (, ).
33
1.5.9 Ramos de raiz
Iremos agora estender de maneira natural o conceito de ramo de raiz n-esima para um n umero
complexo.
Deni cao 1.5.25 Um ramo de raiz n-esima em um domnio e uma fun c ao contnua f : C
tal que f(z) e uma raiz n-esima do n umero z, z , i.e., f(z)
n
= z.
A rela c ao entre ramos de logaritmo e ramos de raiz ca determinada pela
Proposi cao 1.5.26 Se g : C e um ramo de logaritmo, ent ao f(z) = exp(
1
n
g(z)) e um ramo
de raiz n-esima em .
Prova. Imediata a patir das deni c oes, pois (exp(
1
n
g(z)))
n
= exp
_
n
1
n
g(z))
_
= exp(g(z)) = z.
Aqui cabe ressaltar que todo ramo de raiz n-esima e da forma acima como veremos mais adiante.
Deni cao 1.5.27 O ramo principal de raiz e por denic ao exp(
1
n
Log(z)) e ser a denotado por
n

z.
Vamos agora observar algumas propriedades do ramo principal de raiz, que decorrem das pro-
priedades do ramo de logaritmo.
Proposi cao 1.5.28 :
i)
n

z
1
z
2
=
n

z
1

n

z
2
, sempre que Re(z
j
) > 0, j = 1, 2;
ii)
n
_
1
z
=
1
n

z
, para todo z C

;
iii)
n
_
m

z =
mn

z para todo z C

.
Prova. Os itens i) e ii) decorrem imediatamente das propriedades do logaritmo principal.
Vamos ent ao vericar o item iii). De fato, seja w = exp(
1
m
Log(z)), ent ao temos que
n
_
m

z =
n

w = exp(
1
n
Log(w))
= exp(
1
n
(ln([w[) +i Arg(w)))
Sendo assim,
[w[ = [ exp(
1
m
Log(z))[ = exp(
1
m
Re(Log(z)))
= exp(
1
m
ln([z[)) = [z[
1
m
.
por outro lado,
Arg(w) =
1
m
Arg(z) + 2k
de onde segue que Arg(w)
_

m
+ 2ki,

m
+ 2ki
_
(, ). Logo, para que a interse c ao
seja n ao nula temos que k = 0 e Arg(w) =
1
m
Arg(z). Dessa forma
n
_
m

z = exp
1
n
(log([z[
1
m
+
1
m
Arg(z)i))
=
1
mn
exp(log([z[ +iArg(z)) =
mn

z
Daremos agora um exemplo mostrando a necessidade da hipotese no item i) acima.
34
Exemplo 1.5.29 Sendo z
1
= z
2
=
1+i

2
= exp(
3i
4
) teremos z
1
z
2
=
_
exp(
3i
4
)

2
= exp(
3i
2
).
Logo

z
1
z
2
= exp(
1
2
Log(z
1
z
2
)) = exp(
1
2
(ln([e
3i
2
[) +iArg(
3i
2
)))
= exp(
1
2
(ln(1)
i
2
)) = exp(
i
4
)
Por outro lado

z
1
=

z
2
= exp(
1
2
[ln([ exp(
3i
4
)[) +iArg(exp(
3i
4
))])
= exp(
1
2
[ln(1) +iArg(exp(
3i
4
))])
= exp(
1
2
[iArg(exp(
3i
4
))])
= exp(
3i
8
)
logo

z
1

z
1
= exp(
3i
4
) ,= exp(
i
4
) =

z
1
z
2
.
1.5.10 Potencias com expoentes arbitrarios: Ramos de potencia
Gostaramos de estender o conceito de potencia de um n umero complexo z
0
por um n umero natural
n, i.e z
n
0
para um n umero complexo qualquer , i.e., z

0
. Recordemos inicialmente que a potencia
natural, digamos n, de um n umero real positivo a se d a por
a
n
=
n vezes
..
a a.
Por outro lado, sendo b o logaritmo (real) do n umero (real) a, ent ao temos que e
b
= a e portanto
a
n
= exp(b)
n
= exp(n b).
Tal observa c ao justica a seguinte
Deni cao 1.5.30 Diremos que um n umero complexo z
0
e uma potencia de um n umero complexo
se for da forma
z
0
= exp( )
onde e um logaritmo de .
Exemplo 1.5.31 Sendo z
0
1 +i de 1, ent ao
z
0
= exp((1 +i) log(1))
= exp((1 +i) i arg(1))
= exp(2k(i 1))
= e
2k
exp(2ki)
= e
2k
,
onde k Z.
35
Exemplo 1.5.32 As potencias 2 +i de 1 +i s ao dadas por
z
0
= exp((2 +i) log(1 +i))
= exp((2 +i)(ln

2 +i arg(1 +i))
= exp(2 +i)[ln 2
1/2
(2k +

4
)i]
= exp((2 ln 2
1/2

8k + 1
4
) +i(ln 2
1/2
+
8k + 1
2
))
= e
ln(2
8k+1
4
)
exp(ln

2 + (
8k + 1
2
)))
onde k Z.
Deni cao 1.5.33 Uma fun c ao contnua f : C C e dita um ramo de potencia C
em quando f(z) for uma potencia do n umero z, para todo z .
A rela c ao entre ramos de logaritmo e ramos de raiz ca determinada pela
Proposi cao 1.5.34 Se g : C e um ramo de logaritmo, ent ao f(z) = exp( g(z)) e um
ramo de potencia em .
Prova. De fato, da deni c ao de ramo de potencia, basta vericar que f e contnua o que
decorre do fato de exp e g serem contnuas.
Deni cao 1.5.35 O ramo principal de potencia e por denic ao a fun c ao z exp(Log(z)),
para todo z C

.
Vamos agora vericar uma rela c ao fundamental entre o ramo principal de potencia e o n umero
de Euler que serve como base para o logaritmo natural.
Lema 1.5.36 Sendo e o n umero de Euler, ent ao e valida a rela c ao
e
z
= exp(z),
onde e
z
e o ramo principal de potencia. Em particular a fun c ao z e
z
e uma fun c ao inteira.
Prova. De fato basta aplicar a deni c ao:
e
z
= exp(z Log(e)) = exp(z ln(e)) = exp(z).
pois ln e o logaritmo natural.
Note que este lema justica largamente o uso da expressao e
z
ao inves de exp(z), inclusive na
forma classica como se expressa a rela cao de Euler
e
i
= cos() +i sen()
Finalizaremos esta se c ao vericando algumas propriedades dos ramos de potencia que decorrem
imediatamente de propriedades dos ramos de logaritmo.
Proposi cao 1.5.37 Seja z

um ramo de potencia no domnio C e z

j
, j = 1, 2, ent ao:
i) z

coincide com a denic ao cl assica de potencia no caso = p N;

ii) z
1/p
=
p

z para todo p N, com rela c ao ao mesmo ramo de logaritmo;

36
iii) z

=
1
z

;
iv) (z
1
z
2
)

= z

1
z

2
, com o ramo principal de potencia, se Re(z
1
), Re(z
2
) > 0;
v) z
+
= z

;
vi) (a

= a

, onde o ramo de potencia para 1

n ao e nececss ariamente o mesmo ramo

das duas potencias anteriores. Em particular se = n, temos que (a

)
n
= a
n
.
Prova. O item i) segue de um c alculo imediato, pois
z
p
= exp(p log(z)) = exp(p ln [z[ +pi arg(z))
= exp ln [z[
p
exp(pi arg(z))
= [z[
p
exp(i arg(z))
p
= [[z[ exp(i arg(z))]
p
=
p vezes
..
z z.
O item ii) segue imediatamente da deni c ao, pois z
1
p
= exp(
1
p
log(z)) =
p

z.
O item iii) decorre de um c alculo direto. De fato
a

= exp(log(a))
=
1
exp(log(a))
=
1
a

.
O item iv) segue de
(z
1
z
2
)

= exp(Log(z
1
z
2
))
= exp(Log(z
1
) +Log(z
2
))
= exp(Log(z
1
)) exp(Log(z
2
))
= z

1
z

2
.
O item v) decorre de
a
+
= exp(( +) log a)
= exp(log a + log a)
= exp(log a) exp( log a)
= a

.
Finalmente veriquemos o item vi). De fato temos que
(a

= exp( log(a

)) = exp( log exp(log a))

Sendo ent ao b = log a, ent ao vamos supor inicialmente que e
b
/ R
0
. Teremos ent ao que
log exp(b) = ln [e
b
[ +i arg(e
b
)
= ln [e
b
[ +i Arg(e
b
) +i(arg(e
b
) Arg(e
b
))
= Log(e
b
) +i(arg(1) Arg(1))
= b + 2ki +i arg(1)+
= b + log
k
(1).
37
onde a ultima igualdade supoe a princpio um novo ramo de logartimo. Dessa forma temos que
(a

= exp((log a + 1))
= exp( log a) exp( log(1))
= a

(1)

.
O caso geral segue de tomarmos um outro ramo de argumento tal que arg(1) = 0.
1.5.11 Exerccios
1. Mostre que [exp(z)[ = e
Re(z)
para todo z C.
2. Seja um logaritmo de a. Mostre que Log(ab) = + Log(b);
3. Seja f um ramo de logaritmo em . Ent ao mostre que, dados z
1
, z
2
, f(z
1
) f(z
2
)
independe do ramo de logaritmo escolhido.
4. Sejam g : C holomorfa com g

(z) ,= 0 para todo z e f :

0
contnua
e tal que g(f(z)) = z para todo x

. Prove que f e holomorfa e que f

(z) =
1
g

(f(z))
.
Conclua que se existe um ramo de raiz n-esima numa regiao C

, ent ao f e holomorfa e
f

(z) =
f(z)
nz
.
5. Sendo f : C

uma fun c ao holomorfa ent ao chamamos de ramo de logaritmo de f

a uma fun c ao contnua que satisfaz a rela c ao e
g(z)
= f(z), para todo z . Prove que g e
holomorfa (sugestao: Prove que dois ramos de logaritmo de f em uma regiao diferem por
uma constante e use a existencia local de ramos de logaritmo).
6. Seja f como no exerccio anterior, mostre que existe um ramo de logaritmo de f em se, e
somente se, existe primitiva em para a fun c ao
f

(z)
f(z)
.
7. De acordo com a deni c ao dada no exerccio 5 e de forma semelhante ao realizado no estudo
dos ramos de logaritmo, determine uma regiao onde esteja denido um ramo de logaritmo
das seguintes fun c oes:
a) f(z) = z a, a C ;
b) f(z) = (z a)(z b), a, b C, a ,= b;
c) f(z) = z
2
1;
d) f(z) = log(z).
8. Sendo p, q Z tais que m.d.c.(p, q) = 1 e z
1
q
o ramo princiapal de raiz q-esima, mostre que
Log(z
p
q
) =
p
q
Log(z) se, e somente se, Arg(z) (
q
p
,
q
p
) (, ) (sugestao: Mostre, us-
ando a deni c oes, que Arg(exp(
pi
q
Arg(z))) = Arg(z) se, e somente se, Arg(z) (
q
p
,
q
p
)
(, ).
9. Mostre que existe um ramo de logaritmo de f(z) = log(
z
z1
) no complementar do segmento
[0, 1]. (Sugestao: Observe a imagem do complementar do segmento [0, 1] pela fun c ao
z
z1
).
10. Prove o Corolario 1.5.17.
11. Sendo C

, considere a aplica c ao = arg

+
: C R
+
], 2[ dada por (z) =
], 2[/rg(z), onde /rg(a) denota o cojunto dos argumentos do n umero complexo a.
Ent ao:
38
i) Mostre que esta bem denida e e um ramo de argumento;
ii) Compare os valores de (z) e de Arg(z) na interse c ao de seus domnios de deni c ao.
12. Mostre que n ao existe ramo holomorfo de raiz n-esima em nenhuma regiao contendo 0 C.
13. Mostre que n ao existe ramo de raiz n-esima em C

.
14. Se f, g : C sao ramos de raiz n-esmia, ent ao temos que g(z) =
k
n
f(z), onde
n
e a
n-emsima raiz primitiva da unidade.
15. Se a, C e a ,= 0, as potencias de a sao todos ons n umeros complexos da forma e
log a
onde log a e qualquer um dos logaritmos de a. Denotando este conjunto por a

, prove que:
i) Se e uma potencia de a, ent ao todas as potencias de a sao da forma 1

;
ii) a

=
1
a

;
iii) (a b)

= a

;
iv) (a

= a

;
v) a
+
= a

= a

vi) Se Z ent ao a nova deni c ao de a

coincide com a antiga.

vii) se =
m
n
Q com mdc(m, n) = 1, ent ao a

= a
m
n
=
n

a
m
= (
n

a)
m
16. Sendo f : C um ramo de potencia na regiao , prove que:
a) Se g : C e outro ramo de potencia em , ent ao g(z) = 1

f(z);
b) f e holomorfa e f

(z) =
f(z)
z
, ainda mais
f(z)
z
= f

(z) e um ramo de potencia 1

em .
17. Sabemos que se existe um ramo de logaritmo l : C, ent ao existe um ramo de potencia
em dada por f(z) = e
l(z)
. Prove a recproca desta arma c ao quando C Q.
(Sugestao: Mostre que para cada z existe um unico logaritmo de z para o qual e
log z
=
f(z) )
11
11
O resultado e valido tambem e v alido para racional porem mais difcil de provar.Veja exerccios ?? e ??? de
???
39
Captulo 2
Teoria da integracao complexa de
Cauchy
Neste captulo desenvolvemos a teoria de integra c ao complexa que se deve em grande parte ao
Matem atico Frances Augustin Cauchy.
2.1 Primitivas e formas diferenciais
2.1.1 O problema central
A quest ao central na teoria de integra c ao holomorfa e a de obten c ao de primitivas de uma fun c ao
complexa em um dado domnio de C. De forma mais rigorosa temos:
Problema 2.1.1 Sendo f : C uma fun c ao holomorfa, exite F : C holomorfa tal que
F

(z) = f(z)?
Algumas motiva c oes para tal quest ao ja surgiram em nosso caminho nas seguintes ocasioes:
1. Obten c ao de conjugada harmonica;
2. Existencia de ramos de logaritmo.
Quando estudamos ramos de logaritmo vimos que uma primitiva para a fun c ao z 1/z existe
se, e somente se, existe um ramos de logaritmo (Proposi c ao 1.5.23), de onde temos os:
Exemplo 2.1.2 Para a fun c ao f(z) =
1
z
temos que :
1. Existe primitiva localmente;
2. existe primitiva em C

;
3. n ao existe primitiva em C

.
40
2.1.2 Formulando o problema em termos de diferenciais
Vamos agora reinterpretar o problema acima em termos de diferenciais.
Proposi cao 2.1.3 Seja f : C diferenci avel, ent ao f e holomorfa se, e somente se, df =
f

(z)dz.
Prova. Pelo Teorema 1.4.15, temos que
df =
f(z)
z
dz +
f(z)
z
dz.
Por outro lado, temos que f e holomorfa se, e somente se,
f(z)
z
= 0. Em particular, recordemos
que se f e holomorfa temos f

(z) =
f(z)
z
, de onde segue o resultado desejado.
Proposi cao 2.1.4 Existe uma primitiva para a fun c ao holomorfa f : C se, e somente se,
existe F : C diferenci avel e tal que
dF(z) = f(z)dz.
Prova. Do Teorema 1.4.15 e dos coment arios que o seguem, temos que
dF(z) =
F(z)
z
dz +
F(z)
z
dz.
Desta forma, se F e primitiva holomorfa de f temos que F

(z) = f(z) e
F(z)
z
= 0. Mas recorde
que quando F e holomorfa, temos que
F(z)
z
= f(z). Donde segue dF(z) = f

(z)dz.
Reciprocamente, se dF(z) = f(z)dz, ent ao temos pelo Teorema 1.4.15 que
_
F(z)
z
= f

(z);
F(z)
z
= 0.
Ou seja, F e holomorfa e F

(z) =
F(z)
z
= f

(z). Donde segue que F e primitiva holomorfa de

f.
Observa cao 2.1.5 Convem salientar que o problema da existencia de uma fun c ao F tal que dF =
f(z)dz e an alogo ao problema de existencia de uma fun c ao potencial para um dado campo de vetores
(cf. [1], [2] ou [5]).
2.1.3 1-formas diferenciais
Dada f : C holomorfa, queremos saber quando a expressao f(z)dz e de fato a diferencial
de alguma fun c ao F : C. Rigorosamente, a expressao f(z)dz representa uma aplica c ao
L(C). Mais precisamente, a aplica c ao que a cada z associa a transforma c ao linear f(z)dz. De
forma geral uma aplica c ao : L(C) e chamada de uma 1-forma diferencial complexa em
. Como no caso particular de diferenciais de fun c oes (cf. se c ao 1.4.4), podemos mostrar que toda
1-forma diferencial : L(C) contnua, diferenci avel, de classe C
k
, holomorfa etc., se escreve
de maneira unica como
= p(x, y)dx +q(x, y)dy
ou
= a(z)dz +b(z)dz
41
onde a, b, p, q : C sao fun c oes respectivamente contnuas, diferenci aveis, de classe C
k
, holo-
morfas etc. Nosso objetivo principal agora torna-se denir uma no c ao de integra c ao de 1-formas
sobre caminhos, ou seja:
_

=
_

p(z)dx+q(z)dy. Um boa motiva c ao para a nossa deni c ao vem

de considerar o caso = df. De fato, tomando-se (por abuso de linguagem) : [a, b] R
como sendo uma parametriza c ao da curva e g := f ent ao do Teorema Fundamental do Calculo
e da Regra da Cadeia (para fun c oes de duas variaveis), temos que
f(B) f(A) = g(b) g(a) =
_
b
a
g

(t)dt
=
_
b
a
df((t))

(t)dt
onde A = g(a) e B = g(a). Temos portanto
f(B) f(A) =
_
b
a
((t))

(t)dt
Deni cao 2.1.6 Chamamos de integral da 1-forma : L(C) ao longo do caminho :
[a, b] R a integral
_

:=
_
b
a
((t))

(t)dt.
Note que para t xado temos ((t)) L
R
(C), logo o produto ((t))

(t) pode de fato ser

visto como a a c ao de uma transforma c ao linear sobre um vetor. Mais ainda, se ((t)) L
C
(C)
(em particular se = df, com f holomorfa) ent ao ((t))

(t) pode ser interpretada como

uma multiplica c ao de n umeros complexos (veja Lema 1.3.19). Note que como estamos procurando
identicar quando a forma C-linear f(z)dz e holomorfa, ent ao nada e mais natural que restringirmos
nosso estudo ao caso de 1-formas diferenciais C-lineares e . Em particular note que este ultimo
integrando e na verdade uma fun c ao complexa. Vamos portanto recordar as propriedades das
integrais.
2.1.4 Integracao em caminhos
Deni cao 2.1.7 Seja I = [a, b], f : I C, f(t) = u(t) + iv(t). Dizemos que f e integr avel (a
Riemann) se u e v o s ao. Dessa forma denimos
_
b
a
f :=
_
b
a
f(t)dt :=
_
b
a
u(t)dt +i
_
b
a
v(t)dt.
Mais ainda, denimos
_
a
b
f =
_
b
a
f .
Observa cao 2.1.8 Note que isto equivale a denir Re(
_
b
a
f) =
_
b
a
Re(f)(t)dt e Im(
_
b
a
f) =
_
b
a
Im(f)(t)dt.
Observa cao 2.1.9 A denic ao acima equivale a denir
_
b
a
f por somas de Riemann.
As seguintes propriedades decorrem de maneira mais ou menos imediata dos mesmos resultados
para fun c oes reais (em vista da deni c ao acima)
Proposi cao 2.1.10 Sendo I = [a, b] e f, g : I C integr aveis ent ao:
1.
_
b
a
(f +g) =
_
b
a
f +
_
b
a
g;
42
2.
_
b
a
f =
_
t0
a
f +
_
b
t0
f, t
0
I;
3.
_
b
a
cf = c
_
b
a
f , c C;
4.
_
b
a
f =
_
b
a
f
5. [
_
b
a
f[
_
b
a
[f[;
6. (Teorema fundamental do C alculo) Seja F(t) =
_
t
a
f Ent ao temos:
a) F e contnua em I;
b) F e deriv avel nos pontos em que f e contnua e F

= f.
7. (Mudan ca de vari aveis) Seja : [, ] [a, b] com derivada integr avel e f contnua.
Ent ao temos
_

f((s))

(s)ds =
_
b
a
f(t)dt.
Corolario 2.1.11 Se f e contnua, ent ao F(t) =
_
t
a
f e uma primitiva de f.
Corolario 2.1.12 Se f e contnua e G

= f, ent ao
_
b
a
f = G(b) G(a). Em particular, se f e de
classe C
1
, ent ao
_
b
a
f

= f(b) f(a)
2.1.5 Integracao de 1-formas
Como observamos anteriormente, toda forma exata e C-linear pois se confunde como o jacobiano
de uma fun c ao holomorfa. Sendo assim, de agora em diante, a menos de men c ao em contrario,
trataremos somente de 1-formas diferenciais C-lineraes.
Como consequencia imediata das propriedades acima temos:
Corolario 2.1.13 Sendo ,
1
,
2
: L(C) 1-formas diferenciuais contnuas, F : C
uma fun c ao holomorfa e um caminho diferenci avel (por partes) em , ent ao temos
1.
_

(
1
+
2
) =
_

1
+
_

2
;
2.
_

c = c
_

;
3.
_

dF = F(B) F(A), em particular, se e um caminho fechado temos

_

dF = 0;
4. Se = f(z)dz ent ao temos
_

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

(t)dt;
Deni cao 2.1.14 Sendo f : C integr avel e uma curva diferenci avel (por partes) em ,
denida no intervalo [a, b]. Ent ao denimos
_

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

(t)[dt.
Note que quando f = 1 teremos a integral acima fornecendo o comprimento de .
43
Exemplo 2.1.15 Sendo : z(t) = a +re
it
, t [0, 2]. Ent ao temos
_

[dz[ =
_
1
0
[z

(t)[dt = r
_
2
0
[ie
it
[dt
= r
_
2
0
dt = 2r.
Teremos portanto as seguintes propriedades:
Corolario 2.1.16 Sendo f, g : C integr aveis e um caminho diferenci avel (por partes) em
, temos ent ao:
1. [
_

f(z)dz[
_

[f(z)[[dz[;
2.
_

(z)dz = f(B) f(A), onde liga o ponto A ao ponto B e f e holomorfa e de classe C

1

1
;
3. (Mudan ca e vari avel) Sendo = g() ent ao temos
_

f(z)dz =
_

f(g(w))g

(w)dw;
4. (Integra c ao por partes) Sendo f e g fun c oes holomorfas e de classe C
1
, ent ao temos que
_

f(z)g

(z)dz = f(z)g(z)[

g(z)f

(z)dz
2.1.6 Retornando ao problema
Iremos agora retornar ao problema da existencia de primitivas atraves da analise da geometria
(topologia) do nosso domnio, usando como ferramenta as 1-formas.
Deni cao 2.1.17 Dizemos que uma 1-forma contnua em e exata se existir F : C de
classe C
1
tal que = dF.
Observa cao 2.1.18 Por abuso de linguagem, usa-se dizer que F e uma primitiva de .
Note que se F acima existir, ent ao sua derivada sera C-linear e portanto f sera holomorfa.
Teorema 2.1.19 Seja uma 1-forma contnua em . Ent ao e exata se, e somente se,
_

depende somente dos pontos extremos de , para qualquer curva em , diferenci avel por partes.
Prova. Se exata, ent ao pelo teorema fundamental do c alculo temos que
_

=
_

dF =
F(B) F(A). Reciprocamente suponhamos que a integral n ao dependa do caminho tomado,
ent ao, como e uma regiao, podemos ligar quaisquer dois pontos por uma curva diferenci avel por
partes. Dessa forma, se a e e uma curva ligando a a z, ent ao podemos denir
F(z) =
_

.
1
Mais adiante veremos que esta condi c ao e de fato redundante pois toda fun c ao holomorfa num dado ponto e
innitamente diferenci avel no mesmo e de fato sua serie de Taylor converge nesse ponto.
44
Note ainda que como e aberto, podemos tomar de tal forma que =
0
+
t
onde
0
liga a a
z
0
e
t
e a restri c ao a (0, t) da curva (s) = z
0
+s. Temos portanto que
F(z) = F(z
0
) +
_
t

= F(z
0
) +
_
t
0
(z
0
+s) (1)ds
Dessa forma, tomando-se g(t) =
_
t
0
(z
0
+ s) (1)ds, temos (pelo teorema fundamental do
c alculo) que g

(t) = (z
0
+ t) (1) = (z
0
+ t) = (z) (este ultimo visto como n umero complexo
pois (z) e C-linear). Temos portanto que
F(z)
x
= lim
h0
F(z +h) F(z)
h
= lim
h0
_
t+h
0
(z
0
+s) (1)ds
_
t
0
(z
0
+s) (1)ds
h
= lim
h0
g(t +h) g(t))
h
= g

(t) = (z).
De maneira analoga temos que
F(z)
y
= i(z)
de onde segue em particular que F e de classe C
1
, visto que e contnua. Dessa forma, como
F(z)
x
+ i
F(z)
y
= 0 como F satisfaz ` as equa c oes de Cauchy-Riemann, temos que F e holomorfa.
Alem disso dF(x) =
F(z)
x
dz = , e porconseguinte e exata.
Corolario 2.1.20 Seja uma 1-forma contnua. Ent ao e exata se, e somente se,
_

= 0 para
toda curva fechada em .
Prova. Em vista do teorema, basta-nos apenas observar que sao equivalentes as arma c oes
1.
_

= 0 para toda curva fechada em ;

2.
_

depende somente dos pontos extremos de , para qualquer curva diferenci avel por partes
em .
Algumas consequencias imediatas do teorema sao:
Corolario 2.1.21 Seja f : C uma fun c ao contnua, ent ao temos que
_

f(z)dz independe
do caminho se, e somente se, f possui primitiva holomorfa.
Prova. De fato, pelo teorema temos que
_

f(z)dz independe do caminho se, e somente se,

existe F : C diferenci avel, tal que dF = f(z)dz. O resultado segue portanto da Proposi c ao
2.1.4.
Exemplo 2.1.22 Seja n Z, n ,= 1, ent ao temos
_

(z a)
n
dz = 0, para toda = Ca.
De fato temos que
(za)
n+1
n+1
e uma primitiva para (z a)
n
em , de onde segue o resultado pelo
corol ario acima.
Exemplo 2.1.23 Seja C : z(t) = a +re
it
, t (0, 2) o crculo de centro em a C e raio 1, ent ao
temos que
_
C
dz
za
= 2i. De fato temos
_
C
dz
z a
=
_
2
0
ie
it
dt
e
it
= i
_
2
0
dt = 2i.
45
Em particular note que o exemplo acima mostra, de forma indireta, que n ao existe ramo de
logaritmo em C

.
Deni cao 2.1.24 Diremos que uma 1-forma diferencial contnua e fechada quando e localmente
exata.
Exemplo 2.1.25 (z) =
dz
z
e fechada em C

. De fato basta recordar que localmente sempre existe

um ramo de logaritmo (Corol ario 1.5.17) e que f

(z) =
1
z
para todo ramo de logaritmo f : C
(Teorema 1.5.22).
Note que os exemplos acima mostram que uma forma fechada nem sempre e exata. De fato
esta e uma quest ao de import ancia capital em Matem atica, cujo estudo gera a chamada Teoria de
Cohomologia de De Rham, em homenagem ao matematico su co Georges De Rham.
2.1.7 Primitivas em um disco aberto
Come caremos agora a investigar sob que condi c oes uma dada 1-forma e exata numa dada regiao.
Proposi cao 2.1.26 Seja um disco aberto e uma 1-forma diferencial contnua em tal que
_

= 0 para toda todo caminho = R, onde R e um ret angulo com lados paralelos aos eixos.
Ent ao e exata em .
Prova. Seja a o centro do disco ent ao qualquer ponto z de se liga ao ponto a pelos
caminhos poligonais

(z) formado pela uniao dos segmentos [a, a +Re(z a)] [a +Re(z a), z]
e

(z) formado pela uniao dos segmentos [a, a +Im(z a)] [a +Im(z a), z] (ver gura abaixo).
Desta forma, como
_
R
= 0, ent ao temos que
_
(z)
=
_
(z)
de onde segue que ca bem
denida em todo a fun c ao
F(z) :=
_
(z)

Portanto, com argumenta c ao analoga `a da prova do Teorema 2.1.19, teremos que F e holomorfa
e = dF.
Mais geralmente temos que
Proposi cao 2.1.27 Seja um disco aberto,

= a
1
, , a
n
e uma 1-forma diferencial
contnua em

tal que
_

= 0 para toda todo caminho = R, onde R e um ret angulo com

lados paralelos aos eixos e contido em

. Ent ao e exata em

.
Prova. Vamos considerar dois casos distintos:
46
1. O conjunto a
1
, , a
n
n ao intercepta os eixos coordenados. Consideremos ent ao os con-
juntos

:= z

: caminho

(z) ligando a a z e

:= z

: caminho

(z)
ligando a a z. Denimos ent ao
F

C
z
_

(z)

onde , . Visto que

_
R
= 0, temos que F

= F

em

. Podemos portanto
denir F : C por F(z) = F

(z) se z

. Sendo assim, com raciocnio analogo ao

da prova do Teorema 2.1.19, temos que dF = em

. Vamos agora mostrar que

dF = em z
0
(

), logo uma das fun c oes, digamos F

, n ao esta denida em
z
0
. Tomemos ent ao (z
0
) um disco aberto centrado em z
0
e contido em a
1
, , a
n
,

+
(z
0
) = z (z
0
) : Re(z z
0
) > 0,

(z
0
) = z (z
0
) : Re(z z
0
) < 0 e
= z (z
0
) : Im(z z
0
) = 0.
Dessa forma, temos pela Proposi c ao 2.1.26 que existe G : (z
0
) C tal que = dG.
Temos portanto que existe c
+
C (respect. c

C) em
+
(z
0
) (respect.

(z
0
)) tal que
F(z) = G(z) +c
+
(respect. F(z) = G(z) +c

). Por outro lado, como F

e contnua, ent ao
temos
F(z
0
) =
_
G(z
0
) +c
+
se z z
+
0
( ),
G(z
0
) +c

se z z

0
( ).
de onde segue que c := c
+
= c

e portanto F = G + c em (z
0
) e porconseguinte dF =
em . O raciocnio e analogo caso F

n ao esteja denida.
2. Finalmente, caso a
1
, , a
n
intercepte algum dos eixos, ent ao uma pequena transla c ao por
um n umero real positivo seguida de uma transla c ao por um n umero imaginario puro nos
remete ao problema anterior.
47
Teorema 2.1.28 (Cauchy) Seja um disco aberto e f : C holomorfa. Ent ao
_

f(z)dz = 0
para toda curva fechada (diferenci avel por partes) em .
De fato, pela Proposi c ao 2.1.26, basta provar o:
Lema 2.1.29 Seja um disco aberto, f : C holomorfa e R um ret angulo com lados
paralelos aos eixos, ent ao temos que
_
R
f(z)dz = 0.
Prova. Inicialmente considere I(R) :=
_
R
f(z)dz. Agora vamos decompor R em quatro
ret angulos de lados iguais R
1
, R
4
, orientados positivamente, como na gura abaixo.
teremos ent ao I(R) =

4
j=1
I(R
j
), onde I(R
j
) :=
_
Rj
f(z)dz. Dessa forma (reordenando
os ndices se necessario) teremos I(R) 4I(R
1
). Repetindo-se o mesmo processo innitas vezes
(e reordenando-se os ndices se necessario) teremos, por indu c ao matematica, uma sequecia de
ret angulos encaixantes
R R
1
R
2
R
n

tal que I(R
n
) 4I(R
n+1
). Teremos portanto que
[I(R)[ 4
n
[I(R
n
)[.
Considere agora uma sequencia de pontos z
n
R
n
, ent ao z
n
e uma sequencia de Cauchy.
Dessa forma, existe z
0
R tal que z
n
z
0
. Por outro lado, como f e holomorfa, temos que
f(z) = f(z
0
) +f

(z
0
)(z z
0
) +(z)(z z
0
)
48
onde lim
zz0
(z) = 0, para todo z numa vizinhan ca de z
0
. Temos portanto que
I(R
n
) =
_
Rn
f(z)dz
=
_
Rn
f(z
0
)dz +
_
Rn
f

(z
0
)(z z
0
)dz +
_
Rn
(z)(z z
0
)dz,
mas, como f(z
0
)dz e f

(z
0
)(z z
0
)dz sao formas exatas, decorre que
[I(R
n
)[ =

_
Rn
(z)(z z
0
)dz

_
Rn
[(z)[ [z z
0
[ [dz[

_
Rn
[z z
0
[ [dz[ .
Sendo d
n
o comprimento da diagonal de R
n
ent ao temos que
[I(R
n
)[ d
n
_
Rn
[dz[
= d
n
(2p
n
)
onde 2p
n
e o permetro de R
n
. Como por constru c ao d
n
=
d
2
n
e 2p
n
=
2p
2
n
(d e 2p respectivamente
o comprimento da diagonal e o permetro de R ), ent ao temos que
[ I(R)[ 4
n
[I(R
n
)[ 4
n

d
2
n
2p
2
n
= d(2p)
de onde segue que I(R) = 0.
Em vista do teorema de Cauchy, temos como consequencia imediata dos corol arios 2.1.21 e
2.1.20 os:
Corolario 2.1.30 Se f : C e holomorfa, ent ao f(z)dz e exata em .
Corolario 2.1.31 Sendo f : C holomorfa, ent ao f admite primitiva em .
Iremos agora apresentar uma generaliza c ao do teorema de Cauchy para

:= a
1
, , a
n

que se deve ao matematico frances

E. Goursat. Embora este ultimo teorema possa ser visto como
uma generaliza c ao do primeiro, nossa estrategia de prova sera um tanto diferente.
Teorema 2.1.32 (Goursat) Seja um disco aberto e

= a
1
, , a
n
e f :

C
holomorfa tal que lim
za
k
f(z)(z a
k
) = 0, k = 1 n. Ent ao
_

f(z)dz = 0
para toda curva fechada (diferenci avel por partes) em

.
De fato, em vista da Proposi c ao 2.1.27, basta mostrar que
Lema 2.1.33 Sendo R

um ret angulo cujos lados s ao paralelos aos eixos, ent ao

_
R
f(z)dz = 0.
49
Prova. Note que podemos decompor o ret angulo em pequenos quadrados disjuntos, contendo
a
j

n
j=1
em seu interior, de tal forma que cada quadrado contenha no m aximo n 1 dos pontos
de a
j

n
j=1
. Por indu c ao matematica, apos um n umero nito de repeti c oes de tal argumenta c ao
(e uma possvel reordena c ao dos ndices) iremos decompor R em quadrados Q
j

m
j=1
(m > n) tais
que a
j
seja o centro do crculo que circunscreve o quadrado Q
j
, j = 1 n e Q
j
tenha lado menor
que um dado > 0 de tal forma que [f(z)(z a
k
)[ < para todo z Q
k
(Ver gura abaixo).
Segue portanto que
_
R
f(z)dz =
m

j=1
_
Rj
f(z)dz
aplicando-se o teorema de Cauchy para R
j
, teremos
_
Rj
f(z)dz = 0, j = n+1, m. Portanto

_
R
f(z)dz

j=1

_
Rj
f(z)dz

j=1
_
Rj

[z a
j
[
[dz[ .
Note por outro lado note que [z a
k
[
l
k
2
, onde l
k
e o comprimento do lado do quadrado Q
k
.
Temos dessa forma que

_
R
f(z)dz

j=1
2
l
j
_
Rj
[dz[
=
n

j=1
2
l
j
(4l
j
) = 8n.
Sendo assim, embora a medida que reduzimos tenhamos que aumentar arbitrtariamente m, isto
n ao afeta o valor constante n, temos que
_
R
f(z)dz = 0, como desejado.
Analogamente, em vista do teorema de Goursat, temos como consequencia imediata dos corol arios
2.1.21 e 2.1.20 os:
Corolario 2.1.34 Se f :

C e holomorfa e lim
za
k
f(z)(z a
k
) = 0, k = 1 n. Ent ao
f(z)dz e exata em .
Corolario 2.1.35 Sendo f :

C holomorfa tal que lim

za
k
f(z)(z a
k
) = 0, k = 1 n.
Ent ao f admite primitiva em .
50
2.1.8 Exerccios
1. Calcule
_

ydz
onde e o segmento ligando 0 a 1 i.
2. Calcule
_
|z|=r
xdz
para o crculo orientado positivamente de duas formas:
a) Usando parametriza c oes;
b) Observando que x =
1
2
(z +z) =
1
2
(z +
r
2
z
) sobre o crculo.
3. Calcule
_
|z|=3
dz
z
2
1
xdz
para o crculo orientado positivamente.
4. Calcule _
|z|=1
[z 1[ [dz[
5. Seja uma regiao e : I uma curva fechada e f : C uma fun c ao holomorfa
(com derivada contnua). Mostre que
_

f(z)f

(z)dz
e um n umero imaginario puro.
6. Seja uma regiao e : I uma curva fechada e f : C uma fun c ao holomorfa
(com derivada contnua) satisfazendo [f(z) 1[ < 1. Mostre que
_
C
f

(z)
f(z)
dz.
7. Seja p C[z] e C o crculo, positivamente orientado, dado por [z a[ = R. Ent ao calcule
_

p(z)dz.
2.2 Consequencias do Teorema de Cauchy-Goursat
Iremos aplicar o teorema de Cauchy-Goursat para estudar diversas propriedades de car ater local
e global de uma fun c ao complexa.
51
2.2.1 Formula integral de Cauchy e derivadas de ordem superior
Iremos vericar algumas consequencias do teorema de Cauchy-Goursat no que tange ao compor-
tamento de uma fun c ao em uma vizinhan ca de um ponto. De fato iremos vericar que o valor de
uma fun c ao holomorfa num dado ponto e uma especie de media ponderada da mesma, calculada
sobre um crculo centrado no ponto.
Teorema 2.2.1 Sendo um domnio e f : C holomorfa, ent ao
f(z
0
) =
1
2i
_
C
f(z)
z z
0
dz
para todo z
0
, onde C um crculo centrado em z
0
, contido em e percorrido uma vez no sentido
anti-hor ario.
Prova. Considere o disco de centro z
0
e bordo C (i.e., delimitado pelo crculo C) e positiva-
mente orientado. Ent ao a fun c ao g(z) =
f(z)f(z0)
zz0
e holomorfa em

:= z
0
. Dessa forma,
pelo teorema de Goursat, temos que
0 =
_
C
g(z)dz =
_
C
f(z) f(z
0
)
z z
0
dz
=
_
C
f(z)
z z
0
dz f(z
0
)
_
C
1
z z
0
dz.
Logo o resultado segue do exemplo 2.1.23.
Como consequencia imediata temos:
Teorema 2.2.2 Se f : C e holomorfa ent ao f tem derivadas de todas as ordens em uma
regi ao e
f
(n)
(z) =
n!
2i
_

f()d
( z)
n+1
.
Prova. A prova se d a por indu c ao. Como a formula vale para n = 0, ent ao suponhamos que
a formula valha para todo n k. Temos ent ao
f
(k+1)
(z) =
k!
2i
_

z
_
1
( z)
k+1
_
f()d
=
k!
2i
_

(k + 1)
1
( z)
k+2
f()d
=
(k + 1)!
2i
_

f()d
( z)
k+2
.
Segue imediatamente do teorema e do Corolario 1.3.22 que:
Corolario 2.2.3 Se f : C e holomorfa, ent ao f possui derivadas (holomorfas) de todas as
ordens. Em particular f e innitamente diferenci avel, i.e., e de classe C

.
Mais ainda, como consequencia imediata do Lema 1.4.10 temos o:
Corolario 2.2.4 Seja u : R harm onica, ent ao f e innitamente diferenci avel, i.e., e de
classe C

.
52
2.2.2 Consequencias da formula integral de Cauchy
Vamos agora vericar algumas propriedades importantes obtidas a partir da formula integral de
Cauchy.
Teorema 2.2.5 (Morera) Seja f : C uma fun c ao contnua tal que
_

f(z)dz = 0
para toda curva fechada em . Ent ao f e holomorfa em .
Prova. Da Proposi c ao 2.1.20 temos que f(z)dz e exata, logo f possui primitiva holomorfa. Do
Corolario 2.2.3, temos que f e holomorfa.
De fato o car ater de media da formula integral de Cauchy ca patente nas seguintes propriedades
para fun c oes holomorfas e harmonicas.
Corolario 2.2.6 (Propriedade da media) Se f : C e uma fun c ao holomorfa, ent ao
f(z
0
) =
1
2
_
2
0
f(z
0
+re
i
)d.
Prova. Consire o crculo de raio r e centro em z
0
, parametrizado por C : z(t) = z
0
+re
i
,
(0, 2). Ent ao temos pela formula integral de Cauchy que
f(z
0
) =
1
2i
_
C
f()d
z
0
=
1
2i
_
2
0
f(z
0
+re
i
)rie
i
d
re
i
=
1
2
_
2
0
f(z
0
+re
i
)d.
Corolario 2.2.7 (Propriedade da media) Se u : R e uma fun c ao harm onica, ent ao
u(z
0
) =
1
2
_
2
0
u(z
0
+re
i
)d.
Prova. Recordemos do Corolario 1.4.5, que se u e harmonica ent ao possui conjugada harmonica
local, ou seja, localmente u e a parte real de uma fun c ao holomorfa, da, aplicando-se o corol ario
acima, temos o resultado imediatamente.
Como uma consequencia imediata da propriedade da media temos o:
Corolario 2.2.8 (Princpio do maximo) Sendo f : C uma holomorfa n ao-constante,
ent ao [f(z)[ n ao assume m aximo (local) em .
Prova. Suponhamos por absurdo que [f[ assuma um maximo local no ponto a . Ent ao, de
acordo com a propriedade da media temos que
f(a) =
1
2
_
2
0
f(a +re
i
)d
de onde segue que [f(a)[
1
2
_
2
0

f(a +re
i
)

d
1
2
_
2
0
[f(a)[ d = [f(a)[. Portanto
1
2
_
2
0

f(a +re
i
)

d =
[f(a)[ e dessa forma 0

f(a +re
i
)

[f(a)[, dondee segue que f(a + re

i
) = [f(a)[ para todo
53
r [0, 2] exeptuando-se talvez um conjunto de medida nula, i.e., um n umero nito de pontos.
Mas como [f[ e contnuna, ent ao temos que f e localmente constante. Dessa forma, como e
connexa e f contnuna, temos que f e constae. Absurdo!
Temos tambem as seguintes estimativas muito uteis na analise de diversos problemas de na-
tureza local para fun c oes holomorfas.
Corolario 2.2.9 (Estimativas de Cauchy) Seja f : C holomorfa, a e r > 0 tais que
o disco fechado de centro em a e raio r esteja contido em , i.e., (a, r) . Ent ao

f
(n)
(a)

n!M(r)
r
n
onde M(r) = max[f(z)[ : z (a, r)
Prova. Aplicando-se o formula integral de Cauchy, temos que

f
(n)
(a)

n!
2i

_
(a,r)
[f()[
[ a[
n+1
[d[

n!M(r)
2
_
2
0
[rie
i
[d
[re
i
[
n+1
=
n!M(r)
2r
n
_
2
0
d =
n!M(r)
r
n
.
Um outro resultado classico devido ao matematico frances Joseph Liouville pode ser obtido
com consequencia das estimativas de Cauchy.
Teorema 2.2.10 (Liouville) Toda fun c ao inteira e limitada e uma fun c ao constante.
Prova. Suponha que [f(z)[ K (constante positiva) para todo z C. Ent ao, pelas estimativas
de Cauchy temos que
[f

(z)[
K
r
para todo r > 0, de onde segue que, fazendo-se r , temos [f

(z)[ = 0. Logo, do Corolario

1.3.24, temos o resultado desejado.
Outro resultado classico devido ao celebre matematico alem ao Carl Friederich Gauss e conhecido
como Teorema Fundamental da

Algebra tambem pode ser obtido como consequencia do Teorema
de Liouville.
Teorema 2.2.11 (Fundamental da

Algebra)
2
Todo polin omio com coecientes complexos pos-
sui raiz em C.
Prova. Suponhamos, por absurdo, que p(x) C[x] n ao tenha razes em C. Ent ao a fun c ao
f(x) :=
1
p(x)
e uma fun c ao inteira. Mais ainda, f e limitada pois
f(z) =
1
a
n
z
n
+ +a
1
z +a
0
=
1
z
n
(a
n
+
an1
z
+ +
a1
z
n1
+
a0
z
n
)
2
E importante ressaltar que embora tal teorema seja de fundamental import ancia em

Algebra, n ao exista ate
hoje nenhuma demonstra c ao conhecida do mesmo atraves de uma argumenta c ao puramente algebrica. Acredita-
se que ela dependa essencialmente de considera c oes topol ogicas ([10]). O pr oprio Gauss apresentou quatro (04)
demonstra c oes distintas do mesmo, sendo a primeira delas sua tese de doutorado ([4]). Para maiores detalhes veja
[8]. Para uma outra prova simples veja [6]. Uma prova intuitiva pode ser encontrada em [9].
54
portato temos que
lim
|z|
[f(z)[ = lim
|z|
1
[z[
n
lim
|z|
1
[a
n
+
an1
z
+ +
a1
z
n1
+
a0
z
n
[
= 0
1
[a
n
[
= 0.
Temos em particular que f(z) e limitada emC. Dessa forma aplicando-se o teorema de Liouville,
teremos p const. o que e um absurdo por hipotese.
2.2.3

Indices de pontos com relacao a curvas e a forma geral da formula
integral de Cauchy
Iremos introduzir o conceito de ndice de um ponto com rela c ao a uma dada curva, que torna
precisa a no c ao intuitiva de n umero de voltas que uma curva realiza em torno de um ponto.
Inicialmente observemos que sendo f : C holomorfa, uma curva fechada ent ao
F(z) :=
f(z)f(z0)
zz0
satisfaz as condi c oes do teorema de Goursat, sempre que z
0
/ . Segue portanto
que
0 =
_

F(z)dz =
_

f(z)dz
z z
0
f(z
0
)
_

dz
z z
0
. (2.1)
Desta forma, uma vez que conhe camos o valor
_

dz
z z
0
poderemos determinar f(z
0
) em fun c ao de
_

f(z)dz
zz0
e vice-versa.
Proposi cao 2.2.12 Seja uma curva em C de pontos extremos A e B e seja a C. Ent ao,
existe um ramo de logaritmo, log : (b) C, numa vizinhanca (b) de b :=
Ba
Aa
, tal que
_

dz
z a
= log(
B a
A a
).
Em particular, se e fechada,
_

dz
za
= 2ni, com n Z.
Prova. Seja I =
_

dz
za
. Suponhamos inicialmente que : [0, 1] C e de classe C
1
, neste
caso tomamos f : [0, 1] C dada por f(t) =
_
t
0

(s)
(s)a
ds, de onde segue que I = f(1). Por
outrolado, visto que a / , ent ao z(t) := (t) a ,= 0, para todo t [0, 1]. Dessa forma, temos
um ramo de logartimo denido denido numa vizinhna ca de z(t
0
), o qual denotaremos por log(z).
Portanto a fun c ao (t) := log(z(t)), denida numa vizinhan ca de t
0
, e de classe C
1
. Logo, pela
regra da cadeia teremos

(t) =
z

(t)
z(t)
=

(t)
(t)a
= f

(t). Dessa forma, na referida vizinhan ca teremos

f(t) = (t)+c, c C. Em outras palavras, existe C

tal que e
f(t)
= ((t)a), O que signica
que a fun c ao
exp(f(t))
(t)a
e localmente constante em [0, 1] e consequentemente, como e uma fuun c ao
contnua num domnio conexo, e de fato constante.
Finalmente, como f(0) = 0, temos que =
1
(0)a
=
1
Aa
. Assim,
exp(f(1)) =
(1) a
A a
=
B a
A a
de onde I = log(
Ba
Aa
), como desejado.
55
Finalmente, se e de classe C
1
por partes, ent ao temos que I =

n
k=1
I
k
, onde I
k
:=
_

k
dz
za
,

k
:= [
[t
k1
,t
k
]
e de classe C
1
. Portanto se A
k
e B
k
sao os extremos de
k
, ent ao pela primeira
parte da demonstra c ao temos que I
k
= log
B
k
a
A
k
a
e dessa forma
I =
n

k=1
log
B
k
a
A
k
a
= log(
n

n=1
B
k
a
A
k
a
) = log
B a
A a
,
uma vez que o ponto nal de
k
coincide com o ponto inicial de
k+1
.
Tal resultado sugere a seguinte:
Deni cao 2.2.13 Sendo : I C a uma curva fechada, ent ao o n umero inteiro
n(, a) :=
1
2i
_

dz
z a
e chamado de o ndice do ponto a com rela c ao a curva .
Imediatamente da deni c ao temos as seguintes propriedades para o ndice.
Proposi cao 2.2.14 Sendo f : C holomorfa, a e : I C a uma curva fechada
contida num disco , com . Ent ao:
i) (Forma geral da f ormula integral deCauchy)
n(, a)f(a) =
1
2i
_

f(z)dz
z a
ii) n(, a) = 0, a / ;
iii) n(, a) = n(, a).
Prova. O item iii) e uma consequencia imdediata de uma das propriedades da integra c ao de
forma ao longo de caminhos. De fato temos
n(, a) =
1
2i
_

dz
z a
=
1
2i
_

dz
z a
= n(, a).
O item ii) decorre imediatamente do Teorema de Cauchy no disco, visto que se a / , ent ao
f(z) =
1
za
e holomorfa em . Ja o item i), como no caso da formula integral de Cauchy
ordinaria, decorre do teorema de Goursat em

= a. De fato temos que

0 =
_

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

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

dz
z a
=
_

f(z)dz
z a
f(a) n(, a) 2i,
de onde segue o resultado desejado.
Recordemos agora que em C, qualquer conjunto aberto e conexo se, e somente se, e conexo
por arcos, i.e., para todo par de pontos p, q , existe uma curva contnua (poligonal) em
ligando p a q. Mais ainda, as componente conexas de um subconjunto C sao os subconjuntos
conexos maximais de .
Iremos agora recordar alguns resultados de natureza tecnica que est ao relacionados com pro-
priedadeds peculiares das componentes conexas.
56
Lema 2.2.15 Sendo um domnio e um disco tal que . Ent ao e conexo.
Prova. De fato, como e conexo ent ao dados dois pontos quaisquer p, q temos uma
curva contnuna : I ligando p a q. Desta forma, se (I) ent ao estamos feitos.
Caso contrario, tomamos o menor valor de I, digamos t
1
, tal que (t
1
) . (Como p / , ent ao
t
1
> 0). Por outro lado, como q / ent ao T
1
= t > t
1
: (t) / , = . Tomemos ent ao
t
2
:= inf T
1
. Ent ao podemos substituir o segmento de curva [
[t11,t2+2]
por um arco de crculo
em , concentrico a e ligando os pontos (t
1

1
) e (t
2
+
2
), desdee que
1
e
2
sejam bem
escolhidos. Repetindo-se este processo por indu c ao, teremos (por compacidade de (I)) a curva
desejada.
Proposi cao 2.2.16 Sendo : I C uma curva continua, ent ao existe apenas uma componente
conexa n ao-limitada de C .
Prova. Sendo contnua e I compacto, ent ao (I) e compacto e portanto limitado. Tomemos
ent ao um disco tal que (I) . Ent ao, como C e conexo (lema anterior) vem que toda
componente conexa n ao-limitada de C intercecta C . Como este e conexo, segue da maxi-
malidade que toda componente conexa n ao-limitada contem C . Novamente da maximalidade
vem que as componentes conexas de um conjunto aberto sao disjuntas, de onde segue a unicidade
da componente conexa n ao-limitada.
3
A proposi c ao acima justica a seguinte:
Deni cao 2.2.17 Sendo : I uma curva fechada. Ent ao a componente conexa n ao-
limitada de C ser a chamada de componente conexa do ininito.
Vamos agora vericar como se comporta o ndice de um ponto com rela c ao a uma curva quando
fazemos este ponto variar nas componentes conexas determinadas pelo complementar da curva. Por
uma quest ao de clareza vamos primeiramente provar o seguinte lema de car ater tecnico.
Lema 2.2.18 Sendo g : = C [a, b] C dada por g(z) =
za
zb
. Ent ao Im(g) C

.
Prova. Suponhamos por absurdo que exista t 0 tal que
za
zb
= t. Ent ao temos que z a =
t(z b) e portanto z a e z b sao dois vetores colinerares em sentidos opostos, ou z a, b.
Portanto z [a, b].
Proposi cao 2.2.19 Seja um domnio e : I uma curva fechada. Ent ao a fun c ao
z n(, a) e constante nas componentes conexas de .
3
Esta prova e a do lema anterior se baseiam no fato das no c oes de conexidade e conexidade por arcos se
confundirem num conjunto aberto, sendo esta ultima em suma que esta sendo de fato utilizada. No entanto, no
pr oximo captulo iremos revisar a no c ao de conexidade de um ponto de vista mais geral, vericando que diversas
propriedades aqui vericadas para conexos por arcos de fato de vericam para conexos em geral.
57
Prova. Como quaisquer dois pontos de uma mesma componente conexa podem sempre ser
ligados por uma linha poligonal, ent ao basta provar o resultado para o caso de um segmento de
reta [a, b], ligando a a b, que n ao intercepta . Portanto, do lema precedente, temos que ca bem
denida a fun c ao holomorfa h : C [a, b] C, dada por h(z) = Log(
za
zb
) e da
h

(z) =
z b
z a
z b (z a)
(z b)
2
=
a b
(z a)(z b)
=
1
z a

1
z b
.
Da, como [a, b] e a forma
_
1
za

1
zb
_
dz tem primitiva em [a, b], temos que
_

dz
z a
=
_

dz
z b
.
Finalmente como consequencia imediata das proposi c oes 2.2.14 e 2.2.19, e da prova da Proposi c ao
2.2.16 temos o:
Corolario 2.2.20 Sendo um domnio n ao-limitado e : I uma curva fechada. Ent ao
para todo ponto a pertencente ` a componente conexa do innito, teremos
n(, a) = 0;
Como em alguns textos classicos a demonstra c ao de que o ndice e de fato um n umero inteiro
utiliza o conceito de integral ao londo de um caminho, iremos agora intrroduzi-lo. Embora seja
uma deni c ao de car ater apenas auxiliar ao longo dos referidos textos, iremos explora-lo ao longo
dos execcios.
Deni cao 2.2.21 Sejam um domnio, uma 1-forma diferencial em e : I uma
curva. Ent ao dizemos que uma aplica c ao f : I C e uma primitiva de ao longo de se para
todo t
0
I existe uma primitiva local de , digamos F
t0
:
t0
C, tal que f(t) = F((t) para
todo t
t0
.
Exemplo 2.2.22 A 1-forma diferencial (z) =
1
z
possui primitiva ao longo do caminho (t) = e
it
,
t [, ]. De fato e f acil vericar que f(t) = Log((t)) e uma primitiva ao longo do caminho .
2.2.4 Exerccios
1. Calcule
_
|z=1|
e
z
z
dz.
2. Calcule
_
|z|=2
dz
z + 1
,
decompondo o integrando em fra c oes parciais. [Sugestao: Mostre utilizando mudan ca de
variaveis que
_
|z|=2
dz
z1
=
_
|z|=2
dz
z+1
]
58
3. Supondo [a[ , = r > 0, calcule
_
|z|=r
[dz[
[z a[
2
.
[Sugestao: Utilize a equa c ao zz = r
2
e [dz[ = ir
dz
za
.]
4. Seja f holomorfa no disco fechado (a; r). Calcule
_

f(z)dz.
(Observe que se trata de uma generaliza c ao do exerccio 7 da se c ao 2.1)
5. Calcule
a)
_
|z|=r
e
z
z
n
dz;
b)
_
|z|=r
z
n
(1 z)
m
dz;
c)
_
|z|=r
[z a[
4
[dz[, ([a[ , = r).
6. Prove que uma fun c ao inteira que satisfa ca a desigualdade [f(z)[ < [z[
n
para um dado n N
e para todo z tal que [z[ seja sucientemente grande. [Sugestao: Prove, por indu c ao, que
uma fun c ao inteira tal que, para algum n, f
(n)
(z) = 0 para todo z C, e um polinomio de
grau inferior a n.]
7. Se f : C e uma fun c ao holomorfa e tal que [f(z)[ M para todo z (0; r), ent ao
encontre uma cota superior para limsup
z(0;)
[f
(n)
(z)[, onde < r.
8. Sendo f : (0; 1) C holomorfa tal que [f(z)[
1
1|z|
, ent ao encontre a melhor estimativa
de Cauchy para [f
(n)
(z)[.
9. Mostre que uma fun c ao holomorfa f : C n ao pode satisfazer `as desigualdades [f
(n)
(z)[ >
n!n
n
.
10. Considere a fun c ao contnua : [a, b] C, tal que para cada t [a, b] xado tenhamos

t
: C holomorfa, onde
t
(z) = (z, t). Ent ao mostre que
F(z) =
_
b
a
(z, t)dt
e analtica e que
F

(z) =
_
b
a
(z, t)
z
dt.
[Sugestao: Represente pela f ormula integral de Cauchy (z, t) =
1
2i
_
C
(,t)
z
d.]
11. Sejam uma um forma diferencial contnua e fechada em , : [a, b] uma curva
continuamente diferenci avel por partes e f : [a, b] C uma primitiva de ao longo de .
Prove que f e continuamente diferenci avel por partes e satisfaz f

(t) = ((t))

(t) para
todo t [a, b], onde

esta bem denida. [sugestao: use a deni c ao.]

12. Sejam e como acima e seja g : [a, b] C diferenci avel por partes, tal que g

(t) =
((t))

(t) para todo t [a, b], onde

esta bem denida. Prove que g e uma primitiva de

ao longo de . [sugestao: use o teorema de existencia de primitivas e o exerccio anterior]
59
13. Prove que duas primitivas de ao longo de diferem por uma constante.
14. Tomemos =
dz
z
, = C e C como acima. Se : [a, b] R e uma fun c ao
contnua tal que (t) = arg((t) ) para todo t [a, b], ent ao f(t) = log [(t) [ +i(t) e
uma primitiva de ao longo de .
15. Tomemos = C
0
, (t) = e
it
, t [

2
,

2
] e denamos f(t) = Log(t) +t. Mostre que f C
0
e que para todo t [

2
,

2
] existe uma primitiva F de
dz
z
em uma vizinhan ca de (t) tal que
f(t) = F((t)). Mostre aindaque F n ao e primitiva de
dz
z
ao longo de .
16. Dados : [a, b] C continuamente diferenci avel por partes e C mostre que existe
uma fun c ao contnua : [a, b] C tal que (t) = arg((t) ) para todo t [a, b]. Conclua
que Re(
1
2i
_

dz
za
) mede o n umero de voltas sobre a curva que a partcula que se move,
segundo (t), d a entorno de do ponto a.
17. Determine explicitamente a fun c ao F(z) =
_

dz
z
onde e o segmento de reta [a, b].
[sugestoes: (1) Determine explicitamente F

(z) ou ainda: (2) para cada z xado calcule

_
d
z
utilizando um ramo de logaritmo de z (i.e., log( z))]
18. Sendo uma domnio, a , : I a uma curva fechada e uma 1-forma
diferencial contnua e fechada em . Ent ao mostre que possui uma primitiva ao longo de
. [Sugestao: Partcione o intervalo I e verique a existencia de primitivas locais para
para construir uma primitiva ao longo de .]
19. Utilize o exerccio anterior para a 1-forma diferencial (z) =
dz
za
e verique de maneira
alternativa `a Proposi c ao 2.2.14 que n(, a) e de fato um n umerto inteiro. [Sugestao: Tome
ramos de logaritmo como primitivas locais para .]
20. Mais uma vez utilize as deni c oes do exerccio anterior, verique que
1
2i
_

dz
za
e um n umero
inteiro seguindo a seguintes passos:
i) Sendo : t [, ] z(t) uma parametrriza c ao para a curva , ent ao tome h(t) =
_
t

(t)
z(t)a
dt e verique que (t) = e
h(t)
(z(t) a) e constante;
ii) Conclua que e
h()
= 1 de onde segue o resultado desejado.
21. Ainda com as deni c oes verique que
1
2i
_

dz
za
e um n umero inteiro seguindo a seguintes
passos:
i) Utilizando o fato de ser contnua mostre que e possvel tomar-se uma parti cao = t
0
<
t
1
< < t
n
= do intervalo I = [, ] de tal forma que
k
:= [
[t
k1
,t
k
]
esteja contido
no domnio de um ramo de logaritmo;
ii) Verique exp(
_

dz
za
) =

k
z(t
k
)a
z(t
k1
)a
=
z()a
z()a
= 1.
2.3 Estrutura local das singularidades isoladas
Iremos realizar um estudo das singularidades isoladas de fun c oes holomorfas.
60
2.3.1 Singularidades isoladas
Deni cao 2.3.1 Seja um domnio, a C,

= a e f :

C uma func ao holomorfa,

ent ao diremos que a e uma singularidade isolada de f.
Recorde que, no enunciado do teorema de Goursat, introduzimos uma condi c ao aparentemente
articial, exigindo que numa singularidade isolada a
k
de f, tivessemos lim
za
k
(z a
k
)f(z) = 0.
Como veremos, tal condi c ao implica que f possui de fato uma extensao holomorfa a a
k
.
Teorema 2.3.2 Sendo a uma singularidade isolada de f :

= a C, tal que lim

za
(z
a)f(z) = 0. Ent ao f possui extens ao holomorfa ( unica) ao ponto a, i.e., existe uma fun c ao
holomorfa

f : C tal que

f[

= f. Em particular lim
za
f(z) ,= .
Prova. Considere o disco aberto de centro em a e de bordo C = , tal que . Ent ao
podemos denir a fun c ao holomorfa em (basta derivar sob o sinal de integral como no caso das
derivadas de ordem maior para a formula integral de Cauchy, para vericar a holomora)

f(z) :=
1
2i
_
C=
f()d
z
.
Como consequencia da forma geral da formula integral de Cauchy temos que

f(z) =
1
2i
_
C=
f()d
z
= n(C, z) f(z)
= n(C, a) f(z)
= f(z)
onde a pen ultima igualdade decorre da Proposi c ao 2.2.19. Finalmente a unicidade vem da con-
tinuidade de

f.
Note que o resultado acima reduz enunciado do teorema de Goursat ao enunciado do teorema
Cauchy. Porem, e conveniente observar que a prova utiliza o teorema de Goursat e a formula
integral de Cauchy, que e de fato uma das consequencias do teorema de Goursat.
Este resultado justica a seguinte:
Deni cao 2.3.3 Se a C e uma singularidade isolada de f. Ent ao diremos que a e:
i) removvel se lim
za
(z a)f(z) = 0;
ii) polo se lim
za
f(z) = ;
iii) singularidade essencial se lim
za
f(z) n ao existe.
Exemplo 2.3.4 Sendo f : C

C dada por f(z) =

exp(z)1
z
. Ent ao f possui uma singularidade
removvel em 0. De fato basta observar que
lim
z0
z f(z) = lim
z0
exp(z) 1 = 0.
Exemplo 2.3.5 Sendo f : C

C dada por f(z) =

1
z
. Ent ao f possui um polo em 0. De fato
basta observar que
lim
z0
f(z) = lim
z0
1
z
= .
Como consequencia do teorema anterior vamos obter:
61
Teorema 2.3.6 (F ormula de Taylor) Seja f : C holomorfa e a . Ent ao existe
f
n
: C holomorfa tal que
f(z) = f(a) +
f

(a)
1!
(z a) +
f

(a)
2!
(z a)
2
+ +
f
(n1)
(a)
(n 1)!
(z a)
n1
+f
n
(z)(z a)
n
.
Em particular se C e o bordo de um disco aberto centrado em a, tal que , ent ao
f
n
(z) =
1
2i
_
C
f()d
( a)
n
( z)
para todo z .
Prova. Considere a fun c ao f
1
: a C denida por f
1
(z) =
f(z)f(a)
za
, z a.
Ent ao temos que lim
za
(z a)f
1
(z) = lim
za
f(z) f(a) = 0. Portanto, pelo teorema anterior,
a e uma singularidade removvel. Dessa forma f(z) = f(a) + f
1
(z)(z a). Repetindo-se este
processo, n vezes, teremos:
_

_
f(z) = f(a) +f
1
(z)(z a),
f
1
(z) = f
1
(a) +f
2
(z)(z a),
.
.
.
f
n1
(z) = f
n1
(a) +f
n
(z)(z a),
e portanto temos
f(z) = f(a) +f
1
(a)(z a) +f
2
(a)(z a)
2
+ +f
n1
(a)(z a)
n1
+f
n
(z)(z a)
n
.
Derivando-se esta expressao k vezes vem que f
(k)
(a) = k!f
k
(a), k = 1 n 1. Finalmente,
pela formula integral de Cauchy temos que
f
n
(z) =
1
2i
_
C
f
n
()d
z
mas, da primeira parte do teorema, temos que
f
n
() =
f()
( a)
n

n

k=1
f
(k1)
(a)
(k 1)!( a)
nk+1
e portanto
f
n
(z) =
1
2i
_
C
f()d
( a)
n
( z)

n

k=1
f
(k1)
(a)
2i(k 1)!
_
C
d
( z)( a)
nk+1
o resultado ent ao decorre do seguinte lema.
Lema 2.3.7 Sendo C um crculo em torno de a C e k = 1 n. Ent ao
F
k
(z) =
_
C
d
( z)( a)
k
= 0
para todo z pertencente ao disco aberto delimitado por C.
62
Prova. A prova se d a por indu c ao em k. Inicialmente vamos vericar a arma c ao para k = 1.
De fato, se z = a, ent ao
1
(a)
2
tem primitiva e dessa forma o resultado segue imediatamente do
Teorema Fundamental do Calculo. Suponhamos ent ao que z ,= a. Neste caso temos que
_
C
d
( z)( a)
=
1
z a
_
C
_
1
z

1
a
_
d
=
2i
z a
(n(, z) n(, a)) = 0
pois z e a est ao na mesma componente conexa delimitada por C (Proposi c ao 2.2.19).
Vamos agora vericar a hipotese de indu c ao. Novamente se z = a, ent ao
1
(a)
2k
tem primitiva
e portanto nada h a a fazer. Consideremos agora o caso z ,= a e tomemos f() =
1
z
e g() =

1
k(a)
k
. Ent ao
F
k+1
(z) =
_
C
d
( z)( a)
k+1
=
_
C
f()g

()d
= f()g()[
C

_
C
f

()g()d
= 0
1
k
_
C
d
( z)
2
( a)
k
=
1
k
F

k
(z) 0
pois pela hipotese de indu c ao F
k
(z) 0.
Encerraremos esta se c ao com algumas observa c oes uteis com rela c ao `a estimativa do resto
na fomula de Taylor.
De fato, como f
n
(z) =
1
2i
_
C
f()d
(a)
n
(z)
, ent ao
[f
n
(z)[
1
2
_
C
[f()[ [d[
[ a[
n
[ z[

M(r)
2r
n
_
C
[d[
[ z[
onde M(r) = max
C
[f
n
()[. Por outro lado, pela desiguladade triangular temos que r =
[ a[ [ z[ +[z a[, de onde segue que
[f
n
(z)[
M(r)
r
n1
(r [z a[)
(2.2)
onde r > 0 e o raio do crculo C.
2.3.2 Zeros de funcoes holomorfas
Deni cao 2.3.8 Sendo f : C uma fun c ao holomorfa, ent ao dizemos que a e um zero
de f quando f(a) = 0.
Iremos agora mostrar uma das mais peculiares propriedades das fun c oes holomorfas.
Proposi cao 2.3.9 Seja um domnio, f : C holomorfa e a tal que f
(n)
(a) = 0 para
todo n N. Ent ao f 0.
63
Prova. Pela formula de Taylor, temos que
f(z) = (z a)
n
f
n
(z)
onde, n N e z . Logo, pela estimativa do resto na formula de Taylor, 2.2, temos que
[f(z)[ = [z a[
n
[f
n
(z)[
[z a[
n
M
r
n1
(r [z a[)
= (
[z a[
r
)
n
rM
r [z a[
.
para todo z , disco aberto tal que . Logo, como [z a[ < r, ent ao lim
n
[f(z)[ = 0
e portanto f 0 em . Como e aberto, ent ao para qualquer ponto z podem,os encontrar
um disco aberto z e f[

0, de onde segue que f 0.

Antes de continuarmos, vamos dar um exemplo que ilustra porque esta propriedade e peculiar
das fun c oes holomorfas, vericando que de fato isto n ao ocorre no universo C

.
Exemplo 2.3.10 Considere a fun c ao f(x) = exp(
1
x
) de classe C

. Ent ao f tem tods as

derivadas nulas na origem, porem e n ao-nula.
O resultado anterior justica a seguinte:
Deni cao 2.3.11 Seja f : C holomorfa n ao identicamente nula e a um zero de f.
Ent ao a ordem do ponto a, como zero de f, e o menor n umero m N tal que f
(m)
(a) ,= 0.
Como consequencia imediata da formula de Taylor temos que:
Corolario 2.3.12 Sendo f : C holomorfa e a um zero de ordem m, ent ao
f(z) = (z a)
m
f
m
(z)
onde f
m
: C e holomorfa e f
m
(a) ,= 0.
Como consequencia temos que
Proposi cao 2.3.13 Os zeros de uma fun c ao holomorfa n ao identicamente nula s ao isolados.
Prova. f : C holomorfa n ao identicamente nula e a um zero de f. Ent ao pelo
corol ario acima temos que existe f
m
: C holomorfa, tal que f(z) = (z a)
n
f
m
(z) com
f
m
(a) ,= 0. Como f e contnua, temos ent ao que existe um pequeno disco aberto em torno de
a tal que f(z) ,= 0 para todo z . Segue portanto que o unico zero de f em e o zero do
polinomio (z a)
n
, de onde segue o resultado desejado.
Dessa forma, temos o seguinte resultado conhecido como princpio da identidade
4
.
Teorema 2.3.14 (Princpio da Identidade) Sendo f, g : C holomorfas e X um
subconjunto n ao discreto. Ent ao se f[
X
= g[
X
, temos que f = g ao longo de todo .
Prova. De fato, basta vericar que h := f g possui zeros n ao isolados, pois X = h
1
(0).
Dessa forma, segue das proposi c oes 2.3.9 e 2.3.13 que h 0.
Encerraremos esta se c ao com um resultado classico, resultado da aplica c ao do princpio do
maximo e da descri c ao local de zeros de fun c oes holomorfas.
4
Em alguns textos cl assicos tal princpio e conhecido como princpio do prolongamento analtico, devido ` a
possibilidade de utiliz a-lo como ferramenta para prolongar-se o domnio de deni c ao de uma fun c ao. Tal dispositivo
nos leva ao conceito de monodromia, quando esta extens ao nao coincide com o valor inicial da fun c ao (e.g. os ramos
de logaritmo). Este conceito deve-se ao matem atico alem ao Carl Weierstrass.
64
Lema 2.3.15 (de Schwarz) Seja um disco aberto e f : C uma fun c ao holomorfa tal
que f(0) = 0 e [f(z)[ 1 para todo z . Ent ao temos:
(1) [f(z)[ [z[ para todo z ;
(2) [f

(0)[ 1.
Mais ainda, se para algum z ,= 0 se tem [f(z)[ = [z[ ou [f

(0)[ = 1, ent ao f e uma rota c ao,

i.e., eiste S
1
tal que f(z) = z, para todo z .
Prova. Como f(0) = 0, ent ao existe g : C holomorfa tal que f(z) = zg(z). A condi c ao
[f(z)[ 1 signica que [z[[g(z)[ 1, logo sobre o crculo [z[ = r < 1 teremos que g(z)
1
r
e, pelo
princpio do maximo, g(z)
1
r
para todo z (0; r) com r 1
+
, e portanto [g(z)[ 1 para todo
z . Temos portanto que [f(z)[ = [z[[g(z)[ [z[, o que prova (1).
Por outro como f(z) = zg(z) ent ao temos que f

(0) = g(0) e portanto, de acordo com o

par agrafo acima, [f

(0)[ = [g(0)[ 1 o que prova (2).

Finalmente, se a ,= 0 e tal que [f(a)[ = [a[ ent ao [g(a)[ = 1 ent ao de acordo com o visto acima
a e um ponto de maximo e portanto pelo princpio do maximo temos que g e localmente constante.
Mas como e conexo e f contnua entao e de fato constante. Analogamente se [f

(0)[ = 1 ent ao
[g(0)[ = 1 e novamente g e constante.
Observa cao 2.3.16 O lema acima caracteriza os biholomorsmos entre discos.
2.3.3 Polos
Vamos agora analisar a estrutura local de uma fun c ao que apresenta como singularidade isolada
um polo.
Proposi cao 2.3.17 Se a e um polo de f :

C, ent ao existe um unico inteiro positivo m tal

que
f(z) = (z a)
m
f
m
(z)
onde f
m
e uma fun c ao holomorfa de (a, ) :=

a e f
m
(a) ,= 0.
Prova. Como lim
za
f(z) = , ent ao temos que a fun c ao g : (a, r) a

C
denida por g(z) =
1
f(z)
e holomorfa e lim
za
g(z) = 0. Da, temos em particular que 0 e uma
singularidade removvel de g. Dessa forma, por abuso de linguagem vamos chamar a extensao de
g a (a, r) tambem por g. Logo pela Proposi c ao 2.3.12 teremos um unico inteiro positivo m tal
que
g(z) = (z a)
m
g
m
(z)
onde g
m
: (a, ) (a, r) C e holomorfa e n ao se anula em a. Sendo assim, invertendo-se a
equa c ao acima e tomando-se f
m
:= g
m
, obtemos o resultado desejado.
Deni cao 2.3.18 O n umero positivo no enunciado da proposi c ao anterior e conhecido como or-
dem do polo.
Nota cao 2.3.19 Dada f :

C holomorfa com polo em a. Ent ao dizemos que f e meromorfa

em (com polo em a).
Exerccio 2.3.20 Verique que o conjunto das fun c oes meromorfas com a soma e multiplica c ao
herdadas dos n umeros complexos e um anel, i.e., se f, g forem meromorfas ent ao f +g, f g e f/g
ser ao meromorfas.
65
2.3.4 Singularidades essenciais
Iremos agora abordar alguns dos poucos resultados conhecidos a respeito das singularidades essen-
ciais.
Teorema 2.3.21 (Weierstrass) Se a e uma singularidade essencial de f :

C e

(a, ) :=
(a, ) a ent ao f(

(a, )) e denso em C, qualquer que seja > 0 tal que

(a, )

.
Prova. Suponhamos por absurdo que f(

(a, )) n ao e denso em C. Ent ao existe b C, tal

que a distancia entre b e f(

(a, )) e positiva (ou seja), i.e., existe r > 0 tal que [f(z) b[ > r
para todo z

(a, ). Desta forma, temos que a e uma singularidade removvel de g(z) =

1
f(z)b
e portanto g e holomorfa em a. Dessa forma, f(z) = b +
1
g(z)
e meromorfa em (a, ), o que
contradiz o fato de a ser uma singularidade essencial de f.
Exemplo 2.3.22 Sendo f(z) = exp(
1
z
), ent ao 0 e singularidade essencial de f. De fato, basta
considerar a sequencia z
n
:=
1
2ni+c
, c C, arbitr ario. Temos ent ao que z
n
0 e f(z
n
) e
c
.
Finalmente iremos enunciar, sem prova, um resultado classico devido ao Matem atico Frances

Emille Picard.
Teorema 2.3.23 (Picard) Seja f :

C uma fun c ao holomorfa com singularidade essensial

em a, ent ao f(

(a, )) = C ou f(

(a, )) = C p, p C.
2.4 Funcoes holomorfas na esfera de Riemann
Estudaremos as rela c oes entre singularidades no innito e fun c oes holomorfas denidas na esfera.
2.4.1 Singularidades no innito
Iremos agora introduzir o conceito de singularidade isolada no innito.
Deni cao 2.4.1 Seja C um domnio e f : C uma fun c ao holomorfa, ent ao diremos
que f possui uma singularidade isolada no innito se existir r > 0, tal que C (0, r) .
Exemplo 2.4.2 A fun c ao f(z) = z
n
, n Z, possui uma singularidade isolada no innito.
Exemplo 2.4.3 O innito n ao e singularidade isolada da fun c ao f(z) =
1
sen(z)
. De fato, basta
observar que n quando [n[ e que sen(n) = 0.
Sendo f : C uma fun c ao holomorfa com singularidade isolada no innito, ent ao vemos
que g :
1
C, denda por g(w) = f(
1
w
), onde
1
= z C : z
1
e uma fun c ao
holomorfa com singularidade isolada em 0. Mais ainda, temos que lim
z
f(z) = lim
w0
g(w).
Tal argumenta c ao justica a seguinte:
Deni cao 2.4.4 Seja f : C uma fun c ao holomorfa com uma singularidade isolada no
innito. Ent ao diremos que e um(a)
1. singularidade removvel de f se lim
z
f(z) = C;
2. polo de f se lim
z
f(z) = ;
66
3. singularidade essencial de f se lim
z
f(z) n ao existir.
Note ainda que se n ao for singularidade essencial de f, ent ao pelas proposi c oes 2.3.12 e
2.3.12, teremos numa vizinhan ca conveniente de 0 que g(z) = z
n
g
n
(z), onde g
n
(z) ,= 0, para todo
z nesta vizinhan ca. Tal argumenta c ao justica a seguinte
Deni cao 2.4.5 Seja f : C, uma fun c ao holomorfa com uma singularidae isolada no
innito e g :
1
C, denda por g(w) = f(
1
w
). Ent ao diremos que e um zero (respec. polo)
de ordem m se 0 for um zero (respec. polo) de ordem m de g.

E importante observar com a mesma argumenta c ao acima podemos estender os teoremas de

Weierstrass e Picard para o caso de ser uma singularidade essencial de f.
2.4.2 O plano estendido
Vamos agora desenvolver um artifcio geometrico que tornara possvel compreender melhor o con-
ceito de singularidade isolada no innito. De fato, gostaramos de adjuntar ao plano um ponto
que sera chamado ponto do innito, denotado por , de tal forma a satisfazer algumas condi c oes
geometricamente intuitivas b asicas tais como encontra-se na interse c ao de todas as retas que
passam pela origem, gerando assim o chamado plano estendido. De fato existe uma constru c ao
puramente topologica para este objeto que se chama compactica c ao por um ponto ou compact-
ica c ao de Alexando. No entanto, para darmos uma ideia mais clara do objeto em quest ao,
consideraremos o crculo unit ario S
1
:= (x, y) R
2
: x
2
+y
2
= 1 e vericaremos como este serve
como um modelo geometrico suave para a reta estendida.
O crculo unitario como compatica cao da reta
De fato considere o crculo S
1
entrecortada pela reta (y = 0). Chamaremos ent ao os pontos N =
(0, 1) e S = (0, 1). De polos Norte e Sul do crculo respectivamente. Seja ent ao
N
: S
1
N R
(respec.
N
: S
1
S R) denida como segue: dado um ponto (x, y) S
1
N (respec. S
1
S)
considere a reta que passa por N e (x, y). Ent ao
N
(x, y) (respec.
S
(x, y)) e dado pela abscissa
da interse c ao desta reta com a reta (y = 0).
Mais precisamente, da geometria plana (por semelhan ca de triangulos) ou da geometria analtica
temos que

N
(x, y) =
x
1 y
,

S
(x, y) =
x
1 +y
.
67
Por argumentos puramente geometricos ou analticos, verica-se que
N
e
S
tem inversa
diferenci avel dada por

1
N
() =
_
2
1 +
2
,

2
1
1 +
2
_
,

1
S
() =
_
2
1 +
2
,
1
2
1 +
2
_
.
Temos portanto que do ponto de vista do c alculo diferencial a aplica c ao
N
(respec.
S
)
identica R a S
1
N (respec. S
1
S) de forma tal a que a medida que uma trajetoria se
aproxima do ponto no innito em R, temos que a sua imagem por
1
N
(respec.
1
S
) se aproxima
de N (respec. S).
Note ainda que como

N

1
S
() =
N
_
2
1 +
2
,
1
2
1 +
2
_
=
1

e diferenci avel, ent ao a estrutura diferenci avel de uma trajetoria em R por qualquer uma das
duas aplica c oes
1
N
ou
1
S
coincide, i.e., do ponto de vista do c alculo diferencial o estudo desta
trajetorias por qualquer uma das duas cartas deve levar a resultados equivalentes.
Note ainda que com esta abordagem, o crculo pode ser vista com a colagem de duas retas
e que as aplica c oes
1
N
e
1
S
servem como sistema de coordenadas aplicadas usualmente na
cartograa, por isso sao chamadas na topologia diferencial de cartas para a variedade diferenci avel
S
1
.
A esfera unitaria como compactica cao do plano complexo
De maneira analoga, podemos construir uma aplica c ao entre a esfera S
2
:= (x
1
, x
2
, x
3
) R
3
:
x
2
1
+ x
2
2
+ x
2
3
= 1 e o plano complexo atraves da chamada proje cao esteograca. De fato,
sendo N = (0, 0, 1) o p olo Norte da esfera, ent ao vamos denir a aplica c ao
N
: S
2
N C
de maneira seguinte: dado um ponto (x
1
, x
2
, x
3
) S
2
N considere a reta r que passa por N e
(x
1
, x
2
, x
3
). Ent ao
N
(x
1
, x
2
, x
3
) e dado pela proje c ao ortogonal no plano (y = 0) da interse c ao
da reta r com o plano (x
3
= 1).
Da geometria espacial ou analtica temos que

N
(x
1
, x
2
, x
3
) =
x
1
+ix
2
1 x
3
,

S
(x
1
, x
2
, x
3
) =
x
1
+ix
2
1 +x
3
.
68
Estas aplica c oes sao diferenci aveis e bijetivas e suas inversas dadas por

1
N
(z) =
_
z +z
[z[
2
+ 1
,
1
i
z z
[z[
2
+ 1
,
[z[
2
1
[z[
2
+ 1
_
,

1
S
(z) =
_
z +z
[z[
2
+ 1
,
1
i
z z
[z[
2
+ 1
,
1 [z[
2
[z[
2
+ 1
_
.
De fato, sendo z =
x1+ix2
1x3
, ent ao temos
[z[
2
= zz =
x
2
1
+x
2
2
(1 x
3
)
2
=
1 x
2
3
(1 x
3
)
2
=
1 +x
3
1 x
3
de onde segue que
x
3
=
[z[
2
1
[z[
2
+ 1
.
Por outro lado, temos que
z +z =
2x
1
1 x
3
= x
1
(
[z[
2
+ 1
2
)
e mais ainda que
z z =
2ix
2
1 x
3
= 2ix
2
(
[z[
2
+ 1
2
)
de onde nalmente segue que
x
1
=
z +z
[z[
2
+ 1
x
2
=
1
i
z z
[z[
2
+ 1
,
ou seja, o resultado para o polo Norte. O resultado analogo para o polo Sul decorre da simetria com
rela c ao ao plano (x
3
= 0). Note agora que a equivalencia do estudo de movimentos na esfera de
Riemann atraves de ambas as cartas, depende do grau de regularidade, i.e., de diferenciabilidade
da fun c ao de transi c ao
N

1
S
. Desta forma como

N

1
S
(z) =
N
_
z +z
[z[
2
+ 1
,
1
i
z z
[z[
2
+ 1
,
1 [z[
2
[z[
2
+ 1
_
=
1
1
1|z|
2
|z|
2
+1
_
z +z
[z[
2
+ 1
+i
1
i
z z
[z[
2
+ 1
_
=
[z[
2
+ 1
2 [z[
_
2z
[z[
2
+ 1
_
=
1
z
,
ent ao a esfera ter a uma estrutura diferenci avel mas n ao holomorfa, pois fenomenos na esfera
estudados em cartas diferentes n ao serao equivalentes do ponto de vista holomorfo, visto que a
transi c ao de sistema de coordenadas e anti-holomorfo. Por isto, n os realizamos uma leve altera c ao
em uma das cartas, digamos
S
para

S
(x
1
, x
2
, x
3
) =
S
(x
1
, x
2
, x
3
) =
x
1
ix
2
1 +x
3
que possui inversa

1
S
(z) =
1
S
(z) =
_
z +z
[z[
2
+ 1
,
1
i
z z
[z[
2
+ 1
,
1 [z[
2
[z[
2
+ 1
_
69
de onde nalmente obtemos que

N

1
S
(z) =
N

1
S
(z) =
1
z
=
1
z
(2.3)
e de fato holomorfa. A esfera S
2
munida desta estrutura e chamada de esfera de Riemann e
sera denotada por C. Podemos portanto, como no caso do crculo, imaginar a esfera como uma
colagem de dois planos complexos por uma lei denida por (2.3), de tal forma a que estudo de
uma fun c ao f com uma singularidade isolada numa vizinhan ca do innito do plano complexo passe
a ser o estudo da aplica c ao induzida numa vizinhan ca do polo Norte da esfera de Riemann e por
sua vez, atraves da aplica c ao estereogr aca pelo polo Sul, passe a ser o estudo de uma singularidade
na origem da fun c ao g := f
S

1
N
, o que justica geometricamente a argumenta c ao da se c ao
anterior. Note que deste ponto de vista, um ponto no innito ou na origem passa a ser somente
uma quest ao de referencial.
2.4.3 Fun coes inteiras:
Iremos agora estudar as fun c oes inteiras sob a luz da geometria da esfera de Riemann.
Deni cao 2.4.6 Dizemos que uma aplica c ao f : C C e holomorfa (respec. meromorfa ou
racional) se
f

:=

f
1

: C C
for holomorfa (respec. meromorfa ou racional), para todos , N, S.
Exemplo 2.4.7 Vamos agora descrever no sistema de cartas dados pela proje c ao estereogr aca,
a plica c ao induzida na esfera de Rimeann pela homograa T(z) =
az+b
cz+d
. De fato, se tivermos
f
NN
(z) = T(z), ent ao teremos
f
NS
(z) =
N
f
1
S
= f
NN

N

1
S
(z)
= T(
1
z
) =
bz +a
dz +c
,
f
SN
(z) =
S
f
1
N
(z) =
S

1
N
f
NN
=
=
1
T(z)
=
cz +d
az +b
,
f
SS
(z) =
S
f
1
S
=
S

1
N
f
NN
(z)
N

1
S
=
1
T(
1
z
)
=
dz +c
bz +a
Ent ao f e uma aplica c ao racional (e portanto meromorfa) da esfera de Riemann.
Deni cao 2.4.8 Dizemos que uma fun c ao f : C C e holomorfa (respect. meromorfa ou
racional) se
f

:= f
1

e holomorfa (respect. meromorfa ou racional) para todo , N, S.

Exemplo 2.4.9 f c C e uma fun c ao holomorfa na esfera de Rimeann.
Exemplo 2.4.10 f
N
(z) =
p(z)
q(z)
onde p, q C[z] induz uma fun c ao racional na esfera de Riemann.
de fato teremos
f
S
(z) =
S
f(z) =
S

1
N
f
N
(z)
=
q(z)
p(z)
.
70
Vamos agora vericar que os exempos acima esgotam todas as possibilidades para fun c oes
holomorfas e meromorfas na esfera de Riemann.
Proposi cao 2.4.11 Toda fun c ao holomorfa na esfera de Riemann e constante.
Prova. De fato, se f : C C e holomorfa, ent ao por deni c ao f
N
e f
S
sao holomorfas.
Portanto, como f
N
(
1
w
) = f
S
(w), a fun c ao f
N
: C C e uma fun c ao inteira e limitada (visto
que lim
w
f
N
(
1
w
) = f
S
(0) C), logo pelo teorema de Liouville, temos que f
N
e constante.
Dessa forma, a fun c ao inteira f
S
tem restri c ao a C

constante, logo por continuidade, temos que e

tambem constante; de onde segue o resultado desejado.
Vamos agora caracterizar as fun c oes meromorfas da esfera de Riemann
Proposi cao 2.4.12 Toda fun c ao meromorfa da esfera de Riemann e racional.
Prova. Primeiramente observemos que f
N
:= f
1
N
possui uma singularidade isolada no
innito se, e somente se, f
S
:= f
1
S
possui uma singularidade isolada na origem de mesma
natureza, pois
f
N
(
1
w
) = f
1
S

S

1
N
(
1
w
) = f
S
(w),
f
S
(
1
z
) = f
1
N

S

1
S
(
1
w
) = f
N
(w).
Desta forma, como f e meromorfa, temos que f
N
e f
S
n ao possuem singularidades essenciais.
Suponhamos agora que f
N
ou f
S
n ao possui polos no innito. Sem perda de generalidade,
podemos supor que f
N
n ao possui polos no innito. Dessa forma, teremos que os polos de f
N

digamos p
1
, , p
k
, com ordens respectivamente m
1
, , m
k
est ao contidos em C. Sendo
assim, pelas proposi c oes 2.3.12, e 2.3.17, temos que g(z) =

k
j=1
(z p
j
)
mj
f
N
(z) e uma fun c ao
inteira com singularidade removvel no innito (visto que f
N
n ao possui polos nem singularidades
essenciais no innito), ou seja e uma fun c ao inteira e limitada. Pelo teorema de Liouville, temos
que g C C, de onde seque que
f
N
(z) =
C

k
j=1
(z p
j
)
mj
(2.4)
e racional. Suponhamos agora que f
N
possua um polo no innito e que a C, n ao e polo de f
N
.
Ent ao consideremos a homograa H denida em cartas locais por
H
N
(z) =
az + 1
z
,
H
S
(w) =
1
a +w
.
Sendo g := f H, ent ao temos que g e meromorfa e n ao possui polo no innito, logo e racional.
Um c alculo imediato mostra que H tem inversa racional e que, portanto f = g H
1
e racional.
Como corol ario dos resultados acima vamos descrever as aplica c oes holomorfas e meromorfas
da esfera de Riemann.
Corolario 2.4.13 Toda aplica c ao holomorfa f : C C e constante.
Prova. Suponhamos que exista um ponto da b C tal que b / Im(f). Ent ao temos que ca
bem denida, em C, a fun c ao holomorfa g :=
N
H f, onde
H(z) =
_
z se b = ;
z
zb
se b ,= .
71
Mas pela Proposi c ao 2.4.11, toda fun c ao holomorfa em C e constante, de onde temos que f e
constante. Por outro lado se f e sobrejetiva, ent ao existe a C tal que f(a) = . Dessa forma,
uma das fun c oes f
NN
ou f
SN
tem um polo em
N
(a) ou
S
(a) respectivamente, o que e um
absurdo pois por hipotese estas fun c oes sao holomorfas.
Corolario 2.4.14 Toda aplica c ao meromorfa f : C C e racional.
Prova. Novamente, suponhamos que exista um ponto da b C tal que b / Im(f). Temos
ent ao que ca bem denida, em C, a fun c ao meromorfa g :=
N
H f, onde
H(z) =
_
z se b = ;
z
zb
se b ,= .
Mas pela Proposi c ao 2.4.12, toda fun c ao meromorfa em C e racional, logo temos que f e racional.
Por outro lado suponhamos que f seja sobrejetiva, ent ao existe uma homograa H tal que a
aplica c ao meromorfa g := f H n ao possui polos no innito, i.e., g
NN
n ao possui polos no innito.
Mas como corol ario da demonstra c ao da Proposi c ao 2.4.12, g
NN
e racional (e de fato da forma
(2.4)), de onde segue que f e racional uma vez que
N

1
S
e racional (cf. exemplo 2.4.7).
2.4.4 Exerccio (pontos singulares)
1. Mostre que as fun c oes exp(z), sen(z) e cos(z) possuem singularidade essencial no innito.
2. Mostre que uma fun c ao inteira que possui uma singularidade n ao-essencial no innito e de
fato um polinomio.
3. Mostre que uma singularidade de f(z) nunca pode ser um polo de exp(f(z)) (Sugestao:
Verique que f e exp(f) n ao podem possuir um polo em comum).
2.5 Derivada logaritmica e princpio do argumento
2.5.1 Princpio do argumento
Deni cao 2.5.1 Seja f : C uma fun c ao holomorfa n ao identicamente nula. Ent ao dizemos
que
f

f
e a derivada logaritmica de f.
Agora recorde que sendo f : C uma fun c ao holomorfa num disco fechado , ent ao o
conjunto dos zeros de f, denotado por Z(f) = z : f
1
(0), e discreto. Sendo assim, como
e compacto, temos que #Z(f) e nita e por conseguinte existe g : C

tal que
f(z) = (z z
1
) (z z
n
)g(z).
Dessa forma a derivada logaritmica de f fornece
f

(z)
f(z)
=
1
z z
1
+ +
1
z z
1
+
g

(z)
g(z)
. (2.5)
Como consequencia temos a:
Proposi cao 2.5.2 sendo f : C uma fun c ao holomorfa tal que Z(f) = a
1
, . . . , a
n
e
: I uma curva continuamente diferenci avel por partes. Ent ao temos que
1
2i
_

(z)
f(z)
dz =
n

j=1
n(, a
j
).
72
Prova. De fato por (2.5) temos que
1
2i
_

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

dx
z a
1
+ +
1
2i
_

1
z a
1
+
1
2i
_

(z)
g(z)
dz
=
n

j=1
n(, a
j
),
onde a ultima igualdade decorre da aplica c ao do teorema de Cauchy `a fun c ao holomorfa
g

(z)
g(z)
.
Lema 2.5.3 Sendo f : C uma fun c ao holomorfa n ao identicamente nula, a e : I
uma curva continuamente diferenci avel por partes, ent ao temos que
_

(z)
f(z)
dz = 2i n(, b),
onde = f

e b = f(a).
Prova. De fato, sendo w = f(z) e aplicando-se a formula de mudan ca de variaveis na integral
temos que
_

(z)
f(z)
dz =
_

dw
w
= 2i n(, b)
como desejado.
Os dois resultados acima permitem uma interpreta c ao geometrica. De fato sendo : I
uma curva continuamente diferenci avel por partes e = f

ent ao n(, 0) =

n
j=1
n(, a
j
), isto e,
o saldo de voltas de com rela c ao `a origem e igual a soma dos saldos de voltas de com rela c ao
a a
1
, . . . , a
n
.
Acabamos portanto de provar o chamado princpio do argumento:
73
Teorema 2.5.4 (Princpio do argumento) Sendo f : C uma fun c ao holomorfa n ao
identicamente nula e : I uma curva continuamente diferenci avel por partes, tal que
Z(f) = . Ent ao temos que
n(, 0) =
1
2i
_

(z)
f(z)
dz =

ajZ(f)
n(, a
j
) (2.6)
onde = f

E importante observar que embora t acima possa conter uma innidade de zeros em , temos
que est a contida num disco compacto, de onde segue que somente um n umero nito de zeros
contribuem para o somatorio na equa c ao (2.6).
Exemplo 2.5.5 Seja f : (i; 1) C dada por f(z) = e
1/z
1. Ent ao, como e f acil vericar
numa vizinhanca de z = 0 temos uma innidade de zeros de f (isto se deve ao fato f ter uma
singularidade essencial na origem) no entanto qualquer curva diferenci avel por partes em
envolve apenas um n umero nito de tais singularidades.
Exemplo 2.5.6 De maneira an aloga ao exemplo anterior se verica que a fun c ao f : C

C
dada por f(z) = sen(
1
z
) e holomorfa e possui uma innidade de zeros numa vizinhanca da origem.
2.5.2 N umero de solu coes da equacao f(z) = b
Iremos agora utilizar o conhecimento desenvolvido na se cao anterior para descrever o comporta-
mento das solu c oes da equa c ao f(z) = b, num ponto de multiplicidade maior que 1.
Deni cao 2.5.7 Sendo f : C uma fun c ao holomorfa n ao constante, ent ao diremos que
z
0
e uma solu c ao de ordem m da equac ao f(z) = b se z
0
for um zero de ordem m da fun c ao
z f(z) b e denot a-la-emos por ord
z0
(f) := ord
z0
(f b),
Uma consequencia imdediata da deni c ao temos o:
Lema 2.5.8 ord
a
(f) e igual a ordem da primeira derivada de f que n ao se anula em a.
Proposi cao 2.5.9 Seja f : C uma fun c ao holomorfa n ao constante, um disco
fechado e a = int() de tal forma que a seja a unica solu c ao para a equac ao f(z) = b em .
Ent ao temos que
ord
a
(f) =
1
2i
_

(z)
f(z) b
dz.
Prova. De acordo coma as hipoteses sobre f e a temos que f se escreve em da forma
f(z) b = (z a)
m
g(z), onde ord
a
(f) e g : C

. Sendo assim, temos que

f

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

(z)
g(z)
de onde segue pelo teorema de Cauchy, que
1
2i
_

(z)
f(z) b
dz =
1
2i
_

m
z a
dz
= m
como se desejava mostrar.
A proposi c ao acima justica a seguinte:
74
Deni cao 2.5.10 Seja f : C uma fun c ao holomorfa n ao constante, um disco
fechado e a = int(), chamamos de n umero de solu c oes da equac ao f(z) = b em ao
n umero
#sol(f = b; ) =
1
2i
_

(z)
f(z) b
dz.
Lema 2.5.11 Seja f : C uma fun c ao holomorfa n ao constante, um disco fechado e
sejam b
1
, b
2
pertencentes ` a mesma componente conexa deC , onde := f

(). Ent ao temos

que
_

(z)
f(z) b
1
dz =
_

(z)
f(z) b
2
dz.
Prova. Sendo g
j
(z) = f(z) b
j
,j = 1, 2, entao, pelo Lema 2.5.3 e pela invariancia do ndice
em componentes conexas, temos que:
_

(z)
f(z) b
dz =
_

g
2

(z)
g
2
(z)
dz
= 2i n(, b
2
)
= 2i n(, b
1
)
=
_

g
1

(z)
g
1
(z)
dz =
_

(z)
f(z) b
1
dz.
Proposi cao 2.5.12 Seja f : C uma fun c ao holomorfa e a
0
uma solu c ao de ordem m 1
da equac ao f(z) = b
0
. Ent ao para todo > 0 sucientemente pequeno, existe > 0 satisfazendo:
1. Para todo b (b
0
; ) existe exatamente m solu c oes da equac ao f(z) = b em (b
0
; );
2. Com exec ao de a
0
, todas as solu c oes possuem ordem 1.
Prova. Fa camos incialmenteo item 1). De fato, para sucientemente pequeno teremos
que quaisquer dois elementos de (b
0
; ) est ao na mesma componente conexa de C

, onde

:= f

((a
0
; )). Desta forma, pelo Lema 2.5.11, temos que #sol(f = b; ) = #sol(f = b
0
; )
para todo b (b
0
; ).
Veriquemos agora o item 2). Pela formula integral de Cauchy sabemos que f

e holomorfa,
portanto possui zeros isolados, de onde segue o resultado do fato de a
0
ser um sero de f

.
Como consequencia da proposi c ao temos:
Corolario 2.5.13 Toda aplica c ao holomorfa n ao constante e aberta.
Prova. De fato pelo teorema da fun c ao invesa, temos que numa pequena vizinhan ca de uma
solu c ao de ordem 1 da equa c ao f = b, f e de fato um difeomorsmo (aplica c ao diferenci avel com
inversa diferenci avel), sendo em particular aberta. por outro lado, nunma vizinhan ca de uma
solu c ao deordemM > 1, temos pela proposi c ao que f((a
0
; )) = (b
0
; ) que implica que f e
aberta.
75
Corolario 2.5.14 Sendo f : C uma aplica c ao holomorfa e injetiva, ent ao

= f() e uma
regi ao, f
1
:

e holomorfa e f

(z) ,= 0, para todo z .

Prova. Como f :

e uma bije c ao contnua e aberta, e tambem um homeomorsmo.

Da, como f e holomorfa, f
1
e contnua e f f
1
(z) = z, ent ao pelo exerccio 4 de 1.5.11, temos
que f
1
e de fato holomorfa e (f
1
)

(z) = 1/f(f
1
(z)) e potanto n ao nulo.
Em particular temos o:
Teorema 2.5.15 (Fun cao inversa holomorfa) Sendo f : C uma aplica c ao holomorfa
e a tais que f

(a) ,= 0. Ent ao existe > 0 tal que f[

(a,)
: (a, ) f((a, )) e um
biholomorsmo.
Prova. Como consequencia da Proposi c ao 2.5.12 temos que existem > 0 tal quef[
(a,)
:
(a, ) f((a, )) e injetiva, oresultado segue portanto do corol ario anterior.
Note que para a classe das fun c oes diferenci aveis as arma c oes acima n ao se vericam.
Exemplo 2.5.16 Considere a fun c ao diferenci avel f : R R dada por f(x) = x
3
. Ent ao sua
inversa y y
1/3
n ao e diferenci avel na origem.
2.5.3 Estrutura local da funcoes holomorfas
Discutiremos bremente o comportamento local da fun c oes holomorfas, atraves das solu c oes das
equa c oes da forma f(z) = b.
Recorde da Proposi c ao 2.5.12, que na vizinhan ca de um ponto qualquer a do domnio de
uma fun c ao holomorfa f : C podemos tomar uma fun c ao g : C

tal que
f(z) = b + (z a)
m
g(z),
onde m = ord
a
(f). Sendo assim podemos tomar um ramo de raiz m-esima de g em , digamos
h : C, de onde segue que
f(z) = b + ((z a)h(z))
m
.
Considere agora a fun c ao holomorfa (z) = (z a)h(z), ent ao temos que (a) = 0 e

(a) =
h(a) =
m
_
g(a) ,= 0. Sendo assim, reduzindo-se o raio de se necessario, temos pelo teoremada
fun c ao inversa holomorfa que e um biholomorsmo, de onde segue que
f
1
() = b +
n
, (2.7)
onde e o sistema de coordenadas locais dado por = (z).
temos portnto provado o seguinte:
Teorema 2.5.17 1. Em uma vizinhanca de um ponto qualquer a do domnio de uma
fun c ao holomorfa f : C podemos tomar um sistema de coordenadas tal que f se
escreve na forma
f() = b +
n
. (2.8)
Observa cao 2.5.18 O leitor pode car um pouco confuso com a diferenca das epress oes em (2.7) e
(2.8). Isto se deve ao fato de no primeiro caso termos xado um sistema de coordenadas cartesiano
onde cada ponto ca denotado pela coordenada z e representarmos a fun c ao neste sistema de
coordenadas pelo smbolo f. Mas recorde que uma fun c ao pode muito bem ser denida sem xar-se
um sistema de coordenadas e que suas representa c oes em sistemas de coordenadas distintos em
geral diferem. Portanto o problema se resume a estarmos utilizando o mesmo smbolo f para a
fun c ao e sua repressenta c ao no sitema de coordenadas cartesiano z.
76
Uma conseuqencia geometrica importante deste teorema e que uma curva que d a p-voltas em
torno de um ponto a de ordem m se transforma por f numa curva que d a m p voltas em torno de
b. Em particular temos uma ideia da contribui c ao de cada ponto que satisfaz a equa c ao f(z) = b
e e envolvido pela curva , no n umero de voltas que a curva = f

() d a em torno de b, em
conformidade com o princpio do argumento (cf. Teorema 2.5.4).
2.5.4 Princpio do argumento para funcoes meromorfas
Iremos agora estender o principio do argumento para fun c oes meromorfas
Deni cao 2.5.19 Sendo C um domnio,

:= a
1
, , a
n
e f :

C uma
fun c ao holomorfa com polos em a
1
, , a
n
. Ent ao diremos que f e uma fun c ao meromorfa em
. Denotaremos o conjunto dos polos de f pot P(f).
Note que como consequencia imediata da Proposi c ao 2.3.17 temos que:
Lema 2.5.20 Sendo f : C uma fun c ao meromorfa no disco , com polos b
1
, , b
n
de
multiplicidade ent ao existe g : C holomorfa tal que g(b
j
) ,= 0, j = 1 n, satisfazendo
g(z) = (z b
1
) (z b
n
)f(z),
para todo z .
Como consequencia do lema acima temos o:
Teorema 2.5.21 (princpio do argumento) Sendo f : C uma fun c ao meromorfa no
domnio e : I uma curva diferenci avel por partes. Ent ao temos que
n(, 0) =
1
2i
_

(z)
f(z)
dz =

aZ(f)
n(, a)

bP(f)
n(, b), (2.9)
onde, = f

.
Prova. A primeira equa c ao seguede maneira analoga ao caso do princpio do argumento
holomorfo. Para a segunda igualdade, considere um disco limitado tal que (I) . Pela
propposi c ao 2.2.14, temos que n(, p) = 0 para todo ponto p fora de . Em particular os so-
matorios no ramo direito da expressao (2.9) sao nitos. Desta forma, sendo Z(f) = a
1
, , a
m

e P(f) = b
1
, , b
n
ent ao, aplicamdo-se o Lema 2.5.20, teremos g : C

holomorfa tal que

g(b
j
) ,= 0, j = 1 n e f(z) =
(za1)(zan)g(z),
(zb1)(zbn)
. Donde segue que
f

(z)
f(z)
=
m

i=1
1
z a
i

j=1
1
z b
i
+
g

(z)
g(z)
77
e por conseguinte
1
2i
_

(z)
f(z)
dz =
m

i=1
n(, a
i
)
n

j=1
n(, b
j
)
=

aZ(f)
n(, a)

bP(f)
n(, b).
Com um caso particular do teorema acima temos oseguinte resultado classico:
Corolario 2.5.22 Sendo f : C uma fun c ao meromorfa no domnio , um disco aberto
tal que e Z(f) = = P(f) . Ent ao temos que
n(, 0) =
_

(z)
f(z)
dz = #(Z(f) ) #(P(f) ),
onde = f().
2.5.5 O Teorema de Rouche
Veremos agora o teorema de Rouche como uma aplica c ao do lema de Schwarz. Como uma aplica c ao
do lema de Rouche veremos a dependencia contnua das razes de um polinomio com rela c ao aos
coecientes.
Teorema 2.5.23 (de Rouche I) Sejam: f, g : C fun c oes holomorfase seja tais que
[f(z) g(z)[ < [g(z)[ para todo z . Ent ao f e g tem o mesmo n umero de zeros em , ie.
Z(f[

) = Z(g[

).
Prova. Inicialmente observe que da desigualdade acima temos que f e g n ao se anulam sobre
. Portanto podemos aplicar o princpio do argumento para a fun c ao meromorfa f/g, no disco
. Mas como

f(z)
g(z)
1

< 1 para todo z , ou seja, a imagem :=

f
g
() est a contida em
(1; 1) e portanto n(, 0) = 0. Logo, pelo Corolario 2.5.22, o n umero de zeros e on umereo de polos
de f/g em sao iguais e portanto f e g tem o mesmo n umero de zeros em .
Teorema 2.5.24 (de Rouche II) Sejam f, g : C fun c oes holomorfase seja tais
que [f(z) + g(z)[ < [f(z)[ + [g(z)[ para todo z . Ent ao f e g tem o mesmo n umero de zeros
em .
Prova. Trocando-se g por g na expressao acima, pode-se vericar sem diculdade (de maneira
analoga `a versao I) que a condi c ao acima garante que a imagem , de pela fun c ao f/g est a
contida na regiao C

R
+
e portanto n(, 0) = 0. O restante da demonstra c ao e identica ao caso
da a versao I.
Como um aplica c ao imdediata do teorema de Rouche temos:
Corolario 2.5.25 Seja p(z) = a
n
z
n
+ +a
1
z+a
0
um polin omio de grau n e sejam z
1
, . . . , z
n
suas
razes (n ao necessariamente distintas) dadas numa determinada ordem. Ent ao, dado > 0, existe
> 0 tal que se o polin omio p(z) = a
n
z
n
+ +a
1
z +a
0
est a -pr oximo de p ( ie. [a
j
a
j
[ ,
j = 1 n,) ent ao suas r aizes est ao -pr oximas (i.e., existe uma orden c ao para as razes de p tal
que [ z
j
z
j
[ [, j = 1 n).
78
Prova. Tomemos 0 < r < de forma que os discos fechados
k
:= (z
k
, r) sejam disjuntos
sempre que z
k
,= z
l
e tal que a unica raiz de p em
k
seja z
k
. Se [a
j
a
j
[ teremos
[ p(z) p(z)[ = [(a
n
a
n
)z
n
+ (a
1
a
1
)z + (a
0
a
0
)[
([z[
n
+ +[z[ + 1)
Sejam m := min

k
[p(z)[ e C := max

k
([z[
n
+ + [z[ + 1), ent ao para todo z
k

k
teremos que [ p(z) p(z)[ C < m [p(z)[[ desde que <
m
C
. Portanto, pelo teorema de
Rouche, em cada disco
k
, p e p tem o mesmo n umero de razes. Como os discos que se repetem
m vezes correspodem a uma unica raz (de p(z)) de multiplicidade m e os discos distintos sao
disjuntos, ent ao o resultado segue do fato de p e p possuirem o mesmo n umero de razes.
2.5.6 Exercicios
1. Verique que sendo f, g : C fun c oes holomorfas e tais que [f(z) +g(z)[ < [g(z)[
para todo z . Ent ao f e g tem o mesmo n umero de zeros em .
2. (Teorema de Rouche) Verique as seguintes arma c oes:
a) Sejam: f, g : C fun c oes holomorfase seja tais que [f(z)[ < [g(z)[ para todo
z . Ent ao f e g tem o mesmo n umero de zeros em , ie. Z(f[

) = Z(g[

);
b) Mostre que o enunciado no item a) e equivalente ao teorema de Rouche.
3. Mostre que a versao II do teorema de Rouche e mais forte que a primeira exibindo duas
fun c oes holomorfas que satisfa cam `as condi c oes da segunda versao mas n ao satisfazendo `as
condi c oes da primeira.
79
Captulo 3
Primitivas e Homologia
3.1 Uma revisao de conexidade
3.1.1 Denicao e exemplos
Iremos agora fazer uma breve revisao sobre conjuntos conexos, para podermos estudar de forma
efetiva as fun c oes holomorfas em domnios mais gerais que o disco.
Deni cao 3.1.1 Dizemos que um conjunto M e um espa co metrico quando est a munido de uma
fun c ao d : M M R satisfazendo:
i) d(x, x) 0, x M;
ii) d(x, x) = 0, se, e somente se, x = 0;
iii) d(x, y) = d(y, x)
iv) d(x, y) d(x, z) +d(z, y), x, y, z M.
Neste caso, d ser a chamada a metrica de M.
Exemplo 3.1.2 O plano complexo C e um espa co metrico com rela c ao a metrica d : CC R,
dada por d(z, w) = [z w[. N ao e difcil vericar que tal fun c ao satisfaz as condi c oes i)-iv) da
denic ao acima.
Em todo espa co metrico existe ums topologia bem denida.
Deni cao 3.1.3 Dizemos que um subconjunto U de um espa co metrico M e aberto se para todo
ponto a U existe um disco aberto de centro em a e raio > 0, digamos D

(a) = x M :
d(x, a) < . Mais ainda, dizemos que F M e fechado se M F e aberto.
Observa cao 3.1.4 De acordo com a denic ao acima, n ao e difcil vericar que a uni ao de um
quantidade qualquer de conjunto abertos e aberta e que a interses ao nita de fechados e de fato
um conjunto fechado.
Deni cao 3.1.5 Seja M um espa co metrico
1
e X M um subconjunto de M. Ent ao dizemos
que X e desconexo se existirem subconjuntos abertos A, B M satisfazendo:
1
Em nosso contexto todas as demonstra c oes e arma c oes podem ser levados a cabo de maneira inteiramente
an aloga para o caso de estarmos considerando um espa co topol ogico mais geral.
80
a) X A B;
b) X A ,= e X B ,= ;
c) X A B = .
Caso contr ario dizemos que X e conexo. Caso X seja deconexo, ent ao um conjunto A, B
como acima ser a chamdo uma cis ao n ao trivial de X.
Proposi cao 3.1.6 Se X e aberto (respec. fechado) ent ao X e desconexo se, e somente se, exis-
tirem X
1
, X
2
M abertos (respec. fechados) disjuntos, n ao vazios, tais que X = X
1
X
2
.
Prova. Suponhamos inicialmente que X seja desconexo e sejam X
1
= X A e X
2
= X B.
ent ao X
1
e X
2
sao n ao vazios, disjuntos e X = X
1
X
2
. Basta ent ao vericarmos que X
1
e X
2
sao abertos (respec. fechados) conforme X o seja. Como A e B sao abertos, ent ao o caso em que
X e aberto e imediato. Vamos ent ao vericar o caso em que X e fechado.
De fato teremos que
X
1
= X X
2
= X (X B) = X B = X (M B)
da, como X e fechado e B e aberto, temos da observa c ao acima que X
1
e fechado. Analogamente
se prova que X
2
e fechado.
Reciprocamente, suponhamos X = X
1
X
2
, com X
1
e X
2
como no enunciado. Se X
1
e X
2
sao
abertos, ent ao tomamos A := X
1
e B := X
2
e teremos X desconexo pois A, B e X, vao satisfazer
as condi c oes a)-c) da deni c ao acima. Por outro lado, se X
1
e X
2
sao fechados, ent ao tomamos
A := M X
2
e B := M X
1
, teremos ent ao A e B abertos e satisfazendo as condi c oes a) e b) da
deni c ao acima. Mais ainda, como X
1
X
2
= , ent ao
X A B = X (M X
2
) (M X
1
)
= X (M (X
1
X
2
))
= X (M X) = .
Proposi cao 3.1.7 Seja X

uma famlia de subconjuntos conexos de M, tal que

,= .
Ent ao X =

e tambem conexo.
Prova. Suponhamos, por absurdo, que X e desconexo e sejam a e B como na deni c ao de um
conjunto desconexo. Tomamos agora a

, ent ao a A B. Suponhamos (sem perda de

generalidade) que a A. Logo A X

,= , . Dessao froma, com X

A B e conexo,
ent ao devemos ter B X

= , , o que e um absurdo, pois neste caso teramos

B X = B (

) =

(B X

) = .
Deni cao 3.1.8 Seja M um espa co metrico e seja X M, ent ao chammado de fecho de X (em
M) ao conjunto X dado pela intersec ao de todos os conjunto fechados em M que contenham X.

E comum utilizar-se na literatura o termo vizinhan ca de um ponto para um pequenoaberto

que o contenha num dado espa co topologico. Para um espa co metrico este termo signica na
pratica a existencia de um disco aberto ou seja o disco fechado subtraido de seu bordo de
raio arbitrariamente pequeno.
81
Proposi cao 3.1.9 Seja M um espa co metrico e seja X M, ent ao a X se, e somente se, toda
vizinhanca de a intercecta X.
Prova. Seja a X e seja U a uma aberto. Suponhamos, por absurdo, que U X = .
Ent ao, F = X U X e como F e fechado teremos que F X o que e um absurdo pois, a X
e a / F.
Reciprocamente, suponhamos que a / X, ent ao o aberto U = M X contem o ponto a e n ao
intercecta X. Absurdo!
Proposi cao 3.1.10 X e fechado se, e somente se, X = X.
A prova e imediata e deixada como exerccio para o leitor.
Proposi cao 3.1.11 Se X e conexo, ent ao X e conexo.
Prova. Suponhamos, por absurdo, que A, B seja uma cisao n ao-trivial de X, ent ao evidente-
mente teremos X AB. Por outrro lado, de acordo com a Proposi c ao 3.1.9, teremos XA ,=
e X B ,= . Uma contradi c ao.
Deni cao 3.1.12 Um subconjunto C X e uma componente conexa de X se C e conexo e
maximal, i.e., se C

X e conexo e C

C, enta o C

= C.
Proposi cao 3.1.13 Sendo X

a cole c ao de todas as componentes conexas distintas de X, ent ao

temos a uni ao disjunta
X =
_

.
Prova. Inicialmente observemos que, dee acordo com a Proposi c ao 3.1.7 temos que se C

= C

ent ao C

= . Basta portanto mostrar que todo ponto de X esta contido em alguma

componente conexa de X.
Seja x X e tomemos C
x
como sendo a uniao disjunta de todos os subconjuntos conexos de
x que contem o ponto x (note que esta famlia e n ao vazio pois todo conjunto unit ario e conexo).
Assim temos que x C
x
e novamente pela prposi c ao 3.1.7, temos que C
x
e conexo. Vamos agora
mostrar que C
x
possui a propriedade de maximalildade.
De fato se C

X e conexo e C

C
x
, ent ao x C

e pela deni c ao de C
x
temos que C
x
C

,
i.e., C
x
= C

2
.
Proposi cao 3.1.14 Se X e fechado ent ao as componentes conexas de X tambem s ao fechadas.
Prova. Seja C uma componente conexa, teremos ent ao que C C X = X e pela Proposi c ao
3.1.10 C e conexo, logo C = C, ou seja, C e fechado.
Se X e aberto, n ao e verdade em geral que suas componentes conexas sao abertas.
Exemplo 3.1.15 Seja X =
1
n

nZ+
0, ent ao a componente conexa do ponto 0 e C
0
= 0 que
n ao e aberta em X. De fato isto ocorre porque X n ao e localmente conexo, conforme deniremos
a seguir.
Deni cao 3.1.16 Um espa co M e localmente conexo se para cada a M e para cada aberto
U a, existe um aberto conexo V U, que contem o ponto a.
Note que todo espa co vetorial normado e localmente conexo, pois as bolas sao conjuntos con-
vexos. Em particular R
n
e localmente conexo.
Proposi cao 3.1.17 Se M e localmente conexo e X M e aberto, ent ao as componentes conexas
de X s ao abertas.
82
Prova. Dada C uma componente conexa de X, tomemos x C qualquer. Como X e aberto,
de a acordo com a deni c ao 3.1.16, existe U
x
x aberto e conexo tal que U
x
X, logo, U
x
C.
Isto mostra que C e aberto pois C =
xC
U
x
.
Observa cao 3.1.18 Note que dado um subconjunto conexo S X, existe uma unica componente
conexa C de X tal que S C.
3.1.2 O caso particular M = R
n
Trataremos agora do estudo de subconjuntosconexos do espa co euclidiano R
n
.
Proposi cao 3.1.19 Seja X R
n
aberto, ent ao a cole c ao de suas componentes conexas e enu-
mer avel.
Prova. Isto decorre do fato de Q
n
R
n
ser um cinjunto enumeravel e denso, i.e., Q
n
intersecta
qualquer subconjunto aberto e n ao vazio de R
n
. Assim se C

e o conjunto das componentes

conexas de X, ent ao temos a uniao disjunta X =

, pela Proposi c ao 3.1.17 temos que cada

C

e abertae possuiportanto um ponto x

Q
n
. A aplica c ao C

Q
n
e injetora (visto que
os C

sao disjuntos) e potanto C

e enumeravel.
Proposi cao 3.1.20 Se X R
n
e limitado ent ao existe uma, e somente uma, componente conexa
de R
n
X que e ilimitada.
Prova. Inicialmente vericaremos a existencia. de fato, sendo X limitado, existe uma bola
fechada B(0; r) X. Como R
n
B(0; r) e conexo e esta contido em R
n
X, ent ao pela observa c ao
3.1.18, existe uma componente conexa C de R
n
X que contem R
n
B(0; r). Esta e portanto
uma componente ilimitada.
Vericaremosagora a unicidade. Suponhamos por absurdo, que C

seja outra componente

ilimitada, teremos ent ao que C

_
R
n
B(0; r)
_
,= o que implica que C

C ,= e portanto
C

= C.
No caso particular de uma curva R
2
temos que R
2
e aberto e consequentemente suas
componentes conexas formam uma cole c ao enumeravel de abertos conexos. Mais ainda, existe
precisamente uma componente ilimitada. Esta componente sera denotada por C

, a componente
do ponto no innito.
3.2 Primitivas de formas diferenciais fechadas
Recorde que na se c ao 2.1 vericamos as condi c oes para se obter uma primitiva para uma dada
fun c ao holomorfa num disco aberto. Faremos aqui uma generaliza c ao de tais resultados para um
domnio qualquer. Com este to, teremos que introduzir alguns conceitos geometricos fundamentais
para podermos oferecer provas convincentes dos resultados em toda sua generalidade.
3.2.1 Cadeias e ciclos
Iremos agora introduzir uma aritmetica no espa co dos caminhos diferenci avei por partes, conve-
niente para manipular as integrais de formas sobre caminhos. Consideremos como ponto de partida
a curva indicada na gura abaixo.
83
I.e. =
1
+
3
+
2

3
. Evidentemente, dada qualquer, teremos que
_

=
_
1
+
_
3
+
_
2

_
3

=
_
1
+
_
2
.
Por outro lado, observando mais atentamente, veremos que mesmo antes de tomar o sinal de
integra c ao, ja poderamos ter desprezado a contribui c ao de
2
e
2
, ja que estas obrigatoriamente
vao se cancelar. Ou seja, basta considerarmos
1
+
3
. Infelizmente
1
e
3
sao curvas disjuntas e
portanto,
1
+
3
n ao est a denida. Este obstaculo, no entanto, e meramente conceitual, pois como
nosso objetivo e calcular integrais, basta que atribuamos um signicado preciso para a integral
de uma forma sobre este novo ente
1
+
3
. Est a claro que para atingirmos nosso objetivo
basta denirmos
_
1+3
:=
_
1
+
_
3
. Sendo assim, para calcularmos
_

com esta deni c ao,

devemos de antemao farer as simplica c oes cabveis na expressao de como soma das curvas

1
,
2
e
3
, de tal forma que
_

coincida com a integral de sobre

1
+
3
, que e a expressao
simplicada de .

E claro que este procedimento, aplicado a este caso muito simples, deve-se generalizar `a situa c ao
geral. Para isto devemos dar um signicado preciso aos novos entes sobre os quais integramos
as formas diferenciais. Este e o objetivo da seguinte:
Deni cao 3.2.1 Uma cadeia e uma combina c ao linear formal de curvas continuamente difer-
enci avel por partes, com coecientes inteiros, onde a curva e identicada com a curva (1) .
Assim, uma cadeia e uma express ao da forma = m
1

1
+ +m
l

l
onde
1
, ,
l
s ao curvas
continuamente diferenci aveis por partes e m
j
Z, j = 1 n. Se as curvas
1
, ,
l
est ao todas
contidas em , ent ao dizemos que e uma cadeia em .
Observa cao 3.2.2 Se todas as curvas se cancelam na express ao simplicada de , diremos que
e uma cadeia nula e escreveremos = 0.
Observa cao 3.2.3 A soma de cadeias e denida de maneira obvia e com esta opera c ao o conjunto
((), de todas as cadeias de e um grupo abeliano .
Temos nalmente a desejada:
Deni cao 3.2.4 Se =

l
j=1
m
j

j
e uma cadeia em e se e uma 1-forma diferencial contnua
em , ent ao
_

=
l

j=1
m
j
_
j
.
Evidentemente temos que:
Lema 3.2.5 Se e s ao cadeias em e se e uma 1-forma diferencial contnua em , ent ao
84
1.
_
+
=
_

+
_

;
2.
_
m
= m
_

, para todo m Z;
N ao esquecendo o nosso objetivo de vericar quando
_

= 0, para curvas fechadas, destaca-

se naturalmente um tipo particular de cadeias, `as quais chamaremos de ciclos, de acordo com a
deni c ao abaixo:
Deni cao 3.2.6 Uma cadeia chama-se um ciclo em se ela pode ser escrita como uma com-
bina c ao linear ` a coecientes inteiros de curvas fechadas em . Em particular uma curva fechada
e um ciclo.
S ao imediatas as seguinte propriedades:
Proposi cao 3.2.7 Sendo uma 1-forma fechada no domnio e , dois ciclos em , ent ao
temos que:
1. e exata em se, e somente se,
_

= 0 para todo ciclo ;

2. + e um ciclo em ;
3. m e um ciclo para todo m Z;
4.
1
2i
_

dz
za
Z para todo a / .
Deni cao 3.2.8 Sendo uma 1-forma fechada no domnio e um ciclo em , ent ao de
acordo com a proposi c ao acima o n umero inteiro
1
2i
_

dz
za
chama-se ndice de com rela c ao
ao ponto a, e ser a denotado por n(; a).
Proposi cao 3.2.9 Sendo ,
1
e
2
ciclos no domnio e a C ,
1
,
2
. Ent ao:
a) n(
1
+
2
; a) = n(
1
; a) +n(
2
; a);
b) n(m ; a) = m n(; a);
c) A fun c ao n(, ) : C Z e constante nas componentes conexas de C. Em particular
n(, a) = 0 para todo a C

, componente conexa do innito de C .

Um resultado muito util e a seguinte caracteriza c ao de ciclo:
Proposi cao 3.2.10 Uma cadeia e um ciclo em se, e somente se, I(z) : C C,
denida por I(z) =
1
2i
_

d
z
, assume valores em Z, para uma innidade de pontos em C .
Prova. A necessidade decorre imediatamente do item 4) da Proposi c ao 3.2.7. Vamos agora
estabelecer a suciencia. Sendo =

m
j=1
m
j

j
onde m
j
Z

. Tomando-se adequadamente a
orienta c ao de cada
j
, podemos supor que m
j
Z
+
. Temos ent ao que
_

d
z
=

j
m
j
_
j
d
z
.
Mas pela Proposi c ao 2.2.12 temos que
_
j
d
z
= log
zbj
zaj
= log

j
_
zbj
zaj
_
mj
para um ramo de
logaritmo convenientemente escolhido, onde a
j
e b
j
sao os extremos de
j
. Por outro lado, se
I(z) Z, segue-se que e
2iI(z)
, ou seja

j
_
zbj
zaj
_
mj
= 1. Como isto ocorre para uma innidade
de valores de z C temos, pelo princpio da identidade, que os polinomios

j
(z a
j
)
mj
e

j
(z b
j
)
mj
sao iguais. Isto mostra que cada ponto nal de uma curva
j
e ponto inicial de uma
(e somente uma) outra, digamos
i
e reciprocamente.
85
Vamos agora mostrar mais precisamente que existe uma sequencia
j1
, ,
jn
de elementos
distintos de =
1
, ,
n
, tais que o elemento nal de cada
ji
coincida com o ponto inicial
de
ji+1
, i = 1 n 1, assim como o ponto nal de
jn
coincide com o ponto inicial de
j1
. Por
conseguinte, teremos que
j1
+ +
jn
e uma curva fechada.
Com efeito, consideremos sequencias (nitas)
k
de elementos distintos de tais que o ponto
nal de
k
coincida com o ponto inicial de
k+1
, como e nito, uma dessas sequencias
1
, . . . ,
n
tem o maior n umero de elementos possvel. Porem existe tal que o ponto nal de
n
coincide
com o ponto inicial de , logo pela propriedade de maximalidade da sequencia escolhida e pela
unicidade de tal temos que =
1
. Portanto
1
, . . . ,
n
e a sequencia desejada.
Utilizando o argumento acima, a proposi c ao se prova por indu c ao no n umero de curvas que
compoem a cadeia . Para n = 1, o resultado decorre imediatamente da Proposi c ao 2.2.14.
Suponhamos agora que o resultado seja valido para um n umero n ao superior a n de curvas na
cadeia . Provemos ent ao que o resultado e valido para n + 1 curvas compondo a cadeia .
Consideremos a sequencia = m
j1

j1
+ + m
jn+1

jn+1
. Do par agrafo anterior sabemos que
C :=
j1
+ +
jn
e uma curva fechada. Logo := m
j1
C e composta pelas n curvas

j2
, . . . ,
jn+1
e satisfaz `as hipoteses da proposi c ao (visto que e C satisfazem, este utimo pelo
motivo exposto no primeiro passo da indu c ao), sendo assim temos que e dado pelas soma de
curvas fechadas e portanto = + m
j1
C e dado por soma de curvas fechadas, como se queria
demonstrar.
Como consequencia imediata da proposi c ao acima, temos que:
Corolario 3.2.11 Se uma cadeia pode ser escrita como combina c ao linear de curvas
fechadas (n ao necessariamente em ), ent ao e um ciclo em .
De forma analoga `a se c ao 2.1, onde a existencia de primitivas foi determinada para discos, em
domnios mais gerais a quest ao de existencia de primitiva torna-se a seguinte:
Problema 3.2.12 Sendo uma 1-forma fechada em , sob que condi c oes sobre podemos garan-
tir que e de fato exata? Em outras plavras, sob que condi c oes podemos grantir que
_

= 0 para
todo ciclo em ?
Figura ??: regiao multiplamente conexa.
Uma condi c ao necessaria e obviamente determinada pela seguinte:
Deni cao 3.2.13 Um ciclo em e dito hom ologo a zero (e denotado por 0 em ) se
n(; a) = 0 para todo a / .
Exemplo 3.2.14 Como consequencia imediatada teorema de Cauchy no disco, temos que todo
ciclo num disco aberto e de fato hom ologo a zero.
86
Exemplo 3.2.15 Considere o anel fechado A(r, R) := z C : r [z a[ R onde C
R
e C
r
s ao os crculos positivamente orientados (i.e., no sentido anti-hor ario) de centro em a e raios R e
r respectivamente, e seja um domnio contendo A(r, R). Ent ao a curva = C
R
C
r
e hom ologa
a zero em . De fato o complementar de esta contido em (a; r)(C(a; r)), que dertermina
no m aximo duas componentes conexas (ver gura acima): a que contem o ponto a e a componente
conexa do innito. No primeiro caso temos n(; a) = n(C
R
; a) n(C
r
; a) = 1 1 = 0. No segundo
caso temos, pela Proposi c ao 2.2.14, que n(; ) = n(C
R
; ) n(C
r
; ) = 0 0 = 0.
Alem disso e conveniente observar que se b A(r, R) (o interior de A(r, R)) ent ao n(; b) =
n(C
R
; b) n(C
r
; b) = n(C
R
; a) n(C
r
; ) = 1 0 = 1.
O seguinte resultado, sobre ciclos hom ologos a zero, determina a condi c ao desejada sobre as
curvas fechadas de para a solu c ao do problema:
Teorema 3.2.16 Sendo 0 em , ent ao para toda 1-forma fechada em tem-se
_

= 0.
No intuito de obtermos uma prova para o teorema iremos necessitar dos seguintes passos inter-
mediarios:
Proposi cao 3.2.17 Sendo uma 1-forma fechada em e R um ret angulo contido em , ent ao
_
R
= 0.
Prova. Considere a cobertura aberta | = U C,aberto: [
U
e exata. Como R e compacto,
ent ao | possui uma subcobertura nita, digamos

| =

n
j=1
U
j
. Tomemos ent ao como sendo o
n umero de Lebesgue de

| e fracionemos R em pequenos ret angulos R
j
, j = 1 m, de forma tal
que diam(R
j
) < (ver gura abaixo)
Ent ao temos que R =

m
j=1
R
j
e portanto
_
R
=
m

j=1
_
Rj
=
m

j=1
0 = 0,
87
uma vez que R
j
U
j
tal que [
Uj
e exata.
Um corol ario imediato do resultado acima e a Proposi c ao 2.1.26, que leva ao teorema de Cauchy
no disco, provada com argumentos mais elementares na se c ao 2.1.
Nossa ideia agora e utilizar a proposi c ao acima apos substuir-se uma cadeia por uma poligonal
retangular em , como no:
Lema 3.2.18 Dada uma cadeia em , existe uma cadeia dada por uma poligonal retangular
em tal que
_

=
_

, para toda 1-forma fechada em . Em particular se e um ciclo, ent ao

n(; a) = n(; a)
Prova. Tomemos uma cobertura | = (z) C : (z) e um disco aberto centrado em
z Im e tal que [
(z)
e exata. Como Im e compacto, ent ao | possui uma subcobertura
nita, digamos

| =

n
j=0
(z
j
). Seja : I e t
0
, , t
n
uma parti c ao de I tal que
j
=
[
[tj,tj+1]
esteja contida em (z
j
), ent ao como [
(zj)
e exata, temos que a integal sobre
j
depende
apenas dos extremos, de onde segue que podemos substituir a integra c ao de ao longo de
j
pela
integra c ao de ao longo de
j
onde esta ultima curva est a contida em (z
j
) e e composta por
segmentos de retas verticais e horizontais (ver gura abaixo). I.e.,
_
j
=
_
j
.
Repetindo-se este processo um n umero nito de vezes obteremos resultado desejado.
Prova do teorema. ?????????? p agina 77.5-7, 78-80 dos originais???????
???????????????????????????????????????????????;
Em vista do exemplo 3.2.14 temos que o seguinte e uma generaliza c ao natural do teorema de
Cauchy no disco:
Teorema 3.2.19 (de Cauchy generalizado) Sendo f : C uma fun c ao holomorfa e 0
em . Ent ao
_

f(z)dz = 0
Prova. A prova e uma consequencia imdediata do Lema 3.2.18 e da Proposi c ao 3.2.17, uma
vez que sendo f holomorfa, ent ao f(z)dz e fechada.
De maneira analoga ao caso do disco temos uma generaliza cao natural para a forma geral da
formula integral de Cauchy:
Teorema 3.2.20 (forma generalizada da formula integral de Cauchy) Sendo f :
C uma fun c ao holomorfa e 0 em . Ent ao
n(; a)f(a) =
1
2i
_

f(z)
z a
dz = 0,
para todo ponto a .
88
Prova. Considere a fun c ao holomorfa F(z) :=
f(z)f(a)
za
(note que a e uma singulariade
removvel de F), ent ao pelo teorema de Cauchy generalizado temos que
0 =
_

F(z)dz =
_

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

f(z)
z a
dz
_

f(a)
z a
dz
=
_

f(z)
z a
dz f(a) n(; a),
de onde segue o resultado desejado.
Exemplo 3.2.21 Sejam A(a; r, R) e como no exemplo 3.2.15, seja um domnio contendo
A(a; r, R), e f : C uma fun c ao holomorfa. Ent ao, pela forma generalizada da f ormula
integral de Cauchy e do exemplo 3.2.15, temos que
f(z) = n(; z) f(z) =
1
2i
_

f()
z
d
=
1
2i
_
CR
f()
z
)d
1
2i
_
Cr
f()
z
d.
para todo z A(a; r, R) (o interior de A(a; r, R) ).
Deni cao 3.2.22 Diremos que dois ciclos
1
e
2
s ao hom ologos em se
1

2
0 em .
Temos imediatamente da deni c ao e do teorema de Cauchy que:
Corolario 3.2.23 Se
1

2
num domnio , ent ao
_
1
=
_
2
para toda 1-forma diferencial
fechada em . Em particular, para toda fun c ao holomorfa f : C temos que
_
1
f(z)dz =
_
2
f(z)dz.
De acordo com o exemplo 3.2.14, temos que todo ciclo em um disco aberto e hom ologo a zero.
Os conjuntos com tal propriedade sao singularmente importantes na teoria de integra c ao.
Deni cao 3.2.24 Diremos que um domnio e simplesmente conexo se todo ciclo em e
hom ologo a zero. Em caso contr ario diremos que o domnio e multiplamente conexo.
Segue portanto do teorema de Cauchy generalizado que:
Corolario 3.2.25 Se e simplesmente conexa, ent ao toda forma fechada em e exata.
Em particular temos o:
Corolario 3.2.26 Se e simplesmente conexa e f : C uma fun c ao holomorfa, ent ao f
possui primitiva em .
Um outro corol ario ligado a integra c ao e:
Corolario 3.2.27 Se e simplesmente conexa e f : C

e uma fun c ao holomorfa, ent ao

existe um ramo de logartmo de f(z).
Prova. De acordo com a Proposi c ao 1.5.23 e a regra da cadeia, um ramo de logaritmo para
f(z) existe se, e somente se, a forma diferencial
f

(z)
f(z)
dz for exata. Da, como
f

(z)
f(z)
e holomorfa em
um domnio simplesmente conexo, ent ao o resultado segue do corol ario anterior.
89
Proposi cao 3.2.28 e um domnio simplesmente conexo se, e somente se, C e conexo.
Prova. Caso = C ent ao o resultado e imediato. Suponhamos ent ao que C. Dessa forma,
apos uma mudan ca de coodenadas (se necessario), podemos supor sem perda de generalidade que
C. Mostraremos, por redu c ao ao absurdo, que se e simplesmente conexo ent ao C
e conexo. De fato, iremos construir em um ciclo, digamos , que n ao e hom ologo a zero.
Suponhamos que exista uma cisao n ao-trivial de C dada por C = A B. Como A e
B sao fechados pois sao subconjuntos fechados do conjunto fechado C e disjuntos,
ent ao d = dist(A, B) > 0. Suponhamos, tambem sem perda de generalidade, que B contenha a
componente conexa do innito. Ent ao A sera limitada e portanto estar a contida dentro de um
quadrado Q C. Caso Q n ao intercecte B, ent ao tomamos = Q (orientado no sentido
positivo). Caso contrario, iremos fragmentar Q em m quadrados Q
j
de diametro d
j
< d e tomar
=

r
l=1
Q
j
l
onde Q
j
l
A ,= . N ao e difcil de vericar que e uma cadeia em , visto que todo
lado de Q
j
l
que intercepta A, pertence a outro (e somente um outro) quadrado Q
j
l

(que tambem
intersecta A) se cancelando na soma total, de uma tal forma que sera formado pelo bordo da
uniao dos quadrados Q
j
que intersectam A (ver gura abaixo ). Note por outro lado que e um
ciclo em C e dessa forma, pela Proposi c ao 3.2.10, e tambem um ciclo em . Fixemos ent ao ent ao
a int(Q
j
) A, em ambos os casos teremos n(; a) =
1
2i
_

dz
za
=
1
2i
_
Qj
dz
za
= 1, de onde
segue que e o ciclo desejado.
Reciprocamente, se C e conexo ent ao (ainda com a hipotese, n ao restritiva, de que C)
C e conexo e portanto qualquer ponto de C est a contido na componente conexa do innito
do complementar de qualquer curva fechada em . Em particular se e um ciclo em , ent ao,
para todo a C teremos n(; a) = n(; ) = 0, de onde segue que 0, como desejado.
3.2.2 Domnios multiplamente conexos
Nesta se c ao, tendo como ponto de partida a Proposi c ao 3.2.28, da se c ao anterior, trataremos de
regioes multiplamente conexas.
Nota cao 3.2.29 Sendo um domnio ent ao o n umero n = #componentes conexas de C1
ser a chamado de conectividade de . Em particular, sendo C
j

n+1
j=1
as componentes conexas de
C, ent ao denotaremos por n(
k
; C
k
) o ndice da curva com rela c ao a um ponto qualquer de
C
k
.
90
A menos de men c ao em contrario, todas as regioes multiplamente conexas aqui consideradas
ter ao um n umero nito de componentes, i.e., ter ao conectividade nita.
Teorema 3.2.30 (existencia de base de homologia) Sendo um domnio multiplamente conexo
com conectividde n, e sendo C
j
as componentes conexas do complementar de em C, ent ao exis-
tem ciclos
1
, ,
n
em , tais que n(
k
; C
k
) = 1 e n(
k
; C
j
) = 0 para todo j ,= k. Mais ainda,
se e um ciclo em , ent ao ele se escreve de maneira unica como

n

j=1
m
j

j
.
Prova. A existencia dos n ciclos satisfazendo a primeira parte do enunciado do teorema, e um
corol ario da primeira parte da prova da Proposi c ao 3.2.28. Vamos agora vericar a segunda parte.
Inicialmente tomemos m
j
:= n(; C
j
), teremos ent ao que n(

n
j=1
m
j

j
, C
j
) = 0, o que signica
que 0 em e portanto que

n
j=1
m
j

j
. A unicidade, segue de maneira similar. de fato,
sendo

n
j=1
m
j

j


n
j=1
k
j

j
, ent ao

n
j=1
(m
j
k
j
)
j
0 e nalmente teremos m
j
k
j
= 0
para todo j = 1 n, visto que, em caso contrario, teramos n(

n
j=1
(m
j
k
j
)
j
, a
j0
) ,= 0, para
um dado j
0
1, n.
3.2.3 Polos e resduos
Nesta se c ao iremos em certo sentido generalizar o teorema de Cauchy, obtendo o valor da integral de
uma forma fechada ao longo de uma curva que envolve apenas um n umero nito de singularidades
(isoladas) de sendo estes polos. Calcularemos esta integral em termos de invariantes numericos
associados a estes polos, que chamaremos de resduos.
Considere agora uma fun c ao holomorfa num disco perfurado centrado e a C, f :

(a, r)
C. Mais ainda, sejam C
1
e C
2
dois crculos centrados em a, contidos em

(a, r) e positivamente
orientados. Ent ao, pelo exemplo 3.2.15, temos que C
2
C
1
0 e portanto,
_
C2
f(z)dz =
_
C1
f(z)dz.
Tal argumenta c ao justica a seguinte:
Deni cao 3.2.31 Sendo a C, f :

(a, r) C uma fun c ao holomorfa e C um crculo, positi-

vamente orientado, contido em

(a, r), ent ao diremos que o n umero

res(f; a) =
1
2i
_
C
f(z)dz
e o resduo de f com rela c ao ao ponto a.
Observa cao 3.2.32 A denic ao de resduo n ao depende do domnio considerado, mas, uma vez
que fa camos a restric ao da fun c ao a discos distintos sob as condi c oes da denic ao. Como observado
antes da defni c ao, tambem n ao depende do crculo C escolhido como caminho de integra c ao, uma
vez que tomado outro crculo C

, a fun c ao seja holomorfa num anel que contenha C e C

.
Passaremos agora ao c alculo pratico de resduos em situa c oes particularmente importantes.
Proposi cao 3.2.33 Sendo a um polo simples de f : C, ent ao res(f; a) = lim
za
(z
a)f(z).
Prova. Pela Proposi c ao 2.3.17 temos que existe g :

(a, r) C

holomorfa tal que

f(z) = g(z)/(z a). Desta forma, ao tomarmos C um crculo positivamente orientado, contido em

(a, r), ent ao teremos pela formula integral de Cauchy que

res(f; a) =
1
2i
_
C
f(z)dz =
1
2i
_
C
g(z)
z a
dz = g(a) = lim
za
(z a)f(z)
91
Como caso particular, vejamos o seguinte:
Exemplo 3.2.34 Sendo f(z) =
1
z
2
1
e uma funnc ao meromorfa com polos simples em 1, da
temos que
res(f; 1) = lim
z1
(z 1)
1
z
2
1
= lim
z1
1
z + 1
=
1
2
res(f; 1) = lim
z1
(z + 1)
1
z
2
1
= lim
z1
1
z 1
=
1
2
Proposi cao 3.2.35 Sendo a um polo simples de f : C e h : C holomorfa, ent ao
temos que
res(h f; a) = h(a) res(f; a).
Prova. Sendo f e g como na prova da da proposi c ao anterior, ent ao, novamente pela formula
integral de Cauchy, temos que
res(h f; 0) =
1
2i
_
|z|=1
h(z)g(z)
z a
dz = h(a) g(a) = h(a) res(f; a).
Na proposi c ao acima o polo de ser simples, caso contrario a arm c ao e falsa.
Exemplo 3.2.36 Sendo f(z) =
1
z
2
, ent ao f e uma fun c ao meromorfa com um unico polo na
origem e de ordem dois. Por outro lado ao tomarmos h(z) = z + 1, teremos que
(1 +z)
1
z
2
=
1 +z
z
2
=
1
z
2
+
1
z
,
de onde segue que
res(h f; 0) =
1
2i
_
|z|=1
_
1
z
2
+
1
z
_
dz =
1
2i
_
|z|=1
dz
z
= n([z[ = 1; 1) = 1
por outro lado
res(f; 0) =
1
2i
_
|z|=1
dz
z
2
= 0
Proposi cao 3.2.37 Se h : C tem um zero simples em a , ent ao f(z) =
1
h(z)
tem um
polo simples no ponto a e
res(f; a) =
1
h

(a)
.
Prova. De acordo com o Corolario 2.3.12, temos que existe g : C

holomorfa tal que

fh(z) = (z a)g(z), de onde segue que f(z) =
1
g(z)
za
. Portanto teremos res(f; a) =
1
g(a)
=
1
h

(a)
.
Uma consequencia imediata das proposi c oes acima e:
Corolario 3.2.38 Se f, g : C s ao holomorfas e g tem um zero simples em a , ent ao
res(
f
g
; a) =
f(a)
g

(a)
.
Prova. De fato, temos que res(
f
g
; a) = res(f (
1
g
); a) = f(a) res(
1
g
; a) = f(a)
1
g

(a)
.
92
Lema 3.2.39 Sendo f : C uma fun c ao meromorfa com p olo de ordem m em a , ent ao,
(pela Proposi c ao 2.3.17), temos que existe g :

(a, r) C

tal que f(z) = (z a)

m
g(z).
Temos ent ao que
res(f; a) =
g
(m1)
(a)
(m 1)!
.
Prova. De fato, res(f; a) =
1
2i
_
C
f(z)dz =
1
2i
_
C
g(z)
(za)
m
dz =
g
(m1)
(a)
(m1)!
, onde a ultima
igualdade decorre da (n 1)-esima derivada de g em a.
Estamo agora em condi c oes de enunciar o principal resultado deesta se c ao:
Teorema 3.2.40 (dos resduos) Sendo um domnio, S um conjunto discreto, f :
S C uma fun c ao holomorfa e 0 em . Ent ao temos que
_
C
f(z)dz = 2i
_

a
k
S
n(; a
k
) res(f; a
k
)
_
Prova. Suponhamos inicilmente que S = a
1
, , a
m
, i.e., consista de um n umero nito de
pontos. Ent ao, com o mesmo arrgumento contido na prova da existencia de base de homologia
(Proposi c ao 3.2.30) podemos vericar que

n
j=1
m
j
C
j
onde C
j
e um crculo positivamente
orientado entorno de a
j
, contido em , onde m
j
= n(; a
j
), j = 1 m. O resultado segue ent ao
imdediatamente. Por outro lado, se S e innito, ent ao iremos mostrar que existe somente um
n umero nito de pontos a
k
S tais que n(; a
k
) ,= 0, desta forma, como S e discreto, estaremos
reduzindo o problema ao caso anterior. Suponhamos por absurdo que exstam innitos pontos
a
k
S tais que n(; a
k
) ,= 0. Ent ao, pela Proposi c ao 2.2.14, todos estes pontos est ao contidos
numa componente conexa limitada, digamos C
1
, de C , estando portanto contidos em um
conjunto compacto K contido em C
1
. Tomando-se uma subsequencia, se necessario, podemos
supor que a
k
a K e portanto teremos que n(; a) = lim
k
n(; a
k
) ,= 0. Dessa forma, como
S e discreto, ent ao a / S e portanto , 0 em .
3.2.4 Uma breve digressao sobre homotopia e homologia
Em alguns textos classicos se controi a teoria de integrac ao sobre o conjunto de curvas homot opicas
ao inves das curvas hom ologas. Pretendemos mostrar aqui com exemplo que a teoria construda
atraves da homologia e mais geral.
Deni c ao de homotopia;
93
Exemplo de curvas homot opicas;
Exemplo de curvas hom ologas n ao homot opicas
3.2.5 Uma breve digresao sobrre homotopia e homologia
Em alguns textos classicos se controi a teoria de integrac ao sobre o conjunto de curvas homot opicas
ao inves das curvas hom ologas. Pretendemos mostrar aqui com exemplo que a teoria construda
atraves da homologia e mais geral.
Deni c ao de homotopia???????????? 90.1-2;
Exemplo de curvas homot opicas;
Exemplo de curvas hom ologas n ao homot opicas `a p agina 77.9
??????????????????????????????
Proposi cao 3.2.41 e um domnio simplesmente conexo se, e somente se, C e conexo.
Prova. ??????????????????????????????/
ver p agina 77.14, 81-84 das notas
??????????????????????????
Se e simplesmente conexo ent ao para todo crculo C contido em o disco delimitado po
C est a contido em . ?????????????????sse, e soemente se, para todo
3.2.6 Domnios multiplamente conexos
????????????????????????????
P agina 77.9-11, 85
?????????????????????????????
3.2.7 Resduos
Desenvolveremos aqui um metodopr atico de calcularos res uuos de singullarridades isoladas.
?????????????????????
P agina 77.16-17, 86-88
eorema dos resduos: p aina 77.18-19
???????????????????????????
94
Referencias Bibliogracas
[1] Abraham, R.; Marsden J. & Ratiu, T.; Manifolds, Tensor Analysis, and Applications, Applied
Mathematical Sciences Series, Vol 75, Springer-Verlag New York Incorporated, August 1988,
ISBN: 0387967907;
[2] Bamberg, P., Sternberg, S. ; A Course in Mathematics for Students of Physics: Volume 1, 2;
Cambridge University Press; Reprint edition (August 30, 1991), ISBN: 0521406498.
[3] Camara, L.M.; Uma breve introdu c ao ` a teoria das variedades.
http://ww.cce.ufes.br/damt/camara.
[4] B uhler, W. K.; Gauss: A Biopgraphical Study, Springer-Verlag, New York, 1981.
[5] Flanders, H. ; Dierential Forms with Applications to the Physical Sciences; Dover Pubns;
(December 1, 1989), ISBN: 0486661695 .
[6] Jordan, C.; Cours dAnalyse I, 3rd ed. pg 202.
[7] Curso de An alise vol II, IMPA.
[8] Stillwell, J. C.; Elements of Algebra: Geometry, Numbers, Equations (Undergraduate Texts
in Mathematics), Springer Verlag; ISBN: 0387942904; (September 1994);
[9] Weil, H.; ???????, Math. Z., 142 (1914);
[10] Zassenhaus, H.; On the fundamental theorem of algebra. American Mathematical Monthly, 74
(1967), 485-497.
95