Universitat de les Illes Balears

Mtodos de Variable Compleja e para la F sica

David Snchez Mart a n

c 2008 David Snchez Mart (email: david.sanchez@uib.es). Se autoriza a copiar, a n imprimir o distribuir este documento o partes de l, libremente, siempre que se cite el e nombre del autor y aparezca esta nota de copyright. Prohibido el uso con nes comerciales.

 Indice general

0. Motivacin o 1. N meros complejos u 1.1. Denicin . . . . . . . . . . . . . . . o 1.2. Representacin grca . . . . . . . . o a 1.3. Propiedades algebraicas . . . . . . . 1.4. Propiedades geomtricas . . . . . . . e 1.5. Forma polar . . . . . . . . . . . . . . 1.6. Potencias . . . . . . . . . . . . . . . 1.7. Ra ces . . . . . . . . . . . . . . . . . 1.8. Formulacin abstracta . . . . . . . . o 1.9. Aplicacin: Movimiento retrgrado de o o 1.10. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . los . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . planetas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

7 11 11 11 12 16 18 23 25 27 28 31 33 33 34 35 37 37 42 43 45 47

2. Funciones complejas 2.1. Funciones de variable real . . . . . . . . . . 2.2. Funciones de variable compleja . . . . . . . 2.3. L mites . . . . . . . . . . . . . . . . . . . . . 2.4. Continuidad . . . . . . . . . . . . . . . . . . 2.5. Derivadas y ecuaciones de Cauchy-Riemann 2.6. Funciones armnicas . . . . . . . . . . . . . o 2.7. Formulacin alternativa . . . . . . . . . . . o 2.8. Aplicacin: Campos y uidos . . . . . . . . o 2.9. Ejercicios . . . . . . . . . . . . . . . . . . .

3. Funciones elementales 49 3.1. Polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49

4 3.2. 3.3. 3.4. 3.5. 3.6. 3.7. 3.8. 3.9. Funcin exponencial . . . . . . . . . . . . . . . . . o Funciones trigonomtricas . . . . . . . . . . . . . . e Funciones hiperblicas . . . . . . . . . . . . . . . . o Logaritmo . . . . . . . . . . . . . . . . . . . . . . . Exponentes complejos . . . . . . . . . . . . . . . . Inversas de funciones trigonomtricas e hiperblicas e o Aplicacin: Circuito RLC . . . . . . . . . . . . . . . o Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 50 53 54 56 57 58 60 61 61 62 67 74 79 79 81 83 85 85 88 89 92 96 98 101 101 104 105 106 108 111 118 120 124 127 128 129 129 130 132

4. Integrales 4.1. Integrales de funciones de variable real . . . . . . . . . . . . . . . . 4.2. Integrales de contorno . . . . . . . . . . . . . . . . . . . . . . . . . 4.3. Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . 4.4. Frmula de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . o 4.5. Teorema de Morera . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.6. Cotas de funciones anal ticas y el teorema fundamental del lgebra . a 4.7. Aplicacin: Relaciones de dispersin y principio de causalidad . . . o o 4.8. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5. Series 5.1. Sucesiones y criterios de covergencia . 5.2. Series de potencias . . . . . . . . . . 5.3. Series de Taylor . . . . . . . . . . . . 5.4. Series de Laurent . . . . . . . . . . . 5.5. Aplicacin: Continuacin anal o o tica . . 5.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6. Residuos y polos 6.1. Singularidades . . . . . . . . . . . . . . . . . . . . . . 6.2. Ceros de una funcin . . . . . . . . . . . . . . . . . . o 6.3. Frmula del residuo . . . . . . . . . . . . . . . . . . . o 6.4. Teorema de los residuos . . . . . . . . . . . . . . . . 6.5. Integrales reales de funciones trigonomtricas . . . . . e 6.6. Integrales reales impropias . . . . . . . . . . . . . . . 6.7. Integrales con puntos de rama . . . . . . . . . . . . . 6.8. Aplicacin: Funciones de Green y la echa del tiempo o 6.9. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 7. Mapeos 7.1. Mapeo conforme . . . . . . 7.2. Transformaciones lineales . . 7.3. Reexin e inversin . . . . o o 7.4. Transformaciones bilineales . 7.5. Potencias y ra ces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5 7.6. Funcin exponencial . . . . o 7.7. Funcin logar o tmica . . . . . 7.8. Funciones trigonomtricas . e 7.9. Ms sobre campos y uidos a 7.10. Aplicacin: Fractales . . . . o 7.11. Ejercicios . . . . . . . . . . Soluciones a los ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133 133 133 135 142 145 147

0
Motivacin o
os numeros complejos suelen introducirse a partir de la necesidad de denir nmeros que satisfagan la ecuacin cuadrtica x2 + 1 = 0. Es bien sabido que u o a no hay ningn nmero real que sea solucin de esta ecuacin y el dilema se resuelve u u o o deniendo la unidad imaginaria i como la ra cuadrada (positiva) de menos uno: z i = 1

o de una forma equivalente i2 = 1 En realidad, histricamente el inters por los nmeros complejos surge cuando o e u se descubren conexiones inesperadas entre los nmeros complejos y los reales. Por u ejemplo, a Leibniz le sorprendi mucho la relacin o o 1+ 3 + 1 3 = 6
Augustin Louis Cauchy (1789-1857), matemtico a francs extraordie nariamente prol co. Public siete o libros y ms de a ochocientos art culos, una marca slo o superada por Euler. En 1814 present la teor o a de funciones complejas en un trabajo sin una sola gura ni un razonamiento geomtrico. e

pues a la izquierda hay dos trminos que contienen ra e ces cuadradas de nmeros u negativos y a la derecha el resultado es un nmero real. Parec por tanto, que u a, los nmeros complejos no eran tan imaginarios. Sin embargo, no se experiment un u o autntico progreso hasta que se pusieron las bases durante el siglo XIX de un mtodo e e ecaz de visualizar los nmeros complejos geomtricamente. u e El impulso denitivo en el campo de las matemticas vino de la mano de Caua chy, que estudi en profundidad una clase singular o sima de funciones complejas denominadas funciones anal ticas. Su importancia es tal que el anlisis de funciones a complejas se ha venido en llamar a veces anlisis de funciones anal a ticas. Parte de la relevancia de estas funciones proviene del hecho de que tienen aplicaciones inmediatas en f sica; sus componentes cumplen la ecuacin de Laplace en dos dimensiones: o 2u 2u + =0 x2 y 2

Motivacin o

En consecuencia, investigando las propiedades de funciones anal ticas se pueden realizar grandes avances en termolog electrosttica, ptica y f a, a o sica de uidos. En el siglo XX, Einstein descubri que necesitaba denir un tiempo imaginario o en su teor especial de la relatividad para que el diferencial de la distancia o intera valo en el espacio-tiempo, ds, fuera invariante bajo las transformaciones de Lorentz. En efecto, la geometr del espacio-tiempo para el caso de movimiento en las tres a dimensiones espaciales x1 , x2 y x3 viene descrita por la ecuacin o ds2 = dx2 + dx2 + dx2 c2 dt2 3 2 1 donde c es la velocidad de la luz. Para que la variable temporal t entre en la ecuacin con el mismo signo que las variables espaciales se dene, entonces, una cuarta o dimensin, x4 = ict, que es imaginaria pura. o Sin embargo, fue la formulacin de la mecnica cuntica la que situ las funciones o a a o complejas en un lugar preeminente dentro de la f sica moderna. La ecuacin central o de la mecnica cuntica no relativista es la llamada ecuacin de Schrdinger que, a a o o para una part cula movindose en una dimensin, toma la forma e o i
2 d2 (x, t) = + V (x) (x, t) t 2m dx2

donde es la constante renormalizada de Planck, m es la masa de la part cula y V (x) es un potencial externo arbitrario. En esta ecuacin se observa que la unio dad imaginaria aparece expl citamente. Esto ya es de por s una novedad respecto a las teor anteriores, pero quiz es mucho ms importante el hecho de que la as a a funcin de ondas (x, t), que describe totalmente el estado de la part o cula, es una magnitud compleja. El mdulo al cuadrado de (x, t) es un nmero real que reo u presenta una probabilidad y que, por tanto, puede medirse experimentalmente. La naturaleza compleja de (x, t) se maniesta, adems, en fenmenos espectaculares a o que tambin se detectan en el laboratorio, como efectos de interferencia de ondas e de materia, corrientes a voltaje cero entre uniones superconductoras y efectos de campo magntico en regiones donde no existe campo magntico. e e Las aplicaciones esbozadas anteriormente deber eliminar cualquier reticencia an ante el estudio de los nmeros complejos. An as nos sigue siendo intuitivamente u u , dif asignar un carcter @@realAA a un nmero complejo. Quiz la confusin aparece cil a u a o al querer dotar a los nmeros imaginarios de propiedades de las que carecen, como la u facultad de poder contar cosas. No obstante, debemos pensar que slo los nmeros o u naturales son capaces de eso. i no es ms que un s a mbolo como lo puede ser el signo para los nmeros negativos, la coma para los nmeros decimales, 2 para u u representar el nmero irracional 1,4142 . . . para denir la semilongitud de una u o circunferencia de radio unidad. No hay nada misterioso en i sino muchos resultados bellos que trataremos de aprender durante este curso.

Ejercicios
1. Resolver la siguiente paradoja: 1 = = 1

1 1 1 1 ( 1)2 i2

1 1 1 = 1 2 = ( 1) =1 !

1
N meros complejos u
n este tema introduciremos los nmeros complejos y sus propiedaes algebraiu cas. Descubriremos una forma alternativa de representar nmeros complejos que u resulta muy util al realizar multiplicaciones y potencias. Esta representacin se basa o en la relacin entre la funcin exponencial y las funciones seno y coseno. Finalo o mente, aprenderemos a calcular ra de un nmero complejo, derivando soluciones ces u adicionales que no pueden deducirse slo a partir de los nmeros reales. o u

1.1.

Denicin o
z = a + ib

Denicin. Un nmero complejo z se expresa de la siguiente forma: o u donde a y b son nmeros reales. La parte real de z es u Re(z) = a y la parte imaginaria de z es Im(z) = b Aunque se denomine imaginaria, la parte imaginaria es un nmero real, igual que u la parte real. Cuando la parte real de z es cero (a = 0), se dice que z = ib es imaginario puro por tener slo parte imaginaria. Obviamente, cuando la parte imaginaria es o cero (b = 0), el nmero z es real. u

1.2.

Representacin grca o a

La caracterizacin de un nmero complejo mediante sus partes reales e imagio u narias sugiere que podemos utilizar stas como coordenadas en el plano para ree presentar grcamente el nmero z = (x, y). As la representacin resultante es a u , o

12

Nmeros complejos u

Im z y z=x+iy=(x,y)

Re z

Figura 1.1: Representacin geomtrica de z en coordenadas cartesianas. o e muy similar a la de los vectores en R2 . El eje x, horizontal o real corresponde a Re(z) mientras que el eje y, vertical o imaginario corresponde a Im(z). De ah que la forma z = a + ib tambin reciba el nombre de representacin en coordenadas e o rectangulares o cartesianas (vase gura 1.1). El plano complejo se denomina e tambin plano z o diagrama de Argand. e El nmero complejo que surge de la reexin de z alrededor del eje real se denomiu o na complejo conjugado de z y se denota como z . En coordenadas rectangulares, no hay ms que cambiar de signo a la parte imaginaria: a z = a ib
Jean Robert Argand (1768-1822), contable suizo y acionado a las matemticas. En a 1806 public por o su cuenta el trabajo donde revela la interpretacin o geomtrica de los e n meros u complejos, y envi copias a sus o amigos, una de las cuales lleg a las o manos del famoso matemtico a francs Legendre. e Casi un siglo ms a tarde se descubri que el o cartgrafo noruego o Carl Wessel (1745-1818), otro matemtico a acionado, hab a hallado, de forma independiente y un poco antes que Argand, la misma interpretacin o geomtrica. e

De forma anloga a los vectores en R2 , se dene el mdulo de un nmero a o u complejo z = a + ib como la distancia de z al origen: Md(z) = |z| = a2 + b2 o Naturalmente, Md(z) es siempre un nmero real y positivo. o u Una caracter stica importante de los nmeros complejos y que se utiliza con u frecuencia es la condicin de equivalencia. Dos nmeros complejos z1 = a + ib y o u z2 = c + id son equivalentes, es decir, z1 = z2 si y solo si las partes reales y las imaginarias son iguales: z1 = z2 a = c y b = d Esta condicin da dos ecuaciones para la igualdad entre nmeros complejos debido o u al carcter bidimensional de estos nmeros. a u

1.3.

Propiedades algebraicas

Sean dos nmeros complejos z1 = a + ib y z2 = c + id. u

1.3 Propiedades algebraicas

13

Denicin. La suma de z1 y z2 produce un nuevo nmero complejo cuya parte o u real es la suma de las partes reales y cuya parte imaginaria es la suma de las partes imaginarias: z1 + z2 = (a + c) + i(b + d) Geomtricamente, la suma de dos nmeros complejos es equivalente a la suma e u 2 vectorial en R . De la denicin anterior es inmediato ver que la suma de nmeros complejos o u cumple las propiedades de la suma de nmero reales: u 1. Conmutativa: z1 + z2 = z2 + z1 2. Asociativa: z1 + (z2 + z3 ) = (z1 + z2 ) + z3 3. Elemento neutro: 0 + z = z 4. Elemento opuesto: z + (z) = z No hay que confundir el elemento opuesto, al que se le cambian de signo las partes reales e imaginarias, con el complejo conjugado, en el que slo se cambia de signo la o parte imaginaria. Ejemplo. Sean z1 = 2 + Calculamos la suma: z = z1 + z2 = (2 + 3i) + (2 3i) = 4 3i y z2 = 2 3i. Hallar la suma y la diferencia.

Observamos que el resultado es igual a 2 Re z debido a que z2 = z1 . En general, para cualquier z se tiene que

Re z = Ahora calculamos la diferencia: z = z1 z2 = (2 +

z + z 2

3i) (2

3i) = 2i 3

que equivale a 2i Im z. Por tanto, se puede demostrar que, para todo z, Im z = z z 2i

Denicin. El producto de z1 y z2 se obtiene al multiplicar los binomios a + ib y o c + id, utilizando el hecho de que i2 = 1: z1 z2 = (a + ib)(c + id) = ac + iad + ibc + i2 bd = (ac bd) + i(ad bc)

14

Nmeros complejos u

El signicado geomtrico no es tan evidente como en el caso de la suma y de e ningn modo podemos asociar el producto de nmeros complejos al producto escalar u u o vectorial de vectores en R2 . Esto hace que la expresin es coordenadas rectangulao res no sea del todo satisfactoria ya que es muy util tener una visualizacin espacial o de las operaciones. De hecho, las construcciones geomtricas fueron la principal hee rramienta en las demostraciones matemticas durante cientos de aos. En la seccin a n o siguiente, veremos una expresin alternativa de z que es mucho ms util para repreo a sentar geomtricamente el producto de nmeros complejos. e u Al igual que la suma, el producto satisface las propiedades usuales: 1. Conmutativa: z1 z2 = z2 z1 2. Asociativa: z1 (z2 z3 ) = (z1 z2 )z3 3. Elemento neutro: 1 z = z 4. Elemento inverso:
1 z

z=1

Por ultimo, la suma y el producto estn relacionados mediante la propiedad distri a butiva: z1 (z2 + z3 ) = z1 z2 + z1 z3 Cuando un conjunto de nmeros cumple las propiedades expuestas antes, se dice u entonces que es un cuerpo. Denoteramos el cuerpo de los nmeros complejos como u C. Ejemplo. Sean z1 = 1 + 3i y z2 = i. Hallar el producto z = z1 z2 . Aplicamos la denicin anterior: o z = (1 + 3i)(i) = i 3 = 3 + i Si representamos grcamente z, observamos que, al multiplicar z1 por i, z1 a ha sufrido una rotacin de /2 alrededor del origen. De aqu se intuye que el o producto en casos sencillos tiene que ver con rotaciones en el plano. Veremos este efecto con ms detalle en la prxima seccin. a o o De las deniciones de complejo conjugado y producto, podemos dar una expresin o alternativa al mdulo de z = a + ib: o |z|2 = zz ya que zz = (a + ib)(a ib) = a2 + b2 .

1.3 Propiedades algebraicas

15

Una expresin que se utiliza a menudo es el mdulo al cuadrado de la suma de o o z1 y z2 en trminos de z1 y z2 : e |z1 + z2 |2 = = = = |(a + c) + i(b + d)|2 [(a + c) + i(b + d)][(a + c) i(b + d)] (a2 + b2 ) + (c2 + d2 ) + 2(ac + bd) |z1 |2 + |z2 |2 + 2 Re(z1 z2 )

Esta expresin es similar a la frmula del binomio con nmeros reales, (a + b)2 = o o u 2 2 a + b + 2ab, pero no hay que confundirlas. Asimismo, indica que el mdulo al o cuadrado de una suma no es la suma de los mdulos al cuadrado. Sin embargo, el o producto de los mdulos s que equivale al mdulo de los productos: o o |z1 z2 | = |z1 ||z2 | La operacin @@conjugado de (. . .)AA, denotada por (. . .) no tiene los problemas o del mdulo ya que el conjugado de la suma es la suma de los conjugados: o
(z1 + z2 ) = z1 + z2

y el conjugado del producto es el producto de los conjugados:

(z1 z2 ) = z1 z2

Finalmente, el cociente o divisin de z1 y z2 se realiza multiplicando numerador o y denominador por el conjugado del denominador:
z1 z1 z2 ac + bd bc ad = = 2 +i 2 2 z2 z2 z2 c +d c + d2

Por supuesto, la divisin tiene sentido slo si z2 = 0. As podemos dar una expresin o o , o para el elemento inverso de la multiplicacin: o 1 z = 2 z |z| Por ejemplo, el inverso de i es 1/i = i/|i|2 = i ya que |i|2 = 1 (no confundir con i2 = 1!). Ejemplo. Sean z1 = 1 + 3i y z2 = i, como en el ejemplo anterior. Hallar ahora z el cociente z = z1 . 2 z= (1 + 3i)(i) 1 + 3i = =3i i i(i)

Tambin podr e amos haber utilizado el hecho de que 1/i = i y haber reducido la divisin anterior a una mera multiplicacin. o o

16 Ejemplo. Demostrar que z =

5 34i

Nmeros complejos u
4 5i

es un nmero real. u

Realizamos las operaciones indicadas: z= 15 20i 20i 3 5(3 + 4i) 4(5i) = = 2 2 |3 4i| |5i| 25 25 5

Otra forma de llegar al mismo resultado es utilizar las propiedades conocidas de las fracciones, que funcionan igual de bien con los nmeros complejos: u z= z1 z3 z1 z4 + z2 z3 25i 12 + 16i (12 9i)(20 15i) 3 + = = = = z2 z4 z2 z4 20 + 15i 152 + 202 5

1.4.

Propiedades geomtricas e

Al representar un punto en el plano mediante el nmero complejo z, podemos u escribir frmulas de geometr anal o a tica utilizando z en lugar de las variables usuales x e y. Recordemos que x denota la coordenada horizontal e y, la vertical. A veces, este modo de proceder da lugar a expresiones ms elegantes debido a la econom a a de notacin. Esperemos que esta observacin quede clara con un par de ejemplos. o o Ejemplo. Interpretar grcamente el conjunto de puntos determinado por a Im(z + i) = 2. Sustituyendo z = x + iy en la expresin anterior, obtenemos: o Im(z + i) = Im(x + i(y + 1)) = 1 y = 2 Luego el conjunto de puntos pedido corresponde a la recta horizontal y = 1. Ejemplo. Interpretar grcamente el conjunto de puntos determinado por a |z i| 3. De forma anloga al ejemplo anterior, hacemos uso de la sustitucin z = x+iy: a o |z i| = |x + i(y 1)| = x2 + (y 1)2 3 La ultima expresin equivale a o x2 + (y 1)2 3 que corresponde a la regin circular centrada en (0, 1) y radio o

3.

Del ejemplo anterior, se puede extraer la conclusin de que las expresiones del o tipo |zz0 | tienen que ver con la distancia entre puntos del plano, ya que la denicin o de c rculo corresponde precisamente al conjunto de puntos cuya distancia al centro es menor o igual a un cierto nmero real. En efecto, la expresin u o |z1 z2 | proporciona en general la distancia entre dos puntos en el plano complejo. Veamos una aplicacin de esta idea en el siguiente ejemplo. o

1.4 Propiedades geomtricas e

17

Ejemplo. Hallar la condicin de perpendicularidad entre dos segmentos del o plano complejo. Sea el tringulo rectngulo formado por los vrtices 0, z y w, donde 0 es el a a e vrtice recto. Entonces, el segmento de recta que va de 0 a z es perpendicular e al que va de 0 a w. Aplicando el teorema de Pitgoras, calculamos la distancia a de z a w (es decir, la longitud del segmento que va de z a w): |z w| = |z|2 + |w|2

Por otro lado, hab amos visto un poco ms arriba que, dados dos nmeros a u complejos cualesquiera, se cumpl la siguiente igualdad: a |z w| = |z|2 + |w|2 2 Re(zw ) Re(zw ) = 0 lo cual da la condicin de perpendicularidad entre los dos segmentos 0z y 0w. o Las leyes de la geometr anal a tica en el plano real, aunque reescritas en el lenguaje de los nmeros complejos como establece el ejemplo anterior, tambin son vlidas u e a en el plano complejo. Quiz el caso ms importante es la denominada desigualdad a a triangular, que se puede enunciar del siguiente modo: Teorema. Sean z1 y z2 dos nmeros complejos. Entonces: u |z1 + z2 | |z1 | + |z2 | Demostracin. Utilizamos la expresin, encontrada anteriormente, para el mdulo o o o al cuadrado de la suma de dos nmeros complejos: u |z1 + z2 |2 = |z1 |2 + |z2 |2 +
2 Re(z1 z2 )
2|z1 z2 | ya que Re z |z|

La unica forma de reconciliar ambas ecuaciones es exigir que

|z1 |2 + |z2 |2 + 2|z1 z2 | = |z1 |2 + |z2 |2 + 2|z1 ||z2 | = (|z1 | + |z2 |)2

Eliminando cuadrados, se obtiene el enunciado requerido. Esta desigualdad ser una a herramienta muy util en ciertas demostraciones a lo largo del curso. Damos, ahora sin demostracin, otras desigualdades notables: o |z1 | |z2 | |z1 + z2 | ||z1 | |z2 || |z1 + z2 | |z1 z2 | |z1 z3 | + |z2 z3 | La ultima desigualdad es geomtricamente evidente: la distancia entre dos puntos e debe ser menor o igual que la suma de las distancias de cada punto a un tercero. Poniendo z3 = 0, recuperamos la desigualdad triangular.

18

Nmeros complejos u

1.5.

Forma polar

Hab amos visto que las expresiones que se deducen del producto y la divisin o de dos nmeros complejos escritos en la representacin cartesiana eran algo comu o plicadas. Estudiaremos ahora una representacin alternativa que es preferible en o muchos casos a la representacin en coordenadas rectangulares y que resulta ser o extremadamente util en ciertos aspectos que quedarn claros enseguida. a La forma polar requiere un paso previo, pues debemos escribir primero el nmero u z = x+iy en la representacin trigonomtrica. Elegimos, en lugar de las coordenadas o e x e y, dos nmeros que especiquen totalmente y sin ambigedad el nmero z, a u u u saber, la distancia al origen, r = |z| = x2 + y 2

y el ngulo que se mide en sentido antihorario a partir del semieje x > 0: a tg = y x

Podemos invertir las ecuaciones anteriores y escribir x e y en trminos de r y : e x = r cos y = r sen Entonces, un nmero z = x + iy dado se puede escribir as (vase la gura 1.2): u e z = |z| cos + i|z| sen Ya hab amos mencionado que |z| es el mdulo de z. El ngulo recibe el nombre o a de argumento o fase: = arg(z)

Ejemplo. Expresar z = 1 i en la representacin trigonomtrica. o e La parte real es x = 1 mientras que la parte imaginaria es y = 1. Hallamos primero el mdulo: o |z| = 12 + (1)2 = 2 A continuacin, calculamos el argumento: o = arctg 1 = arctg(1) = 1 4

Por tanto, z toma la siguiente forma: z = 2 cos i 2 sen 4 4

1.5 Forma polar

19

Im z z=r(cos+isin)=re
|z| r=
i

Re z

Figura 1.2: Representacin polar de z. o Un aspecto fundamental a tener en cuenta es que, como la variable arg(z) es un ngulo, existe un nmero innito de fases igualmente vlidas que dieren en a u a mltiplos de 2. As en el ejemplo anterior podr u , amos perfectamente haber escogido los ngulos = /4 + 2 = 7/4, = /4 + 4 = 15/4, etc. Para eliminar esta a ambigedad, usaremos la denominacin argumento principal, Arg(z), cuando se u o cumpla que < Por tanto, en el ejemplo anterior Arg(z) = /4. Ntese que Arg(z) es unico, pero o arg(z) no lo es, debido a la periodicidad angular mencionada. La relacin entre o ambos es arg(z) = Arg(z) + 2n (n = 0, 1, 2, . . .) Otro aspecto que no hay que olvidar es que la fase se calcula a partir de la funcin tg . Ahora bien, la tangente tiene periodo , no 2. Por tanto, hay que o tener siempre presente el cuadrante donde est situado z. a Ejemplo. Expresar z = 1 + i en la representacin trigonomtrica. o e La parte real es x = 1 y la parte imaginaria es y = 1. El mdulo es el mismo o que el del ejemplo anterior: |z| = (1)2 + 12 = 2 A continuacin, calculamos el argumento de la misma forma: o = arctg 1 = arctg(1) = 1 4 INCORRECTO

El clculo de la fase no es correcto, pues el mdulo y el argumento de z = 1+i a o no pueden ser los dos iguales que los de z = 1 i, ya que se trata de dos nmeros distintos. El problema est en que z = 1 + i est en el segundo u a a cuadrante. Luego la fase no es = /4, que corresponde a un ngulo en el a cuarto cuadrante, sino = 3/4.

20

Nmeros complejos u La leccin que se extrae del ejemplo anterior es que la relacin o o = arctg y x

es slo vlida cuando z = x + iy est situado en el primer o en el cuarto cuadrante. o a a Para el segundo cuadrante se puede utilizar la siguiente frmula: o = + arctg y x y x

mientras que para el tercer cuadrante se cumple la igualdad = + arctg

La forma trigonomtrica no es ms util que la forma cartesiana para multiplicae a ciones y divisiones. El gran avance consiste en utilizar la frmula de Euler: o
Leonhard Euler (1707-1783), matemtico suizo, a quiz el ms a a grande de todos los tiempos si exceptuamos a Gauss. Fue Euler quien introdujo por primera vez la notacin i = 1. o Su memoria era prodigiosa (se dice que era capaz de recitar la Eneida del primer al ultimo verso), lo que le permiti seguir o haciendo clculos a incluso despus de e quedarse ciego. Muri una noche o de un infarto cerebral mientras trabajaba.

ei = cos + i sen Esta expresin se demuestra identicando, por separado, las expansiones de Taylor o para las funciones seno, coseno y exponencial. En efecto, tomamos del anlisis de a funciones de variable real las siguientes series innitas: 1 2 1 4 + + ... 2! 4! 1 3 1 i sen = i i + i 5 + . . . 3! 5! cos = 1 Por otro lado, la funcin exponencial se puede desarrollar as o : ei = 1 + i + 1 1 (i)2 + (i)3 2! 3! 1 1 4 5 + (i) + (i) + . . . 4! 5! 1 2 1 4 = 1 + + ... 2! 4! 1 1 + i i 3 + i 5 + . . . 3! 5!

En la segunda igualdad hemos usado el hecho de que i2 = 1, i3 = i2 i = i, i4 = i2 i2 = 1, etc. Comparando los trminos entre parntesis con las series para e e el coseno y el seno escritas arriba, se llega a la frmula de Euler. Sin embargo, la o demostracin est incompleta, pues an no hemos hablado de series de funciones de o a u variable compleja ni hemos probado que dichas series converjan. Esto se dejar para a

1.5 Forma polar

21

el tema 5. Por el momento, nos basta con esta prueba heur stica y tomaremos la frmula de Euler como verdadera. o Sustituyendo = se llega a la siguiente identidad, quiz la ms conocida de a a todas las matemticas: a ei = 1 pues relaciona de manera muy sencilla cuatro nmeros fundamentales. u Es importante observar que |ei | = cos2 + sen2 = 1 para todo , sugiriendo que todos los resultados trigonomtricos pueden deducirse de e las propiedades de la exponencial compleja. De hecho, podemos escribir las funciones seno y coseno en trminos unicamente de funciones exponenciales: e ei + ei 2 ei ei sen = 2i cos = Finalmente, llegamos a nuestro objetivo: escribir un nmero complejo z en su u forma polar (o exponencial). Sustituyendo la frmula de Euler en la representacin o o trigonomtrica, hallamos e z = |z|ei donde recordamos que = arg(z). Ejemplo. Escribir z = 1 + i en forma polar e indicar el argumento princial. En el ejemplo anterior, vimos que |z| = 2 y arg z = 3/4 + 2n (n = 0, 1, 2, . . .). Entonces, la forma polar es z= 2ei( 4 +2n)
3

(n = 0, 1, 2, . . .)

Para encontrar el argumento principal, hemos de encontrar cul de los ngulos a a = 3 + 2n = . . . 5 , 3 , 11 . . . , est dentro del intervalo < . a 4 2 2 2 Vemos que el unico ngulo que lo satisface es Arg(z) = 3/2. a Ejemplo. Escribir los siguientes nmeros en forma exponencial e indicar el u argumento principal. 1. z = 1 = z = e2in , Arg z = 0 2. z = i = z = ei( 2 +2n) , Arg z =

3. z = 1 = z = ei(2n+1) , Arg z = 4. z = i = z = ei( 2 +2n) , Arg z = 2

22

Nmeros complejos u En todos los casos anteriores, hemos tomado, como siempre, n = 0, 1, 2, . . . Si representamos los puntos anteriores, vemos que se localizan sobre la circunferencia de radio unidad ya que |z| = 1 para todos ellos.

Ya hemos avanzado que la forma polar es particularmente util a la hora de evaluar productos y cocientes de nmeros complejos. Dados z1 y z2 en forma polar, hallamos u el producto z = z1 z2 = |z1 ||z2 |ei(1 +2 ) y el cociente z1 |z1 | i(1 2 ) = e z2 |z2 | Estas expresiones son mucho ms sencillas que las que obtuvimos en coordenadas a rectangulares. Esta simplicidad se debe, en parte, a que los argumentos slo hace o falta sumarlos o restarlos, es decir: z= arg(z1 z2 ) = arg(z1 ) + arg(z2 ) Sin embargo, no hay que caer en la tentacin de emplear el mismo razonamiento o con el argumento principal, ya que, en general, Arg(z1 z2 ) = Arg(z1 ) + Arg(z2 ) pues puede ocurrir que la suma de la derecha exceda el intervalo < y no sea igual al trmino de la izquierda. A veces puede ocurrir que se satisfaga la e igualdad, pero eso ser slo una casualidad. Al calcular el argumento principal de a o un producto, primero hay que realizar la multiplicacin y, slo despus, hallar el o o e argumento principal. Ejemplo. Calcular z = z1 z2 si z1 = 1 y z2 = i, y explicar por qu Arg(z1 z2 ) = e Arg(z1 ) + Arg(z2 ). Es fcil realizar la multiplicacin: a o 2 Sin embargo, si realizamos la multiplicacin en polares quedndonos slo con o a o el argumento principal, z = (1)i = i = ei( 2 +2n) ,

Arg z =

z = (1)i = ei ei/2 = e3i/2

INCORRECTO

estar amos cometiendo un error, ya que el argumento principal de z = i no es 3/2 (que est fuera del intervalo < ) sino /2 como ya hemos a visto antes. Esto no quiere decir que no podamos multiplicar nmeros en forma u polar, sino que tenemos que hacerlo con cuidado:
(, = 0, 1, 2, . . .) z = (1)i = ei(+2) ei( 2 +2) 3 = ei( 2 +2n) (n = + = 0, 1, 2, . . .)

1.6 Potencias

23

El resultado anterior es enteramente correcto. Ahora y slo despus de haber o e hecho la multiplicacin, calculamos el argumento principal. Vemos que ste o e tiene lugar cuando n = 1, esto es, Arg(z) = /2, exactamente igual que lo que obtuvimos arriba. Dado z = |z|ei , el complejo conjugado en forma polar tambin adquiere una e expresin sencilla: o z = |z|ei Ejemplo. Hallar el patrn de interferencia de dos osciladores de igual freo cuencia y amplitud, pero diferentes fases, 1 y 2 . Sabemos que la coordenada x de un oscilador clsico viene dada, a cualquier a tiempo t, por x(t) = x0 cos(t + 1 ) donde x0 la amplitud y la frecuencia de oscilacin. La misma ecuacin puede describir la componente de una onda o o 2 electromagntica, siendo x0 la intensidad de la onda en ese punto. Cul ser el e a a efecto combinado de dos ondas? Deber amos calcular la suma x0 cos(t + 1 ) + x0 cos(t + 2 ). Esto se puede hacer de forma mucho ms fcil con nmeros a a u complejos. Sean los osciladores z1 (t) = |z1 |ei(t+1 ) z2 (t) = |z2 |ei(t+2 ) La intensidad de la onda combinada z = z1 + z2 ser a |z|2 = (z1 + z2 )(z1 + z2 ) = |z1 |ei(t+1 ) + |z2 |ei(t+2 ) |z1 |ei(t+1 ) + |z2 |ei(t+2 )

= |z1 |2 + |z2 |2 + |z1 ||z2 | ei(1 2 ) + ei(1 2 ) = |z1 |2 + |z2 |2 + 2|z1 ||z2 | cos(1 2 ) El efecto de interferencia es el trmino proporcional a cos(1 2 ). Observae mos que la intensidad de dos ondas que intereren no es igual a la suma de las intensidades. Si las ondas estn en fase y las amplitudes son iguales, 1 = 2 y a |z1 | = |z2 |, la ecuacin anterior nos dice que la intensidad es cuatro veces la ino tensidad de una de las ondas (interferencia constructiva) mientras que si estn a fuera de fase, 1 = 2 + , la intensidad es cero (interferencia constructiva). El patrn resultante de zonas brillantes y zonas oscuras es caracter o stico del movimiento ondulatorio y lo sorprendente es que se maniesta tambin con e part culas materiales, como el electrn, lo que constituye una prueba espectao cular de las leyes de la mecnica cuntica a nivel microscpico. a a o

1.6.

Potencias

Al igual que la multiplicacin, la operacin de elevar un nmero complejo a un o o u nmero real es mucho ms fcil de realizar si el nmero complejo est escrito en u a a u a

24

Nmeros complejos u

forma polar. Por ejemplo, sea el nmero natural n N. Entonces, u z n = |z|ei

n

= |z|n ein

Ejemplo. Dado z = 1 + i 3, calcular z 5 .

Podr amos utilizar la frmula del binomio y desarrollar (1 + i 3)5 . Pero creeo mos que es ms fcil pasar primero z a su forma exponencial: a a |z| = 12 + ( 3)2 = 2 , = arctg 3= = z = 2ei/3 3

Ahora podemos calcular rpidamente la potencia pedida: a z 5 = 25 e5i/3 = 32 cos 5 5 + i sen 3 3

Finalmente, deshacemos el cambio a polares, volviendo a la forma cartesiana: 1 3 5 z = 32 i = 16 i16 3 2 2 Expresemos ahora la potenciacin de un nmero complejo en la representacin o u o trigonomtrica: e z n = |z|n (cos + i sen )n Ahora bien, la frmula de Euler establece que o ein = cos n + i sen n Por tanto, usando la forma polar z n = |z|n ein , encontramos la siguiente identidad: cos n + i sen n = (cos + i sen )n resultado que se conoce con el nombre de frmula de De Moivre. Esta frmula o o es incre blemente util para derivar frmulas trigonomtricas. o e Ejemplo. Demostrar que cos3 = 1 3 cos + cos 3 4 4

Empleamos la frmula de De Moivre para n = 3: o cos 3 + i sen 3 = (cos + i sen )3 = cos3 3 sen2 cos + i(3 cos2 sen sen3 )

1.7 Ra ces

25

Los dos miembros de la ecuacin son iguales si y slo si son iguales sus partes o o reales e imaginaria: 3 1 cos + cos 3 4 4 3 1 sen 3 = sen3 + 3(1 sen2 ) sen = sen3 = sen sen 3 4 4 cos 3 = cos3 3(1 cos2 ) cos = cos3 = Ntese que, gracias a que la equivalencia de nmeros complejos implica dos o u condiciones, este mtodo nos ha proporcionado una segunda frmula trigoe o nomtrica. e

1.7.

Ra ces

El clculo de la ra ensima de un nmero complejo, z 1/m con m N, es algo a z e u ms complicado que el clculo de potencias puesto que, en general, z 1/m tiene m a a ra distintas. Este resultado nos es familiar del lgebra real, pues z = 41/2 tiene, ces a como sabemos, dos ra ces: z = 2. Sin embargo, si aumentamos un poco m, los nmeros reales no nos generan ms ra (tmese, por ejemplo, 81/3 = 2, que slo u a ces o o tiene una). De dnde salen, pues, las otras ra en C? Esperemos que quede claro o ces con el siguiente ejemplo: Ejemplo. Sea z = 8. Hallar w = z 1/3 . Primero, escribimos z en notacin exponencial: o z = 8e2in Entonces: w = z 1/3 = 2e2in/3 (n = 0, 1, 2, . . .) Ahora bien, n = 0 reproduce la ra que ya conoc z amos (wn=0 = 2). Para n = 1 obtenemos el siguiente nmero: u wn=1 = 2e2i/3 = 2 cos 2 2 + i sen 3 3 = 1 + i 3 (n = 0, 1, 2, . . .)

que es una ra distinta de wn=0 y satisface igualmente (1 + i 3)3 = 8. La z tercera ra sale de considerar el caso n = 2: z wn=2 = 2e4i/3 = 1 i 3 Podemos ahora preguntarnos si existen ms soluciones. Representando gra a 2i camente wn=0 , wn=1 y wn=2 , observamos que wn=3 = 2e = 2 coincide con wn=0 y, por tanto, no es una ra distinta. As pues, para n 3 las ra z ces se van repitiendo peridicamente. Si ahora escogemos los casos n < 0, recorremos o las mismas ra ces, pero en sentido inverso.

26

Nmeros complejos u

w1 Im z

w2

w0 Re z

w3
Figura 1.3: Soluciones de la ecuacin ciclotmica para n = 4. o o En consecuencia, el mtodo para hallar las ra e ces de un nmero complejo z u consiste en (i) pasar z a la forma exponencial ms general (no quedarse slo con el a o argumento principal) y (ii) hallar las n = 0, . . . , m 1 ra dando valores sucesivos ces a n. De todas las ra ces, se denomina ra principal la correspondiente a utilizar z el argumento principal de z. En el ejemplo anterior, la ra principal de z = 8 es z wm=0 = 2 puesto que Arg(z) = 0. Ejemplo. Resolver la denominada ecuacin ciclotmica: wn = 1, donde w o o C. Resolver la ecuacin ciclotmica equivale a hallar las n ra o o ces de la unidad, 11/n . Con nmeros reales, la respuesta es obvia: la unidad slo tiene una ra u o z (igual a 1) independientemente de n. Pero con nmeros complejos nos aguarda u una sorpresa. Sea z = 1 = e2im con m = 0, 1, 2, . . . Entonces, las soluciones son: wm = e2im/n Como n = 4, tenemos que las cuatro ra distintas son ces wn=0 wn=1 wn=2 wn=3 = = = = 1 (la ra principal) z 2i/4 i/2 e =e =i 2i2/4 i e = e = 1 e2i3/4 = e3i/2 = i

1.8 Formulacin abstracta o

27

o wn=4 = e2i4/4 = e2i = 1 es igual a wn=0 y aqu paramos la sucesin. Representando w0,1,2,3 en la gura 1.3, vemos que forman los vrtices de un cuadrado e inscrito en la circunferencia de radio unidad. Igualmente, las ra que corresces ponden al caso n = 6 forman un hexgono escrito, etc., de ah la importancia a de la ecuacin ciclotmica, pues permite construir pol o o gonos de n lados inscritos en la circunferencia de radio unidad.

1.8.

Formulacin abstracta o

Una forma equivalente de introducir los nmeros complejos se basa en considerar u z como el par ordenado z = (x, y) donde x = Re z e y = Im z. En general, (x, y) no describe el mismo punto en el plano que (y, x), de ah la importancia de la ordenacin. o Sin mencionar la existencia de i, denimos la suma z1 + z2 = (x1 + x2 , y1 + y2 ) y el producto z1 z2 = (x1 x2 y1 y2 , x1 y2 + x2 y1 ) de los dos nmeros complejos z1 = (x1 , y1 ) y z2 = (x2 , y2 ). De la ultima denicin u o se deduce que (0, 1) (0, 1) = (1, 0), que es una forma un poco enrevesada, pero equivalente, de escribir i2 = 1. Las propiedades enumeradas en la seccin 1.3 respecto a las operaciones suma o y producto (conmutativa, asociativa y distributiva) ms el hecho de que las dos a operaciones posean elementos inversos z = (x, y) x y = , 2 2 + y2 x x + y2

z 1

para que se puedan denir las operaciones inversas (sustraccin o resta y divisin o o o cociente) hacen que el conjunto de los nmeros complejos C sea un cuerpo o campo1 . u Obviamente, la ventaja de esta formulacin no es operacional, pues es mucho ms o a rpido calcular expresiones utilizando las propiedades de i. Aun as la formulacin a , o abstracta es sistemtica y, proporcionando una visin de los nmeros complejos como a o u nmeros bidimensionales, plantea la siguiente pregunta: pueden generalizarse los u nmeros complejos a espacios de dimensin ms alta? Hamilton descubri que esta u o a o generalizacin no era posible en el espacio tridimensional, pero que s exist una o a analog en cuatro dimensiones. Puesto que en el espacio de dos dimensiones, un a nmero complejo z = 1a + ib se expresa en trminos de dos @@vectoresAA unitarios (1 u e
Tambin forman cuerpos el conjunto de los nmeros racionales y el de los nmeros reales, pero e u u no los nmeros naturales ni los enteros. u
1

28

Nmeros complejos u

e i), en cuatro dimensiones se han de introducir cuatro vectores unitarios: 1, i, j y k, donde i2 = j 2 = k 2 = 1. Por tanto, un nmero complejo en cuatro dimensiones, u denominado cuaternin, se escribe en la forma o z = a1 + bi + cj + dk donde a, b, c, d R. Hamilton demostr que la suma y la multiplicacin de cuaterniones obedec las o o a mismas reglas que los nmeros complejos bidimensionales, pero para poder denir u la divisin hubo de suponer que la multiplicacin no era conmutativa sino que los o o vectores unitarios satisfac una suerte de propiedad c an clica: ij = k = ji jk = i = kj ki = j = ik

Utilizando la primera de estas relaciones, podemos expresar un cuaternin mediante o dos nmeros complejos: u z = a1 + bi + cj + dk = (a + bi) + (c + di)j Sorprendentemente, este conjunto de nmeros tan abstractos tiene aplicaciones u f sicas de gran importancia. Sobresale el uso de cuaterniones en la extensin de la o mecnica cuntica que incluye los postulados de la relatividad especial, y que fue a a formulada por primera vez por Dirac. En mecnica cuntica relativista, la funcin a a o de onda deja de ser un escalar y pasa a convertirse en un vector cuaterninico de dos o componentes. Puesto que un cuaternin se escribe como dos nmeros complejos, se o u puede demostrar que la funcin de onda de Dirac describe part o culas con un grado de libertad interno (espn 1/2). Pero cul es el signicado f a sico de las dos componentes? En 1928 Dirac encontr que una de ellas ten siempre energ negativa y o a a de ah predijo la existencia de las antipartculas2 .

1.9.

Aplicacin: Movimiento retrgrado de los plao o netas

En esta seccin utilizaremos la forma exponencial de los nmeros complejos o u para explicar cualitativamente el movimiento aparentemente retrgrado que tienen o los planetas vistos desde la Tierra. La formulacin con nmeros complejos resulta o u elegante y los clculos no son demasiado farragosos. a Es conocido que, vistos desde la Tierra, los planetas exteriores a la rbita terreso tre, siguen trayectorias no uniformes. Si registramos observaciones sistemticas de la a posicin de un planeta durante un ao, parece como si el planeta, a veces, avanzara o n y retrocediera por el rmamento. Este fenmeno dio muchos quebraderos de cabeza o
La antipart cula del electrn, el positrn, fue detectada cuatro aos ms tarde por C. D. o o n a Anderson.
2

1.9 Aplicacin: Movimiento retrgrado de los planetas o o

29

Im z

Re z

Figura 1.4: Ejemplo de movimiento retrgrado derivado de las ecuaciones de seccin o o 1.9. al sistema astronmico ptolemaico y no se comprendi en profundidad hasta que o o aparecieron los trabajos de Kepler y Newton. Explicar dicho movimiento retrgrado o (ver gura 1.4) es sencillo usando nmeros complejos ya que la forma exponencial u permite parametrizar curvas sobre el plano de una manera muy fcil. Por ejemplo, a z(t) = Reit representa la circunferencia |z| = R cuando hacemos variar el parmetro t de 0 a a 2. En nuestro caso, t va a ser el tiempo. Por tanto, sea zT (t) = e2it la posicin de la Tierra en el plano cuyo centro de coordenadas lo representa el o Sol y donde hemos tomado la distancia Tierra-Sol igual a 1 unidad astronmica. o Empezando en t = 0, tras t = 1 ao la Tierra completa una rbita circular alrededor n o del Sol (la rbita en realidad es el o ptica, pero con una excentricidad tan pequea n que preferimos simplicar el problema). Sea zM (t) = re2it/ la posicin de otro planeta (por ejemplo, Marte). r es la distancia al Sol en unidades o astronmicas y es el periodo del planeta en aos terrestres. Entonces, desde la o n Tierra el planeta se encontrar a la distancia relativa a d(t) = zM (t) zT (t) = re2it/ e2it (t)ei(t) Por supuesto, la distancia f sica es (t), siendo d(t) el @@vectorAA que une los puntos T y M . Si (t) es una funcin montonamente creciente en el tiempo, entonces desde o o

30

Nmeros complejos u

la Tierra no se observar ningn movimiento anmalo. Nuestro objetivo, pues, es a u o calcular (t) y estudiar su comportamiento cuando t aumenta. En primer lugar, pasamos a coordenadas rectangulares: d(t) = r cos 2t 2t cos 2t + i r sen sen 2t

Luego el argumento de d(t) es: r sen 2t sen 2t (t) = arctg 2t r cos cos 2t Para ver si esta funcin es montona o no, calculamos su derivada = d/dt: o o = (t) 2 2 1 + (t) r cos 2t cos 2t
2

donde hemos denido la funcin o (t) = + r 2t cos cos 2t r 2t sen sen 2t r cos 2t cos 2t 2t r sen sen 2t

Basta estudiar el signo de (t) pues los otros trminos que entran en la expresin e o de son siempre positivos para todo t. Simplicando, tenemos que (t) = 1 + r2 1 r 1+ cos 2t 1 1

Buscamos ahora los extremos relativos de (t) haciendo (t) = 0. Utilizando la tercera Ley de Kepler, que relaciona el periodo de un planeta con su distancia al Sol: 2 = r3 obtenemos la siguiente condicin: o cos 2t 1 1 = r + r1/2 1 + r3/2

La funcin que aparece el miembro izquierda de la ecuacin es siempre menor que o o 1 ya que r > 0. Como el coseno est acotado entre 1 y 1, cabe, en principio, algn a u t para el cual se satisface la condicin anterior. Es decir, la funcin (t) posee, en o o general, algn mximo o m u a nimo local. Luego no es montona y eso se tiene que o reejar en que el planeta parezca avanzar y retroceder si lo observamos desde la Tierra.

1.10 Ejercicios

31

1.10.

Ejercicios

1. Dados z = 1 + i y w = 3 4i, hallar: a) z + w b) z w c) zw d ) z/w e) Im(w/z ) y comprobar la desigualdad triangular. 2. Demostrar que el tringulo con vrtices en 0, z y w es equiltero si y slo si a e a o |z|2 = |w|2 = 2 Re(zw ) 3. Representar el conjunto de puntos Re[(m + i)z + b] = 0 con m, b R y explicar el signicado geomtrico de m y b. e 4. Encontrar todas las ra de (16i)1/4 y representarlas grcamente ces a 5. Utilizando la representacin polar, demostrar la igualdad que tanto sorpreno di a Leibniz: o 1+i 3+ 1i 3= 6 Tener en cuenta slo la ra principal. o z 6. Hallar las ra del polinomio ces P (z) = z 2 (1 + i)z + 1 2

7. Ilustrar el movimiento retrgrado de los planetas tomando Marte como caso o de estudio (r = 1,88): a) Representar grcamente d(t) y predecir el periodo (en aos terrestres) a n entre dos movimientos retrgrados consecutivos. Comparar con datos reao les y explicar el origen de posibles discrepancias. b) Representar grcamente zM (t) y comprobar la relacin de los bucles con a o los mximos o m a nimos de d(t).

2
Funciones complejas
l estudio de las funciones complejas inaugura el anlisis complejo. Una funcin a o compleja cuya imagen pertenece al plano C exhibe propiedades muy interesantes. Veremos que una funcin tiene derivada slo si cumple un par de condiciones o o fuertemente restrictivas. Introduciremos el concepto de funcin anal o tica, sobre el que se basar buena parte del resto de curso, y presentaremos las primeras aplicaa ciones f sicas de estas funciones.

2.1.

Funciones de variable real

Se pueden construir funciones complejas a partir de un conjunto de R y, mediante una aplicacin, llevarlo a C, f : R C. Por ejemplo, si x R, podemos denir la o frmula de Euler como la funcin o o f (x) = eix = cos x + i sen x Este tipo de funciones pueden representarse sin dicultad puesto que podemos reescribir f como un vector de dos componentes: f = (Re f (x), Im f (x)) y dibujar la curva correspondiente en el plano complejo tomando x como un parmea tro. Siguiendo con el ejemplo anterior, la funcin o f = (cos x, sen x) representar la circunferencia de radio unidad. a Estas funciones son interesantes, pero no poseen propiedades que no conozcamos ya del anlisis vectorial de funciones reales. Lo realmente interesante surge al a considerar funciones complejas de variable compleja.

34

Funciones complejas

2.2.

Funciones de variable compleja

Estas funciones son totalmente nuevas y dan lugar a resultados en muchos casos cualitativamente distintos a las funciones reales de variable real. Denicin. La aplicacin w = f (z) toma un conjunto de C denominado dominio o o D donde est denida y asocia cada uno de sus puntos a otro conjunto de C llamado a imagen o dominio imaginario: f :DC Ejemplo. Hallar el dominio de la funcin o f (z) = 1 zi

Como la divisin est denida siempre que el denominador sea distinto de o a cero, el dominio de f ser todo C salvo z = i, es decir, D : {z C | z = i} a De la misma forma en que expresamos z = x + iy en trminos de sus partes real e e imaginaria, podemos descomponer anlogamente una funcin f dada en su forma a o cartesiana: f = u(x, y) + iv(x, y) donde u(x, y) = Re f v(x, y) = Im f Adems, se dene la forma polar como sigue: a f = u(r, ) + iv(r, ) donde r y se introdujeron en el tema anterior: r = |z| Im z tg = Re z Debido al isomorsmo entre C y R2 , la funcin f = u + iv puede identicarse con o el mapeo f (x, y) = (u(x, y), v(x, y)) de la misma manera que un nmero complejo u z = x + iy puede representarse mediante el vector (x, y). Ejemplo. Expresar f (z) = z + z 1 en forma cartesiana y polar. Reemplazamos z por z = x + iy y simplicamos: f = x + iy + x 1 y =x+ 2 +i y 2 2 x + iy x +y x + y2
u(x,y) v(x,y)

2.3 L mites

35

Esta es la forma cartesiana. La forma polar se obtiene haciendo la sustitucin o i z = re y aplicando la frmula de Euler: o 1 1 i f = rei + ei = r cos + ir sen + cos sen r r r r2 + 1 r2 1 = cos +i cos r r
u(r,) v(r,)

2.3.

L mites
lim f (z) = w0

Denicin. Una funcin w = f (z) tiende al l o o mite w0 cuando z tiende a z0 ,

zz0

si y slo si para todo > 0 existe un > 0 tal que |f (z) w0 | < para todo z o cuando 0 < |z z0 | < . Esta denicin no es muy util desde el punto de vista operacional. Damos ahora o tres teoremas sin demostracin que nos van a ayudar en el clculo de l o a mites. Teorema. Si existe limzz0 f (z) = w0 , entonces el l mite es unico Teorema. Sea f = u(x, y)+iv(x, y). Si existe limzz0 f (z) = w0 = u0 +iv0 , entonces
(x,y)(x0 ,y0 ) (x,y)(x0 ,y0 )

lim

u(x, y) = u(x0 , y0 ) = u0 v(x, y) = v(x0 , y0 ) = v0

lim

El recproco tambin es cierto. e Teorema. Si existen limzz0 f (z) y limzz0 g(z), entonces
zz0

lim (f + g) =
zz0

zz0 zz0

lim f + lim g
zz0

lim f g =
zz0

lim f lim g
zz0

lim

f g

limzz0 f limzz0 g

Damos un ejemplo que ilustra las propiedades anteriores: Ejemplo. Hallar el siguiente l mite: l = lim z4 1 zi

zei/2

36

Funciones complejas Observamos que ei/2 = i y que, por tanto, el numerador y el denominador tienden los dos a cero. La forma de resolver esta indeterminacin es mediante o la factorizacin del numerador. Hemos de calcular las 4 ra de 11/4 , que son, o ces como ya vimos en el tema anterior, 1, 1, i y i. Por tanto, l = lim (z 1)(z + 1)(z i)(z + i) = 2i(1 + i)(1 i) = 4i zi

zei/2

Una caracter stica que hay que tener muy en cuenta es que en el plano C existen varias formas de llegar a z0 , a diferencia de lo que ocurre en la recta R, donde slo o hay dos formas de alcanzar un punto dado (por ejemplo, para x 0 tenemos dos posibilidades, a saber, x 0+ y x 0 ). En C hay innitas formas de llegar a un punto dado. Entonces, si existe limzz0 f (z), ste no debe depender del camino e elegido. Podemos utilizar esta estrategia para demostrar que un cierto l mite no existe. Ejemplo. Demostrar que Re z z0 z

= lim no existe.

En coordenadas cartesianas, el l mite se escribe = x (x,y)(0+i0) x + iy lim

Debemos hacer tender z = x + iy a z0 = 0 + i0. Esto se puede hacer de muchas maneras. En cuanto encontremos dos formas que den resultados dis miles, habremos demostrado que no existe. Escojamos, primero, tender z a z0 a lo largo del eje x. Esto quiere decir que dejamos x libre y jamos la coordenada y = 0: x = lim =1 (x,0)(0+i0) x + i0 Ahora repetimos el l mite, pero a lo largo de la recta y = x: = 1i x = (x,x)(0+i0) x + ix 2 lim

Los dos l mites son distintos y, por tanto, no existe. Para estar totalmente seguros, calculamos ahora a lo largo de eje y (x = 0): = 0 =0 (0,y)(0+i0) 0 + iy lim

que vuelve a ser distinto de los anteriores. Los l mites que involucren al se tratan de manera similar al caso real.

2.4 Continuidad

37

2.4.

Continuidad
lim f (z) = f (z0 )

Denicin. Una funcin se dice que es continua en z0 si y slo si o o o

zz0

Ntese que esta denicin implica que f (z0 ) debe existir. o o Ejemplo. Redenir la funcin o f (z) = para que sea continua en z = i. El punto z = i no forma parte del dominio de f . Hab amos visto en un ejemplo anterior que z4 1 lim = 4i zei/2 z i Por tanto, slo nos hace falta exigir que f (i) = 4i: o f (z) =
z 4 1 zi

z4 1 zi

4i

z=i z=i

Se sigue de los teoremas de la seccin anterior que la suma, el producto y el o cociente de funciones continuas son tambin funciones continuas (excluyendo, por e supuesto, denominadores nulos). Adems, la composicin de funciones continuas a o genera tambin funciones continuas. Finalmente, si f = u(x, y)+iv(x, y) es continua, e entonces u y v son continuas.

2.5.

Derivadas y ecuaciones de Cauchy-Riemann

Los resultados de las secciones anteriores nos resultan familiares del anlisis real. a En esta seccin veremos el primer resultado genuinamente de C y que no tiene o similitud con ningn otro resultado que conozcamos en R. u Denicin. f (z0 ) es la derivada de f en z0 si existe el l o mite f (z0 ) = lim f (z0 + z) f (z0 ) f (z) f (z0 ) = lim z0 z z0 z

zz0

Ambas deniciones son equivalentes, pues z = z z0 .

38

Funciones complejas

a e La existencia (o no) de f (z0 ) y el clculo de sta pueden realizarse a partir de la denicin anterior, pero quiz este mtodo no es del todo conveniente en la mayor o a e a de los ocasiones. Existe, sin embargo, un resultado extraordinariamente simple que nos aclara la existencia de la derivada de una funcin arbitraria f (z). o Supongamos que existe la derivada de f = u(x, y) + iv(x, y) en z0 = x0 + iy0 . Calculemos el l mite de arriba a lo largo de la recta horizontal y = y0 (es decir, jamos y y hacemos tender x a x0 ). Esto es lo mismo que hacer x 0 y y = 0: lim f (z0 + z) f (z0 ) = z u(x0 + x, y0 ) u(x0 , y0 ) v(x0 + x, y0 ) v(x0 , y0 ) lim +i x0,y=0 x + i0 x + i0 u v = +i x x

z0

donde hemos empleado la denicin de derivada parcial. o Ahora consideramos el caso y 0 jando x = 0:
Georg Friedrich Bernhard Riemann (1826-1866), matemtico a alemn, pionero a en muy diversos campos. Ya en sus tesis doctoral aparece por primera vez la relacin entre las o funciones anal ticas y la ecuacin de o Laplace (vase la e pgina 42). a Despus del e trabajo de Cauchy, fue l e quien dio otro gran impulso al anlisis complejo a al descubrir la conexin entre las o funciones complejas multivaluadas (vase el tema 3) e y la topolog a.

z0

lim

f (z0 + z) f (z0 ) = z u(x0 , y0 + y) u(x0 , y0 ) v(x0 , y0 + y) v(x0 , y0 ) lim +i x=0,y0 0 + iy 0 + iy 1 u v = + i y y

Ambos l mites deben ser iguales, ya que hemos supuesto que f (z0 ) existe. Entonces: u v 1 u v +i = + x x i y y Como ya hemos hecho otras veces, esta igualdad es cierta si son iguales las partes reales e imaginarias, lo que da dos condiciones: las clebres ecuaciones de Cauchye Riemann: u v u v = , = x y y x Estas ecuaciones constituyen una condicin necesaria para que f (z0 ) exista. o Ejemplo. Sea f (z) = |z|2 . Indicar si f (z) existe. Aplicando el resultado anterior, slo podemos decir cundo f (z) no existe, que o a ocurrir cuando las ecuaciones de Cauchy-Riemann no se satisfagan. Vamos, a pues, a encontrar la descomposicin f = u(x, y) + iv(x, y): o f = |(x + iy)|2 = x2 + y 2

2.5 Derivadas y ecuaciones de Cauchy-Riemann Por tanto, tenemos que u(x, y) = x2 + y 2 , Como v(x, y) = 0

39

u u = 2x y = 2y, est claro que las ecuaciones de Cauchy-Riemann a x y no se satisfacen en ningn punto salvo en z = 0. Por tanto, f no es derivable u en ningn punto salvo, quiz, en z = 0. u a Lo realmente notable es que las ecuaciones de Cauchy-Riemann forman tambin e una condicin suciente si las derivadas parciales de u y v existen y son continuas. o Este resultado es tan crucial que lo remarcamos en el siguiente teorema: Teorema. Sea f = u(x, y) + iv(x, y) denida en un entorno alrededor de z0 . Si u u v v , , y son continuas en ese entorno y se cumplen las ecuaciones de x y x y Cauchy-Riemann, entonces f (z0 ) existe. Hay dos razones para la importancia del teorema anterior: (i) nos dice sin ambigedad cundo una funcin es derivable y (ii) nos proporciona un mtodo para u a o e calcular la derivada: u v f = +i x x o bien v u f = i y y Ambas formas son equivalentes gracias a las ecuaciones de Cauchy-Riemann. Si la funcin f viene dada en forma polar, f = u(r, ) + iv(r, ), entonces las o ecuaciones de Cauchy-Riemann se expresan de la siguiente manera: u 1 v = r r 1 u v = r r mientras que la derivada de f viene dada por f = ei v u +i r r

Ahora estamos en posicin de abordar la pregunta que dejamos sin responder en o el ejemplo anterior: Ejemplo. Determinar si f (z = x + iy) = x2 + y 2 + i0 es derivable en z = 0.

40

Funciones complejas Las derivadas parciales ux = 2x, uy = 2y, vx = vy = 0 son continuas en z = 0 + i0 y cumplen trivialmente las ecuaciones de Cauchy-Riemann. Luego f es derivable en z = 0. Ntese que hemos construido de forma muy sencilla una funcin que es contio o nua en todo C (pues las funciones u y v lo son), pero que es derivable slamente o en un punto. Tales funciones ser muy dif an ciles de hallar en R.

La conclusin que sacamos de la discusin anterior es que si f (z) es continua, esto o o no implica que sea derivable. Ahora bien, si resulta que f (z) es derivable, entonces automticamente es continua. Esta armacin es anloga a lo que ocurre en anlisis a o a a de funciones reales. No obstante, las funciones realmente interesantes son las que son derivables en un punto y en todos los puntos pertenecientes a un entorno alrededor de l: e Denicin. f (z) se denomina anal o tica u holomorfa si existe f en z = z0 y en todos los puntos de un entorno alrededor de z0 . En realidad, la importancia de las funciones anal ticas es tal que uno puede llegar a decir que el anlisis de funciones complejas se reduce bsicamente al estudio de las a a funciones anal ticas. Ntese que la condicin que exigimos es fuerte. No slo pedimos o o o que f sea derivable en un punto sino tambin en una regin nita alrededor de l. e o e Esto va a dar lugar a resultados muy bellos y de gran alcance, pero no slo en o matemticas, pues el estudio de las regiones de analiticidad de una funcin dada es a o fundamental en muchas reas de la f a sica. Ejemplo. Determinar si la funcin f (z) = |z|2 es anal o tica en algn punto. u Siguiendo con los ejemplos anteriores, deducimos que f (z) = |z|2 no es anal tica en ningn punto, aunque sea derivable en z0 = 0 ya que no existe ningn u u entorno alrededor de z0 , por pequeo que sea, en el que f sea derivable por n completo. Denicin. f (z) es entera si es anal o tica en todo el plano complejo. Denicin. z0 es un punto singular o singularidad de f (z) si f no es anal o tica en z = z0 . Buena parte del curso se basar en hallar las regiones de analiticidad de una a funcin en concreto y en estudiar la naturaleza de sus singularidades. o Ejemplo. Sea f (x + iy) = x3 + 3xy 2 +i (y 3 + 3x2 y)
u(x,y) v(x,y)

Determinar para qu puntos o regiones del plano existe f , hallar f all donde e a exista y discutir las regiones de analiticidad.

2.5 Derivadas y ecuaciones de Cauchy-Riemann A partir la expresin anterior, calculamos las derivadas parciales: o ux = 3x2 + 3y 2 uy = 6xy vx = 6xy vy = 3y 2 + 3x2

41

que son continuas en todo C. Una de las ecuaciones de Cauchy-Riemann se satisface, ux = vy , pero la otra no: uy = vy salvo en z = 0+iy (eje imaginario) y z = x + i0 (eje real). Luego concluimos que f es derivable unicamente en las rectas x = 0 e y = 0. Para hallar su derivada, evaluamos la expresin o u v f = +i = 3x2 + 6y 2 + i6xy x x que tenemos que particularizar para los casos x = 0 y = 0: o f = 3y 2 3x2 si x = 0 si y = 0

Finalmente, f no es anal tica en ningn punto ya que, si tomamos un punto u donde es derivable, no podemos encontrar ninguna regin D en el plano donde o exista f (z) para todo z D. 1 Ejemplo. Sea f (r, ) = ei . Hallar las regiones de analiticidad de f . r Aplicamos la frmula de Euler: o 1 1 f (r, ) = cos +i sen r r
u(r,) v(r,)

y calculamos las derivadas parciales: cos sen ur = u = 2 r r cos sen v = vr = 2 r r que son continuas y cumplen las ecuaciones de Cauchy-Riemann en forma polar escritas ms arriba excepto en el punto r = 0, que corresponde a z = 0 a (el origen). En consecuencia, f (r, ) es derivable y anal tica en todo el plano salvo en el origen, que es un punto singular. Ntese que, como z = rei , la funcin en trminos de la variable z es simpleo o e mente 1 f (z) = z que es claramente continua y derivable para todo z = 0. Siguiendo las reglas usuales de derivacin, la derivada es: o 1 f (z) = 2 z que est denida para todo z = 0. a

42

Funciones complejas

2.6.

Funciones armnicas o

La importancia prctica de las funciones anal a ticas se pone de maniesto en el siguiente teorema: Teorema. Sea f = u(x, y) + iv(x, y) una funcin anal o tica. Entonces, las funciones u y v son armnicas; es decir, cada una, por separado, cumple la ecuacin de o o Laplace: uxx + uyy = 0 vxx + vyy = 0 Demostracin. Como f es anal o tica, cumple las ecuaciones de Cauchy-Riemann. La primera establece que ux = vy . Derivamos con respecto a y: uyx = vyy . Ahora aplicamos la segunda ecuacin de Cauchy-Riemann, uy = vx , y derivamos con o respecto a x: uyx = vxx . Como las derivadas cruzadas deben ser iguales, concluimos que vxx + vyy = 0. La ecuacin para u se demuestra de forma similar. o La ecuacin de Laplace aparece en innumerables problemas f o sicos. Ms adelante a profundizaremos en la relacin entre las funciones anal o ticas y la ecuacin de Laplace. o Por el momento, vamos a familiarizarnos con este resultado mediante un par de ejemplos que vienen a continuacin de la siguiente denicin: o o Denicin. Se dice que v(x, y) es armnica conjugada de u(x, y) si u y v son o o ambas armnicas y satisfacen las ecuaciones de Cauchy-Riemann. o Entonces, si v es armnica conjugada de u, f = u + iv es anal o tica en D. Esta armacin es la inversa del teorema anterior. o Ejemplo. Demostrar que u(x, y) = 2x x3 + 3xy 2 es una funcin armnica y o o hallar su armnica conjugada v(x, y) tal que la funcin f = u(x, y) + iv(x, y) o o sea anal tica. Como uxx = 6x y uyy = 6x, tenemos que uxx + uyy = 0. Para calcular su armnica conjugada, hemos de hallar una funcin v(x, y) que, o o junto con u, satisfagan ambas las ecuaciones de Cauchy-Riemann. La primera nos dice que ux = 2 3x2 + 3y 2 = vy Luego integrando la expresin anterior sobre y obtenemos: o v(x, y) = 2y 3x2 y + y 3 + (x) donde (x) es una funcin arbitraria de x (es la @@constanteAA de integracin o o que resulta al integrar sobre y). Por otro lado, aplicamos la segunda ecuacin o de Cauchy-Riemann: uy = 6xy = vx

2.7 Formulacin alternativa o e integramos ahora sobre x: v(x, y) = 3xy 2 + (y)

43

donde (y) es una funcin arbitraria de y. Comparando las dos expresiones o que obtenemos para v(x, y) deducimos que (x) = 0 y (y) = 2y + y 3 . Por tanto, la armnica conjugada deseada es o v(x, y) = 2y 3x2 y + y 3 Es inmediato ver que v cumple la ecuacin de Laplace. Adems, f = u + iv es o a forzosamente anal tica, pues hemos impuesto que u y v cumplan las ecuaciones de Cauchy-Riemann y las derivadas parciales son claramente continuas. Ejemplo. Sea f = u(x, y)+iv(x, y) una funcin anal o tica. Si u(x, y) = ex cos y, hallar su armnica conjugada v(x, y). o La funcin u cumple la ecuacin de Laplace. Utilizamos las ecuaciones de o o Cauchy-Riemann: ux = ex cos y = vy = v(x, y) = ex sen y + (x) uy = ex sen y = v(x) = v(x, y) = ex sen y + (y) Por tanto, (x) = (y) = 0 y v(x, y) = ex sen y. El ejemplo anterior ilustra la importancia del siguiente resultado: si conocemos una funcin armnica u(x, y), entonces siempre se puede hallar una funcin anal o o o tca f (z) tal que Re f = u. Dicho con otras palabras: a partir de la parte real de una funcin anal o tica podemos calcular, sin conocerla, su parte imaginaria. Esta observacin tiene fuertes implicaciones con el principio de causalidad en f o sica cuando f es la funcin respuesta de un sistema dado. Veremos esto con ms detalle en el tema o a 4.

2.7.

Formulacin alternativa o

En el tema 1 se vio que las partes real e imaginaria de un nmero complejo u z = x + iy pueden escribirse en funcin de z y su conjugado z : o x= z + z 2 z z y= 2i

Esto sugiere que una funcin f (x, y) puede expresarse como una funcin de z y z o o utilizando las sustituciones anteriores: f (x, y) = f z + z z z , 2 2i

44

Funciones complejas

Por supuesto, esto slo es una manera informal de expresar f ya que z y z no son o variables independientes a diferencia de x e y. Pero supongamos por un momento que lo son y veamos adnde nos lleva este planteamiento. o Calculemos la derivada de f con respecto a la nueva variable z utilizando la regla de la cadena: f f x f y = + z x z y z 1 u v 1 u v = +i +i 2 x x 2i y y i u v 1 u v + = + 2 x y 2 y x Ahora bien, si se cumplen las ecuaciones de Cauchy-Riemann, los dos trminos que e estn entre parntesis se anulan y tenemos que a e f =0 z es decir, una funcin es analtica si y slo si es independiente de z . Esta es una o o formulacin alternativa de las ecuaciones de Cauchy-Riemann. La desventaja que o tiene es que si nos dan una expresin complicada de f (z, z ) y queremos saber si o es anal tica, puede ocurrir que la simplicacin de f no sea trivial a simple vista, y o haya que realizar muchos pasos antes de eliminar z . Aun as esta formulacin pone , o de maniesto que cualquier funcin compleja puede expresarse en trminos de z y o e z , pero slo las anal o ticas son independientes de z . Finalmente, si f est dada en trminos de z unicamente y f es derivable, poa e demos hallar f simplemente siguiendo las reglas usuales de derivacin tomadas del o anlisis real. Incidentalmente, esto implica que la regla de lHpital para calcular a o l mites tambin es vlida para funciones complejas cuando stas vengan expresadas e a e en trminos de la variable z. e Ejemplo. Expresar las funciones anal ticas de los ejemplos de la seccin ano terior unicamente en trminos de la variable z y calcular f . e 1. f (x, y) = (2x x3 + 3xy 2 ) + i(2y 3x2 y + y 3 . Se sustituyen x e y por sus expresiones en funcin de z y z . Tras simplicar, encontramos que o la funcin f depende slo de la variable z: o o f (z) = 2z z 3 Luego se tiene simplemente que f (z) = 2 3z 2 . 2. f (x, y) = (ex cos y)+i(ex sen y). Utilizando la frmula de Euler, reducimos o iy la expresin (cos y + i sen y) a e . En consecuencia, o f = ex eiy = ez y la derivada es f (z) = ez . Estudiaremos la funcin exponencial compleja o en el siguiente tema.

2.8 Aplicacin: Campos y uidos o

45

2.8.

Aplicacin: Campos y uidos o

Una aplicacin inmediata de las funciones anal o ticas se reere a los campos vectoriales que describen el ujo de un uido ideal, el ujo de calor o un campo electrosttico en dos dimensiones. a Consideremos un uido bidimensional cuya velocidad en cada punto (x, y) se describe mediante el vector v = (u(x, y), v(x, y)), siendo u y v las componentes del vector velocidad a lo largo del eje horizontal y vertical, respectivamente. Supongamos que el uido es irrotacional, es decir, que no tiene remolinos. Matemticamente, a esto implica que v = 0: v u =0 x y (Las otras componentes del rotacional no las escribimos, pues dependen de la tercera componente espacial, y estamos suponiendo que el uido es bidimensional). Supongamos, adems, que el uido es incompresible, esto es, que el uido no a sufre compresiones ni expansiones. Entonces, v = 0, lo cual implica la siguiente condicin: o u v + =0 x y El lector se habr dado cuenta en seguida de que las dos ecuaciones de arriba se a parecen mucho las de Cauchy-Riemann que hemos analizado todo este tema. Para que sean exactamente las mismas ecuaciones, consideremos la funcin g = u + i y o v hagamos u = u y v = v. Entonces, las ecuaciones de antes toman la forma deseada: ux = vy , uy = v x

Claramente, g es anal tica y es la compleja conjugada de la funcin f = u + iv: o g = f . En electrosttica el papel de la velocidad lo desempea el campo elctrico E. a n e Si E = 0, entonces se dice que E es conservativo, y E puede derivarse del gradiente de una funcin potencial. En las regiones del espacio donde no haya cargas o libres, el campo elctrico cumple, adems, la ecuacin e a o E = 0. Aqu se ve la similitud entre ciertos problemas mecnica de uidos y de electrosttica y cmo a a o el clculo de funciones anal a ticas es una herramienta extraordinariamente util en ambos campos. Antes de ver un ejemplo, avancemos un resultado que se demostrar en el tema a 4. Puesto que g es anal tica, siempre se puede encontrar una funcin G(x + iy) = o (x, y) + i(x, y) que sea la primitiva de g, G (z) = g(z), y que sea, a su vez, anal tica. Podemos, entonces, escribir el gradiente de como: (x, y) = x + iy = x ix

46

Funciones complejas

donde en la segunda igualdad hemos aplicado la segunda ecuacin de Cauchyo Riemann. Ahora bien, por la denicin de derivada, o x ix = [G (z)] y como G (z) = g(z) y g = f , inferimos que el gradiente de es igual al campo vectorial: (x, y) = E De ah que (x, y) sea el potencial escalar del campo E y las curvas (x, y) = C, donde C es una constante, se denominen equipotenciales. El movimiento de una carga a lo largo de una curva equipotencial no requiere trabajo asociado. Por otro lado, las curvas (x, y) = C reciben el nombre de l neas de ujo y marcan el camino que recorre una carga inmersa en el campo E. Es interesante ver que los dos conjuntos de curvas son perpendiculares entre s puesto que la trayectoria de la part cula es paralela a la fuerza que se ejerce sobre ella, que es propocional al campo. Como el gradiente apunta en la direccin en la que el (x, y) crece ms rpidamente, o a a entonces es perpendicular a las curvas equipotenciales. Llegamos ahora una consecuencia sorprendente. Todo problema electrosttico es a solucin de la ecuacin de Laplace o o
2

=0

En consecuencia, est garantizado que cualquier funcin anal a o tica G(z) = (x, y) + i(x, y) que construyamos es solucin directa de algn problema electrosttico. o u a Aqu se da la paradoja de que disponemos de la solucin de un problema siquiera o antes de conocer el enunciado del mismo! Ejemplo. Sea G(z) = z 1/2 . Indicar las regiones de analiticidad y derivar un campo conservativo asociado a la funcin de potencial (x, y) = Re G. o Como se trata de una ra trabajamos en coordenadas polares, z = rei : z, G(r, ) = rei/2 = r cos
(r,)

+i r sen 2 2
(r,)

Para simplicar, nos quedamos slo con la ra principal. La funcin G es o z o continua en todo C salvo en el semieje real negativo, donde tiene una dis continuidad: G(r, = ) = i r, pero G(r, = ) = i r. Por tanto, restringimos el dominio D de G al intervalo abierto < < . Calculamos las derivadas parciales: 1 r = cos 2 2 r r = sen 2 2 1 r = sen 2 2 r r = cos 2 2

2.9 Ejercicios

47

que son continuas en r = 0 y satisfacen las ecuaciones de Cauchy-Riemann. Por tanto, G es anal tica en todo C salvo en el semieje x 0. En trminos de las coordenadas x e y las funciones potencial y de l e neas de ujo toman la forma (x, y) = (x, y) = x2 + y 2 + x 2 x2 + y 2 x 2

Las curvas equipotenciales = C son parbolas con eje a lo largo del eje x a mientras que las l neas de ujo = C describen parbolas con idntico eje, a e pero concavidad opuesta. Como se ve, ambas familias de curvas son ortogonales entre s . El campo conservativo puede derivarse directamente del gradiente de o utilizando el hecho de que 1 f (z) = [G (z)] = ei/2 2 r Por tanto, 1 E = (Re f, Im f ) = 2 r cos , sen 2 2

que corresponde al campo elctrico que se forma cerca del borde de una placa e uniformemente cargada.

2.9.

Ejercicios

1. Analizar el dominio de derivabilidad y analiticidad de las siguientes funciones y calcular la derivada cuando sea posible. a) f (x, y) = x2 + i(y 2 4) z1 b) f (z) = z(z 2 + 1) c) f (z) = arg(z) d ) f (x, y) = x + y + i(ax + by) e) f (z) = z + z f ) f (x, y) = x2 y 2 + 2i|xy| 2. Demostrar que u(x, y) = y 3 3x2 y es una funcin armnica y hallar su armnio o o ca conjugada.

48

Funciones complejas 3. Construir una funcin anal o tica f (z) tal que Re(f ) = (x2 y 2 )2y y f (i) = 1. 4. Demostrar que las siguientes expresiones son equivalentes a las derivadas de la pgina 39 para calcular f : a 1 f f f = i z 2 x y f 1 f f = +i z 2 x y 5. Averiguar si los siguientes campos vectoriales son conservativos y sin divergencia. Cuando sea posible, trazar esquemticamente las curvas equipotenciales y a las l neas de ujo. a) E = x2 y x , 2 2 +y x + y2

b) E = (2x, 2y)

3
Funciones elementales U en general, nos ocupamos en este tema de estudiar funciones concretas que nos
na vez descritas las propiedades fundamentales de las funciones complejas resultan conocidas del anlisis real. Obtendremos resultados singulares: la funcin a o exponencial compleja se vuelve peridica, el seno y el coseno dejan de ser funciones o acotadas y el logaritmo admite argumentos negativos. Avanzaremos el concepto de rama de una funcin multivaluada y daremos un repaso rpido a las inversas de las o a funciones trigonomtricas e hiperblicas. e o

3.1.

Polinomios
P (z) = an z n + an1 z n1 + . . . + a0

Los polinomios son casi triviales de entender. La funcin polinmica o o

de grado n es continua y anal tica en todo C (es una funcin entera). En general, o los coecientes ai (i = 1, . . . , n) son nmeros complejos. u p(z) El cociente de dos polinomios, , es tambin continuo y derivable en todos e q(z) los puntos que cumplan q(z) = 0.

3.2.

Funcin exponencial o
eiy = cos y + i sen y

La funcin exponencial se dene a partir de la frmula de Euler. Sabemos que o o

Por tanto, para z = x + iy podemos denir la funcin exponencial compleja ez de la o siguiente forma: ez = ex+iy = ex cos y + iex sen y

50

Funciones elementales

La funcin exponencial es entera y su derivada es la propia exponencial: (ez ) = o e . Muchas de sus propiedades son anlogas a la funcin exponencial real: a o
z

1. ez1 +z2 = ez1 ez2 2. ez1 /ez2 = ez1 z2 3. (ez )n = enz , 4. ez = (ez ) 5. ez+2i = ez e2i = ez La ultima propiedad es la que marca una diferencia fundamental con respecto a la exponencial real: la exponencial compleja es una funcin peridica, y su periodo, o o imaginario puro, vale 2i. De la denicin extraemos el mdulo y el argumento: o o |ez | = ex , arg(ez ) = y + 2n , n = 0, 1, 2, . . .

nN

Ejemplo. Calcular todas las soluciones de la siguiente ecuacin: o ez = i Aplicamos la denicin de la funcin exponencial: o o ex+iy = ex eiy = ei( 2 +2n) ,

n = 0, 1, 2, . . .

donde hemos escrito i en forma exponencial. Comparando los dos miembros de la ecuacin, concluimos que x = 0 e y = /2 + 2n. Por tanto, la solucin o o es: z=i + 2n , n = 0, 1, 2, . . . 2

3.3.

Funciones trigonomtricas e

Recordemos que en el tema 1 dedujimos expresiones para las funciones seno y coseno en trminos de la funcin exponencial: e o eix eix 2i ix e + eix cos x = 2 Para denir las funciones seno y coseno complejas, simplemente sustituimos la variable real x por la variable compleja z: sen x = sen z = eiz eiz 2i eiz + eiz cos z = 2

3.3 Funciones trigonomtricas e

51

donde ahora las funciones exponenciales son complejas y cuyas propiedades se desarrollaron en el apartado anterior. Siguen siendo vlidas las relaciones trigonomtricas usuales tras el inocente a e cambio x z? Demostremos que la ms conocida, sen2 z + cos2 z = 1 se satisface a tambin en C: e eiz eiz eiz + eiz + 2i 2 2iz 2iz 2iz e +e 2 e + e2iz + 2 = + 4 4 = 1 Sustituyamos ahora z por x + iy, donde x, y R. Entonces, sen z pasa a ser sen(x + iy) y podemos utilizar la conocida relacin para el ngulo suma: o a sen(x + iy) = sen x cos iy + cos x sen iy Con sen x o cos x no tenemos problema, pero cul es el signicado de sen iy o cos iy? a El seno o el coseno de un ngulo imaginario puro tienen sentido, pues no hace falta a ms que sustituir en la frmula de Euler: a o sen iy = ey ey = i sinh y 2i ey + ey = cosh y cos iy = 2
2 2

donde sinh y cosh son, respectivamente, las funciones reales del seno y coseno hiperblicos. Estas relaciones las vamos a utilizar en ms de una ocasin. As pues, la o a o forma cartesiana de la funcin sen z reza o sen z = sen x cosh y + i cos x sinh y Tanto el seno como el coseno siguen siendo funciones peridicas de periodo 2: o sen(z + 2) = ei(z+2) ei(z+2) = sen z 2i

donde hemos aplicado el hecho de que la exponencial compleja posee periodo 2i. Ejemplo. Resolver la ecuacin cos z = 2. o Obviamente, si z fuera real, la ecuacin no tendr solucin, pues el coseno o a o real est acotado entre 1 y 1. Pero esto no tiene por qu ser cierto en C. a e Empleamos la denicin de cos z: o eiz + eiz = 4

52 Introducimos ahora la variable w eiz : w+ 1 = 4 = w2 4w + 1 = 0 w

Funciones elementales

Las soluciones de esta ecuacin cuadrtica son w = (2 o a 0, 1, 2, . . . Escribimos z = x + iy y hallamos x e y: w = eiz = (2 3)e2in = eix ey Comparamos ambos miembros de la ecuacin: o 2 3 = ey = y = ln(2 3) e2in = eix = x = 2n Por tanto, las soluciones de la ecuacin son: o z = 2n i ln(2 + y z = 2n i ln(2 donde n = 0, 1, 2, . . . 3)

3)e2in con n =

3)

En el ejemplo anterior hemos hallado un @@nguloAA complejo z tal que cos z > 1. a Esto implica que cos z no est acotado? Podemos utilizar las relaciones del ngulo a a suma para hallar el mdulo de las funciones seno y coseno: o | sen z|2 = = = = (sen x cosh y + i cos x sinh y)(sen x cosh y i cos x sinh y) sen2 x cosh2 y + cos2 x sinh2 y sen2 x(1 + sinh2 y) + (1 sen2 x) sinh2 y sen2 x + sinh2 y

Ahora bien, sen2 x est acotado, pero sinh2 y no lo est. Luego sen z no est acotado. a a a Un razonamiento similar conduce a la siguiente expresin: o | cos z|2 = cos2 x + sinh2 y Luego cos z tampoco est acotado. a Por ultimo, es evidente que tanto sen z como cos z son funciones anal ticas. La funcin tangente, o sen z tg z = cos z es anal tica para todo z que cumpla cos z = 0.

3.4 Funciones hiperblicas o

53

3.4.

Funciones hiperblicas o

Ya hemos visto la importancia de las funciones hiperblicas reales en las funcioo nes trigonomtricas complejas. De ah la motivacin para extender el dominio de e o denicin introduciendo las funciones hiperblicas complejas: o o ez ez 2 z e + ez cosh z = 2 sinh z = Enumeramos a continuacin las propiedades ms relevantes: o a 1. cosh2 z sinh2 z = 1 2. sinh(z) = sinh z cosh(z) = cosh z 3. sinh z = sinh(x + iy) = sinh x cos y + i cosh x sen y cosh z = cosh(x + iy) = cosh x cos y + i sinh x sen y 4. sinh(z + 2i) = sinh z 5. sinh z = 0 z = ni cosh z = 0 z = n+ 1 2 i

Muchas de las propiedades que aparecen en la lista de arriba son anlogas a las que a verican las funciones hipergeomtricas en R. Una excepcin notable es que sinh z e o y cosh z son peridicas en C, y el periodo es 2i. Asimismo, cosh z tiene innitos o ceros mientras que en R se tiene que cosh x 1 y, por tanto, cosh x no tiene ningn u cero. Ejemplo. Resolver la ecuacin cosh z = 1. o Si z fuera real, la ecuacin anterior no tendr solucin posible. Ahora vamos a o a o demostrar que en C s que hay solucin. Al igual que en el ejemplo del apartado o anterior, consideramos la variable w = ez y sustituimos en la denicin de o cosh z: w + w1 = 1 = w2 + 2w + 1 = 0 2 La unica solucin de la ecuacin cuadrtica es w = 1. Ahora bien, para o o a encontrar z, hemos de tomar el logaritmo de 1. En R sabemos que eso no es posible, aunque en C es perfectamente vlido. No obstante, postponemos a a la seccin siguiente la explicacin del procedimiento y proponemos ahora una o o estrategia diferente: hagamos z = x + iy y apliquemos la frmula del ngulo o a suma: cosh x cos y + i sinh x sen y = 1 + i0

54

Funciones elementales Igualando partes reales e imaginarias, se deduce inmediatamente que x = 0 e y = n con n = 1, 3, 5 . . . Por tanto, la solucin a la ecuacin es z = in o o siendo n impar.

3.5.

Logaritmo

La funcin compleja que quiz ms se aleja de su anloga en R es la funcin o a a a o logaritmo (ln z). Como ez es una funcin peridica tal que ez = ez+2i , es imposible o o denir una operacin inversa que sea un o voca. Para ver las consecuencias a la que esta observacin nos aboca, escribamos ln z con z expresado en forma polar: o ln z = ln |z|ei = ln |z| + i(Arg z + 2n) n = 0, 1, 2, . . .

donde < Arg z . Se sigue de la ecuacin anterior que ln z es multivaluada, es o decir, que dado un valor de z existen innitos valores de ln z. Por ejemplo, es conocido que ln 1 = 0 en R, pero en C tenemos la igualdad 1 = e2in con n = 0, 1, 2, . . . Luego ln 1 = 2in. La propiedad de antes no es que sea mala. Al contrario, nos permite extender el dominio de ln z a regiones anteriormente prohibidas en R. Verbigracia, nos permite calcular logaritmos de nmeros negativos. Sea z = 1. Hallamos su mdulo y fase: u o |z| = 1 y = (2n + 1) donde n = 0, 1, 2, . . . Entonces: ln(1) = (2n + 1)i n = 0, 1, 2, . . .

El caso n = 0 es especial y recibe el nombre de valor principal. Por tanto, el valor principal de ln(1) es i. Sin embargo, hay dos formas de acercarse a z = 1. Por arriba, tenemos que , obtenindose el valor de antes, ln(1) = i, mientras e que por debajo hay que tomar el l mite , encontrndose que ln(1) = i. a En consecuencia, ln z es discontinua en la determinacin principal ( < ). Por o ello, es conveniente acotar el dominio a < < donde ln z es continua y anal tica excepto en z = 0. La regin del plano que nos hemos dejado fuera del dominio es el o eje real negativo, que forma una rama. Denicin. Se denomina rama de una funcin f (z) multivaluada a una g(z) anal o o tica en un dominio D en el que g(z) = f (z). En el caso anterior, el dominio D : { < < } contiene la rama g(z) = ln |z| + i de f (z) = ln z en donde g es anal tica. Denicin. Se denomina corte ramal o corte de rama al conjunto de puntos o singulares que surgen al denir una rama de f (z). En el ejemplo anterior, el corte ramal es el semieje real negativo = . Otro corte ramal puede ser = 3. En general, ln z posee innitos cortes ramales porque est multivaluada. a Por simplicar (quizs excesivamente), un corte ramal tambin recibe a veces el a e nombre de rama.

3.5 Logaritmo

55

Denicin. Se denomina punto de rama al punto singular comn a todas las o u ramas. En el ejemplo anterior, el punto singular comn a las ramas = , 3, . . . es u z = 0. Enumeramos ahora las propiedades ms notables de ln z: a 1. eln z = z 2. En general, se tiene que ln ez = z ya que ln ez = ln ex ei(y+2n) = ln ex + i(y + 2n) = z + 2ni. 3. ln(z1 z2 ) = ln z1 +ln z2 , pero, en general, esta relacin no se satisface si tomamos o valores principales. 4. ln z n = n ln z 5. ln z 1/n = 1 ln z n

6. ln z no es derivable, pues no es anal tica. Sin embargo, el valor o rama principal del ln z s que lo es, y su derivada es d 1 ln z = , dz z < < .

De especial relevancia son las propiedades 4 y 5. Para demostrar la propiedad 4, basta con encontar un contraejemplo de la igualdad ln z n = n ln z. Tomemos n = 2 y z = 1 + i. Primero, calculamos ln z 2 : ln(1 + i)2 = ln(2i) = ln 2 + i Despus, calculamos 2 ln z: e 2 ln(1+i) = 2 ln 2 + i 3 + 2m 4 = ln 2+i 3 + 4m 2 , m = 0, 1, 2, . . . + 2n , 2 n = 0, 1, 2, . . .

Pero + 2n no equivale a 3 + 4m. Por ejemplo, para n = 0 tenemos que 2 2 Im ln(2i) = /2, un valor que no se puede obtener nunca a partir de la expresin o 3 + 4m para ningn valor m que escojamos. u 2 La igualdad 5 se debe entender del siguiente modo: el conjunto de valores de 1 o ln z 1/n coincide con el de n ln z. Dejamos al lector que corrobore esta armacin en el caso particular de n = 2 y z = 1 + i.

56

Funciones elementales

3.6.

Exponentes complejos

En el tema 1 hab amos hecho una exposicin sobre la forma de calcular potencias o de nmeros complejos elevados a nmeros enteros o fraccionarios. Ahora ha llegado u u el momento de extender esta operacin a exponentes complejos (que, por supuesto, o incluyen todos los reales). Sean z, w C. Denimos z w como sigue: z w = ew ln z donde ln z es la funcin logaritmo multivaluada. Por supuesto, esta denicin reproo o duce los resultados ya conocidos cuando w Z o w es una ra del tipo 1/n. z He aqu las propiedades ms sobresalientes: a 1. 1 = z w . zw

w w 2. En general, (z1 z2 )w = z1 z2 .

3. f (z) = z w es monovaluada y anal tica si tomamos una determinacin del ln z. o w Se denomina valor principal de z al caso en que tomamos la rama principal de ln z. 4. d w z = wz w1 si tomamos una determinacin en concreto. o dz El ejemplo que resolvemos a continuacin es realmente sorprendente: o Aplicamos la denicin anterior: o
ii = ei ln i = ei[i( 2 +2n)] = e( 2 +2n) n = 0, 1, 2, . . .

Ejemplo. Demostrar que z = ii es real.

Por tanto, en la determinacin principal tenemos que ii = e/2 . Quien huo biera imaginado que 1 elevada a 1 es igual a 0,20788 . . .? Hay un detalle sutil que quiz no haya pasado inadvertido a ciertos lectores. Si a tomamos en la denicin de arriba z = e, obtenemos la funcin f (w) = ew . Sin o o embargo, al comienzo de este tema se hab establecido que la funcin exponencial a o es monovaluada mientras que la denicin de arriba nos lleva a pensar que ew es o multivaluada. Esta es la razn por la que algunos autores preeren expresar la funo cin exponencial como exp(z) y dejar la notacin ez slo para las potencias. En este o o o curso hemos empleado, por simplicar, la misma notacin para las dos expresiones, o pero conviene tener en mente esta diferencia si surge alguna ambigedad. u Si el exponente w no es racional, entonces la funcin f (z) = z w posee, en general, o innitas ramas al igual que ln z: z w = ew ln z = e(ln |z|+i Arg z)w e2inw , n = 0, 1, 2, . . .

3.7 Inversas de funciones trigonomtricas e hiperblicas e o

57

Sin embargo, cuando w es racional, el factor e2inw puede llegar a repetirse para dos valores distintos de n debido a la periodicidad de la funcin exponencial. Entonces, o f (z) tendr un nmero nito de ramas y podremos denir una coleccin de funciones a u o un vocas que sean anal ticas en cada uno de los intervalos de denicin. o Ejemplo. Determinar las ramas de la funcin f (z) = z 1/2 . o Aplicamos la denicin anterior: o z 1/2 = e(ln |z|+i Arg z)/2 ein , n = 0, 1, 2, . . .

Observamos que n = 0 y n = 1 dan dos valores distintos del factor ein : e0 = 1 si n = 0 y ei = 1 si n = 1. Ahora bien, n = 2 produce e2i , que equivale a e0 (n = 0). Si continuamos aumentando n, iremos reproduciendo los factores previos. Por tanto, la funcin f (z) = z 1/2 posee slo dos ramas: o o F1 = e(ln |z|+i Arg z)/2 F2 = e(ln |z|+i Arg z)/2 Tanto F1 como F2 son anal ticas y un vocas. Puesto que < Arg z < , a la rama F1 se la denomina rama principal.

3.7.

Inversas de funciones trigonomtricas e hie perblicas o

El objetivo de esta seccin es estudiar brevemente la forma compleja de las o inversas de las funciones trigonomtricas e hiperblicas que hemos analizado antee o riormente. Veremos que existe una ntima relacin entre estas funciones y la funcin o o ln z. Recordemos que una funcin inversa f 1 (z) de una funcin dada f (z) verica la o o ecuacin o f 1 (f (z)) = f f 1 (z) = z Empecemos con un ejemplo sencillo, pero ilustrativo. Sea w = f (z) = arcsen z. Sabemos que sen(arcsen z) = z. Entonces, z = sen w. Apliquemos ahora la denicin o de la funcin sen: o eiw eiw z = sen w = 2i En esta ecuacin, w es la incgnita. Es conveniente introducir la variable = eiw , o o que satisface una ecuacin de segundo grado: o cuya solucin es o = iz 1 = 2iz = 2 2iz 1 = 0 1 z2

58 Finalmente, escribimos w en funcin de z: o w = arcsen z = i ln iz 1 z2

Funciones elementales

Claramente, arcsen z es una funcin multivaluada, pues el logaritmo lo es. Si tomao mos una determinacin dada de la ra cuadrada y del logaritmo, entonces arcsen z o z se vuelve monovaluada y anal tica. Siguiendo el mismo procedimiento de arriba, se deducen expresiones similares para el resto de las funciones inversas: arccos z = i ln z i 1 z 2 i i+z ln 2 iz arcsenh z = ln z z 2 + 1 arccosh z = ln z z 2 1 arctg z = arctgh z = 1 1+z ln 2 1z

Ejemplo. Encontrar todos los valores de w = arctgh i Usando la expresin anterior, obtenemos los siguientes valores: o w = 1 1+i 1 ln = ln i 2 1i 2 + n , n = 0, 1, 2, . . . = i 4

3.8.

Aplicacin: Circuito RLC o

Los nmeros complejos se utilizan constantemente en ingenier elctrica a la u a e hora de analizar circuitos. Cuando la fuente de tensin es alternante (AC) en el o tiempo, con un trmino del tipo V = V0 cos t, siendo V0 el voltaje pico, la e frecuencia angular y t el tiempo, se puede explotar la frmula de Euler y sustituir o V por V = V0 eit donde V recibe el nombre de fasor. Obviamente, el voltaje real aplicado es V = Re V, pero es mucho ms conveniente trabajar con la funcin exponencial que con senos a o o cosenos, pues las operaciones de derivacin e integracin se simplican considerao o blemente. Un fasor tiene, como cualquier nmero complejo expresado en forma polar, un u mdulo y una fase. En el caso anterior, el mdulo es V0 y la fase, t. Al aumentar o o

3.8 Aplicacin: Circuito RLC o

59

t, el fasor rota en el plano complejo con velocidad , de la misma forma que se describ el movimiento planetario en el tema 1. a Se ilustra ahora el manejo de fasores por medio de un ejemplo relevante: el circuito RLC, donde una fuente de tensin AC se conecta en serie con tres elementos: una o resistencia (R) una inductancia (L) y un condensador (C). La importancia prctica a de este circuito proviene del hecho de que exhibe resonancias, como veremos a continuacin. o Por conservacin de energ la suma de las ca o a, das de voltajes a travs de los tres e elementos anteriores debe ser igual a la tensin aplicada: o RI + L donde I =
dQ dt

dI Q + =V dt C

es la corriente y Q es la carga circulando por el circuito. Por tanto: LQ + RQ + Q =V C

donde las primas indican derivadas con respecto a t. La expresin anterior es una o ecuacin diferencial de segundo orden, que puede resolverse con mtodos estndar. o e a Sin embargo, es ms sencillo si empleamos fasores. La derivada de una funcin a o it it exponencial compleja es simplemente (e ) = ie . Luego sustituimos Q por su fasor Q y reemplazamos cada derivada por un factor multiplicativo i: [(i)2 L + iR + C 1 ]Q = V Ntese que hemos transformado una ecuacin diferencial en una ecuacin algebraica o o o cuya solucin encontramos rpidamente: o a Q= 2 L V + iR + C 1

o en trminos del fasor de corriente, I = iQ: e I= V R + iL + 1/iC

Esta expresin tiene una forma muy atractiva, sugiriendo la siguiente interpretacin: o o la resistencia total del circuito es la suma (por estar en serie) de los @@resistenciasAA asociadas a cada uno de los elementos: R, iL y 1/iC. El unico trmino real de e estas resistencias es R, como deber ser. Las otras dos son complejas. En general, a la suma de las tres, Z = R + iL + 1/iC, es una resistencia compleja, denominada impedancia. Entonces, en trminos de fasores la corriente que pasa por el sistema e es V I= Z que es simplemente la ley de Ohm expresada en fasores. Resumiendo: cuando se analiza un circuito con una fuente de alimentacin AC, las leyes de Kircho siguen o

60

Funciones elementales

siendo vlidas si se admite la posibilidad de resistencias complejas. Desde el punto a de vista prctico, los clculos son mucho ms fciles y el ultimo paso que nos queda a a a a es deshacer el cambio a fasores para hallar la dependencia temporal de la corriente real que se medir en el circuito. a Primero, expresamos Z en forma polar: Z= R2 + (L 1/C)2 ei

donde la fase es = arctg L1/C . En consecuencia: R I= V0 R2 + (L 1/C)2 ei(t)

y la corriente f sica no ser ms que la parte real de la expresin anterior: a a o I = Re I = V0 R2 + (L 1/C)2 cos(t )

Observamos dos hechos notables. En primer lugar, la fase relativa entre la corriente y el voltaje puede ser no nula, = 0. Esto implica que la corriente el voltaje no solapan en el tiempo, por lo que la corriente puede adelantarse ( > 0) o retrasarse respecto al voltaje ( < 0) dependiendo de si el comportamiento del circuito es predominantemente capacitativo o inductivo. En segundo lugar, la magnitud de la corriente cambia fuertemente debido al mdulo de Z. De hecho, cuando la frecuencia o aplicada satisface la relacin = 1/ LC, el trmino entre parntesis que est dentro o e e a de la ra cuadrada se hace cero y la corriente es mxima. En ese punto, la ca de z a da voltaje a travs de la inductancia anula la que se produce a travs del condensador, e e la fase toma el valor = 0, y el circuito, entonces, entra en resonancia elctrica, un e fenmeno de gran aplicacin en muchas reas. o o a

3.9.

Ejercicios
sen(iz ) = [sen(iz)]

1. Hallar todos las posibles soluciones de la ecuacin o

2. Demostrar que ln(1 + i)1/2 = 1 ln(1 + i) calculando el conjunto de valores 2 de cada miembro de la ecuacin por separado. o 3. Determinar (1 i)4i e indicar su valor principal. 4. Determinar todos los valores de 1 y razonar por qu esta expresin es igual e o a 1 en R. 5. Hallar todos los valores de w = arctg 2i.

4
Integrales E
l caracter bidimensional de los nmeros complejos hace que las integrales u necesiten denirse en el plano. A primera vista, las complicaciones que conlleva este cambio pueden ser formidables. Sin embargo, cuando la funcin es anal o tica, Cauchy demostr que la integral a lo largo de un contorno cerrado es cero. Este o resultado tiene hondas consecuencias que irn saliendo a lo largo del curso. Por si a fuera poco, Cauchy descubri una frmula integral para funciones anal o o ticas que muestra las propiedades ms importantes de estas funciones. a

4.1.

Integrales de funciones de variable real

f : R C | f (x) = u(x) + iv(x)

Las integrales de funciones complejas de variable real

son un mera extensin de las integrales de funciones reales: o

b b b

f (x) dx =
a a

u(x) dx + i
a

v(x) dx

Estas integrales se comportan de forma muy similar a las integrales reales y no aportan ningn resultado que no conozcamos ya del anlisis real. u a
1

Ejemplo. Hallar I =
0

(x + i)2 dx.

Aplicamos la frmula anterior: o

1

I =
0

(x2 1) + i2x
1 0

x3 x + ix2 3

2 = +i 3

62

Integrales

4.2.

Integrales de contorno
f : C C | f (x, y) = u(x, y) + iv(x, y)

Cuando tratamos con funciones complejas de variable compleja,

la integral pasa a denirse en el plano C y, por tanto, el dominio de integracin o puede ser cualquier curva del plano. Denicin. Una curva o arco en C es un conjunto de puntos representados pao ramtricamente por z(t) = x(t) + iy(t) donde t R es un parmetro denido en el e a intervalo real a t b y x(t) e y(t) son funciones continuas. Una curva se denomina simple si no se cruza consigo misma, es decir, si se verica que z(t1 ) = z(t2 ) si t1 = t2 . Ejemplo. Proponer una parametrizacin para el segmento de recta que une o los puntos z0 y z1 en el plano complejo. Sea t un parmetro denido en el intervalo 0 t 1. Entonces, el segmento a pedido se parametriza mediante la ecuacin o C : z(t) = z0 + (z1 z0 )t Efectivamente, si expresamos los puntos en coordenadas cartesianas (z = x + iy, z0 = x0 +iy0 , z1 = x1 +iy1 ), sustituimos en la ecuacin de arriba e igualamos o partes real e imaginaria, obtenemos el siguiente par de ecuaciones: x = x0 + (x1 x0 )t y = y0 + (y1 y0 )t que son las conocidas ecuaciones en forma paramtrica de la recta que pasa e por los puntos (x0 , y0 ) y (x1 , y1 ). Las curvas cerradas representan un papel fundamental en la teor de las intea grales complejas. Denicin. Una curva cerrada simple es una curva simple donde z(b) = z(a) es o el unico punto de interseccin. o Ejemplo. Hallar una parametrizacin de la circunferencia de radio R ceno trada en el punto z0 . Sea el parmetro 0 t 2. Entonces, la circunferencia se parametriza del a siguiente modo: C : z(t) = z0 + Reit Recordemos que ya hab amos visto un ejemplo de esta curva en la seccin 1.9. o

4.2 Integrales de contorno

63

En las curvas cerradas se suele denir una orientacin mediante una echa. Se o toma por convenio que la orientacin positiva es en sentido antihorario. Entonces, el o contorno C tiene una orientacin opuesta. Esta notacin tambin se utiliza para o o e un arco en general. En el ejemplo del segmento de recta, tenemos que C : z(t) = z1 + (z1 z0 )t 0t1

es una parametrizacin que une los puntos z0 y z1 partiendo de z1 . Una forma o equivalente es hacer la sustitucin t t en las expresiones anteriores (incluyendo o las desigualdades). Denicin. Cuando las funciones x(t) e y(t) son, adems de continuas, derivables, o a se dice que la curva (sea o no cerrada) es suave. Para entender intuitivamente el concepto de suavidad, podemos decir que, geomtrie camente, una curva suave no tiene ni esquinas ni picos. Denicin. Un contorno o camino C es una curva suave a tramos. o La denicin anterior nos permite establecer el mtodo de clculo de las integrales o e a en C. La integral de f (z) a lo largo del camino C se calcula del siguiente modo:
b

f (z) dz =
C a

f (z(t)) z (t) dt

La ecuacin anterior puede tomarse como una denicin o bien, siguiendo la misma o o estrategia que en anlisis real, uno puede interpretarla como el l a mite de una suma de Riemann1 . Ntese que no exigimos que f sea derivable o anal o tica, slo que C sea o suave a tramos. Propiedades de las integrales de contorno: 1.
C

wf (z) dz = w
C

f (z) dz para todo w C f (z) dz +

C C

2.
C

[f (z) + g(z)] dz = f (z) dz =

C C

g(z) dz

3. 4.

f (z) dz f (z) dz +
C1 C2

f (z) dz = el nal de de C1
C1 +C2

f (z) dz si el punto inicial de C2 coincide con

La denicin es anloga a la integral de l o a nea de un campo vectorial a lo largo de una trayectoria. Desde el punto de vista f sico, no es ms que el trabajo realizado por el campo. a

64 5.
C

Integrales f (z) dz
C

|f (z)| dz |dz| =
C C

6.
C

f (z) dz M L si |f (z)| M en C siendo L = longitud de la curva C.

|z (t)| dt la

A continuacin presentamos dos ejemplos que ilustran la forma de calcular inteo grales de contorno. Ejemplo. Hallar I =
C

z dz a lo largo de dos contornos C1 y C2 que unen

los puntos z0 = 1 y z1 = 1. C1 es la semicircunferencia de radio unidad y C2 est compuesto por los segmentos que unen 1 y 1 + i, 1 + i y 1 + i, y 1 + i a y 1. Sea f (z) = z . Comenzamos con el clculo a lo largo de C1 . En primer lugar, a parametrizamos la curva. Como es una semicircunferencia, tomamos 0 t : C1 : z(t) = eit Por tanto: f (z(t)) = f eit = eit El ultimo ingrediente que nos falta es z (t) = ieit . Utilizando la denicin de o integral de contorno, obtenemos

I=
0

eit ieit dt = i

Para calcular I a lo largo de C2 , observamos que C2 se puede descomponer en tres segmentos rectos: (1) (2) (3) C2 = C2 + C2 + C2 y, por tanto, la integral podr expresarse como la suma a I=
C2

C2

(1)

C2

(2)

C2

(3)

Calculamos cada integral por separado. C2 : z(t) = 1 + it (0 t 1) = z (t) = i

1
(1) C2

(1)

=
0

t2 (1 + it) i dt = i t i 2

=
0

1 +i 2

4.2 Integrales de contorno C2 : z(t) = i + t (1 t 1) = z (t) = 1 t2 = (i + t) dt = it + 2 1

1 1 (2)

65

C2 (3)

(2)

= 2i
1

C2 : z(t) = 1 + it (0 t 1) = z (t) = i
1 C2
(3)

=
0

t2 (1 + it) i dt = i t + i 2

1 0

1 = +i 2

En consecuencia, el valor total ser: a I= 1 1 + i + 2i + i = 4i 2 2

Una observacin importante del ejemplo anterior que I toma un valor distinto o dependiendo de si hacemos la integral a lo largo de C1 o de C2 , es decir, que I depende del camino elegido. Hay otro tipo de integrales, mucho ms interesantes, a que dependen slo de los puntos inicial y nal del contorno. o Ejemplo. Sea f (z) = z 2 . Determinar I =
C

f (z) dz entre los puntos z0 = 0 y z1 = 1 + i

a lo largo de los contornos indicados abajo. C1 es la recta y = x: C1 : z(t) = t + it (0 t 1) = z (t) = 1 + i Calculamos la integral teniendo en cuenta que f (z(t)) = (t + it)2 :
1

I=
0

2 2 (t2 t2 + 2it2 )(1 + i) dt = + i 3 3

C2 es la parbola y = x2 : a C2 : z(t) = t + it2 (0 t 1) = z (t) = 1 + 2it

La integral se determina de la misma forma, usando ahora el hecho de que f (z(t)) = (t + it2 )2 :
1

I=
0

2 2 (t2 t4 + 2it3 )(1 + 2it) dt = + i 3 3

66
(1) (2)

Integrales C3 es la combinacin de dos tramos rectos: C3 = C3 + C3 , donde C3 o (1) representa la recta y = 0 y C3 corresponde a la recta x = 1: C3
(1) (1)

: z(t) = t (0 t 1) = z (t) = 1 : z(t) = 1 + it (0 t 1) = z (t) = i

(2) C3

La integral viene dada por la suma de las integrales a lo largo de los contornos que acabamos de parametrizar:
1

I =

(1) C3

(2) C3

=
0

t2 dt +
0

(1 + it)2 i dt

2 2 2 1 1+i = +i = 3 3 3 3 Luego I es independiente de los tres caminos elegidos. La diferencia entre los dos ejemplos est, naturalmente, en que f (z) = z no es a anal tica mientras que f (z) = z 2 s lo es. Este resultado sugiere la posibilidad de que las integrales de funciones anal ticas son independientes del contorno elegido. Antes de demostrar esta armacin, determinemos primero la derivada de la composicin o o f (z(t)) = u(x(t), y(t)) + iv(x(t), y(t)): df (z(t)) u dx u dy = + +i dt x dt y dt v dx v dy + x dt y dt

Recurrimos a las ecuaciones de Cauchy-Riemann para deshacernos de la dependencia en la variable y: v dx u dy df (z(t)) u dx v dy = +i + dt x dt x dt x dt x dt u dx v dy = f (z(t)) z (t) = +i +i x x dt dt
f (z(t)) z (t)

Supongamos ahora que existe una funcin F (z) tal que su derivada es F (z) = o f (z) en un cierto dominio D. Entonces, podemos aplicar el resultado interior a F : dF (z(t)) = F (z(t)) z (t) = f (t) z (t) dt y sustituir en la denicin de integral compleja: o
b b

I=
C

f (z) dz =
a

f (t) z (t) dt =
a

dF (z(t)) dt = F (z(b)) F (z(a)) dt

Hemos, encontrado, pues una extensin del teorema fundamental del clculo aplicado o a a funciones complejas. La funcin F (z) se denomina primitiva de f (z). Adems, o a como I depende slo de los puntos inicial y nal, acabamos de demostrar el siguiente o teorema:

4.3 Teorema de Cauchy-Goursat

67

Teorema. Sea f (z) continua en el dominio simplemente conexo D. Si C es un contorno de D y f (z) posee una primitiva, entonces I=
C

f (z) dz

es independiente del contorno C. El recproco tambin es cierto. e Ejemplo. Hallar I =

C

z 2 dz a lo largo de cualquier contorno que una los

puntos z0 = 0 y z1 = 1 + i. Esta integral es la misma que la del ejemplo anterior, pero ahora es mucho ms fcil de determinar, pues no hace falta parametrizar ningn contorno ya a a u que el teorema anterior establece que si f (z) es continua (y f (z) = z 2 lo es) y tiene una primitiva (F (z) = z 3 /3, que es anal tica), entonces I slo depende o de z0 y z1 : 1+i (1 + i)3 2 2 z3 = I= = +i 3 0 3 3 3 No es sorprendente que el resultado sea idntico al obtenido aplicando la dee nicin, pero ahora el mtodo es mucho ms rpido. o e a a Ntese que ser un error aplicar este teorema a la integral I = o a
C

z dz que

vimos anteriormente, puesto que F (z) = (z )2 /2 no es la primitiva de f (z) = z , pues F no es una funcin anal o tica y carece, por tanto, de derivada.

4.3.

Teorema de Cauchy-Goursat

Un corolario que se deduce inmediatamente del teorema anterior es que si a = b (contorno cerrado), entonces I=
C

f (z) dz = 0

para toda f (z) que posea una primitiva. Sin embargo, resulta que ni siquiera hace falta que f (z) tenga una primitiva para que las integrales sobre contornos cerrados de ciertas funciones sean cero. En realidad, el teorema de Cauchy-Goursat, que enunciamos ms abajo, arma que si a f es anal tica dentro de ciertos dominios, entonces
C

f (z) dz = 0. De qu dominios e

se trata? Segn el teorema del arco de Jordan, cualquier contorno simple cerrado C divide u el plano complejo en dos dominios, a saber, uno acotado en el interior de C y otro sin acotar en el exterior de C 2 .
2

Este teorema, aunque intuitivamente evidente, es muy complejo de demostrar.

68

Integrales

11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000

11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000 11111111111111111 00000000000000000

(a)

(b)

Figura 4.1: Ejemplos de dominios simplemente conexo (a) y mltiplemente conexo u (b). Denicin. Un dominio D es simplemente conexo si para todo z0 , z1 D existe o un contorno C con extremos inicial z0 y nal z1 tal que C est contenido en D a Denicin. Un dominio D es m ltiplemente conexo si no es simplemente conexo. o u Pensando de forma sencilla, la diferencia entre ambos dominios es que el dominio simplemente conexo no tiene @@agujerosAA, como muestra, por ejemplo, la gura 4.1(a), a diferencia de un dominio mltiplemente conexo [vase la gura 4.1(b)]. u e Sea f (z) una funcin anal o tica en un dominio simplemente conexo D. Si C es un contorno simple cerrado dentro de D, entonces I =
C

f (z) dz =
C

[u(x, y) + iv(x, y)] [dx + idy] (v dx + u dy)

C

=
C

(u dx v dy) + i

Hemos transformado, pues, una integral sobre el plano complejo en dos integrales de l nea sobre el plano real. Ahora bien, segn el teorema de Green3 , una integral de l u nea se puede transformar en una de supercie usando las derivadas parciales de u y v. Aplicamos este resultado a las dos integrales de arriba: Re I =
R

(vx uy ) dx dy (ux vy ) dx dy
R

Im I =

donde R es la regin anterior a C. Pero las ecuaciones de Cauchy-Riemann nos dicen o que ux = vy y uy = vx . Luego: Re I = 0 , Im I = 0 =
C
3

f (z) dz = 0

Vase cualquier libro de anlisis vectorial; por ejemplo, Clculo Vectorial, J. E. Marsen y A. e a a J. Tromba, Addison-Wesley (1991).

4.3 Teorema de Cauchy-Goursat

69

111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 D 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 C 111111111111111111111111111111111 000000000000000000000000000000000 11 00 C 111111111111111111111111111111111 000000000000000000000000000000000 11 00 111111111111111111111111111111111 000000000000000000000000000000000 11 00 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000
Figura 4.2: Si f es anal tica dentro del dominio D, entonces el teorema de CauchyGoursat arma que la integral de f a lo largo de cualquier camino cerrado C dentro de D (incluidos los que tengan intersecciones) es cero. Este resultado constituye el famoso teorema de Cauchy. Durante la demostracin o se ha supuesto que las derivadas parciales son continuas para aplicar el teorema de Green; equivalentemente, f debe ser continua. Aos ms tarde, Goursat fue capaz n a de demostrar que esta condicin no era necesaria: o Teorema de Cauchy-Goursat. Sea f (z) una funcin anal o tica en el dominio simplemente conexo D. Para todo C D (ver gura 4.2) se cumple que f (z) dz = 0
C

El hecho de que sea innecesaria la condicin de la continuidad de f no es bao lad En realidad, como veremos ms adelante, una funcin anal . a o tica tiene, necesariamente, todas sus derivadas anal ticas, lo cual forma uno de los resultados ms a importantes del anlisis complejo. a Adems, el contorno C no tiene por qu ser un contorno cerrado simple. Si C a e tiene un nmero nito de intersecciones como en el ejemplo de la gura 4.2, siempre u se puede aplicar el teorema a cada uno de los contornos simples resultantes y la conclusin nal seguir siendo que o a
C

f (z) dz = 0.

Consideremos ahora un cierto contorno cerrado C que dividimos en dos caminos simples: C = C1 + C2 . Aplicamos el teorema de Cauchy Goursat: =
C C1

+
C2

= 0 =
C1

=
C2

=
C2

Ahora bien, C2 es el contorno que va del punto inicial al nal de C1 , es decir, se trata de un camino distinto a C1 y que comunica los mismos extremos. Luego del

70
111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000 111111111111111111111111111111 000000000000000000000000000000

Integrales

L2

L1

C1

Figura 4.3: Dominio mltiplemente conexo para la demostracin del teorema de u o Cauchy-Goursat. teorema de Cauchy-Goursat se desprende que la integral de una funcin anal o tica entre dos puntos del plano C es independiente del contorno elegido. Segn el rec u proco del teorema sobre primitivas de f (z) que vimos anteriormente, esto signica que cualquier funcin anal o tica tiene forzosamente una primitiva en todo D. El teorema de Cauchy-Goursat se puede generalizar a dominios mltiplemente u conexos. Considrese la gura 4.3 donde se muestra un contorno simple cerrado C e con un agujero. El agujero est limitado por el contorno simple cerrado C1 . Los a contornos cerrados C y C1 se comunican mediante los caminos L1 y L2 . Llamemos C y C1 a las porciones de C y C1 que quedan por encima de los extremos de L1 y L2 . Podemos, pues, denir los contornos simples cerrados siguientes:
K1 = C + L1 + C1 + L2 K2 = C L1 + C1 L2

Estos contornos, denidos as para evitar el agujero, encierran dominios simplemente conexos. Entonces, podemos aplicar el teorema de Cauchy-Goursat a cada uno de ellos: =
K1 K2

= 0 =
K1

+
K2

= 0 =
K

=0

donde K = K1 + K2 = C + C1 . Por tanto, queda demostrado el teorema de CauchyGoursat extendido a dominios mltiplemente conexos: u Teorema. Sea C un contorno simple cerrado y C1 , . . . , Cn un nmero nito de conu tornos simples cerrados dentro de C tales que las regiones interiores de cada Ck (k = 1, . . . , n) no tengan puntos en comn. Si f (z) es anal u tica en el dominio D que comprende todos los contornos y la regin entre C y C1 , . . . , Cn , entonces o f (z) dz = 0
K

4.3 Teorema de Cauchy-Goursat donde K es la frontera orientada de D.

71

En el teorema anterior, las orientaciones de los contornos C y C1 , . . . , Cn se toman de tal manera que todos los puntos de D se sitan a la izquierda de aqullos. u e Un corolario que se sigue del teorema anterior arma uno puede deformar continuamente un contorno en otro y la integral de f resulta ser invariante siempre que los puntos que hayamos atravesado durante la transformacin pertenezcan al domio nio de analiticidad de f . Efectivamente, considerar de nuevo la gura 4.3 y suponer que C1 est orientado en sentido contrario. f es anal a tica en la regin entre C y C1 o y, de acuerdo al teorema de Cauchy-Goursat para dominios mltiplemente conexos, u f (z) dz
C C1

f (z) dz = 0

(el signo se debe a que estamos suponiendo que C1 est orientado en sentido a horario). Entonces, se tiene que f (z) dz =
C C1

f (z) dz

Vamos ahora a ilustrar el teorema de Cauchy-Goursat con unos ejemplos. Ejemplo. Sea C la circunferencia de radio unidad |z| = 1 orientada positivamente. Hallar el valor de las siguientes integrales: I1 =
C

z4

dz +4

I2 =
C

ez dz

I3 =
C

dz cosh z

Podemos aplicar el teorema de Cauchy-Goursat a los tres integrandos, ya que los tres son anal ticos en la regin |z| 1 (la funcin f (z) = z41 no es anal o o tica +4 en z = 2i, pero estos puntos caen fuera del dominio propuesto; lo mismo pasa 1 con la funcin f (z) = cosh z , que es singular en z = i/2, 3i/2, . . .). Por o tanto, las tres integrales son cero. Ejemplo. Calcular las integrales de Fresnel:
0

sen x dx ,
0

cos x2 dx

Hasta ahora nos hab amos centrado en calcular integrales de funciones complejas. El ejemplo que debemos resolver ahora es importante pues se trata de aplicar un resultado de anlisis complejo (el teorema de Cauchy-Goursat) a al clculo de una integral real. Estas integrales tienen inters desde el punto a e de vista f sico pues aparecen en la teor de difraccin ptica. Consideremos a o o

72

Integrales

Im z

(1+i)R/2 C /4 R Re z

CR

Figura 4.4: Contorno para evaluar las integrales de Fresnel. la funcin f (z) = ez , que es anal o tica en todo C. Debido al teorema de Cauchy-Goursat tenemos que f (z) dz = 0
C
2

para cualquier contorno cerrado C. Tomemos C denido por el segmento del eje real que va del origen al punto z = R, el arco circular CR correspondiente a la circunferencia de radio R cuando el ngulo est en el intervalo [0, /4] a a y el segmento C que va desde el extremo nal del arco anterior al origen, cerrndose as todo el contorno C (vase gura 4.4). Al nal, tomaremos el a e l mite R . La integral sobre C puede descomponerse en la forma
R

f (z) dz =
C 0

ex dx +
CR I1

f (z) dz +
C I2

f (z) dz
I3

La primera integral la conocemos del anlisis real: a lim I1 = R 2 La segunda integral se anula en el l mite R . Para demostrarlo, hacemos i el cambio de variables z = Re . Como quiera que, a lo largo del arco CR , R es constante y slo var el parmetro , tenemos que dz = iRei d y podemos o a a

4.3 Teorema de Cauchy-Goursat expresar I2 en trminos de una integral sobre unicamente: e

/4

73

I2 =
0

iRei eR
/4

cos 2 iR2 sen 2

Por tanto, |I2 |

0

ReR

cos 2

Por el teorema del valor medio, existe algn ngulo 0 dentro del intervalo de u a integracin [0, /4] para el cual la integral es o
/4 0

ReR

cos 2

d = ReR

cos 20

Pero en el l mite R la expresin anterior se anula, luego o

R

lim |I2 | = 0 = I2 = 0

Finalmente, intentamos hallar I3 . El segmento C se puede parametrizar en la forma z(t) = t(1 + i) siendo el punto inicial (1 + i)R 2/2 y el nal, 0. Luego t var entre R 2/2 y 0. Teniendo en cuenta que z (t) = 1 + i, obtenemos a
0

I3 =

R 2/2

e[t(1+i)] (1 + i) dt
R 2/2

= (1 + i) 0 = (1 + i)

e2it dt
R 2/2 0 IC

R 2/2 0

cos 2t2 dt i

sen 2t2 dt
IS

= (IC + IS ) + i(IS IC ) De la ecuacin I1 + I3 = 0 derivamos dos condiciones en el l o mite R , igualando partes reales e imaginarias: IC + IS = 2 IC IS = 0 Por tanto,
0

sen 2t dt = Haciendo el cambio de variables x =

0

cos 2t dt =
2

4 2

2t llegamos al resultado nal: cos x2 dx = 1 2

sen x2 dx =
0

74

Integrales

Im z C

-2

C1

1/2

-1/2

Re z

Figura 4.5: Ejemplo. Calcular las integrales I1 = dz dz e I2 = donde +1 K K sen(z/2) K = C + C1 siendo C la circunferencia |z| = 4 orientada positivamente y C1 la circunferencia |z| = 1 orientada negativamente tal y como indica la gura 4.5. 2z 2 Se aplican las condiciones del teorema de Cauch-Goursat para dominios mltiu 1 plemente conexos. Ntese que f (z) = o no es anal tica en los puntos 2z 2 + 1 z = i/ 2, pero estos puntos estn en el interior de C1 . Por tanto, f (z) es a anal tica en el corona circular D limitada por C y C1 e I1 = 0 1 Por otro lado, la funcin f (z) = o tambin es anal e tica en D, puesto sinh z que el denominador se anula en z = 0, 2, 4, . . . y todos estos puntos no pertenecen a D. En consecuencia, I2 = 0.

4.4.

Frmula de Cauchy o

En la seccin anterior hemos acabado con ejemplos que ilustran la fuerza del teoo rema de Cauchy-Goursat para calcular integrales de funciones no triviales a lo largo de contornos arbitrarios. La ventaja sobre el mtodo de parametrizacin es evidente. e o La unica condicin que se pide es que el integrando sea una funcin anal o o tica. Ahora bien, las aplicaciones estn limitadas a determinar si una integral se anula o no. a Nos gustar ir ms all y encontrar un mtodo que nos diera el valor de la integral a a a e cualquiera que ste fuese y no slo cuando fuera cero. Aunque la presentacin gee o o o o neral de este mtodo se postpone al tema 6, Cauchy encontr una frmula que es e extremadamente util en muchas situaciones. Vamos a introducirla primero con un ejemplo:

4.4 Frmula de Cauchy o Ejemplo. Hallar I = C alrededor del punto z0 .

C

75 dz a lo largo de cualquier contorno simple cerrado z z0

1 El integrando f (z) = zz0 no es obviamente anal tico en el interior de C ya que f (z0 ) no existe. Entonces, no podemos aplicar directamente el teorema de Cauchy-Goursat. Ahora bien, segn el corolario del teorema de Cauchyu Goursat para dominios mltiplemente conexos, siempre podemos deformar el u contorno y tomar el ms simple. Escogemos una circunferencia de radio R a centrada en z0 con la siguiente parametrizacin: o

C : z(t) = z0 + Reit

(0 t 2) = z (t) = iReit

Entonces, usando el hecho de que f (z(t)) = Reit , podemos aplicar directamente la denicin de integral compleja para calcular I: o
2

I=
0

iReit dt = 2i Reit

Este ejemplo es importante, pues permite demostrar la siguiente teorema, que proporciona el valor de f en un punto interior al contorno C en trminos de una e integral de l nea: Frmula de Cauchy. Sea f analtica en el dominio simplemente conexo D y o sea C un contorno dentro de D. Si z0 es interior a C, entonces f (z0 ) = 1 2i f (z) dz z z0

Demostracin. Una posible ilustracin del teorema se muestra en la gura 4.6. Por o o el ejemplo anterior, podemos multiplicar a ambos lados de la solucin por f (z0 ): o f (z0 ) = 1 2i f (z0 ) 1 dz = z z0 2i f (z0 ) dz z z0

C1

donde hemos deformado el contorno C al contorno C1 denido como sigue (vase la e gura 4.6): C1 : |z z0 | = 2 Ahora bien, como f es anal tica, entonces f es continua y, aplicando la denicin de o continuidad, sabemos que para todo > 0 existe un > 0 tal que |f (z) f (z0 )| < para |z z0 | < . Calculemos, entonces, el siguiente mdulo: o 1 2i 1 f (z) dz f (z0 ) = z z0 2i 1 f (z) f (z0 ) dz = z z0 2 /2

C1

76

Integrales

Im z D C
1 0 1 0

C1

z0 /2 Re z

Figura 4.6: Deformacin del contorno original. o donde hemos utilizado la propiedad 6 de las integrales de contorno (seccin 4.2) o siendo la longitud del contorno C1 igual a L = . Como puede hacerse arbitrariamente pequeo, concluimos que el miembro izn quierdo de la ecuacin es cero y el teorema queda demostrado. o Nunca se ponderar sucientemente la importancia de la frmula de la integral a o de Cauchy. Hay que tener en cuenta que establece el siguiente resultado crucial: conocida una funcin anal o tica f en un contorno simple cerrado C, podemos reconstruir f en toda la regin interior a C aplicando reiteradamente la frmula de Cauchy o o a cada punto dentro de C. La frmula tambin resulta util para calcular ciertas o e integrales complicadas de forma rpida. a Ejemplo. Sea C el cuadrado cuyos vrtices estn dados por los puntos 2, 2i, e a sen z 2 y 2i. Hallar I = dz. C 2z + Sea f (z) = sen z. Podemos reescribir la integral del siguiente modo: I= 1 2 f (z) dz z (/2)

f es anal tica en el cuadrado C y en su interior. Por otra parte, el punto z0 = /2 est dentro de C. Entonces, podemos aplicar directamente la frmula de a o la integral de Cauchy: 1 f (z) dz = 2if (/2) = 2i = I = (2i) = i z (/2) 2

4.4 Frmula de Cauchy o

77

Ejemplo. Sea C la circunferencia centrada en el origen y de radio 2. Hallar cos z I= dz. 2 C z(z + 6) Observamos que los puntos singulares del integrando estn en 0 y 6. Los a dos ultimos estn fuera del c a rculo |z| 1. Luego podemos denir la funcin o cos z , que es anal tica en C y dentro de C, y recurrir a la frmula de o f (z) = 2 z +6 la integral de Cauchy: I=
C

f (z) dz = 2if (0) = i z 3

Ejemplo. Hallar la expresin exacta del periodo del pndulo no lineal: o e

2

T =
0

d , a sen

a<

Esta integral tiene fuertes implicaciones f sicas4 . Es conocido que el periodo de un pndulo uniforme es T = 2/ donde es la frecuencia. Ahora bien, esto es e cierto slamente para oscilaciones pequeas alrededor del punto de equilibrio o n porque entonces la componente horizontal de la tensin es proporcional al o ngulo de desviacin . Sin embargo, para ngulos no cercanos a 0, la fuerza a o a es, en general, proporcional a sen y la ecuacin dinmica que obedece el o a movimiento pendular se vuelve no lineal. En la ecuacin de arriba, a es el o coeciente de no linealidad. De la misma forma que calculamos las integrales reales de Fresnel mediante un resultado de anlisis complejo, ahora se utilizar la frmula integral de Cauchy a a o para calcular la integral real que dene T . Comenzamos deniendo la variable compleja z = ei . Entonces, podemos aplicar la frmula de Euler: o ei ei z z 1 z2 1 = = 2i 2i 2iz Por otra parte, dz = iz d, transformndose, pues, una integral real en una a integral en el plano complejo. El dominio sobre el que integrar es la circunferencia de radio unidad C : |z| = 1 debido a la denicin de z ( var entre 0 o a y 2, y z tiene mdulo unidad). Sustituimos la expresin de sen y la de dz: o o sen = T =
C

1
a (z 2 2iz

2 dz = 1) iz a

z2

dz i 2 z 1 a

Determinamos ahora las singularidades del integrando, buscando los ceros del denominador: 2 z0 = i 1 a a
Los osciladores no lineales aparecen en mecnica, electrnica, f a o sica de superconductores e incluso en fenmenos de sincronizacin de sistemas biolgicos. o o o
4

78

Integrales Ahora bien, hemos pedido que a < . Entonces, el radicando es negativo. Por tanto, el mdulo de los ceros del denominador vale o
|z0 | =

+ Observamos que |z0 | > 1 y |z0 | < 1. Por tanto, podemos denir la funcin o 1 f (z) = tica en C y en todos los puntos dentro de C. El + que es anal z z0 denominador del integrando es de la forma de la integral de Cauchy y podemos aplicar la frmula directamente: o

T =
Pero f (z0 ) =

2 a

f (z) 2 dz = 2if (z0 ) a z z0 i . Por tanto: 1 2 2 a2

z0

1 + = z0

2 a

T =

Esta frmula reproduce el l o mite lineal a 0 (oscilador uniforme) y predice que el periodo diverge cuando a . En efecto, cuando a es pequeo, n el pndulo oscila alrededor del punto de equilibrio, pero, al aumentar a, al e pndulo le cuesta cada vez ms volver a ese punto y T diverge. e a La frmula de la integral de Cauchy nos proporciona f (z0 ) en D si conocemos o el valor de la funcin en la frontera C de D. Pero si derivamos bajo el signo de la o integral, encontramos un mtodo similar para hallar f (z0 ): e f (z0 ) = 1 2i f (z) dz (z z0 )2

De hecho, podemos seguir derivando para hallar la derivada ensima de f en z0 . e Por induccin se demuestra que sta viene dada por la frmula generalizada de o e o Cauchy: n! f (w) f (n) (z) = dw 2i C (w z)n+1 donde hemos cambiado la variable muda z a w y z0 ha sido renombrada como z para resaltar una consecuencia muy interesante: Teorema. Sea una funcin f (z) anal o tica en z0 . Entonces, sus derivadas existen a todo orden y son analticas.

4.5 Teorema de Morera

79

Demostracin. Como f (z) es anal o tica en z0 , f es derivable en una regin alrededor o de z0 y existe, gracias a la frmula generalizada de Cauchy, un contorno dentro del o cual existen tanto f (z0 ) como f (z0 ). Pero si existe f (z0 ), esto implica que f (z0 ) es anal tica en el mismo dominio. Entonces, podemos utilizar el mismo argumento para probar que, en general, f (n) (z) es anal tica. Este teorema es crucial para demostrar que toda funcin anal o tica puede expandirse en una serie de potencias ya que es innitamente derivable. Este hecho no tiene necesariamente que ser cierto en R. Por ejemplo, tmese la funcin o o f (x) = x2 x2 si x < 0 si x 0

Es evidente que f (x) es derivable en x = 0, pero slo una vez, ya que f (0) no existe. o Notablemente, en C si una funcin es anal o tica y, por tanto, derivable una vez, es derivable innitas veces. Este alcance global de las funciones de variable compleja conduce a resultados muy interesantes que veremos en el prximo tema. o

4.5.

Teorema de Morera

En los dos apartados anteriores hemos visto varios resultados importantes que se pueden resumir en la siguiente frase: si una funcin f es anal o tica, entonces f (z) dz es independiente del camino C y f posee una primitiva. Podemos entonces preguntarnos si existe la armacin rec o proca. La respuesta armativa la dio Morera en su famoso teorema: Teorema. Sea f continua en un dominio D simplemente conexo. Si para todo contorno cerrado C D, entonces f es anal tica. Demostracin. Como o
C C C

f (z) dz = 0

f (z) dz = 0,
C1

f (w) dw es independiente de cualquier conz

torno C1 que empiece en z1 y acabe en z. Entonces, podemos denir la funcin o F (z) =

z1

f (w) dw

de donde se inere F (z) = f (z). Segn el ultimo teorema de la seccin anterior, la u o derivada de una funcin anal o tica es anal tica. Luego f es anal tica.

4.6.

Cotas de funciones anal ticas y el teorema fundamental del lgebra a

Liouville demostr un teorema que ahond ms en las diferencias entre las funo o a ciones reales y las complejas.

80 Teorema. Si f es entera y acotada, entonces f es constante.

Integrales

Demostracin. Sea f una funcin acotada: |f (z)| < M . Aplicamos la desigualdad 6 o o o de la seccin 4.2 a la frmula de Cauchy o f (z) = 1 2i
C

f (w) dz wz

sobre la circunferencia C : w = z + Rei cuya longitud es 2R: 1 M M 2R = 2 2 R R Pero la circunferencia la podemos hacer arbitrariamente grande (R ). Entonces |f (z)| 0 de donde se deduce que f (z) = 0 y que f es constante. |f (z)| Una funcin real puede estar acotada y ser derivable en todo R y no tiene por o qu ser constante. Por ejemplo, considrese la funcin f (x) = sen x, que est acotada e e o a ya que | sen x| 1 y es derivable en todo R. Sin embargo, en C la funcin sen z no o est acotada aunque s es entera. a La consecuencia ms graticante del teorema anterior es que nos permite probar a de manera muy sencilla uno de los teoremas ms importantes de toda las matemtia a cas: Teorema fundamental del lgebra. El polinomio de grado n a p(z) = a0 + a1 z + . . . + an z n , tiene n ceros (contando multiplicidades). Demostracin. Lo probamos por reduccin al absurdo. La hiptesis de partida cono o o siste en suponer que p(z) = 0 para todo z. Denimos ahora la funcin f (z) = 1/p(z), o que es entera (ya que hemos supuesto que p(z) = 0) y acotada puesto que |f (z)| = 1 0 si |z| |p(z)| an = 0 , n1

Como |f (z)| es continua, f est acotada en todo el plano y, por el teorema de a Liouville, f (z) debe ser una constante. Sin embargo, esto es una contradiccin con o nuestra hiptesis de partida. Luego no debe ser cierto que p(z) = 0; es decir, debe o existir algn z0 tal que p(z0 ) = 0 para que f no sea entera y no se le pueda aplicar u el teorema de Liouville. Entonces, habiendo probado que p(z) tiene, al menos, un cero, factorizamos el trmino (z z0 ) y consideramos el polinomio de grado n 1 e dado por p(z) = b0 + b1 z + . . . + bn z n1 bn = 0 , n 1 q(z) = z z0 Ahora repetimos todo el argumento anterior con una nueva funcin g(z) = 1/q(z) o con el objeto de demostrar que q(z) tiene, al menos, una ra Sucesivamente, vamos z. bajando el grado del polinomio al mismo tiempo que aadimos un cero, por lo que n p(z) ha de tener necesariamente n ceros.

4.7 Aplicacin: Relaciones de dispersin y principio de causalidad o o

81

Otro ejemplo sobresaliente de las diferencias entre las funciones reales y las complejas es el siguiente teorema: Teorema del mdulo mximo. Sea la funcin f (z) no constante en el interior o a o de un dominio cerrado D. Si f es continua en la frontera C de D, entonces |f (z)| adquiere su valor mximo en la frontera y nunca en su interior. a Si se agrega a las hiptesis del teorema que f (z) = 0 para todo z D, entonces o f (z) tambin adquiere su mnimo en C. e Ntese que en R las funciones continuas en un cierto intervalo x [a, b] alcanzan o su mximo en algn x de ese intervalo, pero no necesariamente en x = a o x = b.05 a u Ejemplo. Hallar el mdulo mximo de f (z) = 2z + 6i en el c o a rculo |z| 2. Encontrar tambin el m e nimo. Determinamos el mdulo de f (z): o |f (z)|2 = |2z + 5i|2 = 4|z|2 + 36 + 2 Re[2z(6i)] = 4|z|2 + 36 + 24 Im z De acuerdo al teorema anterior, f alcanza su mximo en |z| = 2. Entonces, a |f (z)| = 52 + 24 Im z para todos los z que pertenezcan a la circunferencia de radio 2 y centrada en el origen. Como el punto de la circunferencia que tiene la parte imaginaria ms grande es z = 2i, concluimos que el mximo de |f (z)| a a es: |f (z)|max = |f (2i)| = 100 = 10 La funcin f (z) se anula en z = 3i, que est fuera de la regin considerada. o a o Entonces, se satisfacen las condiciones del teorema y el m nimo ocurre tambin e en la frontera, en el punto que tiene la parte imaginaria ms pequea, es decir, a n z = 2i: |f (z)|min = |f (2i)| = 4 = 2

4.7.

Aplicacin: Relaciones de dispersin y prino o cipio de causalidad

Consideremos una funcin f (z) anal o tica en el semiplano superior D : Im z 0 (incluido el eje real). Supongamos, adems, que |f (z)| est acotada en el innito, a a
|z|
5

lim |f (z)| = 0

Vase, por ejemplo, Clculo Innitesimal, M. Spivak, 2a edicin, Editorial Revert (1990), pg. e a o e a

152.

82

Integrales

Esta condicin ocurre con frecuencia en F o sica. Por ejemplo, el ndice de refraccin, o la permitividad o la susceptibilidad pticas suelen tener el siguiente comportamiento o asinttico con la frecuencia compleja : o |f ()| const. ||

donde > 0. Gracias a la frmula integral de Cauchy podemos escribir la funcin f en el punto o o z0 D en trminos de la integral de contorno e f (z0 ) = 1 2i f (z) dz z z0

Pero como |f (z)| se anula en el innito, la integral a lo largo del arco superior que dene D se hace cero y slo contribuye a f (z0 ) la integral a lo largo del eje real: o f (z0 ) = 1 2i

f (x) dx x z0

Este resultado es cierto siempre que Im z > 0. En el caso que z0 est localizado en e f (z) el exterior del contorno C (Im z < 0), la funcin g(z) = o ser anal a tica en C y z z0 en su interior de forma que la integral de arriba es cero: f (z0 ) = 0 si Im z0 < 0. Veremos en el tema 6 que, cuando z0 se sita exactamente sobre el eje x (Im z0 = u 0), se obtiene 1 f (x) f (x0 ) = dx i x x0 donde x0 = Re z0 . Ahora descomponemos f en parte real y parte imaginaria: u(x0 ) + iv(x0 ) = de donde deducimos las ecuaciones u(x0 ) = v(x) dx x x0 1 u(x) v(x0 ) = dx x x0 1

1 i

u(x) + iv(x) dx x x0

que se denominan relaciones de dispersin de Kramers-Knig. Sorprendenteo o mente, implican que si slo conocemos la parte real de una funcin anal o o tica, entonces podemos hallar su parte imaginaria (y viceversa) en todo R sin ms que calcular la a integral correspondiente. Este es un ejemplo ms del alcance global de las funciones a anal ticas.

4.8 Ejercicios

83

Las relaciones de Kramers-Knig se aplican a funciones respuesta, por ejemplo, o a la funcin dielctrica (), que describe la respuesta de un medio conductor a o e perturbaciones electromagnticas en funcin de la frecuencia . Re nos da infore o macin sobre la dispersin de las ondas en el medio mientras que de Im extraemos o o la absorcin de las ondas en el conductor. Puesto que es una funcin acotada y o o anal tica, se cumplen las condiciones que dan lugar a las relaciones de KramersKnig y, por tanto, realizando una medida experimental de dispersin, se puede o o inferir, sin conocerlo de antemano, el espectro de absorcin de un conductor. o La razn ultima de la validez de las relaciones de Kramers-Knig hay que buscarla o o en el principio de causalidad. Sea F (t) una fuerza (la causa) que acta sobre un u cuerpo a tiempo t > 0. Entonces, la teor de respuesta lineal establece que el efecto a denotado como P (t) a t > 0 viene dado por

P (t) =

(t t )F (t ) dt

donde (t t ) es la funcin respuesta. Claramente, el sistema no puede responder o hasta que no se acople con F (t), deducindose que (t t ) = 0 para t < t . Esta e es la condicin de causalidad. El teorema de Titchmarsh arma que si la funcin o o i 2 () = ( )e d es cuadrado integrable (esto es, si la integral |()| d es nita) entonces el principio de causalidad y las relaciones de Kramers-Knig son o equivalentes (es decir, un resultado implica el otro y viceversa). Al nal del tema 6 profundizaremos en esta relacin mediante el anlisis de un ejemplo concreto de o a inters f e sico.

4.8.

Ejercicios

1. Calcular las siguientes integrales siendo C el segmento de recta que va desde 1 i a 1 + i: a)

C

(Re z)2 (Im z)2 dz cosh

C

b)

x y x y cos + i sinh sen 2 2 2 2

dz

2. Calcular las siguientes integrales, siendo C la circunferencia de radio unidad recorrida en sentido antihorario: a)
C

z3 dz z

dz + 4z

b)
C

c)
C

sinh z 2 dz z3

84 d)
C

Integrales ez z 1 dz z2 z sen z dz z Re f = Determinar

C

e)
C

3. Sea

x1 y (x 1)2 + y 2

f (z) dz donde C es el cuadrado de vrtices i, 2 i, 2 + i, i, e

orientado positivamente. 4. Sea p(z) un polinomio de orden n con coecientes reales. Demostrar que si z es solucin de la ecuacin p(z) = 0, entonces su conjugado z tambin lo es6 . o o e 5. Hallar los mdulos mximo y m o a nimo de f (z) = 2z + 5i en el c rculo |z| 2.

Esto implica que las ra complejas de una ecuacin polinmica con coecientes reales siempre ces o o vienen de dos en dos. Por ejemplo, una ecuacin cbica tiene o tres ra o u ces reales o una ra real y z dos complejas, pero nunca dos ra ces reales y una compleja.

5
Series E serie de potencias para funciones complejas. Despus de un breve repaso a los e
l principal objetivo de este tema es establecer un mtodo de expansin en e o criteros de convergencia, enunciaremos el teorema de Taylor. De mayor importancia es el teorema de Laurent, que permite expandir una funcin compleja en potencias o con exponentes negativos. Finalizaremos el cap tulo con una exposicin introductoria o al importante tema de la continuacin anal o tica.

5.1.

Sucesiones y criterios de covergencia

Denicin. Una sucesin {zn } = z1 , z2 , . . . , zN donde zn C con n = 1, 2, . . . , N o o tiende al l mite w C si para todo > 0 existe un n0 > 0 tal que |zn w| < para todo n > n0 . Tambin se dice que la sucesin es convergente o que converge a w: e o
n

lim zn = w

Denicin. Una sucesin es divergente si no es convergente. o o Ejemplo. Indicar si la sucesin zn = in es convergente o divergente. o Calculamos unos cuantos trminos: e zn = i, 1, i, 1, i . . . Claramente, la sucesin es divergente puesto que tras el trmino z4 la sucesin o e o vuelve a repetirse. El hecho de que utilicemos la denominacin @@divergenteAA no o quiere decir que la sucesin tienda a sino, simplemente, que no converge o a w. El siguiente teorema, que damos sin demostrar, implica la equivalencia entre l mites igualando parte real y parte imaginaria:

86

Series

Teorema. Sea la sucesin zn = xn + iyn y el nmero w = a + ib. Entonces lim zn = o u n w si y slo si o lim xn = a y lim yn = b
n n

Denicin. Dada una sucesin {zn }, se dice que es sumable si existe el l o o mite
N

S = lim
N

zn
n=1

donde S es la suma de la serie

n=1

zn . Tambin se dice que si S existe, entonces e

la serie converge o que es convergente. Al igual que las sucesiones, si una serie no converge, entonces es divergente. Cundo converge una serie dada? A veces no es posible contestar a esta preguna ta, pero, por lo general, disponemos de varios criterios que nos ayudan. El primero se basa en la denicin de convergencia de una sucesin dada ms arriba: o o a

Criterio del resto.Si lim zn = 0, entonces

n n=1

zn diverge.

Ejemplo. Determinar si S =
n=1

n converge. in

o S diverge ya que limn in = 0. Ntese que el numerador siempre crece al n aumentar n, pero el denominador permanece acotado: i, 1, i, 1. . .

Ejemplo. Determinar si S =
n=1

n + 2i converge. 5n = 0.

S diverge ya que limn

n+2i 5n

1 5

Denicin. Se dice que la serie o

zn es absolutamente convergente si
n=1 n=1

|zn |

converge. Si
n=1

zn converge, pero
n=1

|zn | diverge, entonces la serie

n=1

zn es con-

dicionalmente convergente.

El critero del resto nos dec cundo una serie diverg pero quiz son ms utiles a a a, a a los criterios positivos, que indican la convergencia de una serie. Vamos a ver ahora dos criterios de esta clase.

5.1 Sucesiones y criterios de covergencia

87

Criterio del cociente.Sea

n=1

zn una serie de nmeros complejos tales que u

zn = 0 para todo n y sea

= lim

zn+1 . zn

Si

< 1 , la serie converge absolutamente > 1 , la serie diverge = 1 , la serie puede converger o diverger

Ejemplo. Determinar si la serie S =

n=1

i 2

converge.

Primero, aplicamos el criterio del resto. Vemos que lim (i/2)n = 0 ya que el n numerador permanece acotado al aumentar n mientras que el denominador se hace cada vez ms grande. Por tanto, S puede converger o diverger. Aplicamos a ahora el criterio del cociente: lim zn+1 1 in+1 /2n+1 i = lim = = <1 n /2n n zn i 2 2

Luego S converge absolutamente.

Criterio de la ra z.Sea
n=1

zn una serie de nmeros complejos tales que u

n

zn = 0 para todo n y sea

= lim

|zn |.

Si

< 1 , la serie converge absolutamente > 1 , la serie diverge = 1 , la serie puede converger o diverger

Ejemplo. Determinar si la serie S =

n=1

2 1 + 2i

converge.

Aplicamos el criterio de la ra z: lim

n

|zn | = lim

2n 5

1/n n

2 = <1 5

Luego S converge.

88

Series

5.2.

Series de potencias

Las series de potencias son un tipo particular de series de especial importancia, pues cualquier funcin anal o tica puede representarse por medio de trminos del tipo e

S(z) =
n=0

an (z z0 )n

Veamos, entonces, las propiedades que cumplen las series de potencias: 1. S(z) puede integrarse trmino a trmino, es decir, e e

f (z)S(z) dz =
C n=0

an
C

f (z)(z z0 )n dz

donde f (z) es una funcin continua en C. o 2. En particular, si f (z) = 1, de acuerdo con la propiedad anterior tenemos que

S(z) dz =
C n=0

an
C

(z z0 )n dz = 0

Como el resultado anterior es vlido para todo contorno C, por el teorema de a Morera deducimos que S es anal tica en todo el dominio de denicin. o 3. S(z) puede derivarse trmino a trmino: e e

S (z) =
n=1

nan (z z0 )n1

4. Dos series pueden sumarse y restarse. Asimismo, pueden multiplicarse y dividirse con cuidado. Quiz la serie de potencias ms utilizada es la serie geomtrica cuya suma a a e puede calcularse exactamente:

S=
n=0

zn = 1 + z + z2 + z3 + . . . =

1 1z

Para analizar la convergencia de S, hacemos uso del criterio del cociente:

n

lim

z n+1 zn+1 = lim = |z| n zn zn

Luego S converge en el interior del c rculo de radio unidad (|z| < 1) y diverge fuera de l. e

5.3 Series de Taylor

89

5.3.

Series de Taylor

Teorema. Sea f (z) analtica en el crculo D: |z z0 | < R. Entonces, f admite un desarrollo en serie de potencias en cada punto z dentro de D:

f (z) = f (z0 ) +
n=1

f (n) (z0 ) (z z0 )n n!

La serie converge a f (z) para |z z0 | < R. Demostracin. Armados con la propiedad 1, nos proponemos demostrar el teorema o de Taylor. Por la frmula de la integral de Cauchy, sabemos que o f (z) = 1 2i
C

f (w) dw wz

Reescribimos primero el denominador del integrando: 1 1 1 1 = = zz wz w z0 + z0 z w z0 1 wz0 0 = 1 w z0

n=0

z z0 w z0

=
n=0

(z z0 )n (w z0 )n+1

La expresin anterior es vlida para o a trmino: e 1 2i

n=0

z z0 < 1. Integramos ahora trmino a e w z0 1 2i f (w) dw (z z0 )n n+1 (w z0 )

an

f (w) dw = wz
n

n=0

Luego f (z) = an (z z0 ) . Vamos a investigar ahora la forma de los coecientes an . Podemos utilizar la propiedad 3 y derivar trmino a trmino la serie de potencias e e obtenida:

f (z) =
n=1

nan (z z0 )n1 = f (z0 ) = 1 a1

f (z) =
n=2

n(n 1)an (z z0 )n2 = f (z0 ) = 2 1 a2 . . .

Por induccin, es fcil ver que f (n) (z0 ) = n!an o bien an = f (n) (z0 )/n!, con lo o a que el teorema de Taylor queda demostrado. Ntese que, si sustituimos la expresin de an hallada anteriormente, obtenemos o o f (n) (z0 ) = n! 2i
C

f (w) dw (w z0 )n+1

n = 0, 1, . . .

que es, como ya sabemos, la frmula de Cauchy generalizada. o

90

Series

Es conveniente recordar dos caracter sticas notables de la serie de Taylor: primero, es unica y, segundo, siempre existe, ya que la funcin f es anal o tica y, por tanto, innitamente derivable. El radio de convergencia R de la serie puede tomar los siguientes valores: R = 0 = la serie de Taylor converge slo en z = z0 . o 0 < R < = la serie de Taylor converge en |z z0 | < R y diverge para |z z0 | > R. R = = la serie de Taylor converge en todo el plano. Estas propiedades se deducen de aplicar el criterio del cociente directamente a la serie de Taylor:
n

lim

an+1 an+1 (z z0 )n+1 = |z z0 | lim <1 n n an (z z0 ) an

Como |z z0 | < R por hiptesis del teorema, tenemos que R = 1/ donde o = lim
n

an+1 an

Ejemplo. Hallar el radio de convergencia de la serie

n=0

zn . n!

Los coecientes de la serie son an = 1/n! Por tanto, = lim

n

1 an+1 n! = lim =0 = lim n n + 1 n (n + 1)! an

Por la denicin de arriba, R = 1/ = . Luego la serie converge en todo C. o Esto es as porque la serie corresponde a la funcin exponencial, o

e =
n=0

zn n!

como se puede comprobar sin ms que derivar sucesivamente. Ahora bien, a z f (z) = e es entera, de ah que su serie de potencias converja en todo C.

Ejemplo. Determinar el radio de convergencia de la serie

n=0

(1)n (z1i)n . n2n

La serie est centrada en z0 = 1 + i. Hallamos R como en el ejemplo anterior: a an+1 = lim = lim n n an
(1)n+1 (n+1)2n+1 (1)n n2n

= lim

n 1 = 2(n + 1) 2

Luego R = 1/ = 2 y la serie converge para |z 1 i| < 2.

5.3 Series de Taylor

91

En muchas ocasiones el desarrollo en serie de Taylor de una funcin en f es un o proceso largo y tedioso que involucra derivadas sucesivas de f . Sin embargo, a veces es preferible seguir un procedimiento mucho ms directo, usando las propiedaes de a las series de potencias enunciadas antes. Veamos un par de ejemplos. Ejemplo. Hallar la expansin en serie de Taylor de la funcin f (z) = o o alrededor de z0 = 0. z 1z

Aqu se da uno cuenta de que el denominador se parece a la serie geomtrica e que hemos visto antes: 1 zn = 1z n=0 Entonces, simplemente multiplicamos ambos lados de la ecuacin por z y obo tenemos el resultado deseado: f (z) = z = z + z2 + z3 + . . . = 1z

zn
n=1

Ejemplo. Hallar la serie de Taylor asociada a la funcin f (z) = o 1 = 1z derivar (propiedad 3 de las series de potencias): Puesto que conocemos la serie geomtrica e 1 = (1 z)2 1 1z

1 . (1 z)2

z n , slo tenemos que o

n=0

=
n=0

(n + 1)z n

El siguiente ejemplo sigue la misma estrategia que los anteriores, pero el resultado nal es sorprendente: Ejemplo. Determinar la serie de Taylor alrededor del origen de la funcin o 1 + 2z f (z) = 2 . z + z3 La funcin f no es anal o tica en z0 = 0. Luego se viola una de las condiciones del teorema de Taylor y la expansin en serie de potencias no existe. Sin embargo, o podemos hacer caso omiso del teorema e investigar de todas formas qu ocurre e si empleamos la frmula de las series geomtricas. Para ello, descomponemos o e f del siguiente modo: f (z) = 1 1 1 + 2z = 2 2 1+z z z 2 1 1+z

92 La funcin o

Series 1 es susceptible de ser expandida por el mtodo de las series e 1+z geomtricas: e 1 1 = = (1)n z n 1+z 1 (z) n=0 Entonces, podemos escribir f (z) = 1 2 1 + z z2 + z3 . . . z2 1 1 = 2 + 1 + z ... z z

Ntese que hemos encontrado una expansin en serie de potencias para f (z) o o en la que estn involucradas potencias con exponentes negativos, tales como a 2 1 z y z . Las expansiones que permiten estos trminos forman el objeto de e la siguiente seccin. o

5.4.

Series de Laurent

El ejemplo ultimo de la seccin anterior sugiere que, aunque f (z) no sea anal o tica, se puede encontrar un desarrollo en serie de potencias siempre y cuando permitamos potencias positivas y negativas.
Pierre Alphonse Laurent (1813-1854), matemtico a francs. Al igual e que Cauchy, estudi ingenier o a antes de pasarse a las matemticas. a Descubri la o expansin en serie o de potencias de las funciones complejas, pero, incomprensiblemente, la Academia de Ciencias francesa rechaz publicar o su trabajo, que no vio la luz hasta nueve a os n despus de su e muerte.

Teorema de Laurent. Si f (z) es analtica en los contornos C1 y C2 y en toda la regin anular comprendida entre C1 y C2 , entonces f admite una desarrollo en serie o para todo z de esa regin: o

f (z) =
n=0

an (z z0 ) +
n=1

bn (z z0 )n

donde an = bn Demostracin. Sea g(w) = o 1 2i 1 = 2i f (w) dw (w z0 )n+1 f (w) dw (w z0 )n+1

C1

C2

f (w) una funcin anal o tica en todo el dominio anular wz entre C1 y C2 excepto en el punto w = z, que rodeamos con el contorno K (vase e la gura 5.1). Entonces, por el teorema de Cauchy-Goursat extendido a dominios mltiplemente conexos, sabemos que u g(w) dw = 0
B

5.4 Series de Laurent

93

C1 C2 z0

Figura 5.1: Contornos para la demostracin del teorema de Laurent. o donde B = C1 C2 K. Por la frmula de la integral de Cauchy, la integral a lo o largo de K es simplemente 2if (z). Entonces: f (w) dw wz f (w) dw = 2if (z) wz

C1

C2

Deseamos hacer una expansin en potencias de z z0 . Entonces, seguimos la o misma estrategia que durante la demostracin de las series de Taylor y reescribimos o el denominador de g(w) en la forma 1 1 1 = zz wz w z0 1 wz0 0 1 z z0 = 1+ + w z0 w z0 z z0 w z0
2

+ ...

donde en la segunda igualdad hemos utilizado la frmula de las series geomtricas, o e 1 = sn , vlida para |s| < 1. Como en este caso s = (z z0 )/(w z0 ), se a 1s n=0

94

Series

tiene que cumplir que |(z z0 )/(w z0 )| < 1, lo cual es cierto para C1 . Por tanto: f (w) dw = wz
C1

C1

C1

f (w) z z0 1+ + w z0 w z0
C1

z z0 w z0

+ . . . dw f (w) dw + . . . (w z0 )3

f (w) dw + (z z0 ) w z0

f (w) dw + (z z0 )2 (w z0 )2

C1

Esta serie genera los trminos (zz0 )n y es fcil ver, identicando trmino a trmino, e a e e que 1 f (w) an = dw 2i C1 (w z0 )n+1 Por otro lado, podemos seguir el mismo procedimiento para la integral a lo largo de C2 , donde ahora se cumple que |(w z0 )/(z z0 )| < 1. Entonces 1 1 1 = 0 wz z z0 1 wz0 zz = 1 w z0 1+ + z z0 z z0 w z0 z z0
2

+ ...

Sustituyendo en la integral, obtenemos la siguiente serie:

C2

f (w) dw = wz
C2

C2

f (w) w z0 1+ + z z0 z z0
C2

w z0 z z0

+ . . . dw f (w) dw+. . . (w z0 )2

= (zz0 )1

f (w) dw+(zz0 )2

f (w) dw+(zz0 )3 (w z0 )1

C2

que identicamos con los trminos (z z0 )n cuyos coecientes son e bn = 1 2i f (w) dw (w z0 )n+1

C2

A diferencia de un desarrollo en serie de Taylor, donde el radio de convergencia R es, como mucho, la distancia desde z0 al punto singular ms prximo, el teorema de a o Laurent permite un desarrollo en serie de potencias alrededor de un punto singular. Las diferencias con las series de Taylor las resume el trmino e

bn (z z0 )n
n=1

que recibe el nombre de parte principal. Por supuesto, si f es anal tica en z0 , entonces bn = 0 por el teorema de Cauchy-Goursat y recuperamos la serie de Taylor. Un rasgo que s que comparten las series de Laurent y la de Taylor es que son

5.4 Series de Laurent

95

unicas. Esto implica que es indiferente el mtodo que usemos para calcular la serie e de Laurent asociada a una funcin f (z): una vez que la hayamos encontrado, el o principio de unicidad nos asegura que sa es la buena. e Ntese la forma particular del coeciente b1 : o b1 = 1 2i f (z) dz
C2

Esta expresin es vlida para cualquier contorno cerrado C2 que rodee a una singuo a laridad z = z0 . La observacin que acabamos de hacer es la base del teorema de los o residuos, que veremos con ms detenimiento en el prximo tema. a o Ejemplo. Hallar la serie de Laurent de f (z) = sen z . z2 El unico punto singular de f es z0 = 0. La forma ms rpida de calcular la a a serie de Laurent es tomar la expansin de sen z alrededor de z0 = 0 y dividir o por z 2 trmino a trmino: e e f (z) = 1 z2 z z3 z5 + ... 3! 5! = 1 z z2 + ... z 3! 5!

que es vlida para todo z = 0. Observamos que la contribucin a la serie de a o Laurent de la singularidad es mayor cuanto ms cerca estemos de z0 . a En el ejemplo anterior hab una sola singularidad. Cmo abordamos un proa o blema con dos o ms singularidades? El ejemplo siguiente ilustra el mtodo a seguir: a e Ejemplo. Sea f (z) = 1 . Hallar la serie de Laurent. z(z 1) La funcin f presenta dos singularidades: una en z0 = 0 y otra en z1 = 1. o Por tanto, dividimos el plano C en dos regiones en los que f sea anal tica. La primera es D0 : 0 < |z| < 1: 1 1 1 1 = = (1 + z + z 2 + . . .) z(z 1) z1z z

= (z 1 + 1 + z 1 + z 2 + . . .) =
n=1

zn

El segundo dominio es D1 : |z| > 1, donde f tambin es anal e tica. Manipulamos un poco el denominador para poder aplicar la frmula de las series geomtricas: o e 1 1 1 1 1 = = 2 z(z 1) z1z z 1
1 z

1 = 2 1 + z 1 + z 2 + . . . = z

z n
n=2

96

Series

En los ejemplos anteriores hemos expandido alrededor de z0 = 0. Veamos ahora un ejemplo del procedimiento para hallar una desarrollo en serie de potencias alrededor de un punto distinto del origen: Ejemplo. Expandir f (z) = 1 en potencias de (z 1) en el dominio |z 1| > 1. z Igual que en los ejemplos anteriores, se trata de manipular el denominador hasta que obtengamos la forma asociada a las series geomtricas: e 1 1 1 1 1 = = = 1 z z 1z1 1 z 1 1z

= (1 z)

1 + (1 z)

+ (1 z)

+ ... =
n=1

(1 z)n

5.5.

Aplicacin: Continuacin anal o o tica

El ejemplo ms espectacular del alcance global de las funciones anal a ticas lo constituye el tema de la continuacin o prolongacin anal o o tica. Denicin. Sea g(z) una funcin anal o o tica en el dominio D. Se dice que f (z) es una continuacin anal o tica de g(z) si f es anal tica en un dominio ms grande que D a y, adems, los valores de f (z) coinciden con los de g(z) en todos los puntos z D. a De alguna forma, ya hicimos uso de este concepto en el tema 2 cuando extendimos las funciones reales ex , sen x, etc., que son anal ticas en el eje real, a todo el plano complejo C, obtenindose exp z, sen z, etc. e Es siempre posible prolongar anal ticamente una funcin indenidamente y en o todo C? En general, no, ya que pueden existir singularidades o puntos de rama que denan una frontera ms all de la cual no sea posible encontrar una continuacin a a o anal tica. Sin embargo, utilizando los conocimientos desarrollados en este tema, se puede proponer un mtodo muy ingenioso que funciona siempre que los puntos e singulares de la funcin sean aislados. o Sea una funcin f (z) anal o tica en z = z0 . Entonces, siempre podemos construir una expansin en series de Taylor alrededor de z0 y con un cierto radio de o convergencia que viene dado por la distancia a la singularidad ms cercana. Dea notemos esta singularidad como z = w. La expansin es vlida dentro del c o a rculo D : |z z0 | < |z0 w|. La serie de Taylor da los valores de f (z) en todos los puntos z D. Escojamos un punto z1 cerca de la frontera de D. Entonces, podemos de nuevo expandir f (z) tomando ahora como centro del desarrollo de Taylor el punto z = z1 , que tendr un radio de convergencia distinto al anterior, D1 : |z z1 | < |z1 w|. a Evidentemente, hay un solape entre D y D1 , pero lo interesante es darse cuenta de que merced a la nueva expansin, hemos extendido el dominio de analiticidad o de f de D a D D1 . Uno puede continuar con este mtodo hasta cubrir todo el e

5.5 Aplicacin: Continuacin anal o o tica

97

plano C excepto el punto z = w1 . As pues, es posible reconstruir la funcin f (z) en o todo C a partir unicamente de sus valores en un dominio nito D. Tal alcance es posible gracias a que la funcin es anal o tica. Por tanto, concluimos que los valores de una funcin anal o tica en cualquier regin nita del plano determinan, mediante o continuacin anal o tica, sus valores en todo C.
1 Ejemplo. Sea f (z) = z1 . Hallar la continuacin anal o tica de f ms all del a a c rculo de convergencia |z| < 1.

La funcin f tiene una singularidad en z = 1. La expansin alrededor del o o origen, 1 1 = = (1 + z + z 2 + z 3 + . . .) z1 1z es vlida para en el dominio D : |z| < 1 tal y como se muestra en la gura 5.2. a Sin embargo, sabemos que f es anal tica fuera de D. Una posible prolongacin o consiste en tomar el punto z = i como centro de una segunda expansin: o 1 1 1 1 = = z1 (1 i) (z i) 1 i 1 zi 1i 1 zi = 1+ + 1i 1i zi 1i
2

...

o vlida en el c a rculo D1 : |z i| < |i 1| = 2. Ntese que hemos ampliado el dominio de convergencia y que la dos expansiones dan los mismos valores en la regin de solape entre D y D1 . As tomando puntos cada vez ms alejados o , a del origen como centro de la expansin (vanse las circunferencias a trazos de o e la 5.2), ser amos capaces de continuar f anal ticamente en todo C excepto en la singularidad z = 1. Contrariamente a lo que se pueda pensar, la continuacin anal o tica, aunque parezca un concepto demasiado abstracto, encuentra aplicaciones muy interesantes en F sica terica. Para poner un ejemplo concreto, considrese la propagacin de un o e o electrn con energ E en un cristal unidimensional. Supongamos que existe una o a impureza localizada en el origen de energ potencial V . Si el electrn incide en a o la impureza, tiene una cierta posibilidad de reejarse o transmitirse. Del clculo a mecano-cuntico se deriva la siguiente expresin para la amplitud de dispersin: a o o f (E) = V V i 4 E2

La energ electrnica est restringida al intervalo 2 < E < 2 (es lo que se denomia o a na una banda electrnica). Pero supongamos que no hacemos caso de esta restriccin o o
Si la funcin es multivaluada, cabe la posibilidad de que, al volver al punto de partida, no se o recuperen los valores originales. Entonces, hay que extender el concepto de plano complejo para incluir diferentes niveles o supercies de Riemann.
1

98

Series

Im z
4

D1 D
0 1 2 3 4

0 -2 -1 -1

Re z

Figura 5.2: Ejemplo de continuacin anal o tica. y continuamos anal ticamente la funcin f (E) en el intervalo |E| > 2. Entonces, f o adquiere la forma V f (E) = V + E2 4 Ahora bien, existe un resultado conocido de la teor de dispersin cuntica que a o a arma que una divergencia en f va siempre asociada con la existencia de un estado ligado. Efectivamente, si V < 0 (impureza con potencial atractivo) existe una energ a discreta (y no una banda) para la cual el denominador de f se anula. Intuitivamente, es como si lanzramos un electrn contra el potencial y aqul quedara atrapado. Este a o e ejemplo concreto permite hacernos una idea de que la continuacin anal o tica es una herramienta muy poderosa para analizar ciertos procesos de dispersin de part o culas.

5.6.

Ejercicios
z1 en serie de Taylor alrededor de z0 = 1 y dar el radio 3z

1. Expandir f (z) = de convergencia.

2. Hallar las series de Laurent asociadas a las siguientes funciones en los dominios especicados: a) f (z) = 1 z(z 1) para 0 < |z 1| < 1 y |z 1| > 1

5.6 Ejercicios 1 para 0 < |z| < 4 z(4 z)2 1 1 c) f (z) = cos para z = 0 z z z 2 2z + 5 d ) f (z) = para 1 < |z| < 2 (z 2)(z 2 + 1) b) f (z) =

99

ln(1 + z) 3. Sea f (z) = . Estudiar el dominio de analiticidad y calcular, si es z posible, el desarrollo en serie de Taylor alrededor del origen especicando el radio de convergencia. Razonar si f tiene primitiva y, en caso armativo, dar los cuatro primeros trminos de la serie de Taylor asociada a su primitiva. e

6
Residuos y polos
a teor de los residuos tiene vastas aplicaciones en matemtica aplicada. a a Veremos cmo se pueden evaluar integrales complejas e, incluso, reales mediante o esta tcnia. Adems, el estudio de los polos de una funcin y de sus residuos es de e a o singular importancia para la f sica, ya que el dominio de analiticidad de ciertas funciones lleva asociado un signicado f sico, como ilustramos al nal del cap tulo.

6.1.

Singularidades
f (z) dz = 0 si
C

Recordemos que el teorema de Cauchy-Goursat armaba que

f es anal tica. En el tema anterior, descubrimos que cuando f no es anal tica en algn punto aislado interior a C, podemos expandir f en una serie de potencias de u Laurent de tal forma que el coeciente b1 de la expansin, o b1 = 1 2i f (z) dz
C

nos da precisamente la integral de f a lo largo del contorno cerrado C. Este resultado sugiere que tenemos a nuestra disposicin un mtodo de integracin bastante potente o e o siempre que encontremos algn modo de calcular el coeciente b1 . u En el siguiente ejemplo, ilustramos las ideas del prrafo anterior. a Ejemplo. Hallar la integral I = circunferencia |z| = 1.
C

f (z) dz donde f (z) =

1 y C es la z(z 1)

f es anal tica en todo C salvo en las singularidades z0 = 0 y z1 = 1. La unica singularidad que est dentro de C es z0 . Por tanto, podemos hallar I a si conocemos la serie de Laurent asociada a f (z) alrededor de z = z0 . En un

102

Residuos y polos ejemplo del tema anterior (vase la pgina 95), hab e a amos determinado que 1 = (z 1 + 1 + z + z 2 + . . .) z(z 1) Esta serie era vlida cuando 0 < |z| < 1. Por tanto, encontramos que b1 = 1 a y se deduce inmediatamente que I = 2i. Para conrmar este resultado, podemos recurrir al teorema de Cauchy-Goursat, descomponiendo primero f (z) en fracciones simples: 1 1 1 = + z(z 1) z z1 Escribamos, pues, I = I1 + I2 donde I1 = I2 =
C

1 dz C z 1 dz z1

Puesto que 1/(z 1) es una funcin anal o tica dentro de C, el teorema de Cauchy-Goursat establece que I2 = 0. Por otro lado, la frmula de la integral o de Cauchy nos dice que I1 = 2i. Por tanto, I = 2i, exactamente como hab amos determinado antes. Denicin. f (z) tiene una singularidad aislada en z = z0 si f es anal o tica en 0 < |z z0 | < R para algn R > 0. Las funciones anal u ticas salvo en singularidades aisladas reciben el nombre de meromorfas. Claramente, las singularidades aisladas desempean un papel fundamental en el n clculo de integrales por el mtodo de las series de Laurent. Resulta conveniente, a e pues, clasicar los puntos singulares de una funcin expresada por su serie de Laurent o

f (z) =
n=0

an (z z0 ) +
n=1

bn (z z0 )n

vlida en un cierto dominio 0 < |z z0 | < R. a Denicin. f (z) tiene una singularidad evitable en z = z0 si bn = 0 para todo o n. Denicin. f (z) tiene un polo de orden n en z = z0 si el ultimo coeciente no o nulo de la parte principal es bn (n 1). Cuando el unico coeciente no nulo es b1 , se dice que f (z) tiene un polo simple en z = z0 . El nmero b1 recibe el nombre de u residuo, denotndose b1 = Res[f (z), z0 ] o simplemente b1 = Res(f, z0 ). a

6.1 Singularidades

103

Denicin. f (z) tiene una singularidad esencial en z = z0 si existen innitos bn o no nulos. Ejemplo. Caracterizar la naturaleza de las singularidades de las siguientes funciones: cos z 1 z 1 2. f (z) = z(z 1) 1. f (z) = 3. f (z) = e1/z 1. La funcin f tiene una singularidad evitable en z = 0 ya que su expansin o o toma la forma f (z) = 1 z 1 z2 z4 + ... 1 2! 4! = z z3 + ... 2! 4!

Como quiera que la serie no tiene parte principal (resulta ser una serie de Taylor), f (z) tiene una singularidad evitable en z = 0 (ntese que f o no est denida ah a ). 2. Hab amos visto en el primer ejemplo del tema que f (z) en 0 < |z| < 1 tiene una expansin de Laurent cuya parte principal viene dada por z 1 . o Luego slo hay un coeciente no nulo y ste es b1 = 1. Por tanto, f (z) o e tiene un polo simple en z = 0 y su residuo es Res[f (z), 0] = 1. f tiene otra singularidad en z = 1. Su expansin en serie de Laurent es o vlida para |z| > 1 (vase la pgina 95): a e a 1 = z 2 + z 1 + 1 + z + . . . z(z 1) El ultimo coeciente b no nulo de la serie es b2 = 1. Luego z = 1 es un polo de orden 2 (o polo doble). El residuo es el coeciente b1 que acompaa al n 1 trmino z : Res[f (z), 1] = 1. e 3. Calculamos unos pocos trminos de la expansin de f (z) sustituyendo z e o z por 1/z en la serie de Taylor de e : z 1 z 2 1/z (1/z)2 + + ... = 1 + + + ... f (z) = 1 + 1! 2! 1! 2! Notamos que los coecientes de la parte principal son todos nulos. As pues, f (z) tiene una singularidad esencial en z = 0.

104

Residuos y polos

6.2.

Ceros de una funcin o

En el ultimo ejemplo de la seccin anterior se observa que la existencia de polos o est muy relacionada con los ceros del denominador de una funcin dada. a o Denicin. Una funcin f (z) anal o o tica en 0 < |z z0 | < R tiene un cero de orden (1) n en z = z0 si y slo si f (z0 ) = f (2) (z0 ) = . . . = f (n1) (z0 ) = 0 y f (n) (z0 ) = 0. o A veces no hace falta calcular las derivadas y podemos recurrir al siguiente teorema: Teorema. Sea f (z) analtica en 0 < |z z0 | < R. Entonces f tiene un cero de orden n si y slo si f toma la forma o f (z) = (z z0 )n g(z) donde g(z) es analtica en el punto z0 y g(z0 ) = 0. Ejemplo. Hallar los ceros de las siguientes funciones e indicar el orden de estos: 1. f (z) = (1 + z 2 )2 2. f (z) = z 2 sen z 3. f (z) = 1 ez 1. Los ceros de f (z) son z = i. Podemos reescribir f (z) = (z + i)2 (z i)2 . Por el teorema anterior, z = i son ceros de orden 2. 2. Los ceros de f (z) son los de z 2 y sen z, es decir, z = 0 y z = n con n = 0, 1, 2 . . .. Expresamos f (z) en su desarrollo en serie de potencias de Taylor: f (z) = z 2 z z3 z5 + + ... 3! 5! = z3 1 z2 z4 + + ... 3! 5!

Por el teorema anterior, z = 0 es un cero de orden 3 ya que el trmino e entre parntesis no se anula si sustituimos z por 0. Para hallar el orden e de z = n con n = 1, 2 . . . es ms sencillo derivar: a f (z) = 2z sen z + z 2 cos z Observamos que f (n) = 0. Luego los puntos z = n con n = 1, 2 . . . son ceros de orden 1. 3. La funcin f (z) tiene ceros en aquellos puntos que veriquen la condicin o o z e = 1, es decir, z = 2ni (n = 0, 1, 2 . . .). Siguiendo el procedimiento del caso anterior, observamos que f (2ni) = e2ni = 1 = 0. As pues, los ceros son de orden 1.

6.3 Frmula del residuo o

105

La exposicin sobre los ceros de una funcin nos va a permitir formular un mtodo o o e alternativo a las series de Laurent para clasicar las singularidades de una funcin. o Teorema. Sea f (z) una funcin analtica en 0 < |z z0 | < R. Entonces, f tiene o un polo de orden n en z0 si y slo si o f (z) = g(z) (z z0 )n

donde g(z) es anal tica en z0 y g(z0 ) = 0. El siguiente corolario que se extrae del teorema anterior es muy util para funcio nes racionales: Corolario. Sean g(z) y h(z) funciones anal ticas que poseen un cero en z = z0 de orden m y n, respectivamente. Sea f (z) = g(z)/h(z). Entonces: 1. Si m < n, z0 es un polo de f de orden n m. 2. Si m n, z0 es una singularidad evitable de f .

6.3.

Frmula del residuo o

Supongamos que f (z) tiene un polo de orden n en z0 . Entonces, sabemos que la serie de Laurent es bn bn1 b1 f (z) = + + ... + + a0 + a1 (z z0 ) + . . . n n1 (z z0 ) (z z0 ) z z0 Multiplicamos la expresin anterior por (z z0 )n a ambos lados o (z z0 )n f (z) = bn + bn1 (z z0 ) + . . . + b1 (z z0 )n1 + a0 (z z0 )n + . . . y derivamos n 1 veces: dn1 [(z z0 )n f (z)] = (n 1)!b1 + n!a0 (z z0 ) + . . . dz n1 En consencuencia, calculando el lim de la expresin anterior, llegamos directamente o a la frmula del residuo: o
zz0

b1 = Res[f (z), z0 ] =

1 dn1 lim n1 [(z z0 )n f (z)] (n 1)! zz0 dz

Si n = 1 (polo simple), la frmula del residuo es muy sencilla: o Res[f (z), z0 ] = lim (z z0 )f (z)
zz0

Obviamente, si la singularidad es evitable, el residuo se anula inmediatamente. Para singularidades esenciales, no hay un mtodo sencillo y la unica forma de calcular los e residuos es recurrir a la serie de Laurent.

106

Residuos y polos
1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000 1111111111111111111111111111111111111111 0000000000000000000000000000000000000000

D C

C2

C1

z2

z1

C3

z3

Figura 6.1: Ilustracin del teorema de los residuos. o Ejemplo. Hallar los polos y residuos de f (z) = z 2 + 3z 2 . z+2 f (z) tiene un polo simple en z0 = 2 ya que el denominador tiene un cero de orden 1 ah y el numerador no es divisible por z + 2. Entonces: Res[f (z), 2] = lim (z + 2)
zz0

z 2 + 3z 2 = 4 6 2 = 4 z+2

6.4.

Teorema de los residuos

La enorme utilidad de la determinacin de los polos de una funcin y el clculo o o a de residuos se maniesta en el siguiente teorema: Teorema de los residuos. Sea D un dominio simplemente conexo y C un contorno simple cerrado contenido en D. Si f es una funcin anal o tica en C y en el interior de C salvo en un nmero nito de singularidades aisladas z1 , . . . , zm , u entonces m f (z) dz = 2i
C n=1

Res[f (z), zn ]

Demostracin. Consideremos el dominio cerrado C de la gura 6.1 y un nmero o u nito de singularidades rodeadas por pequeos contornos cerrados C1 , C2 , C3 , . . . Sea n B = C C1 C2 C3 . . . Por el teorema de Cauchy-Goursat aplicado a dominios mltiplemente conexos sabemos que u f (z) dz = 0
B

6.4 Teorema de los residuos por lo que f (z) dz =

C n Cn

107

f (z) dz = 2i
n

Res[f (z), zn ]

Ejemplo. Sea f (z) =

ez . Hallar I = z3 + z

f (z) dz donde C : |z| = 2.

C

Factorizamos el denominador: z 3 + z = z(z + i)(z i). Como el numerador es una funcin entera, las unicas singularidades de f (z) son z = 0, z = i y o z = i. Las tres son polos simples y estn en el interior de C. Calculamos los a residuos asociados: Res(f, 0) = lim z
z0

ez 1 = =1 z(z + i)(z i) i (i) ez ei 1 = = ei z(z + i)(z i) i (2i) 2

Res(f, i) = lim [z (i)]

zi

Res(f, i) = lim[z i)]

zi

ez ei 1 = = ei z(z + i)(z i) i (2i) 2

Aplicamos ahora el teorema de los residuos: I = 2i Res = 2i 1 ei + ei 2 = 2i(1 cos 1) ez y C : |z| = 1. z2

Ejemplo. Hallar I =
C

f (z) dz siendo f (z) =

La funcin f (z) tiene un polo de orden 2 en z = 0, que est en el interior de o a C. Aplicamos la frmula del residuo: o Res(f, 0) = Por tanto: I = 2i Ejemplo. Hallar I =
C

1 d ez lim z2 2 = 1 (2 1)! z0 dz z Res = 2i

dz , siendo C los dos contornos siguientes: (z 2)(z 1)2

1. La circunferencia C1 : |z| = /2 2. El rectngulo C2 de vrtices i, 4 + i, 4 i, i. a e Sea f (z) = 1 , que tiene singularidades aisladas en z = 2 y z = 1. (z 2)(z 1)2

108

Residuos y polos 1. En este caso, la singularidad z = 2 est fuera del contorno C1 . Luego la a unica singularidad que contribuye a I es z = 1, que es un polo de orden 2. Calculamos el residuo: Res(f, 1) = 1 d 1 1 lim (z 1)2 = lim = 1 2 z1 (z 2)2 (2 1)! z1 dz (z 2)(z 1)

Por tanto, tenemos simplemente que I = 2i Res(f, 1) = 2i 2. Cuando C = C2 , tanto z = 1 como z = 2 estn dentro del contorno. a Hemos, pues, de calcular adems el residuo de f (z) en el polo simple a z = 2: 1 Res(f, 2) = lim (z 2) =1 z2 (z 2)(z 1)2 Aplicando el teorema de los residuos, obtenemos I = 2i Ejemplo. Hallar
C:|z|=10

Res = 2i(1 1) = 0

e2/z dz.

El integrando es una funcin anal o tica en todo el dominio salvo en el punto singular aislado z = 0. Ya vimos en otro ejemplo que este punto es una singularidad esencial. Para calcular el residuo, no tenemos en este caso otra alternativa que determinar la serie de Laurent: e
2/z

12 1 =1+ + 1! z 2!

2 z

+ ...

El coeciente que acompaa a la potencia z 1 es 2. Luego Res(e2/z , 0) = 2 y n la integral vale I = 2i Res(e2/z , 0) = 4i.

6.5.

Integrales reales de funciones trigonomtrie cas

Quiz la consecuencia ms espectacular de la teor de residuos es que propora a a ciona herramientas muy sencillas para el clculo de integrales reales sin ms que a a expresar la integral en el plano complejo y luego aplicar el teorema de los residuos. Comenzamos ilustrando este procedimiento con integrales del tipo
2

I=
0

f (cos , sen ) d

6.5 Integrales reales de funciones trigonomtricas e

109

Si el integrando es una funcin racional, I puede escribirse en trminos de cocientes o e de polinomios en el plano complejo mediante el cambio de variable z = ei . Como da una vuelta completa de 0 a 2, la variable z representa el contorno C : |z| = 1 en el plano C y slo resta calcular los residuos del integrando. Esperamos que el o mtodo quede claro con la ayuda de los siguientes ejemplos: e Ejemplo. Hallar I = d 5 4 cos 0 Hacemos la sustitucin z = ei , de donde d = dz/iz: o I = 1 dz 1 = z+z 1 iz i C 54 2 i dz = 2 5z + 1 2 Cz 2 2 10z 4z 2 4
2

Ahora calculamos los polos del integrando localizados dentro de la circunferencia de radio unidad. Para ello, hallamos los ceros del denominador: 5 5 1 z 2 z + 1 = 0 = z = 2 4 2 lo cual nos permite factorizar el integrando as : f (z) = 1 1 = 5 (z 2)(z 1/2) z2 2 z + 1 5 2
2

4 = 2, 1/2

Esta funcin tiene dos polos simples en z = 2 y z = 1/2. Slo el ultimo o o contribuye a I pues z = 2 se sita fuera del contorno C. u Res(f, 1/2) = lim (z 1/2)
z1/2

1 1 2 = = (z 2)(z 1/2) 1/2 2 3

Por tanto:

i 2 I = 2i Res(f, 1/2) = 2 3 El resultado es un nmero real puesto que partimos de una integral real. u Ejemplo. En la derivacin de la tercera Ley de Kepler hay un paso en el que o 2 d es necesario calcular la integral I = siendo 0 < < 1 la (1 + cos )2 0 excentricidad de la rbita. Hallar I por el mtodo de los residuos. o e Tras el cambio de variables z = ei , tenemos que I =
C

1 1+
C
1 2 z+z 2

4 dz = iz i
2

z dz (2z + z 2 + )2

4 i2

z z2 +
2 z

+1

dz

110 Los ceros del denominador son: 1 1 z = 2 2

2

Residuos y polos

1 4=

1 1 2

De los dos ceros, slo z+ se halla dentro del contorno C. Se trata de un polo o doble ya que podemos factorizar el integrando en la forma f (z) = Calculamos el residuo: Res(f, z+ ) = d z (z+ z )2 2z+ (z+ z ) = zz+ dz (z z )2 (z+ z )4 z+ + z 1 1 = = (z+ z )3 4 12 1 3/2 lim

z (z z+ )2 (z z )2

Aplicamos ahora el teorema del residuo para hallar I: I= 4 2 2i Res(f, z+ ) = i2 (1 2 )3/2

Ejemplo. El kernel de Poisson P () =

1 a2 (1 < a < 1) es 1 2a cos + a2 una funcin que aparece en problemas bidimensionales con simetr circular. o a Por ejemplo, P () est relacionado con la distribucin de probabilidad de a o los coecientes de transporte de ciertas nanoestructuras o con el potencial electrosttico de un disco conductor. Debido a su importancia, queremos hallar a
2

I=
0

P () d.

Haciendo z = ei obtenemos una integral sobre la circunferencia de radio unidad C: I = 1 a2 1 dz = z+z 1 2 i +a C 1 2a 2 2 i 1a = dz a C z 2 1+a2 z + 1 a 1 a2 dz az 2 + z(1 + a2 ) a

1 + a2 z + 1 son z = a y z = 1/a. Puesto que Los ceros del denominador z 2 a 1 < a < 1, slo el punto z = a se sita dentro de C, y corresponde a un polo o u simple de la funcin o 1 a2 f (z) = (z a)(z 1/a)

6.6 Integrales reales impropias

111

Im z CR

C -R R Re z

Figura 6.2: Contorno de integracin para la evaluacin de una integral real impropia. o o Determinamos el residuo correspondiente: Res(f, a) = lim (z a)
za

1 a2 1 a2 = (z a)(z 1/a) a 1/a

Se sigue del teorema de los residuos que la integral vale i 1 a2 i = 2 I = 2i Res(f, a) = 2i a a a 1/a

6.6.

Integrales reales impropias

Los casos de la seccin anterior ejemplican la potencia del mtodo de integracin o e o por residuos. Sin embargo, las integrales eran sencillas de calcular tras el cambio de variables z = ei porque el contorno de integracin compleja era siempre el o mismo: la circunferencia de radio unidad. El teorema de integracin por residuos o va ms all, pudindose escoger los contornos que mejor nos convengan. De hecho, a a e todas las integrales sobre el eje real pueden transformarse en una integral sobre un contorno cerrado del plano complejo siempre que un segmento del contorno contenga el intervalo real de integracin. o Uno de los ejemplos ms caracter a sticos de la estrategia que acabamos de avanzar es el clculo de integrales reales impropias. En general, nos restringimos al valor a principal de Cauchy:
R

f (x) dx = lim

f (x) dx
R

p(x) , donde q(x) = 0 para todo x y el q(x) grado de q es n m + 2 (m es el grado de p). Entonces, se puede escoger el contorno Sea f el cociente de polinomios f (x) =

cuando el l mite exista.

112

Residuos y polos

cerrado C en C que consiste en el eje real (que llamamos C ) y la semicircunferencia de radio R, CR (vase la gura 6.2): e

f (z) dz =
C

f (x) dx +
CR

f (z) dz

Calculemos primero el valor de la integral sobre CR , aplicando la desigualdad 6 de la pgina 64: a f (z) dz M L = RM
CR

donde L es la longitud de la semicircunferencia y M es la cota superior de la funcin o f: p(z) Rm |f (z)| = n =M q(z) R donde hemos supuesto que el primer coeciente de los polinomios es la unidad (si no, siempre se puede factorizar una constante). Por tanto: f (z) dz R
CR

Rm = Rm+1n Rn

La expresin anterior aclara por qu hemos puesto la condicin n m + 2 ya que, o e o si se satisface, la integral sobre CR es cero en el l mite R . En consecuencia, podemos identicar la integral real impropia con la integral sobre C,

=
C

que evaluaremos por el mtodo de los residuos. e Ejemplo. Hallar I = 3x2 + 2 dx. 2 2 (x + 4)(x + 9) Sea C = CR + C , donde CR es la semicircunferencia superior de radio R y C es el eje real. La integral a lo largo todo el contorno C es f (z) dz = I +
C CR

f (z) dz

3z 2 + 2 . El integrando es un cociente de polinomios (z 2 + 4)(z 2 + 9) tales que el grado del denominador es n = 4 y el del numerador es m = 2. Por tanto, se cumple la condicin n m + 2 y la integral sobre C se anula cuando o R . donde f (z) = Calculamos ahora la integral sobre C por el mtodo de los residuos. Primero, e hemos de hallar los polos de f (z) y clasicarlos: 3z 2 + 2 f (z) = (z + 2i)(z 2i)(z + 3i)(z 3i)

6.6 Integrales reales impropias

113

De la ecuacin anterior se desprende que f (z) posee cuatro polos: z = 2i y o z = 3i. De estos, solamente z = 2i y z = 3i se encuentran dentro de C, por lo que son los unicos que contribuyen a la integral. Determinamos los residuos correspondientes a esos polos: 3z 2 + 2 3 (2i)2 + 2 i = = z2i (z + 2i)(z 2i)(z + 3i)(z 3i) (4i)(5i)(i) 2 2 2 3z + 2 3 (3i) + 2 5i Res(f, 3i) = lim (z 3i) = = z3i (z + 2i)(z 2i)(z + 3i)(z 3i) (5i)i(6i) 6 Res(f, 2i) = lim (z 2i) Por tanto: f (z) dz = 2i
C

Res = 2i

i 5i 2 6

2 3

Luego I = 2/3. Ejemplo. En la teor de la corriente electrnica entre dos gases electrnicos a o o bidimensionales aparece la integral

I=

dx [(x 1 )2 + a2 ][(x 2 )2 + a2 ]

donde 1 , 2 R y a > 0. Hallar I por el mtodo de los residuos. e Como en el ejemplo anterior, tomamos el contorno cerrado C = CR + C , donde CR es la semicircunferencia superior de radio R y C es el eje real. Sea la funcin o f (z) = 1 [(z 1 )2 + a2 ][(z 2 )2 + a2 ]

que es un cociente de polinomios que cumplen evidentemente la condicin o n m + 2 donde n = 4 es el grado del denominador y m = 0 el del numerador. Luego la integral sobre CR se anula cuando R . La funcin f (z) tiene polos en z = 1 ia y z = 2 ia. Hallamos los residuos o de los polos que se hallen dentro de C: 1 2ia[(1 2 + ia)2 + a2 ] 1 Res(f, 2 + ia) = 2ia[(2 1 + ia)2 + a2 ] Res(f, 1 + ia) = Por tanto: I = 2i = Res = 2i 1 1 + 2 + a2 ] 2ia[(1 2 + ia) 2ia[(2 1 + ia)2 + a2 ]

2 1 a (1 2 )2 + (2a)2

114 Cuando el integrando es de la forma

Residuos y polos

p(x) p(x) cos x o sen x tambin puede usarse e q(x) q(x) el mtodo anterior incluso cuando el grado del denominador cumple la condicin e o n m + 1, menos restrictiva que la anterior. La integral sobre CR se anula gracias al siguiente resultado: Lema de Jordan. Sea f (z) = p(z) el cociente de los polinomios p y q de graq(z) dos m y n, respectivamente, que satisfacen la desigualdad n m + 1 y sea CR la semicircunferencia superior z = Rei (0 0 < ). Entonces:
R

lim

CR

p(z) iaz e dz = 0 q(z)

si a > 0. Si a < 0, entonces debe tomarse la semicircunferencia inferior. Ejemplo. La integral I = cos ax dx con a, b > 0 aparece con frecuencia x2 + b2 0 en la teor cuntica de dispersin. Hallar I aplicando el mtodo de integracin a a o e o por residuos. cos ax Observamos que el integrando f (x) = 2 es una funcin par: f (x) = o x + b2 f (x). Entonces, podemos extender el l mite de integracin a , o 1 I= 2

cos ax dx x2 + b2

para poder aplicar el mtodo empleado en los ejemplos anteriores. Es necesario e un paso ms para hacer uso del lema de Jordan: a I= Sea, pues, la funcin g(z) = o 1 Re 2

eiax dx x2 + b 2

eiaz . Formamos un contorno C que consiste en z 2 + b2 el eje real unido a la semicircunferencia superior de radio R. Gracias al lema de Jordan, CR g(z) dz = 0 puesto que el grado del denominador es n = 2 y el del numerador es m = 0, satisfacindose la desigualdad n m + 1. Por tanto: e

eiax dx = x2 + b 2

g(z) dz = 2i
C

Res

La funcin g(z) tiene dos polos, uno en z+ = ib y otro en z = ib. Puesto o que b > 0, slo contribuye a la suma de los residuos el polo en z+ : o Res(g, z+ ) = lim (z ib)
zib

eiaz eab = (z + ib)(z ib) 2ib = eab 2b

Luego I=

eab 1 Re 2i 2 2ib

6.6 Integrales reales impropias

115

Im z CR

C -R R Re z

Figura 6.3: Contorno de integracin para la evaluacin de una integral impropia con o o un punto singular en z = 0. Hasta ahora los polos de la funcin asociada al integrando se hallaban dentro o del contorno de integracin. El problema surge cuando el polo se encuentra sobre el o contorno. Entonces, es muy util el siguiente teorema: Teorema. Sea f (z) una funcin con un polo simple z = x0 en el eje real. Entonces: o
0

lim

f (z) dz = i Res(f, x0 )
C

donde C es la semicircunferencia |z x0 | = orientada en sentido horario (de ah el signo ). Ejemplo. La integral I = P sen x dx la podemos encontrar en teor de a x 0 la informacin y es util en procesamiento de seales. Hallar I por el mtodo o n e de los residuos. La integral parece inocente, pero vamos a necesitar los dos teoremas anteriores para resolverla. Como en el ejemplo anterior, extendemos el dominio de integracin a ya que el integrando es una funcin par. Por otro lado, cono o eiz sideramos la funcin f (z) = o , que tiene una singularidad evitable en z = 0. z Entonces: 1 f (x) dx I = Im 2 Sea el contorno C de la gura 6.3 formado por la semicircunferencia CR , los segmentos que van de R a y de a R y la semicircunferencia C de radio . Ntese que, gracias al contorno C , rodeamos la singularidad z = 0. o Al nal, haremos los l mites R y 0, lo cual nos permitir identicar a la integral de a con I por medio de la ecuacin de arriba. Por tanto: o
R

=
C CR

+
R

+
C

=0

116

Residuos y polos ya que f (z) es anal tica en el dominio escogido (la singularidad queda en el exterior de C). Calculamos el residuo: Res(f, 0) = lim z
z0

eiz =1 z

Por tanto, podemos aplicar el teorema visto anteriormente: lim f (z) dz = i Res(f, x0 ) = i
C

La integral sobre CR es cero pues el integrando es de la forma p(z)eiz /q(z) y el grado del denominador (n = 1) es ms grande en una unidad que el del a numerador (m = 0). Finalmente:
R 0 R

lim lim

+
R

= lim

= i
C

Por tanto: I=

1 Im(i) = 2 2

Habr amos llegado al mismo resultado de haber rodeado el origen por debajo. Entonces, la integral sobre C cambia de signo debido al cambio de orientacin o de C y ahora el polo z = 0 est en el interior de C. Por tanto: a
R

=
C CR

+
R

+i Res(f, 0) +

= 2i Res(f, 0)

de donde se deriva I= igual que antes.

1 Im(2i i) = 2 2

El siguiente ejemplo da un resultado muy hermoso, aunque el contorno elegido es diferente al que estamos acostumbrados: Ejemplo. Estudiar los polos y residuos de la funcin f (z) = o calcular I =
C

cotg z para z2 f (z) dz, donde C es el rectngulo de vrtices (n + 1/2) + i, a e

(n + 1/2) + i, (n + 1/2) i y (n + 1/2) i, siendo n = 0, 1, 2, . . .. cos z La funcin cotg z = o tiene polos en los ceros del denominador: z = n/ sen z con n = 0, 1, 2, . . . Por otro lado, la funcin z 2 tiene un polo de orden 2 o en z = 0. En consecuencia, f (z) tiene polos simples a lo largo del eje real en

6.6 Integrales reales impropias

117

z = n/ (n = 1, 2, . . .) y un polo de orden 3 en z = 0. Por tanto, la integral sobre el contorno pedido es I = 2i Res(f, 0) +

n=0

Res(f, n)

Se puede demostrar, por los mtodos de los que hemos hecho uso en esta e seccin, que I = 0 en el l o mite en que la anchura del contorno C tiende a (el polinomio del denominador tiene grado 2). Luego el miembro derecho de la ecuacin anterior tiene necesariamente que anularse. Calculamos la expresin o o para los residuos de los polos simples: Res(f, n = 0) = lim (z n)
zn

cotg z cos z z n = lim 2 zn z z 2 sen z

Utilizamos la propiedad de que el l mite del producto es el producto de los l mites (vase la pgina 35) y aplicamos la regla de lHpital al cociente de la e a o derecha: zn 1 lim = lim zn sen z zn cos z Luego 1 1 Res(f, n = 0) = lim 2 = 2 zn z n y podemos escribir 1 1 =2 = Res(f, 0) 2 n n2 n=1 n=0

Por tanto, si hallamos Res(f, 0) seremos capaces de calcular la serie

n=1

1 . n2

1 d2 3 cotg z 1 d Res(f, 0) = lim z = lim (cotg z z cosec2 z) 2 z0 dz 2 z0 dz (3 1)! z 2 z cos z sen z = lim[(z cotg z 1) cosec2 z] = lim z0 z0 sen3 z = 3 donde hemos utilizado la regla de lHpital. Por tanto: o

n=1

1 = 2 n 6

Este resultado fue obtenido por Euler por primera vez, aunque mediante un 1 mtodo totalmente distinto. De hecho, las series e con k un nmero entero u nk n=1

118

Residuos y polos han sido fundamentales en la historia de las matemticas. Convergen en el caso a 1 k > 1 (para k = 1 la serie armnica o diverge, aunque muy lentamente). n n=1 Estas series pueden generalizarse promocionando el exponente a una variable compleja z: 1 (z) = , Re(z) > 1 nz n=1 La funcin (z) se denomina funcin zeta de Riemann y ha sido objeo o to de innumerables estudios. Parte de este inters proviene de una relacin e o insospechada entre (z) y los nmeros primos. Euler demostr que u o (z) =
p

1 pz

donde p denota nmeros primos sucesivos: p = 2, 3, 5, 7, 11 . . . Sabemos que u (1) = . Por tanto, el productorio de arriba debe tener un nmero innito u de factores. Luego existen innitos nmeros primos. u

6.7.

Integrales con puntos de rama

En ocasiones habremos de integrar funciones no denidas en ciertas regiones que corresponden a cortes de rama. La estrategia que seguiremos consiste en escoger un contorno que evite precisamente el punto de rama. Veamos el siguiente ejemplo: Ejemplo. Hallar I = ln x dx donde a > 0. x2 + a 2 0 ln z Sea la funcin compleja f (z) = 2 o , que no est denida en z = 0 y la parte a z + a2 principal tiene una rama en Re z < 0 (el semieje real negativo). Esto invalida el contorno usual C que consiste en la semicircunferencia superior de radio R unida al eje real, rodeando el origen con una semicircunferencia de radio 0 (gura 6.3). Por tanto, hemos de cambiar de rama. Escogemos que ln z est denido para los ngulos /2 < < 3/2, es decir, escogemos como e a corte de rama el semieje imaginario negativo, que se halla fuera del contorno C. Esta eleccin permite aplicar el teorema de los residuos ya que ahora f (z) o es una funcin anal o tica dentro de (y sobre) C salvo por la singularidad aislada z = ia, que es un polo simple: Res(f, ia) = lim (z ia)
zia

ln(ia) ln z = (z ia)(z + ia) 2ia

i ln a 4a 2a

6.7 Integrales con puntos de rama Por tanto:

R

119

=
C CR

+
R

+
C

= 2i Res(f, ia)

2 ln a +i a 2a

Demostramos que la integral sobre CR , que parametrizamos como z = Rei , es cero: f (z) dz
CR

ln R + i iRei d R2 e2i + a2 0 R(ln R + ) 0 cuando R R 2 a2 =

El l mite de arriba se puede probar aplicando la regla de lHpital: o ln R 1 R ln R = lim = lim =0 R R R R R R2 lim Despus, determinamos la integral sobre C como en la seccin anterior: e o
0

lim

f (z) dz = i Res(f, 0) = i lim z

C z0

z2

ln z =0 + a2

donde en el l mite anterior se ha vuelto a utilizar la regla de lHpital. o Finalmente, hacemos notar que ln z denida en la regin /2 < < 3/2 o toma la forma ln z = ln |x| + i en el semieje real negativo y ln z = ln x en el semieje real positivo. Luego
R 0

lim lim

ln |x| + i dx + x2 + a2

ln x dx 2 + a2 x

ln a 2 +i a 2a

Haciendo el cambio de variables x x en la primera integral, obtenemos

R

2 lim lim

R 0

ln x dx +i lim lim R 0 x2 + a 2

R J

dx ln a 2 = +i x2 + a2 a 2a

Igualando partes reales e imaginarias, llegamos al resultado nal: I= ln a 2a J= 2a

Ntese que hemos obtenido el valor de dos integrales por el precio de una. o Se deja para el lector comprobar que el valor de J es correcto, calculando la primitiva con tcnicas de anlisis real. e a

120

Residuos y polos

6.8.

Aplicacin: Funciones de Green y la echa o del tiempo

Continuamos en esta seccin indagando en las relaciones entre el principio de o causalidad y las integrales en el plano complejo, que ya se introdujo al nal del tema 4. Para ello, es conveniente considerar un sistema modelo: el oscilador armnico o amortiguado y forzado. Sea x(t) el desplazamiento de una part cula de masa m de su posicin de equilio brio a tiempo t. Sobre la part cula se ejerce una fuerza de recuperacin tipo muelle, o kx, siendo k la constante de recuperacin. Tambin supondremos que la part o e cula est inmersa en algn tipo de uido que amortigua su movimiento. Esta fuerza de a u viscosidad toma normalmente la forma x, donde es la constante de rozamiento. Finalmente, tomaremos en cuenta que existe una fuerza externa general, f (t), de modo que la ecuacin de movimiento para x se deriva de la segunda ley de Newton: o m = kx x + f (t) x Esta ecuacin es formalmente idntica a la ecuacin de la carga en un circuito RLC o e o que estudiamos en el tema 3. Se pueden identicar m con la inductancia L, con la resistencia R y k con el rec proco de la capacitancia C. En ese ejemplo considerbamos un potencial externo V (que puede asociarse a nuestra fuerza f ) de tipo a sinusoidal. Ahora no especicaremos la forma concreta de f (t) e intentaremos resolver el problema para una f (t) arbitraria. La estrategia que seguimos es similar: transformar la ecuacin diferencial de segundo orden en una ecuacin algebraica. o o Para ello, multiplicamos los dos miembros de la ecuacin por el factor eit e inteo gramos:

d2 x it e dt + dt2

dx it e dt + k dt

x(t)e

it

dt =

f (t)eit dt

Los trminos que contienen derivadas con respecto a t pueden integrarse por partes. e Por ejemplo: dx it e dt = i x(t)eit dt dt Luego podemos hacer la sustitucin d/dt i en la ecuacin diferencial, obteo o nindose la ecuacin algebraica e o [m 2 + i + k]

x(t)eit dt =

f (t)eit dt

Las funciones denidas por las integrales se denominan transformadas de Fourier. Ya vimos un ejemplo de estas funciones al nal del tema 4. A la denicin se suele o

6.8 Aplicacin: Funciones de Green y la echa del tiempo o aadir el factor numrico 1/2: n e X() = 1 2 1 F () = 2

121

x(t)eit dt f (t)eit dt

Las transformadas de Fourier pueden visualizarse como una descomposicin de una o variable dinmica en una superposicin de trminos armnicos, cada uno de ellos a o e o con una frecuencia . Consituyen una herramienta extraordinariamente util en mu chos problemas f sicos, aunque no ste el sitio adecuado para enumerar todas sus e propiedades. Nos conformamos con saber que transformando al espacio de Fourier podemos reescribir una ecuacin diferencial en una algebraica. En nuestro caso, o tenemos que [m 2 + i + k]X() = F () de donde se tiene inmediatamente que X() = m 2 F () + i + k

Las transformadas inversas de las integrales anteriores son1

x(t) =

X()eit d F ()eit d

f (t) =

Por tanto, la solucin a nuestro problema es o x(t) = F () eit d + i + k 1 ei(tt ) = dt f (t ) d 2 m 2 + i + k m 2

f (t )G(t, t ) dt

donde se ha denido la funcin de Green o G(t, t ) =

1

1 2

ei(tt ) d m 2 + i + k

Las deniciones que aqu se dan no son unicas. Pueden utilizarse perfectamente otras expresio nes alternativas con tal que cumplan dos condiciones: (i) el producto de los prefactores numricos e de la transformada de Fourier y de su inversa debe ser igual a 1/2; y (ii) el exponente de eit en la transformada de Fourier y en su inversa debe tener signo opuesto.

122

Residuos y polos

Las funciones de Green aparecen en ecuaciones diferenciales donde el trmino inhoe mogneo es desconocido o cuando deseamos hallar la solucin para una f (t) arbie o traria. Como la funcin de Green es el inverso de un operador diferencial, existe una o fauna muy poblada de tales funciones, pero todas ellas tienen propiedades en comn. u La que ms nos interesa aqu es que reejan el uir del tiempo, ya que toman una a forma distinta en funcin de si t > t o t < t . De ah que a este tipo de funciones de o Green se les agregue el adjetivo causal. Veamos cmo surge esa dependencia temporal calculando la integral expl o citamente mediante el mtodo de los residuos. Reescribimos la funcin de Green: e o G(t, t ) = 1 2m

ei(tt ) d 2 2 2i 0

donde hemos denido las constantes = y k m La frecuencia 0 es la natural del sistema, correspondiente a la frecuencia con la que oscilar la part a cula si no hubiera rozamiento ni fuerza externa. Considrese ahora la funcin e o 0 = f (z) = ei(tt )z 2 z 2 2iz 0 2m

que es anal tica en todo C salvo en los ceros del denominador: z =

2 0 2 + i

Los puntos z son polos simples con residuos ei(tt )z+ z+ z ei(tt )z Res(f, z ) = z z+ Res(f, z+ ) = Para calcular la integral impropia que dene la funcin G(t, t ) supongamos que o t > t y tomemos el contorno C denido por el semic rculo superior de radio R y el eje real (vase la gura 6.4). Los dos polos caen dentro del contorno. Usando e el lema de Jordan, la integral sobre el arco se anula y, en consecuencia, la integral impropia es igual a la integral compleja sobre todo el contorno, a la cual aplicamos el teorema de los residuos:

ei(tt ) d = 2 2 2i 0

f (z) dz = 2i
C

Res

6.8 Aplicacin: Funciones de Green y la echa del tiempo o

123

Im z C z-R z+ R Re z

Figura 6.4: Contorno de integracin para la evaluacin de la funcin de Green. o o o As pues, ei(tt ) ei(tt )z+ ei(tt )z d = 2i + 2 2 z+ z z z+ 2i 0 2 2 e(tt ) sen 0 2 (t t ) = 2 0 2 Si t < t , el contorno que debemos tomar ahora es la semicircunferencia inferior (l nea a trazos de la gura 6.4) para que el lema de Jordan siga siendo vlido y a podamos anular la integral sobre el arco cuando R . Pero entonces la suma sobre los residuos es cero puesto que los dos polos se sitan por encima del eje real. u Por tanto, la funcin de Green es o 2 1 e(tt ) sen 0 2 (t t ) si t > t 2 m 0 2 G(t, t ) = 0 si t < t y se ve claramente la fuerte dependencia temporal de la funcin de Green. Investigueo mos un poco ms su procedencia. Recordemos que el desplazamiento del oscilador a es x(t) = f (t )G(t, t ) dt

que puede descomponerse en la forma

t

x(t) =

f (t )G(t, t ) dt +
t

f (t )G(t, t ) dt

124

Residuos y polos

o o Como G(t, t ) = 0 si t > t, slo la primera integral contribuye a la posicin de la part cula ya que f sicamente slo tiene sentido que el movimiento del oscilador o venga determinado por la fuerza que ha actuado sobre l en el pasado. Esta es una e manifestacin ms del principio de causalidad que se reeja bellamente en la posicin o a o de los polos de la funcin de Green. Si los polos estuvieran situados por debajo del o eje real, x vendr dado por la accin de f en el futuro, lo cual no tiene sentido a o f sico. No queremos acabar esta discusin sin hacer una observacin curiosa. En el o o l mite en que la viscosidad del medio se anula, 0, los polos z se aproximan al eje real y deja de haber distincin entre pasado y futuro. La echa del tiempo, o entonces, parece depender fuertemente de la presencia de rozamiento en el sistema. Es evidente que si no existe rozamiento, la segunda ley de Newton es invariante bajo inversiones temporales. Por tanto, parece necesaria la presencia de disipacin en un o sistema f sico para que la echa del tiempo apunte en la direccin a la que estamos o acostumbrados.

6.9.

Ejercicios

1. Clasicar las singularidades de las funciones propuestas en el ejercicio 2 del tema 5 y calcular los residuos cuando sea posible. 2. Demostrar que
C

z4

dz =0 + z 3 2z 2

donde C : |z| = 4 y razonar si existe una posible violacin del teorema de o Morera. 3. Calcular las siguientes integrales reales por el mtodo de los residuos: e
2

a)
0

sen2 d 2 + cos x2 dx (x2 + 4)(x2 + 1) x(x2 dx 3x + 2)

b)

c)

d) e) f)

x sen x dx x2 + 16 0 cos 2x dx 2 2 (x + 1)
0

ln2 x dx x2 + 1

6.9 Ejercicios

125

4. Hallar la forma expl cita del desplazamiento de un oscilador armnico amoro tiguado bajo la accin de la fuerza f (t) = f0 cos t. Comparar con las expreo siones obtenidas en el tema 3 para un circuito RLC. 5. Estudiar las correlaciones x(t)x(t ) resultantes de una fuerza uctuante sobre un oscilador armnico amortiguado. Para ello, se pueden seguir los siguientes o pasos: a) Considerar que, en promedio, la fuerza se anula, f (t) = 0, pero que debido a que el medio es viscoso y la temperatura T es nita, las uctuaciones de f no se anulan, f (t)f (t ) = 0. Suponer que la transformada de Fou rier de las uctuaciones es constante: f ()f ( ) = 2kB T . Calcular entonces x()x( ) y, mediante el mtodo de los residuos, x(t)x(t ) . e b) Considerar ahora el desplazamiento cuadrtico medio dado por [x(t) a 2 x(0)] y demostrar que, en el l mite de una part cula no ligada (k 0), [x(t) x(0)]2 = 4Dt donde D = mkB T / es el coeciente de difusin el el medio viscoso. En su o anno mirabilis (1905), Einstein public este resultado explicando el orio gen del movimiento browniano como consecuencia de fuerzas uctuantes actuando sobre una part cula en un medio viscoso. Experimentalmente, se conrma que el desplazamiento de la part cula crece linealmente con el tiempo de acuerdo a la expresin anterior. o

7
Mapeos
ab amos avanzado en el tema 2 que es muy dif visualizar una funcin comcil o pleja arbitraria f (z), a diferencia de lo que ocurre con funciones reales de una variable. La forma ms ecaz de estudiar las propiedades de f (z) se basa en intera pretar geomtricamente la aplicacin f : C C, investigando cmo se transforman e o o dominios del plano z : (x, y) al plano w : (u, v), donde recurdese que u y v son e funciones de las variables x e y:

w = f (z) = u(x, y) + iv(x, y) Por tanto, f (z) mapea un punto (x, y) del espacio de nmeros complejos z a un u punto (u, v) del espacio de funciones u y v (ver gura 7.1). Tales mapeos no son slo una herramienta puramente formal sino que tienen aplicaciones prcticas desde o a el punto de vista de la F sica. Demostremos en este tema que la aplicacin ms o a llamativa consiste en resolver la ecuacin de Laplace en dominios no triviales. o
y =Im z
111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000

v =Im f
111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000

w=f(z)

x =Re z

u =Re f

Figura 7.1: Mapeo general entre dos dominios de los planos z y w.

128
111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000 111111111111111111111111111111111 000000000000000000000000000000000

Mapeos

w=f(z)
111 000 111 000 111 000 111 000 111 000 111 000

Figura 7.2:

7.1.

Mapeo conforme

Denicin. Un mapeo w = f (z) se dice que es conforme en z = z0 si f es anal o tica y f (z0 ) = 0. De forma equivalente, w es conforme en todos los puntos de un dominio D si f es anal tica y biyectiva en D. Los mapeos conformes forman aplicaciones bsicas en problemas de valores en a la frontera (ujos, campos, etc.). La importancia de los mapeos conformes proviene del hecho de que preservan los ngulos entre curvas en magnitud y sentido. Sin embargo, no toda transformacin a o que preserve ngulos es conforme. Por ejemplo, w = z no es conforme ya que no es a anal tica en ningn punto. Sin embargo, w describe una reexin sobre el eje real y u o preserva ngulos. a Existe siempre un mapeo conforme que transforme un dominio dado D en otro cualquiera D ? La respuesta la da uno de los teoremas ms profundos, por su genea ralidad, del anlisis de funciones complejas: a Teorema de Riemann. Sea D un dominio simplemente conexo excluyendo el caso en que D sea todo el plano C. Entonces, existe un mapeo conforme y un voco w = f (z) de D al crculo |w| < 1 del plano w. Lo relevante de este teorema es comprender que nos garantiza la existencia de cualquier transformacin, pues se sigue que si existe un mapeo f (z) de D al c o rculo unidad, entonces el mismo teorema nos garantiza la existencia de un mapeo g(z) de D al mismo c rculo. En consecuencia, los dominios D y D quedan conectados por la transformacin w = f (g 1 (z)). o Por ejemplo, por el teorema de Riemann sabemos que debe existir algn mapeo u que transforme la silueta de la Pen nsula Ibrica en la de la isla de Mallorca (vase la e e o gura 7.2), aunque dicho teorema slo nos garantiza la existencia y no nos proporciona ningn mtodo para calcular el mapeo. Existe, no obstante, una herramienta u e denominada frmula de Schwarz-Christoel con la que se puede construir el o

7.2 Transformaciones lineales

129

mapeo conforme del semiplano superior a una regin poligonal arbitraria. En este o cap tulo vamos a ser menos ambiciosos y estudiaremos mapeos entre regiones con formas geomtricas simples. e

7.2.

Transformaciones lineales
w = Az + B

Sea la transformacin o donde A, B C son constantes. Obviamente, w es conforme. Denimos s(z) = Az. Entonces, podemos expresar w como la transformacin compuesta w(s(z)) = s(z) + o B. Este tipo de razomientos anal ticos sern muy utiles a lo largo del tema. a Estudiemos ahora cmo acta s(z) pasando A y z a coordenadas polares: o u s = A z = aei rei = arei(+) Se deduce de la expresin anterior que s toma un punto del plano z, lo rota un o ngulo alrededor del origen y, a continuacin, dilata o contrae su distancia al a o origen dependiendo de si a > 1 o a < 1. Investiguemos ahora w(s) = s+B. Esta transformacin toma un punto del plano o s y le produce una traslacin ya que en coordenadas cartesianas podemos escribir o B = b1 + ib2 y s = 1 + i2 de tal forma que w = (1 + b1 ) + i(2 + b2 ), es decir, el punto (1 , 2 ) se transforma en el punto (1 + b1 , 2 + b2 ). En resumen, toda transformacin lineal puede descomponerse en las siguientes o transformaciones elementales: dilatacin, rotacin y traslacin. o o o Ejemplo. Sea w = f (z) = i(z + 2). Hallar el dominio D transformado a partir de D : {x > 0}. Se nos pide hallar D tal que w : D D donde D es el semiplano derecho. Descomponemos w introduciendo la transformacin s = g(z) = iz. En o i coordenadas polares escribimos z = re : s = ei/2 rei = rei(+/2) que describe una rotacin de +/2 alrededor del origen (en sentido antihoo rario), conservando el mdulo. En consecuencia, D pasa a ser el semiplano o superior. Finalmente, w = s + 2i traslada el semiplano superior dos unidades hacia arriba, por lo que, en el plano w, D toma la forma D : {v > 2}.

7.3.

Reexin e inversin o o

Ya vimos en el tema 1 que la transformacin w = f (z) = z describ una o a reexin. Efectivamente, en coordenadas polares podemos escribir o w = rei

130 que conserva el mdulo y transforma el argumento de z de a . o La inversin se logra mediante el mapeo w = f (z) = 1/z, ya que o

Mapeos

1 = r1 ei z En el prrafo anterior hemos visto que la transformacin consiste en hacer a o reejar un punto sobre el eje real. Si r > 1, los puntos del plano (x, y) que estn e fuera del c rculo de radio sufrirn una contraccin y pasarn a encontrarse, en el a o a plano (u, v), en el interior del c rculo del radio unidad. Al revs, si r < 1, los puntos e que se siten dentro del c u rculo pasan a estar fuera de l. e w=

7.4.

Transformaciones bilineales

Generalizando las transformaciones anteriores, se pueden considerar los mapeos de la forma az + b w = f (z) = cz + d que reciben el nombre de transformaciones bilineales, homograf o transas formaciones de Mbius. En la ecuacin anterior, a, b, c, d C son constantes que o o satisfacen la condicin ad bc = 0 para que exista la transformacin inversa w1 (z). o o Reescribimos w en la forma 1 acz + ad + bc ad w = c cz + d a bc ad 1 = + c c cz + d
s

a bc ad 1 = + c c s
t

a bc ad = +t c c De esta expresin se deriva que, primero, s describe una transformacin lineal; deso o pus, t produce una inversin; y, nalmente, w realiza una transformacin lineal e o o ms. a zi . Hallar el mapeo del dominio D : {z = x + iy | y Ejemplo. Sea w = z+i 0}. Estudiemos primero cmo se transforma el eje x: o z = x + i0 = w = xi = u + iv x+i |x i| = |u + iv| = =1 |x + i|

7.4 Transformaciones bilineales

131

As pues, se deduce que u2 + v 2 = 1, que es la circunferencia de radio unidad en el plano w. En cuanto al resto de puntos, sabemos que |z i| |z + i| para y 0 ya que |z i| mide la distancia de (x, y) a (0, 1) y |z + i| la de (x, y) a (0, 1). Entonces, D se mapea en el plano w a D : {|u2 + v 2 | 1}, que corresponde el c rculo de radio unidad. El ejemplo anterior ejemplica la siguiente armacin: Las transformaciones bilio neales mapean rectas y circunferencias en rectas o circunferencias, indistintamente. Ejemplo. Sea w =
iz . i+z

Hallar el mapeo del semiplano superior D : {Im z 0}.

Expresamos w en la forma sugerida arriba: iz z i + 2i 2i w= = = 1 + i+z i+z z+i Denimos las siguientes transformaciones parciales: T (z) = z + i I(z) = 1/z L(z) = 2iz (z) = 1 + z w puede expresarse en funcin de las transformaciones anteriores como sigue. o w = (L(I(T (z)))) En consecuencia, D sufre las siguientes transformaciones: (i) una traslacin T o hacia arriba de valor +i; (ii) una inversin I que mapea la regin {Im z 1} o o en el c rculo |z i/2| 1/2; (iii) una rotacin de ngulo +/2 alrededor del o a origen seguida de una dilatacin (duplicacin del mdulo) dada por L y que nos o o o lleva al dominio |z 1| 1; y (iv) una traslacin hacia la izquierda de valor o 1. En denitiva, el mapeo conduce al dominio transformado D : {|w| 1}. De las transformaciones anteriores la menos obvia es la inversin I(z) = 1/z o del dominio {Im z 1}. Vemos cmo se transforma la frontera del dominio, o Im z = 1: 1 x 1 1 = = 2 +i 2 z x+i1 x +1 x +1
u v

donde hemos escrito I = u + iv. Invirtiendo las expresiones anteriores, encontramos que v = 1 = u2 + v 2 v = 0 y = 2 u + v2 2 1 1 2 = u + v =0 2 4

132

Mapeos La ultima ecuacin corresponde a la circunferencia de radio 1/2 y centrada o en (0, 1/2). Los puntos por encima de Im z = 1 se mapean al interior de esta circunferencia, tal y como como hab amos armado antes.

7.5.

Potencias y ra ces

Si la transformacin contiene potencias o ra o ces, es preferible, como ya sabemos, trabajar en la representacin polar. Veamos un par de ejemplos. o Ejemplo. Sea w = z 2 . Hallar el mapeo del primer cuadrante del plano z, es decir, D : {z = x + iy | x 0 , y 0}. En coordenadas polares, z = rei y la transformacin toma la forma o w = r2 e2i Escribimos w en coordenadas polares: w = ei . Entonces, identicando trmino e 2 a trmino en la ecuacin anterior, deducimos que = r y = 2, por lo que e o w produce una dilatacin y una duplicacin del ngulo. Dado que el primer o o a cuadrante corresponde a los valores r > 0 y 0 /2, el dominio transformado representa el semiplano superior: D : {w = u + iv | v 0} ya que > 0 y 0 . En general, la transformacin z n con n 2 implica una dilatacin y un aumento o o del ngulo. En cuanto a las curvas en el plano, es preferible utilizar coordenadas a cartesianas. En el ejemplo anterior, la transformacin pasa a ser w = f (x, y) = o x2 + y 2 2ixy, de donde u = x2 + y 2 y v = 2xy. Luego w transforma hiprbolas e del plano (x, y) en rectas del plano (u, v). Ejemplo. Sea w = z 1/2 . Hallar el mapeo del primer cuadrante del plano z. La transformacin es bivaluada, de ah que nos restrinjamos a la ra principal, o z que, en coordenadas polares, toma la forma: w= rei/2

De la misma forma que en el ejemplo anterior, escribimos w = ei e identica mos = r y = /2. En consecuencia, D : {z = x + iy | x 0 , y 0} pasa a ser el primer octante en el plano (u, v), D : {w = ei | 0 , 0 /4}. De forma general, w = z 1/n produce una contraccin del mdulo y una reduccin o o o del argumento de z.

7.6 Funcin exponencial o

133

7.6.
Sea

Funcin exponencial o
w = f (z) = ez = ex eiy

Puesto que la funcin exponencial es peridica, este mapeo es conforme en un periodo o o en el que no se repita dos veces el mismo valor de ez ; por ejemplo, 0 Im z 2. En coordenadas polares escribimos w = ei . Luego un dominio general D : {z = x + iy} del plano z se transforma en el dominio D : {w = ei | = ex , = y} del plano w. Estas expresiones implican que una recta vertical en el plano z, x = c, donde c es una constante, se mapea en una curva del plano w descrita por las ecuaciones = ec = const. y = y. Reconocemos en estas ecuaciones la frmula o de una circunferencia, ya que el radio es constante y el ngulo es variable. Por lo a tanto, la transformacin exponencial mapea segmentos de rectas verticales en arcos o de circunferencia. Considrese ahora una recta horizontal, y = c. Se deduce inmediatamente que, e en el plano w, = ex es una variable y = c es una constante. Estas ecuaciones equivalen a un rayo que comienza en = 0 y acaba en = . la transformacin o exponencial mapea segmentos de rectas horizontales en rayos. Combinando los resultados de los prrafos anteriores, se inere que un dominio a rectangular en el plano z se mapea a un sector circular en el plano w.

7.7.
Sea

Funcin logar o tmica

w = f (z) = ln z = ln |z| + i

donde se ha utilizado la forma polar z = |z|ei . Escribiendo w en la forma w = u + iv, observamos que u = ln |z| y v = . Tomemos el semiplano superior, que, en coordenadas polares, se expresa como D : {z = rei | r > 0 , 0 }. Enntonces, w transforma D en la regin D : {w = u + iv | u = ln r > 0 , 0 v = }, que o corresponde a una banda en el plano w. Igualmente, un rayo = const. del plano z se mapea a una recta horizontal v = const. del plano w.

7.8.
Sea

Funciones trigonomtricas e
w = f (z) = sen z = sen x cosh y + i cos x sinh y

De la denicin de mapeo conforme se deduce que sen z es conforme en todos los o puntos que satisfagan cos z = 0. Hacemos la descomposicin w = u + iv, de donde se derivan las expresiones o u = sen x cosh y v = cos x sinh y

134

Mapeos

Veamos cmo se transforman las rectas verticales D : {x = c} siendo c una constante: o u = cosh y sen c v = sinh y cos c Sabemos que cosh2 y sinh2 y = 1, as que el dominio transformado es D : u2 v2 =1 sen2 c cos2 c

que corresponde a hiprbolas con focos en w = 1. e De igual forma, rectas horizontales en el plano z, D : {y = c}, se transforman en elipses en el plano w: v2 u2 + =1 D : cosh2 c sinh2 c con focos en w = 1. Ejemplo. Hallar el mapeo de D : {z = x + iy | /2 x /2 , y 0} bajo la transformacin w = sen z. o Determinamos cmo se transforman las semirrectas y el segmento de recta que o forman la frontera de D: Semirrecta {x = /2 , y 0}: w = sen(/2) cosh y + i cos(/2) sinh y = cosh y Como y 0, tenemos que 0 cosh y < . De ah que se obtenga en el plano w la semirrecta { < u 0 , v = 0}. Semirrecta {x = /2 , y 0}: Siguiendo el razonamiento anterior, w = cosh y. Luego la semirrecta se transforma en la semirrecta del plano w dada por 0 < u , v = 0}. Segmento {/2 x /2 , y 0}: En este caso, la transformacin se reduce a w = sen x. Puesto que /2 o x /2, se obtienen en el plano w las ecuaciones {1 u 1 , v 0}, que representan un segmento horizontal en el plano w. Combinando los resultados anteriores, se inere que la frontera de D se mapea al eje u en el plano w. As pues, D ser bien el semiplano superior bien a el semiplano inferior. Para discernir entre las dos posibilidades, tomemos un punto arbitrario dentro de D y veamos cmo se transforma. Sustituyendo o {x = 0 , y > 0}, el mapeo toma la forma w = i sinh y, de donde se sigue que v > 0 pues y > 0. Por tanto, D es el semiplano superior, D : {Im w 0}.

7.9 Ms sobre campos y uidos a

135

Las transformaciones asociadas a otras funciones trigonomtricas y a las funcioe nes hiperblicas se deducen de las propiedades de w = sen z. Veamos un ejemplo. o Ejemplo. Estudiar de forma general las propiedades de la transformacin o w = cosh z basndose en las de w = sen z. a Nuestro objetivo es expresar cosh z en trminos de la funcin seno. Utilizamos e o las expresiones del tema 3: w = cosh z = cos iz = sen iz + 2

Denimos la traslacin t(z) = z+/2, la rotacin r(z) = iz y la transformacin o o o seno s(z) = sen z. Entonces, w = s(t(r(z))) es decir, un dominio dado sufre, por este orden, una rotacin de +/2 alrededor o del origen, despus una traslacin de +/2 y nalmente una transformacin e o o tipo seno.

7.9.

Ms sobre campos y uidos a

Entre las aplicaciones numerosas que ofrece el mapeo conforme, sobresale la posibilidad de resolver la ecuacin de Laplace en dos dimensiones. Ya hab o amos avanzado que esta ecuacin aparece frecuentemente en varias reas de la f o a sica: conduccin de calor, electrosttica, gravitacin y mecnica de uidos. En problemas o a o a relacionados con estos temas, surge la necesidad de resolver la ecuacin o xx + yy = 0 donde es una funcin armnica que puede representar la temperatura estacionaria o o de una placa, el potencial electrosttico o gravitatorio o la velocidad de un uido a ideal. El mtodo que vamos a exponer ahora es mucho ms sencillo que resolver la e a ecuacin en derivadas parciales. La unica restriccin es que su validez queda acotao o da a problemas en dos dimensiones o a problemas en tres dimensiones con simetr a cil ndrica. Tambin puede aplicarse como primera aproximacin a problemas tridie o mensionales en los que la variacin de a lo largo de la tercera componente espacial o puede despreciarse frente a las variaciones en el plano. Teorema. Sea w = f (x, y) = u(x, y) + iv(x, y) una funcin anal o tica que mapea D a D . Si (u, v) es una funcin armnica en D , entonces o o (x, y) = [u(x, y), v(x, y)] es armnica en D. o

136

Mapeos

Demostracin. El teorema se puede probar calculando xx +yy en trminos de uu y o e vv y aplicando, a continuacin, las ecuaciones de Cauchy-Riemann. Sin embargo, es o ms rpido para dominios simplemente conexos emplear el siguiente razonamiento: a a Por hiptesis, (u, v) es armnica y podemos encontrar su armnica conjugada o o o (u, v) tal que la funcin o g(w) = (u, v) + i(u, v) es anal tica en D . Como f tambin lo es, = g(f (z)) es anal e tica por ser composicin de dos funciones anal o ticas. De ah que = Re = [u(x, y), v(x, y)] es armnica en D. o Al ser (x, y) armnica, existir su armnica conjugada (x, y) pues = + o a o i es anal tica. (x, y) representa las l neas de fuerza o de ujo o de nivel, y son perpendiculares a = const., que se denominan curvas equipotenciales (o isotermas en problemas de conduccin de calor). o La resolucin de la ecuacin de Laplace debe cumplir condiciones de valores en la o o frontera de D. Si se especica el valor de la funcin a lo largo del contorno, entonces o el problema recibe el nombre de Dirichlet mientras que si lo que se especica es la derivada de la funcin, se dice que el problema es de Neumann. El siguiente o teorema ja cmo se transforman las condiciones de contorno: o Teorema. Sea w = f (x, y) = u(x, y) + iv(x, y) un mapeo conforme sobre un contorno suave C y sea K la imagen de C bajo w. Si a lo largo de K(u, v) se satisface o d bien = 0 R o bien = 0 (derivada en la direccin perpendicular a K) a lo o dn largo de K, entonces (x, y) = [u(x, y), v(x, y)] satisface, de forma correspondiend te, o bien = 0 R o bien = 0 (derivada en la direccin perpendicular a C) a o dn lo largo de C. Demostracin. El problema de Dirichlet se deduce inmediatamente del primer teoo 1 rema. Ya tenemos todos los ingredientes necesarios para resolver la ecuacin de Lao place en dos dimensiones mediante mapeos conformes. Enumeramos las etapas que constituyen el procedimiento a seguir: 1. Hallar un mapeo conforme w = f (x, y) = u(x, y)+iv(x, y) que sea conveniente para pasar de un dominio complicado D a uno, ms simple, D . a 2. Transformar las condiciones de contorno de de D a D .
Para la demostracin concerniente al problema de Neumann, vase Variable Compleja y sus o e Aplicaciones, J. W. Brown y R. V. Churchill, ed. McGraw Hill, cap. 9.
1

7.9 Ms sobre campos y uidos a

137

3. Resolver el problema (ms sencillo) de condiciones de contorno en D , es decir, a determinar (u, v). 4. Sustituir u(x, y) y v(x, y) en (u, v) y, de este modo, encontrar (x, y). El paso 1 tiene que ver con los mapeos que hemos estado estudiando a lo largo del tema. El paso 2 es el ultimo teorema que hemos visto mientras que el paso 4 es una mera sustitucin. Ilustremos el paso 3 con un ejemplo. o Ejemplo. Sea D : {0 Im w } un dominio en el plano (u, v) donde toma los valores = 0 en el eje u (v = 0) y = 1 en la recta v = . Hallar la funcin armnica en todo el dominio. o o Normalmente, D es un dominio sencillo, como el propuesto en este ejemplo, donde resolver la ecuacin de Laplace es una tarea casi inmediata. Esta es la o ventaja del mtodo basado en mapeos conformes. En este caso, desconocemos e la transformacin, y slo nos piden hallar la funcin armnica en D . Ntese o o o o o que las condiciones de contorno son independientes de u, de modo que es razonable plantear de la hiptesis de que es independiente de u en todo el o dominio D . Por tanto, la ecuacin de Laplace, uu + vv = 0 toma la forma o sencilla vv = 0 que tiene, como solucin general, = Av + B siendo A y B o son constantes que se determinan imponiendo las condiciones de contorno: (u, v = 0) = 0 = A 0 + B = 0 = B = 0 (u, v = ) = 1 = A + B = A = 1 = A = 1

En consencuencia, la funcin que buscamos es (u, v) = v/, que es armnica o o y satisface las condiciones de contorno. Existe alguna otra funcin que cumpla o estas condiciones en D ? Afortunadamente, no. La solucin, si existe, es unica. o As pues, la solucin encontrada es la unica posible. o En los ejemplos de esta seccin tomaremos , para concretar, como la represeno tacin del potencial elctrico (aunque las soluciones son igualmente vlidas a proo e a blemas equivalentes de termosttica o hidrosttica). Se sabe que el campo elctrico a a e viene dado por E = . Por otro lado, la primera ley de Maxwell establece que E = /0 , donde es la densidad de carga y 0 es la constante dielctrica. e Calculando la divergencia de esta ecuacin y usando la denicin de obtenemos o o 2 = 0 en el caso en que no existan cargas libres ( = 0). La ecuacin de Laplace o resultante tambin es util en situaciones en las que no existan cargas libres pero e s conductores, pues siempre se puede asociar una supercie equipotencial a cada uno de ellos. Ejemplo. Dos placas semiinnitas y de espesor despreciable se unen en el punto (x = 1, y = 0) por medio de un material aislante de anchura cero.

138

Mapeos Se aplica a las placas el siguiente potencial: (x, y = 0) = 1 si x < 1 y (x, y = 0) = 1 si x > 1. Hallar (x, y) en la regin y 0 y esbozar las o curvas equipotenciales y las l neas de campo. Ntese la siguiente simetr del problema: si z = x + iy = rei , entonces el o a problema no depende de r puesto que es distinto slo si variamos de 0 o a . Sin embargo, el origen est @@desplazadoAA una unidad a la derecha. La a transformacin que traslada D una unidad a la izquierda viene dada por el o mapeo lineal w = f (z) = z 1 que es conforme ya que f (z) = 1 = 0. Este es el paso 1 (encontrar un mapeo adecuado). El paso 2 del mtodo consiste en mapear las condiciones de contorno: e (u < 0) = 1 (u > 0) = 1

De forma equivalente, en cooordenadas polares (w = ei ) estas condiciones se expresan as : (, = ) = 1 (, = 0) = 1

En el tercer paso hemos de hallar una funcin armnica en D que cumpla o o las anteriores condiciones de contorno. En coordenadas polares la ecuacin de o Laplace toma la forma + + r2 = 0 Como slo depende de , la ecuacin que debemos resolver es sencilla: o o = 0, que tiene como solucin = A + B, siendo A y B constantes por o determinar: (, ) = 1 = A + B = 1 (, 0) = 1 = A 0 + B = 1 La solucin al sistema de ecuaciones anterior es A = 2/ y B = 1, de modo o que 2 2 = 1 = Arg(w) 1 Como w = z 1, podemos sustituir inmediatamente para hallar (x, y): 2 (x, y) = Arg(z 1) 1 = y as completar el paso 4.
2 2 y arctg x1 1 y arctg x1

si x > 1 1 si x < 1

7.9 Ms sobre campos y uidos a

139

Recordamos del tema 3 que la armnica conjugada de Arg(z) es ln |z| para o que la funcin ln z sea anal o tica. Por tanto, = Re donde (z) = i ln 2 (z 1) 1

es una funcin anal o tica. La funcin armnica conjugada de es, pues, = o o Im : 2 (x, y) = ln (x 1)2 + y 2 Las curvas equipotenciales se derivan de la condicin = const., es decir, o Arg(z 1) = const., lo cual implica que las curvas equipotencias son rayos surgiendo del punto z = 1. En cuanto a las l neas de campo, = const., se 2 + y 2 = const., que es la ecuacin que describe circunfededuce que (x 1) o rencias de radio variable centradas en (1, 0). Ejemplo. Hallar el potencial (x, y) en el primer cuadrante del plano donde los semiejes x > 0 e y > 0 forman dos planos conductores mantenidos a potencial = 1 y = 1, respectivamente. Observamos que si el problema planteado tiene las mismas condiciones de contorno que el ejemplo anterior, pero el dominio, esta vez, es el primer cuadrante en lugar del semiplano superior. Por tanto, buscamos una transformacin cono forme que nos lleve de un dominio al otro para sacar provecho de la solucin o que ya conocemos. Este mapeo viene dado por w = f (z) = z 2 = x2 y 2 +i 2xy
u v

que, como vimos ms arriba, abre @@en abanicoAA el primer cuadrante y lo transa forma en el semiplano superior D . Del ejemplo anterior sabemos que la solucin en D es o 2 (u, v) = Arg(w) 1 En general, dado que w = u + iv, tenemos que Arg(w) =
v arctg u v arctg u

si u > 0 si u < 0

Sustituimos ahora w por z 2 . Debido a que u = x2 y 2 , la condicin u > 0 o equivale a x > y mientras que u < 0 equivale a x < y. En consecuencia, la solucin denitiva es o (x, y) =
2 2 2xy arctg x2 y2 1

si x > y

2xy arctg x2 y2 1 si x > y

140

Mapeos

Muchas veces no es posible encontrar un mapeo sencillo y es preferible recurrir a las tablas.2 Ejemplo. Considerar el cable coaxial formado por un conductor exterior en forma de circunferencia de radio 2 y potencial = 1 y un conductor interior circular de radio 1 y potencial = 1. Hallar en la corona circular que limitan los dos conductores y esbozar las supercies equipotenciales y las l neas de campo. De las tablas, encontramos que un mapeo conveniente es w = f (z) = ln z = ln x2 + y 2 +i Arg(w)
u v

que mapea la corona circular D en la banda vertical D : {0 u ln 2}. El contorno interior de la corona se transforma en la recta u = 0 mientras que el exterior se transforma en la recta u = ln 2. Por tanto, las condiciones de contorno en el plano w son: (u = 0, v) = 1 (u = ln 2, v) = 1 Como no depende de v en la frontera, probamos con la funcin = Au + B, o que es armnica en D . Hallamos las constantes: o (0, v) = 1 = A 0 + B = 1 (ln 2, v) = 1 = A ln 2 + B = 1 La solucin es A = 2 ln 2 y B = 1. Luego la funcin buscada en D es o o 2 u1 ln 2 Entonces, usando la transformacin anterior obtenemos o (u, v) = (x, y) = 2 ln ln 2 x2 + y 2 1

Las supercies equipotenciales se ineren de la condicin = const., de donde o x2 + y 2 = const., es decir, son circunferencias centradas en el origen, como cabr esperar. En cuanto a las l a neas de campo, primero hemos de hallar la funcin armnica conjugada: o o 2 y 2 ln z 1 = (x, y) = arctg ln 2 ln 2 x Imponiendo = const., encontramos y = (const.) x, esto es, semirrectas que parten del origen. Tambin de forma natural vemos que el campo resultante e es radial. (z) =
Vase, por ejemplo, Variable Compleja y sus Aplicaciones, J. W. Brown y R. V. Churchill, ed. e McGraw Hill, apndice 2. e
2

7.9 Ms sobre campos y uidos a

141

Para nalizar, veamos un ejemplo con condiciones de contorno de Neumann. Ejemplo. Sean dos placas conductoras semiinnitas con los siguientes potenciales: (x < 1) = 1 y (x > 1) = 1. En el espacio comprendido entre x = 1 y x = 1 se coloca un material perfectamente aislante. Hallar (x, y) en el semiplano superior. Este ejemplo complementa el que resolvimos en la pgina 137 donde se desprea ciaba el tamao de la placa aislante. Ahora lo tenemos en cuenta observando n que la derivada de en la regin aislante debe anularse: d/dn = 0 para o 1 < x < 1 (en este caso, n es la direccin perpendicular al eje x; luego o /y = 0 para y = 0). Tenemos, por tanto, condiciones de contorno de Neumann en el intervalo 1 < x < 1 y de Dirichlet en el resto de la frontera. Transformamos el dominio en uno ms conveniente. Escogemos el mapeo w = a arcsen z, que transforma el semiplano superior en la banda semiinnita D : {u 0 , /2 v /2}. Las condiciones de contorno son (u = /2) = 1 y /v = 0 para v = 0. En D la funcin no debe depender de v: o (u, v) = Au + B. Las condiciones de contorno dan como resultado (/2, v) = 1 = A (/2) + B = 1 (/2, v) = 1 = A (/2) + B = 1 de donde deducimos que A = 2/ y B = 0. Por tanto, la funcin o 2 (u, v) = u es armnica en D y satisface las condiciones de contorno del problema (las de o Dirichlet y la de Neumann). Para hallar (x, y) observamos que w = arcsen z = sen(u + iv) = x + iy de donde se tiene que x = sen u cosh v y = cos u sinh v Eliminamos v elevando al cuadrado ambas ecuaciones y restando: y2 x2 =1 sen2 u cos2 u Sea = sen2 u. Entonces, obtenemos la ecuacin cuadrtica o a 2 (x2 + y 2 + 1) + x2 = 0

142 de donde

Mapeos

1 2 x + y 2 + 1 (x2 + y 2 + 1)2 4x2 2 De los dos posibles signos, escogemos el signo puesto que para y = 0 nos da = 0 y, por tanto, /y = 0. Podemos reescribir la expresin anterior como o = = (x + 1)2 + y 2 2 (x 1)2 + y 2
2

= sen2 u

Luego la solucin nal es: o 2 (x, y) = arcsen (x + 1)2 + y 2 2 (x 1)2 + y 2

7.10.

Aplicacin: Fractales o

Una aproximacin distinta al anlisis del comportamiento de funciones complejas o a basado en las propiedades de mapeo entre dominios del plano C consiste en considerar f (z) como una iteracin o secuencia de puntos dada por z0 , z1 = f (z0 ) , z2 = o f (z1 ) , . . . y estudiar si la secuencia {zk }, que traza una rbita en el plano, es cono vergente o divergente. Para marcar la frontera entre una iteracin convergente y una divergente hace o falta estudiar los puntos jos y los puntos de atraccin de f (z). Se dice que z0 o es un punto jo de f si f (z0 ) = z0 . Para este tipo de puntos la iteracin es o trivial: z0 , z0 , . . . Por otro lado, z0 recibe el nombre de punto de atraccin de o f si |f (z0 )| < 1. Se puede demostrar que si z0 es un punto de atraccin de f , o entonces existe una regin alrededor de z0 tal que todas las iteraciones {zk } acaban, o en el l mite k , en el punto z0 . Esta terminolog se utiliza frecuentemente a en el estudio de sistemas dinmicos. Por ejemplo, si tenemos una part a cula clsica a connada por un potencial V (x) = x2 y utilizamos la variable temporal como ndice de la secuencia, es evidente que el unico punto jo es x = 0 y, adems, es punto de a atraccin en el caso que el amortiguamiento sea muy intenso. o Considrese el mapeo e f (z) = z 2 + c donde c C. Hab amos visto en este tema que el caso c = 0 corresponde a una transformacin que mapea cuadrantes en semiplanos. Ahora vamos a analizarlo desde el o punto de vista de las iteraciones. Si partimos de un punto z0 en el interior del c rculo unidad, entonces la secuencia generada converge al origen y est, por tanto, acotada. a Si |z0 | > 1, la iteracin rpidamente diverge. Por tanto, podemos dividir el plano C o a en dos regiones dependiendo del comportamiento de f (z) bajo iteraciones. Esto parece razonable, pues el mapeo no tiene una forma particularmente complicada. Pero ahora vienen las sorpresas. Si suponemos que c = 0 y variamos c registrando las regiones del plano en las que la iteracin est acotada, nos encontramos diagramas o e

7.10 Aplicacin: Fractales o

143

Im z

Re z

Figura 7.3: Conjunto de Julia correspondiente al mapeo f (z) = z 2 + 1,25. de una complejidad extraordinaria, que hubieran sido impensables a priori viendo la forma inocente que tiene f (z). La frontera entre las regiones de convergencia y divergencia se denomina conjunto de Julia. As el conjunto de Julia para c = 0 , es simplemente la circunferencia de radio unidad. Pero vase ahora en la gura 7.3 e el conjunto de Julia para c = 1,25. Este tipo de diagramas se obtienen con la ayuda del ordenador, discretizando una zona del plano en cuadrados o @@p xelesAA muy pequeos y asignando un color (negro o blanco) dependiendo de si la iteracin n o generada por el punto inicial correspondiente al centro del cuadrado es convergente o divergente3 . Obviamente, con un ordenador no se puede demostrar si una serie diverge. De ah que se establezca una cota L de tal manera que si para algn punto u de la iteracin se cumple |zk | > L, entonces se supone que dicha iteracin diverge. o o Para el mapeo que estamos considerando se puede demostrar que es suciente tomar L = 2. Asimismo, hay que tener en cuenta que el nmero de iteraciones que puede u generar un ordenador es nito. As que tambin colorearemos un cuadrado de negro e si se ha alcanzado el l mite mximo de iteraciones y la secuencia no ha superado la a cota L (aunque nadie nos garantiza que esto no vaya a suceder si seguimos iterando; pero, como primera aproximacin, la suposicin es vlida). El algoritmo toma la o o a siguiente forma cuando se escribe en seudocdigo: o xmin,xmax,ymin,ymax xint,yint itmax d : : : : definen la regin discretizada o intervalo de discretizacin o nmero mximo de iteraciones u a si d=true, la serie diverge

start asignar c para x= xmin hasta xmax en intervalos de xint hacer

El mtodo se puede sosticar y asignar distintos colores con diferentes intensidades en funcin e o del nmero de iteraciones que se han necesitado para alcanzar la cota o basndose en algn otro u a u criterio. As se pueden llegar a generar fractales de gran belleza. ,
3

Gaston Julia (1893-1978), matemtico a francs. Tuvo que e interrumpir sus estudios cuando le llamaron para servir en el frente durante la I Guerra Mundial, y all perdi la o nariz. En 1918 public un trabajo o sobre el conjunto que lleva su nombre, aunque fue rpidamente a olvidado. En los a os 70, con la n aparicin de los o ordenadores, el campo de los fractales se desarroll ino cre blemente y el trabajo de Julia fue justamente reconocido.

144 para x= ymin hasta ymax en intervalos de yint hacer definir z = (x,y) d = false i = 1 mientras i <= itmax hacer w = z*z + c si mdulo de w > 2 entonces o u = true salir de mientras si no i = i + 1 z = w si u=false pintar el pxel de negro si u=true pintar el pxel de blanco end

Mapeos

El lector puede intentar generar por s mismo distintos conjuntos de Julia va riando el parmetro c y observar la complejidad de algunos de ellos4 . Por ejema a plo, algunos presentan auto-similaridad, es decir, presentan una estructura na que, cuando es magnicada, resulta ser igual o parecida a la estructura grande. Como este efecto sigue ocurriendo a escalas arbitrariamente pequeas, parece que ciertos n conjuntos forman un complejo innito de supercies. Esto lleva a pensar que, aunque se representen en un plano, la dimensin efectiva de estos objetos dista de ser o igual a 2. Por ejemplo, est claro que la dimensin de una recta es 1 y la de una a o supercie bidimensional es 2, pero qu dimensin podr e o amos asignar a un objeto que se replica innitamente y, aun as permanece acotado? Estos objetos se denomi, nan fractales puesto que se puede demostrar que su dimensin contiene una parte o fraccionaria. Los fractales estn lejos de ser un mero divertimento abstracto ya que a se pueden apreciar estructuras fractales en objetos naturales tales como cordilleras montaosas, perles costeros o incluso en sistemas biolgicos como redes neuronan o les. En F sica, el estudio de los fractales est a ntimamente ligado a la aparicin de o comportamientos caticos de ciertos sistemas dinmicos. Se sabe que en estos sisteo a mas las trayectorias tienen una sensibilidad exponencial a cambios diminutos en las condiciones iniciales y se ven atra das a regiones del espacio de fases que tienen una estructura intrincada y que no son simplemente puntos o formas geomtricas sene cillas, sino que pueden representarse mediante fractales. Dichos atractores extraos n se han observado en meteorolog sistemas electrnicos o reacciones qu a, o micas, por citar unos pocos ejemplos.
Para algunos valores de c se obtienen conjuntos desconexos. El conjunto de Mandelbrot es un diagrama en el plano c que describe qu conjuntos de Julia son conexos y cules no. e a
4

7.11 Ejercicios

145

7.11.

Ejercicios
iz . i+z

1. Sea w =

Hallar el mapeo del primer cuadrante del plano z.

2. Sea w = zR . Hallar el mapeo del semic rculo superior D : {z = Rei | R > z+R 0 , 0 }. 3. Sea w = cosh z. Hallar el mapeo del dominio D : {x 0 , 0 y }. 4. Sea D el dominio tipo @@cuarto crecienteAA formado por los puntos z exteriores a la circunferencia |z 1| = 1 e interiores a la circunferencia |z 2| = 2. El potencial de la circunferencia interior se ja a = 0 mientras que el de la exterior es = 1. Hallar (x, y) dentro de D utilizando el mapeo bilineal w = i + 4i . z 5. Sea D el semiplano superior donde el potencial del eje x se ja de la siguiente forma: = 1 en el intervalo 2 < x < 2 y = 0 fuera de l. Hallar (x, y) y e las l neas de campo asociadas. 6. Sea D el dominio tipo @@cuaAA formado por los puntos z = rei tales que n 0 /4 y r 2. Los segmentos conductores z = 2ei0 y z = 2ei/4 se mantienen al potencial = 0 y = 1 respectivamente. Supngase que se o construye el borde r = 2 , 0 < < /4 con un material aislante. Hallar (x, y) dentro de la cua y determinar las l n neas de campo y las curvas equipotenciales. 7. Estudiar la dimensin fractal del conjunto de Julia para diferentes valores de o c. Se pueden seguir los siguientes pasos: a) Utilizar el criterio de Grassberger y Procaccia para calcular la dimensin o fractal: ln C(r) D= ln r donde C(r) es el correlador denido mediante la expresin o C(r) = 1 N2 (r |zi zj |)
i=j

siendo N el nmero de puntos del conjunto de Julia y r > 0. En la ecuau cin anterior (x) es la funcin theta de Heaviside y las sumas recorren o o todos los puntos del conjunto. Para valores intermedios de r el cociente anterior es una recta y la pendiente nos dar un valor aproximado, pero a vlido, de D. a b) Representar D en funcin de c desde c = 0 a c = 2 y razonar los valores o de D en los extremos del intervalo.

Soluciones a los ejercicios

Tema 1
1. a) 2 3i b) 4 + 5i c) 1 + 7i
7 d ) 25 1 i 25

e)

7 2

3. Recta y = mx + b de pendiente m y ordenada en el origen b. 4. 2+ 2+i 2 2 2+ 2+i 2 2 2+ 2i 2 2 2+ 2i 2 2 1 1 6. 1 + 1 21+i 2 + 2 2+1 2 2 1 21+i 1 1 2+1 2 1 2 2 2

Tema 2
1. a) f es derivable a lo largo de la recta y = x y f = 2x. f no es anal tica. b) f es derivable y anal tica en todo C salvo en los puntos singulares z = 0, i. c) f no es derivable. d ) f es derivable y anal tica si a = 1 y b = 1. f = 1 i para todo z. e) f no es derivable. f ) f es derivable en el primer y cuarto cuadrantes (incluyendo el origen). f es anal tica en x > 0 para todo y. f = 2x + i2y. 2. v(x, y) = x3 3xy 2 3. f (x, y) = 5.
x3 3

xy 2 2yx + 1 + i x2 y

y3 3

y 2 + x2 +

4 3

a) E no es conservativo. neas de ujo son hiprbolas. e b) E es conservativo. Las l

Tema 3

148 1. z = in (n = 0, 1, 2, . . .)

Mapeos

3. e(3+8n) [cos(2 ln 2) + i sen(2 ln 2)] (n = 0, 1, 2, . . .). El valor principal corresponde a tomar n = 0 en la expresin anterior. o 4. ei2n (n = 0, 1, 2, . . .) 5.
2 i + n + 2 ln 3 (n = 0, 1, 2, . . .)
2

Tema 4
1. a) 0 b) 2. a)
4i i 2

cosh 2

b) 0 c) 2i d) 0 e) 2i 3. 2i 5. |f (z)|mx = 9, |f (z)|m = 1 a n

Tema 5
1. 2.
n=1 z1 n . 2

Radio de convergencia R = 2. 1)n1 y

(1)n n=0 (z1)n+2

a) b) c) d)

n n=0 (1) (z

n+1 n1 n=0 4n+2 z 1 1 1 2!z3 + 4!z5 . . . z n zn 2n+1 + 2(1) n=0 n=1 z 2n

2 3

3. 1 z + z3 z4 + . . . Radio de convergencia R = 1. La primitiva es F (z) = 2 2 3 a0 + z z4 + z9 . . ., donde a0 es una constante.

Tema 6
1. a) Polos simples en z0 = 0, 1 con residuos Res(f, 0) = 1 y Res(f, 1) = 0 b) Polo simple en z0 = 0 con residuo Res(f, 0) = 1/16 y polo doble en z0 = 4 con residuo Res(f, 4) = 1/16. c) Singularidad esencial en z0 = 0 con residuo Res(f, 0) = 1. d ) Polos simples en z0 = 2, i, i con residuos Res(f, 2) = 1, Res(f, i) = i y Res(f, i) = i

7.11 Ejercicios 3. a) 2(2 b) d) e) f)

3

149 3)

c) 0
2e4 3 2e2 3 8

Tema 7
1. D : {x2 + y 2 1 , y 0} 2. D : {x 0 , y 0} 3. D : {y 0} 4. (x, y) = 2 5. (x, y) = 6. (x, y) =
1 4 4x x2 +y 2
2 2

4y 1 arctg x2 +y2 1 , (x, y) = ln (x2)2 +y2 (x+2) +y y 2 arctg x , (x, y) = ln(x2 + y 2 )