Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
a) Introduccin.
b) Puntos singulares aislados.
c) Residuo.
d) Teorema de Cauchy.
e) Residuos y polos.
f) Ceros de funciones analticas.
g) Aplicacin de los residuos.
a).- Introduccin.
f ( z)dz 0
C
Sin embargo, si la funcin falla en ser analtica para un nmero finito de puntos interiores a C
veremos a continuacin que existe un nmero especfico llamado residuo, para cada uno de los puntos
donde f no es analtica, que contribuye al valor de la integral.
As que en lo que sigue desarrollaremos la llamada teora de los residuos, mediante el enunciado
de algunos teoremas que nos sern de vital importancia, entre ellos, el teorema de Cauchy para el residuo.
Finalmente, veremos algunas aplicaciones de esta teora en algunos problemas donde se
requieran calcular integrales, tanto para funciones complejas como para funciones reales.
Para definir qu es un punto singular aislado debemos recordar que un punto z0 se llama punto
singular de una funcin f si la funcin f es no analtica en z0 pero s lo es en la vecindad de z0.
5-1
Ejemplos.
i. Encontrar los puntos singulares aislados de la funcin f(z) definida por
sin z .
f ( z)
z 4i
Solucin. Se tiene que z = 4i es el nico punto singular de la funcin f(z), dado que f(z) es el cociente
de las funciones enteras f1(z) = sin z y f2(z) = z - 4i, siendo 4i el nico cero de f2(z). As que z = 4i es un
punto singular aislado.
ii. Encontrar los puntos singulares aislados de la funcin f(z) dada por
z 1 .
f ( z)
z z 2 1
Solucin. En este caso tenemos tres puntos singulares aislados, a saber, z1 = 0, z2 = i y z3 = -i. Dado
que f(z) es el cociente de las funciones enteras f1(z) = z + 1 y f2(z) = z(z2 + 1), siendo 0 y i los nicos
cero de f2(z). As que estos tres puntos son singulares aislados.
iii. Encontrar los puntos singulares aislados de la funcin f(z) definida por
1 .
f ( z)
sin
z
Definicin. Sea
bn
f ( z ) an ( z z0 ) n (5.1)
n 1 ( z z0 )
n
n 0
el desarrollo de Laurent para la funcin f(z) alrededor del punto singular aislado z0. La parte del desarrollo
de Laurent de f(z) que tiene potencias negativas de (z - z0) se denomina parte principal de f en z0.
5-2
En otras palabras, el trmino
bn
(z z )
n 1
n
0
Un ejemplo.
n 0 z 1
Polo de orden m
Definicin. Sea z0 un punto singular aislado de una funcin f(z). Se dice que z0 es un polo de orden m de f
si el desarrollo de Laurent para f(z) (ecuacin 5.1) toma la forma
b1 b2 bm
f ( z ) an ( z z0 )n ... (5.2)
n 0 ( z z0 ) ( z z0 ) 2
( z z0 )m
donde bm 0 y bm+1 = bm+2 = = 0.
5-3
En otras palabras, la parte principal de f en z0 posee el coeficiente bm 0 y los siguientes
coeficientes son cero. Los coeficientes anteriores a bm no necesariamente son nulos, pero pueden serlo.
En el caso en que m = 1, z0 se denomina polo simple.
La definicin anterior nos indica que para determinar si z0 es un polo de f(z), previamente se debe
tener el desarrollo de Laurent de f(z) alrededor de z0; lo anterior no es prctico, pero siempre es vlido.
Demostracin. Sea f(z) una funcin con un polo de orden m en z0, por lo que el desarrollo de Laurent para
f(z) toma la forma
b1 b2 bm
f ( z ) an ( z z0 )n ...
n 0 ( z z0 ) ( z z0 ) 2
( z z0 )m
como
|(z z0)m| 0, cuando z z0,
la ecuacin anterior indica que
lim f ( z ) ,
z z0
El teorema anterior no slo nos permite identificar si un punto es un polo, sino tambin el orden
del mismo. Basndose en este teorema, las siguientes reglas nos permiten identificar el orden del polo.
Regla I. Sea z0 un punto singular aislado de f(z). Si existe el
lim ( z z0 ) m f ( z )
z z0
y si dicho lmite no es cero ni infinito, entonces f(z) tiene un polo de orden m en z0.
Regla II. Si el polo de f(z) en z0 es de orden m, entonces
0 n m
lim ( z z0 )n f ( z )
z z0
n m
5-4
Un ejemplo.
Establezca el orden de los polos que presenta la funcin
1
f ( z)
z ( z 3i)
2
Solucin. En este caso vemos que f(z) presenta polos en z = 0 y z = 3i. As que analicemos estos polos por
separado.
i. Para z = 0 se tiene que
1 1
lim f ( z ) lim ,
z 0 z 0 z 3iz 2 3
0
por lo que efectivamente z = 0 corresponde a un polo de f(z). Veamos ahora de qu orden es
este polo.
Sea m un entero positivo, as que
0 m 2
z m2
i
lim z m f ( z ) lim 3 m 2
z 0 z 0 z 3i
m 2
Lo anterior significa que z = 0 es un polo de orden 2.
z 3i z 3i 2
z 9
m 1
Lo anterior significa que z = 3i es un polo de orden 1.
En problemas relevantes de la Fsica es comn encontrarse con situaciones en las que se requiere
determinar el orden de los polos de una funcin de la forma
p( z ) .
f ( z)
q( z )
Por lo que a continuacin estableceremos un teorema que nos permite identificar si un punto es un polo,
as como el orden del mismo, para una funcin racional f(z).
Teorema. Sea z0 un punto del plano complejo. Sea f(z) una funcin tal que
p( z )
f ( z)
q( z )
donde p(z) y q(z) son analticas en z0 y p(z0) 0. Entonces, z0 es un polo de orden m de f, si y slo si,
5-5
q(z0) = q(z0) = = q(m1)(z0) = 0
y
q(m)(z0) 0.
luego
q( z )
( z z0 )m
am
n m 1
an ( z z0 )nm
por tanto,
q( z )
lim am 0
z z0 ( z z0 ) m
De esta forma,
p( z )
lim ( z z0 )m f ( z ) lim ( z z0 ) m
z z0 z z0
q( z )
z z0
m
z z0
lim ( z z0 ) f ( z ) lim p( z ) lim ( z z0 ) m
z z0 q ( z )
1
p ( z0 ) 0, .
am
Lo cual indica que z0 es un polo de orden m de f(z).
Un ejemplo.
ez
Establecer los puntos singulares aislados de la funcin f ( z ) , as como el orden de los mismos.
sin z
Solucin. En este caso se tiene que
p( z )
f ( z)
q( z )
con p(z) = ez y q(z) = sin z; en ambos casos, advertimos que se trata de funciones analticas.
Analizando los ceros de q(z) encontramos que los puntos singulares aislados de f(z) son
zn = n, con n = 0, 1, 2,
De esta forma, p(zn) 0, q(zn) = 0 y q(zn) 0, para todo n. Por tanto, zn es un polo simple de f(z)
para todo n.
5-6
Un ejercicio.
Realice el mismo anlisis para la funcin f ( z ) 1 (revisada anteriormente) y corrobore sus
z ( z 3i)
2
resultados previos.
Un ejemplo.
Demostrar que z0 = 0 es un punto singular esencial de f(z) = e1/z.
Solucin. De acuerdo al teorema anterior debemos verificar que
1
lim e z
z z0
no existe.
Para ello, podemos ver que si nos acercamos al origen por la recta y = 0, x > 0, vemos que la
funcin f(z) crece sin lmite cuando x 0; mientras que si nos acercamos al origen por la recta y = 0,
x < 0, vemos que la funcin f(z) tiende a cero cuando x 0.
Con lo anterior, podemos concluir que se satisface el teorema ya que el lmite no existe, por lo que
podemos afirmar que z0 = 0 es un punto singular esencial de f(z) = e1/z.
Por otro lado, si nos decidimos por utilizar la definicin de punto singular esencial, es necesario
recordar que el desarrollo de Laurent de e1/z alrededor de z0 = 0 est dado por
1
e1 z 1 n
n 1 n ! z
5-7
Punto Singular Removible
Definicin. Sea z0 un punto singular aislado de una funcin f(z). Se dice que z0 es un punto singular
removible, si todos los coeficientes de la parte principal de f en z0 son cero.
Si z0 es un punto singular removible de f(z), el desarrollo de Laurent (5.1) toma la forma
f ( z ) an ( z z0 ) n
n 0
Por lo tanto, para determinar si un punto singular aislado z0 es un punto singular removible de f(z), basta
con verificar que
lim f ( z )
z z0
existe y es finito.
Un ejemplo.
sin z
Verificar que z0 = 0 es un punto singular removible de f ( z ) .
z
Solucin. Para verificar lo solicitado bastar mostrar que
sin z
lim
z z0 z
existe; as que aplicando la regla de LHopital se tiene que
sin z cos z
lim lim 1
z z0 z z z0 1
por lo tanto, al existir el lmite, se demuestra que z0 = 0 es un punto singular removible de la funcin
sin z
f ( z) .
z
c).- Residuo.
Definicin. Sea f(z) una funcin analtica sobre un contorno cerrado simple C y en todo punto interior a
C, salvo en z0. El residuo de f(z) en z0, que se denota por Res f ( z ) z z , est definido por
0
1
Res f ( z )z z
2 i C
f ( z )dz
0
5-8
Cuando z0 es un punto singular aislado de una funcin f, hay un nmero positivo R2 tal que f es
analtica en todos los puntos z para los cuales 0 < |z z0| < R2.
de donde
f ( z)dz 2 ib
C
1
Si se compara esta ltima expresin con la definicin de residuo uno encuentra que el nmero
complejo b1, que corresponde al coeficiente de 1/(z z0) en el desarrollo de Laurent para f(z), es
precisamente el residuo de f en el punto singular aislado z0, por lo que podemos escribir
Res f ( z )z z b1
0
Con todo lo anterior, podemos concluir que el residuo de la funcin f(z) en el punto singular aislado
z0 es igual al coeficiente de (z z0)1 en la serie de Laurent que representa a f(z) en una regin anular dada
por 0 < |z z0| < R2, para cierto nmero real R2 > 0.
Si usamos la definicin de residuo, y este ltimo resultado, encontramos una expresin muy til
para calcular ciertas integrales alrededor de contornos cerrados simples, a saber
f ( z)dz 2 iRes f ( z)
C
z z0
5-9
Un ejemplo.
Calcule la integral
e
1z
dz
C
por lo que
e dz 2 i
1z
Otro ejemplo.
Considere la integral
1
z
2
sin dz
C z
donde C es el crculo unitario orientado positivamente
centrado en el origen, a saber, |z| = 1.
Solucin. Para determinar el residuo, retomamos la
representacin en series de Maclaurin para sen z, a saber
z3 z5 z7 (Vlida para |z| < )
sin z z ...
3! 5! 7!
Como podemos ver, el coeficiente de z-1, y que corresponde al residuo del desarrollo, es 1 por lo que
3!
1 1
z sin dz 2 i i
2
C z 3! 3
5-10
Un ejemplo adicional.
Muestre que
e dz 0
2
1 z
Solucin. Considerando que la serie de Laurent para el integrando est dada por
1
e1 z 1
2
2n
n 1 n ! z
Vemos que el coeficiente de z-1 es cero, ya que en la serie n = 1 corresponde a z-2, con lo que se demuestra
lo pedido.
Ejercicios.
Use las ideas anteriores para evaluar la integral de cada una de las siguientes funciones alrededor del
3
contorno dado por la circunferencia | 2| = 2 orientada positivamente:
z5
a) f ( z)
1 z3
b) 1
f ( z)
1 z2
c) 1
f ( z)
z
Soluciones: (a) -2i/3; (b) 0; (c) 2i.
Teorema. Sea C un contorno cerrado simple orientado positivamente. Si una funcin f es analtica dentro
y sobre C, excepto en un nmero finito N de puntos singulares zk (k = 1, 2,, N) interiores a C, entonces
N
f ( z)dz 2 i Res f ( z)
C k 1
z zk
5-11
conexo. As que, una vez aisladas las singularidades, podemos aplicar el Teorema de Cauchy-Goursat el
cual establece que si una funcin f es analtica en todos los puntos interiores a un contorno, entonces el
valor de la integral de dicha funcin f es cero alrededor de dicho contorno, en este caso podemos escribir
N
f ( z )dz f ( z )dz 0
C k 1 Ck
f ( z )dz 2 iRes f ( z ) z z
k
Ck
Un ejemplo.
Calcular la integral
z2
z( z 1) dz
C
Otro ejemplo.
Calcular la integral
dz
1 z z e
1 1 1
( z 1) ( z 2)
2 z
e e
C
donde C es un contorno cerrado simple que contiene en su interior a los puntos z1 = 0, z2 = 1 y z3 = 2.
Solucin. En este caso, tenemos que
f ( z ) 1 z z 2 e z e ( z 1) e ( z 2)
1 1 1
5-12
la cual puede ser reescrita como la suma de las funciones f1(z), f2(z) y f3(z) definidas, respectivamente,
como
1 z z
1
f1 ( z ) e z 2
1 z z
1
( z 1)
f2 ( z) e 2
1 z z
1
( z 2)
f3 ( z ) e 2
Calculemos el residuo de f1(z) en z1 = 0. Se tiene que f2(z) y f3(z) son analticas en z1 = 0, luego poseen
desarrollo de Taylor. De esta forma, el residuo de f(z) en z1 = 0 viene dado por el coeficiente de z-1 en el
desarrollo de Laurent de f1(z) alrededor de z1 = 0,
1
f1 ( z ) 1 z z 2 z n
n 0 n !
1 1 1
z n z1n z 2n
n 0 n ! n 0 n ! n 0 n !
Ahora calculemos el residuo de f2(z) en z2 = 1. Se tiene que f1(z) y f3(z) son analticas en z2 = 1, luego poseen
desarrollo de Taylor. De esta forma, el residuo de f(z) en z2 = 1 viene dado por el coeficiente de (z - 1)-1 en
el desarrollo de Laurent de f2(z) alrededor de z2 = 1,
1 z z e 1 z 1 1 z 1 1
1 1 2
( z 1) ( z 1)
f2 ( z) e 2
2 z 1 z 1 1
1 2
( z 1)
f2 ( z) e
1
f 2 ( z ) 3 3( z 1) ( z 1) 2 ( z 1) n
n 0 n !
3 3 1
( z 1) n ( z 1)1 n ( z 1) 2 n
n 0 n ! n 0 n ! n 0 n !
Finalmente, calculemos el residuo de f3(z) en z3 = 2. Se tiene que f1(z) y f2(z) son analticas en z3 = 2, luego
poseen desarrollo de Taylor. De esta forma, el residuo de f(z) en z3 = 2 viene dado por el coeficiente del
trmino (z - 2)-1 en el desarrollo de Laurent de f3(z) alrededor de z3 = 2,
1 z z e 1 z 2 2 z 2 2
1 1 2
( z 2) ( z 2)
f3 ( z ) e 2
5-13
1
f3 ( z ) 7 5( z 2) ( z 2) 2 ( z 2) n
n 0 n !
7 5 1
( z 2) n ( z 2)1 n ( z 2) 2 n
n 0 n ! n 0 n ! n 0 n !
dz 2 i 10 28 58 32 i
1 z z e
1 1 1
( z 1) ( z 2)
2 z
e e 6 6 6
C
Ejercicios.
Use el teorema de los residuos de Cauchy para evaluar las integrales, sobre la circunferencia |z| = 3
recorrida en sentido positivo, de las funciones
e z
a) f ( z)
z2
e z
b) f ( z)
( z 1)2
c) 1
f ( z ) z 2 exp
z
d) z 1
f ( z) 2
z 2z
Soluciones: (a) -2i; (b) -2i/e; (c) i/3; (d) 2i.
Teorema. Sea f(z) una funcin racional, con N polos simples zk, entonces la expansin en fracciones
parciales de f(z) tiene la forma
A1 A2 A3 AN
f ( z) ...
( z z1 ) ( z z2 ) ( z z3 ) ( z zN )
donde los nmeros complejos Ak, denominados coeficientes de la expansin, estn dados por
Hasta aqu, cuando una funcin f(z) tiene una singularidad esencial en z0, la nica manera que
tenemos para determinar el residuo en dicho punto consiste en obtener el desarrollo de Laurent alrededor
de z0 y elegir el coeficiente apropiado, correspondiente al trmino (z - z0)-1 de la parte principal de dicho
desarrollo.
Pero si la funcin tiene un polo en z0 no es necesario obtener todo el desarrollo de Laurent
alrededor de z0 para encontrar el coeficiente que buscamos.
Existen diversos mtodos de los que podemos echar mano siempre y cuando sepamos que la
singularidad es un polo, uno de ellos es el siguiente teorema que nos permite identificar si un punto z0 es
un polo de f(z) y, adems, nos dice cmo calcular Res f ( z )z z .
0
( z ) z z0 f ( z )
m
se puede definir en z0 de modo que sea analtica ah y (z0) 0. Entonces f(z) tiene un polo de orden m en
z0, y su residuo ah est dado por
( m1) ( z0 ) .
Res f ( z )z z
0
(m 1)!
Vale la pena notar que en el caso en que el polo es simple (m = 1), la expresin anterior se reduce a
Res f ( z )z z ( z0 ) .
0
Demostracin. Considerando que (z) es analtica en z0, admite un desarrollo de Taylor alrededor de z0,
tal que
'( z0 ) ''( z0 ) ( m1) ( z0 )
( z ) ( z0 ) ( z z0 ) ( z z0 ) 2 ... ( z z0 ) ( m1)
1! 2! (m 1)!
( n ) ( z0 )
( z z0 ) n
nm n!
en algn entorno |z -z0| < .
5-15
( z0 ) '( z0 ) ''( z0 ) ( m 1) ( z0 )
f ( z) ...
( z z0 ) m 1!( z z0 )m 1 2!( z z0 ) m 2 (m 1)!( z z0 )
( z0 )
(n)
( z z0 ) n m
nm n!
cuando 0 < |z -z0| < .
Este desarrollo en serie de Laurent, junto con el hecho de que (z0) 0, implica que
z0 es, en efecto, un polo de orden m de f(z); y
el coeficiente de 1/(z - z0) confirma que el residuo de f(z) en z0 es
( m1) ( z0 )
Res f ( z )z z
0
(m 1)!
Con lo que se demuestra el teorema.
Ejercicios.
Use el teorema anterior para evaluar los residuos de cada una de las siguientes funciones:
e z
a) f ( z)
( z 1)2
1
b) f ( z)
1 z2
1
c) f ( z)
z
z 1
d) f ( z) 2
z 2z
e z
e) f ( z)
z2
1
f) f ( z ) z 2 exp
z
z5
g) f ( z)
1 z3
Residuos al infinito
Teorema. Si una funcin f es analtica en todo el plano finito a excepcin de un nmero finito de puntos
singulares interiores a un contorno cerrado simple C orientado positivamente, entonces
1 1
f ( z)dz 2 i Re s z
C
2
f
z z z0
5-16
f).- Ceros de funciones analticas.
Hay una relacin estrecha entre los ceros y los polos de una funcin, de hecho ms adelante
veremos cmo los ceros pueden llevar a polos; sin embargo, previo a ello, veamos algunas ideas que nos
pueden ser tiles en esto.
Anteriormente hemos visto que si f es una funcin analtica en un punto z0, entonces existen todas
sus derivadas f(n)(z0) (para n = 1, 2, ); lo anterior permite enunciar el siguiente teorema.
Teorema. Una funcin f analtica en z0, tiene un cero de orden m en z0 si, y solo si, existe una funcin g,
analtica y no nula en z0, tal que
f ( z ) z z0 g ( z )
m
Demostracin. Partiendo de que g es analtica y no nula en z0, podemos hacer un desarrollo de Taylor para
g(z)
g '( z0 ) g ''( z0 ) g '''( z0 )
g ( z ) g ( z0 ) ( z z0 ) ( z z0 ) 2 ( z z0 ) 3
1! 2! 3!
y
f ( m ) ( z0 )
g ( z0 ) 0
m!
Esta ltima expresin nos lleva a que f(m)(z0) = 0, lo que implica que efectivamente z0 es un cero de orden
m de f, con lo que se demuestra en un sentido el teorema.
De manera recproca, se puede partir de que z0 es un cero de orden m de f, lo que implica que el
desarrollo de Taylor tiene los primeros m trminos son cero, de tal forma que
f ( n ) ( z0 )
f ( z) ( z z0 ) n
nm n!
5-17
f ( m ) ( z0 ) f ( m1) ( z0 )
f ( z) ( z z0 ) m ( z z0 ) m1
m! m 1!
es decir,
f ( m ) ( z0 ) f ( m1) ( z0 ) f ( m 2) ( z0 )
f ( z ) ( z z0 ) m ( z z0 )1 ( z z0 ) 2
m ! m 1 ! m 2 !
de donde vemos que g(z) tiene la forma
f ( m ) ( z0 ) f ( m 1) ( z0 ) f ( m 2) ( z0 )
g ( z) ( z z0 )1 ( z z0 ) 2
m! m 1 ! m 2 !
con
f ( m ) ( z0 )
g ( z0 )
m!
Lo que completa la demostracin del teorema.
Un ejemplo.
Considerando la funcin f(z) = z2 + 4, identifique y clasifique el (o los) cero(s).
Solucin. Los ceros de f(z) son z0 = 2i, ya que f(z) = (z + 2i)(z - 2i)
Considerando z0 = +2i, escribamos g(z) como
g ( z)
f ( z)
z 2i z 2i
z z0 z 2i
m m
que resulta diferente de cero en z0 = 2i cuando m = 1, por lo que z0 = +2i es un cero de orden 1.
Considerando z0 = -2i, escribamos g(z) como
g ( z)
z 2i z 2i
z 2i
m
que resulta diferente de cero en z0 = -2i cuando m = 1, por lo que z0 = -2i es un cero de orden 1.
5-18
ii. f(z0) = 0 y f(z) = 0, en todos los puntos de un dominio D o de un segmento recto que contengan a
z0.
Entonces f(z) 0 en N0; esto es, f(z) es idnticamente nula en el entorno N0 .
Una vez establecidos los teoremas anteriores, vamos a ver el teorema que muestra cmo los ceros de
orden m de una funcin f pueden producir polos de orden m.
Teorema. Supongamos que
i. p(z) y q(z) son funciones analticas en el punto z0
ii. p(z0) 0 y q(z) tiene un cero de orden m en z0.
Entonces el cociente p(z)/q(z) tiene un polo de orden m en z0.
Demostracin. Puesto que q tiene un cero de orden m en z0, el teorema 1 anterior implica que existe un
entorno perforado de z0 en el cual q(z) es distinto de 0, con lo que z0 es un punto singular aislado del
cociente p(z)/q(z).
Por otro lado, podemos escribir
q ( z ) z z0 g ( z )
m
Como p(z)/g(z) es analtica y no nula en z0, se sigue que z0 es un polo de orden m de p(z)/q(z).
Un ejemplo.
Las funciones p(z) = z y q(z) = z2 + 4 son enteras, y adems sabemos que q(z) tiene un cero de orden
m = 1 en el punto z0 = 2i . Por lo tanto, el teorema anterior implica que la funcin f(z) definida como
p( z ) z
f ( z) 2
q( z ) z 4
El teorema anterior pone a nuestra disposicin otro mtodo para identificar los polos simples y
calcular los residuos correspondientes que, en ocasiones, resulta ms fcil de aplicar que los
procedimientos vistos anteriormente.
Teorema. Sean p y q funciones analticas en un punto z0. Si
p(z0) 0, q(z0) = 0 y q(z0) 0
z0 es un polo simple del cociente p(z)/q(z) con
p( z ) p ( z0 )
Res
q ( z ) z z0 q '( z0 )
5-19
Demostracin. Observemos que, dadas las condiciones impuestas, z0 es un cero de orden m = 1 de la
funcin q. As pues
q(z) = (z - z0)g(z)
donde g(z) es analtica y no nula en z0.
Adems z0 es un polo simple del cociente p(z)/q(z), que puede escribirse como
p( z )
p( z ) g ( z)
q( z ) z z0
Ahora bien, p(z)/g(z) es analtica y no nula en z0, as que recordando el teorema para el clculo del residuo
en un polo simple, a saber
Res f ( z )z z ( z0 ) donde ( z ) z z0 f ( z ) ,
0
podemos escribir
p( z ) p ( z0 )
Res
q( z ) z z0 g ( z0 )
Pero como q(z) = (z - z0)g(z), podemos derivar con respecto a z y evaluar en z = z0, para obtener
sucesivamente
Un ejemplo.
Usando el teorema anterior, demostrar que el punto z = 0 es un polo simple de la funcin
1
f ( z ) csc z
sin z
y que su residuo es 1.
Solucin. A partir de la expresin para f(z), identificamos
p( z ) 1
q ( z ) sin z
A continuacin verificamos las condiciones que deben cumplir p(z) y q(z), a saber
p(z0) 0, q(z0) = 0 y q(z0) 0
que en este caso resultan
5-20
p(0) =1 0,
q(0) = sen 0 = 0
y
q(0) = cos (0) = 1 0
Por lo que podemos concluir que z = 0 es un polo simple de csc z.
Mientras que para calcular el residuo, usamos
p( z ) p ( z0 )
Res
q( z ) z z0 q '( z0 )
es decir
1
Res csc z z 0 1
1
Otro ejemplo.
Pruebe que
donde
zn n
2
con n = 0, 1, 2, 3,
Solucin. En este caso, aunque no vemos el cociente, este aparece cuando escribimos f(z) como
z
f ( z ) z sec z
cos z
de donde podemos identificar
p( z ) z
q ( z ) cos z
A continuacin verificamos las condiciones que deben cumplir p(z) y q(z), a saber
p(z0) 0, q(z0) = 0 y q(z0) 0
que en este caso resultan
p n n 0
2 2
q n cos n cos cos n sin sin n 0
2 2 2 2
y
5-21
q ' n sin n
2 2
sin cos n sin n cos
2 2
cos n (1) (1)
n n 1
es decir
n
z
Res z sec z z z =Res
2 (1)n 1 n
n 1
n
cos z z zn (1) 2
Cuando el lmite existe se dice que la integral impropia es convergente y que converge a dicho lmite.
Si f(x) es continua en todo x, su integral impropia sobre la recta - < x < se define como
0 R2
f ( x)dx lim
R1 R1
f ( x)dx lim
R2 0
f ( x) dx (2)
y cuando los dos lmites existen se dice que la integral impropia converge a la suma de ambos lmites.
Definicin. Esta ltima integral tiene otro valor asignado conocido como valor principal de Cauchy (VP)
que se define como el nmero
R R
siempre que este lmite exista.
5-22
Es importante mencionar que si la integral dada por la ecuacin (2) es convergente, su valor
principal de Cauchy (VP) existe; sin embargo, la existencia del valor principal de Cauchy NO garantiza la
convergencia de la integral (2), tal como se muestra en el ejemplo siguiente.
Un ejemplo.
Observemos que para la integral
xdx
el valor principal es
R
x2
VP xdx lim xdx lim
lim 0 0
R
R R R
2 R
R
no existe.
ya que el rea bajo curva de f(x) ubicada entre -R y 0 cancela al rea bajo la curva ubicada entre 0 y R.
Con lo anterior, el valor principal de Cauchy para una funcin impar f(x) resulta
R R
5-23
Valor principal para una funcin par.
A continuacin, supongamos que f(x) es una funcin par, tal que
f(-x) = f(x)
para todo x.
La simetra de la funcin nos permite escribir
R R
R
f ( x)dx 2 f ( x)dx
0
lo que permite probar que para una funcin par, el valor principal de Cauchy existe, y est dado por
VP f ( x)dx 2 f ( x)dx
A continuacin describiremos un mtodo basado en los residuos que permite evaluar integrales
impropias de funciones racionales pares f(x) de la forma
p ( x)
f ( x)
q( x)
con
f(-x) = f(x)
y donde p(x) y q(x) son polinomios con coeficientes reales sin factores comunes.
Suponemos que q(z) no tiene ceros reales y que tiene al menos un cero en el semiplano complejo
superior (donde Im(z) > 0).
El mtodo se inicia identificando todos los ceros distintos del polinomio q(z) situados en el
semiplano superior, hay un nmero finito de ellos (dependiendo del grado del polinomio) y podemos
denotarlos como z1, z2, , zn, donde n es menor o igual que el grado N de q(z).
A continuacin se integra el cociente
p ( x)
f ( x)
q( x)
sobre el contorno semicircular formado por el segmento
recto desde z = -R a z = R y la mitad superior de la
circunferencia |z| = R descrita en sentido positivo y que
denotaremos por CR, tal como se muestra en la figura.
En todo caso supondremos que R es lo
suficientemente grande para que los puntos z1, z2, , zn sean todos interiores al contorno cerrado que se
est considerando.
Usando el teorema de los residuos de Cauchy y la parametrizacin z = x para el segmento recto,
podemos escribir
R n
de donde
5-24
R n
Si
lim
R
CR
f ( z )dz 0
entonces
R n
VP f ( x)dx 2 i Res[ f ( z )]z zk
R k 1
Tomando en cuenta que f(x) es una funcin par, podemos escribir finalmente que
n
y
n
Un ejemplo.
Para evaluar la integral
x2
0 x6 1 dx
comenzamos observando que
z2 p( z )
f ( z)
z 1 q( z )
6
tiene singularidades aisladas en los ceros del polinomio q(z) = z6 + 1, que son las races sextas de -1 (= ei)
y es analtica en todos los dems puntos del plano complejo.
En este caso, recordando lo visto anteriormente para el clculo de races, vemos que
2k
zk ck exp i
6 6
con k = 0, 1, 2, , 5.
5-25
As que en este caso, integrando sobre el contorno cerrado, obtenemos
R
En este caso
z2 ck2 1
Bk Res 6 5 3
z 1 z ck 6ck 6ck
Por lo que
1 1 1
R
R
f ( x)dx
CR
f ( z )dz 2 i
6i 6i 6i 3
de donde
R
R
f ( x)dx
3
CR
f ( z )dz
z (t ) Reit
con 0 t .
A partir de lo anterior, tenemos que
z 2 z R2
2
5-26
En este punto podemos usar un resultado que se tiene cuando evaluamos una integral sobre un contorno
de longitud L en el que el mdulo de la funcin f(z) est acotado por un valor M, es decir
f ( z)dz ML
C
R2 R3
CR
f ( z )dz 6 R 6
R 1 R 1
es decir
3
R3
f ( z )dz
R6
R
1
1
CR
6
6 1 6
R R R
que, en el lmite cuando R , resulta cero.
Ejercicios.
Utilice los residuos para calcular, en cada inciso, la integral impropia solicitada.
dx
a) x
0
2
1
dx
b)
x 1
2 2
0
5-27
dx
c) x
0
4
1
x 2 dx
d) 0 x2 1 x2 4
Lema de Jordan
En la evaluacin de integrales sobre el contorno CR, cuyo integrando es de la forma f(z)eiaz, en
algunas ocasiones se hace necesario usar el llamado Lema de Jordan, que se enuncia a continuacin.
lim
R
CR
f ( z )eiaz dz 0 (5.17)
f ( x) sin axdx
f ( x) cos axdx
donde a es una constante positiva y, tal como lo hemos hecho, supondremos que
p ( x)
f ( x)
q( x)
donde p(x) y q(x) son polinomios con coeficientes reales sin factores en comn; adems, q(x) no tiene
ceros reales.
Este tipo de integrales aparecen en la teora y aplicaciones de la Integral de Fourier que veremos
ms adelante en este curso.
5-28
En este tipo de integrales no podemos aplicar directamente las ideas desarrolladas anteriormente
para el clculo de integrales impropias, pero an podemos hacer algo si consideramos que
R R R
R
f ( x) cos axdx i f ( x)sin axdx
R R
f ( x)eiax dx
es decir, en vez de calcular la integral que involucra al seno o al coseno, calculamos la integral que contiene
a la exponencial y al final igualamos partes reales e imaginarias en ambos lados del resultado que se
obtiene.
i zk
y
p ( x) p( z )
f ( x)sin axdx q( x) sin axdx Im 2 i Res q( z) e
iaz
i zk
siempre que la diferencia entre el grado de q(x) y el grado de p(x) sea mayor o igual a 1.
Un ejemplo.
x sin 2 x
Calcule
x4 1
dx
Para ello advertimos que los polos zk se ubican en los ceros de z4 + 1, resultando
2 k
zk exp i
4 4
con k = 0, 1, 2, 3. Como los cuatro valores son distintos, podemos afirmar que corresponden a polos
simples.
Para nuestro problema bastar considerar los polos ubicados en el semiplano superior, que
corresponden a los valores
1
1 i
2
por lo que el clculo del residuo se reduce a evaluar
5-29
zei 2 z zei 2 z ei 2 z
Res z
1 z
4 3
k k 4z zk k 4z2 zk
k
Res z 4
1 z
2
2
1 1
k
k
4 1 i 4 1 i
2 2
que podemos simplificar al desarrollar las operaciones indicadas en el denominador y en el argumento de
las exponenciales para llegar a
zei 2 z ei 2 1i ei 2 1i
k z 4 1
Res
4i
zk 4i
que se reduce a
zei 2 z e 2 ei 2
ei 2
Res z
2
1 zk
4
k 2i
o
zei 2 z e 2
k Res z 4 1 sin 2
zk 2
As que finalmente, el resultado buscado es
x sin 2 x e 2
x4 1 dx Im 2 i sin 2
2
es decir
x sin 2 x
x 4
1
dx e 2 sin 2
De hecho, una vez calculado el residuo podemos establecer un par de resultados adicionales
x cos 2 x e 2
x 1
4
dx Re 2 i
2
sin 2 0
y
e 2
xei 2 x
x 1
4
dx 2 i
2
sin 2 i e sin 2
2
Otro ejemplo.
cos 3x
Calcule
x2 4
dx
5-30
por lo que tenemos que calcular
cos 3x ei 3 z
x2 4 dx Re
2 i Res z2 4
i zk
Para ello advertimos que los polos zk se ubican en los ceros de z2 + 4, resultando zk = 2i. Como los dos
valores son distintos, podemos afirmar que corresponden a polos simples.
Para nuestro problema bastar considerar es polo ubicado en el semiplano superior, que
corresponde al valor zk = +2i.
Por lo que el clculo del residuo se reduce a evaluar
ei 3 z ei 3 z
Res z
4 z
2
k 2z z0 2 i
k
es decir
cos 3x e6
x2 4
dx
2
De hecho, una vez calculado el residuo podemos establecer un par de resultados adicionales
sin 3 x e 6
x2 4
dx Im
2 i i
0
4
y
ei 3 x e6 e6
x2 4
dx 2 i
i
4
2
5-31
En todo momento se exigi que el denominador (q(x)) sea diferente de cero para todo x.
Como una ltima aplicacin de los residuos veremos el clculo de integrales en los que el contorno
de integracin pasa por singularidades, es decir, puntos en los que q(x) = 0; siempre que se cumplan ciertas
condiciones. Este tipo de contornos se llaman contornos sangrados o con muescas.
Para poder trabajar con este tipo de contornos sangrados, veamos el siguiente teorema.
lim f ( z )dz B0 i
0 C
Demostracin. Suponiendo que se satisfacen las condiciones (i) y (ii) del teorema, podemos escribir las
serie de Laurent de f(z) como
0 z x R2
B0
f ( z) g ( z)
z x0
0
donde
g ( z ) an z x0
n
zx 0 R2
n 0
5-32
La funcin g(z) es continua cuando |z - x0| < R2,
por lo que si tomamos un nmero 0 tal que
< 0 < R2,
g(z) debe estar acotada en el disco cerrado |z - x0| < 0, .
As pues, existe una constante M tal que
|g(z)| M siempre que |z - x0| < 0
con lo anterior, puesto que la longitud de C es L = ,
se tiene
C
g ( z )dz ML M
Por consiguiente
lim
0 C
g ( z )dz 0
z x0 ei
Con lo que podemos escribir la integral como
dz dz
C z x0
C z x
0
1
iei d
0 ei
i d i
0
por lo que
dz
lim i
0
z x0
C
Finalmente, podemos usar los resultados anteriores, correspondientes a cada una de las integrales
para escribir
dz
lim f ( z )dz lim g ( z )dz B0 lim
0 C 0 C 0 C z x0
como
lim f ( z )dz B0 i
0 C
5-33
Un ejemplo:
Encuentre el valor principal de Cauchy para la integral
cos 3 x
x 1
dx
ei 3 z
f ( z)
z 1
por lo que aplicando el teorema de Cauchy podemos escribir
1 R
ei 3 z ei 3 x ei 3 z ei 3 x ei 3 z
C z 1
dz
R
x 1
dx
C z 1
dz
1
x 1
dx
CR z 1
dz 0
lim f ( z )dz B0 i
0 C
ei 3 z
f ( z)
z 1
En este caso, podemos usar
ei 3 z ei 3 z
B0 Res 1 e 3i
z 1 c0 1 c0 1
con lo que
como
5-34
1 ei 3 x R
ei 3 x
lim dx dx i e3i 0
R
0 R
x 1 1
x 1
En el lmite indicado, la primera parte de la ecuacin se reduce al valor principal de Cauchy para la integral
ei 3 x cos 3 x i sin 3 x
x 1
dx
x 1
dx
As pues,
cos 3x sin 3 x
dx i dx i e3i i cos 3 i sin 3
x 1 x 1
con lo que igualando partes real e imaginaria por separado, nos permite escribir
cos 3x
x 1
dx sin 3
y
sin 3x
x 1
dx cos 3
Vale la pena mencionar que en este ejemplo el integrando de la integral real que hemos evaluado
tena una discontinuidad en x = 1. La integracin se efectu a largo de un contorno sangrado alrededor
del valor de z que corresponde a este punto. Cuando el integrando tenga ms de una discontinuidad es
necesario emplear contornos de integracin con muescas en todos y cada uno de los puntos de
discontinuidad.
Por ejemplo, para calcular
cos x
x 2 9
dx
Otro ejemplo:
Encuentre el valor principal de Cauchy para la integral
cos 2 x
x 2 16
dx
5-35
Solucin. En este caso tenemos dos polos simples
en x = 4, por lo que debemos considerar un
contorno sangrado que nos permita rodear las
singularidades mediante muescas (o sangras) de
radio centradas en z = 4.
Con esto, podemos extender la funcin
f(x) al plano complejo considerando que
ei 2 z
f ( z) 2
z 16
por lo que aplicando el teorema de Cauchy podemos escribir
4 4 R
ei 2 x ei 2 z ei 2 x ei 2 z ei 2 x ei 2 z
R
x 2 16
dx
C z 2 16
1
dz 2
4
x 16
dx
C z 2 16
2
dz 2
4
x 16
dx 2
CR z 16
dz 0
lim f ( z )dz B0 i
0 C
1
ei 2 z
f ( z) 2
z 16
en z = -4, resultando
ei 2 z ei 2 z e 8i
B0 Res 2
z 16 c0 1 2 z c0 4
8
con lo que
e8i
lim f ( z )dz i
0 C 8
1
e8i
lim f ( z )dz i
0 C 8
2
como
5-36
4 ei 2 x 4
ei 2 x
R
ei 2 x e 8i e8 i
lim 2 dx 2 dx 2 dx i i 0
R
0 R
x 16 4
x 16 4
x 16 8 8
En el lmite indicado, la primera parte de la ecuacin se reduce al valor principal de Cauchy para la integral
ei 2 x cos 2 x i sin 2 x
x2 16 x2 16 dx
dx
As pues,
Siendo la primera de las dos integrales el resultado que buscbamos, la segunda integral nos da cero, toda
vez que el integrando es impar y el lmite considerado es simtrico respecto al origen al igual que las
singularidades que presenta.
-----------------------------
Las ideas discutidas en esta parte final de las aplicaciones de residuos muchas veces se pueden
aplicar en situaciones en las que los lmites de integracin no son al infinito, por ejemplo, cuando
calculamos integrales de la forma
b
f ( x)dx
a
vemos que a veces existe entre a y b un punto p en el que f(x) se hace infinita. Supongamos que f(x) es
continua en todos los otros puntos del intervalo a x b, tenemos as una integral impropia.
Las integrales impropias que ya conocemos son aquellas cuyos lmites son infinitos; sin embargo,
el adjetivo impropias se usa en ambos casos porque estas integrales no se pueden expresar como el
lmite de una suma.
Las siguientes expresiones son integrales impropias del tipo que hemos estudiado (funciones
racionales p(x)/q(x))
1dx dx 2 dx
1 x
3
, 1
x 2 y 2 sin x
ya que, dicho coloquialmente, los integrandos de estas expresiones estallan en algn punto del intervalo
de integracin donde el denominador toma el valor de cero.
5-37
Para evaluar este tipo de integrales necesitamos una definicin adecuada del valor principal de
Cauchy, que se presenta a continuacin.
Definicin. Sea f(x) una funcin continua para toda x en el intervalo a x b, excepto en el punto p interno
a dicho intervalo, y acercndose a cero por la derecha. Se define el valor principal de Cauchy para la
integral
b
f ( x)dx
a
como el nmero
p
VP f ( x)dx lim f ( x)dx f ( x)dx
b b
a 0 a p
siempre que este lmite exista.
Un ejemplo.
Determine el valor principal de Cauchy para la integral
2 dx
1 x
Solucin. Usando la definicin anterior, podemos escribir
2 dx dx 2 dx
VP lim x
1 x 0 1 x
Lo que lleva a
2 dx
VP lim ln | | ln | 1| ln | 2 | ln | |
1 x 0
lim ln | 1| ln | 2 |
0
2 dx
VP ln | 2 |
1 x
Es importante mencionar que aunque en el lmite cuando 0 las integrales no existen por
separado, cuando se considera la suma el resultado converge, por lo que podemos calcular el Valor
Principal de Cauchy para esta integral.
Sin embargo, habr integrales para las cuales no podamos calcular esta suma, de tal manera que
el Valor Principal no existir debido a la inexistencia del lmite requerido por la definicin.
5-38