Tema 7.2: Teorema de los residuos.

Aplicaciones
del clculo con residuos
Facultad de Ciencias Experimentales, Curso 2008-09
Enrique de Amo, Universidad de Almera
La teora de residuos proporciona una tcnica de evaluacin (rpida y) efec-
tiva de integrales de la forma
_
~
) :
_
camino cerrado o ciclo
) H() : = . : . singularidad aislada de )
[+]
El punto esencial de esta teora lo encontramos en el hecho de que Laurent
nos permite expresiones de la forma
c
n
=
1
i2
_
~
)(n)
(n a)
n+1
dn, \: Z
para (), ) en las condiciones [+] (con la curva alrededor de la singularidad
a): resulta que, si integramos en el desarrollo de Laurent de ) en un entorno
punteado de la singularidad a, tendremos que
_
~
) =
_
~
_
+1

n=1
c
n
(. a)
n
_
d. =
+1

n=1
c
n
_
~
(. a)
n
d. = c
1
i2.
Es decir, todos los trminos desaparecen, menos uno, el "residuo" que queda,
c
1
. Surge as la importante frmula
c
1
=
1
i2
_
~
)
que nos habilita para la obtencin de integrales complejas sobre curvas.
Denicin. Dado un abierto del plano complejo, para a y ) H(a),
llamamos residuo de la funcin ) en el punto a al trmino c
1
del desar-
rollo en serie de Laurent de ) en un entorno (perforado) de a. Se notar
Res (), a) := c
1
.
A los puntos a donde ) no es holomorfa se les llama singularidades de
). Diremos que ) es holomorfa en salvo singularidades si ) H() donde
1
= . : . singularidad aislada de ). (Recordemos que los puntos de no
holomorfa, es decir, de singularidad, se clasican en polos, si lim
:!o
)(.) =
, y en esenciales, si @lim
:!o
)(.).)
Ser de sumo inters que las singularidades sean aisladas, que no se acumulen
en (por qu?). Y nos acostumbraremos a escribir por ) H
s
() al conjunto
de todas las funciones holomorfas en salvo singularidades:
H
s
() := 'H() : ,
0
= ? .
Por ejemplo, las funciones racionales son holomorfas en C salvo singularidades.
Tambin lo son las llamadas funciones meromorfas, que son los cocientes de
funciones enteras (corolario al teorema de factorizacin de Weierstrass en el
tema 4.7).
Propiedades primeras de los residuos.
a. La representacin integral de los coecientes de la serie de Laurent para
) H(1(a, r)a) nos dice que
Res (), a) =
1
i2
_
c(o,)
), \j ]0, r[ . [++]
b. Ms general: si es un camino cerrado o un ciclo en := 1(a, r)a, con
Ind
~
(a) = 1 e Ind
~
(.) = 0, \. , 1(a, r),
entonces an vale [++] .
c. Aplicacin del teorema de existencia de primitivas a la teora de
residuos: Sea / Z. Entonces, son equivalentes:
i. Res(), a) = /.
ii. La funcin . )(.)
|
:o
admite primitiva en un entorno perforado
de a.
i. = ii. La funcin . )(.)
|
:o
admite un desarrollo en serie de Laurent
en un entorno perforado de a; pongamos
)(.)
/
. a
=
+1

n=1
a
n
(. a)
n
,
el cual admite como primitiva a la funcin dada por la serie
1(.) :=
+1

16=n=1
a
n
: + 1
(. a)
n+1
.
2
ii. = i. Por admitir primitiva en, pongamos, 1(a, r)a, para cada j
]0, r[, su integral sobre cada camino cerrado en 1(a, r)a -en particular, para
C(0, j)-, es nula. Pero tambin
_
c(o,)
_
)(.)
/
. a
_
d. = i2 (Res (), a) /) ,
de donde Res(), a) = /.
Y ya, el gran esperado:
Teorema de los Residuos Consideremos ) H
s
() una funcin holomorfa
salvo singularidades en un abierto del plano complejo C. Llamemos
= . : . singularidad aislada de ) . Entonces, para cada ciclo
nulhomlogo en se verican:
i. a : Ind

(a) ,= 0 es un conjunto nito.

ii.
_

) = i2

o2.
Res(), a)Ind

(a) . (Aqu:

?
:= 0.)
Demostracin. i. El conjunto
1 :=

' . C

: Ind

(.) ,= 0 ,
es un cerrado, pues su complementario
. C

: Ind

(.) = 0
es un abierto. (Por qu?).
Llamemos
' := max [n[ : n

.
As, si . 1, entonces [.[ _ ' o bien Ind

(.) ,= 0. En cualquier caso,

. C : [.[ ' C1,
y, por tanto, 1 1(0, '). En resumen, 1 es compacto de C.
Pero, por otro lado, como es -nulhomlogo, 1 .
Finalmente, si 1 fuese innito, por Bolzano-Weierstrass, sera
0
,= ?,
lo cual no puede suceder al tratarse de singularidades aisladas. Luego 1 es
nito y i. es cierto.
ii. La serie a sumar es nita, por lo probado en i.; podemos poner, por tanto,
a : Ind

(a) ,= 0 = a
1
, ..., a
n
.
Llamemos
:
|
:= Ind

(a
|
) Z0; 1 _ / _ :.
Para cada / existe j
|
0 tal que 1(a
|
, j
|
) = a
|
y 1(a
|
, j
|
) .
(Raznese.) Sean ahora, tambin, para cada /:

|
:= :
|
C (a
|
, j
|
) ;
3
y denamos el ciclo
:= +
n

|=1

|
.
Veamos que es -nulhomlogo, pues, en tal caso, la frmula general de
Cauchy nos va a decir que
0 =
_

) =
_

)
n

|=1
:
|
_
c(o
k
,
k
)
)
=
_

) i2

o2.
Res (), a) Ind

(a) .
Vamos, por tanto, a ver que es -nulhomlogo: claramente,

.
Y podemos razonar en estas dos situaciones:
1. Si . , , entonces Ind

(.) = 0 y, tambin, si . , 1(a

|
, j
|
), entonces
Ind
~
k
(.) = 0 para 1 _ / _ :. En cualquier caso,
. , = Ind

(.) = 0.
2. . = . = a = otras dos posibilidades:
2.1 Si . = a
|
para / 1, ..., : , entonces Ind

(.) = :
|
. Pero:
_
/ ,= / = a
|
, 1(a
|
, j
|
) = Ind
~
k
(a
|
) = 0
/ = / = Ind
~
h
(a
|
) = :
|
_
= Ind

(a) = 0.
2.2 Si . ,= a
|
para / 1, ..., : , entonces Ind

(.) = 0; y si . , 1(a
|
, j
|
),
entonces Ind
~
k
(.) = 0 para 1 _ / _ :. Por tanto, tambin en este caso, es
Ind

(a) = 0. Q.E.D.
En este resultado rivalizan inters y... engorro: hay que calcular tantas
series de Laurent para ) como singularidades aisladas tenga en para calcular
la correspondiente integral! (Acaso a ti te consuela el hecho de que est en
biyeccin con una parte nita de N!) Por tanto, se hacen imprescindibles algunos
procedimientos satisfactorios para el clculo de residuos de manera expeditiva.
Proposicin. Sean =

C, a y ) H(a). Supongamos que )
tiene un polo de orden / en a. Entonces
Res (), a) =
1
(/ 1)!
lim
:!o
d
|1
d.
|1
_
(. a)
|
)(.)
_
.
Demostracin. Consideremos 1(a, 1) . Sabemos que
)(.) =
+1

n=|
a
n
(. a)
n
, \. 1(a, 1)a.
4
Sea la funcin q : C, dada por
q(.) :=
_
(. a)
|
)(.), ... . a
a
|
, ... . = a
.
Observemos que q H(a) y q ( () (justifquese), luego el teorema de
singularidades de Riemann es quien nos dice que q H().
En consecuencia:
Res (), a) = a
1
=
q
|1)
(a)
(/ 1)!
=
1
(/ 1)!
lim
:!o
q
|1)
(.)
=
1
(/ 1)!
lim
:!o
d
|1
d.
|1
_
(. a)
|
)(.)
_
.
Ejemplo. Evala la integral compleja
_
~
d.
(.
2
+ 1)
2
donde es el camino cerrado formado por [1, 1] y la parte parte superior
de la circunferencia de centro 0 y radio 1 1, recorrido en el sentido
positivo (contrario a las agujas del reloj).
Resolucin. La funcin ) : .
1
(:
2
+1)
2
presenta dos polos de orden 2; pero
a los efectos que nos interesan, slo es relevante . = i. (Por qu?) Consiste
pues, segn el teorema de los residuos en calcular Res(), i), pues el teorema nos
dice que
_
~
d.
(.
2
+ 1)
2
= i2 Res (), i) .
Consiste, por tanto, en derivar la funcin
,(.) = (. i)
2
)(.),
evaluar su lmite en . = i, y multiplicarlo por
1
(21)!
= 1: se ser el residuo
buscado.
,(.) = (. i)
2
)(.) = (. + i)
2
= ,
0
(.) = 2 (. + i)
3
= ,
0
(i) =
i
4
= Res (), i) =
i
4
,
de donde
_
~
d.
(.
2
+ 1)
2
= ,2.
5
Atencin: An puede ocurrir que este mismo mtodo sea engorroso para
determinados casos. Por ejemplo: si buscamos el residuo en el origen de la
funcin .
}

1
:
2
sin(:)
, tendremos un polo triple. As, calcular
d
2
d.
2
_
.
3
)(.)

es muy complicado (puedes intentarlo y, as, lo conrmas). En este caso, puede

merecer la pena un recurso alternativo ad hoc:
1
.
2
sin(.)
=
1
.
2
_
.
.
3
6
+ O
_
.
5
_
_
1
=
1
.
3
_
1
.
2
6
+ O
_
.
4
_
_
1
=
1
.
3
_
1 +
.
2
6
+ O
_
.
4
_
_
= Res (), a) = 1,6.
Corolario. Sean =

C, a y ) H(a). Supongamos que
lim
:!o
(. a) )(.) C.
Entonces
Res (), a) = lim
:!o
(. a) )(.).
Demostracin. Si tal lmite, que existe, vale 0, tendremos que ) tiene
una regularidad en el punto a. (Y hemos concluido: Res(), a) = 0.) Si, por el
contrario, es no nulo, aplicamos la proposicin anterior, pues ) tiene, en este
caso, un polo simple en a. Q.E.D.
Ejemplo. Evaluacin de la integral
_
~
sin(.)
.
2
+ 1
d.
donde es cualquier camino cerrado alrededor de i y i.
Resolucin. Observamos que la funcin )(.) :=
sin(t:)
:
2
+1
tiene polos simples
en los puntos indicados. Por tanto, es susceptible de serle aplicado el corolario
anterior:
. = i = Res (), i) = lim
:!I
(. + i) )(.) = lim
:!I
sin(.)
. i
=
sinh()
2
(donde hemos usado la relacin del seno trigonomtrico con el hiperblico:
sin(i.) = i sinh(.)). De modo anlogo,
. = i = Res (), i) =
sinh()
2
.
6
En consecuencia:
_
~
sin(.)
.
2
+ 1
d. = i2 Res (), i) + Res (), i) = i2 sinh() .
Observacin: Esta tcnica todava puede resultar engorrosa, an para ca-
sos "sencillos" de polos simples como pone de maniesto el ejemplo de la funcin
.
1
.
4
+ 1
si la queremos integrar sobre el camino cerrado formado por [1, 1] y la parte
parte superior de la circunferencia de centro 0 y radio 1 1, recorrido en el
sentido positivo (contrario a las agujas del reloj). (Aqu .
1
= c
I

4
y .
2
= c
I
3
4
son los dos polos simples a considerar.)
Para ste y otros casos, es til la siguiente
Proposicin. Sean q y / funciones holomorfas en un disco 1(a, r). Si q(a) ,=
0, /(a) = 0 y /
0
(a) ,= 0, entonces ) :=

|
tiene un polo simple en a, y
Res (), a) =
q(a)
/
0
(a)
.
Demostracin. Por ser polo simple (conrma que, en efecto, lo es):
Res (), a) = lim
:!o
(. a) )(.)
= lim
:!o
. a
/(.) 0
q(.) =
q(a)
/
0
(a)
.
Ejemplo. Clculo de
_
~
1
.
4
+ 1
d.
cuando queremos integrar sobre el camino cerrado formado por [1, 1]
y la parte parte superior de la circunferencia de centro 0 y radio 1 1,
recorrido en el sentido positivo.
Resolucin. Observamos cmo los polos simples de la funcin ) a integrar,
y relevantes para la integracin, son .
1
= c
I

4
y .
2
= c
I
3
4
, que estn en la
componente conexa acotada de C

. Para cada uno de ellos:

Res (), .

) =
q(.

)
/
0
(.

)
=
1
4.
3

.
De este modo:
Res (), .
1
) =
1
4c
I3t/4
=
1
4
c
I3t/4
=
1
4
_
cos
3
4
sen
3
4

_
=
1 + i
4
_
2
,
7
y, anlogamente,
Res (), .
2
) =
1 i
4
_
2
;
de donde el teorema de los residuos concluye que:
_
~
1
.
4
+ 1
d. = i2 Res (), .
1
) + Res (), .
2
) = ,
_
2.
Otro ejemplo. Calcula
_
j:j=2
J:
(:
2
1):
2
Resolucin. Llamemos ) a la funcin a integrar. Resulta que
) H(C1, 0, 1) con 1, 0, 1
0
= ?.
Por tanto, podemos aplicar el teorema de los residuos:
_
j:j=2
d.
(.
2
1) .
2
= i2 Res (), 1) + Res (), 0) + Res (), 1) .
Para 1 y -1 razonamos como polos de orden 1 que son:
Res (), 1) = lim
:!1
(. + 1) )(.) = lim
:!1
1
(. 1) .
2
=
1
2
Res (), 1) = lim
:!1
(. 1) )(.) = lim
:!1
1
(. + 1) .
2
=
1
2
,
y como en el origen se trata de un polo de orden 2:
Res (), 0) = lim
:!0
d
d.
_
.
2
)(.)

= lim
:!0
d
d.
_
_
.
2
1
_
1
_
=
= lim
:!0
2.
(1 .
2
)
2
= 0.
En conclusin:
_
j:j=2
d.
(.
2
1) .
2
= 0.
Otro ms, an. Calcula
_
T
J:
sin(:)
Resolucin. Llamamos )(.) =
1
sin(:)
para . CZ. Como (Z)
0
= ?,
podemos aplicar el teorema de los residuos. Pero, adems, slo nos interesa el
residuo en el origen (por qu?). Por tanto,
Res
_
1
sin(.)
, 0
_
=
1
sin
0
(0)
=
1
cos (0)
= 1,
e
Ind
T
(/) =
_
1, / = 0
0, / ,= 0
8
En resumen:
_
T
d.
sin(.)
= i2 Res (csc, 0) Ind
T
(0) = i2.
La proposicin anterior admite el siguiente generalizacin a modo de coro-
lario:
Corolario. Sean q y / funciones holomorfas en un disco 1(a, r). Supongamos
que a es, respectivamente, un cero de orden / y de orden / + 1, para q y
/. Entonces,

|
tiene un polo simple en a, y
Res
_
q
/
, a
_
= (/ + 1)
q
|)
(a)
/
|+1)
(a)
.
Demostracin. El teorema de Taylor es la clave. Y otra demostracin
alternativa puede darse, tambin, va teorema de LHpital.
A modo de ejecicios al lector, dejamos enunciadas las tres siguientes proposi-
ciones (que no sern usadas en ningn momento).
Proposicin. Sean q y / funciones holomorfas en un disco 1(a, r). Si q(a) ,=
0, /(a) = 0, /
0
(a) = 0 y /
00
(a) ,= 0, entonces ) :=

|
tiene un polo de orden
dos en a, y
Res (), a) = 2
q
0
(a)
/
00
(a)

2
3
q(a)/
000
(a)
[/
00
(a)]
2
.
Proposicin. Sean q y / funciones holomorfas en un disco 1(a, r). Si q(a) =
0, q
0
(a) ,= 0, /(a) = 0, /
0
(a) = 0, /
00
(a) = 0 y /
000
(a) ,= 0, entonces ) :=

|
tiene un polo de orden dos en a, y
Res (), a) = 3
q
00
(a)
/
000
(a)

2
3
q
0
(a)/
4)
(a)
[/
000
(a)]
2
.
Proposicin. Sean q y / funciones holomorfas en un disco 1(a, r). Si q(a) ,=
0, /(a) = 0 = /
0
(a) = = /
|1)
(a) = 0 y /
|)
(a) ,= 0, entonces ) :=

|
tiene un polo de orden / en a, y el nmero Res(), a) vale:
_
/!
/
|)
(a)
_
|

|
k)
(o)
|!
0 0 0 q(a)
|
k+1)
(o)
(|+1)!
|
k)
(o)
|!
0 0 q
0
(a)
|
k+2)
(o)
(|+2)!
|
k+1)
(o)
(|+1)!
|
k)
(o)
|!
0

00
(o)
2!
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
|
2k1)
(o)
(2|1)!
|
2k2)
(o)
(2|2)!
|
2k3)
(o)
(2|3)!

|
k+1)
(o)
(|+1)!

k1)
(o)
(|1)!

donde [[ denota el determinante de una matriz cuadrada de orden /.

Aplicaciones del Clculo con Residuos.
9
Uno de los hechos verdaderamente atractivos del anlisis complejo es su ca-
pacidad de darnos demostraciones elegantes, a la vez que sencillas, de resultados
del anlisis real. Concretamente, el clculo de residuos nos va a proporcionar
una herramienta ecaz para el clculo de algunas integrales denidas y de algu-
nas sumas de series.
Resultar especialmente interesante cuando no podamos obtener una prim-
itiva en trminos de funciones elementales. Pero, incluso en alguno de estos
casos, nos pueden ahorrar trabajo.
Lo ms llamativo, y sorprendente, es que se aplique el clculo de integrales
complejas sobre curvas cerradas para calcular integrales reales sobre la recta
real. En cada caso, veremos cmo se aplican diversas tcnicas especiales para
este n. Las agrupamos en cuatro mtodos.
I. Contorno semicircular para clculo de integral real.
El teorema de los residuos nos dijo que
_
~
d.
.
4
+ 1
=

_
2
,
donde es la suma de las curvas

1
(t) : = t, r _ t _ r

2
(t) : = rc
I|
, 0 < t <
para r 1. As,

_
2
=
_
:
:
dt
t
4
+ 1
+
_
t
0
irc
I|
r
4
c
I4|
+ 1
dt.
Por tanto, y como

_
t
0
irc
I|
r
4
c
I4|
+ 1
dt

_
r
r
4
1
0, r +,
obtendramos, tomando lmites formales, el llamado valor principal de Cauchy:
lim
0<r!+1
_
r
r
dt
t
4
+ 1
=: (j)
_
+1
1
dt
t
4
+ 1
=

_
2
.
Pero, a su vez, y como
1
t
4
+ 1

1
t
4
, t +,
las integrales
_
0
1
J|
|
4
+1
e
_
+1
0
J|
|
4
+1
convergen (es decir, existe
lim
o!1
b!+1
_
b
o
)
10
tomando lmites por separado en ambos extremos). Por tanto, podemos concluir
que el valor principal de Cauchy para
_
+1
1
J|
|
4
+1
es, realmente, el valor de la
propia integral:
_
+1
1
dt
t
4
+ 1
=

_
2
.
(Resulta que el valor
_
+1
0
J|
|
4
+1
=
t
2
p
2
se puede obtener igualmente por mtodos
reales, pero son largos y tediosos.)
Otro ejemplo: Comprobemos que
_
+1
1
dt
(t
2
+ 1)
2
=

2
.
Con como arriba, pudimos obtener (en el primero de los ejemplos) que
_
~
d.
(.
2
+ 1)
2
=

2
;
concretamente

2
=
_
:
:
dt
(t
2
+ 1)
2
+
_
t
0
irc
I|
(r
2
c
I2|
+ 1)
2
dt,
donde

_
t
0
irc
I|
(r
2
c
I2|
+ 1)
2
dt

_
r
(r
2
1)
2
0, r +,
y as
_
+1
1
dt
(t
2
+ 1)
2
=

2
.
(Hemos dispensado el uso del valor principal de Cauchy para el clculo de la
integral; pero, la integral es, tambin ahora, convergente.)
Ahora, en este ejemplo, las tcnicas reales no son ya tan complicadas: ha-
ciendo el cambio de variables t = tan0, tendremos
_
+1
1
dt
(t
2
+ 1)
2
=
_
+

2
sec
2
0
sec
4
0
d0 =
_
+

2
cos
2
0d0
=
_
+

2
1 + cos 20
2
d0 =
1
2
_
0 +
1
2
sin20
_
+

2
=

2
.
Las dos integrales que aparecen en los ejemplos precedentes son casos par-
ticulares del siguiente teorema:
Teorema. Sea ) una funcin compleja de variable compleja denida sobre un
abierto que contiene al cierre del semiplano superior de C. Supongamos
que se verican:
11
a. ) es meromorfa en con un nmero nito de polos j
1
, ..., j
n
.
b. ) no tiene polos en el eje real (Imj
|
0, 1 _ / _ :).
c. .)(.) 0 uniformemente en , si [.[ +.
d.
_
+1
0
) e
_
0
1
) convergen.
Entonces
_
+1
1
) = i2
n

|=1
Res (), j
|
) .
Demostracin. Sea la frontera del semicrculo superior de centro en el
origen y radio arbitrario r 0:
_
~
) =
_
:
:
) +
_
t
0
)
_
rc
I0
_
irc
I0
0d0.
Por c., dado - 0, existe / 0 tal que
. : [.[ / = [.)(.)[ < -.
As,
r / =

_
t
0
)
_
rc
I0
_
irc
I0
d0

< -,
luego haciendo r + y aplicando el teorema de los residuos, nos queda:
(j)
_
+1
1
) = i2
n

|=1
Res (), j
|
) .
Finalmente, la condicin d. nos hace despreciar (vp). Q.E.D.
Ejemplo. Calculemos
_
+1
1
cos r
r
2
+ 2r + 4
dr
Resolucin. No siempre va a ser fcil dar con la funcin compleja a con-
siderar. En este caso, por ejemplo, estaremos motivados, sin duda, a elegir
)(.) :=
cos .
.
2
+ 2. + 4
, \. 1 i
_
3, 1 + i
_
3,
donde el abierto est en las condiciones del teorema. (Vale, por ejemplo, =
. C : Im. 1. La clave: contener a todo el semiplano superior y dejar
fuera cuantos ms polos, mejor.) Pero esta eleccin para la funcin ) no es
buena:
cos (ij) = cosh(j)
1
2
c

, j +,
de donde se sigue que falla la hiptesis c. en el teorema.
12
Sin embargo, muy relacionada con la anterior estar la funcin
)(.) :=
exp(i.)
.
2
+ 2. + 4
, \. 1 + i
_
3,
donde = . C : Im. 1. Aqu, usando que

c
Ir

= 1, [c

[ < 1 y para
[.[ sucientemente grande:
[.)(.)[ =

. exp(i.)
.
2
+ 2. + 4

. exp(ir) exp(j)
.
2
+ 2. + 4

_
[.[
[.[
2
2 [.[ 4
0.
Calculamos el valor del nico residuo relevante de cara al resultado:
Res
_
), 1 + i
_
3
_
=
_
_
_
) :=

|
; q, / H()
/(1 + i
_
3) = 0 ,= /
0
(1 + i
_
3), =
Res
_

|
, 1 + i
_
3)
_
=

0
|
0
(1 + i
_
3)
_
_
_
=
c
I(1+I
p
3)
2(1 + i
_
3) + 2
=
c
I
c

p
3
i2
_
3
=
c

p
3
2
_
3
_
1
i
cos (1) + sin(1)
_
=
c

p
3
2
_
3
[sin(1) i cos (1)] ,
con lo que el teorema anterior nos dice que:
_
+1
1
exp(ir)
r
2
+ 2r + 4
dr = i2 Res
_
), 1 + i
_
3
_
=

_
3
c

p
3
c
I
,
de donde
_
+1
1
cos r
r
2
+ 2r + 4
dr =

_
3
c

p
3
cos 1;
y, de propina,
_
+1
1
sin(r)
r
2
+ 2r + 4
dr =

_
3
c

p
3
sin1.
II. Integrales denidas de funciones trigonomtricas.
Consideremos ahora integrales de la forma
_
2t
0
) (cos (at) , sin(/t)) dt.
Es razonable ver esta integral como el resultado de una parametrizacin sobre
la circunferencia unidad T, con
) H() : 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:
. = c
I|
: 0 _ t _ 2,
nos da que
cos (at) =
t
iat
+t
iat
2
=
:
a
+:
a
2
sin(/t) =
t
ibt
t
ibt
I2
=
:
b
:
b
I2
J:
I:
= dt
_

_
=
_
2t
0
) (cos (at) , sin(/t)) dt =
_
T
)
_
.
o
+ .
o
2
,
.
b
.
b
i2
_
d.
i.
;
y es buen momento para ejemplicarlo:
Ejemplo. Calculemos
_
2t
0
d0
2 + cos 0
.
Resolucin: Realizamos clculos directamente:
_
2t
0
d0
2 + cos 0
=
_
T
1
2 +
1
2
_
. +
1
:
_
d.
i.
=
_
T
i2
.
2
+ 4. + 1
d.
=
_
T
i2
_
. + 2 +
_
3
_ _
. + 2
_
3
_d.
= i2 Res
_
) :=
q
/
, 2 +
_
3
_
= i2
i2
2
_
2 +
_
3
_
+ 4
=
2
_
3
.
(Observemos aqu que 2
_
3 est en la componente conexa no acotada
de CT. Podemos considerar, por ejemplo, = 1(0, 2).)
III. Ms sobre integrales reales: el lema de Jordan.
El siguiente resultado se conoce como lema de Jordan:
Teorema. Sea ) una funcin meromorfa con un nmero nito j
1
, ..., j
n
de
polos en el semiplano superior abierto . C : Im. 0. Supongamos
que no tiene polos en la recta real y que
lim
:!1
Im:,0
)(.) = 0.
Entonces, para a 0:
_
+1
1
)(r)c
Ior
dr = i2
n

=1
Res (q, j

) ,
donde q(.) := )(.)c
Io:
.
14
Demostracin. Para - 0, jo pero arbitrario, elijamos 1 0, tal que:
a. [j

[ < 1, 1 _ , _ :
b. [)(.)[ _ -, . : [.[ _ 1, Im. 0
c. rc
or
_ 1, r _ 1
Ahora, para n, ]1, +[, denotemos por el camino determinado por la
poligonal
[n, , + i (n + ) , + i (n + ) , n] .
El teorema de los residuos nos da que (tngase presente que los polos de q
son los mismos de )):
_
~
q = i2
n

=1
Res (q, j

) .
Pero, por otra parte:
_
~
q =
_
u
u
)(r)c
Ior
dr +
_
u+u
0
)( + ij)c
Iouo
dj

_
u
u
)(r + i(n + ))c
Ioro(u+u)
dr
_
u+u
0
)(n + ij)c
Iouo
dj.
Veamos cmo son las tres ltimas integrales de esta expresin. Tengamos pre-
sentes las condiciones bajo las que han sido elegidas r, j y n + :

_
u+u
0
)( + ij)c
Iouo
dj

_ -

_
u+u
0
c
o
dj

=
-
a
_
1 c
o(u+u)
_
_
-
a

_
u
u
)(r + i(n + ))c
Ioro(u+u)
dr

_ -

_
u
u
c
o(u+u)
dr

= - (n + ) c
o(u+u)
_ -

_
u+u
0
)(n + ij)c
Iouo
dj

_ -

_
u+u
0
c
o
dj

_
-
a
En consecuencia:

_
u
u
)(r)c
Ior
dr i2
n

=1
Res (q, j

_ -
_
2
a
+ 1
_
de donde se sigue lo deseado sin ms que hacer n, +. 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:
(j)
_
+1
1
q(r)dr = i2
n

=1
Res (q, j

) .
Es decir, que podra ser que obtuvisemos un resultado incoherente caso de no
existir la integral.
15
Ejemplo. Calcula
_
+1
0
rsin(r)
r
2
+ /
2
dr, / 0.
Resolucin. Pongmonos en las condiciones del lema de Jordan:
)(.) :=
.
.
2
+ /
2
,
con ) H(i/), := . C : 0.5 < Im. y a := 1.
As, el nico residuo lo presenta la funcin en j = i/. Y su valor es, para
q(.) := c
I:
)(.):
Res (q, i/) =
i/c
b
i2/
=
c
b
2
,
y, por tanto,
_
+1
1
rc
Ir
r
2
+ /
2
dr = ic
b
,
de donde, igualando partes imaginarias:
_
+1
1
rsin(r)
r
2
+ /
2
dr = c
b
.
Ahora bien, la funcin a integrar es par; por tanto:
_
+1
0
rsin(r)
r
2
+ /
2
dr =
c
b
2
.
Observemos que, como extra, obtenemos algo que ya conocemos para las
funciones impares:
_
+1
1
rcos r
r
2
+ /
2
dr = 0.
El resultado anterior admite una extensin muy interesante, que posibilita
el aceptarlo bajo la hiptesis de que ) tenga alguno de los polos j
1
, ..., j
n
sobre
la recta real:
Lema. Supongamos que la funcin ) tiene un polo simple en un punto a.
Sea
:
un arco circular de radio r 0 con vrtice en a. (Por ejemplo,
consideremos
:
:=
1
+
2
+
3
, la suma de las tres curvas

1
(t) : = a + tc
Io
, \t [0, r]

2
(t) : = a + rc
Io
, \0 [c, ,]

3
(t) : = a + (r t) c
Io
, \t [0, r]
para r 0 y 0 < , c < 2.) Entonces:
lim
:!0
_
~
r
) = i (, c) Res (), a) .
16
Demostracin. El desarrollo en serie de Laurent de ) en un entorno per-
forado 1(a, r)a de a, nos da:
)(.) =
Res (), a)
. a
+
+1

n=0
a
n
(. a)
n
.
Si denimos la funcin
q(.) := )(.)
Res (), a)
. a
para todo . 1(a, j), tendremos una funcin holomorfa en el disco (por qu?).
En particular, estar acotada, digamos por un ' 0; es decir:
. 1(a, j)
0 < r < j
_
=

_
~
r
q

_ 'r (, c) ,
y, por tanto,
lim
:!0
_
~
r
q = 0.
Ahora bien, como
_
~
r
Res (), a)
. a
d. = Res (), a)
_
o
o
ric
I0
rc
I0
d0 = i Res (), a) (, c) ,
dado un - 0, para r sucientemente pequeo, podemos razonar as:

_
~
r
) i Res (), a) (, c)

_
~
r
q

_ 'r (, c) < -. Q.E.D.

Veamos cmo es efectivo este lema mediante un ejemplo concreto:
Ejemplo. Comprueba que
_
+1
0
sin(r)
r
dr =

2
.
Resolucin. Consideremos q(.) :=
t
iz
:
. Esta funcin tiene un polo simple
en el origen, con residuo
t
i0
1
= 1. Observamos que las condiciones del lema de
Jordan se satisfacen para )(.) :=
1
:
, 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, , + i (n + ) , n + i (n + ) , n, r] ; 0 < r < n,

2
(t) : = rc
I|
, 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

_
~
2
+
_
+1
:
_
q = 0
_
=

?
_
(donde el signo negativo en la segunda integral indica el recorrido en sentido
negativo que se ha considerado).
Aplicando el lema:
lim
:!0
_
~
2
c
I:
.
d. = i;
luego
_
+1
1
q = 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
:!0
+
__
:
1
cos r
r
dr +
_
+1
+:
cos r
r
dr
_
= 0,
lo cual es obvio por ser impar la funcin del integrando. Pero, tan obvio como
lo anterior es que la integral impropia
_
+1
1
cos r
r
dr,
no existe, pues
cos r
r

1
r
, r 0.
IV. Integral impropia que involucra funciones racionales
Sean j y dos polinomios primos entre s. Supongamos que
(r) ,= 0, \r R . grad () grad (j) _ 2.
En estas circunstancias, la funcin
)(r) :=
j(r)
(r)
, \r R
es impropiamente integrable en R, y nuestro propsito es obtener
_
+1
1
)(r)dr.
El mtodo, que lo presentaremos en cinco pasos, se puede enunciar del siguiente
modo:
18
Proposicin. Con j y polinomios primos entre s, tales que
(r) ,= 0, \r R y grad () grad (j) _ 2,
se tiene que
_
+1
1
j(r)
(r)
dr = i2

j(o)=0
Imo,0
Res
_
j

, a
_
.
Demostracin. Paso 1
o
: Eleccin de la conveniente funcin compleja a
integrar:
)(.) :=
j(.)
(.)
, \. C; := . C : (.) = 0 .
Paso 2
o
: Eleccin del ciclo sobre el que integrar: para c, ,, j 0, sea
:= [c, ,, , + ij, c + ij, c]
(con orientacin positiva, contraria a la de las agujas del reloj, de modo que el
paso al lmite con c y , tendiendo a +, tenga coherencia con la integracin
en R).
Paso 3
o
: Aplicacin del teorema de los residuos. Para ello, bastar tomar:
, maxRe . : .
c < minRe . : .
j maxIm. : .
_
_
_
=
_

= ?
es C-nulhomlogo,
de donde _
~
) = i2

o2.
Res (), a) Ind
~
(a) .
Paso 4
o
: Clculo efectivo de residuos e ndices.
a =
_
Ima 0 = Ind
~
(a) = 1
Ima < 0 = Ind
~
(a) = 0
de donde _
~
) = i2

o2.
Imo,0
Res (), a)
Paso 5
o
: Encontrar la relacin entre las integrales
_
~
)(.)d. e
_
+1
1
)(r)dr.
Llamemos 1 :=
_
~
)(.)d., e igualmente, demos nombres:

1
:= [,, , + ij] ;
2
:= [, + ij, c + ij] ;
3
:= [c + ij, c] ,
y tambin
1
|
:=
_
~
k
); / 1, 2, 3.
19
De este modo
_
~
) =: 1 =
_
o
o
)(r)dr +
3

|=1
1
|
.
Objetivo: reducir el sumatorio a cero... y cosas de la vida?, llo se lograr
cuando c, , +!
Como existe lim
:!1
:
2
(:)
j(:)
C, existirn tambin 1, ' 0 tales que
[.[ 1 = [)(.)[ =

(.)

_
'
[.[
2
,
y
.

2
, j [1, [.[] = [1
2
[ _
'
j
2
(c + ,) ,
pues [)(.)[ _
1

2
, en este caso.
Por otro lado, si , _ 1:
[1
1
[ =

_

0
) (, + it) idt

_
_

0
[) (, + it)[ dt
_
_

0
'
,
2
+ t
2
dt =
'
,
arctan
j
,
_
'
2,
.
Tambin tenemos, razonando de modo anlogo, que
c _ 1 = [1
3
[ _
'
2c
.
En resumen:

1
_
o
o
)(r)dr

_
_

2
_
1
c
+
1
,
_
+
c + ,
j
2
_
', \c, ,, j _ 1.
Pues bien, para c, , _ 1 jos, haciendo j +, se tiene que

1
_
o
o
)(r)dr

_

2
_
1
c
+
1
,
_
',
de donde haciendo lo propio con c y ,, se sigue lo deseado. Q.E.D.
Ejemplo. Calculemos
_
+1
1
dr
(1 + r
2
)
n
(: N)
Resolucin. Llamemos ) a la funcin del integrando en su forma com-
pleja: presenta un nico polo (a considerar) de orden : en a = i. As, como las
20
integrales
_
~
)(.)d. e
_
+1
1
)(r)dr son iguales:
_
+1
1
dr
(1 + r
2
)
n
= i2 Res (), i)
= i2
1
(: 1)!
lim
:!I
d
n1
d.
n1
_
1
(. + i)
n
_
=
i2
(: 1)!
(1)
n1
(2: 2)!
(: 1)!2
2n1
i
2n1
=
(2: 2)!
(: 1)!
2
2
2n2
.
An un quinto mtodo que nos va a ayudar; ahora, en el clculo de sumas
de series mediante la tcnica de los residuos:
V. Suma de series.
Una de las aplicaciones ms espectaculares del clculo con residuos ser su
utilidad para obtener sumas de series de nmeros reales (aunque no exclusiva-
mente reales). La clave la encontramos en el comportamiento de dos funciones
complejas de variable compleja muy concretas, la cotangente y la cosecante:
. cot (.) , . csc (.)
las cuales tienen, ambas, polos simples en cada . Z. De hecho, stos son sus
nicos polos, pues
sin(.) = 0 = . Z.
En la prctica, las series que nos van a ocupar sern cocientes de polinomios
y, aunque se podran enunciar resultados ms generales para funciones mero-
morfas bajo ciertas restricciones, nos conformaremos con enunciarlos y pro-
barlos para funciones racionales 1 en el plano complejo C. Concretamente,
para 1 := j,, con j y polinomios primos entre s, veremos dos resultados; el
primero para grad() grad(j) _ 2, y el segundo cuando grad() = 1+ grad(j).
Comenzamos con un sugestivo lema sobre acotacin de las dos funciones
arriba citadas:
Lema. Para cada : N, consideremos el camino
n
dado por
__
: +
1
2
_
(1 i) ,
_
: +
1
2
_
(1 i) ,
_
: +
1
2
_
(1 + i) ,
_
: +
1
2
_
(1 i)
_
Sea 1 := '
n

n
. Entonces existen constantes positivas /
1
y /
2
tales que:
[cot (.)[ _ /
1
, [csc (.)[ _ /
2
, \. 1.
21
Demostracin. Probaremos la primera de las desigualdades; en la segunda
se puede proceder de modo anlogo. Para . = r + ij se tienen
[sin(.)[ _ [sinh(j)[ y [cos (.)[ _ [cos (r)[ +[sinh(j)[ ,
y, con . 1, existe un natural : tal que .

n
. Y as, tendremos dos
posibilidades:
a. [r[ = : +
1
2
y [j[ _ : +
1
2
=
_
j ,= 0 = [cot (.)[ _ 1
j = 0 = [cot (.)[ = 0 _ 1
b. [j[ = : +
1
2
y [r[ _ : +
1
2
=
[cot (.)[ _
1 +[sinh(j)[
[sinh(j)[
= 1 +
1
[sinh(j)[
= 1 +
2
[c
t
c
t
[
= 1 +
2
c
tjj
c
tjj
_ 1 +
2
c
3
2
1
=: /
En cualquier caso, haciendo /
1
:= max/, 1, tenemos lo deseado. Q.E.D.
Teorema. Sean j y polinomios primos entre s, y tales que grad() grad(j) _
2. Entonces:
+1

|=1
j(|)6=0
j

(/) =

j(o)=0
Res (q, a) ,
donde
q(.) := cot (.)
j(.)
(.)
, \. C (Z ' ) ,
siendo el conjunto de los ceros de .
Demostracin. Consideremos : N tal que
: + 1,2 max[Re a[ , [Ima[ ; a .
Aplicando el teorema de los residuos:
_
~
n
q = i2
_
_
_

o2.
Res (q, a) +
+n

|=n
|/ 2.
Res (q, /)
_
_
_.
Como para los polos de q que no son ceros de podemos razonar as:
Res (q, /) = lim
:!|
(. /) q(.) = lim
:!|
(. /) cot (.)
j(.)
(.)
= lim
:!|
. /
sin(.) sin(.)
cos (.)
j(.)
(.)
=
cos (.)
cos (.)
j(.)
(.)
=
j(.)
(.)
,
22
la frmula anterior, nos dice
_
~
n
q = i2
_
_
_
_

o2.
Res (q, a) +
+n

|=n
j(|)6=0
j

(/)
_
_
_
_
,
y, por tanto, el objetivo es hacer cero el primer miembro cuando hagamos :
+.
Pero, por otro lado, como grad() grad(j) _ 2,
1, ' 0 : [.[ _ 1 =

(/)

_
'
[.[
2
.
Si, adems,
.

n
: : 1 = [.[ _ : + 1,2 1 =

(/)

_
'
:
2
.
Usando /
1
0 del lema:

1
i2
_
~
n
q

_
1
2
/
1
'
:
2
(8: + 4) 0, si : +,
de donde
lim
n
+n

|=n
j(|)6=0
j

(/) =

o2.
Res (q, a) . Q.E.D.
Ejemplo. Comprobemos que
+1

n=1
1
:
2
=

2
6
.
Resolucin. Llamemos j(.) := 1, (.) := .
2
, para . C. As
+1

|=1
j(|)6=0
j

(/) =
+1

|=1
|6=0
1
/
2
=

j(o)=0
Res (q, a) = Res (q, 0) ,
donde
q(.) :=
cot (.)
.
2
, \. CZ.
Como
Res (q, 0) =

2
3
,
entonces
+1

n=1
1
:
2
=
1
2
+1

|=1
|6=0
1
/
2
=
1
2
_

2
3
_
=

2
6
.
23
Teorema. Sean j y polinomios primos entre s, y tales que grad()
grad(j). Entonces:
+1

|=1
j(|)6=0
(1)
|
j

(/) =

j(o)=0
Res (q, a) ,
donde
q(.) := csc (.)
j(.)
(.)
, \. C (Z ' ) ,
siendo el conjunto de los ceros de .
Demostracin. Razonando como en la demostracin anterior, ahora para
/ Z:
Res (q, /) = lim
:!|
(. /)
1
sin(.)
j(.)
(.)
= lim
:!|
. /
sin(.) sin(.)
j(.)
(.)
= cos (/)
j(.)
(.)
= (1)
|
j(.)
(.)
.
Por tanto, el teorema de los residuos nos da:
_
~
n
q = i2
_
_
_
_

o2.
Res (q, a) +
+n

|=n
j(|)6=0
(1)
|
j

(/)
_
_
_
_
.
Ahora, si grad() grad(j) _ 2, razonaramos como arriba. Supongamos,
por tanto que grad() grad(j) = 1. En esta situacin, han de existir ` C y
j
0
y
0
primos entre si, con grad(
0
) grad(j
0
) _ 2, vericando
j

(.) =
`
.
+
j
0

0
(.), \. C;
y, por tanto,
_
~
n
q =
_
~
n
` csc (.)
.
d. +
_
~
n
csc (.)
j
0
(.)

0
(.)
d. =: 1
1
+ 1
2
.
Pero, 1
1
= 0 (por ser la integral de una funcin par) e 1
2
0 cuando
: +. Luego el resultado es el deseado. Q.E.D.
Ejemplo. Calculemos
+1

n=1
(1)
n
:
:
2
+ 1
.
24
Resolucin. Como la funcin
.
.
.
2
+ 1
tiene polos simples en i y i, consiste en calcular los rediduos en dichos puntos
para la funcin
. q(.) :=
. csc (.)
.
2
+ 1
.
Por tanto,
+1

n=1
(1)
n
:
:
2
+ 1
=
1
2
(1) [ Res (q, i) Res (q, i)]
=
1
2
[ Res (q, i) + Res (q, i)] =

4
.
EJERCICIOS PROPUESTOS.
1. Supongamos que a es un polo simple para ). Puede ser Res(), a) = 0?
2. Existen funciones ) con polos de orden / _ 2 en a y tales que Res(), a) =
0?
3. Sean ) y q dos funciones holomorfas en un entorno perforado de a C.
Sean c, , C. Prueba que
Res (c) + ,q) = cRes (), a) + ,Res (q, a) .
4. Considera
) (.) := exp
_
1
.
_
exp(2.) , \. C0,
y calcula Res(), 0).
5. Prueba que
1
1 cos .
=
2
.
2
+
1
6
+
.
2
120
+ o
_
.
3
_
y aplcalo para calcular Res(), 0) , donde
) (.) :=
1
.
3
(1 cos .)
, \. C0.
6. Prueba que
1
sin.
=
1
.
+
.
6
+
7.
3
360
+ o
_
.
4
_
y aplcalo a la determinacin de Res(), 0) , donde
) (.) :=
1
.
4
sin.
, \. C0.
25
7. Sea a un cero de orden : para una funcin holomorfa q. Prueba que, para
c 0 conveniente, la funcin
)(.) :=
1
q(.)
, \. 1(a, c) a
tiene un polo de orden : en a. Cunto vale Res(), a)?
8. Sea q una funcin holomorfa en a. Calcula Res()q, a) cuando:
(a) ) tiene polo simple en a con residuo c.
(b) ) tiene polo de orden / en a con parte principal
c
1
. a
+
c
2
(. a)
2
+ ... +
c
|
(. a)
|
.
9. Sea a una singularidad aislada de una funcin ). Prueba que tambin lo
es para su derivada )
0
. Cunto vale Res()
0
, a)?
10. Sea ) una funcin holomorfa en un entorno perforado de a C. Calcula
Res
_
}
0
}
, a
_
si:
(a) a es cero de orden : de ).
(b) a es polo de orden : de ).
Prueba que, en ambos casos, a es polo simple de
}
0
}
.
11. Sean ) H(1(a, r)a) y , H(1(a, r)). Calcula Res
_
,
}
0
}
, a
_
si:
(a) a es cero de orden : de ).
(b) a es polo de orden : de ).
12. Sean , H(1(a, r)) y ) H(1(,(a) , j),(a)), con ,(a) ,= 0 un
polo simple de ) con residuo a
1
. Calcula Res() ,, a) .
13. Calcula la integral
_
~
) (.) d., donde )(.) :=
1
:(:1)
, \. C0, 1 y es
cualquier camino cerrado rodeando a 1 y tal que

. C : Re . 0.
(Resulvelo tanto mediante el teorema de los residuos como por la frmula
de Cauchy. Compara mtodos y saca conclusiones.)
14. Calcula, mediante el teorema de los residuos, la integral
_
c(1,6)
d.
. (1 + .)
.
15. Prueba que para cada natural :, se tiene
_
2t
0
(1 + 2 cos t)
n
cos :t
3 + 2 cos t
dt =
2
_
5
_
3
_
5
_
n
.
26
16. Prueba que, para 0 < a < 1, se tiene
_
2t
0
cos
2
3t
1 + a
2
2a cos 2t
dt =
a
2
a + 1
1 a
.
17. Prueba que para cualquier a 0, se tiene
_
+1
1
r
6
dr
(r
4
+ a
4
)
2
=
3
_
2
8a
.
18. Integrando la funcin
.
.
a c
I:
(a 1) a lo largo de la poligonal [, , + i:, + i:, ] (: N),
prueba que
_
t
t
rsinr
1 + a
2
2a cos r
dr =
2
2
ln
_
1 + a
a
_
.
19. Dado un nmero natural : _ 2, intgrese una funcin compleja adecuada
a lo largo de la frontera del sector circular
1(0, 1)
_
. C0 : 0 < arg . <
2
:
_
,
para probar que
_
+1
0
dr
1 + r
n
=

:
csc

:
.
20. Integrando una conveniente funcin compleja a lo largo de la frontera de
la mitad superior del anillo (0; -, 1), prueba que para 1 < c < 3, se
verica
_
+1
0
r
o
(1 + r
2
)
2
dr =

4
(1 c) sec
c
2
.
21. En los siguientes ejercicios consiste en probar las frmulas dadas o bien
obtener las sumas correspondientes:
a.
+1

n=1
1
n
4
o
4
=
1
2o
4

t
4o
3
[cot (a) + coth (a)] (a CZ) ;
b.
+1

n=1
1
(3n+1)
2
;
c.
+1

n=1
1
(n+o)
2
=
2
csc (a) (a CZ) ;
d.
+1

n=1
(1)
n
n
2
=
t
2
12
;
e.
+1

n=1
1
n
4
=
t
4
90
;
f.
+1

n=0
(1)
n
(2n+1)
3
=
t
3
32
.
27
22. Como arriba, consiste en probar las frmulas dadas o bien obtener las
sumas correspondientes:
a.
+1

n=1
1
n
2
+o
2
=
1
2o
coth(a)
1
2o
2
(0 < a < 1) ; b.
+1

n=1
(1)
n
n
2
+o
2
;
c.
+1

n=1
(1)
n
(n+o)
2
=
2
csc (a) cot (a) ; d.
+1

n=1
1
(2n+1)
2
;
23. Sea un abierto del plano que contenga al disco unidad cerrado, D .
Sea , una funcin holomorfa en tal que ,(0) = 0 y ,(R) R. Llamemos
(r, j) := Im,(.) = Im,(r + ij) , \(r, j) .
Prueba que
_
2t
0
rsin0
1 2rcos 0 + r
2
(cos 0, sin0) d0 = ,(r) , \r ]1, 1[ .
24. Evala las siguientes integrales usando el mtodo de los residuos y discute
su eventual resolucin mediante teoremas o frmulas de tipo Cauchy:
a.
_
j:j=2
exp
_
1
:
2
_
d. b.
_
j:j=2
sin
_
1
:
_
d.
c.
_
j:j=2
cos
_
1
:
_
d. d.
_
j:j=2
1
:
sin
_
1
:
_
d.
e.
_
j:j=2
1
:
cos
_
1
:
_
d. f.
_
j:+I+1j=4
.
3
cos
_
1
:
_
d.
g.
_
j:j=4
1
(:1)(:3)
d. h.
_
j:j=3
1
:
2
1
d.
i.
_
j:j=1
sin :
: sinh :
d. j.
_
j:j=1,1
1
:
2
+1
d.
25. Prueba que
_
+1
0
dr
r
100
+ 1
=
,100
sin(,100)
.
26. Prueba, usando el teorema de los residuos, que para 0 < / < a, se tiene
_
2t
0
sin
2
t
a + / cos t
dt =

/
2
_
a
_
a
2
/
2
_
.
27. Prueba que para cualesquiera a, / 0, se tiene
_
+1
1
dr
(r
2
+ a
2
) (r
2
+ /
2
)
2
=
(a + 2/)
2a/
3
(a + /)
2
.
28. Integrando la funcin
.
1 c
2I:
.
2
a lo largo de la mitad superior del anillo (0; -, 1), prueba que
_
+1
0
(sinr)
2
r
2
dr =

2
.
28
29. Calcula, mediante el teorema de los residuos, la integral
_
c(1,6)
d.
. (1 + .)
.
30. Calcula _
j:j=2
. sin
1
.
d..
Podras hacerlo con ayuda de teoremas o frmulas de tipo Cauchy?
31. Responde a las siguientes cuestiones:
(a) Explica porqu no se puede evaluar la integral
_
+1
0
r
r
4
+1
dr por medio
de un contorno semicircular en ninguno de los dos hemisferios (semi-
planos superior e inferior).
(b) Para r 1, considera la curva dada por
[ir, 0] + [0, r] +
_
rc
I0
: 0 _ 0 _ ,2
_
.
Prueba que
_
:
0
r
r
4
+ 1
dr
_
0
:
j
j
4
+ 1
dj+
_
~
.
.
4
+ 1
d. = i2

Res
_
.
1 + .
4
, a
_
donde el sumatorio es en los polos a del primer cuadrante.
(c) Prueba que
_
+1
0
r
r
4
+ 1
dr = ,4.
32. Prueba que para enteros no nulos : y :, con : : _ 2, se tiene que
_
+1
0
r
n
dr
r
n
+ 1
=

:sin[ (: + 1) ,:]
.
(Indicacin: usa el mtodo del ejercicio anterior y el contorno de "la por-
cin de pizza" de ngulo 2,: y radio r.)
33. Sean | y / enteros tales que | 0 y | (/ 1) _ 2. Prueba que
_
+1
0
n
1/l
n
|
+ 1
dn =

/ sin[ (| + 1) , (|/)]
suponiendo n
1/l
real no negativa en su intervalo de integracin. (Indi-
cacin: hgase r := n
1/l
y aplica el ejercicio anterior.)
34. Prueba que para cada natural :, se tiene
_
2t
0
c
cos |
cos (:t sint) dt =
2
:!
.
29
35. Prueba que
_
+1
1
rsin(r)
r
2
5r + 6
dr = 5.
36. Prueba que para 0 < c < 2, se tiene
_
+1
1
c
or
1 + c
r
+ c
2r
dr =
_
+1
0
t
o1
1 + t + t
2
dt =
2
_
3
sin
t
3
(1 c)
sin(c)
.
37. Intenta sumar la serie
+1

n=1
1
:
3
.
(No se conoce la respuesta exacta a este problema tan sencillo aparente-
mente. Su valor aproximado es de 1.201 y la funcin de Riemann tiene
mucho que ver con ella.)
38. Evala la integral
_
+1
0
r
o
1 + 2rcos 0 + r
2
dr
donde c ]1, 1[, 0 ], [ y c0 ,= 0.
30