Sie sind auf Seite 1von 5

Semana 13 - Clase 39 Tema 6: Variable Compleja

Integrales de Fourier
Otro grupo de integrales que pueden ser evaluadas mediante el Teorema de Residuos son
las integrales de Fourier. Integrales que involucran funciones racionales, f(x), que satisfacen
las condiciones expuestas anteriormente y funciones senos y consenos. Integrales del tipo
_

dx f(x)
_
cos mx
sen mx
_

dx f(x)e
imx

_
C
dz f(z)e
imz
= 2i
m

j=1
Res

f(z)e
imz

z=z
0j
(1)
Con m > 0 y los polos correspondientes a los residuos que se muestran en el lado derecho,
est an ubicados en el semiplano complejo con y > 0. Es claro que el circuito seleccionado es
que muestra el cuadrante II de la gura ??.
Equivalentemente, igualando partes reales e imaginarias
_

dx f(x) cos mx = 2
m

j=1
Im Res

f(z)e
imz

z=z
0j
_

dx f(x)sen mx = 2
m

j=1
Re Res

f(z)e
imz

z=z
0j
.
Otra vez, el circuito C se separa en una semicircunferencia y el eje real.
Para demostrar que para evaluar las integrales de Fourier (??) se requiere la suma de los
residuos nos convencemos que la integral a lo largo de la semicircunferencia se anula. Esto
es facil si comprobamos que y > 0 y m > 0, entonces si z = x + iy tendremos que
|e
imz
| = |e
imx
||e
my
| = e
my
< 1 |f(z)e
imz
| = |f(z)| |f(z)| |e
imz
|
con lo cual redujimos al de una funci on racional.
Ejemplo: Comprobemos que
_

dx cos mx
x
2
+ k
2
=

k
e
km
y
_

dx sen mx
x
2
+ k
2
= 0
es f acil ver que el polo simple de la continuaci on analtica de f(x) es z
0
= ik y su residuo
ser a
f(z) =
e
imz
z
2
+ k
2
z
0
= ik Res
e
imz
z
2
+ k
2

z=ik
=
e
imz
2z

z=ik
=
e
mk
2ik
y por lo tanto
_

dx
e
imx
x
2
+ k
2
= 2i
e
mk
2ik
=

k
e
mk
Hector Hern andez / Luis N u nez 1 Universidad de Los Andes, Merida
Semana 13 - Clase 39 Tema 6: Variable Compleja
Ejemplo: Evalue
_

dx
xsen x
x
2
+ 2x + 5
Partimos de la continuacion analtica de
f(x) f(z) =
ze
iz
z
2
+ 2z + 5
z
0
= 12i
_
C
dz
ze
iz
z
2
+ 2z + 5
= Res
ze
iz
z
2
+ 2z + 5

z=1+2i
ya que ese es el unico polo encerrado por la circulaci on . Calculando el residuo tendremos
Res
ze
iz
z
2
+ 2z + 5

z=1+2i
= lm
z1+2i
_
(z + 1 2i)
ze
iz
z
2
+ 2z + 5
_
= (1 + 2i)
e
(2+i)
4i
con lo cual
_
C
dz
ze
iz
z
2
+ 2z + 5
=
_

dx
x cos x
x
2
+ 2x + 5
+i
_

dx
xsen x
x
2
+ 2x + 5
= 2i(1+2i)
e
(2+i)
4i
=

2
(12i)e
2
igualando parte real e imaginaria tendremos que
_

dx
x cos x
x
2
+ 2x + 5
=

2
e
2
y
_

dx
xsen x
x
2
+ 2x + 5
= e
2
Ejercicios: Compruebe que
Para m > 0
_

0
dx
cos mx
(x
2
+ 1)
2
=
e
m
(1 + m)
4
y
_

0
dx
cos 2x
x
4
+ x
2
+ 1
=

2

3
e
/

3
0.1. Otras Integrales Impropias
Existen integrales denidas para las cuales el integrando se hace innito para un deter-
minado punto en el rango de integracion. Esto es, en general
lm
xx
0
|f(x)|
_
b
a
dx f(x) = lm
0
_
x
0

a
dx f(x) + lm
0
_
b
x
0
+
dx f(x)
donde y tienden a cero de forma independiene, es decir, ambos lmites se efectuan
independientemente. Ahora bien, puede darse el caso que uno o ambos lmites no existan
pero si existe
lm
0
__
x
0

a
dx f(x) + lm
0
_
b
x
0
+
dx f(x)
_
V.P.
_
b
a
dx f(x)
Diremos entonces que existe el Valor Principal de Cauchy para esa integral. La estrategia
en estos casos ser a dise nar un circuito tal que evite los polos de la extension analtica
de la funcion. Normalmente se establece este recorrido rodeando los polos con arcos de
circunferencia cuyos radios luego tender an a cero. Veamos con un ejemplo esta estrategia de
circunsnavegacion.
Hector Hern andez / Luis N u nez 2 Universidad de Los Andes, Merida
Semana 13 - Clase 39 Tema 6: Variable Compleja
Figura 1: Circuitos y evaluaci on de integrales reales, impropias
Ejemplo: Consideremos que queremos evaluar la siguiente integral
_

0
dx
sen x
x
lm
x0
sen x
x
= 1
Si bien el lmite esta denido, cuando hacemos la extension analtica
1
f(x) = sen x/x
f(z) = e
iz
/z la funci on compleja presenta un polo simple en z = 0, con lo cual la integral
compleja presenta un polo en la regi on de integracion. Esto es
_

0
dx
sen x
x

_
C
dz
e
iz
z
=
_

R
dx
e
ix
x
+
_
C
2
dz
e
iz
z
+
_
R

dx
e
ix
x
+
_
C
1
dz
e
iz
z
= 0
donde hemos construido un circuito que rodea el polo z = 0 (cuadrante IV de la gura ??.).
Es claro que
_
C
dz
e
iz
z
= 0 porque la regi on no contiene ning un polo.
Ahora mostraremos que
_
C
1
dz
e
iz
z
0, cuando R . Para ello, convertimos
z = Re
i
dz/z = id ,
1
Notese que la extension analtica ha sido f(x) = sen x/x f(z) = e
iz
/z y no f(x) = sen x/x f(z) =
sen z/z La razon de esta seleccion se fundamenta en el comportamiento patologico (oscilante) de la funcion
seno en innito.
Hector Hern andez / Luis N u nez 3 Universidad de Los Andes, Merida
Semana 13 - Clase 39 Tema 6: Variable Compleja
entonces

_
C
1
dz
e
iz
z

_

0
d ie
iz

_

0
d |e
iz
| =
_

0
d |e
iRcos
|
. .
1
|e
Rsen
| =
_

0
d e
Rsen
con lo cual
I
1
=
_

0
d |e
iz
| =
_

0
d e
Rsen
= 2
_
/2
0
d e
Rsen
= 2
_
_
_

0
d e
Rsen
. .
I
1
+
_
/2

d e
Rsen
. .
I
2
_
_
para 0 /2.
Es claro que e
Rsen
es una funcion decreciente en y como estamos tratando de demos-
trar que la integral a lo largo del circuito se anula I
1
0, podremos considerar los maximos
valores para I
1
y I
2
en el entorno de integracion y jarlos como constantes, al hacer esto
tendremos lo m aximos valores que podr an tomar las integrales respectivas. Los maximos
valores para I
1
y I
2
, son, 1 y e
R
.
Entonces,
I
1
=
_

0
d |e
iz
| 2
_
_

0
d + e
Rsen
_
/2

d
_
= 2
_
+ e
Rsen
_

2

__
< 2 +e
Rsen
Al considerar que 0 y R comprobamos que I
1
0.
Seguidamente nos toca demostrar que I
2
=
_
C
2
dz
e
iz
z
0 cuando 0. Para este caso
z = e
i
y como siempre, dz/z = id, entonces la integral
I
2
=
_
C
2
dz
e
iz
z
=
_

0
d ie
i exp(i)
lm
0
I
2
= lm
0
_

0
d ie
i exp(i)
= i
Esto implica que
_
C
dz
e
iz
z
=
_

R
dx
e
ix
x
+ i +
_
R

dx
e
ix
x
= 0
. .
xx
_
R

dx
e
ix
e
ix
x
+ i = 0
con lo cual es claro que
_
R

dx
e
ix
e
ix
x
= i 2i
_
R

dx
sen x
x
= i
_

0
dx
sen x
x
=

2
donde hemos hecho los lmites R y 0.
Hector Hern andez / Luis N u nez 4 Universidad de Los Andes, Merida
Semana 13 - Clase 39 Tema 6: Variable Compleja
Ejercicios: Comprobar las evaluaciones para las siguientes integrales
1.
_

0
dx sen x
2
=
_

0
dx cos x
2
=

2
4
2.
_

0
dx
ln x
x
4
+ 1
=

2
16
;
_

0
dx
(ln x)
2
x
4
+ 1
=
3
3

2
16
3.
_

0
dx
x
p
x
2
+ 2x cos + 1
=
_

sen p
_
_
sen p
sen
_
Hector Hern andez / Luis N u nez 5 Universidad de Los Andes, Merida