Uma Introducao `a Analise Complexa

Airton Von Sohstein de Medeiros Leonardo Meireles Camara

Versao preliminar de 08 de novembro de 2011
Resumo
Estas notas se dedicam ao estudo geometrico das funcoes complexas, introduzindo de forma ele-
mentar e natural alguns conceitos fundamentais em matematica tais como superfcie de Riemann,
homologia, ndice de rotacao (winding number), monodromia etc, em exemplos simples que mo-
tivaram de fato a cria cao de tais conceitos buscando com isso tornar claro os pontos geometricos
fundamentais no estudo de tais funcoes e da sua rela cao com seus domnios de denicao 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 graduacao 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 nao traum atica.
Nele desenvolve-se inicialmente as funcoes elementares mais basicas para depois tratar da Teoria
de Integra cao de Cauchy. Finalmente trata-se da Teoria de funcoes do ponto de vista de Weierstrass
ou seja da convergencia de series e continuacao analtica.
A motiva cao destas notas, a despeito de v arios textos classicos sobre o assunto, e prover uma
texto em portugues que levasse o leitor ao conhecimento nao apenas de uma forma de obter
os resultados nele contidos, mas de faze-lo de maneira geometrica, explicitando os argumentos
topol ogicos que fundamentam os resultados, 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 Graduacao dos Cursos de Matem atica e
Fsica do CCE-UFES.
Sumario
1 Funcoes complexas 4
1.1 N umeros complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.1 O Corpo dos n umeros complexos . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.2 Representa cao polar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.3 Retas e semiplanos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2 Fun coes complexas: Limite e continuidade . . . . . . . . . . . . . . . . . . . . . . . 10
1.3 Fun coes holomorfas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3.1 Revis ao de diferenciabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3.2 Caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3.3 Matriz Jacobiana . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3.4 Holomora versus diferenciabilidade: Transformacoes C-lineares . . . . . . . 16
1.4 Consequencias das equacoes de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . 19
1.4.1 A conjugada harmonica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4.2 Exemplo de nao existencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.4.3 Uma interpreta cao em termos de primitivas . . . . . . . . . . . . . . . . . . 21
1.4.4 As variaveis z e z: diferenciais . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.4.5 Transformacoes conformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.4.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.5 Fun coes elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.5.1 A funcao exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.5.2 Interpreta cao geometrica de exp(z) . . . . . . . . . . . . . . . . . . . . . . . 28
1.5.3 As funcoes trigonometricas . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.5.4 Logaritmos de um n umero complexo . . . . . . . . . . . . . . . . . . . . . . 30
1.5.5 Ramos de logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.5.6 Ramos de argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.5.7 Ramos de logaritmo primitivas . . . . . . . . . . . . . . . . . . . . . . . . 33
1.5.8 Das propriedades de Log(z) . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.5.9 Ramos de raiz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.5.10 Potencias com expoentes arbitrarios: Ramos de potencia . . . . . . . . . . . 36
1.5.11 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2 Teoria da integra cao complexa de Cauchy 41
2.1 Primitivas e formas diferenciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.1.1 O problema central . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.1.2 Formulando o problema em termos de diferenciais . . . . . . . . . . . . . . 42
2.1.3 1-formas diferenciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.1.4 Integra cao em caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.1.5 Integra cao de 1-formas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
1
2.1.6 Retornando ao problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.1.7 Primitivas em um disco aberto . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.1.8 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.2 Consequencias do Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . 53
2.2.1 Formula integral de Cauchy e derivadas de ordem superior . . . . . . . . . 53
2.2.2 Consequencias da formula integral de Cauchy . . . . . . . . . . . . . . . . . 54
2.2.3

Indices de pontos com rela cao a curvas e a forma geral da formula integral
de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.2.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.3 Estrutura local das singularidades isoladas . . . . . . . . . . . . . . . . . . . . . . . 62
2.3.1 Singularidades isoladas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.3.2 Zeros de funcoes holomorfas . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
2.3.3 Polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2.3.4 Singularidades essenciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
2.4 Fun coes holomorfas na esfera de Riemann . . . . . . . . . . . . . . . . . . . . . . . 68
2.4.1 Singularidades no innito . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
2.4.2 O plano estendido . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
2.4.3 Fun coes inteiras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
2.4.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.5 Derivada logartmica e princpio do argumento . . . . . . . . . . . . . . . . . . . . 76
2.5.1 Princpio do argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.5.2 N umero de solu coes da equacao f(z) = b . . . . . . . . . . . . . . . . . . . . 77
2.5.3 Estrutura local da funcoes holomorfas . . . . . . . . . . . . . . . . . . . . . 79
2.5.4 Princpio do argumento para funcoes meromorfas . . . . . . . . . . . . . . . 80
2.5.5 O Teorema de Rouche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
2.5.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
3 Primitivas e Homologia 86
3.1 Uma revis ao de conexidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.1.1 Denicao e exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.1.2 O caso particular M = R
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
3.2 Primitivas de formas diferenciais fechadas . . . . . . . . . . . . . . . . . . . . . . . 89
3.2.1 Cadeias e ciclos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
3.2.2 Integra cao ao longo de curvas homologas a zero . . . . . . . . . . . . . . . . 92
3.2.3 Conjuntos simplesmente conexos . . . . . . . . . . . . . . . . . . . . . . . . 96
3.2.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
3.3 Integra cao e resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
3.3.1 Domnios multiplamente conexos . . . . . . . . . . . . . . . . . . . . . . . . 98
3.3.2 Polos e resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
3.3.3 Princpio do argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
3.4 Aplica cao ao calculo de integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
3.4.1 Integrais da forma
_
2
0
R(cos , sen )d, com R racional . . . . . . . . . . . 103
3.4.2 Integrais da forma
_

R(x)dx, com R racional . . . . . . . . . . . . . . . . 104

3.4.3 Integrais da forma
_

R(x) cos xdx, ou da forma

_

R(x) sen xdx, com R

racional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
3.4.4 Integrais da forma
_

0
x

R(x)dx, com R racional . . . . . . . . . . . . . . . 108

3.4.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
3.5 Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
3.5.1 Sequencias de funcoes e convergencia pontual . . . . . . . . . . . . . . . . . 110
3.5.2 Convergencia uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
2
3.6 Uma breve digressao sobre homotopia e homologia . . . . . . . . . . . . . . . . . . 111
3
Captulo 1
Funcoes complexas
Iremos introduzir alguns aspectos preliminares ao estudo das funcoes complexas, abordando suas
propriedades basicas de continuidade e diferenciabilidade.
1.1 N umeros complexos
Nesta se cao iremos recordar o conceito de n umero complexo e algumas de suas propriedades alge-
bricas e geometricas mais basicas.
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 cao
ao mesmo das solu coes da equacao 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.
Notacao 1.1.1 Sendo z = x + iy entao chamamos x de parte real e y de parte imagin aria de z,
denotando-os por: x = Re(z) e y = Im(z), respectivamente.
Observacao 1.1.2 Por vezes ao inves de notarmos o produto por z
1
z
2
, iremos faze-lo tao somente
por z
1
z
2
.
Deixaremos como exerccio para o leitor, a vericacao de que com tais opera coes o conjunto
dos n umeros complexos e de fato um corpo.
Proposicao 1.1.3 Sendo z
j
= x
j
+ iy
j
, j = 1, 2. Entao temos
1. z
1
+ z
2
= z
2
+ z
1
(comutatividade da soma);
2. (z
1
+ z
2
) + z
3
= z
1
+ (z
2
+ z
3
) (associatividade da soma);
3. Sendo 0 = 0 + i 0, entao 0 + z = z para todo z C (existencia de lemento neutro para a
soma);
4. Para todo z = x +iy C existe um elemento z = x iy tal que z +(z) = (z) +z = 0
(existencia de inverso para soma);
4
5. z
1
z
2
= z
2
z
1
(comutatividade do produto);
6. (z
1
z
2
)z
3
= z
1
(z
2
z
3
) (associatividade do produto);
7. Sendo 1 = 1 + i0, entao z 1 = 1 z = z para todo z C (existencia de elemento neutro da
multiplicac ao);
8. Se z = x + iy C

= C0, entao z z
1
= z
1
z = 1, onde z
1
=
x
x
2
+y
2
i
y
x
2
+y
2
(existencia de inverso multiplicativo);
9. (z
1
+ z
2
)z
3
= z
1
z
2
+ z
2
z
3
(distributividade da soma);
10. z
1
z
2
= 0 se, e somente se, z
1
= 0 ou z
2
= 0 (inexistencia de divisores de zero).
Notacao 1.1.4
z
1
z
2
:= z
1
z
1
2
.
Claramente, tal corpo e isomorfo, como espaco vetorial, a R
2
, atraves da aplica cao x + iy
(x, y). De tal isomorsmo obteremos uma descri cao 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.
Observacao 1.1.5 Nos n umeros reais se introduz o conceito de raiz quadrada de um n umero nao
negativo a R
0
como sendo o n umero nao 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 vericacao das seguintes propriedades da opera cao de
conjugacao.
Proposicao 1.1.6 Sendo z, z
j
C, j = 1, 2. Entao 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.
_
z
1
z
2
_
=
z
1
z
2
;
5
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
Proposicao 1.1.7 Sendo z, z
j
C, j = 1, 2. Entao temos:
(1) [z[ = (zz)
1/2
;
(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)

z
1
z
2

=
|z
1
|
|z
2
|
;
(7)
1
z
=
z
|z|
2
z ,= 0.
1.1.2 Representa cao polar
Vamos agora nos utilizar da identicacao 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 cao 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 segue das rela coes
trigonometricas que
z
1
z
2
= r
1
r
2
(cos(
1
+
2
) + i sen(
1
+
2
)) (1.1)
Observacao 1.1.8 Note que se [a[ = 1, entao a aplicac ao z az e de fato uma rotac ao. Quando
[a[ ,= 1, temos entao uma rotac ao seguida de uma homotetia
6
Uma consequencia imediata da equacao (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

, denotando-o 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, entao arg
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)
Deixamos como exerccio a prova das seguintes propriedades do argumento.
Proposicao 1.1.10 Sendo z, z
j
,= 0, j=1,2. Entao temos:
(1) arg(z
1
z
2
) = arg(z
1
) + arg(z
2
) (mod 2);
(2) arg(
z
1
z
2
) = 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 denicao do corpo dos n umeros complexos e feita de tal forma a permitir a solu cao
da equacao algebrica z
2
+1 = 0. Desta forma, torna-se natural identicar as solu coes das equacoes
algebricas da forma z
n
a = 0.
Proposicao 1.1.11 Sendo a C

, entao as soluc 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

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

r
=

n
+
2k
n
, k = 0 n 1
Razes oitavas da unidade
7
Em particular, para o caso em que a = 1 as solu coes 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 soluc oes da equac ao z
n
a = 0. Entao as soluc oes
s ao da forma
z
k
=
k
z
0
.
Prova. De fato,
n
= a se, e somente se,
_

z
0
_
n
= 1. Temos portanto que

z
0
=
k
, para
algum k = 0, . . . , n 1.
1.1.3 Retas e semiplanos
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 coes 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 coes 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
8
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 cao. Vejamos agora a suciencia. De fato, sendo R
c,d
a reta
parametrizada por w(s) = c + ds, ent ao vamos buscar uma reparametriza cao 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 equacao
a + b = w(
0
+
0
) = c + d(
0
+
0
)
= c +
0
d +
0
d
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 nao a
uma dada reta real em C.
Proposicao 1.1.14 Sendo R
a,b
uma reta real. Entao
z R
a,b
Im(
z a
b
) = 0.
Em particular, a expressao acima nao depende da parametrizac 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 cao 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 CR 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 coes de soma e produto de matrizes, e isomorfo ao corpo dos n umeros complexos.
1
Tal reparametriza cao representa na verdade uma mudanca de referencial determinada por uma transla cao
seguida de uma mudanca na velocidade de percurso da reta R
c,d
.
9
2. Determine condi coes sob as quais a equacao az +bz +c = 0 (com a, b constantes complexas)
tem exatamente uma solu cao e calcule esta solu cao.
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 nao 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
= cos(
2
n
) + i cos(
2
n
), onde n Z
+
. Se m Z
+
e tal que mdc(m, n) = 1, ent ao as
razes n-esimas da unidade s ao 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.
1.2 Funcoes complexas: Limite e continuidade
Trataremos aqui do estudo das propriedades innitesimais de funcoes 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 (z
0
, ) U, onde (z
0
, ) e o disco aberto de centro em z
0
e raio ,
i.e., (z
0
, ) := z C : [z z
0
[ < . Por conseguinte, diremos que um conjunto F e fechado se
seu complementar RF e aberto. Mais ainda, chamaremos de fecho de um conjunto S, denotado
por S, ao menor conjunto fechado contendo S, i.e., `a interse cao de todos os conjuntos fechados
que contenham S
2
. Finalmente, diremos que um conjunto aberto e conexo quando pudermos
armar que nao pode se decompor na uni ao de dois conjuntos abertos, disjuntos e nao-vazios.
Se e um conjunto aberto e conexo em C, ent ao diremos que e um domnio ou regiao.
Observacao 1.2.1 Recordemos um resultado classico 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 entao diremos que f tem limite
L quando z tende ao ponto a C, se > 0 existe > 0 tal que [f(z) L[ < sempre que
0 < [z a[ < e z U.
Observacao 1.2.3 Note que na deni c ao de limite e fundamental o uso da norma herdada de R
2
.
Exemplo 1.2.4 1. Sendo f(z) = z
2
, entao lim
z0
f(z) = 0;
2. Sendo g(z) =
1
z1
, entao lim
z2
g(z) = 1;
3. Sendo h(z) =
az+b
cz+d
e c d ,= 0, entao lim
z0
h(z) =
b
d
.
2
Como em toda topologia, a intersecao de uma famlia de fechados em R
2
e tambem fechada.
10
Como no caso de funcoes 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 funcao 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;
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 funcoes reais. Diremos que
uma funcao 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 funcoes contnuas num domnio U, ent ao:
10. f + g, f g e f/g s ao contnuas em seus respectivos domnios de denicao;
11. f g e contnua em seu domnio de denicao;
12. [f[ e contnua;
13. f e contnua se, e somente se, Re(f) e Im(f), s ao contnuas.
1.3 Funcoes holomorfas
Nesta se cao iremos generalizar o conceito de derivada de uma funcao do ponto de vista da extensao
de corpos dos n umeros reais para os n umeros complexos. De fato, nao e difcil vericar que as
propriedades utilizadas na denicao de derivada s ao as propriedades de corpo mais a norma de R.
Deni cao 1.3.1 Seja um domnio e f : C uma fun c ao. Entao diremos 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 , entao 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.
11
Exemplo 1.3.2 As funcoes 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 deriva c ao do c alculo real nos diz
que f

0 e g

(z) = .
Exemplo 1.3.3 De maneira analoga se verica que f(z) =
1
za
e uma fun c ao holomorfa em
Ca, mas nao e inteira, pois lim
za
f(z) = .
De maneira analoga `as funcoes de uma variavel real, temos v alidas as seguintes propriedades
das derivadas. Se f e g s ao 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 a imagem de g est a contida no domnio de f, ent ao (f g)

(z) =
f

(g(z)) g

(z).
Exemplo 1.3.4 (Polin omios) Sendo p(z) = a
0
+ a
1
z + + a
n
z
n
, a
n
,= 0, entao p C[z] e
holomorfa e alem disso p

(z) = a
1
+ 2a
2
z + + na
n
z
n1
. De fato, por sucessivas aplicac 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 aplicac oes da propriedade (2.).
Exemplo 1.3.5 (Funcoes Racionais) Sendo r(z) =
p(z)
q(z)
, onde p, q C[z] e dom(r) := =
Cq
1
(0), entao 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 coes de Moebius)
3
T(z) =
az+b
cz+d
.
1.3.1 Revisao de diferenciabilidade
Iremos agora apresentar outra caracteriza cao para diferenciabilidade de funcoes reais ou complexas.
Proposicao 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 : (, ) R
(respect. : (0, ) 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
.
3
As transforma coes de Moebius sao tambem conhecidas como transforma coes lineares fracionarias ou homograas.
12
Recorde que as demonstracoes usuais nos textos de Calculo para a regra da cadeia s ao falhos.
De fato, muitos deles se baseiam no seguinte argumento:
lim
wa
f(g(w)) f(g(a))
w a
= lim
wa
f(g(w)) f(g(a))
g(w) g(a)
lim
wa
g(w) g(a)
w a
= f(g(a)) g(a).
O problema neste tipo de argumenta cao e que nao podemos garantir que lim
wa
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 cao para funcoes diferenciaveis dada pela Proposicao 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 funcoes diferen-
ciaveis em a I e g(a) J respectivamente, entao f g e diferenci avel em a I e sua derivada e
dada por
(f g)

(a) = f

(g(a)) g

(a)
Prova. De acordo com a Proposicao 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 demonstracao para o caso complexo e inteiramente analoga.
Vamos agora generalizar o conceito de derivada para v arias variaveis, tendo como pano de fundo
o conceito de melhor aproximacao am de uma funcao.
Deni cao 1.3.9 Diremos que f : U R
m
R
n
e diferenci avel em a U se, e somente se,
existir uma transforma c ao linear L : R
m
R
n
e uma aplicac 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 denicao de continuidade para funcoes reais utiliza apenas o fato de R ser um espaco
vetorial normado, portanto com essencialmente as mesmas palavras podemos denir o conceito de
continuidade para funcoes denidas em R
n
. Da mesma forma, pode-se vericar facilmente que se
f e diferenciavel, ent ao f e contnua em a.
Aqui tambem e v alida a regra da cadeia, sendo esta demonstrada com a ajuda da desigualdade:
13
Lema 1.3.10 Sendo L : R
m
R
n
uma apli c ao linear, entao 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
fun c oes diferenci aveis em a U e g(a) V respectivamente, entao fg e diferenci avel
em a U e sua derivada e dada por
(f g)

(a) = f

(g(a)) g

(a)
Prova. Repetiremos a argumenta cao feita no caso de uma variavel para o caso de v arias
variaveis, em vista da denicao acima. Por denicao 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 cao : I R R
n
e diferenciavel em t I se, e somente se, existe uma
transformacao linear L : R R
n
e uma aplica cao : 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
diferenciavel em t, com velocidade instantanea

(t) = v, em t I.
14
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, entao := f e diferenci avel em a I e sua derivada e dada
por

(t) = df((t))

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

(t) = d(f )

(t)
= df((t))

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

(a) = 0. Entao f e constante.

Prova. Ja sabemos da validade desta arma cao 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 diferenciavel : [0, 1] U, desta forma,
aplicando-se o Teorema Fundamental do Calculo e o Lema 1.3.12, teremos
f(p) f(q) = (1) (0)
=
_
1
0

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

(t)
= 0
visto que a derivada de f se anula. Segue, portanto, que f que e globalmente constante.
1.3.3 Matriz Jacobiana
Vamos agora estudar mais detalhadamente a derivada de uma aplica cao de n variaveis atraves
de suas derivadas parciais. Seja T : R
m
R
n
uma transformacao linear e [T] a matriz que a
representa na base can onica, i.e., T(h) = [T] h, com h =

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

m
j=1
h
j
e
j
) =

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

m
j=1
e a base can onica de R
m
. Desta forma, podemos denir as
derivadas parciais para uma aplica cao f : U R
m
R por
f
x
j
= (
f
1
x
j
, ,
f
n
x
j
)
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
x
j
(a), j = 1, . . . , m.
Prova. Basta observar que por denicao
f
x
j
(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.
Notacao 1.3.16

E usual na literatura denotar-se a matriz f

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

_
f
1
x
1
(a)
f
1
x
m
(a)
.
.
.
.
.
.
f
n
x
1
(a)
f
n
x
m
(a)
_

_
e chama-la de matriz Jacobiana de f.
No caso particular em que temos uma aplica cao 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 cao 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 aplicac ao tal que as derivadas
parciais das fun c oes coordenadas f
j
: U R s ao contnuas em a U (j = 1, , n). Entao f e
diferenci avel em a U
4
.
1.3.4 Holomora versus diferenciabilidade: Transformacoes C-lineares
De todas as funcoes complexas, as mais simples s ao, sem sombra de d uvida, as funcoes lineares.

E
facil vericar (atraves da denicao) que tais funcoes s ao diferenciaveis, no caso real, e holomorfas no
caso complexo. Vamos agora, utilizar a analise da se cao anterior para vericar as condi coes para que
uma transformacao linear de R
2
seja de fato uma transformacao linear complexa. Inicialmente
recordemos que C pode ser visto como um espaco vetorial real de dimensao 2 com base can onica
= 1, i. Dessa forma denotaremos as transformacoes (R)-lineares de C por /
R
(C). Por outro
lado, C pode ser visto, como um espaco vetorial sobre C, sendo que as transformacoes C-lineares
serao denotadas por /
C
(C).
Exemplo 1.3.18 Considere a transforma c ao R-linear T : C C dada por [T] = diag(1, 3) e
seja = 1 + i. Sendo z = x + iy, teremos entao que
T(z) =
_
1 0
0 3
__
x
y
_
= (x, 3y)
= (1 + i)(x + 3yi)
= (x 3y) + (x + 3y)i.
4
Para uma prova deste resultado veja [3] ou [7].
16
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 nao e C-linear.
Lema 1.3.19 Seja T : C C uma transforma c ao R-linear, entao s ao equivalentes:
i) T e C-linear;
ii) T(z) = z,onde C;
iii) T = 0 ou uma semelhanca positiva (homotetia mais rotac ao);
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 associatividade da soma, da
distributividade da soma e da comutatividade em C. Por outro lado, temos imediatamente da
Observa cao 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 espacos vetoriais sobre 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 s ao: Sendo (f := u + iv) : C C
uma funcao holomorfa em a ent ao teremos:
Corolario 1.3.20 Toda transforma c ao T /
C
(C) preserva orienta c ao.
Prova. Segue imediatamente do Lema 1.3.19.iii).
Corolario 1.3.21 (Equa coes de Cauchy-Riemann) Sendo f : U C C uma fun c ao dada
por f = u + iv, entao 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 ).
17
Prova. Primeiramente vamos mostrar que sendo f holomorfa ent ao e diferenciavel e satisfaz
`as equacoes de Cauchy-Riemann. De fato sabemos que existe :

(a; ) C (onde

(a; ) :=
(a; )a) 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 diferenciavel. Mais, pela expressao da
derivada em (1.3), temos imediatamente que f satisfaz as equacoes de Cauchy Riemann, pois
u
x
= = v
y
e v
x
= = u
y
.
Reciprocamente, suponhamos que f seja diferenciavel e satisfa ca as equacoes 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. Portanto f e holomorfa.
O resultado acima permite-nos vericar quando uma aplica cao diferenciavel 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 Corolario 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 ) entao f const.

Prova. De fato, sendo f holomorfa ent ao satisfaz as equacoes 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 cao gostaramos de observar que existe uma outra maneira de introduzir
as equacoes de Cauchy-Riemann, que e usualmente utilizada na literatura. De fato temos pela
denicao 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.
5
A condi cao de f ser de classe C
1
e de fato superua. Como veremos no Corolario 2.2.3, toda fun cao holomorfa
e de classe C

.
18
1.4 Consequencias das equacoes de Cauchy-Riemann
1.4.1 A conjugada harm onica
Inicialmente observemos que se f = u + iv e uma funcao holomorfa e de classe C
2
, ent ao u e v
satisfazem a equacao U = 0, onde U = U
xx
+ U
yy
(usa-se o termo Laplaciano de U). Desta
forma se coloca naturalmente a quest ao recproca.
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 equacao temos que v = 2xy +(y), derivando-a com rela cao a y obtemos da segunda
equacao 2x = 2x +

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

solu cao particular.
Notacao 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 situacoes
mais gerais. De fato aplicando-se o teorema fundamental do Calculo para a segunda equacao de
(1.5) temos que
v(x, y) =
_
x
x
0
u
y
(t, y)dt + (y)
onde (y) = v(x
0
, y). Por outro lado, derivando-se esta equacao vem que
u
x
(x, y) = v
y
(x, y) =
_
x
x
0
u
yy
(t, y)dt +

(y)
u=0
=
_
x
x
0
u
xx
(t, y)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
y
0
u
x
(x
0
, y)dy
6
Em Fsica diz-se que X e o Hamiltoniano de u.
19
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 construcao 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 possibilidade de
construir uma tal funcao est a muito mais ligada a propriedades de natureza topol ogicas do maior
domnio possvel aonde a funcao esteja bem denida.
Como consequencia imediata da conclus ao 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 intersectam ortogonalmente, i.e., u v = 0.
Como consequencia imediata do anulamento do Laplaciano de u, temos a:
Proposicao 1.4.7 Sendo f = u + iv holomorfa. Entao 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 equacoes 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 demonstracao acima que alem de v ser ortogonal a u, ele e de

fato obtido de u por uma rotacao de 90
0
no sentido anti-hor ario.
Exemplo 1.4.8 u(x, y) = ln(x
2
+ y
2
) e harm onica e nao possui conjugada em C

. De fato, um
c alculo direto mostra que u = 0. Observemos, por outro lado, que as curvas de nvel 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
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 situacoes mais gerais.
20
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, entao 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.
Observacao 1.4.9 Mais adiante veremos que ao retirarmos uma semireta de C

e possvel en-
contrar f = u + iv, com u = ln(x
2
+ y
2
) e v = Arg(z).
1.4.3 Uma interpreta cao 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 funcao 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, entao 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 g satisfaz `as equacoes 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
possua 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 funcao holomorfa com Re(f) = u, de onde segue que u possui conjugada
harmonica.
Observacao 1.4.11 Infelizmente nao temos (ainda)
_
z
z
0
g(z)dz para denirmos uma primitiva
de g. Esta quest ao ser a motivo de grande parte do curso: A teoria de integrac ao complexa de
Cauchy.
Encerraremos esta se cao com as seguintes consequencias imediatas das equacoes de Cauchy-
Riemann.
Proposicao 1.4.12 Seja f : C C holomorfa. Em qualquer das hipoteses 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).
21
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
, ent 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 hip oteses 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
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 cao
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
funcao holomorfa nao constante ser aberta. Porem nao 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, naodependede
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 funcao temos

f(z, z) = f(x, y) = f(
1
2
(z + z),
1
2i
(z z)).
Uma calculo 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 equacoes 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 denicao 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 cao embasada em conceitos matematicos ja
bem estabelecidos. Vamos portanto, atraves da algebra linear, estabelecer um suporte matematico
rigoroso para tal argumenta cao formal, de maneira indireta.
Consideremos agora uma funcao diferenciavel f : R
m
R
n
. Ent ao, como vimos na se cao
1.3.4, para todo ponto a , temos que df(a) /(R
m
, R
n
) de onde seque que ca bem denida a
aplica cao
df : /(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 : /
R
(C; R)) e g : C
C (com dg : /
C
(C)).
22
Tomando-se agora x, y : R
2
R
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 coes lineares representadas pelas proje coes 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) = v. Vericaremos agora que que dx e dy formam uma base, dita
canonica, de /
R
(C). Antes de enunciarmos o teorema propriamente dito, observe que:
Lema 1.4.13 O conjunto das aplicac oes R-lineares do plano complexo nele mesmo, i.e., /
R
(C), e
um espaco vetorial sobre C.
Prova. Sendo T, S /
R
(C) e C, ent ao basta-nos mostrar que T + S /
R
(C). De fato,
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 /
R
(C) como espaco vetorial sobre C.
Prova. Tomemos T /
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 coes que e devem necessariamente satisfazer caso, existam.
Recorde que T ca determinado pelos seus valores na base can onica de C, logo
T(1) =
T(i) =
de onde segue que caso existam , s ao unicamente determinados por = T(1) e = T(i). Por
outro lado, um calculo imediato mostra que e s ao solu coes 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 funcao diferenciavel, 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 espaco /
R
(C), das transformacoes R-lineares de C e denotemos por z, z : C
C as aplica coes 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 /
R
(C), sendo dadas pelas seguintes
transformacoes 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 /
R
(C) como espaco vetorial sobre C.
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 cao linear.
23
Prova. Tomemos T /
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 coes que e devem necessariamente satisfazer caso, existam.
Recorde que T ca determinado pelos seus valores na base can onica de R
2
, logo
T(1) = + (1.9)
T(i) = i( )
de onde segue que caso existam , s ao unicamente determinados por =
1
2
(T(1) iT(i)) e
=
1
2
(T(1) + iT(i)). Agora, um calculo imediato mostra e s ao solu coes de (1.8), bastando
para isto aplicar os valores acima no ramo direito desta equacao.
Em particular, sendo f : C uma funcao diferenciavel, 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(z) (i)).
Deni cao 1.4.16 Diremos que T /
R
(C) e C-antilinear se T(z) = T(z) para todo C.
Note que nas condi coes 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(z) (i)) =
1
2
(f
x
+ if
y
)(z).
Observe ainda que
dz = dx + idy
dz = dx idy.
Finalmente temos a
Proposicao 1.4.17 Seja f : C uma fun c ao diferenci avel. Entao f e holomorfa se, e
somente se,
f(z)
z
= 0. Neste caso
f

(a) =
f(a)
z
para todo a .
Prova. Sendo f diferenciavel, 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 denicao
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 .
24
1.4.5 Transformacoes conformes
Faremos agora algumas observa coes sobre transformacoes lineares conformes e suas aplica coes `as
funcoes holomorfas.
Recorde da algebra linear que dados dois vetores nao-nulos u, v R
2
, ent ao pelo lema de
Schwartz que
u,v
|u||v|
1.
Deni cao 1.4.18 Dados u, v R
2
dois vetores nao nulos, entao 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 transforma c ao linear T /
R
(C) e conforme se preserva
angulos, i.e., dados z, w C

, entao
w, w
[z[[w[
=
T(z), T(w)
[T(z)[[T(w)[
.

E de facil vericac ao a partir da deni c ao que

Proposicao 1.4.21 A composta de duas transforma c oes conformes e conforme.
Menos imediato e o seguinte resultado:
Proposicao 1.4.22 Seja T /
R
(C). Entao 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 /
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 espaco 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 aplicac 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.
Proposicao 1.4.24 Seja um domnio e f : R
2
uma aplicac ao conforme tal que df(z
0
) e
C-linear (respect. C-antilinear), entao df(z) e C-linear (respect. 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 aplicac 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 Proposicao 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 Proposicao 1.4.22 que df(z) e
conforme.
25
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 transformacao de R
2
como
uma funcao 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 rigorosamente as identidades acima (Sugestao: Dadas S, T /
R
(C), determine as
coordenadas de S T na base dz, dz em funcao das coordenadas de S e T nesta base).
3. Seja C um domnio simetrico com rela cao ao eixo real, i.e., z se, e somente se,
z . Ent ao, dada f : C, prove que as arma coes abaixo s ao equivalentes:
i) f e holomorfa;
ii) f z e anti-holomorfa;
iii) f z e holomorfa.
4. Sendo f, g : C C duas funcoes diferenciaveis, ent ao determine as derivadas

z
e

z
em funcao das derivadas de f e g em rela cao a 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 f for sucientemente diferenciavel, mostre que

2
f
zz
=

2
f
zz
=
1
4
(f
xx
+ f
yy
).
Qu ao sucientemente diferenciavel deve ser f? Escreva a equacao de Laplace em termos das
variaveis z e z.
1.5 Funcoes elementares
1.5.1 A funcao exponencial
Desejamos denir uma funcao holomorfa que preserve as propriedades notaveis da funcao expo-
nencial real e de fato a estenda, 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.
26
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).
Sendo 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 equacoes 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 coes (ou orbitas do campo) s ao crculos concentricos. No entanto nao desejando nos
valer de uma teoria estranha ao texto daremos uma demonstracao simples e pouco natural, se
nao levarmos em consideracao a analise anterior. De fato vamos mostrar que a funcao g(y) =
(u(y) cos(y))
2
+ (v(y) sen(y))
2
e identicamente nula.
9
De fato, derivando-se a funcao temos
g

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

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

cos(y))
= 2[uu

+ usen(y) u

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

v cos(y) v

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

= 2(uv + usen(y)) + v cos(y) + vu v cos(y) usen(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. Portanto nossa funcao sera dada por
exp(z) = e
x
(cos(y) + i sen(y)).
e sera chamada de fun cao exponencial.
Da equacao acima e do fato da funcao exponencial ser uma funcao holomorfa (pois por denicao
satisfaz as equacoes 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 construcao da funcao que a mesma e holomorfa, bastando apenas vericar
a ultima assertiva. De fato esta decorre imediatamente da equacao (1.4) pois f

(z) = f
x
(z) =
e
x
(cos(y) + i sen(y)) = f(z).
Em particular, a exponencial complexa e uma funcao inteira, i.e., denida e holomorfa em
todo plano complexo.
9
E obvio que tal demonstracao tem por base a suspeita de que as solu coes deveriam ser crculos concentricos.
27
1.5.2 Interpreta cao geometrica de exp(z)
Faremos uma interpreta cao geometrica da transformacao operada por exp(z) : C C

. Considere
ent ao a composicao de aplica coes:
: 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
funcoes e . Iniciemos pela aplica cao . 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 cao . Inicialmente considere a superfcie R
ln
dada pela revolucao do gr aco da funcao w = ln(x) em torno do eixo w no espaco tridimensional,
com eixos x, y, w (ver gura abaixo) que e parametrizada por R(x, y) = (x, y, ln(
_
x
2
+ y
2
)).
De fato pode ser escrita como a composicao das funcoes:
: C

P
1
R
ln
Q
1
S
1
R
z = x + iy (x, y, ln(
_
x
2
+ y
2
)) (
z
|z|
, ln([z[))
28
onde P(x, y, w) = (x, y) e a proje cao nas duas primeiras coordenas e Q e a proje cao radial ao longo
do cilindro em R
ln
(ver gura acima).
1.5.3 As funcoes trigonometricas
Outro exemplo classico de funcoes elementares nos e fornecido pelas funcoes trigonometricas. Nosso
intuito inicial e o de estender as funcoes trigonometricas reais para o plano complexo, de maneira
tal que a funcao 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 coes 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 sen : C C dada por
sen(z) =
exp(iz) exp(iz)
2i
.
De maneira inteiramente analoga ao caso real, denimos as funcoes trigonometricas tangente,
cotangente, secante cossecante etc. Um calculo direto mostra que tais funcoes exibem as mesmas
propriedades classicamente conhecidas das funcoes trigonometricas reais.
Proposicao 1.5.3 As fun c oes trigonometricas complexas satisfazem `as seguintes propriedades
analogas ao caso real:
1. cos
2
(z)+sen
2
(z) = 1;
2. (Seno da soma)
sen(z + w) = sen(z) cos(w) + sen(w) cos(z);
3. (Cosseno da soma)
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.16) temos que estas sao as unicas fun coes
holomorfas cujas restri coes a reta real sao justamente as fun coes seno e cosseno reais.
29
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(

) = ,
entao diremos que

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

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

= a

+ b

i /og(1) se, e somente se,

e
a

(cos b

+ i sen b

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

= 1
cos b

= 1
sen b

= 0
cujas soluc oes s ao a

= 0 e b

= 2k, k Z.
Segue da denicao acima segue que:
Lema 1.5.6 Sendo C

um logaritmo de , entao

= 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
r exp (i) = exp(a + bi) = e
a
exp(ib).
Segue que
_
a = ln(r),
b = (mod 2).
A recproca e imediata pois exp(ln [[ +i arg()) = e
ln(||)
exp (i arg()) = [[ exp (i arg()) =
.
Temos imediatamente o
Corolario 1.5.7 Dois logaritmos de um n umero complexo nao-nulo diferem por um m ultiplo in-
teiro de 2i. Reciprocamente qualquer n umero complexo que dira de um logaritmo de um n umero
complexo por um m ultiplo inteiro de 2i e tambem um logaritmo de .
Observacao 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.
Proposicao 1.5.9 Sendo , C

, entao /og( ) = /og() + /og() (igualdade entre con-

juntos).
Prova. Sendo /og( ), ent ao exp() = = exp(

) exp(

) = exp(

). Dessa
forma, pelo Corolario 1.5.7 temos que =

+ 2ki. Aplicando-se novamente o mesmo

corolario, temos que

:=

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

/og() + /og(). Reciprocamente, se =

, onde

/og() e

/og(), ent ao
exp() = exp(

) = exp(

) exp(

) = , i.e., /og( ).
Em particular, temos:
30
Corolario 1.5.10 Sendo C

, entao temos /og(

1

) = /og().
Prova. De fato, um calculo imediato mostra que z /og(
1

) = /og(

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

||
2
) = ln [[
1
i arg() = (ln [[ +i arg()). De onde segue que z /og(
1

)
se, e somente se z /og().
1.5.5 Ramos de logaritmo
Por analogia, gostaramos de denir uma funcao 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 funcoes contnuas com esta ultima propriedade. Mais adiante
mostraremos que tais funcoes s ao de fato holomorfas.
Deni cao 1.5.11 Diremos 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
Proposicao 1.5.12 Se existir um ramo de logaritmo em C

, f : C, entao 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 funcao 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)
= exp f(z) = z.
Corolario 1.5.13 Se dois ramos de logaritmo em , coincidem em um ponto de , entao eles
coincidem em .
Prova. Pela proposicao 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. Entao 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 proposicao anterior,
temos a existencia de tal ramo de logaritmo dado pela expressao f
0
(z) := f(z)+2k
0
i. Finalmente,
a unicidade decorre do corolario anterior.
31
1.5.6 Ramos de argumento
Vamos agora relacionar os ramos de logaritmo com a funcao argumento, no intuito de melhor
esclarecer o ponto vital na denicao do domnio natural de um ramo de logaritmo.
Deni cao 1.5.15 Diremos que uma fun c ao : C

R e um ramo de argumento se for

contnua e tal que para cada z , (z) seja um argumento do n umero complexo z, i.e.,
z
[z[
= exp(i(z)).
Proposicao 1.5.16 f(z) = ln [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
z = exp(f(z))
= exp(ln [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

entao existe um ramo de logaritmo denido numa vizi-

nhan ca de z
0
.
Prova. Basta vericar que na vizinhanca de qualquer ponto sempre e possvel denir uma
funcao trigonometrica inversa conveniente por exemplo para o primeiro quadrante podemos tomar
arcsen ou arccos.
Alem disto, como consequencia da Proposicao 1.5.12 e do corolario que a segue temos os dois
resultados seguintes:
Corolario 1.5.18 Dois ramos de argumento diferem por um m ultiplo 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 entao 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) = ln([z[) + i Arg(z);
32
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 cao sugere que nao e possvel obter um ramo de logaritmo em todo C

.
Exemplo 1.5.21 Nao existe ramo de logaritmo em C

. De fato, se existisse um ramo de logaritmo

em C

entao 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 regiao C

. Logo temos que Arg(z) =

(z) + 2k, k Z e portanto Arg se estende continuamente 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) nao existe.
Note que o exemplo acima (baseado fundamentalmente na Proposicao 1.5.16) mostra que o
domnio de denicao 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 est a por de tras da prova da
Proposicao 1.5.12. Como nao e difcil vericar, um ramo de logaritmo 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 funcao.
Teorema 1.5.22 Se f e um ramo de logaritmo em C

entao 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
z
0
. 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(z
0
))
f(z)f(z
0
)
=
1
exp wexp w
0
ww
0
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
zz
0
e
w
e
w
0
w w
0
= lim
ww
0
e
w
e
w
0
w w
0
= e
w
0
,= 0
onde a ultima igualdade decorre do Teorema 1.5.1. Segue portanto que
lim
zz
0
=
1
e
w
0
=
1
exp(f(z
0
))
=
1
z
0
Proposicao 1.5.23 Para que exista um ramo de logaritmo (ou de argumento) em C

e
necessario e suciente que exista uma primitiva da fun c ao z
1
z
em .
33
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 digressao de modo a tornar
mais claro a maneira pela qual iremos provar a existencia de um tal ramo de logaritmo f. De fato,
se um tal ramo existir, ent ao pelo Teorema 1.5.22, teremos f

(z) =
1
z
= g

(z), ou equivalentemente,
que g(z) = f(z) + c, c C. Portanto exp(g(z)) = exp(f(z) + c) = z, com = exp(c), i.e., a
funcao h(z) := z exp(g(z)) sera necessariamente constante e igual a 1/ onde = exp(c). Sendo
assim, nossa digressao nos leva a crer que se provarmos que h e uma funcao 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 /og(), ent ao f(z) = g(z) c e uma funcao contnua (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 funcao logaritmo real realmente se pre-
servam nos ramos de logaritmo complexo.
Proposicao 1.5.24 Sendo z, z
1
, z
2
n umeros complexos nos seguintes domnios, entao s ao validas
as rela c oes
1. Log(z
1
z
2
) = Log(z
1
) + Log(z
2
) vale para o setor Re(z) > 0, mas nao vale em geral. ;
2. Log(
1
z
) = Log(z) para todo z C

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

por Log.
Prova. Veriquemos inicialmente a primeira arma cao do item 1). De fato temos que
Log(z
1
z
2
) = ln [z
1
z
2
[ + i Arg(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 cao a segunda arma cao, 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 imediatamente 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)[ + i Arg(exp(z)) = ln(e
x
) + i Arg(cos y + i sen y)
= x + iy,
esta ultima igualdade acontecendo se, e somente se, y (, ).
34
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 cao entre ramos de logaritmo e ramos de raiz ca determinada pela
Proposicao 1.5.26 Se g : C e um ramo de logaritmo, entao f(z) = exp(
1
n
g(z)) e um ramo
de raiz n-esima em .
Prova. Imediata a partir das denicoes, 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 deni c 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.
Proposicao 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
+ 2k,

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

z = exp
1
n
(ln([z[
1
m
) +
1
m
Arg(z)i))
= exp(
1
mn
[ln([z[ + i Arg(z)]) =
mn

z
Daremos agora um exemplo mostrando a necessidade da hip otese no item i) acima.
35
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
[) + i Arg(
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
)[) + i Arg(exp(
3i
4
))])
= exp(
1
2
[ln(1) + i Arg(exp(
3i
4
))])
= exp(
1
2
[i Arg(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 da 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 cao 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
uma potencia 1 + i de 1, entao
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.
36
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
))i)
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 cao entre ramos de logaritmo e ramos de potencia ca determinada pela
Proposicao 1.5.34 Se g : C e um ramo de logaritmo, entao f(z) = exp( g(z)) e um
ramo de potencia em .
Prova. Segue da denicao de ramo de potencia que basta vericar que f e contnua. Mas isto
decorre do fato de exp e g serem contnuas.
Deni cao 1.5.35 O ramo principal de potencia e por deni c ao a fun c ao z exp(Log(z)),
para todo z C

.
O ramo principal de potencia pode ser usado para denir a funcao z a
z
:= exp(z Log a),
para todo a C

. Vamos agora vericar uma rela cao 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, entao 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 denicao:
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 cao vericando algumas propriedades dos ramos de potencia que decorrem
imediatamente de propriedades dos ramos de logaritmo.
Proposicao 1.5.37 Seja z

um ramo de potencia no domnio C e z

j
, j = 1, 2, entao:
i) O ramo de potencia principal z

coincide com a deni c ao classica de potencia caso = p N;

37
ii) z
1/p
=
p

z para todo p Z
+
, sempre que os ramos de potencia e raiz sejam dados pelo mesmo
ramo de logaritmo;
iii) z

=
1
z

;
iv) Sendo z

o ramo principal de potencia , entao (z

1
z
2
)

= z

1
z

2
para todo z
1
, z
2
C tais que
Re(z
1
), Re(z
2
) > 0;
v) z
+
= z

;
vi) (a

= a

, onde o ramo de potencia para 1

nao e necessariamente o mesmo ramo

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

)
n
= a
n
.
Prova. O item i) segue de um calculo 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 denicao, pois z
1
p
= exp(
1
p
log(z)) =
p

z.
O item iii) decorre de um calculo 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))

38
Sendo b = log a, vamos supor inicialmente que e
b
/ R
0
. Teremos ent ao
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).
onde a ultima igualdade supoe, a princpio, um novo ramo de logaritmo. Dessa forma
(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 /og(ab) = + /og(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 z
0
. Prove que f e holomorfa e que f

(z) =
1
g

(f(z))
. Conclua
que se g e um ramo de raiz n-esima numa regi ao C

, ent ao f e holomorfa e f

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

uma funcao holomorfa ent ao chamamos de ramo de logaritmo de f

a uma funcao contnua que satisfaz a rela cao e
g(z)
= f(z), para todo z . Prove que g e
holomorfa (sugestao: Prove que dois ramos de logaritmo de f em uma regi ao 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 funcao
f

(z)
f(z)
.
7. De acordo com a denicao dada no exerccio 5 e de forma semelhante ao realizado no estudo
dos ramos de logaritmo, determine uma regi ao onde esteja denido um ramo de logaritmo
das seguintes funcoes:
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 principal de raiz q-esima, mos-
tre que Log(z
p
q
) =
p
q
Log(z) se, e somente se, Arg(z) (
q
p
,
q
p
) (, ) (sugestao:
Mostre, usando a denicoes, que Arg(exp(
pi
q
Arg(z))) = Arg(z) se, e somente se, Arg(z)
(
q
p
,
q
p
) (, ).
39
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 funcao
z
z1
).
10. Prove o Corolario 1.5.17.
11. Sendo C

, considere a aplica cao = arg

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

.
14. Se f, g : C s ao ramos de raiz n-esima, ent ao existe k Z tal que g(z) =
k
n
f(z), onde

n
e a n-esima raiz primitiva da unidade.
15. Se a, C e a ,= 0, as potencias de a s ao todos 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 s ao 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 denicao 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 regi ao , 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 cao quando CQ. (Sugestao:
Mostre que para cada z existe um unico logaritmo de z para o qual e
log z
= f(z) )
11
.
11
O resultado tambem e valido para racional, porem mais difcil de provar. Veja Exerccios ?? e ??? de ???
40
Captulo 2
Teoria da integracao complexa de
Cauchy
Neste captulo desenvolvemos a teoria de integra cao complexa que se deve em grande parte ao
matematico frances Augustin Cauchy.
2.1 Primitivas e formas diferenciais
2.1.1 O problema central
A quest ao central na teoria de integra cao holomorfa e a de obten cao de primitivas de uma funcao
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 coes para tal quest ao ja surgiram em nosso caminho nas seguintes ocasioes:
1. Obtencao de conjugada harmonica;
2. Existencia de ramos de logaritmo.
Quando estudamos ramos de logaritmo vimos que uma primitiva para a funcao z 1/z existe
se, e somente se, existe um ramo de logaritmo (Proposicao 1.5.23), de onde temos os:
Exemplo 2.1.2 Para a fun c ao f(z) =
1
z
as seguintes arma c oes se vericam:
1. Existe primitiva localmente.
2. Existe primitiva em C

.
3. Nao existe primitiva em C

.
41
2.1.2 Formulando o problema em termos de diferenciais
Vamos agora reinterpretar o problema acima em termos de diferenciais.
Proposicao 2.1.3 Seja f : C diferenci avel, entao f e holomorfa se, e somente se, df =
f

(z)dz.
Prova. Pelo Teorema 1.4.15, teremos
df =
f(z)
z
dz +
f(z)
z
dz.
Por outro lado, note que f e holomorfa se, e somente se,
f(z)
z
= 0. Neste caso, teremos ainda que
f

(z) =
f(z)
z
, de onde segue o resultado desejado.
Proposicao 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). De onde segue dF(z) = f(z)dz. Reciprocamente,
se dF(z) = f(z)dz, ent ao o Teorema 1.4.15 garante que
_
F(z)
z
= f(z);
F(z)
z
= 0.
Ou seja, F e holomorfa e F

(z) =
F(z)
z
= f(z). De onde segue que F e primitiva holomorfa de f.
Observacao 2.1.5 Convem salientar que o problema da existencia de uma fun c ao F tal que dF =
f(z)dz e analogo 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 funcao F : C. Rigorosamente, a expressao f(z)dz representa uma famlia de
aplica coes R-lineares de C. Mais precisamente, a aplica cao que a cada z associa a transforma-
cao R-linear f(z)dz. De forma geral, uma aplica cao : /
R
(C) e chamada de uma 1-forma
diferencial complexa em . Como no caso particular de diferenciais de funcoes (cf. se cao 1.4.4),
podemos mostrar que toda 1-forma diferencial : /
R
(C) contnua, diferenciavel, 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
42
onde a, b, p, q : C s ao funcoes respectivamente contnuas, diferenciaveis, de classe C
k
, holo-
morfas etc. Nosso objetivo principal agora torna-se denir uma nocao de integra cao de 1-formas
sobre caminhos, ou seja:
_

=
_

p(z)dx+q(z)dy. Um boa motiva cao para a nossa denicao vem

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

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

(t)dt
onde A = (a) e B = (a). Segue que
f(B) f(A) =
_
b
a
((t))

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

:=
_
b
a
((t))

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

(t) pode de fato

ser visto como a a cao de uma transformacao linear sobre um vetor. Mais ainda, se ((t))
/
C
(C) (em particular, se = df, com f holomorfa) ent ao ((t))

(t) pode ser interpretada

como uma multiplica cao de n umeros complexos (veja Lema 1.3.19). Como estamos procurando
identicar quando a forma C-linear f(z)dz concide com a diferencial de uma funcao holomorfa,
ent ao nada e mais natural do que restringirmos nosso estudo ao caso de 1-formas diferenciais
C-lineares. Passaremos agora a uma caracteriza cao explcita de tais 1-formas.
Lema 2.1.7 Uma 1-forma sobre C e C-linear se, e somente se, existe g : C tal que
(z) = g(z)dz.
Prova. Segundo o Teorema 1.4.15, pode ser escrita na forma (z) = a(z)dz + b(z)dz onde
a, b : C s ao funcoes complexas. Dessa forma, e C-linear se, e somente se
(a(z)dz + b(z)dz)(v) = (z) (v)
= (z) (v)
= (a(z)dz + b(z)dz) (v)
= (a(z)dz + b(z)dz)(v)
para todo , v C, de onde segue que b 0.
2.1.4 Integracao em caminhos
Em particular, note que este ultimo integrando e na verdade uma funcao complexa. Vamos,
portanto, recordar as propriedades das integrais.
Deni cao 2.1.8 Seja I = [a, b], f : I C, f(t) = u(t) + iv(t). Diremos que f e integravel (a
Riemann) se u e v forem integr aveis. 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 .
43
Observacao 2.1.9 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.
Observacao 2.1.10 A deni c 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 funcoes reais (em vista da denicao acima)
Proposicao 2.1.11 Sendo I = [a, b] e f, g : I C integr aveis entao:
1.
_
b
a
(f + g) =
_
b
a
f +
_
b
a
g;
2.
_
b
a
f =
_
t
0
a
f +
_
b
t
0
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 Calculo) Seja F(t) =
_
t
a
f, entao:
a) F e contnua em I;
b) F e derivavel nos pontos em que f e contnua e F

= f.
7. (Mudanca de variaveis) Seja : [, ] [a, b] com derivada integravel e f contnua.
Entao temos
_

f((s))

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

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

= f(b) f(a)
2.1.5 Integracao de 1-formas
Como consequencia imediata das propriedades acima temos:
Corolario 2.1.14 Sendo ,
1
,
2
: /
R
(C) 1-formas diferenciais contnuas, F : C
uma fun c ao holomorfa e um caminho diferenci avel (por partes) em , entao
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 entao temos
_

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

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

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

(t)[dt.
Note que, quando f = 1, a integral acima fornece o comprimento de .
Exemplo 2.1.16 Sendo : z(t) = a + re
it
, t [0, 2] e r > 0, entao
_

[dz[ =
_
2
0
[z

(t)[dt = r
_
2
0
[ie
it
[dt
= r
_
2
0
dt = 2r.
Teremos, portanto, as seguintes propriedades.
Corolario 2.1.17 Sendo f, g : C integr aveis e um caminho diferenci avel (por partes) em
, temos entao:
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. (Mudanca de variavel) Sendo = g() entao temos
_

f(z)dz =
_

f(g(w))g

(w)dw;
4. (Integra cao por partes) Sendo f e g fun c oes holomorfas e de classe C
1
, entao 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 forma (to-
pologia) do nosso domnio, usando como ferramentas as 1-formas.
Deni cao 2.1.18 Diremos que uma 1-forma em e exata se existir F : C diferenci avel
tal que = dF.
Observacao 2.1.19 Por abuso de linguagem, usa-se dizer que F e uma primitiva de .
No caso particular de formas C-lineares, a existencia de uma primitiva implica imediatamente
na holomora desta ultima.
Lema 2.1.20 Seja uma 1-forma C-linear em e F : C uma primitiva para . Entao F
e holomorfa.
1
Mais adiante veremos que esta condi cao e de fato redundante pois toda fun cao holomorfa num dado ponto e
innitamente diferenci avel no mesmo e de fato sua serie de Taylor converge nesse ponto.
45
Prova. Sendo uma 1-forma C-linear, ent ao o Lema 2.1.7 nos garante que (z) = g(z)dz.
Por outro lado, como F e uma primitiva para , ent ao g(z)dz = (z) =
F
z
dz +
F
z
dz de onde
segue imediatamente que F e holomorfa, visto que
F
z
= 0.
O resultado a seguir e v alido para 1-formas contnuas quaisquer, no entanto, a prova que
apresentaremos se presta somente para o caso de 1-formas C-lineares.
Teorema 2.1.21 Seja uma 1-forma (C-linear) contnua em . Entao 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 segue do teorema fundamental do calculo que
_

=
_

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

.
Como e aberto, podemos tomar de tal forma que =
0
+
t
onde
0
liga a a z
0
e
t
e a
restri cao a (0, t) da curva (s) = z
0
+ s. Temos, portanto, que
F(z) = F(z
0
) +
_

= F(z
0
) +
_
t
0
(z
0
+ s) (1)ds
Como e C-linear, segue do Lema 2.1.7 que (z) = a(z)dz, onde a : C e contnua.
Tomando-se g(t) =
_
t
0
(z
0
+ s) (1)ds, temos (pelo teorema fundamental do calculo) que g

(t) =
(z
0
+ t) (1) = a(z
0
+ t)dz (1) = a(z). Segue 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) = a(z).
De maneira analoga, teremos
F(z)
y
= ia(z).
Em particular, F e de classe C
1
, uma vez que a e contnua. Por outro lado, como
F(z)
x
+i
F(z)
y
=
0, ent ao F satisfaz as equacoes de Cauchy-Riemann. Logo F e holomorfa. Finalmente, como
dF(z) =
F(z)
x
dz = a(z)dz = , ent ao e exata.
Corolario 2.1.22 Seja uma 1-forma contnua. Entao e exata se, e somente se,
_

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

= 0 para toda curva fechada em ;

2.
_

depende somente dos pontos extremos de , para qualquer curva diferenciavel por partes
em .
46
Algumas consequencias imediatas do teorema s ao:
Corolario 2.1.23 Seja f : C uma fun c ao contnua, entao 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 diferenciavel, tal que dF = f(z)dz. O resultado segue portanto da Proposicao
2.1.4.
Exemplo 2.1.24 Seja n Z, n ,= 1, entao
_

(z a)
n
dz = 0 para toda curva fechada =
Ca. De fato,
(za)
n+1
n+1
e uma primitiva para (z a)
n
em , de onde segue o resultado pelo
corolario acima.
Exemplo 2.1.25 Seja C : z(t) = a +re
it
, t [0, 2] o crculo de centro em a C e raio 1, entao
_
C
dz
za
= 2i. De fato,
_
C
dz
z a
=
_
2
0
ie
it
dt
e
it
= i
_
2
0
dt = 2i.
Em particular, note que o exemplo acima mostra, de forma indireta, que nao existe ramo de
logaritmo em C

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

. De fato basta recordar que localmente sempre existe

um ramo de logaritmo (Corolario 1.5.17) e que f

(z) =
1
z
para todo ramo de logaritmo f : C
(Teorema 1.5.22). No entanto, como consequencia da Proposi c ao 1.5.23 e do Exemplo 1.5.21,
temos que nao e exata em C

.
Exemplo 2.1.28 (formas nao fechadas) Considere (x, y) = a(x, y)dx+b(x, y)dy uma 1-forma
de classe C
1
denida em e suponhamos que seja fechada. Como ela e localmente exata, entao
para todo z = x + iy existe uma vizinhanca e uma fun c ao holomorfa f : C tal que
a = f
x
e b = f
y
. Como f e de classe C
2
, entao o Lemma de Schwartz nos assegura que
a
y
= f
xy
= f
yx
= b
x
e uma condic ao necessaria para que seja fechada. Como consequencia, uma forma que nao
satisfa ca a condic ao acima nao pode ser fechada. Em particular, a 1-forma (x, y) = x
2
dx +xydy
nao e fechada.
Note que os exemplos acima mostram que uma forma fechada nem sempre e exata. De fato
esta e uma quest ao de importancia 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
Comecaremos agora a investigar sob que condi coes uma dada 1-forma e exata numa dada regi ao.
Proposicao 2.1.29 Seja um disco aberto e uma 1-forma diferencial C-linear e contnua em
tal que
_

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

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

(z) formado pela uni ao 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 funcao
F(z) :=
_

(z)

Portanto, com argumenta cao analoga `a da prova do Teorema 2.1.21, teremos F holomorfa e = dF.
O enunciado acima ter a uma generalizacao oriunda da Proposicao 3.2.18.
Mais geralmente teremos:
Proposicao 2.1.30 Seja um disco aberto,

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

tal que
_

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

com lados paralelos aos eixos e contido em

. Entao e exata em

.
Prova. Vamos considerar dois casos distintos:
1. Suponhamos que o conjunto a
1
, , a
n
nao intersecte os eixos coordenados e considere-
mos os conjuntos

:= 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, ent ao 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.21, teremos dF = em

. Vamos agora mostrar que F e diferenciavel

e que dF = em z
0

). De fato, sendo z
0

), ent ao uma das

funcoes, digamos F

, nao esta denida em z

0
. Seja agora (z
0
) um disco aberto centrado
em z
0
e contido em

,
+
(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.
48
Como consequencia da Proposicao 2.1.29, existe G : (z
0
) C holomorfa e tal que = dG.
Portanto, existe c
+
C (respect. c

C) tal que F(z) = G(z) + c

+
(respect. F(z) =
G(z) + c

) para todo z
+
(z
0
) (respect.

(z
0
)). Por outro lado, como F

e contnua
(por constru cao), ent ao
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

. Raciocinando-se de maneira analoga para segmentos

paralelos a que intersectem (z
0
) obteremos F = G + c em (z
0
) e por conseguinte
dF = em . O raciocnio e analogo caso F

nao esteja denida.

2. Finalmente, caso a
1
, , a
n
intersecte algum dos eixos, ent ao uma pequena transla cao por
um n umero real positivo seguida de uma transla cao por um n umero imagin ario puro nos
remete ao problema anterior.
Teorema 2.1.31 (Cauchy) Seja um disco aberto e f : C holomorfa. Entao
_

f(z)dz = 0
para toda curva fechada (diferenci avel por partes) em .
De fato, pela Proposicao 2.1.29 e pelo Corolario 2.1.22, basta provar o
49
Lema 2.1.32 Seja um disco aberto, f : C holomorfa e R um ret angulo com lados
paralelos aos eixos, entao
_
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
) :=
_
R
j
f(z)dz. Dessa forma (reordenando os
ndices se necessario) segue que I(R) 4I(R
1
). Repetindo-se o mesmo processo innitas vezes
(e reordenando-se os ndices se necessario) teremos, por indu cao matematica, uma sequencia 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
)
onde lim
zz
0
(z) = 0, para todo z numa vizinhanca de z
0
. Portanto,
I(R
n
) =
_
R
n
f(z)dz
=
_
R
n
f(z
0
)dz +
_
R
n
f

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

(z
0
)(z z
0
)dz s ao formas exatas, segue que
[I(R
n
)[ =

_
R
n
(z)(z z
0
)dz

_
R
n
[(z)[ [z z
0
[ [dz[

_
R
n
[z z
0
[ [dz[ .
Sendo d
n
o comprimento da diagonal de R
n
ent ao
[I(R
n
)[ d
n
_
R
n
[dz[
= d
n
(2p
n
)
onde 2p
n
e o permetro de R
n
. Como por construcao 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
[ I(R)[ 4
n
[I(R
n
)[ 4
n

d
2
n
2p
2
n
= d(2p)
50
de onde segue que I(R) = 0.
O Lema anterior, a Proposicao 2.1.29, juntamente com os Corolarios 2.1.23 e 2.1.22 nos asse-
guram os seguintes resultados:
Corolario 2.1.33 Se f : C e holomorfa, entao f(z)dz e exata em .
Corolario 2.1.34 Sendo f : C holomorfa, entao f admite primitiva em .
Por outro lado o Lemma 1.4.10 nos assegura o seguinte resultado.
Corolario 2.1.35 Sendo u : C harm onica, entao u admite conjugada harm onica em .
Iremos agora apresentar uma generalizacao 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 generalizacao do primeiro, nossa estrategia de prova sera um tanto diferente.
Teorema 2.1.36 (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. Entao
_

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

.
De fato, em vista da Proposicao 2.1.30 e do Corolario 2.1.22, basta mostrar o seguinte
Lema 2.1.37 Sendo R

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

_
R
f(z)dz = 0.
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 um dos pontos de
a
j

n
j=1
. Por indu cao matematica, apos um n umero nito de repeti coes de tal argumenta cao (e
uma possvel reordenacao 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
_
Q
j
f(z)dz
51
aplicando-se o Teorema de Cauchy para Q
j
, teremos
_
Q
j
f(z)dz = 0, j = n+1, m. Portanto

_
R
f(z)dz

j=1

_
Q
j
f(z)dz

j=1
_
Q
j

[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
_
Q
j
[dz[
=
n

j=1
2
l
j
(4l
j
) = 8n.
Observe que embora a medida que reduzimos tenhamos que aumentar arbitrariamente m, isto
nao afeta o valor constante n. Sendo assim, segue que
_
R
f(z)dz = 0, como desejado.
Analogamente, o lema anterior, a Proposicao 2.1.30, juntamente com os Corolarios 2.1.23 e
2.1.22 nos asseguram os seguintes resultados:
Corolario 2.1.38 Se f :

C e holomorfa e lim
za
k
f(z)(z a
k
) = 0, k = 1, . . . , n. Entao
f(z)dz e exata em

.
Corolario 2.1.39 Sendo f :

C holomorfa tal que lim

za
k
f(z)(z a
k
) = 0, k = 1, . . . , n.
Entao f admite primitiva em

.
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 coes;
b) Observando que x =
1
2
(z + z) =
1
2
(z +
r
2
z
) sobre o crculo.
3. Calcule
_
|z|=
3
2
dz
z
2
1
para o crculo orientado positivamente [Sugestao: use mudanca de variaveis para mostrar que
_
|z|=
3
2
dz
z1
=
_
|z|=
3
2
dz
z1
)].
4. Calcule
_
|z|=1
[z 1[ [dz[
52
5. Seja uma regi ao, : I uma curva fechada e f : C uma funcao holomorfa (com
derivada contnua). Mostre que
_

f(z)f

(z)dz
e um n umero imagin ario puro.
6. Seja uma regi ao e : I uma curva fechada e f : C uma funcao holomorfa
(com derivada contnua) satisfazendo [f(z) 1[ < 1. Mostre que
_

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

p(z)dz.
8. Use o Lema 1.4.10 para mostrar que a funcao ln(x
2
+ y
2
) nao possui conjugada harmonica.
9. Verique que a funcao z 1/z nao tem primitiva em C

. Use a Proposicao 1.5.23 para

concluir que nao existe ramo de logaritmo em C

.
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 funcao complexa.
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 funcao em uma vizinhanca de um ponto. De fato iremos vericar que o valor de
uma funcao 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, entao
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-horario.
Prova. Considere o disco de centro z
0
e bordo C (i.e., delimitado pelo crculo C) e positi-
vamente orientado. Ent ao a funcao g(z) =
f(z)f(z
0
)
zz
0
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.25.
Como consequencia imediata temos o seguinte
53
Teorema 2.2.2 Se f : C e holomorfa, entao f tem derivadas de todas as ordens em .
Mais ainda
f
(n)
(z) =
n!
2i
_

f()d
( z)
n+1
,
onde .
Prova. A prova se da por indu cao. Como a formula vale para n = 0, ent ao suponhamos que
a formula valha para todo n k. Como

z
_
1
(z)
k+1
_
= (k + 1)
1
(z)
k+2
e contnua em z ,
ent ao um resultado classico da analise nos garante que
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
.
Como consequencia imediata do teorema anterior temos o seguinte resultado.
Corolario 2.2.3 Se f : C e holomorfa, entao f possui derivadas (holomorfas) de todas as
ordens. Em particular, f e innitamente diferenci avel, i.e., e de classe C

.
Mais ainda, o seguinte resultado e consequencia imediata do Lema 1.4.10.
Corolario 2.2.4 Seja u : R harm onica, entao u e innitamente diferenci avel, i.e., e de
classe C

.
2.2.2 Consequencias da f ormula 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 . Entao f e holomorfa em .
Prova. Segue da Proposicao 2.1.22 que f(z)dz e exata, logo f possui primitiva holomorfa.
Logo, como consequencia do Corolario 2.2.3, segue que f e holomorfa.
De fato o car ater de media da formula integral de Cauchy ca patente nas seguintes propriedades
para funcoes holomorfas e harmonicas.
Corolario 2.2.6 (Propriedade da media) Se f : C e uma fun c ao holomorfa, entao
f(z
0
) =
1
2
_
2
0
f(z
0
+ re
i
)d.
54
Prova. Consire o crculo de raio r e centro em z
0
, parametrizado por C : (t) = z
0
+re
i
,
[0, 2]. Ent ao a formula integral de Cauchy garante 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, entao
u(z
0
) =
1
2
_
2
0
u(z
0
+ re
i
)d.
Prova. Seja C o crculo com centro em z
0
e raio r e um disco tal que C , ent ao
segue do Corolario 1.4.5 que u possui conjugada harmonica , ou seja, u[

e a parte real de uma

funcao holomorfa denida em . Logo o resultado segue imediatamente do corolario acima.
Como uma consequencia imediata da propriedade da media temos o
Corolario 2.2.8 (Princpio do maximo) Sendo f : C uma holomorfa nao-constante,
entao [f(z)[ nao assume m aximo (local) em .
Prova. Suponhamos, por redu cao ao absurdo, que [f[ assuma um maximo local no ponto
a . Ent ao, de acordo com a propriedade da media, teremos
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)[. Teremos portanto
que
1
2
_
2
0

f(a + re
i
)

d = [f(a)[. Como 0

f(a + re
i
)

[f(a)[, segue que

f(a + re
i
)

=
[f(a)[ para todo [0, 2] exceptuando-se talvez um conjunto de medida nula, i.e., um conjunto
de interior vazio. Assim sendo, o conjunto de pontos onde [f(a + re
i
)[ assume o valor [f(a)[ e
denso em [0, 2]. Como f e contnua, segue que [f(a+re
i
)[ = [f(a)[ para todo [0, 2]. Fazendo
r variar e utilizando-se o fato de f ser contnua, ent ao concluimos que [f[ e localmente constante.
Como e conexa, segue que f e constante, contradizendo a hip otese. Absurdo!
Temos tambem as seguintes estimativas muito uteis na analise de diversos problemas de natureza
local para funcoes 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) . Entao

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, teremos

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
.
55
Um outro resultado classico devido ao matematico frances Joseph Liouville pode ser obtido
como 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 alemao 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 nao constante com coecientes
complexos possui raiz em C.
Prova. Seja p(x) C[x] dada por p(x) = a
n
z
n
+ +a
1
z +a
0
. Ent ao 0 e raiz de p se a
0
= 0.
Suponhamos ent ao que a
0
,= 0 e (por absurdo) que p(x) C[x] nao tenha razes em C. Ent ao a
funcao f(x) :=
1
p(x)
e uma funcao inteira. Mais ainda, f e limitada pois sendo
f(z) =
1
a
n
z
n
+ + a
1
z + a
0
=
1
z
n
(a
n
+
a
n1
z
+ +
a
1
z
n1
+
a
0
z
n
)
ent ao
lim
|z|
[f(z)[ = lim
|z|
1
[z[
n
lim
|z|
1
[a
n
+
a
n1
z
+ +
a
1
z
n1
+
a
0
z
n
[
= 0
1
[a
n
[
= 0.
Em particular, segue que f(z) e limitada em C, uma vez que e contnua e, portanto, limitada em
compactos. Aplicando-se o teorema de Liouville, teremos [f[ constante e igual a zero e portanto
f 0. Em particular, 0 = f(0) =
1
a
0
, o que e um absurdo.
2.2.3

Indices de pontos com rela cao a curvas e a forma geral da f ormula
integral de Cauchy
Iremos introduzir o conceito de ndice de um ponto com relacao a uma dada curva, que torna
precisa a nocao 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(z
0
)
zz
0
satisfaz as condi coes 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)
2
E importante ressaltar que, embora tal teorema seja de fundamental import ancia em algebra, ate hoje nao se
conhece uma demonstracao com argumenta cao puramente algebrica. Acredita-se que o resultado dependa essenci-
almente de considera coes topol ogicas ([10]). O proprio Gauss apresentou quatro (04) demonstracoes 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].
56
Desta forma, uma vez que conhecamos o valor
_

dz
z z
0
poderemos determinar f(z
0
) em funcao de
_

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

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

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 outro
lado, visto que a / , ent ao z(t) := (t) a ,= 0, para todo t [0, 1]. Dessa forma, para cada
t
0
[0, 1], temos um ramo de logaritmo denido numa vizinhanca de z(t
0
), o qual denotaremos por
log(z). Portanto a funcao (t) := log(z(t)), denida numa vizinhanca 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 vizinhanca,

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

tal que e
f(t)
= ((t) a).
Isto signica que a funcao
exp(f(t))
(t)a
e localmente constante em [0, 1]. Como esta e uma funcao
contnua em um domnio conexo, ela e de fato constante. Finalmente, como f(0) = 0, ent ao
=
1
(0)a
=
1
Aa
. Assim,
exp(f(1)) =
(1) a
Aa
=
B a
Aa
de onde segue que I = log(
Ba
Aa
), para um certo ramo de logartmo denido numa vizinhanca
de
Ba
Aa
, como desejado. Finalmente, se e de classe C
1
por partes, ent ao 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
s ao os extremos de
k
, ent ao
a primeira parte da demonstracao nos assegura que I
k
= log
B
k
a
A
k
a
. 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
Aa
,
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 Ca uma curva fechada, entao o n umero inteiro
n(, a) :=
1
2i
_

dz
z a
e chamado de o ndice da curva com rela cao ao ponto a.
Imediatamente da denicao temos as seguintes propriedades para o ndice.
Proposicao 2.2.14 Sendo f : C holomorfa, a e : I Ca uma curva fechada
contida num disco , com . Entao:
57
i) (Forma geral da formula integral de Cauchy)
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 imediata de uma das propriedades da integra cao 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 s ao os subconjuntos
conexos maximais de .
Iremos agora recordar alguns resultados de natureza tecnica que est ao relacionados com pro-
priedades peculiares das componentes conexas.
Lema 2.2.15 Sendo um domnio e um disco tal que . Entao e conexo.
Prova. De fato, como e conexo ent ao dados dois pontos quaisquer p, q temos uma
curva contnua : 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 [
[t
1

1
,t
2
+
2
]
por um arco de crculo
em , concentrico a e ligando os pontos (t
1

1
) e (t
2
+
2
), desde que
1
e
2
sejam bem
escolhidos. Repetindo-se este processo por indu cao, teremos (por compacidade de (I)) a curva
desejada.
Proposicao 2.2.16 Sendo : I C uma curva fechada e contnua, entao existe apenas uma
componente conexa nao-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
58
componente conexa nao-limitada de C intersecta C. Como este e conexo, segue da maxi-
malidade que toda componente conexa nao-limitada contem C. Novamente da maximalidade
vem que as componentes conexas de um conjunto aberto s ao disjuntas, de onde segue a unicidade
da componente conexa nao-limitada.
3
A proposicao acima justica a seguinte
Deni cao 2.2.17 Sendo : I C uma curva fechada e contnua. Entao a componente conexa
nao-limitada de C ser a chamada de componente conexa do innito.
Vamos agora vericar como se comporta o ndice de um ponto com rela cao 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
. Entao 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 s ao dois vetores colineares em sentidos opostos, ou z a, b.
Portanto z [a, b].
Proposicao 2.2.19 Seja um domnio e : I uma curva fechada. Entao a fun c ao
z n(, z) e constante nas componentes conexas de .
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 nao intersecta . Portanto, do lema precedente, temos que ca bem
denida a funcao 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
.
3
Esta prova, e a do lema anterior, se baseiam no fato das no coes de conexidade e conexidade por arcos se
confundirem num conjunto aberto, sendo esta ultima que esta sendo utilizada de fato. No entanto, no proximo
captulo iremos revisar a no cao de conexidade de um ponto de vista mais geral, vericando que diversas propriedades
aqui vericadas para conexos por arcos, de fato se vericam para conexos em geral.
59
Como consequencia imediata das Proposicoes 2.2.14 e 2.2.19, e da prova da Proposicao 2.2.16,
segue o
Corolario 2.2.20 Sendo : I uma curva fechada e contnua e a pertencente `a componente
conexa do innito de C, entao
n(, a) = 0;
Como em alguns textos classicos a demonstracao de que o ndice e de fato um n umero inteiro
utiliza o conceito de integral ao londo de um caminho, iremos agora introduzi-lo. Embora seja uma
denicao de car ater apenas auxiliar ao longo dos referidos textos, iremos explor a-lo ao longo dos
exerccios.
Deni cao 2.2.21 Sejam um domnio, uma 1-forma diferencial em e : I uma
curva. Entao diremos que uma aplicac ao f : I C e uma primitiva de ao longo de se para
todo t
0
I existe uma primitiva local de , digamos F
t
0
:
t
0
C, tal que f(t) = F((t)) para
todo t
t
0
.
Exemplo 2.2.22 A 1-forma diferencial (z) =
1
z
possui primitiva ao longo do caminho (t) = e
it
,
t [, ]. De fato e facil 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
2
1
,
decompondo o integrando em fracoes parciais.
3. Supondo [a[ ,= r > 0, calcule
_
|z|=r
[dz[
[z a[
2
.
[Sugestao: Utilize a equacao zz = r
2
e [dz[ = ir
dz
z
.]
4. Seja f holomorfa no disco fechado (a; r). Calcule
_

f(z)dz.
(Observe que se trata de uma generalizacao do Exerccio 7 da Se cao 2.1)
5. Calcule
a)
_
|z|=1
e
z
z
n
dz;
b)
_
|z|=2
z
n
(1 z)
m
dz;
c)
_
|z|=r
[z a[
4
[dz[, ([a[ , = r).
60
6. Prove que uma funcao inteira que satisfa ca a desigualdade [f(z)[ < [z[
n
para um dado n N
e para todo z C tal que [z[ seja sucientemente grande e de fato um polin omio. [Sugestao:
Use indu cao para mostrar que uma funcao inteira tal que para um algum n N tenhamos
f
(n)
(z) = 0 para todo z C e um polin omio de grau inferior a n.]
7. Sendo f : C uma funcao holomorfa tal que [f(z)[ M para todo z (0; r), encontre
uma cota superior para limsup
z(0;)
[f
(n)
(z)[, onde [z[ < 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. Sendo f : C uma funcao holomorfa e z um ponto xado, mostre que as desigual-
dades
[f
(n)
(z)[ > n!n
n
nao podem ser satisfeitas para todo n n
0
N.
10. Considere a funcao contnua : [a, b] C, tal que para cada t [a, b] xado tenhamos

t
: C holomorfa, onde
t
(z) = (z, t). Mostre que
F(z) =
_
b
a
(z, t)dt
e holomorfa e que
F

(z) =
_
b
a
(z, t)
z
dt
[Sugestao: Represente pela formula integral de Cauchy (z, t) =
1
2i
_
C
(,t)
z
d].
11. Seja f uma funcao holomorfa no compacto K C. Mostre que Re(f) e Im(f) assumem seus
valores extremos (i.e., seus valores maximos e mnimos) em K. [Sugestao: [e
w
[ = e
Re(w)
.]
Conclua que uma funcao harmonica em K tem a mesma propriedade.
12. Sejam uma um forma diferencial contnua e fechada em , : [a, b] uma curva
continuamente diferenciavel por partes e f : [a, b] C uma primitiva de ao longo de .
Prove que f e continuamente diferenciavel por partes e satisfaz f

(t) = ((t))

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

esta bem denida. [Sugestao: use a denicao.]

13. Sejam e como acima e seja g : [a, b] C diferenciavel 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]
14. Prove que duas primitivas de ao longo de diferem por uma constante.
15. Tomemos =
dz
z
, = C e C como acima. Se : [a, b] R e uma funcao
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 .
16. 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 vizinhanca de (t) tal que
f(t) = F((t)). Mostre ainda que F nao e primitiva de
dz
z
ao longo de .
17. Dados : [a, b] C continuamente diferenciavel por partes e C, mostre que
existe uma funcao contnua : [a, b] R tal que (t) = arg((t) ) para todo t [a, b].
Conclua que Re(
1
2i
_

dz
z
) mede o n umero de voltas sobre a curva que a partcula que se
move segundo (t) da em torno de do ponto .
61
18. Determine explicitamente a funcao F(z) =
_

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

(z). (2) para cada z xado calcule

_
d
z
utili-
zando um ramo de logaritmo de z (i.e., log( z))]
19. 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:
Particione o intervalo I e verique a existencia de primitivas locais para para construir uma
primitiva ao longo de .]
20. Utilize o exerccio anterior para a 1-forma diferencial (z) =
dz
za
e verique de maneira
alternativa `a Proposicao 2.2.14 que n(, a) e de fato um n umero inteiro. [Sugestao: Tome
ramos de logaritmo como primitivas locais para .]
21. Mais uma vez utilize as denicoes do exerccio anterior, verique que
1
2i
_

dz
za
e um n umero
inteiro seguindo a seguintes passos:
i) Sendo : t [, ] z(t) uma parametrrizacao 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.
22. Ainda com as denicoes 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 partic ao = 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 funcoes holomorfas.
2.3.1 Singularidades isoladas
Deni cao 2.3.1 Seja um domnio, a ,

= a e f :

C uma fun c ao holomorfa,

entao diremos que a e uma singularidade isolada de f.
Exemplo 2.3.2 Seja a = C e

= a, entao a fun c ao holomorfa f :

C dada por
f(z) = 1/(z a) tem singularidade isolada em a.
Recorde que no enunciado do teorema de Goursat introduzimos uma condi cao 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 cao implica que f possui de fato uma extensao holomorfa a a
k
.
Teorema 2.3.3 Sendo a uma singularidade isolada de f :

= a C tal que lim

za
(z
a)f(z) = 0. Entao f possui extensao 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 funcao holomorfa em dada por

f(z) :=
1
2i
_
C=
f()d
z
62
(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). Agora, observe que se f fosse de fato holomorfa
em , ent ao poderamos aplicar a forma geral da formula integral de Cauchy para obter

f(z) =
1
2i
_
C=
f()d
z
= n(C, z) f(z)
= n(C, a) f(z)
= f(z)
para todo z a, onde a pen ultima igualdade decorre da Proposicao 2.2.19. Finalmente
a unicidade viria da continuidade de

f. No entanto, f tem uma singularidade isolada em a
satisfazendo as condi coes do teorema de Goursat. Para concluir a prova do teorema, vamos mostrar
a seguir que diante, dessas condi coes, vale a forma geral da formula integral de Cauchy para todo
z a.
Lema 2.3.4 Seja um disco aberto

:= a
1
, , a
n
, uma curva em

e f :

C
uma fun c ao holomorfa tal que lim
za
k
(z a
k
)f(z) = 0 para todo k = 1, . . . , n. Entao, para todo
b

, vale a forma geral da formula integral de Cauchy

n(; b) f(b) =
1
2i
_

f(z)dz
z b
.
Prova. Considere a funcao F(z) =
f(z)f(a)
za
. Como
lim
za
(z a)F(z) = lim
za
f(z) f(a) = 0,
uma vez que f e contnua em a e como, de acordo com a hip otese do enunciado,
lim
za
k
(z a
k
)F(z) =
1
a
k
a
lim
za
k
(z a
k
)f(z)
1
a
k
a
lim
za
k
(z a
k
)f(a) = 0,
ent ao F satisfaz as condi coes do Teorema de Goursat. Portanto
0 =
_

F(z)dz
=
_

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

dz
z a
=
_

f(z)dz
z a
2i n(; a)f(a)
de onde segue o resultado desejado.
Note que o teorema acima reduz o enunciado do Teorema de Goursat ao enunciado do Teorema
de Cauchy. Porem, e conveniente observar que ao longo de sua prova utiliza-se o Lema acima, que
e uma consequencia do teorema de Goursat. O teorema anterior justica a seguinte
Deni cao 2.3.5 Se a C e uma singularidade isolada de f. Entao 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) nao existe.
63
Exemplo 2.3.6 Sendo f : C

C dada por f(z) =

exp(z)1
z
. Entao 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.7 Sendo f : C

C dada por f(z) =

1
z
. Entao 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 o seguinte resultado.
Teorema 2.3.8 (Formula de Taylor) Seja f : C holomorfa e a . Entao 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
.
e f
n
(a) =
1
n!
f
(n)
(a). Em particular, se C e o bordo de um disco aberto centrado em a, tal que
, entao
f
n
(z) =
1
2i
_
C
f()d
( a)
n
( z)
para todo z .
Prova. Considere a funcao 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 teremos
f
n
(z) =
1
2i
_
C
f
n
()d
z
.
Mas a primeira parte do teorema garante que
f
n
() =
f()
( a)
n

n

k=1
f
(k1)
(a)
(k 1)!( a)
nk+1
.
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.
64
Lema 2.3.9 Sendo C um crculo em torno de a C e k = 1, . . . , n. Entao
F
k
(z) =
_
C
d
( z)( a)
k
= 0
para todo z pertencente ao disco aberto delimitado por C.
Prova. A prova se da por indu cao em k. Inicialmente vamos vericar a arma cao 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(C, z) n(C, a)) = 0
pois z e a est ao na mesma componente conexa delimitada por C (Proposicao 2.2.19). Vamos agora
vericar a tese da indu cao. Analogamente, se z = a, ent ao
1
(a)
2k+1
tem primitiva e, portanto,
nada ha 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 hip otese de indu cao F
k
(z) 0.
Encerraremos esta se cao com algumas observa coes uteis com rela cao `a estimativa do resto
na formula 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 desigualdade 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.10 Sendo f : C uma fun c ao holomorfa, entao diremos que a e um zero
de f quando f(a) = 0.
Iremos agora mostrar uma das mais peculiares propriedades das funcoes holomorfas.
65
Proposicao 2.3.11 Seja um domnio, f : C holomorfa e a tal que f
(n)
(a) = 0 para
todo n N. Entao f 0.
Prova. Pela formula de Taylor, temos que
f(z) = (z a)
n
f
n
(z)
onde, n N e z . Logo, segue da estimativa do resto na formula de Taylor (cf. (2.2)) 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 , onde e um disco aberto tal que . Logo, como [z a[ < r, ent ao
lim
n
[f(z)[ = 0 e portanto f 0 em . Como e um domnio, ent ao para qualquer ponto
z podemos 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 funcoes holomorfas, vericando que de fato isto nao ocorre no universo C

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

. Entao f tem todas as

derivadas nulas na origem, porem e nao-nula.
O resultado anterior justica a seguinte
Deni cao 2.3.13 Seja f : C holomorfa nao identicamente nula e a um zero de f.
Entao 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 teremos o
Corolario 2.3.14 Sendo f : C holomorfa e a um zero de ordem m, entao
f(z) = (z a)
m
f
m
(z)
onde f
m
: C e holomorfa e f
m
(a) ,= 0.
Como consequencia temos a
Proposicao 2.3.15 Os zeros de uma fun c ao holomorfa nao identicamente nula s ao isolados.
Prova. f : C holomorfa nao identicamente nula e a um zero de f. Ent ao pelo
corolario 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
polin omio (z a)
n
, de onde segue o resultado desejado.
Dessa forma, temos o seguinte resultado conhecido como princpio da identidade
4
.
Teorema 2.3.16 (Princpio da Identidade) Sendo f, g : C holomorfas e X um
subconjunto nao discreto. Entao se f[
X
= g[
X
, temos que f = g ao longo de todo .
4
Em alguns textos cl assicos tal princpio e conhecido como princpio do prolongamento analtico, devido `a
possibilidade de utiliza-lo como ferramenta para prolongar-se o domnio de deni cao de uma fun cao. Tal dispositivo
nos leva ao conceito de monodromia, quando esta extensao nao coincide com o valor inicial da fun cao (e.g. os ramos
de logaritmo). Este conceito deve-se ao matematico alem ao Carl Weierstrass.
66
Prova. De fato, basta vericar que h := f g possui zeros nao isolados, pois X = h
1
(0).
Dessa forma, segue das Proposicoes 2.3.11 e 2.3.15 que h 0.
Encerraremos esta se cao com um resultado classico, resultado da aplica cao do princpio do
maximo e da descri cao local de zeros de funcoes holomorfas.
Lema 2.3.17 (de Schwarz) Seja o disco aberto centrado na origem de raio 1 e f : C
uma fun c ao holomorfa tal que f(0) = 0 e [f(z)[ 1 para todo z . Entao
(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, entao f e uma rotac ao,

i.e., existe 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 cao
[f(z)[ 1 signica que [z[[g(z)[ 1. Portanto, [g(z)[ 1/r para todo z sobre o crculo [z[ = r < 1.
Ent ao, o princpio do maximo nos assegura que [g(z)[ 1/r para todo z (0; r). Ao tomarmos
r 1

teremos [g(z)[ 1 para todo z . Temos, portanto, que [f(z)[ = [z[[g(z)[ [z[; o que
prova (1). Por outro lado, como f(z) = zg(z), ent ao f

(0) = g(0). Dessa forma, de acordo com o

par agrafo anterior, [f

(0)[ = [g(0)[ 1 o que prova (2). Finalmente, se a ,= 0 e tal que [f(a)[ = [a[,
ent ao [g(a)[ = 1. Pela argumenta cao anterior, a e um ponto de maximo, logo o princpio do maximo
nos assegura que g e localmente constante. Como e conexo e f contnua, ent ao esta e de fato
constante. Finalmente, suponha que [f

(0)[ = 1, ent ao [g(0)[ = 1. Uma argumenta cao analoga

mostra que g e constante.
Observacao 2.3.18 O lema acima caracteriza os biholomorsmos entre discos.
2.3.3 Polos
Vamos agora analisar a estrutura local de uma funcao que apresenta como singularidade isolada
um polo.
Proposicao 2.3.19 Se a e um polo de f :

C, entao 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 funcao 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 Proposicao 2.3.14 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 nao se anula em (a; ). Sendo assim, invertendo-
se a equacao acima e tomando-se f
m
:= 1/g
m
, obtemos o resultado desejado.
Deni cao 2.3.20 O n umero positivo no enunciado da proposi c ao anterior e conhecido como or-
dem do polo.
Exemplo 2.3.21 A fun c ao f(z) = 1/(z 1)
2
tem um polo de ordem 2 em z = 1.
67
Notacao 2.3.22 Dada f :

C holomorfa com polo em a. Entao diremos que f e meromorfa

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

C e

(a, ) :=
(a, )a entao f(

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

(a, )

.
Prova. Suponhamos por absurdo que f(

(a, )) nao seja denso em C. Ent ao existe b C tal

que a distancia entre b e f(

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

(a, ). Logo a e uma singularidade removvel de g(z) =

1
f(z)b
. De fato,
lim
za
[(z a)g(z)[ = lim
za
[z a[ lim
za
[g(z)[
= lim
za
[z a[ lim
za
1
[f(z) b[
<
1
r
lim
za
[z a[ = 0
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.25 Sendo f(z) = exp(
1
z
), entao 0 e singularidade essencial de f. De fato, basta
considerar a sequencia z
n
:=
1
2ni+c
, c C, arbitrario. Temos entao 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.26 (Picard) Seja f :

C uma fun c ao holomorfa com singularidade essencial

em a, entao f(

(a, )) = C ou f(

(a, )) = Cp, p C.
2.4 Funcoes holomorfas na esfera de Riemann
Estudaremos as rela coes entre singularidades no innito e funcoes 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, entao 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.
68
Exemplo 2.4.3 O innito nao 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 funcao holomorfa com singularidade isolada no innito, ent ao vemos
que g :
1
C, denida por g(w) = f(
1
w
), onde
1
= z C : z
1
e uma funcao
holomorfa com singularidade isolada em 0. Mais ainda, temos que lim
z
f(z) = lim
w0
g(w).
Tal argumenta cao justica a seguinte:
Deni cao 2.4.4 Seja f : C uma fun c ao holomorfa com uma singularidade isolada no
innito. Entao 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) = ;
3. singularidade essencial de f se lim
z
f(z) nao existir.
Note ainda que se nao for singularidade essencial de f, ent ao as Proposicoes 2.3.14 e 2.3.19
nos asseguram que existe uma vizinhanca conveniente de 0 tal que g(z) = z
n
g
n
(z), onde g
n
(z) ,= 0
para todo z nesta vizinhanca. Tal argumenta cao justica a seguinte
Deni cao 2.4.5 Seja f : C, uma fun c ao holomorfa com uma singularidade isolada no
innito e g :
1
C, denida por g(w) = f(
1
w
). Entao diremos que e um zero (respect.
polo) de ordem m se 0 for um zero (respect. polo) de ordem m de g.

E importante observar com a mesma argumenta cao 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 coes
geometricamente intuitivas basicas tais como encontra-se na interse cao de todas as retas que
passam pela origem, gerando assim o chamado plano estendido. De fato existe uma construcao
puramente topol ogica para este objeto que se chama compacticacao por um ponto ou compac-
ticacao de Alexandro. No entanto, para darmos uma ideia mais clara do objeto em quest ao,
consideraremos o crculo unitario 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 compacticacao 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 (respect. S
1
S)
considere a reta que passa por N e (x, y). Ent ao
N
(x, y) (respect.
S
(x, y)) e dado pela abscissa
da interse cao desta reta com a reta (y = 0).
69
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
.
Por argumentos puramente geometricos ou analticos, verica-se que
N
e
S
tem inversa
diferenciavel 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 calculo diferencial a aplica cao
N
(respect.
S
)
identica R a S
1
N (respect. S
1
S) de forma tal a que a medida que uma trajet oria se aproxima
do ponto no innito em R, temos que a sua imagem por
1
N
(respect.
1
S
) se aproxima de N
(respect. S).
Note ainda que como

N

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

e diferenciavel, ent ao a estrutura diferenciavel de uma trajet oria em R por qualquer uma das
duas aplica coes
1
N
ou
1
S
coincide, i.e., do ponto de vista do calculo diferencial o estudo desta
trajet orias por qualquer uma das duas cartas deve levar a resultados equivalentes.
Note ainda que com esta abordagem, o crculo pode ser vista com acolagemde duas retas e que
as aplica coes
1
N
e
1
S
servem como sistema de coordenadas aplicadas usualmente na cartograa,
por isso s ao chamadas na topologia diferencial de cartas para a variedade diferenciavel S
1
.
A esfera unitaria como compacticacao do plano complexo
De maneira analoga, podemos construir uma aplica cao 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 projecao estereograca. De fato,
sendo N = (0, 0, 1) o polo Norte da esfera, ent ao vamos denir a aplica cao
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 cao ortogonal no plano (y = 0) da interse cao
da reta r com o plano (x
3
= 1).
70
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
.
Estas aplica coes s ao diferenciaveis 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 =
x
1
+ix
2
1x
3
, 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 cao ao plano (x
3
= 0). Note agora que a equivalencia do estudo de movimentos na esfera de
71
Riemann atraves de ambas as cartas, depende do grau de regularidade, i.e., de diferenciabilidade
da funcao de transi cao
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 diferenciavel mas nao holomorfa, pois fenomenos na esfera
estudados em cartas diferentes nao serao equivalentes do ponto de vista holomorfo, visto que a
transi cao de sistema de coordenadas e anti-holomorfo. Por isto, nos realizamos uma leve alteracao
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
_
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 e suas cartas locais por
N
:=
N
e
S
:=
S
. Portanto, como no caso
do crculo, podemos imaginar a esfera como uma colagem de dois planos complexos por uma
lei denida por (2.3), de tal forma que o estudo de uma funcao f com uma singularidade isolada
numa vizinhanca do innito do plano complexo passe a ser o estudo da aplica cao induzida numa
vizinhanca do polo Norte da esfera de Riemann e por sua vez, atraves da aplica cao estereograca
pelo polo Sul, passe a ser o estudo de uma singularidade na origem da funcao g := f
S

1
N
,
o que justica geometricamente a argumenta cao da se cao 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 funcoes inteiras sob a luz da geometria da esfera de Riemann.
Deni cao 2.4.6 Diremos que uma aplicac ao f : C C e holomorfa (respect. meromorfa ou
racional) se
f

:=

f
1

: C C
for holomorfa (respect. meromorfa ou racional), para todos , N, S.
Exemplo 2.4.7 Vamos agora descrever no sistema de cartas dados pela proje c ao estereograca,
a plicac ao induzida na esfera de Riemann pela homograa T(z) =
az+b
cz+d
. De fato, se tivermos
72
f
NN
(z) = T(z), entao 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
Entao f e uma aplicac ao racional (e portanto meromorfa) da esfera de Riemann.
Deni cao 2.4.8 Diremos 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 Riemann.
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)
.
Vamos agora vericar que os exemplos acima esgotam todas as possibilidades para funcoes
holomorfas e meromorfas na esfera de Riemann.
Proposicao 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 denicao f
N
e f
S
s ao holomorfas.
Portanto, como f
N
(
1
w
) = f
S
(w), a funcao f
N
: C C e uma funcao 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 funcao inteira f
S
tem restri cao a C

constante, logo por continuidade, temos que e

tambem constante; de onde segue o resultado desejado.
Vamos agora caracterizar as funcoes meromorfas da esfera de Riemann
Proposicao 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 da 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
z
) = f
N
(z).
73
Desta forma, como f e meromorfa, temos que f
N
e f
S
nao possuem singularidades essenciais.
Suponhamos agora que f
N
ou f
S
nao possui polo no innito. Sem perda de generalidade, podemos
supor que f
N
nao 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, as
Proposicoes 2.3.14 e 2.3.19 asseguram que g(z) =

k
j=1
(z p
j
)
m
j
f
N
(z) e uma funcao inteira com
singularidade removvel no innito (visto que f
N
nao possui polo nem singularidade essencial no
innito), ou seja e uma funcao 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
)
m
j
(2.4)
e racional. Suponhamos agora que f
N
possua um polo no innito e que a C, nao 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 nao possui polo no innito, logo e racional.
Um calculo imediato mostra que H tem inversa racional e que, portanto f = g H
1
e racional.
Como corolario dos resultados acima, vamos descrever as aplica coes holomorfas e meromorfas
da esfera de Riemann.
Corolario 2.4.13 Toda aplicac ao holomorfa f : C C e constante.
Prova. Suponhamos que exista b C tal que b / Im(f). Ent ao ca bem denida em C a
funcao holomorfa g := H f, onde
H(z) =
_
z se b = ;
z
zb
se b ,= .
Como toda funcao holomorfa em C e constante (cf. Proposicao 2.4.11), segue que g e constante.
Portanto, f e constante. Por outro lado, se f e sobrejetiva, ent ao existe a C tal que f(a) = .
Dessa forma, uma das funcoes f
NN
ou f
NS
tem um polo em
N
(a) ou
S
(a) respectivamente, o
que e um absurdo pois, por hip otese, estas funcoes s ao ambas holomorfas.
Corolario 2.4.14 Toda aplicac ao meromorfa f : C C e racional.
Prova. Novamente, suponhamos que exista b C tal que b / Im(f). Ent ao ca bem denida
em C a funcao meromorfa g := H f, onde
H(z) =
_
z se b = ;
z
zb
se b ,= .
Como toda funcao meromorfa emCe racional (cf. Proposicao 2.4.12), segue que g e racional. Como
H
1
e g s ao racionais, ent ao f e racional. Por outro lado, suponhamos que f seja sobrejetiva, ent ao
existe uma homograa H tal que a aplica cao meromorfa g := f H nao possui polo no innito,
i.e., g
NN
nao possui polo no innito. Mas como corolario da demonstracao da Proposicao 2.4.12,
g
NN
e racional (de fato, da forma (2.4)), de onde segue que g e racional, uma vez que
N

1
S
e
racional (cf. Exemplo 2.4.7). Como H
1
e g s ao racionais, ent ao f tambem e racional.
74
2.4.4 Exerccios
1. Mostre que se f e g s ao meromorfas em , ent ao f +g, f g e f/g (com g ,= 0), s ao tambem
meromorfas em [Sugestao: Prove que uma singularidade isolada de F e nao essencial se, e
somente se, existe n Z
+
tal que lim
za
(z a)
n
F(z) = 0].
2. Mostre que as funcoes exp(z), sen(z) e cos(z) possuem singularidade essencial no innito.
3. Mostre que uma funcao inteira que possui uma singularidade nao-essencial no innito e de
fato um polin omio.
4. Mostre que uma singularidade de f(z) nunca pode ser um polo de exp(f(z)) [Sugestao:
Verique que f e exp(f) nao podem possuir um polo em comum].
5. Mostre que toda funcao meromorfa no plano estendido e uma funcao racional.
6. Se R(z) e racional, mostre que o n umero de zeros e o n umero de polos (contados com multi-
plicidade) de R no plano estendido s ao iguais. Verique ainda que este n umero, chamado de
grau de R, e dado por maxgrau(P), grau(Q), onde R =
P
Q
e mdc(P, Q) = 1.
7. Seja R(z) uma funcao racional de grau k. Mostre que para todo b C existem exatamente
k razes da equacao R(z) = b em C (contadas com multiplicidade). [Sugestao:
P(z)bQ(z)
Q(z)
e
racional e tambem tem grau k.]
8. Mostre que para toda funcao racional R(z), existem a
1
, . . . , a
n
C e polin omios p, p
1
, . . . , p
m
tais que
R(z) = p
1
(
1
z a
1
) + + p
m
(
1
z a
m
) + p(z).
Este resultado e conhecido como decomposicao de R(z) em fracoes parciais.
9. Seja f holomorfa no domnio simetrico (i.e., z se, e somente se, z ). Mostre que
S := R ,= . Alem disso, mostre que se existe S

S contendo um ponto de acumulacao

tal que f[
S

e uma funcao real, ent ao f[

S
tambem e uma funcao real [Sugestao: considere a
funcao].
10. Mostre que uma singularidade isolada de f e removvel se Re(f) ou Im(f) e limitada superior
ou inferiormente.
11. Mostre que uma funcao meromorfa que possui um n umero nito de polos ou de zeros e o
quociente de duas funcoes holomorfas (na realidade uma delas e um polin omio). Note que
existe um teorema de Weierstra que garante que toda funcao meromorfa e o quociente de
duas funcoes holomorfas.
12. Sejam g uma funcao inteira nao polinomial e a C uma singularidade isolada de f : C.
Mostre que se a e uma singularidade nao essencial de g f, ent ao a e uma singularidade
removvel de f.
13. Se f e g s ao funcoes inteiras tais que g f e um polin omio e grau(g f) 1, ent ao f e g s ao
polin omios [Sugestao: utilize o exerccio anterior ].
14. Mostre que nao existe funcao inteira f satisfazendo a equacao e
f(z)
+ f(z) = z
3
4z
2
+ 1.
75
2.5 Derivada logartmica e princpio do argumento
2.5.1 Princpio do argumento
Deni cao 2.5.1 Seja f : C uma fun c ao holomorfa nao identicamente nula. Entao diremos
que
f

f
e a derivada logartmica de f.
Agora recorde que sendo f : C uma funcao holomorfa num disco fechado e limitado
, ent ao o conjunto dos zeros de f, denotado por Z(f) = z : f
1
(0), e discreto. Como
e compacto, ent ao #Z(f) e nita, i.e., Z(f) = a
1
, , a
n
(onde os zeros s ao contados sem
multiplicidade). Por conseguinte, existe g : C

tal que
f(z) = (z a
1
) (z a
n
)g(z).
Dessa forma a derivada logartmica de f se escreve como
f

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

(z)
g(z)
. (2.5)
Como consequencia temos a
Proposicao 2.5.2 Sendo f : C uma fun c ao holomorfa tal que Z(f) = a
1
, . . . , a
n
(conta-
dos sem multiplicidade), um disco, e : I Z(f) uma curva fechada continua-
mente diferenci avel por partes. Entao
1
2i
_

(z)
f(z)
dz =
n

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

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

dz
z a
1
+ +
1
2i
_

dz
z a
n
+
1
2i
_

(z)
g(z)
dz
=
n

j=1
n(, a
j
),
onde a ultima igualdade decorre da aplica cao do Teorema de Cauchy no disco `a funcao holomorfa
g

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

(z)
f(z) b
dz = 2i n(, b),
onde = f e b = f(a).
76
Prova. De fato, sendo w = f(z) e aplicando-se a formula de mudanca de variaveis na integral
temos que
_

(z)
f(z) b
dz =
_

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

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

(z)
f(z)
dz =

aZ(f)
n(, a) (2.6)
onde = f , Z(f) e o conjunto de zeros de f (contados sem multiplicidade) e m
a
= ord
a
(f)
para todo a Z(f).
Embora f acima possa conter uma innidade de zeros em , e importante observar que
est a contida num disco compacto, de onde segue que somente um n umero nito de zeros de f
contribuem para o somatorio na equacao (2.6).
Exemplo 2.5.5 Sem diculdade, verica-se que a fun c ao f : (i; 1) C, dada por f(z) =
e
1/z
1, tem uma innidade de zeros numa vizinhanca da origem (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 analoga ao exemplo anterior, verica-se que a fun c ao f : C

C
dada por f(z) = sen(
1
z
) e holomorfa em C

e possui uma innidade de zeros numa vizinhanca da

origem.
2.5.2 N umero de solu coes da equa cao f(z) = b
Iremos agora utilizar o conhecimento desenvolvido na se c ao anterior para descrever o comporta-
mento das solu coes da equacao f(z) = b, num ponto de multiplicidade maior que 1.
Deni cao 2.5.7 Sendo f : C uma fun c ao holomorfa nao constante, entao diremos que
z
0
e uma soluc 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. Tal ordem ser a denotada por ord
z
0
(f) := ord
z
0
(f b),
77
O seguinte resultado e uma consequencia imediata da denicao e da Proposicao 2.3.14.
Lema 2.5.8 ord
a
(f) e igual a ordem da primeira derivada de f que nao se anula em a.
Proposicao 2.5.9 Seja f : C uma fun c ao holomorfa nao constante, um disco
fechado e a = int() de tal forma que a seja a unica soluc ao para a equac ao f(z) = b em .
Entao
ord
a
(f) =
1
2i
_

(z)
f(z) b
dz.
Prova. Segue imediatamente das hip oteses sobre f e a que f se escreve em na forma
f(z) b = (z a)
m
g(z), onde m = ord
a
(f) e g : C

. Sendo assim,
f

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

(z)
g(z)
.
Pelo teorema de Cauchy, segue que
1
2i
_

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

m
z a
dz = m.
A proposicao acima justica a seguinte
Deni cao 2.5.10 Seja f : C uma fun c ao holomorfa nao constante, um disco fechado
e a = int(), chamamos de n umero de soluc 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 nao constante, um disco fechado e
sejam b
1
, b
2
pertencentes `a mesma componente conexa de C, onde := f(). Entao
_

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

(z)
f(z) b
2
dz.
Prova. Sendo g
j
(z) = f(z) b
j
, j = 1, 2, ent ao o Lema 2.5.3 e a invariancia do ndice em
componentes conexas nos garantem que
_

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

(z)
f(z) b
1
dz.
78
Proposicao 2.5.12 Seja f : C uma fun c ao holomorfa e a
0
uma soluc ao de ordem m 1
da equac ao f(z) = b
0
. Entao existem , > 0 sucientemente pequenos tais que:
1. Para todo b (b
0
; ), existem exatamente m soluc oes da equac ao f(z) = b em (a
0
; );
2. Com excec ao de a
0
, todas as soluc oes possuem ordem 1.
Prova. Tratemos inicialmente do item 1). Dado > 0 tal que (a
0
; ) , dena

:=
f((a
0
; )). Agora, recorde que os zeros de uma funcao hololmorfa s ao isolados (cf. Proposicao
2.3.15). Logo, reduzindo-se se necessario, podemos supor que a
0
e a unica solu cao da equacao
f(z) = b
0
em (a
0
; ), de onde segue que b
0
/

. Sendo assim, podemos tomar > 0 tal que

(b
0
; )

= . Em particular, quaisquer dois elementos de (b

0
; ) est ao na mesma componente
conexa de C

. Desta forma, o Lema 2.5.11 nos assegura que #sol(f = b; ) = #sol(f = b

0
; )
para todo b (b
0
; ). Veriquemos agora o item 2). Primeiramente observe que se m = 1, ent ao
f

(a) ,= 0. Neste caso, o resultado decorre imediatamente da continuidade de f

. Vamos agora
tratar o caso m > 1. Observe que as solu coes tem ordem maior que 1 justamente nos pontos
onde a funcao f

possui zeros. Por outro lado, a formula integral de Cauchy nos garante que f

e
holomorfa, portanto possui zeros isolados. Dessa forma, reduzindo-se e se necessario, obtemos
o resultado desejado.
Como consequencia da proposicao anterior temos
Corolario 2.5.13 Toda aplicac ao holomorfa nao constante e aberta.
Prova. A primeira parte da prova da Proposicao 2.5.12 nos assegura que se b Im(), ent ao
existem , > 0 tais que (a
0
; ) , (b
0
; ) f() e f((a
0
; )) (b
0
; ). Em particular, f
e aberta.
Corolario 2.5.14 Seja f : C uma aplicac ao holomorfa e injetiva. Entao

= f() e uma
regiao, f
1
:

e holomorfa e f

(z) ,= 0 para todo z .

Prova. Como f :

e uma bije cao contnua e aberta, ent ao f e tambem um homeo-

morsmo. Por outro lado, como f e holomorfa ent ao f
1
e contnua e f f
1
(z) = z. Logo o
Exerccio 4 de 1.5.11 assegura que f
1
e holomorfa e (f
1
)

(z) f

(f
1
(z)) = 1. Portanto f

(z) e
nao nulo.
Em particular, temos o
Teorema 2.5.15 (Funcao inversa holomorfa) Sendo f : C uma aplicac ao holomorfa
e a tal que f

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

(a,)
: (a, ) f((a, )) e um
biholomorsmo.
Prova. Como consequencia da Proposicao 2.5.12, existe > 0 tal quef[
(a,)
: (a, )
f((a, )) e injetiva. O resultado segue, portanto, do corolario anterior.
Note que para a classe das funcoes diferenciaveis as arma coes acima nao se vericam.
Exemplo 2.5.16 Considere a fun c ao diferenci avel f : R R dada por f(x) = x
3
. Entao sua
inversa y y
1/3
nao e diferenci avel na origem.
2.5.3 Estrutura local da funcoes holomorfas
Discutiremos brevemente o comportamento local da funcoes holomorfas, atraves das solu coes de
equacoes da forma f(z) = b.
Sendo f : C holomorfa e a , segue da Proposicao 2.5.12 que existe uma vizinhanca
de a contida no domnio e uma funcao g : C

holomorfa tais que

f(z) = b + (z a)
m
g(z),
79
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 funcao holomorfa (z) = (z a)h(z), ent ao (a) = 0 e

(a) = h(a) =
m
_
g(a) ,=
0. Dessa forma, reduzindo-se o raio de , se necessario, o teorema da funcao inversa holomorfa
nos assegura que e um biholomorsmo. Segue, portanto, que
f
1
() = b +
n
, (2.7)
onde e o sistema de coordenadas locais dado por = (z).
Acabamos de provar, portanto, o seguinte resultado.
Teorema 2.5.17 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)
Observacao 2.5.18 O leitor pode car um pouco confuso com a diferen ca das expressoes em (2.7)
e (2.8). Isto se deve ao fato de no primeiro caso termos xado um sistema de coordenadas 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
representa c ao no sistema de coordenadas z.
Uma consequencia geometrica importante deste teorema e que uma curva que da p-voltas em
torno de um ponto a de ordem m se transforma por f numa curva que da m p voltas em torno de
b. Em particular, temos uma ideia da contribui cao de cada ponto que satisfaz a equacao f(z) = b
e e envolvido pela curva , no n umero de voltas que a curva = f da 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 princpio do argumento para func 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
. Entao diremos que f e uma fun c ao meromorfa em .
Denotaremos o conjunto dos polos de f por P(f).
O seguinte resultado tecnico e de importancia capital no que segue.
80
Lema 2.5.20 Sendo f : C uma fun c ao meromorfa no disco , Z(f) =
1
, ,
p

e P(f) =
1
, ,
q
com multiplicidades respectivamente m
1
, , m
p
e n
1
, , n
q
, entao
existe g : C

holomorfa tal que

f(z) =
(z
1
)
m
1
(z
p
)
m
p
g(z)
(z
1
)
n
1
(z
q
)
n
q
,
para todo z .
Prova. A prova se baseia na ideia simples de vericar que a funcao g(z) :=
(z
1
)
n
1
(z
q
)
n
q
f(z)
(z
1
)
m
1(z
p
)
m
p
e holomorfa e nao se anula em nenhum ponto z . Como os possveis zeros e polos de g s ao os
zeros e polos de f, basta mostrar que
j
e
k
nao s ao polos nem zeros de g, quaisquer que sejam
j = 1, . . . , p e k = 1, . . . , q. Vamos fazer isto calculando o limite de g nesses pontos. Recorde da
Proposicao 2.3.14 que para cada
j
existe h
j
: C holomorfa tal que f(z) = (z
j
)
m
j
h
j
(z),
onde h
j
(a
j
) ,= 0. Dessa forma,
lim
z
j
g(z) = lim
z
j
h
j
(z)
q

=1
(z
j
)
n

k=1,k=j
(z
k
)
m
k
=
h
j
(
j
)
q

=1
(
j

j
)
n

k=1,k=j
(
j

k
)
m
k
,= 0
De maneira inteiramente analoga podemos aplicar a Proposicao 2.3.19 para obter o resultado
analogo para os polos.
Como consequencia do lema acima temos o seguinte resultado.
Teorema 2.5.21 (princpio do argumento) Sendo f : C uma fun c ao meromorfa no
domnio , um disco e : I P(f) uma curva fechada diferenci avel por partes.
Entao
n(, 0) =
1
2i
_

(z)
f(z)
dz =

aZ(f)
n(; a)

bP(f)
n(; b), (2.9)
onde, = f .
Prova. A primeira equacao segue de maneira imediata do Lema 2.5.3. Para a segunda igual-
dade, considere um disco limitado tal que (I) . Pela proposicao 2.2.14, teremos n(, p) = 0
para todo ponto p fora de . Em particular, os somatorios no ramo direito da expressao (2.9)
s ao nitos. Desta forma, se Z(f) = a
1
, , a
m
e P(f) = b
1
, , b
n
s ao contados sem mul-
tiplicidade (i.e., os zeros e polos nao s ao todos distintos se houver algum de ordem maior que
1), ent ao o Lema 2.5.20 garante a existencia de uma funcao g : C

holomorfa tal que

f(z) =
(za
1
)(za
m
)g(z)
(zb
1
)(zb
n
)
. Como
f

(z)
f(z)
= d log f(z), segue imediatamente que
f

(z)
f(z)
=
m

i=1
1
z a
i

j=1
1
z b
i
+
g

(z)
g(z)
.
Como no caso holomorfo, o Teorema de Cauchy no disco assegura que
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).
Como um caso particular do teorema acima, temos o seguinte resultado classico.
81
Corolario 2.5.22 Sendo f : C uma fun c ao meromorfa no domnio , um disco aberto
tal que e Z(f) = = P(f) . Entao
n(, 0) =
1
2i
_

(z)
f(z)
dz = #(Z(f) ) #(P(f) ),
onde = f().
2.5.5 O Teorema de Rouche
Passaremos agora o teorema de Rouche como uma aplica cao do lema de Schwartz. Por sua vez,
como uma aplica cao do teorema de Rouche, estudaremos a dependencia contnua das razes de um
polin omio com rela cao aos seus coecientes.
Teorema 2.5.23 (de Rouche versao I) Sejam f, g : C fun c oes holomorfas e tais
que [f(z) g(z)[ < [g(z)[ para todo z . Entao f e g tem o mesmo n umero de zeros em ,
i.e., #Z(f[

) = #Z(g[

).
Prova. Como consequencia da desigualdade acima, sabemos que f e g nao se anulam sobre
. Portanto, podemos aplicar o princpio do argumento para a funcao meromorfa f/g no disco
. Como

f(z)
g(z)
1

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

f
g
() est a contida em (1; 1),
ent ao n(, 0) = 0. Dessa forma, o Corolario 2.5.22 nos assegura que o n umero de zeros e o n umero
de polos de f/g em s ao iguais. Portanto f e g tem o mesmo n umero de zeros em .
Observacao 2.5.24 Trocando-se g por g no enunciado da versao I, conclumos que o teorema
tambem e v alido com a condic ao [f(z) + g(z)[ < [g(z)[.
Teorema 2.5.25 (de Rouche versao II) Sejam f, g : C fun c oes holomorfas e
tais que [f(z)[ < [g(z)[ para todo z . Entao f + g e g tem o mesmo n umero de zeros em .
Prova. Basta colocar f + g no papel de f no enunciado da versao I.
Observacao 2.5.26 Trocando-se g por g no enunciado da versao I, conclumos que f g e g
tem o mesmo n umero de zeros em .
Teorema 2.5.27 (de Rouche versao III) Sejam f, g : C fun c oes holomorfas e seja
tais que [f(z) + g(z)[ < [f(z)[ +[g(z)[ para todo z . Entao f e g tem o mesmo n umero de
zeros em .
Prova. Um caculo imediato mostra que = (f/g)

() est a contida na regi ao C

R
+
, logo
n(; 0) = 0. O restante da demonstracao e identica `a da versao I.
O seguinte resultado e uma aplica cao imediata do teorema de Rouche.
Deni cao 2.5.28 Sejam p, p C[z] dados respectivamente por p(z) = a
n
z
n
+ + a
1
z + a
0
e
p(z) = a
n
z
n
+ + a
1
z + a
0
, entao diremos que p e p est ao -pr oximos se [a
j
a
j
[ para
todo j = 1, . . . , n. Mais ainda, sendo z
j

n
j=1
e z
j

n
j=1
as razes de p e p respectivamente, entao
diremos que elas est ao -pr oximas se (a menos de reordenac ao) [ z
j
z
j
[ para todo j = 1, . . . , n.
Corolario 2.5.29 Seja p(z) = a
n
z
n
+ +a
1
z +a
0
um polin omio de grau n. Entao, dado > 0,
existe > 0 tal que todo polin omio (de grau n) -pr oximo de p tem suas razes -pr oximas das
razes de p.
82
Prova. Seja p(z) = a
n
z
n
+ +a
1
z +a
0
um polin omio -proximo de p. 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
. Como [a
j
a
j
[ , ent ao
[ 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 p e p tem o mesmo n umero de razes em cada disco
k
. Como os discos que se repetem
m vezes correspondem a uma unica raiz (de p(z)) de multiplicidade m e os discos distintos s ao
disjuntos, ent ao o resultado segue do fato de p e p possurem o mesmo n umero de razes.
A continuidade das razes de um polin omio, conforme estabelecido acima, nao signica que
existam funcoes contnuas r
j
: C
n+1
C que a cada n-upla (a
0
, , a
n
), pertencente a uma
vizinhanca de (a
0
, , a
n
), forne cam as razes de p(z) = a
n
z
n
+ +a
1
z +a
0
. No entanto, temos
a seguinte interpreta cao mais conceitual: A cada polin omio p(z) de grau n podemos associar um
ponto (r
1
, , r
n
) C
n
cujas coordenadas s ao as n razes de p(z) numa ordem pre-estabelecida.
ve-se facilmente que nao temos uma funcao bem denida, uma vez que nao ha como ordenar
preferencialmente as razes de um polin omio qualquer de grau n. Na verdade, o que podemos fazer
e denir uma funcao multivaluada, que associa ao polin omio p(z) todas as n-uplas (r
1
, , r
n
)
obtidas por ordena cao arbitraria das razes de p(z).
A multivalencia da funcao acima denida pode ser evitada se considerarmos, em lugar de C
n
, o
espaco C
(n)
chamado de n-esima potencia simetrica de C, que nada mais e senao o quociente
de C
n
pela rela cao de equivalencia que identica n-uplas (x
1
, , x
n
) e (y
1
, , y
n
) quando existe
uma permutacao S
n
tal que y
j
= x
(j)
, j = 1, . . . , n. Sendo assim, dado um polin omio p(z) de
grau n temos uma aplica cao bem denida que associa a p(z) o elemento de C
(n)
que corresponde
`a classe de equivalencia [(r
1
, , r
n
)] da n-upla (r
1
, , r
n
) onde r
1
, , r
n
s ao as razes de p(z).
Neste contexto, a continuidade das razes em rela cao aos coecientes corresponde `a conti-
nuidade da aplica cao R : U C
n+1
C
(n)
, dada por (a
0
, , a
n
)
R
[(r
1
, , r
n
)], onde
U := (a
0
, , a
n
) C
n+1
: a
n
,= 0. Este fato pode ser vericado diretamente, no entanto e mais
conveniente considerar em C
(n)
a metrica denida por d([x], [y]) := distancia entre os conjuntos
[x], [y] dada pela norma do maximo em C
n
. Assim ca facil vericar que a topologia de C
(n)
e a
topologia induzida pela metrica d.
Como informacao complementar observamos que o espaco C
(n)
e homeomorfo ao espaco C
n
.
Um homeomorsmo e dado pela aplica cao (a
0
, , a
n1
) C
n
[(r
1
, , r
n
)] onde r
1
, , r
n
s ao as razes do polin omio monico z
n
+ a
n1
z + + a
0
.
Uma imagem geometrica do espaco C
(2)
pode ser obtida como segue: A classe de equivalencia
de um elemento (z
1
, z
2
) C
2
e formada por este elemento e por sua imagem pela transformacao
T : C
2
C
2
dada por (z
1
, z
2
) (z
2
, z
1
), que e uma reexao em torno da diagonal (principal) ,
paralelamente `a diagonal secundaria

:= (z
1
, z
2
) C : z
1
= z
2
.
Logo, em cada espaco am

, paralelo a , devemos identicar P e P (ver gura abaixo)

83
de forma que (

/ ) = espaco quociente de (

)
+
pela rela cao que identica apenas os pontos
antpodas x e x, do eixo real. Este espaco e umcone complexo.
Desta forma, vemos que C
(2)
e homeomorfo a C C. Uma gura tridimensional seria
2.5.6 Exerccios
1. Sejam f : C meromorfa e g : C holomorfa. Se e uma curva fechada,
mostre que
1
2i
_

g(z)
f

(z)
f(z)
dz =

a
j
Z(f)
n(, a
j
)g(a
j
)

b
k
Z(f)
n(, b
k
)g(b
k
).
2. Supondo f

(z
0
) ,= 0, utilize o resultado anterior para encontrar uma representa cao integral
(local) de f
1
no entorno de f(z
0
) em termos de f.
3. Quantas razes a euqacao z
4
+ 8z
3
+ 3z
2
+ 8z + 3 = 0 tem no semiplano x > 0 ? [Sugestao:
Estude a imagem do eixo imagin ario e aplique o princpio do argumento para um semi-disco
sucientemente grande.]
4. Verique que sendo f, g : C funcoes 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 .
5. (Teorema de Rouche) Verique que as versoes I e II do teorema de Rouche s ao equivalentes.
6. Mostre que a versao III do teorema de Rouche e mais forte que os dois primeiros exibindo
duas funcoes holomorfas que satisfa cam `as condi coes da terceira versao, mas nao satisfazendo
`as condi coes das duas primeiras.
7. Prove o Teorema Fundamental da

Algebra a partir do Teorema de Rouche.
84
8. Quantas razes a equacao z
7
2z
5
+ 6z
3
z + 1 = 0 tem no disco [z[ < 1 ? [Sugestao: Olhe
para o maior termos quando [z[ = 1.]
9. Quantas razes a equacao z
4
6z + 3 = 0 tem modulo entre 1 e 2 ?
85
Captulo 3
Primitivas e Homologia
3.1 Uma revisao de conexidade
3.1.1 Deni cao e exemplos
Iremos agora fazer uma breve revis ao sobre conjuntos conexos, para podermos estudar de forma
efetiva as funcoes holomorfas em domnios mais gerais que o disco.
Deni cao 3.1.1 Diremos que um conjunto M e um espaco 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 espaco metrico com rela c ao a metrica d : CC R,
dada por d(z, w) = [z w[. Nao e difcil vericar que tal fun c ao satisfaz as condic oes i)-iv) da
deni c ao acima.
Em todo espaco metrico existe uma topologia bem denida.
Deni cao 3.1.3 Diremos que um subconjunto U de um espaco 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, diremos que F M e fechado se MF e aberto.
Observacao 3.1.4 De acordo com a deni c ao acima, nao e difcil vericar que a uni ao de um
quantidade qualquer de conjunto abertos e aberta e que a intersec ao nita de fechados e de fato um
conjunto fechado.
Deni cao 3.1.5 Seja M um espaco metrico
1
e X M um subconjunto de M. Entao diremos
que X e desconexo se existirem subconjuntos abertos A, B M satisfazendo:
1
Em nosso contexto todas as demonstracoes e armacoes podem ser levados a cabo de maneira inteiramente
analoga para o caso de estarmos considerando um espa co topol ogico mais geral.
86
a) X A B;
b) X A ,= e X B ,= ;
c) X A B = .
Caso contrario diremos que X e conexo. Caso X seja desconexo, entao um conjunto A, B
como acima ser a chamado uma cisao nao trivial de X.
Proposicao 3.1.6 Se X e aberto (respect. fechado) entao X e desconexo se, e somente se, exis-
tirem X
1
, X
2
M abertos (respect. fechados) disjuntos, nao 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
s ao nao vazios, disjuntos e X = X
1
X
2
. Basta ent ao vericarmos que X
1
e X
2
s ao abertos (respect. fechados) conforme X o seja. Como A e B s ao 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
= XX
2
= X(X B) = XB = X (MB)
da, como X e fechado e B e aberto, temos da observa cao 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
s ao
abertos, ent ao tomamos A := X
1
e B := X
2
e teremos X desconexo pois A, B e X, v ao satisfazer
as condi coes a)-c) da denicao acima. Por outro lado, se X
1
e X
2
s ao fechados, ent ao tomamos
A := MX
2
e B := MX
1
, teremos ent ao A e B abertos e satisfazendo as condi coes a) e b) da
denicao acima. Mais ainda, como X
1
X
2
= , ent ao
X A B = X (MX
2
) (MX
1
)
= X (M(X
1
X
2
))
= X (MX) = .
Proposicao 3.1.7 Seja X

uma famlia de subconjuntos conexos de M, tal que

,= .
Entao X =

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

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

generalidade) que a A. Logo A X

,= , . Dessao forma, 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 espaco metrico e seja X M, entao chamado 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 umpequenoaberto

que o contenha num dado espaco topol ogico. Para um espaco metrico este termo signica na
pratica a existencia de um disco aberto ou seja o disco fechado subtrado de seu bordo de raio
arbitrariamente pequeno.
87
Proposicao 3.1.9 Seja M um espaco metrico e seja X M, entao a X se, e somente se, toda
vizinhanca de a intersecta X.
Prova. Seja a X e seja U a uma aberto. Suponhamos, por absurdo, que U X = .
Ent ao, F = XU 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 = MX contem o ponto a e nao
intersecta X. Absurdo!
Proposicao 3.1.10 X e fechado se, e somente se, X = X.
A prova e imediata e deixada como exerccio para o leitor.
Proposicao 3.1.11 Se X e conexo, entao X e conexo.
Prova. Suponhamos, por absurdo, que A, B seja uma cis ao nao-trivial de X, ent ao evidente-
mente teremos X AB. Por outrro lado, de acordo com a Proposicao 3.1.9, teremos XA ,=
e X B ,= . Uma contradicao.
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, entao C

= C.
Proposicao 3.1.13 Sendo X

a colec ao de todas as componentes conexas distintas de X, entao

temos a uni ao disjunta
X =
_

.
Prova. Inicialmente observemos que, de acordo com a Proposicao 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 uni ao disjunta de todos os subconjuntos conexos de
x que contem o ponto x (note que esta famlia e nao vazio pois todo conjunto unitario e conexo).
Assim temos que x C
x
e novamente pela proposicao 3.1.7, temos que C
x
e conexo. Vamos agora
mostrar que C
x
possui a propriedade de maximalidade.
De fato se C

X e conexo e C

C
x
, ent ao x C

e pela denicao de C
x
temos que C
x
C

,
i.e., C
x
= C

2
.
Proposicao 3.1.14 Se X e fechado entao 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 Proposicao
3.1.10 C e conexo, logo C = C, ou seja, C e fechado.
Se X e aberto, nao e verdade em geral que suas componentes conexas s ao abertas.
Exemplo 3.1.15 Seja X =
1
n

nZ
+
0, entao a componente conexa do ponto 0 e C
0
= 0 que
nao e aberta em X. De fato isto ocorre porque X nao e localmente conexo, conforme deniremos
a seguir.
Deni cao 3.1.16 Um espaco 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 espaco vetorial normado e localmente conexo, pois as bolas s ao conjuntos con-
vexos. Em particular, R
n
e localmente conexo.
Proposicao 3.1.17 Se M e localmente conexo e X M e aberto, entao as componentes conexas
de X s ao abertas.
88
Prova. Dada C uma componente conexa de X, tomemos x C qualquer. Como X e aberto,
de a acordo com a denicao 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
.
Observacao 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 subconjuntos conexos do espaco euclidiano R
n
.
Proposicao 3.1.19 Seja X R
n
aberto, entao a colec ao de suas componentes conexas e enu-
mer avel.
Prova. Isto decorre do fato de Q
n
R
n
ser um conjunto enumeravel e denso, i.e., Q
n
intersecta
qualquer subconjunto aberto e nao vazio de R
n
. Assim se C

e o conjunto das componentes

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

, pela Proposicao 3.1.17 temos que cada C

e aberta e possui, portanto, um ponto x

Q
n
. A aplica cao C

Q
n
e injetora (visto que
os C

s ao disjuntos) e portanto C

e enumeravel.
Proposicao 3.1.20 Se X R
n
e limitado entao 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 cao
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.
Vericaremos agora 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 colecao 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 cao 2.1 vericamos as condi coes para se obter uma primitiva para uma dada
funcao holomorfa num disco aberto. Faremos aqui uma generalizacao de tais resultados para
um domnio qualquer. Com este to, teremos que introduzir alguns conceitos algebrico topol ogicos
fundamentais para podermos oferecer provas convincentes dos resultados em toda sua generalidade.
3.2.1 Cadeias e ciclos
Iremos agora introduzir uma aritmetica no espaco dos caminhos diferenciaveis por partes, conve-
niente para manipular as integrais de formas sobre caminhos. Consideremos como ponto de partida
a curva indicada na gura abaixo,
89
i.e., =
1
+
3
+
2

3
. Evidentemente, dada qualquer, teremos que
_

=
_

1
+
_

3
+
_

2

_

=
_

1
+
_

2
.
Por outro lado, observando mais atentamente, veremos que mesmo antes de tomar o sinal de
integra cao, ja poderamos ter desprezado a contribui cao de
3
e
3
, ja que estas obrigatoriamente
v ao se cancelar. Ou seja, basta considerarmos
1
+
2
. Infelizmente
1
e
2
s ao curvas disjuntas e,
portanto,
1
+
2
nao est a denida. Este obst aculo, 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
+
2
. Esta claro que para atingirmos nosso objetivo
basta denirmos
_

1
+
2
:=
_

1
+
_

2
. Sendo assim, para calcularmos
_

com esta denicao,

devemos de antemao fazer as simplica coes cabveis na expressao de como soma das curvas

1
,
2
e
3
, de tal forma que
_

coincida com a integral de sobre

1
+
2
, que e a expressao
simplicada de .

E claro que este procedimento, aplicado a este caso muito simples, deve-se generalizar `a situacao
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 diferen-
ciavel por partes, com coecientes inteiros, onde a curva e identicada com a curva (1) .
Assim, uma cadeia e uma expressao 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 , entao diremos que e uma cadeia em .
Observacao 3.2.2 Se todas as curvas se cancelam na expressao simplicada de , diremos que
e uma cadeia nula e escreveremos = 0.
Observacao 3.2.3 A soma de cadeias e denida de maneira obvia. Com esta operac ao, o conjunto
de todas as cadeias em 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 , entao
_

=
l

j=1
m
j
_

j
.
Evidentemente teremos
Lema 3.2.5 Se e s ao cadeias em e se e uma 1-forma diferencial contnua em , entao
90
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
seguinte
Deni cao 3.2.6 Uma cadeia em ser a chamada de ciclo em , se ela puder ser escrita como
uma combina c ao linear, a coecientes inteiros, de curvas fechadas em . Em particular, uma
curva fechada e um ciclo.
Sao imediatas as seguinte propriedades.
Proposicao 3.2.7 Sendo uma 1-forma fechada no domnio e , dois ciclos em , entao:
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 um ciclo em , entao (de acordo com a proposi c ao acima) o n umero
inteiro
n(; a) :=
1
2i
_

dz
z a
ser a chamado de ndice de com relacao ao ponto a.
Proposicao 3.2.9 Sendo ,
1
e
2
ciclos no domnio e a C,
1
,
2
, entao:
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 cao de ciclo.
Proposicao 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 Proposicao 3.2.7. Vamos agora es-
tabelecer a suciencia. Sendo =

m
j=1
m
j

j
onde
j
e m
j
Z

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

d
z
=

j
m
j
_

j
d
z
.
Segue da Proposicao 2.2.12 que

m
j=1
m
j
_

j
d
z
=

m
j=1
m
j
log
zb
j
za
j
= log

m
j=1
_
zb
j
za
j
_
m
j
para
um ramo de logaritmo convenientemente escolhido, onde a
j
e b
j
s ao os extremos de
j
. Logo, se
I(z) Z, ent ao e
2iI(z)
= 1, de onde segue que

j
_
zb
j
za
j
_
m
j
= 1. Como isto ocorre para uma
innidade de valores de z C, segue que o polin omio p(z) =

j
(z a
j
)
m
j

j
(z b
j
)
m
j
tem uma innidade de raizes. Logo, o teorema fundamental da algebra nos garante que p 0. Em
outras palavras

j
(z a
j
)
m
j
=

j
(z b
j
)
m
j
. Como dois polin omio s ao iguais se, e somente se,
91
possuem as mesmas razes com as mesmas multiplicidades algebricas, ent ao isto mostra que cada
ponto nal de uma curva
j
e ponto inicial de uma ( unica) outra, digamos
i
e assim por diante, de
forma tal que m
j
= m
i
. Mais precisamente, o traco de pode ser decomposto em somas formais
de sequencias
j
1
, ,
j
s
de elementos distintos de =
1
, ,
n
, tais que o ponto nal de
cada
j
i
coincida com o ponto inicial de
j
i+1
, i = 1, . . . , n 1, assim como o ponto nal de
j
n
coincide com o ponto inicial de
j
1
e alem disso m
j
1
= m
j
2
= = m
j
n
. Como
j
1
+ +
j
n
e uma curva fechada, ent ao se escreve na forma = m
1

1
+ + m
k

k
onde
j
e uma curva
fechada em , uma vez que
j
para todo j = 1, . . . , m.
Como consequencia imediata da proposicao acima, temos o seguinte resultado.
Corolario 3.2.11 Se uma cadeia pode ser escrita como combina c ao linear de curvas fecha-
das (nao necessariamente em ), entao e um ciclo em .
3.2.2 Integracao ao longo de curvas homologas a zero
De forma analoga `a se cao 2.1, onde a existencia de primitivas foi determinada para discos, em
domnios mais gerais a quest ao de existencia de primitiva torna-se no seguinte
Problema 3.2.12 Sendo uma 1-forma fechada em , sob que condic oes sobre podemos ga-
rantir que e de fato exata? Em outras palavras, sob que condic oes podemos garantir que
_

= 0
para todo ciclo em ?
Regiao multiplamente conexa.
Uma condi cao obviamente necessaria e 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 imediata do Teorema de Cauchy no disco, todo ciclo em um
disco aberto e hom ologo a zero.
92
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-horario) de centro em a e raios R e
r respectivamente, e seja um domnio contendo A(r, R). Entao 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 determina
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)) entao 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 homologos a zero determina a condi cao desejada sobre as
curvas fechadas de para a solu cao do problema.
Teorema 3.2.16 Sendo 0 em , entao para toda 1-forma fechada em tem-se
_

= 0.
A ideia da prova consiste nos seguintes passos:
(A) Substituir o ciclo por um ciclo dado por poligonais retangulares (i.e., por somas
de bordos de ret angulos cujos lados s ao paralelos aos eixos) que seja homologo a 0 e tal que
_

=
_

;
(B) Mostrar que se e um ciclo dado por poligonais retangulares e homologo a zero, ent ao
_

= 0 para toda forma fechada em .

Passemos ent ao `a prova destes passos intermediarios. Inicialmente iremos tratar do item (A).
Lema 3.2.17 Sendo uma cadeia em , entao existe uma cadeia dada por uma poligonal retan-
gular em tal que
_

=
_

para toda 1-forma fechada em . Em particular, se for um

ciclo, entao ser a tambem um ciclo e n(; a) = n(; a) para todo a C.
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 particao de I tal que
j
= [
[t
j
,t
j+1
]
esteja contida em (z
j
). Como [
(z
j
)
e exata, ent ao segue do Teorema 2.1.21 que a integral
sobre
j
depende apenas dos extremos, de onde segue que podemos substituir a integra cao de
ao longo de
j
pela integra cao 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.
Substituicao por poligonais retangulares
93
Passemos agora `a prova do item (B); para tal necessitaremos do seguinte resultado.
Proposicao 3.2.18 Sendo uma 1-forma fechada em e R um ret angulo contido em , entao
_
R
= 0.
Prova. Considere a cobertura aberta | = U C aberto tal que [
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 R =

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

j=1
_
R
j
=
m

j=1
0 = 0,
uma vez que R
j
U
j
tal que [
U
j
e exata.
Observacao 3.2.19 Uma consequencia imediata do resultado acima e a Proposic ao 2.1.29, que
leva ao Teorema de Cauchy no disco, provada com argumentos mais elementares na Sec ao 2.1.
Lema 3.2.20 Sendo uma poligonal retangular homologa a zero em , entao existem ret angulos
com lados paralelos aos eixos R
1
, , R
n
e n umeros inteiros m
1
, , m
n
tais que = m
1
R
1
+
+ m
n
R
n
. Mais precisamente, sendo a
j
int(R
j
) entao m
j
= n(; a
j
).
Prova. Seja Q um quadrado em C com lados paralelos aos eixos, decomponha Q em
ret angulos R
j
, j = 1, . . . , k, atraves das linhas horizontais e verticais determinadas pelos segmentos
de reta que denem . Tome a
j
int(R
j
) e dena m
j
:= n(; a
j
) e
0
:= m
1
R
1
+ + m
k
R
k
.
Vamos agora mostrar que
0
= . Inicialmente observe que
n(
0
; a
j
) = n(

m
i
R
i
; a
j
) = m
j
= n(; a
j
), para todo j = 1, . . . , k. (3.1)
Por outro lado, note que se b / Q, ent ao b estara necessariamente contida nas componentes conexas
do innito de C e C
0
. Portanto o Corolario 2.2.20 nos assegura que
n(
0
; b) = n(; b) = 0, para todo b / Q. (3.2)
Seja agora =
0
e suponhamos, por redu cao ao absurdo, que ,= 0. Ent ao existe um
segmento (horizontal ou vertical) com coeciente m ,= 0 na expressao de como uma cadeia, i.e.,
= m + . Note que R
i
para algum dos ret angulos R
i
em que Q foi decomposto. Seja
:= mR
i
, ent ao segue imediatamente que / . Dessa forma, dado a int(R
i
) podemos
construir um segmento (vertical ou horizontal) [a

, a] tal que [a

, a] = , onde a

int(R
j
), com
i ,= j, ou a

/ Q (ver gura abaixo).

94
Portanto,
n( ; a) = n( mR
i
; a) = n(; a) m n(R
i
; a) = n(; a) m.
Analogamente,
n( ; a

) = n( mR
i
; a

) = n(; a) m n(R
i
; a

) = n(; a

)
uma vez que n(R
i
; a

) = 0. Como a e a

est ao na mesma componente conexa de C , ent ao

n(; a) m = n( ; a) = n( ; a

) = n(; a

) (3.3)
Por outro lado, segue de (3.1) que n(; a) = n(; a
i
) = n(; a
i
) n(
0
; a
i
) = 0. Analogamente,
segue de (3.1) e de (3.2) que n(; a

) = n(; a

) n(
0
; a

) = 0. Portanto, a equacao (3.3) garante

que m = 0; contradicao! Logo =
0
. Finalmente, vamos mostrar que os ret angulos na expressao
de
0
cujos coecientes nao se anulam est ao contidos em . Seja R
j
, e a R
j
. Como
=
0
, ent ao [a, a
j
] / . Dessa forma, temos por (3.2) que m
j
= n(; a
j
) = n(; a) = 0, de onde
segue o resultado desejado.
Prova do Teorema 3.2.16. Sendo um ciclo homologo a zero em , ent ao o Lema 3.2.17
nos assegura que existe um ciclo homologo a zero em dado por uma poligonal retangular tal
que
_

=
_

para toda 1-forma fechada em . Por outro lado, o Lema 3.2.20 assegura que
existem ret angulos com lados paralelos aos eixos R
1
, , R
n
e n umeros inteiros m
1
, , m
n
tais que = m
1
R
1
+ + m
n
R
n
. Finalmente, o resultado segue da Proposicao 3.2.18.
Em vista do Exemplo 3.2.14, o seguinte resultado e uma generalizacao natural do Teorema de
Cauchy no disco.
Teorema 3.2.21 (Teorema de Cauchy generalizado) Sendo f : C uma fun c ao holo-
morfa e 0 em . Entao
_

f(z)dz = 0
Prova. Segue do Teorema de Cauchy no disco que f(z)dz e uma forma fechada. Portanto, o
resultado segue do Teorema 3.2.16.
De maneira analoga ao caso do disco temos uma generalizac ao natural para a forma geral da
formula integral de Cauchy.
Teorema 3.2.22 (forma generalizada da formula integral de Cauchy) Sendo f :
C uma fun c ao holomorfa e 0 em . Entao
n(; a)f(a) =
1
2i
_

f(z)
z a
dz,
para todo ponto a .
95
Prova. Considere a funcao holomorfa F(z) :=
f(z)f(a)
za
(note que a e uma singularidade
removvel de F), ent ao o teorema de Cauchy generalizado nos assegura 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 2i n(; a) f(a),
de onde segue o resultado desejado.
3.2.3 Conjuntos simplesmente conexos
Exemplo 3.2.23 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. Entao, pela forma generalizada da formula
integral de Cauchy e do Exemplo 3.2.15, temos que
f(z) = n(; z) f(z) =
1
2i
_

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

2
0 em .
Temos imediatamente da denicao e do teorema de Cauchy o seguinte resultado.
Corolario 3.2.25 Se
1

2
num domnio , entao
_

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 homologo a zero.
Os conjuntos com tal propriedade s ao singularmente importantes na teoria de integra cao.
Deni cao 3.2.26 Diremos que um domnio e simplesmente conexo se todo ciclo em e
hom ologo a zero. Em caso contrario diremos que o domnio e multiplamente conexo.
Segue portanto do Teorema de Cauchy generalizado o seguinte resultado.
Corolario 3.2.27 Se e simplesmente conexa, entao toda forma fechada em e exata.
Em particular, temos o
Corolario 3.2.28 Se e simplesmente conexa e f : C uma fun c ao holomorfa, entao f
possui primitiva em .
Um outro corolario ligado a integra cao e o que segue.
Corolario 3.2.29 Se e simplesmente conexa e f : C

e uma fun c ao holomorfa, entao

existe um ramo de logaritmo de f(z).
Prova. De acordo com a Proposicao 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. Como z
f

(z)
f(z)
e uma funcao
holomorfa denida em um domnio simplesmente conexo, ent ao o resultado segue do corolario
anterior.
96
Proposicao 3.2.30 C e um domnio simplesmente conexo se, e somente se, C e conexo.
Prova. Sem diculdade, verica-se o resultado trivialmente para o caso = C. Ent ao vamos
supor que C. Dessa forma, apos uma mudanca de coordenadas (se necessario), podemos
supor sem perda de generalidade que C. Mostraremos, por redu cao ao absurdo, que se e
simplesmente conexo, ent ao C e conexo. De fato, supondo C desconexo, iremos construir em
um ciclo, digamos , que nao e homologo a zero. Suponhamos que exista uma cis ao nao-trivial
de C dada por C = A B. Como A e B s ao fechados (pois s ao 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
estara contida dentro de um quadrado Q C. Caso Q nao intersecte 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 vericar que e uma cadeia
em , visto que todo lado de Q
j
l
que intersecta A, pertence a outro (e somente um outro) quadrado
Q
j
l

(que tambem intersecta A) se cancelando na soma total, de tal forma que sera formado pelo
bordo da uni ao dos quadrados Q
j
que intersectam A (ver gura abaixo ). Note por outro lado
que, por constru cao, e um ciclo em C e dessa forma a Proposicao 3.2.10 que e tambem um
ciclo em . Fixando a int(Q
j
) A, teremos n(; a) =
1
2i
_

dz
za
=
1
2i
_
Q
j
dz
za
= 1, de onde
segue que e o ciclo desejado. Reciprocamente, se C e conexo, ent ao C e conexo e intersecta
a componente conexa de qualquer curva . Logo C est a contido na componente conexa do
innito de C. Em particular, se e um ciclo em , ent ao n(; a) = n(; ) = 0 para todo
a C, de onde segue que 0.
Para nalizarmos esta se cao, vamos observar que o enunciado acima nao seria verdade se tro-
cassemos o papel de C por C como assegura o seguinte
Exemplo 3.2.31 Considere o conjunto
r
= z C : r < Im(z) < r que determina uma faixa
horizontal innita de largura 2r > 0 em C. Evidentemente
r
e simplesmente conexo, mas C
nao e conexo . No entanto, a uni ao deste conjunto com o ponto no innito gera o conjunto conexo
C.
3.2.4 Exerccios
1. Sejam C uma regi ao e a C. Se n(; a) ,= 0 para algum ciclo C, mostre que
existe um ciclo tal que n(; a) = 1.
97
2. Sendo n Z
+
, mostre que existe um ramo de raiz n-esima em C se, e somente se, existe
um ramo de logaritimo em . [Sugestao: Olhe para a derivada logaritmica do ramo de raiz
n-esima e aplique o exerccio anterior.]
3. Seja P um polin omio nao constante e m > 1 um inteiro, mostre que existe um ramo de raiz
m-esmia de P(z) na regi ao C se, e somente se, a multiplicidade de cada zero de P em
, bem como o n umero (contado com multiplicidade) de zeros em cada componente limitada
de C, s ao m ultiplos de m. [Sugestao: Para mostrar a necessidade, obtenha uma expressao
para
P

(z)
P(z)
. Para a suciencia, mostre que existe um polin omio Q tal que R(z) =
P(z)
[Q(z)]
m
admite um ramo de logaritmo em .]
4. Mostre que existe um ramo de raiz quadrada para f(z) = 1 z
2
em qualquer regi ao tal
que 1 C . Denotando este ramo por

1 z
2
, determine os possveis valores para
_

1 z
2
dz, onde e uma curva fechada.
3.3 Integracao e resduos
Uma vez determinadas as propriedades topol ogicas necessarias sobre um espaco para a existencia de
primitivas para uma formas fechada nele denido, passaremos ao problema mais geral de integrar
uma forma fechada ao longo de curvas fechadas num domnio multiplamente conexo. Isto nos
levar a ao classico teorema dos resduos.
3.3.1 Domnios multiplamente conexos
Nesta se cao, tendo como ponto de partida a Proposicao 3.2.30 da se cao anterior, trataremos de
regi oes multiplamente conexas.
Notacao 3.3.1 Sendo um domnio entao o n umero n = #componentes conexas de C 1
ser a chamado de conectividade de . Em particular, sendo C
j

n+1
j=1
as componentes conexas de
C, denotaremos por n(
k
; C
k
) o ndice da curva com rela c ao a um ponto qualquer de C
k
.
A menos de men cao em contrario, todas as regi oes multiplamente conexas aqui consideradas
ter ao um n umero nito de componentes, i.e., ter ao conectividade nita.
Teorema 3.3.2 (base de homologia) Seja um domnio multiplamente conexo em C, com
conectividade n e C
j
, j = 1, . . . , n, as componentes conexas nitas de C. Entao existem ciclos

1
, ,
n
em , tais que n(
k
; C
k
) = 1 e n(
k
; C
j
) = 0 para todo k ,= j. Mais ainda, se e um
ciclo em , entao 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
corolario da primeira parte da prova da Proposicao 3.2.30. Vamos agora vericar a segunda parte.
Inicialmente tomemos m
j
:= n(; C
j
), teremos ent ao que n(

n
i=1
m
i

i
; C
j
) = 0, o que signica
que

n
i=1
m
i

i
0 em , i.e.,

n
j=1
m
j

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

n
i=1
m
i

i


n
i=1
k
i

i
, ent ao

n
i=1
(m
i
k
i
)
i
0. Sendo a
j
C
j
, ent ao
0 = n(
n

i=1
(m
i
k
i
)
i
; a
j
) = n((m
j
k
j
)
j
; a
j
)
= (m
j
k
j
)n(
j
; a
j
) = m
j
k
j
para todo j = 1, . . . , n.
98
3.3.2 Polos e resduos
Nesta se cao 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 polos de
. Calcularemos esta integral em termos de invariantes numericos associados a estes polos, que
chamaremos de resduos.
Considere agora uma funcao holomorfa f :

(a, r) C denida num disco perfurado cen-

trado em a 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,
_
C
2
f(z)dz =
_
C
1
f(z)dz. Tal argumenta cao justica a seguinte
Deni cao 3.3.3 Sendo a C, f :

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

mente orientado, contido em

(a, r), entao 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.
Observacao 3.3.4 A deni c ao de resduo nao depende do domnio considerado, uma vez que
fa camos a restri c ao da fun c ao a discos distintos sob as condic oes da deni c ao. Como observado
antes da deni c ao, tambem nao depende do crculo C escolhido como caminho de integrac ao, uma
vez que tomado outro crculo C

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

.
Passaremos agora ao calculo pratico de resduos em situacoes particularmente importantes.
Proposicao 3.3.5 Sendo a um polo simples de f : C, entao res(f; a) = lim
za
(z
a)f(z). Em outras palavras, se g e holomorfa em a e f(z) =
g(z)
za
, entao res(f; a) = g(a).
Prova. A Proposicao 2.3.19 assegura 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 a formula integral de Cauchy nos diz 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).
Como caso particular, vejamos o seguinte
Exemplo 3.3.6 Sendo f(z) =
1
z
2
1
uma fun c ao meromorfa com polos simples em 1, entao
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
Exemplo 3.3.7 Considere a fun c ao f(z) =
e
iz
z
2
+1
. Como o numerador e uma fun c ao holomorfa,
entao suas singularidades s ao z = i. Note ainda que a Proposi c ao 2.3.19 nos diz que ambas s ao
polos simples. Segue da Proposi c ao 3.3.5 que
res(f; i) =
e
iz
z + i

z=i
=
i
2e
;
res(f; i) =
e
iz
z i

z=i
=
ei
2
.
99
Proposicao 3.3.8 Sendo a um polo simples de f : C e h : C holomorfa, entao
res(h f; a) = h(a) res(f; a).
Prova. Sendo f e g como na prova da proposicao anterior, ent ao a formula integral de Cauchy
nos assegura que
res(h f; a) =
1
2i
_
C
h(z)g(z)
z a
dz = h(a) g(a) = h(a) res(f; a).
Na proposicao anterior o polo deve ser simples, caso contrario a arma cao e falsa.
Exemplo 3.3.9 Sendo f(z) =
1
z
2
, entao 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
Proposicao 3.3.10 Se h : C tem um zero simples em a , entao f(z) =
1
h(z)
tem um
polo simples no ponto a e
res(f; a) =
1
h

(a)
.
Prova. O Corolario 2.3.14 nos diz que existe g : C

holomorfa tal que h(z) = (za)g(z),

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

(a)
.
Uma consequencia imediata das proposicoes acima e dada pelo segeuinte
Corolario 3.3.11 Se f, g : C s ao holomorfas e g tem um zero simples em a , entao
res(
f
g
; a) =
f(a)
g

(a)
.
Prova. De fato, de acordo com as Proposicoes 3.3.8 e 3.3.10 teremos
res(
f
g
; a) = res(f (
1
g
); a) = f(a) res(
1
g
; a) = f(a)
1
g

(a)
.
Recorde agora que, segundo a Proposicao 2.3.19, se f : C e uma funcao meromorfa com
polo de ordem m em a , ent ao existe uma funcao holomorfa g : (a, r) C

tal que
f(z) = (z a)
m
g(z).
100
Proposicao 3.3.12 Sendo f : C uma fun c ao meromorfa com polo de ordem m em a
e g : (a, r) C

uma fun c ao holomorfa tal que f(z) = (z a)

m
g(z). Entao
res(f; a) =
g
(m1)
(a)
(m1)!
.
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 formula integral de Cauchy para a (n1)-esima derivada de g em a (Teorema
2.2.2).
Exemplo 3.3.13 Considere a fun c ao f(z) =
1
z
2
(1z)
3
. Como g
0
(z) =
1
(1z)
3
e holomorfa na
origem entao esta e um polo de ordem 2 e f(z) = z
2
g
0
(z). Por outro lado, g

0
(z) =
3
(1z)
4
.
Segue portanto do lema anterior que res(f; 0) = g

0
(0) = 3. Analogamente f(z) = (z 1)
3
g
1
(z)
onde g
1
(z) =
1
z
2
e holomorfa em z = 1. Por outro lado g

1
(z) =
2
z
3
e g

1
(z) =
6
z
4
. Logo
res(f; 1) =
g

1
(1)
2!
=
6
2
= 3.
Estamos agora em condi coes de enunciar o principal resultado desta se cao.
Teorema 3.3.14 (dos resduos) Sendo um domnio, S um conjunto discreto, f : S
C uma fun c ao holomorfa com polos em S e S uma curva 0 em . Entao
_

f(z)dz = 2i
_

a
k
S
n(; a
k
) res(f; a
k
)
_
Prova. Suponhamos inicialmente que S = a
1
, , a
m
, i.e., consista de um n umero nito de
pontos. Ent ao, com o mesmo argumento contido na prova da existencia de base de homologia (Pro-
posicao 3.3.2), podemos vericar que

n
j=1
m
j
C
j
, onde C
j
e um crculo positivamente
orientado em torno de a
j
e m
j
= n(; a
j
), j = 1, . . . , m. Logo, o resultado segue imediatamente.
Por outro lado, se S e innito, iremos mostrar que existe somente um n umero nito de pontos
a
k
S tais que n(; a
k
) ,= 0. Desta forma, estaremos reduzindo o problema ao caso anterior.
Suponhamos, por absurdo, que existam innitos pontos a
k
S tais que n(; a
k
) ,= 0. Ent ao a Pro-
posicao 2.2.14 garante que todos estes pontos est ao contidos numa componente conexa limitada,
digamos K
1
, de C. Portanto, eles est ao contidos em um conjunto compacto K (contido em
K
1
). Tomando-se uma subsequencia, se necessario, podemos supor que a
k
a K, de onde segue
que n(; a) = lim
k
n(; a
k
) ,= 0, uma vez que o dice e constante em componentes conexas de
C. Como S e discreto, ent ao a / S e dessa forma , 0 em .
101
Exemplo 3.3.15 Sendo a curva dada pelo crculo [z[ = 2 (percorrido no sentido antihorario) e
f(z) =
1
z(1z)
, entao o teorema dos resduos garante que
_
|Z|=2
dz
z z
2
=
_
|Z|=2
dz
z(1 z)
= 2i[n(; 0) res(f; 0) + n(; 1) res(f; 1)]
= 2i[res(f; 0) + res(f; 1)]
= 2i[ lim
z0
zf(z) + lim
z1
(z 1)f(z)]
= 2i[1 + 1]
= 4i.
Exemplo 3.3.16 Sendo uma curva em C0, 1 e f(z) =
1
z
2
(1z)
3
, entao segue imediatamente
do Exemplo 3.3.13 e do teorema dos resduos que
_

dz
(z 1)
3
z
2
= 2i[n(; 0) res(f; 0) + n(; 1) res(f; 1)]
= 6i[n(; 0) n(; 1)].
Exemplo 3.3.17 Seja o disco aberto de raio 1 centrado na origem e considere a mudan ca de
coordenadas w = 1/z. Entao podemos calcular a integral
_

e
1
z
dz atraves do teorema dos resduos.
De fato, a Proposi c ao 3.3.5 nos assegura que
_

e
1
z
dz =
_

e
w
w
dw
= 2i[n(; 0) res(
e
w
w
; 0)]
= 2i[1 e
0
]
= 2i.
3.3.3 Princpio do argumento
Como consequencia do Teorema de Cauchy Generalizado (Teorema 3.2.21) temos as seguintes
generalizacoes do princpio do argumento e dos teoremas de Rouche para ciclos.
Teorema 3.3.18 (Princpio do Argumento) Seja f : C uma fun c ao meromorfa com
zeros a
j

n
j=1
e polos b
k

m
k=1
, Ca
j

n
j=1
b
k

m
k=1
um ciclo hom ologo a zero e = f .
Entao
n(; 0) =
1
2i
_

(z)
f(z)
dz =
n

j=1
n(; a
j
)
m

j=1
n(; b
k
).
Prova. Em vista do Teorema de Cauchy Generalizado (Teorema 3.2.21), o resultado segue
imediatamente do Princpio do Argumento para curvas fechadas (Teorema 2.5.4).
Deni cao 3.3.19 (Regiao limitada por um ciclo) diremos que o ciclo delimita a regiao
se n(; a) = 1 para todo a e n(; b) = 0 para todo b / .
Exemplo 3.3.20 O ciclo dado no Exemplo 3.2.16 delimita a regiao dada pelo anel A := z C :
r < [z[ < R.
102
Teorema 3.3.21 (de Rouche) Seja uma regiao delimitada pelo ciclo e f, g : C
holomorfas e tais que [f(z) g(z)[ < [g(z)[ para todo z . Entao f e g tem o mesmo n umero de
zeros em .
Prova. Basta repetir os mesmos argumentos da prova do teorema de Rouche versao I (Teorema
2.5.23), apenas tendo o cuidado de utilizar o Princpio do Argumento para ciclos (Teorema 3.3.18)
ao inves da versao para curvas fechada.
3.4 Aplicacao ao calculo de integrais
Passaremos agora `a aplica cao da teoria de integra cao de Cauchy para o calculo de algumas integrais
reais classicas.
3.4.1 Integrais da forma
_
2
0
R(cos , sen )d, com R racional
Seja R : R
2
R uma funcao racional, ent ao iremos calcular a integral
_
2
0
R(cos , sen )d com o
auxlio da teoria de integra cao complexa. Primeiramente recorde que se f e uma funcao holomorfa
numa vizinhanca do disco [z[ 1, ent ao tomando-se a parametriza cao z() = e
i
, 0 2,
para a curva [z[ = 1, teremos
_
|z|=1
f(z)dz =
_
2
0
f(e
i
)ie
i
d . Como
z = cos + i sen , z =
1
z
= cos i sen e
dz
iz
= d,
ent ao
_
2
0
R(cos , sen )d = i
_
|z|=1
R(
z + 1z
2
,
z 1/z
2i
)
dz
z
Caso R seja uma funcao racional tal que R(
z+1\z
2
,
z1/z
2i
) nao possua polos sobre o crculo [z[ = 1,
ent ao esta integral pode ser calculada com a ajuda do Teorema dos Resduos.
Exemplo 3.4.1 Considere a integral I =
_
2
0
d
a+cos
onde a > 1. Entao
I = i
_
|z|=1
1
a +
1
2
_
z
2
+1
z
_
dz
z
= i
_
|z|=1
2
z
2
+ 2az + 1
dz.
Como as razes de z
2
+ 2az + 1 s ao dadas por z
1
= a +

a
2
1 e z
2
= a

a
2
1, entao
[z
2
[ > a > 1. Mais ainda, como a > 1, entao pode-se vericar sem diculdade que 1 < z
1
< 1.
Portanto [z
1
[ < 1.
Pelo teorema do resduos teremos
I = i2i res(
2
(z z
1
)(z z
2
)
; z
1
) = 2
2
z
1
z
2
=
2

a
2
1
.
103
3.4.2 Integrais da forma
_

R(x)dx, com R racional

Passaremos agora ao calculo de integrais da forma
_

R(x)dx onde R =
P
Q
e uma funcao racional
sem polos reais e tal que grau(Q) grau(P) + 2, onde P e Q nao possuem fatores comuns.
Considere o caminho de integra cao dado por
r
:= [r, r] C
r
percorrido no sentido antihorario,
onde C
r
e o semicrculo centrado na origem de raio r no semiplano superior.
Ent ao
_

r
R(z)dz =
_
r
r
R(x)dx +
_
C
r
R(z)dz.
Tomando-se r teremos
_

R(x)dx = lim
r
_
r
r
R(x)dx. Alem disso, se p(z) = a
n
z
n
+
+ a
0
e q(z) = b
m
z
m
+ + b
0
(onde a
n
, b
m
,= 0), ent ao segue por argumentos elementares de
calculo que lim
z
z
2
R(z) =
a
n
b
m
lim
z
1
z
mn+2
. Como m n + 2, ent ao existe uma constante
C > 0 tal que z
2
R(z) C para todo [z[ >> 0. Sendo assim

_
C
r
R(z)dz

_
C
r
[R(z)[ [dz[ C
_
C
r
[dz[
[z[
2

C
r
_

0
d =
C
r
.
Logo lim
r
_
C
r
R(z)dz = 0. O teorema dos resduos nos garante ent ao que
_

R(x)dx = lim
r
_
r
r
R(x)dx = lim
r
_

r
R(z)dz
= 2i

aP(R)
Im(a)>0
res(R; a)
Exemplo 3.4.2 A fun c ao f(z) =
z
2
z
4
+3z
2
+2
tem polos dados por i e 2i. Mais ainda, como
f(z) =
z
2
(z + i)(z i)(z + 2i)(z 2i)
,
entao
res(f; i) =
i
2
2i 3i (i)
=
1
6i
=
i
6
,
res(f; 2i) =
(2i)
2
3i i 4i
=
4
12i
=
i
3
.
Como f[
R
e uma fun c ao par, entao
_

0
x
2
x
4
+ 3x
2
+ 2
dx =
1
2
_

x
2
x
4
+ 3x
2
+ 2
dx
= i[res(f; i) + res(f; 2i)]
=

6
.
104
3.4.3 Integrais da forma
_

R(x) cos xdx, ou da forma

_

R(x) sen xdx,

com R racional
Nesta se cao iremos considerar integrais da forma
_

R(x) cos xdx ou

_

R(x) sen xdx, onde

(novamente) R =
P
Q
e uma funcao racional (real) sem polos reais, onde P e Q nao possuem fatores
comuns. Note que estas funcoes s ao respectivamente a parte real e parte imaginaria da integral
_

R(x)e
ix
dx. Portanto, basta-nos calcular esta ultima.
(a) R =
P
Q
e uma fun cao racional (real) onde grau(Q) grau(P) + 2
Com esta hip otese, R satisfaz as mesmas condi coes do caso anterior. Iremos, portanto, considerar
o mesmo caminho de integra cao. Novamente, existe constante C > 0 tal que [R(z)[
C
|z|
2
. Por
outro lado, sobre o semicrculo C
r
, teremos
[e
iz
[ = [ exp(r sen + ir cos )[
=
1
e
r sen
1,
para todo [0, ]. Dessa forma,

_
C
r
R(z)e
iz
dz

_
C
r
[R(z)[

e
iz

[dz[ C
_
C
r
[dz[
[z[
2

C
r
_

0
d =
C
r
,
como antes. Sendo assim, teremos
_

R(x) cos xdx = lim

r
_
r
r
R(x) cos xdx = lim
r
Re
_

r
R(z)e
iz
dz = 2

aP(R
1
)
Im(a)>0
Im(res(R
1
; a))
(3.4)
_

R(x) sen xdx = lim

r
_
r
r
R(x) sen xdx = lim
r
Im
_

r
R(z)e
iz
dz = 2

aP(R
1
)
Im(a)>0
Re(res(R
1
; a))
(3.5)
onde R
1
(z) := R(z) exp(iz).
Exemplo 3.4.3 Considere a fun c ao R(z) =
1
(z
2
+1)
2
, entao R
1
(z) := R(z) exp(iz) tem polos de
ordem 2 em z = i. Sendo R
1
(z) = (z i)
2
g(z) onde g(z) =
exp(iz)
(z+i)
2
. Em particular,
g

(z) =
(z + i)
2
i exp(iz) 2(z + i) exp(iz)
(z + i)
4
= exp(iz)
zi 3
(z + i)
3
.
Segue da Proposi c ao 3.3.12 que
res(R
1
; i) =
g

(i)
1!
=
1
e
4
8i
=
i
2e
Logo
_

cos x
(x
2
+ 1)
2
dx = 2 Im(res(R
1
; i)) =

e
_

sen x
(x
2
+ 1)
2
= 2 Re(res(R
1
; i)) = 0.(
3
)
105
(b) R =
P
Q
e uma fun cao racional (real) tal que lim
x
R(x) = 0 sem polos reais
Sendo R(x) = p(x)/q(x) uma funcao racional, tal que p(x) = a
n
x
n
+ +a
0
e q(x) = b
m
x
m
+ +b
0
(onde a
n
, b
m
,= 0) nao possuem fatores comuns, ent ao argumentos elementares sobre limites de
funcoes racionais nos garantem que
lim
x
R(x) =
a
n
b
m
lim
z
1
x
mn
.
Logo, lim
x
R(x) = 0 se, e somente se, m > n. Dessa forma, podemos garantir que existe
C > 0 tal que [R(z)[
C
|z|
para todo z >> 0. Considere agora o caminho

=
1
+
2
+
3
+
4
onde
1
:= [, ],
2
:= [, + i],
3
:= [ + i, + i],
4
:= [ + i, ], percorrido no sentido
antihorario.
Note que para >> 0 teremos

2
R(z)e
iz
dz

2
C
[z[
e
y
[dz[ = C
_

0
1
[z[
e
y
dy

_

0
e
y
dy <
C
1

,
onde C
1
:= (1
1
e

)C > 0. Mais ainda,

3
R(z)e
iz
dz

2
C
[z[
e
y
[dz[ = Ce

1
[z[
dx

Ce

dx <
C
2

,
onde C
2
=
2C
e

> 0. Finalmente

4
R(z)e
iz
dz

4
C
[z[
e
y
[dz[ = C
_
0

1
[z[
e
y
dy

_

0
e
y
dy <
C
1

.
Finalmente, o teorema dos resduos nos assegura que ao tomarmos teremos
_

R(x)e
ix
dx = lim

R(x)e
ix
dx
=
_

R(z)e
iz
dz
= 2i

aP(R)
Im(a)>0
n(; a) res(f; a)
uma vez que lim

j
R(z)e
iz
dz = 0, para todo j = 2, . . . , 4. Portanto, neste caso tambem
valem as equacoes (3.4) e (3.5).
106
Exemplo 3.4.4 A fun c ao R(x) =
x
1+x
2
tem um zero no innito. Alem disso R(x) cos x e uma
fun c ao par, logo
_

0
R(x) cos xdx =
1
2
_

R(x) cos xdx

Note que a fun c ao R(z) = R(z) exp(iz) tem dois polos simples respectivamente em z = i. Note
que em z = i teremos
res(R
1
; i) = lim
zi
(z i)R
1
(z) =
i
(1 + i)e
=
i(1 i)

2e
=
1 + i

2e
.
Sendo assim, a equac ao (3.4) nos diz que
_

0
R(x) cos xdx = Im(res(R
1
; i))
=

2e
.
(c) R =
P
Q
e uma fun cao racional (real) tal que lim
x
R(x) = 0 com polos reais simples
Passaremos agora a considerar o caso em que R tem polos reais simples coincidindo com os zeros
de sen x (respect. cos x) alem de possuir um zero no innito. Faremos uma leve modica cao do
caminho anterior de forma a desviar dos polos reais por caminhos que contem pequenos semicrculos
entorno destes polos no semiplano inferior.
Por simplicidade, consideremos o caso de apenas um polo simples a R. Ent ao teremos :=

1
+
2
+
3
+
4
onde
j
, j = 2, 3, 4, s ao como antes e
1
:= [, a ] +C

+[a +, ] onde C

e
o semicrculo parametrizado por z() = a + e
i
, [, 2]. Como antes, segue do fato de R ter
um zero no innito que lim

j
R(z)e
iz
dz = 0, j = 2, 3, 4. Por outro lado,
_

R(x)e
ix
dx = lim
0
_
[,a]+[a+,]
R(z)e
iz
dz.
Finalmente, como a e um polo simples de R, podemos tomar sucientemente pequeno de tal forma
que numa vizinhanca do disco fechado de centro em a e raio tenhamos R(z)e
iz
= (z a)
1
f(z)
onde f e uma funcao holomorfa que nao se anula em a R. O teorema de Taylor garante que
podemos escrever f na forma f(z) = B + (z a)g(z) onde g : (a; ) C e holomorfa e
B = f(a) ,= 0. Pelo teorema de Cauchy no disco, g possui uma primitiva G : (a; ) C, de
onde segue que
_
C

R(z)e
iz
dz =
_
C

Bdz
z a
+
_
C

g(z)dz
= B
_
2

dz
z a
+ G(a + ) G(a )
= iB + G(a + ) G(a )
107
Em particular, lim
0
_
C

R(z)dz = iB = i res(R
1
; a), onde R
1
(z) = R(z)e
iz
. Aplicando-se o
mesmo raciocnio para o caso geral em que R tem um n umero nito de polos simples, teremos
ent ao
_

R(x)e
ix
dx = 2i

aP(R
1
)
Im(a)>0
res(R
1
; a) + i

aP(R
1
)
Im(a)=0
res(R
1
; a).
Em particular,
_

R(x) cos xdx = 2

_

aP(R
1
)
Im(a)>0
Im(res(R
1
; a)) +
1
2

aP(R
1
)
Im(a)=0
Im(res(R
1
; a))
_

_
, (3.6)
_

R(x) sen xdx = 2

_

aP(R
1
)
Im(a)>0
Re(res(R
1
; a)) +
1
2

aP(R
1
)
Im(a)=0
Re(res(R
1
; a))
_

_
, (3.7)
respectivamente quando os polos reais de R estiverem contidos no conjuntos de zeros reais de
cos(z), ou no conjunto de zeros reais de sen(z).
Observacao 3.4.5 Para que uma das integrais (3.6) e (3.7) esteja denida, e imperativo que o
conjunto de polos reais de R nao intersecte ora o conjunto de zeros de cos(z) ora o conjunto de
zeros de sen(z).
Exemplo 3.4.6 Passaremos agora ao c alculo da
_

sen(x)
x(x2)
dx. Primeiramente observe que os
polos de R(z) =
1
z(z2)
s ao z = 0 e z = 2. Mais ainda, sendo R
1
(z) = R(z)e
iz
, entao
res(R
1
; 0) =
e
i(0)
0 2
=
1
2
,
res(R
1
; 2) =
e
i(2)
2
=
1
2
.
Como este s ao polos simples que se anulam juntamente com sen z, entao a equac ao (3.7) fornece
_

sen(x)
x(x 2)
dx = [Re(res(R
1
; 0)) + Re(res(R
1
; 2))]
=
1
2
+
1
2
= 0.
3.4.4 Integrais da forma
_

0
x

R(x)dx, com R racional

Primeiramente observe que, uma vez que R e racional, ent ao podemos supor que 0 < < 1.
?????????????????????
???????????????????????
????????????????????????
3.4.5 Exerccios
1. Calcule as integrais a seguir
(a)
_

0
dx
x
2
+1
;
108
(b)
_

0
x
2
dx
(x
2
+9)(x
2
+4)
;
(c)
_

0
cos x
x
2
+1
dx;
(d)
_
2
0
d
5/4+sen
;
2. Calcule a integral
_

z
2
+ 3 cos z
z
2
1
dz
onde e o bordo (orientado positivamente) do triangulo equil atero com vertice i, inscrito
no crculo [z[ = 1.
3. Calcule a integral
_

z + 5
(z
2
+ 1)
3
dz
onde e o contorno, positivamente orientado, indicado na gura abaixo
4. Encontre o valor da integral
_
C
3z
2
+ 2
(z 1)(z
2
+ 9)
dz
onde C e a curva dada por:
a) C : [z 2[ = 2;
b) C : [z[ = 4.
5. Determine quais s ao os pontos singulares da funcao
f(z) =
1 exp(3z)
z
3
e calcule o resduo de f nestes pontos singulares.
6. Calcule a integral
_

cos x
(x
2
+ 4)
2
dx
7. Sendo C uma regi ao e a C, mostre que se n(; a) ,= 0 para algum ciclo C, ent ao
existe um ciclo tal que n(; a) = 1.
109
8. Sendo n Z
+
, mostre que existe um ramo de raiz n-esima em C se, e somente se, existe
um ramo de logaritmo em . [Sugestao: Olhe para a derivada logaritmica do ramo de raiz
n-esima e aplique o exerccio anterior.]
9. Dada a sequencia de funcoes f
n
(z) = (1 +
z
n
)
n
, mostre que f
n
u.p.c.

C
e
z
. [Sugestao: Use o
Teorema de Taylor para um ramo de logaritimo de (1 +
z
n
).]
10. Mostre que a serie

1
e
n
2
z
dene uma funcao holomorfa em Re(z) > 0.
11. Seja (a
n
) uma sequencia de n umeros complexos nao nulos, diremos que

1
a
n
= P se a
sequencia P
k
=
k

1
a
n
convergir para P. Mostre que

1
(1 +
z
n
2
) dene uma funcao inteira.
[Sugestao: (1) Se for possvel escolher, para cada n, um logaritmo log a
n
de tal forma que
a serie

1
log(a
n
) convirja, ent ao

1
a
n
tambem converge. (2) Considere discos (0; R) e
os produtos

n<R
(1
z
n
2
) e

n>R
(1
z
n
2
). (3) Use uma estimativa de [ log(1 + h)[ a partir do
desenvolvimento de Taylor nito.]
12. Mostre que a serie

n0
1
z
2
n
2
representa uma funcao meromorfa em C. [Sugestao: Consi-
dere as somas

n<R
1
z
2
n
2
e

n>R
1
z
2
n
2
para valores de R apropriados.]
13. Sejam C uma regi ao e f
n
: C, n Z
+
, uma sequencia de funcoes holomorfas
injetivas que converge uniformemente nas partes compactas de para f : C nao
constante, prove que f e injetiva [Sugestao: Use o Teorema de Hurwitz]
14. Seja C uma regi ao e f
n
: C, n Z
+
, uma sequencia de funcoes holomorfas tais
que:
(a) Existe a tal que f
n
(a) e convergente;
(b) (f

n
) converge uniformemente nas partes compactas de para g : C.
Prove que f
n
u.p.c.

f e que f

= g.
15. Sejam f
n
: C contnua e
n
: [a, b] uma sequencia de curvas de classe C
1
tal que

n
unif.
e

n
unif.

. Prove que
lim
n
_

n
f(z)dz =
_

f(z)dz.
Em outras palavras,
_

f(z)dz e uma funcao contnua da curva na topologia C

1
.
3.5 Series de potencias
3.5.1 Sequencias de funcoes e convergencia pontual
Iniciemos recordando alguns conceitos da analise real que podem ser naturalmente estendidos aos
n umero complexos.
110
Deni cao 3.5.1 Diremos que uma sequencia de n umeros complexos (a
n
) converge a um n umero
complexo a , denotando-o por a
n
a, se lim
n
a
n
= a. Uma serie

n=1
a
n
ser a dita conver-
gente se a sequencia de suas somas parciais s
n
:=

n
k=0
a
k
convergir.
De maneira inteiramente analoga ao caso real podemos provar o criterio de Cauchy para cover-
gencia de sequencias e series.
Proposicao 3.5.2 Uma sequencia de n umeros complexos (a
n
) converge se, e somente se, para
todo > 0 existir N N tal que [a
n
a
m
[ < para todo m, n N.
Corolario 3.5.3 Uma serie

n=1
a
n
converge se, e somente se, para todo > 0 existir N N
tal que [a
n+1
+ + a
m
[ < para todo m n N.
Passemos agora ao estudo das sequencias de funcoes.
Deni cao 3.5.4 Diremos que uma sequencia de aplicac oes f
n
: X R
m
R
n
converge
(pontualmente) a f : S R
n
, denotando-o por f
k
f, se f
k
(x) f(x) para todo x X.
Exemplo 3.5.5 A sequencia (f
k
) formada pelas fun c oes
f
k
(x) =
_
kx + 1 se x 1/k
0 se x > 1/k
converge para a fun c ao
f(x) =
_
1 se x = 0
0 se x ,= 0
3.5.2 Convergencia uniforme
Deni cao 3.5.6 Diremos que uma sequencia de aplicac oes f
n
: X R
m
R
n
converge
uniformemente a f : S R
n
se para todo > 0 exisitr k
0
N tal que [f
k
(x) f(x)[ < para
todo x S e k k
0
.
Teorema 3.5.7
??????????????????
3.6 Uma breve digressao sobre homotopia e homologia
Em alguns textos classicos se constr oi a teoria de integra cao sobre o conjunto de curvas homoto-
picas ao inves das curvas homologas. Mostraremos aqui que duas curvas homotopicas s ao sempre
homologas. Mais ainda, atraves de um exemplo, mostraremos que a teoria construda atraves da
homologia e mais geral.
111
Denicao de homotopia- 90.1-2;
Teorema: curvas homotopicas s ao homologas:
1. Sendo
1
,
2
: I curvas contidas nas mesmas coberturas da prova da Proposicao
2.2.12, ent ao e facil ver que
_

j
dz
za
= log(
A
j
a
A
j
a
) = log(1), j = 1, 2, para um mesmo
ramo de logaritmo;
2. Sendo F : I I uma homotopia entre
0
,
1
: I e a / F([0, 1] [0, 1]),
ent ao a funcao g : I Z, dada por g(s) = n(r
s
; a), e localmente constante;
3. Como I e conexo por arcos, ent ao g e constante.
Exemplo de curvas homotopicas;
Exemplo de curvas homologas nao homotopicas `a pagina 77.9
112
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. Versao preliminar de outubro de
2007. http://ww.cce.ufes.br/dmat/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; (De-
cember 1, 1989), ISBN: 0486661695 .
[6] Jordan C. Cours dAnalyse I, 3
eme
ed. pg 202.
[7] Lima E.L.Curso de Analise 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.
113