Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
MATEMTICA D
Mdulo I: Anlisis de Variable Compleja
Unidad 5
Teora de Residuos
Mag. Mara Ins Baragatti
Singularidades
Se dice que z0 es una singularidad aislada de f(z) si f(z) no es analtica en z0 pero s es
analtica en un entorno reducido de z0, es decir si existe un nmero positivo r tal que f(z) es
analtica en un conjunto de la forma 0 < |z z0| < r
Se dice que z0 es una singularidad no aislada de f(z) si f(z) no es analtica en z0 y en todo
entorno reducido de z0 hay al menos un punto donde f(z) no es analtica.
Ejemplos
1- La funcin f(z) = 2/z tiene una singularidad aislada en z = 0 ya que su dominio de
analiticidad es C {0} y por lo tanto es analtica en todo entorno reducido de 0.
2- La funcin g(z) = z / sen z no es analtica en los puntos en que se anula el denominador , es
decir en los complejos de la forma k
, con k = 0, 1, 2, ..... y estos complejos resultan ser
singularidades aisladas de g(z) pues, para cada uno de ellos existe un entorno reducido donde
g(z) es analtica. Observar que dichos entornos tienen la forma 0 < | z - k
| < y a
continuacin se observan algunos de ellos
1
Mdulo I - Unidad 5
Matemtica D
3- La funcin h(z) = Ln z tiene una singularidad no aislada en z = 0 pues todo entorno reducido
de 0 contiene puntos del eje real negativo, donde sabemos que Ln z no es analtica. Es
importante observar que adems son singularidades no aisladas todos los complejos del eje
real negativo pues , como se observa en los grficos siguientes, todo entorno de cero y de un
real negativo contiene puntos donde h(x) no es analtica .
-1
Residuos
Si z0 es un punto singular aislado de f(z), sabemos que f(z) es analtica en un anillo 0 < |z z0| < r
y por lo tanto f(z) admite un desarrollo en serie de Laurent convergente en dicha corona:
f ( z ) = a n (z z 0 ) +
n=0
b (z z )
z0
n =1
1
442443
|z-z0|=r
donde los nmeros an y bn , por ser los coeficientes de la serie de Laurent, son iguales a :
an =
1
f (z)
dz
2i C ( z z 0 ) n +1
bn =
1
f (z )
dz
2 i C ( z z 0 ) n + 1
z0
C
x
donde C es cualquier curva suave por tramos contenida en la corona que encierra a z0
Es interesante observar que el coeficiente b1 de la serie de Laurent mencionada resulta ser
b1 =
1
f (z )
1
dz =
f ( z ) dz
1
+
1
2i C ( z z 0 )
2i C
de donde puede despejarse el valor de la integral de f(z) sobre la curva cerrada C obteniendo:
f ( z ) dz = 2 i b 1
por lo tanto si se conoce el coeficiente b1 podemos obtener el resultado de la integral, este hecho
justifica la siguiente definicin:
2
Mdulo I - Unidad 5
Matemtica D
Ejemplos
1- La funcin f ( z ) = e 1 z tiene una nica singularidad aislada en z0 = 0 y su desarrollo en serie de
1
convergente en 0 < |z | < , como la
n
n = 0 n! z
serie converge en un entorno reducido de z = 0 y el coeficiente de z-1 es igual a 1 , podemos
afirmar que el residuo de f(z) vale 1 y anotamos Res(f,0) = 1 .
1z
Laurent alrededor de dicho punto es e =
C1
C2
e 1/z dz = 2 iRes(f,1) = 2 i ,
C1
residuo.
Ln z
no es analtica en z0 = 1 pero como es analtica en 0 < | z - 1 | < 1 ,
z 1
podemos afirmar que z0 es una singularidad aislada de f(z) , adems esta funcin no es
analtica en cero y en todos los complejos del eje real negativo, pero todos ellos son
singularidades no aisladas.
Para hallar el residuo en la singularidad aislada z0 = 1 debemos encontrar la serie de Laurent
que la representa en el entorno reducido 0 < |z 1| < 1, es decir debemos encontrar una serie
de potencias positivas y negativas de ( z - 1) .
2- La funcin f ( z ) =
(Ln z ) ' = 1 =
z
Ln z =
1
= ( 1) n ( z 1) n , convergente en | z 1| < 1 , entonces
( z 1) + 1 n = 0
n=0
n=0
( 1) n ( z 1) n dz = ( 1) n
n=0
( z 1) n +1
n+1
para | z 1| < 1 (observar que por ser una serie de potencias convergente , la integral de la serie fue
reemplazada por la serie de las integrales)
Por lo tanto
f (z ) =
Ln z
1
Ln z =
=
z 1 z 1
(z- 1)-1
( 1) n
n=0
( z 1) n +1
( z 1) n
= ( 1) n
,
n+1
n+1
n=0
si 0 <| z 1| < 1
(observar que se ha excluido de la regin de convergencia z = 1 pues el primer factor slo tiene sentido
si z 1 )
3
Mdulo I - Unidad 5
Matemtica D
3- La funcin f ( z ) =
C1
-2i
C1
3z i - 2
dz =
C1
z (z + 2i )
2 zi 2
z + 2i
dz = 2 i Res[f,0]
0
C1
2 zi 2
3z i - 2
z
dz =
dz = 2 i Res[f,-2i ]
C1 z + 2 i
z (z + 2i )
C2
-2i
La pregunta natural despus estas observaciones es cmo se puede calcular la integral propuesta
sobre una curva cerrada que encierre a las dos singularidades aisladas? La respuesta la provee el
siguiente teorema.
z1
zn
Demostracin
Si se consideran n curvas cerradas ,simples y suaves por tramos
C1 , C2 , ...., Cn , que encierren a cada punto singular y que no tienen
Puntos interiores comunes, usando la segunda consecuencia del teorema
z1
zn
4
Mdulo I - Unidad 5
Matemtica D
f(z) dz =
C
C2
Cn
y usando la definicin de residuo sabemos que cada una de estas integrales verifica
f(z) dz = 2 iRes[f, z k ] , por lo tanto reemplazando cada una por su valor y sacando 2i factor
Ck
A partir de ahora podemos calcular integrales sobre curvas cerradas de funciones que son
analticas sobre la curva y en el interior salvo en un nmero finito de singularidades interiores a la
curva usando los residuos , por ejemplo podemos afirmar que:
1
1
dz = 2 iRes
,0
|z| =1 sen z
sen z
1
1
dz = 2 i Res
,0 + Res
,
|z 1| = 3 sen z
sen z
sen z
pero para calcular los residuos la nica herramienta que tenemos es hallar la serie de Laurent
convergente en un entorno reducido de cada punto singular aislado y esto no es tan sencillo..
Muchas veces es posible hallar el residuo de una funcin en una singularidad aislada sin tener
que desarrollar la funcin en serie de Laurent. Para ello es necesario clasificar las singularidades
aisladas como se indica a continuacin:
f ( z ) = a n (z z 0 ) +
n=0
b (z z )
n =1
1
442443
Si la parte principal del desarrollo de Laurent convergente en 0 < |z z0| < r no posee
trminos, es decir bn = 0 . n 1, se dice que f(z) tiene una singularidad evitable en z0
Si la parte principal del desarrollo de Laurent convergente en 0 < |z z0| < r posee infinitos
trminos no nulos , es decir bn 0 para infinitos valores de n, se dice que f(z) tiene una
singularidad esencial en z0
Si la parte principal del desarrollo de Laurent convergente en 0 < |z z0| < r posee un nmero
finito de trminos no nulos, es decir bn = 0 para n > k y bk 0, se dice que f(z) tiene un
polo de orden k en z0
5
Mdulo I - Unidad 5
Matemtica D
Ejemplos
1
para 0 < |z | < , como esta serie representa a la
n
n = 0 n! z
funcin en un entorno reducido de z0 = 0 y posee infinitos trminos con potencias negativas,
podemos decir que z0 = 0 es una singularidad esencial de e1/z
Ln z
2- Sabemos que el desarrollo en serie de Laurent de f ( z ) =
convergente en un entorno
z 1
( z 1) n
reducido de la singularidad aislada z0 = 1 es ( 1) n
convergente en 0 <| z 1| < 1,
n+1
n=0
como esta serie no tiene potencias negativas, podemos decir que es z0 = 1 es una singularidad
evitable de f(z)
( 2) n
(z + 1)
n=0
4- La funcin g( z ) =
sen z 1
1
= 4 sen z = 4
4
z
z
z
(-1) n
(-1) n
1
1
z
2 n +1
z
=
z 2n 3 = 3
+
3! z 5!
z
n =1 (2n + 1)!
n =1 (2n + 1)!
como la serie de sen z converge z , y el factor 1/z4 slo tiene sentido si z 0 , podemos
afirmar que la serie obtenida representa a la funcin en 0 < |z1< .
Como la serie obtenida converge en un entorno reducido de z = 0 y la parte principal del
desarrollo tiene un nmero finito de trminos, podemos afirmar la funcin posee en z = 0 un
polo, como la potencia negativa de mayor valor absoluto es 3, el polo es de orden 3 . Observar
que el Res(f,0) = -1/3!
Ejercicios
1- Hallar las singularidades de las siguientes funciones e indicar cules de ellas son aisladas:
6
Mdulo I - Unidad 5
Matemtica D
1 cos z
z 3z + 2 2
z
d) f 4 (z) = Ln z + z
e
z
z 4z 3
3
1
c) f 3 (z) = sen
+
z + 1 (z + 1)
a) f 1 (z) = z +
e) f 5 (z) =
b) f 2 (z) =
z4
e 2z 1
f) f 6 (z) =
Ln( z 1)
ch z
a) z = 0 para f1(z)
c) z = -1 para f3(z)
n (z 1)
3
4
3- Dadas g( z ) =
,
+
n
z 1 (z 1)4
3
n =1
n (z 1)
3n
n =1
h( z ) =
3
4
z 1 (z 1)4
2 n 12
a) Hallar el dominio de f(z) y el dominio de analiticidad, f(z) tiene puntos singulares aislados?,
en caso afirmativo clasificarlos y justificar la respuesta.
b) Hallar y clasificar las singularidades de las funciones G(z) = e 4 (z 1) f(z) , H(z) = (z-1)5 f(z)
sen z
z4
, f(z) = z - 1 + 2
, g( z ) = z 3 e 1 /( z 2 )
z 4
(z 2) (z + 2) 2(z 2)
a) Hallar y clasificar las singularidades aisladas mediante un desarrollo en serie de Laurent
adecuado . Justificar en cada caso la eleccin de la corona.
b) Verificar que z1 = 0 es un cero de las tres funciones y hallar su orden.
5- Dadas k(z) =
2z
2
Caracterizacin de polos
Muchas veces podemos determinar los polos y su orden sin necesidad de desarrollar en serie de
Laurent convergente en el el entorno reducido del punto singular utilizando la siguiente
propiedad:
7
Mdulo I - Unidad 5
Matemtica D
Teorema
z0 es un polo de orden k de f(z) f(z) = (z z0)-k h(z) , con h(z) analtica en z0 y h(z0) 0
Demostracin:
) sabemos que : z0 es un polo de orden k de f(z)
queremos demostrar que : f(z) = (z z0)-k h(z) , con h(z) analtica en z0 y h(z0) 0
Como z0 es un polo de orden k de f(z) entonces f(z) admite un desarrollo en serie de Laurent
convergente en 0 < | z z0| < R de la forma :
f (z) =
bk
b k 1
(z z 0 )k (z z 0 )k 1
+ +
b1
n
+ a n (z z 0 ) , con bk 0
(z z 0 ) n=0
f ( z )(z z 0 ) = b k + b k 1 (z z 0 ) + .... + b 1 (z z 0 ) +
a n (z z 0 )
n=0
144444444444244444
444444
3
k 1
n+k
h( z )
observamos que en el segundo miembro se obtiene una serie de potencias positivas convergente
en | z z0| < R .
Si llamamos h(z) a la suma de dicha serie, entonces h(z) es analtica en z0 y h(z0) = bk 0 , por
lo tanto podemos afirmar que
f(z) (z z0)k = h(z)
y despejando obtenemos lo que queramos:
f(z) = (z z0)-k h(z), con h(z) analtica en z0 y h(z0) 0
) sabemos que : f(z) = (z z0)-k h(z) , con h(z) analtica en z0 y h(z0) 0
queremos demostrar que : z0 es un polo de orden k de f(z)
Sabemos que f(z) = (z z0)-k h(z) donde h(z) es una funcin analtica en z0 y h(z0) 0 , por lo
tanto podemos desarrollar h(z) en serie de Taylor alrededor de dicho punto obteniendo:
h( z ) =
n=0
h (n ) (z 0 )
(z z 0 )n , convergente en | z z0| < R
n!
n =0
h (n) (z 0 )
(z z 0 )n =
n!
n =0
h (n ) (z 0 )
(z z 0 )n k
n!
8
Mdulo I - Unidad 5
Matemtica D
como el factor (z z0)-k slo tiene sentido si z z0 y la serie de h(z) converge en | z z0| < R , el
producto converge en la interseccin, es decir esta serie converge en 0 <| z z0| < R y por lo
tanto es una serie de Laurent de f(z) que converge en un entorno reducido de z0
Explicitando los trminos encontramos que:
f(z) =
h( z 0 )
h' ( z 0 )
(z z 0 )k (z z 0 )k 1
+ +
h ( k 1 ) ( z 0 )
+ h ( k ) ( z 0 ) + ....... , en 0 <| z z0| < R
(z z 0 )
como h(z0) 0 , podemos afirmar que k es la mayor potencia que aparece en el denominador y
por definicin de polo podemos afirmar que z0 es un polo de orden k , que es lo que queramos
demostrar.
Ejemplos
ez
sen z
1- Las funciones f ( z ) = 4
y g( z ) = 4
tienen como puntos singulares a z1 = 0
z ( z i )
z ( z i )
y z2 = i y son aislados en ambas (porqu?)
ez
con h1(z) analtica en 0 y h1(0) 0, por el
Como f(z) puede escribirse as f ( z ) = z 4
z i
1
424
3
h1 ( z )
este caso h2(z) es analtica en 0 , pero h2(0) = 0 , y por lo tanto no puede aplicarse el teorema
de caracterizacin de polos y nos quedamos sin saber que tipo de singularidad tiene g(z) en 0
Actividad 1:
Averiguar si puede aplicarse el teorema de caracterizacin de polos para clasificar la
singularidad z2 = i de las funciones f(z) y g(z) del ejemplo anterior, en caso afirmativo hallar el
orden del polo.
Es natural preguntarse si para clasificar las singularidades aisladas es necesario hallar la serie de
Laurent convergente en un entorno reducido de dicha singularidad, veremos a continuacin que
si la funcin es cociente de dos funciones analticas entonces podemos clasificar las
singularidades evitables .
9
Mdulo I - Unidad 5
Matemtica D
g( z ) ( z z 0 ) p g 1 ( z ) ( z z 0 ) p g 1 ( z ) ( z z 0 ) p
f (z ) =
f 1 ( z ) (*)
=
=
=
h( z ) ( z z 0 ) q h 1 ( z ) ( z z 0 ) q h 1 ( z ) ( z z 0 ) q
Ejercicios
6- Hallar y clasificar las singularidades aisladas de las siguientes funciones teniendo en cuenta
que todas ellas son cociente de funciones analticas :
a) f 1 ( z ) =
sen( z 2)
(z 2)2
b) f 2 ( z ) =
z2
sen z
10
Mdulo I - Unidad 5
Matemtica D
c) f 3 ( z ) =
z
sh z
d) f 4 ( z ) =
sen z ( z + ) 2
1 cos (2z)
7- Sea g(z) una funcin analtica en z0 = 2 con g(2) 0 y f(z) = (z 2)4 [g(z)]3, justificar que
f ' ( z )
tiene una singularidad aislada en z0 = 2 y clasificarla.
F( z ) =
f (z )
8- Sabiendo que h(z) tiene un polo de orden n en z0 y g(z) tiene un polo de orden m en z0 , con
m < n , justificar la validez de las siguientes proposiciones .
a) F1(z) = ( z z0)-2 h(z) tiene un polo de orden n + 2 en z0
b) F2(z) = h(z) g(z)
( k 1 )
1
k
(
z z 0 ) f (z)
z z 0 (k 1)!
En particular: Si z0 es un polo de orden 1 de f(z) entonces Res(f,z0) = lm [(z z 0 )f ( z )]
Res(f, z0) = lm
z z 0
Demostracin:
Por ser z0 un polo de orden k de f(z) entonces por el teorema de caracterizacin de polos
podemos escribir:
f(z) =
h( z 0 )
h' ( z 0 )
(z z 0 )k (z z 0 )k 1
+ +
h ( k 1) ( z 0 )
h (k ) (z 0 )
+
+ ....... , en 0 <| z z0| < R
(k 1)! (z z 0 )
k!
11
Mdulo I - Unidad 5
Matemtica D
Res(f, z0) =
h ( k 1 ) ( z 0 )
(k 1)!
Esta expresin no es muy til pues expresa el residuo de f en funcin de la derivada de orden
(k 1) d e la funcin h, por ello es conveniente observar que:
Res(f, z0) =
( k 1)
h ( k 1 ) ( z 0 )
(z z 0 ) k f ( z )
[
h( z )]
= lm
= lm
z z 0 (k 1)!
z z 0
(k 1)!
(k 1)!
( k 1)
Ejemplos
0
1
1- Calcular
dz
|z 1| = 3 z sen z
Como los nicos puntos singulares de la funcin interiores a la curva son z0 = 0 y z1= ,
sabemos que
1
1
dz = 2 i {Res[f,0] + Re s[f , ]} , donde f(z) =
|z 1| = 3 z sen z
z senz
Se deja como ejercicio justificar que z0 = 0 es un polo de orden 2 y z1= es un polo simple,
entonces:
Res(f, 0) = lm 1 z 2 1
z 0 1!
z sen z
( 1)
z
= lm
z 0 sen z
( 1)
= lm
z 0
sen z z cos z
=
sen 2 z
0
2 sen z cos z
2 cos z
Res(f, ) = lm( z )
z
1
1
1
= lm
=
z
z sen z
sen z + zcosz
(como la indeterminacin era de la forma 0/0, usamos la regla de LHospital para salvarla)
Por lo tanto
1
1
dz = 2 i 0 = 2i
|z 1| = 3 z sen z
12
Mdulo I - Unidad 5
Matemtica D
Ejercicios
9- Hallar el residuo en las singularidades aisladas de las funciones del ejercicio 6
g( z )
tiene un polo de orden dos en z0 y el residuo en dicho punto vale cero,
(z - z 0 ) 2
demostrar que g(z0) 0 y g(z0) = 0
10- Si f ( z ) =
ez
|z i|=2 z 2 + 2z dz
z
|z|= 2 z 2 + 1 dz
b)
cos z senz
dz
|z 2|= 2
cos(2z )
d)
(z )2 sen(2z ) dz
|z / 2| = 2
(1 cos 2z )
c)
e)
|z + / 2| = 2
cos 2z
(1 sen2z )(z + / 2)
dz
f)
sh(1 / z )
z
+
dz
sh z
z
|z | = 4
13
Mdulo I - Unidad 5
Matemtica D
+ 2
F(sen , cos ) d
z = ei
Por lo tanto
+ 2
e i e i z z 1
=
2i
2i
cos =
e i + e i z + z 1
=
2
2
z z 1 z + z 1 1
dz
F(sen , cos ) d = F
,
|z | = 1
2
i
2
iz
Ejemplo
1- Calcular
d
2sen + cos + 3
Comenzamos haciendo el cambio de variable z = ei , que nos permitir pasar a una integral con
variable z que se mueve sobre la curva | z | = 1 y operamos de la manera ya indicada, es decir
1
calculamos su diferencial d = dz y expresamos el integrando en funcin de como se
iz
muestra a continuacin:
14
Mdulo I - Unidad 5
Matemtica D
z z 1 z + z 1
z 2 1 z 2 + 1 6zi ( 2 + i )z 2 + 6iz + ( 2 + i )
+
+ 3 = 2
+ i
+
2 sen + cos + 3 = 2
=
2zi
2i 2
2iz 2zi 2zi
1
2
i
5
5
Por lo tanto
d
2zi
dz
2
dz
=
=
=
1
2i
1
2i
|
z
|
=
1
|
z
|
=
1
2sen + cos +
( 2 + i )( z + 5 + 5 )(z + 1 + 2i ) iz
(2 + i )
( z + 5 + 5 )(z + 1 + 2i )
2
4i 1
2i [Re s(f , 15 25i )] =
=
(2 + i )
( 2 + i ) ( 45 + 85i )
indicado)
Ejercicios
15-Justificar usando teora de residuos el valor de las integrales que se dan a continuacin.
2
a)
c)
=
5 + 3 cos 2
d
=
2
sen + 4 cos 2
b)
d)
/2
0
2
=
2
2 + sen 2 6
cos(3) d
=
5 4 cos 12
Integrales impropias
Recordemos que la integral impropia de una funcin continua f(x) sobre el intervalo [a,) se
define como:
f(x) dx = lm f(x) dx
R a
y cuando existe el lmite de la derecha, se dice que la integral impropia converge y su valor es el
valor de dicho lmite.
Si f(x) es continua para todo x, la integral impropia
f(x) dx = lm
R 1 R 1
f(x) dx + lm
R2
R 2 0
f(x) dx
15
Mdulo I - Unidad 5
Matemtica D
y cuando existen ambos lmites de la derecha y no valen infinito, se dice que la integral impropia
converge y su valor es la suma de dichos lmites.
Si integramos en un intervalo [-R , R] simtrico respecto del origen y luego hacemos tender R a
R
(vp) f(x)dx = lm f ( x) dx
R R
Observacin
1- Usando criterios de convergencia de las integrales impropias, puede demostrarse que, si la
integral
x dx = lm
R 1 R 1
x dx + lm
R2
R 2 0
x dx = lm
(R 1 )2
R 1
+ lm
R 2
(R 2 )2
2
y como cada uno de estos lmites no son finitos, el lmite no existe y por lo tanto la integral no
converge.
Sin embargo si calculamos el valor principal de Cauchy:
(vp) x dx = lm
R R
R2 R2
x dx = lm
= lm 0 = 0
R
2 R
2
vemos rpidamente que el valor principal de Cauchy de esta integral existe y vale cero.
Si f(x) es par , es decir f(x) = f(-x)
2-
(vp) f(x)dx ,
Sabemos
que
si
dicha
integral
es
convergente
entonces
vale
la
igualdad
R R
Matemtica D
CR
-R
z1
Si f(z) es analtica en el semiplano Im(z) 0 , salvo en un nmero
finito de puntos z1, z2 , ...., zn , todos ellos con Im(zk) > 0 , elegimos R
lo suficientemente grande para que los puntos singulares del semiplano
superior queden en el interior de C .
z2
-R
R
zn
f (z ) dz
C
(*)
k =1
Como C = [-R, R] CR , entonces la integral del primer miembro de (*) es igual a la suma de la
integral sobre el segmento [-R,R] ms la integral sobre la semicircunferencia CR :
f (z ) dz = [
R,R ]
f ( z ) dz + f ( z ) dz =
CR
f ( x) dx + f ( z ) dz
CR
f ( x) dx + f ( z ) dz = 2i Res [f , z k ]
n
CR
k =1
R f (x) dx = C f ( z) dz + 2i Res [f , z k ]
n
k =1
R R
R C R
lm f ( z ) dz = 0
R CR
k =1
k =1
17
Mdulo I - Unidad 5
Matemtica D
de residuos.
Si f ( x ) =
lm
R CR
p(z)
dz = 0 , y este lmite deber justificarse en cada ejercicio como se muestra en el
q(z)
ejemplo siguiente.
Ejemplo
x- 2
dx , donde es inmediato que el integrando es continuo sobre la
(x + 1)2
recta real pues es cociente de continuas y el denominador no tiene races reales, pues el
denominador slo se anula en i y -i
y
CR
i
Para ello consideramos una curva cerrada C formada por el segmento
[-R, R] del eje x y una semicircunferencia superior CR centrada en el
R
-R
x
origen de radio R, donde consideramos R lo suficientemente grande
para que las races del denominador con parte imaginaria positiva queden en el interior de dicha
curva cerrada, en este caso R debe ser mayor que 1 y calculamos usando teora de residuos la
Queremos calcular
integral de f(z) =
(z
en este ejemplo :
z-2
2
+1
z2
z2
dz = 2i Re s
, i
2
2
2
C ( z + 1)
2
z + 1
d
z2
( z + i ) 2 ( z 2)2( z + i ) 1
2
Re s
,
i
=
lm
(
z
i
)
=
lm
=
2
2i
(z i ) 2 (z + i ) 2 zi
(z + i ) 4
z 2 + 1
z i dz
y por lo tanto
z2
1
dz = 2i
=
2
2
( z + 1)
2i
18
Mdulo I - Unidad 5
Matemtica D
o su equivalente
x2
z2
dx =
dz
2
2
C
R
( x + 1)
( z 2 + 1) 2
x2
z2
dx = lm
dz
2
2
2
C
R
R (z
( x + 1)
+ 1) 2
R CR
z2
dz = 0 , teniendo presente que sobre CR se verifica
( z 2 + 1) 2
que |z| = R
| a b | | a | + | b | , podemos acotar el numerador sobre la curva CR :
Recordando que
|z - 2| |z| + |2|= R + 2
y recordando que
1
1
, por lo tanto
|a b| |a||b|
= 2
2
2
| z + 1 | | z |2 | 1 |
( R 1) 2
Estos comentarios nos permiten acotar el integrando :
z2
1
1
=| z 2 | 2
( R + 2)
2
2
2
( z + 1)
| z + 1|
R2 1
CR
z2
dz
( z 2 + 1) 2
CR
R+2
) (R
2
, por lo tanto
R+2
R+2
( R + 2)R
| dz |= 2
| dz | =
2
2
2
C
( R 1)
( R 1) 1
( R 2 1) 2
4R24
3
longitud de C R
z2
dz = 0
C R ( z 2 + 1) 2
Por lo tanto
(vp)
x2
dx =
( x 2 + 1) 2
x2
dx =
( x 2 + 1) 2
19
Mdulo I - Unidad 5
Matemtica D
Ejercicios
16- Justificar usando teora de residuos el valor de las integrales que se dan a continuacin.
a)
dx
=
2
2
x + 4 x 9 30
)(
b)
x 2 dx
=
2
2
8
(x + 4)
c)
x dx
(2 + 2 x + x )
2 2
f ( x) sen (ax) dx o
f ( x) cos (ax) dx
2i
2
2
CR
-R
e iaz e iaz
e ay e ay
e iaz + e iaz
|cos (az) | =
=
= sh (ay )
2
2
2
pero es interesante observar que la exponencial eiaz s est acotada en el semiplano y > 0, pues
f(x) e iax dx =
20
Mdulo I - Unidad 5
Matemtica D
por ello nunca calcularemos por residuos las integrales impropias que contienen senos y cosenos ,
sino que calcularemos por residuos la integral que se obtiene reemplazando las funciones
trigonomtricas por una exponencial compleja.
Ejemplo
Si queremos calcular
sen(2x)
x 4x + 5
2
sen(2x)
e2ix
dx
=
Im
dx
2
x2 4x + 5
x 4x + 5
e2iz
C z 2 4z + 5 dz usando
teora de residuos sobre la curva C = [-R, R] CR
-2+i
CR
R
-R
2iz
e
Si llamamos g(z) = 2
resulta evidente que es analtica en el eje real y en el semiplano
z 4z + 5
superior con excepcin del punto -2 + i , donde tiene un polo de orden uno (recordar que se
toma R lo suficientemente grande para que las singularidades del integrando del semiplano
superior queden en el interior de C y observar que la funcin no es analtica en -2 -i , que no debe
tenerse en cuenta por ser exterior a C)
e2iz
e2iz
dz
=
C (z+ 2 + i) (z+ 2 - i) dz = 2i Res[g(z),- 2 + i]
z 2 + 4z + 5
Como
Res[g(z),- 2 + i] = lm (z + 2 i)
z2+i
e2iz
e2i(2+i )
=
entonces
(z + 2 + i)(z + 2 i)
2i
e2iz
e-2- 4i
dz
=
2
i
= e2 (cos4 i sen4)
2
z + 4z + 5
2i
2
x 2 + 4x + 5
C
R
R z
+ 4z + 5
( vp )
21
Mdulo I - Unidad 5
Matemtica D
R CR
e 2iz
dz = 0
z 2 + 4z + 5
que |eiaz | = | e-ay eiax | = e-ay < 1 y que la integral de |dz| da la longitud de la curva:
CR
e 2iz
e 2iz
1
R
dz
dz
dz = 2
2
2
2
C
C
R z
R R
z + 4z + 5
+ 4z + 5
4R 5
R 4R 5
como la ltima expresin tiende a 0 si R tiende a infinito, aplicando el teorema del sandwich
podemos afirmar que la integral sobre CR tiende a 0 como pretendamos.
Por lo tanto
e 2 ix
2
dx = e (cos4 i sen4)
x 2 + 4x + 5
( vp )
sen(2x)
dx = Im [
e-2 (cos 4 - i sen 4)]= - e-2 sen 4
x 4x + 5
2
cos(2x)
dx = Re [
e-2 (cos 4 - i sen 4)]= e-2 cos 4
x 4x + 5
2
Observacin
p( x )
con p(x) y q(x) polinomios reales sin factores comunes, y donde q(x) no tiene
q( x )
races reales y el grado de q(x) supera en al menos 2 unidades al grado de p(x) entonces
1- Si f ( x ) =
lm
R CR
p(z) iaz
e dz = 0 siempre que a > 0 y este lmite deber justificarse en cada ejercicio
q(z)
x+ 2
x+ 2
integrales
sen(2x)
dx
2
2
x 4x + 5
x 4x + 5
a lo explicado, pero cuando tengamos que demostrar que la integral sobre CR tiende a cero, si
acotamos siguiendo los mismos pasos que usamos en el ejemplo anterior nos quedar :
0
CR
( z + 2) e 2iz
( z + 2) e 2iz
R+2
( R + 2)R
dz
dz
dz = 2
2
2
2
C
C
R z
R R
z + 4z + 5
+ 4z + 5
4R 5
R 4R 5
y la ltima expresin no tiende a cero, por ello la acotacin debe realizarse usando el resultado
que se enuncia y demuestra a continuacin.
22
Mdulo I - Unidad 5
Matemtica D
Desigualdad de Jordan:
e - Rsen t dt <
Demostracin
Como la grfica de sen t es simtrica respecto de la recta t = /2, podemos afirmar que
e - Rsen t dt = 2
/2
e - Rsen t dt
y = 2t/
e-Rsen t e -R2t /
entonces
/2
e - Rsen t dt 2
/2
/2
0 t /2
si
e - Rsen t dt = 2
y = sent
y la desigualdad
e - R2t/ dt =
(1 e R ) <
2R
R
e - Rsen t dt <
est probada
R
Ejemplo
Si queremos calcular
(x+ 2) sen(2x)
dx , comenzamos considerando la igualdad
x2 4x + 5
(z + 2)e2ix
(x+ 2)sen(2x)
dx
=
Im
dx
2
2
x 4x + 5
x 4x + 5
(z + 2)e2iz
z 2 4z + 5
dz sobre la
-2+i
-R
CR
R
(z + 2)e
, sabemos que es analtica en el eje real y en el semiplano superior
z 2 4z + 5
con excepcin del punto -2 + i , donde tiene un polo de orden uno
2iz
Si llamamos h(z) =
(z + 2)e2iz
(z + 2)e2iz
dz =
dz = 2i Res[h(z),- 2 + i]
C (z + 2 + i) (z + 2 - i)
z 2 + 4z + 5
23
Mdulo I - Unidad 5
Matemtica D
Como Res[h(z),- 2 + i] = lm (z + 2 i)
z2+i
(z + 2) e2iz
i e2i(2+i )
=
entonces
(z + 2 + i)(z + 2 i)
2i
(z + 2)e2iz
e-2- 4i
dz
=
2
i
= i e2 (cos4 i sen4)
2
2
z + 4z + 5
( vp )
R CR
( z + 2)e 2iz
R
z + 4z + 5
2
dz
CR
( z + 2)e 2 iz
dz = 0 teniendo presente que CR : |z| = R ,
z 2 + 4z + 5
( z + 2)e 2iz
z + 4z + 5
2
(| z | +2) e 2iz
dz
CR
| z | 4 | z | 5
2
dz =
R+2
R
4R 5 C
e 2iz | dz |
R
(**)
para la ltima integral parametrizamos la curva:
CR: z(t) = R eit = R (cos t + i sen t)
con
0t
CR
e 2 iz dz = e 2 R sen t R dt < R
0
=
2R 2
Jordan
Teniendo en cuenta la desigualdad anterior volvemos a (**) y obtenemos:
0
CR
( z + 2)e 2 iz
R+2
R+2
dz 2
e 2 iz | dz | < 2
2
C
z + 4z + 5
R 4R + 5 R
R 4R + 5 2
24
Mdulo I - Unidad 5
Matemtica D
por lo tanto
lm
R CR
( z + 2)e 2iz
dz = 0
z 2 + 4z + 5
( vp )
(x+ 2)sen(2x)
dx = Im [
ie-2 (cos 4 - i sen 4)] = e-2 cos 4
2
x 4x + 5
(x+ 2)cos(2x)
dx = Re [
ie-2 (cos 4 - i sen 4)]= e-2 sen 4
2
x 4x + 5
Ejercicios
17- Justificar usando teora de residuos el valor de las integrales que se dan a continuacin
a)
cos(a 2 x)dx e a
=
2
x2 + 1
b)
x sen x dx sen 1
=
2e
x4 + 4
c)
dx
13 + 12 x + 4x 2
x 2 cos(2x)dx
(16 + x )
2 2
b)
d)
sen(3x ) dx
13 + 12 x + 4x 2
x sen(2x)dx
x2 + 3
25
Mdulo I - Unidad 5