Anlisis Matemtico II (Ingenier de Telecomunicaciones) a a a Tres teoremas integrales del anlisis complejo: a apuntes y ejemplos resueltos

Polos y residuos Denicin. Diremos que una funcin f tiene un polo en el punto z = a si se cumplen dos condiciones: o o (1) para un conjunto abierto que contiene al punto a, f es anal tica en {z : z = a}; (2) limza f (z) = (el innito complejo, que no tiene signo). Respecto a la primera condicin, decir que f es anal o tica en el conjunto abierto , salvo en z = a , es lo mismo que armar que existe un disco abierto D(a, r) , r > 0, tal que f es anal tica en el disco agujereado D (a, r) = {z C : 0 < |z a| < r} . La segunda condicin, pensando en trminos de los nmeros reales, signica que limza |f (z)| = +. o e u Ejemplo 1. Las funciones f (z) = z2 2 , (z 1)2 g(z) = ctg z = cos z sen z

tienen polos, respectivamente, en z = 1 y en z = 0. Obsrvese que no hay cancelaciones en la fraccin que e o representa la funcin f . o Considerando la funcin h(z) = (z 1)2 /(z + 1), vemos que sta es = z 1 cuando z = 1, por lo que o e consideraremos que no tiene polo en z = 1, al cancelarse el factor z + 1, ni tampoco en ningn otro punto. u Propiedad. Puede demostrarse que toda f con un polo en z = a puede escribirse como f (z) = g(z) (z a)n

para un nmero natural unico n, donde g es anal u tica en el conjunto abierto en la denicin. Equivalenteo n f (z) y es = 0, . mente, hay un unico n tal que existe limza (z a) Denicin. El nmero n arriba mencionado se llama el orden del polo z = a. Si n = 1, hablamos de un o u polo simple y si es igual a dos, de un polo doble en z = a. Ejemplo 2. La funcin f (z) del Ejemplo 1 tiene un polo doble en z = 1, ya que o
z1

lim (z 1)2 f (z) = lim (z 2 2) = 1 = 0 , .

z1

Obsrvese que limz1 (z 1)f (z) = , mientras que limz1 (z 1)3 f (z) = 0. e En el caso de la funcin g del Ejemplo 1, el polo en z = 0 es simple, ya que o
z0

lim z g(z) = lim

z cos z = 1 cos 0 = 1 . z0 sen z 1

Sea f anal tica en un conjunto abierto , salvo en un polo a . Como ya comentamos antes, entonces existe un disco abierto D(a, r) , r > 0, tal que f es anal tica en el disco agujereado D (a, r) = {z C : 0 < |z a| < r} . Propiedad. En las condiciones especicadas arriba, siendo 0 < < r y la orientacin de la circunferencia o {z C : |z a| = } siempre positiva, el valor de la integral 1 2i no depende de . Denicin. El valor constante de las integrales de arriba se denomina el residuo de f en el polo z = a. o Notacin: Res (f ; a). o Observacin importante. La denicin tambin tiene sentido en otras situaciones, cuando z = a no es un o o e polo de f , pero aqu no nos centraremos en esos casos. Frmulas para el clculo del residuo en un polo. Si z = a es un polo simple de f , entonces o a Res (f ; a) = lim (z a)f (z) .
za

f (z) dz
|za|=

Si a es un polo doble, entonces Res (f ; a) = lim [(z a)2 f (z)] .

za

Ms generalmente, si es un polo de orden n, entonces a Res (f ; a) = 1 dn1 lim n1 [(z a)n f (z)] . (n 1)! za dz

Ejemplo 3. El residuo en el polo simple z = 0 de la funcin g del Ejemplo 1 es o Res (g; 0) = lim zg(z) = lim
z0 z0

z cos z = 1 . sen z

Ejemplo 4. El residuo en el polo doble z = 1 de la funcin f del Ejemplo 1 es o Res (f ; 1) = lim [(z 1)2 f (z)] = lim [z 2 2] = lim 2z = 2 .
z1 z1 z1

Los tres teoremas integrales A partir de ahora, consideraremos unicamente funciones anal ticas (derivables) en un conjunto abierto en el plano que contiene a un contorno (una curva simple y cerrada, C 1 a trozos) y supondremos que el interior de tambin forma parte de . A veces, la funcin f no ser anal e o a tica en todo punto de sino tendr a uno o varios polos en el interior del contorno . 2

Hay tres teoremas importantes que se suelen aplicar en estas situaciones: 1. el teorema (integral) de Cauchy, 2. la frmula integral de Cauchy, o 3. el teorema de los residuos. He aqu una regla general: aplicamos el teorema de Cauchy cuando la funcin f en cuestin es derivable o o en todo , usamos la frmula integral de Cauchy cuando f es anal o tica en salvo en un polo que se ubica dentro de y, por n, utilizamos el teorema de los residuos cuando f tiene o bien un polo de orden superior a uno, o bien varios polos en el interior de . No obstante, en este ultimo caso habr excepciones que, a veces, a permitan reducir la tarea al uso de la frmula integral de Cauchy. o Teorema (integral) de Cauchy. Sea f una funcin anal o tica en un conjunto abierto en el plano que contiene a un contorno , junto con su dominio interior. Entonces f (z)dz = 0 .

Ejemplo 5. Para cualquier contorno tenemos anal tica en todo el plano (podemos tomar = C).

e3z

2 +12

dz = 0, ya que la funcin f (z) = e3z o

2 +12

es

Ejemplo 6. De manera anloga, si C es la circunferencia unidad {z C : |z| = 1} con la orientacin a o positiva, por ejemplo, tenemos que (z + 3) cos z dz = 0 , z2 + 4 C tomando = {z C : z = 2i} y f (z) = (z+3) cos z . Puede comprobarse que es un conjunto abierto. z 2 +4 Inmediatamente observamos que f es anal tica en el interior del contorno C; tiene dos polos en el plano: 2i, pero ambos estn en el exterior del contorno. a Si alguno de los polos en el Ejemplo 2 hubiese estado dentro del contorno C, no hubieramos estado en condiciones de aplicar el teorema de Cauchy. Cmo remediar este tipo de problemas? o Frmula integral de Cauchy. Sea un conjunto abierto y un contorno contenido dentro de , junto o con su dominio interior. Sea f una funcin de la forma o f (z) = g(z) , za

donde g es anal tica en y a es un punto en el interior del contorno . Entonces 1 2i g(z) dz = g(a) , za n! 2i g(z) dz = g (n) (a) , (z a)n+1 n 1.

Ejemplo 7. Sea la circunferencia unidad con la orientacin positiva. Entonces o cos z dz = 2i cos 0 = 2i , z

ya que f (z) = cos z es una funcin anal o tica en = C, salvo en el punto a = 0, interior a ; es decir, en este z caso g(z) = cos z, una funcin anal o tica en todo el plano. 3

Considerando la misma circunferencia, pero con la orientacin negativa (denotada ), obtendr o amos cos z dz = z cos z dz = 2i , z

cambiando el signo en el resultado nal. Ejemplo 8. De manera anloga, para la misma circunferencia (digamos, con la orientacin positiva de a o nuevo), cos z g(z) 1 dz = dz = 2ig(0) = 2i ( ) = i , z 2 2z z 2 eligiendo esta vez = {z C : z = 2} y g(z) = z = 2 no pertenece ni a ni a su interior.
cos z z2 ,

anal tica en . Obsrvese que el punto problemtico e a

Ejemplo 9. Siendo la circunferencia unidad con la orientacin positiva, calcular la integral o I=

cos z dz . z2

No podemos aplicar la frmula integral de Cauchy a la funcin f (z) = cos z/z en = {z : z = 0} con a = 0: o o ese punto pertenece al interior de pero el interior de no est contenido en . Sin embargo, podemos usar a la frmula integral de Cauchy para la derivada de la funcin f (z) = cos z: o o 1 2i f (z) = f (0) = sen 0 = 0 , z2

siendo n = 1 y a = 0 en la frmula para la derivada n-sima en la frmula integral de Cauchy. o e o Teorema de los residuos. Sea un conjunto abierto y un contorno contenido en , junto con su dominio interior. Sea f una funcin anal o tica en , salvo en los polos c1 , c2 ,. . . ,cn , todos ellos contenidos en el interior del contorno . Entonces 1 2i
n

f (z)dz =
k=1

Resf (ck ) .

Este teorema puede entenderse como una generalizacin de la frmula integral de Cauchy, que constituye o o el caso n = 1. Ejemplo 10. Evaluar la integral I=

2 dz , 4z 2 1

donde es la circunferencia unidad {z : |z| = 1} con la orientacin positiva. o Solucin. El problema se puede resolver de distintas maneras. o Solucin v el teorema de los residuos. La funcin o a o f (z) = 4z 2 2 1 = 1 2(z 1/2)(z + 1/2) 4

evidentemente tiene dos polos simples en el plano complejo: c1 = 1/2 y c2 = 1/2, ambos dentro de la curva , que es simple, cerrada y C 1 . Por tanto, aunque no sea aplicable la frmula integral de Cauchy, el Teorema o de los residuos s lo es: f (z)dz = 2i (Res (f ; c1 ) + Res (f ; c2 )) .

Para evaluar esos residuos, utilizamos la frmula habitual para el residuo en un polo simple: o Res (f ; c1 ) = lim (z 1/2)f (z) = lim
z1/2

1 1 = . 2 z1/2 2(z + 1/2)

De manera anloga, Res (f ; c2 ) = 1 y, por consiguiente, a 2 2 dz = 0 . 4z 2 1

Observacin: a pesar de que el resultado de integracin sea cero, no podr o o amos haberlo obtenido usando el teorema de Cauchy, ya que ste no era aplicable. e Solucin v las fracciones parciales y la frmula integral de Cauchy. Un mtodo alternativo consiste en o a o e descomponer la funcin f en fracciones parciales (simples) y aplicar a cada una de ellas la frmula integral de o o Cauchy. Empezamos escribiendo f (z) = De aqu se obtiene 2 = (2z + 1)A + (2z 1)B = (2A + 2B)z + (A B) . Por tanto, tenemos A + B = 0, A B = 2. Finalmente, de ah obtenemos que A = 1, B = 1 y, por tanto, f (z) = lo cual nos ser ms cmodo escribir como a a o f (z) = 1 1 1 1 2 z 1/2 2 z + 1/2 1 1 , 2z 1 2z + 1 2 A B = + . (2z 1)(2z + 1) 2z 1 2z + 1

para poder aplicar la frmula integral de Cauchy. Recordemos que se necesita una funcin de la forma z a o o en el denominador. Observando que tanto el punto z = 1/2 como z = 1/2 se encuentran en el interior de , ya podemos calcular directamente: 4z 2 2 1 dz = 1 2 1 1 dz z 1/2 2 1 1 1 dz = = 0 , z + 1/2 2 2

donde la frmula integral de Cauchy en ambas integrales se ha aplicado a la funcin constante f = 1 en el o o numerador. 5

Ejemplo 11. Calcular la integral

R

(z 2

1 dz , + 1)2

donde R > 1, R = IR + CR , IR = [R, R] y CR es la semi-circunferencia de radio R en el semiplano superior centrada en el origen, desde R hasta R. La curva R est orientada en el sentido positivo. a Solucin. Puesto que z 2 + 1 = (z i)(z + i), se observa que o f (z) = 1 (z i)2 (z + i)2 .

Por tanto, f es anal tica en el conjunto abierto = {z C : z = i} y tiene dos polos dobles en el plano: z = i y z = i. Sin embargo, slo el polo z = i se encuentra en el interior de R (ya que R > 1). Hallamos o el valor del residuo en ese polo segn la frmula para un polo doble: u o Res (f ; i) = lim[(z i)2 f (z)] = lim
zi

zi

1 (z + i)2

= lim

2 2 1 i = = = . 3 3 zi (z + i) (2i) 4i 4

El teorema de los residuos nos dice que (z 2 1 i dz = 2i Res (f ; i) = 2i 2 + 1) 4 = . 2

Los clculos como ste sern muy importantes a la hora de evaluar diversas integrales impropias de funciones a e a reales. Ms acerca de este tema en la segunda entrega. a Preparado por: Dragan Vukoti, Profesor de la asignatura en 2004-05 y 2005-06. c