Variable Compleja

Transformaciones conformes.

Mar a Eugenia Torres

Universidad Nacional de Entre R os Facultad de Ingenier a Matem atica III Carrera de Bioingenier a

Octubre 2008

Transformaci on conforme

Alcance y objetivos
En estas notas tratamos de complementar con un an alisis mas detallado ciertos contenidos de la secci on de transformaciones conformes desarrollada en el libro de texto. Es decir, esto no lo sustituye en modo alguno y varios temas, teoremas y propiedades no han sido abordados nuevamente aqu . No obstante, en la secci on .6 (p ag. 17) encontrar a un resumen de resultados. Si encuentra errores de tipeo o de alguna otra ndole, le agradeceremos nos lo haga saber para ir mejorando para ediciones posteriores, enviando un e-mail a metorres@santafe-conicet.gov.ar. Desde ya, muchas gracias.

Contenidos
.1. .2. .3. Sobre el buen uso del idioma espa nol. . . . . . . . . . . Transformaciones conformes . . . . . . . . . . . . . . . .2.1. Usos de las transformaciones conformes . . . . . Ejemplos de introducci on . . . . . . . . . . . . . . . . . .3.1. Transformaciones lineales y anes . . . . . . . . .3.2. Soluci on de la secci on .3 . . . . . . . . . . . . . .3.3. Transformaciones del tipo w = z 2 . . . . . . . . .3.4. Transformaciones del tipo w = 1/z . . . . . . . .3.5. Transformado por 1/z del cuadrado unitario . . Ejercicios propuestos con la transformada w = 1/z . . . .4.1. Formas alternativas de representar un c rculo en La transformaci on fraccionaria lineal o de M obius . . . Transformaci on Conforme - Revisi on . . . . . . . . . . Problemas para pensar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . el plano complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 4 4 5 5 6 9 12 13 15 16 17 17 19

.4. .5. .6. .7.

.1.

Sobre el buen uso del idioma espa nol.

En textos de matem atica escritos en ingl es es frecuente encontrar las palabras map, mapping, transform, transformation. En consecuencia, en los textos traducidos encontramos mapa, mapeo, transformada, transformaci on. Sin embargo, en muchos de los casos su uso en castellano es err oneo y un anglicismo1 . La palabra inglesa mapping puede referir a numerosas areas cient cas, entre ellas cartograf a, lingu stica (usado como met afora o analog a), gen etica (Gene mapping, the assignment of DNA fragments to chromosomes), en inform atica (Data mapping, Memorymapped I/O o Texture mapping), en neurociencia (Brain mapping). En Matem atica la palabra Map (o mapping ) se usa (siempre en ingl es) como sin onimo de function (funci on) o -en l ogica formal - como el predicado de un funcional(un s mbolo l ogico que puede aplicarse a un t ermino objeto para producir otro t ermino objeto). El uso de la palabra mapping
Conforme a la Real Academia Espa nola (2). Anglicismo. (1). m. Giro o modo de hablar propio de la lengua inglesa. (2). m. Vocablo o giro de esta lengua empleado en otra. (3). m. Empleo de vocablos o giros ingleses en distintos idiomas.
1

Matem atica III - 2008

Transformaci on conforme

sugiere que se trata de un t ermino mas gen erico. En el contexto de la geometr a el t ermino function se reere a un mapping cuyo prop osito es asignar valores a los elementos del dominio. En otras palabras, una funci on dene un conjunto de valores (de aqu que para denir una funci on se necesita una terna (f, A, B )). Por el contrario, mapping tiene una connotaci on mas geom etrica, como cuando se habla de a mapping of one space to another (una transformaci on de un espacio en otro). Usada en castellano (2) las palabras mapa y mapear poseen las siguiente acepciones: mapa. (Del b. lat. mappa, toalla, plano de una nca r ustica). 1. m. Representaci on geogr aca de la Tierra o parte de ella en una supercie plana. 2. m. Representaci on geogr aca de una parte de la supercie terrestre, en la que se da informaci on relativa a una ciencia determinada. Mapa ling u stico, topogr aco, demogr aco. 3. f. coloq. p. us. Lo que sobresale en un g enero, habilidad o producci on. La ciudad de Toro es la mapa de las frutas. mapear.(De mapa). 1. tr. Biol. Localizar y representar gr acamente la distribuci on relativa de las partes de un todo; como los genes en los cromosomas. 2. tr. cult. Chile. Hacer mapas. 3. tr. cult. Chile. Trasladar a un mapa sistemas o estructuras conceptuales. Desde el punto de vista de la matem atica, un mapa es un elemento matem atico utilizado en la llamada geometr a diferencial, descripto como una porci on de la variedad an aloga a un espacio vectorial; los cambios de mapa indican c omo estas porciones de variedades se acoplan entre s . Una variedad es el objeto geom etrico est andar en matem atica, que generaliza la noci on intuitiva de curva (1-variedad) o supercie (2-variedad) a cualquier dimensi on y 2 sobre cuerpos variados (no forzosamente el de los reales). Este tipo de teor a matem atica se utiliza cuando se trabaja por ejemplo en control no lineal o en ciertas areas de mec anica de los uidos. La palabra transformaci on (transformation en ingl es) en su versi on mas simple comprende una variedad de diferentes funciones de la geometr a, tales como rotaciones, reexiones y traslaciones. Estas pueden aplicarse en el espacio Eucl deo. Tambi en es utilizada para denominar operaciones en el contexto del algebra lineal, y que utilizan expl citamente teor a de matrices. En este contexto, se conocen las transformaciones lineales. Sin embargo no se limita a esto. El t ermino transformaci on, algunas veces expresado como transformada, puede hacer referencia a los siguientes elementos, entre muchos otros: Transformada de Fourier, Transformada de Fourier discreta y Transformada r apida de Fourier
Un cuerpo es una estructura del algebra abstracta en la cual las operaciones de adici on y multiplicaci on se pueden realizar y cumplen las propiedades asociativa, conmutativa y distributiva, adem as de la existencia de un inverso aditivo y de un inverso multiplicativo, los cuales permiten efectuar la operaciones de substracci on y divisi on (excepto la divisi on por cero); estas propiedades ya son familiares de la aritm etica de n umeros ordinarios. Los cuerpos son objetos importantes de estudio en algebra puesto que proporcionan la generalizaci on apropiada de dominios de n umeros tales como los conjuntos de n umeros racionales, de los n umeros reales, o de los n umeros complejos.
2

Matem atica III - 2008

Transformaci on conforme Transformada de coseno discreta y Transformada de coseno discreta modicada Transformada de Hilbert Transformada de Laplace Transformada Z Transformadas wavelet Transformaci on bilineal Transformaci on lineal Transformaci on polin omica

e incluso puede ser utilizada como sin onimo de funci on. Por lo anterior, en el contexto de este curso, no hablaremos de mapas conformes, ni de mapeos conformes y nos limitaremos a referirnos a transformaciones conformes o a transformaciones bilineales, por ser la denominaci on correcta en el uso del idioma espa nol en el area de la matem atica en que estamos trabajando.

.2.

Transformaciones conformes

En matem atica, una transformaci on conforme es una funci on que preserva angulos. M as formalmente, una transformaci on w = f (z ) se dice conforme (o que preserva angulos) en z0 si preserva: 1. la magnitud y 2. la orientaci on (es decir la direcci on) de los angulos entre dos curvas que pasen por z0 . Las transformaciones conformes preservan tanto los angulos como las formas de guras innitesimalmente peque nas, pero no necesariamente su tama no.

.2.1.

Usos de las transformaciones conformes

Si una funci on es arm onica - es decir si satisface la ecuaci on de Laplace (2 f = 0 )en cierto espacio particular, y es transformada por medio de una transformaci on conforme en otro espacio, la funci on transformada tambi en es arm onica. Por esta raz on, cualquier funci on que est e denida por medio de un potencial puede ser transformada por medio de una transformaci on conforme y a un seguir siendo gobernada por un potencial. En f sica existen m ultiples ejemplos de tales funciones, entre ellas los campos electromagn eticos, los campos gravitacionales, y en din amica de los uidos, los ujos potenciales, que son una
Matem atica III - 2008

Transformaci on conforme

aproximaci on de los ujos de uidos suponiendo densidad constante, viscosidad nula y ujo irrotacional. La importancia de las transformaciones conformes para el estudio de los campos electromagn eticos fue puesta de maniesto en 1910 por Harry Bateman (1). Las transformaciones conformes son de gran utilidad para resolver problemas de la ingenier a o la f sica que pueden ser expresados en t erminos de funciones de variable compleja, pero que presentan severas dicultades en su geometr a. Escogiendo una transformaci on adecuada, el problema puede simplicarse transformando la regi on en la que se plantea el problema en otra de geometr a mas accesible. Por ejemplo, si se desea calcular el campo el ectrico E (z ) proveniente de un punto de carga, ubicado cerca de una esquina de dos planos conductores separados por cierto angulo (donde z es la coordenada compleja de un punto en el espacio bidimensional), utilizando una transformaci on conforme muy simple el angulo es transformado (mapeado) en uno de radianes, haciendo que el angulo entre los planos se transforme ahora en una l nea recta (formada por las dos semirrectas opuestas). En este nuevo domino, el problema es de muy f acil resoluci on.

.3.
.3.1.

Ejemplos de introducci on
Transformaciones lineales y anes

En los cursos de c alculo acostumbramos pensar a las funciones de R en R gracadas en 2 R R o R . Sin embargo, esto no es de ayuda cuando trabajamos con funciones en el campo complejo C, dado que en este caso, el gr aco est a en C C, y por lo tanto en un espacio de dimensi on cuatro. Pensemos en una simple funci on lineal, e imaginemos que queremos transformar puntos aleatorios ubicados dentro del cuadrado: R = {x + iy C : 1 x 1, 1 y 1}. Que pasa con el cuadrado R si multiplica z = x + iy R por un numero real a?, digamos a = 2. Y si ahora le suma un n umero real b?. (suponga b = 4). Graque ambas situaciones, pero antes de hacerlo trate de imaginarse que obtendr a, ganando as cierta intuici on. Ahora analice que sucede si a es un n umero imaginario puro (suponga a = 2i). Calcule en qu e se transforma z = x + iy , bajo la transformaci on T (z ) = a.z con a = 2i. Qu e sucede si b es un imaginario puro?. Suponga T (z ) = z + b con b = 4i. En cada uno de los puntos anteriores graque el transformado de la regi on R. Analice como se transformaron cada uno de los lados de R. Describa geom etricamente el efecto de dicha transformaci on.

Que tipo de transformaciones son?.

Matem atica III - 2008

Transformaci on conforme Efectivamente, son del tipo: f : R C C f (z ) = a z + b , con a, b C. Ahora bien, suponga que:

a = 0,25 + i 0,7 y b = 0. Sigue siendo una transformaci on lineal, pero que pasa con la imagen de R en este caso?. Graque nuevamente. Como ha actuado esta transformaci on sobre el eje y ?. Haga ahora a = 0,1 + i 0,7 y b = 0,1 i 0,5. Graque nuevamente. En el campo complejo, las funciones de la forma f (z ) = z para alg un valor constante de , se denominan Transformaciones Lineales de C en C. Las funciones de la forma f (z ) = 1 z + 2 para 1 y 2 constantes, se denominan Transformaciones anes. En los textos cl asicosde ingenier a, aun se denomina a estas u ltimas como lineales. La distinci on entre ambas es importante en ingenier a. La adici on de un vector constante a todo vector del plano es equivalente a realizar una traslaci on. En ingenier a esto es un corrimiento (shift, en ingl es). Entonces, en el campo complejo, una transformaci on af n es una transformaci on lineal con un corrimiento. Los t erminos funci on, transformaci onson equivalentes. Aunque en ingl es se usa tambi en map, y mapping, como equivalentes, no existen tales expresiones matem aticas en castellano. Sin embargo es frecuente en las traducciones mejicanas encontrar que se habla de mapeos o mapas. Esto constituye un anglicismo.

.3.2.

Soluci on de la secci on .3

En la gura 1 se presentan las gr acas correspondientes a los ejercicios propuestos en la on af n f (z ) = az + b, con a = 2 + 0i, b = 0 secci on .3. En (a) se observa que la transformaci 3 produce una dilataci on tanto en la parte real como en la parte imaginaria de los puntos del cuadrado R. En (b) se puede apreciar que f (z ) = az + b, con a = 1 + 0i, b = 2 + i0 produjo s olo una traslaci on de R. Por su parte, la transformaci on d) f (z ) = az + b, con a = 1 + 0i, b = 2i, tambi en produjo una traslaci on de R pero ahora en el sentido del eje imaginario. Por u ltimo, en (d) observamos que f (z ) = az + b, con a = i, b = 0, produjo una rotaci on de 90o del rect angulo; esto puede apreciarse, por ejemplo, al mirar como han sido transformados los lados de R. Observar que para transformar la regi on es necesario: 1. Calcular en forma expl cita la parte real y la parte imaginaria de f(z). En este caso w = = = = Entonces u + iv = (a1 x a2 y + b1 ) + i(a2 x + a1 y + b2 ) C
3

f (z ) az + b (a1 + ia2 )(x + iy ) + (b1 + ib2 ) (a1 x a2 y + b1 ) + i(a2 x + a1 y + b2 )

En ingl es stretched, stretching.

Matem atica III - 2008

Transformaci on conforme
z=x+iy 5

5 5

0 x

(a) Plano complejo z

w = u + i v = f(z) 5 5 w = u + i v = f(z)

5 5

v 0 u 5

5 5

0 u

(b) f (z ) = az + b, con a = 2, b = 0.

(c) f (z ) = az + b, con a = 1, b = 2.

Figura 1: En (a) se muestra la regi on R y algunos puntos interiores. En (b)-(c) se muestra la imagen de la regi on R bajo la transformaci on af n w = f (z ) = az + b, para diferentes valores de a C y b C y resulta Re(f ) = u = a1 x a2 y + b1 R I m(f ) = v = a2 x + a1 y + b2 R (1)

2. Calcular el transformado de cada uno de los lados del cuadrado, los cuales deber an estar adecuadamente parametrizados para poder recorrer la curva en cierto sentido, haciendo x = x(t) y y = y (t): L1 (color cian), tiene por ecuaciones en el plano Cz : Re(z ) = x con 1 < x < 1 I m(Z ) = 1. En este caso hacemos en la ec. (1) x = t (el par ametro que var a de -1 y 1) e y = 1, resultando u = a1 t + a2 + b1 v = a 2 t a 1 + b2 para t (1, 1).
Matem atica III - 2008

Transformaci on conforme
w = u + i v = f(z) 5 5 w = u + i v = f(z)

5 5

v 0 u 5

5 5

0 u

(d) f (z ) = az + b, con a = 1, b = 2i.

(e) f (z ) = az + b, con a = i, b = 0.

Figura 2: En (d)-(e) se muestra la imagen de la regi on R de la gura 1 bajo la transformaci on af n w = f (z ) = az + b, para otros valores de a C y b C Gracamos u + iv para valores de t (1, 1) en el plano Cw . L2 (color azul en g. 1.(a)), tiene por ecuaciones en el plano Cz : Re(z ) = 1 I m(Z ) = y con 1 < y < 1 Reemplazando en la ec. (1) por x = 1 e y = t (el par ametro que var a de -1 y 1), resulta Re(f ) = u = a1 a2 t + b1 para t (1, 1). I m(f ) = v = a2 + a1 t + b2 L3 (color rojo en g. 1.(a)), tiene por ecuaciones en el plano Cz : Re(z ) = x con 1 < x < 1 I m(Z ) = 1 En este caso debemos tener en cuenta que si nos interesa seguir recorriendo el borde del cuadrado en sentido anti-horario, tal como ven amos, ahora x deber a ir desde 1 hacia -1, entonces deberemos reemplazar en la ec. (1) por x = t e y = 1. El par ametro t seguir a variando de -1 y 1 y el sentido anti-horario lo sustenta x = t. De este modo se obtienen las ecuaciones param etricas de la imagen por la transformaci on w = f (z ) del segmento L3. De forma an aloga a la anterior se procede con el segmento L4 (color magenta en la g. 1.(a)). Para el ejemplo siguiente de la secci on .3.1, tenemos a = 0,25 + i 0,7 y b = 0 en la gura 3. Se observa que la regi on se ha encogido4 por un factor menor que uno y ha sido rotada en sentido anti-horario. Si concentramos nuestra atenci on en el segmento real [1, 1] de Cz ,
4

En ingl es shrink

Matem atica III - 2008

Transformaci on conforme
z=x+iy 5 w = u + i v = f(z) 5

5 5

0 x

5 5

0 u

(a) Regi on R Cz .

(b) f (z ) = az + b Cw .

Figura 3: En (a) se muestra la regi on R y algunos puntos interiores. En (b) se muestra la imagen de la regi on R bajo la transformaci on af n w = f (z ) = az + b, para a = 0,25+ i 0,7 C yb=0C
z=x+iy 5 5 w = u + i v = f(z)

5 5

v 0 x 5

5 5

0 u

(a) Regi on R Cz .

(b) f (z ) = az + b Cw

Figura 4: En (a) se muestra la regi on R y algunos puntos interiores. En (b) se muestra la imagen de la regi on R bajo la transformaci on af n w = f (z ) = az + b, con a = 0,25+ i 0,7 C y b = 0,1 0,5 i C. observamos que su longitud ha sido encogida a la de un segmento (cu al? ) de longitud 1.4866 en el espacio transformado Cw . Habitualmente no pensamos que una transformaci on lineal (de la forma T (z ) = A.z ) tenga la capacidad de encogerel eje real. Si ahora le sumamos una constante compleja lo que se produce es un corrimiento5 , como podemos apreciar en la gura 4. Por lo tanto una transformaci on af n es un corrimiento de una transformaci on lineal. En geometr a real se suele denominar traslaci on al corrimiento. Pensando en un futuro contexto de procesamiento de se nales, es preferible la segunda denominaci on. Tanto la palabra encoger como corrimiento son usuales en ese caso.
5

En ingl esshift

Matem atica III - 2008

Transformaci on conforme

.3.3.

Transformaciones del tipo w = z 2

f (z ) = az 2 , para a, z C.

Analicemos ahora la transformaci on

Para el mismo cuadrado R de la secci on anterior, calcule y graque su transformado, considerando los siguientes casos: a=1 a = 0,25 + i 0,7 Discuta como se transforman los puntos interiores del cuadrado. Qu e esperar a que ocurra con los puntos del exterior del cuadrado?. Considere ahora un sector circular S = z = ei , 0 < < 1 , para 0 = /3, 1 = 2/3, 0 < < 1 , y transf ormelo bajo w = z 2 . Tras haber realizado esta transformaci on, resuelva los siguientes ejercicios. Ejercicio .1 Puede inferir qu e le pasar a al sector si en lugar de tener un radio entre cero y uno, este pudiera llegar a 2?. Y si s olo pudiera llegar hasta 0.25?. Ejercicio .2 Puede inferir qu e ocurre con el eje x (el eje real) bajo la misma transformaci on?, con el eje y ?, con una recta paralela al eje x?. Con una paralela al eje y ?, Con una franja horizontal?, con una franja vertical?. Con un sector anular?. Al igual que cuando se trabajaba con funciones reales, en el campo complejo es importante desarrollar cierta intuici on de lo que una funci on simple puede hacer. Para ello se necesita tambi en cierta experiencia y esta se desarrolla con la pr actica. Una ayuda importante es el an alisis de como se transforman l neas rectas, ciertas curvas y regiones sencillas. Ejercicio .3 Cu al es la imagen bajo la transformaci on f (z ) = z 2 de la franja de ancho 2 y altura 1 acotada por los ejes real e imaginario en dos lados y que tienen al origen en la esquina inferior izquierda?. Determine cuales son las coordenadas en Cz de los v ertices de la regi on descripta. Soluci on de la secci on .3.3- Caso de sector cuadrangular En la gura 5 se muestra nuevamente nuestra regi on cuadrada R C y su imagen bajo 2 la transformaci on w = f (z ) = az para a = 1 C y a = 0,25 + i0,7. Hemos mantenido el c odigo de colores para los lados del cuadrado y sus transformados. Sin embargo observamos que parecen haber desaparecido los transformados de los lados verticales (azul y magenta). Sin embargo, un trabajo mas cuidadoso, mirando las etapas de gracaci on en Matlab, le permitir a constatar que en realidad los mismos est an escondidos debajo de las im agenes de los lados horizontales (cian y rojo). Ver las im agenes del segundo caso en 5(c-d).
Matem atica III - 2008

(2)

Transformaci on conforme
z=x+iy 3 2 1 0 1 2 3 3 2 1 0 x
2

10
w = z = f(z) 3 2 1 0 1 2 1 2 3 3 3 2 1 0 u
2 2

(a) Regi on R Cz .
w = a z = f(z) 3 2 1 0 1 2 3 3 2 1 0 u 1 2 3 v v 3 2 1 0 1 2 3 3 2

(b) f (z ) = z 2
w = a z = f(z)

0 u

(c) f (z ) = az 2

(d) f (z ) = az 2

Figura 5: En (a) se muestra la regi on R y algunos puntos interiores. En (b)-(d) se muestra la imagen de la regi on R bajo la transformaci on w = f (z ) = az 2 , para (b) a = 1 C y (c-d) a = 0,25 + i0,7 respectivamente. En (c) y (d) apreciamos como se superponen las im agenes de los lados opuestos en el cuadrado. Haciendo los c alculos anal ticos vericamos esto. En este caso se tiene: w = f (z ) = = = = a z2 (a1 + i a2 ) (x + i y )2 (a1 + i a2 ) [(x2 y 2 ) + i 2 x y ] [a1 (x2 y 2 ) a2 2 x y ] + +i [a2 (x2 y 2 ) + 2 a1 x y ]

Resulta entonces que en el plano Cw se tiene que w = u + iv con u = a1 (x2 y 2 ) a2 2 x y v = a2 (x2 y 2 ) + 2 a1 x y. A partir de este punto se procede como en el punto 2 de la p agina 6 obteni endose as los on resultados gracados en la gura 5(b) y (c). Se aprecia en ambos casos la mayor concentraci de puntos en las proximidades de z = 0 y que los segmentos de recta laterales (lados del cuadrado) se han transformado en segmentos circulares.
Matem atica III - 2008

Transformaci on conforme Soluci on de la secci on .3.3- Caso del sector circular

11

Para el caso del sector circular S dado por la ec. (2), en lugar de trabajar con coordenadas cartesianas para z , conviene trabajar con coordenadas polares, dado que la transformaci on es f (z ) = z 2 . As entonces, hacemos: z = ei , con como se indica en (2). Por lo tanto, la imagen de S a trav es de la transformaci on dada ser a w = z2 = 2 ei 2 . De aqu se concluye que w = f (z ) est a dada en Cw por w = ei con = 2 = 2 ,

y dado que 0 < < 1 , para 0 = /3, 1 = 2/3 y que 0 < < 1, se puede concluir que la imagen de la regi on S a trav es de la transformaci on w = z 2 es la regi on S del plano complejo Cw denida por S = w = ei , con 20 < < 21 , y 0 < mostrada en la gura 6.(b).
z = x+i y 1 0.5 0 0.5 1 1 0.5 0 x 0.5 1 y v 1 0.5 0 0.5 1 1 0.5 0 u 0.5 1 w = u+i v

<1 ,

(a) Regi on S Cz .

(b) f (z ) = z 2

Figura 6: En (a) se muestra la regi on S y algunos puntos interiores. En (b) se muestra la imagen de la regi on S bajo la transformaci on w = f (z ) = z 2 .

.3.4.

Transformaciones del tipo w = 1/z

La transformaci on w = 1/z en el plano complejo tiene sentido s olo si z = 0. Observando z z que f (z ) = 1/z = z = , resulta que 1 /z hace dos cosas sobre la variable z Cz : z |z |2

Matem atica III - 2008

Transformaci on conforme
3 3 2 2 1 v 0 1 2 3 3 2 1 0 x 1 2 3 y 1 0 1 2 3 3 2 1 0 u 1 2 3 w = 1/z = f(z)

12

(a) Regi on R Cz .

(b) f (z ) = 1/z

Figura 7: En (a) se muestra la regi on R y algunos puntos interiores. En (b) se muestra la imagen de la regi on S bajo la transformaci on w = f (z ) = 1/z . 1. toma primero el conjugado de z 2. luego lo escala dividiendo por su m odulo al cuadrado. Si el m odulo es uno, su u nico efecto es una reexi on sobre el eje real (el eje x). Miremos ahora la imagen de z en el plano Cw , en coordenadas polares. Si z = ei : w = f (z ) = 1 ei . , = ei con = 1 y = . Entonces Un punto que est a sobre el c rculo unitario, sigue en el, pero pasa a su reejado en el eje real. Un punto que est e dentro del c rculo unitario en Cz tendr a su imagen fuera del c rculo unitario en Cw . Por el contrario, si z estaba fuera del c rculo unitario ( > 1), su imagen tendr a < 1 y estar a dentro de el en Cw . Un punto que est a en el eje real ( = n 2, n Z) sigue estando en el eje real y en la misma semirrecta. Si < 1, entonces w ser a un n umero real mayor que uno. Un punto que est a sobre el eje imaginario ( = /2 + n 2, n Z), tendr a su imagen en el mismo eje, pero cambiar a de signo. Los puntos pr oximos al origen ser an llevados a puntos pr oximos a .

.3.5.

Transformado por 1/z del cuadrado unitario

= {z = x + iy, 0 x 1, 0 y 1}
Matem atica III - 2008

Consideremos el cuadrado unitario del primer cuadrante de Cz :

Transformaci on conforme

13

Denominemos a sus lados 1 (sobre el eje real), 2 (con x = 1), 3 (con y = 1) y 4 (sobre el eje imaginario) y consideremos sus ecuaciones param etricas en el plano Cz : 1 : z = , 0 < 1 : z = x + iy, x = 1, 0 < y 1 2 . (3) 3 : z = (1 t) + iy, y = 1, 0 < t 1 4 : z = (1 t)ei /2 , 0 < t 1 El segmento 1 se transforma por w = f (z ) = 1/z en w = con = ()1 > 1. Es decir, que se ha transformado en la semirrecta contenida en el eje real, con u > 1.
1 El segmento 4 se transforma en w = 1 ei /2 , 0 < t 1, o lo que es lo mismo t 1 w = 1t (i), 0 < t 1. Cuando t = 0, w es i, cuando t 1 , w . Por lo tanto, la imagen de 4 en el plano Cw est a en el semieje imaginario (eje v ) negativo y est a dado por w = iv , con v < 1. Para transformar el segmento 2 necesitamos mirar la transformaci on en coordenadas cartesianas:

w = f (z ) = 1/z, 1 , multiplicando por el conjugado numerador y denominador, = x+ iy x i y = x2 +y2 , entonces se tiene que, las coordenadas real e imaginaria de la imagen satisfacen: w = u + iv = es decir u= v= x2 x y i 2 , 2 +y x + y2

x , x2 +y 2 y . x2 +y 2

(4)

Para el caso de 2 : z = x + iy, x = 1, 0 < y 1 se tiene: u= v=

1 , 1+y 2 y . 1+y 2

(5)

Dividiendo m.a m. ambas ecuaciones se tiene que v/u = y y reemplazando en la primera de ec. (5) se tiene que: 1 u= , 1 + (v/u)2 de donde resulta que u2 u + v 2 = 0 y completando cuadrados, la imagen de 2 est a contenida en la circunferencia: (u 1/2)2 + v 2 = (1/2)2 , que corresponde a |w 1/2| = 1/2. Qu e parte de esta circunferencia es la imagen de 2 ? Si miramos con otros ojos nuestro segmento, y tratamos de parametrizarlo en coordenadas polares, nos dar amos cuenta que z = ei , con 0 < < /4 y 0 < < (1 + y 2 ), para 0 < y < 1. Por lo tanto, en el espacio transformado es: = , con /4 < < 0.
Matem atica III - 2008

Transformaci on conforme

14

Se tiene as que la imagen de 2 por la transformaci on w = 1/z es el arco de circunferencia de centro en w = 1/2 y de radio 1/2 comprendido entre w = f (1 + 0i) = 1 y w = f (1 + i) = 1/2 1/2 i. (Ver gura 7.(b)) Mediante un razonamiento an alogo se obtiene que la imagen de 3 es el arco de circunferencia de centro en w = (1/2) i y radio 1/2 comprendida entre w = f (1 + i) = 1/2 (1/2) i y w = f (i) = i. Observar que en este caso la ecuaci on en coordenadas cartesianas de la circunferencia es y 2 + (v 1/2)2 = 1/4. (Ver gura 7.(b)). (Realice Ud. mismo los detalles faltantes para arribar a esta conclusi on y convencerse de que es as ). Ejercicio .4 Conv enzase y demuestre anal ticamente que los puntos del interior del cuadrado van a parar a la regi on indicada en la gura 7.(b) con puntos negros.

.4.

Ejercicios propuestos con la transformada w = 1/z

Ejercicio .5 Determine la imagen por la transformaci on w = 1/z de la circunferencia |z | = 1 del plano Cz . Trate de lograr cierta intuici on simulando la transformaci on en Matlab c . Podr a observar que las circunferencias parecen transformarse en circunferencias. Qu e ocurre si la circunferencia pasa por el origen?. En este caso, observe que la imagen se degenera. Por qu e motivo?. Es la transformaci on w = 1/z conforme en el origen?. Escribamos la ecuaci on de una circunferencia de radio R con centro en z0 = x0 + iy0 trabajando en coordenadas polares: x = cos y = sin .

Desarrollando los cuadrados en la ecuaci on de la circunferencia (x x0 )2 + (y y0 )2 = R2 y reemplazando x y y por sus coordenadas polares, se obtiene:
2 2 2 x0 cos 2 y0 sin = R2 x2 0 y0 .

(6)

La transformaci on w = 1/z establece que = y = 1 en el plano transformado, entonces reemplazando en la ecuaci on anterior tenemos la ecuaci on de la curva transformada en el plano C.
2 (1/ )2 2 x0 (1/ ) cos 2 y0 (1/ ) sin() = R2 x2 0 y0 .

Esto se puede escribir como: 1 2 x0 cos() 2 y0

2 2 sin() = 2 (x2 0 + y0 R ). 2

2 2 y dividiendo ambos miembros por x2 0 + y0 R y cambiando de miembro 2

se tiene:

2 2 cos() 2 x0 /(x2 0 + y0 R ) 2 . 2 2 2 2 = 1/(x2 2 y0 /(x0 + y0 R ) cos() 0 + y0 R )

Matem atica III - 2008

Transformaci on conforme

15

Esta es la ecuaci on en el plano Cw en coordenadas polares de una circunferencia de centro u0 + iv0 = (x2 0 y0 x0 +i 2 2 2 2 + y0 R ) (x0 + y0 R2 )

2 2 y radio R/(x2 0 + y0 R ). alculos corresConv enzase de esto u ltimo comparando con la ecuaci on (6) y haciendo los c pondientes para obtener la expresi on del radio. 2 2 2 2 2 Observar que al dividir por x2 0 + y0 R se da por supuesto que x0 + y0 R = 0 . Esta expresi on se anula si el origen de coordenadas pertenece a la circunferencia (la distancia del centro de la circunferencia al origen coincide con R). Por lo tanto si z = 0 + i0 est a en la circunferencia a transformar, el radio de la regi on transformada tiende a innito y tambi en lo hace su centro. Conv enzase, trabajando a partir de las ecuaciones anteriores adecuadas, que una circunferencia de radio unitario que pase por el origen de coordenadas se transformar a por w = 1/z en una recta. Determine, a modo de ejemplo, en d onde estar a ubicado el centro de la circunferencia de radio uno en el plano z , que pasa por el origen de coordenadas, para que la misma se transforme en una recta a 45o .

Ejercicio .6 Verique que es correcto armar que la ecuaci on degenera a una recta cuando 2 2 2 R = x0 + y 0 .

.4.1.

Formas alternativas de representar un c rculo en el plano complejo

z z =0 AAz + Bz + B + CC

Una forma alternativa de representar un c rculo es:

para A, B y C n umeros complejos. Otra alternativa es utilizar la expresi on za = R, zb para R un real positivo, y A y B n umeros complejos. Ejercicio .7 Verique que: 1. Si R = 1 la ecuaci on anterior es la de una recta que bisecta el segmento que une A y B. 2. Si R = 1, da la ecuaci on de una circunferencia que corta el segmento de recta entre A y B y se puede deducir de esta expresi on una forma standard de ecuaci on de la circunferencia. 3. Utilizando las expresiones anteriores verique que la inversi on transforma c rculos en c rculos o en rectas.
Matem atica III - 2008

Transformaci on conforme

16

Ejercicio .8 Determine la imagen por la transformaci on w = 1/z de la semirrecta a 45o en el primer cuadrante del plano Cz . Ejercicio .9 Determine la imagen por la transformaci on w = 1/z de la semirrecta a 45o del segundo cuadrante del plano Cz . Ejercicio .10 Determine la imagen por la transformaci on w = 1/z del exterior de la circunferencia z = 1 ubicado en el segundo cuadrante del plano Cz . Ejercicio .11 Determine la imagen por la transformaci on w = 1/z del sector circular 1 |z | 2 ubicado en el primer cuadrante del plano Cz . Ejercicio .12 Determine la imagen por la transformaci on w = 1/z de una semirrecta paralela al eje imaginario ubicada en el primer cuadrante de Cz . Ejercicio .13 Determine la imagen por la transformaci on w = 1/z de una semirrecta paralela al eje real ubicada en el primer cuadrante de Cz .

.5.

La transformaci on fraccionaria lineal o de M obius

La transformaci on w = 1/z es un caso particular de una clase mas general de transformaciones, denominadas antiguamente como transformaciones bilineales y mas recientemente denominadas transformaciones fraccionarias lineales o de M obius. La denominaci on bilineal cay o en desuso debido a que dicha palabra tiene otros signicados y se presta a confusi on. Una forma general de una funci on de M obius es: w = f (z ) = az + b , cz + d (7)

donde a, b, c, d son n umeros complejos. Si c = 0 y d = 1 se tiene una transformaci on af n. Si a = 0, b = 1, c = 1, d = 0 se tiene una transformaci on rec proca. La importancia de estas transformaciones es que llevan c rculo (y rectas) en c rculos o en rectas. Teorema .1 Propiedad de preservaci on de c rculos Si C es un c rculo en el plano z y si f es una transformaci on fraccionaria lineal dada por (7), entonces la imagen de C por f es o un c rculo o una linea recta en el plano complejo extendido w . La imagen es una recta si y solo si c = 0 y el polo z = d/c est a en el c rculo C.

Matem atica III - 2008

Transformaci on conforme

17

.6.

Transformaci on Conforme - Revisi on

Denici on .1 Sean V y W dos espacios vectoriales sobre el mismo campo F . Se denomina transformaci on af n ( del Lat n, anis, conectado con) a una funci on A : V W tal que A(v ) = L(v ) + w, v V para alguna transformaci on lineal L : V W y cierto vector w W . L se denomina la transformaci on lineal asociada a la transformaci on af n A. Sabemos que dada una base en V , existe una matriz TL asociada a L en dicha base, tal que L(v ) puede escribirse como L(v ) = TL .v para cualquier v en V . De este modo entonces, dada una base en V una transformaci on af n puede escribirse como A(v ) = TL .v + w, v V,

para TL la matriz asociada a cierta transformaci on lineal L en dicha base. Puede demostrarse que una denici on equivalente es decir que A : V W es una transformaci on af n de V en W si existe una matriz T y un vector w W , tal que A(v ) = T v + w, v V.

En geometr a una transformaci on af n (en ingl es ane map ) entre dos espacios vectoriales (en sentido estricto entre dos espacios anes) consiste en una transformaci on lineal seguida de una traslaci on: x Ax + b En general, una transformaci on af n se compone de una o varias transformaciones lineales (rotaci on, scaling -escalamiento- or shear -corte) y una traslaci on (shift). Varias transformaciones lineales pueden combinarse en una sola matriz, permitiendo que la formula anterior aun pueda aplicarse. Denici on .2 (Transformaci on conforme) Sea w = f (z ) una transformaci on compleja denida en un dominio D y sea z0 un punto en D. Entonces se dice que w = f (z ) es conforme en z0 (o que w = f (z ) es una transformaci on conforme en z0 ) si para todo par de curvas orientadas suaves C1 y C2 en D que se intersequen en z0 , se tiene que: i) el angulo entre C1 y C2 en el plano Cz y ii) el angulo entre las correspondientes im agenes C1 y C2 en f (z0 ) en el plano Cw , son iguales tanto en magnitud como en sentido. Tambi en usamos el t ermino transformaci on conforme en D para referirnos a una transformaci on compleja w = f (z ) que lleva un domino D sobre un dominio D (sobre en el sentido de suryectiva o sobreyectiva), f :DD tal que sea conforme en z0 y que adem as sea conforme en todo punto en D.
Matem atica III - 2008

Transformaci on conforme De las secciones anteriores podr amos inferir que:

18

Las transformaciones anes f (z ) = az + b con a = 0 son conformes en todo el plano complejo. Porqu e?. Se puede vericar que w = z no es una trasformaci on conforme en el punto z0 = 1 + i porque los angulos entre las curvas z1 (t) = t + i(2t t2 ) y z2 (t) = t + i1/2(t2 + 1), para 0 t 2, conservan su magnitud pero no su sentido a trav es de esta transformaci on. Ejercicio .14 Demostrar que los angulos entre las curvas z1 (t) = t + i(2t t2 ) y z2 (t) = t + i1/2(t2 + 1), para 0 t 2, conservan su magnitud pero no su sentido a trav es de la transformaci on w = z . Sin embargo, en el caso de las transformaciones anes, s olo hemos considerado algunas curvas particulares. No es inmediato, a partir de estos ejemplos, que las mismas sean efectivamente transformaciones conformes, es decir que conserven los angulos y las orientaciones de los mismos para cualquier par de curvas que se considere. Es por lo tanto necesario contar con alg un mecanismo que nos permita realizar esta armaci on. Teorema .2 (Condici on suciente) Si f es una funci on anal tica en un dominio D Cz que contenga al punto z0 , y si f (z0 ) = 0, entonces w = f (z ) es una transformaci on conforme en z0 . Demostraci on (verla de Kaplan pag 634 o Wunsch pag 526.) Denici on .3 Puntos cr ticos Se dice que z0 es un punto cr tico de la transformaci on w = f (z ) si f es anal tica en z0 pero f (z0 ) = 0. Se demuestra que las funciones anal ticas no son conformes en sus puntos cr ticos. Por el contrario, en ellos ocurre un fen omeno de magnicaci on de los angulos. Teorema .3 (Magnicaci on de angulos en los puntos cr ticos) Sea f anal tica en un punto cr tico z0 . Sea n > 1, el menor n umero entero donde no se anula la derivada n-en esima de f , entonces el angulo entre dos curvas suaves cualesquiera que se intersequen en z0 se incrementa con un factor de n a trav es de la transformaci on w = f (z ). En particular, w = f (z ) no es una transformaci on conforme en z0 . Observar que la hip otesis dice que se satisface que: f (z0 ) = f (z0 ) = ... = f (n1) (z0 ) = 0, y que f (n) (z0 ) = 0.

Matem atica III - 2008

Transformaci on conforme

19

.7.

Problemas para pensar

Cuando crea haber entendido bien el tema de transformaciones conformes, le proponemos que trate de completar los espacios en blanco en los problemas siguientes, sin volver a mirar el texto ni sus notas. 1. La funci on anal tica f (z ) = coshz es conforme excepto en z = ...... . 2. Las transformaciones conformes preservan tanto la magnitud como ..... del angulo. 3. La funci on ... es un ejemplo de una transformaci on que es conforme en todo punto del plano complejo. 4. Si f (z0 ) = f (z0 ) = 0 y f (z0 ) = 0, entonces la transformaci on w = f (z ) .... la magnitud de los angulos en el punto z0 . 5. T (z ) = .... es una transformaci on lineal fraccionaria que transforma los puntos 0, 1 + i, e i en los puntos 1, i, y 8. 6. La imagen del c rculo |z 1| = 2 bajo la transformaci on lineal T (z ) = (2z i)/(iz + 1) es un ..... 7. La imagen de una recta L bajo la transformaci on lineal fraccionaria T (z ) = (iz 2)/(3z + 1 i) es un c rculo si y s olo si el punto z = . . . est a en L. En los siguientes problemas indique si la armaci on es verdadera o falsa, sin recurrir a sus notas o libro. Si la armaci on es falsa, justique su respuesta, explicando porque motivo lo es o bien presentando un contraejemplo. Si la armaci on es verdadera, justique su respuesta, sea demostrando la armaci on o citando un resultado apropiado visto en teor a o en estas notas. 1. Si f (z ) es anal tica en un punto z0 , entonces la transformaci on w = f (z ) es conforme en z0 . 2. La transformaci on w = z 2 + iz + 1 no es conforme en z = 1 i. 2 3. La transformaci on w = z 2 + 1 no es conforme en z = i. 4. La transformaci on w = z no es conforme en todo punto del plano complejo. 5. Una transformaci on lineal fraccionaria es conforme en todo punto de su dominio. 6. La imagen de un c rculo bajo una transformaci on lineal fraccionaria es un c rculo. 7. La transformaci on lineal fraccionaria T (z ) = los puntos i, 8, y 0, respectivamente.
z i z +1

transforma los puntos 0, 1, e i en

8. Dados tres puntos distintos z1 , z2 , y z3 , existe una transformaci on lineal fraccionaria que transforma z1 , z2 , y z3 en 0, 1, y 8.
Matem atica III - 2008

Transformaci on conforme

20

9. La inversa de una transformaci on lineal fraccionaria T (z ) = (az + b)/(cz + d) es 1 T (z ) = (cz + d)/(az + b). 10. Si f (z ) = A(z + 1) 1/2(z 1) 3/4, entonces w = f (z ) transforma el semiplano superior en una regi on poligonal no acotada. 11. Si f (z ) = A(z +1) 1/2z 1/2(z 1) 1/2, entonces w = f (z ) transforma el semiplano superior en un rect angulo.

Bibliograf a
[1] Harry Bateman. The transformation of the electrodynamical equations. Proc. London Math. Soc., 8:223264, 1910. 4 [2] Real Academia Espa nola. www.rea.org.es. 1, 2

Matem atica III - 2008