Variable Compleja

Transformaciones conformes.

Mar Eugenia Torres a

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

Octubre 2008

Transformacin conforme o

Alcance y objetivos
En estas notas tratamos de complementar con un anlisis mas detallado ciertos cona tenidos de la seccin de transformaciones conformes desarrollada en el libro de texto. Es o decir, esto no lo sustituye en modo alguno y varios temas, teoremas y propiedades no han sido abordados nuevamente aqu No obstante, en la seccin .6 (pg. 17) encontrar un . o a a 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 espaol. . . . . . . . . . . n Transformaciones conformes . . . . . . . . . . . . . . . .2.1. Usos de las transformaciones conformes . . . . . Ejemplos de introduccin . . . . . . . . . . . . . . . . . o .3.1. Transformaciones lineales y anes . . . . . . . . .3.2. Solucin de la seccin .3 . . . . . . . . . . . . . o o .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 transformacin fraccionaria lineal o de Mbius . . . o o Transformacin Conforme - Revisin . . . . . . . . . . o o 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 ol. n

En textos de matemtica escritos en ingls es frecuente encontrar las palabras map, a e mapping, transform, transformation. En consecuencia, en los textos traducidos encontramos mapa, mapeo, transformada, transformacin. Sin embargo, en muchos de los casos su uso en o castellano es errneo y un anglicismo1 . o La palabra inglesa mapping puede referir a numerosas reas cient a cas, entre ellas cartograf lingu a, stica (usado como metfora o analog gentica (Gene mapping, the asa a), e signment of DNA fragments to chromosomes), en informtica (Data mapping, Memorya mapped I/O o Texture mapping), en neurociencia (Brain mapping). En Matemtica la a palabra Map (o mapping) se usa (siempre en ingls) como sinnimo de function (funcin) e o o o -en lgica formal - como el predicado de un funcional(un s o mbolo lgico que puede aplio carse a un trmino objeto para producir otro trmino objeto). El uso de la palabra mapping e e
Conforme a la Real Academia Espaola (2). Anglicismo. (1). m. Giro o modo de hablar propio de la n 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

Matemtica III - 2008 a

Transformacin conforme o

sugiere que se trata de un trmino mas genrico. En el contexto de la geometr el trmino e e a e function se reere a un mapping cuyo propsito es asignar valores a los elementos del o dominio. En otras palabras, una funcin dene un conjunto de valores (de aqu que para o denir una funcin se necesita una terna (f, A, B)). Por el contrario, mapping tiene una o connotacin mas geomtrica, como cuando se habla de a mapping of one space to another o e (una transformacin de un espacio en otro). o Usada en castellano (2) las palabras mapa y mapear poseen las siguiente acepciones: mapa. (Del b. lat. mappa, toalla, plano de una nca rstica). u 1. m. Representacin geogrca de la Tierra o parte de ella en una supercie plana. o a 2. m. Representacin geogrca de una parte de la supercie terrestre, en la que se o a da informacin relativa a una ciencia determinada. Mapa ling o ustico, topogrco, dea mogrco. a 3. f. coloq. p. us. Lo que sobresale en un gnero, habilidad o produccin. La ciudad de e o Toro es la mapa de las frutas. mapear.(De mapa). 1. tr. Biol. Localizar y representar grcamente la distribucin relativa de las partes a o 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 matemtica, un mapa es un elemento matemtico utilizado a a en la llamada geometr diferencial, descripto como una porcin de la variedad anloga a o a a un espacio vectorial; los cambios de mapa indican cmo estas porciones de variedades se o acoplan entre s Una variedad es el objeto geomtrico estndar en matemtica, que generaliza . e a a la nocin intuitiva de curva (1-variedad) o supercie (2-variedad) a cualquier dimensin y o o 2 sobre cuerpos variados (no forzosamente el de los reales). Este tipo de teor matemtica se a a utiliza cuando se trabaja por ejemplo en control no lineal o en ciertas reas de mecnica de a a los uidos. La palabra transformacin (transformation en ingls) en su versin mas simple como e o prende una variedad de diferentes funciones de la geometr tales como rotaciones, reexiones a, y traslaciones. Estas pueden aplicarse en el espacio Eucl deo. Tambin es utilizada para dee nominar operaciones en el contexto del lgebra lineal, y que utilizan expl a citamente teor a de matrices. En este contexto, se conocen las transformaciones lineales. Sin embargo no se limita a esto. El trmino transformacin, algunas veces expresado como transformada, puede e o hacer referencia a los siguientes elementos, entre muchos otros: Transformada de Fourier, Transformada de Fourier discreta y Transformada rpida de a Fourier
Un cuerpo es una estructura del lgebra abstracta en la cual las operaciones de adicin y multiplia o cacin se pueden realizar y cumplen las propiedades asociativa, conmutativa y distributiva, adems de la o a existencia de un inverso aditivo y de un inverso multiplicativo, los cuales permiten efectuar la operaciones de substraccin y divisin (excepto la divisin por cero); estas propiedades ya son familiares de la aritmtica o o o e de nmeros ordinarios. u Los cuerpos son objetos importantes de estudio en lgebra puesto que proporcionan la generalizacin apropia o ada de dominios de nmeros tales como los conjuntos de nmeros racionales, de los nmeros reales, o de los u u u nmeros complejos. u
2

Matemtica III - 2008 a

Transformacin conforme o Transformada de coseno discreta y Transformada de coseno discreta modicada Transformada de Hilbert Transformada de Laplace Transformada Z Transformadas wavelet Transformacin bilineal o Transformacin lineal o Transformacin polinmica o o

e incluso puede ser utilizada como sinnimo de funcin. o o Por lo anterior, en el contexto de este curso, no hablaremos de mapasonformes, ni c de mapeos conformes y nos limitaremos a referirnos a transformaciones conformes o a transformaciones bilineales, por ser la denominacin correcta en el uso del idioma espaol o n en el rea de la matemtica en que estamos trabajando. a a

.2.

Transformaciones conformes

En matemtica, una transformacin conforme es una funcin que preserva ngulos. a o o a Ms formalmente, una transformacin a o w = f (z) se dice conforme (o que preserva ngulos) en z0 si preserva: a 1. la magnitud y 2. la orientacin (es decir la direccin) o o de los ngulos entre dos curvas que pasen por z0 . Las transformaciones conformes preservan a tanto los ngulos como las formas de guras innitesimalmente pequeas, pero no necesaa n riamente su tamao. n

.2.1.

Usos de las transformaciones conformes

Si una funcin es armnica - es decir si satisface la ecuacin de Laplace ( 2 f = 0 )o o o en cierto espacio particular, y es transformada por medio de una transformacin conforme o en otro espacio, la funcin transformada tambin es armnica. Por esta razn, cualquier o e o o funcin que est denida por medio de un potencial puede ser transformada por medio de o e una transformacin conforme y an seguir siendo gobernada por un potencial. En f o u sica existen mltiples ejemplos de tales funciones, entre ellas los campos electromagnticos, los u e campos gravitacionales, y en dinmica de los uidos, los ujos potenciales, que son una a
Matemtica III - 2008 a

Transformacin conforme o

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

.3.
.3.1.

Ejemplos de introduccin o
Transformaciones lineales y anes

En los cursos de clculo acostumbramos pensar a las funciones de R en R gracadas en a 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 grco est en C C, y por lo tanto en un espacio de a a dimensin cuatro. o Pensemos en una simple funcin lineal, e imaginemos que queremos transformar puntos o 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 nmero real b?. (suponga b = 4). u Graque ambas situaciones, pero antes de hacerlo trate de imaginarse que obtendr a, ganando as cierta intuicin. o Ahora analice que sucede si a es un nmero imaginario puro (suponga a = 2i). Calcule u en qu se transforma z = x + iy, bajo la transformacin T (z) = a.z con a = 2i. e o Qu sucede si b es un imaginario puro?. Suponga T (z) = z + b con b = 4i. e En cada uno de los puntos anteriores graque el transformado de la regin R. Analice como o se transformaron cada uno de los lados de R. Describa geomtricamente el efecto de dicha e transformacin. o

Que tipo de transformaciones son?.

Matemtica III - 2008 a

Transformacin conforme o 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 transformacin lineal, pero que pasa con la o imagen de R en este caso?. Graque nuevamente. Como ha actuado esta transformacin o 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 algn valor constante u 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 clsicosde ingenier aun se denomina a estas ultimas como lineales. La distincin a a, o entre ambas es importante en ingenier La adicin de un vector constante a todo vector a. o del plano es equivalente a realizar una traslacin. En ingenier esto es un corrimiento (shift, o a en ingls). Entonces, en el campo complejo, una transformacin af es una transformacin e o n o lineal con un corrimiento. Los trminos funcin, transformacinson equivalentes. Aunque en ingls se usa tame o o e bin map, y mapping, como equivalentes, no existen tales expresiones matemticas en e a castellano. Sin embargo es frecuente en las traducciones mejicanas encontrar que se habla de mapeos o mapas. Esto constituye un anglicismo.

.3.2.

Solucin de la seccin .3 o o

En la gura 1 se presentan las grcas correspondientes a los ejercicios propuestos en la a o n seccin .3. En (a) se observa que la transformacin af f (z) = az + b, con a = 2 + 0i, b = 0 o 3 produce una dilatacin tanto en la parte real como en la parte imaginaria de los puntos o del cuadrado R. En (b) se puede apreciar que f (z) = az + b, con a = 1 + 0i, b = 2 + i0 produjo slo una traslacin de R. Por su parte, la transformacin d) f (z) = az + b, con o o o a = 1 + 0i, b = 2i, tambin produjo una traslacin de R pero ahora en el sentido del eje e o imaginario. Por ultimo, en (d) observamos que f (z) = az + b, con a = i, b = 0, produjo una rotacin de 90o del rectngulo; esto puede apreciarse, por ejemplo, al mirar como han sido o a transformados los lados de R. Observar que para transformar la regin es necesario: o 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 ingls stretched, stretching. e

Matemtica III - 2008 a

Transformacin conforme o
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 regin R y algunos puntos interiores. En (b)-(c) se muestra la o imagen de la regin R bajo la transformacin af w = f (z) = az + b, para diferentes valores o o n de a C y b C y resulta Re(f ) = u = a1 x a2 y + b1 R Im(f ) = v = a2 x + a1 y + b2 R (1)

2. Calcular el transformado de cada uno de los lados del cuadrado, los cuales debern a 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 Im(Z) = 1. En este caso hacemos en la ec. (1) x = t (el parmetro que var de -1 y 1) e a a y = 1, resultando u = a1 t + a2 + b1 v = a 2 t a 1 + b2 para t (1, 1).
Matemtica III - 2008 a

Transformacin conforme o
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 regin R de la gura 1 bajo la transformacin o o af w = f (z) = az + b, para otros valores de a C y b C n 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 Im(Z) = y con 1 < y < 1 Reemplazando en la ec. (1) por x = 1 e y = t (el parmetro que var de -1 y 1), a a resulta Re(f ) = u = a1 a2 t + b1 para t (1, 1). Im(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 Im(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 ir a desde 1 hacia -1, entonces deberemos reemplazar en la ec. (1) por x = t e y = 1. El parmetro t seguir variando de -1 y 1 y el sentido anti-horario lo sustenta a a x = t. De este modo se obtienen las ecuaciones paramtricas de la imagen por e la transformacin w = f (z) del segmento L3. o De forma anloga a la anterior se procede con el segmento L4 (color magenta en a la g. 1.(a)). Para el ejemplo siguiente de la seccin .3.1, tenemos a = 0,25 + i 0,7 y b = 0 en la gura o 3. Se observa que la regin se ha encogido4 por un factor menor que uno y ha sido rotada o en sentido anti-horario. Si concentramos nuestra atencin en el segmento real [1, 1] de Cz , o
4

En ingls shrink e

Matemtica III - 2008 a

Transformacin conforme o
z=x+iy 5 w = u + i v = f(z) 5

5 5

0 x

5 5

0 u

(a) Regin R Cz . o

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

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

5 5

v 0 x 5

5 5

0 u

(a) Regin R Cz . o

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

Figura 4: En (a) se muestra la regin R y algunos puntos interiores. En (b) se muestra la o imagen de la regin R bajo la transformacin af w = f (z) = az +b, con a = 0,25+i 0,7 C o o n y b = 0,1 0,5 i C. observamos que su longitud ha sido encogida a la de un segmento (cul? ) de longitud a 1.4866 en el espacio transformado Cw . Habitualmente no pensamos que una transformacin o 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 transformacin af es un corrimiento o n de una transformacin lineal. En geometr real se suele denominar traslacin al corrimieno a o to. Pensando en un futuro contexto de procesamiento de seales, es preferible la segunda n denominacin. Tanto la palabra encoger como corrimiento son usuales en ese caso. o
5

En inglsshift e

Matemtica III - 2008 a

Transformacin conforme o

.3.3.

Transformaciones del tipo w = z 2

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

Analicemos ahora la transformacin o

Para el mismo cuadrado R de la seccin anterior, calcule y graque su transformado, cono siderando los siguientes casos: a=1 a = 0,25 + i 0,7 Discuta como se transforman los puntos interiores del cuadrado. Qu esperar que ocurra e a 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 transfrmelo bajo w = z 2 . o Tras haber realizado esta transformacin, resuelva los siguientes ejercicios. o Ejercicio .1 Puede inferir qu le pasara al sector si en lugar de tener un radio entre cero e y uno, ste pudiera llegar a 2?. Y si slo pudiera llegar hasta 0.25?. e o Ejercicio .2 Puede inferir qu ocurre con el eje x (el eje real) bajo la misma transformae cin?, con el eje y?, con una recta paralela al eje x?. Con una paralela al eje y ?, Con o 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 intuicin de lo que una funcin simple puede hacer. Para ello se necesita o o tambin cierta experiencia y sta se desarrolla con la prctica. Una ayuda importante es el e e a anlisis de como se transforman l a neas rectas, ciertas curvas y regiones sencillas. Ejercicio .3 Cul es la imagen bajo la transformacin f (z) = z 2 de la franja de ancho 2 a o 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 vrtices de e la regin descripta. o Solucin de la seccin .3.3- Caso de sector cuadrangular o o En la gura 5 se muestra nuevamente nuestra regin cuadrada R C y su imagen bajo o 2 la transformacin w = f (z) = az para a = 1 C y a = 0,25 + i0,7. Hemos mantenido el o cdigo de colores para los lados del cuadrado y sus transformados. Sin embargo observamos o que parecen haber desaparecido los transformados de los lados verticales (azul y magenta). Sin embargo, un trabajo mas cuidadoso, mirando las etapas de gracacin en Matlab, le o permitir constatar que en realidad los mismos estn escondidos debajo de las imgenes de a a a los lados horizontales (cian y rojo). Ver las imgenes del segundo caso en 5(c-d). a
Matemtica III - 2008 a

(2)

Transformacin conforme o
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) Regin R Cz . o
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 regin R y algunos puntos interiores. En (b)-(d) se muestra o la imagen de la regin R bajo la transformacin w = f (z) = az 2 , para (b) a = 1 C y (c-d) o o a = 0,25 + i0,7 respectivamente. En (c) y (d) apreciamos como se superponen las imgenes a de los lados opuestos en el cuadrado. Haciendo los clculos anal a 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 pgina 6 obtenindose as los a e o resultados gracados en la gura 5(b) y (c). Se aprecia en ambos casos la mayor concentracin de puntos en las proximidades de z = 0 y que los segmentos de recta laterales (lados del cuadrado) se han transformado en segmentos circulares.
Matemtica III - 2008 a

Transformacin conforme o Solucin de la seccin .3.3- Caso del sector circular o o

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 transformacin o es f (z) = z 2 . As entonces, hacemos: z = ei , con como se indica en (2). Por lo tanto, la imagen de S a travs de la transformacin dada ser e o a w = z2 = 2 ei 2 . De aqu se concluye que w = f (z) est dada en Cw por w = ei con a = 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 regin S a travs de la transformacin w = z 2 es la regin S del plano o e o o 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) Regin S Cz . o

(b) f (z) = z 2

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

.3.4.

Transformaciones del tipo w = 1/z

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

Matemtica III - 2008 a

Transformacin conforme o
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) Regin R Cz . o

(b) f (z) = 1/z

Figura 7: En (a) se muestra la regin R y algunos puntos interiores. En (b) se muestra la o imagen de la regin S bajo la transformacin w = f (z) = 1/z. o o 1. toma primero el conjugado de z 2. luego lo escala dividiendo por su mdulo al cuadrado. o Si el mdulo es uno, su unico efecto es una reexin sobre el eje real (el eje x). o o 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 sobre el c a rculo unitario, sigue en l, pero pasa a su reejado en el e eje real. Un punto que est dentro del c e rculo unitario en Cz tendr su imagen fuera del c a rculo unitario en Cw . Por el contrario, si z estaba fuera del c rculo unitario ( > 1), su imagen tendr < 1 y estar dentro de l en Cw . a a e Un punto que est en el eje real ( = n 2, n Z) sigue estando en el eje real y en la a misma semirrecta. Si < 1, entonces w ser un nmero real mayor que uno. a u Un punto que est sobre el eje imaginario ( = /2 + n 2, n Z), tendr su imagen a a en el mismo eje, pero cambiar de signo. a Los puntos prximos al origen sern llevados a puntos prximos a . o a o

.3.5.

Transformado por 1/z del cuadrado unitario

= {z = x + iy, 0 x 1, 0 y 1}
Matemtica III - 2008 a

Consideremos el cuadrado unitario del primer cuadrante de Cz :

Transformacin conforme o

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 paramtricas en el plano Cz : e 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 = 1t ei /2 , 0 < t 1, o lo que es lo mismo 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 en el semieje imaginario (eje v) negativo y est dado por a a w = iv, con v < 1. Para transformar el segmento 2 necesitamos mirar la transformacin en coordenadas o cartesianas:

w = f (z) = 1/z, 1 = x+ i y , multiplicando por el conjugado numerador y denominador, x i = x2 +yy , 2 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 contenida a en la circunferencia: (u 1/2)2 + v 2 = (1/2)2 , que corresponde a |w 1/2| = 1/2. Qu parte de esta circunferencia es la imagen de 2 ? e 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.
Matemtica III - 2008 a

Transformacin conforme o

14

Se tiene as que la imagen de 2 por la transformacin w = 1/z es el arco de circunferencia o 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 anlogo se obtiene que la imagen de 3 es el arco de circunfea rencia 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 ecuacin en coordenadas cartesianas de la o circunferencia es y 2 + (v 1/2)2 = 1/4. (Ver gura 7.(b)). (Realice Ud. mismo los detalles faltantes para arribar a esta conclusin y convencerse de que es as o ). Ejercicio .4 Convnzase y demuestre analticamente que los puntos del interior del cuadrae do van a parar a la regin indicada en la gura 7.(b) con puntos negros. o

.4.

Ejercicios propuestos con la transformada w = 1/z

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

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

(6)

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

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

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

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

se tiene:

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

Matemtica III - 2008 a

Transformacin conforme o

15

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

2 y radio R/(x2 + y0 R2 ). 0 a Convnzase de esto ultimo comparando con la ecuacin (6) y haciendo los clculos correse o pondientes para obtener la expresin del radio. o 2 2 Observar que al dividir por x2 + y0 R2 se da por supuesto que x2 + y0 R2 = 0 . Esta 0 0 expresin se anula si el origen de coordenadas pertenece a la circunferencia (la distancia del o centro de la circunferencia al origen coincide con R). Por lo tanto si z = 0 + i0 est en la a circunferencia a transformar, el radio de la regin transformada tiende a innito y tambin o e lo hace su centro. Convnzase, trabajando a partir de las ecuaciones anteriores adecuadas, que una circunfee rencia de radio unitario que pase por el origen de coordenadas se transformar por w = 1/z a en una recta. Determine, a modo de ejemplo, en dnde estar ubicado el centro de la circunferencia de o a 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 ecuacin degenera a una recta cuando o 2 2 2 R = x0 + y 0 .

.4.1.

Formas alternativas de representar un c rculo en el plano complejo

AAz z + Bz + B z + C C = 0

Una forma alternativa de representar un c rculo es:

para A, B y C nmeros complejos. u Otra alternativa es utilizar la expresin o za = R, zb para R un real positivo, y A y B nmeros complejos. u Ejercicio .7 Verique que: 1. Si R = 1 la ecuacin anterior es la de una recta que bisecta el segmento que une A y o B. 2. Si R = 1, da la ecuacin de una circunferencia que corta el segmento de recta entre o A y B y se puede deducir de esta expresin una forma standard de ecuacin de la o o circunferencia. 3. Utilizando las expresiones anteriores verique que la inversin transforma c o rculos en crculos o en rectas.
Matemtica III - 2008 a

Transformacin conforme o

16

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

.5.

La transformacin fraccionaria lineal o de Mbius o o

La transformacin w = 1/z es un caso particular de una clase mas general de transforo maciones, denominadas antiguamente como transformaciones bilineales y mas recientemente denominadas transformaciones fraccionarias lineales o de Mbius. La denominacin bilineal o o cay en desuso debido a que dicha palabra tiene otros signicados y se presta a confusin. o o Una forma general de una funcin de Mbius es: o o w = f (z) = az + b , cz + d (7)

donde a, b, c, d son nmeros complejos. Si c = 0 y d = 1 se tiene una transformacin af Si u o n. a = 0, b = 1, c = 1, d = 0 se tiene una transformacin rec o proca. La importancia de estas transformaciones es que llevan c rculo (y rectas) en c rculos o en rectas. Teorema .1 Propiedad de preservacin de c o rculos Si C es un crculo en el plano z y si f es una transformacin fraccionaria lineal dada por o (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 en el c a rculo C.

Matemtica III - 2008 a

Transformacin conforme o

17

.6.

Transformacin Conforme - Revisin o o

Denicin .1 Sean V y W dos espacios vectoriales sobre el mismo campo F . Se denomina o transformacin af ( del Latn, anis, conectado con) a una funcin A : V W tal o n o que A(v) = L(v) + w, v V para alguna transformacin lineal L : V W y cierto vector w W . L se denomina la o transformacin lineal asociada a la transformacin af A. o o n 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 transformacin af puede escribirse como o n A(v) = TL .v + w, v V,

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

En geometr una transformacin af (en ingls ane map) entre dos espacios vectoriales a o n e (en sentido estricto entre dos espacios anes) consiste en una transformacin lineal seguida o de una traslacin: o x Ax + b En general, una transformacin af se compone de una o varias transformaciones lineales o n (rotacin, scaling -escalamiento- or shear -corte) y una traslacin (shift). Varias transformao o ciones lineales pueden combinarse en una sola matriz, permitiendo que la formula anterior aun pueda aplicarse. Denicin .2 (Transformacin conforme) Sea w = f (z) una transformacin compleja o o o 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 transformacin conforme en z0 ) si para todo par o de curvas orientadas suaves C1 y C2 en D que se intersequen en z0 , se tiene que: i) el ngulo entre C1 y C2 en el plano Cz y a ii) el ngulo entre las correspondientes imgenes C1 y C2 en f (z0 ) en el plano Cw , a a son iguales tanto en magnitud como en sentido. Tambin usamos el trmino transformacin conforme en D para referirnos a una transe e o formacin compleja w = f (z) que lleva un domino D sobre un dominio D (sobre en el o sentido de suryectiva o sobreyectiva), f :DD tal que sea conforme en z0 y que adems sea conforme en todo punto en D. a
Matemtica III - 2008 a

Transformacin conforme o 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 trasformacin conforme en el punto z0 = 1 + i o porque los ngulos entre las curvas z1 (t) = t + i(2t t2 ) y z2 (t) = t + i1/2(t2 + 1), para a 0 t 2, conservan su magnitud pero no su sentido a travs de esta transformacin. e o Ejercicio .14 Demostrar que los ngulos entre las curvas z1 (t) = t + i(2t t2 ) y z2 (t) = a 2 t + i1/2(t + 1), para 0 t 2, conservan su magnitud pero no su sentido a travs de la e transformacin w = z . o Sin embargo, en el caso de las transformaciones anes, slo hemos considerado algunas o curvas particulares. No es inmediato, a partir de estos ejemplos, que las mismas sean efectivamente transformaciones conformes, es decir que conserven los ngulos y las orientaciones a de los mismos para cualquier par de curvas que se considere. Es por lo tanto necesario contar con algn mecanismo que nos permita realizar esta armacin. u o Teorema .2 (Condicin suciente) o Si f es una funcin analtica en un dominio D Cz que contenga al punto z0 , y si f (z0 ) = 0, o entonces w = f (z) es una transformacin conforme en z0 . o Demostracin (verla de Kaplan pag 634 o Wunsch pag 526.) o Denicin .3 Puntos crticos Se dice que z0 es un punto cr o tico de la transformacin w = o f (z) si f es analtica 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 fenmeno de magnicacin de los ngulos. o o a Teorema .3 (Magnicacin de ngulos en los puntos cr o a ticos) Sea f anal tica en un punto crtico z0 . Sea n > 1, el menor nmero entero donde no se anula la derivada n-ensima u e de f , entonces el ngulo entre dos curvas suaves cualesquiera que se intersequen en z0 se a incrementa con un factor de n a travs de la transformacin w = f (z). En particular, e o w = f (z) no es una transformacin conforme en z0 . o Observar que la hiptesis dice que se satisface que: o f (z0 ) = f (z0 ) = ... = f (n1) (z0 ) = 0, y que f (n) (z0 ) = 0.

Matemtica III - 2008 a

Transformacin conforme o

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 funcin anal o tica f (z) = coshz es conforme excepto en z = ...... . 2. Las transformaciones conformes preservan tanto la magnitud como ..... del ngulo. a 3. La funcin ... es un ejemplo de una transformacin que es conforme en todo punto del o o plano complejo. 4. Si f (z0 ) = f (z0 ) = 0 y f (z0 ) = 0, entonces la transformacin w = f (z) .... la o magnitud de los ngulos en el punto z0 . a 5. T (z) = .... es una transformacin lineal fraccionaria que transforma los puntos 0, 1 + o i, e i en los puntos 1, i, y 8. 6. La imagen del c rculo |z 1| = 2 bajo la transformacin lineal T (z) = (2z i)/(iz + 1) o es un ..... 7. La imagen de una recta L bajo la transformacin lineal fraccionaria T (z) = (iz o 2)/(3z + 1 i) es un c rculo si y slo si el punto z = . . . est en L. o a En los siguientes problemas indique si la armacin es verdadera o falsa, sin recurrir a sus o notas o libro. Si la armacin es falsa, justique su respuesta, explicando porque motivo lo es o o bien presentando un contraejemplo. Si la armacin es verdadera, justique su respuesta, o sea demostrando la armacin o citando un resultado apropiado visto en teor o en estas o a notas. 1. Si f (z) es anal tica en un punto z0 , entonces la transformacin w = f (z) es conforme o en z0 . 2. La transformacin w = z 2 + iz + 1 no es conforme en z = 1 i. o 2 3. La transformacin w = z 2 + 1 no es conforme en z = i. o 4. La transformacin w = z no es conforme en todo punto del plano complejo. o 5. Una transformacin lineal fraccionaria es conforme en todo punto de su dominio. o 6. La imagen de un c rculo bajo una transformacin lineal fraccionaria es un c o rculo. 7. La transformacin lineal fraccionaria T (z) = o los puntos i, 8, y 0, respectivamente.
zi z+1

transforma los puntos 0, 1, e i en

8. Dados tres puntos distintos z1 , z2 , y z3 , existe una transformacin lineal fraccionaria o que transforma z1 , z2 , y z3 en 0, 1, y 8.
Matemtica III - 2008 a

Transformacin conforme o

20

9. La inversa de una transformacin lineal fraccionaria T (z) = (az + b)/(cz + d) es o 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 regin poligonal no acotada. o 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 rectngulo. a

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

Matemtica III - 2008 a