Iteración de funciones conformes por pedazos

Manuel Cruz-López
Facultad de Matemáticas
Universidad de Guanajuato
24 de agosto de 2006

1
1. Introducción
Esta notas son un extracto de la primera parte de mi tesis doctoral (ver
[C1]) en donde se estudia la dinámica de una familia de funciones que de-
penden de dos parámetros y cuyos elementos son automorfismos conformes
por pedazos de la esfera de Riemann. Una generalización de los resultados
presentados aquı́ puede consultarse en [C2].
En la siguiente figura ‘simétrica’ observamos las regiones de atracción de
atractores periódicos. De hecho, probamos que los únicos conjuntos ω-lı́mites
son ciclos periódicos. Esto nos muestra que la conformalidad de las funciones
es más ‘fuerte’ que las discontinuidades.

Figura 1: Dinámica de Fα,θ .

2
2. Conceptos Básicos
2.1. Definiciones Generales
Denotemos por D(z0 , r) al disco abierto con centro en z0 y radio r > 0.
A la cerradura del disco D(2, 1) la denotaremos simplemente por D y a su
frontera por C. Finalmente, disco unitario D(0, 1) lo denotaremos por D.
Antes de definir nuestras funciones de estudio, damos unas definiciones
generales:

Definición 2.1. Decimos que F : C b −→ C b es una transformación conforme

por pedazos si existe una familia de subconjuntos abiertos conexos de C, b
D = {Dn }n≥1 , llamada la región de conformalidad de F , tal que
S b
a. n≥1 Dn = C,

b. F : Dn −→ F (Dn ) es conforme para cada n,

c. Para cada Dn ∈ D, F se extiende conformemente en una vecindad de Dn

y F : Dn −→ F (Dn ) es biyectiva, y

d. ∂Dn y ∂(F (Dn )) son curvas diferenciables por pedazos.

b −→ C
Definición 2.2. Sea F : C b una aplicación conforme por pedazos.

a. Decimos que z0 ∈ C b es un punto periódico de periodo n de F si z0 está en

la región de conformalidad de F y F n (z0 ) = z0 . En este caso, llamamos
a la órbita de z0 bajo F , {z0 , F (z0 ), ..., F n−1 (z0 )}, un ciclo periódico de
longitud n. Si n = 1, diremos simplemente que z0 es un punto fijo de F .

b. Si z0 es un punto fijo de F , la componente inmediata de atracción del

punto fijo Ω∗ (z0 ), es la componente conexa de z0 en la región de con-
formalidad de F , y consiste de todos los puntos z tales que F n (z) → z0
cuando z → ∞. La componente completa de atracción de z0 es el conjunto
∞
[
Ω(z0 ) = F −n (Ω∗ (z0 )).
n=1

3
 Estamos interesados en estudiar la dinámica de la siguiente función con-
forme por pedazos:
½
f (z) si z ∈
/D
Fα,θ (z) = ,
g(z) si z ∈ D
donde
f (z) = αz, y g(z) = αeiθ z + 2α(1 − eiθ ),
b −→ C
con α ∈ D, 0 ≤ θ < 2π. Por definición, Fα,θ : C b es conforme y biyectiva
b \ D̄) pero es discontinua a lo largo de C = ∂D.
en D̄ ∪ (C
Podemos también definir a la función inversa por pedazos de Fα,θ de la
siguiente manera:
½ −1
−1 f (z) si z ∈ / Fα,θ (D)
Fα,θ (z) = −1 ,
g (z) si z ∈ Fα,θ (D)
donde
f −1 (z) = α−1 z y g(z) = α−1 e−iθ (z − 2α(1 − eiθ )).

3. Algunos ejemplos
En esta sección fijaremos θ = π. Entonces,
½
αz si z ∈
/D
Fα,π (z) = .
α(4 − z) si z ∈ D
Ejemplo 3.1. Si α = 1/3, entonces 0 es un punto fijo atractor de Fα,π , 1 es
un punto fijo aislado e ∞ es un punto fijo repulsor de Fα,π . Ahora bien, si
ζ ∈ C, i.e., si ζ = 2 + eit , con 0 ≤ t < 2π, entonces
1 2 1
Fα,π (ζ) = (2 − eit ) = − eit ,
3 3 3
el cual pertenece al cı́rculo {z : |z − 2/3| = 1/3}. Esto es,
Fα,π (D) = D(2/3, 1/3) ⊂ D.

n
Luego, si z ∈ D, Fα,π (z) ∈ D y, por lo tanto Fα,π (z) −→ 0 si n → ∞.
n
Más aún, para toda z ∈ C\{1}, tenemos que Fα,θ (z) −→ 0 si n → ∞. Esto
es, la componente completa de atracción de 0 es C \ {1} y Ω({1}) = {1}.

4
 Figura 2: Dinámica de F1/3,π

√
Ejemplo 3.2. Si α = −1/ 3, entonces 0 es un punto fijo atractor de Fα,π ,
1 es un punto periódico aislado de periodo 2 e ∞ es un punto fijo repulsor de
2 n
Fα,π . En este caso, Fα,π (D) ⊂ D y, en consecuencia, Fα,π (z) −→ 0 cuando
√
n → ∞, para toda z ∈ C\{− 3, 1}.

Figura 3: Dinámica de F−1/√3,π

5
4. La Telaraña asociada a Fα,θ
Definimos la telaraña asociada a Fα,θ por
[
−n
Spid(Fα,θ ) = Fα,θ (C).
n≥0

b
Definimos también el conjunto regular de Fα,θ por F(Fα,θ ) = C\Spid(Fα,θ ).

Observación 4.1. De la definición, tenemos las siguientes propiedades:

a. Spid(Fα,θ ) es invariante hacia atrás y F(Fα,θ ) es invariante hacia ade-

−1
lante, i.e., Fα,θ (Spid(Fα,θ )) ⊂ Spid(Fα,θ ) y Fα,θ (F(Fα,θ )) ⊂ F (Fα,θ ).
n
b. Las componentes conexas de F(Fα,θ ) son dominios de normalidad de {Fα,θ }.
n
Esto es, {Fn = Fα,θ |U
} es una familia normal de aplicaciones holomor-
fas para cada U ∈ F (Fα,θ ); en otras palabras, la familia de funciones
contiene subsucesiones que convergen uniformemente con respecto a la
métrica esférica, en subconjuntos compactos de U (ver Ahlfors [Ahl])

Figura 4: La telaraña asociada a Fα,θ .

6
5. Resultados
Observación 5.1. Sea (α, θ) ∈ D × S1 .

a. En general, tenemos que 0 e ∞ son puntos fijos de Fα,θ e, independien-

temente de θ, si |α| < 1/3, entonces la órbita positiva de cualquier punto
z ∈ C∗ converge a 0 bajo iteraciones de Fα,θ (ver la proposición siguiente).

b. Si |z| < 1, entonces la órbita positiva de z converge a 0 bajo iteraciones

de Fα,θ . Esto significa que el disco unitario está contenido en el valle
inmediato de atracción de 0. También, si |z| > 3, la órbita positiva de z
eventualmente entra en el disco D(0, 3).

De las observaciones anteriores, vemos que la dinámica ‘interesante’ de

Fα,θ aparece en el anillo A = {z : 1 ≤ |z| ≤ 3}.

Definición 5.2. Decimos que la telaraña es localmente finita en C si el punto

−n
al infinito es el único punto de acumulación de sucesiones {zn } ∈ Fα,θ (∂D).

Proposición 5.3. Si 0 < |α| < 1/3, entonces Spid(Fα,θ ) es localmente finita
n
en C y Fα,θ (z) converge a 0 cuando n → ∞, para toda z ∈ C.

Demostración. Sea V∞ una vecindad de infinito de la forma {|z| > M }, con

M >> 1. Como |α| < 1/3, entonces Fα,θ (D) ⊂ D y Fα,θ −1
(D) ⊂ C b \ D(0, 3).
−n
Luego, es posible encontrar un entero positivo N tal que Fα,θ (C) ⊂ V∞ para
−1 −1
S −n
toda n ≥ N . Como Fα,θ |V = α z, tenemos que n≥N Fα,θ (C) ⊂ V∞ y
∞
el único punto de acumulación de Spid(Fα,θ ) es ∞. Esto es, Spid(Fα,θ ) es
localmente finita en C.
Ahora bien, el conjunto regular consiste de una unión numerable de discos
−j S −j
ajenos de la forma Fα,θ (D) y del complemento C\ j≥0 Fα,θ (D). Luego, si U
es cualquier componente del conjunto regular, entonces, ó U coincide con D
después de alguna iteración, ó sus imágenes son ajenas con D. En ambos
casos, F n (U ) −→ 0 cuando n tiende a ∞. ¡

Proposición 5.4. Sea (α, θ) ∈ D × S1 . Si z0 , z1 son cualesquiera dos puntos

en la misma componente conexa de F(Fα,θ ), entonces
n n
lı́m |Fα,θ (z0 ) − Fα,θ (z1 )| = 0.
n→∞

7
 0
Demostración. Se sigue por inducción en n, ya que |Fα,θ | = |α| < 1. ¡

b el espacio que consta de todos los subconjuntos cerrados de C.

Sea H(C) b
En McMullen [Mc], la topologı́a de Hausdorff en H(C)b está caracterizada de
la siguiente manera. Decimos que Sk −→ S si

a. toda vecindad de un punto z ∈ S intersecta a todos, salvo un número

finito, de los elementos de la sucesión Sk ; y

b. si toda vecindad de z intersecta a un número infinito de elementos Sk ,

entonces z ∈ S.

Dada una sucesión arbitraria de subconjuntos cerrados {Sk } de C, b defin-

imos lı́m inf Sk como el conjunto más grande que satisface la condición (a), y
lı́m sup Sk como el conjunto más pequeño que satisface la condición (b). Tan-
to lı́m inf Sk como lı́m sup Sk son cerrados y lı́m inf Sk ⊂ lı́m sup Sk . Tenemos
entonces que, Sk −→ S si y sólo si lı́m inf Sk = lı́m sup Sk .
También se establece que H(C) b es un espacio métrico compacto en la
topologı́a de Hausdorff.

Teorema 5.5. Para toda α ∈ D, la función θ −→ Spid(Fα,θ ) es uniforme-

b
mente continua de S1 en H(C).

Demostración. Probamos primero que θ −→ Spid(Fα,θ ) es continua. Fije-

mos θ0 ∈ S1 y denotemos por S a la telaraña asociada a Fα,θ0 . Probaremos
primero que la función es continua. Si {θk } ⊂ S1 es una sucesión de argu-
mentos que converge a θ0 , necesitamos probar que la sucesión de conjuntos
cerrados Sk converge a S, donde Sk es la telaraña asociada a Fα,θk . Por
definición de la telaraña, para probar esto, es suficiente probar que para cada
n ≥ 1,
−n −n
Γkn := Fα,θk
(C) −→ Λn := Fα,θ 0
(C).
Como cada uno de estos conjuntos es la unión de arcos cerrados, si z es
cualquier punto en Λn , entonces z está contenido en una arco, digamos, a0 .
Si U es cualquier vecindad de z, por la convergencia de θk a θ0 , existe una
infinidad de valores de k tales que θk está cerca de θ0 . Esto implica que, para
una infinidad de valores de k, existe un arco Ak ∈ Γkn tal que

Ak ∩ U 6= ∅.

8
 b es
Por lo tanto, Γkn −→ Λn , y Sk −→ S. Por lo tanto, la función S1 −→ H(C)
1 1
continua. Finalmente, como S es un espacio topológico compacto y S −→
b es continua, se sigue que S1 −→ H(C)
H(C) b es uniformemente continua. ¡

Este teorema tiene como consecuencia importante el siguiente:

Teorema 5.6. Si (α, θ) ∈ D × S1 , entonces Spid(Fα,θ ) es localmente finita
en C.
Demostración. Fijemos cualquier α ∈ D.
−1
Si θ = 0, Fα,0 ≡ α−1 z, y la telaraña asociada a Fα,0 es una unión de
−1
cı́rculos que convergen a ∞ bajo iteraciones de Fα,0 . Por lo tanto, Spid(Fα,0 )
es localmente finita en C.
Sea

A = {θ ∈ [0, 2π) : Spid(Fα,θ ) es localmente finita en C}.

Claramente, A 6= ∅ ya que 0 ∈ A. Probaremos primero que A es cerrado. Sea

θ0 un punto de acumulación de A y supongamos que la telaraña asociada
a Fα,θ0 no es localmente finita en C. Esto significa que existe al menos un
punto de acumulación z 6= ∞ de Spid(Fα,θ0 ). Esto es, existe un entero positivo
N >> 0 y una sucesión de arcos cerrados {an } ⊂ Λn tales que z ∈ an , para
cada n ≥ N .
Sea {θk } ⊂ A una sucesión de argumentos tales que θk −→ θ0 . Como
θk ∈ A, la telaraña correspondiente Sk = Spid(Fα,θk ) es localmente finita en
C, para toda k.
Por continuidad, la sucesión Sk converge a la telaraña S, asociada a Fα,θ0 .
Luego, dada cualquier vecindad U de z, para cada n ≥ 1, existe una sucesión
de arcos Ak ⊂ Γkn tales que
Ak ∩ U 6= ∅,
para una infinidad de valores de k. Fijemos un valor de k arbitrariamente
grande y para cada n ≥ N , elijamos una arco Ak,n ⊂ Γkn tal que Ak,n ∩ U 6= ∅.
Esto significa que z es también un punto de acumulación de Spid(Fα,θk ), lo
cual es imposible, ya que Sk = Spid(Fα,θk ) es localmente finita en C. Por lo
tanto, Spid(Fα,θ0 ) es localmente finita en C y A es cerrado.
Nuevamente por continuidad, A es abierto, y por lo tanto, A = [0, 2π).
Finalmente, como α ∈ D era arbitrario, tenemos que, si (α, θ) ∈ D × S1 ,
entonces Spid(Fα,θ ) es localmente finita en C. ¡

9
Teorema 5.7. (Clasificación de Órbitas Periódicas) Sean (α, θ) ∈ D × S1 .
Entonces, para toda z ∈ C, existe un ciclo periódico {z0 , ..., zN −1 } tal que
n
Fα,θ (z) converge a {zj } cuando n → ∞.
Demostración. Sea U0 =
6 ∅ cualquier componente acotada del conjunto
regular y definamos
n
Un = Fα,θ (U0 ), n ≥ 1.
n 0
Entonces, diam(Un ) → 0 y |(Fα,θ ) | = |α|n → 0 cuando n → ∞.
Si Un ∩ Um = ∅, para cada n 6= m, entonces {Un } tiene un punto de
acumulación en Spid(Fα,θ ) ∩ (Cb \ V∞ ), donde V∞ es una componente conexa
de ∞ distinta de Un . Por la finitud local de Spid(Fα,θ ) y el lema anterior,
esto no es posible. Por lo tanto, Un ∩ Um 6= ∅, para alguna n 6= m.
Después de renombrar a las componentes si es necesario, tenemos que
k
existe N > 0 tal que UN ⊂ Un . Si k ≥ N , {Fk = Fα,θ |UN
} es una familia
normal por la proposición 1.4.4 aplicada a zk+1 = Fα,θ (zk ) y zk , k ≥ 1. Los
únicos lı́mites son funciones constantes. Por la normalidad de las funciones
y el lema anterior, estas funciones constantes están en el interior de UN , y
corresponden a puntos periódicos de Fα,θ . ¡

Referencias
[Ahl] L.V. Ahlfors, Complex Analysis, McGraw Hill, 1978.
[C1] M. Cruz-López, Acciones de grupos en Sistemas Dinámicos, Tesis Doc-
toral, Facultad de Ciencias, UNAM (2004).
[C2] M. Cruz-López, Dynamics of piecewise conformal automorphisms of
the Riemann sphere, Ergodic Theory and Dynamical Systems (2005),
25, pp. 1767-1774.
[Mc] C. McMullen, Renormalization and 3-manifolds which fiber over the
circle, Annals of Mathematics Studies 142, Princeton University Press,
1996.

10