Matemtica D y D1

MATEMTICA D y D1
Mdulo I: Anlisis de Variable Compleja

Unidad 2 Transformaciones

Mag. Mara Ins Baragatti

Transformaciones
Una gran diferencia entre las funciones reales y las complejas reside en su representacin
grfica. En los primeros cursos de anlisis matemtico se suele dedicar mucho tiempo en estudiar
las grficas de las funciones reales y = f(x) y z = f(x,y) , que representan curvas de R2 y
superficies de R3 respectivamente. Esto es imposible para las funciones complejas de variable
compleja, puesto que el grfico habra que situarlo en un espacio de cuatro dimensiones reales.

Sin embargo es posible, interesante y til dar una representacin geomtrica de las funciones
complejas de variable compleja como aplicaciones de un plano (plano z con variables x,y) en otro
plano (plano w con variables u, v)
En general las funciones w = f(z) transforman un recinto A del plano complejo z en un recinto B
del plano complejo w , por ello se dice que representan una transformacin geomtrica de un
subconjunto de C en otro subconjunto de C.

y w=f(z) v
A B=f(A)
x u
Plano z Plano w

Antes de hacer un estudio detallado de las transformaciones ms importantes, definiremos la

composicin de transformaciones y el concepto de punto fijo de una transformacin.

1
Mdulo I- Unidad 2
 Matemtica D y D1

Composicin de transformaciones
Si w = f(z) transforma un recinto A1 en otro B1 , y w = g(z) transforma B1 en otro recinto C1
entonces la funcin w = g(f(z)) , a la que se denomina (como en la variable real) composicin de
las transformaciones f y g , transforma el recinto A1 en el recinto C1.

y w* =f(z) v* w =g(w*) v
B1 C1
A1
x u* u
Plano z Plano w* Plano w

w =g(f(z))

Ejemplos:
1- Dadas las funciones f(z) = 3z + i , g(z) = z2 , podemos componerlas de las dos maneras que
se indican a continuacin:

g(f(z)) = g(3z + i) = (3z + i)2 = 9z2 +6iz 1 , f(g(z)) = f(z2) = 3z2 + i

como los resultados son distintos, podemos asegurar que la composicin, en general, no es
conmutativa.

2- Dadas las funciones f(z) = ez - 1, de dominio C, y g(z) = Ln z, de dominio C {0},

su composicin es :

i , k = 0, 1, 2 } pues e2ki 1 = 0
g(f(z)) = g(ez - 1) =Ln (ez - 1) , cuyo dominio es C {2k
y Ln 0 no existe

f(g(z)) =f(Ln z) = eLn z - 1 = z - 1 , cuyo dominio es C {0} pues Ln 0 no existe y eLn z = z

Puntos fijos de una transformacin

Si la imagen de un complejo z0 por una funcin w = f(z) verifica que f(z0) = z0 , se dice que z0 es
un punto fijo de la transformacin f.

Ejemplos:
1- Para hallar los puntos fijos de la transformacin f1(z) = (1 - 2i) z 4 , se plantea f1(z0) = z0,
obteniendo en este caso la ecuacin (1 - 2i) z0 - 4 = z0 , cuya solucin es z0 = - 2/ i = 2i .
El clculo f1(2i) = (1 - 2i) 2i 4 = 2i + 4 4 = 2i nos verifica que z0 = 2i es punto fijo de f1 .
2
Mdulo I- Unidad 2
 Matemtica D y D1

2- Para hallar los puntos fijos de la transformacin f2(z) = 1/ z, se plantea f2(z0) = z0 , obteniendo
en este caso la ecuacin 1/ z0 = z0 , cuyas soluciones son z0 = 1 ; por lo tanto f2 tiene dos
puntos fijos, el 1 y el 1.

3- Es interesante observar que la funcin identidad f(z) = id(z) = z tiene todos los complejos
como puntos fijos.

1- Transformacin lineal: w = Az + B
Para analizar la transformacin w =Az + B , donde A y B son nmeros complejos no nulos, es
conveniente considerar primero las funciones f(z) = A z y g(z) = z + B pues su composicin
resulta g(f(z)) =g(Az) = Az + B = w. Por ello analizamos a continuacin estas dos
transformaciones por separado.

0
a) Transformacin w = A z , A
Dada la funcin w = f(z) = A z, resulta evidente que f(0) = 0, por ello 0 es un punto fijo.

Si z 0 y A es un complejo de mdulo a y argumento , es decir A = a ei , entonces el

mdulo y el argumento de su imagen w verifican:

|w|=|A z|=|A||z|=a|z| |w|=a|z|

arg(w) = arg(A z) = arg(A) + arg(z) = + arg(z) arg(w) = + arg(z)

Por lo tanto la transformacin w = A z consiste en una rotacin con centro en el origen dada por
el ngulo = arg(A) y su mdulo depende del mdulo de A:
si | A | = a = 1, el complejo w tiene igual mdulo que z y decimos que conserva las distancias.
ai a > 1, el complejo w tiene mdulo mayor que z y decimos que hay una dilatacin,
si a < 1, el complejo w tiene mdulo menor que z y decimos que hay una reduccin,

w = ar ei ( + )
y z=r ei w = Az v
+
B
x u

Plano z Plano w

Ejemplos:

3
Mdulo I- Unidad 2
 Matemtica D y D1

1- La imagen de un complejo z de mdulo 3 y argumento /6 por la transformacin w = (1- i) z,

donde A = 1- i tiene argumento - /4 y mdulo 2 , es un complejo w cuyo mdulo es 3 2
y cuyo argumento es /6 + (-/4) = - /12
2- La imagen de la franja infinita definida por {(x,y) / x < y < x + 1} por la transformacin
w = 2iz , donde A = 2i tiene argumento /2 y mdulo 2 , es tambin una franja infinita que
se obtiene rotando, cada complejo de dicha franja, /2 radianes con respecto al origen y
multiplicando su mdulo por 2. Es interesante observar que la distancia entre las dos rectas
que limitan la franja dada es 2 , por lo tanto la distancia entre las dos rectas de la franja
imagen es 2 2 = 2,82..

v
y
/4 w = 2iz /4
3

x u

Plano z Plano w

Si se desea hallar las ecuaciones de las rectas que limitan la franja imagen puede trabajarse la
transformacin en forma binmica como se muestra a continuacin:

w wi (u + iv )i v u x = v / 2
w = 2iz z = = x + iy = = i
2i 2 2 2 2 y = u / 2

u v
Por lo tanto la imagen de la recta y = x es = o su equivalente v = -u
2 2
u v
y la imagen de la recta y = x + 1 es = +1 o su equivalente v = - u - 2
2 2

b) Traslacin: w = z + B
Dado que la funcin w = z + B es una suma de complejos, no conviene analizarla buscando su
argumento y su mdulo, como en el caso anterior, sino buscando su parte real e imaginaria:
Re(w) = Re(z) + Re(B)
Im(w) = Im(z) + Im(B)

Si B = b1 +i b2 , el complejo w verifica:

Re(w) = Re(z) + b1

4
Mdulo I- Unidad 2
 Matemtica D y D1

Im(w) = Im(z) + b2

Por lo tanto la transformacin w = z + B consiste en una traslacin de b1 unidades en direccin al

eje real y b2 unidades en direccin al eje imaginario, o una traslacin igual a B.

y v w=z+B
z z
w=z+B
B
B B
x u
Plano z Plano w

Ejemplos:
1- La imagen del complejo z = 3 4i por la transformacin w = z 5 + 2i , es el complejo
w = (3 5) + i (-4 + 2) = -2 2 i
2- Para encontrar la imagen del ngulo y x - 1 , x 1 por la transformacin w = z 2 + i
debemos trasladar cada complejo 2 unidades hacia la izquierda y 1 unidad hacia arriba.

v
y
(-1, )
w=z-2+i

x u

(1,- )

Si queremos hallar su imagen analticamente procedemos de la siguiente manera:

Despejamos z de la expresin w = z 2 + i , obteniendo z = w + 2 i .
Si consideramos z = x + i y y w = u + i v entonces reemplazando en la ltima expresin
obtenemos:
x = u + 2
x + i y = u + i v + 2 - i = (u + 2) + i ( v - 1) , de donde
y = v 1
Por lo tanto:
Si y x - 1 v 1 (u + 2) - 1 v u + 1
Si x1 u+21 u -1

5
Mdulo I- Unidad 2
 Matemtica D y D1

Es importante observar que la imagen obtenida analticamente coincide con la obtenida

grficamente al comienzo del ejercicio.

c) Rototraslacin: w = Az + B
Si consideramos las funciones:
z* = f1(z) = Az, que representa una rotacin, y
w = f2(z*)= z* + B , que representa una traslacin,
y hallamos la composicin entre ambas obtenemos:
w = f2(f1(z))= f2(Az)= Az + B

La transformacin w = Az + B se denomina tambin transformacin lineal y podemos

afirmar, en base al anlisis anterior, representa una rototraslacin pues consiste en una
rotacin dada por arg(A) y una dilatacin o contraccin dada por | A | seguida de una
traslacin igual a B.

En particular: La imagen de una recta del plano z por una transformacin lineal es una recta del
plano w, la imagen de una circunferencia del plano z por una transformacin lineal es una
circunferencia del plano w, etc.

Ejemplos:

1- Si queremos hallar la imagen del crculo R: | z i | 2 por la transformacin

w = (2 i) z - 3i , sabemos que su imagen ser un nuevo crculo que se obtiene rotando
(respecto del origen) cada punto de R un ngulo Arg( 2 i) = arctg (-1/2) , magnificando la
distancias | 2 i | = 5 y por ltimo trasladando cada punto 3 unidades hacia abajo.

Si interesa saber exactamente cul es la imagen de R, se despeja z de la transformacin dada,

w + 3i
que en este caso resulta ser z = , y reemplazando este valor en la definicin del
2i
conjunto R, se obtiene:
w + 3i w + 3i i ( 2 i ) w + i 1
i 2 2 2 | w 1 + i | 2 5
2i 2i 2i

por lo tanto la imagen del crculo R es un crculo centrado en (1,-1) de radio 2 5 .

2- Hallar una funcin lineal que transforme el tringulo rectngulo limitado por las rectas
y = - 2x -1, y = x -1, y = - x + 2 en otro tringulo idntico pero con el cateto menor
apoyado en el eje horizontal positivo y el cateto mayor contenido en el eje vertical positivo.

6
Mdulo I- Unidad 2
 Matemtica D y D1

v
y
w = f(z) = ?

x u que el
Teniendo en cuenta el grfico anterior , comenzamos trasladando el tringulo de modo
ngulo recto tenga su vrtice en el origen, es decir subimos el tringulo una unidad, para ello
aplicamos w* = f1(z) = z + i . En el plano w* las pendientes de las rectas que limitan el nuevo
tringulo son iguales a las de las rectas dadas: - 2, , -1.

y v*
w* = f1(z) = z +i

x u*

Plano z Plano w*

Si es el ngulo de inclinacin de la recta que tiene pendiente , sabemos que tg = .

Si efectuamos una rotacin en sentido de las agujas del reloj de amplitud , es decir si
consideramos un complejo de argumento - , la transformacin w = e-i w* rotar todo el
tringulo y lo llevar a la posicin que nos interesa.

Si tg = , cul es el complejo e-i = cos - i sen ? Se deja como ejercicio verificar que
2i
e i = .
5
2i
Por lo tanto la rotacin que debe realizarse est dada por la funcin w = f2(w*) = w*
5
Haciendo la composicin entre f1 y f2 podemos asegurar que la transformacin pedida es
2i 2i 1 2
w = f2(f1(z)) = f2(z + i) = ( z + i ) = z + +i , que como se observa es una
5 5 5 5
rototraslacin.

v
y v*
w* = f1(z) = z +i w = f2(z) = (2 -i) w*/ 5

x u* u

Plano z Plano w* Plano w

2i 1 2
w = z + +i 7
5 5 5
Mdulo I- Unidad 2
 Matemtica D y D1

Ejercicios

1- Dada la transformacin w = (1 i) z + 2i , hallar y graficar la imagen de:

a) la recta de ecuacin y = x + 2 b) el semiplano x 1

c) la circunferencia | z - i |= 2 d) el tringulo de vrtices i , -1 + i , -1

2- Hallar una transformacin lineal que:

a) enve el punto z1 = -i en w1 = 1 y z2 = 1 + 2i en w2 = -2i

b) enve el punto z0 = 3 ei/3 en w0 = 2 e-i/6 y tenga a z1 = -i como punto fijo
c) enve la circunferencia | z 2i| = 3 en la circunferencia | w + 1 | = 5

3- Dada f(z) = Az + B , demostrar que:

a) Si z0 es punto fijo de f(z) entonces f(z) puede escribirse como f(z) = A (z - z0) + z0 , por lo
tanto f(z) representa una rotacin alrededor del punto fijo z0
b) |f(z1) f(z2)| = | A | | z1 z2| , por lo tanto si d es la distancia entre dos puntos del plano z, la
distancia entre sus imgenes resulta ser el producto | A | . d

1
2. Inversin: w =
z

La transformacin w = 1/z se denomina inversin y establece una correspondencia punto a

punto entre puntos del plano z y puntos del plano w, excepto para z = 0, que no tiene imagen y
w = 0, que no es imagen de ningn complejo del plano z.

Si z 0 , podemos calcular su mdulo y su argumento:

|w|=1/|z|
arg(w) = arg(1/z) = arg(1) - arg(z) = - arg(z)

Esto nos permite decir que, si z tiene mdulo 3 y argumento /4 , su imagen tiene mdulo 1/3 y
argumento - /4

Ejemplos:

8
Mdulo I- Unidad 2
 Matemtica D y D1

1- Hallar y graficar la imagen del crculo abierto | z 2 | < 2 por w = 1/z

Si w = 1/z entonces z = 1/w y para hallar la imagen de | z 2 | < 2 reemplazamos z en funcin

1 1 2w 1 2w
de w del siguiente modo: 2 <2 <2 < 2 1 2w < 2 w
w w w
|1 2u i 2v|2 < 4 |u + iv|2 (1 2u)2 + 4 v2 < 4 (u2 + v2) 1 4u < 0 u >
Por lo tanto la imagen del crculo abierto es un semiplano como se muestra en el siguiente
dibujo:

y v
w = 1/z

x 1/4 u

2- Hallar e identificar la imagen de la recta 2 x - y = 1 por w = i/z

En este ejercicio, en el que el dato es una ecuacin en variables x e y , es conveniente trabajar los
complejos en la forma binmica como se muestra a continuacin:

i i i(u - iv) v + iu v u
w= z= z= 2 = 2 x= 2 , y=
z w u +v 2
u +v 2
u + v2 u + v2
2

2v u
entonces la imagen de la recta 2 x - y = 1 es 2 =1 .
u +v
2 2
u + v2

Si se considera la ecuacin equivalente 2v u = u2 + v2 y se completan cuadrados, se obtiene

(u + )2 + (v 1)2 = 5/4 que representa una circunferencia con centro en el punto (- , 1) y
radio 5 2

Actividad 1:

a) Justificar que la transformacin w = i/z puede pensarse como la composicin de una inversin
w* = f1(z) = 1/z y una rotacin f2 (w*) = i w* .
b) Se deja como ejercicio verificar, utilizando la composicin mencionada en a), que la imagen
de la recta 2x - y = 1 es la circunferencia indicada en el ejemplo anterior. Cul de los dos
mtodos es ms sencillo?

Teorema
9
Mdulo I- Unidad 2
 Matemtica D y D1

a) La imagen de una circunferencia por la transformacin w = 1/z es una circunferencia o una

recta.
b) La imagen de una recta por la transformacin w = 1/z es una circunferencia o una recta.

Demostracin:

Queremos hallar la imagen por w = 1/z de una circunferencia cualquiera del plano z , para ello
consideremos la ecuacin

Ax2 + A y2 + B x + C y + D = 0 (1)
que representa una circunferencia si A 0 y representa una recta si A = 0

Para hallar su imagen debemos tratar de expresar x e y en funcin de u y v y por lo tanto es

conveniente considerar la transformacin inversa z = 1/w y operar como se muestra a
continuacin:

1 1 1 (u - iv) u - iv u v
w= z= x + iy = = = 2 x= 2 , y=
z w u + iv (u - iv)(u - iv) u + v 2
u + v2 u + v2
2

Reemplazando los valores de x e y en la ecuacin (1) obtenemos:

2 2
u v u v
A 2 + A 2 +B 2 C 2 +D=0
u + v u + v u +v u + v2
2 2 2

esta ya es la imagen que buscamos pero observando con cuidado vemos que en algunos trminos
aparecen las variables u y v elevadas a la potencia cuarta y por lo tanto es difcil reconocer qu
curva es.

Si sacamos A factor comn entre los dos primeros trminos la expresin anterior toma la forma:

u2 + v2 u v
A +B C 2 +D=0
(u 2
+v )
2 2 u +v
2 2
u + v2

entonces podemos simplificar en el primer trmino y perder de ese modo las potencias cuartas
quedando
1 u v
A 2 +B 2 C 2 +D=0
u +v 2
u +v 2
u + v2

multiplicado toda la expresin por u2 + v2 ,obtenemos la imagen que buscbamos:

A + B u - C v + D u2 + D v2 = 0 (2)

10
Mdulo I- Unidad 2
 Matemtica D y D1

Para completar la demostracin requerida te proponemos la siguiente actividad :

Actividad 2:

Completar el siguiente cuadro teniendo en cuenta que (2) es la imagen de (1) por w = 1/z y
concluir que las afirmaciones a ) y b) del teorema son correctas.
si La ecuacin (1) representa: La ecuacin (2) representa:
A0
una circunferencia que no pasa por el origen una circunferencia que no pasa por el origen
D0
A0
D=0
A=0
D0
A=0
una recta que pasa por el origen
D=0

Ejercicios

4- Dada la transformacin w = 1/z , hallar y graficar la imagen de:

a) el segundo cuadrante b) la circunferencia | z + 1 |= 2

c) el cuadrado limitado por las rectas | y | + | x | =1 d) el conjunto {(x,y) / x y 2x }

5- Demostrar que la imagen del semiplano y > k , con k > 0, por w = 1/z es el interior de una
circunferencia . Cul es la imagen si k es cero o negativo?.

6- Justificar que w = 1/(z z0) transforma a las rectas y a las circunferencias del plano z que
pasan por z0 en rectas del plano w.

7- Hallar la imagen del conjunto {z / | z i | < 1 , |z + 1| > 1} por w = i / z

az + b
3. Transformacin lineal fraccionaria: w =
cz + d

Si a, b, c y d son nmeros complejos que verifican a.d b.c 0 , se denomina

az + b
transformacin lineal fraccionaria (TLF) a w = f ( z ) = .
cz + d

Luego de esta definicin surgen algunas preguntas , que presentamos en la siguiente actividad.

Actividad 3:

11
Mdulo I- Unidad 2
 Matemtica D y D1

az + b
Dada w = f ( z ) = , justificar los siguientes tems y responder teniendo en cuenta las
cz + d
indicaciones que se dan en cada caso:
1- Si c = 0 comprobar que la transformacin representa una rototraslacin.
Como ya se ha discutido el comportamiento de esta ltima, vamos a suponer que c 0

2- Porqu se exige en la definicin de esta transformacin que a.d b.c 0 ?

Para responder es conveniente hacer la divisin entre el numerador y el denominador, ya que por ser
polinomios del mismo grado la divisin es posible

az+b cz + d Comprobar que si ad bc = 0 , entonces el resto de la divisin

---
a/c vale cero y f(z) = a/c (constante) , por lo tanto cualquier conjunto
a z + ad/c del plano z se transforma en el complejo a/c y carece de inters.
b - ad/c

3- Si a.d b.c 0 y llamamos M al resto de la divisin anterior y llamamos N al cociente a/c,

justificar que la transformacin lineal fraccionaria puede escribirse como:
az + b M
f (z ) = =N+
cz + d cz + d
M
4- Teniendo en cuenta que f (z ) = N + , donde M y N son constantes complejas, y
cz + d
considerando las funciones f1(z) = cz + d , f2(z) = 1/z , f3(z) = N + Mz que representan,
respectivamente, una transformacin lineal, una inversin y otra transformacin lineal, justificar
que la transformacin lineal fraccionaria es una composicin de estas transformaciones, es decir
calcular f3( f2( f1(z))) y comprobar que su resultado es igual a f(z).

Ejemplos:
z
1- Dada w = , hallar la imagen de a) la circunferencia |z| = 1 , b) el semiplano y 2x
zi

z iw
a) Como w = w (z i) = z wz - z = iw z (w - 1) = iw z =
zi w 1

iw
La imagen de |z | = 1 es = 1 | i | | w | = |w - 1| 1. |u + i v| = |(u 1) + i v|
w 1
u2 + v2 = (u 1)2 + v2 u2 + v2 = u2 2u + 1 + v2 u=
Por lo tanto la imagen de la circunferencia | z | = 1 es la recta de ecuacin u =

12
Mdulo I- Unidad 2
 Matemtica D y D1

b) Para hallar la imagen del semiplano y 2x , tenemos que expresar x e y como funciones
iw i(u + iv )
de u y v , por ello consideramos z = x + iy = multiplicando por el
w 1 u + iv 1
conjugado del denominador e igualando las partes reales e imaginarias se obtiene:
v u2 + v2 u
x= , y = ,
(u 1) 2 + v 2 (u 1) 2 + v 2
u2 + v2 u 2v
por lo tanto la imagen del semiplano y 2x es
(u 1) + v
2 2
(u 1) 2 + v 2
o su equivalente u2 + v2 u 2v 0 y completando cuadrados se obtiene
(u )2 + (v 1)2 5/4 que representa el exterior del crculo de centro ( ,1) y radio 5 / 2

Actividad 4:

az + b
Dada f ( z ) = , con a.d b.c 0
cz + d
1- Hallar los puntos fijos de f(z) y decir cuntos puntos fijos puede tener.
2- Si nos dicen que la TLF f(z) tiene tres puntos fijos, es decir existen tres puntos tal que
f(z1) =z1 , f(z2) =z2 y f(z3) =z3 , justificar que a = d , b = c = 0 y por lo tanto f(z) = z

a1z + b1
3- Justificar que la composicin de dos TLF es una TLF. Considerar f 1 ( z ) = y
c1z + d1
a2z + b2
f 2 (z ) = , componerlas y observar su formato.
c2z + d2

4- Justificar que " toda TLF transforma las rectas en rectas o circunferencias y transforma las
circunferencias en rectas o circunferencias". (Tener en cuenta que ya se ha visto en la
actividad 3, punto 4, que una TLF es composicin de transformaciones ya estudiadas).
d az + b dw + b
5- Si z , justificar que la transformacin w = admite como inversa a z = ,
c cz + d cw a
a
para w . (para hallar la inversa, simplemente hay que despejar z en funcin de w) . Por
c
ello podemos afirmar que la transformacin lineal fraccionaria con dominio C {d / c} y
codominio C {a / c} es biunvoca.

13
Mdulo I- Unidad 2
 Matemtica D y D1

Incorporacin del infinito

Si se quieren incorporar los complejos d/c y a/c al dominio y codominio respectivamente de la

az + b
transformacin w = podemos incorporar un nuevo elemento al que denominamos
cz + d
infinito, y lo simbolizamos , definiendo la funcin f del siguiente modo:

C { } f C { }
d/c f
f a/c
z 0 -d/c f (az 0 + b)/(cz 0 + d ) a / c

Razn doble

Si z1 , z2 y z3 son tres puntos distintos del plano z y w1 , w2 y w3 son tres puntos distintos del
plano w, entonces existe una nica TLF w = f(z) tal que f(z1) = w1 , f(z2) = w2 y f(z3) = w3 .
Adems dicha transformacin puede obtenerse despejando w de la frmula
(z - z 1 )(z 2 - z 3 ) = (w - w 1 )(w 2 - w 3 ) , a la que se denomina razn doble.
(z - z 3 )(z 2 - z 1 ) (w - w 3 )(w 2 - w 1 )

y z1 v
z2 w1
w2
z3 x u
w3

La justificacin de la frmula de razn doble la proponemos, con ciertas ayudas en la actividad

siguiente.

Actividad 5:

az + b
Sea w = f ( z ) = tal que f(z1) = w1 , f(z2) = w2 y f(z3) = w3
cz + d
(ad bc)( z z 1 )
a) Comprobar que f(z) - f(z1) =
(cz + d )(cz 1 + d )

b) Teniendo en cuenta el resultado de a) ,indicar el resultado de las siguientes diferencias

f(z2) - f(z3) , f(z) - f(z3) y f(z2) - f(z1)

14
Mdulo I- Unidad 2
 Matemtica D y D1

c) Comprobar que
(f(z) - f(z 1 ))(f(z 2 ) - f(z 3 )) = (z - z 1 )(z 2 - z 3 ) y por lo tanto w = f(z) verifica
(f(z) - f(z 3 ))(f(z 2 ) - f(z 1 )) (z - z 3 )(z 2 - z 1 )
la razn doble indicada en el enunciado
d) Para demostrar que es nica suponer que hay otra TLF w = g(z) tal que g(z1) = w1 ,
g(z2) = w2 y g(z3) = w3 , considerar la transformacin h(z) = g-1(f(z)) y justificar que:
d1) h(z) es una TLF
d2) z1 , z2 y z3 son tres puntos fijos de h(z) , es decir h(z1) = z1 , h(z2) = z2 y h(z3) = z3

Conclusin: Como h(z) es una TLF que tiene tres puntos fijos entonces h(z) = z (porqu?) , de
donde g-1(f(z)) = z y por lo tanto f(z) = g(z) (porqu?).
Se supuso que haba otra TLF y se demostr que coincide con la f(z) , por lo tanto existe una
nica TLF que enva tres puntos distintos del plano z en tres puntos distintos del plano w y dicha
TLF se halla planteando la razn doble y despejando w.

Ejemplos
1- Hallar una TLF w = f(z) que enve los puntos z1= 0, z2= 2i , z3= 1 del plano z en los puntos
w1= -1, w2= 1 - 2i , w3= 0 respectivamente

Reemplazamos los valores dados en la razn doble, en este caso tenemos:

(z - 0)(2i - 1) = (w + 1)(1 - 2i - 0) y despejando w (hacer el despeje) se obtiene w =

z 1
(z - 1)(2i - 0) (w - 0)(1 - 2i + 1) iz + 1

2- Hallar una TLF w = f(z) que enve los puntos z1= 1, z2= i , z3= -1 del plano z en los puntos
w1= 0, z2= i , z3= respectivamente

Se puede utilizar la razn doble, como no se sabe operar con infinito, se toma z3= 1/z* y
luego se toma el lmite para z* tendiendo a cero:

(w - 0) i - 1
(w - 0) iz * -1 (z - 1)(- 1 + i ) = w (iz * -1)
(z - 1)(i + 1) = z* (z - 1)(i + 1)i = z*
(z + 1)(i - 1) w - 1 (z + 1)(i - 1) wz * -1 (z + 1) (i - 1) (wz * -1)
(i - 0 )
z* z*
si z* 0 entonces esta ltima expresin se convierte en
(z - 1) =
w (-1)
, y despejando w
(z + 1) (-1)
z 1
encontramos: w = que verifica , como es sencillo comprobar, las condiciones pedidas.
z +1

3- Hallar una TLF w = f(z) que enve la circunferencia | z | =1 en la recta u = 0

15
Mdulo I- Unidad 2
 Matemtica D y D1

Recordando que las TLF transforman las circunferencias en circunferencias o rectas, y

recordando que por tres puntos no alineados pasa una nica circunferencia, alcanza con elegir
tres puntos de | z | = 1 , por ejemplo los puntos z1= 1, z2= i , z3= -1, y elegir en el plano w
tres puntos de la recta u = 0, por ejemplo w1= 0, z2= i , z3= , y se busca una TLF w = f(z)
de modo que f(zk) = wk para k = 1,2,3 , como esa transformacin fue hallada en el ejemplo
z 1
anterior, podemos asegurar que w = es una transformacin que realiza lo que se ha
z +1
pedido.

y z2 = i z3=
z 1
z3 = -1 w= v
z+1
w2 = i

xx
ux
z1 = 1
w1 = 0

Observacin:

Es sencillo verificar que los puntos del crculo | z | 1 se transforman en los puntos del
semiplano u 0 .
Al elegir los puntos z1 , z2 y z3 de la circunferencia | z | =1 , le hemos asignado una orientacin
antihoraria; al elegir los puntos w1 , w2 y w3 se la recta u = 0, le hemos asignado una orientacin
de abajo hacia arriba Puede afirmarse que la imagen de los puntos que estn a la izquierda de
circunferencia |z | = 1 se transforman en puntos que estn a la izquierda de la recta u = 0 y puntos
que estn a la derecha de la circunferencia se transforman en puntos que estn a la derecha de la
recta u = 0.
v
y
z 1
w=
z+1

x
x u
x

Ejercicios

z 2i
8- Hallar por w = la imagen de:
z+3

a) el segmento de extremos z0 = 3 ei y z1= 2 ei/2 b) la recta y = 2x -6

c) el sector circular |z 3| 4 , |Arg z | /3 d) semiplano x > 1

16
Mdulo I- Unidad 2
 Matemtica D y D1

9- Hallar una transformacin lineal fraccionaria tal que:

a) z1 = 2i y z2 = 3 i sean puntos fijos

b) enve la terna (1, i, -2) en la terna (0,-1, )
c) enve el semiplano x 0 en el crculo | w | 1
d) enve el crculo | z i | 2 en el semiplano Re(w) Im(w)

z+2 zi
10- Dadas las transformaciones T1 ( z ) = , T2 ( z ) =
z 2i z 1
a) Si la imagen de la circunferencia | z 3 i k | = k por la transformacin T1(z) es una recta ,
qu posibles valores puede tomar la constante k ?
b) Hallar la transformacin w =T2(T1(z)) , justificar que es una rotacin y describirla.

i z - 2i
11- Hallar la imagen de los complejos que verifican | z 2 | = | z + i | por T( z ) =
z+i
y graficar el conjunto y su imagen.

4
12- Hallar la imagen del conjunto A= { z / | z - i | 1 y | z | 2 } por w =
z 2i

4. Transformacin potencia: w = zn , n N

Dados z = r ei y w = ei , entonces la transformacin w = zn toma la forma

= r n
ei = rn ein
= n

Ejemplos:
1- Hallar la imagen del segundo cuadrante por w = z2

= r 2
Si w = z2
= 2
Como los puntos del segundo cuadrante verifican /2 , r 0 2 2
, r2 0
2
, 0 , por lo tanto la imagen del segundo cuadrante es el semiplano inferior v 0

y
w=z2 v

x u
x x

17
Mdulo I- Unidad 2
 Matemtica D y D1

2- Hallar una transformacin que enve | Arg(z) | /4 , | z | 2 en el semiplano u 0

y
v
W=T(z)=?
2 x u
La transformacin buscada es la composicin de las transformaciones que se indican a
continuacin y que ya fueron estudiadas con anterioridad:

y
v
W=T(z)=?
2 x u

T1(z) = z4 w ** 1
T3 ( w * *) =
w ** + 1
y* y**
T2(w*) =w*/16

16 x* 1 x**

z4
1
4 4 16 z 4 16
Por lo tanto: w = T(z) =T3(T2(T1(z)))= T3(T2(z )) = T3(z /16) = 4 = 4
z z + 16
+1
16

Ejercicios
13- Hallar mediante las transformaciones T1(z) = z2 , T2(z) = z3 y T3(z) = z4 la imagen de:

a) la semirecta y = x , y 0 b) el cuadrante x > 0, y < 0

c) el ngulo 0 Arg(z) /6 d) el sector circular | Arg(z)| /6 , | z | 2

14- Indicar grficamente las transformaciones sucesivas que sufre el sector //4 Arg(z) 3
/4
2
por la aplicacin de w = i z + 1 i

18
Mdulo I- Unidad 2
 Matemtica D y D1

15- Hallar la imagen del tringulo de vrtices z1 = -2 2 i , z2 = -2 + 2i , z3 = 0 por w = i z2

16- Hallar una transformacin que enve el conjunto A = {z / |z 2i| 1 , Im(z) 2} en el

conjunto B = { w / | w + 1 | 1}

5. Transformaciones trigonomtricas e hiperblicas

A modo de ejemplo se va a analizar con cierto detalle la transformacin w = sen z, las

transformaciones w = cos z , w = sh z y w = ch z son anlogas y proponen como un ejercicio al
final de esta seccin.

u = sen x ch y
Si w = sen z u + iv = sen (x + iy) = sen x chy + i cos x shy
v = cos x sh y

Ejemplos:
1- Hallar, por w = sen z la imagen de los segmentos :

a) L1 : x = 0 , -1 y 1 b) L2 : y = 0 , /2 x
c) L3 : x = /2 , -1 y 2 d) L4 : y = 1 , /4 x 5
/4
e) L5 : x = /4 , -2 y 1

u = sen 0 ch y u = 0
a) Si z L 1 : x = 0 , -1 y 1 y w = sen z
v = cos 0 sh y v = sh y

Como sh y es estrictamente creciente sabemos que:

si -1 y 1 sh(-1) sh y sh 1 - sh1 v sh 1

u = 0
Por lo tanto la imagen de L1 son los complejos w = u + iv que verifican:
sh 1 v sh 1
v
y
sh1
1 w=sen z

-1 x u
-sh 1

u = sen x ch 0 u = senx
b) Si z L 2 : y = 0 , /2 x y w = sen z
v = cos x sh 0 v = 0

19
Mdulo I- Unidad 2
 Matemtica D y D1

Como sen x es estrictamente decreciente si /2 x , sabemos que:

si /2 x sen /2 sen x sen 1 u 0

0 u 1
Por lo tanto la imagen de L2 son los complejos w = u + iv que verifican:
v = 0
v
y
w=sen z
x
u = sen( / 2) ch y u = ch y
c) Si z L 3 : x = /2 , -1 y 2 y w = sen z
/2 v = cos( /2) sh y
0 1 u
v = 0

Como ch y decrece si -1 y 0 y crece si 0 y 2 , para encontrar su variacin buscamos su

mximo y su mnimo absoluto en el intervalo cerrado [-1, 2] , que se producen en y = 2 y en y = 0
respectivamente ch 0 ch y ch 2 1 u ch 2

1 u ch 2
Por lo tanto la imagen de L3 son los complejos w = u + iv que verifican:
y v = 0
2 v
w=sen z
/2 x
-1 1 ch2 u

u
u = senx ch 1 = senx
d) Si z L4 : y = 1 , /4 x 5
/4 y w = sen z ch1
v = cos x sh 1
v
= cos x
sh1

elevando al cuadrado estas ltimas expresiones y sumando miembro a miembro se logra eliminar
u2 v2
la variable x obteniendo + = 1 , que representa una elipse. Es importante observar
ch 2 1 sh 2 1
que en el razonamiento anterior no se ha utilizado el dato /4 x 5/4 , como este intervalo
tiene amplitud , se desprende que la imagen ser slo un trozo de la elipse indicada.. Para
encontrar ese trozo se busca el punto inicial de curva imagen, el punto final y si es necesario la
imagen de algn otro punto del segmento dado como se muestra a continuacin:

2 2
/4 , 1) u = sen( / 4) ch 1 = 2 ch1
Si z = ( w= ch1,
2
sh1
2 2
v = cos ( /4) sh 1 = 2 sh1
2

2
/4 ,1) u = sen(5 / 4) ch 1 = 2 ch1 w = 2 ch1, 2 sh1
Si z = (5
2 2
v = cos (5/4) sh 1 = 2 sh1
2

20
Mdulo I- Unidad 2
 Matemtica D y D1

u = sen ch 1 = 0
, 1)
Si z = ( w = (0,sh1)
v = cos sh 1 = sh1
2 2
y ch1, sh1
2 2
v
v
w=sen z
1

/4 /4
5 x u
(0,- sh1)
e) Si z L 5 : x = /4 , -2 y 1 y w = sen
2 z 2
ch1, sh1
2 2

u
u = sen ( / 4) ch y = chy
sen( / 4)

v = cos ( /4) sh y v
= shy
cos( /4)

Como sen ( /4) = cos (

/4) = 2 / 2 y recordando que ch2 y - sh2 y = 1 , se puede eliminar la
variable y elevando al cuadrado estas ltimas expresiones y restndolas miembro a miembro
u2 v2
obteniendo = 1 , que representa una hiprbola. Como en el razonamiento anterior no
1/ 2 1/ 2
se ha utilizado el dato -2 y 1 , se desprende que la imagen ser slo un trozo de la hiprbola
y para encontrarlo se busca el punto inicial de curva imagen, el punto final y si es necesario la
imagen de algn otro punto del segmento dado como se muestra a continuacin:

2
u = sen ( / 4) ch (-2) = 2
/4 , -2 )
ch 2 2
Si z = ( 2 w= ch2, sh2
2 2
v = cos ( /4) sh (-2) = 2 sh 2
2

2
u = sen ( / 4) ch1 = 2
/4 , 1 )
ch1 2
Si z = ( 2 w= ch1, sh1
2 2
v = cos ( /4) sh 1 = 2
sh1

2

2 2
/4 , 0 ) u = sen ( / 4) ch 0 =
Si z = ( w = ,0
2 2
v = cos ( /4) sh 0 = 0
y
v 2 2
ch1, sh1
w=sen z 2
2

1
/4 x u
-2
2 2
ch2, sh 2
2 2 2

,0
2

21
Mdulo I- Unidad 2
 Matemtica D y D1

Ejercicios

17- Hallar por w = sen z la imagen de:

a) el segmento de extremos z0 = 0 y z1= 2 ei b) el segmento y = 2 , 0 x /6

c) el rectngulo 0 x /2 , 0 y 1 d) la franja 0 < x < /2 , y < 0

18- Justificar en cada caso que el conjunto B es la imagen del conjunto A por w = sen z

a) A = {(x,y) / | x | < /2, y > 0} , B = {(x, y) / y > 0}

b) A = {(x,y) / | x | < /2} , B = C - {(x, y) / y = 0 , | x | 1 }
c) A = {(x,y) / | x | /2} , B=C

19- a) Justificar que cos z = sen (z + /2) y deducir que la transformacin w = cos z es la
composicin de la transformacin w = sen z precedida de una traslacin a la derecha de
/2 unidades.
b) Justificar que sh z = -i sen(iz) , ch z = sen(iz + /2), y describirlas como composicin
entre la transformacin w = sen z y otras que debe indicar.

6. Transformacin exponencial y logaritmo

Para analizar la transformacin exponencial se considera w en forma exponencial, es decir w =

ei , y z en forma binmica, es decir z = x + iy , entonces:

= e x
w=e e =e
z i x +iy x
=e e iy
donde k es un nmero entero
= y + 2k

Para analizar la transformacin logaritmo se considera w en forma binmica, es decir w=

u + iv , y z en forma exponencial, es decir z = r ei , entonces:

u = ln r
w = Ln z u + iv = ln r + i
v =

Ejemplos:

1- Hallar por w = ez la imagen de la recta y = 0, analizando su imagen si x 0 o si x 0

= e x = e x
Sabemos que si w = ez , entonces la imagen de la recta y = 0 es
= y + 2k = 2k

22
Mdulo I- Unidad 2
 Matemtica D y D1

Como = 2k , los complejos w tienen argumento 0 , 2

, -2
, 4
,.y por lo tanto todos los
complejos w se encuentran en el eje real positivo.

si x 0 e x e 0 1
Como ex es creciente
si x 0 e e 1
x 0

Entonces se puede afirmar que:

La imagen de la semirecta y = 0 , con x 0 son los complejos del eje real positivo que tienen
mdulo mayor o igual a 1, es decir su imagen es la semirecta v = 0 con u 1
La imagen de la semirecta y = 0 , con x 0 son los complejos del eje real positivo que tienen
mdulo menor o igual a 1, es decir su imagen es el segmento v = 0 con 0 u 1
Por lo tanto la imagen de la recta y = 0 es la semirecta v = 0 con u 0

y v y v y v

0 x 0 u 0 x 0 u 0 x 0 u
1 1 1

Imagen de y = 0 con x 0 Imagen de y = 0 con x 0 Imagen de la recta y = 0

y
2- Hallar la imagen de la zona sombreada por w = Ln z
2

La regin sombreada puede describirse como | z | 2, x

/2 Arg(z) /2 , es decir r 2 , -
- /2 /2

u = ln r
Se sabe que u + i v = Ln (r ei ) entonces v
v =
como r 2 ln r ln 2 , y por lo tanto u ln 2 /2

como - /2 /2 y v = - /2 v /2 u
por lo tanto la imagen de zona sombreada es la franja Ln 2
/2
-
semi infinita definida por u ln 2 y -
/2 v /2

Ejercicios

20- Hallar por w = ez la imagen de:

a) el rectngulo -1 x 3 , 0 y /4 b) la franja x > 0 , 0 < y <

21- Hallar por w = Ln z la imagen de:

23
Mdulo I- Unidad 2
 Matemtica D y D1

a) la corona 2 | z | 4 b) el crculo abierto | z | < 3

c) el ngulo - < Arg(z) < /2 d) el sector |z | < 2 , |Arg(z)|< /4

7. Transformacin conforme

Un arco C1 en el plano es cualquier conjunto de puntos que puede describirse por la ecuacin
x = x(t )
paramtrica , con t parmetro real perteneciente a un intervalo I , donde x(t) e y(t)
y = y( t )
son funciones continuas en I. En el plano complejo los puntos del arco C1 son los complejos
z(t) = x(t) + i y(t) , con t I .

Se dice que un arco C1 de ecuacin z(t) es suave si la funcin z(t) = x(t) + i y(t) no se
anula y es continua para t I .

Se dice que un arco es suave por tramos o suave por partes (spp) si consiste en un nmero
finito de arcos suaves unidos por sus extremos. Si C1 es spp entonces las funciones x(t) e y(t)
son continuas pero sus derivadas son seccionalmente continuas.

Un arco C1 es simple si no se corta a s mismo, es decir si z(t1) = z(t2) t1 = t2

Un arco es cerrado si el punto inicial coincide con el punto final. Si una curva es simple y
cerrada se denomina curva de Jordn.

y y y

x x x

Arco simple y suave Arco simple y suave spp Curva de Jordn

Rotacin de tangentes

I y sea C1* su imagen por la transformacin

Sea C1 una curva suave de ecuacin z(t), con t
w = f(z) entonces C1* tiene ecuacin parmetrica w(t) = f(z(t)), con t I .

Si C1 pasa por el punto de coordenadas (x0, y0) entonces existe un nmero real t0 I tal que
z(t0) = x(t0) + i y(t0) = x0 + i y0 = z0 y C1* pasa por w0 = f(z0)= u0 + i v0

24
Mdulo I- Unidad 2
 Matemtica D y D1

Como C1 es suave admite vector tangente no nulo y continuo en cada uno de sus puntos, en
particular en el punto de coordenadas (x0, y0) , su vector tangente tiene componentes (x(t0),
y(t0)) , por lo tanto z(t0) = x(t0)+ i y(t0) es un complejo cuyo argumento da la inclinacin del
vector tangente en z0 y lo indicamos = arg(z(t0)).

Veamos que si f(z) es analtica en z0 y f(z0) 0 entonces la curva C1* admite vector tangente
no nulo en w0 cuya inclinacin est dada por = arg(w(t0)):

y C1 v
w=f(z)
v0

y0 C1*

x0 x u0 u
derivando w (t) = f(z(t)) por regla de la cadena y evaluando en t0 obtenemos:

w(t0) = f(z(t0)). z(t0) = f(z0). z(t0)

Como f(z0) 0, por lo supuesto, y z(t0) 0 , por ser C1 suave, entonces w(t0) 0 y tiene
sentido tomar argumento a ambos miembros obteniendo:
arg(w(t0)) = arg(f(z0)) + arg(z(t0))
que es equivalente a afirmar que: = arg(f(z0)) +
Por lo tanto el ngulo de inclinacin de la tangente a la curva C1* , trazada en w0 = f(z0) , difiere
del ngulo de inclinacin de la tangente a la curva C1 ,trazada en z0 , en el ngulo
0 = arg(f(z0)), al que suele denominarse ngulo de rotacin de la tangente.

Ejemplos:

1- Dada f(z) = 1/z , hallar el ngulo que giran las tangentes a las curvas que pasan por 1 + i, es
decir si es el ngulo de inclinacin de una curva en el punto z0 = 1 + i, hallar el ngulo de
inclinacin de su imagen en el punto f(1 + i)

Como f(z) = -1/z2 entonces y C

arg(f(z)) =arg(-1/z2) = arg(-1) arg(z2) = - 2 arg z ,
1
por lo tanto si es el ngulo de inclinacin de una curva en el punto
z0 = 1 + i y es el ngulo de inclinacin de su imagen en el punto 1 x
w0 = f(1 + i) = - i , sabemos que:
= arg(f(1 + i)) + = - 2 arg(1+i) + = - 2 /4 + = /2 +

25
Mdulo I- Unidad 2
 Matemtica D y D1

Como = + , podemos afirmar que el ngulo que giran las tangentes a cualquier curva
que pase por 1 + i es /2

2- Teniendo en cuenta la respuesta del ejercicio anterior, hallar sin hacer cuentas la imagen de la
recta y = x por f(z) = 1/z

Como la recta y = x pasa por el origen, su imagen por f(z) = 1/z es una recta que pasa por el
origen del plano w, como adems pasa por el punto 1 + i , sabemos por el ejemplo anterior que
sus tangentes giran un ngulo igual a /2 .
Como el ngulo de inclinacin de la recta y = x es igual a /4 , el ngulo de inclinacin de su
imagen es /2 + /4 = 3 /4 , por lo tanto su imagen es la recta v = tg(3
/4) u , o v = -u

Conservacin de ngulos

Sean C1 y C2 dos curvas suaves que pasan por z0 y sean 1 y 2 los ngulos de inclinacin de
sus respectivas tangentes trazadas en z0 entonces sabemos que :

1 = arg(f(z0)) + 1
2 = arg(f(z0)) + 2
donde 1 y 2 son los ngulos de inclinacin de las tangentes trazadas en w0 = f(z0) de las curvas
C1* y C2* , imgenes de C1 y C2 respectivamente, siempre que f(z) sea analtica y f(z0) 0.
Restando miembro a miembro las expresiones anteriores se obtiene: 1 - 2 = 1 - 2
Por lo tanto el ngulo 1 - 2 , medido desde C2* hasta C1* , es el mismo en magnitud y sentido
que el ngulo 1 - 2 , medido desde C2 hasta C1.

y 1 - 2
C1 w=f(z) v
1 - 2

C1* C2*
C2

x u

Transformacin conforme

Sean C1 y C2 dos curvas cualesquiera , suaves y orientadas del plano z que se cortan en z0 y sean
C1* y C2* sus respectivas imgenes por w = f(z) , se dice que esta transformacin es conforme
en z0 si conserva el tamao y la orientacin de los ngulos, es decir: el ngulo entre C1 y C2
coincide en magnitud y sentido con el ngulo entre C1* y C2* .

26
Mdulo I- Unidad 2
 Matemtica D y D1

Actividad 6:

Justificar el siguiente enunciado: si f(z) es analtica en z0 y f(z0) 0 entonces f(z) es

conforme en z0

Ejemplos:
1- La transformacin w = ez es analtica y su derivada nunca se anula, por lo tanto es conforme
para todo z .

2- La transformacin w = z2 es analtica y su derivada f(z) = 2z se anula slo en z = 0, por lo

tanto es conforme para todo z 0. Puede ser conforme en z = 0?, la respuesta es inmediata
pues si se consideran dos rectas que pasen por el origen cuyos ngulos de inclinacin son 1 y
2, sus imgenes son dos rectas que tambin pasan por el origen y cuyos ngulos de
inclinacin son 2 2 , por lo tanto el ngulo entre las curvas imgenes es el doble del
1 y 2
ngulo entre las curvas
y dadas. v
2=3
/4
w= z2
2=3
2 /2 2 1=
/2
1=
/4

x u

Ejercicios

22- Hallar el ngulo que giran las tangentes a las curvas que pasan por z0 cuando son
transformadas por w = f(z)
z +1
a) f(z) = 3z2 2z , z0 = i/3 b) f(z) = ez , z0 = i c) f ( z ) = , z0 = 1
z2 + 3

23- Dada la transformacin f(z) = z2

a) Demostrar que w = f(z) cambia las direcciones de las curvas que pasan por z0 = 2 + i en el
ngulo = arc tg
b) Hallar la imagen de las rectas y = 1 , x = 2 , y = x por w = f(z) y comprobar lo demostrado
en a)

24-Demostrar que la transformacin w = zn , n N , cambia las direcciones en el punto

z0 = r0 e i0 en el ngulo = (n 1)0

25- Indicar dnde son conformes las siguientes transformaciones:

27
Mdulo I- Unidad 2
 Matemtica D y D1

a) w = 1 cos z b) w = z3 3z c) w = 2/z d) w = e2z

26- Dada g(z) = 3 cos z - i sen z , expresarla en funcin de exponenciales complejos y averiguar
para qu valores de z es conforme.

27- Dados los conjuntos A = { z = r ei / -

/4 /4 , r 2 } , B = { w = ei / 2 }

a) Hallar una funcin que transforme A en B de modo que z0 = 2 ei/4 sea punto fijo .
b) Comprobar que la transformacin hallada en a) es conforme en el punto z1 = 2 e indicar qu
ngulo giran las tangentes en dicho punto. Mostrar grficamente lo que afirma considerando la
circunferencia r = 2 y la semirecta = 0 y sus imgenes luego de aplicada la funcin.

Ejercicios adicionales

28- Hallar una transformacin que enve el conjunto {z / |z 2i| 2 , Im(z) 2 , Re(z) 0} en
el conjunto { w / | w - 1 | 1}.

29- Dada la regin A = {z / 0 < Arg z < /4 , 2 < | z | < }

a) Hallar su imagen mediante la transformacin w = 2i Ln z. Graficar

b) Hallar una transformacin que enve la regin A en B = { w / Re(w) > 2 Im(w)}

30- Si R es la regin limitada por las circunferencias |z| = 1 y |z +1/2 i | = 3/2 , hallar su imagen
por la transformacin w = 1 / (z - i)

8. Solucin de la ecuacin diferencial de Laplace usando transformaciones

conformes

Se sabe que si f(z) = u(x,y) + i v(x,y) es analtica en un conjunto D , sabemos que u(x,y) y v(x,y)
son armnicas en D y por lo tanto verifican las ecuacin diferencial de Laplace:

2u 2u 2v 2v
+ =0 , + =0 , para (x,y) D
x 2 y 2 x 2 y 2

por ello se pueden encontrar montones de soluciones de la ecuacin diferencial de Laplace en D

considerando la parte real o imaginaria de un funcin analtica en D.

28
Mdulo I- Unidad 2
 Matemtica D y D1

Por ejemplo Re(z2) = x2 - y2 , Im(sen z) = cos x sh y , Re(e3z) = e3x cos (3y) son armnicas en
todo el plano complejo por ser las componentes reales o imaginarias de funciones analticas y por
ello son soluciones de la ecuacin diferencial de Laplace.

Cmo encontrar soluciones de la ecuacin de Laplace en un dominio D que verifique ciertas

condiciones constantes sobre la frontera de D a las que se denominan condiciones de contorno?

Veremos a continuacin que si el recinto D es un ngulo con vrtice en el origen o es una corona
circular tambin centrada en el origen de coordenadas o es una franja horizontal o vertical , es
muy sencillo encontrar la solucin.

Caso I: El dominio D es un ngulo con vrtice en el origen que no

contiene al eje real negativo

Queremos encontrar una funcin que sea solucin de la

ecuacin de Laplace en el recinto
y

D = {z / z = r e , r > 0 , 0 < < 1 con 0 > - }
i

y las condiciones de contorno se dan sobre las semirectas

0 1
= 0 y = 1 .
La funcin armnica que hay que encontrar en este caso depender slo de . x

Se propone una funcin de la forma V(r, ) = A + B , que evidentemente es armnica por ser la
componente imaginaria de la funcin analtica A Ln z + B i , y se determinan las constantes
reales A y B de modo que verifiquen las condiciones de contorno establecidas en el ejercicio.

Ejemplo: y
Hallar una funcin armnica V(x,y) definida en
V = -7
D = {z = r ei / r > 0 , - /2 < < 3
/4} tal que
V= -3 x
V(x,y ) = -7 sobre la semirecta = 3
/4
V(x,y ) = 3 sobre la semirecta = -
/2

Se propone V = A + B y se determinan las constantes A y B razonando del siguiente modo:

Si = 3
/4 entonces - 7 = A 3
/4 + B , si = -
/2 entonces 3 = A (- /2) + B
/4 A , despejando se obtiene que A = -8/ y
Restando estas dos ecuaciones se obtiene - 10 = 5
reemplazando este valor en cualquiera de las dos ecuaciones se determina que B = -1

29
Mdulo I- Unidad 2
 Matemtica D y D1

Por lo tanto V = -8/ - 1 , que expresada en funcin de x, y resulta ser:

8 arctg (y x ) 1 si x > 0

V( x, y ) = 8 [arctg (y x ) + ] 1 si x < 0 , y > x
- 5 si x = 0 , y > 0

para ello se ha tenido en cuenta que:
 si (x,y) pertenece a D y est en el primer o cuarto cuadrante entonces -/2 < < /2 , por
lo tanto = arctg(y/x)
 si (x,y) pertenece a D y est en el segundo cuadrante entonces /2 < < 3
/4 , por lo tanto
= arctg(y/x) +
 si (x,y) pertenece al eje imaginario positivo entonces = /2

Se deja como ejercicio la verificacin que V(x,y) es armnica en D y satisface las condiciones de
contorno pedidas.

Caso II: El dominio D es una corona circular

y
Queremos encontrar una funcin que sea solucin de la
ecuacin de Laplace en la corona circular centrada en el origen
D = {z / z = r ei, r0 < r < r1 } y las condiciones de contorno r = r1
se dan sobre las circunferencias r = r0 y r = r1 .
r = r0 x

La funcin armnica que hay que encontrar en este caso depender slo de r.

Proponemos una funcin de la forma V(r, ) = A ln r + B , que evidentemente es armnica por

ser la componente real de la funcin A Ln z + B , que si bien no es analtica en el eje real
negativo, su componente real es continua y derivable salvo en z = 0, y determinamos las
constantes reales A y B de modo que verifiquen las condiciones de contorno establecidas en el
ejercicio.

Ejemplo: y
Hallar una funcin armnica V(x,y) definida en
D = {z = r ei / , 3 < r < 6} tal que V= -2
V(x,y ) = 4 sobre la circunferencia r = 3
V= 4 x
30
Mdulo I- Unidad 2
 Matemtica D y D1

V(x,y ) = -2 sobre la circunferencia r = 6

Se propone V = A lnr + B y se determinan A y B razonando del siguiente modo:

Si r = 3 entonces 4 = A ln 3 + B
Si r = 6 entonces -2 = A ln 6 + B
6 6 6 ln 3
Resolviendo estas dos ecuaciones se encuentra que A = = , B = 4 .
ln 3 ln 6 ln 2
1 ln 1 2
6 6 ln 3
Por lo tanto V = ln r + 4 , que expresada en funcin de x, y resulta ser:
ln 2
1 ln 1 2
6 6 ln 3
V ( x, y ) = ln x 2 + y 2 + 4
ln 2
1 ln 1 2

Se deja como ejercicio la verificacin de que V(x,y) es armnica en D y satisface las condiciones
de contorno pedidas.

Caso III: El dominio D es una franja horizontal o vertical infinita

y
a) Queremos encontrar una solucin de la ecuacin de Laplace en la y=b
franja horizontal infinita D = {(x,y) / - < x < , a < y < b } y
las condiciones de contorno se dan sobre las rectas y = a y y = b .
y=a
La funcin armnica que hay que encontrar eneste caso depender slo de y. x

Se propone una funcin de la forma V(x, y) = A y + B , que evidentemente es armnica por ser la
componente imaginaria de la funcin analtica A z + B i , y se determinan las constantes reales A
y B de modo que verifiquen las condiciones de contorno establecidas en el ejercicio.

y
c) Si D = {(x,y) / a < x < b , - < y < } es una franja vertical x=b
infinita y las condiciones de contorno se dan sobre las rectas
x=a
x = a y x = b , la funcin armnica que hay que encontrar en este x
caso depender slo de x.

Se propone una funcin de la forma V(x, y) = A x + B , que evidentemente es armnica por ser la
componente real de la funcin analtica A z + B , y se determinan las constantes reales A y B de
modo que verifiquen las condiciones de contorno establecidas en el ejercicio.

y

Ejemplo 4
Hallar una funcin f(x,y) que satifaga la ecuacin de Laplace
en el conjunto D = {(x,y) / - < x < , -2 < y < 4 } y
x
31
-2
Mdulo I- Unidad 2
 Matemtica D y D1

verifique f(x, 4) = -3 , f(x,-2) = 9

La funcin armnica que hay que encontrar en este caso

depender slo de y, proponemos f(x,y) = Ay + B y la evaluamos sobre la frontera de D:

f ( x,4) = A4 + B = 3
y resolviendo este sistema obtenemos A = -2 , B = 5
f ( x,2) = A( 2) + B = 9

por lo tanto f(x,y) = -2y + 5 , que seguro es armnica por ser la parte imaginaria de la funcin
analtica -2 z + 5i y cumple las condiciones exigidas sobre la frontera de D.

Ejercicios
31- a) Hallar una funcin armnica G(x,y) definida en el y
semiplano x > 0 que verifique:
G=1
G(0,y) = 1 si y > 0
x
G(0,y) = 2 si y < 0 G=2

y
b) Hallar una funcin armnica M(x,y) definida en el semiplano
y > 0 que verifique:
M=2 M=1 x
M(x,0) = 1 si x > 0 , M(x,0) = 2 si x < 0

c) Hallar una funcin armnica K(x,y) definida en el primer

cuadrante que verifique: y
K(x,0) = 1 si x > 0
K(0,y) = 2 si y > 0 K=2
x
K=1
d) Hallar una funcin armnica H(r, ) definida en
) / r > 0 , / 6 < < / 3 } que verifique:
A = {(r, y

H(r , / 6) = 2 H(r , / 3 ) = 3
H=3
H=-2
Expresar H en funcin de x e y x

y
e) Hallar uns funcin arnnica V(x,y) definida en V=5
B = {(x,y) / 1 < x2 + y2 < 4} que verifique:
V = 5 sobre x2 + y2 = 1 1 2
x
2 2
V = 1 sobre x + y = 4
V=1
32
Mdulo I- Unidad 2
 Matemtica D y D1

f) Qu funcin armnica propondra en los ejercicios anteriores si los valores sobre la

frontera fueran:
a1) G(0,y) = 6 , para todo y b1) M(x,0) = -2 , para todo x
c1) K(0,y) = K(x,0) = 0 , para x > 0 , y > 0

32- Hallar una funcin armnica H(x,y) definida en la franja: - < x < , a < y < b que
verifique:
2 si y = a
H( x, y ) =
4 si y = b

33- Resolver el ejercicio 31- c) transformando el primer cuadrante en el semiplano superior y

luego aplicar el ejercicio 31-b)

34- Hallar la expresin de la temperatura estacionaria en el y

interior de un cilindro cuya seccin transversal es x2 + y2 = 1
T=100
de modo que verifique: x
T(x,y) = 100 en x2 + y2 = 1 con y > 0
T(x,y) = 0 en x2 + y2 = 1 con y < 0 T=0

Indicacin: La ecuacin diferencial que debe satisfacer una temperatura estacionaria T(x,y) es
2 T(x, y ) = 0. Transformar el crculo en el semiplano superior de manera que la
semicircunferencia inferior se transforme en el eje real positivo

35- Hallar la expresin de la temperatura estacionaria y

T(x,y) en la regin exterior de un cilindro cuya
seccin transversal es x2 + (y-1)2 = 1 de modo que T=10
i 0
verifique: T(x,y) = 100 en x2 + (y-1)2 = 1
T(x,y) = 0 en y = 0
T=0 T=0 x
Indicacin: Transformar el recinto utilizando w = 1/z

36- Hallar la expresin del potencial electrosttico V(x,y) en y

el espacio comprendido entre dos cilindros conductores V=0
coaxiales | z | = 1 , | z | = 2 cuando se sabe que:

2 V (x, y ) = 0 en 1 < | z | < 2 1 2

x

V(x,y) = 0 en |z | = 1 , V(x,y) = 10 en |z | = 2 V=10

33
Mdulo I- Unidad 2
 Matemtica D y D1

37- Hallar la distribucin estacionaria de la temperatura y

T(x,y) en la regin sombreada de la figura que verifique:
T=40
T(x,0) = 0 en | Re(z) | >1
x
V(x,y) = 400 en |z | = 1 , Im(z) > 0 T = 0 -1 1 T=0

Ejercicios adicionales

4i
38- a) Hallar la imagen del conjunto A= { z / | z + 1 | 1 y | z | 2 } por w =
z+2
b) Hallar una funcin armnica T(x,y) en el interior del conjunto A de modo que:
T(x,y) = -2 sobre | z + 1 | = 1 , T(x,y) = 3 sobre | z | = 2 donde z = x + i y

39a) Hallar una transformacin w = f(z) que enve el conjunto A= {(x,y) / 1 y x y -1 } en el

conjunto B= { w / Im (w) 0 } de modo que f(i) = 0
b) Hallar, una funcin armnica T(x,y) en el interior del conjunto A de modo que:
T = -1 sobre la semirrecta y = 1 + x , x > 0 ;
T = -2 sobre la semirrecta y = 1 x , x < 0.
Justificar que es armnica.

34
Mdulo I- Unidad 2