Sei sulla pagina 1di 7

Aplicaciones

CLASE 17.

Aplicaciones

El clculo de residuos se puede usar en la evaluacin de algunos tipos de integrales reales:


trigonomtricas e impropias.

17.1

Integrales Trigonomtricas

Consideremos una integral de la forma I =

g(sen , cos ) d, donde g es una fun0

cin racional de sen y cos que es acotada en el rango de integracin. Haciendo la sustitucin z = ei y aplicando el Teorema de los Residuos (Teorema 16.16), se puede evaluar I.
e i e i
e i + e i
De las ecuaciones sen =
y cos =
(visto en sta clase) se obtiene que
2i (
2
(
)
)
1
1
1
1
sen =
z
y cos =
z+
. Luego,
2i
z
2
z
sen =

z2 1
,
2i z

cos =

z2 + 1
,
2z

dz
,
iz

d =

|z| = 1

y as

I=

(
g

|z|=1

z2 1 z2 + 1
,
2iz
2z

dz
=
iz

f (z) dz,
C

donde C es la circunferencia C1 (0) (recorrida en sentido anti-horario) y f es una funcin racional acotada en el rango de integracin. Por el Teorema de los Residuos (Teorema 16.16),

I = 2i

Res( f (z), zn ),

n=1

siendo z1 , z2 , . . . , zN los polos de f (z) que se encuentran en la regin interior del crculo unitario

|z| 1.

17.2

Integrales Impropias

Notas de Matemticas VI

f (x) dx,

Evaluaremos integrales del tipo


para cierta clase de funciones f .

f (x) cos(mx) dx,

f (x) sen(mx) dx

Luis J. Navarro y Ramn Navarro

Aplicaciones

Definicin 17.1 (Funcin del orden O( z1p )). Sea p un nmero real. Se dice que una funcin

f es del orden de z1p (escribiremos f (z) = O( z1p )) si existe una constante real k > 0 tal que
k
| f (z)|
cuando |z| es suficientemente grande (es decir, cuando |z| M para alguna
|z|p
constante real M > 0).
z2 + z 3
se puede escribir como
3z 5 + 2z 2 + 9
z 2 (1 + 1z z32 )
|z|2 1 + 1z z32
1
, es decir, | f (z)|
, de donde se obtiene | f (z)| = 5
f (z) = 5
9
2
9
2

|z| 3 + z 3 + z 5
|z|3
z (3 + z 3 + z 5 )
1
cuando |z| es suficientemente grande. Luego, f (z) = O( z 3 ).
Ejemplo 17.2. La funcin f definida por f (z) =

Teorema 17.3. Sea f (z) una funcin meromorfa en el semiplano superior complejo y continua en el eje

real. Si f (z) = O( z1p ) con p > 1 entonces

f (x) dx = 2i

Res( f (z), zn ),

n=1

donde z1 , z2 , . . . , zN representan los polos de f (z) que estn en el semiplano superior complejo.
Prueba. Denotemos con CR la semicircunferencia superior |z| = R, z() = Re i , 0 .
Llamemos C la curva cerrada simple formada por CR y el intervalo real [R, R], orientada en
forma anti-horaria. Tomando R suficientemente grande (de modo que los polos de f que estn
en el semiplano superior queden todos en la regin encerrada por C, como se muestra en la
Figura 1) tenemos, gracias al Teorema de los Residuos (Teorema 16.16),

f (x) dx +
R

f (z) dz = 2i
CR

Res[ f (z), zn ].

n= 1

f (z) dz = 0.

Ahora probaremos que lim

En efecto,

CR



k
k


| f (z)| | dz |
f (z) dz
| dz | =
p | dz |

p
CR
CR |z|
CR
CR R

k
k
k
= p
| dz | = p R = p1 .
R

CR

Como p > 1, es lim

Notas de Matemticas VI

f (z) dz = 0 y, por lo tanto,


CR

f (x) dx = 2i

Res[ f (z), zn ].

n= 1

Luis J. Navarro y Ramn Navarro

Aplicaciones

Figura 1: Todas las singularidades del semiplano superior quedan encerradas por C.

f (x) cos(mx) dx y

Las integrales del tipo

f (x) sen(mx) dx se evaluarn usando la

f (x)e imx dx, calculndole su parte real y su parte imaginaria (recuerde

integral de la forma

la Frmula de Euler: e imx = cos(mx) + i sen(mx)).


En la demostracin del siguiente teorema usaremos dos resultados sencillos:
Lema 17.4 (Desigualdad de Jordan). Para cualquier [0, 2 ] se cumple
2
sen .

Prueba. Considere las funciones reales h(x) =


real 0 x

.
2

sen x y g(x) = x, definidas en el intervalo

Como g(x) h(x) (puede graficar ambas funciones para verlo) entonces
2

sen y, en consecuencia,

sen

1 ( [0, 2 ]), de donde sigue la desigualdad de

Jordan
2
sen

Lema 17.5. Para cualquier m

)
0
.
2

R se cumple

e
0

Notas de Matemticas VI

m sen

d = 2

e m sen d.

Luis J. Navarro y Ramn Navarro

Aplicaciones

e m sen d la escribimos como

Prueba. La integral real


0

m sen

d =

m sen

e m sen d.

d +

Usando la sustitucin = t obtenemos

m sen

d =

m sen(t)

e m sen t dt.

dt =

Luego, sustituyendo obtenemos

m sen

d = 2

e m sen d.

Teorema 17.6. Consideremos una funcin f (z) meromorfa en el semiplano superior tal que

f (z) = O( z1p ), con p > 0. Entonces para cada nmero real m > 0 es

e imz f (z) dz = 0,

lim

CR

siendo CR como en la demostracin del Teorema 17.3 ( la semicircunferencia superior dada por |z| = R,
z(t) = R e it , 0 t ).
Prueba. Para z en CR , z(t) = R e it = R(cos t + i sen t). As

|e imz | = |e imR(cos t+i sen t) | = |e mR sen t | |e imR cos t |


= e mR sen t .
Como f (z) = O( z1p ), con p > 0, existen constantes reales positivas k y M tales que para
k
|z| M es |f (z)| p . Tomando R suficientemente grande (R > M) se cumple que para z en
|z|
k
CR es |f (z)| p .
R
Luego,







im z(t)

imz




e
f
(
z
(
t
))
z
(
t
)
d
t
=
e
f
(
z
)
d
z



CR

0


e im z(t) f (z(t))Rie it dt
=
0

k
p
R
Notas de Matemticas VI

im z(t)
e
| f (z(t))|R dt

e
0

mR sen t

2k
R dt = p1
R

e mR sen t dt,

Luis J. Navarro y Ramn Navarro

Aplicaciones

donde la ltima igualdad se debe al lema anterior.


De la Desigualdad de Jordan (Lema 17.4) es sen t 2t , por lo que la ltima integral
nos queda
2k
Rp1

mR sen t

2k
dt p1
R

e (

2mR
)t

dt =

e imz f (z) dz = 0.

Luego, como m > 0 y p > 0 concluimos que lim

k
mR
).
p (1 e
mR

CR

Teorema 17.7. Sea f (z) una funcin meromorfa en el semiplano superior y continua en el eje real. Si

f (z) = O( z1p ) con p > 0 entonces para cada nmero real m > 0 es

f (x)e imx dx = 2i

Res[ f (z)e imz , zn ],

n= 1

donde z1 , z2 , . . . , zN denotan los polos de f (z) que estn en el semiplano superior.


Con el teorema 17.6, la prueba es similar a la del teorema 17.3, usando la curva cerrada

C = [R, R] CR .

Ejemplo 17.8. Calcular I =


0

d
.
2 sen

Solucin. Usando las frmulas indicadas

|z| = 1,

d =

4iz z 2 + 1
2iz

z = e i ,

dz
,
iz

sen =

z2 1
,
2iz

se obtiene que
2 sen =
Luego,

I=
|z|=1

d
2 dz
=
.
2 sen
4iz z 2 + 1

(2) dz
= 2
2
z 4iz 1

|z|=1

z2

dz
.
4iz 1

Factorizando, es z 2 4iz 1 = (z z1 )(z z2 ), con z1 = (2

3)i y z2 = (2 +

3)i. El

punto z2 est en la regin externa mientras que z1 est en la regin encerrada por |z| = 1.
Calculamos
Res[ f, (2

3)i] =

=
Notas de Matemticas VI

lim (z z1 )

z(2 3)i

(2

1
3)i (2 +

(z z1 )(z z2 )

3)i

= lim

zz1

z1 z2

= ,
2 3i

Luis J. Navarro y Ramn Navarro

Aplicaciones

(
)
1
2
I = (2)2i Res[ f, z1 ] = (2)(2i)
= .

con lo cual

2 3i

Ejemplo 17.9. Calcule el valor de la integral

(1 + 2 cos )n e in
d.
5 4 cos

I=
0

Solucin. Con las frmulas correspondientes


z2 + 1
,
2z

cos =
ser
1 + 2 cos =

z = e i ,

z2 + z + 1
z

As,

|z|=1

1
2

|z| = 1,
2z 2 5z + 2
.
z

z dz
iz

2z 2 5z+2

(z 2 + z + 1)n
dz
2z 2 5z + 2
|z|=1

1
=
2i
El punto z1 =

5 4 cos =

zn

1
i

dz
,
iz

(z 2 +z+1)n n

I=

d =

(z 2 + z + 1)n
dz.
1
(
z

2
)(
z

)
2
|z|=1

est adentro, en la regin interior a |z| = 1 y el punto z2 = 2 est afuera.

Calculamos

( 1 + 1 + 1)n
1
(z 2 + z + 1)n
2
Res f,
= lim1
= 4 12
=
2
z2
3
2
z 2
2

( )n
7
4

De aqu

(
)
[
] (
)
( ) ( )n
1
1
1
2
7
I=
2i Res f,
=
2i
2i
2
2i
3
4
( )n
2 7
.
=
3

Ejemplo 17.10. Calcular I =

Notas de Matemticas VI

x2

dx
.
+ 9)(x 2 + 1)2
Luis J. Navarro y Ramn Navarro

Aplicaciones

1
es meromorfa en el semiplano superior
( + 9)(z 2 + 1)2
con polos z = 3i (polo simple) y z = i (polo doble). Adems, f (z) = O( z1p ) = O( z16 ), con

Solucin. La funcin f (z) =

z2

p = 6 > 1 y f es continua en el eje real. Aplicando el teorema correspondiente (Teorema 17.3)


es I = 2i[Res( f , 3i) + Res( f , i)]. Calculamos

1
1
=
Res( f , 3i) = lim
2
2
z3i (z + 3i)(z + 1)
6 64i
[
]
d
1
3 1
Res( f , i) = lim
=
.
2
2
zi dz (z + 9)(z + i)
128 i
Luego,

1
3 1
5
5
I = 2i
+
= 5 =
6 64
128 i
96
23

Ejemplo 17.11. Calcular

Solucin.

cos x
dx.
(x 2 + 4)2

Para aplicar el teorema correspondiente (Teorema 17.7), calculamos

e ix

(x 2 + 4)2

I=

dx (m = 1).

Vemos que f (z) =

(z 2 + 4)2

es del orden de f (z) = O( z14 ). Adems, f es meromorfa en el

semiplano superior, con polo doble en z = 2i y continua en el eje real. Calculamos

e iz
d
Res[ f (z)e , 2i] = lim
z2i dz (z + 2i)2
iz

Luego, I = 2i Res[ f (z) e iz , 2i] =

Notas de Matemticas VI

]
=

3 2
ie .
32

3 2
e . Tomando parte real es
16

cos x
3 2
dx = Re(I) =
e .
2
2
(x + 4)
16

Luis J. Navarro y Ramn Navarro

Potrebbero piacerti anche