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) efectiva de integrales de la forma
Z
camino cerrado o ciclo
f:
[ ]
f 2 H ( nA) : A = fz 2 : z singularidad aislada de f g
El punto esencial de esta teora lo encontramos en el hecho de que Laurent
nos permite expresiones de la forma
Z
f (w)
1
8n 2 Z
cn =
n+1 dw;
i2
(w a)
para (f; ) en las condiciones [ ] (con la curva alrededor de la singularidad
a): resulta que, si integramos en el desarrollo de Laurent de f en un entorno
punteado de la singularidad a, tendremos que
!
Z
Z
Z
+1
+1
X
X
n
n
f=
cn (z a)
dz =
cn (z a) dz = c 1 i2 :
n= 1

n= 1

Es decir, todos los trminos desaparecen, menos uno, el "residuo" que queda,
Surge as la importante frmula
Z
1
c 1=
f
i2

1.

que nos habilita para la obtencin de integrales complejas sobre curvas.

Denicin. Dado un abierto del plano complejo, para a 2 y f 2 H ( nfag),
llamamos residuo de la funcin f en el punto a al trmino c 1 del desarrollo en serie de Laurent de f en un entorno (perforado) de a. Se notar
Res (f; a) := c

1:

A los puntos a 2 donde f no es holomorfa se les llama singularidades de

f . Diremos que f es holomorfa en salvo singularidades si f 2 H ( nA) donde
1

A = fz 2 : z singularidad aislada de f g. (Recordemos que los puntos de no

holomorfa, es decir, de singularidad, se clasican en polos, si 9 limz!a f (z) =
1, y en esenciales, si @ limz!a f (z).)
Ser de sumo inters que las singularidades sean aisladas, que no se acumulen
en (por qu?). Y nos acostumbraremos a escribir por f 2 Hs ( ) al conjunto
de todas las funciones holomorfas en salvo singularidades:
Hs ( ) := [ fH ( nA) : A

; A0 \

= ?g :

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

f 2 H(D(a; r)nfag) nos dice que
Z
1
f;
8 2 ]0; r[ :
[ ]
Res (f; a) =
i2 C(a; )

b.

Ms general: si

es un camino cerrado o un ciclo en

:= D(a; r)nfag, con

Ind (a) = 1 e Ind (z) = 0; 8z 2

= D(a; r);
entonces an vale [ ] :
c.

Aplicacin del teorema de existencia de primitivas a la teora de

residuos: Sea k 2 Z. Entonces, son equivalentes:
i.
ii.

Res(f; a) = k:
k
z a

La funcin z ! f (z)
de a.

admite primitiva en un entorno perforado

i. ) ii. La funcin z ! f (z) z k a admite un desarrollo en serie de Laurent

en un entorno perforado de a; pongamos
f (z)

k
z

+1
X

an (z

a) ;

n= 1

el cual admite como primitiva a la funcin dada por la serie

F (z) :=

+1
X

16=n= 1

an
(z
n+1

n+1

a)

ii. ) i. Por admitir primitiva en, pongamos, D(a; r)nfag, para cada 2
]0; r[, su integral sobre cada camino cerrado en D(a; r)nfag -en particular, para
C(0; )-; es nula. Pero tambin
Z
k
dz = i2 (Res (f; a) k) ;
f (z)
z a
C(a; )
de donde Res(f; a) = k.
Y ya, el gran esperado:
Teorema de los Residuos Consideremos f 2 Hs ( ) una funcin holomorfa
salvo singularidades en un abierto
del plano complejo C. Llamemos
A = fz 2 : z singularidad aislada de f g : Entonces, para cada
ciclo
nulhomlogo en nA se verican:
i.
ii.

fa 2 A : Ind (a) 6= 0g es un conjunto nito.

R
P
P
f = i2
a2A Res(f; a)Ind (a) : (Aqu:
? := 0:)

Demostracin. i. El conjunto
K :=

[ fz 2 Cn

: Ind (z) 6= 0g ;

es un cerrado, pues su complementario

fz 2 Cn

: Ind (z) = 0g

es un abierto. (Por qu?).

Llamemos
M := max fjwj : w 2
As, si z 2 K; entonces jzj

g:

M o bien Ind (z) 6= 0. En cualquier caso,

fz 2 C : jzj > M g

CnK;

y, por tanto, K D(0; M ). En resumen, K es compacto de C.

Pero, por otro lado, como es -nulhomlogo, K
.
Finalmente, si K\A fuese innito, por Bolzano-Weierstrass, sera A0 \ 6= ?,
lo cual no puede suceder al tratarse de singularidades aisladas. Luego K \ A es
nito y i. es cierto.
ii. La serie a sumar es nita, por lo probado en i.; podemos poner, por tanto,
fa 2 A : Ind (a) 6= 0g = fa1 ; :::; an g :
Llamemos
mk := Ind (ak ) 2 Znf0g;

n:

Para cada k existe k > 0 tal que D(ak ; k ) \ A = fak g y D(ak ;

(Raznese.) Sean ahora, tambin, para cada k:
k

:=

mk C (ak ;
3

k) ;

k)

y denamos el ciclo
:=

n
X

k:

k=1

Veamos que es nA-nulhomlogo, pues, en tal caso, la frmula general de

Cauchy nos va a decir que
0

=
=

Z
Z

f=
f

i2

f
X

n
X

mk

C(ak ;

k=1

k)

Res (f; a) Ind (a) :

a2A

Vamos, por tanto, a ver que es nA-nulhomlogo: claramente,

nA.
Y podemos razonar en estas dos situaciones:
1. Si z 2
= , entonces Ind (z) = 0 y, tambin, si z 2
= D(ak ; k ), entonces
Ind k (z) = 0 para 1 k n: En cualquier caso,
z2
=

) Ind (z) = 0:

2. z 2 A ) z = a 2 A ) otras dos posibilidades:

2.1 Si z = ah para h 2 f1; :::; ng ; entonces Ind (z) = mh : Pero:
k=
6 h ) ah 2
= D(ak ; k ) ) Ind
k = h ) Ind h (ah ) = mh

(ah ) = 0

) Ind (a) = 0:

2.2 Si z 6= ah para h 2 f1; :::; ng ; entonces Ind (z) = 0; y si z 2

= D(ak ; k );
entonces Ind k (z) = 0 para 1
k
n: 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 f como singularidades aisladas tenga en para calcular
la correspondiente integral! (Acaso a ti te consuela el hecho de que A 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 2 y f 2 H ( nfag). Supongamos que f
tiene un polo de orden k en a. Entonces
Res (f; a) =

1
(k

dk
1)! z!a dz k
lim

Demostracin. Consideremos D(a; R)

f (z) =

+1
X

n= k

an (z

1
1

(z

i
k
a) f (z) :

. Sabemos que

a) ; 8z 2 D(a; R)nfag:

Sea la funcin g :

! C, dada por
k

(z a) f (z); :::
a k ; :::

g(z) :=

z 2 nfag
:
z=a

Observemos que g 2 H ( nfag) y g 2 C ( ) (justifquese), luego el teorema de

singularidades de Riemann es quien nos dice que g 2 H ( ).
En consecuencia:
Res (f; a)

=
Ejemplo.

gk
(k

1)

(a)
1
=
lim g k 1) (z)
1)!
(k 1)! z!a
i
dk 1 h
1
k
lim k 1 (z a) f (z) :
(k 1)! z!a dz

= a

Evala la integral compleja

Z

dz

(z 2

+ 1)

donde es el camino cerrado formado por [ R; R] y la parte parte superior

de la circunferencia de centro 0 y radio R > 1; recorrido en el sentido
positivo (contrario a las agujas del reloj).
1
Resolucin. La funcin f : z ! (z2 +1)
2 presenta dos polos de orden 2; pero
a los efectos que nos interesan, slo es relevante z = i. (Por qu?) Consiste
pues, segn el teorema de los residuos en calcular Res(f; i), pues el teorema nos
dice que
Z
dz
2 = i2 Res (f; i) :
2
(z + 1)

Consiste, por tanto, en derivar la funcin

2

' (z) = (z

i) f (z);

evaluar su lmite en z = i, y multiplicarlo por

buscado.
' (z)

(z

i) f (z) = (z + i)

) '0 (z) =
)
de donde

2 (z + i)
i
;
4

Res (f; i) =
Z

1
(2 1)!

dz
(z 2

+ 1)

= =2:

= 1: se ser el residuo

) '0 (i) =

i
4

Atencin: An puede ocurrir que este mismo mtodo sea engorroso para
determinados casos. Por ejemplo: si buscamos el residuo en el origen de la
f
1
funcin z ! z2 sin(z)
; tendremos un polo triple. As, calcular
d2
z 3 f (z)
dz 2
es muy complicado (puedes intentarlo y, as, lo conrmas). En este caso, puede
merecer la pena un recurso alternativo ad hoc:
1
2
z sin (z)

=
=
)
Corolario.

Sean

z3
+ O z5
6

z2
1
1
+ O z4
3
z
6
1
z2
1+
+ O z4
3
z
6
Res (f; a) = 1=6:

1
z2

C, a 2

y f 2 H ( nfag). Supongamos que

9 lim (z

a) f (z) 2 C:

z!a

Entonces
Res (f; a) = lim (z
z!a

a) f (z):

Demostracin. Si tal lmite, que existe, vale 0, tendremos que f tiene

una regularidad en el punto a. (Y hemos concluido: Res(f; a) = 0.) Si, por el
contrario, es no nulo, aplicamos la proposicin anterior, pues f tiene, en este
caso, un polo simple en a: Q.E.D.
Evaluacin de la integral
Z

Ejemplo.

donde

sin ( z)
dz
z2 + 1

es cualquier camino cerrado alrededor de i y

i.

z)
Resolucin. Observamos que la funcin f (z) := sin(
z 2 +1 tiene polos simples
en los puntos indicados. Por tanto, es susceptible de serle aplicado el corolario
anterior:

z=

i ) Res (f; i) = lim (z + i) f (z) = lim

z! i

z! i

sin ( z)
sinh ( )
=
z i
2

(donde hemos usado la relacin del seno trigonomtrico con el hiperblico:

sin (iz) = i sinh (z)). De modo anlogo,
z = i ) Res (f; i) =
6

sinh ( )
:
2

En consecuencia:
Z
sin ( z)
dz = i2 f Res (f; i) + Res (f; i)g = i2 sinh ( ) :
z2 + 1
Observacin: Esta tcnica todava puede resultar engorrosa, an para casos "sencillos" de polos simples como pone de maniesto el ejemplo de la funcin
z!

z4

1
+1

si la queremos integrar sobre el camino cerrado formado por [ R; R] y la parte

parte superior de la circunferencia de centro 0 y radio R > 1; recorrido en el
3
sentido positivo (contrario a las agujas del reloj). (Aqu z1 = ei 4 y z2 = ei 4
son los dos polos simples a considerar.)
Para ste y otros casos, es til la siguiente
Proposicin. Sean g y h funciones holomorfas en un disco D(a; r). Si g(a) 6=
0, h(a) = 0 y h0 (a) 6= 0, entonces f := hg tiene un polo simple en a, y
Res (f; a) =

g(a)
:
h0 (a)

Demostracin. Por ser polo simple (conrma que, en efecto, lo es):

Res (f; a)

=
=

Ejemplo.

lim (z

z!a

lim

z!a

Clculo de

a) f (z)

g(a)
z a
g(z) = 0 :
h(z) 0
h (a)
Z

z4

1
dz
+1

cuando queremos integrar sobre el camino cerrado formado por [ R; R]

y la parte parte superior de la circunferencia de centro 0 y radio R > 1;
recorrido en el sentido positivo.
Resolucin. Observamos cmo los polos simples de la funcin f a integrar,
3
y relevantes para la integracin, son z1 = ei 4 y z2 = ei 4 ; que estn en la
componente conexa acotada de Cn . Para cada uno de ellos:
Res (f; zj ) =

g(zj )
1
= 3:
h0 (zj )
4zj

De este modo:
Res (f; z1 ) =

1
4ei3 =4

1
e
4

i3 =4

1
4

cos

3
4

sen

3
4

1+i
p ;
4 2

y, anlogamente,
1 i
p ;
4 2
de donde el teorema de los residuos concluye que:
Z
p
1
dz = i2 fRes (f; z1 ) + Res (f; z2 )g = = 2:
4
z +1
R
Otro ejemplo. Calcula jzj=2 (z2 dz1)z2
Res (f; z2 ) =

Resolucin. Llamemos f a la funcin a integrar. Resulta que

f 2 H (Cnf 1; 0; 1g) con f 1; 0; 1g0 = ?:

Por tanto, podemos aplicar el teorema de los residuos:

Z
dz
= i2 fRes (f; 1) + Res (f; 0) + Res (f; 1)g :
2
1) z 2
jzj=2 (z
Para 1 y -1 razonamos como polos de orden 1 que son:
Res (f; 1)

Res (f; 1)

1
1
=
1) z 2
2
1
1
1) f (z) = lim
= ;
z! 1 (z + 1) z 2
2

lim (z + 1) f (z) = lim

z! 1

lim (z

z!1

z! 1

(z

y como en el origen se trata de un polo de orden 2:

Res (f; 0)

d 2
d h 2
z f (z) = lim
z
z!0 dz
z!0 dz
2z
= lim
2 = 0:
z!0 (1
z2)
=

En conclusin:

lim

jzj=2

Otro ms, an.

Calcula

(z 2

dz
= 0:
1) z 2

dz
T sin(z)
0

1
Resolucin. Llamamos f (z) = sin(z)
para z 2 Cn Z. Como ( Z) = ?,
podemos aplicar el teorema de los residuos. Pero, adems, slo nos interesa el
residuo en el origen (por qu?). Por tanto,

Res

1
;0
sin (z)

1
1
=
= 1;
cos (0)
sin0 (0)

e
1,
0,

IndT (k ) =
8

k=0
k 6= 0

En resumen:
Z

dz
= i2 Res (csc; 0) IndT (0) = i2 :
sin (z)

La proposicin anterior admite el siguiente generalizacin a modo de corolario:

Corolario. Sean g y h funciones holomorfas en un disco D(a; r). Supongamos
que a es, respectivamente, un cero de orden k y de orden k + 1, para g y
h. Entonces, hg tiene un polo simple en a, y
Res

g k) (a)
g
; a = (k + 1) k+1) :
h
h
(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 proposiciones (que no sern usadas en ningn momento).
Proposicin. Sean g y h funciones holomorfas en un disco D(a; r). Si g(a) 6=
0, h(a) = 0, h0 (a) = 0 y h00 (a) 6= 0; entonces f := hg tiene un polo de orden
dos en a, y
2 g(a)h000 (a)
g 0 (a)
:
Res (f; a) = 2 00
h (a) 3 [h00 (a)]2
Proposicin. Sean g y h funciones holomorfas en un disco D(a; r). Si g(a) =
0, g 0 (a) 6= 0, h(a) = 0, h0 (a) = 0, h00 (a) = 0 y h000 (a) 6= 0, entonces f := hg
tiene un polo de orden dos en a, y
Res (f; a) = 3

g 00 (a)
h000 (a)

2 g 0 (a)h4) (a)
:
3 [h000 (a)]2

Proposicin. Sean g y h funciones holomorfas en un disco D(a; r). Si g(a) 6=

0, h(a) = 0 = h0 (a) =
= hk 1) (a) = 0 y hk) (a) 6= 0, entonces f := hg
tiene un polo de orden k en a, y el nmero Res(f; a) vale:

k!
hk) (a)

hk) (a)
k!
hk+1) (a)
(k+1)!
hk+2) (a)
(k+2)!

hk) (a)
k!
hk+1) (a)
(k+1)!

..
.

..
.

..
.

h2k 1) (a)
(2k 1)!

h2k 2) (a)
(2k 2)!

h2k 3) (a)
(2k 3)!

g(a)

g 0 (a)

k)

(a)
k!

..
.

0
..
.
hk+1) (a)
(k+1)!

g 00 (a)
2!

..
.
g k 1) (a)
(k 1)!

donde j j denota el determinante de una matriz cuadrada de orden k.

Aplicaciones del Clculo con Residuos.
9

Uno de los hechos verdaderamente atractivos del anlisis complejo es su capacidad 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 algunas sumas de series.
Resultar especialmente interesante cuando no podamos obtener una primitiva 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
Z
dz
=p ;
z4 + 1
2
donde

es la suma de las curvas

(t) : = t;
it
2 (t) : = re ;

r t r
0<t<

para r > 1. As,

p =
2
Por tanto, y como
Z

r
r

dt
+
4
t +1

ireit
dt
r4 ei4t + 1

ireit
dt:
r4 ei4t + 1

r
r4

! 0;

r ! +1;

obtendramos, tomando lmites formales, el llamado valor principal de Cauchy:

Z +1
Z x
dt
dt
=: (vp)
=p :
lim
4+1
4+1
0<x!+1
t
t
2
x
1
Pero, a su vez, y como
t4
las integrales

R0

dt
1 t4 +1

1
1
' 4;
+1
t

R +1
0

dt
t4 +1

t ! +1;

convergen (es decir, existe

lim

a! 1
b!+1

10

tomando lmites por separado en ambos extremos). Por tanto, podemos concluir
R +1 dt
que el valor principal de Cauchy para
es, realmente, el valor de la
1 t4 +1
propia integral:
Z +1
dt
=p :
4
2
1 t +1
R +1 dt
p
(Resulta que el valor 0
t4 +1 = 2 2 se puede obtener igualmente por mtodos
reales, pero son largos y tediosos.)
Otro ejemplo:

Comprobemos que
Z +1

dt
(t2

Con

+ 1)

como arriba, pudimos obtener (en el primero de los ejemplos) que

Z
dz
2 = 2;
2
(z + 1)

concretamente
2
donde

r
r

ireit
(r2 ei2t

dt
2

(t2 + 1)

ireit

+1
1

! 0;

1)

dt
(t2

2 dt;

(r2 ei2t + 1)

(r2

+ 1)

2 dt

y as

+ 1)

r ! +1;

(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: haciendo el cambio de variables t = tan , tendremos
Z

+1
1

dt
2

(t2 + 1)

=
=

+2
2

+2
2

sec2
d =
sec4

+2

cos2 d

1 + cos 2
1
d =
2
2

1
sin 2
2

+2

=
2

Las dos integrales que aparecen en los ejemplos precedentes son casos particulares del siguiente teorema:
Teorema. Sea f 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.

f es meromorfa en

con un nmero nito de polos p1 ; :::; pn :

b.

f no tiene polos en el eje real (Im pk > 0; 1

zf (z) ! 0 uniformemente en
R +1
R0
d. 0 f e 1 f convergen.
Z

n).

, si jzj ! +1:

c.

Entonces

+1

f = i2
1

n
X

Res (f; pk ) :

k=1

Demostracin. Sea la frontera del semicrculo superior de centro en el

origen y radio arbitrario r > 0:
Z
Z r
Z
f+
f rei irei d :
f=
r

Por c., dado " > 0, existe k > 0 tal que

z2

: jzj > k ) jzf (z)j < ":

As,
r>k)

f rei

irei d

< ";

luego haciendo r ! +1 y aplicando el teorema de los residuos, nos queda:

(vp)

+1

f = i2
1

n
X

Res (f; pk ) :

k=1

Finalmente, la condicin d. nos hace despreciar (vp). Q.E.D.

Ejemplo.

Calculemos

+1
1

x2

cos x
dx
+ 2x + 4

Resolucin. No siempre va a ser fcil dar con la funcin compleja a considerar. En este caso, por ejemplo, estaremos motivados, sin duda, a elegir
f (z) :=

cos z
;
z 2 + 2z + 4

8z 2 nf 1

p
p
i 3; 1 + i 3g;

donde el abierto est en las condiciones del teorema. (Vale, por ejemplo, =
fz 2 C : Im z > 1g. La clave: contener a todo el semiplano superior y dejar
fuera cuantos ms polos, mejor.) Pero esta eleccin para la funcin f no es
buena:
1
cos (iy) = cosh (y) ' ey ; y ! +1;
2
de donde se sigue que falla la hiptesis c. en el teorema.

12

Sin embargo, muy relacionada con la anterior estar la funcin

f (z) :=

1g. Aqu, usando que eix = 1, je

donde = fz 2 C : Im z >
jzj sucientemente grande:
jzf (z)j =

p
8z 2 nf 1 + i 3g;

exp (iz)
;
z 2 + 2z + 4

z exp (ix) exp( y)

z exp (iz)
=
z 2 + 2z + 4
z 2 + 2z + 4

jzj

jzj

2 jzj

j < 1 y para

! 0:

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

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

e ie 3
ei( 1+i 3)
p
p
=
2( 1 + i 3) + 2
i2 3

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

e 3
p [ sin (1)
2 3

i cos (1)] ;

con lo que el teorema anterior nos dice que:

Z +1
p
exp (ix)
3 =p e
dx
=
i2
Res
f;
1
+
i
2
3
1 x + 2x + 4
de donde

y, de propina,

Z
Z

+1
1

+1
1

x2

cos x
dx = p e
+ 2x + 4
3

sin (x)
dx = p e
x2 + 2x + 4
3

e i;

cos 1;

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
f 2 H( ) :
13

T:

(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
iat

cos (at) = e +e
2
ibt
sin (bt) = e i2e

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

ibt

Calculemos

= z +z
2
b
b
= z i2z
dz
iz = dt

y es buen momento para ejemplicarlo:

Ejemplo.

iat

za + z
2

9
>
=
>
;

zb

z
i2

dz
;
iz

d
:
2
+
cos
0
Resolucin: Realizamos clculos directamente:
Z 2
Z
Z
d
1
dz
i2
=
dz
1
1 iz =
2 + 4z + 1
2
+
cos
z
2
+
z
+
0
T
T
2
z
Z
i2
p
p dz
=
3 z+2
3
T z+2+
p
g
= i2 Res f := ; 2 + 3
h
i2
2
p
= i2
=p :
2 2+ 3 +4
3
p
3 est en la componente conexa no acotada
(Observemos aqu que 2
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 p1 ; :::; 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 +1

f (x)eiax dx = i2

n
X
j=1

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

14

Res (g; pj ) ;

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

j n
z : jzj R; Im z > 0
x R

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
n
X
g = i2
Res (g; pj ) :
j=1

Pero, por otra parte:

Z
Z v
Z
iax
g =
f (x)e dx +
u

u+v

f (v + iy)eiav

f (x + i(u + v))eiax

a(u+v)

dx

ay

dy
u+v

f ( u + iy)eiau

ay

dy:

Veamos cmo son las tres ltimas integrales de esta expresin. Tengamos presentes las condiciones bajo las que han sido elegidas x; y y u + v:
Z u+v
Z u+v
e ay dy
"
f (v + iy)eiav ay dy
0

f (x + i(u + v))eiax

a(u+v)

dx

"
1 e a(u+v)
=
aZ
v
e a(u+v) dx
"

"
a

u+v

f ( u + iy)eiau

ay

dy

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

a(u+v)

ay

dy

En consecuencia:
Z v

f (x)eiax dx

i2

n
X

Res (g; pj )

j=1

"

"
"
a

2
+1
a

de donde se sigue lo deseado sin ms que hacer u; v ! +1. Q.E.D.

Observacin: si en vez del contorno hubisemos optado por la semicircunferencia superior de radio r > 0; el resultado obtenido hubiera sido:
Z +1
n
X
(vp)
g(x)dx = i2
Res (g; pj ) :
1

j=1

Es decir, que podra ser que obtuvisemos un resultado incoherente caso de no

existir la integral.
15

Ejemplo.

Calcula

+1

x sin (x)
dx;
x2 + b2

b > 0:

Resolucin. Pongmonos en las condiciones del lema de Jordan:

f (z) :=

z2

z
;
+ 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) := eiz f (z):
ibe b
e b
Res (g; ib) =
=
;
i2b
2
y, por tanto,
Z +1
xeix
dx = i e b ;
2
2
1 x +b
de donde, igualando partes imaginarias:
Z +1
x sin (x)
dx = e
2
2
1 x +b

Ahora bien, la funcin a integrar es par; por tanto:

Z +1
e b
x sin (x)
dx
=
:
x2 + b2
2
0
Observemos que, como extra, obtenemos algo que ya conocemos para las
funciones impares:
Z +1
x cos x
dx = 0:
2
2
1 x +b
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
: = a + tei ; 8t 2 [0; r]
i
2 (t) : = a + re ; 8 2 [ ; ]
t) ei ; 8t 2 [0; r]
3 (t) : = a + (r

1 (t)

para r > 0 y 0 <

< 2 :) Entonces:
Z
lim
f = i(
) Res (f; a) :

r!0

16

Demostracin. El desarrollo en serie de Laurent de f en un entorno perforado D(a; r)nfag de a, nos da:
+1

f (z) =

Res (f; a) X
+
an (z
z a
n=0

a) :

Si denimos la funcin
Res (f; a)
z a

g(z) := f (z)

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; )
0<r<

y, por tanto,
lim

r!0

Mr (

);

g = 0:
r

Ahora bien, como

Z

Res (f; a)
dz = Res (f; a)
z a

riei
d = i Res (f; a) (
rei

);

dado un " > 0, para r sucientemente pequeo, podemos razonar as:

Z

i Res (f; a) (

) =

Mr (

) < ":

Q.E.D.

Veamos cmo es efectivo este lema mediante un ejemplo concreto:

Ejemplo.

Comprueba que
Z

+1

sin (x)
dx = :
x
2
iz

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

i0
en el origen, con residuo e1 = 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
: = [r; v; v + i (u + v) ; u + i (u + v) ; u; r] ; 0 < r < u; v
re it ;
0 t
2 (t) : =
1

17

Todo queda anlogo al lema de Jordan, salvo la integral sobre R. Nuevamente, el teorema de los residuos viene en nuestra ayuda:
!
Z +1 !
Z r Z
X
g=0
=
+
1

(donde el signo negativo en la segunda integral indica el recorrido en sentido

negativo que se ha considerado).
Aplicando el lema:
Z
eiz
lim
dz = i ;
r!0
z
2
luego

+1

g=i ;
1

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:
Z +1
Z r
cos x
cos x
dx +
dx = 0;
lim
x
x
r!0+
+r
1
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
1
cos x
' ;
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

f (x) :=

p(x)
; 8x 2 R
q(x)

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:
18

Proposicin.

Con p y q polinomios primos entre s, tales que

q(x) 6= 0; 8x 2 R y grad (q)

se tiene que

+1

p(x)
dx = i2
q(x)

grad (p)

2;

p
;a :
q

Res

q(a)=0
Im a>0

Demostracin. Paso 1o : Eleccin de la conveniente funcin compleja a

integrar:
f (z) :=

p(z)
; 8z 2 CnA;
q(z)

A := fz 2 C : q(z) = 0g :

Paso 2o : Eleccin del ciclo sobre el que integrar: para ; ; > 0, sea
:= [

; ;

+i ;

+i ;

(con orientacin positiva, contraria a la de las agujas del reloj, de modo que el
paso al lmite con y tendiendo a +1, tenga coherencia con la integracin
en R).
Paso 3o : Aplicacin del teorema de los residuos. Para ello, bastar tomar:
9
> maxfRe z : z 2 Ag =
\A=?
< minfRe z : z 2 Ag
)
es
C-nulhomlogo,
;
> maxfIm z : z 2 Ag

de donde

f = i2

Res (f; a) Ind (a) :

a2A

Paso 4o : Clculo efectivo de residuos e ndices.

a2A)
de donde

Im a > 0 ) Ind (a) = 1

Im a < 0 ) Ind (a) = 0
X

f = i2

Res (f; a)

a2A
Im a>0

R
R +1
Paso 5o : Encontrar la relacin entre las integrales f (z)dz e 1 f (x)dx.
R
Llamemos I := f (z)dz, e igualmente, demos nombres:
1

:= [ ;

+ i ];

:= [ + i ;

y tambin
Ik :=

f;
k

+ i ];

k 2 f1; 2; 3g:
19

:= [

+i ;

];

De este modo

f =: I =

f (x)dx +

3
X

Ik :

k=1

Objetivo: reducir el sumatorio a cero... y cosas de la vida?, llo se lograr

cuando ; ! +1!
2
p(z)
Como existe limz!1 zq(z)
2 C, existirn tambin R; M > 0 tales que
p
(z)
q

jzj > R ) jf (z)j =

2;

jzj

y
z2

2;

2 [R; jzj] ) jI2 j

( + );

pues jf (z)j M2 , en este caso.

Por otro lado, si
R:
Z
Z
jI1 j =
f ( + it) idt
jf ( + it)j dt
0
0
Z
M
M
M
dt =
arctan
:
2
2
2
+
t
0
Tambin tenemos, razonando de modo anlogo, que
M
:
2

R ) jI3 j
En resumen:
Z
I
f (x)dx
Pues bien, para ;

1
2

R jos, haciendo
I

M;

8 ; ;

R:

! +1, se tiene que

1

f (x)dx

de donde haciendo lo propio con

Ejemplo.

M;

y , se sigue lo deseado. Q.E.D.

Calculemos
Z

+1
1

dx
n
(1 + x2 )

(n 2 N)

Resolucin. Llamemos f a la funcin del integrando en su forma compleja: presenta un nico polo (a considerar) de orden n en a = i: As, como las

20

integrales

f (z)dz e
Z

+1
1

R +1
1

f (x)dx son iguales:

dx
n
(1 + x2 )

= i2 Res (f; i)
= i2

1
(n

dn
1)! z!i dz n

lim

1
n
(z + i)

n 1

( 1)
(2n 2)!
i2
(n 1)! (n 1)!22n 1 i2n 1
(2n 2)!
:
(n 1)!2 22n 2

=
=

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 exclusivamente reales). La clave la encontramos en el comportamiento de dos funciones
complejas de variable compleja muy concretas, la cotangente y la cosecante:
z ! cot ( z) ;

z ! csc ( z)

las cuales tienen, ambas, polos simples en cada z 2 Z. De hecho, stos son sus
nicos polos, pues
sin ( z) = 0 , z 2 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 meromorfas bajo ciertas restricciones, nos conformaremos con enunciarlos y probarlos para funciones racionales R en el plano complejo C. Concretamente,
para R := p=q, con p y q polinomios primos entre s, veremos dos resultados; el
primero para grad(q) grad(p) 2, y el segundo cuando grad(q) = 1+ grad(p).
Comenzamos con un sugestivo lema sobre acotacin de las dos funciones
arriba citadas:
Lema.

Para cada n 2 N, consideremos el camino

n+

1
2

( 1

Sea B := [n

n.

i) ; n +

1
2

(1

i) ; n +

1
2

dado por

(1 + i) ; n +

1
2

( 1

i)

Entonces existen constantes positivas k1 y k2 tales que:

jcot ( z)j

k1 ; jcsc ( z)j

21

k2 ;

8z 2 B:

Demostracin. Probaremos la primera de las desigualdades; en la segunda

se puede proceder de modo anlogo. Para z = x + iy se tienen
jsin (z)j

jsinh (y)j y jcos (z)j

jcos (x)j + jsinh (y)j ;

y, con z 2 B, existe un natural n tal que z 2

posibilidades:
a. jxj = n + 21 y jyj n + 12 )
y=
6 0 ) jcot ( z)j 1
y = 0 ) jcot ( z)j = 0
b. jyj = n +

1
2

y jxj

n+

1
2

n.

Y as, tendremos dos

1 + jsinh ( y)j
1
=1+
jsinh ( y)j
jsinh ( y)j
2
2
= 1 + jyj
= 1+
y
y
je
e
j
e
e jyj
2
1+ 3
=: k
2
e
1
En cualquier caso, haciendo k1 := maxfk; 1g, tenemos lo deseado. Q.E.D.
jcot ( z)j

Teorema. Sean p y q polinomios primos entre s, y tales que grad(q)

2. Entonces:
+1
X
X
p
(k) =
Res (g; a) ;
q
k= 1
q(k)6=0

q(a)=0

donde

p(z)
;
q(z)
siendo A el conjunto de los ceros de q:
g(z) :=

8z 2 Cn (Z [ A) ;

cot ( z)

Demostracin. Consideremos n 2 N tal que

n + 1=2 > maxfjRe aj ; jIm aj ; a 2 Ag:
Aplicando el teorema de los residuos:
0
1
Z
+n
X
X
B
C
g = i2 @
Res (g; a) +
Res (g; k)A :
a2A

k= n
k2A
=

Como para los polos de g que no son ceros de q podemos razonar as:
Res (g; k)

=
=
=

lim (z

z!k

k) g(z) = lim (z
z!k

k) cot ( z)

z
k
p(z)
cos ( z)
sin ( z) sin ( z)
q(z)
cos ( z) p(z)
p(z)
=
;
cos ( z) q(z)
q(z)
lim

z!k

22

p(z)
q(z)

grad(p)

la frmula anterior, nos dice

0

BX
Res (g; a) +
g = i2 B
@
a2A

+n
X

k= n
q(k)6=0

p C
(k)C ;
q A

y, por tanto, el objetivo es hacer cero el primer miembro cuando hagamos n !

+1.
Pero, por otro lado, como grad(q) grad(p) 2,
9R; M > 0 : jzj

R)

p
(k)
q

2:

jzj

Si, adems,
z2

: n > R ) jzj

Usando k1 > 0 del lema:

Z
1
1
g
i2
2
n
de donde
lim
n

Ejemplo.

k1

n + 1=2 > R )

M
(8n + 4) ! 0;
n2

+n
X
p
(k) =
q

k= n
q(k)6=0

p
(k)
q

M
:
n2

si n ! +1;

Res (g; a) :

Q.E.D.

a2A

Comprobemos que
+1
2
X
1
=
:
n2
6
n=1

Resolucin. Llamemos p(z) := 1; q(z) := z 2 ; para z 2 C. As

+1
+1
X
X
p
1
(k) =
=
q
k2

k= 1
q(k)6=0

k= 1
k6=0

donde
g(z) :=

cot ( z)
;
z2

Como

Res (g; 0) ;

8z 2 CnZ:
2

Res (g; 0) =
entonces

Res (g; a) =

q(a)=0

+1
+1
X
1
1 X 1
=
=
n2
2
k2
n=1

1
2

k= 1
k6=0

23

;
2

Teorema. Sean p y q polinomios primos entre s, y tales que grad(q) >

grad(p). Entonces:
+1
X

( 1)

k= 1
q(k)6=0

donde
g(z) :=

p
(k) =
q

csc ( z)

Res (g; a) ;

q(a)=0

p(z)
;
q(z)

8z 2 Cn (Z [ A) ;

siendo A el conjunto de los ceros de q:

Demostracin. Razonando como en la demostracin anterior, ahora para
k 2 ZnA:
Res (g; k)

1
p(z)
sin ( z) q(z)
p(z)
z
k
= lim
z!k sin ( z)
sin ( z) q(z)
p(z)
k p(z)
= ( 1)
:
= cos ( k)
q(z)
q(z)
=

lim (z

z!k

k)

Por tanto, el teorema de los residuos nos da:

0
1
Z
+n
X
BX
C
k p
g = i2 B
Res (g; a) +
( 1) (k)C
:
@
q A
n
a2A

k= n
q(k)6=0

Ahora, si grad(q) grad(p)

2, razonaramos como arriba. Supongamos,
por tanto que grad(q) grad(p) = 1. En esta situacin, han de existir 2 C y
p0 y q0 primos entre si, con grad(q0 ) grad(p0 ) 2; vericando
p
p0
(z) = + (z);
q
z
q0
y, por tanto,
Z
Z
g=
n

csc ( z)
dz +
z

8z 2 CnA;

csc ( z)
n

p0 (z)
dz =: I1 + I2 :
q0 (z)

Pero, I1 = 0 (por ser la integral de una funcin par) e I2 ! 0 cuando

n ! +1. Luego el resultado es el deseado. Q.E.D.
Ejemplo.

Calculemos
+1
n
X
( 1) n
:
n2 + 1
n=1

24

Resolucin. Como la funcin

z
z2 + 1

z!
tiene polos simples en i y
para la funcin

i; consiste en calcular los rediduos en dichos puntos

z csc ( z)
:
z2 + 1

z ! g(z) :=
Por tanto,
+1
n
X
( 1) n
n2 + 1
n=1

1
( 1) [
2

1
[ Res (g; i) + Res (g; i)] = :
2
4

Res (g; i)

Res (g; i)]

EJERCICIOS PROPUESTOS.
1. Supongamos que a es un polo simple para f . Puede ser Res(f; a) = 0?
2. Existen funciones f con polos de orden k
0?

2 en a y tales que Res(f; a) =

3. Sean f y g dos funciones holomorfas en un entorno perforado de a 2 C.

Sean ; 2 C. Prueba que
Res ( f + g) = Res (f; a) + Res (g; a) :
4. Considera
f (z) := exp

1
z

exp (2z) ; 8z 2 Cnf0g;

y calcula Res(f; 0).

5. Prueba que
2
1
z2
1
= 2+ +
+ o z3
1 cos z
z
6 120
y aplcalo para calcular Res(f; 0) ; donde
f (z) :=

1
z3

(1

cos z)

; 8z 2 Cnf0g:

6. Prueba que
1
1 z
7z 3
= + +
+ o z4
sin z
z
6 360
y aplcalo a la determinacin de Res(f; 0) ; donde
f (z) :=

z4

1
; 8z 2 Cnf0g:
sin z

25

7. Sea a un cero de orden n para una funcin holomorfa g. Prueba que, para
> 0 conveniente, la funcin
f (z) :=

1
; 8z 2 D (a; ) nfag
g(z)

tiene un polo de orden n en a. Cunto vale Res(f; a)?

8. Sea g una funcin holomorfa en a. Calcula Res(f g; a) cuando:
(a) f tiene polo simple en a con residuo :
(b) f tiene polo de orden k en a con parte principal
c 1
c 2
c k
+
+ ::: +
:
k
z a (z a)2
(z a)
9. Sea a una singularidad aislada de una funcin f . Prueba que tambin lo
es para su derivada f 0 . Cunto vale Res(f 0 ; a)?
10. Sea f una funcin holomorfa en un entorno perforado de a 2 C. Calcula
0
Res ff ; a si:
(a) a es cero de orden n de f:
(b) a es polo de orden n de f:
Prueba que, en ambos casos, a es polo simple de

f0
f :
0

11. Sean f 2 H (D(a; r)nfag) y ' 2 H (D(a; r)). Calcula Res ' ff ; a si:
(a) a es cero de orden n de f:
(b) a es polo de orden n de f:
12. Sean ' 2 H (D(a; r)) y f 2 H (D(' (a) ; )nf' (a)g), con ' (a) 6= 0 un
polo simple de f con residuo a 1 . Calcula Res(f '; a) :
R
13. Calcula la integral f (z) dz, donde f (z) := z(z1 1) , 8z 2 Cnf0; 1g y es
fz 2 C : Re z > 0g.
cualquier camino cerrado rodeando a 1 y tal que
(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
Z
dz
:
C(1;6) z (1 + z)
15. Prueba que para cada natural n, se tiene
Z 2
n
(1 + 2 cos t) cos nt
2
dt = p 3
3
+
2
cos
t
5
0
26

16. Prueba que, para 0 < a < 1, se tiene

Z 2
cos2 3t
dt =
2
1+a
2a cos 2t
0

a2
1

a+1
:
a

17. Prueba que para cualquier a > 0, se tiene

p
Z +1
x6 dx
3 2
=
:
4
4 2
8a
1 (x + a )
18. Integrando la funcin

z
a e iz
(a > 1) a lo largo de la poligonal [ ; ; + in;
+ in;
prueba que
Z
x sin x
2
1+a
dx =
ln
:
1 + a2 2a cos x
2
a
z!

] (n 2 N),

19. Dado un nmero natural n 2, intgrese una funcin compleja adecuada

a lo largo de la frontera del sector circular
D (0; R) \ z 2 Cnf0g : 0 < arg z <
para probar que

+1

2
n

dx
= csc :
1 + xn
n
n

20. Integrando una conveniente funcin compleja a lo largo de la frontera de

la mitad superior del anillo A (0; "; R), prueba que para 1 < < 3, se
verica
Z +1
x
) sec
:
2 dx = 4 (1
2
(1 + x2 )
0
21. En los siguientes ejercicios consiste en probar las frmulas dadas o bien
obtener las sumas correspondientes:
a.
b.

+1
P

1
n4 a4

n=1
+1
P

n= 1
+1
P

1
2a4

[cot ( a) + coth ( a)]

1
;
(3n+1)2

1
= 2
(n+a)2
n= 1
+1
P ( 1)n
2
d.
= 12 ;
n2
n=1
+1
P 1
4
e.
n4 = 90 ;
n=1
+1
P ( 1)n
3
f.
= 32 :
(2n+1)3
n=0

c.

4a3

csc ( a)

27

(a 2 CnZ) ;

(a 2 CnZ) ;

22. Como arriba, consiste en probar las frmulas dadas o bien obtener las
sumas correspondientes:
a.
c.

+1
P

1
n2 +a2

n=1
+1
P

n= 1

( 1)n
(n+a)2

1
2a

1
2a2

coth ( a)

(0 < a < 1) ;

csc ( a) cot ( a) ;

b.
d.

+1
P

( 1)n
n2 +a2 ;

n=1
+1
P

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
v (x; y) := Im ' (z) = Im ' (x + iy) ;
Prueba que
Z 2
0

8 (x; y) 2 :

x sin
v (cos ; sin ) d = ' (x) ;
2x cos + x2

8x 2 ] 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:
R
R
a. jzj=2 exp z12 dz
b. jzj=2 sin z1 dz
R
R
d. jzj=2 z1 sin z1 dz
c. jzj=2 cos z1 dz
R
R
e. jzj=2 z1 cos z1 dz
f. jz+i+1j=4 z 3 cos z1 dz
R
R
1
g. jzj=4 (z 1)(z
h. jzj=3 z21 1 dz
3) dz
R
R
z
i. jzj=1 z sin
j. jzj=R>1 z21+1 dz
sinh z dz

25. Prueba que

+1

=100
dx
=
:
+1
sin ( =100)

x100

26. Prueba, usando el teorema de los residuos, que para 0 < b < a, se tiene
Z 2
p
sin2 t
dt = 2 a
a2 b2 :
a + b cos t
b
0
27. Prueba que para cualesquiera a; b > 0, se tiene
Z +1
(a + 2b)
dx
2 =
2:
2
2
2
2
2ab3 (a + b)
1 (x + a ) (x + b )
28. Integrando la funcin
z!

e2iz

z2
a lo largo de la mitad superior del anillo A (0; "; R), prueba que
Z +1
2
(sin x)
dx = :
x2
2
0
28

29. Calcula, mediante el teorema de los residuos, la integral

Z
dz
:
z
(1
+ z)
C(1;6)
30. Calcula

1
z sin dz:
z
jzj=2

Podras hacerlo con ayuda de teoremas o frmulas de tipo Cauchy?

31. Responde a las siguientes cuestiones:
R +1 x
(a) Explica porqu no se puede evaluar la integral 0
x4 +1 dx por medio
de un contorno semicircular en ninguno de los dos hemisferios (semiplanos superior e inferior).
(b) Para r > 1, considera la curva

dada por

[ir; 0] + [0; r] + rei : 0

=2 :

Prueba que
Z 0
Z
Z r
X
z
y
x
dx
dy+
dz = i2
Res
4
4
4
z +1
r y +1
0 x +1

z
;a
1 + z4

donde el sumatorio es en los polos a del primer cuadrante.

(c) Prueba que

+1

x
dx = =4:
x4 + 1

32. Prueba que para enteros no nulos m y n, con n m 2, se tiene que

Z +1 m
x dx
=
:
n+1
x
n sin [ (m + 1) =n]
0
(Indicacin: usa el mtodo del ejercicio anterior y el contorno de "la porcin de pizza" de ngulo 2 =n y radio r:)
33. Sean l y k enteros tales que l > 0 y l (k 1) 2. Prueba que
Z +1 1=l
u
du =
uk + 1
k sin [ (l + 1) = (lk)]
0
suponiendo u1=l real no negativa en su intervalo de integracin. (Indicacin: hgase x := u1=l y aplica el ejercicio anterior.)
34. Prueba que para cada natural n, se tiene
Z 2
2
:
ecos t cos (nt sin t) dt =
n!
0
29

35. Prueba que

+1
1

x sin ( x)
dx =
x2 5x + 6

5 :

36. Prueba que para 0 < < 2, se tiene

Z +1
Z +1
)
e x
t 1
2 sin 3 (1
dx
=
dt = p
:
x
2x
2
1+t+t
3 sin ( )
1 1+e +e
0
37. Intenta sumar la serie

+1
X
1
:
3
n
n=1

(No se conoce la respuesta exacta a este problema tan sencillo aparentemente. Su valor aproximado es de 1.201 y la funcin de Riemann tiene
mucho que ver con ella.)
38. Evala la integral

donde

2 ] 1; 1[,

2]

+1

x
dx
1 + 2x cos + x2

; [y

6= 0.

30