w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 4
Calculo de residuos
4.1. Metodos para el calculo de residuos
Sea f(z) = g(z)/h(z), con g, h analticas en un entorno de z
0
, g(z
0
) = 0, h(z
0
) = 0 y
h

(z
0
) = 0. Entonces f tiene un polo simple en z
0
, con residuo
Res(f; z
0
) =
g(z
0
)
h

(z
0
)
.
En efecto, en un entorno de z
0
se tiene
h(z) = h

(z
0
)(z z
0
) H(z),
con H analtica y H(z
0
) = 1 (teorema de Taylor). Por tanto
f(z) =
1
h

(z
0
)(z z
0
)

g(z)
H(z)
.
Como g/H es analtica en z
0
(H(z
0
) = 0), f tiene un polo simple en z
0
con residuo
1
h

(z
0
)

g(z
0
)
H(z
0
)
=
g(z
0
)
h

(z
0
)
,
ya que H(z
0
) = 1.
Si f tiene un polo de orden n en z
0
entonces
Res(f; z
0
) =
1
(n 1)!
lm
zz
0
d
n1
dz
n1
[(z z
0
)
n
f(z)] . (4.1)
En efecto, en un entorno reducido de z
0
es valido el desarrollo de Laurent
f(z) =
b
n
(z z
0
)
n
+ +
b
1
z z
0
+ g(z),
con g analtica en z
0
(serie de Taylor). Por tanto en un entorno reducido de z
0
se cumple
(z z
0
)
n
f(z) = b
n
+ + b
1
(z z
0
)
n1
+ G(z) F(z),
45
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. C

ALCULO DE RESIDUOS 46
donde G(z) = (z z
0
)
n
g(z) es analtica en z
0
y tiene un cero de orden n en dicho
punto, y F es analtica en z
0
. Por el teorema de Taylor,
Res(f; z
0
) = b
1
=
F
(n1)
(z
0
)
(n 1)!
=
1
(n 1)!
lm
zz
0
F
(n1)
(z)
=
1
(n 1)!
lm
zz
0
d
n1
dz
n1
[(z z
0
)
n
f(z)] .
Ejercicio. Si f = g/h con g y h analticas en z
0
, h(z
0
) = h

(z
0
) = 0 y g(z
0
) = 0,
h

(z
0
) = 0, probar que f tiene un polo de orden 2 en z
0
, con residuo
Res(f; z
0
) = 2
g

(z
0
)
h

(z
0
)

2
3
g(z
0
) h

(z
0
)
[h

(z
0
)]
2
.
Solucion. La funcion f tiene claramente un polo doble en z
0
, por lo que podemos aplicar
(4.1). Por el teorema de Taylor, en un entorno reducido de z
0
es valido el desarrollo
h(z)
(z z
0
)
2
= h
2
+ h
3
(z z
0
) + H(z) ,
con H analtica y con un cero de orden por lo menos 2 en z
0
. Aplicando (4.1) se obtiene
entonces
Res(f; z
0
) = lm
zz
0
d
dz
_
g(z)
h
2
+ h
3
(z z
0
) + H(z)
_
=
h
2
g

(z
0
) h
3
g(z
0
)
h
2
2
.
Teniendo en cuenta que
h
2
=
1
2
h

(z
0
) , h
3
=
1
6
h

(z
0
)
se obtiene la formula anunciada.
4.2. Teorema de los residuos
Sean z
1
, . . . , z
n
n puntos distintos pertenecientes a una region A, y sea una curva
cerrada (C
1
a trozos) homotopa a un punto en A y tal que ning un z
i
esta en . Si f es
analtica en A{z
1
, . . . z
n
} entonces se tiene:
_

f = 2i
n

k=1
n(, z
k
) Res(f; z
k
).
Demostracion. Por el teorema de Laurent, para cada i = 1, . . . , n hay un entorno redu-
cido C(z
i
; 0,
i
) de z
i
en el que es valido el desarrollo
f(z) =

k=1
b
ik
(z z
i
)
k
+

k=0
a
ik
(z z
i
)
k
S
i
(z) + f
i
(z),
con f
i
analtica en el disco D(z
i
;
i
). Ademas (por las propiedades de las series de Lau-
rent) la serie que dene la parte principal S
i
(z) converge absolutamente a una funcion
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. C

ALCULO DE RESIDUOS 47
analtica en C {z
i
} y uniformemente en el exterior de todo disco abierto centrado en
z
i
.
Sea
g(z) = f(z)
n

k=1
S
k
(z);
entonces g es analtica en A {z
1
, . . . , z
n
}, y ademas los puntos z
i
son singularidades
evitables de g. En efecto, para cada i = 1, . . . , n se tiene
g(z) = f
i
(z) + S
i
(z)
n

k=1
S
k
(z) = f
i
(z)

1k=in
S
k
(z) , 0 < |z z
i
| <
i
.
Deniendo g(z
i
) = lm
zz
i
g(z) la funcion g es analtica en A, y por el teorema de
Cauchy
0 =
_

g
_

f =
n

k=1
_

S
k
.
Consideremos ahora la integral
_

S
k
. Al ser C abierto, existe
k
> 0 tal que
D(z
k
;
k
) = . Por tanto, la serie de Laurent que dene a S
k
es uniformemente
convergente en , lo que nos permite escribir
_

S
k
=

j=1
_

b
kj
(z z
k
)
j
dz =
_

b
k1
(z z
k
)
1
dz = b
k1
2in(, z
k
)
= 2i n(, z
k
) Res(f; z
k
),
donde se ha utilizado el teorema fundamental del Calculo (para j = 1, (z z
k
)
j
admite
la primitiva (z z
k
)
1j
/(1 j) en C{z
k
}) y la denicion del ndice. Esto completa la
demostracion. Q.E.D.
4.3. Calculo de integrales denidas
4.3.1.
_

f(x) dx
Condiciones: f analtica en H = {z C : Imz 0}, con la posible excepcion de un
n umero nito de singularidades z
k
fuera del eje real, y p > 1, R > 0 y M > 0 t.q.
|f(z)| <
M
|z|
p
z H, |z| > R.
Resultado: 2i

Imz
k
>0
Res(f; z
k
).
Demostracion. Sea
r
la semicircunferencia de radio r orientada positivamente, con
r > R lo sucientemente grande para que todas las singularidades (necesariamente
aisladas) de f en H esten en el interior de
r
.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. C

ALCULO DE RESIDUOS 48

r

r r
z
k
Figura 4.1: semicircunferencia
r
Entonces
_

r
f = 2i

Imz
k
>0
Res(f; z
k
) =
_
r
r
f(x) dx +
_

0
f(re
i
)ire
i
d.
Como |f(x)| < M |x|
p
con p > 1 para |x| > R, la primera integral del miembro
derecho converge a
_

f(x) dx cuando r (criterio de comparacion). En cuanto a

la segunda, su modulo esta acotado por Mr
1p
, que tiende a 0 cuando r . Q.E.D.
Notas: i) Un resultado analogo vale intercambiando el semiplano superior H por el
semiplano inferior L = {z C : Imz 0}:
_

f(x) dx = 2i

Imz
k
<0
Res(f; z
k
).
ii) f = P/Q, con P = 0 y Q polinomios y Q(x) = 0 para todo x R, cumple las
condiciones anteriores (tanto en H como en L) si (y solo si) deg Q deg P + 2.
Ejemplo:
_

xdx
(x
2
+ 4x + 13)
2
.
f(z) = z/(z
2
+ 4z + 13)
2
P/Q, con singularidades (polos dobles) en los ceros
z = 2 3i / R de Q. Ademas, deg Q = 4 deg P + 2 = 3. Por tanto,
I
_

xdx
(x
2
+ 4x + 13)
2
= 2i Res(f; 2 + 3i).
Calculo del residuo (z
0
= 2 + 3i):
f(z) =
g(z)
(z z
0
)
2
, con g(z) =
z
(z + 2 + 3i)
2
;
como g(z
0
) = 0, z
0
es un polo doble de f, con residuo
g

(z
0
) =
1
(z
0
+ 2 + 3i)
2

2z
0
(z
0
+ 2 + 3i)
3
=
2 + 3i z
0
(z
0
+ 2 + 3i)
3
=
4
(6i)
3
=
4i
6
3
.
Por tanto, I =
8
6
3
=

27
.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. C

ALCULO DE RESIDUOS 49
4.3.2. Integrales trigonometricas:
_
2
0
R(cos , sen ) d
Condiciones: R funcion racional de dos variables cuyo denominador no se anula
para todo [0, 2).
Resultado: 2i

|z
k
|<1
Res(f; z
k
), siendo f(z) =
1
iz
R
_
1
2
_
z + z
1
_
,
1
2i
_
z z
1
_
_
y denotando mediante z
1
, . . . , z
n
las singularidades de f (necesariamente en n umero
nito, ya que f es una funcion racional).
Demostracion. La funcion f(z) no tiene singularidades en la circunferencia unidad ,
ya que si [0, 2) entonces f(e
i
) = ie
i
R(cos , sen ). Parametrizando
_

f en la
forma usual (z = e
i
) se obtiene
_

f =
_
2
0
R(cos , sen ) d .
El resultado anunciado se sigue del teorema de los residuos, ya que al ser f una funcion
racional de z tiene un n umero nito de singularidades. Q.E.D.
Ejemplo:
_
2
0
d
(5 3 sen )
2
.
f(z) =
1
iz
_
5
3
2i
_
z
1
z
_
2
=
4iz
(3z
2
10iz 3)
2
=
4iz
9
_
z
i
3
_
2
(z 3i)
2
.
Por tanto, la integral vale
I =
8
9
Res
_
g;
i
3
_
, con g(z) =
z
(z 3i)
2

1
_
z
i
3
_
2

h(z)
_
z
i
3
_
2
.
El residuo es igual a
h

(i/3) =
1
_
i
3
3i
_
2

2i
3
_
i
3
3i
_
3
=
i
3
3i
2i
3
_
i
3
3i
_
3
=

10i
3

8
3
3
3
i
3
=
10 3
2
8
3
.
Por tanto I =
10
8
2
=
5
32
.
4.3.3. Transformadas de Fourier:
_

e
ix
f(x) dx
Condiciones: > 0; f analtica en H, con la posible excepcion de un n umero nito
de singularidades z
k
/ R y |f(z)| 0 cuando |z| en H, i.e.
> 0, R > 0 t.q. |f(z)| < si |z| > R y z H.
Resultado: 2i

Imz
k
>0
Res(e
iz
f(z); z
k
).
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. C

ALCULO DE RESIDUOS 50
Demostracion. Dado > 0, sea el rectangulo de vertices x
1
, x
2
, x
2
+ i y
1
, x
1
+ i y
1
(orientado positivamente), con x
1
, x
2
, y
1
mayores que R y lo sucientemente grandes
para que todas las singularidades de f en H esten en el interior de (g. 4.2).

x
2
x
1
x
1
+iy
1
x
2
+iy
1
z
k
Figura 4.2: rectangulo
Entonces
_

e
iz
f(z) dz = 2i

Imz
k
>0
Res(e
iz
f(z); z
k
)
=
_
x
2
x
1
e
ix
f(x) dx + i
_
y
1
0
e
i(x
2
+iy)
f(x
2
+ i y) dy

_
x
2
x
1
e
i(x+iy
1
)
f(x + i y
1
) dx i
_
y
1
0
e
i(x
1
+iy)
f(x
1
+ i y) dy
I
1
+ I
2
I
3
I
4
.
Si y
1
se escoge lo sucientemente grande para que (x
1
+ x
2
)e
y
1
< 1/ se tiene:
|I
2
|
_
y
1
0
e
y
dy =

(1 e
y
1
) <

,
|I
3
| (x
1
+ x
2
) e
y
1
<

,
|I
4
|

(1 e
y
1
) <

.
Por tanto

_
x
2
x
1
e
ix
f(x) dx 2i

Imz
k
>0
Res(e
iz
f(z); z
k
)

<
3

.
Como > 0 es arbitrario, haciendo x
1
y x
2
tender a innito por separado se obtiene el
resultado deseado. Q.E.D.
Notas: i) Si < 0, se obtiene un resultado analogo intercambiando el semiplano
superior H por el semiplano inferior L:
_

e
ix
f(x) dx = 2i

Imz
k
<0
Res(e
iz
f(z); z
k
).
ii) f = P/Q, con P = 0 y Q polinomios y Q(x) = 0 para todo x R, cumple las
condiciones anteriores (tanto en H como en L) si (y solo si) deg Q deg P + 1.
Ejemplo:
_

0
cos(x)
x
4
+ x
2
+ 1
dx =
1
2
_

cos(x)
x
4
+ x
2
+ 1
dx I(), > 0 .
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. C

ALCULO DE RESIDUOS 51
La integral es la parte real de
J =
1
2
_

e
ix
x
4
+ x
2
+ 1
dx.
Podemos aplicar lo anterior a la funcion racional f(z) =
1
2
(z
4
+ z
2
+ 1) en el semiplano
superior (f no tiene singularidades en el eje real). Las singularidades (polos) de f se
calculan resolviendo la ecuacion
z
4
+ z
2
+ 1 = 0 z
2
=
1
2
(1 i

3) = e

2i
3
z = e

i
3
.
Las unicas singularidades en el semiplano superior son
z
1
= e
i
3
=
1
2
(1 + i

3), z
2
= e

i
3
=
1
2
(1 + i

3) = z
1
.
El residuo de e
iz
f(z) en cualquiera de estas singularidades z
i
se calcula facilmente, ya
que e
iz
f(z) = g(z)/h(z) con g(z
i
) = 0, h(z
i
) = 0 y h

(z
i
) = 0:
Res(f; z
i
) =
1
4
e
iz
i
z
i
(2z
2
i
+ 1)
.
De esto se deduce que
J =
i
2
_
e
iz
1
z
1
(2z
2
1
+ 1)

e
iz
1
z
1
(2z
2
1
+ 1)
_
= Im
_
e
iz
1
z
1
(2z
2
1
+ 1)
_
ImA.
Como
A =
2e
i
2
(1+i

3)
(1 + i

3)i

3
=
2e

2
(i

3)

3(i

3)
=
i +

3
2

3
e

2
(i

3)
,
se obtiene
I = Re J = J = ImA =

2

3
e

3
2

_
cos

2
+

3 sen

2
_
, > 0 .
4.3.4. Transformadas de Mellin:
_

0
x
a1
f(x) dx, a / Z
Condiciones: i) f analtica en C, con la posible excepcion de un n umero nito de
singularidades z
k
/ R
+
, y ii) M
1
, M
2
, R
1
> R
2
constantes positivas y c < a < b tales
que
|f(z)| <
_

_
M
1
|z|
b
, |z| > R
1
M
2
|z|
c
, 0 < |z| < R
2
.
Resultado:
e
ia
sen(a)

z
k
=0
Res(z
a1
f(z); z
k
), z
a1
e
(a1) log
[0,2)
z
.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. C

ALCULO DE RESIDUOS 52
Demostracion. En primer lugar, las acotaciones de |f| implican (por el teorema de com-
paracion para integrales reales impropias) que la integral es absolutamente convergente.

r r

z
k
Figura 4.3: curva
Sea la curva de la g. 4.3, donde 0 < < R
1
y r > R
2
se toman de modo que todas
las singularidades de z
a1
f(z) distintas de 0 esten en el interior de , y 0 < < /2. Si
denotamos
z
a1
= e
(a1) log
[0,2)
z
= |z|
a1
e
i(a1) arg
[0,2)
z
,
la funcion z
a1
f(z) es analtica en C(R
+
{0}), salvo en las singularidades z
k
de f.
Por el teorema de los residuos se tiene:
2i

z
k
=0
Res(z
a1
f(z); z
k
) = I
1
I
2
+ J,
siendo I
1
e I
2
las integrales de z
a1
f(z) sobre los arcos arg
[0,2)
z [, 2 ] de
las circunferencias (orientadas positivamente) de radios r y , respectivamente, y J la
integral a lo largo de los segmentos:
J =
_
r

e
i(a1)
x
a1
f(xe
i
) e
i
dx
_
r

e
i(a1)(2)
x
a1
f(xe
i(2)
) e
i(2)
dx
=
_
r

x
a1
_
e
ia
f(xe
i
) e
ia(2)
f(xe
i(2)
)
_
dx.
Haciendo 0+ (con y r jos) se obtiene
2i

z
k
=0
Res(z
a1
f(z); z
k
) =
_

r
z
a1
f(z) dz
_

z
a1
f(z) dz+(1e
2ia
)
_
r

x
a1
f(x) dx,
siendo

la circunferencia de centro 0 y radio orientada positivamente. Por las hipotesis

sobre |f| se obtiene:

r
z
a1
f(z) dz

M
1
r
a1b
2r = 2M
1
r
ab

r
0,

z
a1
f(z) dz

M
2

a1c
2 = 2M
2

ac

0+
0 .
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. C

ALCULO DE RESIDUOS 53
Haciendo 0+ y r (independientemente) se obtiene el resultado deseado, ya
que
2i
1 e
2ia
=
2ie
ia
e
ia
e
ia
=
e
ia
sen(a)
.
Q.E.D.
Ejemplo:
_

0
x
a1
1 + x
2
dx I(a) .
En este caso b = 2, c = 0. Para poder aplicar el resultado del apartado anterior necesi-
tamos que 0 < a < 2 y a = 1. Si esto se cumple se tiene:
I(a) =
e
ia
sen(a)
_
Res
_
z
a1
z
2
+ 1
; i
_
+ Res
_
z
a1
z
2
+ 1
; i
__
.
Los residuos se calculan facilmente, ya que ambos son claramente polos simples:
Res
_
z
a1
z
2
+ 1
; i
_
=
(i)
a1
2i
.
La suma de estos dos residuos es igual a
1
2i
_
e
i(a1)

2
e
i(a1)
3
2
_
=
1
2
_
e
ia

2
+ e
ia
3
2
_
= e
ia
cos
_
a
2
_
.
Por tanto,
I(a) =
cos
_
a
2
_
sen(a)
=

2 sen
_
a
2
_
.
En particular, haciendo a = 2/5 se obtiene:
_

0
x
3/5
x
2
+ 1
dx =

2 sen(/5)
=

2
_
5

5
=

10
_
5 +

5 .
4.4. Valor principal de Cauchy
Supongamos que f : R R es no acotada en un entorno de x
0
R, y que existen
las integrales impropias
_
b

f(x) dx y
_

c
f(x) dx para todo b < x
0
< c. En ese caso,
_

f(x) dx = lm
0+
_
x
0

f(x) dx + lm
0+
_

x
0
+
f(x) dx.
Evidentemente, si la integral impropia existe entonces
_

f(x) dx = lm
0+
__
x
0

f(x) dx +
_

x
0
+
f(x) dx
_
.
El miembro derecho se denomina valor principal de Cauchy de la integral impropia:
V. P.
_

f(x) dx = lm
0+
__
x
0

f(x) dx +
_

x
0
+
f(x) dx
_
.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. C

ALCULO DE RESIDUOS 54
(Esta denicion se generaliza de manera obvia al caso en que f tiene un n umero nito
de singularidades en el eje real.) Si existe la integral impropia entonces
_

f(x) dx = V. P.
_

f(x) dx.
Sin embargo, el valor principal de Cauchy puede existir aunque no exista la inte-
gral impropia: por ejemplo, si f es una funcion impar e integrable en entonces
V. P.
_

f(x) dx = 0.
Lema 4.1. Supongamos que f es una funcion analtica con un polo simple en z
0
C, y
sea

el arco de circunferencia

(t) = z
0
+ e
it
, con t [t
0
, t
0
+] (g. 4.4). Entonces
lm
0+
_

f = i Res(f; z
0
).

z
0
t
0
Figura 4.4: curva

Demostracion. En un entorno reducido de z

0
es valido el desarrollo de Laurent
f(z) =
b
1
z z
0
+ g(z), 0 < |z z
0
| < r,
con g analtica en D(z
0
; r). Si 0 < < r se tiene
_

f = b
1
_

dz
z z
0
+
_

g .
Pero
b
1
_

dz
z z
0
= b
1
_
t
0
+
t
0
ie
it
e
it
dt = i b
1
= iRes(f; z
0
),
mientras que, al ser g analtica en D(z
0
; r), |g(z)| < M para |z z
0
| r/2, y por tanto

M
0+
0 .
Q.E.D.
Sea f una funcion analtica en H, excepto por un n umero nito de singularidades z
k
,
siendo las posibles singularidades de f en el eje real polos simples. Si f satisface una de
las dos condiciones siguientes:
i) p > 1, R > 0, M > 0 t.q. |f(z)| <
M
|z|
p
si |z| > R y z H;
ii) f(z) = e
iz
g(z), con > 0 y |g(z)| 0 cuando |z| en H,
entonces
V. P.
_

f(x) dx = 2i

Imz
k
>0
Res(f; z
k
) + i

z
k
R
Res(f; z
k
) .
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. C

ALCULO DE RESIDUOS 55
r r x
0

z
k
Figura 4.5: curva
Demostracion. Supongamos, por ejemplo, que f cumple la condicion i). Por sencillez,
nos restringiremos al caso en que f solo tiene una singularidad x
0
en el eje real. Si
r > max(x
0
, R) es lo sucientemente grande para que todas las singularidades de f en
H {x
0
} esten en el interior de
r
y > 0 es sucientemente peque no, integrando f a
lo largo de la curva de la g. 4.5 se tiene:
_

f = 2i

Imz
k
>0
Res(f; z
k
) =
_
x
0

r
f(x) dx
_

f +
_
r
x
0
+
f(x) dx +
_

r
f .
Por la discusion de la seccion 4.3.1, las integrales
_
x
0

f(x) dx y
_

x
0
+
f(x) dx son
convergentes, y
lm
r
_

r
f = 0.
Por tanto,
2i

Imz
k
>0
Res(f; z
k
) =
_
x
0

f(x) dx +
_

x
0
+
f(x) dx
_

f .
El resultado anunciado se obtiene haciendo 0+ y utilizando el lema anterior.
Q.E.D.
Nota: Si reemplazamos H por L y > 0 por < 0 entonces
V. P.
_

f(x) dx = 2i

Imz
k
>0
Res(f; z
k
) i

z
k
R
Res(f; z
k
) .
Ejemplo:
_

0
sen x
x
dx I .
Si denimos f(x) = sen x/x para x = 0 y f(0) = 1 entonces f es continua en 0 y par, y
por tanto
I =
1
2
_

f(x) dx.
Al ser f continua en 0
_

f(x) dx = V. P.
_

f(x) dx,
si el miembro derecho existe. En tal caso
I =
1
2
V. P.
_

f(x) dx =
1
2
Im
_
V. P.
_

e
ix
x
dx
_

1
2
ImJ .
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. C

ALCULO DE RESIDUOS 56
La funcion f(z) = sen z/z tiene una singularidad evitable en z = 0, pero no cumple las
condiciones i) o ii). Sin embargo, g(z) = e
iz
/z tiene un polo simple en el origen y cumple
la condicion ii) del apartado anterior, por lo que
J = i Res
_
e
iz
z
; 0
_
= i 1 =I =

2
.
Ejemplo:
_

0
sen
2
x
x
2
dx I .
Si f es la funcion del apartado anterior
I =
1
2
V. P.
_

f
2
(x) dx =
1
4
V. P.
_

1 cos(2x)
x
2
dx
=
1
4
Re
_
V. P.
_

1 e
2ix
x
2
dx
_

1
4
Re J.
Si g(z) = (1 e
2iz
)/z
2
entonces
|g(z)|
1 +

e
2iz

|z|
2

2
|z|
2
, Imz 0, z = 0,
y por tanto se cumple la condicion i) en el semiplano superior. Ademas, z = 0 es un
polo simple de g (el numerador tiene un cero simple y el denominador uno doble en el
origen), con residuo
Res(g; 0) = 2ie
2iz

z=0
= 2i.
Por tanto,
J = i (2i) = 2 = I =

2
.
Ejemplo: V. P.
_

sen xdx
(x 1)(x
2
+ 4)
I .
Aqu
I = ImJ, J V. P.
_

e
ix
dx
(x 1)(x
2
+ 4)
.
La funcion
f(z) =
e
iz
(z 1)(z
2
+ 4)
es analtica en C {1, 2i}, y la singularidad en z = 1 es claramente un polo simple.
Ademas, se cumple claramente la condicion ii) en el semiplano superior, por lo que
J = i [Res(f; 1) + 2 Res(f; 2i)] = i
_
e
i
5
+
2e
2
(2i 1) 4i
_
= i
_
e
i
5

e
2
2(2 + i)
_
= i
_
e
i
5

(2 i)e
2
10
_
.
Por tanto
I =

5
_
cos 1
1
e
2
_
.
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. C

ALCULO DE RESIDUOS 57
4.4.1.
_

0
f(x) log xdx, f real y par
Condiciones: i) f analtica en H, con la posible excepcion de un n umero nito de
singularidades z
k
/ R {0}, y ii) M
1
, M
2
, R
1
> R
2
constantes positivas y a < 1 < b
tales que
|f(z)| <
_

_
M
1
|z|
b
, |z| > R
1
M
2
|z|
a
, 0 < |z| < R
2
.
Resultado: Im
_
_

Imz
k
>0
Res(f(z) log z; z
k
)
_
_
, log log
[/2,3/2)
.
r r

z
k
Figura 4.6: curva
Demostracion. En primer lugar, las acotaciones sobre |f| implican (teorema de compa-
racion) la convergencia de la integral, as como la de
_

f(x) dx. Sean 0 < < R

1
<
R
2
< r tales que todas las singularidades de f en H {0} esten el interior de (ver
g. 4.6). Entonces
2i

Imz
k
>0
Res(f(z) log z; z
k
) = I
1
+ I
2

g +
_

r
g , (4.2)
siendo g(z) = f(z) log z. Si x < 0 se tiene
log x = log |x| + i = log(x) + i ,
y por tanto
I
1
=
_

r
f(x)[log(x) + i] dx =
_
r

f(x)[log(x) + i] dx
=
_
r

f(x) log xdx + i

_
r

f(x) dx.
Luego
I
1
+ I
2
= 2
_
r

f(x) log xdx + i

_
r

f(x) dx.
Por otra parte,
|log z| =

log |z| + i arg z

|log z| +|arg z| ,
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. C

ALCULO DE RESIDUOS 58
donde arg z [/2, 32). Por tanto

r
g

r
M
1
r
b
(log r + ) =
M
1
r
b1
(log r + )
r
0 ,
al ser b > 1. Del mismo modo, al ser a < 1 se tiene

M
2

a
(log + ) = M
2

1a
(log + )
0+
0 .
Haciendo r y 0+ en (4.2) se obtiene:
2i

Imz
k
>0
Res(f(z) log z; z
k
) = 2
_

0
f(x) log xdx + i
_

0
f(x) dx.
Teniendo en cuenta que f es real se obtiene el resultado anunciado. Q.E.D.
Ejemplo:
_

0
log x
(x
2
+ 1)
2
dx I .
Claramente f(z) = (1 + z
2
)
2
cumple todas las condiciones anteriores (a = 0 y b = 4).
La unica singularidad en el semiplano superior es z
0
= i. Como
f(z) log z =
log z
(z + i)
2

1
(z i)
2
se tiene
Res(f(z) log z; i) =
d
dz
_
log z
(z + i)
2
_
z=i
=
1
i(2i)
2

2 log i
(2i)
3
=
i
4

i
4
log i =
i
4
+

8
.
Por tanto, I =

4
.
www.cienciamatematica.com