Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Universidad Ju
arez Aut
onoma de Tabasco, DACB
Carr. Cunduac
an-Jalpa Km 1, Cunduac
an Tabasco, Mexico
A.P. 24 C.P. 86690. Tel.(+52)914 336-0928
Uno de los problemas principales en el sistema dinamico generado por una funcion
continua f , es mostrar la convergencia de la sucesion {zn }, obtenida a partir de una
condici
on inicial z0 y definida recursivamente como zn = f (zn1 ). Nuestro interes es
mostrar bajo que condiciones existe el lmite de esta sucesion, cuales son los obstaculos que impiden la convergencia y como es el conjunto de condiciones iniciales para
las que existe el lmite.
Notemos que si la sucesi
on {zn } tiene un lmite L entonces L es un punto fijo de f ,
porque
f (L)
De aqui, si la funci
on es un polinomio P , uno de los primeros conjuntos de interes es el
conjunto de puntos fijos de P , ya que los posibles lmites de las diferentes sucesiones
{zn } los encontraremos en este conjunto. Ademas, si P es de grado d entonces tenemos
a lo m
as d puntos fijos y por lo tanto a lo mas d candidatos.
Otro conjunto importante en nuestro estudio, son los puntos periodicos de P ya que
si en lugar de tomar toda la sucesion {zn } tomamos la subsucesion generada por los
m
ultiplos de k, para un k fijo, es decir, la subsucesion {zkn }, entonces cuando esta
converja, por el argumento anterior, lo hara en un punto periodico de periodo l, donde
l|k.
2. Clasificaci
on de
orbitas peri
odicas
2.1. Un punto z C, es un punto peri
odico de P de periodo k si P k (z) =
z y P j (z) 6= z para j < k, donde P k denota la composicion de P consigo mismo k
veces.
Definici
on
* gble@ujat.mx
Gamaliel Bl
e Gonz
alez
Dado z C al conjunto
OP (z) = {w C : w = P k (z) para alguna k N {0}}
se le llama
orbita de z bajo P . En el caso que z es periodico este conjunto es finito y
se le llama
orbita peri
odica. Muchas veces es dificil resolver la ecuacion de la definicion anterior para encontrar los puntos periodicos de P o a
un localizandolos resulta
complicado describir el comportamiento dinamico de P , por lo que muchas veces es
necesario escoger un polinomio Q que sea mas sencillo, en cierto sentido, y que guarde
las propiedades de P .
2.2. Dado P y Q polinomios, se dice que son topol
ogicamente
(analticamente) conjugados en el abierto U , si existe un homeomorfismo (bi-holomorfismo)
: U (U ) tal que P (z) = Q (z) para z U , es decir, que el siguiente
diagrama conmute,
P
U U
Q
(U ) (U )
Definici
on
P
C
Pc
C
Es decir,
P (z) = Pc (z)
(a0 + a1 z + a2 z 2 ) = [(z)]2 + c
a(a0 + a1 z + a2 z 2 ) + b = [az + b]2 + c
aa0 + b + aa1 z + aa2 z 2 = a2 z 2 + 2abz + b2 + c.
De aqui se obtienen las siguientes ecuaciones
aa0 + b
aa1
aa2
= b2 + c
= 2ab
= a2 .
Din
amica de los Polinomios Cuadr
aticos
a1
a1 2
a1
, y c = a0 a2 +
.
2
2
2
Esta proposici
on nos muestra que el estudio dinamico de los polinomios cuadraticos
lo podemos reducir a los polinomios de la forma Pc , con la ventaja que estos u
ltimos
estan parametrizados por el campo C. Por ello, encontrar los puntos fijos de P se
reduce a encontrar los puntos fijos de Pc , es decir, las races del polinomio z 2 z + c.
Resolviendo se obtiene que los puntos fijos de Pc son
1 1 4c
,
z1,2 =
2
los cuales son dos, salvo el caso c =
1
1
, donde Pc tiene a como u
nico punto fijo.
4
2
Definici
on
Ejemplo
1. atractor si c (
1 4c
de Pc es:
2
3 1
, ) \ {0} y super-atractor cuando c = 0,
4 4
2. indiferente si c =
3. repulsor si c <
1
3
oc=
y
4
4
3
1
oc> .
4
4
Para mostrar la importancia que tiene esta clasificacion de los puntos periodicos
enunciaremos sin demostraci
on algunos teoremas que pueden ser revisados en [1, 2].
Sea f una funcion con un punto fijo en z0 y cuyo multiplicador es . Si 0 < || < 1 o || > 1 entonces existen U, V vecindades de z0 y
de 0 respectivamente y un biholomorfismo : U V que conjuga analiticamente
la funci
on f a la funci
on g(z) = z. Ademas, esta conjugacion es u
nica, modulo la
multiplicaci
on por un escalar real.
Gamaliel Bl
e Gonz
alez
Este teorema nos dice que cerca de los puntos fijos atractores o repulsores las funciones
se comportan como multiplicaci
on por . En particular, si z0 es atractor, en una
vecindad de z0 todo se acerca a z0 .
Este teorema tambien es v
alido para orbitas periodicas atractoras o repulsoras de
periodo k, ya que lo u
nico que se tiene que hacer para mostrarlo es sustituir f por
f k.
2.2 Super-atractores
Sea f una funcion analtica en z0 y con un punto fijo superatractor en z0 . Si f (z) = z0 + ap (z z0 )p + . . ., con ap 6= 0, entonces existen U, V
vecindades de z0 y 0 respectivamente y un bi-holomorfismo : U V tal que conjuga
f (z) a g(z) = z p . Esta conjugacion es u
nica modulo la multiplicacion por una raiz
(p 1)esima de la unidad.
Teorema 2.2 (B
ottcher-1904)
De igual manera, que en el teorema de Koenigs, este teorema es valido para orbitas
super-atractoras.
2.3 Indiferente
Si una funci
on anatica f en z0 tiene un punto fijo en z0 con multiplicador de modulo
uno, entonces pueden ocurrir dos cosas, que exista una vecindad U de z0 donde f
sea conjugada a la rotaci
on z o que no exista tal vecindad; si ocurre el primer caso,
decimos que f es linearizable en z0 .
Cuando es una raz de la unidad, es facil mostrar que f no es linearizable. Sin
embargo, cuando = e2i y es irracional, el problema de linearizacion ha resultado
ser complicado y antes de dar los resultados que se han obtenidos, sera necesario dar
algunas definiciones.
Notemos que si t [0, 1), entonces lo podemos desarrollar en fracciones continuas y
obtener una sucesi
on de n
umeros racionales
1
pn
:= [a1 , . . . , an ]
=
1
qn
a1 +
1
a2 +
1
a3 + . . . +
an
pn
que converge a t. A
, se le llama n-esima reducida o n-esima aproximacion a t. De
qn
hecho, la sucesi
on {an }n1 es de n
umeros enteros no negativos y se obtiene usando el
algoritmo de la divisi
on [10]. En general, se puede obtener la sucesion {an }n0 para
todo t R y salvo a0 todos son enteros no negativos. Ademas, la sucesion es finita
cuando t es racional e infinita para t irracional.
Definici
on
{an } es acotada.
Definici
on
C
p
| | k
q
q
p
Q.
q
Din
amica de los Polinomios Cuadr
aticos
Proposici
on
1+ 5
los de tipo acotado. En particular, la razon aurea t = [1, 1, 1, 1, . . .] =
es un
2
n
umero de tipo acotado y de hecho, todos los n
umeros algebraicos son de este tipo y
casi todo n
umero real es diofantino [10].
Teorema 2.3 (Siegel-1942) Sea f una funci
on analtica en z0 tal que f (z0 ) = z0 y =
f 0 (z0 ) = e2i . Si es diofantino entonces f es linearizable en z0 .
X
log qn+1
n=1
qn
< ,
entonces f es linearizable en z0 .
Yoccoz demostr
o en 1998 que para la familia de polinomios cuadraticos, la condicion
de Brjuno es necesaria para tener linearizacion [22, 3], pero en general no se tiene
una condici
on necesaria.
Gamaliel Bl
e Gonz
alez
Propiedades:
Din
amica de los Polinomios Cuadr
aticos
b) Si z es repulsor entonces z JP
6. Los puntos peri
odicos repulsores de P son un conjunto denso en JP .
7. El conjunto KP es conexo si y s
olo si la
orbita de cada punto crtico de P es acotada.
Definici
on
conjunto
AP (w) = {z C : lm zn = w}
n
4. Familia cuadr
atica
En esta secci
on vamos a presentar algunos de los resultados mas importantes obtenidos en las u
ltimas decadas para la familia cuadratica.
Denotemos por Kc = KPc y Jc = JPc , directamente de las propiedades enunciadas en
la secci
on anterior tenemos:
Corolario
10
Gamaliel Bl
e Gonz
alez
Proposici
on
lm P n (z) =
Demostraci
on Sea z0 C tal que |z0 | > R. Para mostrar que la sucesion {zn }
converge a infinito, basta con mostrar que la sucesion |zn | es estrictamente creciente.
Veamos en primer lugar que |P (z0 )| > |z0 |, es decir, que
p(z0 )
z0 > 1
p(z0 ) z02 + c
=
|z0 | c > |z0 | 1 > 1
z0 z0
z0
De aqui tenemos por inducci
on sobre n que |zn+1 | > |zn | y en consecuencia el resultado.
Observaci
on
lm Pcn (0) =
Porque cero es enviado en c y |Pc (c)| = |c2 +c| > |c|, por el resultado anterior la orbita
de c2 + c converge a infinito, en consecuencia la orbita de cero tambien converge a
infinito.
sicas UJAT, 4(1)Noviembre 2005 p 315
Revista de Ciencias Ba
Din
amica de los Polinomios Cuadr
aticos
Corolario
11
D2 (0) = {c C : | c |6 2}.
Adem
as, Douady y Hubbard demostraron en 1982 el siguiente resultado [6],
Teorema 4.1 (Douady-Hubbard) El conjunto M es conexo, compacto y lleno. Donde lleno
\ M es simplemente conexo.
significa que C
y ese mismo a
no postularon la siguiente conjetura, la cual permanece sin resolver.
Conjeture (MLC)
OP (P )
JP = ,
= {c M : Pc es hiperbolico }
= {c M : Pc tiene una orbita atractora }
Int(M ) = H(M )
5. componentes hiperb
olicas
En esta secci
on nos detendremos a estudiar las componentes hiperbolicas con el fin
de mostrar los avances en la demostracion de MLC.
sicas UJAT, 4(1)Noviembre 2005 p 315
Revista de Ciencias Ba
12
Gamaliel Bl
e Gonz
alez
En primer lugar notemos que en los puntos del interior de M , se tiene conexidad local
y por lo tanto los puntos importantes son los que se encuentran en la frontera de M .
Denotemos por W0 a la componente principal de M , definida como,
W0 = {c M : Pc tiene un punto fijo atractor }
Para identificar el conjunto W0 , recordemos que Pc tiene dos puntos fijos, los cuales
denotaremos por c y c ; ellos satisfacen,
z 2 z + c = (z c )(z c )
= z 2 (c + c )z + c c .
As c + c = 1 y c c = c. Como Pc0 (z) = 2z tenemos que,
|Pc0 (c )| + |P 0 (c )| = 2c + 2c = 2(c + c ) = 2.
Esta desigualdad nos muestra nuevamente que solamente uno de los puntos c o c
es atractor. Digamos que c es dicho punto, entonces
|P 0 (c )| = 2|c | < 1 |c | < 1/2,
como c es punto fijo de Pc tenemos que
c2 + c = c
c = c c2 .
(1)
As el conjunto de par
ametros c para los cuales Pc tiene un punto fijo atractor es la
imagen del disco {c : |c | < 1/2} bajo la funcion z 7 zz 2 . Esta funcion la podemos
ver como la composici
on f g h, donde h(z) = z1/2, g(z) = z 2 y f (z) = 1/4 z, y
el conjunto de par
ametros c para los cuales se tiene un punto fijo atractor, resulta ser
el interior de la cardioide mostrada en la figura 3. De aqu podemos observar que la
funci
on W0 : W0 D que a c lo envia en DPc (c ) es un bi-holomorfismo y de hecho
sicas UJAT, 4(1)Noviembre 2005 p 315
Revista de Ciencias Ba
Din
amica de los Polinomios Cuadr
aticos
13
W0 (t) =
2
2
2it
En este caso decimos que el par
ametro c = 1
) tiene argumento interno t.
W (e
En 1992, Yoccoz demostr
o MLC para todos los parametros que se encuentran en la
frontera de una componente hiperbolica de M [9].
6. Rayos externos
Teorema
14
Gamaliel Bl
e Gonz
alez
1. Si t es racional y
dos
angulos 1 , 2
Adem
as, los rayos
contiene a c y son
Douady y Hubbard demostraron tambien que todos los rayos externos de angulo
racional aterrizan a la frontera de M y de hecho ellos mostraron que si es periodico
bajo la funci
on 2t entonces RM () aterriza en un parametro c parabolico (Pc tiene una
orbita parab
olica) y en caso contrario RM () aterriza en un parametro de Misiurewicz
c, (el punto crtico de Pc es pre-periodico).
Adem
as de los par
ametros considerados por Douady-Hubbard, Yoccoz demostro en
[9] que se tiene conexidad local en todos los parametros finitamente renormalizables
(vease [15] para la definici
on) y en estos u
ltimos a
nos se han destacado los trabajos de
Lyubich [12, 13] quien ha establecido condiciones que garantizan la conexidad local
en par
ametros infinitamente renormalizables.
En la b
usqueda de una demostracion de la conjetura MLC, se ha demostrado la conexidad local de los conjuntos de Julia Jc , para casi todo c C. Douady-Hubbard
demostraron la conexidad local de los conjuntos de Julia de polinomios hiperbolicos,
de polinomios con una
orbita parabolica o con el punto crtico pre-periodico (de Misiurewicz) [6]. Adem
as, Douady mostro los primeros ejemplos de conjuntos de Julia
que no son localmente conexo: Los Julias de polinomios cuadraticos con un punto de
Kremer o con un disco de Siegel para el cual el punto crtico no esta en la frontera
de [5, 8]. En lo que concerne a polinomios cuadraticos con disco de Siegel, en 1994
Petersen mostr
o que si el n
umero de rotacion es de tipo acotado entonces el conjunto
de Julia es localmente conexo y de medida de Lebesgue cero [16]. En el 2004, Petersen
y Zakeri generalizaron este resultado para aquellos polinomios cuadraticos con discos
de Siegel, cuyo n
umeros de rotacion = [a1 , a2 , ...] satisface que la sucesion {log(an )}
crece del orden n, [17]. En 1998 Levi y Van Strien demostraron la conexidad local
para todos los par
ametros reales en M [14]. Sin embargo, a
un existen parametros c
en la frontera de M donde se desconoce la conexidad local de Jc y la conexidad local
de M en c.
Por otro lado, en 1992, Shishikura demostro que existe un conjunto residual de
par
ametros c en la frontera de M para los cuales Jc tiene dimension de Hausdorff
dos, pero hasta la fecha no se ha podido dar explcitamente uno de estos parametros
[18, 19]. Adem
as, se conjetura la existencia de parametros c en la familia cuadratica
para los cuales el conjunto Jc tiene medida cero.
Estas notas son una breve introduccion a la familia cuadratica y una invitacion a
estudiar los retos que existen en sistemas dinamicos.
Referencias
[1] L. Carleson et T.W. Gamelin, Complex Dynamics, Springer-Verlag, 1993.
[2] A.F. Beardon, Iteration of rational functions, Springer-Verlag, 1991.
sicas UJAT, 4(1)Noviembre 2005 p 315
Revista de Ciencias Ba
Din
amica de los Polinomios Cuadr
aticos
15