Sin embargo, muy relacionada con la anterior estar la funcin

exp (iz)
f(z): = 2
j j z + 2z + 4;
y
donde = fz 2 C : Im z > 1g. Aqu, usando que eix = 1, je j < 1 y para
z sucientemente grande: j j
j j
jzf(z)j = z + 2z + 4
2
z exp (iz) = z exp (ix) exp( y)
z 2 + 2z + 4 z2 j 2 jz
z 4 ! 0:

Calculamos el valor del nico residuo relevante de cara al resultado:

p
Res f; 1 + i 3 =
9
f := hg ; g; h 2 H ( )
8 h( 1 + ip 0
3) = 0 6= h ( 1 + i p 3); ) =
< Res g ; 1 + ip p
3) = g0 ( 1 + i 3)
:

h e h 0 ;
p
p
ei( ) i e 3

1+i 3
= p = p
2( 1 + i 3) + 2 i2 3
p
e 3 1
= 2p 3 i cos ( 1) + sin ( 1)
p
e 3

= 2 p 3 [ sin (1) i cos (1)] ;

con lo que el teorema anterior nos dice que:
+1 exp (ix)
p p
Z 1
2
x + 2x + 4 dx = i2 Res f; 1 + i 3 =p 3e 3e i;
de donde +1 cos x
Z 2 p3
1 x + 2x + 4 dx = p 3 e cos 1;
y, de propina,
+1 sin (x)
p3
Z 1
2
x + 2x + 4 dx = p3 e sin 1.
II. Integrales denidas de funciones trigonomtricas.
Consideremos ahora integrales de la forma
Z
2

f (cos (at) ; sin (bt)) dt:

0

Es razonable ver esta integral como el resultado de una parametrizacin sobre

la circunferencia unidad T, con
f2H( ): T:

13
(El abierto ser convenientemente elegido, adems, para que "seleccione" los
polos de la funcin que vengan bien a la hora de calcular los correspondientes
residuos: los polos han de estar en la componente conexa acotada de la curva
:)
As:
z = eit : 0 t 2;
nos da que
cos (at) = eiat+e iat
2
= za+z a
2

i2
sin (bt) = eibt e ibt = zb dz
z b
i2
9
>

;
iz = dt =
>
2 za + z a zb zb dz
f (cos (at) ; sin (bt)) dt = f ; ;
Z
) 0 ZT 2 i2 iz
y es buen momento para ejemplicarlo:
Ejemplo. Calculemos Z
2 d
:
2 + cos 0
Resolucin: Realizamos clculos directamente:
2
d = 1 dz= i2 dz
Z Z i2 Z
0 2 + cos T2 + 21 z+ z
1
iz T z2 + 4z + 1

p
z+2+ p 3 dz
= ZT 3 z+2
= i2 Res f := g; 2 + p3
h
= i2 i2 = 2 :
p p
2 2+ 3 +4 3
p
(Observemos aqu que 2 3 est en la componente conexa no acotada
de CnT. Podemos considerar, por ejemplo, = D(0; 2):)
III. Ms sobre integrales reales: el lema de Jordan.
El siguiente resultado se conoce como lema de Jordan:
Teorema. Sea f una funcin meromorfa con un nmero nito p 1; :::; pn de
polos en el semiplano superior abierto fz 2 C : Im z > 0g. Supongamos
que no tiene polos en la recta real y que
lim f(z) = 0:
z!1
Im z>0
Entonces, para a > 0:
Z Xn
+1 iax
f(x)e dx = i2 Res (g; pj ) ;
1 j=1

donde g(z) := f(z)eiaz:

14
 Demostracin. Para " > 0; jo pero arbitrario, elijamos R > 0, tal que:
a. jpj j < R; 1 j n
b. jf(z)j "; z : jzj R; Im z > 0 x
ax R
c. xe 1;

Ahora, para u; v 2 ]R; +1[, denotemos por el camino determinado por la

poligonal
[ u; v; v + i (u + v) ; v + i (u + v) ; u] :
El teorema de los residuos nos da que (tngase presente que los polos de
g son los mismos de f):
Z Xn
g = i2Res (g; pj ) :
j=1
Pero, por otra parte:

Z Zv Z u+v
g = u f(x)eiaxdx + 0 f(v + iy)eiav aydy

Zv Z u+v
u f(x + i(u + v))eiax a(u+v) dx 0 f( u + iy)eiau aydy:
Veamos cmo son las tres ltimas integrales de esta expresin. Tengamos pre-
sentes las condiciones bajo las que han sido elegidas x; y y u + v:
" "

Z u+v Z u+v
0 f(v + iy)eiav aydy "
0 e aydy
a(u+v)
= 1 e

v a v a
Z u f(x + i(u + v))eiax a(u+ v)dx " Z u e a(u+ v)dx

= " (u + v) e a(u+v) "

iau ay u+v
Z 0 u+v f( u + iy)e dy "
" Z0 e aydy a

En consecuencia: 2
v f(x)eiaxdx i2 n Res (g; pj ) " +1
X
Zu j=1 a
! 1
de donde se sigue lo deseado sin ms que hacer u; v + . Q.E.D.
Observacin: si en vez del contorno hubisemos optado por la semicir-
cunferencia superior de radio r > 0; el resultado obtenido hubiera sido:
+1
n
X

(vp) Z g(x)dx = i2 Res (g; p ) :

1 j=1 j
Es decir, que podra ser que obtuvisemos un resultado incoherente caso de
no existir la integral.

15
Ejemplo. Calcula +1
x sin (x)
2 2
Z0 x + b dx; b > 0:
Resolucin. Pongmonos en las condiciones del lema de Jordan:
z
f(z) := ;
z2 + b2
con f 2 H ( nfibg), := fz 2 C : 0:5 < Im zg y a := 1.
As, el nico residuo lo presenta la funcin en p = ib. Y su valor es, para
g(z) := eizf(z):
b
Res (g; ib) = ibe = e b ;
i2b 2
y, por tanto,
+1 xeix
Z 2 2
x + b dx = i e b;
1
de donde, igualando partes imaginarias:
+1
x sin (x)

Z 2 2
x + b dx = e b:
1
Ahora bien, la funcin a integrar es par; por tanto:
+1
x sin (x) e b

2 2
Z 0x + b dx = 2 :
Observemos que, como extra, obtenemos algo que ya conocemos para las
funciones impares: +1
x cos x
Z 2 2
1 x + b dx = 0:
El resultado anterior admite una extensin muy interesante, que posibilita
el aceptarlo bajo la hiptesis de que f tenga alguno de los polos p1; :::; pn
sobre la recta real:

Lema. Supongamos que la funcin f tiene un polo simple en un punto a. Sea

r un arco circular de radio r > 0 con vrtice en a. (Por ejemplo,
consideremos r := 1 + 2 + 3; la suma de las tres curvas
i
1(t) : = a + te ; 8t 2 [0; r] 2(t) :
i
= a + re ; 8 2 [ ; ]
i
3(t) : = a + (r t) e ; 8t 2 [0; r]
para r > 0 y 0 < < 2 :) Entonces:
Z
lim f=i( ) Res (f; a) :
r!0
r
16
 Demostracin. El desarrollo en serie de Laurent de f en un entorno per-

forado D(a; r)nfag de a, nos da:

Res (f; a) X+1

f(z) = + an (za)n :
z a
n=0

Si denimos la funcin
Res (f; a)
g(z) := f(z)
z a

para todo z 2 D(a; ), tendremos una funcin holomorfa en el disco (por qu?).
En particular, estar acotada, digamos por un M > 0; es decir:

z 2 D(a; ) g Mr( );
0<r< )
Z
r

y, por tanto, Z
lim g = 0:
r!0
r
Ahora bien, como
Res (f; a) riei
Z Z
a
rz dz = Res (f; a)
rei d = i Res (f; a) () ;
dado un " > 0, para r sucientemente pequeo, podemos razonar as:

f i Res (f; a) () = g Mr( ) < ": Q.E.D.

Z
r Z
r

Veamos cmo es efectivo este lema mediante un ejemplo concreto:

Ejemplo. Comprueba que

Z +1
sin (x) dx = :
0 x 2

Resolucin. Consideremos g(z) := eziz : Esta funcin tiene un polo simple

en el origen, con residuo e1i0 = 1. Observamos que las condiciones del lema de
Jordan se satisfacen para f(z) := z1 , con la notacin de dicho lema, salvo que
presenta un polo en R. Consecuentemente, hay que hacer algn articio: vamos
a modicar ligeramente el camino en las cercanas del origen del siguiente modo:
ser la (curva cerrada regular a trozos) suma de las curvas
1 : = [r; v; v + i (u + v) ; u + i (u + v) ; u; r] ; 0 < r < u; v
2 (t) : = re it;0 t

17
 Todo queda anlogo al lema de Jordan, salvo la integral sobre R. Nueva-
mente, el teorema de los residuos viene en nuestra ayuda:

+1!
r 2 + r g=0 = !
Z1 Z Z ?
X
(donde el signo negativo en la segunda integral indica el recorrido en sentido
negativo que se ha considerado).
Aplicando el lema:
lim eiz dz = i ;
Z
r!0 2 z
luego
+1

Z
1 g=i;
de donde, tomando partes imaginarias en cada miembro, se obtiene lo
deseado, pues se trata de una funcin par.
Observacin: al tomar partes reales en la resolucin del ejemplo anterior,
se puede ver cmo se tendra que:

lim r cos x dx + +1 cos x dx = 0;

Z Z
r!0+ 1 x +rx
lo cual es obvio por ser impar la funcin del integrando. Pero, tan obvio como
lo anterior es que la integral impropia
Z +1
cos x dx;
x
1
no existe, pues
cos x 1

x ' x ;x ! 0:
IV. Integral impropia que involucra funciones racionales
Sean p y q dos polinomios primos entre s. Supongamos que
q(x) 6= 0; 8x 2 R ^ grad (q) grad (p) 2:

En estas circunstancias, la funcin

p ( x)
f(x) := q( x ) ; 8x 2 R
es impropiamente integrable en R, y nuestro propsito es obtener
Z
+1
f(x)dx:
1

El mtodo, que lo presentaremos en cinco pasos, se puede enunciar del

siguiente modo: