ndice general

1. Nmeros Complejos 1.1. La Inevitabilidad de los Nmeros Complejos . . . . 1.2. Recapitulacin de las propiedades elementales . . . 1.2.1. Campo no ordenado . . . . . . . . . . . . 1.2.2. Raz cuadrada . . . . . . . . . . . . . . . . . 1.2.3. Representacin geomtrica . . . . . . . . . . 1.2.4. Conjugacin . . . . . . . . . . . . . . . . . . 1.2.5. Interpretacin geomtrica de las operaciones 1.2.6. Representacin de C con matrices . . . . . . 1.2.7. Frmula de De Moivre . . . . . . . . . . . . 6 6 13 13 15 16 16 19 22 23 24 25 25 27 29

. . . . . . . . .

. . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

. . . . . . . . . . . . .

1.2.8. Races . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3. Importancia y Singularidad de los Nmeros Complejos 1.3.1. El caso de R3 . . . . . . . . . . . . . . . . . . . 1.3.2. Los cuaternios . . . . . . . . . . . . . . . . . . . 1.3.3. Factorizacin de polinomios reales . . . . . . . .

1.4. Teorema Fundamental del Algebra . . . . . . . . . . . . . . . . . . . . . 30 1.4.1. Preguracin de algunas ideas sobre las transformaciones complejas 30 1.4.2. Demostracin elemental del Teorema Fundamental del Algebra . . 32 2. Transformaciones del Plano Complejo 2.1. El Grupo Afn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.1.1. Traslacin. Rotacin. Homotecia. . . . . . . . . . . . . . . . . . . 2.1.2. El Grupo Afn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2. Transformaciones de Mbius . . . . . . . . . . 2.2.1. Inversin . . . . . . . . . . . . . . . . . 2.2.2. La esfera de Riemann . . . . . . . . . . 2.2.3. Transformaciones de Mbius . . . . . . 2.2.4. Invariancia de crculos, ngulos y razn 2.2.5. Introduccin a las funciones Racionales 1 . . . . . . . . . . . . . . . . . . . . cruzada. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 35 35 38 43 43 45 46 49 53

2.3.

Anlisis geomtrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3.1. z2 como transformacin del plano. Duplicacin y preservacin de ngulos . . . . . . . . . . . . . . . . . . 2.3.2. Raz cuadrada. Otras potencias y races. 2.3.3. Polinomios y funciones Racionales . . . . 2.3.4. Funcin de Zhukovsky . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

53 53 68 70 79 83 83 86 88 89 91 93 93 93 95 97 97 98 102 102 103 103 105

2.4. La exponencial y las funciones trigonomtricas 2.4.1. Funcin Exponencial . . . . . . . . . . . 2.4.2. Transformacin del Plano bajo la funcin 2.4.3. Funcin Logaritmo . . . . . . . . . . . .

. . . . . . . . . . . . . . exponencial . . . . . . .

2.4.4. Funciones trigonomtricas e hiperblicas . . . . . . . . . . . . . . 2.4.5. Funcin coseno y su inversa . . . . . . . . . . . . . . . . . . . . . 3. Derivacin de Funciones Complejas 3.1. Funcin derivable . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1.1. Ejemplos de funciones derivables y no derivables. . . . . . . 3.1.2. Una funcin es derivable si, y slo si, lo es como funcin real derivada es C -lineal. . . . . . . . . . . . . . . . . . . . . . . 3.1.3. Derivacin respecto a z y a z conjugada . . . . . . . . . . . . 3.1.4. Determinante jacobiano . . . . . . . . . . . . . . . . . . . . 3.1.5. Interpretacin en Mecnica de Fluidos . . . . . . . . . . . . 3.2. Teorema complejo de la funcin inversa . . . . . . . . . . . . . . . . 3.2.1. Teorema complejo como corolario del real . . . . . . . . . . . 3.2.2. Funcin armnica . . . . . . . . . . . . . . . . . . . . . . . . 3.2.3. Derivabilidad de las funciones elementales . . . . . . . . . . 4. Integracin de Funciones Complejas . . y . . . . . . . . . . . . su . . . . . . . . . . . . . . . .

4.1. Integral Compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 4.1.1. La integracin compleja como integral de lnea . . . . . . . . . . . 105 4.1.2. Propiedades elementales de las integrales de lnea complejas. . . . 107 4.2. Teorema de la Primitiva . . . . . . . . . . . . . . . . . . . . . . . . . . . 109 4.2.1. Ejemplos de funciones integrables y no integrables . . . . . . 4.2.2. Integrabilidad de las potencias positivas y no negativas de z ...salvo una. Comparacin con las integrales de lnea reales: campos conservativos y diferenciales exactas. . . . . . . . . . . . . . . . . 4.3. Teorema de Cauchy para el rectngulo . . . . . . . . . . . . . . . . . . . 4.4. Integracin de funciones racionales . . . . . . . . . . . . . . . . . . . . . 4.4.1. El Teorema del Residuo (primera versin) . . . . . . . . . . . . . 4.4.2. Clculo de Integrales reales . . . . . . . . . . . . . . . . . . . . . 2 109

111 115 117 117 118

A. Teorema (Bolzano-Weierstrass): B. Teorema Fundamental del Algebra C. Geometra real con notacin compleja D. Fracciones Parciales E. Geometra hiperblica

121 122 124 127 130

Introduccin
Estas notas son una primera versin escrita del curso de Variable Compleja I que imparte el Dr. Santiago Lpez de Medrano en la Facultad de Ciencias de la UNAM. Se trata de un enfoque que pone especial nfasis en el anlisis geomtrico de los distintos conceptos y resultados de las funciones de variable compleja, con la intencin de que el alumno pueda interpretarlos intuitivamente y compararlos recurrentemente con el caso de funciones de variable real. El objetivo de este trabajo es proporcionar a los estudiantes de las carreras de matemticas, fsica, actuara y ciencias de la computacin un material de apoyo a su participacin en el propio curso, aunque creemos que ser de utilidad en general para todos aquellos que quieran acercarse al estudio de las funciones de variable compleja. Se presupone que los alumnos han tomado las cuatro asignaturas de Clculo Diferencial e Integral que forman parte del tronco comn de dichas carreras. No obstante que esta primera versin escrita trata de reunir las ideas surgidas durante varios semestres, hay dos cosas que son indudables: una, que difcilmente puede recogerse en un papel el mundo de ideas que aoran en los cursos de Santiago. La otra, que naturalmente que este material habr de verse enriquecido al calor de las discusiones de los nuevos grupos en que sea expuesto. En todo caso, nos daremos por bien servidos si logramos contribuir con este trabajo a que esto suceda. En el curso de Variable Compleja II, con la introduccin de nuevos conceptos y resultados podrn verse desde otra ptica muchas de las ideas que aqu se plantean, abordndose entonces nuevas versiones de varios resultados que aqu aparecen. Diversas aplicaciones en Fsica y Matemticas dan cuenta de la importancia de toda esta problemtica (Mecnica de Fluidos, Fractales, etc). La estructura del trabajo es a grandes rasgos la siguiente. Dentro del primer captulo abordamos el origen histrico de los nmeros complejos, de cmo fue la cbica la responsable de ello con su caso irreducible. Se dene el campo de los nmeros complejos y se discute por qu no es un campo ordenado. Una recapitulacin de las propiedades elementales, la interpretacin geomtrica de las operaciones y la representacin de C con matrices. En la tercera seccin de este captulo se analiza la imposibilidad de extender el campo de los nmeros complejos a espacios de dimensin mayor que dos. En general, se observa que se trata de un campo realmente muy interesante e importante, que muchos problemas en R adquieren un mejor panorama vistos desde C. Que tal y como lo expres el matemtico francs Jacques-Salomn Hadamard "...el camino ms corto entre dos resultados sobre los nmeros reales pasa frecuentemente por los complejos". 4

Al nal de este captulo se demuestra de manera elemental el Teorema Fundamental del Algebra. Una demostracin ms rigurosa puede consultarse en el Apndice B. En el Captulo II se aborda ya en forma el estudio de las funciones de variable compleja. Como indicbamos ms arriba, ste estar atravesado de principio a n por el anlisis geomtrico: imgenes directas e inversas de puntos, rectas, crculos, mallas de rectas horizontales y verticales, visin global sobre cmo es transformado todo el plano por la funcin, de si hay o no conservacin de ngulos, simetras, etc. La primera parte est dedicada al estudio de traslaciones, rotaciones, homotecias, el grupo afn, las transformaciones de Mbius, la razn cruzada. Luego se examina detenidamente la funcin z 2 , para pasar ms adelante a analizar los polinomios, su comportamiento cuando z tiende a innito, etc. y las funciones racionales. Se trabaja con la funcin de Zhukovsky, lo cual ayudar mas adelante a entender nuevas funciones que pueden ser vistas como composiciones que la incluyen. Finalmente, concluimos el captulo con el estudio de las funciones exponencial y logaritmo. El Captulo III est dedicado a entender el concepto de derivada, qu implicaciones tiene que una funcin compleja sea derivable. Se da una breve interpretacin de ella desde la ptica de la Mecnica de Fluidos y en la segunda parte nos detenemos a analizar el Teorema Complejo de la Funcin Inversa. Para concluir esta primera parte del curso de Variable, se estudia en el Captulo IV la integral compleja y sus principales propiedades. Se discute una primera versin del Teorma de Cauchy y tambin del Teorema del Residuo, para el cual se anexa, en el Apndice D, una bonita demostracin de que toda funcin racional puede descomponerse como la suma de fracciones parciales. Y ya para nalizar, estudiamos algunas integrales reales de difcil solucin, abordndolas con la herramienta desarrollada. Marzo de 2003

Captulo 1 Nmeros Complejos

1.1. La Inevitabilidad de los Nmeros Complejos

Hacia mediados del siglo XVI, apareci una publicacin de Jernimo Cardano (15011576), Ars Magna, en la que se presenta una solucin de la ecuacin cbica. En realidad hay una controversia sobre quin descubri esta solucin. Cardano presion a Niccolo Tartaglia (Niccolo Fontana de Brescia (1500-1557)) para que le revelara el mtodo de solucin de la cbica que ste haba encontrado. Tartaglia se lo di pidindole que guardara el secreto. Segn Carl B. Boyer en su libro Historia de la Matemtica (captulo XV), fue Scipione del Ferro (1465-1526) profesor de matemticas en Bolonia, una de las ms antiguas de las universidades medievales y una escuela con una gran tradicin matemtica, quien descubriera la solucin pero que slo revelara antes de su muerte a uno de sus alumnos Antonio Mara Fior. .A lguna noticia sobre la existencia de una solucin algebraica de la ecuacin cbica debi ltrarse, al parecer, y Tartaglia nos dice que al tener conocimiento de la posibilidad de resolverla, se le ocurri dedicarse intensamente a descubrir el mtodo por s mismo. Ya fuera independientemente o sobre la base de alguna sugerencia, lo cierto es que Tartaglia consigui aprender, hacia el ao 1541, a resolver ecuaciones cbicas. Cuando se extendi esta noticia, se organiz un desafo matemtico entre Fior y Tartaglia".1 La ecuacin de segundo grado x2 + px + q = 0q resuelta desde la antigedad, cuya fue 2 solucin es conocida por la frmula x = p p4 q. 2
2

Cuando el discriminante D = p4 q resultaba negativo, se deca que no haba solucin, aparentemente no haba razn para considerar a los nmeros complejos. Lo interesante est en que fue la ecuacin cbica la que llev a los matemticos a comprender dichos nmeros y que a raz de la publicacin de Ars Magna se dio un gran avance en la investigacin algebraica en distintas direcciones.
1

Carl B. Boyer [1968].

El mtodo de del Ferro-Tartaglia-Cardano se expresa en trminos modernos como sigue: Sea x3 + bx2 + cx + d = 0
b se reduce la ecuacin general de la cbica con un cambio de variable x := x 3 , para 2 3 b obtener la forma x3 + px + q = 0 donde p = c b3 y q = 2 27 cb + d 3

Sea p 6= 0 vamos a considerar dos incgnitas, s y t, tales que x = s + t, sustituimos en la cbica y desarrollamos: (s + t)3 + p(s + t) + q = 0, s3 + 3s2 t + 3st2 + t3 + ps + pt + q = 0, Observamos que si s3 + t3 = q y 3st = p (o bien st = p ) entonces tendramos 3 que x sera solucin. Resolvemos el siguiente sistema: s3 + t3 = q.........(1) st = p ............(2) 3 despejamos t en (2) y sustituimos en (1): p s3 + ( 3s )3 = q, 33 (s3 )2 + 33 s3 q p3 = 0, y si hacemos s3 = obtenemos 33 2 + 33 q p3 = 0 3 entonces las soluciones para 2 + q p = 0 y los posibles valores para s3 son : 27 r q2 p3 q + = 2 22 27

Tambin se puede obtener una cuadrtica en trminos de t3 y tendremos dos valores posibles: r q q2 p3 = + 2 22 27 Por las condiciones del sistema tenemos que : 1 1 q q 3 3 q q2 p3 q q2 p3 s = 2 + 22 + 27 y t = 2 22 + 27 Por tanto q + 2 r q2 22 p3 27 !1 3 q 2 r q2 22 p3 27 !1 3

x=

Esta es la solucin de del Ferro-Tartaglia-Cardano. 7

q p Cuando en la frmula el discriminante 22 + 27 resultaba negativo, ya no se poda admitir que no hubiera solucin, porque una ecuacin cbica siempre tiene al menos una raz real. En el caso de tener tres races reales distintas la frmula conduce inevitablemente a races cuadradas de nmeros negativos. Tartaglia llam a este caso "irreducible", porque no haba mtodo algebraico que lo resolviera. Cardano haba resuelto ecuaciones de segundo grado con races complejas, pero las despreci por "intiles".2 "El primer trabajo que tom seriamente a los nmeros complejos y logr la necesaria reconciliacin fue Rafael Bombelli (1526-1572). Bombelli resolvi el lgebra formal de 1 los nmeros complejos, con el particular objeto de reducir expresiones a + b 1 3 a la forma c + d 1. Su mtodo le permiti mostrar la realidad de algunas expresiones que resultan de la frmula de Cardano. Por ejemplo: La solucin de x3 = 15x + 4 es 1 1 x = 2 + 11 1 3 + 2 11 1 3 de acuerdo con la frmula. Por otro lado, por inspeccin directa podemos observar que x = 4 es una solucin. Bombelli tuvo corazonada que las dos partes de x en la la frmula de Cardano eran de la forma 2 + n 1, 2 n 1, y encontr elevando al cubo 2 estas expresiones (usando 1 = 1) que verdaderamente 1 2 + 11 1 3 = 2 + 1 1 2 11 1 3 = 2 1 por esto la frmula de Cardano tambin da x = 4 ".3

Bombelli, aunque no comprendiera del todo los nmeros complejos, estaba poniendo de maniesto que para resolver problemas reales se necesitaba de una aritmtica compleja. Veamos cmo en el caso irreducible esto es ms claro. Si un polinomio de tercer grado tiene tres races reales distintas entonces el discrimiq2 p3 nante 22 + 27 es negativo. Si tenemos un polinomio con sus tres races reales distintas, la grca sera esencialmente as:

2 3

Morris Kline [1972]. John Stillwell [1989].

50

25

0 -5 -2.5 0 2.5 x -25 5

-50

Analicemos este caso con p < 0 y q 0 : f (x) = x3 + px + q, f 0 (x) = 3x2 + p, f 00 (x) = 6x, p p f 0 (x) = 0, en x = p , y x = p 3 3 p p La funcin alcanza un mximo local en x = p y un mnimo local en x = p 3 3 . Cuando x se va a , los valores de la funcin se van a y cuando x se va a entonces f (x) , y si cumple que tiene sus tres races reales distintas entonces los p p valores de la funcin en los puntos crticos, (f ( p ) y f ( p ) ), tienen signo distinto: 3 3 p p p p 2 f ( 3 ) = 3 p 3 + q > 0, p p p f( p) = 2p p + q < 0 si |q| < 2 p p 3 3 p 3 3 3 p por tanto f ( p )f ( p ) es negativo, pero Quin es este producto? 3 p p p p p3 p 3 p f ( 3 )f ( 3 ) = (q 2 p )(q + 2 p p ) = q 2 + 22 p3 = 3 3 3 3 3 3 q 2 <0 = 22 2 + p 3 Por tanto q 2 2 + p 3 3 <0

Ejemplo con q > 0 :

y 50

25

0 -5 -2.5 0 2.5 x -25 5

 p Ahora si q < 0, todo sigue igual si |q| < 2 p p y tenemos nuevamente que el 3 3 discriminante es negativo: Ejemplo:
y 25

0 -5 -2.5 0 2.5 x -25 5

-50

p Si tuviramos que |q| > 2 p p , donde q > 0 o bien q < 0, entonces la grca de 3 3 la cbica est por arriba del eje X o por debajo segn el valor de q y en ambos casos existe una raz real. Observemos cmo aqu el discriminante es positivo. Por ejemplo: x3 6x + 25
y 100 75 50 25 0 -5 -2.5 -25 -50 0 2.5 x 5

x3 6x 25

10

y 50 25 0 -5 -2.5 -25 -50 -75 -100 0 2.5 x 5

p p Si alguno de los valores de la funcin en los puntos crticos (f ( p ) o f ( p )) 3 3 es cero entonces tendremos una raz mltiple. Ahora si p > 0 : f 0 (x) = 3x2 + p > 0, tenemos una funcin creciente, y de nueva cuenta tenemos slo una raz real. Ejemplo: x3 + 4x + 10
y 150

100

50 0 -5 -2.5 -50 0 2.5 x 5

-100

x3 + 4x 10
y 100

50 0 -5 -2.5 -50 0 2.5 x 5

-100

-150

Finalmente el caso f (x) = x3 11

y 100

50 0 -5 -2.5 -50 0 2.5 x 5

-100

Lo interesante para nosotros es que teniendo una ecuacin cbica con coecientes reales p y q, con races reales y queremos resolverla, en algn momento tenemos que pasar por C. Se demuestra en la Teora de Galois sobre las ecuaciones algebraicas que este problema no es exclusivo de la frmula de del Ferro-Tartaglia-Cardano, sino algo ms intrnseco: cualquier procedimiento general para resolver la ecuacin de tercer grado usando, a partir de los coecientes, las operaciones de suma, resta, multiplicacin, divisin y extraccin de races, debe pasar en el caso irreducible por los nmeros complejos.

Lo que tenemos es que la nica posibilidad para que tengamos tres soluciones distintas reales es cuando r r p p f( )f ( ) < 0. 3 3

Se puede factorizar x4 + a4 ? Otro ejemplo que muestra de nueva cuenta la necesidad de los nmeros complejos para resolver problemas reales, es el trabajo que realiz Jean Bernoulli al integrar algunas funciones racionales por el mtodo de fracciones simples, llegando a preguntarse si se poda expresar un polinomio de coecientes reales como producto de factores de primer y segundo grado con coecientes reales. Durante el siglo XVIII se segua desarrollando la teora de los nmeros complejos por diversos matemticos. Leibniz y Jean Bernoulli encontraron muchas integrales de funciones racionales por el mtodo de fracciones simples. "Bernoulli arm en las Acta Eruditorum de 1702 que la integral de cualquier funcin racional no implicaba ms funciones trascendentes que las trigonomtricas y la logartmica.Como el denominador de una funcin racional es un polinomio en x de grado n, la validez de esa armacin dependa de si cualquier polinomio con coecientes reales poda 12

y, segn l, para ningn par de esos cuatro factores se vericaba que su producto fuese un factor cuadrtico con coecientes reales. Si hubiese sido capaz de expresar la raz cuadrada de 1 y de 1 como nmeros complejos ordinarios, se hubiese apercibido de su error. Nicolaus Bernoulli (1687-1759), un sobrino de Jacques y Jean, indic en las Acta Eruditorum de 1719 que: 2 x4 + a4 = (x2 + a2 ) 2a2 x2 = x2 + 2ax + a2 x2 2ax + a2
1 de donde se sigue que la funcin x4 + a4 se puede integrar en trminos de funciones trigonomtricas y de la logartmica".4

expresarse como producto de factores de primer y segundo grado con coecientes reales. En su artculo de las Acta de 1702, Leibniz opinaba que ello no era posible y daba el ejemplo x4 + a4 . Sealaba que 2 + a x4 a4 = x2 2 1 x2 + a 1 = p p p p = x+a 1 x a 1 x + a 1 x a 1

1.2.

Recapitulacin de las propiedades elementales

Vamos a recordar ahora la construccin y las propiedades elementales de los nmeros complejos.

1.2.1.

Campo no ordenado

Si consideramos a R2 y denimos para las parejas ordenadas, z := (x, y), de nmeros reales una multiplicacin: z1 z2 = (x1 , y1 )(x2 , y2 ) := (x1 x2 y1 y2 , x1 y2 + x2 y1 ) y para la suma tenemos: z1 + z2 = (x1 , y1 ) + (x2 , y2 ) := (x1 + x2 , y1 + y2 ) obtenemos que se cumple: 1.Ley asociativa: (z1 + z2 ) + z3 = z1 + (z2 + z3 ) (z1 z2 )z3 = z1 (z2 z3 ) 2.Ley conmutativa: z1 + z2 = z2 + z1 z1 z2 = z2 z1 3.Ley distributiva: z1 (z2 + z3 ) = z1 z2 + z1 z3 Existe el elemento cero como 0 := (0, 0) y el elemento unidad 1 := (1, 0); El inverso aditivo de z := (x, y), es z := (x, y) y si z 6= 0 tenemos el inverso multiplicativo
4

Morris Kline [1972].

13

:=

A este campo se le llama el campo de los nmeros complejos y lo denotamos C Si hacemos la correspondencia x (x, 0) de RC vemos que el campo de los reales, R, est metido en C, porque se sigue cumpliendo que : (x1 , 0)(x2 , 0) = (x1 x2 , 0) (x1 , 0) + (x2 , 0) = (x1 + x2 , 0) Lo que estamos haciendo es identicar el nmero real x con el nmero complejo (x, 0), por esta identicacin se dice que C es una extensin de R. Ahora denimos i := (0, 1) donde (0, 1) C, es claro que i2 = (0, 1)(0, 1) = 1 , a este nmero i se le llama unidad imaginaria de C. Por tanto, todo nmero z := (x, y) C tiene una nica representacin (x, y) = (x, 0) + (0, 1)(y, 0) esto es z = x + iy con x, y R Se le llama la parte real de z al valor x: Re z := x y la parte imaginaria de z al valor y : Im z := y (Obsrvese que la parte imaginaria de un nmero complejo es el nmero real y y no el imaginario yi.) El nmero z es real si Im z = 0 y es imaginario puro si Re z = 0. En el campo de los nmeros complejos no hay un orden, es decir, que no hay un 14

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

orden compatible con las operaciones: ( > 0, > 0 + > 0 y > 0). El orden usual en los nmeros reales cumple con estas condiciones, pero no C, por tanto, no es posible extender ese orden o construir ningn otro. El hecho fundamental es que tenemos en C un nmero cuyo cuadrado es negativo (i2 = 1) lo cual no es compatible con la existencia de un tal orden. (El lector podr fcilmente convertir esta observacin en una demostracin). Sin embargo C tiene muchas otras propiedades muy especiales, que no tienen los campos ordenados.

1.2.2.

Raz cuadrada

Las races cuadradas de cualquier nmero complejo pueden obtenerse de manera directa. Sea w = + i C, queremos encontrar un z = x + iy tal que z 2 = w, o sea que (x + iy)2 = + i, lo que equivale a x2 y 2 + i2xy = + i. Esto nos da un sistema de ecuaciones a resolver: x2 y 2 = 2xy = ste puede resolverse directamente despejando y de la segunda ecuacin y substituyendo en la primera. Otra forma de hacerlo es como sigue: Observemos que (x2 + y 2 )2 = (x2 y 2 )2 + 4x2 y 2 = 2 + 2 . Por tanto: q 2 2 x + y = 2 + 2 . p p Luego x2 = y 2 + 2 + 2 = x2 + 2 + 2 , p + 2 + 2 . x2 = 2 Como y 2 = x2 , p + 2 + 2 . y2 = 2 Para encontrar x y y basta tomar otra vez races cuadradas. No hay ningn problema en el procedimiento porque todos los nmeros a los que hay que extraer raz cuadrada son reales no negativos. Est claro que no podemos tomar arbitrariamente las diversas combinaciones de las races cuadradas de las expresiones anteriores, porque se debe cumplir que el producto

15

xy tenga el signo de , dndonos nicamente dos races simtricas, es decir, z y z (y no cuatro, lo cual sera muy extrao). Tomandoq cuidado, la solucin general puede escribir as: ese se q 2 + 2 2 + 2 + + si 6= 0 w= + i || 2 2 w = si 0 y = 0 w = i si < 0 y = 0 No slo podemos obtener races cuadradas, sino tambin resolver cualquier ecuacin de segundo grado con coecientes complejos: Si tuviramos un polinomio cuadrtico 2 z 2 + cz + d C, y lo transformamos completando el cuadrado en z + 1 c + d 1 c2 , 2 4 es fcil ver cmo mediante el clculo de la raz cuadrada se determinan los ceros de este polinomio. Entonces, por la frmula usual, vemos que todo polinomio de grado 2 con coecientes complejos tiene races complejas.

1.2.3.

Representacin geomtrica

El hecho de poder identicar a C con R2 es muy importante porque nos permitir hacer mucho anlisis y mucha geometra. El nmero complejo z = x + iy se interpreta geomtricamente (diagrama de Argand plano-z) como el punto (x, y) en el plano xy. Dos nmeros complejos son iguales si sus respectivas partes reales e imaginarias son iguales, de modo que sus puntos representativos en el plano coinciden.
y 4

0 -4 -2 0 2 x -2 4

-4

1.2.4.

Conjugacin

La conjugacin compleja es la transformacin que manda z = x + iy en z = x iy. Geomtricamente tenemos una reexin con respecto al eje real.

16

0 -4 -2 0 2 x -2 4

-4

Si z = x + iy entonces zz = x2 + y 2 , y como este valor es no negativo, podemos sacarle raz cuadrada. As, se dene el mdulo o valor absoluto de cualquier nmero complejo como: p |z| = x2 + y 2 R+ {0}

Y es igual a la distancia del punto z al origen del plano xy. Propiedades del mdulo: a) |z| 0; si |z| = 0 entonces z = 0 b) zz = |z|2 c) |z| = |z| d) |z| = |z| e) |zw| = |z| |w| z |z| f) Si w 6= 0 entonces w = |w| g) |Re z| |z| |Im z| |z| h) |z + w| |z| + |w| (Desigualdad del tringulo) z Si z 6= 0, observemos que z 1 = |z|2 . Luego z 1 est en la misma direccin que z con 1 mdulo |z| . En particular, z 1 = z si |z| = 1. Y algunas de las propiedades de la conjugacin son: a) z + w = z + w b) (z) = z c) zw = z w z z d) Si w 6= 0 w = w e) z = z f) z + z = 2 Re z z z = 2i Im z

Las propiedades a) y c) de la conjugacin nos expresan que sta es un automorsmo 17

del campo de los complejos, es decir, una transformacin invertible del campo C en s mismo que preserva todas las operaciones. En otras palabras, es una simetra de la estructura algebraica de C y se deriva del hecho de que i y i , ambas races del polinomio x2 + 1, tienen exactamente las mismas propiedades. Para un complejo z distinto de 0 , el ngulo medido de la parte positiva del eje real al radio vector determinado por z es llamado el argumento de z y es denotado por arg z.
y 4

0 -4 -2 0 2 x -2 4

-4

De donde se satisface que: y y x tan = x , cos = |z| , sen = |z| Se considera orientacin positiva del ngulo la sealada por la echa (sentido levgiro).5 El ngulo que satisaface las relaciones anteriores, queda unvocamente denido salvo por un mltiplo de 2. De modo que siempre es posible expresar un nmero complejo distinto de cero en forma polar: z = |z| (cos + isen) Ms adelante veremos que esta expresin nos ayuda a visualizar geomtricamente la multiplicacin de complejos, pero analicemos un poco la forma polar (trigonomtrica). En primer lugar si z = 0 el mdulo es 0, mientras que el argumento carece de sentido, podemos darle el valor que queramos. En segundo lugar si z 6= 0 el argumento de z no est tan bien denido, sin embargo ya no tenemos tantas opciones. = arg z es un conjunto, una coleccin de nmeros, es una clase de equivalencia mdulo 2, es un nmero tal que si le sumo 2 es el mismo, no cambia. Escoger dentro de ciertos lmites a veces es conveniente, por ejemplo si z 6= 0 existe uno, slo uno de los valores del argumento para el rango comprendido entre y , a este valor se le denomina valor principal del argumento, algunos libros lo denotan =Arg z.
5

Sentido contrario a las manecillas del reloj.

18

Pero tambin existen desventajas, por ejemplo: si < y a cada nmero complejo 6= 0 le asociamos su argumento tendramos una discontinuidad en el argumento. Si tomramos una sucesin en el semiplano inferior que converja al 1, por ejemplo, los argumentos van decreciendo tendiendo a , aunque arg(1) = .
y 2.5

1.25

0 -2.5 -1.25 0 1.25 x -1.25 2.5

-2.5

Eso sucedera con cualquier punto en el eje real negativo, por lo que la funcin arg z es discontinua en todo el intervalo (,0). Para visualizar la discontinuidad de salto, graquemos {(t, arg(t)) : t R}, considerando que z(t) = cos 2t + isen2t (es decir, que al variar la t en intervalos unitarios le damos la vuelta completa a una circunferencia y vamos tomando el argumento en cada punto del recorrido).
arg(z(t)) 2.5

1.25

0 0 -1.25 1 2 3 t 4

-2.5

As, todo nmero complejo tiene su mdulo r = |z| y su argumento (mdulo 2). Ejemplo 1.1 1 + i = 2(cos + isen ) 4 4

1.2.5.
Suma

Interpretacin geomtrica de las operaciones

19

Si representamos z1 y z2 por vectores en el plano complejo, la suma z1 + z2 y la resta z1 z2 son, lo mismo que en R2 . Las diagonales del paralelogramo generado por z1 y z2 .

suma Y tambin se cumple la desigualdad del tringulo: |(|z1 | |z2 |)| |z1 + z2 | |z1 | + |z2 | Multiplicacin Si los nmeros complejos z1 y z2 son expresados en coordenadas polares: z1 = r1 (cos 1 + isen1 ) z2 = r2 (cos 2 + isen2 ) la multiplicacin nos da: z1 z2 = r1 r2 [(cos 1 cos 2 sen1 sen2 ) + i(sen1 cos 2 + sen2 cos 1 )] z1 z2 = r1 r2 [cos(1 + 2 ) + isen(1 + 2 )] y la divisin : r1 z1 = [cos(1 2 ) + isen(1 2 )] r2 6= 0 z2 r2 es decir, que al multiplicar dos nmeros complejos se multiplican sus mdulos y se suman sus argumentos, y al dividir se dividen los mdulos y se restan los argumentos.

20

multiplicacin En particular si la multiplicacin de z1 es con un z2 cuyo mdulo es 1, tenemos una rotacin del vector z1 alrededor del origen en sentido levgiro de un ngulo 2. Ejemplo 1.2 El producto zi = (x + iy)i = xi y = y + ix arg(zi) = arg z + arg i = arg z + 2 |zi| = |z| |i| = |z| 1 = |z|

es decir, nos resulta un vector ortogonal a z, con su mismo mdulo (girado en sentido positivo). Una construccin geomtrica del producto es la siguiente: Dados los puntos 0, 1, z1 , z2 , construimos un tringulo con vrtices 0, 1 y z1 :

21

Y luego por semejanza construimos otro tringulo obteniendo el punto z1 z2

multiplicacin El tringulo con vrtices 0, 1, z1 es semejante al tringulo con vrtices 0, z2 , z1 z2 . Tenemos que = arg(z1 z2 ) arg(z2 ) es igual al 0 = arg z1 y sus lados adyacentes son proporcionales |z1 | 1z = |z|z2 2 | . 1 |

1.2.6.

Representacin de C con matrices

Cada nmero complejo lo podemos pensar como una transformacin del plano. Es una transformacin lineal y como tal le podemos asociar una matriz, sea = a + ib 22

entonces

Y todas las operaciones con complejos corresponden a operaciones con matrices: M+ = M + M M = M M a b M = b a a b 2 || = det b a Dicho de otra manera, podemos establecer una correspondencia entre los nmeros complejos y las transformaciones del plano; para un algebrista los complejos son un conjunto con ciertas operaciones, etc., y para un gemetra sern transformaciones del plano. As, tenemos otra representacin de los nmeros complejos en trminos de objetos ms familiares como las matrices.

. (x, y) = (a + ib)(x + iy) = (ax by, ay + bx) = M a b Donde M = b a As, a cada complejo le hacemos corresponder una matriz M : a b = a + ib M = b a

x y

1.2.7.

Frmula de De Moivre

Observemos que z 2 = zz es el nmero que tiene por mdulo |z|2 y argumento 2. De modo que z 2 = |z|2 (cos 2 + isen2) Y en general si n N para |z| = 1, obtenemos (cos + isen)n = (cos n + isen n) que es la Frmula de De Moivre. Se puede ver que si el exponente es entero, no hay problema pues z 0 = 1 y si es negativo z 1 = |z|1 (cos() + isen()) z n = |z|n (cos n + isen n)

A partir de la Frmula de De Moivre se pueden deducir diversas identidades trigonomtricas, como por ejemplo cos 3 = cos3 3 cos sen2 .

1.2.8.

Races

23

Si existe un nmero C tal que n = z (n N), se dice que es una raz ensima 1 de z, = z n Si z = 0, se tiene que = 0 Si z 6= 0, tenemos: sean z = r(cos + isen) y = s(cos + isen) entonces resolviendo esta ecuacin: sn (cos n + isen n) = r(cos + isen) se tiene: s = rn 2k = + n n 2k 2k cos + + isen + =r n n n n
1 n 1

donde k es un entero y toma los valores 0, 1, 2, ..., n1 para tener soluciones distintas. Un caso importante es cuando z = 1, que son las races ensimas de la unidad 2k 2k k = cos + isen n n Todos los valores de = z n se pueden obtener a partir de las ensimasde la races 1 unidad, multiplicndolas por la raz obtenida para k = 0 , = r n cos + isen , n n es decir, k donde k = 0, 1, .., n 1. Veamos un ejemplo, para n = 4 : Ejemplo 1.3 Calculemos las races cuartas de la unidad zk = cos( + 2k ) + isen( + 2k ) = cos( k ) + isen( k ) k = 0, 1, 2, 3 4 4 4 4 2 2 z1 = 1 z2 = i z3 = 1 z4 = i Las cuatro races se encuentran a lo largo del crculo e igualmente espaciadas
1

24

Geomtricamente las n races de cualquier nmero complejo distinto de cero, son los vrtices de un polgono regular con n lados.

1.3.

Importancia y Singularidad de los Nmeros Complejos

Hemos visto hasta ahora que los nmeros complejos son un campo, que lo obtuvimos extendiendo el de los nmeros reales. Tenemos pares ordenados con un producto bien denido y todo funciona muy bien. Pero una pregunta interesante sera Podrmos hacer lo mismo con ternas o cuartetas? No, no se puede. Esta conclusin a la que se llego a comienzos del siglo XIX, fue el resultado de muchos intentos por construir extensiones que cumplieran con todas las propiedades de campo. Sin embargo el matemtico irlands William R. Hamilton (18051865) a mediados siglo XIX encontr una forma de multiplicar cuartetas pero result no ser campo. El anillo de los cuaternios ha dado impulso al desarrollo del lgebra de vectores (estudio de la mcanica y de la fsica), pero no ha llegado a tener la importancia de los nmeros complejos. Actualmente su inters primario es el de ser un ejemplo histrico importante, aunque an desempea un papel relevante en geometra y en la teora de nmeros.

1.3.1.

El caso de R3

Veamos como, ya para R3 , no es posible obtener un campo. Supongamos que s existe una estructura de campo en R3 , entonces existe un elemento unidad 1 6= 0 . Esto implica que tenemos los nmeros reales como subcampo, a saber, el de todos los mltiplos escalares del 1. 25

Consideremos un elemento u R3 , u R . Si u est en R3 , tambin estn u2 y / 3 2 3 u , y el conjunto {1, u, u , u } constara de cuatro vectores de R3 que tendran que ser linealmente dependientes. Es decir, se cumple una relacin au3 + bu2 + cu + d = 0 con a, b, c, d R no todos nulos. Si a no es cero, sta es una ecuacin de tercer grado. Pero sabemos que todo polinomio de tercer grado con coecientes reales tiene por lo menos una raz real. Si x0 es una solucin real de nuestra ecuacin, la podemos factorizar de la forma (u x0 )(a0 u2 + b0 u + c0 ) = 0 As u debe satisfacer la ecuacin de segundo grado. Si a fuera cero, nuestra ecuacin ser de entrada de segundo grado (no puede ser de primer grado, porque u no est en R). En cualquier caso podemos resolver la cuadrtrica de la manera usual: Simplicando a0 u2 + b0 u + c0 = 0 en u2 + Bu + C = 0 y completando cuadrados tenemos: 2 2 2 u + B = B C = B 4C 2 4 4 2 Armamos que B 4C debe ser negativo, porque si es mayor o igual que cero, ten4 dramos dos soluciones reales u1 , u2 , posiblemente iguales y habra entonces tres soluciones de una ecuacin cuadrtica: las dos anteriores y u, y esto no puede pasar en un campo. 2 Si B 4C < 0 entonces existe un nmero cuyo cuadrado es un real negativo: 4 B 2 2 u+ 2 = 1 u + B = r2 2 r Esto quiere decir dos cosas: la primera que nuestro campo contiene a i, por tanto, contiene una copia de C; la segunda, que u est contenido en esta copia de C . Pero esto implica que todos los elementos de R3 estn contenidos en un plano, lo cual es absurdo.

26

En realidad no es posible extender a ms dimensiones nitas el campo de los nmeros complejos. Decir que no hay extensin signica armar que el campo es algebricamente cerrado, y as, C es algebraicamente cerrado (Todo polinomio complejo no constante tiene una raz compleja).

1.3.2.

Los cuaternios

Sea Q el conjunto de todos los smbolos 0 + 1 i + 2 j + 3 k donde todos los nmeros 0 , 1 , 2 , 3 R. Convenimos en que dos de tales smbolos : x = 0 + 1 i + 2 j + 3 k y = 0 + 1i + 2j + 3k son iguales si y slo si t = t para t = 0, 1, 2, 3 Se dene la suma y el producto de la siguiente manera: x, y Q a) x + y = (0 + 0 ) + (1 + 1 ) i + (2 + 2 ) j + (3 + 3 ) k Denimos la tabla de multiplicar: i2 = 1, j 2 = 1, k 2 = 1 Los puntos i,j,k representan los correspondientes cuaternos i, j, k.

27

El producto de dos cuaternios adyacentes es igual al tercero si para ir del primero al segundo en el gura, por el camino ms corto, se hace en el mismo sentido de avance de las agujas del reloj. Conocida la tabla de multiplicar de los cuaternios i, j, k se puede efectuar el producto de dos cuaternios arbitrarios: b) xy = (0 0 1 1 2 2 3 3 ) + (0 1 + 1 0 + 2 3 3 2 ) i+ + (0 2 1 3 + 2 0 + 3 1 ) j + (0 3 + 1 2 2 1 + 3 0 ) k Es importante sealar que la multiplicacin no es conmutativa. Tenemos el elemento cero 0 = 0 + 0i + 0j + 0k y el elemento unidad 1 = 1 + 0i + 0j + 0k La parte real del cuaternio x = 0 + 1 i + 2 j + 3 k, es 0 y la parte vectorial es 1 i + 2 j + 3 k. x = 0 1 i 2 j 3 k es el conjugado de x. x + x = 20 R xx = 2 + 2 + 2 + 2 a esta suma de cuadrados se le llama norma del cuaternio. 0 1 2 3 Puesto que el cuadrado de todo nmero real es no negativo, la norma de todo cuaternio es tambin no negativa y es igual a cero slo para el cuaterno nulo. Tambin podemos conocer el inverso multiplicativo de x Para todo x Q distinto de cero existe su inverso dado por x x1 = 2 +2 +2 +2
0 1 2 3

Interpretacin geomtrica del producto de cuaternios puros: q = x1 i + x2 j + x3 k p = y1 i + y2 j + y3 k qp = x1 y1 x2 y2 x3 y3 + (x2 y3 x3 y2 ) i + (x3 y1 x1 y3 ) j + (x1 y2 x2 y1 ) k si representamos a q, p como vectores en R3 q = (x1 , x2 , x3 ) p = (y1 , y2 , y3 ). El producto escalar q p = x1 y1 + x2 y2 + x3 y3 = ( x1 y1 x2 y2 x3 y3 ) y el producto vectorial q p = x2 y2 x1 y1 x1 y1 x3 y3 i+ x3 y3 j+ x2 y2 k = (x2 y3 x3 y2 ) i+(x3 y1 x1 y3 ) j+(x1 y2 x2 y1 ) k As tenemos una interpretacin geomtrica para cuaternios puros que nos permite usar resultados del producto escalar y producto vectorial. 2qp = (q p) + q p Ejemplo 1.4 Cuntas races tiene la siguiente ecuacin ? x2 + 1 = 0 28

se pueden encontrar rpidamente 6 races i, j, k Sern todas las soluciones? Observemos que si x = 1 i + 2 j + 3 k tiene norma 1, x2 = 2 2 2 = |x|2 = 1 1 2 3

Toda la esfera unitaria sera solucin, es decir, tenemos una innidad de solucines! Otra lgebra donde hay inverso multiplicativo es la de los nmeros de Cayley, pero ya no hay ms. De aqu la importancia del estudio del campo C.

1.3.3.

Factorizacin de polinomios reales

Los nmeros complejos son muy tiles, muchos problemas en R vistos en C adquieren mejor panorama y se simplica su solucin. Un ejemplo de esto es la factorizacin de polinomios. En la bsqueda de resolver integrales de funciones racionales, los matemticos nuevamente se enfrentaban con los nmeros complejos (ver parte uno de este captulo). La conclusin que ms tarde expresara un matemtico francs, reeja muy bien este fenmeno al decir, "El camino ms corto entre dos resultados sobre los nmeros reales pasa frecuentemente por los complejos".6 Para ver este ejemplo, consideremos un teorema muy importante, del que, a lo largo de este curso veremos varias demostraciones: Teorema Fundamental del Algebra (TFA): Todo polinomio complejo no constante tiene al menos una raz compleja. Como consecuencia del TFA, tenemos que todo polinomio complejo de grado n, tiene n y slo n, races complejas z1 , ...zn las cuales, sin embargo, no deben ser distintas todas.
6

Jacques-Salomon Hadamard(1865-1963).Matemtico francs.

29

Adems lo podemos representar como producto de n factores lineales P (z) = an (z z1 )(z z2 )...(z zn ). Ejemplo 1.5 z 5 3z 4 + 7z 3 13z 2 + 12z 4 = (z 1)3 (z 2 + 4) = 0 tiene cinco races de los cuales, sin embargo, solamente tres son diferentes: z1 = z2 = z3 = 1, z4 = 2i y z5 = 2i Ahora, si todos los coecientes del polinomio P (z) = an z n + an1 z n1 + ... + a0 son reales y C es raz entonces C tambin es raz, esto se desprende de las reglas de operaciones con nmeros complejos: P () = an n + an1 n1 + ... + a0 = 0 0 = 0 = P () = an n + an1 n1 + ... + a0 = an n + an1 n1 + ... + a0 = P (). Teorema 1.1 Todo polinomio con coecientes reales se puede factorizar como producto de polinomios de grado uno o dos con coecientes reales. Demostracin P (z) = an z n + an1 z n1 + ... + a0 Por el TFA: P (z) = an (z z1 )...(z zn ). Supongamos que z1 ...zk son las races reales. Si i > k, como zi es raz entonces tambin zi y (z zi ) (z zi ) = z 2 (zi + zi ) z + (zi zi ) = z 2 z2 Re zi + |zi |2 donde 2 Re zi , |zi |2 R por tanto z 2 z2 Re zi + |zi |2 es un polinomio de grado 2 en z con coecientes reales. v Q P (z) = an (z z1 )...(z zk ) (z 2 z2 Re zi + |zi |2 ), donde v = nk 2
i

obteniendo as k factores lineales y

nk 2

factores cuadrticos.X

Ejercicio 1.1 Factorizar x4 + a4

1.4.
1.4.1.

Teorema Fundamental del Algebra

Preguracin de algunas ideas sobre las transformaciones complejas

La posibilidad de visualizar geomtricamente a los nmeros complejos en el plano, nos permitir comprender ms a las funciones complejas y usar todo lo que ya sabemos para R2 (conjuntos abiertos, cerrados, compactos, conexos, sucesiones convergentes, etc.) Una funcin compleja de variable compleja estar denida en un subconjunto abierto contenido en C y la imagen estar en C.

30

Nuestro problema ser ver qu sucede con puntos, lneas, crculos, etc., en qu se transforman, cul es su imagen, es decir, queremos saber cmo se transforma el plano complejo. Es usual denotar al plano donde est el punto z (Dominio) como plano z y al plano donde est la imagen w = f (z), el plano w. En el captulo II, ampliaremos el estudio de las transformaciones del plano complejo. Por el momento veamos slo algunas de ellas. f (z) = a, todo el plano va a un punto. f (z) = z, el plano se queda igual f (z) = z, el plano se reeja con respecto al eje real f (z) = z + a, el plano se traslada, sin girar. El origen va al punto a. Recordemos que el producto de dos nmeros complejos es un nmero complejo con mdulo igual al producto de los mdulos y su argumento es la suma de los argumentos de los factores. Consideremos a 6= 0 f (z) = az, cualquier vector z, gira un ngulo igual al arg a y se agranda (o se achica) el mdulo de z un factor |a| . Todo el plano gira y se expande (o contrae). f (z) = zn : w = 0 si z = 0 si z 6= 0, escribimos a z en forma polar z = r(cos + isen) y el punto imagen nos queda w = rn (cos n + isenn). El mdulo del vector z se eleva a la potencia n y su argumento se multiplica por n. Si r > 0, un crculo de radio r (|z| = r) en el plano z se transforma en otro crculo de radio rn (|w| = rn ). Si el mdulo de z va creciendo entonces al elevarlo a la potencia n el mdulo del vector w, tambin ir creciendo. Por ejemplo para n = 2 :
y 2 y 4

Sea f : C C, a C

0 -2 0 x 2 -4 -2

0 0 2 x -2 4

-2

-4

31

1.4.2.

Demostracin elemental del Teorema Fundamental del Algebra

Combinando estas funciones obtenemos otras que son muy importantes y que estudiaremos durante el curso, los polinomios. p(z) = an z n + an1 z n1 + ... + a0 , an 6= 0 (Polinomio complejo de grado n) La siguiente demostracin elemental se basa nicamente en las propiedades que conocemos de los nmeros complejos y de los polinomios: Teorema 1.2 (Teorema Fundamental del Algebra) Todo polinomio complejo no constante tiene al menos una raz compleja. Demostracin Consideremos un polinomio p(z) = an z n + an1 z n1 + ... + a0 , Supongamos que para todo z C, an 6= 0 p(z) 6= 0

Empezaremos por un lema Lema: Si p(z) es un polinomio no constante, entonces cuando |z| , |p(z)| . Demostracin del lema: a0 Si escribimos p(z) como un producto, |p(z)| = |z|n an + an1 + ... + zn , vemos que el z primer factor tiende a , mientras que el segundo tiende a la constante |an | 6= 0. Luego, el producto tiende a . (Dejamos al lector como ejercicio dar una versin ms precisa de la demostracin de este lema: dado M > 0, encontrar R > 0 tal que |z| > R entonces |p(z)| > M).X Regresando a la demostracin del TFA: Si no existe un z con p(z) = 0, tratemos de ubicar un punto donde |p(z)| sea lo menor posible. Si tomamos r = inf |p(z)| vamos a ver que existe algn z C tal que
zC

|p(z)| 6= 0 por tanto |p(z)| > 0 z C

|p(z)| = r, es decir, que el nmo se alcanza: de la denicin de nmo tenemos que existe una sucesin {zi } tal que |p(zi )| r.

32

Lo mismo sucedera si alguna subsucesin de {zi } convergiera a z0 .Podra pasar, sin embargo, que ninguna subsucesin de {zi } fuera convergente? Esto slo podra pasar si en toda bola con centro en el origen hubiera slo un nmero nito de puntos de la sucesin (por el Teorema de Bolzano-Weierstrass, ver apndice A). Pero esto querra decir que zi , lo cual es imposible ya que, por el lema, tendramos |p(zi )| en contradiccin con el hecho de que |p(zi )| r. Luego, tiene que existir alguna subsucesin convergente zij , zij z0 , y |p(z0 )| = l p(zij ) = r m

Si la sucesin zi convergiera a un punto z0 tendramos que |p(z0 )| = l |p(zi )| = r. m

i

p(z0 ) sera el punto ms cercano al origen de los que estn en la imagen de p.(Naturalmente, podra haber ms de un punto a la distancia r del origen en la imagen de z0 ). Por nuestra hiptesis, r > 0. 33

Veamos ahora qu sucede si consideramos lo puntos z en un pequeo crculo con centro z0 :Cmo se movern los puntos p(z) correspondientes? Pongamos z = z0 + h, p(z) = an (z0 + h)n + ... + a0 Desarrollando las potencias de los binomios y agrupando obtenemos p(z) = bn hn + ... + b1 h + b0 Cuando h = 0, z = z0 y tenemos p(z0 ) = b0 . Y podemos escribir p(z) = p(z0 ) + h(bn hn1 + ... + b1 ) = p(z0 ) + h arg( p(z) p(z0 )) = arg h + arg Suponiendo que b1 6= 0, al recorrer h un crculo de radio pequeo, arg h recorre todos los valores de 0 a 2. Mientras tanto, arg() se mantiene casi constante, cercano a arg(b1 ). Esto signica que p(z) p(z0 ) va a apuntar en todas direcciones, y en particular habr un valor de h tal que p(z) p(z0 ) apunte hacia adentro del crculo de radio r.

Pero esto signica que |p(z)| < |p(z0 )| = r, contradiciendo el hecho de que p(z0 ) era el punto ms cercano al origen de los de la imagen de p. La nica posibilidad de evitar esta contradiccin es que r sea igual a 0, es decir p(z0 ) = 0. Si b1 = 0 slo hay que variar un poco el argumento. Supongamos que b1 = ... = bk1 = 0 y que bk 6= 0. Entonces p(z) p(z0 ) = hk (bn hnk + ... + bk ) = hk , arg(p(z) p(z0 )) = k arg h + arg . Al recorrer arg h los valores de 0 a 2, k arg h toma k veces todos los valores de 0 a 2, mientras que arg vara slo un poco alrededor de arg bk . Nuevamente esto implica que, para algn valor de h, p(z) apunta hacia adentro del crculo de radio r, y por tanto, que |p(z)| < r, llegando nuevamente a la misma contradiccin. Ejercicio 1.2 Concretar el argumento anterior para el caso de un polinomio de grado 3. La demostracin anterior se puede precisar con todo el rigor que el lector exija. Ver apndice B. 34

Captulo 2 Transformaciones del Plano Complejo

2.1.
2.1.1.

El Grupo Afn
Traslacin. Rotacin. Homotecia.

Sea b C ja f (z) = z + b Es una transformacin que a cada complejo z le asocia z + b, por lo que tenemos una funcin biyectiva que manda el plano complejo en s mismo, trasladndolo todo un vector b (el origen va a parar precisamente a b). Rotacin y Homotecia C jo f (z) = z Si = 0, todo el plano se va al origen. Si 6= 0 : dado cualquier vector z, la funcin lo gira un ngulo igual al arg . Estamos rotando todo el plano, luego tendramos que multiplicar el mdulo de z por el mdulo de , es decir, se expande (o contrae) el mdulo de z un factor ||. A este movimiento de "zoom"se le llama homotecia. 35

Sin duda la mejor opcin para comprender las funciones complejas es verlas como transformaciones del plano en el plano. b Al plano ms el punto al , se le llama plano extendido y se denota por C = C {} . Y al plano menos el origen se denota as C = C\ {0} . b b Trabajaremos con funciones de C en C y tambin de C en C. Traslacin

Si || = 1, simplemente tenemos una rotacin de un ngulo arg , por ejemplo : si = i se gira todo el plano 2 si = 1 el plano queda igual si = 1 el plano se gira si = i el plano se gira 3 2 Con la interpretacin geomtrica de las operaciones, se contribuy mucho a desprenderse de ideas confusas sobre los nmeros complejos y ya no digamos de todo lo "misterioso" que rodeaba al nmero i. Tenemos que es un punto bien representado en el plano (0, 1) y podramos todava pensarlo mejor como una transformacin del plano en el plano (multiplicar por i es girar todo C un ngulo de ). 2 Recordemos ahora algunas deniciones y un teorema. Denicin 2.1 T : R2 R2 es lineal: i) si T (u + v) = T (u) + T (v) aditividad ii) si T (u) = T (u) R homogeneidad ("saca escalares") Denicin 2.2 (Grupo de Transformaciones) Si T, S G, T S G Si T G, T 1 G entonces G es un grupo . Teorema 2.1 l: R2 R2 es lineal una matriz A de 2x2 tal que l(x) = Ax x R2 . l1 (e1 ) l1 (e2 ) . A = l(e1 ), l(e2 ) = l2 (e1 ) l2 (e2 )

Consideremos nuevamente C T : C C T (z) = z Pero, Qu tipo de transformaciones tenemos?Qu propiedades geomtricas tienen? Encontremos la matriz asociada a nuestra transformacin: = r cos + irsen z = x + iy Tr, : R2 R2 cos sen r cos rsen =r M = sen cos rsen r cos Esta transformacin lineal es una homotecia seguida de una rotacin. Claramente si r = 1, tenemos una rotacin de ngulo = arg() Qu ms podemos decir ? El cero va a dar al cero. Para el caso r = 1 se conservan las distancias (isometra del plano) y si r 6= 1 se modican, pero todas se modican en la misma proporcin. Se conservan los ngulos (ngulo orientado positivamente): 36

^(z, w) = ^(Tr, (z), Tr, (w)). Esta propiedad es muy importante. Porque cualquier transformacin en el plano que preserve los ngulos (transformaciones conformes) su matriz respecto a la base usual tiene que ser de esa forma. Las guras geomtricas en el plano (tringulos, crculos,etc) se transforman en otras semejantes.

C -linealidad Observemos que f (z) = z, C cumple : i) f (z1 + z2 ) = f (z1 ) + f (z2 ) y ii) f (z) = f (z) con C, f saca escalares complejos (i) y (ii) quiere decir que f es C -lineal. Las funciones C -lineales son tambin R- lineales, preservan ngulos (conformes) y son invertibles. As las cosas, la composicin de estas funciones (C -lineales) es conforme y la inversa de f tambin, por tanto forman un grupo. Esto es importante pues ms adelante veremos como esto nos ayudar a ahorrarnos muchos clculos. Resumiendo lo visto anteriormente tenemos el siguiente teorema: Teorema 2.2 Sea T : R2 R2 lineal (R- lineal) distinta de la transformacin cero entonces las siguientas armaciones son equivalentes: i) T es C -lineal. ii) T es multiplicar por C . iii) La matriz de T respecto a la base usual es de la forma a b . b a iv) T es una composicin de una rotacin y una homotecia. v) T preserva ngulos (orientados). Demostracin La equivalencia (ii)(iii)(iv) ya est clara de la discusin anterior, as como (ii)(i) y (iv)(v). 37

(i)(ii): Si T es C-lineal entonces T (z) = T (1)z = z, donde = T (1) C . (v)(i): Sean e1 y e2 la base usual de R2 . Como T preserva ngulos entonces T (e1 ) T (e2 ).

Adems T ( e1 + e2 ) y T ( e1 ) forman un ngulo de 45 , por tanto |T (e2 )| = |T (e1 )| .

Si T ( e1 ) = (a, b) entonces T (e2 ) = (b, a) y la matriz tiene la siguiente forma: a b b a Por tanto T es C-lineal. Observemos que la conjugacin compleja no cumple ninguna de estas propiedades: 1 0 invierte ngulos, su matriz no es de la forma adecuada y no es Clineal . 0 1 Tambin podemos tener transformaciones lineales (R-lineales) que no preservan los ngu 2 0 . los, es decir, que no son conformes. Por ejemplo la que tiene como su matriz 0 1

2.1.2.

El Grupo Afn

Ahora si combinamos traslacin y rotacin con homotecia obtenemos las funciones ms generales de la forma f (z) = z + C , C 38

las que son funciones conformes y tambin forman un grupo, un grupo ms grande (el grupo afn). Si agregamos el innito entonces f () = , de aqu el nombre de afn (al innito). Tambin observamos que son polinomios de grado uno. Aqu el cero no va a dar al cero. No se preservan las distancias. Sin embargo se modican guardando una proporcin, o sea, |f (z1 ) f (z2 )| = || |z1 z2 | . Nos preguntamos: Qu libertad tenemos para mandar un punto en otro, con una transformacin afn? 0 0 Podemos ver que con una traslacin T (z) = z + (z1 z1 ) , el punto z1 va al z1 .
y

0 0 Es decir, dados z1 , z1 , siempre existe una traslacin T tal que T (z1 ) = z1 . 0 0 Si damos ahora parejas de puntos (z1 , z2 ) y (z1 , z2 ) , existir una traslacin T tal 0 0 que T (z1 ) = z1 y T (z2 ) = z2 ? Claramente no siempre ser posible, porque al pedir 0 la primera condicin, T (z1 ) = z1 , la traslacin queda totalmente determinada y ya no tenemos libertad para hacer que cumpla la segunda. Podemos solamente intentar ver si 0 esta traslacin tambin manda z2 en z2 . Si lo hace, bien; si no, el problema no tiene solucin. Podemos precisar la condicin que nos garantice resolver el problema: la nica traslacin 0 0 0 T que manda z1 en z1 es T (z) = z + (z1 z1 ). Que sta mande z2 en z2 quiere decir que: 0 0 z2 = T (z2 ) = z2 + z1 z1 , 0 0 lo que equivale a z2 z2 = z1 z1 . 0 0 Geomtricamente esto es obvio: para que una traslacin lleve z1 en z1 y z2 en z2 es 0 0 necesario (y suciente) que los vectores de z1 a z2 y de z1 a z2 sean iguales:

39

Si queremos mandar dos puntos en otros dos puntos dados necesitamos un grupo de transformaciones mayor que el de las traslaciones. Veremos que siempre lo podemos hacer mediante transformaciones anes: Queremos mandar una pareja de puntos distintos en otra. Qu libertad tenemos para hacerlo? 0 0 {z1, z2 } {z1 , z2 } Podramos primero trasladar todo el plano al origen (mandando el punto z1 al 0) , 0 luego giramos y expandemos (o contraemos) y luego nos regresamos al punto z1 .

Sean T (z) = z z1 , z0 z0 S(z) = z con = z2 z1 , 2 1 0 R(z) = z + z1 . z0 z0 z0 z z z0 0 Componiendo (z) = R(S(T (z))) = ((z z1 )) + z1 = z2 z1 z + 1 z22 z11 2 = z + 2 1 Tambin podemos encontrar y resolviendo el siguiente sistema: 0 (z1 ) = z1 + = z1 0 (z2 ) = z2 + = z2 0 0 (z2 z1 ) = z2 z1 0 z0 z = z2 z1 2 1
0 = z1 z1 =
0 0 z1 z2 z1 z2 z2 z1

40

Pero otra manera ms elegante de verlo, que incluso muestra la unicidad de la trans0 0 formacin es primero mandar {z1, z2 } en {0, 1} y {z1 , z2 } en {0, 1} , mediante las trans0 z z formaciones T1 (z) = zz zz11 y T2 (z) = z0 z10 : 2
2 1

1 0 0 Entonces T = T2 T1 manda la pareja {z1 , z2 } en {z1 , z2 }. Si se tiene una transformacin S(z) = z + que manda {0, 1} en {0, 1} sta tiene que ser la identidad, pues si S(0) = 0 + = 0 = 0, entonces S(z) = z pero S(1) = 1 = 1 = 1, por tanto S(z) = z. De aqu concluimos que T (z) es nica en general, porque si hubiera dos transforma1 ciones diferentes, componindolas con T1 y T2 habra dos diferentes que mandan {0, 1} en {0, 1} .

Conclusin 2.1 Existe una nica transformacin afn que manda una pareja de puntos distintos en otra. Cundo podremos mandar una terna de puntos distintos en otra? Ya tenemos la transformacin que manda una pareja en otra: 0 0 T manda {z2 , z3 } en {z2 , z3 } .

0 tenemos que z1 = T (z1 ), ste nmero tiene que ser igual a z1 , si fueran iguales ya no tendramos que pedir nada, pero resulta que no siempre ocurre, por lo que se necesita pedir que sean iguales; Por tanto tenemos: 0 0 0 Teorema 2.3 Existe una transformacin afn, que manda z1 , z2 , z3 en z1 , z2 , z3 si y slo si 0 z1 z2 z 0 z2 = 1 0 0 z3 z2 z3 z2

41

Veamos cul es la geometra del asunto: Esta razn, z1 z2 , es un nmero complejo que caracteriza al tringulo, el que nos va z3 z2 a dar informacin de la proporcin de sus lados y el ngulo entre ellos:

arg z1 z2 = arg(z1 z2 ) arg(z3 z2 ) que es el ngulo sealado por la echa z3 z2 z1 z2 |z1 z2 | z3 z2 = |z3 z2 | es la razn entre los lados adyacentes. Entonces esta relacin
0 z 0 z2 z1 z2 = 1 , 0 0 z3 z2 z3 z2

quiere decir que los tringulos formados por las ternas son semejantes, a su vez esto quiere decir que la transformacin afn preserva la razn. Toda la geometra de semejanza se puede escribir en trminos de complejos (geometra afn) (Ver apndice C) Cundo tres puntos estn alineados?

y esto ocurre cuando z1 z2 es un nmero real, z3 z2 As toda transformacin afn manda puntos alineados en puntos alineados. Cundo un tringulo es tringulo rectngulo? cuando z1 z2 = ir con r R z3 z2

cuando el arg z1 z2 = 0 z3 z2

42

2.2.

Otro ejemplo sera la ecuacin de una recta, z z2 R zz3 zz22 = zz3 zz22 z3 z2 o la ecuacin de un crculo, z z2 z3 z2 = 1, es decir, |z z2 | = |z3 z2 | .

Transformaciones de Mbius
Inversin

2.2.1.

f : C C, f (z) = 1 , z Tenemos que 0 va al y va al 0. A cada nmero complejo 6= 0 le corresponde su inverso: z f (z) = 1 = z 1 = |z|2 z Esta transformacin manda todo lo que est dentro del crculo unitario (|z| < 1) a todo lo que est fuera de l (|f (z)| > 1) y viceversa. Consideremos la circunferencia unitaria: 0 En geometra moderna se dene la inversin como sigue: si dos puntos p y p colineales con el centro de la circunferencia de radio 1, cumplen con que el producto de sus distancias 0 0 al centro es igual uno, entonces p y p son puntos inversos. (d(0, p)d(0, p ) = 1). Se demuestra que la inversin tiene muchas propiedades muy interesantes, como por ejemplo, la preservacin de los ngulos en magnitud, pero invierte su orientacin.

43

Entonces la inversin de la geometra moderna se puede escribir en notacin compleja como z (1/z). La inversin compleja sera la inversin usual seguida de la conjugacin. Observemos cmo el reejar con respecto al eje real, nos recupera la orientacin original de los ngulos. Las transformaciones que hemos visto (anes) mandan rectas en rectas y crculos en crculos, a diferencia de f (z) = 1 , con la cual un crculo o una recta va a dar a un crculo z o una recta, es decir, no siempre crculos van a dar a crculos. Vemoslo: crculo: |z z0 | = r, (z z0 ) (z z 0 ) = r2 , zz zz 0 z0 z + z0 z 0 r2 = 0. Hacemos b = z0 , c = z0 z 0 r2 y obtenemos una ecuacin general: azz + bz + bz + c = 0 a, c R, b C
b a

Aqu estn todas las rectas y todos los crculos. (Ver Apndice C) Si a 6= 0 y bb ac > 0 tenemos un crculo con centro y radio r = Si a = 0 la ecuacin representa una recta cualquiera, bz + bz + c = 0. f (z) = 1 = w, z azz + bz + bz + c = 0, 1 1 1 1 a w w + b w + b w + c = 0, cww + bw + bw + a = 0, a0 ww + b0 w + b0 w + c0 = 0, donde a0 = c, b0 = b, c0 = a, Entonces tenemos que:

bbac . a2

44

Un crculo que pasa por el origen (c = 0) va a una recta {} que no pasa por el origen (a0 = 0). Un crculo que no pasa por el origen va a otro crculo que no pasa por el origen. Una recta que pasa por el origen (a y c = 0), va a una recta que tambin pasa por el origen. Una recta que no pasa por el origen (a = 0, c 6= 0), va a un crculo que pasa por el origen. Ahora si pensamos a una recta como un crculo de radio entonces estaramos hablando slo de crculos, por tanto con esta modalidad tendramos que 1 manda crculos en crculos z Como transformacin 1 no est denida en z = 0, pero no es muy difcil corregir esta z situacin: si agregamos a C un punto al podemos denir f (0) = y f () = 0. Veamos qu signica esto geomtricamente. f (z) =

2.2.2.

La esfera de Riemann

S = {(x1 , x2 , x3 ) : x2 + x2 + x2 = 1} 1 2 3 : S {(0, 0, 1)} C A casi todo punto de la esfera le asociamos un punto en el plano: 1 + ix (x1 , x2, x3 ) z = x1 x32 Podemos agregar el punto al innito y que sea el punto imagen de (0, 0, 1) y obtener b una extensin de la funcin al plano extendido. : S C La transformacin adquiere un sentido geomtrico claro, si se identica z = x1 + ix2 con el punto (x1 , x2, 0). Entonces (p) va a ser el punto de interseccin de el plano (x1 , x2 ) con la recta en R3 que sale del punto (0, 0, 1) y pasa por el punto p (ver dibujo).

La funcin es llamada la proyeccin estereogrca, con (0, 0, 1) = . Como se b trata de una funcin biyectiva, podemos hallar su inversa 1 : C S 2 1 (z) = |z|2x , |z|2y , |z|2 1 2 2 +1 +1 |z| +1 45

 es continua y su inversa tambin lo es, en el sentido de que si z (0, 0, 1), entonces (z) y viceversa, a lo que se le llama un homeomorsmo. Es decir que desde un punto de vista topolgico la esfera y el plano extendido son equivalentes. Esto resulta muy til, pues es una manera de representar al plano complejo extendido b b y visualizar las funciones C C (polinomios, cociente de polinomios, 1 , transformaciones z anes, etc) Por ejemplo f (z) = z 2 . Esta funcin z 2 mandar a la esfera dos veces sobre s misma y se estira hacia el polo sur y hacia el polo norte: Un crculo paralelo al ecuador cerca de va a otro crculo recorrido dos veces, ms cerca de . El crculo unitario (ecuador) va al ecuador recorrido dos veces. Un crculo paralelo al ecuador cerca del cero va a otro crculo recorrido dos veces, ms cerca de cero.

2.2.3.

Transformaciones de Mbius

az + b con ad bc 6= 0 cz + d las que se llaman de Mbius en honor del matemtico alemn A.F. Mbius (17901868). Tambin se les llama transformaciones lineales fraccionarias. Asimismo, se trata de cocientes de polinomios de grado uno, por lo que son a la vez funciones racionales. Cuando ad bc = 0, el numerador es mltiplo del denominador por una constante y f (z) es constante, por eso las excluimos. b Si c = 0 entonces a 6= 0, esto implica que f (z) = z + con = a y = d y d f () = , es decir tenemos las transformaciones anes. Si c 6= 0, tenemos que f ( d ) = y cuando nos movemos hacia el , la transformac cin de Mbius tiende al valor a , es decir f () = l f (z) = a . m c c z b b Lo que tenemos es una transformacin de C en C biyectiva, por tanto podemos encontrar su inversa que va a ser de la misma forma. f (z) =

Agregando la inversin a las transformaciones anes tenemos transformaciones de b C de la forma b C

46

iz +1 Ejemplo 2.1 T (z) = z 1 T (1) = T () = i Todos los crculos que pasan por el 1 van a rectas que no pasan por i. Todas las rectas que pasan por 1 (crculos de radio ) van a rectas que pasan por i. Todo lo que pasa por i viene del , por lo que las rectas van a crculos que pasan por i. Otra manera de pensar esto, es con la proyeccin estereogrca, las rectas en el plano van a dar a crculos que pasan por el polo norte y los crculos del plano van a dar a crculos que no pasan por el polo norte, es decir, los crculos van a dar a crculos.

Una transformacin de Mbius tambin la podemos representar mediante una matriz a b compleja de dos por dos A = invertible. Y al revs, dada cualquier matriz c d que cumpla la condicin det A = ad cb 6= 0, podemos asociarle una transformacin de Mbius. Esta correspondencia (a pesar de que no es biyectiva, porque una matriz A y cualquiera de sus mltiples escalares A denen la misma transformacin de Mbius) tiene la ventaja de que permite usar las operaciones con matrices para encontrar composiciones e inversas de transformaciones de Mbius. Consideremos dos conjuntos: 1 M1 = traslaciones, rotaciones, homotecias, z todas sus composiciones y M = f (z) = az+b a, b, c, d C, ad cb 6= 0 (conjunto de las transformaciones cz+d de Mbius) Vamos a demostrar que el conjunto de transformaciones de Mbius forma un grupo b bajo la composicin. (Este se denota por GL(2, C)/ mdulo una homotecia ). Demostracin 1) Si T, T 0 M entonces T T 0 M 0 z+b0 T (z) = az+b T 0 (z) = a0 z+d0 cz+d c T (T (z)) =
0
z+b a a0 z+d0 +b c z+b c a0 z+d0 +d c 0 0 0 0

b Proposicin 2.1 M es un grupo de transformaciones de C =

(aa0 +bc0 )z+ab0 +bd0 (ca0 +dc0 )z+cb0 +dd0

la forma corresponde a una transformacin de Mbius, pero faltara demostrar que (aa0 + bc0 )(cb0 + dd0 ) (ca0 + dc0 )(ab0 + bd0 ) 6= 0 Esto se puede hacer directamente, pero es mejor hacerlo con matrices: 00 z+b00 T (T 0 (z)) = a00 z+d00 donde a00 = (aa0 + bc0 ) c b00 = (ab0 + bd0 ) c00 = (ca0 + dc0 ) d00 = (cb0 + dd0 ). Luego, la composicin de transformaciones de Mbius se corresponde con el producto de matrices: 0 0 00 00 a b a b a b = 00 00 c d c d c0 d0 47

Como el determinante de un producto de matrices es el producto de sus determinantes, tenemos que 00 00 a b 6= 0 y det c00 d00 por tanto T T 0 M. 2) Si T M entonces T 1 M. Es decir que existe la inversa y sta pertenece a M. dzb Si T (z) = az+b , podemos encontrar explcitamente la funcin inversa T 1 (z) = cz+a cz+d ; esta funcin es la forma deseada. Tambin podemos encontrarla calculando la matriz de a b , aunque no es necesario incluir el factor constante dado por el inversa de A = c d determinante. ad bc 0 d b a b = 0 ad bc c a c d (adbc) z+ 0 1 T (T (z)) = 0 z+ (adbc) = z As, tenemos que M = T (z) = az+b , a, b, c, d C, con ad cb 6= 0 es un grupo cz+d b b de transformaciones de C C.X Teorema 2.4 M1 = M Demostracin i) M1 M : como todas las transformaciones anes estn en M (z + = 0 z+1 1 ), y la inversin est en M ( 1 = 0 z + 1 ), tambin estn todas sus z+ z 1z+0 composiciones, porque M es cerrado bajo composicin.X ii) M1 M : Ahora hay que demostrar que toda transformacin de Mbius se puede obtener como composicin de homotecias, rotaciones, traslaciones y la inversin. T (z) = az+b cz+d b Si c = 0, esto es fcil: T es una transformacin afn, T (z) = az+b = a z + d , y es d d composicin de una homotecia, una rotacin y una traslacin. Veamos que al componer con una inversin (y un poco ms) podemos reducir las cosas al caso c = 0 : Que c 6= 0, signica que T no es afn, es decir que T () 6= : T () = a . Pero c podemos mandar de regreso este punto al innito mediante una traslacin T1 (z) = z a c 1 (que lo manda al cero), seguida de la inversin S(z) = z que manda 0 al . Luego la composicin S T1 T = T 0 manda en , es afn, y por el caso c = 0 sabemos que es composicin de una homotecia, una rotacin, una traslacin. Luego 1 T = T1 S 1 T 0 es tambin composicin de homotecias, rotaciones, traslaciones e inversin.X Ejercicio 2.1 Basndose en la demostracin anterior, escribir explcitamente T como composicin de homotecias, rotaciones, traslaciones e inversin. Comparar el resultado con lo que aparece en el libro de Ahlfors.

48

2.2.4.

Invariancia de crculos, ngulos y razn cruzada.

De lo anterior, podemos ya asegurar que: Toda transformacin de Mbius manda crculos en crculos. En efecto, ya sabemos que todas las transformaciones anes y la inversin mandan crculos en crculos, y que cualquier transformacin de Mbius es composicin de stas!X Otra manera de verlo es, como en el caso de la inversin, substituyendo z = T (w) en la ecuacin de un crculo, para ver que se obtiene la ecuacin de otro crculo. Veremos otra demostracin de esto y de que adems se preservan los ngulos entre los crculos, en base a entender, como lo hicimos antes con las traslaciones y las anes, cundo podemos mandar un conjunto de puntos en otro mediante una transformacin de Mbius.
0 0 0 b Teorema 2.5 Dadas {z1 , z2, z3 }, {z1 , z2 , z3 } dos ternas de puntos distintos de C, existe 0 0 0 una nica T M tal que T (z1 ) = z1 , T (z2 ) = z2 , T (z3 ) = z3

(Nota:Compara con las transformaciones anes! Ahora tenemos un grupo mayor de transformaciones y podemos hacer ms cosas que antes). Demostracin Podemos escribir las ecuaciones T (zi ) = zi0 y encontrar los coecientes de T. Pero es ms claro ver un caso particular, y reducir el caso general a ste utilizando las propiedades de grupo. Queremos encontrar una transformacin de Mbius que mande {z1 , z2 , z3 } en {0, 1, } . Con (z) = z z1 mandamos a z1 al 0 y a z3 al , z z3 y para que suceda que z2 va al 1, habra que buscar quin es k en (z) = k z z1 , z z3 1 = k z2 z1 , z2 z3 por lo que la transformacin buscada es (z) = z z1 z2 z3 z z3 z2 z1 (z1 ) = 0, (z2 ) = 1, (z3 ) = . La transformacin que manda la terna {z1 , z2 , z3 } en {0, 1, } es: z z0 z0 z0 0 (z) = z z1 z2 z3 . 0 0 0 3 2 1 Por tanto, por las propiedades de grupo de M, tenemos que T (zi ) = ( 0 )1 (zi ) = zi0 . Unicidad: Sean T1 y T2 dos transformaciones de Mbius que mandan la terna {z1 , z2, z3 } en 0 0 0 {z1 , z2 , z3 }. Nosotros queremos demostrar que T1 = T2 . 49
0 0 0

Si la transformacin que manda al {0, 1, } es nica no hay problema, pues si 0 T1 y 0 T2 : {z1 , z2 , z3 } {0, 1, } entonces T1 = T2 . Tomemos ()1 : {0, 1, } {z1 , z2 , z3 } , as tenemos que: 0 T1 ()1 : {0, 1, } {0, 1, } , 0 T2 ()1 : {0, 1, } {0, 1, } . Probemos que 0 T1 1 es la identidad. Tenemos que f (z) = az+b manda a {0, 1, } en {0, 1, } , cz+d b f (0) = d por tanto b = 0, f () = a por tanto c = 0, c y f (1) = a por tanto a = d. d Y si va , es de la forma z + ; y si el 0 va al 0 entonces = 0; f (1) = 1 = 1 entonces = 1. Por tanto 0 T1 1 = I (Identidad) de aqu se concluye que T1 = T2 .X Ahora, si tenemos cuatro puntos distintos {z1 , z2 , z3 , z4 }y queremos mandarlos a otros 0 0 0 0 cuatro puntos distintos {z1 , z2 , z3 , z4 },lo podremos hacer? En general no se puede. De acuerdo con el teorema anterior, podemos mandar tres puntos distintos en otra terna de puntos, T (zi ) = zi0 . La imagen del cuarto punto bajo 0 la transformacin T , T (z4 ) = z4 , no necesariamente es igual al punto que queremos z4 . 0 0 Entonces hay que pedir que sean iguales (z4 ) y (z4 ) . Es decir, se tiene que cumplir z0 z0 z0 z0 que z4 z1 z2 z3 = z4 z1 z2 z3 . 0 0 0 0 z4 z3 z2 z1 4 3 2 1 Por tanto tenemos:
0 0 0 0 Teorema 2.6 Dados {z1 , z2 , z3 , z4 } y {z1 , z2 , z3 , z4 } existe una nica transformacin de z0 z0 z0 z0 Mbius que manda zi en zi0 , i = 1, .., 4 si y slo si z4 z1 z2 z3 = z4 z1 z2 z3 . 0 0 0 0 z4 z3 z2 z1
4 3 2 1

Razn Cruzada (RC) Sea S(z) = z z2 z3 z4 , esta transformacin manda a {z2 , z3 , z4 } en {0, 1, } , rez z4 z3 z2 spectivamente. Al valor S(z1 ) = z1 z2 z3 z4 se le llama razn cruzada y se denota RC(z1 , z2 , z3, z4 ), z1 z4 z3 z2 RC(z1 , z2 , z3, z4 ) = si alguno de los puntos z2 , z3 , z4 es igual a , la razn es simple: z3 z4 z z2 , y zz3 zz22 respectivamente. z z4 z z4 Teorema 2.7 Toda transformacin de Mbius T preserva la razn cruzada. Demostracin Sea S(z) = z z2 z3 z4 . z z4 z3 z2 Al considerar la transformacin ST 1 , los puntos {T (2 ), T (z3 ), T (z4 )} van a {0, 1, }. Entonces la razn cruzada de (T (z1 ), T (z2 ), T (z3 ), T (z4 )) = S(T 1 (T (z1 )). S(T 1 (T (z1 ) = S(z1 ) = (z1 , z2 , z3 , z4 ) por tanto T preserva la razn cruzada.X 50
z1 z1 z3 z3 z2 z4 z2 z4

razn de razones,

Si cuatro puntos estn en crculo Cmo podemos expresarlo en funcin de la razn cruzada? Si mandamos tres en 0, 1, el cuarto punto tiene que estar en el eje real. Si z1 , z2 , z3 , z4 estn en un crculo si y slo si RC(z1 , z2 , z3 , z4 ) R. arg( z1 z2 ) + arg( z4 z3 ) = . z1 z4 z2 z3 En la gura son los ngulos opuestos de un cuadriltero cclico. Y si estn en una recta los cuatro puntos tambin la razn cruzada es real.
z1 z1 z3 z3 z2 z4 z2 z4

R esto implica que arg(

z1 z1 z3 z3

z2 z4 z2 z4

)=0

Una demostracin analtica es la siguiente: RC(z, z2 , z3 , z4 ) R z z2 z3 z4 = z z2 z3 z4 = z z2 z3 z4 z z4 z3 z2 z z4 z3 z2 z z4 z3 z2 (z z2 )(z z 4 )(z3 z4 )(z 3 z 2 ) = (z z4 )(z z 2 )(z3 z2 )(z 3 z 4 ) (z z2 )(z z 4 )w0 = (z z4 )(z z 2 )v0 v0 = w0 zz(w0 v0 ) + z(z 2 (v0 ) z 4 (w0 )) + z(z4 (v0 ) z2 (w0 )) + (z2 z 4 (w0 ) z4 z 2 (v0 )) = 0 que es la ecuacin general de un crculo (o de una recta). Por lo que si tomamos tres puntos z1 , z2, z3 que denan un crculo, entonces cualquier transformacin de Mbius manda el punto z en otro punto del crculo denido por T (z2 ), T (z3 ), T (z4 ). Por todo lo anterior tenemos el siguiente teorema: Teorema 2.8 Toda transformacin de Mbius manda crculos en crculos. Cualquier propiedad que se pueda expresar en trminos de la razn cruzada resulta ser invariante, por ejemplo la preservacin de ngulos orientados. Tomemos dos crculos C y C 0 que se corten en dos puntos z1 y z2 . 51

0 Escogemos dos puntos z0 en C y z0 en C 0

0 ^(CC 0 ) = arg( z00 z21 . z0 z2 ) = arg(RC(z0 , z1 , z0 , z2 )). z0 z1 0 En el caso de dos rectas :

0 Armamos que ^ (CC 0 ) = arg(RC(z0 , z1 , z0 , z2 )). Observemos en el dibujo que : z z0 1) = 2 y 0 = 2 0 = 2 arg( z2 z0 ) y 0 = 2 arg( z1 z0 ). 0 z1 z0 2 0 0 2) + = 2 y + = 2 2 = 2. 0 3) Del tringulo formado por 0, 00 y z1 tenemos + + + 2 = , 2 2 z z0 por tanto = arg( z2 z0 ) + arg( z1 z0 ), o bien 0 z1 z0 2 z0 z
0

0 Si z2 = , la razn es simple: RC(z0 , z1 , z0 , z2 ) =

0 z0 z1 . z0 z1

Ejercicio 2.2 Dejamos al lector, demostrar el caso del ngulo entre una recta y un crculo. Otra demostracin ms sencilla consiste en reducir el caso general al caso de dos rectas, mandando un punto de interseccin al (Ver el libro de Ahlfors). Teorema 2.9 Toda transformacin de Mbius preserva ngulos (orientados)

Conclusin 2.2 Las transformaciones de Mbius son un grupo de transformaciones que b b van de C C, que preservan razn cruzada, mandan crculos en crculos y preservan ngulos orientados. Para ver la relacin con la geometra hiperblica, ver apndice E. 52

2.2.5.

Introduccin a las funciones Racionales

Las transformaciones de Mbius son un caso particular de las funciones racionales. P (z) Una funcin racional es un cociente de polinomios, R(z) = Q(z) donde P, Q no tienen races comunes. Los ceros de Q(z) son los polos de R. En estos puntos, denimos R como . Los ceros de P (z) son los ceros de R. El grado de R se dene como el mx{grado(P ), grado (Q)}. Ms adelante veremos a que el grado tiene que ver con el nmero de preimgenes de un punto w, es decir cuntos puntos z van a dar al valor w. Por ejemplo, si tenemos z 3 y z13 , son funciones racionales b b de grado 3. Todo punto w C tiene tres preimgenes en C. De esta manera el grado tiene que involucrar tanto al denominador como al numerador. A dnde va el ? Tenemos un cociente de funciones tales que tienden a innito cuando z , aqu lo importante es ver que tan rpido se van, quin es el que domina y los grados nos proporcionarn informacin: Sean P (z) = an z n + ... + a0 Q(z) = bm z m + ... + b0 Si n > m, P tiende a ms rpido que Q y R tiende a . Si n < m, es al revs, y R tiende a 0. Para precisar estos argumentos podemos escribir an + ... + a0 z n bm + ... + b0 z m an El cociente tiende a bm cuando z tiende a . an Luego R(z) si n > m, R(z) 0 si n < m y R(z) bm si n = m. As podemos denir R() como sigue: si n > m entonces R() = si n < m entonces R() = 0 an si n = m entonces R() = bm 6= 0, b b Por tanto tenemos que son funciones de C C bien denidas y CONTINUAS! R(z) = z nm

2.3.

Anlisis geomtrico

2.3.1.

z2 como transformacin del plano. Duplicacin y preservacin de ngulos

f (z) = z 2 . El cero va a dar al cero. El crculo unitario va a dar al crculo unitario recorrido dos veces. Cuando hemos recorrido apenas en el plano z, en el plano w ya recorrimos todo el crculo. 53

z1 = cos + isen y z1 = cos ( + ) + isen( + ) van a dar al mismo punto (aqu la funcin no es inyectiva). Un crculo de radio r < 1 va en otro crculo de radio r2 < r y recorrido dos veces. Un crculo de radio r > 1 va en otro crculo de radio r2 > r y recorrido dos veces. Ahora consideremos la funcin f (z) = z 2 + c, o bien f (z) = az 2 + c, c C. La primera podra pensarse como z 2 y luego una traslacin de valor c; y la segunda como z 2 , luego una rotacin y homotecia y al nal trasladamos un valor c. Recordemos cmo le hacamos en el caso real, cmo entendamos un polinomio de grado dos? p(x) = ax2 + bx + c Cmo sabamos que es una parbola? Completando cuadrados: 2 b2 b2 b b2 ax + 2a + c 4a . ax2 + bx + c = ax2 + bx + 4a + c 4a =

b Si a > 0, 2a la abcisa del punto en donde se dobla la recta. Haciendo el cambio es b de variable x0 = ax + 2a obtenemos la expresin de una parbola x02 + b0 , doblada en otro punto y subida o bajada un valor b0 .

Ejemplo 2.2 P (x) = x2 + 2x = (x + 1)2 + 1

5 y

3.75

2.5

1.25 0 -3.75 -2.5 -1.25 0 -1.25 1.25 2.5 x

54

Ahora si hacemos lo mismo para el caso en C : 2 2 2 b 2 p(z) = z 2 + bz + c = z 2 + bz + b4 + c b4 = z + 2 + c b4 . Vemos que aqu tambin tenemos un punto especial, cuando tenamos z 2 , el cero tiene slo una preimagen (los puntos en el plano-z que van a dar a un punto w) y todos los b dems tienen dos preimgenes diferentes. Aqu el punto especial es z = 2 y los puntos b b simtricos con respecto al punto especial que van a dar al mismo valor son: 2 +u, 2 u

b Lo mismo que ocurre con z 2 en torno al origen, aqu ocurre en torno al punto 2 . b 0 Con un cambio de variable z = z + 2 , z 02 + algo = hacer z 2 y luego trasladar un valor Como composicin tendramos:

b Un crculo con centro en 2 va a dar a un crculo con centro en el origen y luego va a dar a otro crculo con centro en el origen pero recorrido dos veces y luego lo trasladamos 2 2 un valor c b4 (el origen va a dar al punto c b4 ). Se ve mejor si no dibujamos los ejes. Tengo un punto y los crculos alrededor de l van a dar a otros alrededor del otro punto:

As en general (z z0 )2 + c, cada crculo alrededor de z0 , lo manda a otro crculo alrededor del punto recorrido dos veces. Si multiplicamos la funcin por un valor 6= 0, g(z) = ((z z0 )2 + c), todo lo que 55

tenamos lo giramos y lo expandemos (o contraemos). En resumen, si entendemos cmo es la transformacin z 2 podemos saber cmo es la de cualquier otro polinomio de segundo grado. Volviendo a z 2 , la imagen bajo z 2 de un crculo con centro en el origen (no consideremos el radio), es otro crculo recorrido dos veces, pero dibujado en el plano-w lo vemos como un solo crculo, no se distingue la segunda vuelta. Qu pasara si metemos una pequea variacin? Qu pasa si tomamos un crculo cuyo centro est ligeramente desplazado del origen?

Siguiendo los puntos de este crculo observamos lo siguiente: Si consideramos la parte del crculo que est en el primer cuadrante, el argumento del punto z vara de 0 a y la elevamos al cuadrado, el argumento del punto z 2 vara 2 de 0 a quedndonos una curva como un pedazo de crculo; y al recorrer la parte II, la curva imagen da una vuelta alrededor del origen, por tanto si vamos recorriendo las dems partes de los cuadrantes (III, IV), obtenemos que la curva imagen es una curva cerrada que da dos vueltas alrededor del 0 y tiene una forma como de un arete. Vemos as que z 2 no manda en general crculos en crculos. Ejercicio 2.3 Ver qu pasa cuando vamos alejando el centro del crculo del origen. Y nalmente las rectas que pasan por el origen van a dar a rayos con el doble de ngulo de la recta original .

56

Podemos concluir que una malla de este tipo:

bajo z 2 sera otra malla del mismo tipo, la diferencia es que los crculos estn recorridos dos veces (expandidos o contrados) y las rectas que pasan por el origen son realmente rayos que salen del cero. Los ejes (real e imaginario) se doblan como sigue: El eje real va al eje real positivo. El eje imaginario va al eje real negativo. La imagen inversa de un crculo (con centro en el origen) y una recta que pase por el origen, es un crculo y dos rectas respectivamente.

Ahora veamos la imagen de una malla as:

57

Tenemos que en coordenadas x, y la transformacin se escribe: (x, y) (x2 y 2 , 2xy) Tomemos un punto (a, b). La imagen de la recta horizontal (t, b) que pasa por este punto queda parametrizada por 1 (t) = (t2 b2 , 2tb). Es fcil ver que la imagen es una parbola: si u = t2 b2 y v = 2tb, eliminando t obtenemos la ecuacin u = v2 /4b2 b2 . La imagen de la recta vertical (a, t) tambin es una parbola, parametrizada por 2 (t) = (a2 t2 , 2at). Y la imagen son parbolas cruzadas:

z2 Cmo se cruzan estas parbolas? El ngulo entre ellas ser el ngulo entre sus vectores tangentes en el punto f (a, b). Calculando: 01 (t) = (2t, 2b) 02 (t) = (2t, 2a) 01 (a) = (2a, 2b), 02 (b) = (2b, 2a) por tanto las curvas imagen se cortan ortogonalmente.

58

Podemos tambin entender cmo se ve la transformacin viendo la imagen inversa de algunas curvas. Qu familia de curvas bajo z 2 van a dar a la siguiente malla?

Buscamos la imagen inversa de la malla de rectas horizontales y verticales: Para las rectas verticales: c>0: x2 y 2 = c aqu tenemos hiprbolas con asntotas en las rectas y = x c<0: y 2 x2 = c obtenemos las hiprbolas conjugadas

59

Para las rectas horizontales: 2xy = c tenemos hiprbolas con asntotas en los ejes coordenados y que son ortogonales a las otras hiprbolas.

por tanto la imagen inversa de la malla queda as:

60

Dos familias de hiperblas. Para ver el ngulo entre ellas tomemos el ngulo entre sus vectores normales. Para las hiperblas de ecuacin 2xy = c, los vectores normales estn dados por el gradiente de 2xy que es (2y, 2x). Para las de ecuacin x2 y 2 = c el vector normal es (2x, 2y). Como estos vectores son ortogonales, las hiperblas son ortogonales en cada punto de interseccin. Si tuviramos inclinada la malla de rectas Cul sera su imagen directa bajo z 2 ? Se podra parametrizar las curvas e ir viendo su imagen o bien podemos utilizar lo que ya hemos hecho. Si la malla est inclinada, con un giro podemos "enderezarla" y elevar al cuadrado obtenemos las parbolas, volvemos a girar las parbolas con otro ngulo para obtener la imagen de la malla inclinada. Es decir, z (cos + i sin )z (cos 2 + i sin 2)z 2 z 2 . Giramos un ngulo = , 4
y 6.25 5 3.75 2.5 1.25 0 -6.25 -5 -3.75 -2.5 -1.25 -1.25 -2.5 -3.75 -5 -6.25 0 1.25 2.5 3.75 5 6.25 x -5 -4 -3 -2 -1 -1 -2 -3 -4 -5 x 2 1 0 0 1 2 3 4 5 y 5 4 3

elevamos al cuadrado y giramos un ngulo = 2 : 2

61

50 40 30 20 10 0

25 20 15 10 5 0

-25

-20

-15

-10

-5 -10 -20 -30 -40 -50

10

15

20 x

25

-50

-40

-30

-20

-10 -5 -10 -15 -20 -25

10

20

30

40 x

50

As obtenemos las parbolas inclinadas. Lo que hemos demostrado es que cualquier malla de rectas(horizontales-verticales) bajo z 2 nos la manda a otra malla pero de parbolas. Algo similar ocurre si tomamos la imagen inversa de una malla de rectas inclinadas, que ser una familia de hiprbolas inclinadas. Si el ngulo de la malla "inclinada"es , giramos las hiprbolas un ngulo , multi2 plicndolas por un valor donde arg() = 2
y 5 4 3 2 1 0 -5 -4 -3 -2 -1 -1 -2 -3 -4 -5 x 0 1 2 3 4 5

(1 z 2 ) = z 2 . Ahora si tenemos crculos centrados en (1, 0) y radio r menor que uno, las imgenes sern curvitas alrededor del 1, que se van a ir pareciendo a un cacahuate:

luego elevamos al cuadrado para obtener la malla de rectas horizontales-verticales y al nal multiplicamos por otro valor , donde arg() = para obtener la malla inclinada. Lo que escencialmente estamos haciendo es z 2 : 2 2 z z (z) (z) por lo que si = 1 , 2 1 z = 1 z 2

62

Cuando el crculo sea tangente a las rectas de pendiente 1, los argumentos del crculo variarn de a que al duplicarlos la imagen quedar entre y y el mdulo de 4 4 2 2 z ms pequeo es menor que 1 (6= 0) y el ms grande mayor que 1, por lo tanto los mdulos de las imgenes variarn de un valor muy cerca del cero a un valor mayor que 1, quedando una curva imagen as:

La imagen de un crculo con centro en (1, 0) y radio 1 bajo z 2 , es la cardioide:

63

Es importante observar que cuando pasamos por el cero, la curva imagen no es una curva lisa, sino que tiene un "pico". La imagen de un crculo con centro en (1, 0) y radio un poco mayor que 1 bajo z 2 , es una curva que le da ya dos vueltas al cero y es como decamos de tipo arete:

Hay un cambio cualitativo cuando pasamos por el punto z = 0, empezamos en la imagen con curvitas casi crculos, se van deformando continumente, todas dando un sola vuelta hasta llegar a dar dos vueltas. Es decir que el punto especial es el cero. Ahora consideremos una malla de crculos concntricos de radio k con centro en otro punto distinto del cero, por ejemplo z = 1 :

64

y 2.5

1.25

0 -2.5 -1.25 -1.25 0 1.25 2.5 x

-2.5

Buscamos la imagen inversa de los crculos con centro en 1, es decir: {z : |z 2 1| = k} = {z : |z 1| |z (1)| = k}. Buscamos los puntos z cuyo producto de las distancias al 1 y al 1 es constante. La familia de curvas que buscamos son las curvas de nivel de la supercie denida por f (z) = |z 2 1| . Si k = 0, es claro que los puntos z = 1 y z = 1 satisafacen |z 2 1| = 0. O bien los puntos puntos (1, 0) y (1, 0). Si k = 1, tenemos la curva Lemniscata: 2 desarrollando |z 2 1| = 1 encontramos (x2 + y 2 ) = 2(x2 y 2 ), que si lo expresamos en coordenadas polares tenemos r2 = 2 cos 2 :
y 1

0.5

0 -1 -0.5 0 0.5 1 x -0.5

-1

Lemniscata Al elevar al cuadrado la parte de la curva que est en el primer cuadrante, tenemos el semicrculo y cuando recorremos el segundo cuadrante obtenemos el crculo. Terminamos de recorrer la Lemniscata y obtenemos otra vuelta del crculo. Cuando k es pequea menor que 1 tenemos dos curvitas (casi crculos) alrededor del 65

1, 1.
y 1.5 1

0.5 0 -1.5 -1 -0.5 -0.5 0 0.5 1 x 1.5

-1

-1.5

k<1 Observemos que el argumento de los puntos z en la curva alrededor del 1, varan alrededor de y que al elevarlos al cuadrado su argumento estar variando alrededor de 2. Cuando el valor de k va tendiendo a 1, las curvitas van teniendo la forma de un "huevo". Si k > 1, tenemos una curva como la siguiente:
y 0.75 0.625 0.5 0.375 0.25 0.125 0 -1.5 -1.25 -1 -0.75 -0.5 -0.25 0 -0.125 -0.25 -0.375 -0.5 -0.625 0.25 0.5 0.75 1 1.25 1.5 x

Si el valor de k es cada vez ms grande, la imagen inversa se va ir pareciendo cada vez ms a un crculo. En las siguientes guras vemos la supercie f (z) = |z 2 1| y las curvas de nivel:

66

Entonces esta familia de curvas que llenan el plano, se llaman Curvas de Cassini1 . Al aplicarles z 2 nos da la familia de crculos con centro en el uno y radio k (que tambin llenan el plano).

Curvas de Cassini Ejercicio 2.4 Encontrar la imagen directa e inversa de las rectas que pasan por z = 1, completando as las dos familias de curvas a una malla ortogonal.
1

Introducidas por el astrnomo italiano-frncs Jean-Dominique Cassini (1625-1712)

67

Hemos visto que la transformacin z 2 preserva ngulos entre muchas curvas que se cruzan fuera del origen. Ser esto cierto en general? Para demostrarlo recordemos qu pasa con los vectores tangentes bajo una transformacin. Si f : R2 R2 y tenemos una curva (t) en R2 . Su imagen es la curva (t) = f ((t)). El vector tangente a esta curva es 0 (t) = Df ((t)). 0 (t).

donde Df ((t)) es la derivada de f en el punto (t), es decir, la transformacin lineal dada por la matriz jacobiana de f = (f1 , f2 ) : !
f1 x f2 x f1 y f2 y

En el caso de z 2 , f (x, y) = (x2 y 2 , 2xy) y la matriz jacobiana es 2x 2y 2y 2x que, para (x, y) 6= 0, es una matriz que preserva ngulos, como vimos en el captulo uno. Luego queda demostrado que z 2 preserva siempre ngulos entre curvas. Ejercicio 2.5 Obsrvese que la matriz jacobiana anterior es la que corresponde al complejo 2z. Qu relacin hay entre esta funcin y la transformacin z 2 ?

2.3.2.

Raz cuadrada. Otras potencias y races.

Qu es z? Recordemos qu tenamos en R :

68

25

20

15

10

5 0 -5 -2.5 0 2.5 x 5

Dado un valor de y existen dos races y tenemos que escoger una. Existe una manera de escogerla, que es tomar la positiva. raz cuadrada no negativa, x 0 x={ nada, x<0 y esta funcin es derivable casi en todos los puntos:
y 3 2.5 2 1.5 1 0.5 0 0 2.5 5 7.5 x 10

Ahora en C: sabemos que z1 , z1 al elevarlos al cuadrado van a un punto w. Bajo qu criterio escogemos una raz ? Consideremos el 1. Un primer intento es: Denicin: Al punto r(cos + isen) le asociamos r1/2 (cos + isen 2 ) donde (, ]. Con 2 sta denicin tenemos ya problemas, porque al tomar una sucesin en el semiplano superior que converga al 1, la funcin tiende al valor i, pero al tomar otra sucesin en el semiplano inferior, los valores de la funcin tienden al valor i. La funcin resulta no continua en todo el eje real negativo. El problema no est tanto en la denicin sino que si tomamos un punto cualquiera w y lo movemos continuamente, por ejemplo por un crculo alrededor del origen, entonces en la imagen empezamos en el punto z1 y terminamos en z1 (el punto opuesto). Lo que estamos haciendo es ir sacando la mitad del ngulo. Conclusin 2.3 No existe una funcin f (w) tal que 69

1) Est bien denida para toda w C 2) Sea continua 3) Cumpla f (w)2 = w Entonces Qu podemos hacer con la funcin multivaluada? Denir f (w) = la raz con parte real positiva y escoger un dominio U = C { eje real negativo}, esto es una rama continua de w. Tambin podemos denir otras ramas. La eleccin del dominio puede ser cualquier regin quitndole algo para no darle la vuelta al cero:

Esto tambin es vlido para cualquier funcin algebraica: (w) n . Ejemplo 2.3 (z) = z 2 1 buscamos una regin donde se pueda denir. f z 2 1 = z 1 z + 1 . Dnde vale cero z 2 1? Si tomamos C {(, 1] [1, )} como dominio, esta bien denida la raz. O bien C {[1, 1]} Por que al tomar un valor y le damos la vuelta a las dos races, cambia el signo de z 1 z + 1 y llegamos al mismo valor. p Ms en general p(z), buscamos sus races y evitamos darles la vuelta. Podemos tener regiones as:

2.3.3.

Polinomios y funciones Racionales

p(z+h)p(z) h

Sea p(z) = az n Mas adelante veremos que la derivada es el l m 70

h0

, para todo z C.

Dado que p(z + h) p(z) a(z + h)n az n = = anz n1 + h(R(h, z)), h h donde R(h, z) es continua, y tomando el lmite tenemos que: p0 (z) = anz n1 . La matriz jacobiana que obtuvimos de ver a z 2 como funcin de R2 R2 , tiene que ver con la derivada de z 2 : 2x 2y (2x + i2y) = 2(x + iy) = 2z 2y 2x Si vemos a z 3 como funcin de R2 R2 , f (x, y) = (x3 3xy 2 , 3x2 y y 3 ), la Matriz jacobiana es: 2 2 x y 2 2xy 3x 3y 2 3 2xy =3 3z 2 3 2xy 3x2 3y 2 2xy x2 y 2

Esto tambin es vlido para z n . Veamos. Supongamos por induccin que: se vale para z n , es decir: z n = (An (x, y), Bn (x, y)) ,
An x Bn x An y Bn y

nz n1 = (z n )0 ,

queremos ver que se vale para n + 1 : z n+1 = z n z = (An + iBn ) (x + iy) = (xAn yBn ) + i(Bn x + An y) sacamos la matriz jacobiana: An x x + An y Bn x An x y y An + Bn + x Bn y An x x y An An x y An x y + Bn Bn y x Bn x y y Bn Bn y = + An + Bn x y Bn znz n1 + z n An

= nz n + z n = (n + 1)z n = (z n+1 )0 . Si tengo az n , no hay ms que hacer, se puede pensar que primero se eleva a la n y

71

despus de multiplica por una constante y tendramos que se sigue cumpliendo que: An An x y a Bn Bn anz n1 = (az n )0 .
x y

As hemos demostrado el siguiente Teorema 2.10 Si p(z) = az n es un polinomio complejo entonces m i) p0 (z) = l p(z+h)p(z) existe para z C h
h0

ii) Si consideramos a p como funcin de R2 R2 , la matriz jacobiana de p es igual a la matriz asociada al complejo p0 (z).

En resumen: Si p0 (z) 6= 0 : a) tenemos que la matriz asociada a la transformacin (vista de R2 R2 ) es C-lineal b) tenemos que el determinante es 6= 0, lo que la hace invertible localmente, es decir, existe una vecindad de z0 que el polinomio manda en forma uno a uno en otra vencindad alrededor de f (z0 ). Intuitivamente podemos decir que un pedacito de plano no lo arruga ni lo dobla sino que lo manda a otro pedacito del plano. Puntos crticos: Ahora nos preguntamos qu pasa en los puntos donde la derivada se hace cero. Cmo se comporta el polinomio? Empecemos con un ejemplo: p(z) = z 2 + z 3 = z 2 (1 + z) p0 (z) = 2z + 3z 2 p0 (0) = 0 (el cero es punto crtico) el comportamiento del mdulo es: |p(z)| = |z 2 (1 + z)| = |z|2 |1 + z| y el comportamiento del argumento es: arg(p(z)) = arg(z 2 (1 + z)) = arg(z 2 ) + arg(1 + z) = 2 arg z + arg(1 + z) Es decir, para z cercano a 0 el mdulo de p(z) es casi el mdulo de z al cuadrado y el argumento de p(z) es casi 2 veces el argumento de z. El factor (1 +z) est perturbando poco el factor z 2 . Veamos cmo es la imagen de un crculo de radio centrado en el origen: Sea < 1 , jo. 2 Tenemos que, z = (cos + i sin ), [0, 2]. por tanto () = p((cos +i sin )) = 2 (cos 2+i sin 2)(1+(cos +i sin )), es la parametrizacin de la curva -imagen. Esta curva se obtiene de multiplicar el circulito de radio 2 recorrido dos veces y el crculo de radio con centro en z = 1. El mdulo de 1 + z vara entre 1 72

y 1 + y su argumento vara entre arcsin arg(1 + z) arcsin , la variacin de este ngulo es pequea, como estamos tomando < 1 , arg(1 + z) ( , ). 2 6 6 Como (0) = 2 (1 + ) = (2), tenemos que la curva es cerrada. Llamemos = arg(1 + (cos + i sin )). A cada valor de le corresponde el valor de 2 + , sta funcin continua manda el intervalo [0, ] en el intervalo [0, 2] y el intervalo [, 2] en [2, 4]. Observemos que:

< 1 < l, entonces < . Por tanto 2 + < + < 2, si (0, ). Entonces si [0, ], la curva le da una vuelta alrededor del origen pero sin cerrarse pues (0) = 2 (1 + ) y () = 2 (1 ) y cuando [, 2] , la curva da otra vuelta y se cierra, llegando al valor 2 (1 + ). Adems |()| [2 (1 ), 2 (1 + )]. Obsrvese que la velocidad con que se recorre la curva no es constante. La curva imagen queda as:

Intuitivamente si tomamos crculos cada vez ms pequeos "llenando"la vecindad del

73

cero, las imgenes son estas curvas, por lo que una vecindad del cero va a otra vecindad encimada como doble-encimadita, ms adelante precisaremos esto. Lo interesante de este comportamiento es que para el caso ms general, para un polinomio de grado n, tambin se cumple. Factorizando el polinomio de esta forma p(z) = z (1 + z ) podemos analizarlo localmente. Nos preguntamos Qu sucede en la imagen de un punto z0 bajo el polinomio?

Sea z = z0 + h, p(z) = an z n + ... + a1 z + a0 , n p(z) = p(z0 +h) = an (z0 +h)n +...+a1 (z0 +h)+a0 = an z0 +...+an hn +...+a1 z0 +a1 h+a0 , n p(z0 ) = an z0 + ... + a1 z0 + a0 , p(z0 + h) p(z0 ) = b1 h + b2 h2 + ... + bn hn , p(z0 + h) = b0 + b1 h + b2 h2 + ... + bn hn donde si h = 0, p(z0 ) = b0 . Cmo son los coecientes de este polinomio en h ? 2 +...+b hn P (z0 +h)P (z0 ) n = b1 h+b2 h h = b1 + b2 h2 + ... + bn hn1 cuando h 0 tenemos que h 0 p (z0 ) = b1 n1 P 0 (z0 +h)P 0 (z0 ) = 2b2 h+...+nbn h = 2b2 + ... + nbn hn2 cuando h 0 tenemos que h h 00 (z ) P 0 = b2 2 As tenemos que para (k) (z p(z0 + h) = b0 + b1 h + b2 h2 + ... + bn hn , donde p k! 0 ) = bk . Con esto podemos hacer la siguiente formulacin: Si p(z) = an z n + ... + a1 z + a0 es un polinomio en z y z0 C entonces p(z0 + h) es un polinomio en h. Si h = (z z0 ), entonces p(z) = b0 + b1 (z z0 ) + b2 (z z0 )2 + ... + bn (z z0 )n con P (k) (z0 ) = bk k! Algunas consecuencias de esto son: a) Siempre podemos escribir a p(z) en trminos de potencias de (z z0 ) b) p(z) es divisible por (z z0 ) p(z0 ) = 0, p(z) = (z z0 )Q(z). c) p(z) es divisible por (z z0 )k p(z0 ) = 0, p(z0 ) = p0 (z0 ) = p00 (z0 ) = ... = pk1 (z0 ) = 0. Ahora que hemos expresado los coecientes, analicemos cmo se ve el polinomio cuando nos movemos en una vecindad de z0 . p(z0 + h) p(z0 ) = b1 h + b2 h2 + ... + bn hn . Si b1 6= 0, es decir si la derivada es distinta de cero tenemos: 74

p(z0 + h) p(z0 ) = b1 h + b2 h2 + ... + bn hn = h(b1 + b2 h + ... + bn hn1 ) esto quiere decir que la vecindad de z0 se transforma en otra mediante una rotacin y expansin (o contraccin), el trmino que cuenta es hb1 Si b1 = 0, esto es, la derivada vale cero en el punto z0 : (k) (z bk 6= 0 P k! 0 ) 6= 0 que el polinomio no es constante p(z0 + h) p(z0 ) = bk hk + ... + bn hn = hk (bk + bk+1 h + ... + bn hnk ) cuando h es muy pequea este factor bk+1 h + ... + bn hnk es pequeo tambin y tendremos escencialmente hk bk y la vecindad de z0 va k veces en otra vecindad (casi circulito). Dicho de otra forma es k a 1.

Para precisar esto veamos que: |p(z k 0 + h) p(z0 )| = h (bk + bk+1 h + ... + bn hnk ) = |h|k bk + bk+1 h + ... + bn hnk arg(p(z0 + h) p(z0 )) = arg(hk (bk + bk+1 h + ... + bn hnk )) = k arg h + arg(bk + bk+1 h + ... + bn hnk )

... + bn hnk ) = arg(bk + (h)) = arg(bk ). Cerca del punto z0 la imagen se parece al comportamiento de la funcin z k . Si nos movemos alrededor del punto z0 , la imagen tambin se mueve alrededor del punto p(z0 ), es decir, que recorre todos los valores del argumento dndole la vuelta a p(z0 ). Intuitivamente tenemos que el polinomio manda abiertos en abiertos, no puede pasar algo as en la imagen:

bk + bk+1 h + ... + bn hnk = |bk + (h)| = |bk | donde l (h) = 0 y arg(bk +bk+1 h+ m
h0

75

Otra forma de verlo sera con el Teorema de la Funcin Inversa para f : Rn Rn Si p(z) = an z n + ... + a1 z con a1 6= 0 y p(0) = 0 Cmo se comporta el polinomio alrededor del cero? Sea p(z) = U + iV z = x + iy a1 = b + ic U = xn ... + bx cy V = xn ... + cx + by U U = ... + b = ... c x y V V = ... + c = ... + b x y b c b c Dp(0) = det = b2 + c2 = |a1 |2 6= 0 c b c b Por tanto existe la inversa en el punto, si tenemos un circulito alrededor del cero, la imagen ser casi un circulito.

Qu pasa en el punto z0 = ? 1 p(z) = z n (an + ... + a1 zn1 + a0 z1 ) con an 6= 0, n 1. n Lo que ms va a contar es el trmino an z n , si nos acercamos al punto z0 = el mdulo del polinomio tambin tiende a . La imagen de un crculo de radio r sucientemente grande, dar n vueltas alrededor n del cero, mantenindose cerca del crculo de radio rn |a2 | , pues arg(p(z)) n arg z para |z| grande.
y 2.5 y 4

1.25

0 -2.5 -1.25 -1.25 0 1.25 2.5 x -4 -2

0 0 2 x -2 4

-2.5 -4

Cuntos puntos van a dar a ? Como p() = , entonces hay uno, pero hay que contarlo n veces. Para ver un poco ms qu sucede en una vecindad del , hagamos un cambio de variable y analicemos todo en el cero. 76

p(z) = an z n + ... + a1 z + a0 z=1 =

1 w

Esto es, que el comportamiento cerca del es casi el mismo que el del cero bajo z n . Cuando estamos en el cero, bajo z n , va a dar al cero. La vecindad del cero va a otra n veces, la multiplicidad del cero es n. Por lo tanto la multiplicidad del es n. Conclusin 2.4 A los puntos donde la derivada se hace cero, se les llama puntos crticos. Y vamos a tener 2n 2 puntos crticos (tambin llamados de ramicacin), los n 1 de la derivada ms n 1 (por lo que cuenta el punto al ). Y en los dems puntos el polinomio es localmente inyectivo. En el caso real tenemos que,
y

1 1 an ( )n +...+a0

n an +an1 +...+a0 n

= n

1 an +an1 +...+a0 n

1 an

20

0 -5 -2.5 0 2.5 x -20 5

-40

los puntos donde la funcin f (x) se dobla son los puntos donde la derivada se hace cero. b b Los polinomios son funciones sobreyectivas de C C, y nos interesa saber, cuntos puntos del plano-z van a dar a un punto dado en el plano-w?. Es decir, Cuntas preimgenes tiene un valor w? Si w 6= , la ecuacin p(z) w = 0 tiene n races y algunas pueden ser mltiples. As tenemos que los polinomios son n a 1. Si p(z0 ) = w, pero p0 (z0 ) = 0, p00 (z0 ) = 0, ..., p(k) (z0 ) 6= 0 entonces z0 es una raz de multiplicidad k de p(z) w = 0, sta hay que contarla k veces. Si w = , tenemos que p() = , pero va n veces. b Por tanto, tenemos que todo punto w C tiene n preimgenes distintas, salvo algunos puntitos por ah, que ya sabemos cules son. Funciones Racionales Sea un polinomio p(z) de grado n, y otro q(z) de grado m. Denimos una funcin racional como un cociente de polinomios. Y tambin denimos el grado como el mx {grado(P), grado(Q)} . a 77

Veamos cmo el grado de la funcin racional tiene que implicar al denominador y al numerador. Sea d = mx {grado(P),grado(Q)} el grado de una funcin racional R(z) = p(z) . Dado a q(z) b un valor w C, cuntos puntos z van a dar a l?. Es decir, cuntas races tiene la ecuacin p(z) = w? q(z) Tenemos que p(z) p(z) wq(z) w = q(z) q(z) Entonces cuntas races tiene la ecuacin p(z) wq(z) = 0 ? Sea w C. Si el grado de la funcin racional d es igual a n entonces n > m y el grado de p(z) wq(z) es n. Por tanto tenemos n soluciones. Si d = m entonces n < m y el grado de p(z) wq(z) es m, y tenemos m soluciones, salvo en el caso w = 0. Si d = n = m, el grado de p(z) wq(z) es de grado n = m y existen n soluciones, n salvo en el caso w = an . El trmino de grado n de p(z) wq(z) es igual a cero cuando b an w = bn , y por tanto tenemos un polinomio de grado menor. n Analicemos los casos w = 0, w = y w = an . b Caso 1: w = 0. Si el grado es n y n m, tenemos n soluciones en C. Si el grado de la funcin racional es m, (m > n) entonces R() = 0. Vamos a tener n soluciones en C y las dems estn en el . 1 Veamos, si hacemos un cambio de variable = z : R( 1 ) =
an ( 1 )n +...+a0 bn ( 1 )n +...+b0

con multiplicidad m n. b Por tanto tenemos m (grado de la funcin racional) soluciones en C. Caso 2: q(z) 1 w = . Para ver este caso, consideramos la funcin racional R(z) = p(z) y aplicamos al caso 1. Caso 3: n w = an . b Si d = n, el grado de p(z)wq(z) es n y tiene n soluciones. q(z) Si d = m, hay m soluciones, porque el grado de Y si d = n = m, tenemos que la funcin
p(z)wq(z) es m. q(z) p(z)wq(z) racional es q(z)

n +...+a0 = mn ( an +...+b0m ), cuando z , tenemos 0 y R( 1 ) 0 b

de grado m, pues
p(z)wq(z) q(z)

Conclusin 2.5 Si la funcin racional es de grado d = mx(grado(p), grado(q)) ena tonces es d a 1 (contando multiplicidad). 78

p(z)wq(z) tiene grado k < m, aplicamos el caso 1, es decir que la ecuacin b tiene m soluciones en C.

=0

El punto 0 va al 1, entonces 1+1 4 1 = 4 (1 + 4 ...), es decir que cerca del cero se comporta como z 4 . Cerca del cero se ve as, y por tanto el es preimagen mltiple. Podemos tener cosas menos drsticas, por ejemplo: 4 2 R(z) = zz4+ z1 , + (1 w)z 4 + z 2 w = 0, igual para w = 1, tenemos que se baja el grado del polinomio, aqu sera de grado dos y si w 6= 1, el polinomio es de grado cuatro. Ejercicio 2.6 Discutir la relacin que hay entre los puntos que son preimagen mltiple y los ceros de la derivada (R0 (z)).

Ejemplos: 4 R(z) = z4z+ 1 . z4 = w. z4 + 1 Si w = 0, entonces los ceros de R son los ceros de p(z), en este caso es el cero. Si w = , tenemos las races cuartas de 1 y por tanto el no es polo. si w 6= 0, : z 4 w(z 4 + 1) = 0, (1 w)z 4 w = 0, Si w 6= 1, el polinomio es de grado cuatro, entonces tenemos cuatro races. Si w = 1, no hay races, Qu es lo que est pasando aqu? Sucede que R() = 1. Para ver la multiplicidad, nos vamos al origen: f ( 1 ) = 1+1 4 = 1 4 + 8 ...

2.3.4.

Funcin de Zhukovsky

Ahora estudiaremos la siguiente funcin: z2 + 1 2z El grado de sta funcin racional es 2, as que la funcin es 2 a 1. Los polos son: 0 y . Los ceros son: i y i. Ahora veamos las preimgenes, resolviendo la siguiente ecuacin: z 2 +1 =w 2z 2 z 2zw + 1 = 0, tenemos dos races distintas para todo valor w distinto de 1. Si w = 1, w = 1: (z 1)2 = 0, (z + 1)2 = 0, esto signica que z = 1 y z = 1, son races dobles de la ecuacin. f (z) = 79

As todo punto en el plano-w tiene dos preimgenes diferentes y slo dos puntos tienen preimgenes dobles.

f (1) = 1, f (1) = 1. Qu est pasando alrededor del 1? f (1 + h) 1 =

(1+h)2 +1 2(1+h)

1=h

1 2(1+h)

se parece a la funcin elevar al cuadrado. Si recordamos cmo z 2 mapeaba la esfera, los puntos dobles eran el cero y el innito, y los dems eran sencillos. Nos paramos en el 0 y en el , y le damos dos vueltas a la esfera (cero es repulsor y el es atractor). Nos preguntamos qu tanto se parecer z 2 a nuestra funcin f ? Si hacemos cambios de Mbius en el dominio y en el contradomino, de tal manera que 1 vaya al 0, y 1 vaya al .

= h

1 2(1+h)

w = f (z) = 1 ( +1 + 2 1 =
w+1 w1

z+1 , z1

1 ) +1 2 2 2

Utilizamos un cambio de variable pero puede haber ms. Por lo tanto nuestra funcin s es como elevar al cuadrado, y esto se cumple ms en general, cualquier funcin racional de grado dos se comporta como z 2 esto incluye por supuesto a los polinomios de grado 80

2 +1 +1 2 1 2 +1 1 2 1

2 +1 , 2 1

= 2.

dos.

Como nuestra funcin se comporta como z 2 , hay dos puntos que van a dar al mismo: f (z) = 1 (z + 1 ) = f ( 1 ) 2 z z observemos que para un w, una preimagen est en el disco (|z| < 1) y otra fuera. El crculo unitario va al segmento [1, 1] recorrido dos veces.

Si consideramos el disco, se mapear en todo el plano menos el segmento, o bien si consideramos todo que est fuera del disco se mapear en todo el plano menos el segmento. Si tomamos crculos de radio r, 0 < r < 1, sus imgenes son elipses con eje mayor igual r + 1 y eje menor igual r 1 . Cuando el radio decrece, los semiejes (mayor y menor) r r crecen, es decir que cuando nos acercamos al cero, la funcin tiende a . Los puntos z = t(cos + i sin ), donde [0, ] y t [0, 1), bajo la funcin van a 2 hiprbolas con semiejes |cos | y |sin | . Cuando = 0, tenemos w = ( 1 ( 1 +t), 0), el intervalo [0,1] se dobla hacia el intervalo 2 t [1,). t 1 Cuando = , w = (0, 2 2t ), tenemos el eje imaginario negativo, recorrido desde 2 el al 0. 81

Al variar , la imagen est en el cuarto cuadrante y si tomamos , obtenemos una rama de la hiprbola (cuadrantes I y IV) y al tomar los puntos simtricos con respecto al origen obtenemos la otra rama de la hiprbola.

Se puede ver que el semidisco en la parte superior del plano se mapea en el semiplano inferior, el semidisco que est en la parte inferior del plano se mapea en el semiplano superior, por tanto los puntos inversos del semidisco inferior se mapearn en el semiplano superior. Es decir que el semiplano superior "mordido" se mapea de manera conforme al semiplano superior.

82

1 A esta funcin f (z) = 1 (z + z ), se le llama Funcin de Zhukovsky. 2

Nuestro problema ahora es buscar la inversa: f (z) = w, 1 (z + 1 ) = w, 2 z despejamos y obtenemos z = w w2 1, en la expresin se reeja el 2 a 1, para un valor de w tenemos dos soluciones z1 , z2 . Pero ya sabamos que z y 1/z van a dar al mismo punto. Luego debe cumplirse z1 = 1/z2 . (Dejamos al lector vericar directamente esto calculando el producto z1 z2 ). Los nicos puntos dobles son cuando z1 = 1/z1 , es decir, 1 y 1. Sus imgenes son tambin 1 y 1 , es decir, los valores de w para los cuales w2 1 = 0 y la ecuacin en z tiene raz doble.

2.4.
2.4.1.

La exponencial y las funciones trigonomtricas

Funcin Exponencial

Cmo podemos extender la funcin exp x a los complejos ? Las propiedades fundamentales de la funcin exponencial tienen que conservarse en nuestra nueva denicin: i) Que es solucin de una ecuacin diferencial : f 0 = f , con condicin inicial f (0) = 1 ii) Que cumpla con la propiedad de suma-producto: ex + y = ex ey 83

Una opcin para deducir la exponencial compleja sera partir de la serie de Taylor: 1 ex = 1 + x + 2! x2 + ... y demostrar que la serie compleja 1 1 ez = 1 + z + 2! z 2 + 3! z 3 + ... tambin converge, dar el radio de convergencia, etc. Otra es ver quin es eiy . Como queremos una funcin que siga cumpliendo ez+w = ez ew , entonces naturalmente se tendra que ez = ex+iy = ex eiy , ya sabemos como es ex , el problema es eiy : 1 Si sustitumos iy en ex = 1 + x + 2! x2 + ... 2 tenemos eiy = 1 + iy + (iy) + ... 2! 2 3 4 2 4 6 3 5 7 eiy = 1 + iy y i y + y + ... = (1 y + y y + ...) + i(y y + y y + ...) 2! 3! 4! 2! 4! 6! 3! 5! 7! (aqu tenemos dos series reales conocidas) eiy = cos y + iseny por lo tanto tendramos que ez = ex (cos y + iseny). Pero hay otra opcin ms geomtrica que nos muestra un poco ms qu es lo que est pasando: Recordemos que para R: x ex = l (1 + n )n m
n

este lmite se demuestra tomando logaritmos (en base e). x Primero veamos quin es el lmite de log(1 + n )n : x x log(1 + n )n = n log(1 + n ) consideremos a n como una variable continua h entonces tenemos que: x x n log(1 + n ) = h log(1 + h ); x si existe este ltimo lmite cuando h entonces existe el lmite de log(1 + n )n cuando n . 1 Sea u = h : x l h log(1 + h ) = l log(1+ux) =? m m u
h u0

Sea g(u) = log(1 + ux) m u0 m g0 (0) = l g(u)g(0) = l g0 (u) = 1+xux Por tanto ? = g0 (0) = x x l log(1 + n )n = x m
n u0

log(1 + ux) u u0

x m (Por continuidad) ex = l (1 + n )n n Para C : z Cmo se vera esta funcin (1 + n )n ? Estamos elevando un nmero complejo a una potencia n, esto es elevar su mdulo y multiplicar su argumento n veces. Si tomamos un sector que parta del punto n y tenga como ngulo , la transforn macin lo mandar otro sector que parta del origen y tenga como ngulo , es decir el

84

semiplano superior:

Estamos elevando el sector a la potencia n. Qu pasa cuando n ? El punto n se va recorriendo hacia la izquierda por el eje real negativo, tendramos un sector con un punto al , es decir lo que est entre las lneas paralelas:

De qu ancho es esta banda?

Sea hn la longitud del segmento OQ. 1 tan = hn y hn = n tan , si hacemos el cambio a la variable continua n = u n n n l tan u = l sec2 u = m u m u0 u0 Por lo tanto el ancho de la banda es . Si tomamos el siguiente sector, al elevarlo a la potencia n obtenemos el semiplano inferior

85

Lo que tenemos en el lmite es la funcin exponencial, la banda de ancho se transforma en un sector de ngulo , y si tomamos la siguiente banda de ancho , la imagen es el sector de ngulo , por lo tanto si tomamos una banda de tamao 2 se mapeara en todo el plano menos el cero. As que cada 2i, tenemos el mismo valor, por lo que la funcin es peridica. Ahora qu pasa con eiy = l (1 + iy )n ? m n
n

y l n log(1 + n2 ) = l log (1+u2 y ) u = 0. m m u 2 n 2 u0 n Por tanto l rn = 1. m n y y Para n = arctan n tenemos que nn = n arctan n , arctan uy 1 haciendo n = u , l m = y. u u0 Por tanto nn y. eiy = l (1 + iy )n = cos y + iseny, m n n

Escribamos (1 + iy ) = rn (cos n + isenn ), n n y2 2 n , rn = 1 + n2 n y2 2 y2 1 = n log(1 + n2 ) Hacemos el cambio de variable n = u , log 1 + n2 2

2 2 2

eiy = cos y + iseny (Frmula de Euler) As las cosas tenemos que la denicin ms adecuada es : ez = ex eiy = ex (cos y + iseny) para toda z C, y no se anula, es decir no es sobreyectiva : f : C C {0}

2.4.2.

Transformacin del Plano bajo la funcin exponencial

Nos interesa ver cmo se transforma la malla de rectas horizontales y verticales. 86

f (x, y) = ex (cos y, seny) Para una recta cualquiera paralela al eje real: f (x, y0 ) = ex (cos y0 , seny0 ) O bien w = ex (cos y0 + iseny0 ) Se transforman en un rayo con ngulo y0 , que parte del origen y que va creciendo conforme crece la x. Para una recta paralela al eje imaginario la funcin la transforma en un crculo de radio ex0 y al recorrer y los reales, le daremos innitas vueltas al crculo. f (x0 , y) = ex0 (cos y, seny), si 0 6 y0 < 2, el crculo se recorre una sola vez. Por lo tanto la familia de rectas horizontales se transforman en la familia de rayos que parten del origen y la familia de rectas verticales se transforman en la familia de crculos con centro en el origen.

Calculemos el jacobiano de la funcin f (x, y) = (ex cos y, ex seny) x e cos y ex seny det = e2x 6= 0. ex seny ex cos y Esto nos habla que existe la inversa localmente y tambin por la forma de la matriz derivada, vemos que es una transformacin que preserva los ngulos. Qu sucede en el innito? Si z , la funcin se acerca a todos los valores posibles: Sea {z + 2ki} , esta sucesin tiende a innito y f {z + 2ki} = ez+2ki = ez e2ki = z e. No existe el lmite en el , el comportamiento que tenemos es oscilatorio, por lo que b la exponencial compleja no se puede extender de manera continua a C. 87

2.4.3.

Funcin Logaritmo

La inversa de la funcin exponencial es la funcin logaritmo. Como el cero no est en la imagen de la funcin exponenecial, entonce no va a tener logaritmo. Sea w 6= 0; la solucin a la ecuacin ez = w es: x = log |w| (logaritmo de un nmero real positivo), y arg w = y + 2k tenemos que todo nmero complejo distinto de cero tiene una innidad de logaritmos los cuales dieren por mltiplos de 2i. log w = log |w| + i arg w El logaritmo de un nmero real positivo, ser el logaritmo real. Como vimos con la raz cuadrada, no es posible encontrar una rama continua del logaritmo en todo el plano menos el origen. Aqu es inclusive ms claro, porque la parte imaginaria de log w es exactamente arg w, y ya sabemos que no se puede elegir de manera continua el argumento de todo complejo distinto de cero. Podemos, otra vez, denir diversas ramas del logaritmo en cualquier regin donde no podamos darle vuelta al origen. En particular tenemos la rama, o valor principal del logaritmo denida en C {eje real negativo}: Valor principal del logaritmo: log z = log |z| + i arg z donde < arg z < z C {eje real negativo}

La imagen es una banda abierta (sin bordes). Eje real negativo sera mandado a las rectas horizontales de altura ( bordes). Eje real positivo va a todo el eje real. Para las rectas horizontales que estn en el semiplano superior, el ngulo vara de a 0, las imgenes sern curvas que vienen asintticamente de la recta horizontal de altura y se van pegando asintticamente al eje real. Y para las rectas horizontales que estn en el semiplano inferior, el ngulo vara de a 0, entonces las curvas imagen vienen asintticamente de y se van pegando el eje real.

88

El eje imaginario positivo va a la recta de ordenada . Y el negativo a la recta de 2 ordenada . 2 Las rectas verticales (x positiva), el ngulo vara de a . Las curvas imagen vienen 2 2 asintticamente de la recta con ordenada , cruzan el eje real y se van pegando a la 2 recta con ordenada . 2 Finalmente las imgenes de las rectas verticales (x < 0 e Im y > 0) son curvas que van del borde de la banda (altura ) y se van pegando a la recta de ordenada y para 2 las semirectas en la parte inferior del plano, las imgenes son curvas que van del otro borde de la banda (altura ) y se van pegando a la recta de ordenada . 2 Por lo que el dibujo de la imagen de la malla de rectas horizontales y verticales queda as:

Ya denido el logaritmo, podemos denir ahora la potencia compleja: sea z 6= 0 y nmeros complejos z = e log z Si consideramos z positivo entonces log z es real y z tendr un solo valor. Si no hay restriccin para z, entonces en general tendremos una innidad de valores.

2.4.4.

Funciones trigonomtricas e hiperblicas

Si eiy = cos y + iseny entonces eiy = cos y iseny sumando y dividiendo entre dos tenemos: yR iy iy eiy + eiy = cos y y e e =seny 2 2i

89

Como vemos las funciones seno y coseno se pueden expresar en trminos de la exponencial compleja. Esto nos permite de manera natural extenderlas (de modo que se conserven las propiedades) a variable compleja. Denicin 2.3 z C eiz + eiz 2 eiz eiz senz = 2i cos z = (Otra forma de denir las funciones trigonomtricas principales es por medio de series). De nuestra denicin tenemos: y y y y i(x+iy) + ei(x+iy) cos(x + iy) = e isenx e e = cos x cosh y = cos x e + e 2 2 2 isenxsenhy cos iy = cosh y seniy = isenhy y podemos denir cosh z y senhz : Denicin 2.4 ez + ez 2 z e ez senhz = 2 cosh z = Se podra haber denido primero las funciones hiperblicas y despus las trigonomtricas: cos(z) = cosh(iz) e isen(z) =senh(iz). Todo queda bien denido porque se expresa en tminos de ez . Vale la formula de la suma: ez+z = ez ez . cos(z + z 0 ) = cos z cos z 0 senzsenz 0 sen(z + z 0 ) =senz cos z 0 + cos zsenz 0 . Estas formulas se demuestran con base en la frmula de la suma de la exponencial y son de gran utilidad para demostrar ms propiedades, por ejemplo, 1 = cos2 z+sen2 z. Con las funciones seno y coseno, podemos denir todas las dems funciones trigonomtricas: tan z, cot z, sec z, csc z.
0 0

90

2.4.5.

Funcin coseno y su inversa

Cmo se transforma el plano bajo la funcin f (z) = cos z ? cos z = cos x cosh y isenxsenhy En el plano-w tenemos que: (u, v) = (cos x cosh y, senx(senhy)) El eje real va al segmento [1, 1] recorrido una innidad de veces. f (x, 0) = (cos x, 0) Para una recta horizontal de altura b, tenemos: f (x, b) = (cos x cosh b, senx(senhb)) = (A cos x, Bsenx), donde A = cosh b, B = (senhb) u2 v2 que nos parametriza la elipse de ecuacin A2 + B2 = 1, y cuyos focos son 1. Si la altura de la recta horizontal es b, la elipse se recorre en sentido contrario. Y para las rectas verticales tenemos hiprbolas: f (a, y) = (cos a, cosh y,sena(senhy)) = (A0 cosh y, B 0 (senhy)) = (u, v) u2 v2 encontramos que A02 B02 = 1, que es la ecuacin de una hiprbola con focos 1, donde A0 = cos a y B 0 =sena. Si x = 0, tenemos que el eje imaginario va al segmento [1, ), recorrido dos veces. Por lo que la malla de rectas horizontales y verticales se transforma en una malla de elipses e hiprbolas que tienen los mismos focos (confocales), esto implica que se cortan en ngulo recto.

y 4 3 2 1 0 -5 -4 -3 -2 -1 -1 x -2 -3 -4 0 1 2 3 4 5

Conviene pensar la funcin coseno como composicin de funciones que ya hemos estudiado: 1 w = cos z = 1 (u + u ) (Funcin de Zhukovsky) 2 donde u = eiz (multiplicacin por i, despus la exponencial).

91

Como el coseno est en trminos de la exponencial y sta es peridica, el coseno tambin va a ser una funcin peridica, la diferencia es que el perodo del coseno es 2. Los puntos z, z + 2, z + 4, ... y z, z + 2, z + 4, .. que estn en bandas de tamao 2, al multiplicarlos por i y despus componerlos con la exponencial van a dos 1 valores, la primera innidad va al valor u, y la segunda va al valor inverso u . Y como vimos anteriormente, la imagen que obtenemos al nal es la malla de elipses e hiprbolas.

Tenemos entonces que una innidad de puntos van a dar a un mismo valor. La funcin inversa es g(w) = ang cos w, nuevamente tenemos una funcin multivaluada. Si sacamos las inversas de las funciones anteriores vemos que u = eiz entonces 1 2w = u + u u2 2wu 1 = 0 + u = w w2 1 aqu tenemos problemas con la raz, pero lo arreglamos tomando una rama, iz = log u = log(w w2 1) y al tomar el logaritmo, tambin debemos escoger una rama adecuada, z = i(log(w w2 1)) entonces dado un w podemos escoger el punto z de muchas maneras, es decir que tenemos las funciones ang cos w que queramos. Por ejemplo podemos tomar como dominio C {[1, 1]} , y z = i(log(w+ w2 1)) con la rama principal del logaritmo.

92

Captulo 3 Derivacin de Funciones Complejas

3.1.
3.1.1.

Funcin derivable
Ejemplos de funciones derivables y no derivables.
U abierto, conexo h C
h0 f (z0 +h)f (z0 ) h

Denicin 3.1 Sea U C

En tal caso, a dicho lmite le llamamos la derivada de f en z0 y se denota por f 0 (z0 ). Formalmente la denicin es idntica a la de la derivada de funciones reales, pero vamos a ir viendo que tiene implicaciones muy diferentes. Lo que hay que destacar es que aqu h es un nmero complejo, que puede tender a 0 por muy diferentes direcciones o maneras, y que por lo tanto, pedir que en esas condiciones exista el lmite es muchsimo pedir. Veamos algunos ejemplos: Ejemplo 3.1 f (z) = z 2 2 (z +h)2 z 2 f (z0 +h)f (z0 ) = 0 h 0 = 2z0 h+h = h h l f (z0 +h)f (z0 ) = l 2z0 + h = 2z0 m m h
h0 h0

m f es derivable en z0 U si el l

existe

h(2z0 +h) h

la funcin es derivable en todo z0 y f 0 (z0 ) = 2z0 Ejemplo 3.2 f (z) = z f (z0 +h)f (z0 ) = z0 + h z0 = h h h h si h R tenemos que l f (z0 +h)f (z0 ) = l m m h
h0

h0

pero si h = is = 1 ahora si h = su donde u es un complejo con norma uno y s es cualquier nmero real l f (z0 +h)f (z0 ) = l h = u2 m m h h
h0

h =1 h0 h l f (z0 +h)f (z0 ) = l is m m h h0 h0 is

escribiendo u = ei

se tiene que u2 = e2i . 93

El lmite no existe, haciendo tender h a 0 por distintas direcciones se acerca el cociente a muy diferentes valores. Por lo tanto esta funcin no es derivable en ningn punto z0 C . Ejemplo 3.3 f (z) = |z| Si z0 = 0 l f (z0 +h)f (z0 ) = l m m h
h0

|h| h0 h

como |h| es cualquier complejo de mdulo uno, entonces la funcin no es derivable h en el cero. Si z0 6= 0 tomemos primero h en la misma direccin de z0 , es decir h = tz0 con t real > 0. Entonces f (z0 +h)f (z0 ) = |z0 +h||z0 | = |z0 |t = |z0 | que es un complejo unitario. h h z0 t z0 Si ahora hacemos que z0 + h se acerque a z0 sobre el crculo con centro en 0 que pasa por z0 , es decir, si h = ei z0 z0 tenemos |z0 ||ei ||z0 | |z0 +h||z0 | = =0 h h f (z0 +h)f (z0 ) l m =0 h h0 por lo tanto la funcin no es derivable en ningn z0 C Observamos que no es tan fcil que una funcin sea derivable, la funcin f (z) = z, es sencilla y no es derivable en ningn punto. De aqu que f (z) = Re z y f (z) = Im z no sean derivables. Sin embargo, hay muchas que s son derivables. Proposicin 3.1 1) Si f es derivable en z0 , entonces f es continua en z0 . 2) Si f y g son derivables en 0 z entonces f + g, f, fg son derivables en z0 y si g(z0 ) 6= 0, f es derivable y g 3) Regla de la cadena:
f g 0

(z0 ) =

f 0 (z0 )g(z0 )f (z0 )g 0 (z0 ) (g(z0 ))2

Si f es derivable en z0 y g es derivable en f (z0 ) , entonces la composicin (g f ) es derivable en z0 y (g f )0 (z0 ) = g0 (f (z0 )f 0 (z0 ) . La parte 1) se demuestra observando que m l f (z0 + h) f (z0 ) = l f (z0 +h)h f (z0 ) h = f 0 (z0 ) 0 = 0 . m h0 h0 Todas las demas partes de esta proposicin tambin se demuestran exactamente igual que en el caso real, como podr vericar fcilmente el lector. Con esta proposicin tenemos muchas funciones derivables. Como la funcin z es obviamente derivable, los polinomios son derivables, y tambin cualquier funcin racional es derivable en cualquier punto donde no se anule el denominador (y, en particular, todas las transformaciones de Mbius son derivables). Otro ejemplo:

94

Ejemplo 3.4 Escogiendo una rama continua en un dominio adecuado: z0 +h z0 1 = l h(0z+h z0 ) = 2z0 . m z 0 +h z0 l m h h0 h0 Obsrvese que slo hemos usado la continuidad de la funcin. Luego, toda rama con tinua de z es automticamente derivable.

3.1.2.

Una funcin es derivable si, y slo si, lo es como funcin real y su derivada es C -lineal.

Consideremos a la funcin f (z) = u(z) + iv(z), como una funcin F : R2 R2 . Recordemos que F es derivable en (x0 , y0 ) si existe una funcin lineal L : R2 R2 tal que l m F (x0 +s,y0 +t)F (x0 ,y0 )L(s,t) = 0 |(s,t)|
(s,t)(0,0)

Esto signica que L es la mejor aproximacin lineal a F , se le suele denotar por DF (x0 , y0 ) y es la transformacin lineal que tiene por matriz (respecto a la base usual de R2 ) a la matriz jacobiana u u
x v x y v y

Ahora, para f : U C C, si f es derivable en z0 entonces l f (z0 +h)h f (z0 ) = l f (z0 +h)f (z0 )h = 0 m m h h0 h0 por tanto tenemos que: f es derivable en z0 existe una funcin lineal de la forma L(h) = h tal que f l f (z0 +h) h (z0 ) L(h) = 0 . m
h0

Pero ya conocemos las funciones lineales de esa forma: son las Clineales, que incluyen las conformes (que son homotecias seguidas de rotaciones) y la funcin 0 . En resumen: f es derivable como funcin compleja en z0 si y slo si f es derivable como funcin real en (x0 , y0 ) y su derivada en el punto es conforme (o cero). a b De otro modo, la condicin es que la matriz jacobiana tenga la forma y b a por lo tanto se debe de tener u v u v = y = x y y x a estas ltimas ecuaciones se les llama de Cauchy-Riemann (C R). Recprocamente, si tenemos una funcin F : R2 R2 que sea derivable y que sus parciales satisfagan (C R) , esto quiere decir que su derivada es de la forma L(z) = z para algn nmero complejo y por lo tanto f es derivable como funcin compleja y su derivada es . Luego hemos demostrado: 95

Teorema 3.1 Sea f : U C una funcin compleja y z0 = x0 + iy0 U . Entonces las condiciones siguientes son equivalentes: (i) f es derivable como funcin compleja en z0 . (ii) f es derivable como funcin real en (x0 , y0 ) y su derivada en ese punto es C -lineal. (iii) f es derivable como funcin real en (x0 , y0 ) y sus derivadas parciales en ese punto satisfacen las ecuaciones de Cauchy-Riemann. Se sabe que una funcin F : Rn Rm es derivable en una regin U si existen la derivadas parciales de F y son continuas en todos los puntos de U (condicin que es suciente, pero no necesaria). En muchos tratados de Variable Compleja se enuncia este Teorema en lugar de la equivalencia anterior, pero el enunciado queda ms claro con el concepto de derivada. Pero este resultado es muy til para vericar la derivabilidad de una funcin compleja en muchos casos, slo hay que agregar que se cumplan las ecuaciones de C R. a b le corresponde el complejo a + ib, es decir, f 0 (z0 ) = u (z0 ) + A la matriz x b a v i x (z0 ). Si f 0 (z0 ) = 0, la mejor aproximacin lineal L(h) = h = f 0 (z0 )h es igual a 0, y ya no se puede ver que sucede. Si f 0 (z0 ) 6= 0, la mejor aproximacin lineal en la vecindad del punto es una rotacin ms una homotecia, esto signica que la funcin cerca del punto se comportar as. Locamente se preservarn los ngulos:

El ngulo() entre las curvas C1 y C2 es el ngulo formado entre sus tangentes en el punto z0 . Sea 1 el vector tangente a la curva C1 y sea 2 el vector tangente a la curva C2 en el punto z0 , la funcin lineal mapear 1 en el vector 1 que es el vector tangente a la curva imagen f (C1 )en el punto f (z0 ) 1 = ( 1 ) donde = a + ib = f 0 (z0 ) y 2 = ( 2 ) Por tanto ^( 1 , 2 ) = ^(1 , 2 ) y la funcin es conforme. Denicin 3.2 f es holomorfa en U, si f es derivable en todos los puntos de U C 96

3.1.3.

Derivacin respecto a z y a z conjugada

Sea f (z) = f (x + iy) = u(x, y) + iv(x, y) Entonces formalmente podemos escribir f (z) como funcin de las variables z , z que conviene pensar como variables independientes: x= z+z y = z 2i z 2 f (z) = (u( z + z , z 2i z ), v( z + z , z 2i z )) 2 2 z+z zz z+z zz f (z) = u( 2 , 2i ) + iv( 2 , 2i ) Entonces podemos hablar de f y f : z z Aplicando regla de la cadena tenemos: i v v f = 1 ( u + 1 u ) + 2 ( x + 1 y ) z 2 x i y i i v f = 1 ( u 1 u ) + 2 ( x 1 v ) z 2 x i y i y Lo importante de esto es que si f es derivable (C derivable) entonces i v v v f = 1 ( u 1 u ) + 2 ( x 1 v ) = 1 ( u y ) + i( x + u ) = 0 z 2 x i y i y 2 x y i v i v v f = 1 ( u + 1 u ) + 2 ( x + 1 y ) = 1 (2 u ) + 2 (2 x ) z 2 x i y i 2 x v = ( u + i x ) = f 0 (z) x En otras palabras, las ecuaciones de Cauchy- Riemann se pueden resumir en una sola: f = 0. Heursticamente esto signica que una funcin compleja es derivable cuando "no z depende de z ". En la prctica signica que si tenemos una funcin en cuya expresin aparece z no debe ser derivable. Ejemplo 3.5 Si f (x + iy) = x2 + y 2 = z z tenemos que z=0
f z

= z y esto se anula slo para

3.1.4.

Determinante jacobiano

Sea f (z) derivable en todo punto de U (Holomorfa) Consideremos a f (z) como una funcin de R2 R2 y obtengamos la matriz derivada Jacobiana: u u u v x x y x = v u v v
x y

y su determinanate jacobiano Jf = det

Por tanto f 0 (z0 ) = 0 Jf (z0 ) = 0 Si f 0 (z0 ) 6= 0 entonces el Jf (z0 ) 6= 0 y tenemos de inmediato por el Teorema de la Funcin Inversa, que f es invertible en una vecindad del punto z0 .

u x v x

v x u x

= |f 0 (z0 )|2

97

3.1.5.

Interpretacin en Mecnica de Fluidos

Supongamos que tenemos el movimiento de un uido perfecto, es decir que es estacionario, incompresible y no viscoso (irrotacional). Si X = (U, V ) es el campo vectorial que representa la velocidad del uido en cada punto, tenemos que i) X no depende del tiempo. ii) div(X) = 0 (no se concentra o se expande) iii) rot(X) = 0 (es irrotacional) Como rot(X) = V U = 0, existe (al menos localmente) una funcin u(x, y) tal x y que X = u = ( u , u ) x y A esta funcin se le llama potencial de las velocidades Como div(X) = U + V = 0 existe una funcin v(x, y) tal que el campo x y v v ortogonal X = (V, U) = v = ( x , y ) . Y a esta funcin se le llama funcin de la corriente del uido. Entonces las lneas v = constante, representan el movimiento del uido (lneas de corriente) y su vector tangente tiene la misma direccin que el vector velocidad (X). Y cuando u = constante tenemos las lneas equipotenciales, que son ortogonales a las anteriores en cada punto. De esta manera, las curvas de nivel de u y de v, nos representan el movimiento del uido como un todo. Si consideramos a u como la parte real y a v como la parte imaginaria de una funcin compleja, entonces esta funcin cumple las ecuaciones de Cauchy-Riemann y es derivable: cualquier uido perfecto me produce una funcin de variable compleja derivable y viceversa. Esto nos da una forma ms de ver geomtricamente una funcin de variable compleja, dibujando las lneas de ujo del uido. Los puntos donde la derivada de la funcin se anula son los puntos estacionarios del uido. Esta representacin fue muy usada en los inicios de la teora, sobre todo por Riemann. Veamos algunos ejemplos de curvas de nivel para v constante (uidos):

98

1/z

99

z 3 3z

100

(z + 1/z)/2 (Jukovsky) Despus de observar las anteriores, puede el lector identicar la siguiente funcin?

101

3.2.
3.2.1.

Teorema complejo de la funcin inversa

Teorema complejo como corolario del real

Teorema 3.2 Teorema de la Funcin Inversa (Complejo) f : U C derivable en todo punto de U, z0 C, f 0 (z0 ) 6= 0 Entonces existen vecindades V1 de z0 , V2 de f (z0 ) tal que f |v1 : V1 V2 es invertible 1 y la inversa g es derivable y vale g0 (w) = f 0 (g(w)) Demostracin Considerando a f como funcin de R2 R2 , tenemos que Jf en el punto z0 es distinto de cero, por el teorema de la Funcin Inversa (Real ) la funcin es a b invertible en una vecindad de z0 , siendo la matriz de la derivada de la forma , b a la inversa tambin es de la misma forma por lo tanto es Clineal y la funcin inversa es derivable. Finalmente f (g(w)) = w, y f 0 (g(w))g0 (w) = 1, 1 por tanto g0 (w) = f 0 (g(w)) .X 102

Por ejemplo, si la derivada de f (z) = ez , es ez , entonces f 0 (z0 ) 6= 0 para cualquier punto y por el teorema anterior la derivada de la inversa sera 1 1 1 g0 (w) = f 0 (g(w)) = elog w = w Esto es vlido para cualquier rama del logaritmo.

3.2.2.

Funcin armnica

Otra consecuencia importante de las ecuaciones de Cauchy-Riemann es: Si f : u + iv es derivable y suponemos que u, v son de clase C 2 , entonces de ux = vy uy = vx se deduce inmediatamente que u y v satisfacen la ecuacin de Laplace: uxx + uyy = vxx + vyy = 0 Una funcin real que satisface la ecuacin de Laplace se le llama armnica. Estas funciones tienen diversas aplicaciones en la Fsica, por ejemplo en el estudio de la temperatura de un cuerpo en equilibrio. Tenemos entonces que la parte real y la parte imaginaria de una funcin derivable son funciones armnicas. Y dada cualquier funcin armnica podemos encontrar una funcin derivable cuya parte real (o imaginaria) es la funcin armnica.

3.2.3.

Derivabilidad de las funciones elementales

Si la funcin exponencial es derivable, entonces tendramos muchas ms funciones derivables. Podemos hablar de las derivadas de las funciones trigonometricas e hiperblicas (senz, cos z, tan z, senh z, cosh z, etc.), pues cada una de ellas involucra a la exponencial. Estas derivadas prcticamente ya las conocemos. f (z) = ez es derivable sea z0 C z +h z h f 0 (z0 ) = l e 0 h e 0 = ez0 l e h 1 m m y
h0 eh 1 l m h = h0 h0

1
hk1 ) k!

Para demostrar este lmite, es ms fcil verlo con series: h 2 2 h h l e h 1 = l (1 + 2! + h + ...) = l ( l (1 + 2! + h + ... + m m m m 3! 3!
h0 h0 h0 k

= l (l (1 + m m
k h0

h 2!

h2 3!

+ ... +

hk1 ) k!

=1

103

Otra manera de argumentar que la exponencial es derivable es por Cauchy-Riemann. Tenemos que f (x, y) = (ex cos y, ex seny) es una funcin derivable como funcin de R2 a R2 .
v = ex cos y = y , = ex seny = u , y por tanto f (z) = ez es una funcin derivable para todo punto en C. Sabiendo que ez es derivable, calculamos la derivada f 0 (z) = ux + ivx = vy iuy u x v x

f 0 (z) = ez Algunas funciones derivables y sus derivadas: 1) (ez )0 = ez 1 2) (log z)0 = z 3) (senz)0 = cos z 4) (cos z)0 = senz 5) (cosh z)0 =senhz 6) (senhz)0 = cosh z Como cualquier inversa trigonomtrica (o hiperblica) se puede expresar en trminos del logaritmo, calcular su derivada involucra la derivada del logaritmo, para no tener problemas con las deniciones siempre debemos especicar muy bien las ramas.

104

Captulo 4 Integracin de Funciones Complejas

4.1.
4.1.1.

Integral Compleja
La integracin compleja como integral de lnea

Habiendo dado nuestros primeros pasos en la derivacin de funciones, pasemos a hacer lo mismo para la integracin. Para denir la integral indenida de una funcin compleja no hay mayor problema: simplemente es la antiderivada o, como se acostumbra ms en las funciones complejas, la primitiva: Denicin 4.1 Si f (z) una funcin compleja, una primitiva de f en un abierto U contenido en el dominio de f es una funcin holomorfa F : U C tal que F 0 (z) = f (z) para toda z U. Como en el caso real, si hay una primitiva de f en U hay muchas, pero todas dieren por constantes. Denir la integral indenida de una funcin compleja entre dos complejos y requiere mayor cuidado. En el caso real el procedimiento usual consiste en partir el intervalo, hacer sumas de Riemann y pasar al lmite. Pero en el caso complejo no hay siempre un segmento que vaya de a dentro del dominio de denicin de f , y an habindolo no es fcil ver qu sucede cuando hacemos variar , a menos que tomemos no slo segmentos sino tambin otras lneas quebradas . O bien, se podran tomar sucesiones de puntos entre un punto y otro y hacer sucesiones cuyos puntos estn cada vez ms cercanos entre s, y ver si las correspondientes sumas de Riemann convergen. Para que esto suceda es natural pensar que las sucesiones se van acomodando en torno de alguna curva, y as se llegara tambin a tener que considerar integrales sobre curvas. Para darle forma a todo esto, lo mejor es denir directamente las integrales complejas como integrales de lnea. 105

Una curva C en el plano complejo es la imagen de una funcin continua, denida en un intervalo cerrado. Es decir, : [a, b] C tal que (t) = x(t) + iy(t) y sus ecuaciones paramtricas estn dadas por funciones continuas: x = x(t), y = y(t), a t b. Si x(a) = x(b), y(a) = y(b) tenemos una curva cerrada. Si no se cruza, es una curva simple ((t) 6= (s), para t 6= s, con t, s (a, b]). Una curva C es C 1 por tramos, si (t) tiene derivada continua para a t b, excepto para un nmero nito de puntos. t si 0 t 1, 1 + i(t 1) si 1 t 2, Ejemplo 4.1 (t) = (3 t) + i si 2 t 3, i(4 t) si 3 t 4. parametriza una curva C 1 por tramos, simple y cerrada. El vector (x0 (t), y 0 (t)) es el vector tangente a la curva en el punto x(t) + iy(t). La integral de una funcin compleja de variable real z(t) = u(t) + iv(t) se dene en trminos de dos integrales reales. Y si tenemos w = f (z) denida en una regin y C es una curva C 1 por tramos, la integral compleja se dene como una integral de lnea: n R P f (z)dz = l m f (zj )4j z el intervalo a t b es subdividido en n partes por t0 = a, ..., b = tn , zj = x(tj ) + iy(tj ) y 4j z = zj zj1, t es un punto en el j-subintervalo y zj = x(t ) + iy(t ). j j j n n R P P f (z)dz f (zj )4j z = {u(x(tj ), y(tj )) + iv(x(tj ), y(tj ))}(4j x + i4j y) =
n n P P = (u4j x v4j y) + i (v4j x + u4j y) 1 1 C j=1 j=1 C j=1

Precisemos las deniciones correspondientes: necesitamos primero denir lo ms simple que es, I. Integral denida de una funcin compleja de variable real. En este caso se integran la parte real y la parte imaginaria de la funcin: g : [a, b] C atb g(t) = u(t) + iv(t) Rb Rb Rb g(t)dt = u(t)dt + i v(t)dt
a a a

b R

Cuando hacemos tender a cero la norma de la particin obtenemos que la integral de lnea compleja es la combinacin de los integrales de lnea reales. Por tanto tenemos: Sea (t) = x(t) + iy(t) que parametriza la curva C. b b R R R R R f (z)dz = udx vdy + i vdx + udy = (u dx v dy )dt + i (v dx + u dy )dt = dt dt dt dt
C C a

(u + iv)( dx + i dy )dt = dt dt

b R

f ((t)) 0 (t)dt.

106

Ya con esta denicin es natural denir la integral como sigue: II. Integral compleja como integral de lnea: en el integrando substituimos la variable z por los valores de la curva y el smbolo dz por la velocidad de la curva e integramos respecto al parmetro: Sea C una curva C 1 por tramos parametrizada por . f : U C, U C : [a, b] U z = (t) = x(t) + iy(t)) Rb R f (z)dz = f ((t)) 0 (t)dt
C a

III. Integral de lnea con respecto a longitud de arco. sta es una integral auxiliar que nos sirve para hacer estimaciones. Geomtricamente, su parte real e imaginaria representan el rea de la supercie curva por encima de C y debajo de la grca de la parte real e imaginaria de la funcin. Pero esta representacin geomtrica no le da mucho ms claridad a la denicin formal, que consiste en hacer las mismas substituciones que en el caso anterior: R Rb R f (z)ds = f (z) |dz| = f ((t)) | 0 (t)| dt
C C a

4.1.2.

Propiedades elementales de las integrales de lnea complejas.

Las demostraciones de varias propiedades son esencialmente las mismas que para las integrales reales para funciones continuas. Demostraremos slo algunas de ellas. Propiedades de la integral I: 0) Denida si g es continua en [a, b] . Rb Rb Rb 1) (g1 (t) + g2 (t))dt = g1 (t)dt + g2 (t)dt
a a a

2)

3)

Rb
a Rb a

(g(t))dt = g(t)dt,
a

g(t)dt +

4) Si h : [a0 , b0 ] R, es de clase C 1 tal que h(a0 ) = a y h(b0 ) = b, b Rb R0 g(t)dt = g(h(s))h0 (s)ds 0 a a b Rb R 5) g(t)dt |g(t)| dt 6) G : [a, b] C derivable (C 1 )
a a

Rc
b

g(t)dt =

Rb

Rc
a

g(t)dt

0<b<c

107

Caso general:

y estaramos ya en el caso fcil, entonces b b R R Rb g(t)dt = g(t)dt |g(t)| dt.X

a a a

Rb Existe un nmero complejo con || = 1 tal que g(t)dt sea un nmero real positivo
a

Demostracin de (5) Caso fcil: Rb Supongamos que g(t)dt 0 : a b R Rb Rb Rb Rb g(t)dt = g(t)dt = Re g(t)dt = Re g(t)dt |g(t)| dt.X entonces
a a a a a

Rb
a

G0 (t)dt = G(b) G(a).

recorriendo primero la curva C1 y despus la curva C2 . R R 4) Si es una reparametrizacin de que conserva el sentido, f (z)dz = f (z)dz
C C

Propiedades de la integral II: 0) Denida si f es continua y C es C 1 por tramos R R R 1) (f1 + f2 )(z)dz = f1 (z)dz + f2 (z)dz C C R C R 2) f (z)dz = f (z)dz C R CR R f (z)dz = f (z)dz + f (z)dz , donde C1 + C2 es la curva que se obtiene 3)
C1 +C2 C1 C2

f (z)dz. R R 5) f (z)dz |f (z)| |dz| .X

C C C

Demostracin : [a, b] C y : [c, d] C. Sea h : [c, d] [a, b] creciente, derivable tal que (s) = (h(s)) d d R R R Rb f (z)dz = f ((s)) 0 (s)ds = f ((h(s))) 0 (h(s))h0 (s)ds = f ((t)) 0 (t)dt =
c c a

7) Frmula de cambio de variable para integrales complejas. Sean U1 y U dos regiones de C. Sea f continua en U. C1 una curva en U1 . h : U1 U una funcin derivable y su inversa tambin derivable y C = h C1 R R Entonces f (w)dw = f (h(z))h0 (z)dz
C C1

Demostracin Es anloga a la propiedad 5 de la denicin anterior.X 0 6) Si F : U C derivable (y F continua) R 0 F (z)dz = F ((b)) F ((a))

108

8)

R f (z)dz = f (z)dz donde C es la curva C recorrida en sentido contrario.

C

Ejemplo 4.2 Sea C = crculo unitario R z dz = 0 C R 2 z dz = 0 C R z dz = 2i = 2i(rea encerrada por C) a C R z dz = 2i(rea encerrada por ), donde es una curva C1 por tramos, cerrada a

alrededor del origen. R 1 dz = 2i z C R 1 dz = 2i L = z = a + ei , 0 2 z a

L

R
C

|dz| =

Rb 0 (t) dt = longitud(C), C curva de C1 por tramos, parametrizada por .

a

4.2.

Teorema de la Primitiva

Integrabilidad de las potencias positivas y no negativas de z ....salvo una. Comparacin con las integrales de lnea reales: campos conservativos y diferenciales exactas.

4.2.1.

Ejemplos de funciones integrables y no integrables

Sea C una curva C1 por tramos parametrizada por , : [a, b] U. Sea f : U C, U una regin (abierto conexo) Nos preguntamos: R Cundo la integral depende slo de los extremos de la curva? O bien Cundo f (z)dz = 0 para C cerrada?
C

Empezaremos con algunos ejemplos:

Ejemplo 4.3 Sea : [0, 2] C donde (t) = cos t + isent y f (z) = z 2 2 2 R R R R f (z)dz = f ((t)) 0 (t)dt = (cos t+isent)(sent+i cos t)dt = (2sent cos t)dt+ Ejemplo 4.4 (t) la misma que en ejemplo anterior y f (z) = z entonces
2 2 R R (cos t isent)(sent + i cos t)dt = i (cos2 t + sen2 t)dt = 2i. 0 0 2 R i (cos2 tsen2 t)dt = 0 0 C 0 0 0

R
C

f (z)dz =

109

Ejemplo 4.5 Ahora calculemos la integral de la funcin f (z) = z sobre tres curvas distintas parametrizadas por: 1 (t) = cos t + isen t, 0 t , 2 (t) = (t) donde (t) = cos t + isent, t 2, 3 (t) = 1 2t, 0 t 1 R R zdz = (cos t isent)(sent + i cos t)dt = i
C1 C2 C3 0

zdz = i
0

1 R zdz = (1 2t)(2)dt = 0

2 R

dt = i

Qu podemos concluir de estos ejemplos? Que en el ejemplo (4.4) la integral sobre una curva cerrada fue distinta de cero, comparndolo con el (4.3), la funcin z no es la derivada de una funcin y que en general para una funcin podemos tener distintos valores para la integral, es decir si depende de la trayectoria de la curva. Teorema 4.1 (de la Primitiva) Sea f : U C C continua. SonRequivalentes: (i) f (z)dz depende slo de los extremos de la curva C CR (ii) f (z)dz = 0 curva cerrada
C C

(f es "integrable")

(iii) Existe F : U C C holoforma en U tal que F 0 (z) = f (z). R En este ltimo caso tenemos f (z)dz = F ((b)) F ((a)). : [a, b] C

(ii)(i) Sean dos curvas distintas C1 , C2 que unan los mismos puntos. Sea C = C1 + R R R R (C2 ) tenemos que f (z) dz = 0 f (z) dz = f (z) dz + f (z) dz = 0. C C1 C2 R C R Por lo tanto f (z) dz = f (z) dz, es decir, la integral slo depende de los extremos.
C1 C2

Demostracin (i)(ii) Como la integral depende slo de los extremos de la curva, basta calcular la integral sobre una curva C constante. Sea 1 (t) = , 1 : [a, b] U R Rb R f (z)dz = f (z)dz = f ( 1 (t))0dt = 0
C
C1

que esta ltima integral es igual a F () F () . Si F = U + iV, (t) = (t) + i (t) 110

(iii)(i) Sea C una curva C1 por tramos parametrizada por . : [a, b] C, (a) = , (b) = . R Rb R Tenemos por hiptesis que f (z) dz = F 0 (z) dz = F 0 ( (t)) 0 (t) dt, demostraremos
C C a

poligonal con los segmentos paralelos a los ejes que una a z0 y z . Para obtener la parcial de F con respecto a x, nos movemos en la direccin del eje real con un segmento que va de z = x + iy a z + h, h real: z z+h z h R R R R F (x + h + iy) = f ()d + f ()d = f ()d + f (x + s + iy)ds
z0 z z0 0

F ((b)) F ((a)) = F () F (). z R (i)(iii) Denimos F (z) = f ()d, por hiptesis est bien denida. Tomamos una
z0

0 0 g (t) = F ( (t)) = g1 (t) + ig2 (t), tendramos que g0 (t) = g1 (t) + ig2 (t) y 0 (t) = 0 (t) + i 0 (t) 0 g1 (t) = U ((t), (t)) 0 (t) + U ((t), (t)) 0 (t) x y 0 g2 (t) = V ((t), (t)) 0 (t) + V ((t), (t)) 0 (t) x y Como F es holomorfa esto implica que F 0 (z) = U + i V = V i U x x y y F 0 ((t)) 0 (t) = ( U +i V ) ( 0 (t) + i 0 (t)) = U 0 (t) V 0 (t) +i V 0 (t) + U 0 (t) = x x x x x x Rb Rb Rb 0 Rb 0 g 0 (t). Por tanto F 0 ((t)) 0 (t)dt = g 0 (t)dt = g1 (t)dt+i g2 (t)dt = g1 (t) |b +ig2 (t) |b = a a a a a a

= if (x, y). Si f (x, y) = u + iv tenemos que F = u + iv y F = i(u + iv) = v + iu x y Como f = u+iv es continua entonces las parciales de F son continuas (por lo tanto es diferenciable como funcin de R2 en R2 ) y adems tenemos que se cumplen las ecuaciones de Cauchy Riemann: F = U + iV U V =u =v x x U V = v y = u y Esto demuestra que F (z) es holomorfa en U (dominio de f) y que su derivada es f (z).

Derivando con respecto a h y evaluando en h = 0, se obtiene: F = f (x, y) x Hacemos lo mismo para obtener la parcial con respecto a y, nos movemos en la vertical de z = x + iy a z + ih : z z+h z h R R R R f ()d = f ()d + f (x + i(y + s))ids F (x + i(y + h)) = f ()d +
z0 z z0 0 F y

4.2.2.

Integrabilidad de las potencias positivas y no negativas de z ...salvo una. Comparacin con las integrales de lnea reales: campos conservativos y diferenciales exactas.

El teorema 4.1 nos permite calcular muchas integrales (C curva cerrada), por ejemplo: R n z dz = 0 n N C R n z dz = 0 n 6= 1, C no pasa por el origen
C

111

C R C

P (z)dz = 0, ez dz = 0 sen(z)dz = 0

P (z) cualquier polinomio

Resultados equivalentes: Este resultado tiene su equivalente en Clculo de varias variables reales, para campos vectoriales y para formas diferenciales: P dx + Qdy es exacta (es decir, una funcin F (x, y) tal que F = P y F = Q ) x y R P dx + Qdy slo depende de los extremos de C C R P dx + Qdy = 0 para toda C curva cerrada. X = (P, Q) es un campo gradiente R X dx solo depende de los extremos (X es conservativo) C R X dx = 0 para toda C curva cerrada.
C C

C R

Estas son equivalencias entre diversas propiedades, muy importantes desde el punto de la teora de las formas diferenciales y los campos de fuerzas, pero en la prctica no son muy tiles para vericar si alguna de ellas se cumple en un ejemplo dado. Para esto hay otro criterio que es el siguiente: X = (P, Q) es un campo gradiente rotX = P Q = 0 (es decir, el campo es y x irrotacional). La diferencia es que este criterio slo da una condicin necesaria, que es suciente slo en la vecindad de cada punto o en regiones especiales (sin hoyos), adems que requiere que la forma diferencial o el campo tengan parciales continuas. Veamos cmo se expresa este criterio para las funciones complejas: Si f = u + iv y suponemos que f C 1 como funcin real (u, v C 1 ), (t) = x + iy , la integral de lnea se desarrolla R como: R R f (z)dz = udx vdy + i vdx + udy As, para que la integral slo dependa de los extremos de C se requiere que lo mismo suceda para sus partes real e imaginaria y la condicin necesaria anterior aplicada a cada parte dara las condiciones: u v + =0 y x v u =0 y x Que no son otras que las condiciones de Cauchy-Riemann otra vez! Algo muy curioso est pasando: las condiciones (necesarias y sucientes) para que una funcin sea derivable resultan ser las mismas que las necesarias para que tenga 112
C C C

P dx + Qdy es exacta

P y

Q x

(es decir, la forma es cerrada).

primitiva, es decir para que sea "integrable". En la segunda parte de este curso iremos al fondo de esta extraa coincidencia y veremos las enormes repercusiones que tiene para la comprensin de las funciones holomorfas. Por lo pronto hemos demostrado la implicacin correspondiente a las anteriores para el caso complejo: Si tenemos f = u + iv C 1 como funcin real (u, v C 1 ) y R
C

f (z)dz = 0 para toda curva cerrada C entonces f es holomorfa.

Veremos tambin despus que se puede prescindir de la hiptesis f C 1 . Por lo pronto recordemos porque esas condiciones no son sucientes. Recordemos un ejemplo de campo vectorial que tiene rotacional nulo, pero que no es un campo gradiente: x Sea X(x, y) = ( x2y 2 , x2 +y2 ) . Este es un campo vectorial denido en R2 {(0, 0)}. +y (1) Existe tal que = X ? La condicin rotX = 0 se cumple, como puede vericar el lector calculndolo. Busquemos entonces . Sean A y B dos puntos en R2 {(0, 0)}, una parametrizacin lisa por tramos, :[a, b] R2 {(0, 0)} tal que (a) = A y (b) = B 0 Rb 2 (t) 1 (t) Rb 1 02 2 01 Rb 2 R 0 0 2 (t) b 1 2 dt = arctan Xd = ( 2 +2 , 2 +2 ).(1 , 2 )dt = dt = | = 2 1 (t) a 2 +2

Qu es lo que est pasando? Que la funcin que obtuvimos no est bien denida para toda (x, y) 6= (0, 0). La podemos denir en algn abierto siempre que ste no rodee al origen. Por ejemplo en el semiplano superior. Ah el campo s es gradiente. Lo mismo en cualquier otro semiplano. Pero no en todo R2 {(0, 0)}. El problema es que la condicin rotX = 0 es una condicin local: para vericarla en un punto slo necesitamos conocer lo que pasa en la vecindad de ese punto. Con eso es suciente para calcular las derivadas parciales de X y por lo tanto el rotacional. En R cambio la condicin X dx = 0 para toda curva cerrada es una condicin global: no

= arctan arctan y (x, y) = arctan x (2) Sin embargo, la integral de lnea sobre cualquier circunferencia con centro en el origen es distinta de cero; es ms: 2 2 R R R X d = r12 (rsen, r cos )(rsen, r cos )d = d = 2
C 0 0

a B2 B1

a 1+

A2 A1

podemos vericarla alrededor de cada punto, necesitaramos considerar todas las curvas cerradas, y todas incluye hasta las que van a dar una vuelta hasta puntos muy lejanos. Lo mismo, para vericar que X es un gradiente en una regin U necesitamos construir la funcin cuyo gradiente sea X en toda U y no vale en general construirla en pedacitos y 113

despus pegar todos los pedacitos. El resultado puede ser algo que no es una funcin bien denida en todo U . El ejemplo anterior nos muestra que lo local y lo global no siempre coinciden. 1 Para el caso de funciones complejas ya hemos visto el ejemplo f (z) = z funcin holomorfa denida en C {0}. Si () = ei , 0 < 2 tenemos que: 2 R 1 R dz = i e1 ei d = 2i y por tanto: i z
C 0

Z
C

1 dz = 2i z

O sea que 1/z es una funcin holomorfa denida para z 6= 0 , como tal cumple Cauchy- Riemann y, sin embargo, su integral a lo largo de una curva cerrada no es 0 y en consecuencia no tiene primitiva. Pero localmente y en partes adecuadas del dominio s tiene primitiva: log(z) que como sabemos puede denirse en algunos subdominios, como por ejemplo, en C (, 0] (la rama principal) pero no en todo el dominio C {0}. En unaRregin as podemos simplemente calcular || 1 dz = log() log() = log = log || + i(arg arg ) z Pero en todo el dominio de 1/z esta frmula presenta un problema: no en la parte real de la integral ( log(|z|) est bien denida para z 6= 0 ) pero s en la imaginaria, arg , que tiene la indenicin que ya conocemos. Veamos algunos clculos de este tipo: Sean C1 y C2 como se muestran en el dibujo:
C

C1

y calculemos las integrales: R 1 dz = log z |i = log i log(i) = i + i = i i z 2 2

(porque F2 (z) = log z = log |z| + i arg z, 0 < arg z < 2). Si tenemos una curva como en el dibujo, podemos partirla e integrar, obteniendo la variacin del argumento: R 1 dz = 4i (mide cmo va aumentando el argumento) z
C

C2

(porque F1 (z) = log z = log |z| + i arg z, < arg z < ) R 1 dz = log z |i = log(i) log(i) = i 3 i = i i z 2 2

114

Observemos que la curva le da dos vueltas al origen.

O bien, si recorremos la siguiente curva en el mismo sentido que las manecillas del reloj tenemos:

Tenemos por conclusin que para toda curva cerrada C que no pase por el origen, k entero: Z

R
C

1 dz z

= 2i

zk =

0,

k 6= 1 k = 1

C Z C

z k = (2i)n

donde el nmero n es el nmero de vueltas que le da la curva el origen. A pesar de esto, en algunos casos es posible demostrar que la integral de una funcin holomorfa sobre una curva cerrada es 0.

4.3.

Teorema de Cauchy para el rectngulo

Consideremos un campo vectorial X denido en una regin U y supongamos que sus componentes tienen derivadas parciales continuas en U . Supongamos que tenemos un rectngulo cerrado R contenido en U y sea R la frontera de R orientada en sentido positivo. En esas circunstacias tenemos el Teorema de Green que arma la integral de lnea del campo sobre R es igual a la integral de supercie del rotacional del campo sobre R : Z Z Z X dx = rotX dxdy
R R

115

(Existen diferentes versiones del Teorema de Green, pero es fcil ver que todas son equivalentes: para una forma diferencial se formula as: Z Z Z Q P P dx + Qdy = ( ) dxdy y R R x bajo las hiptesis correspondientes). Si, adicionalmente, suponemos que rotX = 0 , se puede concluir que la integral de lnea de X sobre la curva cerrada R es cero. Aplicando este resultado como antes a las partes real e imaginaria de la integral de una funcin compleja obtenemos el Teorema 4.2 (de Cauchy para el rectngulo) Sea f : U C holomorfa tal que f 0 (z) sea continua y sea R un rectngulo cerrado contenido en U. Entonces Z f (z) dz = 0 .
R

Es claro que la misma conclusin se obtiene si substituimos el rectngulo por un tringulo, un disco, o cualquier otra regin cerrada a la que se pueda aplicar el Teorema de Green. En la segunda parte veremos nuevamente que se puede prescindir de la hiptesis de que f 0 (z) sea continua. Este resultado, conocido como Teorema de Cauchy-Goursat ser de fundamental importancia para la teora de las funciones holomorfas. Conclusin 4.1 La armacin la integral de una funcin holomorfa a lo largo de una curva cerrada es cero es falsa en general. La armacin es, sin embargo, casi cierta: es cierta para algunas regiones, es cierta cuando la funcin se comporta bien en la vecindad de los puntos donde no est denida, es cierta para ciertas curvas cerradas, etc. Todas esas variantes se conocen como Teoremas de Cauchy. El contraejemplo Z
C

1 dz = 2i z

nos arruina la posibilidad de tener un Teorema de Cauchy completamente general sin hiptesis adicionales. Pero el hecho no es tan grave porque es, en cierto sentido, el nico ejemplo: cualquier otro deber contener, ms o menos escondido a ste. Pero despus veremos que si bien este ejemplo nos quita ese Teorema de Cauchy perfecto, nos da por otro lado todos los teoremas fundamentales sobre las funciones holomorfas. Es la llave que nos abre la puerta a un mundo de impresionantes resultados, ninguno de los cuales se podra obtener si la integral anterior fuera 0.

116

4.4.
4.4.1.

Integracin de funciones racionales

El Teorema del Residuo (primera versin)

Por lo visto anteriormente podemos calcular fcilmente cualquier integral de un polinomio. Desde la Preparatoria sabemos encontrar primitivas de polinomios. Veremos ahora que tambin sabemos calcular, en principio, la integral de cualquier funcin racional. Este hecho tendr, sorpresivamente, grandes implicaciones que se agrupan en torno al Teorema del Residuo. Todo se basa en el conocido mtodo de las fracciones parciales, que se basa en la proposicin que ya demostramos: toda funcin racional se puede escribir como una suma de funciones racionales, cada una de las cuales tiene un solo polo. Entonces todo se reduce a calcular las integrales de stas. Si R(z) tiene un solo polo, y ste es , entonces es un polinomio y ya lo sabemos integrar. Si R(z) tiene un solo polo p C, entonces se puede escribir de la forma R(z) = P (z) (z p)m

donde P (z) es un polinomio de grado m. Desarrollndolo en potencias de z p obtenemos: R(z) = am a1 + a0 . + ... + m (z p) zp

Para integrarla, observemos que todos los trminos, salvo el penltimo, tienen una primitiva bien denida (que es una funcin racional) en todo C {p}. Y el penltimo tiene como primitiva a1 log(z p) que no est bien denida en todo C {p}, pero que ya sabemos como trabajar. Podemos concluir que la integral de toda funcin racional se puede expresar como suma de funciones racionales y logaritmos. El principal problema para llevar esto a la prctica consiste en encontrar los polos de la funcin, lo cual involucra encontrar las races del denominador, lo cual es bien sabido que puede ser complicado si su grado es mayor que 2 y ms an si el grado es muy grande. En el caso de que quisiramos integrar una funcin con un slo polo como la anterior a lo largo de una curva cerrada C que no pase por p, las integrales de todos los trminos son cero, salvo la del penltimo: Z Z dz R(z)dz = a1 C C zp De toda la funcin, lo nico que necesitamos para calcular la integral es conocer p y el valor de a1 . A ste ltimo se le conoce como el residuo de R(z) en el polo p y lo 117

denotaremos por res(R, p). Falta slo calcular la integral de la funcin 1/(z p) que, como sabemos, depende slo del nmero de vueltas que le da C a p . En ciertos casos es fcil decir cul es este nmero, pero necesitamos en general denir bien este concepto. Hay formas geomtricas de hacerlo, pero esto requerira desviarnos mucho. De hecho, podemos invertir los papeles y denir formalmente el nmero de vueltas que le da C a p en trminos de la integral. Este nmero se llama el ndice de C respecto a p , se denota por n(C, p) y se dene as: Z 1 dz n(C, p) = 2i C z p Con estos conceptos podemos ya enunciar el Teorema 4.3 (del Residuo para funciones racionales) Si R(z) es una funcin racional con polos p1 , ..., pk y C es una curva cerrada que no pasa por ninguno de estos polos, entonces Z R(z)dz = 2i
k X j=1

n(C, pj )res(R, pj ).

Demostracin La demostracin ya est hecha: se descompone R(z) en sus fracciones parciales (funciones con un solo polo) y se realiza el clculo anterior (ver apndice D). Nuevamente, en un caso particular, suele ser fcil encontrar los ndices n(C, pj ) , hay mtodos para calcular los residuos res(R, pj ) y lo ms problemtico es encontrar los polos.

4.4.2.

Clculo de Integrales reales

Una de las aplicaciones del Teorema del Residuo es calcular integrales reales. Hay muchas que resultan dcil de calcular, otras que solamente con el teorema del residuo tienen solucin. (i) Empecemos con las integrales de la forma:
2 Z 0

R(cos , sen)d

donde R es una funcin racional. Interpretamos la integral como una integral compleja como sigue: Vamos a buscar una funcin f (z) que al integrarla sobre el crculo unitario me de la que tenemos. Hacemos: z = ei dz = izd 118

la integral compleja la resolvemos con el teorema del residuo. Tenemos que garantizar que no hay polos en el crculo. (ii) Integrales de la forma Z R(x)dx

1 cos = Re z = 1 (z + z ) 2 1 sen = Im z = 2i (z 1 ) z 2 R R R(cos ,sen)d = i 0

1 1 1 R( 1 (z+ z ), 2i (z z )) 2 dz z

|z|=1

Las condiciones para que exista la integral son: R funcin racional que no tenga polos reales y que el grado del denominador sea mayor k o igual al grado del numerador ms dos, es decir, |R(z)| |z|2 para z sucientemente grande, cumplindose tambin para toda x. La funcin racional compleja tiende a cero 1 como x2 . Bajo stas condiciones se cumple que, 1 b b R R R R(x)dx R(x)dx + R(x)dx + k(1 1 ) < b 0 0 1 por tanto existen los dos lmites siguientes: 0 0 R Rb R R R(x)dx = l m R(x)dx y R(x)dx = l m R(x)dx,
0

y existe

r.

Consideremos la curva Cr formada por el intervalo [r, r] y (sr ) el semicrculo de radio

b 0

b b

R(x)dx.

Como R(x) es una funcin racional real que no tiene polos en R, los polos quedan dentro de la curva. Calculamos la integral sobre Cr : R P R(z)dz = 2i( Res(R, zi ))
Cr

Cr

R(z)dz =

r R

zi polo R Im(zi )>0

R(x)dx +

R 0

R(rei )irei d

119

haciendo tender a innito tenemos que, r R R R R(rei )irei d R(rei ) r |d| k2 r |d| = k 0 r r
0 0 0

El Teorema del Residuo tambin es vlido para funciones que no sean racionales.

y por tanto R P R(x)dx = 2i( Res(R, zi )).

zi polo R Im(zi )>0

120

Apndice A Teorema (Bolzano-Weierstrass):

Teorema A.1 (Teorema de Bolzano-Weierstrass para conjuntos) Todo conjunto innito acotado tiene al menos un punto de acumulacin. Teorema A.2 (Teorema de Bolzano-Weierstrass para sucesiones) Toda sucesin acotada en C tiene al menos una subsucesin convergente.

121

Apndice B Teorema Fundamental del Algebra

Teorema B.1 Todo polinomio complejo no constante tiene al menos una raz compleja

Llamemos = bk hk = bk hk bk+1 h + ... + bn hnk bk bk p(z0 + h) es el vector resultante de sumar p(z0 ), y . Veamos qu condiciones podemos pedir para h: i) si || < |p(z0 )| y arg = arg p(z0 ) + (arg = arg bk + k arg h) entonces el vector tiene direccin opuesta al vector p(z0 ) ii) si || < || 122

Buscaremos un h complejo tal que cumpla |p(z0 + h)| < |p(z0 )|. p(z0 + h) = an (z0 + h)n + an1 (z0 + h)n1 + ... + a0 haciendo las operaciones binomiales y agrupando tenemos p(z0 + h) = p(z0 ) + bn hn + ... + bk hk , donde k es la potencia ms chica que aparece (puede ser igual a uno) p(z0 + h) = p(z0 ) + bk hk +bk+1 hk+1 + ... + bn hn bn nk k k bk+1 = p(z0 ) + bk h +bk h h + ... + bk h bk

 k bk+1 k bk+1 bn nk h + ... + bk h bk h = |bk | |h| bk h + ... + bk bn nk k bk+1 |bk | |h| ( bk h + ... + bk h ) < |bk | |h|k = || , si se cumple bk+1 |h| + ... + bn |h|nk < 1. bk bk arg h =

bn nk h bk

Si |h| es sucientemente pequeo para que se cumpla i) y ii) con

arg p(z0 ) + arg bk k entonces h C tal que |p(z0 + h)| < |p(z0 )|. Por tanto p(z) = 0 para algn z C.

123

Apndice C Geometra real con notacin compleja

Si P (z) es un polinomio complejo, entonces la ecuacin P (z) = 0 se cumple nicamente por un nmero nito de puntos del plano. Por lo tanto, si queremos encontrar la ecuacin de una curva en notacin compleja, tenemos que incluir otras funciones, como por ejemplo z. Por ejemplo la ecuacin zz = 1 nos representa el crculo unitario, la ecuacin z z = 0 nos representa el eje real, etc. De hecho, cualquier ecuacin de una curva plana dada por un polinomio real P (x, y) = 0 se puede escribir en trminos complejos mediante la substitucin z + z z z , y= . 2 2i As podemos, en principio, rehacer toda la geometra analtica plana en funcin de la variable compleja z. En ocasiones esto puede simplicar los clculos. x= Ecuacin de la recta: Si tenemos la recta ax+by +c = 0 con a, b reales, la substitucin nos da a z + z + b z 2i z + c = 0 2 o sea a b b + 2i z + a 2i z + c = 0 2 2 b y llamando = a + 2i tenemos: 2 La ecuacin de una recta en R2 es de la forma z + z + c = 0 donde C y c R. A la misma conclusin se puede llegar mediante un argumento geomtrico:

124

Si es un vector unitario perpendicular a la recta l, entonces p l es equivalente a la condicin p v = d, con d una constante.

En notacin compleja p = z, v = . (Pero recordemos que p v = Re(z)), y la ecuacin nos queda Re(z) = d z + z 2d = 0 (d R) con lo cual obtenemos una interpretacin geomtrica de los parmetros. Ecuacin de un crculo La ecuacin general de un crculo es an ms sencilla: el crculo de centro a y radio r se escribe como |z a| = r (z a)(z a) = r2 zz az az + aa r2 = 0 Ejercicio C.1 Si en la ecuacin anterior suprimimos el trmino zz obtenemos la ecuacin de una recta. Qu tiene que ver esta recta con el crculo? Semejanza de tringulos Recordamos la condicin para que dos tringulos sean semejantes: Existe una seme0 0 0 janza que mande el tringulo z0 z1 z2 en el z0 z1 z2 (en ese orden)

125

si, y slo si los ngulos , 0 son iguales y sus lados adyacentes son proporcionales. O sea = 0 0 0 |z2 z0 | |z2 z0 | = 0 0 |z1 z0 | |z1 z0 | = arg(z2 z0 ) arg(z1 z0 ) = arg z2 z0 y anlogamente para 0 . z1 z0 Luego las dos ecuaciones anteriores se expresan en una sola:
0 z 0 z0 z2 z0 = 2 0 0 z1 z0 z1 z0

que expresan en forma compacta las condiciones para la semejanza.

126

Apndice D Fracciones Parciales

En clculo integral es de gran utilidad descomponer una funcin racional en fracciones parciales, es decir como una suma de funciones racionales, cada una de las cuales tiene un nico polo. Demostraremos aqu que esto siempre se puede hacer: P (z) Sea R(z) = Q(z) Empezaremos por demostrar Lema 1: Si p es un polo de R(z), podemos separar R como una suma R(z) = R1 (z) + R2 (z) donde p es el nico polo de R1 y p no es polo de R2 (y en consecuencia, R2 debe tener todos los dems polos de R). Veamos algunos casos: Caso p = : Es el caso ms fcil. Si es polo de R, eso quiere decir que el grado de P es mayor que el grado de Q. Entonces podemos aplicar el algoritmo de la divisin y escribir P (z) = A(z)Q(z) + B(z) donde A y B son polinomios, el grado de B es menor que el grado de Q. De donde R(z) = P (z) B(z) = A(z) + Q(z) Q(z)

Como A(z) es polinomio, su nico polo es . Y por ser grado B < grado Q, B(z) no tiene polo en , y hemos logrado la descomposicin. Caso p 6= polo simple: En este caso Q(p) = 0 y Q(z) = (z p)Q1 (z) con Q1 (p) 6= 0. Luego podemos tratar de descomponer, como en los cursos de clculo integral

127

R(z) =

donde a y B son una constante y un polinomio por determinar como sigue: B(z) aQ1 (z) + B(z)(z p) a + = . z p Q1 (z) (z p)Q1 (z) P (z) = aQ1 (z) + B(z)(z p) Haciendo z = p obtenemos P (p) = aQ1 (p), o sea a= y P (z) aQ1 (z) zp el cual es un polinomio, ya que el numerador se anula en z = p, y por lo tanto es divisible entre z p. B(z) = P (p) . Q1 (p)

a B(z) P (z) = + (z p)Q1 (z) z p Q1 (z)

Entonces a y B(z) deben cumplir

Caso general: Si p 6= es polo de R(z), tomemos una funcin de Mbius M que 1 mande p a (por ejemplo M(z) = zp ). Entonces M 1 manda en p y R(M 1 (w)) tiene un polo en innito. Por el el primer caso: R(M 1 (w)) = R1 (w) + R2 (w) donde R1 tiene el como nico polo y R2 no tiene polo en . Pero entonces, haciendo w = M(z) R(z) = R1 (M(z)) + R2 (M(z)) y R1 (M(z)) es una funcin racional cuyo nico polo es p y R2 (M(z)) es una funcin racional que no tiene polo en p. As el lema queda demostrado en general (y sin hacer muchas cuentas). Mediante el Lema 1 podemos ir descomponiendo uno a uno los polos de la funcin R y escribir, si p1 , ..., pk son los polos de R, R(z) = R1 (z) + ... + Rk (z)

Podemos continuar viendo como descomponer un polo doble, triple, etc. Pero hay una manera ms rpida de hacerlo, reduciendo al caso p = .

128

Donde cada Ri (z) es una funcin racional cuyo nico polo es pi .X Ejercicio D.1 Encontrar explcitamente la descomposicin para el caso de un polo doble. Ejercicio D.2 Demostrar que en la descomposicin de R(z) las fracciones parciales quedan nicamente determinadas salvo constantes. (Sugerencia: Empezar por el Lema).

129

Apndice E Geometra hiperblica

Ahora estudiemos las transformaciones de Mbius que van del disco 4 = {z | |z| < 1} al disco 4 = {z | |z| < 1} Las rotaciones del disco seran un caso, aqu el centro va al centro. Lo interesante est en si es posible que un punto distinto del cero vaya al cero, T (u) = 0.La respuesta es que s, y resulta que el conjunto D es un subgrupo. De todas las T (z) = az+b construimos una tal que mande el punto u al cero. cz+d Supongamos que el punto u est en el eje real: D = {T : 4 4, T Transformacin de Mbius}

Trazamos una recta que pase por 1, 0, u y 1, sabemos que existe una T que mande u 1 1, u 0 y 1 1, y es T (z) = 1z uz De igual manera se puede obtener T si u no es real, sino cualquier punto en el disco, trazamos la recta que pasa por l y el cero, tendramos otros dos puntos en el crculo z1 y z2 . Y se busca la transformacin que u 0, z1 z1 y z2 z2 . u T (z) = ei 1z uz con u 4 sta T es del conjunto D porque la recta que pasa por los puntos z1 y z2 , va a la recta que pasa por los puntos T (z1 ) = z1 y T (z2 ) = z2 , y tambin va a tener a los puntos imagen del 0 y u. 130

Observemos que se conserva el ngulo recto formado por el crculo y la recta en los puntos z1 y z2 y el crculo va a dar al crculo, (|T (z)| = 1, si |z| = 1). Teorema E.1 Si z1 , z2 4 = {z | |z| < 1} (Disco unitario) (z1 6= z2 ) Entonces existe un nico crculo ortogonal al crculo unitario C = {z | |z| = 1} que pasa por z1 y z2 . Demostracin Sea T transformacin de Mbius tal que T (C) = R {} y T (4) = {z; Im z > 0} Tomemos tres puntos , y en el crculo y los mandamos a el 0, 1 e respectivamente . S() = 0, S() = 1 y S() = La imagen del disco puede ir al semiplano superior o inferior (pero la imagen est de un mismo lado). Para tener el semiplano superior podemos tomar T = S, T = S. las imagenes de z1 y z2 estarn en el semiplano, demostraremos que existe un nico crculo ortogonal al eje real que pasa por ellos. Con la inversa (que ya sabemos que existe) regresamos al disco y tenemos que se cumple el teorema. Construimos el crculo: el centro es el punto de interseccin de la recta L y el eje real , donde la recta L es la bisectriz del segmento formado por los puntos T (z1 ) y T (z2 ), y por lo tanto el radio es la distancia del centro al punto T (z1 ) o T (z2 ).

Tenemos que por construccin el crculo es el nico ortogonal al eje real . Cuando los puntos imagen estn en la misma vertical, el crculo ortogonal es la recta vertical (crculo de radio innito) Existen muchas transformaciones de Mbius que mandan el disco en el semiplano superior, podemos construir una: 1 0 i1 1 S(z) = i z+1 , como S(0) = i, el disco va al semiplano inferior, as que la que buscamos z1 es T (z) = S(z) Nuestra transformacin cumple todas las propiedades que hemos visto.X 131

Por tanto estas transformaciones del disco en el disco mandan crculos ortogonales en crculos ortogonales. Llammosle recta al crculo ortogonal que pasa por z1 y z2 , y puntos a los puntos del disco Tenemos que: i) Dados dos puntos existe una recta que pasa por ellos ii) Dado un punto p exterior a una recta l, existen muchas rectas que pasan por p y no tocan a l.

Como vemos, tenemos en el punto (ii) la negacin al quinto postulado de la geometra euclidiana. Con estas denominaciones podemos hacer mucha geometra, la geometra de Lobachevski. Slo falta llamarle al disco Plano de Lobachevski. A las transformaciones de Mbius se les considera los movimientos del Plano de Lovachevski. Se puede tambin denir una distancia entre dos puntos p, q como la razn cruzada (p0 , p, q, q 0 ) donde p0 , q0 son los puntos donde la recta que pasa por p, q intersecta al borde. Entonces las transformaciones de D preservan la distancia.(Isometras de disco) Fu N.I. Lobachevski quien demostrara la posibilidad de una geometra distinta (no euclidiana). Despus muchos matemticos desarrollaron modelos geomtricos para estudiar la geometra de Lobachevski.

132

Bibliografa
[1968] Carl B. Boyer. Historia de la Matemtica. Alianza Editorial, Madrid, 1986, El Renacimiento pp.362. [1972] Morris Kline. El pensamiento matemtico de la Antigedad a nuestros das, I. Alianza Editorial, Madrid, 1992, pp.339. [1972] Morris Kline. El pensamiento matemtico de la Antigedad a nuestros das, II. Alianza Editorial, Madrid, 1992, pp.547 [1989] John Stillwell. Mathematics and Its History. Springer-Verlag New York, 1989, pp.190-191. [1966] Lars V. Ahlfors. Complex Analysis. Second edition. McGraw-Hill. Tokyo [1990] H.D.Ebbinghaus. H.Hermes. F.Hirzebruch. M.Koecher. K.Mainzer. J.Neukirch. A. Prestel. R.Remmert. Numbers. Springer-Verlag. [1991] Bruce P.Palka. An Introduction to Complex Function Theory. Springer-Verlag. [1999] Remmert, R. Theory of Complex Functions. Graduate Texts in Mathematics. Springer-Verlag.

133