Temas Selectos de Matemáticas: Métodos Matemáticos para Termofluidos 1

Mapeo Conforme
Juan Manuel González López1 ∗
1
Posgrado en Ciencias Fı́sicas, Facultad de Ciencias, Universidad Nacional Autónoma de
México, 04510, CDMX

El formalismo y desarrollo matemático de la variable compleja ha sido de gran utilidad

no solo para la solución de ecuaciones insolubles con variable real, desde la ecuación
x2 + 1 = 0 hasta integrales de funciones no definidas en algunos puntos, sino que también
ha permitido reducir la complejidad de problemas sencillos cambiando la geometrı́a de
estudio. Ası́ como la selección del sistema coordenado permite reducir la complejidad
de algunas ecuaciones, la solución de un problema podrı́a darse al buscar la solución en
otro espacio y aplicar una transformación a dicha solución para obtener la solución en
el espacio deseado. Es necesaria mucha herramienta matemática y un gran formalismo
para desarrollar este tema dado que la variable compleja es aún menos intuitiva que la
variable real y los detalles lo son todo.

Palabras Clave: Variable compleja, mapeo conforme, funciones armónicas.

1. Introducción
Para comenzar a abordar el tema del mapeo conforme es necesario recordar algunos
conceptos. Sea C el campo de los complejos, si z ∈ C entonces podemos escribir
z = x + iy = r exp [iθ], donde x, y, r, θ ∈ R, siendo este último el campo de los reales.

DEFINICIÓN : Sea f : A → C una función compleja donde A es un abierto de

C, se dice que f es diferenciable en el sentido complejo en z0 ∈ A si
f (z) − f (z0 )
lı́m
z→z0 z − z0
existe; este lı́mite es la derivada de f en z0 y será denotado f ′ (z0 ).
DEFINICIÓN : Se dice que f : A → C es una función analı́tica u holomorfa en z0 ∈ A
si f es diferenciable en el sentido complejo en una vecindad de z0 .
Dadas estas definiciones es posible extender algunos resultados de variable real a variable
compleja tales como la derivada de la suma, del producto, etc. Una propiedad a resaltar
es la derivación por regla de la cadena (f (g(z)))′ = f ′ (g(z))g ′ (z).
Teorema 1. Sea γ[ a, b] → C una curva diferenciable contenida en una región A y sea
también f : A → C una función analı́tica en A, entonces:
(f ◦ γ)′ (t) = f ′ (γ(t))γ ′ (t). (1.1)

Un resultado importante de variable compleja son las condiciones bajo las cuales una
función es analı́tica y una de las más importantes son las ecuaciones de Cauchy-Riemann.
∗ Email: g.l.juan.24@ciencias.unam.mx
2 Juan Manuel González López
Teorema 2. Sea A un abierto de C y f : A → C una función analı́tica en z0 ∈ A,
entonces si f (z) = u(x, y) + iv(x, y) entonces
∂u ∂v
(z0 ) = (z0 )
∂x ∂y
(1.2)
∂u ∂v
(z0 ) = − (z0 ),
∂y ∂x

estas ecuaciones son las conocidas como ecuaciones de Cauchy-Riemann.

Podemos ir más allá y dar condiciones necesarias y suficientes para determinar de una
función es analı́tica.
Teorema 3. Sea A un abierto de C con z0 ∈ A y f : A → C una función, entonces
f es analı́tica en z0 si y sólo si en una vecindad de z0 , f es diferenciable en el sentido
real y satisface las ecuaciones de Cauchy-Riemann.
DEFINICIÓN : Sea A un abierto de C y u : A → C una función de clase C 2 , se dice
que u es armónica en A si ∀z ∈ A se tiene que
∂2u ∂2v
(z) + (z) = 0. (1.3)
∂x2 ∂x2

Proposición 1. Sea A un abierto de C y f : A → C una función analı́tica, entonces

u y v son funciones armónicas en A donde f (z) = u(z) + iv(z).
Esta proposición tomará relevancia cuando querramos encontrar soluciones a proble-
mas fı́sicos. Aún ası́ es relevante notar que la definición de función armónica es análoga
a que la función cumpla la ecuación de laplace en dos dimensiones, lo cual va limitando
los problemas solubles usando estas técnicas a problemas bidimensionales.
Finalmente introducimos el concepto de mapeo.
Sea z ∈ A con A un abierto de C y f : A → C una función analı́tica. Si escribimos
z = r exp[iθ] entonces los puntos con ángulos constantes θ = θ0 son rectas; por otro lado
los puntos con r = r0 constante son cı́rculos de radio r0 . La aplicación f (A) nos lleva a
la imagen de dicha función, denotada por B, este cambio de A a B es un mapeo de los
puntos del dominio en los puntos de la imagen. Veamos un ejemplo:
Sea f (z) = z 2 , entonces f mapea cı́rculos de radio r0 en cı́rculos de radio r02 recorridos
dos veces. Esto ya que f (z) = z 2 = (r0 exp[iθ])2 = r02 exp[2iθ]. Esta función también
mapea rectas con ángulo θ0 a rectas con ángulo 2θ0 , excluyendo las rectas paralelas y
ortogonales al eje real, las cuales se mapean en parábolas (ver 1).
Otro ejemplo de mapeo es el de la función exponencial, la cual manda rectas con
parte real constante x0 en cı́rculos de radio exp[x0 ], esto ya que f (z) = exp[z] =
exp[x0 ] exp[iy] = exp[x0 ](cos y + i sin y), lo cual son cı́rculos centrados en el origen de
radio exp[x0 ] (ver 2).
Ya introducidas las ideas y nociones clave es momento de introducir el concepto de
mapeo conforme.

2. Desarrollo
El teorema de la derivada de la composición de funciones [1.1] nos permite entender
un poco más acerca del mapeo de funciones. Si tenemos una curva γ(t) tal que ∀t ∈
 Flujo bifásico 3

[H]
Figura 1. Mapeo de la función f (z) = z 2 .

[H]
Figura 2. Mapeo de la función f (z) = exp [z].

[a, b] γ ′ (t) ̸= 0 y una función f tal que f ′ (γ(t)) ̸= 0 entonces podemos definir ϕ′ (t) =
f ′ (γ(t))γ ′ (t) como la curva imagen de γ bajo f . Si arg es el argumento o ángulo de un
número complejo entonces arg(ϕ′ (t)) = arg(f ′ (γ(t))) + arg(γ ′ (t)) (módulo 2π); es decir,
al ángulo entre la curva γ y su curva imagen es arg(f ′ (γ(t))), notemos que este ángulo
no depende de la curva γ. De este modo si tenemos 2 curvas γ1 y γ2 que se cruzan en un
punto z0 y forman un ángulo θ0 entonces bajo f estas estarán rotadas pero mantendrán
entre ellas el ángulo θ0 . Adicionalmente |ϕ′ (t))| = |f ′ (γ(t)))||(γ ′ (t))|, lo que indica que la
función f está reescalando a la curva γ.
En resumen, si es es una función analı́tica con derivada no nula en una región A y γ
es una curva definida en A entonces
ϕ′ (t) = f ′ (γ(t))(γ ′ (t))
arg(ϕ′ (t)) − arg(γ ′ (t)) = arg(f ′ (γ(t)))
(2.1)
|ϕ′ (t))|
= |f ′ (γ(t)))|,
|(γ ′ (t))|
f preserva ángulos y escala las curvas.
4 Juan Manuel González López

[H]
Figura 3. Mapeo de la derivada.

A este tipo de mapeos que preservan los ángulos se les llama mapeos conformes y a las
funciones que mapean preservando ángulos se les llama funciones conformes. La derivada
es un mapeo conforme por lo argumento dado anteriormente.
Algunas de las propiedades de estos mapeos son:
Teorema 4. Sea A un abierto de C y f : A → B una función conforme y biyectiva,
entonces su inversa f −1 : B → A también es conforme.

Teorema 5. Sea A un abierto de C y f : A → B, f : B → C funciones conformes y

biyectivas, entonces g ◦ f : A → C también es conforme y biyectiva.
Por estos dos teoremas y la existencia del mapeo imagen (f (z) = z) entonces los
mapeos conformes forma un grupo.
Uno de los teoremas más importantes es que los mapeos conformes preservan la
armonicidad de las funciones, es decir
Teorema 6. Sea A un abierto de C y f : A → B y u una función armónica en B,
entonces u ◦ f es armómica en A.
Hasta ahora hemos hablado de abiertos en C, pero requeriremos de unos pasos extra
para poder resolver problemas fı́sicos ya que estos hacen necesaria la implementación de
condiciones de frontera.
Teorema 7. Teorema de Osgood-Caratheodory Si A1 y A2 son regiones simplemente
conexas con fronteras γ1 y γ2 , respectivamente, y estas son curvas cerradas continuas,
entonces cualquier función que represente un mapeo conforme y biyectivo de A1 en A2
puede extenderse de manera única a un mapeo continuo que mapee A1 ∪ γ1 en A2 ∪ γ2 .
Este teorema nos dice que podemos extender el mapeo conforme a regiones con frontera
o regiones cerradas.
Un último apartado teórico. Hay un tipo especial de mapeos llamados Transforma-
ciones fraccionales lineales, los cuales son mapeos conformes de la forma
az + b
T (z) = (2.2)
cz + d
donde a, b, cd son números complejos que cumplen ad − bc ̸= 0.
Dependiendo de los coeficientes a, b, c, d es posible mapear esferas en esferas, esferas en
planos, regiones rectangulares en todo el plano complejo, etc. (ver figuras ??). Este tipo
de mapeos aunque no presentan de manera explı́cita una forma de mapear un espacio
especı́fico en otro si nos ayudan a visualizar algunos de los mapeos más comunes y útiles.
 Flujo bifásico 5

[H]
Figura 4. Mapeos conformes de algunas regiones. [Imagen tomada de Mardsen & Hoffman
(1999)] página 340.

[H]
Figura 5. Mapeos de algunas regiones. [Imagen tomada de Mardsen & Hoffman (1999)]
página 340.
6 Juan Manuel González López

[H]
Figura 6. Mapeos de algunas regiones. [Imagen tomada de Mardsen & Hoffman (1999)]
página 341.

[H]
Figura 7. Mapeos de algunas regiones. [Imagen tomada de Mardsen & Hoffman (1999)]
página 341.
 Flujo bifásico 7
2.1. Aplicaciones del mapeo conforme
Toda la argumentación y exposición nos lleva a nuestro verdadero objetivo: resolver
problemas. Muchos problemas bidimensionales en fı́sica como lo son la ecuación de
calor, los potenciales electrostáticos y magnetostáticos o problemas de flujo potencial
obedecen la ecuación de Laplace (las soluciones son funciones armónicas), ie, ∇2 T =
∇2 ϕe = ∇2 ϕm = ∇2 ϕ = 0. Para resolver de manera única dichos problemas es necesario
imponer condiciones de frontera, normalmente imponemos condiciones sobre la función
en las fronteras (condiciones de Dirichlet) o sobre la derivada de la función en las
fronteras (condiciones de Newman) y estas dependerán de los datos que tengamos sobre
el problema. Cualquiera de las dos condiciones nos llevará a una solución única (en el caso
de Newman es única salvo una constante) y esto de la unicidad es de mucha relevancia
ya que nos aseguramos de que la solución encontrada es la buena.
El método tradicional de resolver este tipo de problemas con las condiciones de
Dirichlet es intentar aplicar fuerza bruta, pero hay una vı́a que a veces funciona: Tomemos
la región A, conocemos los valores de la función en la frontera de A. Si tomamos esta
región y la mapeamos de manera conforme en otra región B más sencilla de manipular
será más sencillo resolver el problema ahı́. Como podemos mapear A también podremos
mapear su frontera y con ello tener las condiciones de frontera en la nueva región.
Después de obtenida la solución la transformamos usando en mapeo inverso y obtenemos
la solución en el espacio A.

3. Resultados
Apliquemos lo aprendido a un problema de flujo potencial. En este tipo de problemas
lo que se quiere conocer normalmente es el campo de velocidades u(x, y). Si tenemos un
fluido incompresible y no viscoso, entonces ∇ · u = 0; si suponemos adicionalmente que
nuestro flujo es potencial (irrotacional ∇×u = 0 → u = ∇ϕ) entonces este potencial debe
cumplir la ecuación de laplace ∇2 u = 0. Como estamos en un problema bidimensional
propongamos F = ϕ + iψ el potencial complejo, donde ψ es la función de corriente y
ϕ el potencial de la velocidad. Ambas funciones satisfacen la ecuación de Laplace. Las
lı́neas con ψ constante llamadas lineas de corriente pueden interpretarse como las lineas
sobre las cuales se mueven las partı́culas de un fluido. En este tipo de problemas se suele
buscar el comportamiento de las lineas de corriente alrededor de un objeto que se coloca
en el fluido y es común conocer condiciones alrededor del cuerpo, la más usual es saber
∂ϕ
que u debe ser paralelo a las fronteras del objeto, con ello se tiene que ∂n = 0.
Estudiemos el flujo alrededor de un medio cı́rculo unitario centrado en el origen en el
plano superior XY . Propongamos que el flujo al cual se enfrenta el medio cı́rculo sea
constante y unidireccional lejos del objeto u = aêx → ϕ = ax, a constante. Vamos a
mapear el medio cı́rculo al plano superior con la función F (z) = a z + z1 . Notemos que

los puntos sobre la circunferencia de radio uno se ven de la forma

 
iθ iθ 1
z◦ = e → F (z◦ ) = a e + iθ
e
= a(eiθ + e−iθ ) = 2a cos θ.

Con esto probamos que mapea el medio cı́rculo unitario al eje real, por lo que dar
condiciones sobre este eje es más sencillo que dar soluciones sobre el semicı́rculo. Por
otro lado como z = r exp [iθ] = r cos(θ) + ir sin θ y cos(−θ) = cos(θ), sin θ = − sin −θ,
8 Juan Manuel González López

Figura 8. Lineas de corriente de un medio circulo centrado en el origen enfrentado a un flujo

constante [Imagen tomada de Mardsen & Hoffman (1999)] página 358.

entonces
   
1 exp [−iθ]
F (z) = a r exp [iθ] + = a r exp [iθ] +
r exp [iθ] r
   
1 1
=a r+ cos θ + a r − i sin θ = ϕ + iψ.
r r
De este
modo para encontrar las lineas de corriente es necesario determinar
a r − 1r sin θ = b, b constante.
Otro caso interesante son las transformaciones de Joukowsky, las cuales mapean
cı́rculos fuera del origen en perfiles alares. Este caso también se puede resolver usando
el mapeo conforme. El caso de flujo potencial para perfiles de Joukowsky resulta de
sumo interés ya que presenta una geometrı́a hasta cierto punto exótica cuyo flujo se
puede conocer de manera analı́tica y ha sido de ayuda no solo para análisis teórico sino
también como apoyo para validación numérica y comparaciones con experimentos. Todo
el formalismo matemático nos permitió encontrar soluciones a problemas con alto grado
de complejidad sobre todo al momento de implementar condiciones de frontera, lo cual
resultó ventajoso.

3.1. Discusión
El poder trasladar problemas con fronteras difı́ciles de manipular a problemas con
fronteras sencillas (en la mayorı́a de los casos rectas) es de suma relevancia ya que
permite disminuir la complejidad de las soluciones. Las herramientas proporcionadas por
la variable compleja nos llevaron de un análisis meramente matemático a aplicaciones
directas a la fı́sica. El ejemplo dado en esta tarea fue sencillo e ilustrativo, pero con
esta herramienta es posible encontrar soluciones a la ecuación de calor con condiciones
de frontera como las que solemos aprovechar en experimentos; resolver el problema de
flujo de calor en geometrı́as circulares se reduce a encontrar mapeos conformes para ir a
un espacio con geometrı́as y fronteras más fáciles de manejar. El que la composición de
funciones conformes sea conforme también nos permite dar la solución encontrada para
una geometrı́a dada y extenderla a infinitas geometrı́a mapeando de espacio en espacio.
La gran limitación surge también del espacio de la variable compleja. Al ser este
espacio bidimensional (en algún sentido) los problemas a tratar se restringen a problemas
bidimensionales. Esta limitante no puede ser sorteada ya que la extensión del plano
complejo nos lleva a un espacio de dimensiones pares y nosotros tenemos problemas
tridimensionales (el tiempo en fı́sica debe de manejarse con mucho cuidado y no siempre
 Flujo bifásico 9
como una dimensión más). Aún ası́ los problemas bidimensionales son lo suficientemente
útiles como para no desechar esta técnica. Otro gran detalle es que analizamos funciones
armónicas, soluciones a la ecuación de Laplace en dos dimensiones, lo cual limita aún
más los problemas a atacar.
Es necesario revisar a profundidad el formalismo de la variable compleja ya que gracias
a ello el concepto de mapeo conforme surgió de manera natural, lo que nos permitió
encontrar solución a una extensa serie de problemas fı́sicos.

4. Conclusiones
El estudio de propiedades de la derivada de una función compleja nos llevó a la
definición de mapeos conformes. Los mapeos conformes nos llevaron a la idea de cambiar
el espacio de estudio a uno menos complejo donde poder resolver el problema en cuestión.
Con ello la resolución de problemas bidimensionales de la forma ∇2 ϕ = 0 con condiciones
a la frontera resultó facilitarse al poder mapear espacios complejos en otros más sencillos.
Con esta herramienta fuimos capaces de resolver el problema de un flujo potencial
alrededor de un medio cı́rculo de forma sencilla encontrando el mapeo correspondiente.
La instrumentalización del método es fácil de implementar, lo complejo es encontrar los
mapeos de las geometrı́as deseadas en otras más sencillas.

BIBLIOGRAF ÍA
Batchelor, C. K. 1967 In An introduction to fluid dynamics, pp. 440–449. Cambridge
university press.
Mardsen, J. E. & Hoffman, M. J. 1999 Basic complex analysis. W.H.Freeman and Company
3, 319–358. 5, 6, 8
Orive, Antonio Lascurain 2013 Curso básico de variable compleja. pp. 1–68. Las pensas de
ciencias.
Pritchard, P. J. & Leylegian, J. C. 211 In Fox and McDonald’s Introduction to Fluid
Mechanics, pp. 261–265. Jhon Wiley Sons Inc.