Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MATEMÁTICA D
Módulo I: Análisis de Variable Compleja
♦ Singularidades
Ejemplos
π
-π π 0 π π π π
0 2π π
2π 3π
1
Módulo I - Unidad 5
Matemática D
3- La función 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 analítica. Es
importante observar que además son singularidades no aisladas todos los complejos del eje
real negativo pues , como se observa en los gráficos siguientes, todo entorno de cero y de un
real negativo contiene puntos donde h(x) no es analítica .
0 -1 0
♦ Residuos
Si z0 es un punto singular aislado de f(z), sabemos que f(z) es analítica en un anillo 0 < |z – z0| < r
y por lo tanto f(z) admite un desarrollo en serie de Laurent convergente en dicha corona:
∞ ∞ z0
f ( z ) = ∑ a n (z − z 0 ) + ∑ b (z − z )
n −n y
n 0 , 0 < |z – z0| < r
n=0 n =1
1 442443
parte principal del desarrollo |z-z0|=r
deLaurent
x
donde los números an y bn , por ser los coeficientes de la serie de Laurent, son iguales a :
1 f (z) 1 f (z ) y z0
an = ∫
2πi C ( z − z 0 ) n +1
dz bn = ∫
2 πi C ( z − z 0 ) − n + 1
dz
C
x
donde C es cualquier curva suave por tramos contenida en la corona que encierra a z0
1 f (z ) 1
b1 = ∫
2πi C ( z − z 0 ) − 1 + 1
dz =
2πi ∫C
f ( z ) dz
de donde puede despejarse el valor de la integral de f(z) sobre la curva cerrada C obteniendo:
∫C
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 definición:
2
Módulo I - Unidad 5
Matemática D
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)
Ln z 1 ∞
( z − 1) n +1 ∞ ( z − 1) n
Por lo tanto f (z ) = =
z −1 z −1
Ln z = (z- 1)-1 ∑ ( −1) n
n=0 n+1
= ∑ ( −1) n
n=0 n+1
,
si 0 <| z – 1| < 1
(observar que se ha excluido de la región de convergencia z = 1 pues el primer factor sólo tiene sentido
si z ≠ 1 )
3
Módulo I - Unidad 5
Matemática D
3zi − 2
3- La función f ( z ) = no es analítica en z0 = 0 y z1 = -2i , pero es analítica en
z (z + 2i)
0 < | z | < 2 y 0 < | z + 2i | < 2 , que son entornos reducidos de z0 y z1 , por lo tanto ambos
son singularidades aisladas de f(z)
La pregunta natural después estas observaciones es ¿cómo se puede calcular la integral propuesta
sobre una curva cerrada que encierre a las dos singularidades aisladas? La respuesta la provee el
siguiente teorema.
Si f(z) es analítica sobre la curva cerrada, suave por tramos y simple C y su interior, salvo en un
número finito de puntos z1 , z2 , ....., zn interiores a C, entonces
z1
f ( z ) dz = 2π i {Res[f, z 1 ] + Re s[f , z 2 ] + .. + Re s[f , z n ]} = 2πi ∑ Re s[f , z n ]
n
∫C
1
zn
Demostración
4
Módulo I - Unidad 5
Matemática D
∫ f(z) dz = ∫
C C2
f(z) dz + ∫ f(z) dz + ..... + ∫ f(z) dz
C3 Cn
y usando la definición 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 2πi factor
Ck
A partir de ahora podemos calcular integrales sobre curvas cerradas de funciones que son
analíticas sobre la curva y en el interior salvo en un número finito de singularidades interiores a la
curva usando los residuos , por ejemplo podemos afirmar que:
1 1 1 1 1
∫|z| =1 sen z
dz = 2π iRes ,0
sen z
, ∫
|z −1| = 3 sen z
dz = 2π i Res
,0 + Res
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 función en una singularidad aislada sin tener
que desarrollar la función en serie de Laurent. Para ello es necesario clasificar las singularidades
aisladas como se indica a continuación:
Si z0 es un punto singular aislado de f(z), entonces f(z) es analítica en 0 < |z – z0| < r y puede
desarrollarse en serie de Laurent
∞ ∞
f ( z ) = ∑ a n (z − z 0 ) + ∑ b (z − z )
n −n
n 0 , 0 < |z – z0| < r
n=0 n =1
1 442443
parte principal del desarrollo
deLaurent
♦ Si la parte principal del desarrollo de Laurent convergente en 0 < |z – z0| < r no posee
términos, 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
términos 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 número
finito de términos 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
Módulo I - Unidad 5
Matemática D
Ejemplos
∞
1
1- Ya hemos demostrado que e 1 z = ∑ n
para 0 < |z | < ∞, como esta serie representa a la
n = 0 n! z
función en un entorno reducido de z0 = 0 y posee infinitos términos 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=0 n+1
como esta serie no tiene potencias negativas, podemos decir que es z0 = 1 es una singularidad
evitable de f(z)
∞
( −2) n
3- Es importante observar que si bien la serie ∑ (z + 1)
n=0
n
tiene infinitas potencias negativas de
sen z
4- La función g( z ) = , no es analítica en z = 0 pero sí lo es en 0 < | z | < ∞ , para obtener la
z4
serie de Laurent que la represente en dicha corona desarrollamos sen z en serie de Taylor
alrededor de 0 y operamos del siguiente modo:
∞ ∞
sen z 1 1 (-1) n (-1) n 1 1 z
z 4
= 4 sen z = 4
z z
∑
n =1 (2n + 1)!
z 2 n +1
= ∑
n =1 (2n + 1)!
z 2n − 3 = 3 −
z
+ − ⋅⋅⋅⋅
3! z 5!
como la serie de sen z converge ∀z , y el factor 1/z4 sólo tiene sentido si z ≠ 0 , podemos
afirmar que la serie obtenida representa a la función en 0 < |z1< ∞ .
Como la serie obtenida converge en un entorno reducido de z = 0 y la parte principal del
desarrollo tiene un número finito de términos, podemos afirmar la función 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 cuáles de ellas son aisladas:
6
Módulo I - Unidad 5
Matemática D
z 1 − cos z
a) f 1 (z) = z + b) f 2 (z) =
z − 4z 3
5
z − 3πz + 2π 2
2
1 3 z
c) f 3 (z) = sen + d) f 4 (z) = Ln z + z
z + 1 (z + 1) e
z−4 Ln( z − 1)
e) f 5 (z) = f) f 6 (z) =
e 2z − 1 ch z
n (z − 1)
∞ n
3 4
3- Dadas g( z ) = ∑ + − ,
n =1 3 n
z − 1 (z − 1)4
n (z − 1)
∞ −n
3 4
h( z ) = ∑ + −
n =1 3n z − 1 (z − 1)4
( −1) n (z − 1)
∞ 2 n −12
4- Dada f(z) = ∑
n =1 n 4n
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)
2z sen z z−4
5- Dadas k(z) = + , f(z) = z - 1 + 2 , g( z ) = z 3 e 1 /( z − 2 )
(z − 2) (z + 2) 2(z − 2)
2
z −4
a) Hallar y clasificar las singularidades aisladas mediante un desarrollo en serie de Laurent
adecuado . Justificar en cada caso la elección de la corona.
b) Verificar que z1 = 0 es un cero de las tres funciones y hallar su orden.
♦ Caracterización 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
Módulo I - Unidad 5
Matemática D
Ξ Teorema
z0 es un polo de orden k de f(z) ⇔ f(z) = (z – z0)-k h(z) , con h(z) analítica en z0 y h(z0) ≠0
Demostración:
⇒) 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) analítica 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 :
∞
+ ∑ a n (z − z 0 ) , con bk ≠0
bk b k −1 b1
f (z) = + + ⋅⋅⋅ +
n
(z − z 0 )k (z − z 0 )k −1 (z − z 0 ) n=0
multiplicando ambos miembros de la igualdad anterior por (z – z0)k , obtenemos:
∞
f ( z )(z − z 0 ) = b k + b k −1 (z − z 0 ) + .... + b 1 (z − z 0 ) + a n (z − z 0 ) ∑
k k −1 n+k
n=0
144444444444244444 444444 3
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 analítica 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 queríamos:
Sabemos que f(z) = (z – z0)-k h(z) donde h(z) es una función analítica en z0 y h(z0) ≠0 , por lo
tanto podemos desarrollar h(z) en serie de Taylor alrededor de dicho punto obteniendo:
∞
h (n ) (z 0 )
h( z ) = ∑ (z − z 0 )n , convergente en | z – z0| < R
n=0
n!
8
Módulo I - Unidad 5
Matemática D
como el factor (z – z0)-k sólo tiene sentido si z ≠ z0 y la serie de h(z) converge en | z – z0| < R , el
producto converge en la intersección, 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 términos encontramos que:
h( z 0 ) h' ( z 0 ) h ( k −1 ) ( z 0 )
f(z) = + + ⋅⋅⋅+ + h ( k ) ( z 0 ) + ....... , en 0 <| z – z0| < R
(z − z 0 )k (z − z 0 )k −1 (z − z 0 )
como h(z0) ≠0 , podemos afirmar que k es la mayor potencia que aparece en el denominador y
por definición de polo podemos afirmar que z0 es un polo de orden k , que es lo que queríamos
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
Como f(z) puede escribirse así f ( z ) = z −4 con h1(z) analítica en 0 y h1(0) ≠0, por el
1z − iπ
424 3
h1 ( z )
sen z
Si queremos razonar en forma similar para la función g(z) escribimos g( z ) = z −4 , en
1z − iπ
424 3
h2 ( z )
este caso h2(z) es analítica en 0 , pero h2(0) = 0 , y por lo tanto no puede aplicarse el teorema
de caracterización 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 caracterización 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 continuación que
si la función es cociente de dos funciones analíticas entonces podemos clasificar las
singularidades evitables .
9
Módulo I - Unidad 5
Matemática D
g( z )
Sea f ( z ) = donde g(z) y h(z) son analíticas en z0 y g(z) tiene un cero de orden p en z0 y
h( z )
h(z) tiene un cero de orden q en z0 entonces :
Demostración:
Como sabemos que z0 es un cero de orden p de g(z) y de orden q de h(z) , utilizando el teorema
de caracterización de ceros a cada una de ellas podemos para afirmar que dichas funciones
pueden escribirse como:
g( z ) ( z − z 0 ) p g 1 ( z ) ( z − z 0 ) p g 1 ( z ) ( z − z 0 ) p
de donde 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 analíticas :
sen( z − 2) z2
a) f 1 ( z ) = b) f 2 ( z ) =
(z − 2)2 sen z
10
Módulo I - Unidad 5
Matemática D
z sen z ( z + π) 2
c) f 3 ( z ) = d) f 4 ( z ) =
sh z 1 − cos (2z)
7- Sea g(z) una función analítica en z0 = 2 con g(2) ≠ 0 y f(z) = (z –2)4 [g(z)]3, justificar que
´f ' ( z )
F( z ) = tiene una singularidad aislada en z0 = 2 y clasificarla.
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 .
Demostración:
Por ser z0 un polo de orden k de f(z) entonces por el teorema de caracterización de polos
podemos escribir:
h( z 0 ) h' ( z 0 ) h ( k −1) ( z 0 ) h (k ) (z 0 )
f(z) = + + ⋅⋅⋅+ + + ....... , en 0 <| z – z0| < R
(z − z 0 )k (z − z 0 )k −1 (k − 1)! (z − z 0 ) k!
11
Módulo I - Unidad 5
Matemática D
h ( k −1 ) ( z 0 )
Res(f, z0) =
(k − 1)!
Esta expresión no es muy útil pues expresa el residuo de f en función de la derivada de orden
(k –1) d e la función h, por ello es conveniente observar que:
Res(f, z0) =
h ( k −1 ) ( z 0 )
= lím
[h( z )]
( k −1)
= lím
[
(z − z 0 ) k f ( z ) ]
( k −1)
Ejemplos
0
1
1- Calcular ∫ dz
|z −1| = 3 z sen z
Como los únicos puntos singulares de la función interiores a la curva son z0 = 0 y z1= π ,
sabemos que
Se deja como ejercicio justificar que z0 = 0 es un polo de orden 2 y z1= π es un polo simple,
entonces:
( 1) ( 1)
sen z − z cos z
Res(f, 0) = lím 1 z 2 1 = lím
z
= lím =
z → 0 1! z → 0 sen z z →0 sen 2 z
z sen z
(como la indeterminación es de la forma 0/0, podemos usar la regla de L´Hospital)
1 1 1
Res(f, π ) = lím( z − π) = lím =−
z →π z sen z z → π sen z + zcosz π
(como la indeterminación era de la forma 0/0, usamos la regla de L´Hospital para salvarla)
1 1
Por lo tanto ∫|z −1| = 3 z sen z
dz = 2π i 0 − = −2i
π
12
Módulo I - Unidad 5
Matemática D
• Ejercicios
g( z )
10- Si f ( 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
z ez
a) ∫|z|= 2 z 2 + 1 dz b) ∫|z −i|=2 z 2 + 2z dz
c) ∫
cos z − senz
dz d) ∫
(z − π )2 sen(2z ) dz
|z − 2|= 2 cos(2z ) |z − π / 2| = 2 (1 − cos 2z )
cos 2z z sh(1 / z )
e) ∫ dz f) ∫ + dz
|z + π / 2| = 2
(1 − sen2z )(z + π / 2)
2
|z | = 4
sh z z
13- Si f(z) es analítica sobre la curva C : |z – 2i| = 1 y su interior, justificar usando la teoría de
f (z ) iπ f ( 3 ) ( 2 i )
residuos que ∫ dz =
C
(z − 2i )4 3
14- Sea H(z) analítica en todo el plano complejo y H(0) = 0, H’ (0) = 7, H’’(0) = 2, H(n)(0) = 0
H( z )
para n ≥ 3 , calcular ∫ dz siendo C: | z | = 2
C z sen z
13
Módulo I - Unidad 5
Matemática D
α+ 2π
∫α
F(sen θ, cos θ ) dθ
e iθ − e − iθ z − z − 1 e iθ + e − iθ z + z − 1
sen θ = = y cos θ = =
2i 2i 2 2
α+ 2π z − z −1 z + z −1 1
Por lo tanto ∫ F(sen θ, cos θ ) dθ = ∫ F , dz
α |z | = 1 2i 2
iz
Ejemplo
π dθ
1- Calcular ∫
−π 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 función de θ como se
iz
muestra a continuación:
14
Módulo I - Unidad 5
Matemática D
z − z −1 z + z −1 z 2 − 1 z 2 + 1 6zi ( 2 + i )z 2 + 6iz + ( −2 + i )
2 sen θ + cos θ + 3 = 2 + + 3 = 2 + i + =
2i 2 2iz 2zi 2zi 2zi
1 2
dado que los valores que anulan el numerador son z1= − −i y z2= − 1 − i 2 (verificar que
5 5
esta afirmación es correcta) , podemos escribir:
( 2 + i )(z + 15 + 25i )(z + 1 + 2i )
2 sen θ + cos θ + 3 =
2zi
Por lo tanto
π dθ 2zi dz 2 dz
∫−π 2senθ + cosθ +
=∫
| z | = 1 ( 2 + i )( z + 5 + 5 )(z + 1 + 2i ) iz
1 2i
=
(2 + i ) ∫| z | = 1 ( z + 5 + 5 )(z + 1 + 2i )
1 2i
=
4πi 1
2πi [Re s(f ,− 15 − 25i )] =
2
= =π (verificar que el residuo es el que se ha
(2 + i ) ( 2 + i ) ( 45 + 85i )
indicado)
• Ejercicios
15-Justificar usando teoría de residuos el valor de las integrales que se dan a continuación.
2π dθ π π/2 dθ π
a) ∫0 =
5 + 3 cos θ 2
b) ∫0
=
2 + sen θ 2 6
2
2π dθ 2π cos(3θ) dθ π
c) ∫0 sen θ + 4 cos 2 θ
2
=π d) ∫0
=
5 − 4 cos θ 12
♦ Integrales impropias
Recordemos que la integral impropia de una función continua f(x) sobre el intervalo [a,∞) se
define como:
∞ R
∫a
f(x) dx = lím ∫ f(x) dx
R →∞ a
y cuando existe el límite de la derecha, se dice que la integral impropia converge y su valor es el
valor de dicho límite.
∞
Si f(x) es continua para todo x, la integral impropia ∫ −∞
f(x)dx se define como:
∞ 0 R2
∫−∞
f(x) dx = lím ∫
R 1 → −∞ R 1
f(x) dx + lím ∫
R 2 →∞ 0
f(x) dx
15
Módulo I - Unidad 5
Matemática D
y cuando existen ambos límites de la derecha y no valen infinito, se dice que la integral impropia
converge y su valor es la suma de dichos límites.
Si integramos en un intervalo [-R , R] simétrico respecto del origen y luego hacemos tender R a
R
infinito, es decir si calculamos lím ∫ f ( x) dx y este límite existe y es finito, denominamos a
R →∞ − R
dicho resultado valor principal de Cauchy e indicamos:
∞ R
(vp)∫ f(x)dx = lím ∫ f ( x) dx
−∞ R →∞ − R
⊕ Observación
1- Usando criterios de convergencia de las integrales impropias, puede demostrarse que, si la
∞
integral ∫−∞
f(x)dx converge entonces su valor coincide con el valor principal de Cauchy.
El recíproco no es válido como lo muestra el siguiente ejemplo:
∞ 0 R2 (R 1 )2 (R 2 )2
∫−∞
x dx = lím ∫
R 1 → −∞ R 1
x dx + lím ∫
R 2 →∞ 0
x dx = lím −
R 1 → −∞ 2
+ lím
R 2 →∞ 2
y como cada uno de estos límites no son finitos, el límite no existe y por lo tanto la integral no
converge.
∞ R R2 R2
(vp)∫ x dx = lím ∫ x dx = lím − = lím 0 = 0
−∞ R →∞ − R R →∞ 2 R →∞
2
vemos rápidamente que el valor principal de Cauchy de esta integral existe y vale cero.
∞
2- Si f(x) es par , es decir f(x) = f(-x) y existe una de las integrales (vp)∫ f(x)dx ,
−∞
∞
∫−∞
f(x)dx entonces existe la otra.
16
Módulo I - Unidad 5
Matemática D
= 2πi ∑ Res [f , z k ]
n
∫ 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] más la integral sobre la semicircunferencia CR :
R
∫ f (z ) dz = ∫[
C −R,R ]
f ( z ) dz + ∫ f ( z ) dz =
CR ∫ −R
f ( x) dx + ∫ f ( z ) dz
CR
f ( x) dx + ∫ f ( z ) dz = 2πi ∑ Res [f , z k ]
R n
∫−R CR
k =1
−
k =1
R
R →∞ − R R →∞ C R
k =1
−∞ −∞
k =1
17
Módulo I - Unidad 5
Matemática D
de residuos.
p( x )
Si f ( x ) = con p(x) y q(x) polinomios reales sin factores comunes, y donde q(x) no tiene
q( x )
raíces reales y el grado de q(x) supera en al menos 2 unidades al grado de p(x) entonces
p(z)
lím ∫ dz = 0 , y este límite deberá justificarse en cada ejercicio como se muestra en el
R →∞ CR q(z)
ejemplo siguiente.
Ejemplo
x- 2 ∞
Queremos calcular ∫
(x + 1)2
dx , donde es inmediato que el integrando es continuo sobre la
−∞ 2
recta real pues es cociente de continuas y el denominador no tiene raíces reales, pues el
denominador sólo 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
origen de radio R, donde consideramos R lo suficientemente grande -R R x
para que las raíces 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 teoría de residuos la
z-2
integral de f(z) = ,
(z 2
+1 )
2
z−2 z−2
en este ejemplo : ∫C ( z + 1)
2 2
dz = 2πi Re s 2
(
, i
)
z + 1
2
y por lo tanto
z−2 − 1
∫
C ( z + 1)
2 2
dz = 2πi = −π
2i
18
Módulo I - Unidad 5
Matemática D
R x−2 z−2
∫ − R ( x + 1)
2 2
dx + ∫
C R ( z 2 + 1) 2
dz = − π
o su equivalente
R x−2 z−2
∫ −R ( x + 1)
2 2
dx = − ∫
C R ( z 2 + 1) 2
dz − π
∞ x−2 z−2
(vp) ∫ −∞ ( x + 1)
2 2
dx = lím ∫
R → ∞ C R (z
2
+ 1) 2
dz − π
z−2
Tratemos de demostrar que lím ∫ dz = 0 , teniendo presente que sobre CR se verifica
R → ∞ CR ( z 2 + 1) 2
que |z| = R
|z - 2| ≤ |z| + |2|= R + 2
1 1
y recordando que | a ± b | ≥ | |a| - |b| | , podemos afirmar que ≤ , por lo tanto
|a ± b| |a|−|b|
sobre CR vale la siguiente acotación :
1 1 1
≤ = 2
| z + 1 | | z |2 − | 1 |
2 2
( R − 1) 2
z−2 1 1 R+2
=| z − 2 | 2 ≤ ( R + 2) = , por lo tanto
( z + 1)
2 2
| z + 1| 2
R2 − 1 ( ) (R
2 2
−1 )2
z−2
y aplicando el teorema del sandwich, podemos afirmar que lím ∫ dz = 0
R→∞ C R ( z 2 + 1) 2
∞ x−2
Por lo tanto (vp) ∫− ∞ ( x 2 + 1) 2
dx = − π
∞ x−2
Como la integral propuesta es convergente, podemos afirmar que ∫−∞ ( x 2 + 1) 2
dx = − π
19
Módulo I - Unidad 5
Matemática D
• Ejercicios
16- Justificar usando teoría de residuos el valor de las integrales que se dan a continuación.
∞ dx π ∞ x 2 dx π ∞ x dx π
a) ∫ -∞ ( )(=
x + 4 x − 9 30
2 2
)
b) ∫
0 (x + 4)
2 2
=
8
c) ∫
-∞
(2 + 2 x + x )
2 2
=−
2
pero es interesante observar que la exponencial eiaz sí está acotada en el semiplano y > 0, pues
∞ ∞
de donde se desprende que : ∫ f ( x) cos (ax) dx = Re ∫ f ( x) e iax dx
−∞ − ∞
∞ ∞
∫ f ( x ) sen (ax) dx = Im ∫ f ( x ) e iax dx
−∞ − ∞
20
Módulo I - Unidad 5
Matemática 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
trigonométricas por una exponencial compleja.
Ejemplo
∞ sen(2x)
Si queremos calcular ∫ −∞
x − 4x + 5
2
dx , comenzamos considerando la igualdad
∞ sen(2x) ∞ e2ix
∫ −∞ x2 − 4x + 5
dx = Im∫ 2 dx
−∞ x − 4x + 5
e2iz
y procedemos a calcular la integral ∫C z 2 − 4z + 5 dz usando -2+i y CR
teoría de residuos sobre la curva C = [-R, R] ∪ CR
-R R x
2iz
e
Si llamamos g(z) = 2 resulta evidente que es analítica en el eje real y en el semiplano
z − 4z + 5
superior con excepción 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 función no es analítica en -2 -i , que no debe
tenerse en cuenta por ser exterior a C)
e2iz e2iz
∫C z 2 + 4z + 5
dz = ∫C (z+ 2 + i) (z+ 2 - i) dz = 2πi Res[g(z),- 2 + i]
e2iz e2i(−2+i )
Como Res[g(z),- 2 + i] = lím (z + 2 − i) = entonces
z→−2+i (z + 2 + i)(z + 2 − i) 2i
e2iz e-2- 4i
∫ dz = 2πi = πe−2 (cos4 − i sen4)
C z + 4z + 5
2
2i
R e 2 ix e 2 iz −2
∫− R x 2 + 4x + 5 ∫CR z 2 + 4z + 5 dz = πe (cos4 − i sen4)
dx +
∞ e 2 ix e 2iz −2
( vp )∫ dx + lím ∫ dz = πe (cos4 − i sen4)
− ∞ x 2 + 4x + 5 R →∞ C R z
2
+ 4z + 5
21
Módulo I - Unidad 5
Matemática D
e 2iz
Tratemos de demostrar que lím ∫ dz = 0 teniendo presente que |z| = R sobre CR ,
R → ∞ CR z 2 + 4z + 5
que |eiaz | = | e-ay eiax | = e-ay < 1 y que la integral de |dz| da la longitud de la curva:
e 2iz e 2iz 1 πR
0≤ ∫CR z + 4z + 5
2
dz ≤ ∫C R z
2
+ 4z + 5
dz ≤ ∫
C R R
2
− 4R − 5
dz = 2
R − 4R − 5
como la última expresión tiende a 0 si R tiende a infinito, aplicando el teorema del sandwich
podemos afirmar que la integral sobre CR tiende a 0 como pretendíamos.
∞ e 2 ix −2
Por lo tanto ( vp )∫ dx = πe (cos4 − i sen4)
− ∞ x 2 + 4x + 5
∞ sen(2x)
De donde se desprende que (vp) ∫
−∞
x − 4x + 5
2
πe-2 (cos 4 - i sen 4)]= - πe-2 sen 4
dx = Im [π
∞ cos(2x)
también podemos afirmar que (vp) ∫−∞
x − 4x + 5
2
πe-2 (cos 4 - i sen 4)]= πe-2 cos 4
dx = Re [π
⊕Observación
p( x )
1- Si f ( x ) = con p(x) y q(x) polinomios reales sin factores comunes, y donde q(x) no tiene
q( x )
raíces reales y el grado de q(x) supera en al menos 2 unidades al grado de p(x) entonces
p(z) iaz
lím ∫ e dz = 0 siempre que a > 0 y este límite deberá justificarse en cada ejercicio
R → ∞ CR q(z)
como se ha mostrado en el ejemplo anterior.
2- Si la diferencia de grados entre p(x) y q(x) es igual a 1 , por ejemplo si se quieren calcular las
∞ x+ 2 ∞ x+ 2
integrales ∫ sen(2x)dx ó ∫ cos(2x) dx , se procede de manera similar
−∞
x − 4x + 5
2 −∞
x − 4x + 5
2
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á :
y la última expresión no tiende a cero, por ello la acotación debe realizarse usando el resultado
que se enuncia y demuestra a continuación.
22
Módulo I - Unidad 5
Matemática D
π π
♦ Desigualdad de Jordan: ∫0
e - Rsen t dt <
R
Demostración
Como la gráfica de sen t es simétrica respecto de la recta t = π/2, podemos afirmar que
π π/2
∫ 0
e - Rsen t dt = 2 ∫
0
e - Rsen t dt
π π/2 π/2 2π π
entonces ∫ e - Rsen t dt = 2 ∫ e - Rsen t dt ≤ 2∫ e - R2t/π dt = (1 − e − R ) < pues, como R > 0
0 0 0 2R R
π π
se cumple que 1 – e-R < 1 y la desigualdad ∫0
e - Rsen t dt <
R
está probada
Ejemplo
∞ (x+ 2) sen(2x)
Si queremos calcular ∫
−∞
x2 − 4x + 5
dx , comenzamos considerando la igualdad
(z + 2)e2iz
y procedemos a calcular la integral ∫C
z 2 − 4z + 5
dz sobre la -2+i y CR
curva C = [-R, R] ∪ CR
-R R x
(z + 2)e 2iz
Si llamamos h(z) = , sabemos que es analítica en el eje real y en el semiplano superior
z 2 − 4z + 5
con excepción del punto -2 + i , donde tiene un polo de orden uno
(z + 2)e2iz (z + 2)e2iz
∫ dz = ∫ dz = 2πi Res[h(z),- 2 + i]
C z 2 + 4z + 5 C (z + 2 + i) (z + 2 - i)
23
Módulo I - Unidad 5
Matemática D
(z + 2) e2iz i e2i(−2+i )
Como Res[h(z),- 2 + i] = lím (z + 2 − i) = entonces
z→−2+i (z + 2 + i)(z + 2 − i) 2i
(z + 2)e2iz e-2- 4i
∫ dz = 2πi = π i e−2 (cos4 − i sen4)
C
z + 4z + 5
2
2
( z + 2)e 2 iz
Tratemos de demostrar que lím ∫ dz = 0 teniendo presente que CR : |z| = R ,
R → ∞ CR z 2 + 4z + 5
(**)
π π π
por lo tanto ∫ e 2 iz dz = ∫ e − 2 R sen t R dt < R = , observar se ha usado la desigualdad de
CR 0 2R 2
Jordan
24
Módulo I - Unidad 5
Matemática D
( z + 2)e 2iz
y esta expresión tiende a 0 si R tiende a infinito, por lo tanto lím ∫ dz = 0
R→∞ CR z 2 + 4z + 5
Reemplazando en la expresión (*) , obtenemos:
∞ ( x + 2)e 2 ix −2
( vp )∫ dx = π i e (cos4 − i sen4)
− ∞ x 2 + 4x + 5
∞ (x+ 2)sen(2x)
De donde se desprende que (vp) ∫ −∞
x − 4x + 5
2
πie-2 (cos 4 - i sen 4)] = πe-2 cos 4
dx = Im [π
∞ (x+ 2)cos(2x)
también podemos afirmar que (vp) ∫ −∞
x − 4x + 5
2
πie-2 (cos 4 - i sen 4)]= πe-2 sen 4
dx = Re [π
• Ejercicios
17- Justificar usando teoría de residuos el valor de las integrales que se dan a continuación
cos(a 2 x)dx πe − a
2
∞ ∞ x sen x dx π sen 1
a) ∫
0 x2 + 1
=
2
b) ∫ −∞ x4 + 4
=
2e
∞ dx ∞ sen(3x ) dx
a) ∫
-∞ 13 + 12 x + 4x 2
b) ∫ -∞ 13 + 12 x + 4x 2
∞ x 2 cos(2x)dx ∞ x sen(2x)dx
c) ∫
0
(16 + x )
2 2
d) ∫ 0 x2 + 3
25
Módulo I - Unidad 5