Captulo 4

TRANSFORMACIONES EN EL PLANO COMPLEJO

En el captulo 3 hemos introducido la denicin de funciones complejas, y deducido varias
propiedades de las funciones complejas analticas. En este captulo vamos a continuar con el
estudio de las funciones complejas, pero desde otra perspectiva: veremos un estudio sistemtico
de cmo actan ciertas familias de funciones sobre determinadas porciones del plano complejo.
Es decir, analizaremos el comportamiento de esas funciones como transformaciones de subcon-
juntos en el plano complejo; no nos interesar tanto la accin puntual de una funcin, sino la
manera en que la funcin acta sobre un conjunto dado de puntos. Tpicamente, una funcin
transforma un conjunto en otro, de all que emplearemos el trmino transformaciones cuando
queramos hacer hincapi en la accin sobre una porcin del plano. Esto es porque el compor-
tamiento y anlisis de una funcin muchas veces se entiende mejor estudiando la accin sobre
determinados subconjuntos del plano.
En el anlisis que nos proponemos, el concepto de curva continua resulta relevante, por lo
que nuestra primera ocupacin ahora ser formalizarlo.
1. Funciones complejas de variable real. Curvas y contornos
Cualquier funcin z de un intervalo real [a, b] en C es una funcin compleja de variable
real (FCVR). A un nmero t del intervalo, z le har corresponder un nmero complejo z(t) =
x(t) + iy(t), en donde x(t) e y(t) son nmeros reales que en general dependern de t, como lo
indica la notacin utilizada. En los puntos de [a, b] en que x(t) e y(t) son ambas derivables, se
dene la derivada de z(t) como z

(t) = x

(t) + iy

(t).
Notar que z(t) puede verse como una funcin z : D C C donde D = {(t, 0) : a
t b} C, y las funciones de parte real e imaginaria son, respectivamente, x(t) e y(t). Por
lo tanto, z(t) es continua en t
0
si, y slo si, x(t) e y(t) son tambin continuas (como funciones
reales de una variable real) en t
0
.
Bajo ciertas condiciones, la imagen de [a, b] por z es una curva C en el plano complejo, que
puede imaginarse como generada desde z(a) hasta z(b) a medida que t va creciendo de a a b.
Esto motiva la siguiente denicin:
Una curva continua es una funcin continua z cuyo dominio es algn intervalo cerrado
[a, b] y cuyo codominio es C. Una curva suave, o curva regular, es una curva continua cuya
derivada z

es continua en [a, b] y no nula en (a, b). Una curva continua se llama suave a trozos,
o curva regular a trozos, o contorno, si hay una particin nita a = t
0
< t
1
< . . . < t
n
= b
del intervalo [a, b] tal que la restriccin de z a cada subintervalo [t
j
, t
j+1
] es una curva suave.
Haremos referencia a los contornos indistintamente a travs del lugar geomtrico que des-
criben (el contorno C, con la consideracin implcita del sentido de su recorrido) o a travs de
la expresin que los dene (el contorno z(t), a t b). La expresin z(t), con a t b, se
denomina una parametrizacin de C.
Grcamente hablando, una curva suave es un trazado continuo con vector tangente unitario
z

(t) bien denido en cada punto interior del mismo, y que adems va girando en forma continua.
Un contorno es un nmero nito de curvas suaves concatenadas sucesivamente por los extremos.
En los puntos de unin, puede haber vrtices, es decir, puntos angulares, en los que puede no
estar denido z

(t) o ser z

(t) = 0, pero son slo una cantidad nita.

63
64 4. TRANSFORMACIONES EN EL PLANO COMPLEJO
Notar que, siendo z continua y [a, b] compacto en C, un contorno es un subconjunto compacto
de C (teor. 3.37), y esto, en particular, quiere decir que todo contorno es un subconjunto acotado
de C.
Como dijimos, C puede imaginarse como trazado desde el punto z(a) al z(b) a medida que
t crece de a a b. Muchas veces, interesar obtener el mismo contorno, pero trazado desde z(b)
hasta z(a). Tcnicamente, es un contorno distinto (an cuando el lugar geomtrico de puntos es
el mismo), y se denomina contorno inverso de C, denotado por C. Puede verse que si z(t) con
a t b representa a C, entonces una representacin para C est dada por g(t) = z(a+bt)
con a t b.
Ejemplo 4.1. Consideremos las siguientes curvas:
z
1
(t) = 2 cos t + 2i sen t = 2e
it
con 0 t
z
2
(t) = 2 cos(t 1) + 2i sen(t 1) = 2e
i(t1)
con 1 t 1 +
z
3
(t) = 2 cos(t/2) + 2i sen(t/2) = 2e
i(t/2)
con 0 t 2
z
4
(t) = 2 cos t + 2i sen t = 2e
it
con 0 t 2
z
5
(t) = 2 cos t + 2i sen t = 2e
it
con

2
t

2
+ 2
z
6
(t) = 2 cos t + 2i sen t = 2e
it
con

2
t

2
+ 4
z
1
(t) corresponde al arco de circunferencia con centro en el origen y radio 2, trazado desde el
complejo 2 hasta el complejo 2 en sentido antihorario. z
2
(t) y z
3
(t) corresponden a la misma
curva que z
1
(t). z
4
(t) corresponde a la circunferencia completa con centro en el origen y radio
2, trazada desde el complejo 2 hasta s mismo en sentido antihorario. z
5
(t) corresponde a la
circunferencia completa con centro en el origen y radio 2, trazada desde el complejo 2i hasta
s mismo en sentido antihorario. z
6
(t) corresponde a la misma circunferencia que z
5
(t), pero
trazada dos veces, y por ello es una curva distinta que z
5
(t). Resumiendo, z
1
(t), z
2
(t) y z
3
(t)
son la misma curva, y todas las otras son distintas, an cuando entre ellas describen el mismo
lugar geomtrico.
Como vemos, dos funciones distintas z
1
(t) = x
1
(t) + iy
1
(t) (a
1
t b
1
) y z
2
(t) = x
2
(t) +
iy
2
(t) (a
2
t b
2
) pueden representar un mismo contorno. Formalizaremos esa idea diciendo
que z
1
y z
2
representan el mismo contorno, o que z
1
y z
2
son equivalentes, si existe
una funcin continua biyectiva g del intervalo [a
1
, b
1
] en el intervalo [a
2
, b
2
] tal que g(a
1
) = a
2
,
g(b
1
) = b
2
y z
1
= z
2
g. En el ejemplo anterior, para ver que las expresiones de los dos primeros
incisos corresponden a un mismo contorno, basta tomar g(t) = t + 1.
1.1. Polgonos inscriptos en contornos. Supongamos que C es un contorno con para-
metrizacin dada por la funcin continua z(t), a t b. Consideremos una particin P
del intervalo [a, b], es decir, P = {t
0
, t
1
, . . . , t
n
} con a = t
0
, b = t
n
y t
k
< t
k+1
para todo
k {0, 1, . . . , n1}. Designemos a la norma de la particin mediante P = m ax{t
k+1
t
k
: k =
0, 1, . . . , n1}, y hagamos z
k
= z(t
k
) para cada k = 0, 1, . . . , n. Tenemos que cada z
k
es un punto
de C, por lo que los puntos z
0
, z
1
, . . . , z
n
determinan una poligonal P = [z
0
, z
1
, . . . , z
n
] desde el
punto inicial hasta el punto nal de C que adems tiene todos sus vrtices intermedios en C. Se
dice entonces que P es la poligonal inscripta en C inducida por P. Una parametrizacin
para el segmento [z
k
, z
k+1
] de P est dada por la expresin
f
k
(t) = z
k
+
t t
k
t
k+1
t
k
(z
k+1
z
k
)
con parmetro t tal que t
k
t t
k+1
. De este modo, una parametrizacin para P es dada por
z
1
(t), a t b, con z
1
(t) = f
k
(t) para t [t
k
, t
k+1
], k = 0, 1, . . . , n 1.
Como es de esperarse, cuanto ms na es una particin (es decir, cuanto ms pequea es
su norma), ms ceida es la poligonal P al contorno C.
Proposicin 4.2. Sea C un contorno con parametrizacin z(t), a t b, y sea > 0.
Existe > 0 tal que si P es una particin con norma menor que , entonces P induce una
poligonal P con parametrizacin z
1
(t), a t b, tal que para todo t [a, b], |z
1
(t) z(t)| < .
1. FUNCIONES COMPLEJAS DE VARIABLE REAL. CURVAS Y CONTORNOS 65
Demostracin. Ya que z es continua y [a, b] compacto, z es uniformemente continua en
[a, b] (prop. 3.44), por lo que > 0 : t, t

[a, b], |t t

| < |z(t) z(t

)| < /2. Sea

P = {t
0
, t
1
. . . , t
n
} una particin de [a, b] tal que P < , y sea P la poligonal inducida
por P, con parametrizacin z
1
(t) segn se enunci previamente. Tomemos t [a, b]. Existe
k {0, 1, . . . , n1} tal que t
k
t t
k+1
. Se tiene entonces que 0 t t
k
t
k+1
t
k
< , por
lo que
t t
k
t
k+1
t
k
1 |z(t) z(t
k
)| <

2
|z(t
k+1
) z(t
k
)| <

2
de donde
|z
1
(t) z(t)| =

z
k
+
t t
k
t
k+1
t
k
(z
k+1
z
k
) z(t)

|z(t
k
) z(t)| +
t t
k
t
k+1
t
k
|z(t
k+1
) z(t
k
)| <

2
+

2
=

Supongamos que C es adems subconjunto de algn abierto D. Cabe preguntarse si una

poligonal inscripta en C es tambin subconjunto de D. Como la intuicin ya nos podra estar
indicando en base al resultado anterior, si la particin es sucientemente na, eso efectivamente
ocurre.
Proposicin 4.3. Sea C un contorno en un conjunto abierto D. Existe > 0 tal que toda
particin del intervalo de variacin del parmetro de C con norma menor que induce una
poligonal inscripta en C que est contenida en D.
Demostracin. Sea z(t), a t b, una parametrizacin para C. Siendo C compacto, D
c
cerrado y C D
c
= , existe > 0 tal que z C, w D
c
, |z w| (prop. 2.30). Apelando a
la prop. 4.2, sea > 0 tal que cualquier particin P de [a, b] con P < induce un polgono
con parametrizacin z
1
(t), a t b tal que |z(t) z
1
(t)| < para todo t [a, b]. Sea P
cualquiera de tales particiones, y P el polgono inscripto en C que sta induce. Si w P, es
w = z
1
(t

) para algn t

[a, b]; se tiene que |z(t

) z
1
(t

)| < , y entonces, ya que z(t

) es un
punto de C, por la eleccin de no puede ser que w est en D
c
, as que w D. Por lo tanto,
P D.
1.2. Rectas y circunferencias en el plano complejo. Obtendremos ahora una muy
til expresin para representar circunferencias y rectas en el plano complejo, y que posterior-
mente facilitar la tarea de analizar las transformaciones de estas guras.
Si por un momento vemos al plano complejo como R
2
, considerando x = Re (z) e y = Im(z),
y recordamos que en R
2
una recta no vertical tiene ecuacin y = mx+n (m, n R), sustituyendo
x e y llegamos a una expresin para la recta en trminos del complejo z = x + iy:
(6) Imz = mRe z + n
Dado que Re z = (z + z) /2 y que Imz = i (z z) /2, sustituyendo en (6) obtenemos:
i (z z)
2
=
m(z + z)
2
+ n
i
2
z
i
2
z =
m
2
z +
m
2
z + n
_
m
2
+
i
2
_
z +
_
m
2

i
2
_
z + n = 0
Llamando B =
m
2
+
i
2
y C = n, vemos que la ecuacin de una recta no vertical en el plano
complejo est dada por Bz +Bz +C = 0, para B C (B / R) y C R. Procediendo en forma
anloga para una recta vertical, cuya ecuacin en el plano cartesiano es x = k (para k R),
66 4. TRANSFORMACIONES EN EL PLANO COMPLEJO
obtenemos la expresin z +z + (2k) = 0. De todo esto concluimos que, en general, una recta
en el plano complejo se representa por una expresin de la forma
(7) Bz + Bz + C = 0; B C , B = 0, C R
o por una expresin que admita ser llevada a esa forma por manipulacin algebraica. Recpro-
camente, cualquier expresin de la forma (7) representa una recta en el plano complejo.
Observaciones:
Si C = 0, la ecuacin corresponde a una recta que pasa por el origen, ya que (0, 0)
verica la ecuacin. Si C = 0, la recta no pasa por el origen.
Si B y C son tales que se puede obtener una expresin de la forma z + z + D = 0, con
D R, resulta x = D/2 lo que representa una recta vertical.
Veamos ahora cmo obtener una expresin para una circunferencia, en trminos de z y z.
Sabemos que una circunferencia de centro z
0
y radio r puede representarse por la ecuacin
|z z
0
| = r. Trabajando esta expresin, vemos que
(z z
0
) (z z
0
) = r
2
(z z
0
) (z z
0
) = r
2
zz zz
0
z
0
z + z
0
z
0
r
2
= 0
zz + (z
0
) z + (z
0
) z +
_
|z
0
|
2
r
2
_
= 0
Tomando A = 1, B = z
0
y C = |z
0
|
2
r
2
, vemos que una circunferencia en el plano complejo
admite una ecuacin de la forma:
(8) Azz + Bz + Bz + C = 0; A, C R, A = 0, B C
Recprocamente, una ecuacin de la forma Azz+Bz+Bz+C = 0 representa una circunferencia
en el caso en que A y C sean reales, A = 0, y el complejo B satisfaga |B|
2
> AC; en este caso,
el centro de la circunferencia es z
0
=
B
A
y el radio es r =

|B|
2
AC
|A|
.
Observaciones:
Si B = 0, se trata de una circunferencia con centro en el origen.
La circunferencia pasa por el origen si, y slo si, C = 0.
Si B = C = 0, se tiene una circunferencia degenerada (el origen).
Destaquemos que la ecuacin (8) se puede interpretar como una generalizacin de la ecuacin
(7), o que esta ltima corresponde a la (8) con A = 0. Entonces, podemos resumir todo diciendo:
La ecuacin de una recta o una circunferencia en el plano complejo est dada por:
(9) Azz + Bz + Bz + C = 0
con A y C nmeros reales, y Bcomplejo.
Si A = 0 y B = 0, se tiene una recta (que pasa por el origen si y slo si C = 0).
Si A = 0 y |B|
2
> AC, se tiene una circunferencia (que pasa por el origen si y slo si
C = 0).
2. Transformacin de curvas y regiones. Transformaciones conformes
Supongamos que f(z) = u(x, y) + iv(x, y) es una funcin de D C en C (donde u y v son
funciones a valores reales), y que z(t) = x(t) + iy(t) (a t b) es una FCVR cuya imagen
est contenida en D. Se tiene entonces que la composicin (f z)(t) = f(z(t)) = u(x(t), y(t)) +
iv(x(t), y(t)) es tambin una FCVR cuyas partes real e imaginaria son, respectivamente, uz y
vz. Si f es continua en D y z(t) es una curva continua, f z es una curva continua (teor. 3.32).
Ms an, si f es analtica en D con f

(z) = 0 en D, y z(t) es una curva suave, f z es tambin

una curva suave. En efecto, hagamos w(t) = f(z(t)). Siendo f analtica, es continua en D, y,
por lo dicho anteriormente, w(t) es una curva continua. Para ver que es suave, notemos que las
2. TRANSFORMACIN DE CURVAS Y REGIONES. TRANSFORMACIONES CONFORMES 67
derivadas de sus partes real e imaginaria son, por el Teorema de la Derivacin de Funciones
Compuestas,
u

(x(t), y(t)) = u
x
(x, y)x

(t) + u
y
(x, y)y

(t) = u
x
(x, y)x

(t) v
x
(x, y)y

(t)
v

(x(t), y(t)) = v
x
(x, y)x

(t) + v
y
(x, y)y

(t) = v
x
(x, y)x

(t) + u
x
(x, y)y

(t)
donde hemos usado las ecuaciones de Cauchy-Riemann. Siendo u
x
y v
x
continuas por analiti-
cidad de f, as como x

e y

por ser z(t) una curva suave, se tiene que u

y v

son funciones
continuas de t, por lo que w

(t) existe y es continua en todo punto de [a, b]. Para terminar de

ver que es una curva suave, falta ver que es w

(t) = 0 en (a, b):

w

(t) = u

(t) + iv

(t)
= u
x
(x, y)x

(t) v
x
(x, y)y

(t) + i (v
x
(x, y)x

(t) + u
x
(x, y)y

(t))
= u
x
(x, y)x

(t) v
x
(x, y)y

(t) + iv
x
(x, y)x

(t) + iu
x
(x, y)y

(t)
= (u
x
(x, y) + iv
x
(x, y)) (x

(t) + iy

(t))
= f

(z)z

(t)
es decir, w

(t) = f

(z)z

(t) (lo cual, de paso, justica la regla de la cadena para este caso) y
ya que z

(t) = 0 (pues z(t) es curva suave) y f

(z) = 0 por hiptesis asumida, es w

(t) = 0 en
(a, b). Luego, w(t) es una curva suave.
Cmo determinar geomtricamente el transformado de la curva z(t) = x(t) +iy(t) bajo la
funcin f? Consideremos el sistema de dos ecuaciones en u y v con el parmetro t:
u = u(x(t), y(t))
v = v (x(t), y(t))
De ser posible, se procede eliminando t (considerando la restriccin a t b) para obtener
una expresin implcita del tipo F (u, v) = 0, que indica la gura en el plano uv que corres-
ponde al transformado de la curva z(t). Alternativamente, puede convenir ver a la curva como
subconjunto de R
2
, y, de ser posible, expresarla como y = h(x) (con adecuadas restricciones
para x). Dado que u = u(x, y) y v = v (x, y), reemplazando, resulta que, cuando z se mueve
sobre la curva, es
u = u(x, h(x))
v = v (x, h(x))
Aqu tenemos un sistema de dos ecuaciones en u y v con el parmetro x, que, eliminado (sin
perder de vista las restricciones, si las hubiere), producir una expresin de la forma F (u, v) = 0
que indicar cul es el transformado de la curva.
Para representar grcamente transformaciones utilizaremos dos planos: el plano z (con ejes
x e y) para el dominio y el plano w (con ejes u y v) para la imagen, aunque a veces haremos
de cuenta que ambos planos estn superpuestos.
Ejemplo 4.4. Sea la curva
C = {(2 cos t, 2 sen t) : 0 t }
Hallar su transformado C

en el plano w, a travs de la funcin w = f (z) = z +

1
z
.
Solucin: Las funciones reales u y v son:
u(x, y) = x +
x
x
2
+ y
2
v(x, y) = y
y
x
2
+ y
2
y la curva analizada corresponde a z(t) = x(t) + iy(t) con x(t) = 2 cos t, y(t) = 2 sen t y
0 t . Reemplazando en las expresiones de u y v tenemos que, cuando z C, es
u(x(t), y(t)) = 2 cos t +
2 cos t
4 cos
2
t + 4 sen
2
t
=
5
2
cos t
v (x(t), y(t)) = 2 sen t
2 sen t
4 cos
2
t + 4 sen
2
t
=
3
2
sen t
68 4. TRANSFORMACIONES EN EL PLANO COMPLEJO
Dado que 0 t , vemos que
5
2
u
5
2
y 0 v
3
2
. Adems, eliminando el parmetro t
de las ecuaciones para u y v, llegamos a que
u
2
25
4
+
v
2
9
4
= 1
Deducimos entonces que el transformado de la curva C por f es la mitad superior de la elipse
con centro en el origen, semieje horizontal 5/2 y semieje vertical 3/2. La gura 1 muestra los
grcos correspondientes.
-2 -1 1 2
x
0.5
1
1.5
2
y

2
-1 1 5

2
1
3

2
2
v
Figura 1. Transformacin de un semicrculo bajo la funcin w = f(z) = z +
1
z

En algunos casos, la porcin del plano que se transforma puede ser una curva innita
(que, tcnicamente, no corresponde a una curva, segn nuestra denicin). Sin embargo, el
procedimiento para encontrar su transformado es esencialmente el mismo que explicamos an-
teriormente.
Ejemplo 4.5. Consideremos
C = {(x, 0) C : x < 1} {(x, y) C : x
2
+ y
2
= 1 y 0} {(x, 0) C : x > 1}
Hallar su transformado C

en el plano w, a travs de la funcin w = f (z) = z +

1
z
.
Solucin: Para z = x+iy, tenemos w = u+iv = x+iy +
1
x+iy
= x+
x
x
2
+y
2
+i
_
y
y
x
2
+y
2
_
Las funciones reales u y v son:
u = x +
x
x
2
+ y
2
y v = y
y
x
2
+ y
2
Para x < 1: u = x +
1
x
y v = 0. Del grco de la funcin u(x) = x +
1
x
, podemos deducir
que u < 2.
Para 1 x < 1: por ser x
2
+ y
2
= 1, resulta u = 2x y v = 0, de donde obtenemos:
2 u 2.
Para x > 1 : u = x +
1
x
y v = 0. Del grco de la funcin u(x) = x +
1
x
, podemos deducir
que u > 2.
Por lo tanto, el transformado de C es
C

= {(u, v) C : < u < v = 0}

El respectivo grco se muestra en la gura 2.
-5 -4 -3 -2 -1 1 2 3 4 5
x
1
y
-5 -4 -3 -2 -1 1 2 3 4 5
u
1
v
Figura 2.

2. TRANSFORMACIN DE CURVAS Y REGIONES. TRANSFORMACIONES CONFORMES 69

Ahora supongamos que queremos ver en qu se transforma un cierto subconjunto R del
dominio de denicin de una funcin compleja f (x + iy) = u(x, y) + iv (x, y) bajo la accin
de la misma, es decir, f (R). Haremos de cuenta que R, visto como subconjunto de R
2
, puede
ser considerado como la unin innita de curvas elementales (por ejemplo, un disco es una
unin de circunferencias, el interior de un cuadrado es una unin de segmentos, etc.) cada una
de las cuales depende de algn parmetro. La estrategia ser entonces hallar el transformado
de una curva elemental genrica (usando la tcnica vista ms arriba) y ver su imagen, que
depender del parmetro; luego hacer variar el parmetro y ver qu es lo que resulta. Veamos
lo que dijimos a travs de ejemplos.
Ejemplo 4.6. Sea la regin R = {z C : 1 |z| 3, Imz 0}, hallar su transformado
R

en el plano w, a travs de la funcin w = f (z) = z +

1
z
.
Solucin: Vamos a considerar a R como la unin innita de semicircunferencias que depen-
den de un parmetro r, y vamos a hallar el transformado de una semicircunferencia genrica
que tambin depender de r; nalmente haremos variar este parmetro y determinaremos as
la regin R

en el plano w.
Hallamos el transformado C

de la semicircunferencia C = {z = (x, y) C : x
2
+ y
2
=
r
2
, y 0 1 r 3}.
w = f (z) = z +
1
z
=
_
x +
x
x
2
+y
2
_
+
_
y
y
x
2
+y
2
_
i =
_
x +
x
r
2
_
+
_
y
y
r
2
_
i =
_
r
2
+1
r
2
_
x +
_
r
2
1
r
2
_
yi. De aqu deducimos lo siguiente:
u =
_
r
2
+1
r
2
_
x x =
_
r
2
r
2
+1
_
u y v =
_
r
2
1
r
2
_
y, con v 0.
Por ser y =

r
2
x
2
: v =
_
r
2
1
r
2
_
_
r
2

_
r
2
r
2
+1
_
2
u
2
v
2
=
_
r
2
1
r
2
_
2
_
r
2

_
r
2
r
2
+1
_
2
u
2
_
=
(
r
2
1
)
2
r
2

(r
2
1)
2
(r
2
+1)
2
u
2
.
Si r = 1,
u
2
_
r
2
+1
r
_
2
+
v
2
_
r
2
1
r
_
2
= 1 con v 0 y 1 < r 3.
Si r = 1, por ser u =
_
r
2
+1
r
2
_
x y v =
_
r
2
1
r
2
_
_
r
2

_
r
2
r
2
+1
_
2
u
2
, resulta: 2 u 2 y v = 0.
Entonces:
C

= {w = (u, v) C :
u
2
_
r
2
+1
r
_
2
+
v
2
_
r
2
1
r
_
2
= 1, v 0, 1 < r 3} {w = (u, v) C : 2
u 2, v = 0}
En particular, si r = 3:
u
2
_
10
3
_
2
+
v
2
_
8
3
_
2
= 1 con v 0. Luego:
R

=
_
(u, v) C :
u
2
_
10
3
_
2
+
v
2
_
8
3
_
2
1; v 0
_
Vemos la situacin grcamente en la gura 3.
-3 -2 -1 1 2 3
x
y
r
3
C

10

3
-2 -1 1 2 10

3
u
v
8

3
r
C
Figura 3. Transformacin de una regin bajo la funcin w = f(z) = z +
1
z

70 4. TRANSFORMACIONES EN EL PLANO COMPLEJO

Ejemplo 4.7. Hallar el transformado de la regin R= {z C : 1 Re z 3} bajo la
funcin f (z) =
1
4
z
2
+ 1.
Solucin: Vamos a considerar a R como la unin innita de rectas x = t con 1 t 3, y
vamos a hallar el transformado C

de una recta genrica C. Finalmente haremos variar t entre

1 y 3 y determinaremos as, la regin R

en el plano w.
f (z) =
1
4
z
2
+ 1 =
1
4
(x + iy)
2
+ 1 =
1
4
x
2

1
4
y
2
+ 1 +
1
2
xyi, donde u =
1
4
x
2

1
4
y
2
+ 1 y
v =
1
2
xy
Para un t jo, consideramos la recta C={z = (x, y) C : x = t, t [1, 3]}
u =
1
4
t
2

1
4
y
2
+ 1 y
2
= 4u + t
2
+ 4
v =
1
2
ty v
2
=
1
4
t
2
y
2
v
2
=
1
4
t
2
(4u + t
2
+ 4) u =
v
2
t
2
+
_
1
4
t
2
+ 1
_
. Entonces:
C

= {w = (u, v) C : u =
v
2
t
2
+
_
1
4
t
2
+ 1
_
, t [1, 3]}
Si t = 1: u = v
2
+
5
4
, y si t = 3: u =
v
2
9
+
13
4
Luego:
R

=
_
(u, v) C : u + v
2

5
4
u +
v
2
9

13
4
_
En la gura 4 se ve el respectivo esquema grco.
x
-1
-2
-3
1
2
3
y
1
C
t
3 -1 1 5

4
2 313

4
u
-6
-4
-2
2
4
6
v
C
-1 1 5

4
2 313

4
u
-6
-4
-2
2
4
6
v
Figura 4. Transformacin de una regin bajo la funcin w = f(z) =
1
4
z
2
+ 1

2.1. Transformaciones conformes. Supongamos que C

1
es una curva suave con expre-
sin z(t) (a t b), que z
0
= z(t
0
) es un punto de ella, y que f es una funcin denida en un
dominio que contiene a C
1
, analtica en z
0
y con f

(z
0
) = 0. Llamemos C
2
a la imagen de la curva
C
1
por f, con expresin w(t) = f(z(t)) (a t b), y w
0
= w(t
0
). El vector tangente a C
1
en z
0
es z

(t
0
) y tiene argumento
1
= arg z

(t
0
). En la curva C
2
, el vector tangente en w
0
= f(z(t
0
))
es w

(t
0
) y su argumento es
2
= arg w

(t
0
) = arg f

(z
0
) + arg z

(t
0
) pues w

(t
0
) = f

(z
0
)z

(t
0
).
Si llamamos = arg f

(z
0
), resulta
2
=
1
+ . Es decir, el ngulo del vector tangente a la
curva transformada en w
0
es el ngulo del vector tangente a la curva sin transformar en z
0
,
ms la constante real . Supongamos que C

1
es otra curva suave que pasa por z
0
y C

2
es su
transformada por f. Sea

1
el argumento del vector tangente a C

1
en z
0
y

2
el del vector
tangente a C

2
en w
0
. Por un razonamiento anlogo,

2
=

1
+ . Entonces, las dos curvas C

2
y C
2
se intersecan en w
0
formando un ngulo

2

2
= (

1
+ ) (
1
+ ) =

1

1
, vale
decir, el mismo ngulo que forman las curvas C

1
y C
1
al intersecarse en z
0
. En otras palabras, el
ngulo entre las curvas antes y despus de transformarse es el mismo. Las transformaciones que
3. TRANSFORMACIONES POR FUNCIONES ELEMENTALES 71
actan de esta manera (no alterando el ngulo entre curvas que se intersecan) se denominan
transformaciones conformes. Resumiendo:
Proposicin 4.8. Sea f una funcin analtica en un punto z
0
. Si f

(z
0
) = 0, entonces f
es una transformacin conforme en z
0
.
Nos preguntamos por la validez de la proposicin recproca. Para responder, esperaremos
hasta tener herramientas relacionadas con desarrollos en serie de potencias, que veremos en
captulos posteriores.
3. Transformaciones por funciones elementales
En esta seccin, veremos cmo actan funciones analticas ms bien simples, sobre curvas
y regiones del plano complejo.
3.1. Traslaciones. Una traslacin es una transformacin de la forma
f (z) = z + b b C
Cualquier complejo z, bajo la accin de una traslacin, se traslada segn el vector constante b
(recordar la suma de complejos). Resulta entonces que la imagen de cualquier subconjunto de
C es una copia de ese subconjunto, desplazada segn la direccin, sentido y mdulo de b. En
particular, una recta se transforma en una recta, y un crculo en un crculo de igual dimetro.
3.2. Rotaciones con cambio de escala. Una rotacin es una transformacin de la
forma
f (z) = az a C {0}
Hemos excluido el caso a = 0 pues de lo contrario la funcin sera trivial.
Por qu se puede llamar rotacin? Por lo que hemos visto acerca de la multiplicacin
de nmeros complejos: el producto tiene argumento igual a la suma de los argumentos de los
factores. Como a es una constante, cada z del plano, al aplicrsele la funcin, rota un ngulo
igual al argumento de a alrededor del origen. Por otro lado, el mdulo del producto es el
producto de los mdulos; luego, el complejo resultante, az, tendr mdulo |az| = |a| |z|. Por
sto, az estar ms cerca del origen que z si |a| < 1, ms lejos si |a| > 1, y a igual distancia
del origen si |a| = 1. De all la otra parte del nombre, cambio de escala. El cambio de escala
se llama expansin o dilatacin cuando |a| > 1 y contraccin cuando |a| < 1. Si |a| = 1, la
transformacin es isomtrica.
De acuerdo a lo dicho, es claro que una recta se transforma en otra recta y un crculo en
otro crculo (posiblemente de distinto dimetro). Corroboraremos sto analticamente, usando
la ecuacin (9) que representa rectas o circunferencias:
Sea Azz + Bz + Bz + C = 0 la ecuacin de una recta o un crculo (A, C R, B C).
Hagamos w = az, por lo que z = w/a y z = w/a. Reemplazando en la ecuacin de la recta o
el crculo, queda
A
ww
aa
+ B
w
a
+ B
w
a
+ C = 0
A

ww + B

w + B

w + C = 0
donde A

=
A
|a|
2
R, C R y B

=
B
a
C. Es decir, llegamos a la ecuacin de una recta o una
circunferencia en el plano w. Ms an, si partimos de una recta (A = 0) en el plano z, llegamos
a otra recta (A

= 0) en el plano w, y si partimos de una circunferencia (A = 0) llegamos a

otra circunferencia (A

= 0).
72 4. TRANSFORMACIONES EN EL PLANO COMPLEJO
3.3. Transformaciones lineales. Son las transformaciones de la forma
f (z) = az + b a, b C, a = 0
Como puede verse, una transformacin lineal es la composicin de una rotacin y cambio
de escala con una traslacin. De este modo, es fcil analizar el transformado de una gura
cualquiera a travs de una funcin lineal: primero hay que rotarla alrededor del origen un
ngulo igual al argumento de a, luego cambiarle la escala (de acuerdo a |a|), y nalmente
trasladarla segn el vector b. La gura 5 muestra, al centro, un conjunto de origen que, por
distintas transformaciones lineales, genera los otros cuatro dibujos.
2 4 6 8 10
x
2
4
6
8
10
y
Figura 5. Ejemplos de transformaciones lineales
Ya conociendo cmo trabajan las rotaciones con cambio de escala y las traslaciones, de-
ducimos que las transformaciones lineales, como composicin de ambas, transforman rectas en
rectas y circunferencias en circunferencias.
3.4. Inversin. Las transformaciones lineales consisten en semejanzas, que transeren
rectas en rectas y son conformes. El propsito, ahora, es estudiar una transformacin que es no
lineal, conocida como inversin. Inventada por Magnus en 1831, novedosa en un aspecto, pero
conocida en otro, la inversin transforma rectas o circunferencias en rectas o circunferencias, y
es conforme.
La inversin es la transformacin denida por:
w = f (z) =
1
z
Observamos que sta es una funcin uno a uno entre los puntos no nulos del plano complejo.
Dado un punto z = 0, dnde se encuentra el transformado? Usando expresin exponencial,
observamos rpidamente que, haciendo w = 1/z, tenemos que
|w| =
1
|z|
arg w = arg z
por lo que concluimos que (ver gura 6):
El punto w =
1
z
se encuentra en la direccin del conjugado de z, a la distancia
1
|z|
del origen
Es fcil chequear que la inversin es involutiva: f (f (z)) = z. Adems es una transformacin
conforme en todo su dominio.
3.4.1. Circunferencia de inversin. Si z = re
i
, para hallar los puntos jos en la inversin
hacemos:
f (z) =
1
z
= z z
2
= 1 z = 1
O sea que los puntos jos son 1 y 1.
Qu pasa con los puntos que estn sobre la circunferencia unitaria con centro en el origen?
3. TRANSFORMACIONES POR FUNCIONES ELEMENTALES 73
1
Rez
-1
1
Imz
z
z

w
Figura 6.
f
_
e
i
_
=
1
e
i
= e
i
. Obtenemos otro complejo sobre la circunferencia; precisamente, obte-
nemos su conjugado.
De todo lo anterior, podemos concluir que:
Si |z| = 1, su inverso est sobre la circunferencia
Si |z| < 1, su inverso est fuera de la circunferencia
Si |z| > 1, su inverso est dentro de la circunferencia
Por esta razn, la circunferencia unitaria centrada en el origen se llama circunferencia de in-
versin.
Ntese que:
los puntos de la circunferencia de inversin, en general, no son jos, pero
la circunferencia de inversin es invariante por inversin
Las guras 7 y 8 muestran grcas con ejemplos de la accin de la inversin (respectivamente,
a la izquierda aparece el conjunto original, y a la derecha el transformado por inversin). Tngase
en cuenta las escalas de cada dibujo.
2 4 6 8
Rez
2
4
6
8
10
Imz
0.05 0.1 0.15 0.2
Rew
-0.175
-0.15
-0.125
-0.1
-0.075
-0.05
-0.025
Imw
Figura 7. Inversin de un conjunto exterior al crculo unitario
3.4.2. Inversin en el plano ampliado. La inversin establece una correspondencia bi-
yectiva en C {0}. Podemos extender esta correspondencia para incluir al 0, a condicin
de que tambin incorporemos el punto del innito. Formalmente, se dene la transformacin
74 4. TRANSFORMACIONES EN EL PLANO COMPLEJO
2 4 6 8
Rez
-6
-4
-2
2
Imz
0.050.10.150.20.250.3
Rew
-0.2
-0.1
0.1
0.2
0.3
0.4
Imw
Figura 8. Otro ejemplo de inversin
f

: C

mediante:
w = f

(z) =
_

_
1
z
, si z = 0 z =
, si z = 0
0, si z =
Observamos que f

restringida a C {0} es la inversin denida anteriormente. Esta funcin

es continua y biyectiva en el conjunto C

.
3.5. Transformaciones de Mbius. Estudiaremos ahora un tipo de transformaciones
que engloba a las transformaciones lineales y a la inversin previamente estudiadas. Se trata de
las transformaciones bilineales, tambin conocidas como homogrcas o de Mbius. Son
de la forma:
f (z) =
az + b
cz + d
a, b, c, d C, c = 0 d = 0
Observamos que si c = 0 estamos en el caso de una transformacin lineal, mientras que si
a = d = 0 y b = c = 1 es una inversin.
Notemos que si fuese ad bc = 0, tendramos que
f (z) =
az + b
cz + d
=
a
_
z +
b
a
_
c
_
z +
d
c
_ =
a
_
z +
b
a
_
c
_
z +
b
a
_ =
a
c
con lo cual la funcin sera una constante. Para evitar este caso trivial, establecemos el requisito
de que ad bc = 0.
Suponiendo que c = 0, podemos extender estas transformaciones a C

del siguiente modo:

w = f

(z) =
_

_
az + b
cz + d
, si z =
d
c
z =
, si z =
d
c
a
c
, si z =
3.5.1. Propiedades.
1. La composicin de transformaciones de Mbius es una transformacin de Mbius.
Para verlo, sean f
1
(z) =
az + b
cz + d
(con ad bc = 0), y f
2
(z) =
a

z + b

z + d

(con a

= 0).
La composicin resulta:
(f
2
f
1
) (z) = f
2
(f
1
(z)) =
a

_
az+b
cz+d
_
+ b

_
az+b
cz+d
_
+ d

=
a

az + a

b + b

cz + b

d
c

az + c

b + d

cz + d

d
=
(a

a + b

c) z + a

b + b

d
(c

a + d

c) z + c

b + d

d
EJERCICIOS 75
Debe cumplirse que (a

a + b

c) (c

b + d

d) (a

b + b

d) (c

a + d

c) = 0. Veamos que as es:

(a

a + b

c) (c

b + d

d) (a

b + b

d) (c

a + d

c) = a

ad

d + b

cc

b a

bd

c b

dc

a
= ad (a

) bc (a

)
= (ad bc) (a

) = 0,
por ser ad bc = 0 y a

= 0
2. Una transformacin de Mbius con c = 0, puede representarse como la composicin de
una traslacin, una inversin, una rotacin y cambio de escala y una traslacin.
En efecto, si c = 0,
f (z) =
az + b
cz + d
=
a
_
z +
d
c

d
c
_
+ b
c
_
z +
d
c
_ =
a
_
z +
d
c
_

ad
c
+ b
c
_
z +
d
c
_ =
a
c
+
bc ad
c
2
1
_
z +
d
c
_
Esta expresin es la secuencia de las siguientes funciones:
f
1
(z) = z +
d
c
Traslacin
f
2
(z) =
1
z
Inversin
f
3
(z) =
bc ad
c
2
z Rotacin y Cambio de Escala
f
4
(z) = z +
a
c
Traslacin
Por lo tanto, una transformacin de Mbius transforma una recta o circunferencia en una recta
o circunferencia, ya que es composicin de transformaciones que operan de esa manera.
EJERCICIOS
1. Sean f
1
(t) y f
2
(t) funciones complejas de variable real, con a t b para ambas.
Suponga que f

1
y f

2
existen en [a, b]. Mostrar que (f
1
+ f
2
)

(t) = f

1
(t) + f

2
(t) y
(f
1
f
2
)

(t) = f

1
(t)f
2
(t) + f
1
(t)f

2
(t).
2. Considerar las transformaciones f
1
(z) = 2z 1 y f
2
(z) = z
2
.
a) Para cada una de ellas, obtener el transformado de:
1) la recta y = 0, la recta x = 0, la recta y = x y la recta y = x.
2) la recta y = ax con a R {0, 1, 1}.
b) Sean r
1
la recta y = 2x y r
2
la recta y = 3x.
1) Calcular el ngulo que forman r
1
y r
2
en su punto de interseccin.
2) Calcular el ngulo que forman los transformados por f
1
de r
1
y r
2
, en su punto
de interseccin. Compararlo con .
3) Calcular el ngulo que forman los transformados por f
2
de r
1
y r
2
, en su punto
de interseccin. Compararlo con .
3. Escribir una ecuacin de la forma Azz+Bz+Bz+C = 0 para cada una de las siguientes
guras:
a) Recta que pasa por 1 i y 2 i.
b) Recta horizontal que pasa por 2i.
c) Recta vertical que pasa por 1 3i.
d) Crculo que pasa por el origen, con centro 2 + i.
e) Crculo tal que uno de sus dimetros es el segmento que va de 1 i a 2 + 3i.
4. Decidir cules de las siguientes expresiones representan una recta o una circunferencia,
y, en ese caso, gracar el correspondiente conjunto de puntos.
a) izz + (3 i)z + (3 + i)z + 4i = 0
b) izz + (3 i)z + (3 i)z + 4i = 0
76 4. TRANSFORMACIONES EN EL PLANO COMPLEJO
c) (3 i)z + (3 i)z + 4i = 0
d) (3 i)z + (3 i)z + 4 = 0
5. Sea R = {z C : 0 Re z 2 0 Imz 1}. Determinar el transformado de R bajo
las funciones f
1
(z) = z + (1 2i), f
2
(z) =

2e
i

4
z y f
3
=

2e
i

4
z + (1 2i).
6. Dado un tringulo T con vrtices z
1
, z
2
, z
3
, y f(z) = az + b, encontrar el rea de f(T)
en funcin del rea de T. (Sugerencia: el rea de un rectngulo se puede obtener como
la norma del producto vectorial de sus vectores lado.)
7. Encontrar el transformado del rectngulo de vrtices (2, 1), (3, 1), (2, 4) y (3, 4) bajo la
transformacin w = e
z
.
8. Encontrar el transformado de la banda /2 x /2, y 0 bajo la funcin w =
sen z.
9. Sean z
1
, z
2
, w
1
y w
2
nmeros complejos con z
1
= z
2
. Mostrar que existe una nica
transformacin lineal f tal que f(z
1
) = w
1
y f(z
2
) = w
2
.
10. Sea S el permetro del rombo cuyos vrtices son i, 1/2, i y 1/2. Sea T el permetro
del rombo con vrtices en 0, 2 +i, 4 y 2 i. Obtener dos transformaciones lineales
distintas tales que el transformado del rombo S sea T.
11. Para cada una de las siguientes funciones, determinar el conjunto de puntos en los que
determinan una transformacin conforme.
iz + (1 i)
z
2
+ 1
z i
sen
1
z
12. Encontrar todas las transformaciones lineales que tengan a i como punto jo.
13. Mostrar que por medio de la transformacin w = 1/z, el crculo C dado por |z 3| = 5
se transforma en el crculo |w + 3/16| = 5/16. En que regin se transforma el interior
del crculo?
14. Determinar la ecuacin de la curva en el plano w en la cual la lnea recta x + y = 1 se
transforma por:
(a) w = z
2
(b) w = 1/z
15. En la gura 9, al dibujo de la izquierda se le aplic una inversin 1/z. Identicar, en la
gura de la derecha, la imagen de cada trazo que compone la gura de la izquierda.
2 4 6 8
Re
2
4
6
8
10
Im
0.05 0.1 0.15 0.2
Re
-0.175
-0.15
-0.125
-0.1
-0.075
-0.05
-0.025
Im
Figura 9.
Proceder de igual forma para los dibujos mostrados en la gura 10.
16. Hallar los punto jos de la transformacin bilineal w =
2z 5
z + 4
.
17. a) Considerar la transformacin bilineal f(z) = (az +b)/(cz +d) con ad = bc. Sean z
1
,
z
2
, z
3
y z
4
nmeros complejos dos a dos distintos, y sea w
i
= f(z
i
) para 1 i 4.
EJERCICIOS 77
2 4 6 8
Re
-6
-4
-2
2
Im
0.05 0.1 0.15 0.2 0.25 0.3
Re
-0.2
-0.1
0.1
0.2
0.3
0.4
Im
Figura 10.
Mostrar que
(w
1
w
2
)(w
3
w
4
)
(w
1
w
4
)(w
3
w
2
)
=
(z
1
z
2
)(z
3
z
4
)
(z
1
z
4
)(z
3
z
2
)
b) Hallar una transformacin bilineal que aplica los puntos z
1
, z
2
, z
3
(dos a dos distin-
tos) del plano z en los puntos w
1
, w
2
, w
3
del plano w respectivamente. Hallar una
transformacin bilineal que aplica los puntos 0, i, 1 en i, 1, 0 respectivamente.
18. Si z
0
est en el semiplano superior del plano z y
0
es cualquier nmero real, mostrar
que la transformacin bilineal w = e
i
0
_
z z
0
z z
0
_
aplica el semiplano superior del plano
z en el interior del crculo unidad del plano w, es decir, |w| 1.
19. Hallar una transformacin bilineal que aplica el semiplano superior del plano z en el
crculo unidad del plano w de tal manera que z = i se aplica en w = 0, mientras que el
punto en el innito se aplica en w = 1.
20. Un dominio G
1
del plano complejo se dice conformemente equivalente a otro dominio G
2
si existe una biyeccin f : G
1
G
2
que es conforme en G
1
. Demuestre que la relacin
de ser conformemente equivalentes es de equivalencia.