Mapeo cuasiconformal


En análisis matemático complejo , un mapeo cuasiconformal , introducido por Grötzsch (1928) y nombrado por Ahlfors (1935) , es un homeomorfismo entre dominios planos que en primer orden lleva pequeños círculos a pequeñas elipses de excentricidad limitada .

Intuitivamente, sea f  : D  →  D ′ un homeomorfismo que conserva la orientación entre conjuntos abiertos en el plano. Si f es continuamente diferenciable , entonces es K -quasiconformal si la derivada de f en cada punto de los mapas de círculos para elipses con excentricidad delimitada por K .

Supongamos que f  : D  →  D ', donde D y D ' son dos dominios en C . Existe una variedad de definiciones equivalentes, dependiendo de la suavidad requerida de f . Si se supone que f tiene derivadas parciales continuas , entonces f es cuasiconformal siempre que satisfaga la ecuación de Beltrami

donde Ω ( z )> 0. Entonces f satisface ( 1 ) precisamente cuando es una transformación conforme de D equipado con esta métrica al dominio D ′ equipado con la métrica euclidiana estándar. Entonces, la función f se denomina μ-conforme . De manera más general, la diferenciabilidad continua de f puede reemplazarse por la condición más débil de que f esté en el espacio de Sobolev W 1,2 ( D ) de funciones cuyas derivadas distributivas de primer orden están en L 2 ( D ). En este caso, se requiere que f sea ​​una solución débil de ( 1 ). Cuando μ es cero en casi todas partes, cualquier homeomorfismo en W 1,2 ( D ) que sea una solución débil de ( 1 ) es conforme.

Sin apelar a una métrica auxiliar, considere el efecto del retroceso bajo f de la métrica euclidiana habitual. La métrica resultante viene dada por

que, en relación con la métrica euclidiana de fondo , tiene valores propios