Articulo de referencia

Mapa conforme

Una cuadrícula rectangular (arriba) y su imagen bajo un mapa conforme. F {\displaystyle f} (abajo). Se observa que F {\displaystyle f} mapea pares de líneas que se intersecan en...

Una cuadrícula rectangular (arriba) y su imagen bajo un mapa conforme.F{\displaystyle f}(abajo). Se observa queF{\displaystyle f}mapea pares de líneas que se intersecan en 90° a pares de curvas que también se intersecan en 90°.

En matemáticas , una transformación conforme es una función que preserva localmente los ángulos , pero no necesariamente las longitudes.

Más formalmente, dejemosU{\displaystyle U}yV{\displaystyle V}ser subconjuntos abiertos deRnorte{\displaystyle \mathbb {R} ^{n}}. Una funciónF:UV{\displaystyle f:U\to V}se denomina conforme (o que conserva el ángulo ) en un punto0U{\displaystyle u_{0}\in U}si conserva los ángulos entre curvas dirigidas a través de0{\displaystyle u_{0}}, además de preservar la orientación. Las transformaciones 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 conformería para incluir transformaciones que invierten la orientación, cuyos jacobianos pueden escribirse como cualquier escalar multiplicado por cualquier matriz ortogonal. [ 1 ]

Para aplicaciones en dos dimensiones, las aplicaciones conformes (que preservan la orientación) son precisamente las funciones analíticas complejas localmente invertibles . En tres dimensiones o más, el teorema de Liouville limita drásticamente las aplicaciones conformes a unos pocos tipos.

La noción de conformabilidad se generaliza de forma natural a aplicaciones entre variedades riemannianas o semiriemannianas .

En dos dimensiones

SiU{\displaystyle U}es un subconjunto abierto del plano complejodo{\displaystyle \mathbb {C} }, luego una funciónF:Udo{\displaystyle f:U\to \mathbb {C} }es conforme si y solo si es holomorfa y su derivada es distinta de cero en todas partes.U{\displaystyle U}. SiF{\displaystyle f}es antiholomorfa ( conjugada compleja de una función holomorfa), conserva los ángulos pero invierte su orientación.

En la literatura, existe otra definición de conforme: una aplicaciónF{\displaystyle f}que es biyectiva y holomorfa en un conjunto abierto en el plano. El teorema de la aplicación abierta obliga a que la función inversa (definida en la imagen deF{\displaystyle f}) ser holomorfa. Por lo tanto, bajo esta definición, una aplicación es conforme si y solo si es biholomorfa. Las dos definiciones de aplicaciones conformes no son equivalentes. Ser inyectiva y holomorfa implica tener una derivada no nula. De hecho, tenemos la siguiente relación, el teorema de la función inversa :

(F1(z0))=1F(z0){\displaystyle (f^{-1}(z_{0}))'={\frac {1}{f'(z_{0})}}}

dóndez0do{\displaystyle z_{0}\in \mathbb {C}}Sin embargo, la función exponencial es una función holomorfa con una derivada distinta de cero, pero no es inyectiva ya que es periódica. [ 2 ]

El teorema de mapeo de Riemann , uno de los resultados profundos del análisis complejo , establece que cualquier subconjunto propio abierto no vacío simplemente conexo dedo{\displaystyle \mathbb {C} }admite una aplicación conforme biyectiva al disco unitario abierto endo{\displaystyle \mathbb {C} }En términos informales, esto significa que cualquier blob puede transformarse en un disco perfecto mediante algún mapeo conforme.

Mapas conformes globales en la esfera de Riemann

Un mapeo de la esfera de Riemann sobre sí misma es conforme si y solo 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 .

Conformidad con respecto a tres tipos de ángulos

En geometría plana, existen tres tipos de ángulos que pueden conservarse en una transformación conforme. [ 3 ] Cada uno está asociado a su propia álgebra real, números complejos ordinarios , números complejos divididos y números duales . Las transformaciones conformes se describen mediante transformaciones fraccionarias lineales en cada caso. [ 4 ]

En tres o más dimensiones

geometría riemanniana

En geometría riemanniana , dos métricas riemannianasgramo{\displaystyle g}yh{\displaystyle h}en un colector lisoMETRO{\displaystyle M}se denominan equivalentes conformes sigramo=h{\displaystyle g=uh}para alguna función positiva{\displaystyle u}enMETRO{\displaystyle M}. La función{\displaystyle {\sqrt {u}}}se denomina factor conforme .

Un difeomorfismo entre dos variedades riemannianas se denomina aplicación conforme si la métrica resultante es conformemente equivalente a la original. Por ejemplo, la proyección estereográfica de una esfera sobre el plano aumentado con un punto en el infinito es una aplicación conforme.

También se puede definir una estructura conforme en una variedad diferenciable, como una clase de métricas riemannianas conformemente equivalentes .

espacio euclidiano

Un teorema clásico de Joseph Liouville demuestra que existen muchas menos transformaciones conformes en dimensiones superiores que en dos dimensiones. Cualquier transformación conforme de un subconjunto abierto del espacio euclidiano al mismo espacio euclidiano de dimensión tres o superior puede estar compuesta por tres tipos de transformaciones: una homotecia , una isometría y una transformación conforme especial . Para las transformaciones lineales , una transformación conforme solo puede estar compuesta por homotecia e isometría , y se denomina transformación lineal conforme .

Aplicaciones

Existen aplicaciones del mapeo conforme en ingeniería aeroespacial, [ 5 ] en ciencias biomédicas [ 6 ] (incluyendo mapeo cerebral [ 7 ] y 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 ]

Cartografía

En cartografía , varias proyecciones cartográficas , como la proyección de Mercator y la proyección estereográfica, son conformes. La conservación de los puntos cardinales las hace útiles en la navegación marítima.

Física e ingeniería

Las transformaciones conformes son invaluables para resolver problemas en ingeniería y física que pueden expresarse en términos de funciones de una variable compleja pero que presentan geometrías inconvenientes. Al elegir una transformación adecuada, el analista puede transformar la geometría inconveniente en una mucho más conveniente. Por ejemplo, se puede desear calcular el campo eléctrico,mi(z){\displaystyle E(z)}, que surge de una carga puntual ubicada cerca de la esquina de dos planos conductores separados por un cierto ángulo (dondez{\displaystyle z}es la coordenada compleja de un punto en el espacio bidimensional). Este problema en sí mismo es bastante engorroso de resolver de forma cerrada. Sin embargo, empleando una transformación conforme muy simple, el ángulo inconveniente se transforma en uno de precisamenteπ{\displaystyle \pi }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,mi(w){\displaystyle E(w)}y luego se volvió a mapear al dominio original al observar quew{\displaystyle w}se obtuvo como una función ( es decir , la composición demi{\displaystyle E}yw{\displaystyle w}) dez{\displaystyle z}, de dondemi(w){\displaystyle E(w)}puede ser visto comomi(w(z)){\displaystyle E(w(z))}, que es una función dez{\displaystyle z}, la base de coordenadas original. Nótese que esta aplicación no contradice el hecho de que las transformaciones conformes conservan los ángulos, sino que 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 transformación conforme para resolver el problema de contorno del chapoteo de líquidos en tanques. [ 19 ]

Si una función es armónica (es decir, satisface la ecuación de Laplace)2F=0{\displaystyle \nabla ^{2}f=0}) sobre un dominio plano (que es bidimensional), y se transforma mediante un mapeo 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 mapeo conforme y seguir estando gobernada por un potencial. Ejemplos en física de ecuaciones definidas por un potencial incluyen el campo electromagnético , el campo gravitatorio 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 aplicación en dinámica de fluidos de un mapeo conforme es la transformación de Joukowsky que puede usarse para examinar el campo de flujo alrededor de un perfil aerodinámico de Joukowsky.

Las transformaciones conformes también son valiosas para resolver ecuaciones diferenciales parciales no lineales en ciertas geometrías específicas. Estas soluciones analíticas proporcionan una verificación útil de la precisión de las simulaciones numéricas de la ecuación gobernante. Por ejemplo, en el caso de un flujo de superficie libre muy viscoso alrededor de una pared semiinfinita, el dominio se puede transformar en 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 las raíces de sistemas discretos en un lugar de las raíces continuo mediante una transformación conforme bien conocida en geometría (también conocida como transformación de inversión ). [ 21 ]

Ecuaciones de Maxwell

Las ecuaciones de Maxwell se conservan mediante transformaciones de Lorentz , que forman un grupo que incluye rotaciones circulares e hiperbólicas . Estas últimas se denominan a veces 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 demás rotaciones conservan el ángulo circular . La introducción de traslaciones en el grupo de Poincaré también conserva los ángulos.

Un grupo más amplio de mapas conformes para relacionar soluciones de las ecuaciones de Maxwell fue identificado por Ebenezer Cunningham (1908) y Harry Bateman (1910). Su formación en la Universidad de Cambridge les había proporcionado facilidad con el método de cargas imagen y métodos asociados de imágenes para esferas e inversión. Como relata Andrew Warwick (2003) Masters of Theory : [ 22 ]

Cada solución de cuatro dimensiones podría invertirse en una hiperesfera de cuatro dimensiones de pseudoradio.K{\displaystyle K}con el fin de producir una nueva solución.

Warwick destaca este "nuevo teorema de la relatividad" como una respuesta de Cambridge a Einstein, y como fundamentado en ejercicios que utilizan el método de inversión, como los que se encuentran en el libro de texto de James Hopwood Jeans, Teoría matemática de la electricidad y el magnetismo .

relatividad general

En la relatividad general , las transformaciones conformes son el tipo más simple y, por lo tanto, el más común de transformaciones causales. Físicamente, estas describen universos diferentes en los que todos los mismos eventos e interacciones siguen siendo posibles (causalmente), pero se requiere una nueva fuerza adicional para que esto ocurra (es decir, la replicación de todas las mismas trayectorias requeriría desviaciones del movimiento geodésico porque el tensor métrico es diferente). Se utilizan a menudo para intentar 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 .

Véase también

Referencias

  1. Blair, David (17 de agosto de 2000). Teoría de la inversión y mapeo conforme . The Student Mathematical Library. Vol.  9. Providence, Rhode Island: American Mathematical Society. doi : 10.1090/stml/009 . ISBN 978-0-8218-2636-2. S2CID 118752074 . 
  2. Richard M. Timoney (2004), Teorema de mapeo de Riemann del Trinity College de Dublín
  3. ^ Geometría/Ángulos unificados en WikibooksLogotipo de Wikibooks
  4. ^ Tsurusaburo Takasu (1941) Gemeinsame Behandlungsweise der elliptischen konformen, hyperbolischen konformen und parabolischen konformen Differentialgeometrie, 2 , Actas de la Academia Imperial 17(8): 330–8, enlace del Proyecto Euclid , MR 0014282 
  5. Selig, Michael S.; Maughmer, Mark D. (1992-05-01). "Método de diseño de perfiles aerodinámicos inversos multipunto basado en mapeo conforme" . AIAA Journal . 30 (5): 1162– 1170. Bibcode : 1992AIAAJ..30.1162S . doi : 10.2514/3.11046 . ISSN 0001-1452 . 
  6. Cortijo, Vanessa; Alonso, Elena R.; Mata, Santiago; Alonso, José L. (2018-01-18). "Mapa conformacional de ácidos fenólicos". The Journal of Physical Chemistry A . 122 (2): 646– 651. Bibcode : 2018JPCA..122..646C . doi : 10.1021/acs.jpca.7b08882 . ISSN 1520-5215 . PMID 29215883 .  
  7. "Propiedades del mapeo conforme" .
  8. "7.1 LOS MAPAS GENÉTICOS SE PRESENTAN EN DIVERSAS FORMAS" . www.informatics.jax.org . Consultado el 22 de agosto de 2022 .
  9. Alim, Karen; Armon, Shahaf; Shraiman, Boris I.; Boudaoud, Arezki (2016). "El crecimiento de las hojas es conforme" . Biología Física . 13 (5) 05LT01. arXiv : 1611.07032 . Bibcode : 2016PhBio..13eLT01A . doi : 10.1088/1478-3975/13/5/05lt01 . PMID 27597439. S2CID 9351765. Recuperado el 22 de agosto de 2022 .  
  10. González-Matesanz, FJ; Malpica, JA (2006-11-01). "Mapeo cuasiconforme con algoritmos genéticos aplicados a transformaciones de coordenadas" . Computers & Geosciences . 32 (9): 1432– 1441. Bibcode : 2006CG.....32.1432G . doi : 10.1016/j.cageo.2006.01.002 . ISSN 0098-3004 . 
  11. ^ Berezovski, Volodymyr; Cherevko, Yevhen; Rýparová, Lenka (agosto de 2019). "Mapeos geodésicos y conformales en algunos espacios especiales" . Matemáticas . 7 (8): 664. doi : 10.3390/math7080664 . hdl : 11012/188984 . ISSN 2227-7390 . 
  12. Gronwall, TH (junio de 1920). "Mapeo conforme de una familia de cónicas reales sobre otra" . Actas de la Academia Nacional de Ciencias . 6 ( 6): 312– 315. Bibcode : 1920PNAS....6..312G . doi : 10.1073/pnas.6.6.312 . ISSN 0027-8424 . PMC 1084530. PMID 16576504 .   
  13. "Mapeo en una oración (especialmente en oraciones buenas como citas, proverbios...)" . sentencedict.com . Consultado el 22 de agosto de 2022 .
  14. "EAP - Actas de la Academia de Ciencias de Estonia – Publicaciones" . Consultado el 22 de agosto de 2022 .
  15. López-Vázquez, Carlos (2012-01-01). "Mejora de la precisión posicional mediante funciones analíticas empíricas". Cartografía y ciencia de la información geográfica . 39 (3): 133– 139. Bibcode : 2012CGISc..39..133L . doi : 10.1559/15230406393133 . ISSN 1523-0406 . S2CID 123894885 .  
  16. Calixto, Wesley Pacheco; Alvarenga, Bernardo; da Mota, Jesús Carlos; Brito, Leonardo da Cunha; Wu, Marcel; Alves, Aylton José; Neto, Luciano Martín; Antunes, Carlos FR Lemos (15 de febrero de 2011). "Resolución de problemas electromagnéticos mediante mapeo conforme: un operador matemático para la optimización" . Problemas Matemáticos en Ingeniería . 2010 e742039. doi : 10.1155/2010/742039 . hdl : 10316/110197 . ISSN 1024-123X . 
  17. Leonhardt, Ulf (23-06-2006). "Mapeo conforme óptico" . Science . 312 (5781): 1777– 1780. Bibcode : 2006Sci ...312.1777L . doi : 10.1126/science.1126493 . ISSN 0036-8075 . PMID 16728596. S2CID 8334444 .   
  18. Singh, Arun K.; Auton, Gregory; Hill, Ernie; Song, Aimin (2018-07-01). "Estimación de capacitancias intrínsecas y extrínsecas de diodos de auto-conmutación de grafeno mediante la técnica de mapeo conforme" . 2D Materials . 5 (3): 035023. Bibcode : 2018TDM.....5c5023S . doi : 10.1088/2053-1583/aac133 . ISSN 2053-1583 . S2CID 117531045 .  
  19. Kolaei, Amir; Rakheja, Subhash; Richard, Marc J. (2014-01-06). "Rango de aplicabilidad de la teoría lineal de oscilación de fluidos para predecir la oscilación lateral transitoria y la estabilidad de balanceo de vehículos tanque". Journal of Sound and Vibration . 333 (1): 263– 282. Bibcode : 2014JSV...333..263K . doi : 10.1016/j.jsv.2013.09.002 .
  20. Hinton, Edward; Hogg, Andrew; Huppert, Herbert (2020). "Flujo de Stokes superficial libre poco profundo alrededor de una esquina" . Philosophical Transactions of the Royal Society A. 378 ( 2174). Bibcode : 2020RSPTA.37890515H . doi : 10.1098/rsta.2019.0515 . PMC 7287310. PMID 32507085 .  
  21. Noury, Keyvan; Yang, Bingen (2020). "Un mapeo en el plano S pseudo del lugar de las raíces en el plano Z" . Congreso y Exposición Internacional de Ingeniería Mecánica ASME 2020. Sociedad Estadounidense de Ingenieros Mecánicos. doi : 10.1115/IMECE2020-23096 . ISBN 978-0-7918-8454-6. S2CID 234582511 . 
  22. Warwick, Andrew (2003). Maestros de la teoría: Cambridge y el auge de la física matemática . University of Chicago Press . págs. 404–424 . ISBN  978-0-226-87375-6.

Lecturas adicionales

  • Ahlfors, Lars V. (1973), Invariantes conformes: temas de teoría geométrica de funciones , Nueva York: McGraw–Hill Book Co., MR 0357743 
  • Constantin Carathéodory (1932) Representación conforme , Cambridge Tracts in Mathematics and Physics
  • Chanson, H. (2009), Hidrodinámica aplicada: Introducción a los flujos de fluidos ideales y reales , CRC Press, Taylor & Francis Group, Leiden, Países Bajos, 478 páginas, ISBN 978-0-415-49271-3
  • Churchill, Ruel V. (1974), Variables complejas y aplicaciones , Nueva York: McGraw-Hill Book Co., ISBN 978-0-07-010855-4
  • EP Dolzhenko (2001) [1994], "Mapeo conforme" , Enciclopedia de Matemáticas , EMS Press
  • Rudin, Walter (1987), Análisis real y complejo (3.ª  ed.), Nueva York: McGraw-Hill Book Co., ISBN 978-0-07-054234-1, MR 0924157 
  • Weisstein, Eric W. "Mapeo conforme" . MathWorld .
  • Visualizaciones interactivas de muchos mapas conformes
  • Mapas conformes por Michael Trott, Proyecto de demostraciones de Wolfram .
  • Imágenes de mapeo conforme del flujo de corriente en diferentes geometrías con y sin campo magnético, realizadas por Gerhard Brunthaler.
  • Transformación conforme: del círculo al cuadrado .
  • Graficador de mapas conformes en línea .
  • Aplicación web interactiva Joukowski Transform