Tema 12

El teorema de los residuos

12.1

Singularidades aisladas de una funci

on

Definici
on 12.1 Sea f : A C. Se dice que f tiene una singularidad aislada en el punto
A, si existe un E(, r) tal que la funcion f es analtica en E (, r) y no lo es en E(, r).
Ejemplo 12.2
f (z) =

1
z

f (z) =

sen(z)
z

f (z) =

1
z(z+i)

f (z) =

1
ez 1

tiene una singularidada aislada en 0.

tiene una singularidada aislada en 0.
tiene una singularidada aislada en 0 y otra en i.

tiene una singularidada aislada en cada punto 2ki, con k ZZ.

f (z) = Log(z) tiene singularidades en cada punto de la semirecta {z = x + 0i : x 0},

por lo que ninguna es aislada.

12.1.1

Singularidades evitables de una funci

on

Definici
on 12.3 Sean A C, A y f analtica en A {}. Se dice que f tiene una
singularidad evitable en si existe una funcion g analtica en A, con g(z) = f (z) para todo
z 6= .
Es decir, si bastara con (re)definir el valor de f en para que f sea analtica en A.

Proposici
on 12.4 Si f tiene una singularidad evitable en , entonces f (z) =

n=0

en algun E (, r).

an (z )n

Demostracion:
Como f tiene una singularidad evitable en , existe g analtica en tal que g(z) = f (z)
para los z 6= y, por ser g analtica en , g(z) =

consiguiente, f (z) =

n=0

n=0

an (z

)n

en

an (z )n en alg
un E(, r) y, por

E (, r).

Ejemplo 12.5 f (z) = e z1 tiene una singularidad evitable en 0.

/ C)
En efecto, f : C {0} C, no esta definida en z = 0 ( 00
y es analtica en su dominio,
( z
e 1
z , si z 6= 0 es anal
luego tiene una singularidad aislada en 0. Y la funcion g(z) =
tica
1, si z = 0
en C, pues
0

g (0) = lim

z0

ez 1
z

ez 1 z
ez 1
ez
1
=
lim
=
lim
= .
2
z0
z0
z0
z
2z
2
2

= lim

Luego g es analtica en C y g = f en C {0}, en consecuencia, la singularidad es evitable.

Teor
a de variable compleja.

153

12 El teorema de los residuos

Ademas, como ez =

n
P
z
n! en C, para z 6= 0, se tiene que

n=0

1
ez 1
=
f (z) =
z
z

X zn
n=0

n!

1
=
z

!
X zn
n=1

n!

X
z n1

n!

n=1

zn
.
(n + 1)!
n=0

Proposici
on 12.6 Sean A C abierto, A y f una funcion analtica en A{}. Entonces,
f tiene una singularidad evitable en si, y solo si, lim f (z) C.
z

Demostracion:
=c Si f tiene una singularidad evitable en , por la proposicion 12.4, f (z) =
en algun E (, r), donde

P
n=0

P
n=0

an (z )n

an (z )n = g(z) en E(, r). Como g es analtica en , es

tambien continua en y, por tanto,

lim f (z) = lim g(z) = g() = a0 C.

=c Sea lim f (z) C. Sea h: A C la funcion definida por

z

h(z) =

(z )2 f (z), si z =
6
0, si z = .

Por ser (z )2 entera y f analtica en A {}, la funcion h es analtica para todo

z 6= . En z = ,
(z )2 f (z) 0
h(z) h()
= lim
= lim (z )f (z) = 0 lim f (z) = 0,
z
z
z
z
z
z
lim

h12.1i

luego h es derivable en , con h0 () = 0, y h es analtica en A.

En consecuencia, admite un desarrollo en serie de potencias en alg
un E(, r) que, como
h0 ()
a0 = h() = 0 y a1 = 1! = 0, sera de la forma
h(z) =

an (z)n = (z)2

n=2

an (z)n2 = (z)2

n=2

h(z) = (z
tiene una singularidad evitable en .

an+2 (z)n = (z)2 g(z),

n=0

an+2 (z )n es analtica
n=0
)2 f (z) en E (, r) luego f (z)

donde g(z) =

en E(, r), con g() = a2 . Ahora bien,

= g(z) en E (, r) y, por consiguiente, f

Corolario 12.7 Sean A C abierto, A y f una funcion analtica en A {}. Entonces,

(i) f tiene una singularidad evitable en si, y solo si, lim (z )f (z) = 0.
z

(ii) f tiene una singularidad evitable en si, y solo si, f est

a acotada en alguna E (, r).
Demostracion:
Si f tiene una singularidad evitable en , entonces lim f (z) C y, por tanto:
z

(i) lim (z )f (z) = 0

z

154

(ii) f esta acotada en alguna E (, r).

Teor
a de variable compleja.

12.1 Singularidades aisladas de una funcion

Recprocamente:
(i) Si lim (z )f (z) = 0, basta usar esto (en lugar de usar que lim f (z) C) en h12.1i
z
z
de la demostracion de la proposicion anterior, para obtener tambien que f tiene una
singularidad evitable en .
(ii) Si f esta acotada en alguna E (, r), entonces lim (z )f (z) = 0 y estamos en el caso
z
anterior.
Ejemplo 12.8 f (z) =
En efecto,

ez 1
z

tiene una singularidad evitable en 0.

ez 1
ez
= lim
= 1 C,
z0
z0 1
z
lim

12.1.2

o tambien,

lim z

z0

ez 1
= lim (ez 1) = 0.
z0
z

Polos de una funci

on

Definici
on 12.9 Sean A C, A y f analtica en A {}. Se dice que f tiene un polo
de orden m en cuando existen m n
umeros complejos b1 , b2 , . . . , bm , con bm 6= 0, tales que
la funcion
m
X
bk
f (z)
(z )k
k=1
tiene una singularidad evitable en . En este caso, a la funcion
p(z) =

m
X

bk
(z )k
k=1

se la llama parte principal de f en .

3

Ejemplo 12.10 La funcion f (z) = 1z+z

tiene un polo de orden 2 en z = 0.
z2
1
6 0,
En efecto, tomando b1 = 1 y b2 = 1 6= 0, se tiene p(z) = 1
z + z 2 y, para los z =
3
1z+z
1
1
f (z) p(z) = z 2 + z z 2 = z . Luego f (z) p(z) tiene una singularidad evitable en 0.
m
P

Observaci
on 12.11 Si f tiene un polo de orden m en y p(z) =

k=1

bk
(z)k

es la parte

principal de f en , como la funcion h(z) = f (z) p(z) tiene una singularidad evitable en ,
se tiene que h(z) =

n=0

forma

an (z )n en alguna E (, r) y, por tanto, f puede escribirse en la

f (z) = p(z) + h(z) =

m
X

X
bk
+
an (z )n
k
(z

)
n=0
k=1

en E (, r).
Proposici
on 12.12 Sean A C abierto, A y f una funcion analtica en A {}.
Entonces, son equivalentes:
a) f tiene un polo de orden m en .
b) lim (z )m f (z) 6= 0.
z

c) existe una funcion g analtica en A, con g(z) = (z )m f (z) en A {} y g() 6= 0.

Teor
a de variable compleja.

155

12 El teorema de los residuos

Demostracion:
a)=b)c

m
P

Si f tiene un polo de orden m en , sea p(z) =

principal. Entonces, en alg

un

E (, r)

k=1

se tiene que

bk
(z)k

, con bm 6= 0, su parte

m
X
X
X
bk
k
n
b
(z

)
+
an (z )n
+
a
(z

)
=
n
k
k
(z

)
n=0
n=0
k=1
k=1
m
X

f (z) =

y, por tanto, que en E (, r) es

m
X

(z ) f (z) =

mk

bk (z )

an (z )n+m

n=0

k=1

= bm + bm1 (z ) + + b1 (z )m1 +

an (z )n+m .

n=0

En consecuencia, lim (z )m f (z) = bm 6= 0.

z

b)=c)c Si lim (z )m f (z) 6= 0, la funcion (z )m f (z) tiene una singularidad evitable

z
en y, por tanto, existe g analtica tal que g(z) = (z )m f (z) en A {}, con g() =
lim g(z) = lim (z )m f (z) 6= 0.
z

c)=a)c

Como g es analtica en , admite un desarrollo en serie de potencias g(z) =

an (z )n en E(, r), con a0 = g() 6= 0. En consecuencia, como g(z) = (z )m f (z)

n=0

para los z 6= , se tiene que

X
g(z)
=
an (z )nm
(z )m n=0
a0
a1
am1
+ am + am+1 (z ) + + an (z )nm + .
=
+
+ +
m
m1
(z )
(z )
z

f (z) =

con a0 6= 0, luego f tiene un polo de orden m en .

12.1.2.1

Ceros de las funciones analticas

Lema 12.13 Sea f analtica en con f () = 0. Entonces existe un E(, r) tal que o
(i) f (z) = 0, para todo z E(, r), o
(ii) f (z) 6= 0, para todo z E (, r).
Demostracion:

Como f es analtica en y f () = 0, puede escribirse f (z) =

n=0

E(, ), con a0 = f () = 0. Entonces:

Si, para todo n, es an = 0, se tiene que f (z) =

an (z )n en alg
un

0 = 0 para todo z E(, )

n=0

Si, existe alg

un an 6= 0, sea m 1 el primer ndice para el cual am 6= 0, es decir,
a0 = = am1 = 0 y am =
6 0, entonces
f (z) =

an (z )n =

an (z )n = (z )m

n=m

n=0

= (z )m

an (z )nm

n=m

an+m (z )n = (z )m h(z)

n=0

156

Teor
a de variable compleja.

12.1 Singularidades aisladas de una funcion

donde h analtica en E(, r) por ser una serie de potencias y h() = am 6= 0.

Por consiguiente, como h() 6= 0 y h es continua existe un entorno E(, r) E(, ) en el
cual h(z) 6= 0, y como (z )m 6= 0 para todo z 6= , se tiene que f (z) = (z )m h(z) 6= 0
para todo z E (, r).
Proposici
on 12.14 Sean A C abierto, A y f una funcion analtica en A que tiene un
cero de orden m en . Entonces la funcion 1/f tiene un polo de orden m en .
Demostracion:
Por hipotesis, f (z) = (z )m g(z) con g analtica en A y g() 6= 0. Entonces, g(z) 6= 0
en alguna E(, r) y f (z) 6= 0 en E (, r), por tanto, la funcion 1/g es analtica en E(, r) y
1
la funcion f (z)
= (z)1m g(z) es analtica en E (, r), y se tiene que
lim (z a)m

1
(z a)m
1
1
= lim
= lim
=
6= 0
m
z
z
f (z)
(z ) g(z)
g(z)
g()

Luego 1/f tiene un polo de orden m en .

Proposici
on 12.15 Sean A C abierto, A y f una funcion( analtica en A {} que
1
f (z) , si z 6= tiene un
tiene un polo de orden m en . Entonces la funcion (1/f ) (z) =
0, si z =
cero de orden m en y es analtica en una bola de centro .
Demostracion:
Como f tiene un polo de orden m en , existe una funcion g analtica en A, con g(z) =
(z )m f (z) en A {} y g() 6= 0. Luego en alguna E(, r) es g(z) 6= 0 y, por tanto, la
m
1
1
m 1
funcion g(z)
= f (z)(z)
tica en dicha bola. Entonces, la funcion (z)
m es anal
g(z) = (z ) g(z)
1
6= 0, tiene un cero de orden m en . Pero
es analtica en E(, r) y, como g()
(z )m
=
g(z)

1
f (z) ,

si z 6=
0, si z =

= (1/f ) (z),

de donde tenemos el resultado propuesto.

Proposici
on 12.16 Sean A C abierto, A, g una funcion analtica en A que tiene un
cero de orden p en , h una funcion analtica en A que tiene un cero de orden q en y
g(z)
f (z) = h(z)
en A {}. Entonces:
a) si p q , f tiene una singularidad evitable en .
b) si p < q , f tiene un polo de orden m = q p en .
Demostracion:
Por hipotesis, g(z) = (z )p g1 (z), con g1 () 6= 0, y h(z) = (z )q h1 (z), con h1 () 6= 0,
entonces g1 (z) 6= 0 y h1 (z) 6= 0 en una E(, r) y la funcion f1 (z) = hg11(z)
tica en
(z) es anal
E(, r), con f1 () 6= 0. Por tanto,
f (z) =

(z )p g1 (z)
g1 (z)
= (z )pq
= (z )pq f1 (z)
q
(z ) h1 (z)
h1 (z)

en E (, r) y, se tiene:
Teor
a de variable compleja.

157

12 El teorema de los residuos

(i) si p > q , lim f (z) = 0 C, luego f tiene una singularidad evitable en .

z

Ademas, la funcion f (z) = (z )pq f1 (z) en E(, r) es analtica en y tiene un cero

de orden p q en .
(ii) si p = q , lim f (z) = f1 () C, luego f tiene una singularidad evitable en .
z

Ademas, la funcion f (z) = f1 (z) en E(, r) es analtica en y f () 6= 0.

(iii) si p < q , lim (z )qp f (z) = lim f1 (z) = f1 () 6= 0, luego f tiene un polo de orden
z
z
m = q p en .

12.1.3

Singularidades esenciales de una funci

on

Proposici
on 12.17 Sean A C abierto, A y f una funcion analtica en A {}.
Entonces ha de verificarse uno de los siguientes enunciados:
a) f tiene una singularidad evitable en .
b) f tiene un polo en .
c) Para cada w C existe una sucesion {zn }nIN tal que zn y f (zn ) w .
#Demostracion#
Supongamos que no se cumple c). Es decir, para alg
un w0 C y alg
un > 0 existe
un E(, r) tal que para todo z E (, r) se verifica que |f (z) w0 | > , entonces la funcion
1
es analtica en E (, r) y, como |g(z)| < 1 , esta acotada, luego se puede extender
g(z) = f (z)w
0
a una funcion analtica en E(, r).
1
Si g() 6= 0, entonces existe E(, ) tal que |g(z)| k , luego |g(z)|
k1 en E(, ) y, en
1
consecuencia, f (z) = w0 + g(z)
esta acotada en E (, ). Por tanto, f tiene en una
singularidad evitable.

Si g() = 0, existe m IN tal que g(z) = (z )m g1 (z), con g1 tambien analtica en

m
en
E(, ) y g1 () 6= 0. Entonces la funcion g11 es analtica en E(, ) y g11(z) = (z)
g(z)
E (, ) admitira un desarrollo en serie de potencias h(z) =

n=0

Como para todo z E (, ) es f (z) w0 =

1, 2, . . . , m, se tiene que
f (z)

h(z)
(z)m

an (z )n .

, poniendo bn = amn para n =

m
X

X
bn
=
w
+
an (z )nm
0
n
(z

)
n=m
n=1

luego f tiene un polo de orden m en .

Definici
on 12.18 Sean A un subconjunto abierto de C, A y f una funcion analtica en
A {}. Se dice que f tiene una singularidad esencial en el punto cuando se verifica la
condicion c) de la proposicion anterior.
158

Teor
a de variable compleja.

12.2 El teorema de los residuos

12.2

El teorema de los residuos

Definici
on 12.19 Sea f una funcion con un polo de orden m en un punto y sea
p(z) =

m
X

bk
b1
bm
=
+ +
k
1
(z )
(z )
(z )m
k=1

su parte principal. El n
umero complejo b1 se llama residuo de f en y se designa por
Res(f, ).
Proposici
on 12.20 Sea f una funcion que tiene un polo de orden m en un punto y sea
g(z) = (z )m f (z). Entonces
Res(f, ) =

1
lim g (m1) (z).
(m 1)! z

Demostracion:
Como f tiene un polo de orden m,
m
X

m
X
X
bk
bk
n
f (z) =
+
an (z ) =
+ h(z)
k
(z )
(z )k
n=0
k=1
k=1

en algun E (, r), luego

g(z) = (z )m f (z) = bm + bm1 (z ) + + b1 (z )m1 +

an (z )n+m

n=0

y derivando m 1 veces y pasando al lmite cuando z tiende a resulta

lim g (m1) (z) = (m 1)!b1 = (m 1)! Res(f, ).

Teorema de los residuos 12.21 Sean A un subconjunto abierto y convexo de C y f una

funcion analtica en A {1 , . . . , r } y con polos en cada uno de los puntos 1 , . . . , r . Si
: [a, b] A es un camino cerrado regular a trozos tal que k
/ ([a, b]) para k = 1, . . . , r ,
entonces
Z

Demostracion:

f (z)dz = 2i

r
X

Res(f, k ) Ind (k ).

k=1

m
Pk

bkn
la parte principal de f en k . Entonces, la funcion f P1 tiene
(z

k )n
n=1
polos en 2 , . . . , r y una singularidad evitable en 1 , luego la funcion f P1 P2 tiene polos
Sea Pk (z) =

en 3 , . . . , r y singularidades evitables en 1 y 2 y, en consecuencia, la funcion f

r
P

k=1

Pk

tiene singularidades evitables en los puntos 1 , . . . , r . Por el teorema de Cauchy-Goursat,

Z

0=

f (z)

r
X

Pk (z) dz =

k=1

Teor
a de variable compleja.

f (z)dz

Z X
r

k=1

Pk (z) dz =

f (z)dz

r Z
X
k=1

Pk (z)dz.
159

12 El teorema de los residuos

Ahora bien, como

Z

Pk (z)dz =

mk Z
X
n=1

= bk1

k
X
bkn
dz
=
bkn
(z k )n
n=1

dz
+ bk2
z k

dz
(z k )n

dz
+ + bkmk
(z k )2

dz
(z k )mk

= bk1 2i Ind (k ) + bk2 0 + + bkmk 0 = 2ibk1 Ind (k )

= 2i Res(f, k ) Ind (k ),
se tiene que
Z

12.2.1

f (z)dz =

r Z
X
k=1

Pk (z)dz = 2i

r
X

Res(f, k ) Ind (k ) .

k=1

C
alculo de integrales por el m
etodo de los residuos

Proposici
on 12.22 Sea f una funcion racional de dos variables continua sobre la circunferencia
2
2
x + y = 1. Entonces
Z 2
0

f (sen , cos )d = 2

Res

1
f
z

z2 1 z2 + 1
,
, k
2iz
2z

donde la suma esta extendida a los residuos de todos los polos k contenidos dentro del crculo
unidad.
Demostracion:
Haciendo el cambio de variable z = ei , cuando crece desde 0 hasta 2 , z recorre la
circunferencia unidad en sentido positivo. Ademas,
sen =

z z 1
z2 1
ei ei
=
=
;
2i
2i
2iz

cos =

ei + ei
z + z 1
z2 + 1
=
=
2
2
2z

y
dz = iei d = iz d
y por tanto

Z 2
0

1
f (sen , cos ) d =
i

1
f
z

z2 1 z2 + 1
,
2iz
2z

dz

y el resultado se deduce del teorema de los residuos sin mas que tener en cuenta que
(

Ind (k ) =

Ejemplo 12.23 Calcular I =

Z 2
0

dx
12p cos x+p2

Solucion:
Como, para z = eix , se tiene que cos x =
1
f
z

160

z2 1 z2 + 1
,
2iz
2z

1, si |k | < 1
0, si |k | > 1.

, con 0 < p < 1.

z 2 +1
2z ,

entonces

1
1
2z
1
1
=
=
2 +1
2
2
2
z
2
z 1 2p 2z + p
z 2z 2p(z + 1) + 2zp
z p(z + 1) + zp2
1
1
1
=
=
= h(z).
=
z pz 2 p + zp2
z(1 pz) p(1 zp)
(z p)(1 zp)

Teor
a de variable compleja.

12.2 El teorema de los residuos

Los polos de h(z) son 1 = p y 2 = p1 , pero como 0 < p < 1, solo 1 esta dentro de la
circunferencia unidad. Como es un cero de orden 1 de la funcion del denominador, es un polo
de orden 1 de la funcion h y, en consecuencia,
Res(h, 1 ) = lim (z p)h(z) = lim
z1

2
1p2

Por tanto, I = 2 Res(h, 1 ) =

z1

1
1
=
.
1 zp
1 p2

Proposici
on 12.24 Si f es una funcion analtica en el semiplano superior Im(z) 0 excepto
en un n
umero finito de puntos 1 , . . . , n interiores a dicho semiplano y ademas es

lim

R max |f (z)| : |z| = R, Im(z) 0

R+

entonces
VP

Z +

f (x)dx = 2i

n
X

= 0,

h12.2i

Res(f, k ).

k=1

Demostracion:
Si R > max {|k | : k = 1, . . . , n}, el camino formado por el segmento [R, R] y por la
semicircunferencia R de centro el origen y radio R situada en el semiplano superior encierra
todos los puntos 1 , . . . , n .
R
Y

r j
r

r
i

r
-

r
k

r
-

Por el teorema de los residuos,

Z

y como

f (z)dz = 2i

resulta

Z R
R

Res(f, k )

k=1

r
X

f (z)dz =

Z R
R

f (x)dx = 2i

f (x)dx +

r
X

f (z)dz
Z

Res(f, k )

k=1

f (z)dz.

Ahora bien,
Z

f (z)dz

Z
R

|f (z)||dz| max |f (z)| : |z| = R, Im(z) 0 R

luego si R la integral tiende hacia cero. Por consiguiente,

VP

Z +

f (x) dx = lim

Z R

R+ R

f (x) dx = 2i

n
X

Res(f, k )

k=1

conforme queramos demostrar.

Teor
a de variable compleja.

161

12 El teorema de los residuos

Ejemplo 12.25 Calcular I =

Z +

Solucion:

Como I es convergente, I = V P

dx
.
x4 +1

Z +

tiene que

dx
.
x4 +1

Sea f (z) =

1
,
z 4 +1

entonces, para |z| = R, se

(1)
1
1
1
1
1
1
(2)

=
|f (z)| = 4

=
= 4
= 4

4
4
4
z +1
|z + 1|
||z | 1|
||z| 1|
|R 1|
R 1

(1) por la propiedad 9.6-b del modulo y (2) es cierto para R suficientemente grande.
Luego se tiene que

lim

R+

R max |f (z)| : |z| = R, Im(z) 0

lim

R+

R
= 0,
R4 1

y, se verifica la condicion h12.2i. Ademas, f (z) es analtica salvo en los cuatro ceros del
denominador por lo que puede aplicarse la proposicion anterior. Entonces, como z 4 + 1 = 0
3

z 4 = 1 = ei sus raices son 1 = ei 4 , 2 = ei 4 , 3 = ei 4 y 4 = ei 4 , y la funcion f

tiene polos de orden 1 (por ser ceros de orden 1 de la funcion z 4 + 1) en 1 y 2 del semiplano
superior, se tiene

I = 2i Res(f, 1 ) + Res(f, 2 ) .
Como
Res(f, i ) =
se tiene que I =

2i i 4
4 (e

+ ei

1
z i
1
i
i
1
lim 4
= lim
=
=
=
3
4
3
0! zi z + 1 zi 4z
4
4i
4i
3
4

2
2 .

)=

Proposici
on 12.26 Si f es una funcion analtica en el semiplano superior Im(z) 0 excepto
en un n
umero finito de puntos 1 , . . . , n interiores a dicho semiplano y ademas es
n

lim max |f (z)| : |z| = R, Im(z) 0 = 0,

h12.3i

R+

entonces, para todo a > 0 se tiene

VP

Z +

f (x)eiax dx = 2i

n
X

Res f (z)eiaz , k .

k=1

Demostracion:
Como la exponencial es entera y distinta de cero cada punto, los polos de eiaz f (z) son los
polos de f (z), luego consideremos el mismo camino semicircular que en la proposicion anterior.
Por el teorema de los residuos,
Z R
R

iax

f (x)e

dx = 2i

r
X

Res f (z)e

iaz

, k

k=1

y bastara, pues, porbar que

Z
R

f (z)eiaz dz

lim

R R

f (z)eiaz dz = 0.

Ahora bien,
Z

162

f (z)eiaz dz

Z
R

oZ

|f (z)||eiaz ||dz| max |f (z)| : |z| = R, Im(z) 0

|eiaz ||dz|

Teor
a de variable compleja.

12.2 El teorema de los residuos

y como
|eiaz | = |eia(x+iy) | = |eay+iax | = eay
y sobre R es y = R sen , con 0 ,
Z
R

|e

iaz

||dz| =

Pero para [0, 2 ] se tiene que

aR sen

R d = 2

Z /2
0

eaR sen R d

sen luego aR sen aR 2 y, entonces

y=

y=x



2
x

y = sen x





Z /2
0




Z /2

eaR sen R d <

2aR

R d =

(1 eaR ).
2a

Por consiguiente,
Z

f (z)e

iaz

n
o

(1 eaR ) max |f (z)| : |z| = R, Im(z) 0

dz <
2a

y
Z

lim

R R

f (z)eiaz dz = 0.

Observacion:
Si f (x) IR para todo x IR, la proposicion anterior permite calcular las integrales
Z +

f (x) cos(ax) dx y

Z +

f (x) sen(ax) dx

siempre que existan. Basta tomar partes reales e imaginarias en la igualdad

Z +

f (x)eiax dx = 2i

n
X

k=1

Ejemplo 12.27 Calcular I =

Solucion:

cos ax
dx,
(1+x2 )2

Como las funciones cos ax y f (x) =

1
(1+x2 )2

con a > 0.
son pares, I =

es la parte real de eiax , se tiene que

1
I = Re
2

Res f (z)eiaz , k .

iax

1
2

cos ax
dx
(1+x2 )2

X
1
Res eiaz f (z)
f (x) dx = Re 2i
2
k

y, como cos ax

Se verifica la condicion h12.3i, pues para |z| = R, se tiene que

(1)

1
1
1
1
1

=
|f (z)| = 2

=
=

2
2
2
2
2
2
2
(z + 1)
|z + 1|
||z | 1|
(R 1)2
||z|2 1|
Teor
a de variable compleja.

163

12 El teorema de los residuos

lim max |f (z)| : |z| = R, Im(z) 0 lim

R+

R+

(R2

1
= 0.
1)2

Los polos de eiaz f (z) son los polos de f , que son los ceros de la funcion (1 + z 2 )2 , por tanto,
2 eiaz
en el semiplano superior solo tiene un polo de orden 2 en = i. Haciendo g(z) = (zi)
=
(1+z 2 )2
eiaz
(z+i)2

, se tiene que
iaeiaz (z + i)2 eiaz 2(z + i)
1
iaea (2i)2 ea 2(2i)
lim g 0 (z) = lim
=
zi
1! zi
(z + i)4
(2i)4
a
a
a
4iae 4ie
ie (a + 1)
=
=
.
16
4

Res(eiaz f, ) =

Luego

1
iea (a + 1)
I = Re 2i
2
4

12.3

1
= Re
2

ea (a + 1)
2

1 ea (a + 1)
ea (a + 1)

=
.
2
2
4

Ejercicios

12.1 Estudiar las singularidades aisladas de las funciones

a) f (z) =
d) f (z) =

ez cos(z)
;
z 2 +2z

sen( 4 z)
;
(z1)2 (z3)

b) f (z) =

sen z sen(z1)
;
z 2 z

c) f (z) =

cos z
;
z3

e) f (z) =

z
;
e2z 1

f) f (z) =

z 2 1
.
ez2 1

Indicar el orden de los polos.

Z

12.2 Calcular

12.3 Calcular

ez cos(z)
z 2 +2z

dz siendo la circunferencia |z| = 1 recorrida en sentido positivo.

sen z sen(z1)
z 2 z

dz siendo la circunferencia |z| = 2 recorrida en sentido positivo.

12.4 Calcular

12.5 Calcular
tivo.
12.6 Calcular

cos z
z3

dz siendo la circunferencia |z| = 1 recorrida en sentido positivo.

sen( 4 z)
(z1)2 (z3)

dz siendo la circunferencia |z 1| = 1 recorrida en sentido posi-

4z
ez 1

dz siendo la circunferencia |z i| = 6 recorrida en sentido positivo.

12.7 Calcular
12.8 Calcular

z 2 1
z 2 1
e

Z 2
0

sen(x)dx
53 sen(x) .

12.9 Hallar el valor de

12.10 Hallar el valor de

164

dz siendo la circunferencia |z| = 3 recorrida en sentido positivo.

Z +

Z +
0

dx
,
(x2 +a2 )(x2 +b2 )
x sen(x)
1+x4

con a, b > 0.

dx, con a > 0.

Teor
a de variable compleja.