Apuntes de Variable Compleja

Jose S. Cnovas Pea 9 de febrero de 2009

ndice General Advertencia. Estos apuntes no han sido corregidos. Cualquier errata o error que se detecte, por favor, escribid a mi direccin jose.canovas@upct.es, para que en un futuro se pueda subsanar. No son los apuntes de la asignatura. Son una gua que no tiene porqu corresponderse al cien por cien con lo explicado en clase. Se ha utilizado el smbolo = para denotar un paso en alguna demostracin que, siendo cierto, no est bien justicado. Normalmente cuando se trata de permuta de lmites, como una integral con un sumatorio. Para un estudio de las pruebas rigurosas al cien por cien nos remitimos a la bibliografa al nal de estas notas.

ndice General

ii

ndice General
1 El cuerpo de los nmeros complejos 1.1 Introduccin a los nmeros complejos . . . . . 1.2 Operaciones con nmeros complejos: el cuerpo 1.3 El conjugado de un nmero complejo . . . . . 1.4 Mdulo y argumento de un nmero complejo . 1.5 Topologa del plano complejo . . . . . . . . . 1.5.1 La esfera de Riemann . . . . . . . . . . 1.5.2 Sucesiones de numeros complejos . . . 1.5.3 Series de numeros complejos . . . . . . 1.6 Ejercicios . . . . . . . . . . . . . . . . . . . . 1 1 2 3 4 7 8 9 9 9 13 13 13 14 14 15 16 17 18 21 22 27 27 28 29 32 34 41 41 44 47 48

. . . . . . complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

2 Funciones de variable compleja. Derivada en sentido complejo. 2.1 Funciones de variable compleja . . . . . . . . . . . . . . . . . . . . 2.1.1 Polinomios con coecientes complejos . . . . . . . . . . . . . 2.1.2 Funciones racionales complejas . . . . . . . . . . . . . . . . 2.1.3 Funcin exponencial compleja . . . . . . . . . . . . . . . . . 2.1.4 Funciones trigonomtricas complejas . . . . . . . . . . . . . 2.2 Lmites de funciones de variable compleja . . . . . . . . . . . . . . . 2.3 Continuidad de funciones de variable compleja . . . . . . . . . . . . 2.4 Derivacin en sentido complejo . . . . . . . . . . . . . . . . . . . . 2.5 El logaritmo complejo . . . . . . . . . . . . . . . . . . . . . . . . . 2.6 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Integracin compleja. 3.1 Curvas en el plano complejo . . . . . 3.2 Integrales de funciones sobre caminos 3.3 El Teorema de Cauchy . . . . . . . . 3.4 Las frmulas integrales de Cauchy . . 3.5 Ejercicios . . . . . . . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

4 Series de potencias y de Laurent. Polos y residuos. 4.1 Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3 Singularidades de una funcin compleja. Clasicacin de singularidades aisladas 4.4 Transformada Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii

. . . .

. . . .

. . . .

ndice General 4.4.1 Ecuaciones en diferencias nitas . . . . . . . . . . . . . 4.4.2 Denicin y propiedades bsicas . . . . . . . . . . . . . 4.4.3 Transformada Z inversa . . . . . . . . . . . . . . . . . 4.4.4 Aplicacin a la resolucin de la ecuacin en diferencias 4.4.5 Funciones de transferencia. . . . . . . . . . . . . . . . . 4.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 El Teorema de los residuos. 5.1 Residuo de un punto . . . . . . . . 5.2 El Teorema de los residuos . . . . . 5.3 Aplicaciones al clculo de integrales 5.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 49 52 52 54 55 61 61 62 64 65

iv

Captulo 1 El cuerpo de los nmeros complejos

Sumario. Suma y producto de nmeros complejos. Potenciacin y radicacin de nmeros complejos. Mdulo y argumento. Topologa del plano complejo. La esfera de Riemann.

1.1

Introduccin a los nmeros complejos

x2 + 1 = 0.

Supongamos que queremos resolver la ecuacin

Nos encontramos entonces que x2 = 1 y no existe ningn nmero real que verique tal condicin. Introducimos entonces un nuevo nmero i de manera que verique la ecuacin, esto es, i2 = 1. Este nmero, del que todava no hemos apuntado sentido alguno, debe tener las siguientes peculiaridades. i0 = 1, i1 = i, i2 = 1, i3 = i i2 = i, i4 = i2 i2 = (1)(1) = 1 y a partir de esta todas las potencias se repiten, tenindose que in = ik , k = 0, 1, 2, 3, donde k es el resto de la divisin de n por 4, es decir n = 4 l + k, l N. Se dene entonces un nnero complejo como una expresin de la forma z = a + ib, a, b R. Dicha manera de escribir un nmero complejo se dice binmica. De esta manera, si operamos formalmente tenemos que la soluciones de la ecuacin x2 2x + 2 = 0 1

El cuerpo de los nmeros complejos son 2i 4 4 x= = = 1 1i, 2 2 con lo que puede resolverse cualquier ecuacin algebraica de grado dos. Dado un nmero complejo z = a + ib, se dene su parte real Re z = a y su parte imaginaria Im z = b. Si la parte imaginaria es nula el nmero es real, mientras que si la parte real es nula, el nmero complejo se dice imaginario puro. Entonces podemos identicar los nmeros complejos como pares ordenados de R2 donde la parte real sea el eje x y la parte imaginaria sea el eje y. Entonces podemos identicar los nmeros complejos como vectores del plano 2

El conjunto de todos los nmeros complejos lo denotaremos por C y es evidente que R C.

1.2

Operaciones con nmeros complejos: el cuerpo complejo

Vamos a dotar al conjunto de los nmeros complejos de unas operaciones suma y producto de tal manera que el conjunto C con estas operaciones tenga estructura de cuerpo conmutativo. Para denir la suma tomamos como idea la idencacin hecha anteriormente de C con el plano real. Dados entonces los nmeros complejos z = a + ib y w = c + id denimos su suma z + w = (a + c) + i(b + d), es decir, atendiendo a la denicin de suma de vectores en el plano real. Las propiedades de la suma son las siguientes. (S1) La suma es conmutativa, es decir, dados z, z 0 C se verica que z + z 0 = z 0 + z. (S2) La suma es asociativa, es decir, dados z, z 0 , z 00 C se cumple que (z + z 0 ) + z 00 = z + (z 0 + z 00 ). 2

El cuerpo de los nmeros complejos (S3) Existe elemento neutro que se corresponde con el 0. As para todo z C se cumple que z + 0 = z. (S4) Dado z = a + bi, existe su elemento simtrico a + i(b), que tambin escribiremos a bi. Con estas cuatro operaciones se dice que (C, +) es un grupo abeliano o conmutativo. Es importante darnos cuenta que cuando los nmeros complejos no tienen parte imaginaria, entonces la suma de mmeros complejos es la suma de nmeros reales que ya conocemos. Esta ltima idea la tendremos tambin en cuenta a la hora de denir el producto de nmeros complejos. Para jar ideas, sean los nmeros complejos z = a + ib y w = c + id y denamos su producto como z w = (a + ib) (c + id) = ac bd + i(ad + bc). Como vemos, si tanto b como d son nulos, recuperamos el producto usual de los reales. El producto verica las siguientes propiedades. (P1) El producto es conmutativo, es decir dados z, z 0 C se verica que z z 0 = z 0 z. (P2) El producto es asociativo, es decir, dados z, z 0 , z 00 C se cumple que (z z 0 ) z 00 = z (z 0 z 00 ). (P3) Existe el elemento neutro 1 que se corresponde con el neutro de los reales. Es decir 1z = z para todo z C. (P4) Todo nmero complejo z no nulo verica que tiene inverso. Si z = a + bi su inverso ser a b z 1 = 2 i 2 . 2 a +b a + b2 (P5) Propiedad distributiva del producto respecto de la suma. Si z, z 0 , z 00 C se verica que z (z 0 + z 00 ) = z z 0 + z z 00 . Con estas propiedades (S1)(S4) y (P1)(P5) se verica que (C, +, ) tiene estructura de cuerpo conmutativo.

1.3

El conjugado de un nmero complejo

Dado z = a + ib, se dene su complejo conjugado z = a ib. El conjugado tiene las siguientes propiedades. (C1) z = z para todo z C. (C2) z + w = z + w para todo z, w C. (C3) z w = z w para todo z, w C. (C4) z z R para todo z C. (C5) Si z R, entonces z = z. 3

El cuerpo de los nmeros complejos La demostracin de estas propiedades es sencilla. Por ejemplo para probar (C1) basta darse cuenta de que al cambiar dos veces de signo el nmero complejo queda como estaba. Para probar (C2), tomemos z = a + ib y w = c + id. Entonces z + w = (a + c + i(b + d)) = a + c i(b + d) = (a ib) + (c id) = z + w. Para probar (C3), dmonos cuenta de que z w = (ac bd + i(ad + bc)) = ac bd i(ad + bc) y por otro lado con lo que la propiedad (C3) se verica. Para probar (C4) hay que darse cuenta de que z z = a2 + b2 R. Por ltimo, la propiedad (C5) es inmediata. El uso del conjugado es muy til en algunas ocasiones. Por ejemplo, si z C \ {0}, tenemos que su elemento inverso puede escribirse como z z 1 = . zz z w = (a bi) (c di) = ac bd i(ad + bc),

1.4

Mdulo y argumento de un nmero complejo

Ya vismo que los nmero complejos los podemos identicar con el plano R2 . En virtud de esta identicacin, a todo nmero complejo z 6= 0 podemos asociarle y mdulo y un argumento o ngulo que forma el vector determinado por el nmero complejo con el eje x.

Empecemos por el mdulo. Dado z = a + ib C, se dene su mdulo como |z| := + z z = + a2 + b2 . La propiedades del mdulo son las siguientes: 4

El cuerpo de los nmeros complejos (M1) Para todo z C se verica que |z| 0 y adems |z| = 0 si y slo si z = 0. (M2) Para todo z C se verica que |z| Re z |z| y |z| Im z |z|. (M3) |z w| = |z| |w|, para todo z, w C. (M4) Si z 6= 0 entonces |z 1 | = 1/|z|. (M5) Si z 6= 0, entonces para todo w C, |w/z| = |w|/|z|. (M6) Desigualdad de CauchySchwarz. Para todo par de nmeros complejos z, w se verica que | Re(z w)| |z| |w| e | Im(z w)| |z| |w|. (M7) Desigualdad triangular. Dados z, w C se verica que |z + w| |z| + |w|. La primera propiedad es inmediata debido a la propia denicin de mdulo. Por otra parte lo a + b2 = 0 si y solamente si a = b = 0 con que la primera propiedad (M1) se verica. Para comprobar la propiedad (M2) notemos que a2 + b2 max{a, b} + a2 + b2 . Probemos ahora (M3) para lo cual hacemos el clculo |z w| = + z w z w = + z z w w = |z| |w|.
2

Probemos ahora (M4) teniendo en cuenta que z z 1 = 1 y utilizando (M3) tenemos que |z z 1 | = |z| |z 1 | = 1, de donde se deduce que |z 1 | = |z|1 = 1/|z|. La propiedad (M5) se deduce automticamente de las propiedades (M3) y (M4). Para probar (M6) sabemos que por (M2) y (M3) | Re(z w)| |z w| = |z| |w| e | Im(z w)| |z w| = |z| |w|. Finalmente, para demostrar la propiedad triangular, calculamos |z + w|2 = = = = (z + w) (z + w) = (z + w) (z + w) z z + w w + z w + z w = |z|2 + |w|2 + z w + z w |z|2 + |w|2 + 2 Re(z w) |z|2 + |w|2 + 2|z| |w| (|z| + |w|)2 ,

de donde tomando cuadrados obtenemos la desigualdad pedida. Pasemos a continuacin a introducir el argumento de un nmero complejo. Para ello sea z C \ {0}. Un nmero real se dice un argumento de z si se verica que Re z = |z| cos , Im z = |z| sin . 5

El cuerpo de los nmeros complejos Dmonos cuenta que si es un argumento de z, cualquier multiplo de 2 de tambin es un argumento, por lo que el conjunto de los argumentos ser arg(z) = { : Re z = |z| cos , Im z = |z| sin } = { + 2k : k Z} donde es el nico argumento comprendido entre [0, 2). Un nmero complejo z 6= 0 se dice que est en forma polar si z = |z| , arg(z). Se dice que est en forma trigonomtrica si se escribe como z = |z|(cos + i sin ), arg(z). Ambas formas tratan de escribir el nmero complejo dependiendo de su mdulo y su argumento, al igual que las coordenadas polares en R2 . Pero adems en el caso de los nmeros complejos, las formas polar y trigonomtrica son tiles para trabajar con el producto, potencias y races de nmeros complejos. Por ejemplo sean z, w C \ {0} y multipliqumoslos en forma trigonomtrica. Entonces, si arg(z) y arg(w) tenemos que z w = |z|(cos + i sin ) |w|(cos + i sin ) = |z| |w|(cos cos sin sin + i(cos sin + cos sin ) = |z| |w|(cos( + ) + i sin( + )) con lo que en foema polar, hacer una multiplicacin de nmeros complejos es bsicamente multiplicar los mdulos y sumar los argumentos, esto es z w = (|z| |w|)+ . Igualmente si n N y si w 6= 0 z n = (|z|n )n z = w |z| |w| .

Tambin son tiles las coordenadas polares para obtener las races nsimas de un nmero complejo. Si z 6= 0, entonces w = n z si y slo si z = wn . Entonces wn = (|w|n )n = |z| , de donde |w|n = |z| o equivalentemente |w| = y = p n |z|

+ 2k , k Z. n Ahora bien, si k {0, 1, ..., n 1} tenemos que k = n l + p, p {0, 1, ..., n 1} con lo que / + 2(nl + p) + 2p + 2k = = + 2l n n n 6

El cuerpo de los nmeros complejos con lo que todos los argumentos de las races estn son = y por tanto las races son + 2k , k = 0, 1, ..., n 1 n

p n z = n |z| +2k , k = 0, 1, ..., n 1.

n

1.5

Topologa del plano complejo

La topologa del plano complejo es similar a la que el alumno conoce de R2 . Basta darse cuenta para ello que si z = a + ib C, entonces su mdulo |z| = + z z = + a2 + b2 coincide con el mdulo o norma del vector del plano correspondiente. As, dado z0 C y r > 0, se dene la bola abierta de centro z0 y radio r al conjunto B(z0 , r) = {z C : |z z0 | < r} y se dene la bola cerrada como B(z0 , r) = {z C : |z z0 | r}. Un conjunto A C se dir abierto si para cada z0 A existe r > 0 de manera que B(z0 , r) A. Un conjunto A C se dice cerrado si su complementario C \ A es abierto. Por supuesto que la bola abierta (respectivamente cerrada) es un conjunto abierto (respectivamente cerrado). Por ejemplo el conjunto {z C : Re z > 0} es un conjunto abierto mientras que el conjunto {z C : Re z 0} es cerrado. Por supuesto existen conjuntos que no son abiertos ni cerrados, como por ejemplo {z C : Re z > 0, Im z 0}. Dado un conjunto A se dene el interior de A, Int(A), como el mayor abierto contenido en A. Se dene su clausura, Cl(A), como el menor cerrado que contiene a A. Se dene la frontera de A, Fr(A) = Cl(A) \ Int(A). El conjunto A es acotado si existe M > 0 tal que |z| < M para todo z A. A se dir compacto si es cerrado y acotado. Por ltimo, un punto z0 es punto de acumulacin de A si para todo > 0 se verica que B(z0 , )A contiene innitos puntos. Los puntos de acumulacin son importantes porque son aquellos con los que calcularemos los lmites y las nociones asociadas de derivada. Es fcil darse cuenta que si A es un conjunto abierto, entonces todos sus puntos son de acumulacin. 7

El cuerpo de los nmeros complejos

1.5.1

La esfera de Riemann

Igual que en la recta real tenemos dos smbolos + para indicar nmeros reales arbitrariamente grandes y para indicar nmeros reales arbitrariamente pequeos, en en cuerpo de los nmeros complejos tenemos un simbolo para indicar nmeros complejos con mdulo arbitrariamente grande. Para visualizar este smbolo, consideramos la esfera S 2 dada por la ecuacin x2 + y 2 + z 2 = 1 y sea N = (0, 0, 1) su polo norte y S = (0, 0, 1) su polo sur. Identicamos el conjunto de nmeros complejos con el plano z = 1 (es decir un nmero complejo z = a + ib lo escribiremos (a, b, 1)) y construimos una aplicacin biyectiva p : S 2 \ {N} C dada por p(x, y, z) = 2(x + iy) z1

y que se obtiene de la interseccin de la recta que pasa por N y el punto (x, y, z) con el plano z = 1.

Entonces podemos identicar el innito del plano complejo con el polo norte de la esfera, que se conoce con el nombre de esfera de Riemann. Con estas ideas, obtenemos la bola de centro como B(, r) = {z C : |z| > r}. Ademas z + = , si z 6= 0, z = , 1 = 0 y 01 = . Como siempre 0 , y / son indeterminaciones, que habr que resolver en el clculo de los lmites. 8

El cuerpo de los nmeros complejos

1.5.2

Sucesiones de numeros complejos

Una sucesin de nmeros complejos es una aplicacin zn : N C. Toda sucesin de nmeros complejos la podemos ver como dos sucesiones de nmeros reales al vericarse que zn = Re zn +i Im zn . De esta manera el clculo de lmites se reduce a lo siguiente: limn zn = a + ib si y solo si limn Re zn = a y limn Im zn = b. limn zn = si y slo si limn |zn | = +. Es decir, el clculo de lmites de sucesiones de variable compleja se hace una vez conocido el clculo de lmites para sucesiones de variable real.

1.5.3

Series de numeros complejos

Lo mismo que hemos apuntado para sucesiones de nmeros complejos ocurre para series de nmeros complejos. Dada una sucesin de numeros complejos zn se contruye la serie de trmino genera zn generando la sucecin sn = s1 + s2 + ... + sn . Al posible lmite de dicha sucesin lo denotamos P formalmente por zn y decimos que la serie es convergente siP lmite es unP el nmero complejo n=1 P y divergente en caso contrario. De nuevo tenemos que zn = Re zn + i Im zn por lo n=1 n=1 n=1 que podemos dar los siguientes casos. P P P n=1 zn es convergente si y slo si n=1 Re zn y n=1 Im zn son convergentes. P P Si n=1 |zn | es convergente se dice que n=1 zn converge absolutamente. La convergencia absoluta implica la convergencia pero no al revs (por ejemplo considerar la serie ya conocida P n n=1 (1) /n). P P Por ltimo, si tenemos dos series de nmeros complejos zn y wn , podemos multiplicar n=1 n=1 ambas series de la siguiente manera ! ! ! ! ! X X X X X zn wn = z1 wn + z2 wn + ... + zn wn + ...
n=1 n=1 n=1 n=1 n=1

Este producto, si ambas series son absolutamente convergentes puede reordenarse de la manera siguiente ! ! n X X XX zn wn = zi wni+1 ,
n=1 n=1 n=1 i=1

que se conoce como forma del producto de Cauchy de series.

1.6

Ejercicios
(a) (1 + i)3 (b) 1 i (c) 2+3i 34i (d) (1+i 3)3 9 (e) i5 + i16 (f) 2/2 (g) 1 + i + i2 + i3 (h) 1/4

1. Expresar los siguientes nmeros complejos en forma binmica:

El cuerpo de los nmeros complejos 2. Escribir en forma algebrica los complejos siguientes, donde denota el mdulo y un argumento a) = = 2, b) = 1, = /4 c) = 2, = /3 d) = 2, = /2 3. Calcular las siguientes races: 3 3 6 4 (e) 8 (g) 1 (a) 1 (c) i 8 (b) 1 (d) 1 i (f) 3 + 4i (h) 3 2 + 2i 4. Calcular el mdulo y el argumento de los siguientes nmeros complejos: (a) 3 + 4i (b)
1+i 1i

(c) i7 + i10

(f) 1 + i + i2

5. Calcular el mdulo y el argumento principal de los siguientes nmeros complejos: 4 (a) 2i (c) 3i (e) 1 (g) 1 (b) 3 (d) 1+i (f) 3 + i 3 (h) 3 2 + 2i 2 6. Representar grcamente los siguientes conjuntos de nmeros complejos: (a) {z C : |z| = 1} (c) {z C : |z| 1} (e) {z C : z + z 1} (b) {z C : z z = i} (d) {z C : Imz < 0} (f) {z C : |Rez| < 1} 7. Representar grcamente el conjunto de los puntos del plano z tales que se verica: (a) Re(z) + Im(z) = zz (e) Im(z 2 ) > 2 (i) |z 2| = |1 2z| (b) |z|1 1, (z 6= 0) (c) |z 5i| = 8 (d) 5i| = 8 |z (f) Re(z 1 ) = 1 (g) 2 < |z| < 3 (h) z1 1 z+1 (j) Re (z 2 z) = 0

8. Dados los nmeros complejos z1 = 2 i y z2 = 4 + i. Hallar z1 + z2 , 3z1 2z2 , z1 z2 , (z2 )1 , z1 . z2 9. Si z1 = 6i y z2 = 8 i, hallar z1 z2 ,

z1 z2 , , z2 z1 2 z2 z1 . 1i . 1+i

10. Hallar las partes real e imaginaria del complejo z =

11. Determinar x e y, para que se cumpla la igualdad (1 + i)(x + iy) = i. 12. Calcular (2 + 2i)2 , (2 2i)2 , (2 + 2i)(2 2i). 14. Encontrar las cuatro races cuartas de z1 = 8(1 3i) y de z2 = 81. 15. Calcular (1 + 3i)30 , 3 1 + i. 16. En qu vector se transforma 3 + 3i al girarlo /2?.Qu ngulo es necesario girarlo para que el resultado sea 2 3i? 10 13. Demostrar que |z| = 1 Re(z) = Re(z 1 ).

El cuerpo de los nmeros complejos 17. Demostrar la identidad de Lagrange, para a, b, c, d R se verica 2 a + b2 c2 + d2 = (ac bd)2 + (ad + bc)2

Indicacin: Considerar el nmero complejo z = (a + bi) (c + di) y hallar su mdulo de dos modos diferentes.

18. Sea p(x) = an xn + an1 xn1 + ... + a1 x + a0 un polinomio con coecientes reales, esto es, ai R para 0 i n. Se pide: (b) Usando el apartado anterior, probar que si z0 es solucin compleja de P (z) = 0, entonces su conjugado tambin es solucin. (c) Calcular todas las soluciones de x4 2x3 + 2x2 2x + 1 = 0. 19. Resolver las ecuaciones (a) x2 + 1 = 0 (b) x3 + 2 = 0 (c) x5 + 64 = 0 (d) (x2 + 4)(x 1)2 = 0. 20. Estudiar la convergencia de las siguientes series complejas: P P P n n n (a) (2i)2 (c) (1) +i (e) (1+i) n=1 n=1 n=1 n n P P P n! (b) (in)n (d) cos n+i sin n (f) cos(n)+i sin(n) n=1 n=1 n=1 n! n
i P cos(2n )+ n (g) 2 n Pn=1 sin (h) in 3n n n=1

(a) Comprobar que para todo z C se cumple la igualdad p(z) = p(z).

P 21. Dada la serie z n , comprobar que es absolutamente convergente si |z| < 1 y que es divern=0 gente para |z| > 1. Estudiar su carcter para z {1, 1, i, i}.

22. Supongamos que es una relacin de orden sobre C de manera que restringida a R coincide con la usual, es decir, si x, y R, entonces x y si y slo si x y. Supongamos que cumple las condiciones de compatibilidad: (P1) z z 0 si y slo si z + w z 0 + w para todo w C. (P2) z z 0 y 0 w implica z w z 0 w. Comprobar que para dicha relacin se cumple que i 0 y 0 i, con lo que C no est totalmente ordenado. 23. Comprobar que la relacin denida por z z 0 Rez Rez 0 e Imz Imz 0 es de orden sobre C y verica las hiptesis (P1) y (P2) del ejercicio anterior. 24. Dados z, w C comprobar las desigualdades: (b) |z w|2 + |z + w|2 = 2(|z|2 + |w|2 ). (a) |z w| ||z| |w||.

(c) |1 zw|2 |z w|2 = (1 |z|2 )(1 |w|2 ). 11

El cuerpo de los nmeros complejos

12

Captulo 2 Funciones de variable compleja. Derivada en sentido complejo.

Sumario. Funciones de variable compleja. Primeros ejemplos. La funcin exponencial. Seno y Coseno complejos. Logaritmo complejo. Derivada compleja. Condiciones de CauchyRiemann.

2.1

Funciones de variable compleja

Una funcin de variable compleja es aquella f : A C C, denida sobre un subconjunto de los nmeros complejos A y cuya imagen est contenida a su vez en dicho cuerpo. Para todo z A se cumple entonces que f (z) = Re f (z) + i Im f (z), por lo que se denen las partes real e imaginaria (o funciones coordenadas) de f cmo Re f, Im f : A C R. Vamos a ver a continuacin algunos los primeros ejemplos de funciones de variable compleja.

2.1.1

Polinomios con coecientes complejos

Un polinomio con coecientes complejos es una funcin de la forma p : C C dada para cada z C por p(z) = an z n + an1 z n1 + ... + a1 z + a0 , donde ai C para todo 0 i n. Los polinomios son las funciones que se contruyen usando sumas y productos de nmeros complejos y, desde el punto de vista del clculo, son las funciones ms simples. Veamos cmo obtener la parte real e imaginaria de un polinomio de variable compleja. Por ejemplo, consideremos el polinomio p(z) = z 2 + 2z + i y suponiendo que z = x + iy tenemos que p(x + iy) = (x + iy)2 + 2(x + iy) + i = x2 y 2 + i2xy + 2x + i2y + i = x2 y 2 + 2x + i(2xy + 2y + 1), de donde Re p(x + iy) = x2 y 2 + 2x, Im p(x + iy) = 2xy + 2y + 1. 13

Funciones de variable compleja. Derivada en sentido complejo.

2.1.2

Funciones racionales complejas

Son aquellas funciones que se construyen con las operaciones bsicas del cuerpo de los nmeros complejos incluyendo la divisin. Son por tanto funciones de la forma Q(z) = p(z) , q(z)

donde p(z) y q(z) son polinomios complejos. Dicha funcin estar denida en el conjunto C\ {z C : q(z) = 0}, es decir, para todo nmero complejo excepto para aquellos que anulan el denominador de la fraccin. Ejemplos de funciones racionales complejas son Q(z) = z/(z 2 +i) o Q(z) = (z 3 +iz1+i)/z. Es un buen ejercicio que recomendamos al alumno el obtener las funciones parte real e imaginaria para funciones de este tipo.

2.1.3

Funcin exponencial compleja

X zn n=0

La funcin exponencial compleja, dada para todo z C por la serie ez := n! .

es decir, la serie de los valores absolutos converge a la exponencial real y por tanto la serie que dene la exponencial compleja es absolutamente convergen y por tanto convergente. Probamos de este modo que la funcin exponencial est denida en todo el campo complejo. Veamos a continuacin alguna de sus propiedades. En primer lugar, si z, w C, y dado que las series son aboslutamente convergentes n ! ! ! X zn X wn X X zi wni ez ew = = n! n! i! (n i)! n=0 n=0 n=0 i=0 ! n X 1 X X (z + w)n n! i ni = z w = ez+w . = n! i=0 i!(n i)! n! n=0 n=0 En segundo lugar, si x R, entonces e
ix X (ix)n n=0 X n=0 X in xn n=0

Hemos de hacer notar en primer lugar que para todo nmero complejo z se verica que X z n X |z|n = = e|z| , n! n! n=0 n=0

= =

n!

n!

dado que i2n = (1)n e i2n+1 = i(1)n . A partir de esta forma podemos dar la forma exponencial de un nmero complejo que es de la forma z = |z|ei , arg(z). 14

X (1)n (1)n 2n+1 +i x x2n = cos x + i sin x, (2n + 1)! (2n)! n=0

Funciones de variable compleja. Derivada en sentido complejo. Adems, si x R, tenemos que

de donde tenemos que para todo z C se verica

p |eix | = + cos2 x + sin2 x = 1, |ez | = |eRe z+i Im z | = eRe z ,

por lo que ez 6= 0 para todo z C. Por ltimo, las funciones coordenadas de la exponencial se calculan, si z = x + iy, como f (x + iy) = ex+iy = ex eiy = ex (cos y + i sin y), por lo que Re f (x + iy) = ex cos y, Im f (x + iy) = ex sin y.

2.1.4

Funciones trigonomtricas complejas

La funciones trigonomtricas complejas son denidas para todo z C a partir de la exponencial como eiz eiz eiz + eiz sin z = , cos z = . 2i 2 Puede verse como ejercicio que en virtud de la denicin de la funcin exponencial como una serie, tambin pueden escribirse como una serie de la forma
X (1)n sin z = z 2n+1 (2n + 1)! n=0

cos z =

X (1)n n=0

(2n)!

z 2n .

Adems, de la dencin pueden denirse las siguientes propiedades anlogas a las que se daban para las funciones trigonomtricas reales. (T1) sin2 z + cos2 z = 1. (T2) Para todo z C, se verica que sin(z) = sin(z) y cos(z) = cos z. (T3) Para todo z, w C, se verica que sin(z + w) = sin z cos w + sin w cos z y cos(z + w) = cos z cos w sin z sin w. (T4) sin z = 0 si y slo si z = k , k Z. (T5) cos z = 0 si y slo si z = /2 + k , k Z. 15

Funciones de variable compleja. Derivada en sentido complejo. Es un buen ejercicio probar todas estas propiedades, as como otras que no estn en esta lista y que sin duda son conocidas por el alumno. Para nalizar y como una de las mayores diferencias con las funciones trigonomtricas reales, notemos que las funciones trigonomtricas complejas no estn acotadas por 1. Por ejemplo 2 e e2 e2 e2 | sin(2i)| = 3.6269... > 1. 2i = 2 x e ex ex ex = , | sin(xi)| = 2i 2

De hecho, si x > 0,

por lo que el mdulo del seno puede ser tan grande como queramos. Un razonamiento anlogo sirve para el coseno.

2.2

Lmites de funciones de variable compleja

Debido a que la topologa del plano complejo es como la de R2 con la norma eucldea, la nocin de lmite de una funcin de variable compleja es similar a la misma nocin para funciones del plano en s mismo. Ms precisamente, sea f : A C C una funcin de variable compleja y sea z0 C punto de acumulacin de A. Se dice que f tiende a l C cuando z tiende a z0 , y se escribir limzz0 f (z) = l si para todo > 0 existe > 0 tal que si |z z0 | < entonces |f (z) l| < . Se dice que limzz0 f (z) = si para todo M > 0 existe > 0 tal que si |z z0 | < , entonces |f (z)| > M. Se dice que limz f (z) = l si para todo > 0 existe N > 0 tal que si |z| > N, entonces |f (z) l| < . Por ltimo, diremos que limz f (z) = si para todo M > 0 existe N > 0 de manera que si |z| > N, entonces |f (z)| > M. Los lmites de funciones de variable compleja tienen las siguientes propiedades que son anlogas a aquellas de los lmites de funciones del plano. (L1) Si el lmite existe, entonces es nico. (L2) limzz0 f (z) = l si y slo si limzz0 Re f (z) = Re l y limzz0 Im f (z) = Im l. Esta segunda propiedad nos permite tratar con los lmites como si de funciones reales del plano se tratara. Por ejemplo, si queremos calcular z 1 = , z1 z + 1 2 lim y no hay indeterminacin. Pero si hay indeterminacin, como en el caso siguiente, todo lo aprendido en la asignatura de clculo es til para calcular los lmites. Por ejemplo, el lmite 0 z + iz 2 = , lim p z0 0 |z| 16

Funciones de variable compleja. Derivada en sentido complejo. presenta una indeterminacin. Para resolverla vamos a obtener primero las funciones coordenadas haciendo z = x + iy, x iy + i(x2 y 2 + 2xyi) x 2xy x2 y 2 y p =p +i p . 4 4 4 x2 + y 2 x2 + y 2 x2 + y 2

Centrmonos en la parte real y pasemos a coordenadas polares y calculamos

cos 22 cos sin = lim (cos 2 cos sin ) = 0 lim 0 0 y como adems cos 22 cos sin 0 = | (cos 2 cos sin )| + 2 y lim0 + 2 = 0, tenemos que x 2xy = 0. lim p 4 x+iy0 x2 + y 2 lim

De forma anloga vemos que

por lo que el lmite pedido ser

z + iz 2 lim p = 0. z0 |z| Es un buen ejercicio para el alumno comprobar que z + iz 2 z0 |z| lim

x2 y 2 y p = 0, x+iy0 4 x2 + y 2

no existe.

2.3

Continuidad de funciones de variable compleja

Una vez estudiada la nocin de lmite de una funcin de variable compleja, pasamos a abordar la continuidad de las misma. Como en el caso real una funcin f : A C C se dir continua en z0 A si existe el lmite de f (z) cuando z z0 y adems
zz0

lim f (z) = f (z0 ).

La funcin f se dir continua en A si es continua en todo punto de A. Como no poda ser de otra manera, la continuidad de f ocurre si y slo si son continuas la funciones coordenadas Re f e Im f . Funciones continuas son todas las que hemos estudiado al principio del tema, es decir, los polinomios, las funciones racionales (salvo donde no estn denidas), la exponencial y el seno y cosenos complejos. Adems, la suma, diferencia, producto, cociente (salvo donde se anule el denominador) y composicin de funciones continuas son continuas. Tambin lo son el conjugado f (z) = z (con p funciones coordenadas x y y) y el mdulo f (z) = |z| (con funciones coordenadas x2 + y 2 y 0). 17

Funciones de variable compleja. Derivada en sentido complejo.

2.4

Derivacin en sentido complejo

La derivada compleja es la parte ms novedosa de este tema y a la que dedicaremos una mayor parte del tiempo. Aunque la denicin es idntica en su forma a la derivada real, pues f : A C C se dir derivable (tambin holomorfa) en z0 Int(A) si existe y es nito el lmite
zz0

lim

Como siempre, si A es un abierto, f se dir derivable en el abierto A si es derivable u holomorfa en todo punto de A. Se vericarn adems las siguientes propiedades de la derivacin: dadas f (z) y g(z) se cumple (D0) Si f (z) es derivable en z0 , entonces es continua en z0 . Demostracin. Basta ver que limzz0 f (z) f (z0 ) = 0. Para ello tomamos
zz0

f (z) f (z0 ) = f 0 (z0 ). z z0

lim f (z) f (z0 ) =

con lo que queda demostrado. Ya sin demostracin, enunciamos otras propiedades del algebra de funciones derivables. (D1) (f (z) + g(z))0 = f 0 (z) + g 0 (z). (D2) (f (z) g(z))0 = f 0 (z) g(z) + f (z) g 0 (z). (D3) Si g(z) 6= 0 entonces (f (z)/g(z))0 = (f 0 (z) g(z) f (z) g 0 (z))/g(z)2 (D4) Regla de la cadena. (f g)0 (z) = f 0 (g(z)) g 0 (z). (D5) Teorema de la funcin inversa. Si f 0 (z0 ) 6= 0, entonces existe r > 0 tal que f es inyectiva en B(z0 , r), f (B(z0 , r)) es abierto y existe una funcin inversa f 1 : f (B(z0 , r)) B(z0 , r) derivable en f (z0 ) y tal que 1 . (f 1 )0 (f (z0 )) = 0 f (z0 ) Por ltimo vamos a estudiar la relacin existente entre la derivacin compleja y la diferenciacin ya estudiada en la asignatura de clculo. Recordemos que el mdulo en C es equivalente a la norma eucldea en R2 y entonces una funcin f (considerada indistintamente en C o R2 ) es diferenciable si
zz0

f (z) f (z0 ) (z z0 ) zz0 z z0 f (z) f (z0 ) = lim lim (z z0 ) = f 0 (z0 ) 0 = 0, zz0 zz0 z z0 lim

lim

donde Df (z0 ) es una aplicacin lineal de R2 en si mismo de manera que su matriz respecto de la base cannica de R2 se llama matriz Jacobiana de f y es ! f1 (z0 ) f1 (z0 ) x y , Jf (z0 ) = f2 (z0 ) f2 (z0 ) x y donde f1 (z) = Re f (z) y f2 (z) = Im f (z). Entonces se verica el siguiente resultado. 18

|f (z) f (z0 ) Df (z0 )(z z0 )| = 0, |z z0 |

Funciones de variable compleja. Derivada en sentido complejo. Theorem 1 Una f : A C C es derivable en z0 Int(A) si y slo si f es diferenciable en z0 y Df (z0 )(z z0 ) = f 0 (z0 ) (z z0 ). Demostracin. En primer lugar, si f es derivable en z0 se verica que
zz0

lim

f (z) f (z0 ) f 0 (z0 )(z z0 ) =0 z z0

y como la norma es continua f (z) f (z0 ) f 0 (z0 )(z z0 ) = 0, lim zz0 z z0

por lo que la funcin f es diferenciable en z0 . Si f es diferenciable en z0 y Df (z0 )(z z0 ) = f 0 (z0 ) (z z0 ), entonces f (z) f (z0 ) f 0 (z0 )(z z0 ) = 0, lim zz0 z z0 de donde por la continuidad del mdulo
zz0

lim

f (z) f (z0 ) f 0 (z0 )(z z0 ) = 0. z z0

Vamos a escribir la expresin Df (z0 )(z z0 ) = f 0 (z0 )(z z0 ) de una forma ms sencilla. Para ello, supongamos que z z0 = x + iy. Entonces ! f1 (z0 ) f1 (z0 ) x x y Df (z0 )(z z0 ) = f2 f2 y (z0 ) y (z0 ) x ! x f1 (z0 ) + y f1 (z0 ) x y . = x f2 (z0 ) + y f2 (z0 ) x y Y por otro lado f 0 (z0 )(z z0 ) = x Re f 0 (z0 ) y Im f 0 (z0 ) + i[x Im f 0 (z0 ) + y Re f 0 (z0 )]. Comparando ambas expresiones tenemos que x f1 f1 (z0 ) + y (z0 ) = x Re f 0 (z0 ) y Im f 0 (z0 ), x y f2 f2 x (z0 ) + y (z0 ) = x Im f 0 (z0 ) + y Re f 0 (z0 ). x y

Haciendo x = 1 e y = 0 tenemos que f1 (z0 ) = Re f 0 (z0 ), x f2 (z0 ) = Im f 0 (z0 ), x 19

Funciones de variable compleja. Derivada en sentido complejo. y haciendo x = 0 e y = 1 se verica f1 (z0 ) = Im f 0 (z0 ), y f2 (z0 ) = Re f 0 (z0 ), y de donde obtenemos las ecuaciones f1 f2 (z0 ) = (z0 ); x y f1 f2 (z0 ) = (z0 ), y x f1 f2 (z0 ) + i (z0 ) x x

que se conocen con el nombre de ecuaciones de CauchyRiemann. Adems se verica que f 0 (z0 ) = Re f 0 (z0 ) + i Im f 0 (z0 ) =

La funcin f (z) = z no es derivable ya que sus funciones coordenadas son f1 (x, y) = x y f2 (x, y) = y y entonces f1 f2 (z0 ) = 1 6= 1 = (z0 ) x y y no se verican las ecuaciones de CauchyRiemann para todo z0 C, de donde obtenemos que f (z) = z no es derivable en todo C. Si f (z) = z n , entonces f 0 (z) = nz n1 . Veamos esta propiedad por induccin. Si n = 0, entonces f (z) = 1 y entonces f (z) f (z0 ) 11 = lim = 0, f 0 (z0 ) = lim zz0 zz0 z z0 z z0 por lo que se verica la frmula. Si suponemos la frmula cierta hasta n, entonces (z n+1 )0 = (z n z)0 = nz n1 z + z n 1 = (n + 1)z n , por lo que la frmula tambin es cierta. Las derivadas de estas funciones son claves para junto con el lgebra de funciones derivables obtener que si f (z) = 3z 4 + z 1 entonces f 0 (z) = 12z 3 + 1 o por ejemplo si f (z) = z 2 /(z + 1), entonces 2z (z + 1) z 2 z 2 + 2z f 0 (z) = = . (z + 1)2 (z + 1)2 Si f (z) = ez , entonces sus funciones coordenadas son f1 (x, y) = ex cos y y f2 (x, y) = ex sin y y entonces es un ejercicio sencillo comprobar que las ecuaciones de CauchyRiemann se cumplen y adems f 0 (z) = ex cos y + iex sin y = ez . Por la denicin de las funciones trigonomtricas tenemos que (sin z)0 = y (cos z)0 = ieiz ieiz eiz eiz (eiz + eiz )0 = = = sin z. 2 2 2i 20

ieiz + ieiz eiz + eiz (eiz eiz )0 = = = cos z 2i 2i 2

Funciones de variable compleja. Derivada en sentido complejo.

2.5

El logaritmo complejo

La funcin logaritmo real log x se dene como la inversa de la funcin exponencial ex . Si prestamos un poco de atencin, vemos que la exponencial es inyectiva, es decir, si ex = ey entonces x = y. Entonces existe un nico valor x = ey . Llamamos logaritmo log x al nico y tal que ey = x. La funcin exponencial compleja no es inyectiva. Dados z = a + ib y w = c + di, y considerando la ecuacin ez = ew , tenemos tomando mdulos que ea = eb por lo que a = b al ser ambos reales. Por otra parte, se tendrn las ecuaciones cos b = cos d, sin b = sin d, de donde se verica que d = b + 2k, k Z. Es decir existen innitos numeros complejos que dan lugar a la misma exponencial, y entonces ya no podemos denir el logaritmos como en el caso real. Dados z, w C \ {0} tal que z = ew = eRe w (cos Im w + i sin Im w) de donde tomando mdulos tenemos que |z| = eRe w obteniendo Re w = log |z|. Por otra parte Im w arg(z). As se denine el conjunto de logatitmos complejos como L(z) = {log |z| + i : arg(z)}. Para denir las diferentes funciones logaritmo complejo hemos de jar los valores entre los que se dan los argumentos. Por ejemplo, podemos denir L(z) en el conjunto R+ [0, 2). Entonces, por ejemplo el logaritmos de 1 + i sera L(1 + i) = log 2 + i/4. Sin embargo la funcin anterior nos es continua ya que el argumento arg denido entre [, + 2), R no es continua como se ve en el siguiente dibujo

21

Funciones de variable compleja. Derivada en sentido complejo. vemos que limz+ arg(z) = mientras que limz arg(z) = + 2. Es decir el lmite vara segun nos acercamos a en el sentido de la agujas del reloj, limz+ arg(z) = , o en sentido contrario limz arg(z) = + 2. Enunciaremos entonces el siguiente resultado sobre ramas continuas del logaritmo. Theorem 2 Para cada R existe una funcin continua L : C \ H ] , + [ de forma que para todo z C \ H se verica A (z) arg z, donde H es la semirrecta {rei : r 0}. Adems, por el Teorema de la funcin inversa se satisface la frmula 1 L0 (z) = . z

2.6

Ejercicios
(b) ei/2 (f) ei/4 ei/4 (c) 2 ei (h) 1/ei/4 (d) 3 ei/2 (i) e1+i

1. Expresar los siguientes nmeros complejos en forma binmica: (a) sen(2 + i) (e) i + 3 e2i

2. Comprobar que son ciertas las igualdades: (a) sin(iz) = i ez ez 2 (b) cos(iz) = ez + ez 2

3. Obtener la parte real y la parte imaginaria de las funciones: (a) f (z) = 3z 2 iz, 1 (b) f (z) = z + , z (c) f (z) = z 3 + z + 1, (d) f (z) = 1z 1+z

4. Calcular la parte real y la parte imaginaria de las funciones: (a) f (z) = z 2 + i (b) f (z) = 5. Siendo z, z 0 dos nmeros complejos distintos y (Solucin: |z| = |z 0 |).
(z+z 0 )i (zz 0 ) 1 z

R. Hallar la relacin entre |z| y |z 0 |.

6. Hallar los nmeros complejos z tales que su cuadrado es igual a su conjugado. (Solucin: 0, 10 , 12/3 , 14/3 ). 7. Resolver la ecuacin z = z n1 , siendo n N \ {2}. (Solucin: 0, 12k/n n = 0, 1, 2, . . . , n 1). 8. Resolver las siguientes ecuaciones: (a) ez + i = 0. (Solucin: z = 2k 1 i, k Z). 2 22

Funciones de variable compleja. Derivada en sentido complejo. (b) 4 cos z + 5 = 0. (Solucin: z = (2k + 1) i log 2, k Z).

9. Dado el nmero complejo z, probar que zez + zez es un nmero real. 10. Hallar la parte real e imaginaria de las funciones (a) f (z) = cosh (z i) (b) f (z) = tan z 11. Probar que para cada z = x + iy C se verican las siguientes desigualdades: (b) |sinh y| |cos z| cosh y. 12. Sea D = B(0, 2) = {z C/|z| < 2}. Calcula y representa grcamente f (D) para las funciones (a) f (z) = 3 + i + z (b) f (z) = (1 + i)z (c) f (z) = 1/z (a) |sinh y| |sin z| cosh y.

(c) ez + 1 = 0. (Solucin: z = (2k + 1) i, k Z). (d) sin z = 4. (Solucin: z = + 2k i log 4 15 , k Z). 2

13. Estudia la continuidad en el disco B(0, 1) = {z C/|z| < 1} de las funciones (a) f (z) = 14. Se considera la funcin 1 1z (b) f (z) = z2 1 + 1/2

Estudiar la continuidad de f (z) en el punto z = i.

1 + z2 siz 6= i zi f (z) = 4i siz = i

15. Estudia la continuidad de la funcin f (z) = (z 5 + 1)/(z 2 + 4). 16. Halla los puntos del crculo B(0, 2) en los que es discontinua la funcin f (z) = (z 2 1 + 1) (z 3)

17. Determina los puntos singulares de las siguientes funciones: (a) f (z) = 2z + 1 z(z 2 + 1) (b) f (z) = z3 + i z 2 3z + 2 (c) f (z) = z2 + 1 (z + 2)(z 2 + 2z + 2)

18. Calcula, a partir de las condiciones de Cauchy-Riemann, las derivadas de las funciones (a) f (z) = ez (b) f (z) = senz 23 (c) f (z) = cos z (d) f (z) = izez

Funciones de variable compleja. Derivada en sentido complejo. 19. Estudia si las siguientes funciones denidas en C son derivables y en caso armativo calcular f 0 (z) (a) f (z) = z Imz (d) f (z) = z z (g) f (z) = (z 2 + cos z)ez (b) f (z) = z Imz (e) f (z) = (z 2 2)ez (h) f (z) = sen2z + i (c) f (x + iy) = ey eix (f) f (x + iy) = ey eix (i) f (x + iy) = xy + iy

20. Calcula los valores de los parmetros reales , y para que sea entera (derivable en todo C) la funcin f (z) = Rez + Imz + i( Rez + Imz) Caracteriza la funcin f (z) cuando sea entera. p 21. Comprueba que la funcin f (z) = |(Rez) (Imz)| no es derivable en z = 0 y, sin embargo, verica las ecuaciones de Cauchy-Riemann en dicho punto. Razona esta aparente contradiccin. 22. Sea f : C C que cumple que f (z) R z C. Demuestra que f (z) es derivable si y slo si es constante. 23. Sea f : C C una funcin de variable compleja. Demuestra que la parte real Ref (z) y la parte imaginaria Imf (z) son simultneamente derivables si y slo si f (z) es constante. 24. Sea f : C C una funcin de forma que f (z) y f (z) son derivables. Demuestra que f (z) es constante. 25. Una funcin u : D R2 R se dice que es armnica en el conjunto abierto D si es de clase C 2 (D) (existen sus derivadas parciales de orden dos y son funciones continuas) y verica la relacin 2u 2u (x, y) + 2 (x, y) = 0z D. x2 y Dada una funcin derivable f : D C, comprueba que las funciones parte real u(x, y) = Ref (x + iy) y parte imaginaria v(x, y) = Imf (x + iy) son armnicas en D. Nota: Supn, aunque posteriormente veremos que esta suposicin es superua, que las funciones parte real y parte imaginaria de f son de clase C 2 (D). 26. Estudia si son armnicas las funciones (a) f (x, y) = log(x2 + y 2 ) (b) f (x, y) = 2ex cos y

27. Dada una funcin f : D C C, derivable en el abierto D, se dene la aplicacin (z) = |f (z)|2 . Comprueba que se verica la igualdad 2 2 (z) + 2 (z) = 4|f 0 (z)|2 x2 y para cada z D. Nota: Supn, aunque posteriormente veremos que esta suposicin es superua, que las funciones parte real y parte imaginaria de f son de clase C 2 (D). 24

Funciones de variable compleja. Derivada en sentido complejo. 28. Si D es un subconjunto abierto de R2 y u : D R es una funcin armnica, se llama armnica conjugada a toda funcin v : D R que cumpla que que la nueva funcin f (x + iy) = u(x, y) + iv(x, y) es derivable en D. Prueba que las siguientes funciones son armnicas y halla una armnica conjugada (a) u(x, y) = 2x(1 y) (b) u(x, y) = 2x x3 + 3xy 2 (c) u(x, y) = y/(x2 + y 2 )

29. Determina una funcin derivable f (x + iy) = u(x, y) + iv(x, y), sabiendo que su parte real es u(x, y) = x/(x2 + y 2 ) y que f () = 1/. 30. Reconstruye la funcin derivable f (z) a partir la condicin f (i) = 2i 1 y la parte real Ref (x + iy) = x2 y 2 + 2x. 31. Prueba que si v1 (x, y) y v2 (x, y) son dos funciones armnicas conjugadas de una misma funcin armnica u(x, y) en C, entonces v1 (x, y) y v2 (x, y) dieren en una constante. 32. Sean u, v : R2 R tales que u(x, y) es armnica conjugada de v(x, y) y v(x, y) es armnica conjugada de u(x, y). Prueba que tanto u(x, y) como v(x, y) son constantes. 33. Expresa Re(e1/z ) en trminos de x e y y prueba que esta funcin es armnica en el conjunto R2 \ {0}. Nota: Se denen las funciones hiperblicas complejas sinh z := (ez ez )/2 y cosh z := (ez + ez )/2. Las funciones tangente y tangente hiperblica se denen de la forma usual, esto es, tan z := sin z/ cos z y tanh z := sinh z/ cosh z. Las restantes funciones trigonomtricas e hiperblicas complejas se denen de forma similar.

25

Funciones de variable compleja. Derivada en sentido complejo.

26

Captulo 3 Integracin compleja.

Sumario. Curvas en C. Integral de una funcin sobre una curva. El Teorema de Cauchy. Frmulas integrales de Cauchy.

3.1

Curvas en el plano complejo

Debemos comenzar el tema introduciendo la nocin de curva o camino sobre el plano complejo C. Dado un intervalo compacto de la recta real [a, b], deniremos una curva en C como una aplicacin continua : [a, b] C. La imagen o grca de la curva en el plano complejo la denotaremos por graf() = {(t) : t [a, b]}. Dado t [a, b] se tiene que (t) = Re (t) + i Im (t) = x(t) + iy(t), donde x(t) e y(t) son las partes real e imaginarias de (t). Una curva se dir de clase C 1 si es derivable en (a, b). En ese caso 0 denotar la derivada de la misma. La curva se dir de clase C 1 a trozos si existen a = t0 < t1 < ... < tn = b, tal que |[ti ,ti+1 ] es de clase C 1 para i = 0, 1, ..., n 1. Una curva se dir cerrada si (a) = (b). Un curva se dir de Jordan si es cerrada y sin autointersecciones ((t) 6= (t0 ) para todo t, t0 (a, b]). Durante el transcurso del curso supondremos siempre que toda curva de Jordan est orientada positivamente, esto es, en sentido contrario a las agujas del reloj. Dadas dos curvas 1 : [a, b] C y 2 : [c, d] C, tales que 1 (b) = 2 (c), se dene su unin o yuxtaposicin 1 2 : [a, b + d c] C como 1 (t) si t [a, b], 1 2 (t) := 2 (t b + c) si t [a, b], y la curva inversa a una curva dada : [a, b] C, denotada : [b, a] C como ()(t) = (t). La longitud de una curva de clase C 1 se dene como Z bp Z b 0 (t)2 + y 0 (t)2 dt = l() := x | 0 (t)|dt.
a a

27

Integracin compleja. Si la curva es de clase C 1 a trozos y se escribe como = k j , donde cada curva j es de clase C 1 , j=1 se dene su longitud como k X l() = l( j ).
j=1

En cualquier caso, todas estas deniciones son anlogas a aquellas que ya se estudiaron en el caso de curvas en el plano y el espacio que se vieron en la parte de teora de campos.

3.2

Integrales de funciones sobre caminos

Consideremos ahora una funcin de variable compleja f : A C C y : [a, b] C una curva de clase C 1 de manera que graf() A. Deniremos al integral de f a lo largo de como Z b Z f (z)dz = f ((t)) 0 (t)dt

Re f ((t)) (t)dt + i

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

En caso de que la curva sea de clase C 1 a trozos, es decir = k j , con j de clase C 1 , entonces j=1 Z f (z)dz =
k XZ j=1

f (z)dz.

Como podemos ver fcilmente de la primera expresin, si f (z) = f1 (z)+if2 (z) y (t) = x(t)+iy(t), se tiene que Z Z b f (z)dz = (f1 ((t)) + if2 ((t)))(x0 (t) + iy 0 (t))dt

[f1 ((t))x0 (t) f2 ((t))y 0 (t)]dt a Z b +i [f2 ((t))x0 (t) + f1 ((t))y 0 (t)]dt Z a Z = f1 (x, y)dx f2 (x, y)dy + i f2 (x, y)dx + f1 (x, y)dy,

es decir, la integral compleja de f (z) a lo largo de la curva es la suma de dos trabajos, uno que proporciona un resiltado real y otro que da lugar a un trabjo que podramos llamamr complejo. Como consecuencia de este hecho, se tiene que las siguientes propiedades se heredan directamente de la nocin de trabajo: R R f (z)dz = f (z)dz. Si , son dos curvas tal que el punto nal de es el inicial de y, entonces Z Z Z f (z)dz = f (z)dz + f (z)dz.

28

Integracin compleja. Si , C y f, g son dos funciones cuyo dominio contiene a la grca de , entonces Z Z Z (f (z) + g(z))dz = f (z)dz + g(z)dz.

Regla de Barrow. Si A es abierto y existe F : A C C de manera que F 0 (z) = f (z) para todo z A (F se dir una primitiva de f ), entonces Z f (z)dz = F ((b)) F ((a)).

Si existe M > 0 tal que |f (z)| M para todo z graf(), entonces Z f (z)dz Ml().

Demostracin. Para demostrar la regla de Barrow, dmonos cuenta que si t (a, b) y F (z) = F1 (z) + iF2 (z), entonces d F1 F1 F ((t)) = ((t))x0 (t) + ((t))y 0 (t) dt x y F2 F2 0 0 +i ((t))x (t) + ((t))y (t) x y F2 F1 ((t))x0 (t) ((t))y 0 (t) = x x F1 F2 0 0 ((t))x (t) + ((t))y (t) +i x x F2 F1 ((t)) + i ((t)) (x0 (t) + iy 0 (t)) = x x 0 0 = F ((t)) (t) = f ((t)) 0 (t), haciendo uso de las frmulas de CauchyEuler. Entonces Z b Z f (z)dz = f ((t)) 0 (t)dt

d F ((t))dt a dt = F ((b)) F ((a)), =

con lo que concluye la prueba.

3.3

El Teorema de Cauchy

Estudiamos en este punto una de las cuestiones fundamentales sobre la teora de variable compleja como es el Teorema de Cauchy. Para ello hemos de introducir el concepto de simplemente conexo. 29

Integracin compleja. Recordemos que una curva de Jordan delimita dos regiones del plano, una acotada que llamamos interior I(), y otra no acotada exterior a la curva y que denotaremos por E(). Diremos que un conjunto del plano complejo A C, es simplemente conexo si para cualquier curva de Jordan , con graf() A, verica que I() A. Intuitivamente, un conjunto simplemente conexo es aquel que no tiene agujeros. Por ejemplo, el conjunto A1 = {z C : |z| < 1} es simplemente conexo, mientras que A2 = {z C : 0 < |z| < 1} no lo es. El Teorema de Cauchy establece lo siguiente: Theorem 3 (Cauchy) Sean S C un conjunto abierto simplemente conexo y f : S C una funcin derivable en S. Entonces Z f (z)dz = 0

para toda curva cerrada y C a trozos, , cuya grca contenida en S.

Demostracin. En caso que f sea una funcin de clase C 1 , es decir, cuyas funciones coordenadas son de clase C 1 , este resultado es consecuencia del Teorema de Green. En particular Z Z Z f (z)dz = f1 (x, y)dx f2 (x, y)dy + i f2 (x, y)dx + f1 (x, y)dy ZZ f2 f1 = (x, y) (x, y) dxdy x y I() ZZ f1 f2 +i (x, y) (x, y) dxdy x y I() ZZ f2 f2 (x, y) + (x, y) dxdy = x x I() ZZ f1 f1 +i (x, y) (x, y) dxdy x x I() = 0, aplicando las frmulas de CauchyEuler. En el caso que f no sea de clase C 1 , la demostracin es bastante ms laboriosa a la ver que complicada y puede estudiarse en la bibliografa recomendada. Del Teorema de Cauchy se obtiene de forma inmediata el siguiente corolario. Corollary 4 Sean S C un conjunto abierto simplemente conexo y f : S C una funcin derivable en S. Sean z0 , w0 S y 1 y 2 dos curvas C 1 a trozos cualesquiera cuyas grcas estn contenidas en S uniendo z0 y w0 . Entonces Z Z f (z)dz = f (z)dz. (3.1)
1 2

Este resultado nos permite denir la funcin F : S C tal que para todo z S se dene como Z (3.2) F (z) = f (w)dw

donde es cualquier curva C a trozos contenida en S uniendo un punto jo z0 S con z. El siguiente resultado nos dice que las funciones derivables denidas sobre conjuntos simplemente conexos admiten primitivas, por lo que la regla de Barrow se puede aplicar. En realidad, lo nico que hace falta para probar el siguiente resultado es (3.1) y la continuidad de f . 30

Integracin compleja. Theorem 5 Sean S C un conjunto abierto simplemente conexo y f : S C una funcin derivable en S. Entonces la funcin denida en (3.2) es derivable en S y F 0 (z) = f (z). En particular, cualquier primitiva de f es de la forma F (z) + c, donde c C. Para acabar esta seccin, introducimos un resultado sobre integrales denidas sobre un conjunto de curvas. Un conjunto del plano complejo A se dice arcoconexo si para cualesquiera par de puntos z1 , z2 A, existe una curva : [a, b] C de manera que (a) = z1 , (b) = z2 y graf() A. Un conjunto simplemente conexo puede ser arcoconexo. Por ejemplo, el conjunto {z C : Re z Im z < 0} no es arcoconexo, ya que es unin de dos subconjuntos que no pueden conectarse por ninguna curva. Un dominio es un subconjunto de C que es abierto y arcoconexo. Theorem 6 Sean S C un dominio y f : S C una funcin derivable en S. Sean , 1 , ..., n curvas de Jordan C 1 a trozos orientadas positivamente de manera que se verica: (a) I() contiene las grcas de 1 , ..., n . (b) Para todo k = 1, 2, ..., n, E( k ) contiene la grca de j con j 6= k. (c) S contiene al conjunto D = I() \ (I( 1 ) ... I( n )). Entonces Z f (z)dz =
n XZ i=1

f (z)dz.

Demostracin. Hacemos la demostracin para el caso particular n = 2. El caso general es anlogo pero mucho ms laborioso. Observemos el siguiente dibujo dibujo donde hemos representado la curvas. Unimos dos puntos de cada curva segn el siguiente dibujo dibujo de manera que las curvas resultantes 1 y 2 tienen su interior simplemente conexo y por lo tanto estn contenidas en un conjunto simplemente conexo. Entonces por el Teorema de Cauchy tenemos que Z Z f (z)dz + f (z)dz = 0 + 0 = 0.
1 2

Si desarrollamos, tenemos que

con lo que

Z Z f (z)dz =

f (z)dz =

f (z)dz = Z

f (z)dz + 31

f (z)dz,

Integracin compleja. como queramos demostrar. Como consecuencia del resultado anterior tenemos el siguente corolario, que nos dice que el las condiciones del mismo, la forma de la curva no inuye a la hora de calcular la integral, ya que sta siempre se puede calcular sobre una circunferencia cuando la geometra del conjunto lo permite. Corollary 7 Sean S C un dominio y f : S C es derivable en S. Para toda curva de Jordan C 1 a trozos contenida en S se cumple que Z Z f (z)dz = f (z)dz
C(z0 ,r)

donde C(z0 , r) es cualquier circunferencia de centro z0 y radio r contenida en I() S y satisfaciendo las condiciones del Teorema 6.

3.4

Las frmulas integrales de Cauchy

donde r (t) = z + reit , t [0, 2], esto es, una circunferencia, ya que la funcin f (w) es derivable en wz el interior de la curva salvo el punto z. Adems, r puede ser elegido tan pequeo como se quiera sin que vare el resultado de la integral. Cuando f (w) = 1 para todo w C, se verica que Z Z 2 1 1 dw = rieit dt z reit z wz 0 Z 2 idt = 2i = 2if (z). =
0

Las frmulas integrales de Cauchy permitirn probar uno de los hechos clave dentro de la variable compleja: que toda funcin derivable es innitamente derivable. Para jar ideas, supongamos que S es simplemente conexo y f : S C es una funcin derivable. Supongamos que es una curva de Jordan C 1 a trozos cuya grca est contenida en S. Si z I(), entonces existe un radio r sucientemente pequeo de manera que Z Z f (w) f (w) dw = dw, wz r w z

Finalmente, en general

Si f (w) = f (z) para todo w C, se tiene por las propiedades de linealidad de la integral que Z f (z) dw = 2if (z). wz Z Z f (w) f (z) f (w) f (z) dw = lim dw r0 wz wz Z r f (w) f (z) dw = lim wz r r0 Z f (w) f (z) = dw lim wz r wz Z f 0 (z)dz = 0, =
r

32

Integracin compleja. por lo que Z Z

f (w) dw = wz

f (z) dw = 2if (z), wz

por lo que hemos justicado el siguiente resultado conocido como la primera frmula integral de Cauchy. Theorem 8 Sean S C un dominio y f : S C una funcin derivable en S. Sea una curva de Jordan C 1 a trozos orientada positivamente contenida en S de manera que I() S. Entonces Z f (w) 1 f (z) = dw si z I(), (3.3) 2i w z y 1 2i Z f (w) dw = 0 si z E(). wz

Por aplicacin directa del Teorema 8 sobre la circunferencia de centro z0 S y radio contenida en S con interior contenido tambin en S obtendremos la frmula Z 2 1 f (z0 + eit )dt. f (z0 ) = 2 0 Si tomamos la primera frmula integral de Cauchy y derivamos obtenemos Z 1 d f (w) 0 dw f (z) = 2i dz w z Z d f (w) 1 = dw 2i dz w z Z f (w) 1! dw, = 2i (w z)2 que se conoce como frmula integral de Cauchy para la primera derivada. Si volvemos a derivar, tenemos Z 1 d f (w) 00 dw f (z) = 2i dz (w z)2 Z d f (w) 1 = dw 2i dz (w z)2 Z f (w) 2! dz, = 2i (w z)3 que es la frmula integral de Cauchy para la segunda derivada. En general, si procedemos por induccin y suponemos que Z f (w) n! n) f (z) = dw, 2i (w z)n+1 33

Integracin compleja. al volver a derivar tenemos que f

n+1)

Z n! d f (w) (z) = dw 2i dz (w z)n+1 Z f (w) d n! = dw 2i dz (w z)n+1 Z f (w) (n + 1)! dw, = = n+2 2i (w z)

por lo que hemos justicado la frmula integral de Cauchy para la derivada nsima, que a continuacin enunciamos. Theorem 9 Sean S C un dominio y f : S C una funcin derivable en S. Sean z S y una curva de Jordan C 1 a trozos orientada positivamente contenida en S de manera que z I() S. Entonces f es derivable innitas veces en z y adems Z n! f (w) n) f (z) = dw, n N. 2i (w z)n+1 En paricular, si una funcin de variable compleja es derivable una vez, lo es innitamente. Adems, aplicando el Teorema anterior a la circunferencia (t) = z0 + reit , t [0, 2], se verica que Z n! f (w) |f n) (z0 )| = dw 2i (w z0 )n+1 Z n! f (w) = (w z0 )n+1 dw 2 n! M(r) l(), 2 rn+1 donde M(r) = max{|f (z)| : z graf()} (ntese que M(r) existe al ser f (z) continua y la grca de la curva un conjunto compacto). Dado que la longitud de la dircunferencia es 2, se tiene que |f n) (z0 )| n! M M 2r = n! n , n+1 2 r r

que se conocen con el nombre de desigualdades de Cauchy, y que sern muy tiles en el siguiente tema al analizar las series de potencias.

3.5

Ejercicios
Z Re z dz

1. Calcular la integral,

siendo T el tringulo de vrtices 0, 1 + i, 2 recorrido en el sentido de las agujas del reloj. Cul sera el valor de la integral si el tringulo se recorre en el sentido contrario? 34

Integracin compleja. 2. Calcular la integral, de la funcin conjugacin, f (z) = z , a lo largo de la siguiente curva.

3. Calcular la integral,

|z| z dz, siendo el camino del ejercicio anterior. Z z/z dz, siendo el camino indicado en la gura siguiente:

4. Calcular el valor de la integral

5. Dado el arco (t) = e , t [0, 2], calcular la integral (a) si |z0 | > 1

it

1 dz: z z0

(b) si |z0 | < 1 6. Dada la curva (t) = ei t , t [0, 2], calcular la integral, Z sen ez dz z 7. Calcular el valor de la integral, Z e1/z dz, 2 (z 1)

(t) = 1 +

ei t , t [0, 2] 2

35

Integracin compleja. 8. Comprobar que la funcin f (x) = (

x2 /2

es de clase C 1 pero no existe la segunda derivada en cero. Dado A C un abierto conteniendo al cero, ser posible entontrar una funcin F H(A) de forma que F (x) = f (x) para cada x A IR? Por qu? 9. Dado r > 1, calcular el valor de la integral, Z d, (t) = 1 + r ei t , t [0, 2] 41 10. Calcular la integral, Z 11. Calcular la integral, z ez dz, (z i)3 Z (t) = i + ei t , t [0, 2] ez dz z (1 z)3

x2 /2 x < 0

x0

(b) para (t) = 1 + ei t , t [0, 2] (0 < < 1). (c) para (t) = ei t , t [0, 2] (1 < ). 12. Sea la funcin f (z) = sen(). Se pide calcular: z (a) Los puntos de C para los cuales f es derivable. (b) El valor de la integral de f a lo largo de la siguiente curva,

(a) para (t) = ei t , t [0, 2] (0 < < 1).

13. Calcular la integral,

z2

1 dz +9

36

Integracin compleja. (a) para (t) = 3 i + ei t , t [0, 2] (c) para (t) = 4 ei t , t [0, 2]

(b) para (t) = 2 i + 2 ei t , t [0, 2] (d) para (t) = ei t , t [0, 2]

14. Sea la circunferencia unidad recorrida en el sentido contrario al de las agujas del reloj. Calcular: Z e d 15. Supongamos que es una curva cerrada y diferenciable a trozos. Dado z0 C \ graf se llama ndice de respecto de z0 al valor: Z 1 1 I(, z0 ) = d 2i z0 Para el caso en que es una circunferencia, comprobar que: (a) I(, z0 ) = 1 si z0 est en la regin limitada por la grca de la curva. (b) I(, z0 ) = 0, en otro caso. 16. Calcular el valor de la integral Z 1 dz z

siendo la curva cuyo rango se representa en la gura superior, orientada en el sentido que indican las echas.

37

Integracin compleja. 17. Calcular el valor de la integral:

1 cos z + 2i

dz

donde es la elipse centrada en el origen de semiejes 2 y 1, respectivamente, recorrida en el sentido contrario al de las agujas del reloj.

Nota: Una posible parametrizacin de la elipse es la dada por 1 : [2, 2] C t , q 1 (t) = t + i 1

t2 4

para la parte de arriba y 2 : [2, 2] C t , q 2 (t) = t i 1

t2 4

para la de abajo ( = 1 2 ). 18. Dada la funcin g(z) = cos z, existir una funcin derivable en todo C, f (z), de forma que f 0 (z) = g(z), para cada z C? Justicar la respuesta. 19. Calcular el valor de la integral, Z

z |z|2 dz

38

Integracin compleja. siendo la curva de la gura siguiente, recorrida en el sentido que indican las echas.

39

Integracin compleja.

40

Captulo 4 Series de potencias y de Laurent. Polos y residuos.

Sumario. Series de potencias. Radio y disco de convergencia. Teorema de Taylor. Funciones analticas. Derivacin e integracin de series de potencias. Aplicaciones de las series de potencias. Series de Laurent. Anillo de convergencia. Singularidades de funciones de variable compleja. Clasicacin de singularidades aisladas.

4.1

Series de potencias
X n=0

Una serie de potencias de centro z0 C es una expresin de la forma an (z z0 )n ,

donde an C para todo n 0. Diremos que la serie converge en un nmero complejo w si la serie numrica X an (w z0 )n
n=0

es convergente. Si adems dicha serie converge absolutamente en dicho nmero, diremos que la serie de potencias converge absolutamente en w. Es claro que cualquier serie de potencias converge en su centro. Se dene el radio de convergencia de la serie como el nmero R := sup{r 0 :
X n=0

|an |rn < +}.

Si un nmero complejo z verica que |z z0 | = r < R, entonces

X n=0

|an (z z0 ) | =

X n=0

|an |rn < +,

41

Series de potencias y de Laurent. por lo que la serie de potencias ser absolutamente convergente en el disco D(z0 , R) = {z C : |z z0 | < R}. Si por el contrario z C \ D(z0 , R), la serie diverger, no pudiendose armar nada en general sobre la convergencia de la serie en la frontera del disco. P Adems, si aplicamos el criterio de la raz a la serie |an (z z0 )n |, se tendr que si existe n=0 p lim n |an (z z0 )n | < 1,
n

la serie ser aboslutamente convergente, por lo que

n

lim

por lo que

p n |an | < 1 limn

1 , |z z0 | p . n |an |

R=

De forma anloga, si aplicamos el criterio del cociente, en caso de existir y vericar que |an+1 (z z0 )n+1 | < 1, n |an (z z0 )n | lim la serie ser absolutamente convergente, de donde |an+1 | 1 < , n |an | |z z0 | lim por lo que R= 1 limn
|an+1 | |an |

Algunas series de potencias ya conocidas son por ejemplo la exponencial ex =

X zn n=0

n!

Si aplicamos el criterio del cociente a la misma, vemos que

1 (n+1)! lim 1 n n!

= lim

1 = 0, n n

por lo que el radio de convergencia ser R = 1/0 = . Como ya sabamos, esta serie converge en todo el plano complejo. Por ejemplo, la serie X nn z n
n=0

no converge nada ms que en su centro ya que lim n nn = lim n = ,

n n

42

Series de potencias y de Laurent. por lo que su radio de convergencia ser R = 1/ = 0. Un ejemplo que debe ser conocido tambin es la serie geomtrica 1 + z + z 2 + ... + z n + ... =
X n=0

zn,

que ser de gran importancia prctica para el desarrollo en serie de potencias de la mayora de funciones que vamos a considerar. Por cualquiera de los dos criterios anteriores vemos que su radio de convergencia es 1, por lo que dicha serie converge si |z| < 1. Adems, si denotamos por Sn = 1 + z + z 2 + ... + z n , entonces Sn zSn = 1 z n+1 , de donde Sn = 1 z n+1 . 1z

Dado que |z| < 1, se verica que limn z n+1 = 0 y as

X n=0 s

z n = lim Sn =

1 . 1z

Por otra parte, si f (z) = se tiene que

n=0

an (z z0 )n sobre el disco de convergencia de la serie y derivamos, X

n=0

dk f k) (z) = dz k = =

an (z z0 )n

X n=k

X n=0

dk a (z z0 )n k n dz

n(n 1)...(n k)an (z z0 )nk ,

por lo que sustituyendo en z0 obtenemos ak = f k) (z0 ) , k!

para todo k 0. Una funcin f (z) denida sobre un abierto A C se dir analtica en z0 A si existe una serie de P potencias tal que f (z) = an (z z0 )n para todo z A perteneciente al disco de convergencia de n=0 la serie. El siguiente resultado probar que toda funcin analtica es derivable y viceversa. Adems del mismo se deducir la unicidad del desarrollo en serie de potencias. 43

Series de potencias y de Laurent. Theorem 10 (Taylor) Sean A C un conjunto abierto y f : A C derivable. Sean z0 A y r > 0 tales que D(z0 , r) A. Entonces f (z) = converge absolutamente sobre D(z0 , r). Demostracin. Vamos a ver que la serie converge absolutamente en cualquier punto del disco. Para ello, sean z D(z0 , R) y = |z z0 | < r < R. Tomamos la circunferencia centrada en z0 y de radio r. Por las desigualdades de Cauchy, se tiene que |f n) (z0 )| n! M(r), rn
X f n) (z0 ) n=0

n!

(z z0 )n ,

donde M(r) = max{|f (z)| : |z z0 | = r}. Entonces X f n) (z0 ) X |f n) (z0 )| n |z z0 |n n! (z z0 ) n! n=0 n=0
X n n=0

rn

M(r)

= M(r)

X n n=0

= M(r)

r , r

por tratarse de una suma de una serie geomtrica. Por lo tanto la serie de potencias es convergente absolutamente en el interior del disco, y tiene la forma anteriormente indicada.

4.2

Series de Laurent
X

Una serie de Laurent centrada en z0 C es una expresin de la forma

n=

an (z z0 )n .

(4.1)

Claramente puede dividirse en dos partes,

X n=0

an (z z0 )n ,

(4.2)

que es una serie de potencias llamada parte regular de la serie de Laurent y

X n=1

an (z z0 )n

(4.3)

que se llamar parte singular. Obviamente, para garantizar la convergencia de la serie de Laurent (4.1), deben converger las series (4.2) y (4.3). Como vimos en el primer apartado del tema, la serie 44

Series de potencias y de Laurent. (4.2) converger absolutamente en su disco de convergencia D(z0 , R). Para la serie (4.3), el cambio de variable Z = 1/(z z0 ) la transforma en la serie de potencias
X n=1

an Z n

en un cierto anillo de convergencia, entonces multiplicando dicha expresin por (z z0 )k1 , k Z, se verica que X f (z) = an (z z0 )nk1 . k+1 (z z0 ) n= Si (t) = z0 + eit , t [0, 2], denota una circunferencia dentro del anillo de convergencia, entonces Z X Z f (z) dz = an (z z0 )nk1 dz (z z0 )k+1 n= X Z = an (z z0 )nk1 dz.
n=

mientras que ser divergente en C \ A(z0 , r, R). Por otra parte, si X f (z) = an (z z0 )n
n=

que converger absolutamente en su disco de convergencia D(0, r), por lo que (4.3) converger siempre que |z z0 | > r. As, si r < R se tendr que la serie de Laurent inicial converger absolutamente en el anillo de convergencia A(z0 , r, R) := {z C : r < |z z0 | < R},

Si n k 1 0, entonces an (z z0 )nk1 es derivable, y por el Teorema de Cauchy se tiene que Z an (z z0 )nk1 dz = 0.

Si n k 1 = 1, entonces

an dz = z z0

an ieit dt = 2ian . eit

Finalmente, si n k 1 2, se tiene por las frmulas integrales de Cauchy que Z Z an nk1 an (z z0 ) dz = dz k+1n (z z0 ) 2i = g nk) (z0 ) = 0, (n k)! donde g(z) = an . Entonces Z f (z) dz = 2ian , (z z0 )k+1 45

Series de potencias y de Laurent. o equivalentemente 1 an = 2i Z

f (z) dz, (z z0 )n+1

(4.4)

que es la frmula anloga al Teorema de Taylor para series de Laurent. Veamos que una serie as construda es siempre convergente en su anillo de convergencia. Theorem 11 (Laurent) Sean z0 C, 0 r < R, y f : A(z0 , r, R) C una funcin derivable. Entonces X f (z) = an (z z0 )n
n=

donde los coecientes an satisfacen las identidades (4.4). Demostracin. Vamos a ver que la serie as construda es convergente, lo que probar el resultado. Sean r < 1 < < 2 < R y z C tal que |z z0 | = . Acotamos de forma anloga a las desigualdades de Cauchy Z 1 f (z) |an | = dz 2i n+1 (z z0 ) 1 M() 1 , M() n+1 l() = 2 n donde M() = max{|f (z)| : z graf()} y (t) = z0 + eit , t [0, 2]. Si ahora tomamos la parte regular y procedemos como en la demostracin del Teorema de Taylor, con (t) = z0 + 2 eit , t [0, 2], se verica que
X n=0

|an (z z0 )n | M(2 )

2 , 2

por lo que la parte regular es absolutamente convergente. Tomamos ahora la parte singular y la circunferencia (t) = z0 + 1 eit , t [0, 2], tratamos de acotar
0 X

n=

|an (z z0 )n | =

|an | |z z0 |n n=

0 X M( ) 1 n n 1 n=

0 X

X n=1

M(1 )

n 1 = M(1 ) , n 1

por lo que la parte singular tambin converge, y el teorema est probado. 46

Series de potencias y de Laurent.

4.3

Singularidades de una funcin compleja. Clasicacin de singularidades aisladas

Finalizaremos el tema haciendo un estudio de las singularidades de una funcin de variable compleja. Dada una funcin de variable compleja f (z), se dice que z0 C es una singularidad de f si sta no es derivable en z0 . As todo z C es una singularidad para f (z) = z, mientras que 0 es una singularidad para f (z) = 1/z. Una singularidad z0 se dir aislada si existe > 0 tal que la funcin es derivable en D(z0 , ) \ {z0 }. Ntese que por el Teorema de Taylor, f debe ser discontinua en sus singularidades aisladas. Distinguiremos tres tipos de singularidades aisladas de una funcin f atendiendo bsicamente al desarrollo de Laurent de la funcin en la singularidad. Si z0 denota la singularidad y f (z) =
X

n=

an (z z0 )n

sobre su anillo de convergencia A(z0 , 0, R), se tiene La singularidad z0 se dir evitable si an = 0 para todo n > 0. La singularidad z0 se dir un polo si la parte singular del desarrollo de Laurent tiene una cantidad nita de trminos. Se dir orden del polo al mayor natural k que cumple que ak 6= 0 y an = 0 para todo n > k. La singularidad z0 se dir esencial si la parte singular del desarrollo de Laurent tiene una cantidad innita de trminos. Por ejemplo, la funcin sin z X (1)n 2n = z z (2n + 1)! n=0
1 z X 1 = n!z n n=0

presenta una singularidad aislada en 0 que es evitable, e

1/z

tiene en 0 un polo de orden 1, mientras que

tiene en 0 una singularidad esencial. El siguiente resultado ofrece una clasicacin de las singularidades aisladas de una funcin de variable compleja. Theorem 12 Sean z0 C y f una funcin derivable denida en D(z0 , ) \ {z0 }. Entonces: (a) z0 es evitable si y slo si existe limzz0 f (z) = l C. Adems si denimos f en z0 como f (z0 ) = l se tiene que f es derivable en D(z0 , ). (b) z0 es un polo de orden k si y slo si existe limzz0 (z z0 )j f (z) = para 0 j < k y limzz0 (z z0 )k f (z) C \ {0}. (c) z0 es una singularidad esencial si y slo si no existe el limzz0 f (z). Adems en este caso para todo w C existe una sucesin zn convergiendo a z0 de manera que limn f (zn ) = w. 47

Series de potencias y de Laurent. Demostracin. (a) es consecuencia inmediata del Teorema de Taylor. Para comprobar (b), dmonos cuenta de que para todo j {0, 1, ..., k 1} la funcin (z z0 )j f (z) sigue teniendo parte singular, por lo que lim (z z0 )j f (z) = ,
zz0

mientras que (z z0 )k f (z) es una serie de potencias cuyo primer tmino ak es no nulo. De aqu se deriva (b). La demostracin de (c) excede los contenidos del curso. Una vez clasicadas las singularidades aisladas de una funcin de variable compleja, estamos en disposicin de estudiar el Teorema de los residuos en la prxima leccin.

4.4
4.4.1

Transformada Z
Ecuaciones en diferencias nitas

El inters del estudio de la transformada Z es debido a que es la anloga a la transformada de Laplace para resolver ecuaciones en diferencias nitas. Estas ecuaciones aparecen en ingeniera al modelizar sistemas electrnicos cuyas entradas y salidas son una sucesin de datos discretos. Para jar ideas, consideremos el siguiente ejemplo.

Este dispositivo est formado por dos elementos. El primero de ellos, marcado con una S, es un elemento que suma o resta datos, que a su vez vendrn modulados por nmeros reales. El denotado por una D es un aparato que produce un retardo de una unidad temporal en la sucesin. La gura representa el tipo ms sencillo de retroalimentacin de una seal. Los datos de entrada vienen dados por la sucesin xk y los de salida por yk+1 = rk . (4.5) En el proceso, los datos intermedios rk vienen dados por la expresin rk = xk ayk , (4.6)

donde a es un nmero real. Combinando (4.5) y (4.6) obtenemos la ecuacin en diferencias de orden uno yk+1 + ayk = xk . 48

Series de potencias y de Laurent. Si complicamos el dispositivo, como se muestra en la gura,

se obtiene una ecuacin de orden dos. Aqu yk+1 = vk , vk+1 = rk , rk = xk + byk avk , de donde se obtiene la ecuacin yk+2 + ayk+1 byk = xk . El uso de la transformada Z permite afrontar con ciertas garantas de xito la resolucin de estas ecuaciones. Por ejemplo supongamos la ecuacin yk+2 + yk+1 2yk = 1; y0 = 0, y1 = 1. Vamos a ver cmo la transformada Z nos permite obtener la solucin de la ecuacin anterior transformando dicho problema en un problema algebraico.

4.4.2

Denicin y propiedades bsicas

Consideremos una sucesin de nmeros complejos xk . Se dene la transformada Z de la misma como la serie X xn Z[xk ](z) = . (4.7) zn n=0 P Ntese que (4.7) es una serie de Laurent con parte regular x0 y parte singular xn z n , y que n=1 por tanto converger en un disco de convergencia de la forma A(0, r, +) = {z C : |z| > r} P donde r es el radio de convergencia de la serie de potencias xn z n . n=1 49

Series de potencias y de Laurent. Por ejemplo, si = (1, 0, 0, 0, ...) entonces su transformada Z es Z[](z) = 1 denida en todo el plano complejo. Si xk = (1, 1, 1, ...), entonces
X 1 1 = Z[1](z) = n z 1 n=0 1 z

z , z1

siempre que |z| > 1. Propiedades bsicas. Linealidad. Dadas las sucesiones xk e yk y , C, se verica Z[xk + yk ](z) = Z[xk ](z) + Z[yk ](z) para todo z en el dominio de denicin de Z[xk ](z) y Z[yk ](z). Demostracin. Basta calcular Z[xk + yk ](z) =
X xn + yn n=0 X n=0

zn

X yn xn + = Z[xk ](z) + Z[yk ](z). zn zn n=0

Dada la sucesin xk , denimos la nueva sucesin yk = xk+1 . Entonces Z[yk ](z) = Z[xk+1 ](z) = zZ[xk ](z) zx0 . En general, si k0 N y denimos yk = xk+k0 , tenemos la frmula Z[xk+k0 ](z) = z Z[xk ](z) Demostracin. Calculamos Z[xk+1 ](z) =
X xn+1 n=0 X n=0 k0 k0 1 X n=0

xn z k0 n .

zn

= z = z

X xn n=0

X xn xn+1 =z z n+1 zn n=1

zn

zx0 = zZ[xk ](z) zx0 .

50

Series de potencias y de Laurent. Dada la sucesin xk y a C \ {0}, se verica Z[ak xk ](z) = Z[xk ](z/a). Dmostracin. Calculamos Z[a xk ](z) =
k X an xn n=0 X n=0

zn

xn = Z[xk ](z/a). (z/a)n

Por ejemplo, si xk = (1, 2, 22 , 23 , ...), se tiene que Z[2 ](z) =

k X 2n n=0

zn

1 1

2 z

z . z2

Dadas las sucesiones xk y km , m N, se verica Z[k m xk ](z) = [z d m ] Z[xk ](z), dz

d donde por z dz se entiende la operacin derivada y luego multiplicacin por z.

Demostracin. Hacemos la demostracin por induccin en m. Si m = 1, entonces Z[kxk ](z) =

X nxn n=0 X

zn

X d xn nxn = z =z z n+1 dz z n n=1 n=1 ! ! X xn d X xn d d = z = z x0 = z Z[xk ](z). n n dz z dz n=0 z dz n=1

X nxn n=1

zn

Si suponemos el resultado cierto para m, veamos que tambin lo es para m + 1. Para esto calculamos Z[k m+1 xk ](z) = Z[k km xk ](z) = z d Z[km xk ](z) dz d m d d = (z )[z ] Z[xk ](z) = [z ]m+1 Z[xk ](z). dz dz dz

Por ejemplo, si xk = k 2 , entonces Z[k2 ](z) = [z z d 2 d ] Z[1](z) = [z ]2 dz 1 dz z d d z d z z2 = z + z = z dz dz z 1 dz z 1 (z 1)2 3z 2 2z 3 z + , = z 1 (z 1)2 (z 1)3

si |z| > 1. 51

Series de potencias y de Laurent.

4.4.3

Transformada Z inversa

o equivalentemente

Es interesante obtener transformadas Z inversas de funciones de variable compleja F (z), es decir, qu sucesiones verican que Z[xn ](z) = F (z), xn = Z 1 [F (z)].

Para calcular la transformada Z de una funcin F (z) basta calcular el desarrollo en serie de Laurent centrada en cero de manera que tenga un anillo de convergencia de la forma {z C : |z| > r}, donde 1 r 0. Por ejemplo, si F (z) = z1 , entonces desarrollando en serie de Laurent 1 1 1 = z1 z1 si |z| > 1. Entonces la sucesin xk = Z 1 [1/(z 1)] = (0, 1, 1, 1, ...).
1 z

X 1 1X 1 = = z n=0 z n n=0 z n+1

4.4.4

Aplicacin a la resolucin de la ecuacin en diferencias

yk+2 + yk+1 2yk = 1; y0 = 0, y1 = 1,

Consideramos el problema

obtenido anteriormente. Tomando la transformada Z en la ecuacin, usando las propiedades de sta y tomando en consideracin las condiciones iniciales obtenemos Z[yk+2 + yk+1 2yk ](z) = Z[1](z), y desarrollando Z[yk+2 + yk+1 2yk ](z) = Z[yk+2 ](z) + Z[yk+1 ](z) 2Z[yk ](z) = z 2 Z[yk ](z) z + zZ[yk ](z) 2Z[yk ](z) = (z 2 + z 2)Z[yk ](z) z. Por otra parte Z[1](z) = Entonces z . z1 z z2 = , z1 z1

(z 2 + z 2)Z[yk ](z) = z + con lo que Z[yk ](z) = Pasamos a fracciones simples Z[yk ](z) =

z2 . (z 2 + z 2)(z 1)

1 4 z2 3 = + , 2 (z + 2) 2 (z 1) (z 1) z1 z+2 52

Series de potencias y de Laurent. y calculamos la transformada inversa obteniendo los desarrollos en series de Laurent n X 1 (2)n 1 1 1 X 2 = = = z + 2 z 1 2 z n=0 z z n+1 z n=0 si |z| > 2. 1 1 1 = z1 z1 X 1 1X 1 = = z n=0 z n n=0 z n+1

1 z

si |z| > 1. Finalmente 1 d = 2 (z 1) dz

1 z1

d = dz

! X 1 X d 1 Xn+1 = = z n+1 dz z n+1 z n+2 n=0 n=0 n=0

si |z| > 1. Entonces si |z| > 2 se tiene que Z[yk ](z) = 4 1 3 + 2 (z 1) z1 z+2 Xn+1 X 1 X (2)n = 3 +4 z n+2 z n+1 z n+1 n=0 n=0 n=0

X 4(2)n+1 1 Xn+1 X 3 = + z n=0 z n+2 z n+2 n=0 z n+2 n=0 1 X n 4 + 4(2)n+1 = , + z n=0 z n+2

por lo que si k 2

yk = 4(2)k+1 4 + k.

Veamos a continuacin el siguiente ejemplo, en que las raices son complejas: xn+2 2xn+1 + 2xn = 1, x0 = x1 = 0. Si aplicamos la transformada Z a la ecuacin, tenemos que Z[xn+2 2xn+1 + 2xn ](z) = Z[1](z). Por un lado
X 1 1 = Z[1](z) = n z 1 n=0

1 z

z , z1

mientras que

Z[xn+2 2xn+1 + 2xn ](z) = Z[xn+2 ](z) 2Z[xn+1 ](z) + 2Z[xn ](z) = z 2 Z[xn ](z) z 2 x0 zx1 2zZ[xn ](z) 2zx0 + 2Z[xn ](z) = (z 2 2z + 2)Z[xn ](z), 53

Series de potencias y de Laurent. z . (z 2z + 2) Desarrollamos la funcin en serie de Laurent para calcular xn . Para ello en primer lugar Z[xn ](z) = 1)(z 2 (z 1)(z 2 z z = 2z + 2) (z 1)(z 1 i)(z 1 + i) 1 1 1+i 1 1i = . z 1 2z 1i 2z 1+i 1 1 1 = z1 z1 X 1 1X 1 = , z n=0 z n n=1 z n

de donde

Calculamos de forma separada

1 z

con lo que agrupando

n X 1 1 1X 1+i 1 1 = (1 + i)n1 n , = 1+i = z1i z1 z z n=0 z z n=1 n X 1 1 1X 1i 1 1 = (1 i)n1 n , = 1i = z1+i z1 z z n=0 z z n=1

X 1 z 1 1X 1X n 1 = (1 + i) n (1 i)n n 2 2z + 2) n (z 1)(z z 2 n=1 z 2 n=1 z n=1 X 1 1 1 1 (1 + i)n (1 i)n = , 2 2 zn n=1

y teniendo en cuenta que (1 + i)n = 2n/2 (cos (1 i)n obtenemos n n + i sin ), 4 4 n n i sin ), = 2n/2 (cos 4 4

y por tanto

X z n 1 = 1 2n/2 cos , (z 1)(z 2 2z + 2) n=1 4 zn xn = 1 2n/2 cos n . 4

4.4.5

Funciones de transferencia.

La funcin de transferencia asociada a la transformada Z se dene de forma anloga a la funcin de transferencia asociada a la transformada de Laplace. Consideremos en este contexto una ecuacin en diferencias nitas de la forma an yk+n + an1 yk+n1 + ... + a1 yk+1 + a0 yk = xk , 54 (4.8)

Series de potencias y de Laurent. siendo ai R, 0 i n. Entonces, suponiendo que yi = 0 i < k, tomando la transformada Z obtenemos que (an z n + an1 z n1 + ... + a1 z + a0 )Z[yk ](z) = Z[uk ](z), Z[yk ](z) = 1

por lo que

Z[uk ](z). an z n + an1 z n1 + ... + a1 z + a0 Se dene enotnces la funcin de transferencia asociada a la ecuacin como T (z) = Z[yk ](z) 1 . = n+a n1 + ... + a z + a Z[uk ](z) an z n1 z 1 0

Podemos estudiar entonces la estabilidad de la ecuacin entendiendo sta de forma anloga al caso continuo estudiada en el tema anterior, es decir, si para toda solucin asociada a una condicin inicial dada se verica que lim yk = 0.
k

El siguiente resultado caracteriza la estabilidad del sistema en base a los polos de la funcin de transferencia. Theorem 13 El sistema dado por la ecuacin (4.8) es estable si y slo si todos los polos de la funcin de transferencia verican que |z| < 1.

4.5

Ejercicios
X zn n=1 X n=1 n=1 X X n (c) (z i)n 2n n=1 X (f) (3 + (1)n ) (z + 2)n

1. Determina el radio de convergencia de las series de potencias: (a) (d) (g) n! (b) (e) (h) n z
n n

n! n z nn

cos(ni) z n

n=1 X n=1

2n z n

n=1 X

(n + an ) z n , (a > 0)

(i)

X (1)n n=1

n=1

zn

2. Calcula las series de potencias centradas en 0 de las siguientes funciones indicando su bola de convergencia.
1 (a) f (z) = z21 (b)f (z) = z 4 + z + 1 (c) f (z) = (z+1)2 +1 3 z1 (d) f (z) = L0 (z + 1) (e)f (z) = ez (f) f (z) = (z+1)2 z1 (g) f (z) = cos(z 2 ) (h)f (z) = zzi (i) f (z) = (1z)3 2 +1

3. Calcula el radio de convergencia de las siguientes series de potencias y estudia su carcter en la frontera del dominio de convergencia. (a)
X n=0

(b)

X zn n=0

(c)

X zn n=0

n2

55

Series de potencias y de Laurent. 4. Calcula el desarrollo en serie de potencias de las funciones siguientes en el punto que se indica. Determina adems el radio de convergencia de dicha serie. (a) sen z, z0 = i (b) ez , (e) z0 = i z0 = 1 z0 = 0 (c) 1 , 1z z0 = 0 z0 = 1

z2 , z0 = 0 (d) z+2 z (g) , z0 = 0 1 + z2 5. Dada la funcin f (z) =

1 , 1+z 2

z , z+2 sen z (h) , z

(f) L (z),

calcula el valor de f (20) (1).

1 z2

6. Calcula la serie de Laurent de la funcin f (z) =

alredor de 2 y de 0.
1 , z (1z)

7. Determina la serie de Laurent de la funcin f (z) = z0 = 1 y z0 = i.

alrededor de los puntos z0 = 0,

8. Calcula las series de Laurent centradas en 0 de las siguientes funciones indicando su anillo de convergencia. (a) f (z) =
z+1 z2 cos(z 2 ) z3

(b)f (z) = ze1/z

(c) f (z) = (f) f (z) = (i) f (z) =

z (d) f (z) = (e)f (z) = z+1 (g) f (z) = cos(1/z 2 ) (h)f (z) = zi z6

1 z(z+1) z1 z 3 (z+1)2 z z(1z)3

9. Calcula la serie de Laurent de las siguientes funciones alrededor de los puntos que se indican: (a) z 2 e1/z , z0 = 0 z0 = 1 (b) e1/(1z) , (d) cos(1/z), z0 = 1 z0 = 0

(c) zsen (1/(z 1)),

10. Sea funcin f (z) = L (z), puede escribirse dicha funcin como una serie de Laurent en un cierto anillo alrededor del punto z0 = 0? Por qu?. 11. Calcula la serie de Laurent de f (z) =
1 (1+z 2 )2

alrededor del punto z0 = i.

12. Calcula el desarrollo de Laurent alrededor de los polos de la funcin: f (z) = z . (z 1)(z 2i)

13. Encontrar la transformada Z de las siguientes sucesiones determinando su conjunto de convergencia. (b) yn = (0, 1, 0, 1, 0, 1, ...). (c) yn = n4 . (a) yn = n + 1. (d) yn = (0, 1, 1, 1, ..). (e) yn = 22n . (f) yn = 1 + 2n . n n (g) yn = 1/2 . (h) yn = n3 . (i) yn = (0, 1, 0, 2, 0, 4, ..., 0, 2n , ...). 56

Series de potencias y de Laurent. 14. Resolver las siguientes ecuaciones homogneas: (a) yn+2 + yn+1 2yn = 0. (b) yn+2 yn+1 2yn = 0. (c) yn+2 + 2 yn = 0 donde R. (d) yn+2 2yn+1 + yn = 0. (e) yn+2 4yn+1 12yn = 0. (f) yn+2 + 2yn+1 + yn = 0. (g) yn+2 + 2yn+1 3yn = 0. (h) yn+3 yn+2 + 2yn+1 2yn = 0. (i) yn+4 + yn+2 2yn = 0. 15. Resolver las siguientes ecuaciones no homogneas:

(c) yn+2 2yn+1 + yn = 1. (a) yn+2 + yn+1 2yn = 2n . (b) yn+2 yn+1 2yn = 2. 2 n (d) yn+2 + yn = n . (e) yn+2 4yn+1 12yn = n2 . (f) yn+2 + 2yn+1 + yn = n3 . n n (g) yn+2 + 4yn = n(1) . (h) yn+2 2yn+1 + 6yn = 3 + n. (i) yn+3 yn+2 + 2yn+2 2yn = (1 16. Resolver los siguientes problemas de condiciones iniciales: yn+2 + yn+1 2yn = 0 yn+2 4yn+1 12yn = 0 yn+2 + 2yn+1 + yn = n2 y0 = 1 y0 = 0 y0 = 0 (b) (c) (a) y1 = 1 y1 = 2 y1 (0) = 1 yn+2 2yn+1 + yn = 1 yn+2 4yn+1 + yn = n yn+2 + yn = n y0 = 0 y0 = 1 y0 = 0 (d) (e) (f) y1 = 0 y1 = 0 y1 = 0 yn+3 yn+2 + 2yn+1 2yn = 2n yn+2 yn+1 2yn = 1 yn+2 + yn = n + 2 y0 = 1 y0 = 1 y0 = 1 (i) (g) (h) y1 = 0 y1 = 1 y1 = 1 y2 = 1 17. Determinar cules de las ecuaciones anteriores son estables. 18. Obtener la solucin de los siguientes circuitos digitales suponiendo condiciones iniciales nulas:

57

Series de potencias y de Laurent.

19. Calcular el comportamiento asinttico (lmite cuando n tiende a innito) de la solucin de los siguientes circuitos digitales:

58

Series de potencias y de Laurent.

59

Series de potencias y de Laurent.

60

Captulo 5 El Teorema de los residuos.

Sumario. Concepto de residuo y mtodos de clculo. El Teorema de los residuos. Aplicaciones.

5.1

Residuo de un punto

Sean f (z) una funcin de variable compleja y z0 C una singularidad aislada de f (z). Se dene el residuo de f en z0 como Res(f (z), z0 ) = a1 , donde a1 es el coeciente de la serie de Laurent centrada en z0 denida en un anillo de convergencia A(z0 , 0, R), R > 0, de la forma X an (z z0 )n .
n=

Por ejemplo, si f (z) = e1/z , se tiene que 0 es su nica singularidad. Como para todo z del anillo A(0, 0, ) se tiene que X 1 1 1/z e = , n! z n n=0 se tiene que Res(e1/z , 0) = 1 = 1. 1!

A pesar de esta denicin, no ser necesario calcular el desarrollo de Laurent de una funcin para calcular el residuo, aunque en el caso de las singularidades esenciales es sta la nica tcnica de la que dispondremos. En el caso de que la singularidad sea un polo de orden k, podremos calcular el residuo de f (z) sobre ste de la siguiente manera. Supongamos que para todo punto del anillo de convergencia A(z0 , 0, R), R > 0, se tiene que f (z) =
k X n=1

X an + an (z z0 )n , (z z0 )n n=0

61

El Teorema de los residuos. con ak 6= 0. Si multiplicamos esta expresin por (z z0 )k , se tiene que (z z0 ) f (z) =
k k X n=1

an (z z0 )

kn

X n=0

an (z z0 )n+k ,

que como vemos es una serie de potencias. Si calculamos su derivada (k 1)sima

X dk1 k [(z z0 ) f (z)] = (k 1)!a1 + an (n + k)(n + k 1)(n + 2)(z z0 )n+1 , k1 dz n=0

de donde, tomando lmites cuando z tiende a z0 , obtenemos

zz0

lim

dk1 [(z z0 )k f (z)] = (k 1)!a1 , dz k1 dk1 1 lim k1 [(z z0 )k f (z)]. (k 1)! zz0 dz

o equivalentemente, teniendo en cuenta que Res(f (z), z0 ) = a1 , Res(f (z), z0 ) =

Esta frmula ser la ms utilizada en la prctica a la hora de resolver problemas. Por ejemplo, 1 la funcin f (z) = z2 (z1) tiene dos singularidades aisladas, 0 y 1, que son polos de rdenes 2 y 1, respectivamente. Entonces, los residuos en dichos puntos los calcularemos con las frmulas Res(f (z), 1) = lim(z 1)f (z)
z1

= lim y Res(f (z), 0) =

1 = 1, z1 z 2

1 d lim [z 2 f (z)] 1! z0 dz 1 = lim = 1. z0 (z 1)2

5.2

El Teorema de los residuos

El Teorema de los residuos es uno de los resultados claves de la asignatura, ya que es un resumen de prcticamente todo el anlisis complejo que se ha estudiado. Presenta tambin aplicaciones al clculo real de las cuales estudiaremos una pequea muestra durante el curso. Aunque existe una versin del mismo para curvas cerradas en general utilizando el concepto de ndice de un punto respecto a una curva cerrada, se explicar aqu el resultado para curvas de Jordan. Theorem 14 (de los residuos) Sea una curva de Jordan C 1 a trozos orientada positivamente. Sea f (z) una funcin derivable en I() excepto para una cantidad nita de puntos singulares aislados z1 , z2 , ..., zn I(). Entonces Z n X f (z)dz = 2i Res(f (z), zj ).
j=1

62

El Teorema de los residuos. Demostracin. Al haber una cantidad nita de singularidades aisladas, existir un nmero real r > 0, sucientemente pequeo, de manera que las circunferencias j (t) = zj + reit , t [0, 2], 1 j n, estn en el interior de , no se cortan entre s, y cada una contiene en su interior una y slo una de las singularidades de la funcin. Aplicando el Teorema de Cauchy para un conjunto de curvas, se tiene que Z n XZ f (z)dz = f (z)dz,
j=1 j

con lo que el teorema estar demostrado si probamos que Z f (z)dz = 2i Res(f (z), zj ),
j

(5.1)

para 1 j n. Ahora bien, dentro de cada circunferencia se verica que f (z) = por lo que Z f (z)dz = Z
X X

n=

an (z zj )n ,

R P n n Calculamos aparte n= j an (z zj ) dz. Si n 0, la funcin an (z zj ) es derivable por tratarse de un polinomio, por lo que Z
j

j n= X Z n=

an (z zj )n dz an (z zj )n dz.

an (z zj )n dz = 0

por el Teorema de Cauchy. Si n = 1, entonces Z 2 Z a1 1 dz = a1 rieit dt it re 0 j z zj

= 2ia1 = 2i Res(f (z), zj ).

Finalmente, si n 2, se tiene por las frmulas integrales de Cauchy para la derivada que Z an 2i gn1) (zj ) = 0, dz = n (z zj ) (n 1)! j donde g(z) = an . As, la igualdad (5.1) es cierta y Z n n XZ X f (z)dz = f (z)dz = 2i Res(f (z), zj ),
j=1 j j=1

63

El Teorema de los residuos. con lo que termina la prueba del teorema. Por ejemplo, para calcular Z
it

z 2 (z

1 dz, 1)

con (t) = 2e , t [0, 2], basta con darse cuenta que las singularidades aisladas del integrando, 0 y 1, estn dentro de la curva, con lo que aplicando el teorema de los residuos tenemos que, si 1 denotamos f (z) = z2 (z1) , Z 1 dz = 2i[Res(f (z), 0) + Res(f (z), 0)] 2 z (z 1) = 2i[1 + 1] = 0.

5.3

Aplicaciones al clculo de integrales reales

Para nalizar este tema explicaremos algunas de las prometidas aplicaciones del Teorema de los residuos al clculo real, especialmente al clculo de integrales denidas. Por motivos de tiempo no ser posible hacer demostraciones de todas las frmulas que se obtendrn a continuacin, que sern objeto de estudio durante las clases prcticas de la asignatura. Los alumnos ya habrn estudiado las integrales impropias durante la asignatura de primer curso fundamentos matemticos de la ingeniera, pero haremos un pequeo resumen de las nociones bsicas sobre este tipo de integrales. Las integrales que consideraremos son las siguientes: R 2 0 f (cos t, sin t)dt donde f (x, y) = P (x, y)/Q(x, y) donde P, Q son funciones polinmicas. Estas integrales se obtendrn calculando los residuos en el crculo unidad de una funcin a determinar de un modo estndar. R P (t)/Q(t)dt donde P, Q son funciones polinmicas tales que deg(Q) deg(P ) + 2 (deg denota el grado del polinomio), y Q(x) 6= 0 para todo x R. Estas integrales se obtendrn a partir de la frmula Z X P (t)/Q(t)dt = 2i Res(P/Q, z).
Im(z)>0

R P (t) cos(at)/Q(t)dt y P (t) sin(at)/Q(t)dt donde a R, a > 0, y P, Q son funciones polinmicas tales que deg(Q) deg(P ) + 1 R Q(x) 6= 0 para todo x R. Estas integrales se y obtendrn como partes real e imaginaria de P (t)eiat /Q(t)dt que se calcula con la frmula Z X P (t)eiat /Q(t)dt = 2i Res(f, z),
Im(z)>0

con f (z) = eiaz P (z)/Q(z). R P (t)/Q(t)dt donde P, Q son funciones polinmicas tales que deg(Q) deg(P ) + 2 y todo cero real de Q tiene a lo sumo multiplicidad 1. El valor principal de esta integral dado por Z r lim P (t)/Q(t)dt
r r

64

El Teorema de los residuos. se obtendr calculando 2i R X Res(P/Q, z) + i X Res(P/Q, z).

Im(z)>0

Im(z)=0

donde f (z) = eiaz P (z)/Q(z), de donde podemos obtener los valores principales de las integrales anteriores.

R P (t) cos(at)/Q(t)dt y P (t) sin(at)/Q(t)dt donde a R, a > 0, y P, Q son funciones polinmicas tales que deg(Q) deg(P ) + 1 y todos los ceros reales de Q son simples. En este caso Z r X X lim P (t)eiat /Q(t)dt = 2i Res(f, z) + i Res(f, z)
r r Im(z)>0 Im(z)=0

5.4

Ejercicios
1 z z3 1 (d) z (z 2 + 4)2
1

1. Determina y clasica las singularidades de las funciones: (a) z4 1 + z4 z2 + 1 (e) ez (b) z5 (1 z)2 1 1 (f) z e 1 z (c)

(g) ez z

2. Calcula los residuos de las siguientes funciones en sus singularidades. 1 3 z5 z sen z (d) (z + 1)3 (a) (g) ez+ z (j)
1

(b)

z2 (z 2 + 1)2

(e) tg z (h) sen (z)sen (1/z) (k) z cos(1/z)

z sen z z

1 z (1 z 2 ) 1 (f) sen z e2 z (i) (z 1)2 1 (l) z + z2 (c)

3. Calcula los residuos de las siguientes funciones en sus singularidades, indicando adems de qu tipo son dichas singularidades. (a) f (z) = senz , (z + 1)3 (b) g(z) = e z ,
1

(c) h(z) =

z senz z

4. Calcula los residuos de las siguientes funciones en sus singularidades, clasicando stas previamente. z2 , (a) f (z) = (z + 1)3 (z + i) (b) g(z) = e1/(z2i) , 65 (c) h(z) = z senz z(z 1)

El Teorema de los residuos. 5. Utiliza el teorema de los residuos para calcular las integrales siguientes: (a) (b) (c) Z ez dz, z2 z 2 e1/z dz, (t) = 3 eit , t [0, 2] (t) = 3 eit , t [0, 2] (t) = 3 eit , t [0, 2] (t) = 2 + eit , t [0, 2] 2

z+1 dz, 2 z 2z Z z (d) dz, (z 1)(z 2)

6. Sea (t) = 1 + reit , t [0, 2]. Calcular en funcin del parmetro r el valor de las siguientes integrales: Z z1 dz. + 2z 2 + z 2z dz. + 2z 2 + 1

(a) (b) (c) (d)

z3 z4 ez

z2 dz. z 3 2z 2 + 1

z 2 e1/z dz.

7. Sea el cuadrado de vrtices (R, R), (R, R), (R, R) y (R, R) recorrido en sentido positivo. Determinar las integrales siguientes en funcin del parmetro R. Z z1 dz. + 2z 2 + z

(a) (b) (c) (d)

z3

2z dz. z 4 + 2z 2 + 1 ez z2 dz. z 3 2z 2 + 1

z 2 e1/z dz.

8. Calcula el valor de la integral

e1/z dz iz + 2

66

El Teorema de los residuos. siendo la curva cuyo rango se representa en la gura siguiente.

67

El Teorema de los residuos.

68

Bibliografa
[BaNe] J. Bak y D. J. Newman, Complex analysis, Springer Verlag, Berlin, 1999. [ChBr] R. V. Churchill y J. W. Brown, Variable compleja y aplicaciones, McGrawHill, 1992. [Con] J. B. Conway, Functions of one complex variable, SpringerVerlag, 1978. [Der] W. R. Derrick, Variable compleja con aplicaciones, Grupo Editorial Iberoamericana, 1987. [Kre] E. Kreyszig, Matemticas avanzadas para la ingeniera (vol. 2), LimusaWiley, 2000. [LaSh] M. A. Lavrntiev y B. V. Shabat, Mtodos de la teora de las funciones de una variable compleja, MirRubios 1991. [Mak] A. I. Markushevich, Theory of functions of a complex variable, Chelsea Publishing Company, New York, 1985. [MaHo] J. E. Marsden y M. J. Homan, Basic complex analysis, W. H. Freeman & Co., 1999. [Mur] J. A. Murillo, Variable compleja y transformadas, DMUniversidad de Murcia, 2000. [Oga2] K. Ogata, Discretetime control systems, Prentice Hall, 1995. [Rud] W. Rudin, Anlisis real y complejo, McGrawHill, 1988. [Sen] T. B. Senior, Mathematical methods in electrical engineering, Cambridge University Press, 1986. [VLA] L. Volkovyski, G. Lunts e I. Aramanovich, Problemas sobre la teora de variable compleja, Mir, 1984. [Wun] A. D. Wunsch, Variable compleja y sus aplicaciones, AddisonWesley Iberoamericana, 1997.

69