INTRODUO TEORIA DAS FUNES

COMPLEXAS
Carlos A. A. Florentino
Junho 2011

Contedo
Prefcio

5
7

Captulo 1. Diferenciabilidade: Funes Holomorfas e Funes Analticas

1.1. Funes Diferenciveis e Funes Holomorfas
1.2. Sries de Potncias
1.3. Funes Analticas
1.4. Sries e o teorema de Taylor
1.5. Exerccios

7
7
10
12
13
16

Captulo 2. Clculo Integral no Plano Complexo

2.1. Sries de Laurent e Singularidades Isoladas
2.2. Integrao no plano complexo
2.3. O teorema fundamental do clculo
2.4. O Teorema de Cauchy-Goursat
2.5. O Teorema dos Resduos
2.6. Exerccios

17
17
19
20
22
22
23

Captulo 3. Funes Meromorfas e a Esfera de Riemann

3.1. Funes Meromorfas
3.2. Polinmios e o Teorema Fundamental da lgebra
3.3. Funes Racionais
3.4. A esfera de Riemann
3.5. Transformaes de Mbius
3.6. Exerccios

25
25
26
29
31
32
35

Captulo 4. Teoria Local das Funes Holomorfas e Meromorfas

4.1. O Teorema da Funo Inversa e Isomorfismos Locais
4.2. Princpio dos zeros isolados
4.3. Princpio do mdulo mximo
4.4. O teorema de Casoratti-Weierstrass
4.5. Exerccios

37
37
40
40
41
41

Captulo 5. Transformaes conformes e o Teorema de Riemann

5.1. Definio e Exemplos de Transformaes Conformes
5.2. Lema de Schwarz e Automorfismos do disco
5.3. Automorfismos do Plano
5.4. O espao mtrico H()
5.5. O teorema da aplicao de Riemann
5.6. Exerccios

43
43
45
46
46
48
49

Captulo 6. Funes Harmnicas

6.1. Definio e primeiras propriedades

51
51
3

CONTEDO

6.2.
6.3.
6.4.
6.5.

Propriedades locais das funes harmnicas

Propriedades globais de funes harmnicas
O problema de Dirichlet no disco
Exerccios

52
52
53
54

Captulo 7. Representao de Funes Inteiras

7.1. Convergncia de produtos infinitos de nmeros complexos e de funes
7.2. O teorema de Weierstrass para funes inteiras
7.3. O teorema de Hadamard
7.4. Exerccios

55
55
56
57
58

Captulo 8. Funes Elpticas

8.1. Recticulados e Funes invariantes
8.2. Funes elpticas
8.3. A funo de Weierstrass de um recticulado .
8.4. Exerccios

59
59
60
62
65

Bibliografia

67

Prefcio
O completo conhecimento da natureza de uma funo analtica deve tambm incluir a indicao do seu comportamento para valores imaginrios
dos argumentos. Muitas vezes, isto indispensvel inclusiv para a correcta apreciao do comportamento da funo para argumentos reais.
(C. F. Gauss, Carta a F. W. Bessel, 1811).

A teoria das funes complexas de varivel complexa, usualmente designada por Anlise Complexa, uma rea da Matemtica cujos fundamentos remontam ao sculo XVIII,
estando intimamente ligada a muitos matemticos de renome, tais como Euler, Gauss,
Riemann, Cauchy e Weierstrass. igualmente um assunto de grande utilidade noutras
reas tanto na Matemtica Pura como na Matemtica Aplicada, na Fsica e noutras cincias experimentais, sendo por isso, parte integrante de cursos de Engenharia, Fsica ou
Matemtica, um pouco por todo o mundo.
Sendo um assunto que sempre mereceu uma vasta literatura, ainda no tem, curiosamente, a desejada correspondncia em publicaes na lngua portuguesa. Recentemente,
esta lacuna tem vindo a ser gradualmente preenchida, com alguns livros em que se abordam
funes elementares, expanses em srie de Taylor e Laurent, e os teoremas de Cauchy e
dos resduos em algumas das suas verses. Esses livros destinam-se essencialmente a alunos
dos primeiros dois anos de uma licenciatura de Matemtica, Fsica ou Engenharia.
Prosseguindo esta tendncia, este livro pretende abordar aspectos complementares,
mas ainda clssicos e fundamentais, da teoria das funes de varivel complexa, de grande
relevo para inumeras aplicaes a outras reas da Matemtica e afins. Assim, este pode
ser visto como texto de apoio a uma disciplina dedicada aos fundamentos matemticos da
Anlise Complexa, sendo por isso destinado a estudantes de final de Licenciatura ou incio
de Mestrado em Matemtica Pura, Matemtica Aplicada ou Fsica.

CAPTULO 1

Diferenciabilidade: Funes Holomorfas e Funes Analticas

Neste captulo, vamos estudar o conceito de derivada de uma funo complexa de
varivel complexa. Veremos que, apesar da definio de derivada ser inteiramente anloga
da derivada de uma funo real de varivel real, muitas das propriedades fundamentais
das funes diferenciveis de varivel complexa no tm equivalente no caso real.
Como exemplo notvel deste fenmeno, temos o teorema de Taylor, central na teoria
das funes diferenciveis de varivel complexa, segundo o qual uma funo que admite
derivada numa vizinhana de um ponto, tem nesse ponto derivadas de todas as ordens e a
correspondente srie de Taylor tem raio de convergncia positivo.
Deste modo, a teoria local das funes diferenciveis essencialmente a teoria das
funes analticas, que se resume, por sua vez, teoria das sries de potncias. Esta situao
est em grande contraste com o que se passa na anlise real e permite a demonstrao de
resultados fortes e elegantes, como o teorema de Liouville, o princpio dos zeros isolados,
ou o princpio do mdulo mximo, que veremos em captulos posteriores.
Vamos aqui definir e relacionar trs conceitos diferentes: diferenciabilidade, holomorfia
e analiticidade. Todos eles esto ligados ao conceito de derivada de uma funo f num
ponto do plano complexo ou num subconjunto do plano complexo.
Como sabemos, o conceito de derivada de uma funo num ponto um conceito local
que envolve a considerao de uma vizinhana desse ponto, sendo insensvel ao comportamento da funo fora dessa vizinhana. assim natural considerar funes definidas em
conjuntos abertos e conexos.
Definio. Pela sua importncia, e de acordo com a literatura usual, chamaremos
regio a qualquer subconjunto aberto, conexo e no vazio de C.
Por exemplo, um disco aberto e o semiplano superior so regies em C. Como vo
aparecer com grande frequncia, usaremos as seguintes notaes:
Disco aberto de raio r > 0 e centrado em z0 C:
D(z0 , r) := {z C : |z z0 | < r}

Semiplano superior:

H := {z C : z > 0}

Em todo este livro, designar uma regio arbitrria em C.

1.1. Funes Diferenciveis e Funes Holomorfas
Definio de funo diferencivel e de funo holomorfa. Comeamos por definir diferenciabilidade de forma inteiramente anloga ao caso de funes de varivel real.
Definio. Uma funo f : C C diz-se diferencivel em z0 se o limite
f (z0 + h) f (z0 )
lim
h0
h
existe em C. Neste caso, o limite acima chama-se a derivada de f em z0 e denota-se por
f (z0 ). A funo f diz-se diferencivel em se diferencivel em todos os pontos z0 .
7

1. DIFERENCIABILIDADE: FUNES HOLOMORFAS E FUNES ANALTICAS

Como exemplos de funes diferenciveis numa regio, temos:

Polinmios: p(z) = a0 + a1 z + + an z n , para quaisquer a0 , ..., an C uma
funo diferencivel em C;
Funes racionais: f (z) := p(z)/q(z), onde p e q so polinmios sem razes comums, holomorfa em C \ Z, onde Z o conjunto (finito) das razes de q(z).
Funes trigonomtricas e exponencial: Por exemplo, sin(z), cos(z), ez so funes
diferenciveis em C; f (z) := cot(z) diferencivel em C \ {k : k Z}.
Funes inversas das anteriores: Por exemplo, arcsin(z) diferencivel em {x+iy :
x ] , [}; e log(z) diferencivel em = {x + iy : y ] , [}.
Sries de funes convergentes: qualquer srie convergente num disco aberto
D(z0 , r), com r > 0, holomorfa nesse mesmo disco.
Vamos desenvolver cada um dos exemplos acima com mais detalhe nos prximos captulos.
Por agora, estudaremos a relao entre diferenciabilidade e outras noes anlogas.
Usando a identificao entre o plano complexo C e o plano real R2 , a cada funo de
varivel complexa f : C C pode associar-se a funo fR2 : R2 R2 , definida
por:

u(x, y) = (f (x + iy))
fR2 (x, y) := (u(x, y), v(x, y)), onde
v(x, y) = (f (x + iy)) .

Aqui, u e v so funes reais, chamadas naturalmente, a parte real e imaginria (respectivamente) de f . Graficamente, podemos representar da seguinte forma a relao entre f e
f R2 :

f R2

C
k

R2

natural questionar-se sobre a relao entre a diferenciabilidade de f e a diferenciabilidade de fR2 . Como sabemos, a derivada de fR2 em (x0 , y0 ) representada pela
matriz:

(1.1.1)

DfR2 (x0 , y0 ) =

"

u
x
v
x

u
y
v
y


(x

0 ,y0 )

que nos fornece uma aplicao linear do espao vectorial R2 nele prprio. Esta aplicao
linear depende de 4 nmeros reais, em contraste com os 2 nmeros reais que compem a
derivada f (z0 ). A resoluo deste diferendo est em que devemos considerar apenas as
matrizes 2 2 que correspondem a aplicaes C-lineares de C
= R2 em si mesmo.
Proposio. Usando a identificao natural entre vectores de R2 e nmeros complexos, as matrizes 2 2 que representam transformaes C-lineares de R2 em R2 so da
forma:


a b
,
a, b R.
b
a
Demonstrao. Qualquer transformao C-linear entre C e C da forma z 7 z,
para um certo C. Sendo z = x + iy, = a + bi, temos z = ax by + i(bx + ay).
Assim, uma aplicao entre R2 e R2 C-linear se e s se transforma o vector (x, y) no vector
(ax by, bx + ay) para certos nmeros reais a, b, transformao esta que precisamente
representada pela matriz acima.


1.1. FUNES DIFERENCIVEIS E FUNES HOLOMORFAS

Definio. f : C diz-se holomorfa em z0 = x0 + iy0 se fR2 de classe C 1

em (x0 , y0 ) e DfR2 (x0 , y0 ) uma transformao C-linear. f diz-se holomorfa em , se f
holomorfa em todos os pontos z .
Por outras palavras, escrevendo f (x + iy) = u(x, y) + iv(x, y), f holomorfa em z0 se
fR2 de classe C 1 em (x0 , y0 ) e a transformao linear dada pela matrix (1.1.1) C-linear,
ou seja, as funes u, v verificam
(
u
v
x = y
()
u
v
y = x
no ponto (x0, y0 ). Estas famosas equaes chamam-se as equaes de Cauchy-Riemann.
Outra forma de definir holomorfia atravs dos seguintes operadores diferenciais lineares. Considerando as combinaes lineares de derivadas parciais definidas por:




1

:=
i
=
+i
, e
z
2 x
y
z
2 x
y
fcil verificar que as equaes de Cauchy-Riemann (no ponto (x0 , y0 )) podem escrever-se
como uma singela equao:
f
(z0 ) = 0,
z
onde z0 = x0 + iy0 . Alm disso, temos que
f
(z0 ) = f (z0 ),
z
se f diferencivel em z0 . Deixamos estas verificaes para o leitor.
Equivalncia entre diferenciabilidade e holomorfia. A noo de holomorfia coincide com a de diferenciabilidade. De facto, f holomorfa num ponto se e s se diferencivel nesse ponto.
Proposio. Seja uma regio em C e f (x + iy) = u(x, y) + iv(x, y) com u e v de
classe C 1 em , e z0 . Ento, f diferencivel em z0 se e s se f holomorfa em z0 .
Uma frmula para a derivada em z0 em termos de u e v :
f (z0 ) =

v
u
+i .
x
x

Demonstrao. Se f diferencivel em z0 , ento podemos calcular o limite f (z0 ) =

(z0 )
limh0 f (z0 +h)f
nas direces horizontal e vertical e comparar o resultado. Na direco
h
horizontal, fazemos h = s R e assim:
f (x0 + iy0 + s) f (x0 + iy0 )
=
s0
s
u(x0 + s, y0 ) u(x0 , y0 ) + iv(x0 + s, y0 ) iv(x0 , y0 )
=
= lim
s0
s


v
u
+i
.
=
x
x (x0 ,y0 )
h
i
u
Fazendo o mesmo limite na direco vertical h = it, (t R) obtemos f (z0 ) = v

i
y
y
f (z0 ) = lim

como, por hiptese, o limite nico obtemos as equaes de Cauchy-Riemann.

(x0 ,y0 )

10

1. DIFERENCIABILIDADE: FUNES HOLOMORFAS E FUNES ANALTICAS

Para provar o recproco, usamos as frmulas de Taylor usuais para funes de classe
C 1 de R2 em R. Sendo f holomorfa em z0 = x0 + iy0 e h = s + it, temos:
f (z0 + h) f (z0 ) =u(z0 + h) u(z0 ) + i [v(z0 + h) v(z0 )] =

= u(x0 , y0 ) (s, t) + o(k(s, t)k) + i[v(x0 , y0 ) (s, t)] + o(k(s, t)k) =

u
v
v
u
= s
t + i s + i t + o(k(s, t)k) =
x
x  x
x

u
v
+i
=
(s + it) + o(k(s, t)k).
u
x

onde as derivadas parciais so calculadas em (x0 , y0 ) e o(k(s, t)k) designa um termo que
tende para zero quando k(s, t)k 0. Asim, o limite:


u
v
f (z0 + h) f (z0 )
u
v
x + i x h + o(|h|)
= lim
=
+i
lim
h0
h0
h
h
x
x
existe, o que prova que f diferencivel em z0 , e nos d a frmula pretendida.

Primeiras propriedades das funes holomorfas. Sendo uma regio em C,
fcil ver que a soma e o produto de funes holomorfas so tambm holomorfas.
Vamos designar por H() o conjunto das funes holomorfas (ou diferenciveis) numa
regio .
De acordo com o que foi dito, fcil verificar o seguinte.
Proposio. H() um anel comutativo com identidade.
Este anel contem estritamente o anel dos polinmios.
1.2. Sries de Potncias
De modo a definir a noo de analiticidade, tambm de modo anlogo ao caso real,
vamos primeiro introduzir a teoria bsica das sries de potncias.
Srie de potncias formais e convergentes. Comeamos por definir srie de potncias (no negativas), que podem considerar-se como polinmios de grau infinito.
D(z0 , r) e C(z0 , r) designam, respectivamente o disco aberto e a circunferncia de centro
em z0 e raio r; quando z0 omitido assume-se que z0 a origem, e o disco unitrio D(1)
designa-se simplesmente por D.
Definio. Uma srie de potncias (no negativas)1 centrada em z0 C qualquer
expresso da forma

X
an (z z0 )n = a0 + a1 (z z0 ) + a2 (z z0 )2 + ...
n=0

onde an so nmeros complexos, chamados os coeficientes da srie. Convm distinguir dois

casos fundamentalmente distintos de sries de potncias: o das sries formais, em que a
srie apenas converge no seu centro z0 (no podendo por isso definir uma funo numa
regio), e o das sries convergentes, em que a srie converge para algum z C distinto do
centro.
Vamos agora provar que qualquer srie de potncias convergente define uma funo
diferencivel num certo disco.
1A palavra no negativas, lembrando que o ndice n toma valores em N , normalmente omitida.
0
Mais tarde consideraremos tambm sries de potncias onde n ser pode ser qualquer inteiro, mas que sero
chamadas sries de Laurent, como habitualmente.

1.2. SRIES DE POTNCIAS

11

Raio e disco de convergncia.

Definio. O raio de convergncia da srie

n=0 an (z

z0 )n o nmero

R = sup{r R : an r n uma sucesso limitada} [0, ]

e o disco de convergncia D(z0 ; R).

Note-se que R = 0 se e s se a srie dada formal (converge apenas em z0 ). A definio

de raio e disco de convergncia motivada pelo seguinte resultado.
P
n
Teorema. (Abel) Seja
n=0 an (z z0 ) uma srie convergente com disco de convergncia D(z0 , R) e seja K D(z0 ; R) um subconjunto compacto. Ento, a srie uniformemente convergente em K e diverge para |z z0 | > R.
Demonstrao. Como a srie convergente, podemos assumir que R > 0. Seja
0 < s < r < R tal que an r n uma sucesso limitada, pelo que existe M > 0 que verifica
|an |r n M . Temos ento que max{|an (z z0 )n | : z D(z0 , s)} |an |sn M ( rs )n , pelo
que
 

X
X
s n
< ,
max{|an (z z0 )n | : z D(z0 , s)} M
r
n=0
n=1
P
n uma srie uniformemente convergente no disco compacto
e portanto
a
(z

z
)
0
n=0 n
D(z0 , s). Como qualquer compacto K D(z0 , R) est contido dentro de algum destes
discos compactos, concluimos a primeira parte.

Determinao do raio de convergncia.
Proposio. (Frmula de Cauchy-Hadamard) O raio de convergncia da srie pode
ser calculado atravs de:
1
p
R=
lim sup n |an |
lim inf

|an |
|an |
R lim sup
|an+1 |
|an+1 |

P
Exemplos. A srie n!z n tem raio de convergncia nulo, pelo que uma srie formal
e por isso,
representa nunhuma funo: s est definida quando z = 0, onde vale 0.
P zno
n
tem
raio de convergncia + pelo que define uma funo em todo o plano
A srie
n!
complexo. Esta funo , como sabemos, a funo exponencial.
Diferenciabilidade das sries de potncias. O ltimo caso do exemplo acima
vlido em geral no sentido em que as sries de potncias convergentes representam sempre
funes difereciveis nalguma regio.
P
n
Proposio. Uma srie convergente
n=0 an (zz0 ) define uma funo diferencivel
no seu disco de convergncia e a sua derivada

n=0

nan (z z0 )n1 ,

uma srie convergente com o mesmo disco de convergncia.

Demonstrao. O facto de que estas sries definem funes contnuasP uma consequncia da convergncia uniforme em compactos. Para provar que f (z) =
n=0 an (z
n
z0 ) diferencivel em z0 podemos assumir que z0 = 0 , pois podemos substituir f por
f(z) = f (z + z0 ). A ideia simplesmente calcular o limite que define diferenciabilidade.

12

1. DIFERENCIABILIDADE: FUNES HOLOMORFAS E FUNES ANALTICAS

P
n
Consideremos ento f (z) =
n=0 an z para z contido num disco D(0, r), r > 0 contido
por sua vez em (dado
Pn que k aberto).P
P
n1 , que repreSejam sn (z) = k=0 ak z , Rn (z) = k=n+1 ak z k e g(z) =
n=1 an nz
sentam respectivamente a sucesso de somas parciais, os restos e a derivada formal da srie
f (z). Temos, para z, w D (0, r)






f (z) f (w)
sn (z) sn (w)
Rn (z) Rn (w)

g(w) =
sn (w) + sn (w) g(w) +
zw
zw
zw

Seja > 0. N1 N tal que |sn (w) g(w)| < 3 para n N1 porque, dado que os sn
so polinmios, para w fixo:
limn sn (w) =

 g(w).
 sn (z)sn (w)


Existe > 0 tal que 

sn (w) < 3 para |z w| < pois o polinmio sn (w)
zw
tem derivada. Finalmente, existe N2 N tal que para n N2 :
 
 P



 z k wk 
 Rn (z)Rn (w)  P
(z k w k ) 

=
a

|a
|




=

k
k
k=n+1
 zw
 k1k=n+1k2 zw
P
Pzw

k2
k1
= k=n+1 |ak | z
+z
w + + zw
+ w  k=n+1 |ak |kr1k1 < 3
P
k
A ltima desigualdade resulta do facto que
k=0 |ak |kr1 a srie dos mdulos de
P
k
k=0 |ak |kz para |z| = r1 , que converge para r1 < r por hiptese, logo a sua cauda tende
para zero. Assim para qualquer > 0, existe N N e > 0 tal que


 f (z) f (w)


g(w) < + + =
 zw
3 3 3
o que prova que f diferencivel em qualquer ponto w D(0, r), e que a derivada dada
pela frmula usual. O clculo do raio de convergncia da derivada elementar.

Corolrio. Uma srie de potncias convergente define uma funo de classe C no
seu disco de convergncia.
Exemplo. Exemplos:

Srie geomtrica
sin z =

X
1
=
z n = 1 + z + z 2 + ..., converge para |z| < 1.
1 z n=0

z 2n+1
z3 z5
=z
+
..., converge em C.
(2n + 1)!
3!
5!
n=0
1.3. Funes Analticas

Definio. Diz-se que f : C analtica em z0 , se f coincide com uma

srie de potncias convergente num
Pdisco centradon em z0 . Por outras palavras, se existe
r > 0 e uma
srie
de
potncias
n=0 an (z z0 ) , com raio de convergncia r > 0, tal
P
n para todo z D(z , r). Diz-se que f analtica em se
que f (z) =
a
(z

z
)
0
0
n=0 n
analtica em todos os pontos de .
O seguinte resultado uma consequncia imediata do Corolrio anterior.

Proposio. Se f analtica numa regio , ento f holomorfa em . Alm disso

f infinitamente diferencivel em todos os pontos de .
Como exemplos de funes analticas em C temos os polinmios e as funes trigonomtricas seno, cosseno e exponencial. Se q(z) no se anula num aberto U , tambm fcil
de provar que as funes racionais da forma p(z)
q(z) so analticas em U .

1.4. SRIES E O TEOREMA DE TAYLOR

13

As sries de potncias convergentes so analticas. Vimos que as sries definem

funes diferenciveis no disco de convergncia (se este fr no vazio). Uma srie trivialmente analtica no seu centro se e s se tem raio de convergncia positivo. Tambm se
mostra facilmente a sua analiticidade em toda a regio de convergncia.
P
n
Teorema. [Lema de Abel] Se f (z) =
n=0 an (z z0 ) tem D(z0 , r), r > 0 como disco
de convergncia, ento f e analtica em D(z0 , r).

Demonstrao. A ideia modificar a srie dada (usando a srie geomtrica) para

determinar o desenvolvimento em srie em torno de qualquer outro ponto do disco.


Para resumir os resultados desta seco, utilizamos as seguintes notaes. Seja z0 C,

r > 0 e D = D(z0 , r). Denotemos por S(D) o conjunto das sries de potncias convergentes
em D e por A(D) o conjunto das funes analticas em D. Assim, nesta seco provmos
que
S(D) A(D) H(D).
De seguida mostraremos que, de facto, estes 3 conjuntos coincidem. Iremos igualmente
provar que, com o produto usual de sries, estas igualdades tornam-se isomorfismos de
anis.
1.4. Sries e o teorema de Taylor
Definio. Se f infinitamente diferencivel em z0 a sua srie de Taylor em z0 a
srie:
(n)
X
f (z0 )
(z z0 )n .
n!
n=0

Proposio. Se f analtica em D(z0 , r), r > 0, ento f coincide com a sua srie
de Taylor, e o raio de convergncia desta srie maior ou igual a r.
Demonstrao. Observe-se que noPdecorrer da demonstrao da Proposio 1.2
n

provou-se que a derivada da srie f (z) =

n=0 an (z z0 ) se pode escrever como f (z) =
P

n1
, srie que tem o mesmo raio de convergncia que f (z). Note-se ainda
n=0 an n(z z0 )
P

n2
que f (z0 ) = a0 , f (z0 ) = a1 e derivando mais uma vez f (z) =
n=0 an n(n1)(z z0 )

logo f (z0 ) = 2a2 . Continuando desta forma obtemos a seguinte proposio cuja demonstrao deixada ao leitor.

1.4.1. Analiticidade das funes holomorfas. A ideia da prova do prximo teorema envolve clculo integral, mas apenas ao longo de circunferncias, que so fceis
de parametrizar, pelo que apenas teremos que usar resultados elementares da teoria do
integral de Riemann em intervalos compactos de R.
Teorema. Se f : C holomorfa em , ento f analtica em .
Demonstrao. Seja f diferencivel em z0 . Para provar que f analtica em z0
podemos supor novamente que z0 = 0. Seja R > 0 tal que o disco D(0, R) est contido em
e seja r ]0, R[. Vamos definir, para z D(0, r) fixo, a funo g : [0, 1] C atravs da
expresso seguinte.


2
f (1 s)z + sreit f (z) it
g(s) =
re dt.
reit z
0
A funo integranda diferencivel em s e t [0, 2], por hiptese. Logo g uma funo
diferencivel em [0, 1] e, para s 6= 0:

14

1. DIFERENCIABILIDADE: FUNES HOLOMORFAS E FUNES ANALTICAS

g (s) =

it

f (1 s)z + re

it

re dt =

2
0

Fs (t)dt = Fs (2) Fs (0) = 0,

1
onde Fs (t) = si
f (1 s)z + sreit para s 6= 0. Como g(0) = 0, e g (s) = 0 para s 6= 0,
conclui-se que g(s) 0 no intervalo s [0, 1]. Assim g(1) = 0 o que implica:
2

2
reit
reit
f (re ) it
(1.4.1)
dt = f (z)
dt.
re z
reit z
0
0
O quociente em ambos os membros pode-se desenvolver em srie geomtrica

X
zn
1
reit
=
=
,
reit z
1 rezit
(reit )n

it

n=0

vlida porque |z| < r. Assim:


2 X
2
 2

X
zn
reit
f (reit )
it
it
n
f
(re
)
f
(re
)
dt
z
=
dt
=
dt =
(reit )n
(reit )n
reit z
0
0
0
n=0
n=0
2 X
2

zn
reit
dt
=
f
(z)
dt =
= f (z)
reit z
(reit )n
0
0
n=0
2

X
dt
zn
= f (z)
= 2f (z).
it )n
(re
0
n=0

Aqui, a troca do integral com o somatrio justificada pelo facto de f ser limitada em
[0, 2] e todas as funes f (reit )(reit )n serem integrveis neste intervalo. Como o ltmo
integral nulo para n > 0 e igual a 2 se n = 0, a ltima srie reduz-se ao primeiro
termo: f (z)2. Concluimos, portanto que f analtica pois para z D(0, r):
2

X
f (reit )
1
n
dt.
an z
em que
an =
f (z) =
2 0 (reit )n
n=0


1.4.2. O teorema de Taylor. Os resultados anteriores podem assim ser resumidos

no seguinte enunciado, o clebre Teorema de Taylor. Note-se que sendo um aberto em
C, o seu complemento um fechado C := C \ . Assim, se C no vazio, a distncia de
um ponto z0 a C tem um mnimo global (sendo a distncia uma funo contnua num
compacto no vazio da forma D(z0 , R) C). Essa distncia define o maior disco aberto
D(z0 , R) contido em .
Teorema. [Taylor] Seja f diferencivel numa regio , z0 e seja D(z0 , R) o maior
disco aberto contido em . Ento f analtica em D(z0 , R). Alem disso, f (z) coincide
com a sua srie de Taylor, em D(z0 , R),
f (z) =

(n)
X
f (z0 )

n=0

n!

(z z0 )n .

Em particular, o raio de convergncia desta srie R. Temos tambm a seguinte representao integral das derivadas de f :

n! 2 f (reit )
(n)
dt.
f (z0 ) =
2 0 (reit )n

1.4. SRIES E O TEOREMA DE TAYLOR

15

Note-se que este resultado no tem anlogo no caso de funes diferenciveis de uma
varivel real. Estes 2 ltimos teoremas completam as identificaes prometidas, isto ,
temos:
S(D) = A(D) = H(D),

para qualquer disco D = D(z0 , r).

Exemplo. Seja f : R R dada por:

( 1
e x2 , x > 0
f (x) =
0,
x 0.
fcil de verificar que f infinitamente diferencivel em R, e que no ponto x = 0, todas
as derivadas de f se anulam. Assim, a sua srie de Taylor zero. Portanto, f no coincide
com a sua srie de Taylor em nenhuma vizinhana da origem. Esta patologia pode
entender-se, do ponto de vista da anlise complexa, verificando simplesmente que a funo
1
f (z) = e z2 no holomorfa em z = 0 (mais precisamente, no se pode extender de forma
a ser holomorfa em z = 0).
1.4.3. Frmulas de Cauchy.
Corolrio. As derivadas de todas as ordens de uma funo f H(D(z0 , R)) podem
ser calculadas atravs de
f

(n)

n!
(z0 ) =
2

f (reit + z0 )
dt
(reit )n

( com n 0 e r ]0, R[)

Em particular, para n = 0 obtemos:

2
1
f (z0 ) =
f (reit + z0 )dt
2 0
o que mostra que o valor de uma funo holomorfa depende somente dos seus valores numa
circunferncia z0 + reit contida na sua regio de holomorfia.
1.4.4. Desigualdades de Cauchy.
Corolrio. Se f H() e D(z0 , R) , ento


n!

 (n)
f (z0 ) n MR
R


onde MR = maxt[0,2] f (z0 + Reit ).

Demonstrao. O resultado segue da estimativa:



2




n!
n!  2 f (Reit + z0 ) 
 (n)

f (Reit + z0 ) dt
dt
f (z0 ) =

it
n
n
2 0
(Re )
2R 0
n!
n!

2MR = n MR .
2Rn
R


Exemplo. Finalizamos esta subseco com duas consequncias importantes do Teorema de Taylor, que manifestam claras diferenas em relao anlise real.

16

1. DIFERENCIABILIDADE: FUNES HOLOMORFAS E FUNES ANALTICAS

1.4.5. O teorema de Liouville. A primeira o teorema de Liouville, sem dvida

um resultado que contraria a intuio adquirida com funes de varivel real.
Definio. Uma funo f : C C diz-se inteira se holomorfa em todo C, isto , se
f H(C).
Teorema. (Liouville): Uma funo inteira e limitada constante.
Demonstrao.

 Por hiptese f H(C) e |f | M . Pelas desigualdades de Cauchy, temos f (n) (0) Rn!n M , mas f H(D(0, R)) para todo R > 0. Logo podemos fazer R to grande quanto quisermos o que implica f (n) (0) = 0 n 1. Como
P
f (n) (0) n

f (z) =
n=0
n! z , z C, concluimos que f (z) = f (0), z C.
A segunda o teorema das singularidades de Riemann, passo essencial para a classificao de singularidades levada a cabo no prximo captulo.
1.4.6. O teorema da remoo das singularidades de Riemann.
Teorema. Seja uma regio, z0 uma singularidade isolada de f (z). Se f
holomorfa e limitada em r {z0 } ento f pode ser extendida a uma funo holomorfa em
toda a regio .
P
Demonstrao. Podemos assumir que z0 = 0 e escrevemos f (z) =
an z n de
acordo com o Teorema de Taylor, num certo disco D. Como f (z) limitada em D a
funo g(z) = zf (z) tem limite igual a zero quando z 0. Pelo que g contnua em
. Isto significa que a funo h(z) = z 2 f (z) = zg(z) holomorfa em porque, sendo
= g(0) = 0. Uma
naturalmente holomorfa em r {z0 } temos que h (0) = limz0 zg(z)0
z
vez que h(0) = h (0) = 0, podemos escrever h(z) = a0 z 2 + a1 z 3 + , sendo uma uma
srie convergente em D, ou seja, f (z) = a0 + a1 z + a2 z 2 + em D, o que implica que f
holomorfa tambm em z = 0.

Em concluso, neste captulo definimos funes diferenciveis, holomorfas e analticas,
e mostrmos que estas noes so equivalentes em qualquer regio do plano complexo. Em
particular, podemos ver os elementos do anel H() como funes ou como sries, de acordo
com as necessidades. Vimos tambm alguns exemplos de funes diferenciveis (nalguma
regio) e relacionmos raio de convergncia com domnio de diferenciabilidade.
1.5. Exerccios
1.1 Seja f : C C uma funo holomorfa tal que f (z) = 4. Mostre que f
constante. Se o domnio de f fr C \ R, a mesma concluso vlida? Justifique.
1.2 (a) Determine uma funo f , analtica em C, tal que
f (x + iy) = e2x cos 2y + x2 y 2 + 1

(b) Determine f ( i
2 ).

CAPTULO 2

Clculo Integral no Plano Complexo

Neste captulo, vamos introduzir o clculo integral no plano complexo e desenvolver
os seus mtodos fundamentais. Em particular, abordamos os teoremas de Cauchy e o
conhecido teorema dos resduos, bem como algumas das suas aplicaes. Comeamos com
as sries de Laurent e classificao de singularidades isoladas.
2.1. Sries de Laurent e Singularidades Isoladas
Tal como as funes polinomiais se generalizam para sries de potncias, as funes
racionais tm uma generalizao: as sries de Laurent.
Definio de srie de Laurent. Como vimos, uma srie de potncias convergente
est naturalmente associada a um disco, o seu disco de convergncia. Mais geralmente,
a uma srie de Laurent convergente podemos naturalmente associadar um anel, como
veremos.
Definio. Seja z0 C e r1 < r2 [0, ]. Um anel centrado em z0 e de raios r1 e r2
o conjunto
A(z0 ; r1 , r2 ) = {z C : r1 < |z z0 | < r2 }.
Como casos particulares temos A(z0 ; 0, r), que um disco perfurado, tambm denotado
por D (z0 , r) = {z C : 0 < |z z0 | < r} e A(0, 0, ) = C .
Definio. Uma srie de Laurent centrada em z0 uma srie da forma:
+
X

an
.
n
(z

z
)
0
n=
n=1
n=0
P
n
Assim, uma srie
a soma da sua parte regular
n=0 an (z z0 ) com a sua
Pde Laurent
an
parte principal n=1 (zz0 )n . Como anteriormente, convm distinguir o caso das sries de
Laurent formais, em que a regio de convergncia no mximo um ponto, do caso contrrio,
que sero chamadas sries de Laurent convergentes.
an (z z0 )n =

an (z z0 )n +

Convergncia das sries de Laurent.

P
n
Teorema. Seja +
n= an (z z0 ) uma srie de Laurent convergente. Ento, existem r1 < r2 [0, +] tais que a srie uniformemente convergente em A(z0 ; r1 , r2 ) e
diverge em C \ A(z0 ; r1 , r2 ). Alm disso, esta srie define uma funo diferencivel no anel
A(z0 ; r1 , r2 ).
P
n
Demonstrao. De acordo com o Teorema 1.2, a parte regular
n=0 an (z z0 )
converge
num certo disco D(z0 , r2 ) com r2 ]0, +]. Por outro lado, a parte principal
P
an
1
n=1 (zz0 )n uma srie de potncias positivas na varivel w = zz0 . Logo, converge
quando w D(0, r11 ) para certo r1 ]0, +], ou seja, para |w| < r11 que equivale a |z z0 | >
r1 , o complemento de um disco fechado no plano z. Uma vez que a soma das duas partes
converge para algum valor de z, temos que r2 > r1 . Assim, a srie dada converge na
17

18

2. CLCULO INTEGRAL NO PLANO COMPLEXO

interseco das duas regies, isto , para r1 < |z z0 | < r2 . A demonstrao que a srie
define uma funo diferencivel anloga ao caso analtico.

Tal como no caso das sries de potncias no negativas, o recproco tambm se verifica.
Teorema. Dada uma funoPf (z) diferencivel num anel A(z0 ; r1 , r2 ), existe uma
n
srie de Laurent centrada em z0 , +
n= an (z z0 ) , tal que
f (z) =

+
X

n=

an (z z0 )n ,

em A(z0 ; r1 , r2 ).

Alem disso, temos:

1
an =
2i

|zz0 |=r

f (z)
dz,
(z z0 )n+1

para qualquer r [r1 , r2 ].

Singularidades isoladas.
Definio. Seja f uma funo diferencivel num disco perfurado D (z0 , r) centrado
em z0 . Ento diz-se que f tem uma singularidade isolada em z0 ou que z0 uma singularidade
isolada de f .
Classificao das singularidades isoladas. Se uma funo f (z) holomorfa num
disco perfurado D (z0 , r), podemos escrever a sua srie de Laurent na seguinte forma:
f (z) =

n=0

onde

bn
n=1 (zz0 )n

an (z z0 )n +

n=1

bn
,
(z z0 )n

a sua parte principal.

Definio. A singularidade z0 chamada:

Removvel se a parte principal 0,
P
bn
Plo de ordem m, se a parte principal m
n=1 (zz0 )n , com bm 6= 0,
Essencial, se a parte principal no uma srie finita, ou seja, se para qualquer
N > 0 existe m > N com bm 6= 0.

Note-se que a definio de singularidade removvel consistente com o teorema das singularidades removveis de Riemann.
Os plos e as singularidades essenciais tm comportamentos fundamentalmente distintos. Mais precisamente, consideremos f H(D (z0 , r)) e a seguinte funo auxiliar, para
n 0 inteiro, n (z) = (z z0 )n f (z). Assim, temos o seguinte resultado de classificao:

Teorema. Seja f diferencivel num disco perfurado D (z0 , r), e n (z) a famlia de
funes definidas acima, n = 0, 1, 2, ... . Ento, temos:
(1) z0 uma singularidade removvel se e s se limzz0 0 existe,
(2) z0 um plo de ordem n se e s se limzz0 n (z) existe e no nulo,
(3) z0 uma singularidade essencial se e s se limzz0 n (z) no existe para nenhum
n N.
Demonstrao. ...

2.2. INTEGRAO NO PLANO COMPLEXO

19

2.2. Integrao no plano complexo

Seja [a, b] um intervalo na recta real (a < b).
Definio. Um caminho (no plano complexo) uma aplicao : [a, b] C seccionalmente regular, isto , tal que (t) existe excepto para um nmero finito de valores
b
de t [a, b], e rectificvel, isto , verificando a | (t)| dt < +. Note-se que, sendo
(t) = x(t) + iy(t), temos (t) = x (t) + iy (t) e | (t)|2 = x (t)2 + y (t)2 . Uma curva C
a imagem de um caminho, isto um conjunto tal que existe um caminho : [a, b] C
com ([a, b]) = . Neste caso, diz-se que uma parametrizao de .
Observao. Naturalmente, existem mltiplas parametrizaes de uma nica curva .
No entanto, para simplificar alguns enunciados, frequentemente abusaremos terminologia
e identificaremos um caminho com a respectiva curva.
Definio. Os dois extremos de um caminho : [a, b] C so o seu ponto inicial
(a) e o seu ponto final (b). Um caminho (ou a respectiva curva) diz-se fechado se os seus
extremos coincidem. O caminho inverso a um dado caminho : [a, b] C, o caminho
: [b, a] C definido por (t) := (t), pelo que ambos definem a mesma curva, mas
percorrida em sentido contrrio. Em particular, o ponto inicial de o ponto final de e
vice-versa.
Observao. Muitas vezes, ao considerarmos uma dada curva , indicamos os seus
extremos de forma explcita, dizendo por exemplo: uma curva com ponto inical z0
e ponto final z1 ; neste caso, uma parametrizao de , para alm de ser um caminho
: [a, b] C tal que ([a, b]) = , deve verificar adicionalmente (a) = z0 e (b) = z1 . Da
mesma forma, podemos falar da curva inversa a uma dada curva.
Exemplo.
2.2 Um caminho que parametriza a circunferncia unitria = {z
C : |z| = 1}, , por exemplo (t) = eit com t [0, 2]. Naturalmente, (t) = e2it ,
t [0, 1]; (t) = eit , t [, ], e (t) = e2it , t [0, 1] parametrizam a mesma
circunferncia, o ltimo caminho sendo o nico percorrido no sentido horrio.
Estes exemplos ilustram a importncia de indicar sempre o domnio de definio
do caminho.


2.2 Seja : [0, 1] definida por (t) = cos 1t , (0) = 0. Temos que seccionalmente
regular, pois contnua para t 6= 0, mas no rectificvel, como o leitor poder
verificar.
Definio. Dado um caminho : [a, b] e uma funo contnua f : C (ou
seccionalmente contnua e limitada), definimos o integral de f ao longo de (ou integral de
f em ) como
b

f ((t)) (t) dt.

f :=

Por
vezes, e de modo arecordar os termos envolvidos nesta definio, escrevemos tambm
f (z)dz em lugar de f .

Observao. Note-se que o integral do segundo membro um integral de Riemann

uma vez que a funo integranda f ((t)) (t) seccionalmente contnua e limitada e a
regio de integrao o intervalo compacto [a, b].
Algumas operaes em curvas so especialmente relevantes. Um caminho constante da
forma (t) = z0 para todo t [a, b], representa uma curva que consiste num s ponto: z0 .
Sendo : [a, b] C um caminho com ponto inicial (a) e ponto final (b), o caminho

20

2. CLCULO INTEGRAL NO PLANO COMPLEXO

Proposio. O integral verifica as seguintes propriedades:

(1) Linearidade relativa funo integranda;
(2) Aditividade relativa concatenao de curvas;
(3) Independncia da parametrizao;
(4) Troca de sinal ao inverter o caminho.
Demonstrao. ...

2.3. O teorema fundamental do clculo

Teorema. Seja F H(). Ento, para qualquer curva , temos:

F (z) dz = F ((b)) F ((a)).

Demonstrao. Usamos essencialmente o teorema fundamental do clculo para funes de uma varivel real.

Definio. Seja uma regio em C. Uma funo contnua f : C diz-se primitivvel em se existe uma outra funo F , diferencivel em , tal que F = f em . Neste
caso, a funo F chama-se uma primitiva de f em .
fcil de verificar que, sendo um conjunto conexo, quaisquer duas primitivas F1 e
F2 , da mesma funo f diferem por uma constante aditiva.
Como consequncia do teorema de Taylor, vemos que se f primitivvel em , ento
diferencivel (e analtica) em . Vejamos que o recproco tambm vlido, mas apenas
localmente.
Comecemos por verificar que qualquer funo contnua cujos integrais em curvas fechadas suficientemente pequenas se anulam, uma funo primitivvel. Se R um rectngulo
fechado, designamos por R a curva que define a sua fronteira, percorrida no sentido
directo.
Para abreviar, dizemos que uma curva rectangular se a composio de curvas
horizontais ou verticais.
Teorema. [Morera] Seja f contnua numa regio . Se para todo rectngulo fechado
R , contido em , temos R f (z) dz = 0, ento f primitivvel em . Em particular,
f H().
Demonstrao. Basta considerar rectngulos suficientemente pequenos, pois diferenciabilidade uma propriedade local. Assim, podemos supor que = D(z0 , r) um
disco em torno de z0 , e definimos

f (z) dz,
F (z) :=
z

onde z qualquer curva rectangular com incio em z0 e fim em z D(z0 , r). Uma vez
que R f (z) dz = 0 para qualquer rectngulo R D(z0 , r), esta funo est bem definida.
Assim, calculamos, para h C,
1
F (z + h) F (z)
=
h
h

z+h

f (w) dw,

2.3. O TEOREMA FUNDAMENTAL DO CLCULO

21

em que o integral acima calculado ao longo de uma curva rectangular entre z e z + h.

Assim, temos a estimativa


 

 F (z + h) F (z)
 1


=

f
(z)
[f
(w)

f
(z)]
dw


 h

h
[z,z+h]

1
|h| max |f (w) f (z)|,
|h| w[z,z+h]

pelo que o limite que define F (z) existe e iguala f (z), como pretendido. Assim, f
primitivvel em , pelo que tambm holomorfa em .


Corolrio. Se f (z) contnua em e f (z) dz = 0 para toda a curva fechada

, ento f holomorfa em .

Demonstrao. Se f (z) dz = 0 para toda a curva fechada , ento R f (z) dz =

0 para qualquer rectngulo fechado R .

Podemos assim, resumir a relao entre primitivas e integrais.
Teorema. Seja f contnua em . As seguintes afirmaes so equivalentes:
(1) f primitivvel em .
(2) f (z) dz s depende dos pontos inicial e final de em .

(3) f (z) dz = 0 para qualquer curva fechada em .

Qualquer uma das condies implica f H().
Demonstrao. Supondo que f primitivvel em e que F (z) uma sua primitiva,
e que uma qualquer curva de z0 a z1 temos, pelo teorema fundamental do clculo:

f (z) dz = F (z1 ) F (z0 ),

pelo que (1) implica (2) e (3). Supondo agora que z0 e que os integrais de f se anulam
para todas as curvas fechadas, defina-se para cada z :

f (z) dz,
F (z) :=
z

onde z uma curva qualquer em , com incio em z0 e fim em z. Para provar que F
est bem definida, seja z uma outra curva em com incio em z0 e fim em z. Assim, a
composio de uma com a inversa da outra, 1
z z uma curva com incio e fim em z0
pelo que uma curva fechada e temos:

f (z) dz = 0,
f (z) dz
f (z) dz =
1
z z

pelo que o valor de F (z) est bem definido. Finalmente, calculamos, para h C,

1 z+h
F (z + h) F (z)
=
f (w) dw
h
h z
em que o integral acima pode ser considerado como um integral ao longo de [z, z + h], o
segmento de recta entre z e z + h (pois fazendo h suficientemente pequeno, este segmento
est em ). Assim, a mesma estimativa do teorema de Morera, permite concluir que o
limite que define F (z) existe e igual a f (z), como pretendido. Assim, f primitivvel
em , terminando a demonstrao de que (3) implica (1). tambm fcil provar que (2)
implica (3), pois podemos decompor uma curva fechada em duas, obtendo o resultado. 

22

2. CLCULO INTEGRAL NO PLANO COMPLEXO

Este teorema est em perfeita analogia com o que se passa em anlise real.
Por outro lado, podemos perguntar: sendo f H() verdade que f (z) tem primitiva
em ?
A resposta no. Notavelmente, consideremos o caso f (z) = z1 . Como sabemos,
f H(C \ {0}), mas esta funo no primitivvel em C \ {0}. H pelo menos duas formas
de ver isto: se existisse primitiva, ela seria dada localmente, pela funo F (z) = log(z),
no entanto, como sabemos, esta funo no contnua em = C \ {0}. Outra forma de
verificar esta situao atravs do clculo:

1
dz = 2i 6= 0,
|z|=1 z
o que, usando o Teorema 2.3, mostra que f (z) no admite primitiva.
Na prxima seco, estudando o Teorema de Cauchy, estamos interessados
em saber,
dada uma regio e uma funo holomorfa f H() em que condies temos f (z) dz =
0 para curvas fechadas em .
2.4. O Teorema de Cauchy-Goursat
Vamos aqui demonstrar uma verso fraca do teorema de Cauchy, vlida apenas para
regies convexas, mas que j extremamente til para mltiplas aplicaes da anlise complexa. Para aplicaes do clculo integral convm por vezes considerar funes holomorfas
em conjuntos fechados.
Definio. Seja Q C um conjunto fechado. Dizemos que f holomorfa em Q
se existe uma regio , que contm Q, onde podemos definir f (mais precisamente, uma
extenso de f ) de forma a que f H().
Comeamos por um lema.
Lema. (Goursat) Seja f holomorfa num rectngulo R. Ento

R f (z)

dz = 0.

Demonstrao. Decompor o rectngulo em rectngulos cada vez mais pequenos. 

Teorema. (De Cauchy) Seja uma regio convexa, de forma a que a sua fronteira
uma curva fechada (regular por troos). Se f holomorfa em , ento f (z)dz = 0.

Demonstrao. Seguir o Lang. Primeiro mostra-se para curvas prximas e para

curvas rectangulares, usando o Teorema de Goursat.

2.5. O Teorema dos Resduos
Quando uma funo tem apenas um nmero finito de singularidades isoladas, podemos
encontrar o valor dos integrais ao longo de curvas de Jordan (simples e fechadas). Para o
clculo destes integrais contam apenas as singularidades na componente interior.
Teorema. (dos resduos) Seja uma curva de Jordan com componente interior D. Se
f uma funo holomorfa em e em D, excepo de um nmero finito de singularidades
isoladas z1 , ..., zn em D, ento:

n
X
f (z)dz = 2i
Res(f, zk )

k=1

2.6. EXERCCIOS

23

2.6. Exerccios
2.1 Determine todos os possveis desenvolvimentos de z 31+i em srie de potncias de
z (isto , centrados em z0 = 0), indicando o anel em que cada um vlido.
1
1 + cos z
2.2 Considere a funo f (z) = 2
+
.
z +1
z2
(a) Determine e classifique todas as singularidades de f , calculando os respectivos
resduos.
(b) Determine o desenvolvimento de Laurent de f na regio definida por |z| > 1.
(c) Calcule os integrais

f (z) dz e
f (z) dz,
|z|= 21

|z 2i |=2

onde
as curvas so percorridas uma vez no sentido negativo.
cos z
2.3 Calcule
dz, onde (t) = 1 + eit , t [0, 2].
z + 3i
2.4 Seja = C \ {x + 0i : x 0}. Calcule o integral

log z dz

onde um caminho em com incio em 1 e fim

em i.
2.5 Seja DR = {z C : z 0, |z| R}, com R > 2. Calcule os integrais
+

cos x
eiz
dz, e
dx.
2
2
x + 2
DR z + 2
2.6 Aplique convenientemente o teorema dos resduos para mostrar que
2
1
6
d = 3/2 .
2
(3 + 2 sin())
5
0

CAPTULO 3

Funes Meromorfas e a Esfera de Riemann

Neste captulo, vamos definir e estudar as funes meromorfas. Esta uma classe de
funes muito importante, e consiste nas funes numa dada regio que so holomorfas
em todos os pontos de excepo de um conjunto discreto de singularidades, que so
todas plos.
Um exemplo fundamental de funes meromorfas consiste nas funes racionais, que
so quocientes de funes polinomiais. Assim, comearemos pelo estudo dos polinmios e
de algumas das suas propriedades algbricas.
3.1. Funes Meromorfas
Seja uma regio de C, isto , um subconjunto aberto, conexo e no vazio de C.
Definio. Uma funo f diz-se meromorfa em se f holomorfa em excepo
de singularidades isoladas que so todas plos ou singularidades removveis de f . Mais
precisamente, f meromorfa em se f holomorfa em \ S onde S um subconjunto
discreto de e z S se e s se z um plo ou uma singularidade removvel de f . Usamos
a notao M () para indicar o conjunto das funes meromorfas na regio .
Recorde que S um subconjunto discreto de se para cada ponto z0 S, existe um
disco centrado em z0 , D = D(z0 , r) suficientemente pequeno, de tal forma que S D = {z0 },
ou seja S D (z0 , r) vazio. Assim, qualquer singularidade de uma funo meromorfa
isolada.
Exemplo. (1) Qualquer funo holomorfa em meromorfa em (Aqui o conjunto
S vazio).
(2) Para qualquer z0 C, a funo dada por f (z) = (zz1 0 )n , para z = C \ {z0 } e
n N, holomorfa em C \ {z0 }. Uma vez que z0 um plo de ordem n, temos que f (z)
meromorfa em C, isto f M (C).
1
onde p(z) um polinmio no identicamente nulo meromorfa em
(3) Se f (z) = p(z)
C, e holomorfa se e s se p(z) no constante.
3.1.1. O corpo das funes meromorfas. O conjunto das funes meromorfas
numa regio denota-se por M (). Pelo exemplo (1) acima, temos H() M ().
Anteriormente, vimos que H() um anel, com a operaes usuais de soma e produto
de funes. Tambm em M () podemos somar, subtrair e multiplicar funes. Alm
disso, dadas duas funes meromorfas f, g M (), sendo g(z) no indenticamente nula,
o quociente f (z)/g(z) uma funo meromorfa em .
Proposio. Seja C uma regio. M () um corpo que contm o anel H().

Demonstrao. Basta ver o caso do quociente f /g, com f, g M () e com g 6= 0.

Neste caso, basta verificar que, quando f e g so representados por sries de Laurent,
vlida num certo disco perfurado, ento podemos escrever f (z)/g(z) tambm como srie
de Laurent, vlida num certo disco perfurado, eventualmente menor que o inicial, mas
certamente no vazio.

25

26

3. FUNES MEROMORFAS E A ESFERA DE RIEMANN

3.1.2. Definio de ordem de um ponto.

Definio. Seja f uma funo meromorfa (no identicamente nula) em e z0 .
A ordem de f em z0 , que se denota por ordz0 (f ), o ndice do primeiro termo no nulo da
expanso
num disco perfurado em torno de z0 . Mais precisamente se
Pem srie de Laurent
k
f (z) = km ak (z z0 ) a expanso referida, onde am 6= 0, ento ordz0 (f ) := m Z.
Proposio.
(1) k > 0 se e
(2) k = 0 se e
(3) k < 0 se e

Seja f M (), z 0 e k = ordz0 f . Temos:

s se f holomorfa em z0 e f (z0 ) = 0
s se f holomorfa em z0 e f (z0 ) 6= 0
s se z0 plo de f de ordem k.

Demonstrao. Exerccio.

Proposio. Sejam f, g M () e z0 . Ento:

(1) ordz0 (f g) = ordz0 (f ) + ordz0 (f )
(2) ordz0 ( fg ) = ordz0 (f ) ordz0 (f )
(3) ordz0 (f g) min{ordz0 (f ), ordz0 (g)}
Demonstrao. Exerccio.

3.2. Polinmios e o Teorema Fundamental da lgebra

Definio. Como sabemos, um polinmio de grau n uma funo p que se pode
escrever na forma
p(z) = an z n + an1 z n1 + ... + a1 z + a0 ,
onde ai C e an 6= 0. Os polinmios podem-se somar e multiplicar, pelas regras usuais,
formando assim um anel comutativo designado usualmente por C[z]. Uma raz do polinmio
p um nmero complexo z0 , tal que p(z0 ) = 0. Vamos denotar por deg p N0 o grau de
um polinmio no nulo p(z) C[z].1
3.2.1. Teorema fundamental da lgebra. O resultado mais importante sobre polinmios de vriavel complexa o chamado teorema fundamental da lgebra, que afirma
que qualquer polinmio no constante possui uma raz em C.
Teorema. [Gauss] Qualquer polinmio complexo no constante tem uma raz complexa. Por outras palavras, dado um polinmio de grau n 1, p(z) = a0 + a1 z + ... + an z n ,
existe z0 C tal que p(z0 ) = 0.
Para provar este teorema vamos usar duas propriedades simples dos polinmios que
tambm so vlidas, como veremos mais tarde, para as funes analticas.
3.2.2. Polinmios no constantes so ilimitados. Intuitivamente, os polinmios
no constantes so ilimitados, facto que se verifica igualmente para os polinmios com
coeficientes reais. Mais precisamente temos:
Lema. Se p(z) = an z n + an1 z n1 + + a1 z + a0 um polinmio de grau n > 0,
ento |p(z)| quando |z| .
Demonstrao. Basta usar a desigualdade triangular, e o facto de que a funo
a1
+ zan0 tende para zero quando z . Em particular, existe um R > 0
+ + z n1

an1
z

tal que | an1

z + +
temos:

a1
z n1

a0
zn |

<

|an |
2 ,

sempre que |z| > R (note-se que an 6= 0). Assim,

1Por consistncia com certos resultados, ao polinmio nulo atribui-se grau 1.

3.2. POLINMIOS E O TEOREMA FUNDAMENTAL DA LGEBRA

27


a

an1
a1
a0 
a1
a0 

 n1
n
|p(z)| = |z | an +
+ + n1 + n  |z | |an | 
+ + n1 + n 
z
z
z
z
z
z


1
1
n
n
|z | |an | |an | = |an ||z| para todo o z tal que |z| > R.
2
2
Isto suficiente para concluir o pretendido.

n

Este lema pode ser reescrito numa forma anloga do teorema de Liouvile (2.10).
Corolrio. Se p(z) um polinmio limitado ento ele constante.
3.2.3. Princpios do mdulo mximo e mnimo para polinmios. Os polinmios verificam tambm os princpios do mdulo mximo e do mdulo mnimo, outra
propriedade que embora seja simples de demonstrar, j no to intuitiva, dado que no
vlida para os polinmios reais.
Definio. Seja uma regio. Dizemos que uma funo h : R, tem um mximo
(resp. mnimo) local em z0 , se existe uma vizinhana V de z0 tal que h(z0 ) h(z)
(resp. h(z0 ) h(z)) para todo z V .
Proposio. Dado um polinmio no constante p, a funo h(z) := |p(z)|, h : C R
no tem mximos locais, e no tem mnimos locais em pontos z0 onde p(z0 ) 6= 0.

Demonstrao. Podemos supor, sem perda de generalidade, que o mximo ou mnimo local atingido em z0 = 0 (porque se |p(z)| tem mximo/mnimo em z0 ento
|p(z+z0 )| tem mximo/mnimo em 0). Assim, seja p(z) = an z n +an1 z n1 + +am z m +a0 ,
ak = |ak |eik (onde am , 0 < m n, o primeiro coeficiente no nulo a seguir ao a0 ) e
z = rei . O caso m = n, sendo mais simples, deixado ao leitor. Supondo m < n,
dado que am+1 z + + an z nm tende para zero quando z 0, existe um certo > 0
tal que |am+1 z + + an z nm | < |am | para todo z com |z| < . Isto equivale a ter
|am+1 z m+1 + + an z n | < |am z m | sempre que 0 < |z| < .
Esta desigualdade permite provar ambos os princpios, pelo que vamos somente deduzir
o princpio do mnimo. Assim, para 0 < |z| < , e assumindo a0 6= 0,
|a0 + am z m + am+1 z m+1 +  + an z n | |a0 + am z m | + |am+1 z m+1 + + an z n | <


< |a0 + am z m | + |am z m | = |a0 |ei0 + |am |r m eim emi  + |am z m | =
= |a0 | |am |r m + |am |r m = |a0 | = |p(z0 )|

desde que agora tomemos de tal modo a que 0 = m + m + . Assim, em qualquer

vizinhana de 0, |p(z)| no atinge um mnimo, a menos que a0 = 0. Neste ltimo caso
o ponto z0 = 0 uma raz de p(z), a funo |p(z)| no tem mnimos locais, excepto nas
razes de p(z).

Como consequncia destes princpios, vemos que, para qualquer polinmio no constante, a funo h(z) = |p(z)| no apresenta nenhum mximo em nenhuma regio C,
e s apresenta mnimos quando essa regio contm uma ou mais razes de p(z). Por outro
lado, como consequncia do teorema de Weierstrass para funes contnuas em conjuntos
compactos, temos o seguinte enunciado, cuja demonstrao se deixa ao leitor (note-se que
um polinmio uma funo contnua).
Corolrio. Se p(z) um polinmio no constante, e K C um subconjunto
compacto, ento os mximos da funo h(z) = |p(z)| (restringida a K) encontram-se na
fronteira K de K; os mnimos de h encontram-se tambm em K quando p(z) no tem
razes no interior de K.

28

3. FUNES MEROMORFAS E A ESFERA DE RIEMANN

3.2.4. Demonstrao do Teorema Fundamental da lgebra. Podemos agora

provar o teorema fundamental da lgebra, que foi demonstrado por primeira vez por Gauss:
Teorema. Qualquer polinmio no constante possui pelo menos uma raz em C.
Demonstrao. De acordo com o Lema 3.2.2, seja R tal que |p(z)| > |a0 |, sempre
que |z| R. Assim, se por exemplo considerarmos o disco fechado D(R), sabemos, pelo
teorema de Weierstrass que a funo contnua h(z) = |p(z)| : C R, tem um mnimo
em D(R). Este mnimo no est na circunferncia fronteira, porque |p(z)| > |a0 | = p(0),
sempre que z C(R). Assim, o mnimo estar no interior do disco, o que pelo princpio
do mnimo (Proposio 3.2.3), implica que existe um z0 , tal que p(z0 ) = 0.

3.2.5. Factorizao de polinmios. Outra propriedade bem conhecida dos polinmios o chamado algoritmo de diviso de polinmios, ou algoritmo de Euclides. Dados
dois polinmios p(z) e q(z), verificando deg p > deg q, existem outros dois polinmios d(z)
(o divisor) e r(z) (o resto), de forma a que se verifique
p(z) = d(z)q(z) + r(z).
Os polinmios d(z) e r(z) so nicos se impusermos que deg r < deg q. Dizemos que um
polinmio q(z) divide p(z) se o resto da diviso de p(z) por q(z) zero.
Usando o algoritmo de diviso de polinmios, existe uma forma alternativa de escrever
o Teorema Fundamental da lgebra. Seja p(z) um polinmio de grau n > 0, que admite
um zero em z0 . Ento, pelo algoritmo de diviso de polinmios, podemos escrever p(z) =
(z z0 )q(z), onde q(z) um polinmio de grau n 1. Assim, podemos demonstrar por
induo, o seguinte resultado:
Teorema. Qualquer polinmio de grau n > 0 pode se escrever na forma:
p(z) = a(z z1 ) . . . (z zn ),

onde z1 , , zn so razes de p(z), (no necessriamente distintas) e a C . Em alternativa podemos escrever

p(z) = a(z w1 )n1 (z wk )nk
onde a C , w1 , ..., wk so as k n raizes distintas de p e n1 + ... + nk = n.
Outra propriedade importante dos polinmios o facto de que, dados quaisquer polinmios p(z) e q(z), existe um polinmio (nico, se insistirmos em que o coeficiente de
maior grau seja igual a 1), chamado o maior divisor comum de p(z) e q(z), denotado por
gcd(p, q) que verifica as seguintes propriedades.
Proposio. Seja d(z) = gcd(p(z), q(z)). Ento, d(z) o nico polinmio mnico
(coeficiente de maior grau igual a 1) que verifica: (i) d(z) divide p(z) e q(z); (2) Se h(z)
divide p(z) e q(z) ento h(z) divide d(z).
3.2.6. Teorema de Gauss-Lucas. Vamos agora provar o teorema de Gauss-Lucas
que relaciona, de uma forma interessante, a localizao dos zeros de p(z) com os zeros da
sua derivada. Como sabemos os polinmios so funes inteiras e a derivada do produto de
duas funes dada pela regra usual: (f (z)g(z)) = f (z)g(z) + f (z)g (z). Assim, prova-se
por induo que, para um polinmio de grau n escrito na forma p (z) = a(zz1 ) . . . (zzn ),
(com os pontos zi no necessariamente distintos) p (z) um polinmio de grau n 1 e que
p (z) = a

n
X
i=1

(z z1 ) (z zi ) (z zn ) = a

n Y
X
i=1 j6=i

(z zj ) = p(z)

n
X
i=1

1
z zi

3.3. FUNES RACIONAIS

29

Recorde-se que e H = {z : (z) > 0} designam o semiplano superior formado pelos

complexos com parte imaginria positiva.
Lema. Se os zeros de p(z) se encontram no fecho do semiplano superior H, ento os
zeros de p (z) tambm esto em H.
Demonstrao. Seja p(z) = a(z z1 ) (z zn ) com zk H(Imzk 0). Temos,
p (z)
1
1
ento:
=
+ +
. Se Imz < 0 temos Im(z zk ) = Imz Imzk < 0, logo
z z1
z zn


 p(z)
(z)
1
> 0 e portanto Im pp(z)
> 0 o que implica p (z) 6= 0 para todo o z C\ H. 
Im zz
k

O resultado anterior tem uma interessante interpretao geomtrica, que se deixa como
exerccio ao leitor. (Exerccio ??)

Teorema. (Teorema de Gauss-Lucas): Os zeros de p (z) esto no menor polgono

convexo e fechado que contm os zeros de p(z).
Exerccio. Prove que um polinmio no constante define uma funo aberta.
3.3. Funes Racionais
3.3.1. Definio de funo racional. Vamos agora considerar as funes mais simples a seguir aos polinmios.
Definio. Uma funo racional o quociente de dois polinmios em que o denominador no o polinmio identicamente nulo. Assim, uma funo racional da forma
f (z) =

p(z)
q(z)

onde q tem grau 0 2. Note-se que f no define unicamente p e q, pois podemos multiplicar
p e q pelo mesmo polinmio no nulo, obtendo a mesma funo racional. Assim, sem perda
de generalidade, e salvo expressa meno em contrrio, assumiremos sempre que f uma
fraco irredutvel, ou seja, p e q no contm raizes em comum.
Uma vez que o conjunto dos zeros de q(z) finito, este forma um subconjunto discreto
de C. Desta forma, temos.
Proposio. Uma funo racional uma funo meromorfa em todo o plano complexo.
Demonstrao. De facto, as singularidades de f (z) = p(z)/q(z) so as raizes de q,
um conjunto finito, e qualquer uma delas um plo de f , como facilmente se verifica. 
3.3.2. Polinmios e funes racionais. Naturalmente os polinmios, sendo funes
inteiras, so casos muito particulares de funes racionais. Reciprocamente, igualmente
fcil de verificar que uma funo racional f (z) = p(z)/q(z) escrita na forma irredutvel,
holomorfa se e s se q(z) constante, ou seja se e s se um polinmio.
Lema. Uma funo racional holomorfa em C (ie, no tem singularidades) se e s se
um polinmio.
Demonstrao. Exerccio.
2Como mencionado antes, convenciona-se que o polinmio nulo tem grau 1.

30

3. FUNES MEROMORFAS E A ESFERA DE RIEMANN

3.3.3. Definio de Funo racional prpria e simples.

Definio. Uma funo racional prpria uma funo racional p(z)/q(z) em que p <
q. Uma funo racional simples uma funo racional prpria da forma p(z)/(z z0 )k ,
para certos z0 C e k N (p < k), ou seja, uma funo racional prpria que holomorfa
em C excepto num nico ponto. Por vezes, usam-se tambm as expresses fraco prpria
e fraco simples, respectivamente.
Lema. (1) Se f (z) uma fraco prpria, ento |f (z)| 0 quando |z| +.
(2) Se f1 (z) e f2 (z) so fraces prprias, ento f1 (z)f2 (z) e f1 (z) f2 (z) tambm so
fraces prprias.
Demonstrao. Exerccio.

3.3.4. Decomposio das funes racionais. As funes racionais podem decomporse usando o algoritmo de diviso dos polinmios.
Proposio. Qualquer funo racional se pode escrever como a soma de um polinmio
e de uma funo racional prpria.
Demonstrao. Algoritmo de diviso de polinmios.

3.3.5. Decomposio das funes racionais prprias. Um resultado muito importante, que permite a simplificao de muitos problemas que envolvem funes racionais
o da decomposio em fraces simples.
Proposio. Seja f (z) =

q(z)
p(z)

uma funo racional prpria e seja p(z) = (z

z1 )k1 (z zl )kl a decomposio do denominador em factores (sem perda de generalidade). Ento podemos escrever f (z) como soma de funes racionais simples
f (z) =

q1 (z)
ql (z)
.
+ +
k
1
(z z1 )
(z zl )kl

Assim, para cada j = 1, ..., l o grau de qj estritamente inferior a kj . Em particular,

qj (z)
kj a parte principal de f (z) num disco perfurado em torno de zj .
(zzj )

Demonstrao. H duas demonstraes que vale a pena apresentar: uma puramente algbrica e outra usa a anlise complexa. Primeiro, vejamos a demonstrao algbrica para o caso de p(z) com duas razes distintas. O caso geral anlogo. Assim, seja
p(z) = (z z1 )k1 (z z2 )k2 , deg p = k1 + k2 , em que z1 e z2 so pontos distintos de C e q(z)
um polinmio de grau < deg p. Como z1 6= z2 , os polinmios (z z1 )k1 e (z z2 )k2 tm gcd
igual a 1, pelo que, aplicando a identidade de Bzout (ver Apndice) existem polinmios
q1 (z) e q2 (z) tais que
(3.3.1)

q1 (z)(z z2 )k2 + q2 (z)(z z1 )k1 = q(z).

Uma vez que q(z) no tem razes em comum com p(z), zj no raz de qj (z), j = 1, 2.
Dividindo por p(z) obtemos uma soma de fraces irredutveis:
(3.3.2)

q1 (z)
q2 (z)
q(z)
=
+
.
p(z)
(z z1 )k1
(z z2 )k2

Note-se, no entanto, que os polinmios q1 (z) e q2 (z) que satisfazem a Equao (3.3.1) no
so nicos, podendo-se efectuar as substituies seguintes, para qualquer polinmio r(z):
q1 (z)
7
q1 (z) + r(z)(z z1 )k1
q2 (z)
7
q2 (z) r(z)(z z2 )k2

3.4. A ESFERA DE RIEMANN

31

Desta forma, tomando o resto da diviso de q1 por (z z1 )k1 , podemos assumir que temos
uma soluo da Equao (3.3.1) com deg q1 < k1 . Finalmente, como deg q < deg p, temos
na Equao (3.3.2) duas fraces prprias, pelo que a terceira tambm o (ver o Lemma
3.3.3(2)).
Faamos agora a demonstrao analtica, que identifica imediatamente cada termo com
a parte principal correspondente. Uma vez que nenhum das razes z1 , ..., zl de p(z) raz
de q(z), vemos que ordzj f = kj , pelo que podemos escrever a parte principal de f (z) em

torno de zj como

qj (z)
(zzj )kj

. Seja

h(z) = f (z)

q1 (z)
ql (z)

.
k
(z zl )kl
(z z1 ) j

fcil de ver que h(z) holomorfa em todos os pontos (nos pontos zj tem singularidades
removveis) pelo que inteira. Por outro lado, h(z) uma fraco prpria, pois soma
de fraces prprias. Mas uma fraco prpria que holomorfa tem que ser zero, como se
verifica facilmente.

Exemplo. Represente em fraes simples
z2
(z 2 + 4)(z 3)
O seguinte enunciado resume o essencial dos resultados nesta seco.
Teorema. Qualquer funo racional prpria q(z)/p(z) se pode escrever como a soma
de fraces simples. Cada uma destas fraces simples a parte principal do desenvolvimento em srie de Laurent em torno de uma das razes de p(z).
3.4. A esfera de Riemann
H uma interpretao geomtrica do conceito de funo meromorfa que torna esta
definio mais natural. Para isso, introduzimos a esfera de Riemann.
3.4.1. A esfera de Riemann.
Definio. A esfera de Riemann o conjunto C = C {} com a topologia em que
uma base para as vizinhanas de so os complementos de D(0, R). Usando a notao
D(, r) = C \ D(0, 1r ), podemos ento dizer, como habitualmente, que C aberto
se e s se para todo o ponto z0 existe R > 0 tal que D(z0 , R) .
Observao. Isto significa que f : C contnua em z0 se f contnua no
aberto \ f 1 () e se limzz0 |f (z0 )| = sempre que f (z0 ) = .
3.4.2. Equivalncia entre funes meromorfas e funes com valores na esfera de Riemann.
Proposio. Uma funo meromorfa f em define uma funo contnua C .
Reciprocamente, uma funo contnua f : C com f H( \ f 1 ()) e f 1 ()
discreto em , define uma funo meromorfa em .
Demonstrao. Exerccio.

32

3. FUNES MEROMORFAS E A ESFERA DE RIEMANN

3.4.3. Funes meromorfas no infinito. Como vimos, as funes racionais so

meromorfas em C. Uma vez que as fraces prprias tendem para 0 no infinito, natural
extender o domnio deste tipo de funes para conter o ponto do infinito na esfera de
Riemann.
Definio. Seja f holomorfa numa regio do tipo {z C : |z| > R}. Diz-se que f
tem uma singularidade removvel, um plo de ordem k ou uma singularidade essencial em
se a funo g(z) := f ( z1 ) tem uma singularidade removvel, um plo de ordem k ou uma
singularidade essencial, respectivamente, em 0.
Desta forma, podemos extender a noo de funo meromorfa a este tipo de funes.
Definio. Uma funo f diz-se meromorfa no infinito se a funo g(z) := f (1/z)
meromorfa no ponto z = 0. Analogamente, a ordem de f no infinito define-se como
ord f = ord0 g. Uma funo f diz-se meromorfa na esfera de Riemann se meromorfa em
C e meromorfa tambm no ponto C .
Podemos ver que as funes racionais, sendo funes meromorfas em C, podem considerarse, de forma natural, como aplicaes da esfera de Riemann em si mesma.
Lema. Uma funo racional meromorfa em C .
Demonstrao. Exerccio (use a Proposio 3.4.2).

3.4.4. Funes meromorfas na esfera de Riemann. Vamos agora classificar as

funes meromorfas em C . Para isso, o seguinte resultado topolgico fundamental.
Lema. A esfera de Riemann um conjunto compacto.
Demonstrao. Exerccio.

A compacidade da esfera de Riemann permite mostrar o recproco do Lema 3.4.3.

Proposio. Qualquer funo meromorfa em C uma funo racional.
Demonstrao. Exerccio.

3.4.5. Projeco estereogrfica. A esfera de Riemann pode ser obtida de trs formas distintas, todas elas relevantes. Anteriormente, definimos a esfera de Riemann como
C = C {} dando uma topologia a este conjunto.
Podemos caracteriz-la como a esfera usual em R3 , qual demos uma noo de estrutura complexa.
Lema. A aplicao : S 2 C um homeomorfismo.
3.4.6. A recta projectiva. Podemos tambm caracterizar a esfera de Riemann como
o espao dos subespaos vectoriais de dimenso 1 em C2 , ou seja, como a recta projectiva
complexa.
Lema. A aplicao : CP1 C um homeomorfismo (biholomorfismo).
3.5. Transformaes de Mbius
3.5.1. Definio de transformao de Mbius.
Definio. Uma transformao de Mbius uma funo racional da forma T (z) =
com ad bc 6= 0.

az+b
cz+d

3.5. TRANSFORMAES DE MBIUS

33

Note-se que a condio ad bc 6= 0 equivalente condio de que pelo menos um dos

polinmios az + b e cz + d no constante, e que no tm nenhuma raz em comum. Desta
forma, uma transformao de Mbius uma funo holomorfa em todo o plano complexo,
excepo do ponto z0 = dc . No entanto, fcil extender esta funo a uma aplicao
T : C C , que denotamos com a mesma letra, no havendo perigo de confuso. Para
esta extenso, definimos T ( dc ) = e T () = ac , onde se pode convencionar, de forma
no ambgua, que quando c = 0, temos dc = ac = .
As seguintes poropriedades so teis na caracterizao destas transformaes.
Proposio. Uma transformao de Mbius uma aplicao bijectiva e contnua da
esfera de Riemann nela prpria.
Demonstrao. A frmula para a transformao inversa fcilmente obtida atravs
de

dz b
1
az + b
z =
.
cz + d
ad bc cz + a
Para a bijectividade, resta provar que isto ainda uma funo de C para si prprio, o que
se deixa ao leitor. A contnuidade em C \ { dc } clara. Neste ponto e em , o resultado
segue dada a topologia que colocmos em C .

w=

Como vimos, a frmula da transformao inversa bastante simples no caso em que

ad bc = 1. Assim, quando escrevemos T (z) = az+b
cz+d com ad bc = 1, dizemos que T
est escrita na forma normalizada. Multiplicando numerador e denominador pelo mesmo
coeficiente apropriado, vemos que qualquer transformao de Mbius se pode escrever na
forma normalizada.
Proposio. Uma transformao de Mbius uma aplicao conforme de C em
C .
Demonstrao. Uma vez mais, para pontos de C\{ dc } o resultado segue da frmula
da derivada:
ad bc
6= 0.
T (z) =
(cz + d)2
Nos restantes pontos tambm fcil verificar, mediante definio apropriada de aplicao
conforme (ver exerccio ).

Denotamos o conjunto das aplicaes de Mbius por M ob e vamos caracteriz-lo.
3.5.2. A aplicao cannica GL(2, C) M ob. Seja GL(2, C) o grupo das matrizes
2 2 invertveis de entradas complexas, e SL(2, C) o subgrupo das matrizes invertveis que
tm determinante igual a 1. Seja


a b
A=
GL(2, C),
c d
e seja A a transformao de Mbius dada por A (z) =

az+b
cz+d .

3.5.3. O grupo das transformaes de Mbius.

Teorema. O conjunto das transformaes de Mbius forma um grupo, isomorfo a
P SL(2, C) (ou P GL(2, C)) que , por definio, o quociente de SL(2, C) pelo seu centro.
Demonstrao. Consideremos a aplicao definida em SL(2, C), por (A) := A ,
para A SL(2, C). Podemos provar que : SL(2, C) M ob sobrejectiva, que um
homomorfismo de grupos e que o seu ncleo
ker( ) = I

34

3. FUNES MEROMORFAS E A ESFERA DE RIEMANN

onde I a matriz identidade. Assim, pelo teorema do isomorfismo em grupos, temos que
M ob = SL(2, C)/ I grupo este que , por definio P SL(2, C).

3.5.4. Aco de M ob na esfera de Riemann. Este grupo actua na esfera de Riemann, C de forma natural. Podemos ver que esta aco preserva a unio das rectas com
as circunferncias do plano.
Definio. Uma circunferncia de C uma circunferncia em C ou uma recta em
C {}.

Assim, uma circunferncia de C um conjunto compacto, sendo um conjunto fechado

em C .

Proposio. A imagem de uma circunferncia de C por uma transformao de

Mbius novamente uma circunferncia de C .
Demonstrao. Basta provar que qq transformao de Mbius a composio de
transformaes de 3 tipos: translaces, dilataes e inverso. Todas estas preservam
circunferncias de C .
Supor c = 0. Ento T (z) =

az+b
d .

a
z+ bc
az+b
c
=
cz+d
z+ dc
bcad
6= 0).
c2

Supor c 6= 0. Ento, T (z) =

pela decomposio em fraces simples (de facto, =

a
c

e=

z+ dc

+,


3.5.5. Pontos fixos. Qualquer transformao de Mbius no trivial tem apenas 1 ou

2 pontos fixos.
az+b
uma tranformao de Mbius distinta da identidade,
Teorema. Seja T (z) = cz+d
escrita na forma normalizada. Ento T tem um ponto fixo, caso a + d = 2, ou dois
pontos fixos, no caso contrrio.

3.5.6. Tripla transitividade. Este resultado permite mostrar que a aco de M ob

em C transitiva, e alm disso, uma transformao de Mbius completamente determinada pela aco em triplos de pontos distintos.
Proposio. A aco de M ob em C 3-transitiva; isto , dados dois triplos (z1 , z2 , z3 )
e (w1 , w2 , w3 ) de pontos distintos (zi 6= zj e wi 6= wj , sempre que i 6= j {1, 2, 3}) existe
uma nica transformao de Mbius M (z) tal que M (z1 ) = w1 , M (z2 ) = w2 e M (z3 ) = w3 .
Teorema. Dados trs pontos distintos da esfera de Riemann, z1 , z2 , z3 , existe uma
nica transformao de Mbius que envia z1 em , z2 em 0 e z3 em 1.

3 z2 z
Demonstrao. Essa transformao de Mbius dada por T (z) = zz12 z
z3 z1 z =
z
[z1 , z2 ; z3 , z] = [z3 1 z]. Para ver que s h uma transformao que fixa , 0 e 1, usa-se
z2
a proposio da tripla transitividade.


3.5.7. A razo cruzada.

Definio. A razo cruzada dos complexos z1 , z2 , z3 , z4 o nmero [z1 , z2 ; z3 , z4 ] =
fcil de ver que a razo cruzada est bem definida sempre que z1 , z2 e z3
so pontos distintos em C (mas z4 pode ser igual a um desses trs pontos).
z1 z3 z2 z4
z2 z3 z1 z4 .

Proposio. A razo cruzada invariante pelas tranformaes de Mbius.

Demonstrao. Faamos a demonstrao para T (z) = az + b M ob. Assim,
[T (z1 ), T (z2 ); T (z3 ), T (z4 )] =

z1 z3 z2 z4
T (z1 ) T (z3 ) T (z2 ) T (z4 )
=
= [z1 , z2 ; z3 , z4 ].
T (z2 ) T (z3 ) T (z1 ) T (z4 )
z2 z3 z1 z4

3.6. EXERCCIOS

35

Para J(z) = 1/z, temos

[J(z1 ), J(z2 ); J(z3 ), J(z4 )] =

1
z1
1
z2

1
z3
1
z3

1
z2
1
z1

1
z4
1
z4

z3 z1 z4 z2
= [z1 , z2 ; z3 , z4 ].
z3 z2 z4 z1

Como qualquer transformao de Mbius composio destas, o resultado segue.

3.5.8. Famlias interesantes de transformaes de Mbius.

Lema. As transformaes de Mbius que preservam apenas o so da forma T (z) =
az + b com a 6= 0. As transformaes que preservam 0 e so da forma T (z) = z com
6= 0.
Demonstrao. Fcil.

Proposio. As transformaes de Mbius que preservam o equador da esfera de

az+b
Riemann, isto R := R {}, so da forma f (z) = cz+d
com a, b, c, d reais (e claro,
ad bc 6= 0).

az+b
uma transformao de Mbius com coeficientes
Demonstrao. Seja f (z) = cz+d
a, b, c, d reais. Ento f (x) R para qualquer x R, e f () = ac R , donde f preserva
R . Reciprocamente, se f preserva R , tambm f 1 preserva R (pela bijectividade),
pelo que existem x1 , x2 , x3 R distintos tais que f (x1 ) = , f (x2 ) = 0, f (x3 ) = 1.
Assim, usando a razo cruzada, f tem coeficientes reais.


3.6. Exerccios
3.1 Sejam p(z) e q(z) polinmios.
(a) Assumindo deg p < deg q, prove que o limite p(z)
q(z) , quando z tende para ,
existe e 0.
(b) Mostre que deg(pq) = deg(p) + deg(q) e que deg(p q) max{deg p, deg q}.
3.2 Determine os pontos de mximo e de mnimo de |p(z)| em D = {z C : |z| 1}
nos casos: (a) p(z) = z 12 ; (b) p(z) = z 3 z.
3.3 Seja p(z) um polinmio de grau n 2 e z0 C.
(a) Mostre que p(z) tem n razes distintas se e s se p(z) e p (z) no tm uma
raz em comum.
(b) Defina Iz0 = {q(z) C[z] : q(z) tem uma raz em z0 }. Prove que Iz0 um
ideal maximal do anel C[z].
3.4 [Teorema de Lucas] Dado um polinmio p(z), demonstre que os zeros de p (z)
esto contidos no menor polgono convexo e fechado que contm os zeros de p(z).
3.5 Mostre que, se p(z) um polinmio cujos zeros so todos reais, ento o mesmo se
passa com a sua derivada p (z). Prove que se os zeros de p(z) tm mdulo menor
que 1, o mesmo se passa com p (z).
3.6 Sejam p(z) e q(z) dois polinmios de grau 1, cujos conjuntos de razes Rp
e Rq no se intersectam. Mostre que existem polinmios r(z) e s(z) tais que
r(z)p(z) + s(z)q(z) = 1.
3.7 Sejam z1 , ..., zn pontos da esfera de Riemann e m1 , ..., mn nmeros inteiros cuja
soma zero. Mostre que existe uma funo racional f (z) cujos zeros ou polos
esto no conjunto {z1 , ..., zn } e tal que a ordem de f (z) em zj precisamente mj .
possvel existir uma tal funo se a soma dos mj no for nula?
3.8 Mostre que a esfera de Riemann um espao topolgico compacto. Prove que
qualquer funo meromorfa em C uma funo racional.
az+b
uma transformao de Mbius diferente da identidade, mostre
3.9 Se T (z) = cz+d
que T T (z) = z, para todo z, se e s se a + d = 0.

36

3. FUNES MEROMORFAS E A ESFERA DE RIEMANN

3.10 Uma funo meromorfa f M(C ) diz-se holomorfa no ponto C se

ord f = ord0 h 0 onde h(w) := f ( w1 ); neste caso, a sua derivada em
definida por f () = h (0). Mostre que uma transformao de Mbius T (z)
holomorfa no se e s se T () 6= , e neste caso, verifique que T () 6= 0.
3.11 Seja T uma transformao de Mbius com um nico ponto fixo C. Mostre
1
1
= z
que existe C, tal que T (z)
+ . Prove que T conjugada3 a uma
translao da forma S(z) = z + 1.
3.12 Prove que se T uma transformao de Mbius com dois pontos fixos , C,
z
ento existe C\{0}, tal que TT (z)
(z) = z . Prove tambm que T conjugada
a uma funo da forma S(z) = az. (a C ).
3.13 Considere a transformao de Mbius T , tal que T (0) = 2, T (1) = 1, T (1) = 35 .
Quantos pontos fixos tem T em C ? Determine T (C) onde C a circunferncia
unitria C = {z C : |z| = 1}.
3.14 Mostre que [z1 , z2 ; z3 , z4 ] um nmero real se e s se os pontos z1 , z2 , z3 e z4 se
encontram numa circunferncia de C .
3.15 Mostre que as transformaes que preservam o semi-plano superior H so da forma
T (z) = az+b
cz+d com a, b, c, d R e ad bc > 0.
z
3.16 Seja T (z) =
uma transformao de Mbius, com C. Quais os valores
1
z
que no pode tomar? Mostre que T preserva a circunferncia unitria C = {z
C : |z| = 1} e que, para || < 1, T (D) = D = {z C : |z| < 1}.

3Recorde que duas transformaes de Mbius S e T dizem-se conjugadas se existir uma transformao

de Mbius F tal que S = F 1 T F .

CAPTULO 4

Teoria Local das Funes Holomorfas e Meromorfas

Vamos agora demonstrar vrios resultados importantes, que constituem as propriedades
locais fundamentais das funes holomorfas ou diferenciveis.
4.1. O Teorema da Funo Inversa e Isomorfismos Locais
Em primeiro lugar, devemos recordar as noes de funo diferencivel, holomorfa e
analtica (Ver Captulo 1).
4.1.1. Isomorfismos locais. Vamos tambm introduzir a noo de invertibilidade
local de funes.
Definio. Diz-se que f H() um isomorfismo (analtico) local em z0 se
existem vizinhanas U de z0 e V de w0 := f (z0 ) tal que f |U : U V bijectiva e a
funo inversa g : V U tambm holomorfa.

Observao. (1) Note-se que a noo de isomorfismo local coincide com a noo
usual de isomorfismo na categoria em que os objectos so regies em C e os morfismos so
aplicaes holomorfas entre regies.
(2) Veremos abaixo que no necessrio exigir que a funo inversa seja holormorfa!
4.1.2. Teorema da funo inversa. Podemos enunciar o teorema da funo inversa
que inteiramente anlogo ao correspondente teorema no caso real.
Teorema. (Teorema da funo inversa). Se f H() conforme em z0 , ento f
um isomorfismo local em z0 . Alm disso, sendo w0 = f (z0 ), temos (f 1 ) (w0 ) = 1/f (z0 ).
Demonstrao. Usar o teorema da funo inversa para funes de R2 em R2 .

Vamos agora ver que o recproco do teorema da funo inversa tambm verdade. Ou
seja, se f um isomorfismo local em z0 , ento f (z0 ) 6= 0.
4.1.3. A srie binomial. Vamos necessitar da expanso em srie da funo binomial.
Seja R.
Lema. A funo binomial (1 + z) admite a expanso
 
X
n
(1 + z) =
z ,
n

em que

n=0

 

( 1) ( n + 1)
,
:=
n!
n
e esta srie converge para z D = D(0, 1).

Demonstrao. Para ver a convergncia, basta fazer o teste da razo |an |/|an+1 | =
|(n + 1)/( n)| que converge para 1 quando n . Para verificar o desenvolvimento
em srie, basta fazer as derivadas em z = 0.

37

38

4. TEORIA LOCAL DAS FUNES HOLOMORFAS E MEROMORFAS

P
P
Proposio. Sejam f (w) = n0 an wn e g(z) = n1 bn z n (note que b0 = 0) sries
convergentes (raio de convergncia positivo). Ento a srie obtida por composio
n
X X
bk z k
h(z) := a0 +
an
n1

converge absolutamente para z D(0, s), para certo s > 0, e verifica-se nesse disco, h(z) =
f (g(z)).
Demonstrao. Ver Lang. Fazemos aqui apenas a demonstrao que a funo composio analtica em z = 0. Note-se que a composio de funes holomorfas holomorfa; para provar analiticidade, precisamos apenas de verificar diferenciabilidade em
abertos. Como g H(D(0, r)) para algum r > 0 e f H(D(0, r )) para certo r > 0
(pois g(0) = 0), temos que h := f g holomorfa em D(0, r) g1 (D(0, r )). Como isto
um aberto em D(0, r), temos que existe s > 0 tal que D(0, s) D(0, r) g1 (D(0, r )) e
portanto, pelo Teorema de Taylor, h = f g analtica em D(0, s).

P 1
n
1
m z , converge
Exemplo. Seja m inteiro positivo. Sabemos que f (z) = (1+z) m =
n
em D. Seja g(z) qualquer srie convergente com g(0) = 0. Ento H(z) = f g(z) =
P 1

1
m g(z)n representada por uma srie convergente com H(0) = 1; e
(1 + g(z)) m =
n
temos H(z) = 1 + h(z) com (1 + h(z))m = 1 + g(z).

4.1.4. Forma local e multiplicidade. Para isso, vejamos como escrever uma funo
holomorfa em torno de um ponto, em termos de isomorfismos locais.

Proposio. (Forma local). Seja f H(), no constante em qualquer disco centrado em z0 . Ento existe uma vizinhana U contendo z0 , um inteiro m 1 e
uma aplicao holomorfa (z) H(U ), com (z0 ) = 0 e (z0 ) 6= 0 tal que, para z em U :
f (z) = f (z0 ) + (z)m .

Demonstrao. Podemos assumir z0 = 0. Como f (z) holomorfa em 0 = z0 ,

pelo teorema de Taylor, existe uma expanso em srie
f (z) =

n=0

an z n = f (z0 ) +

an z n

n1

vlida para certo disco D(0, r). Como f (z) no constante neste disco, existe o menor
natural m 1 tal que am 6= 0. Ento, podemos escrever
f (z) = f (z0 ) + am z m (1 + g(z))

onde g(z) holomorfa em D(0, r) com g(0) = 0. Pelo exemplo anterior, podemos escrever,
com m = am
f (z) = f (z0 ) + (z)m (1 + h(z))m
para certa funo holomorfa h(z). Pondo (z) = z(1 + h(z)) temos o pretendido, pois
(0) = 0 e
(0) = 6= 0.

Observao. Note-se que a funo (z) da Proposio anterior, um isomorfismo

local, pelo TFI.
Definio. O nmero natural m que aparece nesta Proposio chama-se a multiplicidade da funo f (z) em z0 , e escreve-se m = multz0 f .

4.1. O TEOREMA DA FUNO INVERSA E ISOMORFISMOS LOCAIS

39

4.1.5. Equivalncia entre isomorfismo local e invertibilidade local. A forma

local permite mostrar o seguinte recproco do teorema da funo inversa.
Teorema. Se f H() verifica f (z0 ) = 0, z0 , ento f no localmente
invertvel em z0 , isto , no existem vizinhanas U contendo z0 e V contendo f (z0 )
tais que f : U V seja bijectiva.
Demonstrao. Usemos a forma local. Se f isomorfismo local, temos que m = 1
(pois se m > 1 a funo f no tem inversa local em z0 ). Logo f (z0 ) = (z0 ) 6= 0 como
queriamos provar.

Corolrio. Se f um isomorfismo local em z0 , ento f (z0 ) 6= 0.
Desta forma, o teorema da funo inversa diz que uma funo holomorfa isomorfismo
local em z0 sse multz0 f = 1.
4.1.6. O teorema da aplicao aberta. A forma local tem tambm uma consequncia topolgica importante. Uma funo f : A B entre dois espaos topolgicos diz-se
aberta se f (U ) um conjunto aberto para todo conjunto U aberto em A. O seguinte Lema
til.
Lema. Seja m inteiro positivo. A funo h(z) = z m aberta, e localmente invertvel
no ponto 0 se e s se m = 1.
Demonstrao. Se m = 1 obviamente aberta e localmente invertvel. Se m > 1,
ento no invertvel (pois h sempre m razes distintas), mas ainda aberta, pois a
imagem de um disco D(0, r) o disco D(0, r m ).

Teorema. (Aplicao aberta). Se f H() no constante em todos os discos
D , ento aberta.
Demonstrao. Uma funo aberta sse para todo z0 em existe vizinhana aberta
U , tal que f (U ) aberto em f (). Seja z0 e U a vizinhana do teorema da forma
local. Ento f (z) = (p )(z) onde p(z) = f (z0 ) + z m um simples polinmio e o
isomorfismo local em z0 . Como tanto p como so abertas, f (U ) um aberto.

4.1.7. Isomorfismos locais e globais. Usando o teorema da funo inversa, podemos finalmente concluir o seguinte.
Corolrio. Se f H() e f bijectiva ento define um isomorfismo entre e f ().

Demonstrao. Se f holomorfa em e f (z0 ) 6= 0 para certo z0 , ento f no

bijectiva em torno de z0 . Logo, temos que f (z0 ) 6= 0 para todo z0 . Assim, f um
isomorfismo local em todos os pontos de , pelo que um isomorfismo global!

4.1.8. Funes conformes. Fazemos a seguinte definio.
Definio. Diz-se que f H() conforme em z0 se preserva angulos.
Como concluso do nosso estudo, obtemos o seguinte.
Corolrio. As seguintes condies so equivalentes para f H(): (1) f conforme
em z0 ; (2) f (z0 ) 6= 0 (3) f um isomorfismo local em z0 . (4) f localmente invertvel.
Note-se que este resultado no se verifica para funes reais de varivel real. Por
exemplo, a funo diferencivel f (x) = x3 , no tem inversa diferencivel na origem, mas
localmente invertvel.

40

4. TEORIA LOCAL DAS FUNES HOLOMORFAS E MEROMORFAS

4.2. Princpio dos zeros isolados

Outra propriedade que advm do comportamento local das funes holomorfas que
o conjunto dos seus zeros discreto.
Teorema. (Princpio dos zeros isolados): Se f H() no constante e f (z0 ) =
0 , z0 , ento existe uma vizinhana de z0 , V , onde o nico zero de f z0 .
P
n
Demonstrao. Se f (z0 ) = 0 e f (z) =
n=0 an (z z0 ) num disco D(z0 , r) ,
ento a0 = 0 e, dado que f no constante seja m = multz0 f 1. Ento
P
n
m
m+1 + =
f (z) =
n=m an (z z0 ) = am (z z0 ) + am+1 (z z0 )
m
m
= (z z0 ) (am + am+1 (z z0 ) + ) = (z z0 ) g(z)
P
onde g(z) = n=0 am+n (z z0 )n , g(z0 ) = am 6= 0. Como g H(D(z0 , r)), g(z) contnua
e existe uma vizinhana V de z0 tal que g(z) 6= 0 , z V . Como o nico zero de (z z0 )m
em z0 , obtemos o pretendido.

Teorema. : Para f H() as seguintes afirmaes so equivalentes:
(1) f 0 em
(2) a tal que f (n) (a) = 0 n N
(3) Zf = f 1 (0) = {z : f (z) = 0} tem um ponto de acumulao em .
Demonstrao. imediato que (1) implica (2) e (3). Para provar que (3) (2)
vamos supor que z0 um ponto de acumulao de Zf = f 1 (0) e que zk z0 uma
sucesso de zeros de f em \ {z0 }: Seja m N o primeiro natural tal que f (m) (z0 ) 6= 0.

X
an (z z0 )n = (z z0 )m g(z) com g(z0 ) 6= 0. Como (zk z0 )m 6= 0 e
Ento f (z) =
n=m

f (zk ) = 0 obtemos g(zk ) = 0 o que contradiz o facto de g ser contnua; logo podemos por
a = z0 .


Para provar que (2) (1) seja A = z : f (n) (z) = 0 n N0 . Por hiptese
A 6= . A fechado porque se zk z (zk A) ento f (n) (zk ) = 0 n 0 o que implica
f (n) (z) = 0 pela continuidade da nsima derivada de f ; logo z A. A tambm

X
an (z z0 )n num certo disco D(z0 , r), e como
aberto porque se z0 A ento f (z) =
n=0

1
an = f (n) (z0 ) = 0, temos que f (z) = 0 para todo o z D(z0 , r); assim D(z0 , r) A.
n!
Como A aberto, fechado e no vazio e conexo, A = .

Considerando a funo h(z) = f (z)g(z) e aplicando este teorema obtemos o chamado
princpio da igualdade:
Teorema. (Princpio da igualdade): Sejam f, g H(). f (z) = g(z) z , se
e s se o conjunto {z : f (z) = g(z)} tem um ponto de acumulao.
4.3. Princpio do mdulo mximo
Podemos agora provar o princpio do mdulo mximo e o dos zeros isolados que so,
no fundo, resultados vlidos para as sries de potncias convergentes.
Teorema. (Princpio do mdulo mximo): Se f H() e |f (z)| tem um mximo
local em z0 , ento f constante em .

4.5. EXERCCIOS

41

Demonstrao. Se D := D(z0 , R) ento podemos escrever a expanso

X
X
f (z) =
an (z z0 )n = f (z0 ) +
an (z z0 )n ,
n0

n0

vlida para z D . Supondo que f no constante em D (f (z) 6= a0 = f (z0 )),

como vimos atrs, f aberta, pelo que f (D), a imagem de D contm um disco aberto
D := D(a0 , s) f (D) centrado em a0 = f (z0 ). Assim, a funo h(z) := |f (z)| verifica
h(z1 ) > h(z0 ) = |a0 | para certo z1 D . Assim, z0 no mximo local de h(z) em D.
Provmos que se |f | tem mximo local em z0 ento constante igual a f (z0 ) num certo
disco D . Finalmente, pelo princpio da igualdade (Teorema 4.2), temos que f (z)
constante em todo , pois D tem pontos de acumulao.

Este teorema tem a seguinte formulao que muitas vezes til. Se uma regio
limitada, o seu fecho compacto e portanto, pelo teorema de Weiesstrass |f (z)| tem um
mximo absoluto em . Se o mximo estiver em ento um mximo local, e pelo
teorema anterior f constante. Assim, obtemos:
Corolrio. Se f holomorfa e no constante numa regio limitada , o mximo de
|f (z)| em atingido na fronteira de .
4.4. O teorema de Casoratti-Weierstrass
Recordemos que z0 C uma singularidade essencial de uma funo f (z) se existe
um disco D(z0 , r) onde f (z) representada por uma srie de Laurent (convergente nesse
disco) cuja parte principal infinita.
Teorema. Seja uma regio e z0 . Se z0 uma singularidade essencial de
f H( \ {z0 }) ento a imagem de f densa em C. Isto , C = f ( \ {z0 }).
Demonstrao. Supor por contradio que existe w C que no ponto de acumulao de f ( \ {z0 }). Assim, existe disco centrado em w que no contm nmeros da
forma f (z) com z \ {z0 }. Ou seja, existe > 0 tal que
|f (z) w| > ,

z \ {z0 }.

1
1
Seja g(z) = f (z)w
que holomorfa em \ {z0 }. Por hiptese |g(z)| = |f (z)w|
< 1 pelo
que g limitada em qualquer vizinhana de z0 . Assim, pelo teorema das singularidades
removveis de Riemann, g pode ser extendida a uma funo g H(). Podemos ento
escrever, num disco D(z0 , r)

g(z) = (z z0 )m h(z)
m

z)
1
1
= h(z)
existe, o que implica que g(z)
com h(z0 ) 6= 0 e h H(). Assim, limzz0 (z0g(z)
1
tem um plo de ordem m em z0 . Por outro lado, g(z)
= f (z) w tem por hiptese uma
singularidade essencial em z0 .


Mais tarde veremos o teorema de Picard que afirma que muito mais verdade: f ( \
{z0 }) de facto todo C ou C \ {w}, se z0 singularidade essencial.
4.5. Exerccios
P
4.1 Seja f holomorfa em , e z0 . Suponha que f (z) = n0 an (z z0 )n uma
expanso vlida num certo disco D . Mostre que f (n) um isomorfismo local
em z0 se e s se an+1 6= 0.

42

4. TEORIA LOCAL DAS FUNES HOLOMORFAS E MEROMORFAS

4.2 Seja f H() e z0 . Define-se a multiplicidade de f em z0 , multz0 f ,

pela igualdade multz0 f = ordz0 (f (z) f (z0 )). Mostre que multz0 f 1 e que
multz0 (g f ) = multz0 f multf (z0 ) g , sempre que g holomorfa numa regio
contendo f (z0 ).
4.3 Seja F (z, w) uma funo holomorfa de duas variveis em , isto F (z, w)
holomorfa, como funo de z quando w est fixo, e o mesmo se passa
com z e w trocados. Seja A um conjunto com um ponto de acumulao e
suponha que F (z, w) = 0 para todo z, w A. Mostre que F (z, w) = 0 para todo
z, w .
4.4 Seja uma regio em C e f H(). Prove que se f ou f (partes reais e
imaginrias de f ) tm um mximo local num ponto z0 , ento f (z) constante
em .
4.5 (Lema de Schwarz) Seja f uma funo holomorfa no disco unitrio D, com f (0) =
0 e |f (z)| < 1, para todo o z D. Mostre que g(z) = f (z)/z uma funo
holomorfa em D e prove que |f (z)| |z| para todo o z D.
4.6 Sejam f e g duas funes inteiras tais que |f (z)| |g(z)|. Prove que existe uma
constante c C, com |c| 1, tal que f (z) = cg(z). (Sugesto: use o teorema das
singularidades removveis de Riemann).
4.7 Seja f uma funo inteira e sejam A e a nmeros reais positivos tais que |f (z)|
A|z|a , para todo o z com mdulo suficientemente grande. Prove que f um
polinmio de grau n < a + 1.

CAPTULO 5

Transformaes conformes e o Teorema de Riemann

Neste captulo mudamos um pouco a nossa perspectiva. O objecto central so agora
as regies do plano, e aqui as funes holomorfas sero consideradas como aplicaes de
uma regio para outra (ou seja, o respectivo contradomnio igualmente importante).
5.1. Definio e Exemplos de Transformaes Conformes
Neste captulo, 1 , 2 , etc, designam regies no plano complexo.
5.1.1. Definio de tranformao conforme.
Definio. Um isomorfismo entre 1 e 2 , tambm designado por transformao
conforme entre 1 e 2 , uma aplicao f : 1 2 holomorfa e bijectiva. Dito de outra
forma, f H(1 ) injectiva e f (1 ) = 2 .
Recorde-se que estas condies implicam que a funo inversa f 1 : 2 1 tambm
holomorfa, o que justifica que este tipo de aplicaes se chame isomorfismo, dado que consistem em morfismos invertveis na categoria cujos objectos so regies e cujos morfismos
entre 1 e 2 so funes f H(1 ) com f (1 ) = 2 .
Note-se que, devido ao teorema da aplicao aberta, todas as transformaes conformes
so no-constantes.
O nome transformao conforme justifica-se tambm porque uma aplicao f : 1
2 holomorfa e bijectiva verifica necessriamente f (z) 6= 0 para qualquer ponto z 1 .
Sendo assim, localmente, f preserva ngulos, de acordo com o captulo 1. O seguinte
exemplo mostra que o recproco no verdade.
Exemplo. A seguinte aplicao f : D D , z 7 f (z) = z 2 holomorfa e verfica
6= 0 para todo z D , mas no transformao conforme entre D e D porque
no bijectiva neste conjunto. No entanto, a mesma expresso f (z) = z 2 representa
uma transformao conforme entre o primeiro quadrante de C e o semiplano superior H.
Ilustrmos assim, a importncia de considerar os conjuntos, para alm da expresso de
f (z).
f (z)

Se considerarmos a categoria C cujos objectos so regies em C e cujos morfismos so

transformaes conformes entre duas dessas regies, obtemos o seguinte enunciado.
Proposio. A categoria C um grupide.
Demonstrao. Qualquer morfismo de C, f : 1 2 , sendo transformao conforme, tem inverso (que outro morfismo em C), pelo que f um isomorfismo.

5.1.2. Exemplos de transformaes conformes.

Exemplo. As seguintes aplicaes so transformaes conformes: z 7 z 2 , z 7 z,

z 7 ez , z 7 log z. Naturalmente, para cada caso, temos que escolher regies apropriadas
para que estas aplicaes sejam bijectivas.
43

44

5. TRANSFORMAES CONFORMES E O TEOREMA DE RIEMANN

Por exemplo, a aplicao f (z) = z (que inversa de z 7 z 2 ) representa uma transformao conforme entre o semiplano superior H e o primeiro quadrante de C.
Deixamos ao leitor a tarefa de encontrar regies para as quais as funes acima so
transformaes conformes. Pelo que vimos, para uma dada aplicao f , a resposta est
bem longe de ser nica.
Exemplo. Uma transformao de Mbius tambm uma transformao conforme, s
que neste caso as regies domnio e contradomnio coincidem com toda a esfera de Riemann
C .
Note-se que, como T (z) 6= 0 para qualquer transformao de Mbius T e ponto z C,
se fizermos a restrio de T a qualquer regio 1 C (com T (1 ) C) temos tambm
zi
uma transformao conforme entre
transformaes conformes. Por exemplo T (z) = z+i
H e D.
5.1.3. Isomorfismos e homeomorfismos. Uma pergunta natural a seguinte. Dadas duas regies 1 e 2 , existir alguma transformao conforme entre 1 e 2 , isto
f H(1 ), injectiva com f (1 ) = 2 ?
Outra forma de apresentar esta pergunta usando uma relao de equivalncia: dizemos que 1 e 2 so conformemente equivalentes ou isomorfas se existe uma transformao
conforme f : 1 2 . imediato verificar que esta noo de isomorfismo , de facto,
uma relao de equivalncia.
Usando esta noo podemos reformular a nossa pergunta da seguinte forma: Dada uma
regio 1 , quais as regies 2 que so isomorfas a 1 ? possvel caracterizar todas as
regies isomorfas a uma regio dada?
Neste captulo veremos como dar uma resposta a esta pergunta no caso em que 1 = D.
Esta resposta dada pelo clebre teorema da aplicao de Riemann. Para isso, comecemos
por determinar os automorfismos do disco D.
Para comear, podemos rapidamente concluir que nem todas as regies do plano so
isomorfas. Recorde-se que um homeomorfismo entre 1 e 2 uma funo contnua e
bijectiva, com inversa tambm contnua.
Proposio. Se 1 e 2 no so homeomorfas, no existe nenhuma tranformao
conforme entre 1 e 2 .
Demonstrao. Vamos supor, por absurdo, que f : 1 2 uma transformao
conforme. Ento, f um homeomorfismo, uma vez que f contnua, bijectiva e que
f 1 : 2 1 tambm contnua.

Exemplo. As regies C e C no so isomorfas. De facto, como existem caminhos
no homotopicamente triviais em C , mas C simplesmente conexo, estas duas regies no
podem ser homeomorfas, nem conformemente equivalentes.

Apesar de tudo, as funes holomorfas so mais rgidas que as contnuas, pelo que o
recproco da proposio acima no vlido: h regies que so homeomorfas, mas que no
so isomorfas.
Proposio. As regies C e D, embora sejam homeomorfas, no so isomorfas.
Demonstrao. Suponha-se que existe f : C D conforme. Ento f inteira, mas
tambm limitada, pois |f (z)| < 1 para todo o z C. Assim, pelo Teorema de Liouville,
temos que f constante, o que contraria a hiptese de f ser conforme. Por outro lado,
temos um homeomorfismo explcito entre D e C que pode ser dado por


|z|
.
z 7 tan
2

5.2. LEMA DE SCHWARZ E AUTOMORFISMOS DO DISCO

Naturalmente, esta funo no holomorfa.

45

5.2. Lema de Schwarz e Automorfismos do disco

Definio. Dada uma regio C, uma transformao conforme f : (ou
isomorfismo) tambm designada um automorfismo de .
Seja D o disco unitrio. A caracterizao dos automorfismos do disco pode ser feita
usando este importante Lema.
Teorema. (Lema de Schwarz) Seja f : D D uma funo holomorfa com f (0) = 0.
Ento, |f (z)| |z| para todo o z D; alm disso, se |f (z0 )| = |z0 | para certo z0 D \ {0}
ento f uma rotao, isto , existe R tal que f (z) = ei z.
Demonstrao. Sendo
f (z) = a0 + a1 z + a2 z 2 +
a expanso em srie de potncias de f , temos a0 = 0, porque f (0) = 0. Assim, g(z) =
f (z)/z = a1 + a2 z + uma funo holomorfa em D, e verifica, para |z| r < 1,


 f (z) 
 max |f (z)| 1 ,
|g(z)| = 
z  |z|=r r
r

pelo princpio do mdulo mximo. Como isto vlido para qualquer r < 1 e g(z)
contnua, segue que |g(z)| 1 para todo z D.
No caso em que
f (z0 )
|=1
|g(z0 )| = |
z0
para algum ponto z0 D no disco unitrio, ento a funo holomorfa g(z) atinge o mximo
do seu mdulo no interior do disco, pelo que g(z) igual a uma constante de mdulo 1,
= ei , R, como queriamos provar.

Teorema. Seja f : D D uma funo holomorfa com f (0) = 0 e f (z) = a1 z + a2 z 2 +
a sua expanso em srie. Ento, |f (0)| = |a1 | 1, e se |a1 | = 1 ento f (z) = a1 z.
Demonstrao. A primeira parte decorre de f (0) = limz0
parte consultar Lang.

f (z)
z .

Para a segunda


Podemos agora determinar os automorfismos do disco.

Teorema. Seja f : D D uma funo holomorfa e bijectiva. Por outras palavras, f
um automorfismo do disco. Ento, escrevendo := f 1 (0) D, existe um real tal que
f (z) = ei

z
.
1
z

z
Demonstrao. Seja g (z) = 1
z
. Como g e f so automorfismos, a composio
1
F = f g tambm um automorfismo de D, e verifica F (0) = 0. Pelo lemma de Schwarz
|F (z)| |z|, para todo z D. Da mesma forma, para o automorfismo inverso F 1 = g f
temos a desigualdade |F 1 (z)| |z| ou seja |w| |F (w)|, para todo w D. Assim, temos
|F (z)| = |z| para todo z D o que implica, pelo lemma de Scwharz, que F (z) = ei z. 

46

5. TRANSFORMAES CONFORMES E O TEOREMA DE RIEMANN

5.3. Automorfismos do Plano

As aplicaes da forma z 7 az + b, com a, b C so automorfismos do plano, quando
a 6= 0. De facto, para a 6= 0 as funes da forma f (z) = az + b so holomorfas e bijectivas
entre C e C. interessante verificar que estas so as nicas transformaes do plano em
si mesmo com esta propriedade.
Proposio. Os nicos automorfismos do plano so da forma z 7 az + b, com a 6= 0.

Demonstrao. Usa o teorema de Casoratti-Weierstrass.

5.4. O espao mtrico H()

De modo a caracterizar todas as regies conformemente equivalentes a , vamos necessitar de estudar a convergncia de funes em H(), dotando este espao vectorial de
uma mtrica.
Seja uma regio e seja C(K) o espao vectorial das funes contnuas f : K C,
onde K um compacto em C. Para ver H() como espao mtrico, recordemos primeiro
que C(K) um espao mtrico com a distncia dada pela norma do mximo:
||f ||K := max{|f (z)|}.
zK

Uma mtrica ou distncia num conjunto X, verifica d(x, y) = d(y, x) 0, d(x, y) = 0 sse
x = y e a desigualdade tringular d(x, y) + d(y, z) d(x, z), para todo x, y, z X. Uma
mtrica num conjunto X induz nele uma topologia, pelo que podemos considerar X como
espao topolgico e falar de subconjuntos abertos, fechados e compactos de X.
Comecemos pelo seguinte:
Lema. Dada uma regio C, existe uma sequncia de subconjuntos compactos {Kn }
tal que:
(1) Kn int(Kn+1 )
(2) = n Kn
(3) Se K compacto, ento K Kn para algum n.

A uma sucesso de compactos Kn verificando as propriedades acima chamaremos

uma exausto de por conjuntos compactos.

Proposio. Seja uma regio e Kn uma exausto de por conjuntos compactos.

O espao das funes contnuas C() um espao mtrico com a distncia definida por:
X 1 ||f g||n
,
(5.4.1)
d(f, g) :=
2n 1 + ||f g||n
n

onde ||h||n := ||h||Kn = maxzKn |h(z)|. Alm disso, a topologia em C() (definida por
esta mtrica) no depende da escolha da exausto Kn .
Teorema. O espao mtrico C() completo.
Demonstrao. Ver Conway.

Agora vejamos os teoremas de convergncia de funes holomorfas. Nesta seco assumimos familiaridade com a noo de convergncia uniforme em compactos, que revista
no Apndice. A noo de convergncia mais natural para regies (conjuntos abertos e
conexos) a seguinte.
Definio. Seja uma regio em C e {fn }, n N, uma sucesso de funes contnuas
em . Dizemos que {fn } converge uniformemente em compactos de , se para todo
subconjunto compacto K , a convergncia de {fn } em K uniforme, isto , existe uma

5.4. O ESPAO MTRICO H()

47

funo f : C que verifica: para todo > 0 existe N tal que ||fn f ||K < para todo
n > N . Neste caso dizemos que o limite uniforme de fn f .
Sabemos, pelo teorema da convergncia uniforme, que o limite uniforme de uma sucesso de funes contnuas num compacto K uma funo contnua em K, o que implica o
mesmo resultado para regies em C.
1

Exemplo. Seja fn (x) = x n uma sucesso de funes definidas no intervalo [0, 1]. O
limite desta sucesso no contnuo, e de facto a convergncia no uniforme em [0, 1].
No entanto, a restrio de fn a qualquer subconjunto compacto de ]0, 1[ tem um limite
uniforme (a funo nula nesse compacto).
Teorema. Se fn (z) uma sucesso em H() e f (z) := limn fn (z) contnua, ento
(k)
f holomorfa em . Alm disso, para cada k 1, fn converge uniformemente para f (k) .
Demonstrao. Usar o Teorema de Morera.

PCorolrio. Se fn H() uma sucesso de funes holomorfas tal que a srie

n=1 fn (z) tem um limite uniforme f , ento, para todo o z ,
f

(k)

(z) =

fn(k) (z).

n=1

Uma vez que uma funo holomorfa contnua, H() C(), podemos considerar (e
o que faremos, sem mais comentrios) uma mtrica em H() dada pela mesma frmula
que a mtrica em C() (ou seja, a equao (5.4.1) para uma dada exausto de ).
Corolrio. O espao mtrico H() fechado em C() e portanto, tambm completo.
Demonstrao. O Teorema diz-nos que quando uma sucesso de funes fn H()
tem limite em C(), esse limite est em H(). Isto significa que H() fechado em
C().

Definio. Uma famlia (subconjunto) A H() chama-se normal ou relativamente
compacta se qualquer sequncia em A tem uma subsucesso que converge uniformemente
em qualquer compacto K para um elemento no necessariamente em A (mas necessariamente holomorfo de acordo com o teorema acima).
Mostra-se que esta noo corresponde ao fecho de A ser compacto no espao mtrico
H() C(), justificando a nomenclatura relativamente compacto.
Definio. Uma famlia A H() diz-se uniformemente limitada em compactos (ou
localmente limitada) se para todo subconjunto compacto K existe uma constante CK
tal que
|f (z)| CK
para todo f A e todo z K.
A prxima definio tambm til.
Definio. Seja K C um compacto. Uma famlia A H(K) diz-se equicontnua
em K se dado > 0 existe > 0 tal que |z1 z2 | < , z1 , z2 K implica que |f (z1 )
f (z2 )| < para todo f A.

48

5. TRANSFORMAES CONFORMES E O TEOREMA DE RIEMANN

5.5. O teorema da aplicao de Riemann

O teorema da aplicao de Riemann diz-nos que qualquer regio simplesmente conexa
de C, com excepo do prprio plano complexo, isomorfa a D. Esta excepo necessria,
como vimos na Proposio 5.1.3.
Teorema. (Teorema da Aplicao de Riemann) Seja uma regio simplesmente conexa do plano complexo distinta de C. Ento isomorfa ao disco unitrio D. Mais
precisamente, dado z0 , existe uma nica transformao conforme
que verifica f (z0 ) = 0 e f (z0 ) > 0.

f :D

Para a demonstrao, recordemos o Teorema de Arzel-Ascoli:

Teorema. (Arzel-Ascoli). Seja A C(K) uma famlia de funes contnuas. Se a
sequncia for uniformemente limitada e equicontnua, ento A relativamente compacta.
Demonstrao. Ver Conway.

No caso de famlias de funes holomorfas, temos um resultado um pouco melhor.

Teorema. Seja A H() uma famlia uniformemente limitada em compactos. Ento:
(1) A equicontnua em cada subconjunto compacto de .
(2) A relativamente compacta.
Demonstrao. (1) Seja K e seja 3r a distncia entre K e o complemento de
. Sendo z1 , z2 K com |z1 z2 | < r, temos



f (w)
f (w)
f (w)
z1 z2
1
dw
dw =
dw,
f (z1 ) f (z2 ) =
2i
w

z
w

z
2i
(w

z
1
2
1 )(w z2 )
C
C
C
onde C = D(z1 , 2r). Para w C temos |w z1 ||w z2 | > 2r 2 , pelo que

|z1 z2 | kf kK +2r
1
4r = |z1 z2 | kf kK +2r ,
2
2
2r
r


+2r
i
onde K
o compacto z + 2re : z , R . Esta desigualdade implica a
equicontinuidade em K.
(2) Pelo teorema de Arzel-Ascoli, dada uma famlia uniformemente limitada e equicontnua A, qualquer sucesso em A tem uma subsucesso convergente em qualquer compacto.
Seja {fn } uma sucesso em A, K um compacto, e {zj } uma
de pontos

 sucesso
densa em K. Como {fn (z1 )}n limitada, tem uma subsucesso fn1 (z1 ) n convergente.




Como fn1 (z2 ) tambm limitada, existe uma subsucesso fn2 (z2 ) convergente. Continuando desta forma, obtemos a subsucesso {fnn } tal que {fnn (zj )} converge para todo
j N.

|f (z1 ) f (z2 ) | <

Demonstrao da unicidade no Teorema de Riemann: Seja f1 , f2 : D com f1 (z0 ) =

f2 (z0 ) = 0. Ento, f1 f21 um automorfismo do disco que fixa a origem z = 0, logo
f1 (f21 (w)) = ei w, para certo R e para todo o w D, pelo Lema de Schwarz.
Escrevendo w = f2 (z) temos
f1 (z) = ei f2 (z),
Assim, temos tambm f2 (z0 )
por hiptese, temos que ei =

ei f1 (z0 ).

z D.

=
Sendo ambos f1 (z0 ) e f2 (z0 ) reais e positivos
1, pelo que f1 (z) = f2 (z), z D como pretendido.
A demonstrao da existncia mais complicada...

5.6. EXERCCIOS

49

5.6. Exerccios
5.1 Mostre que a funo theta de Riemann, definida por
X
2
(z, ) =
ei n +2inz
nZ

holomorfa para z C e para H = {z : (z) > 0}.

5.2 Seja {fn } uma sucesso de funes holomorfas numa regio que converge, uniformemente em subconjuntos compactos K para uma funo no constante
f . Mostre que, se cada fn injectiva, ento f tambm injectiva.
5.3 Seja f holomorfa no disco unitrio D = D(0, 1) verificando |f (z)| < 1. Supondo
que f tem dois pontos fixos distintos a e b em D, f (a) = a e f (b) = b, prove que
f (z) = z para todo z D.
5.4 Mostre que qualquer funo injectiva e holomorfa f : C C da forma f (z) =
az ou f (z) = az para certo a C .
5.5 Determine explicitamente uma transformao conforme entre o conjunto A =
{z C : Rez > 0, < Imz < } e o disco unitrio D.
5.6 Seja f uma transformao conforme do conjunto A = {z C : Rez > 0, Imz > 0}
no disco unitrio D = {z C : |z| < 1}, com a propriedade f (i + 1) = 0.
Determine uma expresso para f . Existir outra funo com tais propriedades?
Justifique.
5.7 Seja {fn } uma sucesso de funes holomorfas numa regio , uniformemente
limitada em compactos de . Mostre que, se limn fn (z) existe para todo
z , ento {fn } converge uniformemente em subconjuntos compactos de .
(Sugesto, use o facto de que {fn } equicontnua em compactos).
5.8 Seja B = {z C : |Im z| < 1, |Re z| < 1}. Mostre que existe uma transformao
conforme entre o conjunto C\D e o conjunto C\B.

CAPTULO 6

Funes Harmnicas
Neste captulo, estudaremos as funes harmnicas, que podem ser vistas, em muitos
aspectos, como o anlogo de valores reais, das funes holomorfas.
6.1. Definio e primeiras propriedades
Definio. Seja uma regio em C. Uma funo u : R diz-se harmnica em
2
2
se de classe C 2 em e verifica a equao de Laplace u = xu2 + yu2 = 0, em todos os
pontos de .
Como o operador de Laplace linear, o conjunto das funes harmnicas numa dada
regio um espao vectorial que vamos denotar por H(). Note-se que o produto de
funes harmnicas no necessariamente uma funo funo harmnica, pelo que no
consideramos H() como anel, em contraste com o anel das funes holomorfas H().

Usando os operadores diferenciais z

= 12 ( x
i y
) e z = 21 ( x
i y
), vemos que
1
2u
= u.
z z
4
Assim, uma outra forma de escrever a equao de Laplace u = 0 :
2u
= 0.
z z
6.1.1. Funes harmnicas e funes holomorfas. A relao mais simples entre
funes harmnicas e funes holomorfas a seguinte.
Proposio. As partes real e imaginria de uma funo holomorfa so ambas harmnicas.
Demonstrao. Usar as eques de Cauchy-Riemann, ou alternativamente, sendo
f H() e u = f temos
 2 


f
f
2 f
2u
=
=
( ) = 0,
=
z z
z z
z z
z z
uma vez que

z f

= 0. O mesmo se aplica a v = f .

O recproco deste resultado apenas vlido localmente, e em regies simplesmente

conexas. Para verificar isto, usamos a seguinte construo.
Lema. Seja uma regio arbitrria. Se u H(), ento g :=
holomorfa em .

u
z

uma funo

Demonstrao. Basta ver que

u
2u
g
=
( )=
= 0.
z
z z
zz

51

52

6. FUNES HARMNICAS

Teorema. Se simplesmente conexa, e u harmnica em , ento existe uma

funo holomorfa f H() cuja parte real u. A diferena de duas tais funes uma
constante imaginria pura.
Demonstrao. Usar g =
.

u
z

e o facto de que g tem uma primitiva holomorfa em



6.2. Propriedades locais das funes harmnicas

Uma funo harmnica verifica a propriedade do valor mdio:
um disco
Teorema. (Teorema do valor mdio) Seja u harmnica em e D
fechado centrado em z0 . Ento:
2
1
u(z0 + rei )d,
u(z0 ) =
2 0

onde r o raio do disco D.

Demonstrao. Usar a frmula integral de Cauchy para f tal que f = u.

Temos tambm:

Teorema. (Princpios do mdulo mximo e mnimo). Seja u uma funo harmnica

em .
(1) Se u atinge um mximo local em z0 , ento u constante em .
(2) Se u atinge um mnimo local em z0 , ento u constante em .
(3) Se compacto e u contnua em , ento o mximo e o mnimo global de u
esto em = \ , a fronteira de .
Demonstrao. ...

O princpio da identidade para funes holomorfas permite mostrar o seguinte princpio

da extenso.
Proposio. Se u harmnica em e f H() tal que u = f num pequeno disco,
ento u = f em .
Demonstrao. Exerccio.

6.3. Propriedades globais de funes harmnicas

Para estudarmos algumas propriedades globais das funes harmnicas, comeamos
por uma representao local de uma funo harmnica numa regio anelar. Este resultado
pode considerar-se o anlogo da representao em srie de Laurent das funes holomorfas.
Teorema. Seja A = A(0, r1 , r2 ) um anel e u H(A). Ento existem R e
g H(A) tal que
u(z) = (g(z)) + log |z|
A.

Demonstrao. A ideia usar duas regies simplesmente connexas cuja unio


Temos tambm a seguinte generalizao ao caso de vrios pontos isolados.

Teorema. Seja uma regio simplesmente conexa e = \ {z1 , , zn }. Se u

harmnica em ento existem constantes reais 1 , , n e uma funo f H() tais
que
n
X
j log |z zj |
u(z) = (f (z)) +
j=1

6.4. O PROBLEMA DE DIRICHLET NO DISCO

53

Este estudo permite mostrar o anlogo do teorema das singularidades removveis de

Riemann para funes harmnicas.
Teorema. Seja u(z) harmnica e limitada no disco perfurado D (z0 , r) = D(z0 , r) \
{z0 }. Ento u pode estender-se a uma funo harmnica em D(z0 , r).

Demonstrao. Seja D = D (z0 , r). Sabemos que u(z) = (g(z)) + log |z z0 |

para certa funo g H(D ). Assim, podemos escrever a srie de Laurent de g(z):
X
g(z) =
an (z z0 )n .
nZ

Para mostrar o teorema, basta ver que u limitada implica que g se estende a g H(D(z0 , r)),
pois isto implicaria que = 0. Suponhamos que 0 singularidade essencial de g(z),
e que > 0. Ento, existe M > 0 tal que para |z z0 | suficientemente pequeno,
g(z) = u(z) log |z z0 | < M , pelo que g(z) evita um conjunto aberto de C.
O caso < 0 anlogo, donde g no pode ter uma singularidade essencial, pelo teorema
de Casoratti-Weierstrass. Os plos tambm podem ser excludos, usando estimativas para
|u| perto de z0 , pelo que a srie de g s tem parte regular.

6.4. O problema de Dirichlet no disco
Como vimos, as funes harmnicas verificam a propriedade do valor mdio. Na realidade, veremos agora que esta propriedade caracteriza as funes harmnicas. Para chegar
a este resultado, vamos primeiro considerar um problema em equaes diferenciais parciais de valor fronteira. Este problema muito relevante o problema de Dirichlet no disco.
Trata-se de considerar uma funo contnua : D R e de resolver o seguinte problema
de valor fronteira (tambm chamado EDP com condies de Dirichlet):
(
u(z) = 0,
zD
u(z) = (z), z D.

Consideremos em primeiro lugar a seguinte funo, chamada o ncleo de Poisson. Para

r [0, 1[ e ] , [, definimos:
 i

e +r
1 r2
1
1
i
=
Pr () :=
.
2 1 2r cos + r 2
2
e r

Teorema. Seja : [, ] R uma funo contnua (e () = ()). Ento existe

e harmnica em D tal que u(ei ) = (). Precisamente, esta funo dada por
u C(D)
u(z) := Pr , ou explicitamente

i
Pr ( )( ) d.
u(re ) =

Demonstrao. Esta demonstrao longa e usa tcnicas de teoria das distribuies.

Consulte-se o Lang.

Teorema. Se uma funo contnua satisfaz a propriedade do valor mdio em ento
harmnica em .
Demonstrao. Basta mostrar que u harmnica num qualquer disco D = D(z0 , R)
. Suponha-se que u(z0 ) u(z0 + rei ) para todo r R, ento u constante numa vizinhana de z0 . Isto porque, se u(z1 ) < u(z0 ) ento existe uma vizinhana de z1 e > 0 tal
que u(z) u(z0 ) , contrariando a propriedade do valor mdio, pois

u(z0 ) u(z0 + rei ) d > 0.

54

6. FUNES HARMNICAS

Assim, temos a propriedade do mximo, e analogamente, a propriedade do mnimo. Para

provar que u harmnica, seja v a soluo (funo harmnica) do problema de Dirichelet
no disco D(z0 , r) cujo fecho est em , e cujos valores na fronteira coincidem com os de u.
Assim, u v = 0 nesta fronteira, e tambm satisfaz a propriedade de mnimo e mximo
em D(z0 , r), pelo que u v tem o mximo e o mnimo na fronteira, pelo que u = v, neste
disco.

6.5. Exerccios
6.1 Seja Pr () o ncleo de Poisson, defiido para 0 r < 1 e [0, 2], atravs de

1
1 r2
.
2 1 2r cos + r 2
Seja u 0 uma funo harmnica em D(0, 1) e contnua em D. Mostre as desigualdades
1+r
1r
2Pr ()
1+r
1r
1r
1+r
u(0) u(rei )
u(0).
1+r
1r
6.2 Considere uma regio C, uma funo u harmnica em e f H().
Supondo que u = f num certo disco aberto (no vazio) D , mostre que
u = f em todo .
6.3 (Teorema de Harnak) Seja un uma sucesso de funes harmnicas no disco unitrio D que converge uniformemente em subconjuntos compactos de D. Prove que
o limite uma funo harmnica.
6.4 Prove que uma funo u harmnica na regio se e s se satisfaz a propriedade
do valor mdio em discos de , isto se, para qualquer z e disco D(z, r)
centrado em z e totalmente contido em , se verifica:

1
u dx dy.
u(z) = 2
r D(z,r)
Pr () =

CAPTULO 7

Representao de Funes Inteiras

Neste captulo, vamos considerar mais uma generalizao dos polinmios, e descrever
uma classe de funes inteiras que admite um nmero infinito de zeros mas com crescimento
controlado no infinito.
Por exemplo, a funo f (z) = sin z, que inteira, tem zeros apenas nos pontos k, k
Z, e gostariamos de saber se admite uma factorizao por primos da forma (z z0 ). Para
responder a esta questo, temos primeiro que definir e estudar convergncia de produtos
infinitos e veremos que, por exemplo, podemos escrever,
sin z = z

nN

(1

z2
).
n2

Esta frmula, escrita pela primeira vez por Euler, para alm da sua elegncia, permitiu-lhe
P 1
2
resolver um problema importante na poca, o clculo da srie
= 6 .
n2
7.1. Convergncia de produtos infinitos de nmeros complexos e de funes

no nulos. Dizemos que

Q Definio. Seja {zn } uma sucesso de nmeros complexos
P
z
converge
absolutamente
se
lim
z
=
1
e
se
a
srie
log
zn converge absolutan
n
nN
nN
mente. Neste caso definimos
P
Y
zn = e nN log zn .
nZ

Observao. (1) Note-se que pela condio lim zn = 1, sabemos que existe N N tal
que n > N implica |zn 1| < 1. Assim, o logartmo principal log zn = log |zn |+i arg zn est
bem definido, para n > N e podemos atribuir-lheQuma parte imaginria arg zn ] 2 , 2 [.
(2) Se um produto de nmeros complexos nN zn converge absolutamente, ento
qualquer reordenao de termos levar ao mesmo resultado. Isto segue do resultado anlogo
para sries absolutamente convergentes.
P
Lema. Se {zn } uma sucesso
de nmeros complexos no nulos e
nN (1 zn )
Q
converge absolutamente, ento nN zn converge absolutamente.

Demonstrao. Para n suficientemente grande |1 zn | <

C|1 zn | para uma certa constante C.

1
2,

pelo que | log zn |



P Proposio. Seja {fn } uma sucesso de funes holomorfas numa regio tal que
(z) converge uniformemente e absolutamente em compactos K . Ento o
nN fnQ
produto nN (1 fn ) converge uniformemente e absolutamente em compactos de e
define uma funo holomorfa F (z) em .
Demonstrao. ...

O seguinte resultado uma consequncia.

55

56

7. REPRESENTAO DE FUNES INTEIRAS

Corolrio.
Sempre que {hn } no tenha zeros num compacto K , para todo o n,
Q
e F (z) = nN hn (z) podemos escrever, para z K
F (z) X hn (z)
=
.
F (z)
hn (z)
nN

7.2. O teorema de Weierstrass para funes inteiras

Consideremos uma funo inteira f H(C). Para encontrar uma representao para
f (z) como produto, notemos em primeiro lugar que o princpio dos zeros isolados impe
que os zeros de f (z) so no mximo numerveis. Mais precisamente temos.
Proposio. Seja f H(C) e seja Zf = f 1 (0) o seu conjunto de zeros. Ento, ou
Zf um conjunto finito, ou #Zf = #Z. Alm disso podemos ordenar os elementos de Zf
de modo a escrever
Zf = {z1 , z2 , },
com |z1 | |z2 | . Em particular, se Zf no finito, temos limn |zn | = .

Demonstrao. Relativamente simples, considerando que cada compacto D(0, R)

tem um nmero finito de zeros.

Seja f (z) uma funo inteira com zeros nos pontos z1 , z2 .... De acordo com a Proposio. vamos sem mais comentrios, ordenar os seus zeros no nulos de modo a ter
|z1 | |z2 | .... Tentemos ento uma representao da forma:


Y
z
.
f (z) =
1
zn
n=1

Este produto no converge necessariamente, por isso necessitamos de um factor de convergncia.

z

z n1

Definio. Um factor elementar En (z) = (1 z)ez+ 2 +...+ n1 (E1 (z) = 1 z).

Uma vez que

X
zk
log(1 z) =
,
k
k=1
P
zk
temos log En (z) =
k=n k , o que permite demonstrar:
Lema. Se |z|

1
2

ento | log En (z)| 2|z|n .

Demonstrao. Fcil.

Proposio. Se {pn } uma sucesso de inteiros tais que

para todo r > 0, ento o produto infinito
 

Y
z
Epn
zn

nN

r
|zn |

pn

converge

n=1

converge uniformemente em qualquer disco |z| R e define uma funo inteira com zeros
nos pontos {zn } e sem outros zeros.
Demonstrao. Fixamos R. Seja N tal que 2R < |zN +1 |. Ento, para |z| R e
n > N temos |z/zn | < 1/2.


7.3. O TEOREMA DE HADAMARD

57

Esta proposio permite-nos garantir a existncia de uma funo inteira com zeros
em pontos predeterminados, e com ordens prefixadas nesses pontos. Se Z = {zn } um
subconjunto de C para que ele seja o conjunto de zeros de uma funo inteira necessrio
que seja um subconjunto discreto de C. Assim, sabemos que numervel. Vamos tentar
encontrar uma funo inteira f H() apenas com zeros em Z e de tal forma que, para
cada zk Z a ordem de f em zk seja um natural m(k). Por exemplo, se quisermos uma
funo f (z) com zeros duplos em todos os pontos inteiros, podemos definir estes dados
atravs do conjunto Z = Z e da funo m : Z N dada por m(z) = 2 para todo o z Z.
Teorema. (Weierstrass). Seja Z = {zn } um conjunto discreto e seja m : Z N
uma funo com valores inteiros. Ento existe uma funo inteira f H() tal que
ordzk f = m(k), para todo o k N e com ordz f = 0 sempre que z
/ Z.
Demonstrao. Usar os produtos cannicos, cada qual levantado potncia m(k).

Corolrio. Qualquer funo meromorfa o quociente de funes inteiras.
Demonstrao. ...


7.3. O teorema de Hadamard

O teorema de Weierstrass permite mostrar a convergncia de certos produtos cannicos,

mas no nos d informao sobre qual o produto cannico que representa uma dada
funo. Nesta seco veremos um resultado muito mais pormenorizada, que establece uma
representao em termos de produto infinito para uma grande classe de funes: as funes
que no crescem no infinito mais que a exponencial de um polinmio.
Definio. A ordem (de crescimento polinomial) de uma funo f H(C) o nmero
log log ||f ||R
[0, +]
R
log R

(f ) = lim

onde ||f ||R := ||f ||D(0,R) = max|z|=R |f (z)|. Quando (f ) < + diz-se que f tem ordem
finita.
Teorema. (Teorema da factorizao de Hadamard). Seja f uma funo inteira de
ordem finita , e seja f 1 (0)\{0} = {z1 , z2 , } o conjunto dos seus zeros (com a excepo
de z = 0) repetidos de acordo com as suas multiplicidades e ordenados de acordo com
Ento podemos escrever

0 < |z1 | |z2 | .

f (z) = z ord0 f eh(z)

n=1

Ek (

z
),
zn

onde k o menor inteiro > e h(z) um polinmio de grau .

Note-se que, uma vez assegurado que o produto converge absolutamente, podemos
escrever, de forma algo mais intrnseca:
Y 
z ordw f
Ek ( )
f (z) = z ord0 f eh(z)
,
w

wZf

onde Zf = Zf \ {0}, onde h(z) e k so como no enunciado acima.

Demonstrao. ...

58

7. REPRESENTAO DE FUNES INTEIRAS

7.4. Exerccios
7.1 Considere a funo f (z) = e2z + e2z + 2. Verifique que f tem zeros nos pontos
zn = i
2 (2n + 1), e calcule a sua ordem. Determine a factorizao de Hadamard
de f .
7.2 Seja f uma funo inteira de ordem 1 cujos zeros so simples e esto localizados
nos inteiros impares. Supondo que f par, e que limz0 f (z) = 1, determine
a factorizao de Hadamard de f . Relacionando f com uma funo conhecida
mostre que


Y
1
4
= .
1
2
(2n 1)
3
n=2

7.3 Seja f uma funo inteira e n um inteiro positivo. Prove que existe uma funo
inteira g tal que gn = f se e s se as ordens dos zeros de f so divisveis por n.
7.4 Seja g uma funo meromorfa em C com plos de ordem 1 e resduos inteiros.
Mostre que existe f M (C) tal que g = f /f .

CAPTULO 8

Funes Elpticas
Neste captulo vamos estudar uma classe de funes que generaliza as funes trigonomtricas e que tem imensas aplicaes tanto em outras reas da matemtica, nomeadamente em teoria dos nmeros, geometria, etc, bem como em matemtica aplicada a
sistemas dinmicos e mecnica analtica. Estas funes, chamadas funes elpticas, so
duplamente peridicas, isto peridicas em relao a dois perodos no colineares no plano
complexo.
8.1. Recticulados e Funes invariantes
Definio. Um recticulado em C um subgrupo discreto do grupo abeliano (C, +).
Exemplo. (0) {0} o recticulado trivial
(1) Z um recticulado em R C
(2) Z i Z = {m + ni : m, n Z} o recticulado dos chamados inteiros de Gauss.

Como subgrupo abeliano, qualquer recticulado um mdulo

sobre Z. Isto significa
P
que qualquer elemento se pode escrever como =
ci vi com ci Z, vi C.
Os elementos vi so chamados geradores de . Do facto de que discreto resulta que
qualquer recticulado em C pode ser gerado por um nmero finito n de geradores. De facto,
pode-se mesmo provar que basta ter n 2. Se gerado por v1 , ..., vn C escrevemos
frequentemente, = Zv1 Zv2 ... Zvn ou, abreviadamente, = hv1 , v2 , ..., vn i.
Proposio. Sejam v1 , v2 C no nulos e = v1 /v2 . Ento, um nmero
complexo no real se e s se v1 e v2 so linearmente independentes como elementos de R2 .
Se C \ R ento
hv1 , v2 i = {m1 v1 + m2 v2 : m1 , m2 Z}
um recticulado em C. Por outro lado, se real, ento o conjunto definido acima um
recticulado se e s se racional. Finalmente, qualquer recticulado em C pode ser gerado
por n geradores, com n 2.

A primeira frase imediata. A demonstrao destes factos sobre recticulados pode ser
encontrada no livro do Ahlfors, captulo 7. Isto motiva a seguinte definio.
Definio. A dimenso de um recticulado o nmero geradores que so linearmente
independente sobre R. Um recticulado maximal em C um recticulado de dimenso 2.
Assim, qualquer recticulado maximal em C se pode escrever na forma:
com v1 , v2

= hv1 , v2 i = {m1 v1 + m2 v2 : m1, m2 Z} ,

linearmente independentes sobre R, isto , = v1 /v2

/ R.

Definio. Seja um recticulado em C. Dois nmeros complexos z1 , z2 C dizem-se

congruentes mdulo se z1 z2 . Um polgono fundamental P do recticulado maximal
= hv1 , v2 i um conjunto da forma
para certo z0 C.

Pz0 = {z0 + t1 v1 + t2 v2 : t1, t2 [0, 1[} ,

59

60

8. FUNES ELPTICAS

imediato verificar que a relao de congruncia (mdulo ) uma relao de equivalncia. igualmente claro que, fixando um polgono findamental Pz0 para , para todo
w C, existe um nico z em Pz0 que congruente a w mdulo . Desta forma, podemos
dizer que Pz0 parametriza as classes de congruncia mdulo .
Definio. Uma funo f : C C dita invariante em relao ao recticulado , se
f (z1 ) = f (z2 ), sempre que z1 z2 , isto se z1 e z2 so congruentes mdulo .
Exemplo. (1) Como exemplos de funes invariantes em relao a recticulados unidimensionais temos as funes trigonomtricas. Por exemplo, senz e cosz so invariantes em
relao a = 2Z. Outro exemplo a funo exponencial, que invariante em relao a
2iZ.
(2) As funes anteriores so inteiras. Tambm temos exemplos conhecidos de funes
meroformas em C e invariantes em relao a recticulados. Por exemplo a funo tangente
sin z
tan z = cos
z meromorfa e invariante relativamente a Z.
A seguinte proposio imediata e deixada ao leitor:
Proposio. Se um recticulado maximal gerado por v1 , v2 , uma funo f : C C
invariante em relao a se e s se f (z) = f (z + v1 ) = f (z + v2 ), para todo o z C.
8.2. Funes elpticas
Definio. Uma funo elptica uma funo f : C C meromorfa invariante em
relao a um recticulado maximal (de dimenso 2).
Como vimos acima, um polgono fundamental para parametriza as classes de congruncia mdulo , e portanto uma funo elptica determinada pelos valores que assume
num nico polgono fundamental. Podemos ento provar o seguinte.
8.2.1. Os teoremas de Liouville.
Teorema. (1 teorema de Liouville) Qualquer funo elptica holomorfa constante.
Demonstrao. Se f : C C elptica relativamente a e holomorfa, ento
contnua em C e portanto limitada num polgono fundamental Pz0 e no seu fecho. De
facto, tanto f como f so funes contnuas que atingem mximos e mnimos em Pz0 .
Isto implica que f limitada em todo o C, uma vez que a sua invarincia relativamente a
impe f (C) = f (Pz0 ). Logo, pelo teorema de Liouville, f constante.

Este resultado mostra que, para obtermos funes analticas (em alguma regio) que
sejam duplamente peridicas e minimamente interessantes, no nos podemos restringir s
funes holomorfas. Por outro lado, no nada bvio, partida, que existam funes
elpticas no constantes. Na prxima seco vamos construir explicitamente um exemplo,
a chamada funo de Weierstrass, de uma funo elptica no trivial, para qualquer
recticulado maximal.
Por agora, vamos assumir que as funes elpticas no constantes (e portanto meromorfas em C) existem, e vejamos que propriedades podem ter. Em primeiro lugar, no
difcil provar que o conjunto das funes elpticas invariantes em relao a um recticulado
maximal fixo , formam um corpo. Vamos designar este corpo por E() e chamar aos
seus elementos funes elpticas relativas a .
Teorema. Para toda a funo elptica f E() existe um polgono fundamental P
para , tal que f no tem zeros nem polos na sua fronteira P.

8.2. FUNES ELPTICAS

61

Naturalmente, o mesmo resultado vlido se substituirmos a expresso zeros nem

plos por apenas plos.
Fixemos, de agora em diante, um recticulado maximal .
Teorema. (2 teorema de Liouville) Seja f uma funo elptica relativa a , e seja
P = Pz0 um polgono fundamental tal que f no tem plos na sua fronteira P . Ento a
soma dos resduos de f no interior de P zero.
Demonstrao. Como P compacto, s existe um nmero finito de polos zk no
interior de P . Assim, pelo teorema dos resduos, temos

n
X
1
f (z) dz = 0,
Res(f, zk ) =
2i P
k=1

onde se usou o facto de que os valores de f na fronteira de P , so os mesmos em lados

opostos de P .

Como primeira consequncia, temos.
Corolrio. Uma funo elptica no constante tem pelo menos 2 plos (contados de
acordo com as suas multiplicidades) num polgono fundamental.
Demonstrao. Se f E() tem apenas um plo simples z0 num polgono fundamental, ento Resz0 f 6= 0, contrariando o teorema.


Teorema. Seja novamente f E(), e P = Pz0 um polgono fundamental tal que f

no tem zeros nem plos na sua fronteira P . Ento, o nmero de zeros de f no interior de
P igual ao nmero de polos de f no interior de P , contados de acordo com as respectivas
multiplicidades.
Demonstrao. Comeamos por notar que, se f elptica relativamente a , f

f (z)
1
e f /f tambm o so. Assim, 2i
P f (z) dz = 0 pelo teorema anterior, onde P um
polgono fundamental cuja fronteira no tem zeros nem plos de f (pelo que no tem plos
de f /f ). O resultado ento uma consequncia directa do principio do argumento.

A seguinte propriedade agora fcil de concluir.
Corolrio. Uma funo elptica no constante f toma qualquer valor complexo, isto
a imagem de f C.
Demonstrao. Sejam dados f E() no constante e w C. Definimos g(z) =
f (z) w que meromorfa e tem os mesmos polos (com mesmas multiplicidades) que f .
Como g tem pelo menos dois plos em P , g tem pelo menos dois zeros (contados com
multiplicidades). Logo, existe um zero de g, que um ponto z C tal que f (z) = w. 
Teorema. (3 teorema de Liouville) Se zk , wk so os zeros e polos de f e as multiplicidades so mk = ordzk f e nk = ordwk f , respectivamente, ento:
X
X
mk zk =
nk wk (mod)

P
P
(z)
dz = 2i [ nk=1 nk wk + nk=1 mk zk ], pelo prnciDemonstrao. Temos P z ff (z)
pio do argumento generalizado aplicado funo g(z) = z. Integrando ao longo de P ,
obtemos 4 integrais, dois dos quais do o valor:
x+v1 +v2
x+v1
x+v1
x+v1
f (z)
f (z)
f (z)
f (z)
z
(z + v2 )
z
dz
dz =
dz
dz =
z
f (z)
f (z)
f (z)
f (z)
x+v2
x
x
x

62

8. FUNES ELPTICAS

x+v1

f (z)
dz = v1 I(f , 0) = k1 v1 ,
f (z)
x
onde o caminho recto entre x e x + v1 . f ento uma curva fechada, logo k1 Z.
Da mesma forma, os restantes dois integrais do o valor k2 v2 onde k2 Z.

v2

8.2.2. Os geradores de um recticulado. Vamos agora, s a ttulo de curiosidade,

abordar a seguinte questo. Dado um recticulado maximal, como encontrar os seus dois
geradores. Mais concretamente, se = hv1 , v2 i = hw1 , w2 i, qual a relao entre os pares
de geradores {v1 , v2 } e {w1 , w2 }. Recordemos ento a seguinte definio. Uma matriz ou
transformao linear chamada unimodular se as entradas da matriz forem inteiras e tiver
determinante igual a 1.
Teorema. Quaisquer dois pares de geradores de um recticulado maximal esto relacionadas por uma transformao unimodular.

Demonstrao.
  Se
 = hv1 , v2 i = hv1 ,v2 i ento,
 exprimindo v1 , v2 em relao a
w2
a b
w2
a b
v1 , v2 temos
=
com
M at2x2 (Z). Da mesma forma,

w
c d
w
c d



 
 1  
   1   
a b
1 0
a b
w1
a b
w1
a b
=
e portanto det
=
; logo
=
c d
0 1
c d
c d
w2
c d
w2
1.


Teorema. Qualquer recticulado

por vectores w1 , w2 , tais que = w2 /w 1
 gerado
1
pertence ao seguinte conjunto A = H : 2 < 21 ; | | 1; e 0, se | | = 1 .

Demonstrao.
  Como w1 e w2 so linearmente independentes sobre R, temos Im 6=
w2
< 0 podemos trocar w1 com w2 e obter Im > 0 . Podemos tambm
0. Se Im = Im w
1
assumir |w1 | |w2 | pois em caso contrrio substituimos w1 por w2 e w2 por w1 (isto
preserva o sinal de Im ). Finalmente,
podemos
w2 por w2 + nw1 para certo
 substituir

 

w2
w2 
1
1
n Z de tal modo que Re w1  2 . Se Re w1 = 2 substuitui-se w2 por w2 + w1 ,
e se | | = 1 faz-se novamente a troca w1 w2 , w2 w1 . Aps estas substituies
A.

Observao. Tambm se pode verificar que a escolha de em A nica, o que
equivalente a provarque o grupo
P SL
gerado por 7 + 1 e 7= 1 , isto ,

 (2, Z) 
1 1
0 1
pelas matrizes S =
eT =
.
0 1
1
0
8.3. A funo de Weierstrass de um recticulado .
Vamos agora construir uma funo elptica com um nico plo duplo em pontos congruentes relativamente a = hw1 , w2 i. Por simplicidade, tomemos este plo na origem.
Como um factor multiplicativo no interessa, a parte singular ser z12 + az . Seja ento
1
a1
+
+ a0 + a1 z + ...
2
z
z


Assim, a parte singular da funo f (z) = (z) (z) igual a z12 + az z12 az = 2a
z .
Como f (z) claramente uma funo elptica em relao a , e tem um plo
simples
na




origem,
pelo corolrio
do teorema
1, f constante; alm disso, como f w21 = w21




w21 = w21 w21 = 0, vemos que necessriamente f 0, isto , uma funo
par, logo a sua expanso em torno da origem s tem potncias pares e a sua parte singular
z12 . Em torno de qualquer ponto do recticulado w , a parte singular ser ento
(z) =

8.3. A FUNO DE WEIERSTRASS DE UM RECTICULADO .

1
(zw)2

o que nos leva a considerar a expresso

1
w (zw)2 .

63

Infelizmente, esta srie no

converge na regio C \ (ver exerccios). Para resolver este problema, Weierstrass notou
que, mediante a incluso de um certo termo neste somatrio a convergncia fica assegurada.
Defina-se ento, a funo de Weierstrass pela frmula:

X 
1
1
1

,
(z) = 2 +
z
(z w)2 w2
w

onde = \ {0} o conjunto dos pontos no nulos do recticulado C. Esta srie

converge em C \ porque:
 


w 

1
1   z (2w z)  10|z|
 

para
|z|   .
 (z w)2 w2  =  w2 (z w)2  |w|3
2
P 1
P
Portanto, para verificar que est bem definida, basta ver que w =
< .
|w|3

Isto decorre do facto de que existe k > 0 tal que |w1 w1 + n2 w2 | k (|n1 | + |n2 |) n1, n2 Z.
Logo

X
X
X
X 1
1
4n

< .
3
3
3 n3
3
k
|w|
k
(|n
|
+
|n
|)
1
2

n=1 |n |+|n |=n

n=1
w
1

Proposio. (Propriedades das funes e de Weierstrass)

(1) duplamente peridica (z) = (z + w1 ) = (z + w2 )
(2) par,
P
1
(3) tambm uma funo eliptca e (z) = 2 w (zw)
3,

(4) (z) mpar e tem zeros apenas nos pontos que verificam 2z 0 mod .
P
P
(5) (z)2 = 4 (z)3 gz (z) g3 , onde g2 = 60 w w14 e g3 = 140 w

1
w6 .

Demonstrao. A propriedade 2 simples e a 3 decorre do facto que se pode derivar

uma srie uniformemente convergente termo a termo. Para provar 1, partimos da frmula
de 3; como (z) impar e claramente perodica, temos

que existe

uma constante c tal que
w1
w1
w1
(w1 + z) = (z) + c mas com z = 2 vem 2 = 2 + c o que implica c = 0
pois par. A derivada de uma funo par mpar, e o cclulo dos zeros segue de
w1
w1
w1
( ) = ( ) = ( ),
2
2
2
por imparidade e invarincia. Daqui decorre a propriedade (4) (detalhes deixados ao leitor).
Para provar 5, considera-se a funo zeta de Weierstrass (no confundir com a funo zeta
de Riemann):

X  1
1
1
z
(z) = +
+ +
z
z w w w2

verifica-se que (z) meromorfa em C e (z) = (z). Escrevendo:



1
1 z
1/w
1 z
1
z2
1 z
z2 z3
z
+ + 2 =
+ + 2 =
1 + + 2 + ... + + 2 = 3 4
zw w w
1 z/w w w
w
w w
w w
w w
P
e notando que w w1k = 0 para k impar, por simetria em relao origem, obtemos:



X  z2
X  z3
1
z3
1
z5
1 X
(z) = +
+ 6 + =
3 4 =
gk z 2k1
4
z
w
w
z
w
w
z
w
w
k=2
P
1
onde gk = w w2k .
P
2k2 = 1 + 3g z 2 + 5g z 4 +
Assim (z) = z12 +
2
3
k=2 (2k 1) gk z
z2

64

8. FUNES ELPTICAS

(z) = z23 + 6g2 z + 20g3 z 3 +

2
80g3 +
(z)2 = z46 24g
z2
3
9g
1
2
(z) = z 6 + z 2 + 15g3 +
onde as reticncias indicam termos regulares no constantes (holomorfos). Concluimos
que h(z) = (z)2 4 (z)3 + 60g2 (z) + 140g3 uma funo holomorfa elptica logo
ela necessriamente constante. Como o desenvolvimento em srie de h(z) tem o termo
constante nulo, h(0) = 0 pelo que h(z) 0, que a relao pretendida.

A relao entre e a sua derivada muito importante na resoluo de certas equaes
diferenciais no lineares. Por exemplo, uma aplicao da funo a resoluo explicita
da equao de Korteweg-de Vries (KdV), que descreve ondas em gua pouco profunda:

u
u 3 u
= 6u
+
t
x x3
em que a incgnita a funo u = u(x, t), onde x e t so a coordenada espacial e temporal,
respectivamente. Para encontrar uma soluo desta equao consideremos somente funes
u(x, t) que s dependem da quantidade x ct, em que c constante, e fa amos a mudan a
de varivel: u(x, t) = v(X) = v(x ct). Nesta nova varivel v, obtemos a equao 4cv =
6vv + v (onde designa derivao em relao a X) e fazendo uma primitivao elementar
obtemos 4cv = 3v 2 + v + c1 . Multiplicando por v , vem 4cvv = 3v 2 v + v v + c1 v e
1
fazendo outra primitiva vem: 2cv 2 = v 3 + (v )2 + c1 v + c2 , o que equivalente a
2

2
dv
= 2v 3 4cv 2 2c1 v c2
dX
Comparando esta equao com a propriedade 4 da funo de Weierstrass, obtemos uma
soluo explcita !!!
u(x, t) = 2(x ct) + c3
onde a funo de Weierstrass associada a um recticulado que depende das constantes
de integrao c1 e c2 .
Este tipo de solues que dependem de x ct so solues que possuem uma forma
fixa e se movem com velocidade c. Assim, so chamadas solites. Note-se que, fazendo


dv 2
= 2v 3 4cv 2 . Esta equao mais simples pode ser
c1 = c2 = 0, obtemos:
dX
resolvida por uma funo do tipo:


1
2 1
u(x, t) = c sech
c (x ct x0 )
2
2
o que indica, mais uma vez que as funes elpticas so uma generalizao das funes
trigonomtricas.
Voltando ao caso geral, note-se que temos uma relao implcita:
v
ds
=
+ c4 .
X = x ct =
3 4cs2 2c s c
2s

1
2

p(x)
p
dx, onde p(x) e q(x) so
Este integral, tal como outros integrais da forma
q(x)
polinmios, e q(x) tem grau 3 ou 4, chamado um integral elptico, pois podem ser descritos
em termos de funes elpticas, atravs de relaes semelhantes propriedade 4 da funo
.
Foram precisamente os integrais deste tipo que motivaram inicialmente o estudo das
funes elpticas; de facto, o comprimento de arco de uma el pse no plano dado por
4

8.4. EXERCCIOS

65

um integral deste tipo e precisamente por esta razo que se resolveu dar s funes
duplamente peridicas (que como vimos esto relacionadas com os integrais el pticos) o
nome de funes elpticas.
Finalmente, podemos
acrescentar que, no caso em que q(x) um polinmio de grau
p(x)
p
superior a 4 os integrais
dx so chamados integrais hiperelpticos e a mesma equaq(x)
o KdV tem muitas outras solus solitnicas, obtidas a partir de funes hiperelpticas,
associadas a estes integrais.
8.4. Exerccios
8.1 Recorde que a funo de Weierstrass, relativa ao recticulado gerado por dois
perodos 1 e 2 dada por:

X 
1
1
1

.
(z) = 2 +
z
(z w)2 w2
w\{0}

(z)

Prove que
tem trs zeros no polgono fundamental P = {t1 1 + t2 2 : 0
t1 , t2 < 1}, e que so todos simples.
Q
w2
8.2 Seja um recticulado e (z) = z E3 ( z ), onde E3 (w) = (1 w)ew+ 2 .
Mostre que inteira, mpar e que


d (z)
(z) =
.
dz (z)

8.3 Seja um recticulado maximal em C, e seja 2 := {z C : 2z }. Mostre que

se f (z) tem zeros simples em 2 \ e polos triplos em ento f (z) = c (z), para
uma certa constante c C.
8.4 Seja um nmeroPcomplexo com parte imagnria positiva. Considere a funo
de Jacobi (z) = nZ (1)n e2inz ein(n+1) e assuma a convergncia uniforme
desta srie em C. (a) Mostre as relaes:
(z + 1) = (z)
(z + ) = e2i(z+ ) (z)
(z) = e2iz (z).

(b) Use as relaes acima para demonstrar que (z) tem zeros simples nos pontos
do recticulado gerado por 1 e e que estes so os nicos zeros de (z) em C.
8.5 Seja H, o recticulado gerado por 1 e , e (z) uma funo inteira mpar que
verifica

(z + 1) = (z)
(z + ) = e2izi (z),
z C.
 
(z)
d
uma funo elptica em relao a . (b) Mostre que
(a) Mostre que dz
(z)
(z) tem zeros simples nos pontos de , que estes so os nicos
zeros de (z) e

(z)
d
que existe uma constante c C tal que (z) = dz (z) + c, onde (z) a
funo de Weierstrass relativa ao recticulado .

Bibliografia
[1] Lars V. Ahlfors. Complex analysis. McGraw-Hill Book Co., New York, third edition, 1978. An introduction to the theory of analytic functions of one complex variable, International Series in Pure and
Applied Mathematics.
[2] Joseph Bak and Donald J. Newman. Complex analysis. Undergraduate Texts in Mathematics. Springer,
New York, third edition, 2010.
[3] A. F. Beardon. Complex analysis. John Wiley & Sons Ltd., Chichester, 1979. The argument principle
in analysis and topology, A Wiley-Interscience Publication.
[4] John B. Conway. Functions of one complex variable. II, volume 159 of Graduate Texts in Mathematics.
Springer-Verlag, New York, 1995.
[5] Theodore W. Gamelin. Complex analysis. Undergraduate Texts in Mathematics. Springer-Verlag, New
York, 2001.
[6] Robert E. Greene and Steven G. Krantz. Function theory of one complex variable, volume 40 of Graduate
Studies in Mathematics. American Mathematical Society, Providence, RI, second edition, 2002.
[7] Serge Lang. Complex analysis, volume 103 of Graduate Texts in Mathematics. Springer-Verlag, New
York, fourth edition, 1999.
[8] Reinhold Remmert. Theory of complex functions, volume 122 of Graduate Texts in Mathematics.
Springer-Verlag, New York, 1991. Translated from the second German edition by Robert B. Burckel, Readings in Mathematics.
[9] Walter Rudin. Real and complex analysis. McGraw-Hill Book Co., New York, third edition, 1987.

67