Cap´ıt ulo

14
Integrales impropias

Introduccio´n
En este cap´ıtulo se trata de generalizar el concepto de integral de Riemann en
IR a casos en que interviene el infinito, ya sea porque el intervalo de integraci´on sea no
acotado, ya sea porque la funcio´n a integrar sea no acotada.
b
La integral a f se dice improp ia si ocurre al menos una de las hipo´tesis siguientes:
i) El intervalo (a, b) no esta´ acotado.
ii) La funcio´n f no esta´ acotada en el intervalo (a, b).
Despu´es de estudiar las integrales improp ias para los dos casos anteriores se
introducen las funciones euleriana s, de importantes aplicaciones.
El cap´ıtulo finaliza con una seccio´n dedicada al estudio de la relacio´n entre
series e integrales improp ias, cuyo resultado fund amental es el criterio integral de
convergenc ia de series.

1. Integrales en intervalos no acotados

1.1. Definici ´on. Integral impropia de primera especie
Se denom inan integrales improp ias de primera especie a las integrales de funciones
acotadas sobre intervalos de longitud infinita, es decir a integrales del tipo
∞ ∞
b
f (x) dx f (x) dx f (x) dx
−∞ a −∞

Veamos c´omo se definen:

a) Sea f (x) una funcio´n acotada e integrable en todo intervalo de la forma [a, M ], siendo
a un valor fijo y M uno cualquiera tal que M ≥ a. Se define la integral impropia
∞
f (x) dx como
a
∞ M
f (x) dx = lim f (x) dx
a M →∞ a
y la integral del primer miembro se dice que es convergente o divergente segu´n
que exista l´ımite finito o infinito en el segundo miembro. Si no existe dicho l´ımite,
se dice que no existe la integral.
 b) Sea f (x) una funcio´n acotada e integrable en todo intervalo de la forma [M, b], siendo
b un valor fijo y M uno cualquiera tal que M ≤ b. Se define la integral impropia
b
f (x) dx como
−∞
b b
f (x) dx = lim f (x) dx
−∞ M →−∞ M

y la integral del primer miembro se dice que es convergente o divergente segu´n

que exista l´ımite finito o infinito en el segundo miembro. Si no existe dicho l´ımite,
se dice que no existe la integral.

b a

Fig. 14.1

Nota: El a´rea de la zona sombreada es finita si la integral es convergente e infinita si

es divergente, siendo la figura de la izquierda la correspondiente a la definici´on b) y la de
la derecha a la definicio´n a).
c) Se define

∞ c ∞ c M2
f (x) dx = f (x) dx + f (x) dx = lim f (x) dx + lim f (x) dx
−∞ −∞ c M1 →−∞ M1 M2 →∞ c

siendo c un nu´mero real arbitrario. La integral del primer miembro se dice

convergente si existen y son finitos ambos l´ımites, y se dice divergente si al menos
uno de los dos l´ımites es infinito. En otro caso, se dice que no existe la integral.

Nota: El cara´cter de la integral y su valor no dependen del c elegido.

Ejemplo: Una integral improp ia de primera especie importante, que juega el mismo papel
∞
1
que la serie armo´nica generalizada en el caso de series num´ericas, es la integral dx,
1 xp
cuyo valor es 
∞ ∞ si p ≤ 1
dx
= 1 si p > 1
1 xp
p−1
Luego la integral converge para p > 1 y diverge para p ≤ 1.
 Integrales en intervalos no acota dos 441

Comentario: La convergencia de la integral improp ia de una combinacio´n lineal

de funciones se puede estudiar, a partir de la definicio´n, usando la linealidad de la
integral y
∞ ∞
del paso al l´ımite. De este modo, si f (x) dx y g(x) dx son integrales impropias
a a
∞
convergentes, tambi´en es convergente la integral impropia
a
αf (x) + βg(x) dx, para
todo α, β ∈ IR y adema´s
∞ ∞ ∞

f (x) dx + β g(x) dx
αf (x) + βg(x) dx = α a
a a

Un resultado ana´logo se verifica para los otros tipos de integrales impropias de

primera especie.
En algunos casos, la convergencia de una integral impropia se puede estudiar por
definicio´n (v´eanse problema s resueltos 1 y 2). Pero a veces no es f´acil calcular una
primitiva y existen otros procedimientos para ver si la integral converge. A continuacio
´n veremos algunos criterios de convergenc ia para integrales impropias de primera
especie que nos permitira´n saber si la integral tiene un valor finito, aun cuando no sea
posible determinar su valor.
Los criterios que se dan a continuacio´n son para el caso en el que es ∞ el l
´ımite superior de la integral. Hay criterios ana´logos para el caso en que es −∞ el l
´ımite inferior de la integral (con el cambio de variable x = −y se reduce un caso a otro).
En general, se supondra´ que f (x) es continua. Otros casos de integrabilidad pueden
reducirse a ´este.
Algunos criterios se enunciara´n para funciones f tales que f (x) ≥ 0 para x en
el intervalo de integracio´n. Por la aditividad de la integral esta condicio´n se puede
reba jar y basta que exista x0 > a tal que f (x) ≥ 0 para x ≥ x0 . Tambi´en es posible
aplicar los criterios a funciones f tales que f (x) ≤ 0 para x ≥ x0 , considerando g(x) =
−f (x).

1.2. Teor ema. Criterio de comparacio´n

Sean f, g : [a, ∞) −→ IR funciones integrables en [a, M ] para todo M > a y
supon- gamos que existe x0 ≥ a tal que 0 ≤ f (x) ≤ g(x) para todo x > x0 . Entonces
∞ ∞
i) Si g(x) dx es convergente, entonces f (x) dx es convergente.
a a
∞ ∞
ii) Si f (x) dx es divergente, entonces g(x) dx es divergente.
a a

Nota: En el prob lema resuelto 3, apartados a) y b), pueden verse ejemplos de aplicacio
´n de este criterio.

1.3. Teor ema. Criterio de comparacio´n en el l´ımite

Sean f, g : [a, ∞) → IR integrables en [a, M ] para todo M > a y supongamos que se
f (x)
verifica f (x) ≥ 0, g(x) > 0 y que lim = A. Entonces:
x→∞ g(x)
 ∞ ∞
i) Si A ∈ IR −{0}, las f (x) dx y g(x) dx convergen o divergen
a a
integrales simulta´neamente.
∞ ∞
ii) Si A = 0 y g(x) dx converge, entonces f (x) dx converge.
a a
∞ ∞
iii) Si A = ∞ y g(x) dx diverge, entonces f (x) dx diverge.
a a

1.4. Corolario
Sea f : [a, ∞) −→ IR integrable en [a, M ] para todo M > a y tal que existe x 0 ≥ a de
modo que f (x) ≥ 0 para todo x > x0 . Si lim xp f (x) = A, se verifica que:
x→∞
∞
i) Si A ∈ IR y p > 1, la integral impropia f (x) dx es convergente
a
∞
ii) Si A = 0 (finito o infinito) y p ≤ 1, la integral impropia f (x) dx es divergente.
a

Notas:
1) El corolario resulta de aplicar el criterio de comparacio´n en el l´ımite,
utilizando
g(x) = 1/xp . Por este motivo so´lo proporciona informacio´n en los casos
sen˜alados.
2) En el problema resuelto 3, apartados c) y d), pueden verse ejemplos de aplicacio´n
de este corolario.

1.5. Definici ´on. Convergen cia absoluta

∞ ∞
Se dice que f (x) dx converge absolutamente si la integral |f (x)| dx es con-
a
a
vergente.

1.6. Teorema
Toda integral impropia absolutamente convergente es convergente.

1.7. Definici ´on. Convergen cia cond icio nal

Una integral improp ia convergente pero no absolutamente convergente recibe el
nom- bre de condicionalmente convergente.

2. Integrales de funciones no acotadas

2.1. Definici ´on. Integral impropi a de segund a especie
Se denom inan integrales improp ias de segunda especie a las integrales de funciones no
acotadas en ningu´n entorno de uno o varios puntos de un intervalo finito [a, b].
a) Caso de un solo punto de no acotaci´on correspondiente al l´ımite superior b.
 Integrales de funciones no acotadas 187

Sea f (x) integrable en todo intervalo cerrado contenido en [a, b). Se define la integral
b
impropia f (x) dx como
a

b b−ε
f (x) dx = lim+ f (x) dx
a ε→0 a

y la integral del primer miembro se dice convergente o divergente segu´n que

exista l´ımite finito o infinito en el segundo miembro. Si no existe dicho l´ımite,
se dice que no existe la integral.
b) Caso de un solo punto de no acotaci´on correspondiente al l´ımite inferior a.
Sea f (x) integrable en todo intervalo cerrado contenido en (a, b]. Se define la
integral
b
impropia f (x) dx como
a

b b
f (x) dx = lim+ f (x) dx
a ε→0 a+ε

y la integral del primer miembro se dice convergente o divergente segu´n que

exista l´ımite finito o infinito en el segundo miembro. Si no existe dicho l´ımite,
se dice que no existe la integral.

a b a b

Fig. 14.2
Nota: Si la integral improp ia es convergente, el ´area de la zona sombreada es
finita, siendo la gr´afica de la izquierda la correspondiente a la definici´on a) y la de la
dere cha a la definicio´n b).
c) Caso de un solo punto c interior al intervalo [a, b].
Se define
b c b
f (x) dx = f (x) dx + f (x) dx
a a c
c−ε1 b
(1)
= lim+ f (x) dx + lim+ f (x) dx
ε1 →0 a ε2 →0 c+ε2

y la integral del primer miembro se dice convergente si existen y son finitos

ambos l´ımites del tercer miembro, y se dice divergente si uno al menos de los dos l
´ımites es infinito. En otro caso, se dice que no existe la integral.
Notas:
1) La definicio´n de integral improp ia de segunda especie engloba como caso particular la
definicio´n de integral de Riemann para el caso de una funcio´n acotada en el
intervalo [a, b].
2) Dada una funcio´n continua en un intervalo, salvo en un nu´mero finito de
puntos, y no acotada en ningu´n entorno de dichos puntos, se usar´a la propiedad de
aditividad respecto del intervalo de integracio´n para descom poner la integral en suma
de las que fuese neces ario, de modo que para cada intervalo de integracio´n la funcio
´n u´nicamente no est´e acotada en uno de los extremos.
3) Tambi´en para integrales improp ias de segunda especie se verifica un resultado
de linealidad ana´logo al comentado en la seccio´n anterior.
1
dx
Ejemplo: Una integral de segund a especie importante es la integral , cuyo valor es
0 xp

1 ∞ si p ≥ 1
dx
= 1
0 xp  si p < 1
1−p
Luego, la integral converge para p < 1 y diverge para p ≥ 1.

Puede ocurrir que en el tercer miembro de la igua ldad (1) so´lo exista l´ımite
finito cuando ε1 = ε2 . En este caso, a la integral no convergente se le puede dar un
cierto significado que se expone a continuacio´n.

2.2. Definici ´on. Valor princi pa l de Cauchy

Sea f una funcio´n continua en [a, b] − {c} con c ∈ [a, b], que no esta´ acotada en
ningu´n
b
entorno de c. Se llama valor principal de Cauchy de la integral impropia f (x) dx al
a
l
´ımite b
c−ε b
f (x) dx = lim f (x) dx + f (x) dx
VP ε→0 a c+ε
a

en caso de existir y ser finito.

Nota: V´ease, como ejemplo, el prob lema resuelto 6.
En lo que sigue, veremos criterios de convergenc ia para integrales improp ias de segund a
especie.
Los criterios que se dan son para integrales en las que f (x) u´nicamente no est´a acotada
en el l´ımite superior b. Existen criterios ana´logos para el caso en que f (x) no est´e
acotada en el l´ımite inferior a.
En general supondremos que f (x) es continua en (a, b). Otros casos de integrabilidad
pueden reducirse a ´este. De igual modo que en la secci´on anterior, algunos criterios
se enunciara´n para funciones f tales que f (x) ≥ 0 para x en el intervalo de integraci´on
y, con
las mismas consideraciones, se podr´an aplicar siempre que exista x 0 ∈ (a, b) tal que f (x)
tenga signo constante para x ∈ [x0 , b).
2.3. Teor ema. Criterio de comparaci´on
Sean f, g : [a, b) −→ IR funciones integrables en todo intervalo cerrado contenido en
[a, b) y supongamos que existe x0 < b tal que 0 ≤ f (x) ≤ g(x) para todo x > x0 . Entonces
b b
i) Si g(x) dx es convergente, entonces f (x) dx es convergente.
a a
b b
ii) Si f (x) dx es divergente, entonces g(x) dx es divergente.
a a

2.4. Teor ema. Criterio de comparaci´on en el l´ımite

Sean f, g : [a, b) −→ IR integrables en todo intervalo cerrado contenido en [a, b) y
f (x)
supongamos que se verifica f (x) ≥ 0, g(x) > 0 y que lim− = A. Entonces:
x→b g(x)
b b
i) Si A ∈ IR −{0}, las f (x) dx y g(x) dx convergen o divergen
a a
integrales simulta´neamente.
b b
ii) Si A = 0 y g(x) dx converge, entonces f (x) dx converge.
a
a
b
b
iii) Si A = ∞ y g(x) dx diverge, entonces f (x) dx diverge.
a a

2.5. Corolario
Sea f : [a, b) −→ IR integrable en todo intervalo cerrado contenido en [a, b) y tal que
existe x0 < b de modo que f (x) ≥ 0 para todo x > x0 . Si lim− (b − x)p f (x) = A, se
x→b
verifica que:
b
i) Si A ∈ IR y p < 1, la integral f (x) dx es convergente
impropia a
∞
ii) Si A = 0 (finito o infinito) y p ≥ 1, la integral impropia f (x) dx es divergente.
a
Notas:
1) Los restantes casos posibles son casos dud osos.
2) En el caso de una funcio´n no acotada en el l´ımite inferior x = a, los resultados son
ana´logos siendo A = lim+ (x − a)p f (x).
x→a
3) V´ease prob lema resuelto 5, apartados b), c) y d), como ejemplo de aplicaci´on de
este corolario.

2.6. Definici ´on. Convergen cia absoluta

b
Se dice que la integral impropia f (x) dx converge absolutamente si la integral
a
b
|f (x)| dx es convergente.
a
190 Cap´ıtulo 14. Integrales
impropias
2.7. Teorema
Toda integral impropia absolutamente convergente es convergente.

2.8. Definici ´on. Convergen cia cond icio nal

Una integral improp ia convergente pero no absolutamente convergente recibe el
nom- bre de condicionalmente convergente.

3. Integral impropia de tercera especie

3.1. Definici ´on. Integral impro pia de te rc era especie
Se denom inan integrales improp ias de tercera especie a las integrales sobre intervalos
no acotados de funciones no acotadas en ningu´n entorno de uno o varios puntos de
un intervalo [a, b].
∞
Ejemplo: La integral e−x dx esta extendida al intervalo no acotado [0, ∞) y la
√ 0
x ´
−x
√
funcio´n f (x) = e / x no esta´ acotada en ningu´n entorno del punto x = 0.

3.2. Estud io de un a integral impropia de te rc era especie

El estudio de una integral improp ia de tercera especie se reduce, por la aditividad
respecto al intervalo, a estudiar por separado una (o dos) integrales de primera especie y
una (o varias) de segunda especie.
Si todas las integrales de los sumandos son convergentes, la dada es convergente. Si
alguna es divergente, la dada es divergente. Para la convergencia absoluta se tiene
un resultado ana´logo.
Ejemplos: ∞ −x2

0 | x − 1 |1/2
∞ 2 1 7
−x2 2 2
e−x e e−x ∞ e−x
dx = dx + dx + dx
0 |x − 1|1/2 0 (1 − x)1/2 1 (x − 1)1/2 7 (x − 1)1/2

y se estudia por separado la convergenc ia de cada una de las tres integrales impropias.
∞
1
2) La integral impropia dx es divergente para todo p ∈ IR.
0 xp
Notas: ∞ b
1) Si se trata de estudiar la convergencia de una integral f (x) dx o f (x) dx, y
a
a
f (x) no mantiene el signo en el intervalo, se estudia su convergencia absoluta. Si la
integral es absolutamente convergente entonces es convergente.
2) En ocasiones es preciso estudiar para qu´e valores
b
del par´ametro λ ∈ [λ 1 , λ2 ] es conver-
∞
gente una integral del tipo f (x, λ) dx o´ f (x, λ) dx. Si la funcio´n no mantiene
a a
 Funcio´n Γ de Euler 447

el signo en el intervalo, se aplica lo dicho en la nota anterior. Para aquellos

valores de λ en los que la integral no es absolutamente convergente se intentar´a
calcular la primitiva o reducirla a una integral que seamos capaces de estudiar. Una
posibilidad es la integracio´n por partes (v´ease el prob lema resuelto 4).

4. Funcio´n G de Euler
4.1. Definici ´on. Fun ci´on Γ de Euler
∞
Se denomina funcio´n Gamma de Euler a la funcio´n Γ(p) = xp−1 e−x dx, definida
0
para p > 0, que recibe tambi´en el nombre de integral de Euler de primera especie.
Nota: La funcio´n Γ esta´ bien definida, es decir la integral improp ia es convergente
para todo p > 0 (v´ease prob lema resuelto 11).

4.2. Propiedades
√
i) Γ(1/2) = π.
ii) Γ(p + 1) = pΓ(p) para todo p > 0.
π
iii) Γ(p)Γ(1 − p) = para 0 < p < 1.
sen(πp)
Nota: De la propiedad anterior ii) se puede deducir que para un nu´mero natural n es
Γ(n) = (n − 1)! (v´ease prob lema resuelto 13).

4.3. Tab la de val ores de la fun ci´on Γ

El ca´lculo de Γ(p) para cualquier valor de p > 1 puede reducirse mediante la fo
´rmula Γ(p + 1) = pΓ(p) al ca´lculo de Γ(p) para un valor p con 0 < p < 1. Para
estos valores la funcio´n Γ esta´ tabulada. La tabla se obtiene usando m´etodos num
´ericos para calcular el valor aproximado de las integrales improp ias y esta´
incorporada en cualquier sistema de ca´lculo simbo´lico. Por ejemplo en DERIVE
basta apr oximar la instruccio´n G AM MA(p) para cualquier valor num´erico p.
Reproducimos aqu´ı una tabla simplificada, realizada con p recisio´n de 6 d´ıgitos (se han
suprimido los d´ıgitos finales iguales a cero).
p 0 1 2 3 4 5 6 7 8 9
0 0 - 99 4326 49 4422 32 785 24 4609 19 47 16 1457 13 7736 11 9965 10 6162
0 1 9 5135 8 61268 7 86325 7 23024 6 68868 6 22027 5 81127 5 45117 5 13182 4 84676
0 2 4 59084 4 35988 4 15048 3 9598 3 7855 3 62561 3 47845 3 3426 3 21685 3 10014
0 3 2 99156 2 89033 2 79575 2 7072 2 62416 2 54614 2 47273 2 40355 2 33825 2 27654
0 4 2 21815 2 16284 2 11037 2 06054 2 01319 1 96813 1 92522 1 88432 1 8453 1 80805
0 5 1 77245 1 73841 1 70584 1 67465 1 64477 1 61612 1 58864 1 56226 1 53693 1 51259
0 6 1 48919 1 46668 1 44503 1 42419 1 40412 1 38479 1 36616 1 3482 1 33088 1 31417
0 7 1 29805 1 28249 1 26747 1 25296 1 23895 1 22541 1 21233 1 19969 1 18747 1 17565
0 8 1 16422 1 15318 1 14249 1 13215 1 12215 1 11248 1 10312 1 09406 1 0853 1 07683
0 9 1 06862 1 06069 1 05301 1 04558 1 0384 1 03145 1 02473 1 01823 1 01194 1 00587
 Por ejemplo, para p = 0 54 se busca en la fila correspondiente al 0 5 y la columna
correspondiente al 4, y se obtiene Γ(0 54) ≈ 1 64477.

5. Funcio´n B de Euler
5.1. Definici ´on. Fun ci´on B de Euler
Se denomina funcio´n Beta de Euler a la funcio´n
1
B(p, q) = p−1 q−1
0
x (1 − x) dx, p, q > 0
y recibe tambi´en el nombre de integral de Euler de segunda especie.
Nota: La funcio´n B esta´ bien definida, es decir la integral improp ia es convergente
para todo p, q > 0 (v´ease prob lema resuelto 14).

5.2. Propiedades
i) B(p, q) = B(q, p) para todo p, q > 0.
π/2
ii) B(p, q) = 2
0
sen2p−1 x cos2q−1 x dx para todo p, q > 0.
Γ(p)Γ(q)
iii) B(p, q) = para todo p, q > 0.
Γ(p + q)
Notas:
1) La u´ltima de las prop iedades anteriores permite la evualuaci´on apr oximada de B(p,
q) para cualesquiera nu´meros positivos p y q, a par tir de los correspondientes
valores de la funcio´n Γ. En DERIVE se puede usar la instruccio´n EU L ER
BETA(p,q).
2) En los prob lemas resueltos del 15 al 20 se usan las prop iedades de las funciones Γ y
B.

6. Integrales y series
En este apar tado se analiza la relacio´n entre la convergencia de integrales improp ias
y la de series a trav´es del criterio integral. Este criterio permite reducir el estudio del car
´acter de una serie num´erica al estudio de una integral improp ia conveniente,
proporcionando, adema´s, una estimacio´n del resto de la serie.

6.1. Teor ema. Criterio integral

∞
Si f (x) es una funcio´n continua, positiva y decreciente para x ≥ 1, la f (n) y
serie n=1
∞
la integral impropia f (x) dx tienen el mismo car´acter.
1
Nota: V´eanse prob lemas resueltos 23 y 24.
 Test de Autoevaluacio´n 449

6.2. Su ma aproximad a de series convergentes por el criterio integral

∞
Si la serie f (n) es convergente por el criterio integral, el resto R n puede acotarse
n=1
por
∞ ∞
Rn = S − Sn = f (k) ≤ f (x) dx
k=n+1 n

Esta estimacio´n del resto permite obtener el valor apr oximado de la suma de la
serie con una precisi´on prefijada (v´ease prob lema resuelto 26).
Nota: El paralelismo entre los resultados relativos a convergencia de series y de
integrales improp ias no es absoluto. A diferencia de lo que ocurr´ıa en el caso de series, la
convergencia
∞
de la integral impropia f (x) dx no implica que la funcio´n f (x) tienda a 0. Sin embargo si
a
f es continua, decreciente y positiva y la integral converge, s´ı se verifica que lim f (x) = 0.
x→∞

TEST DE A UTOEV ALU ACI´ON

Razonar la certeza o falsedad de las siguientes afirmaciones:

∞ 1000 ∞
1. Si f (x) dx es convergente, entonces f (x) dx ≤ f (x) dx.
0
0 0
1
2. Sea f (x) dx una integral impropia divergente de segunda especie por no estar acotada
0
1
en x = 0, donde f (x) es una funcio´n par. Entonces f (x) dx podr´ıa ser convergente
−1
en el sentido del valor principal de Cauchy.
∞
3. Sea f (x) una funcio´n continua y positiva en [0, ∞). Si f (x) dx es convergente,
∞ 0
entonces f (x)e−x dx es convergente.
0

13
4. La integral cos x
√ dx es convergente.
0 x
1 1 1
5. Si f (x) dx y g(x) dx convergen, entonces f (x)g(x) dx converge necesaria-
0 0 0
mente.