INTEGRACIÓN POR RESIDUOS

Un truco para acotar integrales. Sea γ un camino compacto del plano complejo, sea f (z) una
función holomorfa en un abierto que contiene al camino γ y sea M (γ) = máxz∈γ |f (z)|. Entonces
Z 
 
 f (z)dz  ≤ M (γ) Long(γ).
 
γ

Demostración: Sea γ : [a, b] → C una parametrización arbitraria del camino. Entonces

Z  Z b  Z
 b Z b
0 0
|γ 0 (t)|dt = M (γ) Long(γ).
  
 f (z)dz  =  f (γ(t))γ (t)dt ≤ |f (γ(t))||γ (t)|dt ≤ M (γ)

   
γ a  a a

Y con esto la cota queda probada. 

+
Ejemplo 1. Si γR es la semicircunferencia de radio R centrada en el origen contenida en el semiplano
+
Π = {z ∈ C : =z ≥ 0}, entonces
Z 
 eiz 
dz +
 ≤ M (γR +
) Long(γR ) ≤ O(R−2 ) · O(R) = O(R−1 ),
 
 γR+ 1 + z 2 


eiz
R
luego lı́mR→+∞ +
γR 1+z 2 dz = 0. N

Observación. Este truco no es infalible. Por ejemplo, no sirve para calcular las integrales de Fresnel
vistas en el tema 4, pues en ese caso el producto M (γR ) Long(γR ) no tiende a cero cuando R → +∞.
En ese problema tuvimos que ser bastante más finos.

Un truco para calcular el lı́mite de ciertas integrales. Sea f (z) una función holomorfa con un
polo simple en un punto z = z0 y sea γ el arco de circunferencia de radio  centrado en z0 que empieza
en el ángulo θ0 y termina en el ángulo θ1 . Entonces
Z
lı́m f (z)dz = (θ1 − θ0 )i Res(f (z); z0 ).
→0+ γ

Este resultado recibe el nombre de Lema de Jordan en algunos libros. Si el camino da una vuelta
completa alrededor del polo, entonces θ1 − θ0 = 2π y recuperamos el clásico teorema de los residuos.
a−1
Demostración: Sea a−1 = Res(f (z); z0 ), luego f (z) = z−z 0
+ h(z) con h(z) holomorfa en z0 . Entonces
Z Z Z
dz
f (z)dz = a−1 + h(z)dz.
γ γ z − z0 γ

Como la función h(z) es holomorfa en el punto z0 , está acotada en un entorno de ese punto. O sea,
existe un radio r > 0 y una cota K > 0 tales que |h(z)| ≤ K para todo z ∈ B(z0 ; r). Por tanto,
Z 
 
 h(z)dz  ≤ M (γ ) Long(γ ) = O(), ∀ ∈ (0, r).
 
γ

Esto implica que la integral de h(z) sobre el camino γ tiende a cero cuando  → 0+ . Por contra,
 Z θ1 Z θ1
Cambio z = z0 + eθi ieθi dθ
Z 
dz
= = = i dθ = (θ1 − θ0 )i, ∀ > 0.
γ z − z0 con θ0 ≤ θ ≤ θ1 θi
θ0 z0 + e − z0 θ0

Y con esto el lı́mite queda probado. 

1
Integrales trigonométricas racionales. Son las integrales de la forma
Z 2π
I= g(cos θ, sin θ)dθ,
0
donde g(c, s) es una función racional en las variables c y s tal que el integrando g(cos θ, sin θ) no tiene
ninguna singularidad cuando θ ∈ [0, 2π]. Realizando el cambio de variables z = eiθ en la integral original
e introduciendo la función racional
 
i z + 1/z z − 1/z
r(z) = − · g , ,
z 2 2i
que no tiene ninguna polo en la circunferencia unidad, vemos que
Z X
I= r(z)dz = 2πi Res(r(z); z0 ),
|z|=1 z0 ∈P1

donde P1 es el conjunto de polos de la función racional r(z) en el interior del disco unidad.
R 2π dθ R 2dz 2
√
√
Ejemplo 2. 0 2+sin θ = |z|=1 z 2 +4iz−1 = 2πi Res z 2 +4iz−1 ; ( 3 − 2)i = 2π/ 3. N

Integrales de funciones racionales sobre R. Son las integrales de la forma

Z +∞
I= r(x)dx,
−∞
donde r(x) es una función racional cuyos numerador y denominador tienen grado n y d, respectivamente.
Para que esta integral impropia sea convergente, suponemos que d ≥ n + 2 y r(z) no tiene polos reales.
+
La integral se calcula integrando la función r(z) sobre el camino cerrado [−R, R] ∪ γR recorrido en
+
sentido antihorario, donde γR es la semicircunferencia de radio R centrada en el origen y contenida en
el semiplano superior Π+ = {z ∈ C : =z ≥ 0}.
Usando el teorema de los residuos y mediante un paso al lı́mite cuando R → +∞, se prueba que
X
I = 2πi Res(r(z); z0 ),
z0 ∈P +
+
donde P es el conjunto de polos de la función r(z) en el semiplano Π+ . Un punto esencial es la cota
Z 
 
+ +
r(z)dz  ≤ M (γR ) · Long(γR ) = O(Rn−d ) · O(R) = O(Rn+1−d )
 

 γR+ 
R
que nos permite ver que lı́mR→+∞ γ + r(z)dz = 0.
R
R +∞ x2 −x+2  2

−z+2 z 2 −z+2
Ejemplo 3. −∞ x4 +10x2 +9 = 2πi Res z4z+10z


2 +9 ; i + Res z 4 +10z 2 +9 ; 3i = 5π/12. N

Observación. Análogamente, se obtiene la fórmula I = −2πi z0 ∈P − Res(r(z); z0 ), donde P − es el

P

conjunto de polos de la función r(z) en el semiplano inferior Π− = {z ∈ C : =z ≤ 0}.

R +∞
Observación. El mismo camino sirve para calcular algunas integrales de la forma −∞ h(x) p(x) dx, donde
p(x) es un polinomio sin raı́ces reales y h(z) es una función holomorfa en un abierto que contiene al
semiplano Π+ o Π− . Si la función h(z) es entera, entonces escogemos el semiplano de forma que la
integral sobre su semicircunferencia de la función f (z) = h(z)/p(z) tienda a cero cuando R → +∞.
R +∞ cos x hR i h  iz i h −a
i
1 +∞ eix
Ejemplo 4. 0 x2 +a2 dx = 2 < −∞ x2 +a2
dx = 21 < 2πi Res z2e+a2 ; ai = 12 < 2πi e2ai = 2aeπ
a,

para todo a > 0. (Nota: La función holomorfa h(z) = eiz está acotada en Π+ , pero no en Π− .) N
Observación. Cuando la función racional R r(z) tiene algún polo real se deben extremar las precauciones
y tener claro el significado del sı́mbolo R r. En esos casos se requiere deformar ligeramente el camino
anterior para evitar todos los polos y probablemente necesitaremos echar mano del Lema de Jordan.
R
−1− R +∞  dx 
1
√ 
1+ 3i

1
 √
Ejemplo 5. lı́m→0+ −∞ + −1 1+x 3 = 2πi Res 1+z 3 ; 2 + πi Res 1+z 3 ; −1 = π/ 3.
R −1 dx R +∞ dx
Advertencia: Las dos integrales −∞ 1+x 3 y −1 1+x3
son divergentes, pero en cambio existe el
R R +∞  dx
R +∞ dx −1−
llamado valor principal de Cauchy V.P. −∞ 1+x3 := lı́m→0+ −∞ + −1+ 1+x 3. N

2
Integrales de funciones con “raı́ces” sobre R+ . Son integrales de la forma
Z +∞
I= xα r(x)dx,
0

donde α ∈ R y r(x) es una función racional cuyos numerador y denominador tienen grado n y d,
respectivamente. Supondremos que −1 < α < d − n − 1 y r(z) no tiene polos en [0, +∞), para asegurar
la convergencia de la integral.
Consideramos la función f (z) = z α r(z), que es meromorfa en el abierto C \ L0 cuando escogemos la
determinación del argumento que toma valores entre 0 y 2π, de forma que
f (e2πi x) = e2παi f (x), ∀x > 0.
A continuación, consideramos el camino cerrado recorrido en sentido antihorario
γR, = [, R] ∪ γR ∪ [Re2πi , e2πi ] ∪ γ ,
donde γR Ry γ son las circunferencias de radios R y  centradas en el origen con 0 <   1  R. Las
integrales γR f (z)dz y γ f (z)dz tienden a cero cuando  → 0+ y R → +∞, ya que
R

Z 
 ≤ M (γ ) · Long(γ ) = O(α ) · O() = O(α+1 ),
 

 f (z)dz 
γ
Z  
f (z)dz  ≤ M (γR ) · Long(γR ) = O(Rα+n−d ) · O(R) = O(Rα+n+1−d ).
 


γR

Por tanto,
2πi X
I= 2παi
Res(z α r(z); z0 ),
1−e
z0 ∈P

donde P es el conjunto de polos de la función racional r(z).

R +∞ xα  α  α
Ejemplo 6. 0 1+x dx = 2πi
1−e 2παi Res z
1+z ; −1 = 2πi(−1)
1−e2παi =
2πi
e−παi −eπαi
π
= − sin(πα) , ∀α ∈ (−1, 0). N

Observación. Si r(x) es una función par, entonces f (−x) = f (eπi x) = eπαi f (x) cuando x > 0, luego se
puede trabajar con semicircunferencias, en vez de circunferencias completas, y ası́ llegar a la fórmula
2πi X
I= παi
Res(z α r(z); z0 ),
1+e +
z0 ∈P

donde P + es el conjunto de polos de la función racional r(z) en el semiplano superior Π+ .

R +∞ xα  α 
2πi z 2πi iα πeπαi/2 π
Ejemplo 7. 0 1+x2 dx = 1+eπαi Res 1+z 2 ; i = 1+eπαi 2i = 1+eπαi = 2 cos(πα/2) , ∀α ∈ (−1, 1). N

Integrales de funciones con “logaritmos” sobre R+ . Hay variaciones dentro de este tipo de
integrales. Empezamos por la integral
Z +∞
I= r(x) log x dx,
0

donde r(x) es una función racional par cuyos numerador y denominador tienen grado n y d. Supondre-
mos que d ≥ n + 2 y r(z) no tiene ningún polo real para asegurar la convergencia de la integral.
Consideramos la función f (z) = r(z) Log z, que es meromorfa en el abierto C \ L−π . Trabajamos con
la determinación principal del logaritmo, luego el argumento toma valores entre −π y π. Entonces
(1) f (−x) = f (eπi x) = f (x) + πir(x), ∀x > 0.
A continuación, consideramos el camino cerrado recorrido en sentido antihorario
+
γR, = [, R] ∪ γR ∪ [−R, −] ∪ γ+ ,
+
donde γR y γ+ son las semicircunferencias de radios R y  centradas en el
R origen contenidas en el
semiplano superior Π+ , con 0 <   1  R. Las integrales γ + f (z)dz y γ+ f (z)dz tienden a cero
R
R

3
cuando  → 0+ y R → +∞, ya que
Z 
 ≤ M (γ+ ) · Long(γ+ ) = O(| log |) · O() = O(| log |),
 

 + f (z)dz 
γ
Z  
 
+ +
f (z)dz  ≤ M (γR ) · Long(γR ) = O(Rn−d log R) · O(R) = O(Rn+1−d log R).
 

 γR+ 
Por tanto, X
2I + πiJ = 2πi Res(r(z) log z; z0 ),
z0 ∈P +
R +∞
donde P + es el conjunto de polos de r(z) en el semiplano Π+ y J = 0 r(x)dx. En particular,
   
X X
I = −π=  Res(r(z) log z; z0 ) , J = 2<  Res(r(z) log z; z0 ) .
z0 ∈P + z0 ∈P +
  R +∞ R∞
Ejemplo 8. Res Log z
1+z 2 ; i =
Log i
2i = π
4, luego 0
log x
1+x2 dx = −π=[ π4 ] = 0 y 0
dx
1+x2 = 2<[ π4 ] = π
2. N

El método anterior falla cuando la función racional r(x) no es par, pues la igualdad (1) deja de ser
cierta. En este caso, consideramos la función f (z) = r(z) log2 z, que es meromorfa en el abierto C \ L0
cuando el argumento toma valores entre 0 y 2π. Usaremos la relación

2
f (e2πi x) = r(x) log x + 2πi = f (x) + 4πir(x) log x − 4π 2 r(x), ∀x > 0.
Además, consideramos el camino cerrado recorrido en sentido antihorario
γR, = [, R] ∪ γR ∪ [Re2πi , e2πi ] ∪ γ ,
donde γR Ry γ son las circunferencias de radios R y  centradas en el origen con 0 <   1  R. Las
integrales γR f (z)dz y γ f (z)dz también tienden a cero cuando  → 0+ y R → +∞. Por tanto,
R
X
−4πiI + 4π 2 J = 2πi Res(r(z) log2 z; z0 ),
z0 ∈P
R +∞
donde P es el conjunto de todos los polos de la función racional r(z) y J = 0 r(x)dx. En particular,
" # " #
1 X
2

1 X
2


I=− < Res r(z) log z; z0 , J =− = Res r(z) log z; z0 .
2 2π
z0 ∈P z0 ∈P
 2
   √ 2
√ 2
log2 z
Ejemplo 9. Res z2log z
−2z+2 ; 1 + i +Res z 2 −2z+2 ; 1 − i = (log 2+πi/4)
2i + (log 2+7πi/4)
−2i = − 3π(log42+2πi) ,
R +∞ log x dx 3π log 2
R +∞ dx 3
luego 0 x2 −2x+2 = 8 y 0 x2 −2x+2 = 4 π. (Advertencia: arg(1 − i) = 7π/4, pues hemos dicho
que el argumento toma valores entre 0 y 2π.) N
Integrales con exponenciales y funciones trigonométricas R +∞sobre R. Hay muchas variaciones
2
dentro de esta clase. Para fijar ideas, consideramos la integral −∞ e−x cos(βx)dx, con β > 0.
2
Integramos la función entera f (z) = e−z sobre el rectángulo de vértices {±R, ±R±βi/2}. La integral
R +∞ 2 √
sobre el segmento horizontal inferior tiende a −∞ e−x dx = π cuando R → +∞. Las integrales sobre
los segmentos verticales tienden a cero cuando R → +∞. Por ejemplo,
Z 
 R+βi/2   −z2 

 f (z)dz  ≤

máx e  · Long([R, R + βi/2]) = e−(R2 −β 2 /4) · β/2.
 R  z∈[R,R+βi/2]
Finalmente, la integral sobre el segmento horizontal superior se calcula usando que
2 2 2 2 2
f (x + βi/2) = e−(x+βi/2) = e−(x +βxi−β /4) = eβ /4 e−x cos(βx) + i sin(βx) ,


∀x ∈ R.
Aplicando el teorema de los residuos en el rectángulo y pasando al lı́mite R → +∞, se obtiene que
Z +∞ Z +∞
√ 2 2 2 2 √
π − eβ /4 e−x cos(βx) + i sin(βx) dx = 0 =⇒ e−x cos(βx)dx = e−β /4 π.


−∞ −∞