Integrales Impropias

Prof. Jorge Brisset Instituto de Profesores Artigas - Analisis II

2008

Indice
1. Integrales impropias 3
1.1. Deniciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Resultados basicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1. Algunos criterios de clasicacion . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.2. Clasicacion de algunas integrales impropias particulares . . . . . . . . . . . . . 8
1.2.3. Convergencia absoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3. Integrales impropias y series numericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1
Introduccion
Las siguientes notas fueron elaboradas para el curso de Analisis II correspondiente al tercer a no de la
carrera de Profesor de Matematica para Educacion Media dictada en Instituto de Profesores Artigas.
El objetivo fue recoger algunos de los principales resultados del tema integrales impropias y servir
como apoyo al curso. El estudiante encontrara en ellas varios ejemplos y teoremas y algunos ejercicios
complementarios a los ya pedidos en el practico del curso.
2
1. Integrales impropias
1.1. Deniciones y ejemplos
Consideremos una funcion f denida en [a, ), con nito o innito, f localmente integrable en
[a, ) (es decir, f R-integrable en todo [a, x] [a, ) )
Para cada x del [a, ) se considera F : F (x) =
x
_
a
f (t) dt, notese que F : [a, ) R. Aqu cabe que
nos preguntemos: que podra ocurrir cuando x

?
Seg un que de este lmite diremos que la integral impropia converge o diverge.
1. Si lm
x
F(x) = l, l R, diremos que la integral impropia de f en [a, ) converge y en ese caso
escribimos que l =

_
a
f(t)dt =
_
[a,)
f(t)dt
2. Por otro lado, en cualquier otro caso diremos que la integral impropia de f en [a, ) diverge.
Veamos algunos ejemplos.
Ejemplo 1 Que ocurre con
+
_
0
e
t
2
dt ?
3

Si pudieramos hallarle una primitiva elemental la tarea sera muy simple, ya que calcularamos
lm
x+
F(x) y la integral impropia sera convergente si y solo si el lmite anterior fuera nito. Sin
embargo, esto no sera posible ya que f no tiene primitiva elemental. Veremos que pese a ello de todos
modos podremos clasicarla. Notemos que F : F(x) =
x
_
0
e
t
2
dt es estrictamente creciente en [a, ) y por
lo tanto el lm
x+
F(x) existe y sera nito o no seg un este acotada o no la F.
Consideremos t 1, entonces t
2
t y por lo tanto e
t
2
e
t
. De donde
F(x) =
x
_
0
e
t
2
dt =
1
_
0
e
t
2
dt +
x
_
1
e
t
2
dt
1
_
0
e
t
2
dt +
x
_
1
e
t
dt =
1
_
0
e
t
2
dt e
x
+e
1
<
1
_
0
e
t
2
dt +e
1
Por lo que
+
_
0
e
t
2
dt C
Ejemplo 2
+
_
1
1
t
dt diverge pues
x
_
1
1
t
dt = L x
x+
+
Ejemplo 3
+
_
0
sen (t)dt diverge pues
x
_
0
sen (t)dt = cos x + 1 no tiene lmite cuando x +.
Ejemplo 4
1

_
0
1
1t
dt diverge porque
x
_
0
1
1t
dt = L (1 x)
x1

+
4
Ejemplo 5
1

_
0
1

1t
dt converge pues
x
_
0
1

1t
dt = 2
_
(1 x) + 2
x1

2
Ejemplo 6
1

_
0
1
(1t)
2
sen
_
1
1t
_
dt diverge ya que
x
_
0
1
(1t)
2
sen
_
1
1t
_
dt = cos
_
1
x1
_
+ cos (1) que no
tiene lmite cuando x 1

Los tres primeros ejemplos tratan de integrales impropias de primera especie y los tres ultimos son
de integrales de segunda especie.
Ejercicio 7 Sea f localmente integrable y acotada en [a, b). Demuestre que f es R-integrable en [a, b]
Ejercicio 8 Sea f localmente integrable en [a, +) . Demuestre que si lm
x+
f(x) existe y es distinto
de 0, entonces
+
_
a
f(t)dt diverge.
Ejemplo 9 Veamos la funcion escalonada como indica la gura. All tenemos que f no tiene lmite y
sin embargo la integral impropia en [0, +) es convergente.
5
Claramente,
[x]
_
0
f(t)dt
x
_
0
f(t)dt
[x]+1
_
0
f(t)dt y ademas las integrales de los extremos tienen el
mismo lmite.
Por lo tanto,
+
_
0
f(t)dt converge y ademas
+
_
0
f(t)dt = 1 +
1
2
+
1
4
+ +
1
2
n
+ =
+

n=0
_
1
2
_
n
= 2
Ejercicio 10 De otros ejemplos de funciones f tales que
+
_
a
f(t)dt converge con lm
x+
f(x) = 0.
(compare este resultado con series).
1.2. Resultados basicos
A continuacion veremos algunos teoremas sobre la clasicacion de integrales impropias, los primeros
son bastante directos en su demostracion y los otros son semejantes a los respectivos de integrales de
Riemann: partes y sustitucion.
Teorema 11 Sea f : [a, ) R, f localmente integrable en [a, ) . Se dene F : F(x) =
x
_
a
f(t)dt.
Entonces, las siguientes armaciones son equivalentes:
1.

_
a
f(t)dt converge
2. Para cualquier (x
n
) con lm(x
n
) =

, se tiene que (F (x
n
)) converge
3. Cualquiera sea > 0, existe (b, ) tal que, cualesquiera que sean x

y x

en (b, ) se tiene

_
x

f(t)dt

< (Condicion de Cauchy).

Demostracion. 12 resulta inmediato en virtud de los teoremas de pasaje.
13 resulta inmediato en virtud de la condicion de Cauchy para funciones.
Teorema 12 Sea f continua en [a, ) y sea G una primitiva de f en [a, ) .
Entonces

_
a
f(t)dt C lm
x

G(x) es un n umero real

Demostracion. Es inmediata ya que F(x) =
x
_
a
f(t)dt = G(x) G(a).
Teorema 13 Sean f y g continuas en [a, ), F y G primitivas de f y g en [a, )
tales que lm
x

F(x)G(x) = k, k real. Entonces

1.

_
a
f(t)G(t)dt y

_
a
F(t)g(t)dt son de la misma clase.
2. En caso de convergencia,

_
a
f(t)G(t)dt = k F(a)G(a)

_
a
F(t)g(t)dt
Demostracion. Tomemos cualquier x en [a, ) . En [a, x] podemos aplicar partes para integrales
de Riemann, por lo que:
x
_
a
f(t)G(t)dt = F(x)G(x) F(a)G(a)
x
_
a
F(t)g(t)dt
Se puede despejar cada integral y es muy facil notar que si una converge, la otra tambien lo hace.
Luego, en caso de convergencia, la igualdad se da directamente.
6
Ejemplo 14 Intentemos clasicar y, de ser posible, calcular
1

_
0
tL (1 t) dt
De haber hecho
1

_
0
tL (1 t) dt =
t
2
2
L (1 t)

0

1

_
0
t
2
2
(1)
1t
dt estaramos cometiendo un error ya
que en este caso lm
x1

F(x)G(x) no es un real. Pero

t
2
2
no es la unica primitiva de t, podemos tomar a
_
t
2
2

1
2
_
.
De esta manera obtenemos:
1

_
0
tL (1 t) dt =
=0
..
_
t
2
2

1
2
_
L(1 t)

0

1

_
0
t
2
1
2
(1)
1t
dt =
3
4
Teorema 15 Sean g : [, ) [a, ) biyectiva, con g

continua en [, ) y g ([, )) = [a, ) . g() = a

y lm
x
=

.
Entonces,
1.

_
a
f(t)dt y

(f g) (t)g

(t)dt son de la misma clase

2. En caso de convergencia,

_
a
f(t)dt =

(f g) (t)g

(t)dt
Demostracion. Realcela como ejercicio. Se sugiere que tome t [a, ) y que luego aplique el
teorema de sustitucion para integrales de Riemann en [a, t]
Ejemplo 16 Clasiquemos la integral impropia de segunda especie:
1

_
0
x+x
2

1x
dx
Consideramos el cambio de variable

1 x = t = g
1
(x). Por lo que x = 1 t
2
= g(t) y entonces
g

(t) = 2t.
Aplicando el teorema 15 queda que:
1

_
0
x+x
2

1x
dx =
0
+
_
1
(1t
2
)+(1t
2
)
2
t
(2t) dt = 2
0
_
1
_
(1 t
2
) + (1 t
2
)
2
_
dt que converge pues es propia
(resp.:
12
5
).
7
Ejercicio 17 Clasique la integral impropia
+
_
0
sen
_
x
2
_
dx
1.2.1. Algunos criterios de clasicacion
Proposicion 18
1
Sean f y g localmente integrables en [a, ) .
Se consideran y dos reales cualesquiera.
Entonces
Si

_
a
f(t)dt y

_
a
g(t)dt convergen, se tiene que

_
a
(f(t) +g(t)) dt converge y ademas

_
a
(f(t) +g(t)) dt =

_
a
f(t)dt +

_
a
g(t)dt
Demostracion. Es directa, basta tener en cuenta que
x
_
a
(f(t) +g(t)) dt =
x
_
a
f(t)dt +
x
_
a
g(t)dt,
para cualquier x [a, ) y luego aplicar lmites.
Proposicion 19 Sean f no negativa y localmente integrable en [a, ) y F : F(x) =
x
_
a
f(t)dt.
Entonces,

_
a
f(t)dt convergera o divergera seg un este acotado o no el conjunto {F(x) : x [a, )}.
Demostracion. Se trata de un resultado conocido: teorema de Weierstrass para lmite de funciones.
Proposicion 20
2
Sean f y g no negativas y localmente integrables en [a, ) tales que f(x) g(x) para
todo x [a, ).
Entonces,
1. Si

_
a
g(t)dt C, se tiene que

_
a
f(t)dt C.
2. Si

_
a
f(t)dt D, se tiene que

_
a
g(t)dt D
Demostracion. Ejercicio
Proposicion 21
3
Sean f y g localmente integrables en [a, ), f no negativa en [a, ),
tales que lm
x

f(x)
g(x)
= k, k R.
Entonces,

_
a
g(t)dt y

_
a
f(t)dt son de la misma clase.
Demostracion. Ejercicio.
1.2.2. Clasicacion de algunas integrales impropias particulares
En esta parte veremos algunos ejemplos de clasicacion de algunas integrales impropias que guardan,
al menos en aspecto, una cierta relacion con las series armonicas y de Bertrand. Con ellas ya clasicadas,
contaremos con una buena cantidad de integrales clasicadas, lo que nos provee de stock para poder
comparar.
1
Conocido como propiedad de linealidad
2
Conocido como comparacion I
3
Conocido como comparacion II
8
Ejemplo 22 Clasiquemos
+
_
a
1
t

dt discutiendo seg un R
+
.
x
_
a
1
t

dt =
_

_
x
1
1+
+
a
1
1+
si = 1
L (x) + La si = 1
, tomando lmite cuando x + tenemos que:
+
_
a
1
t

dt converge si > 1 y diverge si 1

Ejemplo 23 Clasiquemos
+
_
a
1
t

(L (t))
m
dt discutiendo seg un R
+
y seg un m R.
Analizaremos el caso = 1.
Para > 1 se sugiere comparar con
+
_
a
1
t
p
dt, con 1 < p < y demostrar que la integral impropia
converge cualquiera sea m.
Para < 1 se sugiere comparar con
+
_
a
1
t
dt y demostrar que la integral impropia diverge cualquiera sea
m.
Analizaremos el caso = 1.
Usando el cambio de variable L (t) = u, obtenemos que
+
_
a
1
t (L (t))
m
dt y
+
_
L (a)
1
u
m
du son de la misma
clase, como la segunda tiene ya esta estudiada, llegamos a que
+
_
a
1
t

(L (t))
m
dt converge si > 1,
diverge si < 1,
si = 1
converge si > 1
diverge si 1
Ejercicio 24 Clasique
b

_
a
1
(b x)

dt. Se sugiere que haga una cambio de variable para luego aplicar
lo visto en el ejemplo 22.
Ejercicio 25 Clasique
b

_
a
1
(b x)

|L (b x)|
m
dt. La sugerencia es la misma, en este caso use lo visto
en el ejemplo 23.
A lo largo de estas paginas tratamos distintos aspectos de las integrales impropias. Cada uno de
los resultados se reere a integrales de primera o segunda especie, sin embargo podramos tener im-
propiedades varias como en los siguientes casos:
+
_
0
1
t
dt,
+
_
0
1
L(t)
dt,

2
_

2
tan(t) dt,
+
_
0
1
(t+1)

t
dt.
Para estos casos, en los que pondremos que el intervalo de integracion es (, ), valdra la igualdad:

+
f (t) dt =
a
_

+
f (t) dt +

_
a
f (t) dt solamente si las dos ultimas convergen. Veamos con un ejemplo,
que tipo de resultados podran darse si ambas divergen (lo que pretendemos con esto es visualizar
porque conviene para la teora no considerar estos casos).
Ejemplo 26 Tratemos la integral impropia

2
_

2
tan(t) dt. Dado su imparidad, es natural ver que en caso
de convergencia, la integra sera nula.
9
Veamos primero que por separado divergen.
tan(t) =
sen (t)
cos(t)

t

1
cos(t)

t

2
t
. Luego, como

2
_
0
1

2
t
dt diverge (ver ejercicio 24), como conse-
cuencia del criterio de comparacion (ver pagina 8), tenemos que

2
_
0
tan(t) dt diverge.
Como
x
_
x
tan(t) dt = 0 para cualquier x
_

2
,

2
_
es inmediato que lm
x

x
_
x
tan(t) dt = 0. Esto hara
ver como natural que

2
_

2
tan(t) dt = 0
Veamos que ocurre si los extremos son vinculados de otra manera, como por ejemplo:

2
x
_
x
tan(t) dt = L (t)

2
x
x
= L
_
cos
_
_

2
x
_
_
+ L (cos (x)) = L
_
_
cos (x)
cos
_
_

2
x
_
_
_
Usando el desarrollo de Taylor de cos (u) en u =

2
, tenemos que cos (x)
x

2
x y cos
__

2
x
_

x

2

_

2
x, luego,
cos (x)
cos
_
_

2
x
_

x

2
x

2

_

2
x
=

2
x
_

2
__

x
_ =
_

2
+

x
_

2
2.
Esto ultimo hara ver natural que

2
_

2
tan(t) dt = L (2) .
1.2.3. Convergencia absoluta
Proposicion 27 Sea f localmente integrable en [a, )
4
tal que

_
a
|f (t)| dt converge. Entonces

_
a
f (t) dt.
(Este resultado podra leerse as: Si

_
a
f (t) dt C.A., entonces

_
a
f (t) dt C. )
Demostracion. Para cualquier n umero real h, se tiene que |h| h |h|, de modo que:
cualquiera sea t [a, ) se tiene que |f (t)| f (t) |f (t)| y por monotona se llega a que:
0 f (t) +|f (t)| 2 |f (t)| t [a, ). Por linealidad tenemos que

_
a
2 |f (t)| dt C, de lo que se deduce
que

_
a
(|f (t)| + f (t)) dt C y nuevamente por linealidad (usando que

_
a
|f (t)| dt C ), se concluye que

_
a
f (t) dt
Ejemplo 28 Clasiquemos
+
_
a
sen (t)
t

dt (o tambien
+
_
a
cos(t)
t

dt ), seg un > 0.
|sen (t)|
t

1
t

, entonces, si > 1, como

+
_
a
1
t

dt converge, se tiene que (comparacion I)

+
_
a
sen (t)
t

dt C.A.
Para los valores de (0, 1], no fue posible aplicar la propiedad 27. La clasicaremos por partes:
x
_
a
sen (t)
t

dt =
cos(t)
t

x
a

x
_
a
cos(t)
t
+1
dt, el primer termino del segundo miembro tiene lmite nito
(condicion fundamental para poder aplicar partes), como
+
_
a
cos(t)
t
+1
dt C. (pues C.A.), tenemos que
4
Conoce alguna funcion que no sea localmente integrable en un intervalo y que si lo sea su valor absoluto?
10
+
_
a
sen (t)
t

dt converge. Mas adelante veremos si dicha convergencia es o no absoluta.

1.3. Integrales impropias y series numericas
En los puntos anteriores ya habremos podido notar que existen varias analogas entre las integrales
impropias y las series numericas, la mayora de ellas resultan familiares por su nombre y por su metodo
de demostracion (comparacion I y II, expresiones similares a las series armonicas y de Bertrand). En el
curso de analisis I, los estudiantes y tuvieron un teorema que vinculaba series numericas con integrales
impropias: el criterio de la primitiva de Cauchy. En esta seccion veremos algunos otros.
Teorema 29 Sean f localmente integrable en [a, ) y F : F(x) =
x
_
a
f (t) dt. Son equivalentes:
1.

_
a
f (t) dt converge
2. Para toda (x
n
) con lm(x
n
) =

y {x
n
} [a, ) , se tiene que (F (x
n
)) converge
3. Para toda (x
n
) con lm(x
n
) =

y {x
n
} [a, ) , se tiene que

_
xn
_
x
n1
f (t) dt
_
converge
Demostracion. Las primeras dos armaciones son equivalentes por los teoremas de pasaje.
Las dos ultimas lo son pues:
n

i=1
_
x
i
_
x
i1
f (t) dt
_
=
x
n
_
x
0
f (t) dt =
x
n
_
a
f (t) dt
x
0
_
a
f (t) dt = F (x
n
) F (x
0
)
y basta tomar lmite en cada caso para deducir que si una converge la otra tambien (ambas dieren en
F (x
0
) que es un n umero real).
En criterio anterior es mas util para justicar que una integral impropia diverge, ya que para probar
la convergencia habra que hacerlo para toda sucesion, mientras que para negarlo basta encontrar
una que no converja. En el siguiente ejemplo tenemos un caso para el que resulta aplicable el teorema.
Ejemplo 30 Sea g una funcion positiva y creciente en [a, +). Probemos que
+
_
a
g(t)sen (t)dt diverge.
Tomemos para eso (x
n
) : x
n
= n. En los ((n 1) , n) el integrando es, o bien negativo, o bien
11
positivo. Eso permite escribir:
u
n
=
n
_
(n1)
g(t)sen (t)dt = (1)
n+1
|u
n
|
Veremos que (|u
n
|) es creciente y por ende no tiende a cero, de donde que, al no cumplir la condicion
necesaria de convergencia,

u
n
diverge.
|u
n
| =
n
_
(n1)
g(t) |sen (t)| dt =
5
(n+1)
_
n
g(u ) |sen (u )| du =
=
(n+1)
_
n
g(u ) |sen (u)| du
(n+1)
_
n
g(u) |sen (u)| du = |u
n+1
|
El teorema que sigue, por referirse a integrandos no negativos, hace que sea posible su aplicacion
para probar la convergencia de la integral impropia, a diferencia del anterior que resultaba ser mucho
mas util para la divergencia.
Teorema 31 Sean f localmente integrable y no negativa en [a, ) y F : F(x) =
x
_
a
f (t) dt. Son equiva-
lentes:
1.

_
a
f (t) dt converge
2. Existe (x
n
) con lm(x
n
) =

y {x
n
} [a, ) , se tiene que (F (x
n
)) converge
3. Existe (x
n
) con lm(x
n
) =

y {x
n
} [a, ) , se tiene que

_
xn
_
x
n1
f (t) dt
_
converge
Demostracion. Las dos ultimas son equivalentes por argumentos similares a los del teorema anterior.
La primera implica la segunda por teoremas de pasaje.
Resta probar que la segunda implica la primera.
Como la funcion f no es negativa en [a, ), se deduce que F es creciente en [a, ) y por lo tanto existe
lm
x

F(x).
Por los teoremas de pasaje, cualquiera que sea (x
n
) con lm(x
n
) =

y {x
n
} [a, ) , se tiene que
(F (x
n
)) tendra ese mismo lmite. Luego, como para una de esas sucesiones (F (x
n
)) converge, se tiene
que lm
x

F(x) es nito.
12
Ejemplo 32 Retomemos el ejercicio 28. En el habamos probado que
+
_
a
sen (t)
t

dt converge si > 0,
que dicha convergencia es absoluta si > 1, pero no haba sido posible probar si la convergencia era o
no absoluta si 0 < 1.
Clasiquemos, entonces
+
_
a
|sen (t)|
t

dt con 0 < 1.
Aplicaremos el teorema anterior tomando (x
n
) : x
n
= n, por lo que u
n
=
n
_
(n1)
|sen (t)|
t

dt.
Por monotona:
n
_
(n1)
|sen (t)|
(n)
dt u
n

n
_
(n1)
|sen (t)|
((n1))
dt , o lo que es lo mismo
1
(n)

n
_
(n1)
|sen (t)| dt u
n

1
((n1))

n
_
(n1)
|sen (t)| dt
de donde
2
(n)
u
n

2
((n1))
.
Notese que la serie generado por las sucesiones mayor y menor tienen el mismo comportamiento y por
lo tanto tambien de

u
n
. Es decir: convergen si > 1 y divergen si 1.
Con este ejemplo acabamos de clasicar la
+
_
a
sen (t)
t

dt, incluyendo su convergencia condicional para

0 < 1.
El siguiente teorema, que sera el ultimo de los presentados en este trabajo, si bien no es una exigencia
de las condiciones de hipotesis, se reere a integrales impropias cuyos integrandos presentan innitos
cambios de signo, ya que de no ser as, encontramos que seran mas sencillos de aplicar los teoremas
para integrandos no negativos.
Teorema 33 Sea f localmente integrable en [a, ), (x
n
) es una sucesion creciente tal que {x
n
} [a, )
y lm(x
n
) =

de modo que cualquiera sea n N

se tiene que f no cambia de signo en (x

n1
, x
n
)
(o sea: x

, x

(x
n1
, x
n
), f (x

) f (x

) 0 ). Si

_
xn+1
_
x
n
f (t) dt
_
converge, entonces

_
a
f (t) dt y
converge y

_
a
f (t) dt =
x
0
_
a
f (t) dt +
+

n=0
_
x
n+1
_
xn
f (t) dt
_
.
Demostracion. Para cualquier x [a, ), x > x
0
, por las caractersticas de (x
n
), tendremos que
existe n N tal que x
n
x < x
n+1
.
13
Por lo que podremos escribir F(x) =
x
_
a
f (t) dt =
x
0
_
a
f (t) dt +
x
n
_
x
0
f (t) dt
x
n+1
_
x
f (t) dt.
La primera integral es de Riemann y constante, la segunda puede escribirse
n1

i=0
_
xi+1
_
x
i
f (t) dt
_
, que una
suma parcial de una serie convergente y por lo tanto
x
n
_
x0
f (t) dt
+

n=0
_
x
n+1
_
xn
f (t) dt
_
.
Por ultimo, probaremos que la tercera integral tiende a cero y de esta forma estara demostrado el
teorema.

x
n+1
_
x
f (t) dt

=
(1)
x
n+1
_
x
|f (t)| dt
x
n+1
_
xn
|f (t)| dt =
(1)

x
n+1
_
xn
f (t) dt

(2)
0 (En (1) usamos que en cada
(x
n
, x
n+1
) , f no cambia de signo, y en (2) la condicion necesaria de convergencia de

_
xn+1
_
x
n
f (t) dt
_
.
Referencias
[1] Tom M. Apostol, Calculus, Volumen I, Editorial Reverte, S. A., 1980.
[2] Julio Borghi, Problemas y Teoremas de Analisis Matematico, Tradinco, 2005
[3] Fernando Pelaez, Calculo. Delataplan, 2007.
14