Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
COMPLEXAS
Carlos A. A. Florentino
Junho 2011
Contedo
Prefcio
5
7
7
7
10
12
13
16
17
17
19
20
22
22
23
25
25
26
29
31
32
35
37
37
40
40
41
41
43
43
45
46
46
48
49
51
51
3
CONTEDO
6.2.
6.3.
6.4.
6.5.
52
52
53
54
55
55
56
57
58
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
Semiplano superior:
H := {z C : z > 0}
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.
:=
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
i
y
y
f (z0 ) = lim
(x0 ,y0 )
10
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 )] =
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
11
n=0 an (z
z0 )n o nmero
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 ,
12
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)
=
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
z
)
0
0
n=0 n
analtica em todos os pontos de .
O seguinte resultado uma consequncia imediata do Corolrio anterior.
13
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
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
g (s) =
it
f (1 s)z + re
it
re dt =
2
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
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
(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
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),
(n)
n!
(z0 ) =
2
f (reit + z0 )
dt
(reit )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
(b) Determine f ( i
2 ).
CAPTULO 2
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 +
18
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 ).
|zz0 |=r
f (z)
dz,
(z z0 )n+1
n=0
onde
bn
n=1 (zz0 )n
an (z z0 )n +
n=1
bn
,
(z z0 )n
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. ...
19
Por
vezes, e de modo arecordar os termos envolvidos nesta definio, escrevemos tambm
f (z)dz em lugar de f .
20
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,
21
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 .
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
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.
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
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
26
Demonstrao. Exerccio.
an1
z
a1
z n1
a0
zn |
<
|an |
2 ,
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 )|
28
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
29
O resultado anterior tem uma interessante interpretao geomtrica, que se deixa como
exerccio ao leitor. (Exerccio ??)
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.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)
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
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)
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
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.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
33
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=
az+b
cz+d .
34
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 {}.
az+b
d .
a
z+ bc
az+b
c
=
cz+d
z+ dc
bcad
6= 0).
c2
a
c
e=
z+ dc
+,
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.
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
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
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
3Recorde que duas transformaes de Mbius S e T dizem-se conjugadas se existir uma transformao
CAPTULO 4
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
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 .
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.
39
40
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
n0
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
CAPTULO 5
44
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
45
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
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
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.
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
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.
(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
f :D
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 ) | <
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
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().
z f
= 0. O mesmo se aplica a v = f .
u
z
uma funo
52
6. FUNES HARMNICAS
u
z
Temos tambm:
53
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.
54
6. FUNES HARMNICAS
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
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
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.
1
2,
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. ...
56
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
z n1
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
Demonstrao. Fcil.
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.
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
(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
n=1
Ek (
z
),
zn
wZf
58
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.
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
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.
61
n
X
1
f (z) dz = 0,
Res(f, zk ) =
2i P
k=1
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
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.
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) =
1
w (zw)2 .
63
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
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
(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 .
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
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)
(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