Integrales Impropias

En la sección anterior hemos estudiado el concepto de integral definida según Riemann y establecimos
algunas de sus propiedades. El Teorema Fundamental y su corolario la Regla de Barrow permiten el
b
cálculo de  fxdx de una manera relativamente sencilla. La aplicación de la Regla de Barrow exige
a
conocer una primitiva de f, para lo cual se han desarrollado métodos de cálculo de primitivas.
1
Si intentáramos obtener el valor de  x12 dx usando la Regla de Barrow ello no es posible ya que la
1
función fx  1
x2
no es acotada en el intervalo 1, 1.
También podría ocurrir que la función sea acotada y que quisiéramos calcular la integral de la misma
en un intervalo no acotado. Ambas situaciones no están contempladas en la definición de integral de
Riemann.
Extenderemos ahora la definición de integral definida a los casos mencionados.

Integrales Impropias de Primera Clase

 a 
Queremos atribuir significado a las expresiones  fxdx,  fxdx y  fxdx
a  

t
a Sea f integrable sobre a, t para todo t  a, por lo tanto existe t   fxdx para todo
a
t  a, . Si

 fxdx  L
t
lim t  lim
t t a

a la expresión  fxdx le asignamos el valor L y diremos que la integral impropia de primera clase
a

 a fxdx converge a L.

Si lim t no existe (ya sea porque oscila o tiende a infinito), diremos que  fxdx no es convergente
t a
(o diverge).


Ejemplo. Sea fx  e x y consideremos calcular  fxdx. Para t  1
1

1 e
t
x
t  dx  e x  t1  e 1  e t

y es claro que lim t  e 1 , por lo tanto  e x dx converge y
t 1

 1 e x dx  e 1

b
b De manera análoga definimos   fxdx. Sea f integrable sobre t, b para todo t  b, por lo tanto

Marina Voitzuk
1
 b
existe t   fxdx para todo t  b.
t
Si

 fxdx  L
b
lim t  lim
t t t
b b
a la expresión  fxdx le asignamos el valor L y diremos que la integral de primera clase  fxdx
 
b
converge a L. Al igual que en el caso anterior, si lim t no existe, diremos que  fxdx no es
t 
convergente.

 a  a
c La integral impropia   fxdx se define como   fxdx   a fxdx siempre que   fxdx y

 a fxdx sean ambas convergentes, donde a  R.
a  
Si  fxdx o  fxdx divergen, entonces  fxdx es divergente.
 a 


Si  fxdx es convergente, entonces la definición es independiente de la elección de a  R. En

efecto, sea c  R y podemos suponer sin pérdida de generalidad que a  c.
a  c 
Asumamos que  fxdx,  fxdx,  fxdx y  fxdx convergen, entonces
 a  c
 
 a fxdx   a fxdx   c fxdx
c

y
  fxdx    fxdx   a fxdx
c a c

Luego
 
  fxdx    fxdx   a fxdx
a


  fxdx   a fxdx   a fxdx   c fxdx
c c c


  fxdx   c fxdx
c


como queríamos demostrar.

Ejemplo.

  1 dx  lim  0 1 dx  lim  t
1x 2 t t 1x
2 t 0 1x
1 dx
2

 lim arctan0  arctant  limarctant  arctan0

         
2 2 2 2

Ejemplo.

Marina Voitzuk
2
 
  e x dx   
0
e x dx    e x dx
1  ex 1  ex 0 1e
x

Por un lado

  t
0 0
e x dx  lim e x  lim ln1  e x  0  lim ln2  ln1  e t   ln2
1  ex t 1  ex t t t

y por otro lado

0 0
t t
e x dx  lim e x  limln1  e x  t   lim ln1  e t   ln2  
1  ex t 1  ex t 0 t

por lo tanto  ex
1e x dx diverge.


Integrales Impropias de Segunda Clase

a Supongamos que f es continua en a, b y lim fx   (Se dice que f tiene un punto singular
xb
b
en b), la integral  fxdx se denomina integral impropia de segunda clase. Como f es continua en a, t
a
t
para todo t  a, b podemos calcular t   fxdx. Si existe lim t y es igual a L entonces
a tb

 a fxdx  tb
lim t  lim  fxdx  L
b t
 tb 
a

y diremos que la integral impropia de segunda clase converge a L y al igual que en las integrales de
primera clase, si el límite no existe, dicha integral diverge.

Figura 5

b Análogamente, si f es integrable en a, b y lim fx  , entonces

Marina Voitzuk
3
  a fxdx  ta
lim  fxdx
b b

t

donde t  a, b.

c Si f tiene puntos singulares en ambos extremos del intervalo a, b, esto es, lim fx   y
xa
c b
lim fx   y las integrales impropias  fxdx y  fxdx ambas convergen, donde c  a, b,
xb  a c
entonces

 a fxdx   a fxdx   c fxdx

Figura 6

lim fx   y
d Si f tiene un punto singular en un el interior de a, b, esto es, si c  a, b y xc
t b
lim fx  . En este caso, si existen lim  fxdx y lim  fxdx, entonces definimos
xc tc a tc t

 a fxdx  tc
lim  fxdx  lim  fxdx
b t b
 
a tc t

Marina Voitzuk
4
 Figura 7

1
2.4 Ejemplo. Consideremos calcular I   1
dx.
1 x 2

 1 1 dx  lim  t 1 dx  lim  1
0 t
x  lim 1  1 
x2 t0  1 x 2 t0  1 t0 t
luego la integral diverge.
Si aplicamos la regla de Barrow para la misma obtenemos

 1
1 1
I 1 dx   1  2
x2 x 1

¿Como se explica esta aparente contradicción?

Observación. En general pueden presentarse integrales impropias que sean combinación de distintas
clases, por ejemplo

 
1 dx   
a
1 dx   0 1 dx   b 1 dx    1 dx
x2 x2 a x
2
0 x
2
b x
2
a 
donde a  0  b. Sabemos que  1
x2
dx diverge, de modo que  x12 dx diverge.
 

¿Para qué sirven las integrales impropias?


 Si f : 0,   0, , la integral  fxdx representa el área de la región no acotada del plano
a
limitada por el gráfico de f , la recta vertical de ecuación x  a y el eje horizontal. Si dicha integral es
convergente tenemos la paradójica situación que una curva de longitud infinita limita una región de
área finita.

Marina Voitzuk
5
 
 Una función f : R  R tal que  |fx|2 dx   se denomina absolutamente integrable y constituyen

un subespacio V del espacio de todas las funciones de R en R con la suma y multiplicación por escalar
habituales.
Se define un producto interno  en V por

f, g    fxgxdx
Por la absoluta integrabilidad de las funciones f y g se ve que este producto interno está bien definido,
es decir, f, g  R.

 Muchas funciones utilizadas en estadística se definen mediante integrales impropias. Por ejemplo, si

f es no negativa y  fxdx  1, se dice que f es una función de densidad de probabilidad.


Ejemplo. Sea k  0 y
0 si x  0
fx 
ke kx si x  0
entonces f es una función de densidad de probabilidad. En efecto
 
  fxdx   0 ke kx dx  lim  ke kx dx  lim
t t
t 0 t
e kx  0

 lim1  e kt   1
t

Propiedades de las Integrales impropias

Sea f : a, b  R tal que lim fx  , entonces, mediante el cambio de variable u  1
xa , la
xa
b
integral impropia I   fxdx toma la forma
a
1

I 
ba
f a  1u  12
u
du   1
f a  1u 1 du
u2
ba

esto es, el cambio de variable permite transformar la integral impropia de segunda clase I en una de
primera clase.

a
Si I   fxdx , haciendo el cambio de variable x  u con u  a, I toma la forma

a 
I  fudu   a fudu
que es una integral impropia de primera clase.

b
Para el caso I   fxdx, donde lim fx  , sea u  1
bx
, entonces
a xb

Marina Voitzuk
6
 
I  1
f b  1u 1 du
u2
ba

que es también una integral de primera clase.


En resumen, toda integral impropia puede transformarse en una de primera clase del tipo  fxdx, por
a
lo que basta enunciar sus propiedades básicas sólo para este caso.

  
1 Si f, g : a,   R están acotadas y  a fxdx y  a gxdx convergen, entonces  a f  gxdx
converge y
  
 a f  gxdx   a fxdx   a gxdx
 
2 Si f : a,   R es acotada y  a fxdx converge, entonces  a cfxdx converge para todo
c  Ry
 
 a cfxdx  c  a fxdx

3 Si f : a,   R es continua, existe lim
x
fx y  fxdx converge, entonces lim
x
fx  0.
a

Marina Voitzuk
7