Documentos de Académico
Documentos de Profesional
Documentos de Cultura
INTEGRALES IMPROPIAS
Así que esta integral diverge a +∞. No hace falta estudiar las otras dos: la integral
R +∞ dx
0 |x−1|
no converge.
d) El integrando es una función continua en (0, 1], así que es localmente integrable. La
integral es impropia en 0, ya que lı́m+ log x = −∞. Podemos calcular la integral
x→0
por partes: tomamos f (x) = log x (así al derivar desaparece el logaritmo) y tenemos
que buscar una función g cuya derivada sea 1. Elegimos g(x) = x (podríamos sumar
alguna constante, pero no se ve ningún motivo para hacerlo). Entonces,
Z 1 Z 1
log x dx = f (x)g ′ (x) dx
0 0
x=1 Z 1
= f (x)g(x) − f ′ (x)g(x) dx
x→0+ 0
x=1 Z 1
1
= x log x − x dx
x→0+ 0 x
Z 1
= 1 · log 1 − lı́m+ x log x − dx
x→0 0
x=1
= − lı́m+ x log x − x = − lı́m+ x log x − 1.
x→0 x=0 x→0
Solo tenemos que calcular ese límite. Lo escribimos como un cociente para usar la
regla de L’Hôpital (también se puede hacer el cambio y = x1 ):
log x
lı́m+ x log x = lı́m+
x→0 x→0 1/x
(podemos usar la regla de L’Hôpital porque el denominador tiende a +∞)
1/x
= lı́m+ = lı́m −x = 0.
x→0 −1/x2 x→0+
Volviendo atrás, deducimos que
Z 1
log x dx = −1
0
y, en particular, converge.
e) La función es continua en (0, 21 ], así que es localmente integrable (observemos que la
función tendría un problema en 1, pero esto no está en el intervalo de integración).
La integral es impropia en 0, ya que
lı́m x log x = 0
x→0+
dond, en el último paso, tenemos en cuenta que lı́m+ | log x| = +∞. Así que la
x→0
integral diverge a −∞.
Mario Pérez Riera - Problemas resueltos de Análisis matemático I 3
deducimos que
1 1
lı́m q =√ = 1.
x→+∞
1+ 3 1+0
x4
Vamos a usar el criterio de comparación por el límite, pero antes vamos a cambiar
de intervalo de integración. Sabemos que
Z +∞ Z +∞
f (x) dx converge ⇐⇒ f (x) dx converge.
0 1
la integral
Z 2
dx
1 (x3 − 4x2 + 4x)1/3
también converge.
i) La función f (x) = cos1 x es continua en [0, π2 ), así que es localmente integrable. Pero
no está acotada cerca de π2 : tiende a +∞ cuando x tiende a π2 por la izquierda. Por
lo tanto, la integral es impropia en π2 . Podemos calcular la integral siguiendo las
indicaciones del guion de cálculo de primitivas:
Z π/2 Z π/2
dx 1 Z π/2
1
= cos x dx = cos x dx
0 cos x 0 2
cos x 0 1 − sen2 x
π
(hacemos el cambio de variable t = sen x, dt = cos x dx, x = 0 ⇝ t = 0, x = 2
⇝
t = 1)
Z 1
1 Z 1
1
= dt = dt
0 1−t2 0 (1 − t)(1 + t)
Así que nos quedamos con esta última integral. Y ahora, como x4 + 1 ≥ x4 (incluso
es una desigualdad estricta), tenemos que
x2 x2 1
0≤ 4
≤ 4
= 2.
x +1 x x
R +∞ dx
Pero la integral 1 x2
es uno de los ejemplos básicos:
Z +∞
dx
converge ⇐⇒ r > 1.
1 xr
Por lo tanto, la integral 1+∞ dx
R
x2
converge, porque es el caso r = 2. Por el criterio
de comparación por mayoración, la integral 1+∞ f (x) dx también converge. Y la
R
2
integral 0+∞ f (x) dx = 0∞ x4x+1 dx converge.
R R
R +∞ R +∞
¿Por que nos cambiamos
R +∞ 1
de 0 f (x) dx a 1 f (x) dx? Porque si no, al inten-
tar comparar con 0 x2 dx resulta que esta integral tiene otro punto donde es
impropia: 0. Y no nos interesa eso.
Otra solución. Sacando factor común lo esencial cuando x → +∞, tenemos que
x2 x2 1
f (x) = = 1 = 1 .
x4 + 1 x4 (1 + x4
) x2 (1 + x4
)
1
Definimos entonces g(x) = x2
, que también es una función positiva. Con esto,
1
f (x) = g(x)
1 + x14
y
f (x) 1
lı́m = lı́m = 1.
x→+∞ g(x) x→+∞ 1 + 14
x
Vamos a usar el criterio de comparación por el límite, pero igual que antes vamos
a cambiar de intervalo de integración. Sabemos que
Z +∞ Z +∞
f (x) dx converge ⇐⇒ f (x) dx converge.
0 1
1
f (x) = g(x) ,
x3/2 +1
así que
f (x) 1
lı́m+ = lı́m+ 3/2 = 1.
x→0 g(x) x→0 x + 1
Según el criterio de comparación por el límite, la integral 01 f (x) dx tiene el mismo
R
Z b
dx
converge ⇐⇒ r < 1.
a (x − a)r
En nuestro caso, a = 0 y r = 21 , así que la integral 01 dx
R
x1/2
converge. Y, por lo tanto,
la integral 01 f (x) dx = 01 x2 +
dx√
R R
x
también converge.
8 Mario Pérez Riera - Problemas resueltos de Análisis matemático I
el denominador:
1 1
f (x) = 2 √ = 2 .
x + x x (1 + x−3/2 )
Escribimos h(x) = x12 . Entonces,
1
f (x) = h(x) ,
1 + x−3/2
así que
f (x) 1
lı́m = lı́m = 1.
x→+∞ h(x) x→+∞ 1 + x−3/2
Si las dos integrales convergen, la integral total converge. Si alguna de las dos
integrales no converge, ya decimos que la integral total no converge.
Empezamos con la primera. Factorizamos la función:
1 1
f (x) = = .
(x2 − 1) 2 (x − 1) (x + 1)2
2
1
g(x) =
(1 − x)2
y entonces
1 1
f (x) = = g(x) .
(1 − x)2 (x + 1)2 (1 + x)2
Por lo tanto,
f (x) 1 1
lı́m = lı́m− 2
= .
x→1− g(x) x→1 (1 + x) 4
Además, las dos funciones, f y g, son positivas. Como el límite anterior
R1
no es 0 ni
+∞, según el criterio de comparación por el límite la integral 0 f (x) dx tiene el
mismo carácter que 01 g(x) dx = 01 (1−x)
dx
R R
2 . Pero este es un ejemplo básico:
Z b
dx
converge ⇐⇒ r < 1.
a (b − x)r
En nuestro caso, b = 1 y r = 2. Así que la integral 01 g(x) dx no converge y por lo
R
Si las dos integrales convergen, decimos que la integral total converge. Basta que
una de las dos no converjan para que ya digamos que la integral total no converge.
Empezamos por la primera. Es impropia solo en 2; cuando x → 2+ , lo importante
es x − 2, es lo que la hace impropia. Así que escribimos
1 1
f (x) = √ ·√ .
x−2 4−x
Ahora tomamos g(x) = √1 . Entonces, la función g también es positiva y
x−2
1
f (x) = g(x) √ .
4−x
Por lo tanto,
f (x) 1 1
lı́m+ = lı́m+ √ =√ .
x→2 g(x) x→2 4−x 2
Como el límite existe y no es ni 0 ni +∞, el criterio de comparación por el límite
dice que la integral 23 f (x) dx tiene el mismo carácter que la integral 23 g(x) dx =
R R
R3 dx
2 (x−2)1/2 . Pero este es uno de los ejemplos básicos:
Z b
dx
converge ⇐⇒ r < 1.
a (x − a)r
R3
En nuestro caso, a = 2 y r = 21 . Así que la integral 1
2 (x−2)1/2 converge y la integral
R3
2 f (x) dx también.
Ahora vamos con la segunda integral: 34 √ dx
R
. Es impropia solo en 4; cuan-
(x−2)(4−x)
do x → 4− , lo importante es 4 − x, es lo que la hace impropia. Así que escribimos
1 1
f (x) = √ ·√ .
x−2 4−x
Ahora tomamos h(x) = √1 . Entonces, la función h también es positiva y
4−x
1
f (x) = h(x) √ .
x−2
Por lo tanto,
f (x) 1 1
lı́m− = lı́m− √ =√ .
x→4 h(x) x→4 x−2 2
Como el límite existe R4
y no es ni 0 ni +∞, el criterio de comparación por
R4
el límite
dice que la integral 3 f (x) dx tiene el mismo carácter que la integral 3 h(x) dx =
R4 dx
3 (4−x)1/2 . Pero este es uno de los ejemplos básicos:
Z b
dx
converge ⇐⇒ r < 1.
a (b − x)r
R4
En nuestro caso, b = 4 y r = 12 . Así que la integral 1
3 (4−x)1/2 converge y la integral
R4
3 f (x) dx también.
Puesto que las dos integrales 23 f (x) dx y 34 f (x) dx convergen, decimos que la
R R
R4
integral 2 f (x) dx converge.
Otra solución. En la segunda integral, 34 √ dx
R
, si hacemos el cambio de va-
(x−2)(4−x)
R3
riable y = 6 − x es fácil ver que la integral se convierte en la primera, 2
√ dx
.
(x−2)(4−x)
Así que una vez que vemos que esta primera integral converge, la otra también.
Mario Pérez Riera - Problemas resueltos de Análisis matemático I 11
1
o) La función f (x) = (x(3−x)) 1/3 es continua en el intervalo abierto (0, 3), así que es
(0, 3).
Empezamos por la primera integral. Aquí lo importante, el motivo por el que es
impropia en 0, es el factor x del denominador. Lo sacamos aparte:
1 1 1
f (x) = = 1/3 · .
(x(3 − x)) 1/3 x (3 − x)1/3
1
Ahora tomamos g(x) = x1/3
. Entonces, la función g también es positiva y
1
f (x) = g(x) · .
(3 − x)1/3
Por lo tanto,
f (x) 1 1
lı́m+ = lı́m+ = 1/3 .
x→0 g(x) x→0 (3 − x) 1/3 3
Como el límite Rexiste y no es ni 0 ni +∞, el criterio de comparación por el límite dice
1 R1 R 1 dx
que la integral 0 f (x) dx tiene el mismo carácter que la integral 0 g(x) dx = 0 x1/3 .
Pero este es uno de los ejemplos básicos:
Z b
dx
converge ⇐⇒ r < 1.
a (x − a)r
1
f (x) = g(x) · 3x .
3 e 3x−1 (1+ 2x3/2 )
Así que
f (x) 1 1
lı́m+ = lı́m+ e3x −1 =
x→0 g(x) x→0 3 3x (1 + 2x3/2 ) 3
(usamos la equivalencia e3x −1 ∼ 3x). Como el límite no esR 0 ni +∞, deducimos, por
el criterio de comparaciónR por el límite,R que la integral 0π f (x) dx tiene el mismo
carácter que la integral 0π g(x) dx = 0π xdx 1/2 . Pero esta es una de las integrales
básicas: sabemos que
Z π
dx
converge ⇐⇒ r < 1.
0 xr
1 Rπ
En
Rπ
nuestro caso, r = 2
. Así que la integral 0 g(x) dx converge y la integral
0 f (x) dx, que es la que teníamos que estudiar, también converge.
sen x
s) La función 1+x 2 es continua, así que es localmente integrable y la integral solo es
Así que
g(x) 1
lı́m = lı́m q = 1.
x→+∞ h(x) x→+∞ 1 2
1 − x7/2 + x4
Como el límite no Res 0 ni +∞, deducimos, por el criterio de comparación por el lími-
+∞ R +∞
te, que la integral 1 g(x) dx tiene el mismo carácter que la integral 1 h(x) dx =
R +∞ dx
1 x2
. Pero esta es una de las integrales básicas: sabemos que
Z +∞
dx
converge ⇐⇒ r > 1.
1 xr
R +∞
En nuestro caso, r = 2. Así que la integral
R +∞ 1 h(x) dx converge y la integral
1 g(x) dx también converge.
Volviendo atrás, como
cos(4x) 1
0≤ q
√ ≤q √ = g(x),
x4 − x + 2 x4 −
x+2
por el criterio de comparación por mayoración tenemos que
Z +∞
cos(4x)
q
√ dx
x4 − x + 2
1
1/x
= lı́m+ = lı́m −x = 0.
x→0 −1/x2 x→0+
R1
En resumen: la integral 0 − log x dx converge (y vale 1). Por el criterio de compa-
ración por mayoración, la integral
Z 1
1
(log x) sen dx
0
x
también converge. Y, por lo tanto, la integral
Z 1
1
(log x) sen dx
0 x
converge.
w) La función f (x) = log1 x es continua en [2, +∞), así que es localmente integrable. La
integral es impropia solo en +∞. Además, la función es positiva, porque log x > 0
si x > 1 y en nuestro caso x > 2.
Vamos a usar el criterio de comparación por el límite. La idea es que, al menos
para valores grandes de x, log x < x (y también log x < xr para cualquier constante
r > 0). Así que tendremos log1 x > x1r para cualquier constante r > 0 que fijemos,
si x es grande. Si ahora tomamos r de modo que la integral 2+∞ dx
R
xr
diverge a +∞,
deduciremos que nuestra integral también diverge a +∞.
Tomamos g(x) = x1 . Vamos a comprobar si la idea anterior funciona bien:
f (x) x
lı́m = lı́m = +∞,
x→+∞ g(x) x→+∞ log x
que es impropia solo en +∞. También en este caso vamos a estudiar la integral
Z +∞ −x
e cos x
√ dx.
3 x2 − 4
3
18 Mario Pérez Riera - Problemas resueltos de Análisis matemático I
con tres constantes A, B y C que hay que hallar. Multiplicamos por x(1 + x2 ):
1 = A(1 + x2 ) + (Bx + C)x = A + Cx + (A + B)x2 .
Mirando el término independiente en los dos miembros, resulta que A = 1. Mirando
el coeficiente de x, sale C = 0. Y mirando el coeficiente de x2 , tenemos que 0 =
A + B, es decir, B = −1. Así que la descomposición en fracciones simples es
1 1 x
2
= − .
x(1 + x ) x 1 + x2
Entonces,
Z +∞
dx Z +∞
1 x
2
= − dx
1 x(1 + x ) 1 x 1 + x2
(las primitivas son inmediatas)
x→+∞
1
= log |x| − log |1 + x2 |
2 x=1
Entonces,
!
Z +∞
dx Z +∞
1/2 1/2
= − dx
2 x2 − 1 2 x−1 x+1
(las primitivas son inmediatas)
x→+∞
1 1
= log |x − 1| − log |x + 1|
2 2 x=2
Así que no es una integral impropia. Vista como integral impropia, converge. Para
calcularla, observemos primero que si x ∈ (0, 1], log x ≤ 0. Así que
Z 1 Z 1
x| log x| dx = −x log x dx.
0 0
Hacemos la integral por partes: tomamos f (x) = log x, porque así al aplicar la regla
de la integral por partes quedará f ′ (x) = x1 , sin el logaritmo. Para ser precisos,
en este paso en realidad sí estamos considerando la integral como una integral
Mario Pérez Riera - Problemas resueltos de Análisis matemático I 21
(en realidad, esta es inmediata del tipo (j) del guion, pero también podemos hacerla
poco a poco)
Z +∞ √ √1 dt
Z +∞
2 dt 2 3 3
= t2
= · 2
0 3(1 + 3 ) 0 3 1 + √t3
22 Mario Pérez Riera - Problemas resueltos de Análisis matemático I
Con esto, podemos hacer el cambio t = tg x, dt = (1 + tg2 x) dx, que resultará más
sencillo. Sin embargo, hay otro problema: tg x no está definida en π2 , que está dentro
del intervalo de integración. Para hacer el cambio de variable separamos la integral
en dos:
Z π Z π/2 Z π
dx dx dx
2 = 2 + 2
0 2 + tg x 0 2 + tg x π/2 2 + tg x
Z π/2
(1 + tg2 x) dx Z π
(1 + tg2 x) dx
= + .
0 (2 + tg2 x)(1 + tg2 x) 2 2
π/2 (2 + tg x)(1 + tg x)
Podríamos haber tomado otros valores de t, pero esos son bastante naturales. Con
esto,
Z 2
x2 dx Z 0
4 cos2 t(−2 sen t) dt
√ = √
−2 4 − x2 π 4 − 4 cos2 t
(cambiamos el orden de los extremos de la integral y simplificamos)
Z π
8 cos2 t sen t dt Z π 8 cos2 t sen t dt
= √ =
0 4 sen2 t 0 2| sen t|
(si 0 < t < π, sabemos que sen t > 0, así que no hace falta el valor absoluto)
Z π
4 cos2 t sen t Z π
= = 4 cos2 t dt
0 sen t 0
Si ahora definimos
1
g(x) = ,
(x − 1)1/2
entonces deducimos que
f (x) 1 1
lı́m+ = lı́m+ 3 √ =√ .
x→1 g(x) x→1 x x + 1 2
Mario Pérez Riera - Problemas resueltos de Análisis matemático I 25
carácter que la integral 12 g(x) dx. Pero esta integral converge, porque es uno de los
R
Entonces,
Z +∞
1 Z π/2
cos3 t sen t Z π/2
cos t sen t
√ dx = q
2
dt = q dt
1 x3 x2 − 1 0 1
− 1 cos t 0 1−cos2 t
cos2 t cos2 t
√
Z π/2
cos t sen t cos2 t Z π/2 cos t sen t| cos t|
= √ dt = dt
0 sen2 t 0 | sen t|
1+cos 2t
(usamos la fórmula cos2 t = 2
y queda inmediata)
Z π/2
1 1
= + cos 2t dt
0 2 2
π/2
1 1 π 1 π
= t + sen 2t = + sen π = .
2 4 0 4 4 4
j) La integral es impropia solo en +∞. Podríamos ver primero si la integral converge
usando algún criterio de comparación, pero vamos a calcular directamente el valor.
Si sale un número real, es que la integral converge.
Vamos a hacer el cambio de variable t = e−x , dt = −e−x dx,
x → +∞ ⇝ t → 0; x = 1 ⇝ t = e−1 .
Con esto,
Z +∞
e−x Z +∞
e−x Z +∞
e−x −x
dx = dx = e dx
1 1 + ex 1 ex (e−x + 1) 1 e−x + 1
Separamos la integral en dos, no porque haga falta sino para quitar el valor
absoluto:
Z +∞ Z 3 Z +∞
|x − 3|e−x dx = |x − 3|e−x dx + |x − 3|e−x dx
0 0 3
Z 3 Z +∞
−x
= (3 − x)e dx + (x − 3)e−x dx.
0 3
= 0 − (−e−3 ) = e−3 .
Sumando las dos integrales, sale que
Z +∞
|x − 3|e−x dx = 2 + 2e−3
0
y, en particular, converge.
l) La integral es impropia solo en +∞. La función f (x) = xe|x−2| es positiva. Además,
como |x − 2| ≥ 0 tenemos que e|x−2| ≥ 1 y
0 ≤ x ≤ xe|x−2| .
Pero
Z +∞
1 x→+∞ 1
x dx = x2 = lı́m x2 − 0 = +∞.
0 2 x=0 x→+∞ 2
R +∞
Es decir, la integral 0 x dx diverge a +∞ (en realidad, es uno deR los ejemplos
básicos). Por el criterio de comparación por mayoración, la integral 0+∞ xe|x−2| dx
también diverge a +∞.
m) En realidad, no es una integral impropia. Vista como integral impropia, converge.
La separamos en dos para quitar el valor absoluto:
Z 3 Z 2 Z 3
|x − 2| log x dx = (2 − x) log x dx + (x − 2) log x dx.
1 1 2
Vamos a hacer las dos integrales por partes. En la primera tomamos f (x) = log x
y buscamos una función g(x) tal que g ′ (x) = 2 − x. Elegimos g(x) = 2x − 12 x2 , por
28 Mario Pérez Riera - Problemas resueltos de Análisis matemático I
4t2
Hay que descomponer (t2 +1)2
en fracciones simples:
4t2 At + B Ct + D
2 2
= 2 + 2 ,
(t + 1) t +1 (t + 1)2
con constantes A, B, C y D que hay que hallar. Podemos calcular las constantes,
pero en realidad la descomposición es fácil de hacer a ojo:
4t2 4(t2 + 1) − 4 4 4
2 2
= 2 2
= 2 − 2 .
(t + 1) (t + 1) t + 1 (t + 1)2
Una primitiva de t24+1 es 4 arc tg t. Según el guion de cálculo de primitivas, en el
apartado a) de funciones racionales con n = 2, a = 0 y b = 1
Z
1 1 t 1 1 t 1
dt = I2 = · 2 + I1 = · 2 + arc tg t.
(t2 + 1) 2 2 t +1 2 2 t +1 2
Por lo tanto, tenemos la primitiva
!
Z
4t2 Z
4 4 2t
dt = − 2 dt = 4 arc tg t − − 2 arc tg t
(t2 + 1)2 t + 1 (t + 1)2
2 t2 +1
2t
= 2 arc tg t − 2 .
t +1
A esta primitiva también se puede llegar directamente integrando por partes:
Z
4t2 Z
2t
2 2
dt = 2t · 2 dt
(t + 1) (t + 1)2
por órdenes de infinitud. Por otra parte, la integral 1+∞ g(x) dx = 1+∞ dx
R R
x2
converge,
ya que es uno de los ejemplos básicos:
Z +∞
dx
converge ⇐⇒ r > 1.
1 xr
En
R +∞
nuestro caso, r = 2. Puesto que el límite anterior es 0 y la integral impropia
1 g(x)R dx converge, del criterio de comparación por el límite se deduce que la
integral 1+∞ f (x) dx también converge.
En resumen: lasR dos integrales 01 xt−1 e−x dx y 1+∞ xt−1 e−x dx convergen. Por lo
R R
A continuación, hacemos el cambio y = 4x2 log 3 para tener e−y . Para hacer este
cambio,
x → +∞ ⇝ y → +∞;
x = 0 ⇝ y = 0;
1
x= √ y 1/2 ;
2 log 3
1
dx = √ y −1/2 dy.
4 log 3
Con esto,
Z +∞
−4x2
Z +∞
−4x2 log 3 1 Z +∞
3 dx = e e−y √ dx = y −1/2 dy
0 0 0 4 log 3
1 Z +∞
1 1 1 √
= √ y 2 −1 e−y dy = √ Γ( 12 ) = √ π.
4 log 3 0 4 log 3 4 log 3
32 Mario Pérez Riera - Problemas resueltos de Análisis matemático I