En matemáticas , un mapa conforme es una función que preserva localmente los ángulos , pero no necesariamente las longitudes.
Más formalmente, sean y subconjuntos abiertos de . Una función se denomina conforme (o que preserva los ángulos ) en un punto si preserva los ángulos entre curvas dirigidas a través de , así como la orientación. Las funciones conformes preservan tanto los ángulos como las formas de figuras infinitesimalmente pequeñas, pero no necesariamente su tamaño o curvatura .
La propiedad conforme puede describirse en términos de la matriz derivada jacobiana de una transformación de coordenadas . La transformación es conforme siempre que el jacobiano en cada punto sea un escalar positivo multiplicado por una matriz de rotación ( ortogonal con determinante uno). Algunos autores definen la conformidad para incluir aplicaciones de inversión de orientación cuyos jacobianos pueden escribirse como cualquier escalar multiplicado por cualquier matriz ortogonal. [1]
En el caso de las aplicaciones en dos dimensiones, las aplicaciones conformes (que preservan la orientación) son precisamente las funciones analíticas complejas localmente invertibles . En tres dimensiones y dimensiones superiores, el teorema de Liouville limita drásticamente las aplicaciones conformes a unos pocos tipos.
La noción de conformidad se generaliza de manera natural a aplicaciones entre variedades riemannianas o semi-riemannianas .
Si es un subconjunto abierto del plano complejo , entonces una función es conforme si y solo si es holomorfa y su derivada es en todas partes distinta de cero en . Si es antiholomorfa ( conjugada a una función holomorfa), conserva los ángulos pero invierte su orientación.
En la literatura, existe otra definición de conforme: una función que es uno a uno y holomorfa sobre un conjunto abierto en el plano. El teorema de funciones abiertas obliga a que la función inversa (definida sobre la imagen de ) sea holomorfa. Por lo tanto, según esta definición, una función es conforme si y solo si es biholomorfa. Las dos definiciones de funciones conformes no son equivalentes. Ser uno a uno y holomorfa implica tener una derivada distinta de cero. De hecho, tenemos la siguiente relación, el teorema de la función inversa :
donde . Sin embargo, la función exponencial es una función holomorfa con una derivada distinta de cero, pero no es biunívoca ya que es periódica. [2]
El teorema de aplicación de Riemann , uno de los resultados profundos del análisis complejo , establece que cualquier subconjunto propio abierto no vacío simplemente conexo de admite una función conforme biyectiva con el disco unitario abierto en . De manera informal, esto significa que cualquier gota puede transformarse en un círculo perfecto mediante alguna función conforme.
Una función de la esfera de Riemann sobre sí misma es conforme si y sólo si es una transformación de Möbius .
El conjugado complejo de una transformación de Möbius conserva los ángulos, pero invierte la orientación. Por ejemplo, las inversiones de círculos .
En geometría plana hay tres tipos de ángulos que pueden conservarse en una función conforme. [3] Cada uno de ellos se encuentra alojado en su propia álgebra real, números complejos ordinarios , números complejos divididos y números duales . Las funciones conformes se describen mediante transformaciones fraccionarias lineales en cada caso. [4]
En geometría de Riemann , dos métricas de Riemann y en una variedad suave se denominan equivalentes conformes si para alguna función positiva en . La función se denomina factor conforme .
Un difeomorfismo entre dos variedades de Riemann se denomina función conforme si la métrica extraída es conformemente equivalente a la original. Por ejemplo, la proyección estereográfica de una esfera sobre el plano aumentada con un punto en el infinito es una función conforme.
También se puede definir una estructura conforme en una variedad suave, como una clase de métricas riemannianas conformemente equivalentes .
Un teorema clásico de Joseph Liouville muestra que hay muchos menos mapas conformes en dimensiones superiores que en dos dimensiones. Cualquier mapa conforme de un subconjunto abierto del espacio euclidiano en el mismo espacio euclidiano de dimensión tres o mayor puede estar compuesto por tres tipos de transformaciones: una homotecia , una isometría y una transformación conforme especial . En el caso de las transformaciones lineales , un mapa conforme solo puede estar compuesto por homotecia e isometría , y se denomina transformación lineal conforme .
Existen aplicaciones del mapeo conforme en la ingeniería aeroespacial, [5] en las ciencias biomédicas [6] (incluyendo el mapeo cerebral [7] y el mapeo genético [8] [9] [10] ), en matemáticas aplicadas (para geodésicas [11] y en geometría [12] ), en ciencias de la tierra (incluyendo geofísica, [13] geografía, [14] y cartografía), [15] en ingeniería, [16] [17] y en electrónica. [18]
En cartografía , varias proyecciones cartográficas , entre ellas la proyección Mercator y la proyección estereográfica, son conformes. La conservación de las direcciones de la brújula las hace útiles en la navegación marítima.
Las aplicaciones conformes son invaluables para resolver problemas de ingeniería y física que pueden expresarse en términos de funciones de una variable compleja pero que exhiben geometrías inconvenientes. Al elegir una aplicación apropiada, el analista puede transformar la geometría inconveniente en una mucho más conveniente. Por ejemplo, uno puede desear calcular el campo eléctrico, , que surge de una carga puntual ubicada cerca de la esquina de dos planos conductores separados por un cierto ángulo (donde es la coordenada compleja de un punto en el espacio 2). Este problema en sí es bastante complicado de resolver en forma cerrada. Sin embargo, al emplear una aplicación conforme muy simple, el ángulo inconveniente se asigna a uno de precisamente radianes, lo que significa que la esquina de dos planos se transforma en una línea recta. En este nuevo dominio, el problema (el de calcular el campo eléctrico impreso por una carga puntual ubicada cerca de una pared conductora) es bastante fácil de resolver. La solución se obtiene en este dominio, y luego se mapea nuevamente al dominio original notando que se obtuvo como una función ( es decir , la composición de y ) de , de donde se puede ver como , que es una función de , la base de coordenadas original. Tenga en cuenta que esta aplicación no es una contradicción con el hecho de que las aplicaciones conformes preservan los ángulos, lo hacen solo para puntos en el interior de su dominio, y no en el límite. Otro ejemplo es la aplicación de la técnica de aplicación conforme para resolver el problema del valor límite del chapoteo de líquidos en tanques. [19]
Si una función es armónica (es decir, satisface la ecuación de Laplace ) sobre un dominio plano (que es bidimensional), y se transforma mediante un mapa conforme a otro dominio plano, la transformación también es armónica. Por esta razón, cualquier función que esté definida por un potencial puede transformarse mediante un mapa conforme y seguir estando gobernada por un potencial. Los ejemplos en física de ecuaciones definidas por un potencial incluyen el campo electromagnético , el campo gravitacional y, en dinámica de fluidos , el flujo potencial , que es una aproximación al flujo de fluidos asumiendo densidad constante, viscosidad cero y flujo irrotacional . Un ejemplo de una aplicación de dinámica de fluidos de un mapa conforme es la transformada de Joukowsky que se puede utilizar para examinar el campo de flujo alrededor de un perfil aerodinámico de Joukowsky.
Los mapas conformes también son valiosos para resolver ecuaciones diferenciales parciales no lineales en algunas geometrías específicas. Estas soluciones analíticas proporcionan una comprobación útil de la precisión de las simulaciones numéricas de la ecuación que las rige. Por ejemplo, en el caso de un flujo de superficie libre muy viscoso alrededor de una pared semiinfinita, el dominio se puede mapear a un semiplano en el que la solución es unidimensional y fácil de calcular. [20]
Para sistemas discretos, Noury y Yang presentaron una forma de convertir el lugar de raíces de sistemas discretos en un lugar de raíces continuo a través de un mapeo conforme bien conocido en geometría (también conocido como mapeo de inversión ). [21]
Las ecuaciones de Maxwell se conservan mediante transformaciones de Lorentz que forman un grupo que incluye rotaciones circulares e hiperbólicas . Estas últimas a veces se denominan transformaciones de Lorentz para distinguirlas de las rotaciones circulares. Todas estas transformaciones son conformes ya que las rotaciones hiperbólicas conservan el ángulo hiperbólico (llamado rapidez ) y las otras rotaciones conservan el ángulo circular . La introducción de traslaciones en el grupo de Poincaré nuevamente conserva los ángulos.
Ebenezer Cunningham (1908) y Harry Bateman (1910) identificaron un grupo más amplio de mapas conformes para relacionar soluciones de las ecuaciones de Maxwell . Su formación en la Universidad de Cambridge les había proporcionado facilidad con el método de cargas de imagen y los métodos asociados de imágenes para esferas e inversión. Como relata Andrew Warwick (2003) Masters of Theory : [22]
Warwick destaca este "nuevo teorema de la relatividad" como una respuesta de Cambridge a Einstein, y como basado en ejercicios que utilizan el método de inversión, como el que se encuentra en el libro de texto de James Hopwood Jeans , Teoría matemática de la electricidad y el magnetismo .
En la relatividad general , los mapas conformes son el tipo más simple y, por lo tanto, el más común de transformaciones causales. Físicamente, estos describen diferentes universos en los que todos los mismos eventos e interacciones aún son (causalmente) posibles, pero es necesaria una nueva fuerza adicional para afectar esto (es decir, la replicación de todas las mismas trayectorias requeriría desviaciones del movimiento geodésico porque el tensor métrico es diferente). A menudo se utiliza para intentar hacer que los modelos sean susceptibles de extensión más allá de las singularidades de curvatura , por ejemplo, para permitir la descripción del universo incluso antes del Big Bang .
Geometría / Ángulos unificados en Wikilibros
