172

Tema 15. INTEGRALES IMPROPIAS 15.1 Integracin de funciones acotadas en recintos no acotados o 15.2 Integracin de funciones no acotadas en recintos acotados o 15.3 Integracin de funciones no acotadas en recintos no acotados o 15.4 Convergencia absoluta de integrales impropias 15.5 Propiedades de la integral impropia 15.6 Las funciones gamma y beta de Euler

 Matematicas

Integrales impropias

173

1
1.1

INTEGRALES IMPROPIAS
INTEGRACION DE FUNCIONES ACOTADAS EN RECINTOS NO ACOTADOS
DEFINICION

1.1.1

Sean a IR y f una funcin real de una variable integrable en el o intervalo [a, M ], para todo M > a. Si el l mite
M + a

lim

f (x) dx

existe y es nito, se dice que la integral impropia de primera especie

+ a

f (x) dx

es convergente, y se dene
+ a

f (x) dx = lim

M + a

f (x) dx.

En caso contrario, se dice que es divergente.

1.1.2 DEFINICION

Sean b IR y f una funcin real de una variable integrable en el o intervalo [m, b], para todo m < b. Si el l mite
m m

lim

f (x) dx

existe y es nito, se dice que la integral impropia de primera especie

b

f (x) dx

 Matematicas

Integrales impropias

174

es convergente, y se dene f (x) dx = lim

b b m m

f (x) dx.

En caso contrario, se dice que es divergente.

1.1.3 DEFINICION

Sea f : IR IR integrable en el intervalo [m, M ], para cualesquiera m, M IR. Si las dos integrales impropias f (x) dx
a

+ a

f (x) dx

son convergentes para algn a IR, entonces se dice que la integral u impropia de primera especie
+

f (x) dx

es convergente y
+

f (x) dx =

f (x) dx +

+ a

f (x) dx.

En caso contrario, se dice que es divergente.

1.1.4 VALOR PRINCIPAL DE CAUCHY

Sea f : IR IR integrable en el intervalo [M, M ], para todo M IR. Al l mite simtrico e

M + M

lim

f (x) dx

se le denomina valor principal de Cauchy de

f (x) dx.

 Matematicas 1.1.5 PROPOSICION

Integrales impropias

175

Si la integral impropia f (x) dx es convergente, entonces su valor coincide con el valor principal de Cauchy; es decir,
+

f (x) dx = lim

M + M

f (x) dx.

1.1.6

OBSERVACION +

El valor principal de Cauchy puede existir cuando

divergente. Por ejemplo, la integral impropia x dx es divergente, pero su valor principal de Cauchy es igual a cero.
1.2 INTEGRACION DE FUNCIONES NO ACOTADAS EN RECINTOS ACOTADOS
DEFINICION

f (x) dx es

1.2.1

Sea f una funcin real de una variable que no est acotada en un o a entorno del punto a y que es integrable en [a + , b], para todo > 0 tal que a + < b. Si el l mite
0

lim+
b a

b a+

f (x) dx

existe y es nito, se dice que la integral impropia de segunda especie f (x) dx

b a+

es convergente, y se dene
b a

f (x) dx = lim+
0

f (x) dx.

 Matematicas

Integrales impropias

176

En caso contrario, se dice que es divergente.

1.2.2 DEFINICION

Sea f una funcin real de una variable que no est acotada en un o a entorno del punto b y que es integrable en [a, b ], para todo > 0 tal que a < b . Si el l mite
0

lim+
b a

b a

f (x) dx

existe y es nito, se dice que la integral impropia de segunda especie f (x) dx

es convergente, y se dene
b a

f (x) dx = lim+
0

b a

f (x) dx.

En caso contrario, se dice que es divergente.

1.2.3 DEFINICION

Sea f una funcin real de una variable que no est acotada en o a un entorno del punto c (a, b) y es integrable en los intervalos [a, c ] y [c + , b], para cualesquiera > 0 y > 0 tales que a < c y c + < b. Si las dos integrales impropias
c a

f (x) dx y

b c

f (x) dx

 Matematicas

Integrales impropias

177

son convergentes, entonces se dice que la integral impropia de segunda especie b f (x) dx a es convergente y
b a

f (x) dx =

c a

f (x) dx +

b c

f (x) dx.

En caso contrario, se dice que es divergente.

1.2.4 EJEMPLOS b a

1. Dados a < b IR, cuando 1. 2. Dado 0 < a IR, 1.

1.3

dx converge si < 1 y diverge (b x)

dx converge si > 1 y diverge cuando x

INTEGRACION DE FUNCIONES NO ACOTADAS EN RECINTOS NO ACOTADOS

Sea f una funcin denida sobre un intervalo I no acotado y que o no est acotada en entornos de un nmero nito de puntos de a u I. En este caso, se puede descomponer I en un nmero nito de u subintervalos Ii, en los que la integral de f es una integral impropia de primera especie o bien

 Matematicas

Integrales impropias

178

una integral impropia de segunda especie. Se dice que la integral de f en I es convergente si y slo si cada o una de las integrales impropias de f en Ii es convergente. En tal caso, se dene la integral impropia de f en I como la suma de las integrales impropias de f en los intervalos Ii.

1.4

CONVERGENCIA ABSOLUTA DE INTEGRALES IMPROPIAS

DEFINICION

1.4.1

Sean [a, b), donde < a < b +, y f : [a, b) IR una funcin integrable en todo intervalo [a, x] [a, b). o Se dice que la integral impropia
b a

f (x) dx es absolutamente
b a

convergente si y slo si la integral impropia o vergente.

|f (x)| dx es con-

1.4.2

PROPOSICION b

Si la integral impropia a f (x) dx es absolutamente convergente, entonces tambin es convergente y e |

b a

f (x) dx|

b a

|f (x)| dx.

 Matematicas 1.4.3 OBSERVACION

Integrales impropias

179

La convergencia absoluta es una condicin suciente para la cono vergencia. Sin embargo, no es necesaria. Por ejemplo, la integral impropia (llamada integral de Dirichlet)
+ 0

sen x dx x

es convergente pero no es absolutamente convergente.

1.5

PROPIEDADES DE LA INTEGRAL IMPROPIA

Sea [a, b) un intervalo, donde < a < b +. 1. Linealidad. Si f y g son dos funciones integrables en todo intervalo [a, x] [a, b) y sus integrales son convergentes en [a, b), entonces tambin es convergente la integral de f + g, e para cualesquiera , IR, y adems: a (f (x) + g(x)) dx = a
b b a

f (x) dx +

b a

g(x) dx.

o 2. Sean c (a, b) y f una funcin integrable en todo intervalo b [a, x] [a, b). La integral impropia a f (x) dx es convergente si y slo si o
b c

f (x) dx es convergente. En este caso,

b

f (x) dx =

c a

f (x) dx +

b c

f (x) dx.

 Matematicas

Integrales impropias

180

o 3. Regla de Barrow. Si f : [a, b) IR es una funcin continua, b F : [a, b) IR es una primitiva de f y a f (x) dx es convergente, entonces
b a

f (x) dx = lim F (x) F (a).

xb

4. Cambio de variable. Sean f : [a, b) IR una funcin continua o y : [, ) IR una funcin de clase C 1, con < < o +, () = a, lim(t) = b y ([, )) = [a, b). Se verica que
b a t

f (x) dx =

f ((t)) (t) dt.

5. Integracin por partes. Si u y v son dos funciones reales de o clase C 1 en el intervalo [a, b) y son convergentes dos de los tres trminos siguientes, entonces tambin lo es el tercero y: e e
b a

u(x)v (x) dx = lim[u(x)v(x)]u(a)v(a)

xb

b a

u (x)v(x) dx.

1.5.1

CRITERIOS DE CONVERGENCIA

Sea [a, b) un intervalo, donde < a < b +. 1. Sea f : [a, b) IR, con f (x) 0 para todo x [a, b), integrable en todo intervalo [a, c] [a, b). La integral de f en x [a, b) es convergente si y slo si la funcin F (x) = a f (t) dt o o est acotada en [a, b) (F es montona creciente). a o

 Matematicas

Integrales impropias

181

2. Criterios de comparacin. Sean f y g dos funciones reales poo sitivas denidas en el intervalo [a, b) e integrables en todo intervalo [a, c] [a, b). Se verica: (a) Si f (x) g(x) para todo x [a, b), entonces: (i) (ii)
b a b a

g(x) dx convergente f (x) dx divergente f (x) = l , entonces: g(x)

b a

b a b a

f (x) dx convergente.

g(x) dx divergente.

(b) Si lim
xb

(i) 0 < l < carcter. a (ii) l = 0 y gente.

b a

f (x) dx y

b a

g(x) dx tienen el mismo

b a

g(x) dx convergente
b a

f (x) dx converb

(iii) l = y gente.

g(x) dx divergente

f (x) dx diver-

(c) Comparando con las funciones del Ejemplo ??, se obtiene: (i) Si el intervalo es [a, +) (b = +) con a > 0 y lim f (x)x = l [0, ) {}, x entonces: >1y0l< 1y0<l
+ a + a

f (x) dx es convergente, f (x) dx es divergente.

 Matematicas

Integrales impropias

182

a (ii) Si el intervalo [a, b) est acotado (b < +) y

xb

lim f (x)(b x) = l [0, ) {},

b a b a

entonces <1y0l< 1y0<l f (x) dx es convergente, f (x) dx es divergente.

1.5.2

OBSERVACION

Lo anteriormente dicho para integrales impropias en el intervalo [a, b) es igualmente vlido para integrales impropias en el intervalo a (a, b], con a < b < +.
1.6
1.6.1

LAS FUNCIONES GAMMA Y BETA DE EULER

DEFINICION (FUNCION GAMMA DE EULER)

Se dene la funcin gamma de Euler como : (0, ) IR, o donde (p) = 0 exxp1 dx.
1.6.2 PROPOSICION

La funcin as denida es una integral impropia convergente para o cualquier p > 0.

 Matematicas 1.6.3 PROPIEDADES

Integrales impropias

183

1. (1) = 1. 2. (p + 1) = p(p) para todo p > 0. 3. (n) = (n 1)! para todo n IN. 4. (p)(1 p) = 5. (1/2) = . para todo 0 < p < 1. sen(p)

1.6.4

DEFINICION (FUNCION BETA DE EULER)

Se dene la funcin beta de Euler como o : (0, ) (0, ) IR, donde (p, q) =
1 0

xp1(1 x)q1dx.

1.6.5

OBSERVACION

La funcin as denida es una integral impropia convergente para o cualesquiera 0 < p < 1 y 0 < q < 1 (para p 1, q 1 es una integral de Riemann).

 Matematicas 1.6.6 PROPIEDADES

Integrales impropias

184

1. (p, q) = (q, p) para cualesquiera p > 0 y q > 0. 2. (p, q) = 2 p > 0 y q > 0. 3. (p, q) =
/2 0

sen2p1 x cos2q1x dx para cualesquiera

(p)(q) para cualesquiera p > 0 y q > 0. (p + q) (m 1)!(n 1)! para cualesquiera m, n IN. (m + n 1)!

4. (m, n) =