Documentos de Académico
Documentos de Profesional
Documentos de Cultura
mica
Transformaciones casiconformes y dina
*
Holomorfa
Juan Francisco Estrada Garca, Julio Erasto Poisot Macas **
Resumen
En este artculo se da una introducci
on a los conceptos y resultados b
asicos
de las transformaciones casiconformes y el espacio de Teichm
uller con algunas
de sus aplicaciones en el estudio de la din
amica generada por las transformaciones racionales definidas en la esfera de Riemann
Palabras clave: Casiconformes, superficie de Riemann, espacio de
Teichm
uller, sistemas din
amicos holomorfos
1.
Introducci
on
22
F. Estrada, J. Poisot
2.
2.1.
Transformaciones conformes
Definici
on y resultados b
asicos
Una transformacion en plano que preserva medidas de angulos y orientacion, se llama conforme. En analisis complejo, una funcion f diferenciable con
derivada no cero, preserva angulos y orientacion. En particular, una funcion
biyectiva entre dos dominios (abiertos y conexos) A y B, holomorfa, es un biholomorfismo entre estos dos dominios, y establece un homeomorfismo conforme
entre estos dos dominios. A tal transformacion le llamamos equivalencia conforme. Estos conceptos se generalizan a dominios del plano complejo extendido
:= C {} cuya representacion geometrica es la esfera de Riemann. En el
C
caso especial de que A = B, tal equivalencia conforme se llama automorfismo
conforme de A.
Ejemplos fundamentales de transformaciones conformes son los grupos de
automorfismos
conformes
de
los
dominios
canonicos
C,
C,
M= {z C : |z| < 1}, H = {z C : Im (z) > 0}, descritos en el siguiente teorema:
tiene la forma:
Teorema 2.1. (i) Todo elemento de Aut(C)
(z) =
donde a, b, c, d C con ad bc = 1.
az + b
,
cz + d
Transformaciones casiconformes
23
bz + a
donde a, b C con |a|2 |b|2 = 1. Estos elementos tambien se pueden escribir
como.
z
(z) = exp i
,
1
z
donde R y M.
(iv) Todo elemento de Aut(H) tiene la forma:
(z) =
az + b
,
cz + d
donde a, b, c, d R con ad bc = 1.
y () = , entonces en una vecindad de
Demostraci
on. (i) Si Aut(C)
, tiene una expansion de Laurent:
(z) = az +
bn z n ,
n=0
24
F. Estrada, J. Poisot
M ob C = T (z) =
: a, b, c, d C con ad bc 6= 0
cz + d
. Una propiedad geometrica de las transformaciones de Mobius, es que transforman crculos en la esfera en crculos en la esfera. Dado que tres puntos
existe una u
caracterizan un crculo, entonces dados dos triangulos en C,
nica
transformacion de Mobius, que lleva un triangulo en el otro y que lleva vertices
en vertices.
Uno de los resultados mas importantes del analisis complejo, tanto por
sus m
ultiples aplicaciones a la fsica matematica como a la geometra, es el
Teorema de Transformacion Conforme de Riemann.
Teorema 2.2. . [Representaci
on Conforme de Riemann] Todo dominio simplemente conexo del plano que no sea todo el plano, es conformemente equivalente al disco unitario 4.
Una demostracion de este teorema puede encontrarse en [1]. Es claro que
utilizando los automorfismos del disco unitario, podemos obtener una infinidad
de representaciones conformes de un dominio simplemente conexo que no sea
el plano. La unicidad de tal transformacion queda establecida exigiendo que
el cero del disco unitario, sea la imagen de un punto dado en el dominio
simplemente conexo y que la derivada en ese punto sea un n
umero real positivo,
o exigiendo que el argumento
umero real
de la derivada en ese punto sea un n
dado en el intervalo (, . Para establecer el comportamiento en la frontera
Transformaciones casiconformes
25
si an 6= , mientras que:
Z z
f (z) = A
( a1 )1 1 ( a2 )2 1 ( an1 )n1 1 d + B
i
si an = .
Una demostracion puede encontrarse en [1].
26
2.2.
F. Estrada, J. Poisot
Sobre la soluci
on al problema de Gr
otzsch
AExiste
un difeomorfismo C 1 que resuelva este problema?, su respuesta es
afirmativa. AExiste
un modo de medir la desviacion de la conformodidad de
la solucion?, su respuesta es afirmativa. El siguiente argumento nos permite
verificar estas respuestas [2]:
Sea f : U V un difeomorfismo de clase C 1 entre dos dominios U y V
del plano que preserva orientacion, es decir, el jacobiano Jf (z) :=| f (z) |2
(z) |2 es positivo en U , lo cual denotamos por f Dif + (U, V ), para
| f
con z = x + iy, la
el cual se definen las derivadas parciales complejas f y f
diferencial df y la derivada Df por:
f =
1
= 1 (fx + ify )
(fx ify ) , f
2
2
d
z
df = f dz + f
(z) u
[Df (z)] (u) = f (z) u + f
.
La derivada f en la direccion :
f (z + r exp (i)) f (z)
.
r0
r exp (i)
f (z) = lm
(z) |
| f (z) | + | f
max | f (z) |
=
(z) |
mn | f (z) |
| f (z) | | f
Transformaciones casiconformes
27
a0 b0
Z
0
a02 b02
Z
0
aZ b
0
aZ
Z aZ b
2
|f | + f
2
dxdy
f
dxdy
|f
|
|f | f
0
0
Z aZ b
0 0
=ab
Df dxdy
0
y en particular,
dxdy
|f | + f
a0 a
1
0
b b
ab
Z Z
Df dxdy
R
a0 a
sup Df (z) .
b0 b zU
z.
2 a
b
2 a
b
Esto demuestra que no existe transformacion conforme, que resuelva el
problema de Grotzsch.
28
3.
3.1.
F. Estrada, J. Poisot
Definici
on
analtica
Casiconforme
de
transformaci
on
El caso diferenciable
y
f (x + iy) = 2 x + i ,
x
es casiconforme, ya que f Dif + (U, V ) y Df es acotada en U.
2) Sea K > 1. La funcion h : 4 4, dada por h (z) = z |z|K , es casiconforme, ya que h Dif + (4, 4) y
K
|h| + h
K+1 + 1
Dh =
1 K .
|h| h
K+1
3) Sea U = {x + iy : |y| x y 0 < x < 1} , V = C. La transformacion
g : U V, dada por g (x + iy) = x + i xy , es un elemento de Dif + (U, V ) ,
tal que Dg no es acotada en U por lo cual no es casiconforme. Sin embargo,
para cualquier punto en U , podemos construir una vecindad de tal punto, en
la cual esta transformacion es casiconforme.
Desde el punto de vista geometrico, podemos hacer las siguientes observaciones: 1) Una transformacion conforme infinitesimalmente enva circunferencias en circunferencias, lo cual se desprende directo de la definicion de derivada compleja. 2) Una transformacion casiconforme infinitesimalmente enva
circunferencias en elipses, es decir, la derivada enva circunferencias en elipses,
lo cual se constata del siguiente argumento:
(z) exp (i) .
Df (z) r exp (i) = rf (z) exp (i) + rf
Transformaciones casiconformes
29
(z)
f
f (z) .
i) La transformaci
on f es conforme, es decir, f es holomorfa con derivada no nula
en U .
ii) Ef es el campo de circunferencias.
iii) f = 0 en U .
Los datos provistos por el campo de elipses Ef en U (considerado modulo una homotecia real en cada punto) y los de la funcion f : U 4, son equivalentes. Ademas,
tenemos que f y Df est
an relacionadas por:
Df (z) =
1 + |f |
.
1 |f |
30
F. Estrada, J. Poisot
3.2.
El caso general
Ccomp
(U ) y Ccomp
(U ).
El espacio L2 (U ) es completacion del espacio Ccomp (U ) con la norma L2 definida
por:
ZZ
ZZ
2
(kf kL2 ) =
|f | =
|f (z)| dxdy,
zU
h Ccomp
(U )
gh =
f
.
x
f
x
en el
Transformaciones casiconformes
31
La funci
on g est
a determinada de manera u
nica (como elemento de L1loc (U )) por
esta condici
on.
1
Def inici
on 3.4. Definimos el espacio de Sobolev Hloc
(U ) como el espacio vectof
1
rial de funciones f Lloc (U ), que admiten derivadas parciales f
x y y en el
1
sentido de distribuciones contenidas en L2loc (U ). Para f Hloc
(U ), definimos f
1+k
,
1k
K0 =
1 + k0
,
1 k0
f (z) + g (z)
f (z)
f (z)
1 + g (f (z)) f (z)
Si f es holomorfa, entonces gf (z) = g (f (z))
f (z)
f (z) .
f (z)
f (z)
32
F. Estrada, J. Poisot
Una demostraci
on puede encontrarse en [2]. De acuerdo al lema de Weyl,
tenemos:
Teorema 3.7. Sean U, V C abiertos. Un homeomorfismo f : U V que es
1-casiconforme, es conforme.
El siguiente resultado es el punto de partida para la Teora de la deformacion de
transformaciones casiconformes en el plano.
Teorema 3.8. (Morrey, Bojarski, Ahlfors, Bers) (Transformaci
on medible de Riemann). i) Sea U C un abierto y sea L (U ) , tal que kk < 1. Entonces
existe una transformaci
on casiconforme f := f : U C, que satisface la ecuaci
on
de Beltrami:
= f
f
Adem
as, f (z) z 0 cuando z . A tal funci
on se le llama coeficiente de
Beltrami en U .
ii) Si g es otra soluci
on casiconforme de esta ecuaci
on, entonces existe una funci
on
holomorfa e inyectiva : f (U ) C, tal que g = f , as que f (z) = f (z).
iii) Si la funci
on depende tambien de un par
ametro , es decir, : U C,
donde y es un dominio de C, y la dependencia de respecto a es holomorfa
(respect. continua), entonces las soluciones de la ecuaci
on de Beltrami, f , dependen
de manera holomorfa (respect. continua) del par
ametro .
Una demostraci
on se encuentra en [7].
Nota 3.9. Dos transformaciones entre superficies f , g : S1 S2 , se dicen isotopicas
si existe una familia a un parametro Ht : S2 S2 de homeomorfismos, tal que
H0 = idS2 y H1 f = g. De acuerdo a (ii), dos soluciones f y g de la ecuacion de
Beltrami, son isot
opicas. Ademas, si f y g son homeomorfismos casiconformes de
entonces g = f para alguna transformacion de Mobius .
la esfera C,
4.
Superficies de Riemann
Transformaciones casiconformes
33
34
F. Estrada, J. Poisot
Transformaciones casiconformes
35
4.1.
Espacios cubrientes
La Teora de los espacios cubrientes esta relacionada con el estudio del grupo
fundamental. Muchas cuestiones topologicas basicas sobre espacios cubrientes, pueden
reducirse a cuestiones puramente algebraicas sobre los grupos fundamentales de los
distintos espacios involucrados. Recurriremos a esta teora para establecer resultados
basicos en el estudio de las superficies de Riemann.
En lo que sigue, se supondr
a que todos los espacios son arco-conexos y localmente
arco-conexos, mientras no se diga lo contrario.
e X entre espacios
Def inici
on 4.5. Decimos que una transformacion continua : X
e recubre a X a traves de , si
topol
ogicos, es llamada transformacion cubriente o que X
cada y X tiene una vecindad V , tal que 1 (V ) = jJ Uj , donde los Uj son abiertos
e tales que para todo j J, : Uj V es un homeomorfismo.
conexos ajenos de X,
Def inici
on 4.6. Decimos que dos curvas , 0 : [0, 1] X son homotopicas (relativas
a los puntos extremos), si existe una funcion continua : [0, 1] [0, 1] X tal que
para s (t) = (t, s) se tiene que 0 = y 1 = 0 , y las curvas s tienen los mismos
puntos extremos para cada s.
En particular, si es una curva cerrada (0) = (1) = x0 , entonces las s son
tambien curvas cerradas con punto extremo x0 . La funcion es llamada homotopa
entre y 0 . Dado x0 X, sea 1 (X, x0 ) el espacio de clases de homotopa de
curvas cerradas, con (0) = (1) = x0 . Este espacio puede convertirse en el grupo
fundamental de X con punto base x0 , definiendo para cada [1 ], [2 ], pertenecientes a
1 (X, x0 ), su suma [1 ] + [2 ] como la clase de homotopa de la curva:
1 (2t) para t[0, 1 ]
(t) = (2t1) para t 12,1 .
[2 ]
2
Un espacio X es conexo simplemente si 1 (X, x0 ) = 0, donde 0 representa la clase de
homotopa de la curva constante x0 . La propiedad principal de una transformacion
cubriente es que curvas y homotopas, pueden ser levantadas: para cada : [0, 1] X
continua, existe
: [0, 1] X con
= . Ademas, si es una homotopa entre
y 0 , entonces existe una homotopa entre
y alg
un levantamiento 0 de 0 . Un
cubriente es universal si X es conexo simplemente.
36
F. Estrada, J. Poisot
2) La esfera de Riemann C.
3) El disco unitario 4.
Transformaciones casiconformes
37
Demostraci
on. Este teorema es consecuencia de un notable resultado, debido a Koebe,
llamado Teorema de Planaridad de Koebe, el cual establece que cualquier superficie
de Riemann plana, es conformemente equivalente con una de las tres posibilidades
C, o un dominio contenido en C. Una superficie R es plana si cualquier
siguientes: C,
curva cerrada simple, contenida en R, divide a R en dos componentes. De la Teora de
los espacios cubrientes, cualquier superficie R tiene una cubierta universal simplemene con transformaci
e R, donde es un homeomorfismo
te conexa R
on cubriente : R
e sin puntos fijos,
local y hay un grupo G de transformaciones cubrientes actuando en R
e
R
con la propiedad de que /G es homeomorfo a R. Ademas, cada punto p R tiene
una vecindad N , tal que (N ) N es vaco para cada elemento G \ {id}.
La estructura conforme dada en R, induce una estructura conforme en el espacio
e convirtiendolo en una superficie de Riemann plana simplemente conexa.
cubriente R,
As, el Teorema de Planaridad y el Teorema de Representacion Conforme de Riemann,
o a C o a H.
e es conformemente equivalente a C
implican que R
N
otese que el grupo G es libre de torsion actuando en H, cuyo espacio factor es
conforme a R, pero no es determinado en forma u
nica. Sin embargo, si G0 es otro subgrupo libre de torsi
on de P SL (2, R), tal que H factorizado por G0 es conformemente
equivalente a R, entonces existe una transformacion de Mobius B, que preserva H,
tal que G0 = B G B 1 .
Nos referiremos a estas tres posibilidades como el caso euclidiano (o parabolico),
hiperb
olico, y esferico (o elptico), respectivamente. Esas superficies de Riemann no son
mutuamente conformemente equivalentes. El plano complejo C no es biholomorfo a
C, ya que C no es compacto y C s lo es. Por la misma razon, y C no son biholomorfos. El plano C y el disco no son biholomorfos, ya que en C toda funcion entera
acotada es constante y en , existen funciones holomorfas acotadas no constantes. La
transformaci
on de M
obius w = (zi)/(z+i) modifica biholomorfamente H en el disco
unitario .
4.2.
M
etricas en superficies de Riemann
De acuerdo a la secci
on anterior, una superficie de Riemann es una variedad diferenciable de dimensi
on real 2 y en el estudio de la geometra diferencial, el concepto
de metrica riemanniana sobre ellas es una herramienta fundamental, lo cual necesitaremos m
as adelante.
Def inici
on 4.9. Una metrica riemanniana sobre una superficie de Riemann S, es una
forma cuadr
atica positiva sobre el espacio tangente en cada punto de S.
En una carta local z = x + iy, esta se puede escribir como:
ds2 = a (z) dx2 + 2b (z) dxdy + c (z) dy 2 ,
38
F. Estrada, J. Poisot
a (z) b (z)
donde a (z) > 0 y b (z) a (z) c (z) < 0 y la matriz asociada
depende
b (z) c (z)
suavemente de z. Con la notacion compleja dz = dx + idy y d
z = dx idy, la metrica
se puede expresar como:
2
con (z) > 0 y | (z)| < 1. La metrica estandar de C es ds20 := |dz| = dx2 + dy 2 y la
es:
de C
!2
2 |dz|
2
dsC =
.
2
1 + |z|
La metrica hiperb
olica (o de Poincare) en el disco unitario es:
ds2
!2
2 |dz|
2
1 |z|
5.
En el siglo XIX, B. Riemann se pregunta como describir las variaciones de estructuras complejas sobre una superficie dada. Esta problematica es retomada por
O. Teichm
uller en 1938, utilizando como herramienta fundamental las transformaciones casiconformes, dando origen a la Teora del espacio de Teichm
uller, que da
Transformaciones casiconformes
39
5.1.
d
t (z) |t=t0 ,
dt
(f ) (z) =
f (z) + (f (z))
f (z)
f (z)
1 + (f (z)) f (z)
f (z)
f (z)
y esta expresi
on es un coeficiente de Beltrami sobre U .
(2) La funci
on f ? : B (V ) B (U ), definida por 7 f ? , es una isometra de
la metrica de Poincare y transforma caminos de Beltrami en caminos de Beltrami.
Observaciones. (1) Si f es holomorfa, entonces:
(f ? ) (z) = (f (z))
f (z)
casi donde quiera
f (z)
y esta funci
on de regreso est
a bien definida a
un si f no es inyectiva.
40
F. Estrada, J. Poisot
(2) f = f ? (0). En otras palabras, el coeficiente de Beltrami de un homeomorfismo casiconforme f es el regreso del coeficiente de Beltrami identicamente cero.
(3) La acci
on tangente de f sobre un vector de Beltrami, esta dada por:
2
f (z)
1 |f |
f
(z)
(T f ? ()) () (z) =
2 (f (z)) .
(z)
1 + (f (z)) f (z) f
f (z)
De manera que si es un vector de Beltrami tangente al camino de Beltrami t en
t = t0 y t0 = , entonces (T f ? ()) () es el vector de Beltrami tangente al camino
de Beltrami f ? (t ) en t = t0 . Notese que si f es holomorfa, entonces
(T f ? ()) () (z) = (f (z))
f (z)
casi donde quiera.
f (z)
Los caminos de Beltrami pueden ser usados para construir deformaciones de funciones holomorfas. Una demostracion del lema anterior, as como del teorema siguiente,
pueden encontrarse en [4].
Teorema 5.2. Sea F : U V una funci
on holomorfa entre conjuntos abiertos, tales
que V U . Sea t : V C un camino de Beltrami en V con 0 0, satisfaciendo
la condici
on
F ? (t ) = t para toda t.
Sea t : V Vt C una familia continua de homeomorfismos casiconformes con
0 = id, tal que el coeficiente de Beltrami de t es t . Entonces:
Ft = t F 1
t
es una familia continua de funciones holomorfas.
Def inici
on 5.3. Sea S una superficie de Riemann, un coeficiente de Beltrami sobre
S es una colecci
on de coeficientes de Beltrami i : Vi C, uno para cada carta
i : Ui Vi de S, llamada expresion de en i , satisfaciendo la condicion de
compatibilidad:
?
j 1
j = i sobre i (Ui Uj )
i
y la condici
on de acotaci
on:
|i (z)| < k para casi todo z Vi ,
donde k < 1 es independiente de i.
Transformaciones casiconformes
41
Def inici
on 5.4. Un homeomorfismo f entre dos superficies de Riemann S1 y S2 ,
es Kcasiconforme si todas las expresiones locales de f son Kcasiconformes. La
transformaci
on de regreso f ? : B (S2 ) B (S1 ), se define tomando los regresos de las
expresiones locales de la funci
on f . La metrica de Poincare sobre B (S) se define como
sigue:
dB (1 , 2 ) = sup sup esenczi (Ui ) dP (1,i (z) , 2,i (z)) .
i
1
0
Notemos que dP (1,i (z) , 2,i (z)) = dP (1,j (z 0 ) , 2,j (z 0 )) si 1
i (z) = j (z ).
De tal manera que el supremo anterior sobre i, puede ser tomado sobre cualquier
atlas. Notemos tambien que f ? es una isometra.
Decimos que una familia a un parameto t de coeficiente de Beltrami, es un camino
de Beltrami sobre la superficie de Riemann S, si para cada carta i : Ui i (Ui ),
t 7 i,t es un camino de Beltrami en i (Ui ), donde i,t es la expresion de t en esta
carta. An
alogamente, definimos un vector de Beltrami en el coeficiente de Beltrami
como una colecci
on i :i (Ui ) C de vectores de Beltrami, tales que:
?
T j 1
(j ) (j ) = i
i
y tal que el supremo esencial |i | es uniformemente acotado. Esta condicion de invarianza puede ser escrita en coordenadas locales como sigue:
j 1
i
1
1 j j i (z) = i (z) ;
j i
como antes, cada vector de Beltrami en determina un u
nico camino de Beltrami
t con 0 = e inversamente.
5.2.
Deformaciones
Complejas
casiconformes
de
estructuras
Con los conceptos introducidos en la seccion anterior y el Teorema de MorreyBojarsky-Ahlfors-Bers, podemos definir con toda precision el significado de la deformaci
on casiconforme de una estructura compleja, asociada a un coeficiente de Beltrami, sobre una superficie de Riemann.
Teorema 5.5. (Superficie de Riemann S ). Sean S una superficie de Riemann y
un coeficiente de Beltrami sobre S, entonces determina una nueva superficie de
Riemann S y una transformaci
on casiconforme f : S S , tal que f ? (0) = .
Corolario 5.6. (1) Toda transformaci
on casiconforme f : U U , donde U C un
dominio, es isot
opica a la identidad. (2) Toda transformaci
on casiconforme f : S S
con S una superficie, es isot
opica a la identidad.
42
F. Estrada, J. Poisot
Idea de la demostraci
on del teorema
Sea U = {i : Ui Vi , con i I} un atlas sobre S y para cada i U, sea i :
Vi C la expresi
on local de . Sea i : Vi i (Vi ) la transformacion casiconforme cuyo coeficiente de Beltrami es i , es decir, i? (0) = i . Entonces, U =
{i = i i : Ui i (Vi )} es un atlas para S. La transformacion casiconforme f
queda determinada localmente por las i .
Nota 5.7. Sea S el espacio topologico S dotado con la estructura compleja definida por el atlas U. Tomando f como la transformacion identidad en S , obtenemos
f ? (0) = , Por lo cual un camino de Beltrami t sobre S, define una familia a un
par
ametro de superficies de Riemann St . Si 0 = 0, entonces esta es una deformacion
de la estructura compleja original sobre S. Inversamente, dada cualquier superficie
de Riemann S1 y un homeomorfismo casiconforme f : S S1 , podemos obtener un
coeficiente de Beltrami = f ? (0) sobre S. Por lo tanto, podemos identificar el espacio
B (S) con el C (S) de todas las estructuras complejas sobre el espacio topologico S,
que son homeomorfas casiconformemente a la estructura original.
5.3.
Espacio de Teichm
uller de una superficie de Riemann
De acuerdo a las secciones anteriores, podemos dar la siguiente definicion de espacio de Teichm
uller:
Def inici
on 5.8. Dada una superficie S, dos coeficientes de Beltrami 1 y 2 sobre S
son equivalentes en el sentido de Teichm
uller 1 T 2 , si 1 = ? 2 , donde : S S
es un homeomorfismo casiconforme que es isotopico a la identidad. El espacio de clases
de equivalencia de coeficientes de Beltrami sobre S, es llamado espacio de Teichm
uller
de S y es dentado por T (S). Sea : B (S) T (S) la correspondiente proyeccion,
esta puede ser utilizada para dotar a T (S) de una estructura compleja. Definimos
sobre T (S) la metrica de Teichm
uller como sigue:
dT ([1 ] , [2 ]) = dB 1 ([1 ]) , 1 ([2 ]) .
Notemos que esto es precisamente el mnimo de la distancia de Poincare, de
dP (1 , ? (2 )) sobre todos los homeomorfismos casiconformes : S S, que
son isot
opicos a la identidad. Otra manera de definir el espacio T (S) es la siguiente: para cualquier transformacion casiconforme f : S S1 , donde S1 es otra superficie de Riemann, consideramos el par (S, f ). Decimos que dos pares (S1 , f1 )
y (S2 , f2 ) son equivalentes en el sentido de Teichm
uller ,si f2 f11 es homotopica
a una transformaci
on conforme de S1 sobre S2 . Denotamos por [S, f ] la clase de
equivalencia del par (S, f ). Entonces, llamamos al conjunto de todas las clases
de equivalencia el espacio de Teichm
uller de S.
Transformaciones casiconformes
43
6.
Movimiento holomorfo
La introducci
on de este concepto estuvo motivada por el estudio de la estabilidad
estructural (la cual trataremos en una seccion posterior) de la dinamica generada por
la iteraci
on de funciones racionales de una variable compleja, actuando en la esfera
de Riemann en un celebre artculo de Mane, Sad y Sullivan [M SS]. Esta teora se ha
convertido en a
nos recientes en una herramienta muy importante para el estudio de
la din
amica holomorfa y de los espacios de Teichm
uller.
44
F. Estrada, J. Poisot
un conjunto A C, si:
(i) para cualquier a A fijo, la transformacion (, a) es holomorfa en .
(ii) para cualquier fijo, la transformacion a (a) = (, a) es inyectiva.
(iii) la transformaci
on 0 es la identidad en A.
Observaci
on. En la definicion anterior, podemos sustituir el disco 4 por una
variedad compleja conexa.
No es difcil convencerse de que cada transformacion g, que es parte de un movimiento holomorfo, es casiconforme. En particular, cada transformacion que es parte
de un movimiento holomorfo, distorsiona figuras en a lo mas una cantidad acotada.
El resultado que introdujo este concepto y que sirve para caracterizar la estabilidad
es:
Teorema 6.2. (lema MSS). Sea una variedad compleja analtica, y sea A C.
Si : A C es un movimiento holomorfo de A, entonces para cada , la
transformaci
on A C, dada por a 7 (, a), es casiconforme.
Puede consultarse una demostracion de este teorema en [15].
N
otese que no se pide que A sea abierto, as que la definicion analtica de casiconformidad no tiene sentido, por lo que es necesario usar caracterizaciones geometricas
de las transformaciones casiconformes.
Corolario 6.3. Si : A C es un movimiento holomorfo, entonces es
continua, y se extiende continuamente a un movimiento holomorfo
b : A C,
donde A es la cerradura de A en C.
Un resultado m
as general tambien es cierto.
Cualquier movimiento holomorfo :
Teorema 6.4. (Slodkowski). Sea A C.
C.
7.
7.1.
Aplicaciones a la din
amica holomorfa
Preliminares sobre din
amica holomorfa
P (z)
Una funci
on racional f (z) = Q(z)
, donde P y Q son polinomios de una variable compleja con coeficientes complejos y primos relativos, define una funcion holomorfa de C en s misma. Consideramos a f como una transformacion cubriente
Transformaciones casiconformes
45
ramificada de C. Para una cantidad finita de excepciones, cada valor w C tiene exactamente d preim
agenes, donde el grado de f es d = max {grado de P, grado de Q}.
Siempre supondremos que el grado de f es mayor que 1. Denotamos por Rd el conjunto
de todas las funciones racionales de grado d. La iteracion de f es la sucesion de funciones {f n }n0 , donde f 0 = id, f n+1 = f f n , lo cual genera un sistema dinamico holomorfo en la esfera de Riemann C. La orbita de z C bajo f es O+ (z) = {f n (z) : n 0}.
1
La
orbita inversa es O (z) = n0 f n (z) = n0 (f n ) (z). La orbita grande de z
es Og (z) = n0 O (f n (z)). Dos funciones racionales f y g se dicen conjugadas por
una transformaci
on de M
obius h : C C, si g = h f h1 . Notemos que en este caso
h lleva
orbitas bajo f a
orbitas bajo g. Por lo tanto, funciones racionales conjugadas
por una transformaci
on de M
obius seran consideradas equivalentes desde un punto
de vista din
amico. Consideraremos tambien conjugaciones mediante homeomorfismos
o transformaciones casiconformes, y conjugaciones locales, las cuales seran definidas
solo en subconjuntos de C, tales como una vecindad de un punto periodico.
Un punto es llamado punto periodico si existe un n 1, tal que f n (z) = z, y el
m
as peque
no n con tal propiedad es llamado perodo de z. El multiplicador del ciclo
0
es la derivada = (f n ) (z) cuando z 6= , y es definido despues de una conjugacion
con una apropiada transformacion de Mobius, enviando el en C cuando z = .
Cuando 0 < || < 1 (respect. = 0, || = 1, | > 1|), z es llamado atractor (respect.
superatractor , indiferente, repelente). Un punto periodico indiferente z es llamado parab
olico, si es una raz de la unidad, o irracionalmente indiferente en el otro caso.
Un punto crtico de f es un punto donde f no es localmente inyectivo, lo cual
equivale a que f 0 (z) = 0, si z 6= y f (z) 6= . Denotamos por Cf el conjunto
de puntos crticos y Vf = f (Cf ) es el conjunto de valores crticos de f . Entonces
f : C \ f 1 (Vf ) C \ Vf es una cubierta (no ramificada) de grado d. El conjunto
poscrtico Pf de f , se define por:
Pf = zCf , n1 {f n (z)} .
En cierto sentido, este conjunto captura la esencia del sistema dinamico generado por
f . Un punto excepcional es un punto z, tal que O (z) es finito.
Def inici
on 7.1 (Familia normal y conjuntos de Fatou y Julia). Una familia F de
funciones holomorfas de un conjunto abierto U C a C, se dice ser normal si para cualquier sucesi
on de F, existe una subsucesion que converge uniformemente en
conjuntos compactos, donde la distancia en la imagen es medida en terminos de la
distancia esferica.
Un teorema de Montel asegura que cualquier familia que omite tres valores en C,
es normal; adem
as, las funciones lmite tambien son holomorfas. El conjunto de Fatou
46
F. Estrada, J. Poisot
(i
Z/kqZ)
i
con z0 i y funciones holomorfas i : i C, tales que f i {z0 } i+kp ,
f nq (z) z0 en i (n ) y i (f q (z)) = i (z) + 1.
dj
dk
(iii) Si = 0, dz
j f (z0 ) = 0 (j = 1, ...k 1) y dz k f (z0 ) 6= 0, entonces existe
una transformaci
on conforme definida en una vecindad de z0 , tal que (z0 ) = 0,
0 (z0 ) 6= 0 y f 1 (z) = z k en una vecindad de 0.
En el caso (i), es llamada coordenada linealizante; las i en (ii) son llamadas
coordenadas de Fatou, y en (iii) es llamada coordenada de Bottcher .
Teorema 7.3. Para cualquier funci
on racional f , se tiene lo siguiente:
(i) El conjunto de Julia Jf es distinto del vaco y cerrado en C, y Ff es abierto.
Ellos son completamente invariantes (es decir, f (Ff ) = Ff = f 1 (Ff ) y f (Jf ) =
Jf = f 1 (Jf )). Adem
as, C = Jf t Ff .
(ii) Puntos peri
odicos atractores y sus cuencas de atracci
on est
an contenidos en
Ff , donde la cuenca de atracci
on de z0 de perodo p, se define por:
B (z0 ) = z C : f np (z) z0 cuando n .
Puntos peri
odicos parab
olicos est
an en Jf ; sin embargo, ellos tienen cuencas (excluyendo las
orbitas inversas de los puntos parab
olicos) que est
an contenidas en Ff .
En ambos casos, el ciclo de cuencas contiene al menos un punto crtico. Puntos peri
odicos repulsores est
an en Jf . En cuanto a los puntos indiferentes irracionales,
ambos casos pueden ocurrir.
Transformaciones casiconformes
47
7.2.
48
F. Estrada, J. Poisot
ella misma. Por el teorema de uniformizacion, existe un isomorfismo de C,
sobre C, 0 . Entonces, f = f 1
on racional. Sullivan
es una nueva funci
demuestra que para toda p, se puede encontrar en el espacio de formas de Beltrami
continuas con soporte compacto sobre U , un subespacio E de dimension p, y en E, un
abierto no vaco W , tal que las {f }W son distintas dos a dos, lo cual es una contradicci
on con el hecho de que una transformacion racional de grado d solo depende
de un n
umero finito de par
ametros.
7.3.
El espacio de Teichm
uller de una funci
on racional
Transformaciones casiconformes
49
50
F. Estrada, J. Poisot
Transformaciones casiconformes
51
7.4.
Estabilidad estructural
Def inici
on 7.10. Una funci
on racional es llamada hiperbolica, si todo punto crtico
es atrado a un ciclo peri
odico atractor o superatractor. Una familia holomorfa de funciones racionales, parametrizada por una variedad compleja conexa , es una funcion
holomorfa F : C C. Entonces, f = F (, ) : C C es una funcion racional de
grado constante d > 1. Una familia se dice que es Jestable en el parametro 0 ,
si existe una vecindad U de 0 contenida en y una funcion H : U J (f0 ) C,
tal que h = H (, ) : J (f0 ) J (f ) es un homeomorfismo para cada U ;
y adem
as h f0 = f h y h h0 cuando 0 , uniformemente sobre
J (f0 ). De manera an
aloga, es definida estabilidad estructural en el parametro 0 si
reemplazamos J (f0 ) y J (f ) por C en la definicion anterior.
52
F. Estrada, J. Poisot
Cuando es igual a Racd (la variedad compleja constituida por todas las funciones racionales de grado fijo d) y F es la funcion F (g, z) = g (z) (donde g Racd ),
entonces las funciones mismas son llamadas Jestables o estructuralmente estables,
si las condiciones anteriores son satisfechas.
Lema 7.11. Las funciones racionales hiperb
olicas son Jestables. Adem
as, el conjunto de funciones estructuralmente estables es abierto y denso dentro de las hiperb
olicas. Las conjugaciones h pueden ser elegidas de manera que h es un movimiento
holomorfo del conjunto de Julia (o de C en el caso de funciones estructuralmente
estables).
La primera afirmaci
on en el lema anterior, es una consecuencia inmediata del
lema. De hecho, para funciones hiperbolicas, los puntos periodicos repulsores no
se bifurcan, por lo cual ellas definen un movimiento holomorfo, el cual se extiende a
su cerradura, que es el conjunto de Julia. Ademas, hay otro notable resultado.
Teorema 7.12. Para cualquier familia holomorfa de funciones racionales, los par
ametros estructuralmente estables forman un abierto y denso. Adem
as, en las componentes
conexas de los par
ametros estructuralmente estables, la conjugaci
on h es casiconforme y define un movimiento holomorfo.
Una demostraci
on de este teorema puede consultarse en [4, 13, 15].
7.5.
Ciruga casiconforme
Transformaciones casiconformes
53
54
F. Estrada, J. Poisot
z3
,
1 3z
Bibliografa
[1] Ahlfors, L. V. Complex Analysis. McGraw-Hill, Ltd. (1966).
[2] Ahlfors, L. V. Lectures on Quasiconformal Mappings. University Lecture Series,
Vol. 38 (2006). AMS.
[3] Lennart, C.; W. Gamelin, T. Complex Dynamics. Universitext: Tracts in Mathematics (1991).
Transformaciones casiconformes
55
[4] De Melo, W.; Van Strien, S. One-dimensional Dynamics. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 25. Springer-Verlag, Berlin (1993).
[5] Douady A. Systems Dynamiques Holomorphes. Seminaire Bourbaki (1982/83)
No. 599.
[6] Douady A.; Hubbard, J. H. On the Dynamics of Polynomial-like Mappings. Ann.
Sci. ecole Norm. Sup. (4) 18 (1985), No. 2, pp. 287-343.
[7] Douady A. Le theor`eme dntegrabilite des structures presque complexes en:
The Mandelbrot Set, Theme and Variations. London Mathematical Society, Lectures Notes Serie 274.
Bourbak i
[8] Douady A. Prolongement de mouvements holomorphes. SeminairA
No. 775 (1995), Asterisque 227, pp. 7-20
[9] H. Farkas; I. Kra. Riemann Surfaces. Graduate Texts in Mathematics. SpringerVerlag, New York (1980).
[10] Imayoshi Y. Taniguchi M. An Introduction to Teichm
uller Spaces. SpringerVerlag (1992).
[11] Lehto, O. Univalent Functions and Teichm
uller Spaces. GTM Springer-Verlag
(1987).
[12] MacMullen, C. T. Complex Dynamics and Renormalization. Annals of Mathematics Studies Princeton University Press (1994).
[13] MacMullen, C. T.; Sullivan, D. Quasiconformal homeomorphisms and dynamics
III. The Teichm
uller Space of Holomorphic Dynamical Systems. Adv. Math. 135,
No. 2 (1998), pp. 351-355.
[14] Milnor, J. Dynamics in one Complex Variable Third edition. Annals of Mathematics Studies, 160, Princeton Univ. Press. Princeton N. J. (2006).
[15] Morosawa, S.; Nishimura, Y.; Taniguchi, N.; Ueda, T. Holomorphic Dynamics.
Cambridge Studies in Advanced Mathematics, 66. Cambridge University Press
(2000).
[16] Petersen, C. L. Local Connectivity of Some Julia Sets Containing a Circle with
an Irrational Rotation. Acta Math. 177, No. 2 (1996), pp. 163-224.
[17] Shishikura M. On the Quasiconformal Surgery of Rational Functions. Ann. Sci.
ecole Norm. Sup. (4) 20, No. 1 (1987), pp. 1-29.
[18] Sullivan, D. Quasiconformal Homeomorphisms and Dynamic. I. Solution of the
Fatou-Julia Problem on Wanderings Domains. Ann. of Math. (2) 122, No. 3
(1985), pp. 401-418.
56
F. Estrada, J. Poisot
Francisco Estrada Garca (festrada@fcfm.buap.mx)
Julio Poisot Macas (jpoisot@fcfm.buap.mx)
Facultad de Ciencias Fsico Matematicas. Benemerita Universidad Autonoma de Puebla - Ciudad Universitaria.