Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
MATEMATICA D1
MODULO 7: TRANSFORMACIONES COMPLEJAS
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.
w=f(z)
B=f(A)
Plano z
Plano w
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)
A1
v*
x
Plano z
w =g(w*)
B1
C1
u*
Plano w*
u
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
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 :
g(f(z)) = g(ez - 1) =Ln (ez - 1) , cuyo dominio es C {2k
i , k = 0, 1, 2 } pues e2ki 1 = 0
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
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- 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.
a) Transformacin w = A z , A
0
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|
arg(w) = arg(A z) = arg(A) + arg(z) = + arg(z)
|w|=a|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,
z=r e
w = Az
w = ar ei ( + )
v
x
Plano w
Plano z
Ejemplos:
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
3/4
w = 2iz
Plano z
Plano w
3
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 = 2iz z =
x = v / 2
w
wi
(u + iv )i v
u
x + iy =
=
= i
2i
2
2
2
2
y = u / 2
u v
=
2 2
u v
= +1
2 2
o su equivalente v = -u
o su equivalente v = - u - 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
Im(w) = Im(z) + b2
w=z+B
w=z+B
z
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
w=z-2+i
(-1, )
(1,- )
v 1 (u + 2) - 1 v u + 1
u+21
u -1
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 + i 1
w + 3i
w + 3i i ( 2 i )
2 | w 1 + i | 2 5
i 2
2
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.
v
y
w = f(z) = ?
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.
v*
w* = f1(z) = z +i
Plano z
u*
Plano w*
v*
w* = f1(z) = z +i
u*
Plano z
Plano w*
Plano w
2i
1
2
w =
z +
+i
5
5
5
Ejercicios
1- Dada la transformacin w = (1 i) z + 2i , hallar y graficar la imagen de:
a) la recta de ecuacin y = x + 2
c) la circunferencia | z - i |= 2
b) el semiplano x 1
d) el tringulo de vrtices i , -1 + i , -1
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
2. Inversin: w =
1
z
Ejemplos:
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 2w
1
1 2w
de w del siguiente modo:
< 2 1 2w < 2 w
2 <2
<2
w
w
w
w = 1/z
1/4
w=
i
i
i(u - iv)
v + iu
v
z=
z= 2
x= 2
= 2
2
2
z
w
u +v
u +v
u + v2
, y=
u
u + v2
2
2v
u
=1 .
2
2
u +v
u + v2
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
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)
w=
1
1
1
(u - iv)
u - iv
u
z=
x + iy =
x= 2
=
= 2
2
z
w
u + iv (u - iv)(u - iv) u + v
u + v2
, y=
v
u + v2
2
u
v
u
v
A 2
C 2
+D=0
+ A 2
+B 2
2
2
2
u +v
u + v2
u + v
u + v
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
2 2
+B
v
u
C 2
+D=0
2
u +v
u + v2
2
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
2
2
u +v
u +v
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)
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
1- Dada la transformacin w = 1/z , hallar y graficar la imagen de:
10
a) el segundo cuadrante
c) el cuadrado limitado por las rectas | y | + | x | =1
b) la circunferencia | z + 1 |= 2
d) el conjunto {(x,y) / x y 2x }
2- 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?.
3- 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.
4- Hallar la imagen del conjunto {z / | z i | < 1 , |z + 1| > 1} por w = i / z
az + b
cz + d
az + b
, justificar los siguientes tems y responder teniendo en cuenta las
cz + d
indicaciones que se dan en cada caso:
Dada w = f ( z ) =
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
--a z + ad/c
b - ad/c
cz + d
a/c
11
M
, 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).
f (z ) = N +
Ejemplos:
1- Dada w =
z
, hallar la imagen de
zi
a) Como w =
z
zi
w (z i) = z wz - z = iw
La imagen de |z | = 1 es
u2 + v2 = (u 1)2 + v2
z (w - 1) = iw z =
iw
w 1
iw
= 1 | i | | w | = |w - 1| 1. |u + i v| = |(u 1) + i v|
w 1
u2 + v2 = u2 2u + 1 + v2
u=
2
2
(u 1) + v
(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
y 2x
es
12
Actividad 4:
az + b
, con a.d b.c 0
cz + d
1- Hallar los puntos fijos de f(z) y decir cuntos puntos fijos puede tener.
Dada f ( z ) =
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
3- Justificar que la composicin de dos TLF es una TLF. Considerar f 1 ( z ) =
f 2 (z ) =
a2z + b2
c2z + d2
a1z + b1
c1z + d1
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
, 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.
5- Si z
C { }
f C { }
f
d/c
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 .
13
z1
la
frmula
z2
w1
z3
de
w2
u
w3
Actividad 5:
Sea w = f ( z ) =
az + b
tal que f(z1) = w1 , f(z2) = w2 y f(z3) = w3
cz + d
(ad bc)( z z 1 )
(cz + d )(cz 1 + d )
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
14
(z - 0)(2i - 1) = (w + 1)(1 - 2i - 0)
(z - 1)(2i - 0) (w - 0)(1 - 2i + 1)
z 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 -
(z - 1)(i + 1) =
(z + 1)(i - 1) w
z*
1
(i - 0 )
z*
(z - 1)(i + 1)i =
(z + 1)(i - 1)
(w - 0) iz * -1
z*
wz * -1
z*
(z - 1)
(z + 1)
w (-1)
, y despejando w
(-1)
z 1
que verifica , como es sencillo comprobar, las condiciones pedidas.
z +1
z2 = i
w=
z3 = -1
z 1
z+1
z3=
v
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.
15
z 1
w=
z+1
x
x
Ejercicios
1- Hallar por w =
u
x
z 2i
la imagen de:
z+3
b) la recta y = 2x -6
d) semiplano x > 1
z+2
zi
, 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.
| z 2 | = | z + i | por T( z ) =
i z - 2i
z+i
4
z 2i
4. Transformacin potencia: w = zn , n N
Dados z = r ei y w = ei , entonces la transformacin w = zn toma la forma
16
= 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
x
x
u
x
W=T(z)=?
x
W=T(z)=?
2
T1(z) = z4
T3 ( w * *) =
y*
w ** 1
w ** + 1
y**
T2(w*) =w*/16
16
x*
x**
17
z4
1
z 4 16
Por lo tanto: w = T(z) =T3(T2(T1(z)))= T3(T2(z4)) = T3(z4/16) = 16
=
z 4 + 16
z4
+1
16
Ejercicios
2- Indicar grficamente las transformaciones sucesivas que sufre el sector //4 Arg(z) 3/4
por la aplicacin de w = i z2 + 1 i
3- Hallar la imagen del tringulo de vrtices z1 = -2 2 i , z2 = -2 + 2i , z3 = 0 por w = i z2
4- Hallar una transformacin que enve el conjunto A = {z / |z 2i| 1 , Im(z) 2} en el
conjunto B = { w / | w + 1 | 1}
Ejemplos:
1- Hallar, por w = sen z la imagen de los segmentos :
a) L1 : x = 0 , -1 y 1
c) L3 : x = /2 , -1 y 2
e) L5 : x = /4 , -2 y 1
a) Si z L 1 : x = 0 , -1 y 1
b) L2 : y = 0 , /2 x
d) L4 : y = 1 , /4 x 5/4
u = sen 0 ch y
y w = sen z
v = cos 0 sh y
u = 0
v = sh y
18
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
w=sen z
1
x
-1
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
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
x
w=sen z
/2
0 1
u = sen( / 2) ch y
c) Si z L 3 : x = /2 , -1 y 2 y w = sen z
v = cos( /2) sh y
u = ch y
v = 0
-1
w=sen z
/2
ch2
d) Si z L4 : y = 1 , /4 x 5
/4
= senx
u = senx ch 1
y w = sen z
ch1
v
v = cos x sh 1
sh1
= cos x
19
elevando al cuadrado estas ltimas expresiones y sumando miembro a miembro se logra eliminar
la variable x obteniendo
u2
v2
+
= 1 , que representa una elipse. Es importante observar
ch 2 1 sh 2 1
Si z = (
/4 , 1) u = sen( / 4) ch 1 = 2 ch1
2
w=
ch1,
sh1
2
Si z = (5
/4 ,1) u = sen(5 / 4) ch 1 = 2 ch1 w = 2 ch1, 2 sh1
2
u = sen ch 1 = 0
Si z = (
, 1)
v = cos sh 1 = sh1
w = (0,sh1)
y
v
w=sen z
ch1,
sh1
2
1
/4
5
/4
u
(0,- sh1)
e) Si z L 5 : x = /4 , -2 y 1 y w = sen
z 2
2
ch1,
sh1
2
= chy
u = sen ( / 4) ch y
sen( / 4)
v
v = cos ( /4) sh y
= 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
obteniendo
u2
v2
u = sen ( / 4) ch (-2) =
Si z = (
/4 , -2 )
2
ch 2
2
2
sh 2
2
2
w=
ch2,
sh2
2
20
u = sen ( / 4) ch1 =
Si z = (
/4 , 1 )
v = cos ( /4) sh 1 =
2
ch1
2
2
sh1
2
2
Si z = (
/4 , 0 ) u = sen ( / 4) ch 0 =
v = cos ( /4) sh 0 = 0
2
w=
ch1,
sh1
2
2
w =
,0
2
w=sen z
1
/4
ch1,
sh1
2
-2
2
,0
2
ch2,
sh 2
2
Ejercicios
1- Hallar por w = sen z la imagen de:
a) el segmento de extremos z0 = 0 y z1= 2 ei
c) el rectngulo 0 x /2 , 0 y 1
b) el segmento y = 2 , 0 x /6
d) la franja 0 < x < /2 , y < 0
2- 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
3- 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.
21
= e x
w = ez ei = ex +iy = ex eiy
= y + 2k
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
Sabemos que si w = ez
, entonces la imagen de la recta y = 0 es
= y + 2k
= e x
= 2k
u
1
Imagen de y = 0 con x 0
Imagen de y = 0 con x 0
Imagen de la recta y = 0
2
x
22
Se sabe que
como r 2
u = ln r
u + i v = Ln (r ei )
entonces
v =
ln r ln 2 , y por lo tanto u ln 2
v
/2
como -
/2 /2 y v = -
/2 v /2
por lo tanto la imagen de zona sombreada es la franja
semi infinita definida por u ln 2 y -
/2 v /2
u
Ln 2
-
/2
Ejercicios
1- Hallar por w = ez la imagen de:
a) el rectngulo -1 x 3 , 0 y /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
x 23
Curva de Jordn
Rotacin de tangentes
Sea C1 una curva suave de ecuacin z(t), con t
I y sea C1* su imagen por la transformacin
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
Como C1 es suave admite vector tangente no nulo y continuo en cada uno de sus puntos, en
(x(t0),
particular en el punto de coordenadas (x0, y0) , su vector tangente tiene componentes
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)):
C1
w=f(z)
v0
C1*
y0
x0
u0
= 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)
24
entonces
1
1
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.
C1
w=f(z)
1 - 2
1 - 2
v
C1*
C2*
C2
x
25
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* .
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
1 y 2
2 , por lo tanto el ngulo entre las curvas imgenes es el doble del
ngulo entre las curvas dadas.
y
2=3
/4
w= z
2
2=3
/2
1=
/4
x
2 1=
/2
u
Ejercicios
1- Hallar el ngulo que giran las tangentes a las curvas que pasan por z0 cuando son
transformadas por w = f(z)
a) f(z) = 3z2 2z , z0 = i/3
b) f(z) = ez , z0 = i
c) f ( z ) =
z +1
, z0 = 1
z2 + 3
26
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)
3- Demostrar que la transformacin w = zn , n N , cambia las direcciones en el punto
z0 = r0 e i0 en el ngulo = (n 1)
0
4- Indicar dnde son conformes las siguientes transformaciones:
a) w = 1 cos z
b) w = z3 3z
c) w = 2/z
d) w = e2z
Ejercicios adicionales
1- Hallar una transformacin que enve el conjunto {z / |z 2i| 2 , Im(z) 2 , Re(z) 0} en
el conjunto { w / | w - 1 | 1}.
2- 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)}
3- 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)
27
2u 2u
+
=0
x 2 y 2
2v 2v
=0
+
x 2 y 2
, para (x,y) D
1
x
La funcin armnica que hay que encontrar en este caso depender slo de .
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:
V = -7
V= -3
3 = A (- /2) + B
si x > 0
8 arctg (y x ) 1
= arctg(y/x)
= 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.
r = r1
x
r = r0
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.
29
Ejemplo:
Hallar una funcin armnica V(x,y) definida en
D = {z = r ei / , 3 < r < 6} tal que
V(x,y ) = 4 sobre la circunferencia r = 3
V(x,y ) = -2 sobre la circunferencia r = 6
V= -2
x
V= 4
6
6
6 ln 3
, B = 4
.
=
1
ln 3 ln 6 ln 2
ln 1 2
6
6 ln 3
ln r + 4
, que expresada en funcin de x, y
1
ln 2
ln 1 2
6
6 ln 3
V ( x, y ) =
ln x 2 + y 2 + 4
1
ln 2
ln 1 2
Por lo tanto
V =
resulta ser:
Se deja como ejercicio la verificacin de que V(x,y) es armnica en D y satisface las condiciones
de contorno pedidas.
y=b
y=a
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.
b) Si D = {(x,y) / a < x < b , - < y < } es una franja vertical
infinita y las condiciones de contorno se dan sobre las rectas
x = a y x = b , la funcin armnica que hay que encontrar en este
caso depender slo de x.
x=b
x=a
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.
30
Ejemplo
-2
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
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
1- a) Hallar una funcin armnica G(x,y) definida en el
semiplano x > 0 que verifique:
G(0,y) = 1 si y > 0
G=1
G(0,y) = 2 si y < 0
b) Hallar una funcin armnica M(x,y) definida en el semiplano
y > 0 que verifique:
G=2
y
M=1
K=2
K(0,y) = 2 si y > 0
K=1
d) Hallar una funcin armnica H(r,
) definida en
A = {(r,
) / r > 0 , / 6 < < / 3 } que verifique:
H(r , / 6) = 2
H(r , / 3 ) = 3
H=3
H=-2
x
Expresar H en funcin de x e y
e) Hallar uns funcin arnnica V(x,y) definida en
V=5
V = 1 sobre x + y = 4
V=1
31
Qu funcin armnica propondra en los ejercicios anteriores si los valores sobre la frontera
fueran: a) G(0,y) = 6 , para todo y
b) M(x,0) = -2 , para todo x
c) K(0,y) = K(x,0) = 0 , para x > 0 , y > 0
2- 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
y
T=100
x
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
4- Hallar la expresin de la temperatura estacionaria
y
T(x,y) en la regin
T(x,y) = 0
en x2 + (y-1)2 = 1
en y = 0
T=0
en |z | = 1
, V(x,y) = 10
V=10
en |z | = 2
y
V(x,y) = 400
V=0
T(x,0) = 0
T=0
T=40
en | Re(z) | >1
en |z | = 1 , Im(z) > 0
T = 0 -1
1 T=0
32