1 Aplicaciones Conformes

Sea n = 1(.) una funcin analtica en un punto .

0
y que 1
0
(.
0
) 6= 0. Sea,
adems, C una curva suave, que pasa por .
0
y tiene representacin parmetrica
.(t) = r(t) + in(t). con a t /. Luego
n(t) = 1(. (t)); a t /
es la imagen de la curva C. la cual es tambin una curva suave. De acuerdo
a la regla de la cadena,
n
0
(t) = 1
0
(. (t)).
0
(t).
Como C es una curva suave que pasa por .
0
, se tiene que .
0
(t
0
) 6= 0. donde
.(t
0
) = .
0
. Denotemos por 0
0
= arg .
0
(t
0
) el ngulo de inclinacin del vec-
tor .
0
(t
0
). Para analizar el ngulo de inclinacin del vector n
0
(t
0
). denotemos
por c
0
= arg 1
0
(. (t
0
)) y, luego por las propiedades de los argumentos de un
producto, se tiene
c
0
= arg n
0
(t
0
) = arg 1
0
(. (t
0
)) + arg .
0
(t
0
)
= 0
0
+ c
0
En consecuencias, si n = 1(.) es analtica en un punto .
0
y que 1
0
(.
0
) 6= 0.
entonces la recta tangente a C en .
0
es rotada en un ngulo
arg 1
0
(. (t
0
))
por la transformacin n = 1(.).
Supongamos, ahora, que C
1
y C
2
son dos curvas suaves que pasan por .
0
y con ngulos de inclinacin 0
1
y 0
2
de las rectas tangentes, respectivamente.
Entonces, por lo anterior, tenemos
c
1
= 0
1
+ arg 1
0
(.
1
(t
0
))
c
2
= 0
2
+ arg 1
0
(.
2
(t
0
))
y, por tanto,
c
2
c
1
= 0
2
0
1
1
es decir, la magnitud y sentido c
2
c
1
del ngulo formado desde
1
a
2
es
igual a la magnitud y sentido 0
2
0
1
formado por C
1
y C
2
.
Denition 1 Una funcin que preserva magnitud y sentido de ngulos entre
dos curvas suaves que pasan a travs de un punto especco se dice una Trans-
formacin Conforme en tal puntos. Diremos que 1 es, simplemente, una
transformacin conforme si es conforme en cada punto.
Theorem 2 Si 1 es analtica y 1
0
(.) 6= 0 para todo puntos de su dominio.
entonces 1 es una transformacin conforme.
Remark 3 Notar que la funcin 1(.) = . tranforma magnitudes, pero NO
sentido
3 2.5 2 1.5 1 0.5 0
7.5
5
2.5
0
-2.5
-5
-7.5
x
y
x
y
Por tanto, esta funcin no es conforme. Tales funciones se llaman funciones
isogonales.
Algunas otras propiedades de la transformaciones conformes:
Proposition 4 S i 1 es una transfomacin conforme en su dominio y es in-
yectiva, entonces 1
1
es tambien conforme.
2
Proposition 5 Si 1 y o son funciones analticas, o 1 existe, 1
0
(.
0
) 6= 0 y
o
0
(1 (.
0
)) 6= 0. entoces o 1 es conforme en .
0
.
Proof. Esto sigue, inmediatamente del hecho siguiente:
(o 1)
0
(.
0
) = o
0
(1(.
0
)) 1
0
(.
0
) 6= 0.
Exercise 6 Un ejemplo importante de funciones conformes es la del tipo:
T(.) =
a. + /
c. + d
; . 6=
d
c
con ad /c 6= 0. En efecto,
T
0
(.) =
ad /c
(c. + d)
2
6= 0
Luego, T es conformal en cada . 2 C n

d
c

.
1. Estas transformaciones se llaman transformaciones fraccionales lineales o
transformaciones de Mbius.
2. Son biyectivas en sus respectivos dominio y, por tanto, su inversa
T
1
(n) =
(d) n + /
cn a
es tambien conforme.
3. Notar que T = T
4
T
3
T
2
T
1
. donde
T
1
(.) = . +
d
c
; T
2
(.) =
1
.
T
3
(.) =
/c ad
c
2
.; T
4
(.) = . +
a
c
4. T
4
. T
3
. T
2
y T
1
llevan circunferencias y rectas en circunferencias o rectas.
5. De 4., se tiene que si 1 es un recta y C un circulo, entonces T(1) y T(C)
son rectas o circulos (tarea).
Proposition 7 Si .
1
. .
2
. .
3
. .
4
. n
1
. n
2
. n
3
. n
4
2 C tales que .
i
6= .
j
y n
i
6=
n
j
jara i 6= ,. entonces existe una nica transformacin de Mbius que lleva
.
i
! n
i
.
Proof. Para .. n 2 C. se dene la ecuacin
n n
1
n n
2
n
3
n
2
n
3
n
1
=
. .
1
. .
2
.
3
.
2
.
3
.
1
Denotemos por n = T(.) la solucin de la ecuacin de n respecto de .. T es
una transformacin de Mbius y
T(.
i
) = n
i
.
Queda por demostrar que es nica (tarea).
3
Remark 8
1. Sea
T(.) =
a. + /
c. + d
; . 6=
d
c
una transformacin de Mbius. Notar que
(`a) . + `/
(`c) . + `d
=
a. + /
c. + d
;
es decir, los coecientes a. /. c. d no son nicos.
2. Por otro lado, podemos extender una transformacin de Mbius al plano
extendido C
1
como sigue:
T (.) =
8
<
:
az+b
cz+d
:i . 6=
d
c
. 1
a
c
:i . = 1
1 :i . =
d
c
3. Una transformacin de Mbius tiene, a lo ms, dos puntos jos, en efecto,
T(.) = . )
a. + /
c. + d
= .
) c.
2
+ (d a) . / = 0.
4. Una transformacin de Mbius con tres puntos jos es la identidad (Tarea)
5. Una transformacin de Mbius est enteramente caracterizada por la ac-
cin de tres puntos dados en C
1
. Asi, por ejemplo, para .
1
. .
2
. .
3
2 C
1
distintos dos a dos,
T (.
1
) = 1
T (.
2
) = 0
T (.
3
) = 1
entonces
T(.) =

. .
2
. .
3

.
1
.
2
.
1
.
3

; :i .
1
. .
2
. .
3
2 C
T(.) =
. .
2
. .
3
; :i .
1
= 1
T(.) =
.
1
.
3
. .
3
; :i .
2
= 1
T(.) =
. .
2
.
1
.
2
; :i .
3
= 1
Denotaremos a esta transformacin de Mbius por
T = (.. .
1
. .
2
. .
3
)
4
donde se debe entender que
.
1
! 1
.
2
! 0
.
3
! 1
Notar que
(.. 1. 0. 1) = .
es decir, la indentidad.
6. Si .
1
. .
2
. .
3
son distintos y T cualquier transformacin de Mbius, en-
tonces
(.. .
1
. .
2
. .
3
) = (T (.) . T (.
1
) . T (.
2
) . T (.
3
))
En efecto, sea o (.) = (.. .
1
. .
2
. .
3
) y consideremos ' = oT
1
' (T (.
1
)) = 1
' (T (.
2
)) = 0
' (T (.
3
)) = 1
Luego,
' (n) = (n. T (.
1
) . T (.
2
) . T (.
3
))
Si . = T
1
(n) . entonces
' (n) = oT
1
(n) = o (.) = (T (.) . T (.
1
) . T (.
2
) . T (.
3
)) .
Es sabido que por tres puntos no colineales en el plano pasa una circunfer-
encia y una sla. Ahora, estamos en C
1
una recta puede ser considerada como
una circunferencia, al considerar la proyeccin esterogrca. As, podemos ree-
scribir el ejercicio 6-5., diciendo que una transformacin de Mbius lleva crculos
en crculos.
La situacin esta contralada si .
1
! n
1
; .
2
! n
2
; .
3
! n
3
y ambos
triples (.
1
. .
2
. .
3
) y (n
1
. n
2
. n
3
) son no-colineales (ver gura)
3 2.5 2 1.5 1 0.5 0
3
2.5
2
1.5
1
0.5
0
x
y
x
y
0 -0.5 -1 -1.5 -2 -2.5 -3
0
-0.5
-1
-1.5
-2
-2.5
-3
x
y
x
y
5
Ahora, si la situacin es .
1
! n
1
; .
2
! n
2
; .
3
! n
3
y (n
1
. n
2
. n
3
) son
colineales, entonces la circunferencia generada por (n
1
. n
2
. n
3
) me divide al
plano en dos semi-planos. La pregunta que uno se hace es, dnde es llevado el
interior de la circuferencia generada por (.
1
. .
2
. .
3
)?. Las posibilidades son dos,
al semi-plano derecho o al semi-plano izquierdo
3 2.5 2 1.5 1 0.5 0
3
2.5
2
1.5
1
0.5
0
x
y
x
y
0.8 0.6 0.4 0.2 0 -0.2 -0.4 -0.6 -0.8 -1 -1.2
5
4
3
2
1
0
-1
-2
-3
-4
-5
x
y
x
y
.
En este caso, vemos dnde es llevado su centro y tendremos la informacin
completa de esta transformacin.
Consideremos una combinacin de transformaciones de Mbius con otro tipo
de funciones conformes. Esta mezcla de transformaciones conformes nos permi-
tirn determinar funciones analticas que transformen cierto lugares geomtricos
en otros, ambos en el plano complejo. Una ilustracin es el siguiente ejemplo:
Example 9 Hallar una aplicacin conforme que transforme = f. 2 C : 0 < arg . < 2. j.j < 1g
en 1 = f. 2 C : j.j < 1g .
Sol.:
1 0.9 0.8 0.7 0.6 0.5 0.4 0.3 0.2 0.1 0
1
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
x
y
x
y
6
1 0.8 0.6 0.4 0.2 0 -0.2 -0.4 -0.6 -0.8 -1
1
0.8
0.6
0.4
0.2
0
-0.2
-0.4
-0.6
-0.8
-1
x
y
x
y
La respuesta no es dada por . ! .
4
. pues esta funcin omite los ejes.
Consideremos la funcin
. ! .
2
.
Esta lleva a en 1 = f. 2 C : 0 < arg . < . j.j < 1g
1 0.9 0.8 0.7 0.6 0.5 0.4 0.3 0.2 0.1 0
1
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
x
y
x
y
!
1 0.8 0.6 0.4 0.2 0 -0.2 -0.4 -0.6 -0.8 -1
1
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
x
y
x
y
Ahora, si consideramos la transformacin de Mbius
. !
1 + .
1 .
.
entonces sta lleva el semi-crculo en el primer cuadrante. Luego, apli-
cando nuevamente,
. ! .
2
.
lleva el primer cuadrante en el simi-plano superior y, nalmente, la trans-
formacin de Mbius
. !
. + i
. i
7
transforma el semi-plano superior en el disco unitario.
8