Cuasicírculo

Ir a la navegaciónIr a la búsqueda
En matemáticas, un cuasicírculo es una curva de Jordan en el plano complejo, que es
la imagen de una circunferencia sometida a una aplicación cuasiconformal del plano
sobre sí mismo. Originalmente introducidas de forma independiente por Pfluger
(1961) y Tienari (1962), en la bibliografía más antigua (en alemán) se las
denominaba curvas cuasiconformales, una terminología que también se aplicaba a los
arcos.12 En análisis complejo y teoría de funciones geométricas, los cuasicírculos
juegan un papel fundamental en la descripción del espacio universal de Teichmüller,
a través de los homeomorfismos cuasisimétricos del círculo. Los cuasicírculos
también juegan un papel importante en los sistemas dinámicos holomorfos.

Índice
1 Definiciones
2 Caracterizaciones geométricas
3 Cuasicírculos y homeomorfismos cuasimétricos
4 Reflexión cuasiconformal
5 Sistemas dinámicos complejos
6 Grupos cuasi-fuchsianos
7 Dimensión de Hausdorff
8 Referencias
9 Bibliografía
Definiciones
Un cuasicírculo se define como la imagen de un círculo bajo una aplicación
cuasiconformal de la esfera de Riemann. Se denomina un K-cuasicírculo si la
aplicación cuasiconformal tiene dilatación K. La definición de cuasicírculo
generaliza la caracterización de una curva de Jordan como la imagen de un círculo
sometida a un homeomorfismo del plano. En particular, un cuasicírculo es una curva
de Jordan. El interior de un cuasicírculo se llama cuasidisco.3

Como se muestra en Lehto y Virtanen (1973), donde se usa el término más antiguo de
curva cuasiconformal, si una curva de Jordan es la imagen de un círculo bajo una
aplicación cuasiconformal en una vecindad de la curva, entonces también es la
imagen de un círculo bajo una aplicación cuasiconformal del plano extendido y por
lo tanto un cuasicírculo. Lo mismo es cierto para los arcos cuasiconformales que
pueden definirse como imágenes cuasiconformales de un arco circular en un conjunto
abierto o de manera equivalente en el plano extendido.4

Caracterizaciones geométricas
Ahlfors (1963) dio una caracterización geométrica de los cuasicírculos como
aquellas curvas de Jordan para las que el valor absoluto de la razón anarmónica de
cualesquiera de cuatro de sus puntos, tomados en orden cíclico, está acotado por
debajo por una constante positiva.

Ahlfors también demostró que los cuasicírculos se pueden caracterizar en términos

de una desigualdad del triángulo inverso para tres puntos: debe haber una constante
C tal que si se eligen dos puntos z1 y z2 en la curva y z3 se encuentra en el más
corto de los arcos resultantes, entonces5

{\displaystyle |z_{1}-z_{3}|+|z_{2}-z_{3}|\leq C|z_{1}-z_{2}|.}{\displaystyle |

z_{1}-z_{3}|+|z_{2}-z_{3}|\leq C|z_{1}-z_{2}|.}
Esta propiedad también se llama torneado acotado6 o la condición de arco.7

Para las curvas de Jordan en el plano extendido que pasa por el ∞, Ahlfors (1966)
dio una condición más simple necesaria y suficiente para ser un cuasicírculo.89 Hay
una constante C > 0 tal que si z1, z2 son cualquier punto en la curva y z3 se
encuentra en el segmento entre ellos, entonces
{\displaystyle \displaystyle {\left|z_{3}-{z_{1}+z_{2} \over 2}\right|\leq C|z_{1}-
z_{2}|.}}{\displaystyle \displaystyle {\left|z_{3}-{z_{1}+z_{2} \over 2}\right|\leq
C|z_{1}-z_{2}|.}}
Estas caracterizaciones métricas implican que un arco o curva cerrada es
cuasiconformal siempre que surge como la imagen de un intervalo o del círculo bajo
una aplicación bilipschitziana f, es decir, satisfaciendo que

{\displaystyle C_{1}|s-t|\leq |f(s)-f(t)|\leq C_{2}|s-t|}{\displaystyle C_{1}|s-t|\

leq |f(s)-f(t)|\leq C_{2}|s-t|}
para constantes positivas Ci.10

Cuasicírculos y homeomorfismos cuasimétricos

Si φ es un homeomorfismo cuasimétrico del círculo, entonces existen aplicaciones
conformes f de [z| < 1 y g de |z| > 1 en regiones disjuntas de modo que el
complemento de las imágenes de f y de g es una curva de Jordan. Las aplicaciones f
y g se extienden continuamente hasta el círculo |z| = 1 y la ecuación de ligadura

{\displaystyle \varphi =g^{-1}\circ f}{\displaystyle \varphi =g^{-1}\circ f}

mantiene. La imagen del círculo es un cuasicírculo.

Por el contrario, utilizando teorema de representación conforme de Riemann, las

aplicaciones conformes f y g que uniforman el exterior de un cuasicírculo dan lugar
a un homeomorfismo cuasimétrico a través de la ecuación anterior.

El espacio del cociente del grupo de homeomorfismos cuasimétricos por el subgrupo

de transformaciones de Möbius proporciona un modelo de espacio universal de
Teichmüller. La correspondencia anterior muestra que el espacio de los
cuasicírculos también se puede tomar como modelo.11

Reflexión cuasiconformal
Una reflexión cuasiconformal en una curva de Jordan es una aplicación
cuasiconformal de inversión de orientación de período 2 que cambia el interior y el
exterior de los puntos de fijación de la curva sobre la curva. La aplicación

{\displaystyle \displaystyle {R_{0}(z)={1 \over {\overline {z}}}}}{\displaystyle \

displaystyle {R_{0}(z)={1 \over {\overline {z}}}}}
proporciona tal reflexión para el círculo unitario, y cualquier cuasicírculo admite
una reflexión cuasiconformal. Ahlfors (1963) demostró que esta propiedad
caracteriza a los cuasicírculos.

Ahlfors señaló que este resultado se puede aplicar a funciones univalentes

holomórficas delimitadas uniformemente f(z) en el disco unidad D. Sea Ω = f(D).
Como Carathéodory había demostrado usando su teoría de finales primos, f se
extiende continuamente al círculo unitario si y solo si ∂Ω está conectado
localmente, es decir, admite un recubrimiento mediante un número finito de
conjuntos conectados compactos de diámetro arbitrariamente pequeño. La extensión
del círculo es 1-1 si y solo si ∂Ω no tiene puntos de corte, es decir, puntos que
cuando se eliminan de ∂Ω producen un conjunto no conexo. El teorema de Carathéodory
muestra que un conjunto local sin puntos de corte es solo una curva de Jordan y
que, precisamente en este caso, la extensión de f al disco unitario cerrado es un
homeomorfismo.12 Si f se extiende a una aplicación cuasiconformal del plano
complejo extendido, entonces ∂Ω es por definición un cuasicírculo. Por el
contrario, Ahlfors (1963) observó que si ∂Ω es un cuasicírculo y R1 denota la
reflexión cuasiconformal en ∂Ω, entonces la asignación

{\displaystyle \displaystyle {f(z)=R_{1}fR_{0}(z)}}{\displaystyle \displaystyle

{f(z)=R_{1}fR_{0}(z)}}
para |z| > 1 define una extensión cuasiconformal de f al plano complejo extendido.
Sistemas dinámicos complejos

Copo de nieve de Koch

Se sabía que los cuasicírculos surgían como los conjuntos de Julia de las
aplicaciones racionales R(z). Sullivan (1985) demostró que si el conjunto de Fatou
de R tiene dos componentes y la acción de R en el conjunto de Julia es
"hiperbólica", es decir, hay constantes c > 0 y A > 1 tales que

{\displaystyle |\partial _{z}R^{n}(z)|\geq cA^{n}}{\displaystyle |\partial

_{z}R^{n}(z)|\geq cA^{n}}
en el conjunto de Julia, entonces el conjunto de Julia es un cuasicírculo.5

Hay muchos ejemplos:1314

Los polinomios cuadráticos R(z) = z2 + c con un punto fijo atractor

El conejo de Douady (c = –0,122561 + 0,744862i, donde c3 + 2 c2 + c + 1 = 0)
Los polinomios cuadráticos z2 + λz con |λ| < 1
El copo de nieve de Koch
Grupos cuasi-fuchsianos
Los grupos cuasi-fuchsianos se obtienen como deformaciones cuasiconformales del
grupo fuchsiano. Por definición, sus conjuntos límite son cuasicírculos.1516171819

Sea Γ un grupo fuchsiano del primer tipo: un subgrupo discreto del grupo de Möbius
que conserva el círculo unitario. actuando propiamente de forma discontinua sobre
el disco unitario D y con conjunto límite el círculo unitario.

Sea μ (z) una función medible en D con

{\displaystyle \|\mu \|_{\infty }<1}{\displaystyle \|\mu \|_{\infty }<1}

tal que μ es Γ invariante, es decir

{\displaystyle \mu (g(z)){{\overline {\partial _{z}g(z)}} \over \partial

_{z}g(z)}=\mu (z)}{\displaystyle \mu (g(z)){{\overline {\partial _{z}g(z)}} \over \
partial _{z}g(z)}=\mu (z)}
para cada g en Γ. (μ es, por tanto, un "diferencial de Beltrami" en la superficie
de Riemann D/Γ.)

Se extiende μ a una función en C configurando μ (z) = 0 en D.

La ecuación de Beltrami

{\displaystyle \partial _{\overline {z}}f(z)=\mu (z)\partial _{z}f(z)}{\

displaystyle \partial _{\overline {z}}f(z)=\mu (z)\partial _{z}f(z)}
admite una solución única hasta la composición con una transformación de Möbius.

Es un homeomorfismo cuasiconformal del plano complejo extendido.

Si g es un elemento de Γ, entonces f(g(z)) da otra solución de la ecuación de

Beltrami, de modo que

{\displaystyle \alpha (g)=f\circ g\circ f^{-1}}{\displaystyle \alpha (g)=f\circ g\

circ f^{-1}}
es una transformación de Möbius.

El grupo α(Γ) es un grupo cuasi-fuchsiano con límite establecido en el cuasicírculo

dado por la imagen del círculo unitario bajo f.

Dimensión de Hausdorff
El conejo de Douady se compone de cuasicírculos con una dimensión de Hausdorff de
aproximadamente 1.393420
Se sabe que hay cuasicírculos para los que ningún segmento tiene una longitud
finita.21 La dimensión de Hausdorff-Besicovitch de los cuasicírculos fue
investigada por primera vez por Gehring y Väisälä (1973), quien demostró que puede
tomar todos los valores en el intervalo [1,2).22 Astala (1993), utilizando la nueva
técnica de los movimientos holomórficos fue capaz de estimar el cambio en la
dimensión de Hausdorff de cualquier conjunto plano bajo una aplicación
cuasiconformal con dilatación K. Para los cuasicírculos C, hubo una estimación
bruta para la dimensión de Hausdorff23

{\displaystyle d_{H}(C)\leq 1+k}{\displaystyle d_{H}(C)\leq 1+k}

donde

{\displaystyle k={K-1 \over K+1}.}{\displaystyle k={K-1 \over K+1}.}

Por otro lado, la dimensión de Hausdorff para los conjuntos de Julia Jc de las
iteraciones de las aplicaciones racionales

{\displaystyle R(z)=z^{2}+c}{\displaystyle R(z)=z^{2}+c}

había sido estimado como resultado del trabajo de Rufus Bowen y de David Ruelle,
quienes demostraron que

{\displaystyle 1<d_{H}(J_{c})<1+{|c|^{2} \over 4\log 2}+o(|c|^{2}).}{\displaystyle

1<d_{H}(J_{c})<1+{|c|^{2} \over 4\log 2}+o(|c|^{2}).}
Dado que estos son cuasicírculos correspondientes a una dilatación

{\displaystyle K={\sqrt {1+t \over 1-t}}}{\displaystyle K={\sqrt {1+t \over 1-t}}}

donde

{\displaystyle t=|1-{\sqrt {1-4c}}|,}{\displaystyle t=|1-{\sqrt {1-4c}}|,}

esto llevó a Becker y Pommerenke (1987) a demostrar que para k pequeño

{\displaystyle 1+0.36k^{2}\leq d_{H}(C)\leq 1+37k^{2}.}{\displaystyle 1+0.36k^{2}\

leq d_{H}(C)\leq 1+37k^{2}.}
Habiendo mejorado el límite inferior siguiendo los cálculos para el copo de nieve
de Koch con Steffen Rohde y Oded Schramm, Astala (1994) conjeturó que

{\displaystyle d_{H}(C)\leq 1+k^{2}.}{\displaystyle d_{H}(C)\leq 1+k^{2}.}

Esta conjetura fue probada por Smirnov (2010); ya se dio una reseña completa de su
prueba, antes de la publicación, en Astala, Iwaniec y Martin (2009).

Para un grupo cuasi-fuchsiano, Bowen (1978) y Sullivan (1982) demostraron que la

dimensión de Hausdorff d del límite establecido es siempre mayor que 1. Cuando d <
2, la cantidad

{\displaystyle \lambda =d(2-d)\,\in (0,1)}{\displaystyle \lambda =d(2-d)\,\in

(0,1)}
es el valor propio más bajo del laplaciano de la correspondiente 3-variedad
hiperbólica.2425

Referencias
Lehto y Virtanen, 1973
Lehto, 1983, p. 49
Lehto, 1987, p. 38
Lehto y Virtanen, 1973, pp. 97–98
Carleson y Gamelin, 1993, p. 102
Lehto, Virtanen, pp. 100–102
Lehto, 1983, p. 45
Ahlfors, 1966, p. 81
 Lehto, 1983, pp. 48–49
Lehto, Virtanen, pp. 104–105
Lehto, 1983
Pommerenke, 1975, pp. 271–281
Carleson y Gamelin, 1993, pp. 123–126
Rohde, 1991
Bers, 1961
Bowen, 1979
Mumford, Series y Wright, 2002
Imayoshi y Taniguchi, 1992, p. 147
Marden, 2007, pp. 79–80,134
Carleson y Gamelin, 1993, p. 122
Lehto y Virtanen, 1973, p. 104
Lehto, 1982, p. 38
Astala, Iwaniec y Martin, 2009
Astala y Zinsmeister, 1994
Marden, 2007, p. 284
Bibliografía
Ahlfors, Lars V. (1966), Lectures on quasiconformal mappings, Van Nostrand.
Ahlfors, L. (1963), «Quasiconformal reflections», Acta Mathematica 109: 291-301,
Zbl 0121.06403, doi:10.1007/bf02391816.
Astala, K. (1993), «Distortion of area and dimension under quasiconformal mappings
in the plane», Proc. Natl. Acad. Sci. U.S.A. 90 (24): 11958-11959,
Bibcode:1993PNAS...9011958A, PMC 48104, PMID 11607447,
doi:10.1073/pnas.90.24.11958.
Astala, K.; Zinsmeister, M. (1994), «Holomorphic families of quasi-Fuchsian
groups», Ergodic Theory Dynam. Systems 14 (2): 207-212,
doi:10.1017/s0143385700007847.
Astala, K. (1994), «Area distortion of quasiconformal mappings», Acta Math. 173:
37-60, doi:10.1007/bf02392568.
Astala, Kari; Iwaniec, Tadeusz; Martin, Gaven (2009), Elliptic partial differential
equations and quasiconformal mappings in the plane, Princeton mathematical series
48, Princeton University Press, pp. 332-342, ISBN 978-0-691-13777-3., Sección 13.2,
Dimensión de cuasicírculos.
Becker, J.; Pommerenke, C. (1987), «On the Hausdorff dimension of quasicircles»,
Ann. Acad. Sci. Fenn. Ser. A I Math. 12: 329-333, doi:10.5186/aasfm.1987.1206.
Bowen, R. (1979), «Hausdorff dimension of quasicircles», Inst. Hautes Études Sci.
Publ. Math. 50: 11-25, S2CID 55631433, doi:10.1007/BF02684767.
Carleson, L.; Gamelin, T. D. W. (1993), Complex dynamics, Universitext: Tracts in
Mathematics, Springer-Verlag, ISBN 978-0-387-97942-7, (requiere registro).
Gehring, F. W.; Väisälä, J. (1973), «Hausdorff dimension and quasiconformal
mappings», Journal of the London Mathematical Society 6 (3): 504-512,
doi:10.1112/jlms/s2-6.3.504, «citeseerx: 10.1.1.125.2374 ».
Gehring, F. W. (1982), Characteristic properties of quasidisks, Séminaire de
Mathématiques Supérieures 84, Presses de l'Université de Montréal, ISBN 978-2-7606-
0601-2.
Imayoshi, Y.; Taniguchi, M. (1992), An Introduction to Teichmüller spaces,
Springer-Verlag, ISBN 978-0-387-70088-5. +
Lehto, O. (1987), Univalent functions and Teichmüller spaces, Springer-Verlag, pp.
50-59, 111-118, 196-205, ISBN 978-0-387-96310-5.
Lehto, O.; Virtanen, K. I. (1973), Quasiconformal mappings in the plane, Die
Grundlehren der mathematischen Wissenschaften 126 (Second edición), Springer-
Verlag.
Marden, A. (2007), Outer circles. An introduction to hyperbolic 3-manifolds,
Cambridge University Press, ISBN 978-0-521-83974-7.
Mumford, D.; Series, C.; Wright, David (2002), Indra's pearls. The vision of Felix
Klein, Cambridge University Press, ISBN 978-0-521-35253-6.
Pfluger, A. (1961), «Ueber die Konstruktion Riemannscher Flächen durch Verheftung»,
J. Indian Math. Soc. 24: 401-412.
Rohde, S. (1991), «On conformal welding and quasicircles», Michigan Math. J. 38:
111-116, doi:10.1307/mmj/1029004266.
Sullivan, D. (1982), «Discrete conformal groups and measurable dynamics», Bull.
Amer. Math. Soc. 6: 57-73, doi:10.1090/s0273-0979-1982-14966-7.
Sullivan, D. (1985), «Quasiconformal homeomorphisms and dynamics, I, Solution of
the Fatou-Julia problem on wandering domains», Annals of Mathematics 122 (2): 401-
418, JSTOR 1971308, doi:10.2307/1971308.
Tienari, M. (1962), «Fortsetzung einer quasikonformen Abbildung über einen
Jordanbogen», Ann. Acad. Sci. Fenn. Ser. A 321.
Smirnov, S. (2010), «Dimension of quasicircles», Acta Mathematica 205: 189-197, MR
2736155, S2CID 17945998, arXiv:0904.1237, doi:10.1007/s11511-010-0053-8.