Dina Mica

Captulo 1
Introduo
1.1 Nota histrica
O campo da dinmica complexa analtica tem sofrido um rpido desenvolvimento nos lti-
mos 20 anos. Depois de um perodo de relativa dormncia, o campo de estudo resurgiu em
1980 devido a algumas imagens, bastante intrigantes, obtidas com o auxlio de computa-
dores do conjunto de Mandelbrot assim como a novos avanos na matemtica preconizados
por Douady, Hubbard, Sullivan e outros.
Assim, este campo experimentou dois perodos de evoluo de curta durao, mas com
um crescimento vigoroso e profcuo. As suas origens remontam aos nais do sculo XIX e
incio do sculo XX. Nesta altura, matemticos como Leau, Schroder, Koenings, Bottcher,
entre outros, interessaram-se pelo comportamento das funes complexas quando iteradas.
O trabalho inicialmente focava-se no comportamento das mesmas junto aos pontos xos.
Nos anos 1918-20 uma dramtica mudana ocorreu quando, graas aos esforos de dois
matemticos franceses Julia e Fatou, se comeou a estudar no apenas o comportamento
local das funes mas tambm o comportamento global das mesmas, ao estudar a dinmica
das funes fora dos pontos xos. Por vezes os resultados das iteraes eram quase pre-
visveis e outras vezes o comportamento assumia-se como altamente instvel, e que agora
conhecemos como comportamento catico. Em memria da contribuio dada por estes
dois matemticos franceses no estudo da dinmica, designamos o conjunto estvel no plano
complexo de conjunto de Fatou, enquanto que a regio catica conhecida por conjunto
de Julia.
Numa srie de trabalhos, nos anos vinte, Fatou e Julia, descreveram de forma fascinante
muitas das propriedades destes conjuntos para transformaes racionais. No entanto, na
tentativa de classicar toda a dinmica do conjunto de Fatou eles chegaram a um impasse.
Eles no consideraram a hiptese de existirem domnios errantes, os quais eles no podiam
provar a sua existncia ou no. Estes domnios so agora conhecidos por discos de Siegel.
Com este entrave o trabalho na dinmica complexa abrandou, e no houve mais algum
trabalho que se destacasse na rea durante os quinze anos seguintes.
Em 1940, Siegel mostrou que os discos de Siegel existem de facto na dinmica complexa.
Esta descoberta veio contribuir para uma melhor classicao das regies estveis. Mais
1
2 Introduo
tarde, Baker estendeu o trabalho de Julia e Fatou a outras classes de funes, mostrando
durante a sua investigao que outros tipos de comportamento estvel podem ocorrer para
funes inteiras e funes holomrcas.
O segundo maior perodo de actividade da dinmica complexa comeou em 1980
quando Mandelbrot usou grcos obtidos por computador para estudar a dinmica com-
plexa. A sua descoberta do conjunto de Mandelbrot catapultou a rea e promoveu o in-
teresse de outros matemticos em retomar os estudos neste campo. Numa rpida sucesso
de eventos, vericou-se a introduo de transformaes quase-conformes, o que permitiu
a Sullivan provar o teorema dos domnios no errantes, que veio completar a classicao
de dinmicas estveis, classicao essa que foi iniciada por Fatou e Julia. Com o aparec-
imento do espao dos parmetros para polinmios quadrticos, introduzido por Douady,
surge o desenvolvimento de tcnicas que permitiram a classicao de quase todas as
dinmicas quadrticas, cando por resolver a questo da conectividade do conjunto de
Mandelbrot.
Logo aps estes trabalhos estendeu-se o estudo a outros tipos de sistemas dinmicos
complexos, incluindo transformaes racionais e polinmios de grau superior, que surgem
do mtodo de Newton, e a funes inteiras e holomrcas.
1.2 A esfera de Riemann
Ao analisarmos a funo Q(.) = .
2
, com [.[ < 1, podemos vericar que a iterao desta
funo leva a que Q
a
(.) 0, e que Q
a
(.) caso [.[ 1. Assim, neste caso, o
zero e o innito podem ser vistos como dois pontos xos atractores, mas temos de juntar
Q() = para que de facto o innito seja considerado de ponto xo. A questo que o
ponto innito no pertence a C. Consideremos H(.) =
1
:
. A transformao H transforma
o zero no innito e vice versa, e ainda HQH
1
= Q. Pela conjugao anterior podemos
vericar que o comportamento de Q junto ao zero ser o mesmo do que junto ao innito.
Ou seja, podemos considerar o innito como sendo mais um ponto do plano complexo, e
assim considerar o plano complexo estendido C
o
= C ' . Se identicarmos cada
ponto do plano com um nico ponto de uma esfera denimos a esfera de Riemann.
Para obter uma mtrica emC
o
identiquemos C com o plano horizontal (r
1
, r
2
, r
3
)
R
3
: r
3
= 0 em R
3
e constroi-se C
o
compacticando o plano com o ponto innito.
Seja o a esfera no espao tridimensional com raio unitrio e centro na origem, e de-
notemos o ponto da esfera (0, 0, 1) por . Projectamos agora cada ponto . de C de forma
linear, em direco a e obtemos um ponto .
+
na esfera o distinto de . A transformao
: . .
+
designada de projeco estereogrca de C em o. Se [.[ for sucientemente
grande, ento verica-se que .
+
aproxima-se de , e assim denimos () = . Com
esta denio uma transformao bijectiva de C
o
em o e vamos usar este facto para
construir a mtrica o em C
o
custa da mtrica euclidiana em R
3
.
Consideremos dois pontos . e n em C, ento
o(., n) = [(.) (n)[ = [.
+
n
+
[ =
2[. n[
(1 [.[
2
)
12
(1 [n[
2
)
12
.
1.2 A esfera de Riemann 3
Podemos concluir que enquanto . estiver em C e se zermos n a tender para o ponto
podemos deduzir que
o(., ) = |i:
&o
o(., n) =
2
(1 [.[
2
)
12
.
Como o(., n) o comprimento euclidiano do arco que une .
+
a n
+
, o designada de
mtrica esfrica em C
o
.
A mtrica euclidiana em C no suciente para lidar com o ponto innito, mas a
mtrica esfrica trabalha com todos os pontos em C
o
da mesma forma, e a o ponto
innito visto como um outro ponto qualquer perdendo qualquer signicado especial.
4 Introduo
Captulo 2
Dinmica das funes racionais
2.1 Transformaes racionais
Uma transformao racional uma funo da forma 1(.) =
1(:)
Q(:)
, onde 1 e Q so
polinmios no simultneamente nulos. Se 1 o polinmio nulo, ento 1 a funo
constante 1(.) = 0. Se Q o polinmio nulo, ento 1 a funo constante 1(.) = .
Se Q(.) = 0 e 1 no o polinmio nulo, ento 1(.) denida como sendo e denimos
1() como o limite de 1(.) quando . .
Suponhamos agora que 1 e Q so polinmios no nulos. Diz-se que o quociente 1(.)
est reduzido se 1 e Q no tm factores comuns, e trabalha-se com 1(.) depois de sim-
plicar os factores comuns aos dois polinmios. O grau de 1 pode ser denido como o
nmero mximo de pr-imagens de um dado ponto ., ou ento como o valor mximo dos
graus de 1 e Q, ou seja
qran(1) = maxqran(1), qran(Q).
Se 1 for uma transformao constante 1(.) = c, com c ,= 0, teremos qran(1) = 0
, valor esse que vamos adoptar por conveno para os casos 1(.) = 0 ou 1(.) = .
As transformaes racionais so caracterizadas como transformaes analticas de C
o
em C
o
, sendo as nicas a possuir esta propriedade. No conjunto C
o
usaremos a mtrica
esfrica, j que nos permite trabalhar com o como se de qualquer outro ponto se tratasse.
2.1.1 rbitas
Consideremos uma funo racional e um ponto inicial .
0
, de C
o
. Tomemos por conveno
que 1
0
= 1, com 1 a representar a funo identidade.
A rbita de .
0
o conjunto das sucessivas imagens por composio sucessiva de 1 do
ponto .
0
,
.
0
, .
1
= 1(.
0
), .
2
= 1(.
1
), ..., .
a
= 1(.
a1
)
ou seja,
.
0
, .
1
= 1(.
0
), .
2
= 1(1(.
0
)), ..., .
a
= 1
a1
(1(.
0
))
5
6 Dinmica das funes racionais
.
0
= 1
0
(.
0
), .
1
= 1
1
(.
0
), .
2
= 1
2
(.
0
), ..., .
a
= 1
a
(.
0
).
Denio 2.1.1 A rbita futura de .
0
o conjunto de pontos O
+
(.
0
) = .
I
= 1
I
(.
0
),
/ = 0, 1, 2, ..., :. Se 1 for um homeomorsmo podemos denir a rbita total de .
0
como
o conjunto de pontos .
a
= 1
a
(.
0
) para : Z, e a rbita passada de .
0
, O
(.
0
) = .
I
=
1
I
(.
0
), / = 0, 1, 2, ..., :.
Uma funo do tipo 1(.) =
o:+b
c:+o
, ad /c ,= 0, conhecida como transformao de
Mbius, um exemplo de uma transformao de grau 1, onde convencionamos 1() =
o
c
e 1
_
o
c
_
= com c ,= 0, enquanto que 1() = , com c = 0.
Estas transformaes pertencem ao pequeno grupo de funes cuja iterao pode ser
determinada explicitamente e onde podemos observar que, para a vasta maioria destas
funes, .
a
converge para um ponto independentemente do valor inicial. Podemos dar o
exemplo da funo 1(.) =
3:2
2:1
que por induo vemos que
1
a
(.) =
(2: 1). 2:
2:. (2: 1)
em que 1
a
(.) 1, : , para todo o .. Isto mostra que os pontos .
a
eventualmente
retornam a uma vizinhana de 1 e convergem para este ponto. Como nota podemos
destacar que ao tomarmos um ponto da vizinhana de 1, de raio `, com ` 0 e muito
pequeno, a iterao afasta-se de 1, pelo que o ponto 1 no pode ser visto como um ponto
que atrai as rbitas de outros pontos.
2.1.2 Pontos xos
Ao iterarmos diversos pontos em C de uma funo racional observamos que alguns pontos
tm uma rbita sempre constante, estes pontos so designados de pontos xos.
Denio 2.1.2 Um ponto designado de ponto xo de 1 quando 1() = .
Os pontos xos numa dada transformao racional so ento obviamente as solues
da equao 1(.) . = 0, e pelo Teorema Fundamental da lgebra, esta equao ter
exactamente : solues, no necessariamente distintas, com : = qran[1(.) .Q(.)[.
Caso 1(.) = .Q(.) ento : = 1, como convencionamos acima, e o ponto xo ser o .
Considerando 1(.) a transformao de Mbius, : assumir o valor 2. Assim esta
transformao poder ter um ponto xo nico, quando a soluo repetida, ou ento dois
pontos xos, quando as solues so distintas.
Vamos supor que 1 tem apenas um ponto xo = . Ento 1(.) = . ,, , ,= 0,
e assim 1
a
(.) = . :,, e teremos que, para todo o ., 1
a
(.) , quando : .
Consideremos agora que o ponto xo nico ,= . Fazendo q(.) =
1
:
, note-se que
q() = , e o(.) = q1q
1
(.), com esta ltima transformao a xar apenas o innito e
a representar uma translao dos valores ., da que o
a
(.) , quando : , sendo
2.1 Transformaes racionais 7
o
a
(.) = q1
a
q
1
(.). Efectuando uma substituio de . por q(.), teremos
o
a
(q(.)) = q1
a
q
1
(q(.)) =
= o
a
q(.) = q1
a
(.) =
= q
1
o
a
q(.) = 1
a
(.)
e daqui 1
a
(.) q
1
() = . Ou seja, para uma transformao de Mbius que tenha
um nico ponto xo teremos, para todo o ., 1
a
(.) .
Vamos supor agora que 1 tem dois pontos xos diferentes, isto ,
1
,=
2
. Consid-
eremos inicialmente que estes dois pontos xos so o 0 e o . Ento 1 assume a forma
1(.) = /. e 1
a
(.) = /
a
.. Os pontos xos de 1
a
(.) so 0 e , enquanto que para os
outros . teremos, 1
a
(.) 0 se [/[ < 1; 1
a
(.) se [/[ 1, e, [1
a
(.)[ = [.[ se
[/[ = 1, com este ltimo caso a ramicar-se em dois, pois se / for uma raiz ensima da
unidade 1
a
a identidade, se / no for uma raiz ensima da unidade, 1
a
(.) so densos
na circunferncia com centro na origem e raio [.[.
Se os dois pontos xos forem agora diferentes do zero e do innito, construemos uma
funo q(.) =
:
1
:
2
que transforma o
1
no zero e
2
no innito. Seja o = q1q
1
, o xa o
zero e o innito. Como o transformado de q so crculos, vemos que se 1 tem dois pontos
xos ento, ou 1
a
converge para um destes pontos, ou move-se ciclicamente num conjunto
nito de pontos, ou formam um subconjunto denso de alguma circunferncia [Beardon].
Assim a dinmica das transformaes racionais de grau 1 facilmente perceptvel, e por
isso o grosso do estudo das transformaes racionais recai sobre as que tm grau superior
ou igual a 2.
A localizao dos pontos xos de uma funo torna-se num mero processo de clculo,
sendo assim, o trabalho car mais facilitado se soubermos de antemo quantos existem,
logo importante saber quantos pontos xos ter uma transformao de grau d, com
d _ 1.
Consideremos ), uma transformao com / pontos xos em , e a igualdade seguinte
,),
1
(.) .
[. ,()[
I
=
_
,),
1
(.) ,,
1
(.)
),
1
(.) ,
1
(.)
_
_
),
1
(.) ,
1
(.)
[,
1
(.) [
I
_
.
_
_
,
1
(.) ,
1
,()
I
[. ,()[
I
_
.
Cada factor do membro da direita desta igualdade tende para um valor no nulo quando
. tende para ,(), pois, por exemplo, o primeiro factor da forma
,(n) ,()
n
,
e uma utilizao da Frmula Integral de Cauchy aplicada a um contorno fechado centrado
em ,(), mostra que este tende para um valor no nulo, nomeadamente ,
t
(), quando
ambos n e tendem para . No segundo factor, a prpria denio de / implica que .
tende para ,(), e assim tende tambm para uma valor no nulo. O terceiro factor por
sua vez tende para [,
t
()[
I
. Este raciocnio prova o lema seguinte.
Lema 2.1.1 Se for um ponto xo em C de uma transformao analtica ), e , uma
transformao analtica, injectiva e nita em alguma vizinhana de , ento ,),
1
tem
o mesmo nmero de pontos xos em ,() que ) tem em .
Para extendermos este resultado a C
o
, basta conjugar a transformao em causa
para que, por exemplo, o ponto xo , quando surgir, se transra para um ponto xo
, e contar o nmero de pontos xos da funo conjugada. Pelo lema anterior vemos
perfeitamente que a conjugao no afecta o nmero de pontos xos. Assim podemos
deduzir o seguinte resultado para as transformaes racionais.
Teorema 2.1.1 Seja um ponto xo de uma transformao racional 1, e seja q uma
transformao de Mbius. Ento q1q
1
tem o mesmo nmero de pontos xos em q() de
que 1 tem em .
Depois de assegurar que a conjugao no altera o nmero de pontos de uma transfor-
mao racional podemos ento deduzir o teorema seguinte.
Teorema 2.1.2 Se d _ 1, uma transformao racional de grau d tem precisamente d 1
pontos xos.
Demonstrao: Qualquer transformao racional 1 conjugada com uma transfor-
mao racional o que no xe o , e o nmero de pontos xos de 1 e de o o mesmo,
assim como os seus graus.
Assuma-se que 1 no xa o . Faamos 1 = 1,Q, na forma reduzida, e seja um
ponto xo qualquer de 1, que tem de ser nito. Como Q() ,= 0 o nmero de zeros de
1(.) ., em , exactamente o mesmo nmero de zeros de 1(.) .Q(.), em . Ento o
nmero de pontos xos de 1 em C o nmero de solues de 1(.) = .Q(.), em C. Como
1 no xa o innito ento temos
qran(1) _ qran(Q) = qran(1).
e assim o grau de 1(.) .Q(.) exactamente qran(1) 1 = d 1.
A cada ponto xo de uma transformao racional 1 est associado um nmero
complexo, a que designamos de multiplicador :(1, ) de 1 em . Se C o multiplicador
1
t
(). Este multiplicador invariante sob conjugao, o que nos permite estabelecer
:(1, ) = :((q1q
1
, q())),
sendo q uma transformao de Mbius que transforma o innito num valor de C.
De acordo com a multiplicador :(1, ) podemos classicar os pontos xos, classicao
esta que se aplica a qualquer funo analtica, em particular s transformaes racionais
e sua inversa local, caso exista.
Denio 2.1.3 Supondo que um ponto xo de uma funo analtica ) temos que
:
(a) super-atractor se )
t
() = 0;
(b) atractor se 0 < [)
t
()[ < 1;
(c) repulsor se [)
t
()[ 1;
(d) racionalmente indiferente se )
t
() uma raiz da unidade;
(e) irracionalmente indiferente se [)
t
()[ = 1, mas )
t
() no uma raiz da unidade.
Por exemplo, 1(.) = .
2
tem grau dois, e logo tem trs pontos xos em C
o
. Estes
pontos xos so o zero, a unidade e o innito, pois 1(0) = 0, 1(1) = 1 e 1() = .
Os respectivos multiplicadores so :(1, 0) = 0, o que indica que este ponto um super-
atractor, :(1, 1) = 2, sendo a unidade um ponto repulsor e :(1, ) = o
t
() com q() =
e o conjugada com 1 por q.
Continuemos a considerar 1(.) = .
2
e seja .
0
um ponto fora do crculo unitrio, [.
0
[
1. Ao iterarmos .
0
por 1 vericamos que o mdulo de .
0
vai aumentar exponencialmente,
[.
a
[ = [.
0
[
2
n
, enquanto que o argumento vai sempre duplicando. Assim a rbita de
qualquer valor inicial, fora do crculo unitrio, sujeita a uma iterao por 1 converge para
o innito.
Seja .
0
um ponto qualquer dentro do crculo unitrio, [.
0
[ < 1. Ao iterarmos, agora,
.
0
por 1 o mdulo cresce da mesma forma do que no caso anterior, mas [.
a
[ 0 e assim
as rbitas convergem para a origem.
2.1.3 Pontos peridicos
Do raciocnio anterior s faltou analisar os pontos que esto na circunferncia unitria
de centro na origem, ou seja, os pontos do tipo .
0
= c
2ic
. A estrutura da rbita de-
pende agora do valor c. Se c = 0, teremos uma rbita do tipo 1, 1, ..., 1, ou seja, .
0
xo por 1. Se c = , a rbita do tipo -1, 1, 1, ..., ou seja, toma dois valores
distintos. Se c =
j
2
k
, para quaisquer inteiros positivos / e j, a rbita consiste em
c
ij2
k1
, c
ij2
k2
, ..., 1, 1, .... Se c =
j
q
, com impar, a rbita assume-se como per-
idica.Ou seja, a partir de uma certa iterao, toma o valor inicial. Por exemplo, para
c = 2,7, teremos a rbita c
2i7
, c
4i7
, c
8i7
, c
2i7
, ..., que volta ao valor inicial ao m
da 3
o
iterao. O valor c
2i7
diz-se um ponto peridico de periodo 8 sob a iterao de 1.
Denio 2.1.4 Um ponto .
0
diz-se peridico, de periodo :, sob 1, se 1
a
(.
0
) = .
0
.
Se considerarmos c = 1,12, neste caso par, teremos a rbita c
i6
, c
i3
, c
2i3
, c
4i3
, c
2i3
, ...,
e vericamos que na 4
o
iterao obteve-se o valor da 2
o
iterao. O valor c
i6
diz-se um
ponto pr-peridico ou eventualmente peridico, de periodo 2, sob a iterao de 1.
Denio 2.1.5 Um ponto .
0
pr-peridico, ou eventualmente peridico, de periodo :,
se .
0
no peridico, mas existe um : 0 tal que 1
a+i
(.
0
) = 1
i
(.
0
), com i :. Isto ,
1
i
(.
0
) peridica para i :.
Quando c irracional, a rbita innita, e teremos sempre .
a
,= .
n
, para qualquer
: ,= :. de considerar que [.
a
.
n
[ aproxima-se de zero innitas vezes.
Com este breve estudo vericamos que a transformao . .
2
, permite aos valores,
sob sua iterao, terem diferentes tipos de rbita: peridica, pr-peridica, innita e con-
vergindo para um ponto xo, e, innita e catica. So estes tipos de rbita essencialmente
que podemos encontrar nas transformaes racionais.
Denio 2.1.6 Um ponto peridico .
0
= 1
a
(.
0
) designado de parablico se :(1, .
0
) =
1, mas 1
a
no a transformao identidade.
Por exemplo os dois pontos xos da transformao )(.) =
:
:1
tm ambos multiplicador
1 mas no so parablicos j que 1 1(.) = ..
Um ponto peridico de periodo : classicado como um ponto xo de 1
a
, mas mais
pode ser dito acerca disso. Por conjugao, podemos assumir que a rbita no contm o
e escrever
n
= 1
n
(), : = 0, 1, 2, ...
e assim
n+a
=
n
. Por : aplicaes da regra da cadeia, obtemos
(1
a
)
t
(
n
) =
a1
H
I=0
1
t
(1
I
(
n
))
=
a1
H
I=0
1
t
(
I
),
sendo o 2
c
produto um rearranjo do primeiro. Este facto mostra que a derivada (1
a
)
t
tem o mesmo valor em cada ponto
)
da rbita, e assim cada ponto
)
classicado
exactamente da mesma maneira do que outro
I
na rbita. Como consequncia disso
podemos estender a classicao dada aos pontos peridicos e falar no multiplicador da
rbita, rbitas atractoras, repulsoras, etc.
2.1.4 Pontos crticos
No estudo da dinmica da transformaes racionais existem uns pontos que so muito
importantes, pois estes inuenciam em muito a dinmica da transformao, so os pontos
crticos de uma transformao.
Denio 2.1.7 Os pontos crticos de uma transformao 1 so os pontos onde 1 no
homeomorsmo, sendo 1 um homeomorsmo local, excepo destes pontos em nmero
nito.Os pontos crticos no plano complexo so os zeros de 1
t
(.), e para ver se o
ponto crtico basta efectuar uma mudana de varivel.
Sendo .
0
um ponto crtico de 1, esta transformao racional no injectiva em qual-
quer vizinhana de .
0
, sendo o seu comportamento nesta vizinhana muito semelhante ao
comportamento que tem numa vizinhana de zero a transformao . .
2
.
Denio 2.1.8 Um valor crtico a imagem de um ponto crtico.
Os valores crticos tm poucas pr-imagens e atravs do Teorema de Riemann-Hurwitz
podemos assegurar que uma transformao racional de grau d tem exactamente 2d 2
valores crticos.
Teorema 2.1.3 (Relao de Riemann-Hurwitz): Sendo
1
(.) a valncia de 1 em
., temos para qualquer transformao racional, no constante, 1, que

[
1
(.) 1[ =
2 (qran(1) 1).
Demonstrao: Vamos mostrar que a igualdade se verica para qualquer conjugada
de 1, j que ambos os membros so invariantes sob conjugao.
Selecionemos um ponto tal que 1() ,= ,
1
() = 1 e que 1(.) = tenha d
distintas solues, e construa-se uma transformao de Mbius q tal que q() = e
q(1()) = 1. Se escrevermos agora o = q1q
1
e transportando as propriedades de 1 para
o, e renomeando o como sendo 1, vericamos que podemos assumir que:
(i) 1() = 1;
(ii) 1 tem plos distintos .
1
, .
2
, .
3
, ..., .
o
(todos em C);
(iii)
1
() = 1.
Estas condies implicam que a valncia de 1 em , e em cada .
)
, um, ento a
soma
[
1
(.) 1[ , efectuada sobre todos os complexos . excepto para os pontos .
)
, o
nmero de zeros de 1
t
(.).
Considerando 1(.) =
1(:)
Q(:)
, na forma reduzida, ento
1
t
(.) =
1
t
(.)Q(.) 1(.)Q
t
(.)
Q(.)
2
,
e esta derivada tambm est na forma reduzida, caso contrrio o numerador e o de-
nominador tm um zero em comum, que ter de ser algum .
)
, e ento 0 = 1
t
(.)Q(.
)
) =
1(.
)
)Q
t
(.
)
), mas ou 1(.
)
) = 0 que falso, pois 1,Q est na forma reduzida, ou Q
t
(.
)
) = 0,
que tambm falso j que .
)
so os zeros simples de Q.
Assim a soma
[
1
(.) 1[ , alm do nmero dos zeros de 1
t
(.) tambm o grau de
1
t
Q1Q
t
, ou de forma equivalente o grau do polinmio 1
t
(.)Q(.)
2
, e vamos determinar
o grau deste polinmio encontrando a sua ordem de crescimento para o . Primeiro,
verica-se que Q(.)
2
,.
2o
tende para um limite nito no nulo quando . . Depois,
constatando que
1
() = 1, quer dizer que 1 injectiva em alguma vizinhana de e
1(1,.) = 1 . ..., junto origem, onde ,= 0. Diferenciando ambos os lados desta
ltima igualdade, e substituindo . por 1,., vericamos que .
2
1
t
(.) tende para um limite
nito no nulo em e assim
[
1
(.) 1[ = 2d 2.
Deste teorema sai o seguinte corolrio, que relaciona o grau das transformaes racionais
com o nmero dos seus pontos crticos.
Corolrio 2.1.1 Uma transformao racional de grau positivo d tem no mximo 2d 2
pontos crticos em C
o
. Um polinmio de grau positivo d tem no mximo d 1 pontos
crticos.
Convenciona-se o valor
1
(.) 1 como sendo a multiplicidade do ponto crtico.
Atravs dos pontos crticos de uma transformao 1 podemos localizar o conjunto dos
valores crticos de 1
a
da forma como nos mostra o seguinte teorema.
Teorema 2.1.4 Seja C o conjunto dos pontos crticos de uma transformao racional 1.
Ento o conjunto dos valores crticos de 1
a
o conjunto
1(C) ' 1
2
(C) ' ... ' 1
a
(C) = '
a
I=1
1
I
.
Demonstrao: Seja . um elemento do conjunto '
a
I=1
1
I
, ento existe uma sequncia
.
0
, .
1
= 1(.
0
), ..., . = 1(.
a1
)
em que algum dos .
)
est em C. Como as valncias respeitam a regra da cadeia, ou seja,
)j
(.
0
) =
)
(q(.
0
))q(.
0
),
teremos que a valncia de 1
a
em .
0
excede um. Ento . um valor crtico de 1
a
. No
outro sentido, se . um valor crtico de 1
a
, tem de existir alguma sequncia em que a
valncia de 1
a
em .
0
exceda um, e assim .
)
est em C.
2.1.5 Pontos excepcionais
Denio 2.1.9 Um ponto . designado de excepcional para 1 quando a classe de equiv-
alncia [.[ nita, sendo [.[ o conjunto mais pequeno e invariante que contm .. O con-
junto dos pontos excepcionais denotado por 1
1
.
A classe [.[ s nita em raras circunstncias, por este facto o nome aplicado a estes
pontos . de excepcionais. Nas transformaes racionais 1 possvel vericar quantos
pontos destes iremos ter presentes.
Teorema 2.1.5 Uma transformao racional 1 de, pelo menos, grau 2 tem, quando
muito, dois pontos excepcionais. Se 1
1
= , ento 1 conjugada com um polinmio
que faz corresponder ao . Se 1
1
=
1
,
2
, com
1
,=
2
, ento 1 conjugada com
alguma transformao . .
o
, onde
1
e
2
correspondem ao zero e ao innito.
Demonstrao: A invarincia de 1 = 1
1
fcil de ver pela sua denio e consti-
tuio.
Vamos supor que 1 nito com / elementos. Como 1 nito, e 1 transforma-o
nele mesmo, a transformao actua como uma permutao de 1, e assim para um inteiro
adequado , 1
q
a transformao identidade de 1 nele mesmo. Agora supondo que 1
q
tem grau d segue-se que para todo o n em 1, a equao 1
q
(.) = n tem d solues que
esto todas em n, e assim, pela relao de Riemann-Hurwitz aplicada a 1
q
, temos
/(d 1) _ 2d 2
2.2 Estabilidade 13
Como d _ 2 temos / _ 2. Assim 1 tem, quando muito, dois elementos. Logo 1 tem,
quando muito, dois pontos excepcionais.
Segue-se, atravs de uma adequada conjugao, que existem quatro possibilidades a
considerar,
(i) 1 =
(ii) 1 = = [[
(iii) 1 = 0, , [0[ = 0, [[ =
(i) 1 = 0, , [0[ = [[
Se se vericar (ii) ento 1 um polinmio, tendo 1
1
= . No caso de se
vericar (iii), ento 1 tambm um polinmio, s que da forma . a.
o
para algum
inteiro positivo d. Finalmente se se vericar (i) ento 1(0) = , 1() = 0, e 1 tem
todos os seus zeros e plos em 0, , e, ento da forma . a.
o
, para algum inteiro
negativo d.
A prova anterior mostra, no sentido comum, que a maioria das transformaes racionais
no possuem pontos excepcionais.
Uma outra boa caracterizao dos pontos excepcionais dada pelo teorema seguinte,
em que identicamos os pontos excepcionais pela sua rbita passada.
Teorema 2.1.6 A rbita passada O
(.) de . nita se e s se . um ponto excepcional.

Demonstrao: Se . for excepcional a sua rbita de facto nita, e assim basta
provarmos que se O
(.) nita ento . um ponto excepcional.

Primeiro denimos os conjunto no vazios
1
a
= '
na
1
n
.
e assim 1
1
(1
a
) = 1
a+1
e
[.[ O
(.) = 1
0
1
1
1
2
....
Agora assumimos que O
(.) nita. Ento cada 1

a
nita, e ento existe algum :
com 1
n
= 1
n+1
; isto signica que 1
1
(1
n
) = 1
n
e assim 1
n
completamente invari-
ante. Segue-se que 1
n
contm algumas classes de equivalncia [n[, e como subconjunto
de [.[, ter de ser [.[, ento [.[ nita e [.[ = O
(.).
2.2 Estabilidade
2.2.1 Familia normal
Vimos ento que existem rbitas que se comportam de forma previsvel e outras que se
comportam de forma catica e imprevisvel. Tentemos claricar melhor estes conceitos,
introduzindo inicialmente o conceito de famlia normal de funes.
Denio 2.2.1 Uma famlia de funes analticas complexas )
c
denidas num domnio
1 chamada de famlia normal se cada subconjunto innito contm uma subsequncia
que converge uniformemente na mtrica esfrica, em qualquer subconjunto compacto de
1.
Pelo Teorema de Arzel-Ascoli isto o mesmo que dizer que a famlia equicontnua,
na mtrica esfrica, em qualquer subconjunto compacto de 1.
Montel na apresentao da sua tese (1907) explicitou o seguinte teorema, que uma
ferramenta bsica na descrio de famlias normais de funes.
Teorema 2.2.1 A famlia 1 de funes analticas em 1 limitadas por alguma constante
normal.
Demonstrao: Tomemos o disco unitario [.[ < 1. Se ) 1 satisfaz [)[ _ ' e se
[)[ < r < 1, usando as desigualdades de Cauchy temos que [)
t
(.)[ _
A
1v
. Considerando o
domnio 1 coberto por discos temos ento que a famlia equicontnua, logo normal.
Um importante contributo para a caracterizao das famlias normais o teorema de
Montel. Primeiro vejamos o seguinte teorema.
Teorema 2.2.2 Se 1 = C0, 1 a esfera de Riemann perfurada trs vezes, ento 1
o
conformalmente equivalente ao disco unitrio ^ = [.[ < 1.
Demonstrao: J que ^ conformalmente equivalente parte superior do plano
H = . C : Im(.) 0, suciente encontrar uma transformao de cobertura de H em
1. Vamos construir esta transformao, a funo modular, da forma seguinte. Seja 1 =
. : 0 < Io(.) < 1, [. 1,2[ 1,2. Ento existe uma transformao c que transforma 1
em H xando os valores 0, 1, , pelo teorema de transformao de Riemann. Denotando
por 1
+
a reexo de 1 em [. 1,2[ = 1,2. Pelo princpio de reexo de Schwarz,
podemos estender c a uma transformao conforme de 1 ' 1
+
em C(, 0[ ' [1, ).
Continuando a reexo podemos estender c a todos os 0 < Io(.) < 1, Im(.) 0
tomando os seus valores em C0, 1. Reetindo atravs das linhas verticais Io(.) = :
para : inteiro, podemos estender c a todo o semiplano H. Pela construo vemos que a
transformao estendida c uma transformao de cobertura de H sobre 1.
Teorema 2.2.3 (Montel) Seja 1 uma famlia de funes analticas denidas num domnio
1. Se a reunio '
)1
)(1) omite trs pontos em C
o
, ento 1 uma famlia normal.
Demonstrao: Assumindo que 1 um disco, e por composio por uma transfor-
mao de Mbius, podemos assumir que todas as funes em 1 no assumem os valores
0, 1 e . Seja o = C0, 1. Pelo teorema anterior existe uma transformao de cobertura
c : ^ o. Seja )
+
o levantamento de ) 1, de tal modo que )
+
c = ). Ento
)
+
: ) 1 uma famlia normal j que uma famlia limitada em 1, logo 1 uma
famlia normal.
2.2 Estabilidade 15
2.2.2 Conjuntos de Julia e Fatou
Usando as famlias normais podemos denir ento o que se entende por comportamento
catico ou previsvel de uma rbita.
Denio 2.2.2 O ponto . um ponto estvel para 1 se existe uma vizinhana l de
. tal que 1
a
forma uma famlia normal em l. O conjunto dos pontos estveis de 1
designa-se de conjunto normal ou conjunto de Fatou, e vamos rapresent-lo por 1
1
.
Denio 2.2.3 O conjunto instvel o complementar de 1
1
, que conhecido por con-
junto de Julia, e vamos denot-lo por J
1
.
O conjunto de Fatou um conjunto aberto por denio; ele tem de ser ou vazio ou
denso em C
o
e frequentemente apresenta uma estrutura desconexa. O conjunto de Julia
tem de ser, assim, um conjunto fechado e como veremos no vazio. Pela iterao de uma
funo as imagens de elementos do seu interior continuam no seu interior, sendo assim
ambos os conjuntos completamente invariantes.
Proposio 2.2.1 J
1
no um conjunto vazio.
Demonstrao: Vamos supor que o conjunto era vazio. Ento para algum ., podemos
encontrar uma vizinhana l e uma subsequncia de interaes 1
a
j
que convergem para
uma funo analtica ) : l C
o
que, pelo princpio da monodromia pode ser estendida
analiticamente a C
o
. Ento ) tem de ser uma funo racional de grau nito. Mas j que
) o limite de funes cujo grau tendem para , esta tem de ter grau innito e temos
uma contradio.
Nos exemplos seguintes vemos dois conjuntos de Julia muito simples, em que o conjunto
de Julia, do segundo exemplo, construdo custa do primeiro, usando a conjugao
topolgica.
Exemplo 2.2.1 Consideremos 1(.) = .
2
. Ento 1
a
(.) = .
2
n
converge para zero se
[.[ < 1 e para se [.[ 1. Logo o conjunto de Julia o conjunto [.[ = 1.
Exemplo 2.2.2 Consideremos 1(.) = .
2
2. Se usarmos o homeomorsmo H(.) =
.
1
:
, em que H : [.[ 1 C
o
[2, 2[, vericamos que H
_
.
2
_
= 1(H(.)) para todo
o . e ento . .
2
e . .
2
2 so topologicamente conjugadas. Logo o conjunto de
pontos que escapam para o C
o
[2, 2[. Assim o conjunto de Julia neste caso o
conjunto de pontos no eixo real [2, 2[.
Proposio 2.2.2 Se . 1
1
ento a sua imagem e todas as suas pr-imagens esto em
1
1
.
Demonstrao: Seja l uma vizinhana de . na qual as iteraes de 1, denidas por
1
a
, formam uma famlia normal. Como 1 analtica ento 1(l) aberto. Se 1
a
j

uma sequncia convergente em l temos que 1
a
j1
uma sequncia convergente em 1(l).
De forma semelhante 1
1
(l) aberto e, em cada componente de 1
1
(l), 1
a
j+1
uma
sequncia convergente.
Assim, como 1 invariante ento, por J ser o seu complementar, temos que o conjunto
de Julia, J, tambm invariante.
O facto do conjunto de Julia ser completamente invariante conduz a que este possua
auto-semelhana. Isto , sempre que 1(.
1
) = .
2
, em J
1
, com 1
t
(.
1
) ,= 0, existe uma
transformao conforme, isomorsmo, de uma vizinhana
1
, de .
1
, em uma vizinhana
2
, de .
2
, que transforma
1
J
1
precisamente em
2
J
1
.
Os pontos do conjunto de Julia exibem, tambm, a propriedade de que qualquer ponto
na sua vizinhana tem uma dinmica em que existe uma dependncia sensvel s condies
iniciais. Ou seja, qualquer mudana nas condies iniciais levam a resultados muito difer-
entes aps um grande nmero de iteraes.
Da proposio anterior tira-se a concluso que 1
1
K = 1
1
e da haver coincidncia
tambm nos respectivos conjuntos de Julia.
Teorema 2.2.4 Para qualquer _ 1 o conjunto de Julia de 1 coincide com o conjunto
de Julia de 1
.
.
Demonstrao: Os conjuntos de Fatou para 1 e 1
.
so iguais, j que 1
.
normal
num conjunto aberto l se e s se 1
a.
normal em l.
Se . J
1
no pode haver alguma vizinhana l para a qual as iteraes de 1 formam
uma famlia normal. Assim pelo Teorema de Montel,

a
1
a
(l) C
o
1
1
, onde 1
1
o
conjunto excepcional e completamente invariante.
Teorema 2.2.5 (Transitividade) Seja .
1
um ponto arbitrrio do conjunto de Julia J
1
C
o
e seja uma vizinhana arbitrria de .
1
. Ento a reunio l de imagens futuras
1
a
() contm todo o conjunto de Julia, e contm todos os pontos de C
o
, excepo de,
quando muito, dois pontos.
Demonstrao: Primeiro notamos que o conjunto complementar C
o
l pode conter,
quando muito, dois pontos. Caso contrrio, como 1(l) l, segue do Teorema de Montel
que l tem de estar contido no conjunto de Fatou, e isto impossvel pois .
1
l J
1
.
De novo, usando o facto de que 1(l) l, vemos que cada pr-imagem de um ponto .
C
o
l tem de pertencer ao conjunto nito C
o
l. Assim, alguma pr-imagem de . ser
peridica, j que . peridico e pertence ao conjunto excepcional 1
1
. Uma vez que o
conjunto de Julia e 1
1
so disjuntos, segue-se que J
1
l. Assim, fazendo pequeno o
suciente tal que C
o
1
1
ento l = C
o
1
1
.
Se 1
1
= c, podemos conjugar 1 de forma a que c = . Como 1
1
completa-
mente invariante, c tem apenas a si mesmo como pr-imagem, assim c ponto crtico com
multiplicidade d 1, onde d o grau de 1, logo 1 um polinmio.
Pode-se vericar que o ponto sempre estvel para um polinmio pois [.[ ',
para ' sucientemente grande, [1
a
(.)[[.[
o
n
.
Se 1
1
= a, / podemos conjugar 1 de forma a que a = 0, / = . De novo, como
1
1
completamente invariante ambos os pontos so crticos com multiplicidade d 1,
2.2 Estabilidade 17
e 1 = c.
o
, para algum c C
o
0. Ambos os pontos de 1 so claramente estveis.
Qualquer transformao que no seja conjugada com uma destas duas transformaes tem
um conjunto excepcional vazio.
Como resultado temos a seguinte proposio.
Proposio 2.2.3 Se J contm um subconjunto no vazio aberto ento J = C
o
.
Demonstrao: Seja l um conjunto aberto no interior de J. Pelo teorema de Montel,
a
1
a
(l) C
o
1
1
e pela invarincia de J, J C
o
1
1
. Como J fechado e 1 contm,
quando muito, dois pontos, J = C
o
.
2.2.3 Conjunto de Fatou vazio
O primeiro caso, em que J = C
o
, sendo o conjunto de Fatou vazio, foi descoberto por
Latts em 1918, com a transformao racional
.
(.
2
1)
2
4.(.
2
1)
Outros casos foram sendo detectados, como por exemplo, Guckenheimer descobriu que a
funo
1(.) =
(. 2)
2
.
2
tambm gozava da mesma propriedade.
Se analizarmos esta ltima funo vericamos que possui dois pontos crticos, um em
. = 0 e o outro em . = 2. Atravs da iterao de 1 vericamos a seguinte rbita 2
0 1 1, o que indica que tanto 0, como 2, possuem rbitas eventualmente
peridicas.
Esta ltima observao leva-nos ao seguinte teorema que estabelece a relao entre os
pontos crticos e o facto do conjunto de Fatou ser o conjunto vazio.
Teorema 2.2.6 Se cada ponto crtico de uma transformao racional 1 eventualmente
peridico, ento J = C
o
.
Tambm a transformao . 1
2
:
2
goza da mesma propriedade j que conjugada
com a proposta por Guckenheimer, assim como todas as transformaes do tipo
. 1
n
.
2
Para obtermos uma caracterizao geral das transformaes que possuem esta pro-
priedade, de o conjunto de Julia ser toda a esfera de Riemann, podemos usar o seguinte
teorema:
Teorema 2.2.7 Seja 1 uma transformao racional. Ento J
1
= C
o
se e s se existe
algum . cuja rbita futura 1
a
(.) : : _ 1 densa na esfera de Riemann.
Demonstrao: Considere-se 1
a
: : _ 1 uma base contvel para a topologia em
C
o
, e 1 o conjunto dos pontos . tais que a rbita futura O
+
(.) densa na esfera: ento
. est em 1 se e s se para todo o /, existe algum : com 1
a
(.) 1
I
e isto implica que
1 =

I1
_
a1
1
a
(1
I
).
Suponha-se agora que 1 = . Seja
I
= C
o
1
I
e
1
I
=

a1
1
a
(
I
),
assim, como 1 = , temos
C
o
=
_
I1
1
I
Pelo teorema de Baires, C
o
no a unio contvel de algum conjunto denso, logo,
para algum /, o fecho de 1
I
tem um interior no vazio, e designemos este interior por
\. No entanto, 1
I
fechado, ento existe algum subconjunto no vazio \ de 1
I
. Isto
signica que para todo o :, 1
a
(\)
I
, assim em \, as funes 1
a
no tomam valores
em 1
I
e assim \ 1
1
. Isto mostra que se J
1
= C
o
ento 1 ,= , e assim existe algum
. cuja rbita futura densa na esfera.
Agora suponhamos que J no toda a esfera, assim 1
1
,= , e tambm que existe
algum . cuja rbita futura O
+
(.) densa na esfera. O valor . no est em J, pois se
estivesse ento teramos O
+
(.) J e assim O
+
(.) no podia ser densa na esfera. Assim, .
est em alguma componente \ do conjunto de Fatou. Assim considere-se as componentes
\, 1(\), 1
2
(\), ...
de 1
1
. Como O
+
(.) densa na esfera ento deve existir um tal que 1
.
(\) encontra
\, e podemos assumir que o mnimo inteiro em que isto acontece.
Se \
1
alguma componente de 1
1
ento, para algum :, 1
a
(.) \
1
e assim 1
a
(\) =
\
1
. Deduzimos que
1
1
= \ ' 1(\) ' ... ' 1
.1
(\),
e que os conjuntos do membro direito desta ltima igualdade so disjuntos. Conclue-se
que \ completamente invariante, sob 1
.
, e que o conjunto 1
I.
(.) : / _ 1 denso
em \.
2.2.4 Caracterizando o conjunto de Julia
Denio 2.2.4 (Bacia de atrao) Se O uma rbita atractora peridica de periodo :,
denimos bacia de atraco como sendo o conjunto aberto o, com o uma superfcie
de Riemman compacta, o conjunto de todos os pontos . o para os quais as sucessivas
iteraes 1
a
(.), 1
2a
(.), ... convergem para algum ponto de O.
2.2 Estabilidade 19
Consideremos um ponto xo .
0
com multiplicador :. Para o caso em que [:[
1 nenhuma sequncia resultante da iterao de 1 pode convergir uniformemente numa
vizinhana de .
0
. A primeira derivada de 1
a
em .
0
`
a
, que converge para o innito.
Por outro lado se [:[ < 1, e escolhendo [`[ < c < 1 teremos pelo teorema de Taylor que
[)(.) .
0
[ _ c[. .
0
[ para algum . sucientemente prximo de .
0
. Assim as sucessivas
iteraes de 1, restringidas a uma pequena vizinhana, convergem uniformemente para a
funo . .
0
. Como um ponto peridico de 1 um ponto xo de alguma iterao )
a
teremos o seguinte lema.
Lema 2.2.1 A bacia de atraco de uma rbita peridica atractora est toda contida no
conjunto de Fatou, enquanto que toda a rbita repulsora peridica est contida no conjunto
de Julia.
Proposio 2.2.4 Se C
o
a bacia de atraco de alguma rbita peridica atractora,
ento a fronteira topolgica 0 = igual a todo o conjunto de Julia. Cada compo-
nente conexa do conjunto de Fatou C
o
J ou coincide com alguma componente conexa da
bacia ou ento disjunta de .
Demonstrao: Se alguma vizinhana de um ponto do conjunto de Julia ento
pelo teorema da transitividade temos que algum 1
a
() intersecta , ento o prprio
intersecta . Logo J . Mas J disjunto de logo J 0. Por outro lado se
alguma vizinhana de um pronto da fronteira ento algum limite das iteraes 1
a
[
.
tm
de ter um ponto de descontinuidade entre e 0, e assim 0 J. Finalmente, note-se,
que cada componente conexa de Fatou intersecta , j que no pode intersectar a sua
fronteira, tem de coincidir com alguma componente de .
Proposio 2.2.5 Se n J, ento

a
1
a
(n) denso em J.
Demonstrao: Seja l uma vizinhana de algum elemento . J. Existe um / tal
que n 1
I
(l), e assim, para algum ramo de 1
I
, 1
I
(n) l.
Esta proposio sugere um algoritmo para determinar e calcular conjuntos de Julia:
Comeando por um .
0
J, primeiro calculamos todos os 1(.
1
) = .
0
, depois para todos
os .
1
calculamos todos os .
2
tal que 1(.
2
) = .
1
, e assim sucessivamente, aproximamo-nos
eventualmente perto de cada ponto de J.
Este mtodo frequentemente usado no caso da famlia quadrtica, j que as equaes
quadrticas so muito fceis de resolver. O mtodo muito insensvel aos erros de
arredondamento, j que 1 tende a ser expansiva no seu conjunto de Julia, e 1
1
tende
a ser contractiva. No entanto, traz uma desvantagem, o nmero d
a
cresce muito rapida-
mente medida que : cresce, assim so precisas muitas iteraes para nos aproximarmos
dos pontos do conjunto de Julia.
Lema 2.2.2 Se o um conjunto no vazio e completamente invariante sob 1 ento o
contm um, dois, ou innitos componentes.
Demonstrao: Suponha-se que o contm innitos pontos o = a
0
, a
1
, ..., a
I
. J
que o completamente invariante, ento existe alguma iterao 1
j
que xa cada ponto
de o. Seja d o grau de 1
j
. Pela invarincia cada ponto tem uma pr-imagem por 1
j
,
que so eles mesmos, e assim cada um destes tem multiplicidade d 1. J que o total de
pontos crticos 2d 2, / no mximo 2.
Proposio 2.2.6 J um conjunto innito.
Demonstrao: Um conjunto completamente invariante contendo apenas um ou dois
pontos tem de ser um conjunto excepcional de um polinmio. J que os pontos do conjunto
excepcional so sempre estveis, o conjunto no vazio e completamente invariante J tem
de conter innitos pontos.
Proposio 2.2.7 Se 1 tem grau dois ou superior ento J
1
no tem pontos isolados.
Demonstrao: Se J
1
fosse um conjunto nito este era formado por pontos ex-
cepcionais, mas estes como so pontos peridicos superactractores, ento pertenciam ao
conjunto de Fatou. Ento J
1
como innito ento s pode ser formado pelo menos por
um ponto limite .
0
, cujas pr-imagens iteradas de .
0
formam um conjunto denso de pontos
no isolados em J
1
.
O conjunto de Julia no ento formado por pontos isolados. Mas no entanto este
pode ser formado por inumerveis subconjuntos conexos ou ento pode ser um pea nica
conexa.
Proposio 2.2.8 Para qualquer transformao racional de grau dois ou superior, o con-
junto de Julia conexo, ou tem inmeras componentes conexas.
Demonstrao: Supunhemos que J = J
0
'J
1
, sendo J
0
e J
1
dois conjuntos compactos
disjuntos no vazios. Qualquer um destes dois subconjuntos tm de ser innitos pois J
no tem pontos isolados. Primeiro mostremos que nenhum destes dois conjuntos pode ser
conexo.
Comecemos por escolher um conjunto aberto l que intersecte J
0
mas no J
1
. Para
alguma imagem de 1
a
(l) vai haver interseco tanto com J
0
como com J
1
. Caso contrrio,
dado uma sequncia qualquer de iteraes de 1
a
, podamos escolher um subsequncia
innita de iteraes 1
a
j
que transforme l num conjunto que falhe um do J
c
, omitindo
trs pontos distintos de C
o
, e assim existe uma subsequncia que converge de forma
uniforme localmente em l. Isto contradiz a hiptese de que l intersecta o conjunto de
Julia.
Agora escolhendo : tal que 1
a
(l) intersecte tanto J
0
com J
1
segue, pela invarincia
de J que 1
a
(J
0
) intersecta tanto J
0
como J
1
. Assim J
0
pode ser expresso como a reunio
disjunta de subconjuntos compactos no vazios J
00
= J
0
1
a
(J
0
) e J
01
= J
0
1
a
(J
1
).
De forma semelhante, segue por induo em / que qualquer sequncia c
1
, c
2
, ..., c
I
de peas, podemos construir um conjunto compacto no vazio J
c
1
...c
k
tal que J
c
1
...c
k1
2.2 Estabilidade 21
Figura 2.1: Conjunto de Julia para .
3
0.706 0.2i com inmeras componentes conexas
a reunio de subconjuntos compactos disjuntos J
c
1
...c
k
0
e J
c
1
...c
k
1
. As correspondentes
interseces innitas
J
c
1
c
2
...
=
I
J
c
1
c
2
...c
k
so disjuntas e no vazias, e cada uma contm pelo menos um componente conexo de J.
Assim, como fomos vemos ao longo desta seco uma transformao racional ao it-
erar elementos do conjunto de Julia tem uma dependncia sensvel s condies inicias,
topologicamente transitiva e os pontos peridicos em J so densos, logo a transformao
racional tem um comportamento catico em J.
Denio 2.2.5 Seja \ um conjunto e ) : \ \ . A funo ) dita de catica em
\ se ) tem dependncia sensvel s condies iniciais, topolgicamente transitiva e os
pontos peridicos so densos em \ .
2.2.5 O conjunto de Julia e os pontos peridicos
Teorema 2.2.8 Seja 1 uma transformao racional de grau d, com d _ 2. Ento o
conjunto de Julia o conjunto derivado do pontos peridicos de 1.
Demonstrao: Comea-se por escolher um conjunto aberto \ qualquer que encon-
tre J, e por escolher um ponto n em \ J tal que n no um valor crtico de 1
2
. Ento
1
2
n contm pelo menos quatro pontos, j que o grau de 1 maior do que dois, e assim
podemos escolher trs deles, n
1
, n
2
e n
3
, distintos de n. Agora toma-se vizinhanas dos
mesmos pontos, compactas, disjuntas duas a duas, \
1
, \
2
e \
3
e ainda \ em relao
a n, de tal forma que para cada ,, 1
2
um homeomorsmo de \
)
em \, e considere-se
o
)
: \ \
)
a inversa de 1
2
: \
)
\.
Se para todo o . \, todo o , 1, 2, 8 e para todo : _ 1, obtivermos
1
a
(.) ,= o
)
(.),
ento 1
a
normal em \. Mas isto no pode acontecer em \ J, ento existe algum
. \, algum ,, e algum : tal que 1
a
(.) = o
)
(.), e assim
1
a+2
(.) = 1
2
o
)
(.) = ..
Isto mostra-nos que . um ponto peridico de 1, que se encontra em \, e que J est
contido no conjunto derivado dos pontos peridicos de 1.
Para mostrar o que o teorema arma, s nos falta vericar que o conjunto derivado
dos pontos peridicos de 1 est contido em J e assim termos a igualdade preconizada.
Para conlcuir este facto, suciente provar o seguinte lema.
Lema 2.2.3 Qualquer componente de 1 contm no mximo um ponto peridico de 1 .
Demonstrao: Seja 1
0
um componente de 1 e suponha-se que c e , so pontos
peridicos em 1
0
. Substituindo 1 por uma iterao adequada 1
a
, podemos assumir que
ambos os pontos so xos por 1. Se c um ponto xo super-atractor de 1, ento 1
a
c
em 1
0
e assim como 1 xa , teremos de ter c = ,. Quando c um ponto xo indiferente
de 1, e ento 1 : 1
0
1
0
analiticamente conjugada a uma rotao de ordem innita
no disco unitrio. Neste caso, c o nico ponto xo de 1 em 1
0
, e assim, c = ,.
Teorema 2.2.9 O conjunto de Julia para qualquer transformao racional 1 de grau
superior ou igual a dois igual ao fecho do conjunto dos pontos peridicos repulsores.
Demonstrao: (Fatou)
Recorde-se que o conjunto de Julia J
1
no tem pontos isolados. Assim podemos excluir
um nmero de pontos de J
1
, quantos quisermos, sem afectar o argumento.
Seja .
0
um ponto qualquer de J que no seja ponto xo nem valor crtico. Por outras
palavras assumimos que existem d pr-imagens .
1
, .
2
, ..., .
o
que so distintas umas das
outras e de .
0
, onde d _ 2 o grau de 1. Pelo Teorema da Funo Inversa, podemos
encontrar d funes holomrcas . ,
)
(.) que so denidas em alguma vizinhana
de .
0
, e que satisfazem )(,
)
(.)) = ., em que ,
)
(.
0
) = .
)
. Para algum : 0 e para algum
. a funo )
a
(.) tem de tomar um dos trs valores ., ,
1
(.) ou ,
2
(.). Caso contrrio
a famlia das funes holomrcas
q
a
(.) =
()
a
(.) ,
1
(.)) (. ,
2
(.))
()
a
(.) ,
2
(.)) (. ,
1
(.))
em evitaria os valores 0, 1 e , e assim seria uma famlia normal. Logo )
a
[ tambm
seria uma famlia normal, contradizendo a hiptese de que intersecta o conjunto de Julia.
2.3 A famlia quadrtica 23
Assim podemos encontrar . que satisfaa )
a
(.) = . ou )
a
(.) = ,
)
(.). Assim segue
que . um ponto peridico de periodo : ou : 1, respectivamente.
Isto mostra que nos podemos aproximar de cada ponto de J
1
de forma arbitrria
atravs de pontos peridicos, pontos estes em nmero nito e que tm de ser repulsores.
Os pontos peridicos parablicos tambm so membros do conjunto de Julia.
Lema 2.2.4 Todos os pontos parablicos peridicos esto no conjunto de Julia.
Demonstrao: Seja n um parmetro local de uniformizao, com n = 0 correspon-
dente ao ponto peridico. Ento alguma iterao 1
n
corresponde a uma transformao
local do plano-n com uma srie de potncias na forma n n a
q
n
j
a
q+1
n
j+1
...,
onde _ 2, a
q
,= 0. Assim 1
nI
corresponde a uma srie de potncias n n/a
q
n
j
....
Logo a derivada de ordem de 1
nI
em 0 igual a !/a
q
que tende para o innito me-
dida que / . Pelo Teorema de Convergncia Uniforme de Weierstrass, segue-se que
nenhuma subsequncia de 1
nI
j
pode convergir localmente de forma uniforme medida
que /
)
.
2.3 A famlia quadrtica
Um caso particular das transformaes racionais e que assume uma importncia relevante
a famlia de funes quadrticas Q
c
(.) = .
2
c, com ., c complexos.
2.3.1 O conjunto de Mandelbrot
Se analizarmos a iterao do ponto crtico desta funo que o . = 0, vericamos que
temos O
+
(0) = 0, c, c c
2
, c (c c
2
)
2
, ....
A funo Q
c
(.) admite uma rbita atractora de perodo : quando Q
a
c
(.
0
) = .
0
e
(Q
a
c
(.
0
))
t
< 1.
Calculemos, por exemplo,o conjunto dos valores c em que Q
c
(.) admite uma rbita
atractora de perodo 1.
A funo Q
c
(.) tem um ponto atractor xo, de perodo um, quando Q
c
(.) = . e
(Q
c
(.))
t
= [2.[ < 1. A fronteira desta regio consiste nos valores c para os quais o valor
do mdulo da derivada um, isto , 2. = c
it
.
Logo, . =
c
it
2
e substituindo em .
2
c = . temos c =
1
2
c
it
1
4
c
i2t
, que a parametrizao
de um cardiide, com 0 _ t < 2.
De modo semelhante, se procurarmos a regio onde Q
c
(.) tem um ciclo atractor de
periodo dois, podemos vericar que se trata de uma regio em forma de circunferncia de
raio
1
4
com centro em c = 1.
Se continuarmos, iremos obter um retrato descritivo no plano-c do destino da rbita
do ponto crtico sob iterao da funo Q
c
(.). Este conjunto toma o nome de conjunto de
Mandelbrot em homenagem ao seu descobridor, Benoit Mandelbrot.
Apesar das aparncias iludirem, Douady e Hubbard provaram que o conjunto de Man-
delbrot um conjunto conexo.
Figura 2.2: Conjunto de Mandelbrot
Podemos ver que o valor c est no conjunto de Mandelbrot se a rbita do zero sob
iteraco da funo Q
c
(.) no tende para o innito, ou seja, os valores de c para os quais
a rbita crtica limitada. Se a rbita de c tende para o innito ento o valor c no est
no conjunto de Mandelbrot.
Neste conjunto podemos vericar a existncia dos conjuntos onde a funo admite
rbitas de perodo um e de perodo dois, para alm de outros conjuntos que esto anexados
ao cardiide principal onde a funo admite rbitas de perodos mais elevados.
Assim, ao passarmos do cardiide principal para os outros subconjuntos anexos, que
so designados de bolbos, passamos por um ponto em que a funo altera o seu comporta-
mento. Estes pontos so especiais, so pontos onde se assiste a uma bifurcao da funo,
onde nasce um novo ciclo atractor.
Cada um dos bolbos no conjunto de Mandelbrot consiste em valores de c, para os quais
Q
c
admite uma rbita atractora peridica de algum perodo associado a um nmero de
rotao
j
q
. Isto , o ciclo atractor de Q
c
tende a ter uma rotao de centro num ponto
xo, rodando aproximadamente
j
q
revolues em cada iterao. Por esta razo, cada bolbo
recebe a designao de bolbo
j
q
, e vamos denot-lo por 1
jq
. Em cada um destes bolbos,
cada valor de c tem essencialmente o mesmo comportamento dinmico.
Assim, para os valores c em cada bolbo ligado ao cardiide em c(j,), Q
c
tem um ciclo
atractor de perodo .
conhecido que medida que c segue um percurso no cardiide principal passando
por c
jq
em direco a 1
jq
, c
jq
sofre uma bifurcao j,. Isto signica que quando o
c est no cardiide principal perto de c
jq
, Q
c
tem um ponto xo atractor com um ciclo
repulsor na sua vizinhana de perodo .
Em c
jq
o ponto xo atractor e o ponto xo repulsor, fundem-se para produzir um
ponto xo neutral com derivada c
2ijq
. Quando c est em 1
jq
, Q
c
tem agora um ciclo
atractor de periodo e um ponto repulsor xo.
Quando c = c
jq
, as dinmicas locais, linearizveis, so dadas pela rotao atravs
do ngulo 2j,. Como consequncia, para os valores de uma vizinhana de c 1
jq
, o
Figura 2.3: Os perodos dos bolbos do conjunto de Mandelbrot
ciclo atractor roda com centro no ponto xo repulsor saltando aproximadamente 2j,
radianos em cada iterao.
A gura 2.4 mostra o perodo de algumas dessas regies peridicas para valores pe-
quenos de .
Como vimos os valores de c que esto dentro do cardiide principal, fornecem rbitas
atractoras em que o perodo um, sendo uma destas rbitas a rbita crtica de . = 0.
Ou seja, a rbita crtica tende para uma destas rbitas atractoras a partir de uma certa
iterao. Isto permite-nos avaliar que a rbita do ponto crtico tende sempre para a rbita
atractora de um dado c de Q
c
(.). Este facto importante, pois se quisermos procurar por
rbitas atractoras de uma dada funo basta pesquisar as rbitas crticas da mesma. Ou
seja, se estas rbitas atractoras existirem, estas ser-nos-o dadas pelas rbitas crticas.
Uma das mais fascinantes caractersticas do conjunto de Mandelbrot, que podemos
retirar o nmero de rotao j, directamente da geometria do bolbo correspondente.
Cada bolbo j, admite uma antena que consiste de um ponto de juno a partir do qual
derivam ramicaes. Uma dessas ramicaes est ligada directamente ao bolbo. Esta
ramicao designada de ramicao principal. Para muitos desses bolbos, a ramicao
mais pequena ligada ao ponto de juno est localizado exactamente j, voltas, em volta
do ponto ramicao da ramicao principal na direco anti-horria, tambm a mais
comprida est localizada exactamente j, voltas da ramicao principal na direco
horria. Este facto nem sempre verdade, no entanto podemos usualmente julgar onde a
mais curta e a mais comprida ramicao devia existir e assim determinar j,.
Por exemplo, na gura 2.5 est representado um bolbo
2
5
. Note-se que as ramicaes
esto ligadas num ponto de juno, e assim podemos ver que a ramicao mais curta
est localizada de modo no rigoroso
2
5
de uma volta a partir da antena principal na
direco anti-horria, enquanto que a mais comprida est localizada
2
5
de uma volta na
Figura 2.4: Bolbo
2
5
com a respectiva antena
direco oposta. No artigo de Devaney e Moreno-Rocha, Geometry of the Antennas in the
Mandelbrot Set, podemos encontrar uma denio rigorosa para a mais comprida e a
mais curta das ramicaes.
Raios externos
Considere-se 1 = . C : [. 1[ . De acordo com Douady e Hubbard, existe um nico
isomorsmo analtico 1 que transforma 1 no exterior do conjunto Mandelbrot. A trans-
formao 1 leva reais positivos em reais positivos. Esta transformao a uniformizao
do exterior do conjunto de Mandelbrot, ou a transformao exterior de Riemann.
A importncia de 1 resulta do facto que a imagem, sob 1, dos raios 0 =constante em
1 tm uma dinmica signicativa. No conjunto de Mandelbrot, /, denimos raio externo
de ngulo externo 0
0
, como sendo a imagem, sob 1, de 0 = 0
0
.
conhecido que o raio externo cujo ngulo 0
0
racional cai em /. Isto ,
lim
v1
1
_
rc
2i0
0
_
existe e um ponto nico, c, na fronteira de /.
Este valor c designado de ponto de chegada do raio com ngulo 0
0
.
Por exemplo, o raio com ngulo 0 est contido no eixo real e cai em / na inexo do
cardeide principal, nomeadamente em c =
1
4
. Tambm, o raio com ngulo
1
2
est contido
no eixo real negativo e cai em /na ponta da cauda de /e pode-se mostrar que c = 2.
Consideremos agora o interior de /. Este consiste em muitas innitas simples regies
conexas. Um bolbo de / um componente do interior de / em que cada valor c
corresponde a uma funo quadrtica que admite um ciclo atractor. O perodo deste ciclo
constante em cada bolbo. Em muitos casos, um bolbo est ligado a uma componente de
perodo inferior num nico ponto designado o ponto raiz da componente.
Um resultado importante de Douady e Hubbard o seguinte teorema:
Teorema 2.3.1 Supondo que um bolbo 1 consiste nos valores c para os quais a transfor-
mao quadrtica tem um ciclo atractor de perodo , ento o ponto raz deste bolbo o
ponto de chegada de exactamente dois raios, e os ngulos de cada um desses raios tm
perodo sob o efeito da funo 1(0) = 20 moo1.
Na funo 1(0) = 20 moo1, o ngulo 0 peridico sob d s e s se 0 um racional da
forma j,, em forma de fraco reduzida, com mpar.
Por exemplo, a rbita de
1
3
sob 1
1
8

2
8

1
8
...
que tem perodo 2.
O racional
1
7
tem perodo 8 sob a funo 1,
1
7

2
7

4
7

1
7
...
enquanto
1
5
tem perodo 4:
1
...
Os racionais com denominador par so eventualmente peridicos mas no peridicos.
Por exemplo,
1
6
est num ciclo eventual de perodo 2,
1
6

2
6

4
6

2
6
...
e
1
8
eventualmente xo:
1
8

1
4

1
2
1 1 ...
Assim, os ngulos dos raios externos de / determinam a ordem dos bolbos de /.
Por exemplo, o bolbo grande ligado no lado esquerdo do principal cardeide um bolbo
1
2
,
logo, dois raios com perodo 2 sob o efeito da funo 1 tm que cair a. Os nicos ngulos
com perodo 2 so
1
3
e
2
3
, e da estes serem os ngulos que caem no ponto raz de 11
2
.
Considerando agora o bolbo
1
3
, este est entre os raios 0 e
1
3
. Existem apenas dois
ngulos entre 0 e
1
3
que tm perodo 8, nomeadamente
1
7
e
2
7
, assim, estes so os raios que
caem no ponto raiz 11
3
.
O bolbo
2
5
est entre o bolbo
1
3
e
1
2
, ento os raios que caem em c(
2
5
) tem de ter
perodo , e esto entre
2
7
e
1
3
. Os nicos ngulos que possuem esta propriedade so
9
31
e
10
31
. Podemos ver na gura 2.6 alguns desses raios.
Figura 2.5: Raios externos do conjunto de Mandelbrot
2.3.2 O conjunto cheio de Julia
Agora, se para cada um dos valores c, na funo Q
c
(.), coleccionarmos no mesmo conjunto
todos os valores iniciais .
0
cuja rbita no escapam para o innito sob a iterao de Q
c
(.)
obtemos um conjunto ao qual designamos de conjunto cheio de Julia, e representamo-lo
por 1J
c
.
A rbita do valor crtico desempenha um papel importante na estrutura de 1J
c
. Este
facto foi registado na descoberta efectuada por Fatou e Julia, que cou conhecido como
dicotomia fundamental.
Teorema 2.3.2 (Dicotomia fundamental) Se a rbita crtica tende para o innito sob
iteraco de Q
c
(.) ento 1J
c
um conjunto de Cantor. Se a rbita crtica no escapa
para o innito ento 1J
c
um conjunto conexo.
Por outras palavras, podemos assim estabelecer uma relao directa entre o conjunto
de Mandelbrot de Q
c
(.) e 1J
c
. Se o valor c estiver dentro do conjunto de Mandelbrot,
ento 1J
c
ser um conjunto conexo, caso contrrio um conjunto de Cantor. Assim,
se seguirmos um caminho qualquer ao longo do interior do conjunto de Mandelbrot, e
medida que nos vamos aproximando da sua fronteira, o conjunto 1J
c
vai-se fragmentando.
Por exemplo 1J
0
um disco unitrio com centro na origem.
Se c estiver dentro do cardiide principal do conjunto de Mandelbrot o mximo que
podemos assistir no conjunto 1J
c
so deformaes do crculo unitrio, gura 2.7.
A deformao aumenta medida que c se aproxima de um dos pontos de bifurcao,
tendo 1J
c
tendncia para se fragmentar em guras que esto intimamente relacionadas
Figura 2.6: Conjunto 1J
c
para c = 0, 268 0, 01410i
c
para c = 0, 2802 0, 406i
com o perodo do ciclo atractor que esto mais prximas. Na gura 2.8 podemos vericar
uma proximidade com um ciclo atractor de perodo quatro.
Quando passamos para um dos bolbos do conjunto de Mandelbrot em que o perodo
quatro, por exemplo a gura 2.9, o conjunto conexo 1J
c
j apresenta uma fragmentao,
em que surje uma subdiviso em quatro subconjuntos a partir de um ponto.
Quando c est fora do conjunto de Mandelbrot, 1J
c
torna-se num conjunto de Cantor,
completamente desconexo, gura 2.10.
Para os polinmios de grau dois j(n) = a
2
n
2
a
1
n a
0
, podemos obter uma clas-
sicao quase completa dos conjuntos de Julia a partir do conjunto de Mandelbrot. O
polinmio j(n) conjugado com Q
c
(.) = .
2
c atravs de uma transformao de coor-
denada n . = a
2
n
o
1
2
, com
c = a
0
a
2
a
1
2
_
1
a
1
2
_
.
Esta transformao muda o ponto crtico r =
o
1
2o
2
para a origem. assim suciente
estudar a natureza dos conjuntos de Julia de Q
c
(.) para compreender a dinmica dos
polinmios de grau dois.
c
para c = 0, 2808 0, 882i
c
para c = 1, 208 0, 110i
Captulo 3
Superfcies de Riemann e
Aplicaes Holomrcas
3.1 As supercies de Riemann
As superfcies de Riemann so variedades bidimensionais com uma estrutura adicional,
que denimos a seguir. Uma variedade n-dimensional um espao topolgico de Hausdor
A, de tal forma que cada ponto pertencente a este espao possui uma vizinhana que
homeomrca a um conjunto aberto em R
a
.
Denio 3.1.1 Seja X uma variedade bidimensional. Um mapa complexo em A um
homeomorsmo , : l \ de um subconjunto aberto l A em um subconjunto aberto
\ C. Dois mapas complexos ,
1
: l
1
\
1
e ,
2
: l
2
\
2
dizem-se holomorcamente
compatveis se a transformao
,
2
o,
1
1
: ,
1
(l
1
l
2
) ,
2
(\
1
\
2
)
bi-holomrca.
Denio 3.1.2 Um atlas complexo em A um sistema | = ,
i
: l
i
\
i
, i 1 de
mapas que so holomorcamente compatveis e que cobrem A, isto , '
i1
l
i
= A.
Dois atlas complexos | e |
t
so designados analiticamente equivalentes se cada mapa
de | holomorcamente compatvel com cada mapa |
t
.
Se , : l \ um mapa complexo, l
1
aberto em l e \
1
= ,(l
1
), ento
, : l
1
\
1
um mapa que holomorcamente compatvel com , : l \.
A noo de equivalncia analtica de atlas complexo uma relao de equivalncia j
que a composio de transformaes bi-holomrcas bi-holomrca.
Denio 3.1.3 Um estrutura complexa numa variedade bidimensional A uma classe
de equivalncia de atlas analiticamente equivalentes em A.
31
32 Superfcies de Riemann e Aplicaes Holomrcas
Assim uma estrutura complexa em A pode ser dada por uma escolha de atlas com-
plexo. Cada estrutura complexa em A contm um nico atlas maximal |
+
. Se | um
atlas arbitrrio em , ento |
+
so todos os mapas complexos em A que so holomor-
camente compatveis com cada mapa de |.
Denio 3.1.4 Uma superfcie de Riemann um par (A, ) onde A uma variedade
conexa bidimensional e uma estrutura complexa em A.
Normalmente escreve-se A no lugar de (A, ) sempre que claro qual a estrutura
complexa usada. Tambm se pode escrever (A, |) onde | um representante de .
Por conveno, se A uma superfcie de Riemann ento por um mapa em A entende-se
como um mapa complexo pertencente ao atlas maximal da estrutura complexa em A.
Localmente uma superfcie de Riemann nada mais do que um conjunto aberto no
plano complexo.
Se , : l \ em que \ C um mapa em A, ento , transforma o conjunto aberto
l A bijectivamente em \ . No entanto, qualquer ponto de A est contido em muitos
mapas diferentes e nenhum deles distinguvel dos outros. Por esta razo apenas podemos
trazer para as supercies de Riemann as noes da Anlise Complexa que permaneam
invariantes sob transformaes bi-holomrcas, isto , as noes que no dependem da
escolha de um mapa em particular.
Podemos introduzir alguns exemplos de superfcies de Riemann.
Exemplo 3.1.1 O plano complexo C. A sua estrutura complexa denida pelo atlas cujo
nico mapa a transformao identidade C C.
Exemplo 3.1.2 (Domnios) Supondo que A uma superfcie de Riemann e que 1 A
um domnio, isto , um subconjunto aberto conexo. Ento 1 tem uma estrutura complexa
natural que o faz superfcie de Riemann. Nomeadamente, a que leva todos os mapas
complexos , : l \ em A, onde l 1. Em particular, cada domnio 1 C uma
superfcie de Riemann.
Exemplo 3.1.3 (A esfera de Riemann C
o
) Em C
o
introduzimos a seguinte topologia.
Os conjuntos abertos so os conjuntos abertos usuais l C juntamente com os conjuntos
da forma \ ' , onde \ C o complementar do conjunto compacto 1 C. Com
esta topologia C
o
um espao topolgico compacto de Hausdor, homeomrco 2-esfera
o
2
. Sejam
l
1
= C
l
2
= C0 '
e as transformaes ,
1
, a transformao identidade e
,
2
(.) =
_
1
:
, . C0
0, . =
.
3.2 Holomorsmo 33
As transformaes ,
1
e ,
2
so homeomorsmos e assim C
o
uma variedade bidimen-
sional. J que l
1
e l
2
so conexos e a sua interseco no vazia C
o
tambm conexo.
A estrutura complexa em C
o
denida pelo atlas consistindo nos mapas ,
i
: l
i
C,
i = 1, 2. Estes dois mapas so holomorcamente compatveis, j que ,
1
(l
1
l
2
) =
,
2
(l
1
l
2
) = C
o
e ,
2
o,
1
1
: C0 C0, . 1,. bi-holomrca.
Exemplo 3.1.4 (O toro) Supondo que .
1
e .
2
C so linearmente independentes sobre
R , denimos
I = Z.
1
Z.
2
= :.
1
:.
2
: :, : Z.
I designado de rede gerada por .
1
e .
2
. Dois nmeros complexos so designados de
equivalentes se a sua diferena pertence a I. O conjunto de todas as classes equivalentes
denotado por C,I. Seja : C C, a projeo cannica, isto, , a transformao
que associa a cada ponto . C a sua classe de equivalncia moo I. Usemos a topologia
seguinte em C,: Um subconjunto l C, aberto precisamente se
1
(l) C
aberto. Com esta topologia C, um espao topolgico de Hausdor e a transformao
quociente : C C, contnua. J que C conexo, C, tambm conexo, assim
como compacto, pois coberto pela imagem sob do paralelogramo compacto
1 = `.
1
j.
2
: `, j [0, 1[.
A imagem de todo o conjunto aberto \ C , por , aberto.
A estrutura complexa em C, denida da seguinte maneira. Seja \ C um con-
junto aberto tal que nenhum par de pontos em \ so equivalentes por I. Ento l = (\ )
aberto e : \ l um homeomorsmo. A sua inversa , : l \ um mapa com-
plexo em C,. Seja | o conjunto de mapas obtidos dessa forma. Agora s resta mostrar
que quaisquer dois mapas ,
i
: l
i
\
i
, i = 1, 2 pertencentes a | so holomorcamente
compatveis. Consideremos a transformao
c = ,
2
o,
1
1
: ,
1
(l
1
l
2
) ,
2
(l
1
l
2
).
Para cada . ,
1
(l
1
l
2
) temos (c(.)) = ,
1
1
(.) = (.) e assim c(.) . I. J que
I discreta e c contnua, implica que c(.) . constante em todo o componente conexo
de ,
1
(l
1
l
2
). Assim, c holomrca. Da mesma forma, c
1
tambm holomrca.
Seja o
1
= . C : [.[ = 1. A transformao que associa o ponto de C,I, representado
por `.
1
j.
2
, ao ponto
_
c
2iA
, c
2ij
_
o
1
xo
1
um homeomorsmo de C, no toro
o
1
xo
1
.
3.2 Holomorsmo
Denio 3.2.1 Seja A uma superfcie de Riemann e 1 A um subconjunto aberto. A
funo ) : 1 C designado de holomrca, se para cada mapa c : l \ em A a
funo
) c
1
: c(l 1 ) C
holomrca no sentido usual no conjunto aberto c(l 1 ) C. O conjunto de todas as
funes holomrcas em 1 sero denotadas por O(1 ).
As funes holomrcas gozam de algumas propriedades, como por exemplo, a soma
e o produto de funes holomrcas ainda holomrca. As funes constante tambm
so holomrcas. Assim o conjunto O(1 ) uma Clgebra.
A condio presente na denio no tem que ser vericada para todos os mapas no
atlas maximal em A, mas apenas para qualquer famlia de mapas que cobrem 1 . Assim,
automaticamente, a condio preenchida por todos os outros mapas.
Cada mapa c : l \ em A , em particular, uma funo de varivel complexa em
l. Trivialmente esta holomrca.
A funo c designa-se por coordenada local ou parmetro uniformizador e (l, c) uma
vizinhana de coordenadas de qualquer ponto a l. Neste contexto usa-se mais usual-
mente a letra . no lugar de c.
Teorema 3.2.1 (Teorema das Singularidades Removveis de Riemann) Seja l um sub-
conjunto aberto de uma superfcie de Riemann e a l. Supondo que a funo )
O(la) limitada em alguma vizinhana de a, temos que ) pode ser estendida de
forma nica a uma funo )
+
O(l).
Este ltimo resultado surge directamente do mesmo teorema mas aplicado no plano
complexo.
Agora passemos denio de transformaes holomrcas entre superfcies de Rie-
mann.
Denio 3.2.2 Suponha-se A e 1 duas superfcies de Riemann. Uma transformao
contnua ) : A 1 holomrca se para cada par de mapas c
1
: l
1
\
1
em A e
c
2
: l
2
\
2
em 1 com )(l
1
) l
2
a transformao
c
2
) c
1
: \
1
\
2
holomrca no sentido usual.
Uma transformao ) : A 1 bi-holomrca se bijectiva e ambas as transfor-
maes ) : A 1 e )
1
: 1 A forem holomrcas.
Duas superfcies de Riemann A e 1 so isomrcas se existir um bi-holomorsmo
) : A 1 .
No caso especial 1 = C, as transformaes holomrcas ) : A C so as funes
holomrcas.
Se A, 1 e 7 so superfcies de Riemann e ) : A 1 e q : 1 7 so transformaes
holomrcas ento a composio q ) : A 7 tambm holomrca.
Um critrio, que nos permite averiguar a existncia de um holomorsmo entre duas
supercies de Riemann, que sai directamente da denio e do facto de cada funo c ser
uma funo de varivel complexa, e que, sendo 1 = C teremos ) como funo holomrca
usual, o seguinte:
3.2 Holomorsmo 35
Lema 3.2.1 Uma transformao contnua ) : A 1 entre duas superfcies de Riemann
holomrca se para cada conjunto aberto \ 1 e cada funo holomrca c O(\ ),
a funo c ) : )
1
(\ ) C est contida em O()
1
(\ )).
Neste sentido uma transformao holomrca ) : A 1 induz uma transformao
)
+
: O(\ ) O()
1
(\ )), )
+
(c) = c ).
Teorema 3.2.2 (Da identidade) Supondo A e 1 duas superfcies de Riemann e )
1
, )
2
:
A 1 dois holomorsmos que coincidem num dado conjunto A tendo um ponto
limite a A, ento )
1
e )
2
so identicamente iguais.
Demonstrao: Seja G o conjunto de todos os pontos r A tendo uma vizinhana
aberta \ tal que )
1
= )
2
em \.
Por denio G aberto. Vamos armar que G tambm fechado. Para o efeito,
suponha-se / um ponto da fronteira de G. Ento )
1
(/) = )
2
(/) j que )
1
e )
2
so contnuas.
Vamos escolher mapas , : l \ em A e c : l
t
\
t
em 1 com / l e )
i
(l) l
t
.
Podemos tambm assumir que l conexo.
As transformaes
q
i
= c )
i
,
1
: \ \
t
C
so holomrcas. J que l G ,= , o Teorema da Identidade para funes holomrcas
em domnios de C implica que q
1
e q
2
so iguais. Assim )
1
= )
2
em l. J que / G
temos que G fechado. Agora, j que A conexo, ou G = ou G = A. Mas se a G
temos o primeiro caso excludo. Assim sendo, )
1
e )
2
coincidem em todo o A.
Denio 3.2.3 Seja A uma superfcie de Riemann e 1 um subconjunto aberto de A.
Uma funo meromrca em 1 uma funo holomrca ) : 1
t
C, onde 1
t
1
um subconjunto aberto, cumprindo as seguintes condies:
(i) 1 1
t
contm apenas pontos isolados;
(ii) Para cada ponto j 1 1
t
teremos lim
aj
[)(r)[ = .
Os pontos de 1 1
t
so designados de plos de ). O conjunto de todas as funes
meromrcas em 1 denotado por '(1 ).
Exemplo 3.2.1 Supondo : _ 1 e 1(.) = .
a
c
1
.
a1
... c
a
, c
I
C, temos que 1 :
C C dene uma transformao holomrca. Se pensarmos em C como um subconjunto
de C
o
, ento lim
:j
[1(.)[ = . Assim 1 '(C
o
).
Agora vamos interpretar as funes meromrcas como transformaes holomrcas
na esfera de Riemann.
Teorema 3.2.3 Considerese A uma superfcie de Riemann e ) '(A). Para cada plo
j de ) denimos )(j) = . Ento ) : A C
o
uma transformao holomrca. De
forma recproca se ) : A C
o
uma transformao holomrca, ento ) igual ao
ou )
1
() constituda apenas por pontos isolados e ) : A)
1
() C uma funo
meromrca em A.
Assim podemos identicar a funo meromrca ) '(A) com a transformao
holomrca correspondente ) : A C
o
.
Demonstrao: Seja ) '(A) e 1 o conjunto dos polos de ). Ento ) induz
uma transformao ) : A C
o
que contnua. Supondo agora que , : l \ e
c : l
t
\
t
so mapas em A e C
o
, respectivamente com )(l) l
t
. Temos de mostrar
que
q = c ) ,
1
: \ \
t
holomrca. J que ) holomrca em A1, segue-se que q holomrca em \ ,(1).
Ento pelo teorema das Singularidades Removveis de Riemann, q holomrca em todo
o \ . Pelo teorema da Identidade temos o recproco.
Juntando o teorema da Igualdade e o ltimo teorema segue-se que o teorema da Iden-
tidade tambm vlido para funes meromrcas numa superfcie de Riemann. Assim
qualquer funo ) '(A) que no seja nula s tem zeros isolados. Isto implica que
'(A) um campo.
3.3 Propriedades elementares das transformaes holomr-
cas
Teorema 3.3.1 (Comportamento local de transformaes holomrcas) Supondo que A
e 1 so duas superfcies de Riemann e que ) : A 1 uma transformao holomrca
no constante, e que a A assim como / = )(a). Ento existe um inteiro / _ 1 e mapas
, : l \, em A, e c : l
t
\
t
, em 1 , com as seguintes propriedades:
(i) a l, ,(a) = 0; / l
t
, c(/) = 0.
(ii) )(l) l
t
.
(iii) A transformao 1 = c ) ,
1
: \ \
t
dada por 1(.) = .
I
para todo o
. \ .
Demonstrao: Primeiro notamos que existem mapas ,
1
: l
1
\
1
em A e c :
l
t
\
t
em 1 tal que as propriedades (i) e (ii) so satisfeitas se substituirmos (l, ,)
por (l
1
, ,
1
). Segue-se, agora, pelo teorema da Identidade que a funo
)
1
= c ) ,
1
: \
1
\ C
no constante. J que )
1
(0) = 0, existe um / _ 1 tal que )
1
(.) = .
I
q(.), onde q
holomrca em \
1
com q(0) ,= 0. Ento existe uma vzinhana de 0 e uma funo
holomrca / nesta vizinhana tal que /
I
= q. A correspondncia . ../(.) dene
uma transformao biholomrca c : \
2
\ de uma vizinhana aberta \
2
\
1
de zero
numa vizinhana aberta \ de zero.
Seja l = ,
1
1
(\
2
). Substituindo o mapa ,
1
: l
1
\
1
pelo mapa , : l \ onde
, = c ,
1
temos ento pela prpria construo que a transformao 1 = c ) ,
1
satisfaz 1(.) = .
I
.
3.3 Propriedades elementares das transformaes holomrcas 37
O nmero / no teorema anterior pode ser caracterizado da seguinte maneira. Para
cada vizinhana l
0
de a existem vizinhanas l l
0
de a e \ de / = )(a) tal que o
conjunto )
1
(j) l contm exactamente / elementos para cada ponto j \, j ,= /.
Chamamos a / a multiplicidade com a qual a transformao ) leva o valor / no ponto a,
ou simplesmente dizemos que ) possui multiplicidade / no ponto a.
Exemplo 3.3.1 Seja )(.) = .
I
c
1
.
I1
... c
I
um polinmio de grau /. Ento ) pode
ser considerada como uma transformao holomrca ) : C
o
C
o
onde )() = .
Neste caso a multiplicidade do /.
Atravs do Teorema do comportamento local das transformaes holomrcas podemos
retirar algumas concluses que a seguir so apresentadas sob a forma de corolrio.
Corolrio 3.3.1 Sejam A e 1 duas superfcies de Riemann e seja ) : A 1 uma
transformao holomrca no constante. Ento ) aberta, isto , a imagem de cada
conjunto aberto por ) um conjunto aberto.
Demonstrao: Do teorema vericamos que l uma vizinhana de um ponto a A,
ento )(l) uma vizinhana do ponto )(a). Isto implica que ) aberta.
Corolrio 3.3.2 Sejam A e 1 duas superfcies de Riemann e seja ) : A 1 uma
transformao holomrca injectiva. Ento ) uma transformao bi-holomrca de A
em )(A).
Demonstrao: J que ) injectiva, na descrio local dada pelo teorema temos
sempre que / = 1. Ento a transformao inversa )
1
: )(A) A holomrca.
Corolrio 3.3.3 (Princpio mximo) Supondo que A uma superfcie de Riemann e que
) : A C uma funo holomrca no constante, ento temos que o valor absoluto
de ) no atinge o seu mximo.
Demonstrao: Suponha-se que existiria um ponto a A tal que
1 = [)(a)[ = sup[)(r)[ : r A.
Ento
)(r) 1 = . C : [.[ _ 1.
J que )(A) aberto est no interior de 1 . Isto contradiz o facto de que )(a) 01.
Se tomarmos ) : A 1 uma transformao holomrca no constante entre duas
superfcies de Riemann, esta ainda possui a capacidade de transformar conjuntos com-
pactos em conjuntos compactos. Pois se considerarmos A como um conjunto compacto, e
como uma transformao com estas caractersticas transforma conjuntos abertos em con-
juntos abertos, ento teremos que )(A) tambm compacto. Como os nicos conjuntos
que so abertos e fechados num dado espao topolgico so o conjunto vazio e o espao
em si, ento )(A) = 1 e daqui conclui-se que ) tambm sobrejectiva.
Com esta observao, podemos ainda vericar que, sendo C um conjunto no compacto,
cada transformao holomrca numa superfcie de Riemann compacta uma transfor-
mao constante.
Assim, tomando uma funo ) meromrca em C
o
esta ter um nmero nito de
plos, pois se o nmero de plos fosse innito teramos um ponto limite pelo teorema da
Identidade ) seria identicamente igual a . Assumindo que o ponto no um plo de
), caso contrrio toma-se 1,) no lugar de ), supunhemos que a
1
, ..., a
a
C so os plos
de ) e que
/
(.) =
1
)=Iv
c
)
(. a
)
)
,
a parte principal de ) no polo a
, para = 1, ..., :. Ento temos que a funo q =

) (/
1
... /
a
) holomrca em C
o
e assim constante. Logo pode-se concluir que )
uma funo racional. Passemos este resultado a forma de teorema.
Teorema 3.3.2 Toda a funo meromrca ) em C
o
racional.
Ao considerarmos ) : C C como uma funo holomrca limitada, pelo Teorema
das singularidades removveis de Riemann, ) pode ser estendida analiticamente a uma
transformao holomrca ) : C
o
C. Como C
o
compacto e ) holomrca temos
logo que ) constante. Este resultado conhecido como teorema de Liouville.
Teorema 3.3.3 (Liouville) Toda a funo holomrca limitada ) : C C constante.
Teorema 3.3.4 (Fundamental da Algebra) Seja : _ 1 e seja )(.) = .
a
c
1
.
a1
... c
a
um polinmio com coecientes complexos. Ento existe pelo menos um ponto a C tal
que )(a) = 0.
Demonstrao: O polinmio ) pode ser considerado como uma transformao holomr-
ca ) : C
o
C
o
, onde )() = . Temos assim que a funo sobrejectiva, j que
holomrca no constante, e assim 0 )(C).
Denio 3.3.1 (Funo duplamente peridica) Supondo que .
1
, .
2
C so linear-
mente independentes sobre R e I = Z.
1
Z.
2
a rede gerada por .
1
e .
2
, uma funo
meromrca ) : C C
o
duplamente peridica em relao a I, se
)(.) = )(. n) para qualquer . C e . I.
Por causa da estrutura da rede I para que uma funo seja duplamente peridica
suciente que )(.) = )(. .
1
) )(. .
2
) para todo o complexo ..
Vamos considerar : C C, como sendo a transformao cannica. Ento a
funo duplamente peridica ) induz uma funo 1 : C,IC
o
tal que ) = 1. Segue-
se directamente da denio da estrutura complexa em C,I que 1 uma funo meromr-
ca em C,I. Reciprocamente, para qualquer funo meromrca 1 : C,I C
o
, a com-
posio ) = 1 : 1 : C C
o
uma funo meromrca que duplamente peridica
3.3 Propriedades elementares das transformaes holomrcas 39
em relao a I. Assim as funes meromrcas no toro C,I esto em correspondncia bi-
unvoca com as funes meromrcas em C, duplamente peridicas em relao a I. Assim
extramos o seguinte teorema:
Teorema 3.3.5 Toda a funo duplamente peridica ) : C C constante. Cada
funo meromrca duplamente peridica no constante ) : C C
o
atinge todo o valor
c C
o
.
Captulo 4
Estrutura do Conjunto de Fatou
O conjunto estvel 1
1
est dividido numa coleco de mutuamente disjuntos componentes
conexos maximizados pelo conjunto de Julia. 1
0
uma destas componentes assim como
1(1
0
). Para cada uma das componentes 1
0
um dos seguintes argumentos tem de ser
vlido:
(i) As iteraes crescentes 1
)
(1
0
) so disjuntos, em que em cada caso 1
0
designado
de errante
ou
(ii) Existem inteiros :, : _ 0, com 1
a
(1
0
) = 1
n
(1
0
),e 1
0
designado de eventual-
mente peridico.
A classicao qualitativa e quantitativa dos domnios eventualmente peridicos comeou
a ser efectuada por Fatou e Julia. Eles estudaram os domnios atractores, super-atractores
e parablicos. A sua anlise mostrou que o nico tipo de comportamento estvel que podia
existir seriam os domnios de rotao (os discos de Siegel e os anis de Herman), mas no
entanto no puderam provar a existncia destes. A prova foi efectuada por Siegel e por
Herman. Fatou conjecturou que os domnios errantes no existiam e assim o comporta-
mento estvel era s caracterizado pelos cinco modelos que passaremos a descrever. A
classicao foi completa por Sullivan e Shishikura. Nos anos oitenta, Sullivan, viu que a
no existncia de domnios errantes para transformaes racionais era anloga ao Teorema
Fundamental da Finidade de Ahlfors para os grupos de Kleinianos, e ele deu uma prova
para ambos os teoremas usando as transformaes quase-conformes.
4.1 Classicao de Domnios Estveis
O comportamento dos pontos peridicos estveis da transformao quadrtica facilmente
entendido. Para generalizarmos, estudemos o comportamento local numa vizinhana de
um ponto peridico para uma transformao racional arbitrria.
Assumindo que o ponto peridico no zero escrevemos
)(.) = `. a
I
.
I
..., / _ 2.
41
42 Estrutura do Conjunto de Fatou
Se ` ,= 0 e [.[ pequeno ento a transformao assemelha-se a q(.) = `.; se ` = 0
assemelha-se a q(.) = .
I
.
Denio 4.1.1 As transformaes ) : l l e q : \ \ so designadas de
conformalmente conjugadas se existe um homeomorsmo c : l \ tal que c) = qc.
A iterao e periodicidade so, assim, preservadas sob conjugao. Se ) conformal-
mente conjugada sua parte linear numa vizinhana de um ponto xo diz-se que ela
a linearizvel. A ideia de usar a conjugao conforme para estudar a iterao remonta a
Schrder. A ideia de que podemos usar a conjugao para obtermos um comportamento
local da dinmica da transformao.
Teorema 4.1.1 (Schrder) Um ponto peridico de uma transformao racional com mul-
tiplicador ` ,= 0 estvel se e s se esta for linearizvel.
4.1.1 Ciclos Atractores
Agora suponhamos que .
0
um ponto atractor de perodo j, de 1.
Teorema 4.1.2 (Koenings) Se .
0
um ponto atractor de perodo j de uma transformao
racional 1 ento a primeira funo de retorno linearizvel em .
0
. Ainda temos que a
transformao conjugada nica a menos da medida usada.
Demonstrao: Como
c
a
(.) = `
a
)
a
(.),
temos
c
a
) = `c
a+1
e, assim, c
a
converge uniformemente para algum c em l, e c a desejada conjugada.
Como [`[ < 1 temos a convergncia, e a unicidade surge do lema de Schwarz.
Como nota temos que, se [`[ 1, podemos aplicar o argumento anterior ao ramo de
)
1
que xa .
0
. J que ) transforma a vizinhana l fora desta a conjugao no est
bem denida sob iterao nem nos indica nada sobre a dinmica da funo.
Do teorema de Koenings podemos ver que cada ponto .
I
, / = 0, ..., j 1 de um ciclo
atractor peridico existe um domnio aberto maximal estvel 1
I
contendo .
I
. O conjunto
1 =
j1
0
1
I
designado de bacia atractora imediata do ciclo.
O conjunto =

a0
1
a
(1) designado de bacia atractora e o ciclo de domnios
designado de ciclo atractor.
Proposio 4.1.1 A bacia atractora imediata de um ciclo atractor contm sempre um
ponto critico que atrado para os pontos peridicos.
Demonstrao: Sejam 1
I
, / = 0, ..., j 1, as j componentes da bacia imediata de
atraco tal que 1(1
I
) = 1
I+1 mod j
. Se no existe nenhum ponto crtico em algum 1
I
,
todas as transformaes so transformaes de cobertura e assim tm de ser isometrias na
mtrica de Poincar. Assim existe uma contradio j que o ciclo atractor.
4.1 Classicao de Domnios Estveis 43
atractor
1
0.jo)
Figura 4.1: Ciclo atractor
4.1.2 Ciclos Super-Atractores
Supondo agora que .
0
, .
1
, ..., .
j1
um ciclo super-atractor tal que o valor prprio `
zero. Assim temos:
Teorema 4.1.3 (Bttcher) Se o ponto xo .
0
, da primeira funo de retorno super-
atractor, e se as primeiras / 1 derivadas desaparecem em .
0
, existe uma conjugao
conforme c denida numa vizinhana l de .
0
tal que c ) = (c(.))
I
. A conjugao c
nica a menos da multiplicao por uma (/ 1) c:i:a raiz da unidade.
Demonstrao: Seja
c
a
(.) = )
a
(.)
I
n
tal que c
a
satisfaz
c
a1
) = ()
a1
))
I
n+1
= c
1
a
.
A funo c
a
converge para a conjugao desejada.
Usando a conjugao fcil de vericar que os pontos super-atractivos so estveis. As
bacias atractoras, inclusiv a imediata, so denidas como foram para os ciclos atractores
e, neste caso, so designados de o ciclo dos dominios peridicos super-atractores.
4.1.3 Pontos Peridicos Neutrais
O caso racional
Suponha-se que .
0
um ponto peridico neutral cujo valor prprio ` uma : c:i:a raiz
da unidade. Este ponto designado de parablico. Para determinar o comportamento
local, podemos novamente assumir que .
0
um ponto xo da primeira transformao de
super atractor
1
1.jo)
Figura 4.2: Ciclo super-atractor
retorno ). Se .
0
fosse estvel, ento pelo teorema de Schrder )
a
seria conjugada com a
transformao identidade numa vizinhana de .
0
.
Usando a expanso em srie fcil notar que a nica transformao conjugada com
a identidade ela prpria e, assim, por continuao analitica, )
a
seria a identidade em
qualquer regio, o que no faz sentido.
Assim, no podemos modelar o comportamento dinmico numa vizinhana completa
de um ponto parablico usando a forma linear de uma transformao racional. No entanto,
podemos faz-lo em partes da vizinhana.
Assuma-se .
0
= 0 e `
a
= 1;
A primeira transformao de retorno toma a forma
)(.) = `. a
I
.
I
...
(i) Primeiro assume-se ` = 1, / = 2. Podemos conjugar ) por inverso e escalonamento
usando a transformao de Mbius / para obter a seguinte expanso junto ao para a
transformao conjugada:
q(.) = . 1
/
.
...
(ii) Agora prova-se que algum semi-plano direito Io . /, a transformao q conju-
gada por uma transformao c a uma transformao . . 1.
A seguir mostra-se que o domnio de denio de c pode ser estendido a um domnio
limitado esquerda pela parbola j = 4/(/ r); temos q() . Assim, se
1 = /
1
(), )(1) 1 ' 0
e 1 um domnio invariante futuro, simtrico em relao ao eixo real, com o ponto xo
na sua fronteira.
atractora
1
2.jo)
Figura 4.3: Ptala atractora
a0
)
a
(1) = 0.
O domnio P designado de ptala atractora.
Note-se que ao longo do raio no eixo real, que surge do ponto xo, que no est contido
na ptala, os pontos so repelidos. Se as mesmas ideias forem aplicadas funo inversa
obtemos uma ptala repulsora. As ptalas atractoras esto contidas no domnio estvel.
As ptalas repulsoras contm tanto pontos estveis como instveis.
(iii) A seguir assuma-se ` = 1, / 2. Neste caso fazemos uma mudana de varivel . =
1I
. Obtemos uma sequncia de 2(/ 1) alternadamente ptalas atractoras e repulsoras.
(iv) Finalmente, se ` = c
2i)j
, ns aplicamos a anlise precedente a cada um dos
pontos xos de )
q
. As ptalas atractoras no so invariantes de forma futura, mas sim,
pontos num dado ciclo de ptalas atractoras prximos das ptalas atractoras de cada um
dos pontos peridicos.
Denio 4.1.2 A bacia atractora imediata do ciclo parablico o conjunto maximal de
domnios atrados para o ciclo parablico, cujas fronteiras contm pontos do ciclo. Estas
bacias contm as ptalas atractoras. Estas componentes, que so peridicas, so designadas
de domnios cclicos parablicos.
Proposio 4.1.2 A bacia imediata de atraco de um ciclo parablico contm sempre
um ponto crtico que atrado para os pontos peridicos.
No caso descrito pela gura 4.5, o ponto crtico est no centro do disco central e est
sendo atrado para o ponto crtico superior onde as trs regies se encontram
de leau fatou
1
3.jo)
Figura 4.4: Flor de Leau - Fatou , com k=3
parabolico
1
4.jo)
Figura 4.5: Ciclo Parablico
O caso irracional
Supe-se que .
0
um ponto peridico neutral com valor prprio ` = c
2ic
, onde c
irracional. Para estes valores de c, em que o ponto linearizvel, foram-se desenvolvendo
muitas questes ao longo dos tempos para os entender.
Siegel e depois Brjuno, e mais recentemente Yoccoz desenvolveram condies para
obtermos uma melhor compreenso destas questes.
Teorema 4.1.4 (Brjuno-Yoccoz) Uma condio suciente para que uma transformao
racional 1, com ponto peridico neutral, com multiplicador ` = c
2ic
, c irracional, seja
linearizvel numa vizinhana do ponto
o
a=1
log
a+1
a
<
onde j
a
,
a
so as fraces contnuas aproximadas a c. Se 1 um polinmio quadrtico
a condio tambm necessria.
Discos de Siegel Quando .
0
um ponto peridico neutral linearizvel para a primeira
transformao de retorno ), existe uma conjugao c : l ^ que leva uma vizinhana
l de .
0
no disco unitrio ^ e satisfaz
c ) = c
2ic
..
A vizinhana l folheada por folhas invariantes de forma futura que so as pr-
imagens do crculo [[ = r em ^. O domnio maximal para o qual a conjugao pode ser
denida designado de disco de Siegel.
O ciclo peridico neutral dene, assim, um ciclo peridico de discos de Siegel.
Qualquer ponto crtico que caia num destes discos ca preso na folha do oreamento,
mas no necessariamente verdade que um ponto crtico caia nesta folha. No entanto,
suspeita-se apenas que estes domnios existam [Ke 94]. Fatou provou:
Proposio 4.1.3 Se uma transformao racional tem um ciclo de disco de Siegel, ento
a rbita crescente de alguns pontos crticos acumulam-se na sua fronteira.
A prova usa o facto que longe do conjunto ps-crtico, a transformao uma cobertura
regular e assim deve existir uma vizinhana l invariante de forma futura do ponto xo
no disco de Siegel. Se a proposio fosse falsa podamos encontrar ramos da inversa ao
longo da fronteira do disco cuja rbita futura no contivesse l e isto impossvel j que
a fronteira instvel. A gura 4.6 mostra como a rbita crtica acumula na fronteira.
Um ponto crtico cuja rbita acumula na fronteira de um disco de Siegel tem de estar
no conjunto de Julia. Herman mostrou que existem discos de Siegel cuja fronteira, de
facto, contm pontos crticos e encontrou outros que no.
siegel
1
5.jo)
Figura 4.6: Disco de Siegel
Pontos de Cremer Cremer encontrou os primeiros exemplos de pontos peridicos neu-
trais que no so linearizveis e assim o seu nome cou ligado a eles.
Se l uma vizinhana de um ponto de Cremer, a rbita crescente de alguns pontos
crticos tm de passar por l innitas vezes. Isto faz com que o conjunto de Julia seja
muito complicado em l.
Douady e Hubbard encontraram exemplos de transformaes quadrticas cujos con-
juntos de Julia no so localmente conexos na vizinhana dos pontos de Cremer.
Anis de Herman O ltimo tipo de componentes peridicamente estveis ocorrem
apenas para transformaes racionais que no so polinmios. Estas componentes so
designadas de anis de Herman pois foi este autor que encontrou os primeiros exemplos.
Um anel de Herman uma componente do conjunto estvel que topolgicamente uma
coroa circular e onde a primeira transformao de retorno conformalmente conjugada a
uma rotao irracional numa coroa circular regular. As imagens dos crculos que provm
da coroa circular regular formam uma folheao invariante de forma futura no anel de
Herman.
claro que o anel, no pode conter pontos peridicos. A prova que a fronteira de um
anel de Herman est contida no conjunto de acumulao do conjunto ps-crtico a
mesma do que para os discos de Siegel.
A componente limitada C
o
limitada pelo conjunto de Julia e assim tem de conter
um plo da funo. Os polinmios, no entanto, nunca tm anis de Herman. Os exemplos
de Herman pertencem familia:
1(.) = c
2ic
.
2
_
. a
1 a.
_
para as escolhas derivadas de 0 < c < 1 e c 1.
herman
1
6.jo)
Figura 4.7: Anel de Herman
Denio 4.1.3 Uma componente l do conjunto de Fatou C
o
1()) chamada anel de
Herman se l conformalmente isomrco a alguma coroa circular
v
= . : 1 < [.[ < r
e se ), ou alguma iterao de ), corresponde a uma rotao irracional desta coroa circular.
Existem dois mtodos conhecidos para construir anis de Herman.O mtodo original,
devido a Herman, baseado numa anlise cuidada de um difeomorsmo real do crculo.Um
outro mtodo, devido a Shishikura, usa cirurgia quase-conforme, comeando com duas
cpias da esfera de Riemann com um disco de Siegel em cada, cortando parte do centro
de cada disco, e, colocando as fronteiras resultantes juntamente em ordem a fabricar o
anel[Mi 99].
O mtodo original pode ser descrito da seguinte forma:
Se ) : R,Z R,Z um homeomorsmo que preserva a orientao, ento podemos
elevar a um homeomorsmo 1 : R R que satisfaz a identidade
1(t 1) = 1(t) 1,
e unicamente denido, a menos da adio por uma constante inteira.
Denio 4.1.4 O nmero real
rot(1) = lim
ao
1
a
(t
c
)
:
independente da escolha de t
0
, e designado de nmero de translao do levantamento
1. Segundo Poincar, o nmero de rotao rot()) R,Z da transformao circular )
denido como sendo a classe residual de rot(1) mdulo Z.
Esta construo bem denida, e invariante sob a orientao que preserva a conjugao
topolgica[Mi 99]. Podemos assim, deduzir as seguintes propriedades:
Lema 4.1.1 O homeomorsmo ) tem um ponto peridico com perodo se e s se o seu
nmero de rotao racional com denominador .
Teorema 4.1.5 (Denjoy) Se ) um difeomorsmo de classe C
2
, e se o nmero de rotao
j = rot()) irracional, ento ) topologicamente conjugado rotao
t t j(mooZ)
Lema 4.1.2 Considere-se uma famlia com um nico parmetro de levantamentos da
forma
1
c
(t) = 1
0
(t) c.
Ento o nmero de translao rot(1
c
) aumenta continuamente e monoticamente com c,
aumentanto 1 medida que c aumenta tambm 1.
Para o caso real analtico o Teorema de Denjoy tem um anlogo:
Teorema 4.1.6 (Herman-Yoccoz) Se f um difeomorsmo real analtico de R,Z e se
o nmero de rotaes j diofantino ento ) conjugada analiticamente com a rotao
t t j(moo1).
Note-se que um nmero diofantino se existe um : grande, e, - pequeno, tal que a
distncia de de qualquer nmero racional j, satisfaz
[ j,[
-
a
Denio 4.1.5 (Produto de Blaschke) Dada qualquer constante a C
o
com [a[ ,= 1,
no difcil de mostrar que existe uma e uma s transformao fracionria linear .
,
c
(.) que transforma o crculo unitrio 0D nele mesmo, xando o ponto base . = 1, e
que transforma a em ,
o
(a) = 0. Por exemplo, ,
0
(.) = ., ,
o
(.) =
1
:
, e em geral
,
o
(.) =
1 a
1 a
. a
1 a.
, a ,=
Se [a[ < 1, ento ,
o
preserva a orientao do crculo, e transforma o crculo nele mesmo.
Por outro lado se [a[ 1 ento ,
o
muda a orientao em 0D e transforma D no seu
complementar.
Lema 4.1.3 Uma transformao racional de grau d leva o disco unitrio nele mesmo se
e s se esta puder ser descrita como um produto de Blaschke,
)(.) = c
2it
,
c
1
(.)...,
o
d
(.)
para algumas constantes c
2it
0D e a
1
, ..., a
o
C
o
0D.
Esta expresso nica j que as constantes c
2it
= )(1) e a
1
, ..., a
o
= )
1
(0) so
unicamente determinadas por ). Os a
1
tm de satisfazer as condies de que a
)
a
I
,= 1
para todo o , e /. Para a/ = 1, um breve clculo mostra que ,
o
(.),
b
(.) = 1.
Demonstrao: Dada ), apenas escolhemos uma soluo para )(a) = 0, e a seguir
dividindo )(.) por ,
o
(.) obtemos uma transformao racional de grau inferior e assim
sucessivamente.
O produto de Blaschke transforma o disco unitrio nele mesmo se e s se [a
)
[ < 1.
No entanto, interessa-nos o caso em que alguns a
)
esto dentro do disco e outros fora
do disco.
Teorema 4.1.7 Para qualquer grau mpar, d _ 8, ns podemos escolher um produto de
Blashke ) de grau d que transforma o disco unitrio 0D nele prprio, por uma orientao
preservando o difeomorsmo, com qualquer nmero de rotao j nosssa escolha. Se o
nmero de rotao j diofantino, ento ) possui um anel de Herman.
Demonstrao: Seja d = 2: 1, e escolha-se a
)
de modo a que um nmero de
: 1 destes estejam perto de zero enquanto os restantes : esto prximos de . Ento o
produto de Blaschke
. ,
o
1
(.)...,
o
d
(.)
C
1
- prximo transformao identidade no crculo unitrio 0D. Em particular, este
induz um difeomorsmo que preserva a orientao em 0D. Agora multiplicando por c
2it
,
e, usando o lema 4.1.2 podemos ajustar o nmero de rotao para qualquer constante
desejada.
Se este nmero de rotao j diofantino, ento existe um difeomorsmo real e analtico
/ em 0D que conjuga ) rotao . c
2ij
..
J que / analtico e real, estende-se a um difeomorsmo analtico complexo em
alguma pequena vizinhana de 0D, e assim da tira-se a concluso.[Mi 99]
Como exemplo, a gura 4.8 mostra o conjunto de Julia de
)(.) = c
2it
.
2
(. 4),(1 4.)
que tem como zeros: 0, 0, 4, onde a constante t = 0, 61182... ajustada de modo a que o
nmero de rotao seja j =
_
51
2
Existe um ponto crtico junto ao centro da gura, com um anel de Herman esquerda,
rodeando uma bacia superactractora centrada no centro-esquerdo da gura. Este o
exemplo mais simples que podemos encontrar, desde que Shishikura mostrou que este tipo
de anel s pode existir se o grau d, pelo menos, for 8.
Os anis construdos desta forma so muito especiais j que so simtricos em relao
ao disco unitrio com
)(
1
.
) =
1
)(.)
No entanto a construo original de Herman, baseada no trabalho de Helson e Sarason,
era mais exvel.[Mi 99]
Figura 4.8: Conjunto de Julia para uma transformao racional cbica, contendo um anel
de Herman
A construo de Shishikura mostra claramente que os possveis nmeros de rotao,
para os anis de Herman, so exactamente os mesmos, para os possveis nmeros de
rotao, para os discos de Siegel.
Em particular, qualquer nmero satisfazendo a condio de Bryuno,
a
log(q
n+1
)
qn
< ,
podem ocorrer. A ideia comear com duas transformaes racionais tendo discos de Siegel
com nmeros de rotao j e j. Corta-se fora um pequeno disco concntrico em cada,
e depois cola-se as respectivas fronteiras. Depois de efectuar as respectivas modicaes a
corda com innitas pr-imagens iteradas dos discos de Siegel, Shishikura aplica o Teorema
da Medida de Money-Ahlfors-Bers em ordem a conjugar a gura topolgica resultante
numa transformao racional. Embora os aneis de Herman no contenham pontos criticos
eles esto muito associados a estes.
Lema 4.1.4 Se l um anel de Herman, ento todo o ponto da fronteira de l pertence
ao fecho da rbita de algum ponto crtico. A fronteira 0l tem duas componentes conexas,
em que cada uma delas um conjunto innito.
4.2 A classicao de Sullivan dos componentes de Fatou
O trabalho de classicao deve-se principalmente a Fatou e a Julia, mas com grandes
contribuies de Sullivan.
Uma componente de Fatou, para uma transformao racional no linear, designada
como sendo qualquer componente do conjugado de Fatou C
o
J()). Evidentemente )
transporta cada componente l em outra componente l
t
por uma transformao holomr-
ca.
Primeiro consideremos l = l
t
.
4.2 A classicao de Sullivan dos componentes de Fatou 53
Teorema 4.2.1 (Classicao) Se ) transforma a componente l do conjunto de Fatou
nele prprio, ento existem quatro possibilidades:
i) l bacia de atraco imediata para um ponto xo atractor, ou para uma das ptalas
do ponto xo parablico que tem multiplicador ` = 1;
ii) l um disco de Siegel ou um anel de Herman.
Aqui estamos a juntar o caso do ponto xo superatractor, com ` = 0, e o caso do
ponto xo atractor geomtrico, ` ,= 0.
Note-se que as bacias de atraco imediatas, ou bacias parablicas, contm sempre
pontos crticos, enquanto os domnios de rotao (discos de Siegel e anis de Herman no
podem conter pontos crticos).
Demonstrao: Temos quatro possibilidades:
(a) l contm um ponto xo atractor;
(/) todas as rbitas em l convergem para um ponto xo na fronteira;
(c) ) um automorsmo de ordem nita;
(d) ) conjugada com uma rotao irracional de um disco furado ou de uma coroa
circular.
No caso (a) as componentes de Fatou contm pontos xos atractores, enqunato que
o caso (c) no pode ocorrer, j que por hiptese o grau maior ou igual a dois, e isso,
garante que existem, apenas, muitos pontos peridicos contveis.
No caso (d) no podemos ter um disco furado, j que o ponto onde est o furo teria
de ser um ponto xo pertencente ao conjunto de Fatou, assim l seria um subconjunto do
disco de Siegel em vez de uma componente de Fatou completa.
Qunato ao caso (/), para provar o teorema, basta apenas mostrar que o ponto xo na
fronteira tem de ser parablico com ` = 1.
Este ponto xo na fronteira, certamente, no pode ser um ponto atractor ou um disco
de Siegel j que pertence ao conjunto de Julia. Alm de mais, no pode ser repulsor j
que atrai todas as rbitas de l, assim tem de ser indiferente, [`[ = 1.
Para provar que exactamente ` = 1 vamos usar argumentos devidos a Douady e
Sullivan:
Seja
)(.) = `. a
2
.
2
a
3
.
3
...
uma transformao que denida e holomrca em alguma vizinhana \ da origem, e
que tem um ponto xo, com multiplicador ` em . = 0.
Lema 4.2.1 (Caracol) Supondo que existe um caminho j : [0, [ \ 0 que trans-
formado nele mesmo por ) de tal forma que )(j(t)) = j(t 1), e que converge para a
origem, medida que t . Ento ou [`[ < 1 ou ` = 1.
Por outras palavras a origem tem de ser um ponto xo atractor ou um ponto xo
parablico com ` = 1.
Assim para completar a prova do teorema precisamos apenas de considerar o seguinte:
Escolha-se um ponto .
0
em l, sendo l uma componente de Fatou que transformada
nela mesma por uma transformao ) de tal forma que todas as rbitas convergem para
um ponto da fronteira n
0
, e escolha-se um caminho qualquer j : [0, 1[ l de .
0
= j(0)
at )(.
0
) = j(1).
Estendendo para todo o t _ 0, fazendo j(t 1) = )(j(t)), obtemos um caminho em
l que converge para o ponto da fronteira n
0
, t . Assim, de acordo com o lema do
Caracol, o ponto xo n
0
tem de ser parablico com ` = 1 ou atractor. Mas como n
0
pertence ao conjunto de Julia n
0
no pode ser atractor.
As componentes de Fatou caso sejam um membro do ciclo dos discos de Siegel ou de
anis de Herman so domnios unicamente denidos pela sua descrio, e so simplesmente
conexos, ou innitamente conexos, caso sejam a bacia de atraco imediata de algum ponto
peridico parablico.
Pode haver, quando muito, um nmero nito de bacias atractoras e discos de Siegel.
Sullivan mostrou tambm que pode haver, quando muito, um nmero nito de anis de
Herman, e assim existem em conjunto apenas nitos conjuntos de Fatou peridicos. Mais
precisamente, de acordo com Shishikura, pode haver no mximo 2d 2 ciclos distintos de
componentes de Fatou peridicas.
Teorema 4.2.2 (Domnios no errantes de Sullivan) Toda a componente l de Fatou para
uma transformao racional eventualmente peridica. Isto , existem necessariamente
inteiros : _ 0 e j _ 1 tal que as n-simas imagens futuras )
a
(l) so transformadas nelas
mesmas por )
j
.
Assim cada componente de Fatou uma pr-imagem, sob alguma iterao de ), de um
dos quatro tipos de componentes atrs descriminados.
Corolrio 4.2.1 Se todas as rbitas crticas de uma transformao racional so nitas e
a transformao no tem nenhuma rbita super-atractiva, ento o seu conjunto de Julia
toda a esfera C
o
.
Tanto o teorema da classicao das componentes de Fatou como dos domnios no
errantes de Sullivan falham para funes no racionais ) : C C. De facto surgem
dois novos tipos de componentes de Fatou, que no podem ocorrer para transformaes
racionais. Podem ocorrer domnios errantes e domnios invariantes l = )(l) tal que
alguma rbita em l no tem qualquer ponto de acumulao no plano nito C. Estes
ltimos so conhecidos como domnios de Baker.
Captulo 5
Dinmica simblica
5.1 O espao das sequncias

2
Para representar simbolicamente a dinmica das funes vamos precisar de um espao
onde possamos facilmente reconhecer esta mesma dinmica. Os pontos deste espao sero
constitudos por sequncias de zeros e uns.
Denio 5.1.1

2
= : = (:
0
:
1
:
2
...) : :
)
= 0 ou 1
2
designado de espao das sequncias a dois smbolos 0 e 1. Mais genericamente,
podemos considerar o espao

a
consistindo de sequncias innitas de inteiros entre 0 e
:1. Os elementos de
2
so cadeias numricas de inteiros como por exemplo (0000...) ou
(10101...). Em
2
vamos denir uma mtrica, e assim para duas sequncias : = (:
0
:
1
:
2
...)
e t = (t
0
t
1
t
2
...) denimos uma distncia entre estas por
d[:, t[ =
o
i=0
[:
i
t
i
[
2
i
.
Como [:
i
t
i
[ zero ou um, esta srie innita dominada pela srie geomtrica
o
i=0
1
2
i
= 2
e assim uma srie convergente.
A distncia d constitui uma mtrica, pois d[:, t[ _ 0, para qualquer : e t que pertena
a

2
, e d[:, t[ = 0 se e s se :
i
= t
i
para todo o i. J que [:
i
t
i
[ = [t
i
:
i
[ segue-se que
d[:, t[ = d[t, :[. Finalmente, se r, : e t so elementos de
2
temos que [r
i
:
i
[ [:
i
t
i
[ _
[r
i
t
i
[ , de onde se deduz que d[r, :[ d[:, t[ _ d[r, t[.
A mtrica d permite-nos decidir quais dos subconjuntos de
2
so abertos ou fechados,
assim como quais as sequncias que esto mais prximas. A prxima proposio fornece-
nos uma ferramenta que nos permite ver de uma forma bastante ecaz se estas sequncias
esto prximas umas das outras ou no, atravs da simples anlise das primeiras entradas
na sequncia.
55
56 Dinmica simblica
Proposio 5.1.1 Seja :, t
2
e suponha-se :
i
= t
i
para i = 0, 1, ..., :. Ento d[:, t[ _
1
2
n
. Reciprocamente, se d[:, t[ <
1
2
n
, ento :
i
= t
i
para i _ :.
Demonstrao: Se :
i
= t
i
para i _ :, ento
d[:, t[ =
a
i=0
[:
i
t
i
[
2
i

o
i=a+1
[:
i
t
i
[
2
i
_
o
i=a+1
1
2
i
=
1
2
a
.
Por outro lado, se :
)
,= t
)
para algum , _ :, ento teremos de ter
d[:, t[ _
1
2
)
_
1
2
a
consequentemente, se d[:, t[ <
1
2
n
, ento :
i
= t
i
para algum i _ :.
Denimos a seguir, em
2
a transformao que assume o papel mais propoderante na
dinmica simblica: a transformao deslocamento.
Denio 5.1.2 A transformao deslocamento o :
2
dada por o(:
0
:
1
:
2
...) =
(:
1
:
2
:
3
...).
Com a mtrica d denida acima, o uma transformao contnua, como a seguir
mostramos.
Proposio 5.1.2 o :
2
contnua.
Demonstrao: Seja - 0 e : = :
0
:
1
:
2
.... Escolha-se um : de tal forma que
1
2
n
< -.
Seja c =
1
2
n+1
. Se t = t
0
t
1
t
2
... satisfaz d[:, t[ < c, ento teremos pela proposio anterior
:
i
= t
i
para i _ : 1. Assim, as i : c:i:a: entradas de o(:) e o(t) so as mesmas para
i _ :, e conclumos que d[o(:), o(t)[ _
1
2
n
< -.
A dinmica de o pode ser facilmente entendida. Por exemplo, os pontos peridicos cor-
respondem s sequncias repetidas, isto , sequncias da forma : = (:
0
, ..., :
a1
, :
0
, ..., :
a1
, :
0
, ..., :
a1
, ...).
Assim, existem 2
a
pontos peridicos de periodo : para o, cada um deles gerado por cada
uma das 2
a
sequncias de zeros e uns de comprimento :.
Os pontos eventualmente peridicos so igualmente abundantes e fceis de reconhecer.
Por exemplo, qualquer sequncia da forma (:
0
...:
a
1111...) eventualmente xa, enquanto
que qualquer sequncia eventualmente repetida eventualmente peridica para o.
Se produzirmos uma sequncia de pontos peridicos t
a
que converge para um ponto ar-
bitrrio : = (:
0
:
1
:
2
...) em
2
provamos que o conjunto dos pontos peridicos de o, 1cr(o),
um conjunto denso. Ento, para isso, consideremos a sequncia t
a
= (:
0
...:
a
, :
0
...:
a
, ...),
ou seja, t
a
uma sequncia repetida cujas : entradas iniciais so iguais s de :. Assim
d[t
a
, :[ _ 1,2
a
, e temos que t
a
:. Logo os pontos peridicos de o formam um conjunto
denso em

2
.
Obviamente, nem todos os pontos em
2
so peridicos nem eventualmente peridicos.
Qualquer sequncia que no se repita nunca ser peridica, e estas ultrapassam em nmero
as que so peridicas.
5.2 O conjunto o
1
57
Existem pontos em
2
cujas rbitas esto arbitrariamente prximas de uma qualquer
dada sequncia em
2
. Este fenmeno vai acontecer com as transformaes que tm uma
rbita densa, as topologicamente transitivas.
Assim, podemos resumir as propriedade de o na seguinte proposio.
Proposio 5.1.3 1. =1cr
a
(o) = 2
a
2. 1cr(o) denso em

2
3. Existe uma rbita densa para o em

2
.
5.2 O conjunto S
1
Para estudar a dinmica da transformao da circunferncia o
1
= R,Z, o levantamento a
R mostra-se til. Isto , denimos a transformao : R o
1
por (r) = c
2ia
.
A transformao um exemplo de uma transformao de cobertura j que envolve
R volta de o
1
sem haver pontos crticos.
Denio 5.2.1 1 : R R um levantamento de ) : o
1
o
1
se 1 = ) .
Se 1 um levantamento de ) ento temos que ter 1
t
(r) 0, e assim 1 crescente.
Para alm disso, temos 1(r1) = 1(r)1, e mais genericamente 1(r/) = 1(r)/ para
algum inteiro /. Sublinhe-se que este facto verdade, j que ) um difeomorsmo que
preserva a orientao na circunferncia. Temos tambm que 1(r1)(r1) = 1(r)r, e
assim, 1 id uma funo peridica de periodo um, onde id(r) = r a funo identidade.
De modo semelhante, 1
a
id peridica de perodo um, j que 1
a
um levantamento
de )
a
. Assim podemos concluir que se [r j[ < 1 ento [1
a
(r) 1
a
(j)[ < 1.
O invariante mais importante associado transformao da circunferncia o nmero
de rotao. Este nmero, compreendido entre 0 e 1, essencialmente, mede a quantidade
mdia de pontos que so rodados por uma iterao da transformao, como se viu num
dos captulos anteriores.
Denio 5.2.2 O nmero de rotao de ), j()), a parte fraccionria de j
0
= lim
ao
1
n
(a)
a
para qualquer levantamento 1 de ). Isto , j()) o nico nmero em [0, 1[ tal que
j
0
(1) j()) um inteiro.
Note-se que os nmeros de rotao so bem denidos para transformaes que so
nicamente homeomorsmos.
Podemos agora mostrar que o limite j
0
()) realmente existe.
Assumindo que ) tem um ponto peridico, )
n
(0) = 0 e (r) = 0. Ento 1
n
(r) = r/
para algum inteiro /. Assim 1
)n
(r) = r ,/, e temos
lim
)o
1
)n
(r)
,:
= lim
)o
_
r
,:

/
:
_
=
/
:
.
58 Dinmica simblica
farey 1
2
1
8.jo)
Mais genericamente, podemos escrever qualquer inteiro : na forma : = ,: r onde
0 _ r < :. Note-se que existe uma constante ' tal que [1
v
(j) j[ _ ' para todo j R
e 0 _ r < :. Ento temos que
1
a
(r) 1
)n
(r)
:
=
1
v
_
1
)n
(r)
_
1
)n
(r)
:
_
'
:
.
Consequentemente,
lim
ao
[1
a
(r)[
:
= lim
)o
1
)n
(r)
,:
=
/
:
.
Isto mostra que o nmero de rotao j()) existe sempre que ) tem um ponto peridico,
e acima de tudo j()) racional neste caso, sendo este valor irracional se e s se ) no
tiver pontos peridicos.
5.3 A rvore de Farey
A rvore de Farey uma rvore contendo todos os nmeros racionais entre 0 e 1. Em
cada estgio da sua construo, a rvore de Farey consiste numa lista nita de racionais.
Racionais adjacentes nesta lista so designados de vizinhos Farey. O passo indutivo na
construo desta rvore o seguinte: cada par de vizinhos Farey produzem um lho Farey,
que o racional que est entre os dois racionais cujo denominador menor. Naturalmente,
os racionais que produzem um lho Farey so designados de pais Farey.
Denio 5.3.1 (Adio de Farey) Sejam
c
o
e
A
t
dois nmeros racionais no negativos e
inferiores ou iguais a um. Ento a adio de Farey obtm-se da forma seguinte:
c
,

`
t
=
c `
, t
.
Se somarmos pela adio de Farey dois vizinhos Farey vamos obter um lho Farey.
Comeando por 0 e por 1 vamos obter o lho Farey executando a adio de Farey e
camos assim com o descrito pela gura5.1.
No prximo nvel obtemos dois novos lhos Farey, gura 5.2, e assim sucessivamente,
resultando a lista completa de todos os racionais no intervalo [0, 1[.
Uma propriedade interessante dos nmeros de Farey a seguinte.
5.4 Descrio simblica do conjunto de Mandelbrot 59
Proposio 5.3.1 Os racionais
c
o
e
A
t
so vizinhos Farey se e s se ct `, = 1.
Consequentemente, temos

c
,

`
t
=
1
,t
.
5.4 Descrio simblica do conjunto de Mandelbrot
O estudo da dinmica de polinmios complexos conduz a alguns problemas que pertencem
Anlise Combinatria e Teoria dos Nmeros. A dinmica simblica pode ser vista
como uma poderosa ferramenta para resolver alguns destes problemas.
A transformao )
0
: . .
I
no crculo unitrio em C equivalente transformao
/ : 0 /0 em o
1
= R,Z, ou ao deslocamento
: : (a
1
a
2
...) (a
2
a
3
...)
onde a
1
a
2
... representa o nmero 0 na base /. Seja )
c
: . .
I
c com c, . C e 1
c
=
. : )
a
c
(.) 9 o conjunto cheio de Julia. Seja '
I
= c : 1
c
conexo = c : 0 1
c
.
A transformao )
c
tem dois pontos xos, n(c) e (c). Seja 1
0
= c : 0 peridico para
)
c
, isto , o centro das componentes hiperblicas, 1
1
= c : )
c
tem um ciclo racional
neutral , isto , as razes das componentes hiperblicas e seja 1
2
= c : 0 estritamente
preperidico, os pontos de Misiurewicz.
Douady and Hubbard mostraram que o complemento de '
2
na esfera de Riemann C
o
conformalmente equivalente ao disco C
o
1
2
,onde 1
2
o disco unitrio fechado. Eles
usaram a transformao
. c
c
(.) = lim
ao
[)
a
c
(.)[
12
n
,
que bem denida para todo o . C
o
1
c
, se 1
c
conexo, e a transformao conforme
c c
c
(c) d-nos c
c
: C'
2
C 1
2
.
O argumento externo ou ngulo respeitante a 1
c
aig
c
(c
c
(.)). Para . J
c
= 01
c
podemos denir um valor para aig
c
(.) para cada modo de acesso a . em C 1
c
.
Seja r(c, 0) = . : aig
c
(.) = 0 o raio externo. Ns escrevemos 0 ~ c se o raio
externo r(c, 0) e r(c, c) tem como destino o mesmo ponto de 1
c
, isto , se 0 e c so dois
60 Dinmica simblica
Figura 5.1: Os pares admissveis dos ngulos externos
argumentos externos de um ponto em J
c
. Os argumentos externos 0 de c em '
2
so os
argumentos externos de c em 1
c
.
Um ponto c
0
1
0
est no interior de '
2
, assim, no tem argumentos externos. Um
ponto c
1
1
1
, a raiz da componente hiperblica cujo centro c
0
tem dois argumentos 0
e 0
+
que so racionais com denominadores impares. Se c 1
2
o nmero dos argumentos
externos nito, sendo racionais com denominador par.
Agora consideremos o principal componente do interior de '
2
, o cardiide \
1
, que
conformalmente equivalente a um disco. O conjunto \
1
consiste nos valores de c onde )
c
tem um ponto atractor xo para alm do . Os raios internos em \
1
so parametrizados
pela derivada de )
c
neste ponto xo. Os pontos em 0\
1
dos raios internos dos argumentos
racionais so tambm os pontos de chegada de dois raios externos. Assim, se um ponto
c 0\
1
tem um argumento racional interno na forma irredutvel c =
j
q
, um componente
de \
q
de perodo est ligado ao ponto c em \
1
. Assim c tem dois argumentos externos,
ou ngulos externos:
0
=
a
2
q
1
e 0
+
=
a
+
2
q
1
Se c 0\
1
tem um argumento interno irracional c ento existe um nico nmero real
0 < 0(c) < 1 ponto nal de um nico raio externo. Os ngulos internos so parametrizados
pela rvore de Farey.
5.4.1 rvore dos ngulos externos no conjunto de Mandelbrot
Vamos considerar a rvore representada pela gura XXX dos nmeros racionais com de-
nominador mpar.
Os nmeros racionais assumem a forma
a
2
k
1
, onde : _ 0 e / _ 1 so inteiros. Depois
formamos os pares de cada nvel, depois de retiradas as fraces no primitivas, por ex-
5.4 Descrio simblica do conjunto de Mandelbrot 61
emplo
5
15
, depois fechamos ou formamos os pares de forma a que cada par esteja contido
ou inclua os pares dos nveis j denidos, gura 5.3.
Ns podemos escrever as fraces racionais de denominador mpar
a
2
k
1
na forma
0.a
1
a
2
...a
I
a
1
a
2
..., onde a
i
0, 1 e / o perodo do bloco na expanso binria peridica.
Denotamo-lo por = a
1
a
2
...a
I
. O conjunto dos pares designado por C'
2
.
Para os nmeros racionais de denominador par temos a forma 0./
1
/
2
.../
j
a
1
a
2
...a
I
a
1
a
2
...
com /
i
, a
)
0, 1, uma expanso binria preperidica. Assim temos os blocos 1 =
0./
1
/
2
.../
j
a
1
a
2
...a
I
.
Se dois ngulos externos (c, ,) formam um par, representamo-los pelos blocos na
expanso binria (
0
,
1
) C'
2
. -nos, assim, dado o conjunto das componentes hiper-
blicas de '
2
, que so denidos pelos pares admissveis.
Exemplo 5.4.1 (
1
3
,
2
3
) =
_
1
2
2
1
,
2
2
2
1
_
= (0.01, 0.10) (01, 10)
Generalizando a sequncia de amassamento, o itinerrio da rbita do ponto crtico,
quando c no est necessariamente no eixo real, apresentemos a seguinte codicao.
Seja (c
0
, c
1
) os ngulos do par (
0
,
1
). Seja c = c
0
ou c
1
ento denimos a sequncia
o = o
1
o
2
...o
i
... onde:
o
i
=
_
_
_
1 :c 2
i
c [
c
2
,
c
2

1
2
[= 1
c
1 :c 2
i
c [0,
c
2
['[
c
2

1
2
, 1[= 1
c
C :c 2
i
c =
c
2
ou
c
2

1
2
Por exemplo, consideremos o par (
1
3
,
2
3
) (01, 10).
Para c =
1
3
denimos os intervalos 1
13
=[
1
6
,
1
6

1
2
[ e 1
13
= [0,
1
6
['[
1
6

1
2
, 1[ e para
c =
2
3
fazemos o mesmo. A seguir estudamos a rbita de /, /(c) = 2cmoo1 nos intervalos
1
c
, 1
c
.
1
3

2
3

1
3
1 C 1
2
3

1
3

2
3
1 C 1
Ento a sequncia de simbolos associada a este par 1C.
Consideremos outro par, por exemplo, (
3
7
,
4
7
) (011, 100).
3
7

6
7

5
7
1 1 C
4
7

1
7

2
7
1 1 C
Neste par a sequncia associada 11C.
Os cdigos dos pares duais prprios so os mesmos que nas sequncias de amassamento,
para transformaes iteradas no intervalo introduzidas por Milnor e Thurston.
62 Dinmica simblica
Estes pares admissveis em C'
2
tem um aspecto algbrico que nos permite atravs da
criao de uma operao +, operao estrela, obter outros pares admissveis.
Vamos denir em C'
2
esta operao bem como uma relao de ordem.
Seja (
0
,
1
) o par representado por
)
= a
)
1
a
)
2
...a
)
a
=

i = 1
a
a
)
i
onde , = 0, 1 e
a
)
i
0, 1. Induzimos em C'
2
a ordem natural dos nmeros racionais. Seja e 1
duas sequncias binrias, uma com comprimento : e outra com comprimento : e seja
r = ::c(:, :) assim r = : e r = t:, ento
+
=
q
i=1
1
i
.
Denio 5.4.1 Sejam (
0
,
1
), (1
0
, 1
1
) C'
2
ento
(
0
,
1
) B (1
0
, 1
1
) (maior do que) se
0
1
1
(
0
,
1
) A (1
0
, 1
1
) (faz parte de) se
0
< 1
0
< 1
1
<
1
Denio 5.4.2 Seja (
0
,
1
), (1
0
, 1
1
) C'
2
ento
(
0
,
1
) + (1
0
, 1
1
) =
_
a
i=1
a
0
i
,
a
i=1
a
1
i
_
+
_
_
n
)=1
/
0
)
,
n
)=1
/
1
)
_
_
=
_
_
n
)=1
_
a
i=1
a
b
0
j
i
_
,
n
)=1
_
a
i=1
a
b
1
j
i
_
_
_
onde a
0
i
, a
1
i
, /
0
)
, /
1
)
0, 1.
Este produto de pares admissveis corresponde ao produto estrela na sequncia de
amassamento.
Assim, generaliza-se a teoria do amassamento para transformaes complexas e obte-
mos a caracterizao de todos os pares admissveis.
Exemplo 5.4.2 O produto (011, 100) + (01, 10) = (011100, 100011) que corresponde a
11C + 1C = 11111C
Bibliograa
[Ba 88] Barnsley, M.F. et al (1988) The science of Fractal Images, Springer-Verlag
[Be 91] Beardon, Alan F. (1991) Iteration of Rational functions. Complex Analytic Dy-
namical Systems, Springer-Verlag
[Ca 93] Carleson, Lennart, Gamelin, Theodore W. (1993) Complex Dynamics,
Springer-Verlag
[Car 79] Carmo, Mafredo Perdigo (1979) Geometria riemanniana, Projecto Euclides
[De 89] Devaney, Robert L. (1989) An Introduction to Chaotic Dynamical Systems,
2nd edition, Perseus Books
[De 90] Devaney, Robert L. (1990) Chaos, Fractals, and Dynamics. Computer Experi-
ments in Mathematics,Addison-Wesley Publishing Company
[De 94] Devaney, Robert L. et al (1994) Procedings of symposia in Applied Mathemat-
ics, Vol. 49, American Mathematical Society
[De 97] Devaney, Robert L. (1997) The Mandelbrot Set and The Farey Tree
[De 00] Devaney, Robert L., Moreno-Rocha, M. (2000) Geometry of the Antennas in
the Mandelbrot Set
[Fo 81] Forster,Otto, (1981) Lectures on Riemann surfaces, Springer-Verlag New York
Inc.
[Ke 94] Keen, L. (1994) Procedings of symposia in Applied Mathematics, Vol. 49, Amer-
ican Mathematical Society
[Li 95] Lind, Douglas, Marcus, Brian (1995) An introduction to symbolic dynamics and
coding, Cambridge University Press
[Ma 99] Marsden, Jerrold E. et al (1999) Basic Complex Analysis,3rd edition,Freeman
[Mi 99] Milnor, John,(1999) Dynamics in one Complex Variable, Introductory Lec-
tures,Vieweg
63
64 Dinmica simblica
[Pe 86] Peitgein, H.O., Richter P.H. (1986) The beauty of Fractals, Springer-Verlag
[Spr 81] Springer, George, (1981) Introduction to Riemann surfaces, Chelsea Publising
Company New York, N.Y.
[So 92] Sorvali, Tuomas, Seppala, Mika (1992) Geometry of Riemann surfaces and Te-
ichmuller spaces, North-Holland

Dina Mica

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Dina Mica

Caricato da

Copyright:

Formati disponibili

Captulo 1

(.) de . nita se e s se . um ponto excepcional.

(.) nita ento . um ponto excepcional.

(.) nita. Ento cada 1

, para = 1, ..., :. Ento temos que a funo q =

Potrebbero piacerti anche