Cap tulo 6

Integrales impropias
A menudo resulta util poder integrar funciones que no son acotadas, e incluso integrarlas sobre recintos no acotados. En este cap tulo desarrollaremos brevemente una teor adecuada para tratar tales tipos de integrales, a que reciben el nombre de integrales impropias, y que conducen a problemas de convergencia similares a los de las series innitas. De hecho, la convergencia de integrales impropias de funciones de una variable equivale a la convergencia de las series asociadas a estas integrales; ste es el criterio de e la integral. Bastar con desarrollar la teor de integrales impropias para funciones a a no negativas; una vez establecida para tales funciones la extenderemos fcila mente a funciones f : A R con valores reales teniendo en cuenta que f = mx{f, 0} + m a n{f, 0}. Se suele denotar f + = mx{f, 0}, parte positiva a = m de f , y f n{f, 0} = mx{f, 0}, parte negativa de f , de modo que a f = f + f , y |f | = f + + f . De este modo resultar que f es integrable a + y f lo son, y en este caso + impropia si y slo si f o Af = Af Af . Tambin se tendr que f es integrable impropia si y slo si |f | lo es, es decir, e a o si y slo si f es absolutamente integrable. o Estudiaremos primero las integrales de funciones positivas y no acotadas denidas sobre recintos que s son acotados. Denicin 6.1 Sean A un subconjunto con volumen de Rn , y f : A o [0, ) una funcin, posiblemente no acotada. Para cada M > 0 consideremos o la funcin fM : A [0, ) denida por fM (x) = m o n{f (x), M }. Obsrvese e que todas las fM son acotadas en A. Supongamos que cada fM es propiamente integrable sobre A. Ntese que, si N M entonces 0 fM fN f o y por tanto A fM A fN , es decir, la funcin M A fM es creciente. o 51

52 Entonces denimos

CAP ITULO 6. INTEGRALES IMPROPIAS

f = l m
A

M A

fM

si este l mite es nito, y en este caso decimos que f es integrable (impropia) sobre A. Debe observarse que si f es integrable en A entonces todas las funciones fM = m n{f, M } son tambin integrables sobre A (ver ejercicio 4.4), y e de hecho fM = f para todo M sucientemente grande, de modo que esta denicin es ciertamente una extensin de la denicin de funcin integrable. o o o o A veces es muy util tener en cuenta el siguiente hecho (llamado criterio de comparacin de integrales): o Proposicin 6.2 Sean A un subconjunto con volumen de Rn , y f, g : A o [0, ) dos funciones (posiblemente no acotadas). Supongamos que cada fM es integrable en A, que f g, y que g es integrable sobre A. Entonces f es tambin integrable sobre A, y e f
A A

g.

La prueba de esta proposicin es trivial teniendo en cuenta que la funcin o o M F (M ) = A fM es montona creciente y que, para una tal funcin F , o o existe el l mite l M F (M ) si y slo si F est acotada superiormente. m o a El siguiente teorema caracteriza la integrabilidad de una funcin f en o un conjunto A mediante la convergencia de las integrales de esa funcin o sobre una sucesin de conjuntos compactos Kj que aproximan el conjunto o A. Este criterio ser particularmente util cuando A sea un abierto de Rn y a f : A [0, ) sea continua, de modo que f ser propiamente integrable a sobre cada subconjunto compacto y con volumen de A. Adems, este criterio a se utilizar para establecer la versin ms general del teorema del cambio a o a de variables, que estudiaremos en el siguiente cap tulo. Teorema 6.3 Sea A un conjunto con volumen, y sea f : A [0, ) una funcin, posiblemente no acotada. Sea (Kj ) una sucesin de subconjuntos o o compactos y con volumen de A tales que Kj Kj+1 para todo j, y A = o j=1 Kj . Entonces, f es integrable sobre A si y slo si f es integrable sobre cada Kj y el l mite l j Kj f es nito. Adems, en este caso, m a f = l m
A

j K j

f.

53 En particular, para f = 1, se tiene que v(A) = l v(Kj ). m

j

Demostracin: En primer lugar probaremos el resultado en el caso particular o en que f = 1. Es decir, veremos que para toda sucesin (Kj ) de subconjuntos o compactos y con volumen de A tales que Kj Kj+1 para todo j y A = j=1 Kj , es v(A) = l v(Kj ). m
j

A tal n, para cada B Rn denamos

(B) = nf{
i=1

v(Si ) | (Si ) recubrimiento de B por rectngulos abiertos}. a

No es dif comprobar (ver ejercicios 3.23 y 3.24) que si B tiene volumen cil entonces (B) = v(B), y que, si (Bi ) es una sucesin de conjuntos con o volumen que son disjuntos dos a dos y B = i=1 Bi tiene volumen, entonces

v(B) =
i=1

v(Bi ).

Ahora, si (Kj ) es una sucesin de subconjuntos compactos y con volumen o de A tales que Kj Kj+1 para todo j, y A = Kj , denamos B1 = K1 , j=1 B2 = K2 \ K1 , y en general, para j 2, Bj = Kj \ Kj1 . Es claro que (Bj ) es una sucesin de conjuntos con volumen que son disjuntos dos a dos o y A = i=1 Bi . Entonces, por el ejercicio 3.24, se tiene que

v(A) =
i=1

v(Bi ).
N i=1 Bj ,

(3)

Pero, como para cada N N es KN = a dos, tenemos que

N

y los Bj son disjuntos dos (4)

v(KN ) =
i=1

v(Bi ).

Entonces, combinando (3) y (4), obtenemos lo que queremos: v(A) = l v(KN ). m

N

54

CAP ITULO 6. INTEGRALES IMPROPIAS

Ahora ya podemos probar el resultado en su forma ms general. Fijemos a una sucesin (Kj ) de subconjuntos compactos y con volumen de A tales que o Kj Kj+1 para todo j y A = Kj . j=1 Supongamos primero que f es integrable (impropia) sobre A. Como cada Kj tiene volumen y las funciones fM son todas integrables, entonces las fM 1Kj son integrables. Como adems es f 1Kj f 1A , y f 1A es integrable por a hiptesis, el criterio de comparacin nos dice que f 1Kj es integrable, es decir, o o f es integrable en Kj , y Kj f A f , para todo j. Adems, como la sucesin a o es montona creciente y acotada, existe el l ( Kj f )j=1 o mite l j Kj f . m Rec procamente, supongamos que cada f es integrable sobre Kj y que existe el l mite l j Kj f = L. Para cada M > 0 y cada j N, la m o funcin fM 1Kj es integrable por hiptesis, luego su conjunto de puntos de o discontinuidad D(fM 1Kj ) tiene medida cero. Como A = Kj , es claro i=1 que el conjunto de los puntos de discontinuidad de fM 1A satisface

D(fM 1A )
i=1

D(fM 1Kj )
i=1

Kj A,

y entonces D(fM 1A ) tiene medida cero (por estar contenido en una unin o numerable de conjuntos de medida cero), lo que signica que cada fM es propiamente integrable en A. Veamos que f es integrable sobre A; esto equivale a probar que la funcin M A fM est acotada. Fijado un M > 0 o a arbitrario, por un lado tenemos que fM
Kj Kj

f L.

(5)

Por otra parte, como v(A) = l j v(Kj ), dado > 0, existe j tal que m v(A \ Kj ) = v(A) v(Kj ) y por tanto fM
A Kj

, M

fM =
A\Kj

fM M v(A \ Kj ) ,

de donde fM
A Kj

fM .

(6)

Combinando (5) y (6) tenemos que fM L.

A

(7)

55 Ahora, haciendo tender a cero en (7), obtenemos que fM L,

A

(8)

y esto vale para todo M > 0. Por tanto, la funcin M A fM est acotada, o a f es integrable sobre A, y A f L. Adems, como para todo j es a f
Kj A

f L,

y L = l j m

Kj

f , se deduce que f = L. 2
A

Ejemplo 6.4 Sea A = [0, 1][0, 1]. Usar el teorema anterior para demostrar que la funcin f (x, y) = (xy)1/2 es integrable impropia sobre A, y calcular o A f. Ahora pasamos a estudiar el caso de una funcin f 0, posiblemente no o acotada, denida en un subconjunto A no acotado de Rn . Para cada r > 0, denotemos por Cr = [r, r] ... [r, r] el cubo de centro el origen y lados de longitud 2r; ntese que Cr = B (0, r), donde B (0, r) es la bola de o centro 0 y radio r para la norma del supremo, x = supi |xi |. Denicin 6.5 Sean A un subconjunto no acotado de Rn , y f : A o [0, ) una funcin que es integrable (quizs impropia) en cada cubo Cr de o a radio r > 0. Diremos que f es integrable (impropia) sobre A si existe el l mite l m f = l m f,
r C r Af r AC r

y en este caso se dene

como el valor de dicho l mite.

El siguiente resultado caracteriza la integrabilidad de una funcin f medio ante la convergencia de las integrales de f sobre sucesiones de conjuntos con volumen que sean cada vez ms grandes. a Teorema 6.6 Sean A un subconjunto no acotado de Rn , y f : A [0, ) una funcin que es integrable (quizs impropia) en C A para todo cubo o a n . Sea (B ) una sucesin cualquiera de conjuntos acotados y con C R o k volumen tales que:

56

CAP ITULO 6. INTEGRALES IMPROPIAS

(i) Bk Bk+1 para todo k, y (ii) para todo cubo C, existe k N tal que C Bk . Entonces, f es integrable (impropia) sobre A si y slo si l k o m nito. Adems, en este caso, a f = l m
A ABk

f es

k ABk

f.

Demostracin: Supongamos primero que f es integrable. Para cualquier o sucesin (Bk ) que satisfaga las condiciones del enunciado, si Ca Bk Cb , o como f 0, se tiene que f
Ca Bk Cr

f
Cb

f
A A f,

f.

(1)

Ahora, dado > 0, como l r m r M entonces

A

f =

existe M > 0 tal que, si (2)

f
Cr

f.

Entonces, eligiendo a, b M y k0 N sucientemente grandes para que Ca Bk0 Cb , combinando (1) y (2), tenemos que f
A Bk0

f
Bk

f
A

para todo k k0 . Esto prueba que existe l k Bk = A f . m Rec procamente, supongamos que l k Bk es nito para una sucesin m o (Bk ) con las propiedades del enunciado. Por (i), y puesto que f 0, es o m claro que la sucesin Bk f es montona creciente. Sea = l k Bk f . o Claramente, Bk f para todo k. Pero, por (ii), para cada r > 0 existe k tal que Cr Bk , y por tanto f
Cr Bk

f .

As la funcin , o F (r) =
Cr

es creciente y est acotada superiormente por , y por consiguiente existe a l r F (r) = A f , es decir, f es integrable (impropia) sobre A. 2 m

57 Ejemplo 6.7 Calcular la integral R2 : x 0, 0 y 1}.

(x2 +y 2 ) dxdy, A xye

donde A = {(x, y)

En el caso de funciones de una variable, recordemos el criterio de la integral, que establece la equivalencia entre convergencia de integrales impropias y de series de nmeros reales. u Teorema 6.8 Sea f : [1, ) [0, ) una funcin decreciente. Entonces o la integral impropia 1 f converge si y slo si la serie f (n) converge. o n=1 Igual que antes, es fcil probar un criterio de comparacin para esta a o denicin ms general de integral impropia: o a Proposicin 6.9 Sean A un subconjunto no acotado de Rn , y f, g : A o [0, ) dos funciones que son integrables (quizs impropias) sobre cada cubo a C Rn . Supongamos que f g y que g es integrable (impropia) sobre A. Entonces f es tambin integrable (impropia) sobre A, y e f
A A

g.

Por ultimo, consideremos el caso ms general posible de integral im a propia: la de una funcin f no acotada, denida sobre un subconjunto o no acotado A de Rn , y que toma valores tanto positivos como negativos. Recordemos que la parte positiva de f es f + = mx{f, 0}, y que f = a m n{f, 0} = mx{f, 0} es la parte negativa de f ; es obvio que f = a f + f , y |f | = f + + f . Denicin 6.10 Sea A un subconjunto de Rn . Se dice que f : A R o es integrable (impropia) si las funciones f + y f son ambas integrables (impropias), y en este caso se dene A f como f=
A A

f+
A

f .

Ntese que, como |f | = f + + f , y f + |f | f , esto equivale a pedir que o |f | sea integrable. Por eso a veces tambin se dice que f es absolutamente e integrable. Para terminar, observaremos que casi todas las propiedades de la integral estudiadas en el cap tulo 4 se extienden sin dicultad al caso de integrales impropias. Por ejemplo, el teorema 4.1 sigue siendo cierto en el caso de funciones integrables impropias (se invita al lector a justicar esta armacin). o

58

CAP ITULO 6. INTEGRALES IMPROPIAS

Sin embargo, hay otras propiedades de las funciones propiamente integrables que no se extienden al caso de integrales impropias; por ejemplo, el producto de funciones propiamente integrables es integrable, pero no es as cuando se habla de integrales impropias (ver el ejercicio 6.24).

Problemas
6.11 Sea A = [0, 1][0, 1] R2 . Estudiar la integrabilidad de las siguientes funciones sobre A, calculando A f cuando sea posible. (a) f (x, y) =
1 xy 1 |xy|

(b) f (x, y) = (c) f (x, y) =

x+y x2 +2xy+y 2

6.12 Estudiar la convergencia de la siguiente integral impropia x dxdy, y

donde A es la regin del plano acotada por x = 1, x = y, x = 2y. o 6.13 Sea A una regin no acotada del plano que puede describirse como o A = {(x, y) R2 : a x < , (x) y (x)}, donde , : [a, ) R son funciones continuas tales que . Sea f una funcin continua y no negativa sobre A. Utilizar el teorema de Fubini o y los resultados de este cap tulo para probar que
(x)

f (x, y)dxdy =
A a (x)

f (x, y)dydx.

Formular enunciados anlogos para otro tipo de regiones no acotadas del a plano R2 y del espacio R3 . 6.14 Calcular la integral x 0, 0 y 1}.
(x2 +y 2 ) dxdy, A xye

donde A = {(x, y) R2 :

59 6.15 Usar el problema 6.13 para integrar exy de dos maneras sobre la regin x 0, 1 y 2. Concluir que o
0

ex e2x dx = log 2. x
R2

6.16 Probar que la integral

ex

2 y 2

dxdy converge.

6.17 Sea A un abierto con volumen de Rn . Probar que existe una sucesin o (Kj ) de conjuntos compactos con volumen tales que Kj Kj+1 para todo o j, y A = Kj . Indicacin: los Kj pueden ser uniones nitas de cubos j=1 cada vez ms pequeos y ms numerosos. a n a A continuacin consideramos algunos ejemplos de integrales impropias o de funciones de una variable que luego, en alianza con el criterio de comparacin, sern muy utiles para decidir la convergencia o divergencia de integrales o a impropias de funciones de varias variables. De momento no hemos visto ms a que unos pocos ejemplos de integrales mltiples impropias. La razn es que, u o para tratar estos ejemplos, adems de los teoremas 6.3 y 6.6 y del teorema a de Fubini, se necesita (o cuando menos es extremadamente util) el teorema del cambio de variables. En la seccin de problemas del prximo cap o o tulo veremos ms ejemplos de integrales impropias de funciones de varias varia ables. 6.18 Probar que
p 1 x dx

converge si p < 1 y diverge si p 1. converge si p > 1 y diverge si p 1. converge para todo p R, y

1 p x 0 x e dx

6.19 Por el contrario, 6.20 Demostrar que converge si p < 1. 6.21 Sin embargo, 6.22 Probar que

1 p 0 x dx

p x 1 x e dx

1 p 1/x dx 0 x e

diverge para todo p R.

dx 1 log x

1 0 log xdx

converge, mientras que

diverge.

6.23 Reformular y demostrar el teorema 4.1 para el caso de integrales impropias. 6.24 Sean f (x) = g(x) = 1/ x. Probar que 1 embargo 0 f g diverge.
1 0 f

1 0 g

convergen, y sin

60

CAP ITULO 6. INTEGRALES IMPROPIAS

a f

6.25 Sea f : [a, ) R. Se dice que la integral impropia cionalmente convergente si existe el l mite
b b a

es condi-

l m

f=
a

f.

Si f 0, es obvio que esta integral existe si y slo f es absolutamente o integrable, luego esta denicin de integral impropia equivale a la dada ms o a arriba en el caso de funciones positivas. Sin embargo, estas dos deniciones de integral impropia en no coinciden en general: si f (x) =

sen x x

entonces 1 f es condicionalmente convergente (puede integrarse por partes para ver esto), pero no absolutamente convergente (encuntrese una serie die vergente de nmeros reales que minore a 1 |f |). Poner ejemplos de situau ciones anlogas en el caso de integrales de funciones no acotadas denidas a sobre intervalos acotados. 6.26 Establecer por qu las siguientes integrales son impropias y determie nar si son convergentes o divergentes. Calcular el valor de las que se pueda.
1 2

(1)
0 1

log x dx x log x dx
0

(2)
1

1 dx x log x ex dx

(4) (7)
2

(5)
0

log x dx x ex dx ex dx x1
2

(8)

(10)

1 dx x(log x)2 2 1 (11) dx x2 0

1 0

x dx x1 1 1 dx (6) ex 0 1 1 dx (9) 1 x2 1 1 (12) dx x(x + 4) 0 (3)

(13)
1

(14)

1 dx x log x

(15)
0

sin x dx. 1 + x2