Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cap6 PDF
Cap6 PDF
En el capı́tulo anterior vimos que si una función, f (z), tiene una singularidad
aislada en z = a, entonces puede expresarse mediante la serie de Laurent
∞
X
f (z) = cn (z − a)n , 0 < |z − a| < R.
n=−∞
Queda muy claro de la definición el papel relevante que este número desempeña
en la teorı́a de la integración. Además, proporciona un método alternativo para
realizar las integrales, ya que hay varias formas de obtener el coeficiente c−1 de la
serie de Laurent de f (z), aparte de la definición.
92 6 Integración por residuos
e−z
I
Ejemplo 6.1. Calcula la integral dz, donde la circunferencia está orientada positiva-
(z − 1)2
|z|=2
mente.
Si escribimos ∞
−z −1 −(z−1) −1
X (−1)n
e =e e =e (z − 1)n ,
n=0
n!
es evidente que
∞
e−z X (−1)n e−1
2
= (z − 1)n ,
(z − 1) n=−2
(n + 2)!
con lo que
e−z
µ ¶
Res , 1 = c−1 = −e−1 .
(z − 1)2
En consecuencia,
e−z 2πi
I
2
dz = − .
(z − 1) e
|z|=2
de donde R0 = 2.
Para hallar R1 hacemos un desarrollo de Laurent en 0 < |z − 1| < 1:
µ ¶µ ¶ µ ¶X ∞
5z − 2 5(z − 1) + 3 1 3
= = 5+ (−1)n (z − 1)n
z(z − 1) z−1 1 + (z − 1) z − 1 n=0
∞
X ∞
X
n n
= 5(−1) (z − 1) + 3(−1)n (z − 1)n−1
n=0 n=0
∞
X X∞
= 5(−1)n (z − 1)n + 3(−1)n+1 (z − 1)n
n=0 n=−1
∞ ∞
3 n
X
n 3 X
= + (−1) (5 − 3)z = +2 (−1)n z n ,
z − 1 n=0 z−1 n=0
µ ¶
1 1
I
(2) Calcula f dz, siendo f (z) el integrando del ejemplo anterior.
|z|=1/2 z2 z
Como µ ¶
1 1 5 − 2z
2
f = ,
z z z(1 − z)
dentro de la curva sólo está el polo z = 0. Para 0 < |z| < 1 tenemos el desarrollo de Laurent,
µ ¶µ ¶ µ ¶X ∞ ∞ ∞
5 − 2z 5 − 2z 1 5 X X
= = −2 zn = 5z n−1 − 2z n
z(1 − z) z 1−z z n=0 n=0 n=0
∞ ∞ ∞
X
n 5X X
n
= 5z − 2z = + 3 zn,
n=−1 n=0
z n=0
94 6 Integración por residuos
luego µ µ ¶ ¶
1 1
Res f , 0 = 5;
z2 z
por tanto, µ ¶
1 1
I
f dz = 10πi.
|z|=1/2 z2 z
La razón de que el resultado de esta integral coincida con el del ejemplo anterior se verá más
adelante.
Como puede intuirse por el procedimiento que hemos seguido para obtener esta
fórmula, no hay ninguna fórmula similar válida para singularidades esenciales.
6.2 Residuos en los polos 95
Ejemplos 6.3.
(1) Consideremos la función
z+1
f (z) = .
z2 + 9
Esta función tiene polos simples en z = ±3i, ya que z 2 + 9 = (z − 3i)(z + 3i). Entonces,
g(z) z+1
f (z) = , g(z) = ,
z − 3i z + 3i
y además,
3i + 1 3−i
g(3i) = = 6= 0,
6i 6
por lo tanto,
¡ ¢ 3−i
Res f (z), 3i = g(3i) = .
6
Para el polo z = −3i se procede igual y se obtiene
¡ ¢ 3+i z+1
Res f (z), −3i = h(3i) = , h(z) = .
6 z − 3i
y entonces queda claro que el polo es de orden 3. Para calcular el residuo podemos aplicar
la fórmula,
¡ ¢ φ′′ (0) 1/3 1
Res f (z), 0 = = = ,
2! 2 6
o bien escribir la serie de Laurent (al menos hasta el término z −1 ),
z2
µ ¶
1 1 11
f (z) = 3 1 + + ··· = 3 + + ··· ,
z 6 z 6z
de donde
¡ ¢ 1
Res f (z), 0 = c−1 = .
6
(4) Otro ejemplo en que el orden del polo no es evidente es
1
f (z) = .
z(ez − 1)
z2 z3
ez = 1 + z + + + ··· ,
2 6
de donde
z2 z z2
µ ¶
z
e −1=z+ + ··· = z 1 + + + ··· ,
2 2 6
y por tanto,
g(z) 1
f (z) = , g(z) = 2 ,
z2 1+ z
2
+ z6 + · · ·
que es correcta porque g(0) = 1 6= 0. Se trata, pues, de un polo de orden 2. En cuanto al
residuo, como
1 z
′ + + ··· 1
g (z) = − ¡ 2 3
¢2 =⇒ g ′ (0) = − ,
1+ z
+ z2
+ ··· 2
2 6
empleando la fórmula
1
Res f (z), 0 = g ′ (0) = − .
¡ ¢
2
(5) Consideremos ahora la función
cos z
cotan z = .
sen z
Esta función tiene polos en z = nπ, para todo n ∈ N. La función tiene la forma
g(z)
f (z) = ,
h(z)
6.3 Residuos en el infinito 97
¡ ¢ g(zn )
Res f (z), zn = ′ .
h (zn )
(6) La función
z
f (z) =
z4 +4
√
tiene polos simples en las cuatro raı́ces de z 4 +4, que son z1 = 2eiπ/4 = 1+i, z2 = −1+i,
z3 = −1 − i y z4 = 1 − i. Llamando g(z) = z y h(z) = z 4 + 1, con lo que h′ (z) = 4z 3 ,
resulta que g(zk ) = zk y h′ (zk ) = 4zk3 6= 0. Entonces, según el ejemplo anterior
g(zk ) 1 i
= 2 = (−1)k ,
¡ ¢
Res f (z), zk = ′ k = 1, 2, 3, 4.
h (zk ) 4zk 8
Lema 6.1. Sea f (z) una función analı́tica en el dominio Ω, que contiene la cir-
cunferencia CR , dada por z(θ) = Reiθ , 0 ≤ θ ≤ 2π, y su exterior. Entonces,
I
f (z) dz = −2πi Res(f, ∞).
CR
98 6 Integración por residuos
2π Z 2π µ ¶
1 i
I Z
f Reiθ iReiθ dθ =
¢ ¡
f (z) dz = f −iθ
dθ
CR 0 0 re re−iθ
Z 2π µ ¶ Z 2π µ ¶
1 i 1 i
= f dθ = f dθ
0 rei(2π−θ) rei(2π−θ) 0 reiθ reiθ
Z 2π µ
ireiθ
¶ µ ¶
1 1 dz
I
= f 2 dθ = f
0 re iθ
(reiθ ) Cr z z2
µ µ ¶ ¶
1 1 ¡
= 2πi Res 2 f , 0 = −2πi Res f (z), ∞).
z z
Aunque resulte extraña la inclusión del signo menos en la definición del residuo
en el infinito, vamos a ver en seguida por qué se hace ası́.
(z − 1)3
I
dz.
z(z + 2)3
|z|=3
Como todos los polos del integrando están en el interior del contorno, es preferible usar el
polo del infinito. Calculemos, pues,
¢3
1 z1 − 1
¡
(1 − z)3
= .
z2 1 1 + 2 3 z(1 + 2z)3
¡ ¢
z z
Como esta función tiene un polo simple en z = 0, su residuo se calcula fácilmente como 1,
de modo que
(z − 1)3
I
dz = 2πi.
z(z + 2)3
|z|=3
(2) Vamos a demostrar, usando el residuo en el infinito, que para todo polinomio de grado
n ≥ 2, P (z) = a0 + a1 z + · · · + an z n (an 6= 0), con raı́ces z1 , . . . , zn ,
n µ ¶
X 1
Res , zk = 0.
k=1
P (z)
Para ello construimos un contorno γ cerrado simple orientado positivamente y tal que todos
los ceros de P (z) caigan en su interior. Entonces, usando la versión normal del teorema de
los residuos,
n µ ¶
1 1 dz
X I
Res , zk = ,
k=1
P (z) 2πi γ P (z)
pero por la versión con el polo del infinito,
µ ¶ µ ¶
1 dz 1 1
I
= − Res , ∞ = Res ,0 .
2πi γ P (z) P (z) z 2 P (1/z)
100 6 Integración por residuos
Ahora bien,
1
P (1/z) = (a0 z n + a1 z n−1 + · · · + an−1 z + an ),
zn
luego
1 z n−2
= .
z 2 P (1/z) a0 z n + a1 z n−1 + · · · + an−1 z + an
Como an 6= 0, si n − 2 ≥ 0 es evidente que
µ ¶
1
Res , 0 = 0.
z 2 P (1/z)
donde F (x, y) es cualquier función real de dos variables tal que el integrando sea
una función continua de θ en [0, 2π]. La forma de la integral sugiere la parame-
trización de la curva z(θ) = eiθ , con 0 ≤ θ ≤ 2π, es decir, la circunferencia
unidad con orientación positiva C. Como z ′ (θ) = iz(θ), sen θ = (z − z −1 )/2i y
cos θ = (z + z −1 )/2,
z − z −1 z + z −1 dz
I µ ¶
I= F , .
C 2i 2 iz
La condición de que F (sen θ, cos θ) sea continua en [0, 2π] implica que el inte-
grando de esta integral de contorno no tiene singularidades sobre C, de modo que,
en principio, esta integral se puede hacer por residuos.
Ejemplos 6.5.
6.4 Cálculo de integrales reales mediante residuos 101
1 dz 2/a
I I
I= ¡ z2 −1 ¢ = 2 + 2i z − 1
dz.
C 1+a 2iz
iz C z a
2/a
f (z) = .
(z − z+ )(z − z− )
Ahora bien,
√
1 ³ √ ´ 1 − |a| + 1 − a2
|z+ | − 1 = 1 + 1 − a2 − 1 =
|a| |a|
p
1 − |a| ³p p ´
= 1 − |a| + 1 + |a| > 0,
|a|
luego |z+ | > 1 y, por tanto, z+ está en el exterior de C. Por otro lado, z+ z− = −1, ası́ que
|z− | < 1, lo que significa que z− está en el interior de C. En consecuencia,
¡ ¢ 2/a 2π
I = 2πi Res f (z), z− = 2πi =√ .
(z− − z+ ) 1 − a2
Para calcular la segunda integral notemos que la extensión holomorfa del integrando al plano com-
plejo es la función
2z 2 − 1 2z 2 − 1
f (z) = 4 = .
z + 5z 2 + 4 (z 2 + 1)(z 2 + 4)
Esta función tiene polos simples en z = ±i y en z = ±2i y es holomorfa en el resto de C.
Vamos a integrar la función sobre la curva γR de la figura, formada por la semicircunferencia
CR centrada en el origen y situada en el semiplano superior, y el segmento [−R, R].
CR
−R R
Ahora,
2z 2 − 1
¯
¯ =−1,
¡ ¢ ¯
Res f (z), i = 2
(z + i)(z + 4) ¯z=i 2i
2
¯
¡ ¢ 2z − 1 ¯ 3
Res f (z), i = 2 ¯ = ,
(z + 1)(z + 2i) z=2i 4i
¯
luego
R µ ¶
1 3 π
Z Z
f (x) dx + f (z) dz = 2πi − + = .
−R CR 2i 4i 2
Entonces,
∞
π
Z Z
f (x) dx = − lı́m f (z) dz.
−∞ 2 R→∞ CR
Vamos a probar que el lı́mite de la derecha vale 0. Para ello vamos a acotar la integral. En primer
lugar, sobre CR ,
luego
2R2 + 1
|f (z)| ≤ .
(R2 − 1)(R2 − 4)
Por otro lado, L(CR ) = πR, por lo tanto,
(2R2 + 1)πR
¯Z ¯
¯ ¯
¯ f (z) dz ¯≤ −−−−→ 0.
¯
CR
¯ (R2 − 1)(R2 − 4) R→∞
(b) Se demuestra igual cerrando el semicı́rculo por abajo. Como eso cambia la
orientación del segmento [−R, R], aparece un signo menos en la fórmula.
con lo que
π π/2
¯Z ¯ Z Z
iaz −aR sen θ
e−aR sen θ dθ.
¯ ¯
¯
¯ e dz ¯¯ ≤ R e dθ = 2R
CR 0 0
Usando ahora la desigualdad sen θ ≥ 2θ/π, válida cuando 0 ≤ θ ≤ π/2 debido a la concavidad de
la función sen θ,
Z π/2 Z π/2
−aR sen θ π ¡ π
e−2aRθ/π dθ = 1 − e−aR <
¢
e dθ ≤ .
0 0 2aR 2aR
Sustituyendo en la ecuación anterior encontramos finalmente la desigualdad de Jordan. Con ella
podemos acotar ¯Z ¯
¯ i3z
¯ π
¯ f (z)e dz ¯¯ ≤ −−−−→ 0,
¯
CR 3(R − 1)2 R→∞
2
por lo tanto,
∞
2π
Z
V. P. f (z)ei3z dz = .
−∞ e3
Podemos generalizar el ejemplo a un teorema que describa un caso muy gene-
ral:
Teorema 6.4. Sea f (z) analı́tica en un dominio que contiene el semiplano H
y el eje real, salvo un número finito de singularidades zk ∈ H, k = 1, . . . , n.
Supongamos que para |z| suficientemente grande, existe C ∈ R tal que
C
|f (z)| ≤ , µ > 0.
|z|µ
Entonces,
106 6 Integración por residuos
(b) Se demuestra igual cerrando el semicı́rculo por abajo (en la cota de la integral
cambia a por |a|). Como eso cambia la orientación del segmento [−R, R],
aparece un signo menos en la fórmula.
tomando el valor principal de log z, y γR el circuito de la figura (la lı́nea discontinua marca el corte
del logaritmo).
6.4 Cálculo de integrales reales mediante residuos 107
γR
α
ε
γR = CR + σα + Cǫ + [ǫ, R],
donde CR es el arco de radio R, Cǫ es el arco de radio ǫ y σα el segmento rectilı́neo que une el punto
Rei(π−α) con ǫei(π−α) . Entonces,
Z R
log z log z log z log z π³ π´
Z Z Z
2
dz + 2
dz + 2
dz + dz = ln 2 + i .
CR z + 4 σα z + 4 Cǫ z + 4 ǫ z2 + 4 2 2
Probaremos a continuación que las integrales sobre los dos arcos se anulan en los lı́mites R →
∞ y ǫ → 0. Para ello, acotemos el integrando sobre CR :
¯ ¯ ¯ ¯
¯ log z ¯ ¯ ln R + iθ ¯ ln R + π
¯ z 2 + 4 ¯ = ¯ R2 ei2θ + 4 ¯ ≤ R2 − 4 ,
¯ ¯ ¯ ¯
con lo cual ¯Z ¯
¯ log z ¯ ≤ (π − α)R ln R + π −−−−→ 0
¯
¯
2
dz
¯
CR z +4 ¯ R2 − 4 R→∞
para cualquier valor de α ∈ [0, π]. Ahora hacemos lo propio con el integrando sobre el arco Cǫ :
¯ ¯ ¯ ¯
¯ log z ¯ ¯ ln ǫ + iθ ¯ | ln ǫ| + π
¯ z 2 + 4 ¯ = ¯ ǫ2 ei2θ + 4 ¯ ≤ 4 − ǫ2 ,
¯ ¯ ¯ ¯
con lo cual ¯Z ¯
¯ log z ¯ | ln ǫ| + π
¯
2
dz ¯¯ ≤ (π − α)ǫ −−−−→ 0.
¯
Cǫ z + 4 4 − ǫ2 ǫ→0
tomando el lı́mite α → 0,
R R R
log z ln t + iπ ln t 1
Z Z Z Z
lı́m dz = dt = dt + iπ dt.
α→0 σα z2 + 4 ǫ t2 + 4 ǫ
2
t +4 ǫ t2 +4
de donde
∞ ∞
ln x π 1 π
Z Z
2
dx = ln 2, dt = .
0 x +4 4 0 t2 +4 4
Podemos generalizar el ejemplo a un teorema que describa un caso muy gene-
ral:
C′
|f (z)| ≤ , ν < 1.
|z|ν
Entonces,
γR
α
ε
−α
Si R > 1,
z −a
I
dz = 2πi Res z −a , −1 = 2πie−a log(−1) = 2πie−iπa ;
¡ ¢
γR z+1
entonces,
z −a z −a z −a z −a
Z Z Z Z
dz + dz + dz + dz = 2πie−iπa .
CR z+1 σ−α z+1 Cǫ z+1 σα z+1
Probaremos ahora que las integrales sobre los arcos se anulan. Sobre CR ,
¯ −a ¯ ¯ −a log z ¯ ¯ −a(ln R−iaθ ¯
¯ z ¯ ¯e
¯=¯
¯ ¯e
¯=¯ ) ¯¯ e−a ln R R−a
¯
¯ z + 1 ¯ ¯ z + 1 ¯ ¯ Reiθ + 1 ¯ ≤ = ,
R−1 R−1
por lo tanto, para todo α,
−a −a 1−a
¯Z ¯
¯ z ¯ ≤ R 2(π − α)R = 2(π − α)R
¯
¯ dz −−−−→ 0.
CR z + 1
¯ ¯ R−1 R−1 R→∞
1
Si partimos de la identidad de la función beta de Euler
xq−1
Z ∞
B(p, q) = dx, p, q > 0,
0 (1 + x)p+q
es evidente que la integral del ejemplo es B(a, 1 − a) = Γ(a)Γ(1 − a).
6.4 Cálculo de integrales reales mediante residuos 111
Dem.: La demostración pasa por construir un circuito como el del ejemplo y ra-
zonar de manera análoga. Las condiciones sobre |f (z)| aseguran que se anulan las
integrales sobre los arcos de circunferencia. Las consideraciones sobre el lı́mite
α → 0 que se hicieron en el teorema 6.5 se aplican también a este caso.
a x0 b
Evidentemente,
µZ x0 −ǫ Z b ¶ Z b
lı́m f (x) dx + f (x) dx = V. P. f (x) dx,
ǫ→0 a x0 +ǫ a
de modo que sólo nos queda calcular
Z
lı́m f (z) dz.
ǫ→0 γǫ
Lema 6.2. Sea f (z) una función holomorfa en un entorno del punto z0 salvo
en z0 , donde tiene un polo simple. Sea γǫ la porción de arco de circunferencia
z(θ) = z0 + ǫeiθ , con α ≤ θ ≤ β. Entonces
Z
¡ ¢
lı́m f (z) dz = (β − α)i Res f (z), z0 .
ǫ→0 γǫ
Dem.: Una función como la del enunciado es de la forma
b1
f (z) = + g(z),
z − z0
donde g(z) es holomorfa en el entorno de z0 . Por ser g holomorfa, está acotada en
un entorno de z0 , |g(z)| ≤ M , luego
¯Z ¯
¯ ¯
¯ g(z) dz ¯ ≤ M (β − α)ǫ −−−−→ 0.
ǫ→0
¯ ¯
γǫ
En consecuencia,
β
dz ǫeiθ
Z Z Z
f (z) dz = b1 = b1 i dθ = b1 i(β − α).
γǫ γǫ z − z0 α ǫeiθ
El resultado queda ası́ probado porque b1 es el residuo de f (z) en z0 .
Volviendo a nuestro problema, con este resultado tenemos que
Z Z b
¡ ¢
lı́m f (z) dz = V. P. f (x) dx − iπ Res f (z), x0 ,
ǫ→0 γ a
Como f (z) = 1/z verifica las condiciones del teorema 6.4 y esta función no tiene más que un polo
en z = 0, Z ∞ ix
e
dx = iπ Res eiz , 0 = iπ,
¡ ¢
V. P.
−∞ x
luego
∞
sen x
Z
dx = π.
−∞ x
En apariencia, esta elección parece resultar en un único corte sobre todo el eje real; sin
embargo, la función
arg(z − 1) + arg(z + 1)
no tiene ningún salto en el intervalo (−1, 1) del eje real (la función arg(z − 1) tiene un salto
de 2π al cruzar de abajo arriba, mientras que la función arg(z + 1) tiene un salto de −2π en
el mismo cruce).
6.4 Cálculo de integrales reales mediante residuos 115
donde CR está formado por los dos arcos de circunferencia de radio R centrada en 0; Cǫ±
±
son los arcos de circunferencia de radio ǫ centradas en ±1, y σ±α los segmentos rectilı́neos
centrados en ±1 que forman un ángulo ±α con el eje real.
α ε ε α
−α −1 1 −α
Probaremos, en primer lugar, que las integrales sobre los arcos semicirculares se anulan.
Sobre CR , si R > 1 el integrando se puede acotar como
¯ ¯
¯ √1 1 1
¯ ¯
¯ z z 2 − 1 ¯ = |z|p|z 2 − 1| ≤ R√R2 − 1 ,
¯
con lo que ¯Z ¯
¯ dz ¯ (2π − 4α)R 2π − 4α
¯ √ ¯≤ √ = √ −−−−→ 0.
¯
CR z z2 − 1 ¯ R R2 − 1 R2 − 1 R→∞
Por su parte, si ǫ < 1, sobre Cǫ+ , tenemos |z| = |1 + z − 1| ≥ 1 − ǫ y |z 2 − 1| = |z −
1||z + 1| = ǫ|2 + z − 1| ≥ ǫ(2 − ǫ); y sobre Cǫ− , tenemos |z| = |1 − z − 1| ≥ 1 − ǫ y
|z 2 − 1| = |z − 1||z + 1| = |2 − z − 1|ǫ ≥ ǫ(2 − ǫ). Entonces, sobre Cǫ± ,
¯ ¯
¯
¯ √ 1 ¯ 1
¯ z z 2 − 1 ¯ (1 − ǫ)ǫ1/2 (2 − ǫ)1/2 ,
¯≤
con lo cual,
2(π − α)ǫ1/2
¯Z ¯
¯ dz ¯ 2(π − α)ǫ
¯ √ ¯≤
¯ ± z z 2 − 1 ¯ (1 − ǫ)ǫ1/2 (2 − ǫ)1/2 = −−−−→ 0.
Cǫ (1 − ǫ)(2 − ǫ)1/2 ǫ→0
116 6 Integración por residuos
±
Ahora calcularemos las integrales sobre σ±α , en el lı́mite α → 0. En ese lı́mite tenemos
¯
arg(z − 1) + arg(z + 1)¯ + −−−−→ 0 + 0 = 0;
¯
α→0
¯ σα
arg(z − 1) + arg(z + 1)¯ + −−−−→ 0 + 2π = 2π;
¯
σ α→0
¯ −α
arg(z − 1) + arg(z + 1)¯ − −−−−→ π + π = 2π;
¯
α→0
¯ σα
arg(z − 1) + arg(z + 1)¯ − −−−−→ −π + π = 0;
¯
σ−α α→0
por lo tanto, (
−
1 sobre σα+ y σ−α ,
ei[arg(z−1)+arg(z+1)]/2 −−−−→ +
α→0 −1 sobre σα− y σ−α .
Entonces, teniendo en cuenta la orientación de los segmentos,
R
dz dt
Z Z
lı́m √ = √ ,
α→0 ±
σ±α z z2 − 1 1+ǫ t t2 − 1
Finalmente,
µ ¶
dz 1 1 2πi
I
√ = 2πi Res √ , 0 = 2πi √ = = 2π,
γ z z2 − 1 2
z z −1 −1 i
con lo cual ∞
dt π
Z
√ = .
1
2
t t −1 2
γ
ε δ ε
0 δ 1
Vamos a probar que sobre los arcos la integral de f (z) se anula en el lı́mite ǫ → 0. Para ello
acotamos el integrando. Sobre Cǫ0 ,
¯√ √ ¯ p p √√
¯ = |z| |1 − z| ≤ ǫ 1 + ǫ ,
¯ z 1 − z¯
¯
¯ 1 + z2 ¯ |1 + z 2 | 1 − ǫ2
y sobre Cǫ1 , √
¯√ √ ¯ p p √
¯ z 1 − z¯ |z| |1 − z| 1 + ǫ ǫ
¯ 1 + z2 ¯ = ≤ .
¯ ¯
|1 + z 2 | 1 − ǫ(2 + ǫ)
Entonces,
¯Z √ √ ¯ √√
¯ z 1 − z ¯ ≤ ǫ 1 + ǫ (2π − α)ǫ −−−−→ 0,
¯
¯
¯ 0 1 + z2 dz
C
¯ 1 − ǫ2 ǫ→0
¯Z ǫ √ √ ¯ √ √
¯ z 1 − z ¯¯ 1+ǫ ǫ
¯ 0 1 + z 2 dz ¯ ≤ 1 − ǫ(2 + ǫ) (2π − α)ǫ −−ǫ→0
−−→ 0,
¯
Cǫ
de modo que (
1 sobre σδ+ ,
ei[arg z+arg(1−z)]/2 −−−−→
ǫ→0 −1 sobre σδ− .
En consecuencia,
(Z ) p
1
x(1 − x)
Z Z
lı́m f (z) dz + f (z) dz = −2 dx.
ǫ→0 σδ+ σδ− 0 x2 + 1
Por otro lado, no podemos hacer la integral sobre γ empleando residuos en el interior del
contorno porque las singularidades que encontramos no son aisladas, ası́ que recurriremos al
exterior. En el exterior encontramos los polos simples ±i y el polo en el infinito, ası́ que
I
£ ¡ ¢ ¡ ¢ ¡ ¢¤
f (z) dz = −2πi Res f (z), i + Res f (z), −i + Res f (z), ∞ .
γ
En consecuencia,
¡ ¢
Res f (z), ∞ = i.
1
p µ 1/4
21/4 −iπ/8
¶
x(1 − x) 2
Z
iπ/8
−2 dx = −2πi e + e +i ,
0 x2 + 1 2i 2i
luego
1
p
x(1 − x)
Z
¡ 1/4 ¢
dx = π 2 cos(π/8) − 1 .
0 x2 + 1
Como
s √
2 1 1/4 1+ 2
2 cos (π/8) = 1 + cos(π/4) = 1 + √ ⇒ 2 cos(π/8) = ,
2 2
Hay un segundo método, más sencillo, para hacer la integral. Si en última instancia hay que
utilizar el residuo del infinito, puede ser mejor realizar el cambio de variable t = 1/x en la
integral de partida:
Z 1p Z ∞ √
x(1 − x) t−1
2
dx = dt.
0 x +1 1 t(1 + t2 )
Un segundo cambio, u = t − 1, lleva la integral a
∞
√ ∞
t−1 u1/2
Z Z
dt = du,
1 t(1 + t2 ) 0 (u + 1)(2 + 2u + u2 )
1 1
f (z) = = .
(z + 1)(2 + 2z + z 2 ) (z + 1)(z + 1 − i)(z + 1 + i)
∞
u1/2 πe−i3π/2 £
Z
¡ 1/2 ¢
du = − Res z f (z), −1
0 (u + 1)(2 + 2u + u2 ) sen 3π
¡ 1/22
+ Res z f (z), −1 + i + Res z 1/2 f (z), −1 − i
¢ ¡ ¢¤
120 6 Integración por residuos
Ahora bien
πe−i3π/2
− = πi,
sen 3π
2
i
Res z 1/2 f (z), −1 =
¡ ¢
= i,
i(−i)
¢ (−1 + i)1/2 21/4 i3π/8
Res z 1/2 f (z), −1 + i =
¡
=− e ,
i2i 2
¢ (−1 − i)1/2 21/4 i5π/8 21/4 −i3π/8
Res z 1/2 f (z), −1 − i =
¡
=− e = e ,
(−i)(−2i) 2 2
con lo que
∞
u1/2
Z
¡ 1/4 ¢
du = π 2 sen(3π/8) − 1 ,
0 (u + 1)(2 + 2u + u2 )
que coincide con el resultado anterior porque sen(3π/8) = cos(π/8).
con los residuos de G(z)f (z) en los polos de f (z) (de los que sólo hay un número
finito).
Para aplicar esta técnica lo primero que necesitamos es una función G(z). Hay
varias elecciones posibles; la más común es
cuyos polos son los ceros de sen πz y son, por tanto,¯ todos los enteros. Son,
además, polos simples porque cos πn 6= 0 y (sen πz)′ ¯z=n 6= 0. No es la única
elección posible; también se puede elegir G(z) = 2πi/(e2πiz − 1). Y con una
pequeña adaptación vale también π/ sen πz, cuyo residuo en z = n es (−1)n , y
resulta adecuada para series alternantes.
Lo siguiente es encontrar un contorno£ γ adecuado.
1
Para
¤ la cotangente vamos
1 2
a emplear ∂Q siendo Q el cuadrado −N − 2 , N + 2 , donde N ∈ N es tal
que todos los polos de f (z) caen dentro de ∂Q. Sobre los lados verticales de ese
cuadrado,
¡ ¢
cos ± π(N + 1/2) + iπy
cotan πz = ¡ ¢
sen ± π(N + 1/2) + iπy
¡ ¢ ¡ ¢
cos ± π(N + 1/2) cosh πy − i sen ± π(N + 1/2) senh πy
= ¡ ¢ ¡ ¢
sen ± π(N + 1/2) cosh πy + i cos ± π(N + 1/2) senh πy
1
= −i tanh πy, |y| ≤ N + ,
2
¡ ¢
teniendo en cuenta que cos ± π(N + 1/2) + iπy = 0. Por lo tanto,
| cotan πz| = | tanh πy| ≤ 1.
Sobre los lados horizontales, denotando yN = N + 1/2,
cos(πx ± iπyN ) cos πx cosh(±πyN ) − i sen πx senh(±πyN )
cotan πz = = .
sen(πx ± iπyN ) sen πx cosh(±πyN ) + i cos πx senh(±πyN )
Ahora bien,
| cos πx cosh(±πyN )−i sen πx senh(±πyN )|2
= cos2 πx cosh2 πyN + sen2 πx senh2 πyN ,
y como senh2 u < cosh2 u,
| cos πx cosh(±πyN )−i sen πx senh(±πyN )|2
< cosh2 πyN (cos2 πx + sen2 πx)
= cosh2 πyN ;
por otro lado,
| sen πx cosh(±πyN )+i cos πx senh(±πyN )|2
= sen2 πx cosh2 πyN + cos2 πx senh2 πyN
> senh2 πyN (sen2 πx + cos2 πx)
= senh2 πyN ,
122 6 Integración por residuos
luego
Supongamos ahora que la función f (z) está acotada, para valores de z tales que
|z| es suficientemente grande, como
C
|f (z)| ≤ , µ > 1;
|z|µ
entonces, como la longitud del contorno es 4(2N + 1),
¯I ¯
¯ ¯ Cπ cotanh(π/2)
¯ π cotan πz f (z) dz ¯≤ ¢µ 4(2N + 1) −−−−→ 0.
N + 12
¡
N →∞
¯ ¯
∂Q
llegamos a la fórmula
∞
X X ¡ ¢
f (n) = − Res π cotan πzf (z), zk .
n=−∞ zk polo de f (z)
Hay una variante de la fórmula cuando hay polos de f (z) en los enteros. La
variante consiste simplemente en eliminar de la suma los enteros que son polos de
f (z), para no contarlos dos veces.
Ejemplo 6.12. Vamos a calcular la suma de la serie
∞
X 1
2
.
n=1
n
Evidentemente, la función f (z) = 1/z 2 , que tiene un polo de orden dos en z = 0. Excluyendo
de la suma el cero,
∞ ∞ µ ¶
X 1 X 1 π cotan πz
=2 = − Res ,0 .
n=−∞,n6=0
n2 n=1
n2 z2
6.5 Suma de series mediante residuos 123
w2 w4
cos w 1− + + ··· 1 w w3
cotan w = = 2 24 = − − + ··· ,
sen w w3 w5 w 3 45
w− + + ···
6 120
entonces
π cotan πz 1 π2 1 π4
= 3− − z + ···
z2 z 3 z 45
y, por tanto,
π2
µ ¶
π cotan πz
Res , 0 = − ,
z2 3
de donde, finalmente,
∞
X 1 π2
= .
n=1
n2 6