En este cap tulo veremos brevemente una parte de la geometr del plano a complejo.

Nos concentraremos unicamente a dos aspectos, las transformaciones conformes y las supercies de Riemann. Vamos a iniciar con las transformaciones conformes.

Transformaciones Conformes

Las transformaciones conformes se llevan a cabo para poder simplicar un problema. Son muy utiles en la solucin de ecuaciones diferenciales, para resolver o problemas de f sica, qu mica, ingenier y matemticas en general, entre otros. a a Su denicin es la siguiente: o Denicin 1 Una transformacin conforme en una regin R C es una o o o funcin Z : C C tal que Z es analtica y o dZ =0 dz en R. Lo interesante de la funcin Z es que transforma una regin del dominio de ella, o o en otro regin diferente, es decir, a cada punto z = x + iy del plano complejo o (x, y), le asocia otro punto Z = u(x, y) + iv(x, y) del plano complejo (u, v). Para ver esto, vamos algunos ejemplos. Ejemplo 2 Traslaciones. El ejmplo ms simple es sin duda una traslacin a o conforme. Sea Z(z) = Z(x, y) = z + z0 = x + x0 + i(y + y0 ). Entonces, un punto x + iy en el plano complejo, se ve como otro punto x + x0 + i(y + y0 ) en el plano conforme, como en la gura 1

Figure 1: La transformacin conforme Z(z) = z + z0 , la cual conrresponde a o una traslacin. o A cada punto z = x + iy se le asocia un punto u = x + x0 y v = y + y0 . Por ejemplo, una linea en el plano complejo y = mx + b, se transforma en v y0 = m(u x0 ) + b, la cual es una linea paralela a la anterior desplazada, como en la gura 1 1

Ejemplo 3 Rotaciones. Otro ejemplo interesante es la rotacin conforme. o Esta est denida como Z(z) = z z0 . Para visualizar la transformacin, es a o conveniente escribir sta en su forma polar. Si z = rei , entonces Z(z) = e r r0 ei(+0 ) . Es decir, el punto z = rei fue trasladado una distancia r r r0 y rotado de + 0 . Vean la gura 2. Por ejemplo, la rotacin z0 = ei0 de o

Figure 2: La transformacin conforme Z(z) = z z0 , la cual conrresponde a una o rotacin del punto z. o un crculo x2 + y 2 = z z = r2 en el plano complejo, deja al crculo invariante, ya que si lo vemos en la representacin polar, este queda como Z Z = zz0 z z0 = r2 . o Ejemplo 4 Inversiones. Tal vez el ejemplo ms interesante sea el de la ina versin conforme. La inversin esta denida como Z(z) = 1/z y para vio o sulizarla primero conviene escribir el nmero z en su forma polar z = rei . 1 o Entonces, la inversin se ve como Z(z) = r ei , es decir, la inversin llo eva al nmero z al lado opuesto del plano complejo. Otra forma conveniente u de visualizar una inversin es utilizando su forma Z(x, y) = 1/(x + iy) = o (x iy)/(x2 + y 2 ). De aqu se ve que una inversin nos lleva al complejo o conjugado del nmero, dividio entre el mdulo al cuadrado. Vamos a escribir la u o forma explicita de la inversin como o u= De donde podemos escribir x= u , u2 + v 2 y= v u2 + v 2 x2 x , + y2 v= x2 y + y2 (1)

Por ejemplo, una lnea recta que pasa por el orgen y = mx, tras una in v versin se vera como esa lnea recta pero con la pendiente invertida u2 +v2 = o u m u2 +v2 , es decir v = mu. Una lnea paralela al eje x, y = c, se vera como: v + u2 + v 2 = 0 c 2

que se puede escribir de otra forma como u2 + (v + 1 2 1 ) = 2c (2c)2

el cual es un crculo centrado en (0, 1/(2c)), de radio 1/(2c). Es decir, una recta paralela al eje x, bajo una inversin es un crculo. En la gura 3 se puede o ver el crculo u2 + (v + 1/2)2 = 1/4, el cual es la inversin de la recta y = 1. o En general, una recta y = mx + b se vera tras una inversin como: o v = m u b(u2 + v 2 ) Esta ultima expresin se puede reescribir como o v+ 1 2b
2

+ u+

m 2b

1 + m2 4b2

(2)

para b 0, el cual es claramente un crculo con centro en 1/(2b)(m, 1) y con = radio 1 + m2 /(2b), en el plano (u, v). En la gura 3 se puede ver el crculo (u + 1/2)2 + (v + 1/2)2 = 1/2, el cual es la inversin de la recta y = x + 1. o Concluimos que la inversin de una recta que pasa por el origen es siempre otra o recta con pendiente invertida o un crculo, si la recta no pasa por el origen.

Figure 3: La transformacin conforme Z(z) = 1/z, de la recta y = x + 1, en el o plano (u, v). De la misma manera podemos visualizar un crculo despus de una inversin. e o Sea el crculo z z = x2 + y 2 = r2 , con r constante. Usando las expresiones anteriores, el crculo se ve como: x2 + y 2 = v2 u2 + 2 = r2 (u2 + v 2 )2 (u + v 2 )2 3

de donde se sigue que:

1 r2 Es decir, se obtiene el mismo crculo, pero con un radio invertido. u2 + v 2 = Vamos a observar una caracteristica muy interesante de las transformaciones conformes. Veamos primero el ejemplo 2 de las traslaciones conformes. Al trasladar una recta del plano (x, y) al plano (u, v), la pendiente de las rectas no se altera, as que si dos curvas en el plano (x, y) se cruzan en un punto, el angulo que forman entre ellas se conservar en el plano (u, v). Esta armacin a o no es tan evidente en el ejemplo 4 de las inversiones conformes. Sin embargo, sean dos rectas que se cruzan en el plano (x, y), por ejemplo y = m1 x + b1 y y = m2 x + b2 y supongamos que se cruzan en el punto (x0 , y0 ). En este punto se tiene que: x0 y0 = = b2 b1 m1 m2 m1 b 2 m2 b 1 m1 m2

(3)

Tomemos la inversin conforme de las rectas como en el ejemplo 4. Con estos o valores, tambin podemos escribir el punto de cruce (u0 , v0 ) de los c e rculos correspondientes en el plano (u, v), usando la frmula (1) y los valores (3). En o el plano (u, v), la pendiente M de la recta tangente en cualquier punto (u, v) de los c culos correspondietes a las rectas en (x, y) se obtiene derivando (2), es decir: m u + 2b dv = M= (4) 1 du v + 2b En el punto (u0 , v0 ), el ci rculo 1 tendr una recta tangente con pendiente M1 y a el c rculo 2, una recta tangente con pendiente M2 , dadas por (4), con sus valores correspondientes de m1 , b1 , m2 y b2 . Ahora calculemos los angulos que forman dichas rectas. Lo mas simple es calcular la tangente de su diferencia, es decir: tan(2 1 ) = M2 M1 1 + M1 M2 (5)

donde 1 es el angulo que forma la recta tangente al c rculo 1 en el punto (u0 , v0 ) con el eje u y 2 es el correspondiente para el c rculo 2. Ahora substituimos los valores de M1 y M2 en terminos de las contantes de las rectas y (despues de mucha lgebra) se obtiene: a tan(2 1 ) = m1 m2 = tan(2 1 ) 1 + m1 m2

donde ahora 1 es el angulo que forma la recta 1 con el eje x y 2 , el que forma la recta 2. Es decir, de nuevo la diferencia entre los ngulos se conserva. En la a gura 3 se puede ver como las rectas y = x + 1 y y = 1 se cruzan en (0, 1). Los 4

c rculos correspondientes se cruzan en el plano (u, v) en el punto (0, 1). En este punto las rectas tangentes a cada c rculo forman un ngulo igual que las a rectas correspondientes en el plano (x, y). Lo que vamos a probar ahora es que esta propiedad es general en las transformaciones conformes. Teorema 5 Sean 1 y 2 los angulos de las rectas tangentes a dos curvas C1 y C2 respectivamente en un punto (x0 , y0 ) donde estas curvas se cruzan. Sean Z : C C una transformacin conforme y C1 y C2 las curvas transformadas o bajo Z de C1 y C2 , respectivamente. Sea 1 el angulo con respecto a u de la curva tangente de C1 en el punto Z(x0 , y0 ) = (u0 , v0 ) y 2 el angulos de la curva tangente de C2 . Entonces se cumple que 1 2 = 1 2 Dem. 6 Por denicin, la transformacin conforme Z cumple con que o o dZ dz = lim
z0 z0

Z z

= rei
z0

z0

=0

Por supuesto el angulo depende de z, pero para un punto jo z0 ste angulo e es una constante. En su forma polar, para que dos nmeros complejos sean u iguales, su modulos y sus argumentos deben coincidir. Entonces, los argumentos de la ecuacin anterior son: o = arg lim Z z0 z = = = Z z0 z lim arg Z lim arg z lim arg
z0 z0

como se muestra en la gura 4. Supongamos que tenemos las dos curvas, C1 y C2 en el plano (x, y) y se cruzan en el punto z0 = x0 + iy0 . En el plano (u, v) estas curvas son C1 y C2 . Para la curva 1 se tiene que = 1 1 y para la curva 2 = 2 2 , de tal forma que: 1 2 = 1 2 Un ejemplo muy interesante de una transformacin conforme no lineal es el o siguiente: Ejemplo 7 Sea Z = z 2 una transformacin conforme. Esta transformacin o o esta dada por: u = x2 y 2 , v = 2xy

A esta transformacin se le conoce como coordenadas hiporblicas, ya que o o las lineas u = x2 y 2 =constante y v = 2xy =constante, forman hiprbolas en el e plano (x, y). Lo interesante del teorema anterior es que como la transformacin o lleva hiprbolas del plano (x, y) a lineas perpendiculares al plano (u, v), como se e ve en la gura 5, las hiprbolas en el plano (x, y) forman un sistema otrogonal e de coordenadas, por eso el nombre de coordenadas hiperblicas. o 5

Figure 4: Los argumentos de la transformacin conforme Z, en el l o mite cuando z va a cero. Existen muchos mas ejemplos de este tipo de transformaciones, pero es mejor que el lector las estudie en forma de ejercicios. Ejercicio 8 Consideremos las sucesin de transformaciones conformes o 1.- z1 = z + d c 2.- z2 = c2 z1 3.- z3 = z1 2 4.- z4 = (bc ad)z3 5.- z5 = a + z4 c Tomen sucesivemente estas transformaciones y encuentren el resultado nal y la condicin para que esta ultima sea una transformacin conforme. Sean o o el crculo x2 + (y 1)2 = 1 y la recta y = x + 1. Encuentren las curvas resultantes despues de la quinta transformacn sucesiva de estas dos curvas. A o esta transformacin se le llama la transformacin homogrca. o o a Ejercicio 9 Examinen la transformacin conforme o Z = 2 arctan(ia z) Den sus transformaciones del plano (x, y) al plano (u, v) y viceversa explcitamente. Encuentren la tranformacin del crculo x2 + (y 1)2 = 1 y de la recta y = x + 1 o bajo esta transformacin. o

Supercies de Riemann

En la seccin anterior vimos como la funcin f : C C, tal que f (z) = z 2 transo o forma puntos de un plano complejo a otro. En su forma polar, esta funcin o tambin se puede escribir como f (z = rei ) = r2 e2i . En particular, podemos e 6

Figure 5: La transformacin conforme Z = z 2 , la cual transforma coordenadas o hiperblicas en coordenadas castesianas. o tomar un c rculo en el dominio de la funcin y ver como este se mapea en el o codominio. Claramente, una vuelta en el dominio implicar una doble vuelta a en el c rculo del codominio, alrededor de un c rculo que tiene el cuadrado del radio del correspondiente en el dominio. En la seccin ?? vimos que el inverso o de esta funcin en el plano real, es una funcin porque no es univaluada, es o no o decir f : , tal que f (x) = x tiene dos valores para cada x en el dominio. En esta seccin veremos de una manera intuitiva como en variable compleja es o posible hacer que este tipo de mapeos se puedan ver como funciones, deniendo un dominio adecuado llamado supercie de Riemann. En realidad, una supercie de Riemann es una variedad compleja, pero nosotros veremos variedades hasta la seccin ??. Por ahora lo que haremos es ver la idea funcional de lo que o es una supercie de Riemann. Para hacer esto veremos un par de ejmplos. Ejemplo 10 Vamos a iniciar con la funcin (relacin) f : C C, tal que o o 1 f (z) = z. En su forma polar, esta funcin f (rei ) = re 2 recorre la mitad o de un crculo en el plano (u, v), como se ve en la gura 6. Vamos a identicar el eje positivo de los reales + con otro eje positivo de la parte real de otro plano complejo, como se ve en la gura 7, de tal forma que un crculo iniciando en el punto 0, contina hasta el punto 1 de ese plano, despus sigue en el punto 1 u e del otro plano y sigue hasta el punto 2 de ese plano y de ahi pasa al punto 2 del primer plano complejo, hasta completar una vuelta en los dos plano. A estos dos planos juntos se le llama una supercie de Riemannm R, de tal forma que o la funcin R C, con f (z) = z ahora es una funcin univaluada y biyectiva. o 7

Figure 6: La transformacin conforme Z = o (u, v).

z, recorre solo la mitad del plano

Figure 7: Dos planos complejos (x, y), en donde identicamos sus partes reales positivas. Esta unin de espacios forma una supercie de Riemann. o

Ejemplo 11 Otro ejemplo similar es la funcin f : C C donde f (z) = o z 1/3 . En este caso dos planos identicados como en el caso anterior no sern a suciente. Para esta funcin se necesitan tres planos, como los de la gura 8. o En esta supercie de Riemann iniciamos en el punto 0, continuamos hasta e punto 1 de este plano y de ah pasamos al punto 1 del segundo plano, seguimos en este plano hasta el punto dos y continuamos en el punto dos del tercer plano hasta al punto tres, que nos conduce de nuevo al punto 3 del primer plano complejo. Si el dominio de la funcin f es esta supercie de Riemann R, es o 8

decir, f : R C, la funcin f (z) = z 1/3 es biyectiva. o

Figure 8: Lo mismo que en la gura 7, pero ahora con tres planos. Ejemplo 12 Finalmente vamos a anlizar la funcin ln(z). En este caso teno emos que ln(rei ) = ln(r) + i. Esta funcin (relacin) tiene un nmero innito o o u de puntos de multivaluacin, ya que todos los valores de = + 2k, con o k = 0, 1, 2, , corresponden al mismo punto z = rei = rei+i2k . Para este caso vamos a necesitar una supercie de Riemann con un nmero innito u de planos identicados como en los casos anteriores.