82

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

6.
6.1.

Integrales dobles impropias.

Integrales impropias convergentes y no convergentes.

La teor de integrales dobles, triples y mltiples en general desarrollada hasta el momento, a u es aplicable a la integracin de funciones acotadas en conjuntos acotados (pues tienen que estar o contenidos en rectngulos). a La integracin en R2 , R3 y Rq se extiende mediante las llamadas integrales impropias a los o siguientes dos casos: El dominio D no es acotado. Esto da lugar a las llamadas integrales impropias de primera especie. Por ejemplo: 1 dxdy ((x2 + y 2 )5 + 1) D donde D = {(x, y) R2 : xy 0} La funcin integrando 1/((x2 + y 2 )5 + 1) est acotada y es continua en D, pero D no o a est contenido en ningn rectngulo, porque no es acotado, ya que D es todo el primer a u a cuadrante del plano x, y. El dominio D es acotado, pero la funcin integrando en un punto (x0 , y0 ) del borde de D, no o est denida o no est acotada en ningn entorno de ese punto. Esto da lugar a las llamadas a a u integrales impropias de segunda especie. Por ejemplo: x2 1 dxdy + y2

donde D = [0, 1] [0, 1] \ {(0, 0)} El dominio D est acotado, pero la funcin integrando 1/(x2 +y 2 ) no est acotada en ningn a o a u entorno del origen (0, 0), que est en el borde de D. a Nota 6.1.1. La teor que desarrollaremos a continuacin ser vlida solamente para integrales a o a a dobles, triples o q-mltiples con q 2. No es vlida para integrales impropias de funciones de una u a sola variable real, que se vieron en el curso de Clculo 1. a En particular la denicin de integral doble o triple impropia convergente que veremos aqu o , no es la misma que la se usa para integrales impropias en la recta real para funciones de varias variables, sino que es mucho ms exigente, y no equivale a ella. a Como consecuencia, uno de los resultados que se obtienen ahora es que toda integral doble, triple o q-mltiple (con q 2) impropia, u es convergente si y solo si es absolutamente convergente. Ese resultado es falso para funciones de una sola variable, como se sabe del curso de clcua lo 1. Para funciones de una sola variable, toda integral impropia absolutamente convergente es convergente, pero no vale el rec proco.

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

19 Julio 2006.

83

Denicin 6.1.2. Conjuntos medibles. o Un conjunto acotado D de Rq se dice que es medible (segn Jordan) si su frontera es un u conjunto de medida nula. Por ejemplo, los conjuntos simples de R2 y de R3 y los conjuntos descomponibles en simples, son conjuntos medibles. Esta armacin, en el caso de dominios planos, resulta inmediatamente o de aplicar la denicin 2.2.11, y las proposiciones 5.3.2 y 5.3.3. o Haremos el desarrollo de la teor para integrales dobles. La generalizacin a integrales triples a o y q-mltiples se realiza como se explic en la subseccin 5.6. u o o Denicin 6.1.3. Sucesin bsica de conjuntos de integracin. o o a o 2 , y sea f (x, y) una funcin denida en D. Sea D un conjunto no vac de R o o Se llama sucesin bsica de conjuntos de integracin de f en D, si existe alguna, a una sucesin o a o o creciente de dominios Dn compactos y medibles contenidos en D: D1 D2 D3 D4 . . . Dn Dn+1 . . . D tales que todo compacto K medible contenido en D est contenido en algn Dn , y adems f es a u a integrable Riemann en Dn para todo n 1. Es decir existe: In =
Dn

f (x, y) dxdy

La condicin de que todo compacto K medible contenido en D est contenido en algn Dn se dice o e u abreviadamente: Dn aproxima de D. Con esta denicin no es dif demostrar que si existe una sucesin bsica de conjuntos de o cil o a integracin de f en D entonces f es integrable Riemann en todo conjunto compacto y medible K o contenido en D. (Usar el teorema 5.4.1 de Riemann-Lebesgue.) Ejemplo 6.1.4. Sea f (x, y) = 1/( xy) en D = (0, 1] (0, 1]. Una sucesin bsica de conjuntos o a de integracin de f en D es o Dn = [1/n, 1] [1/n, 1] En efecto, al crecer n el conjunto Dn (que es simple, por lo tanto es compacto y medible) es cada vez ms grande, y se aproxima de D. Adems como f es continua en Dn (ya que su unico punto a a de discontinuidad es el origen que no pertenece a Dn ), y Dn es un dominio simple, entonces f es integrable Riemann en Dn . (Ver corolario 5.4.2.) Existen innitas otras elecciones de conjuntos Dn . Por ejemplo, otra eleccin de una sucesin o o bsica de conjuntos de integracin es a o Dn = {0 < x 1, 0 < y 1, xy 1 } n

Ejemplo 6.1.5. Sea f (x, y) = 1/((x2 + y 2 )5 + 1) en D = [0, +) [0, +). El conjunto D es el primer cuadrante. Una sucesin bsica de conjuntos de integracin de f en D es o a o Dn = [0, n] [0, n]

84

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

Estos Dn son cuadrados de vrtices (0, 0), (0, n), (n, n), (n, 0). Existen innitas elecciones para e la sucesin bsica de conjuntos de integracin. Otra eleccin posible es o a o o Dn = {0 x, 0 y, 0 x2 + y 2 n2 } Estos Dn son las intersecciones con el primer cuadrante de discos compactos de centro en el origen y radio n. Denicin 6.1.6. Integral doble impropia convergente. o Sea D un conjunto no vac de R2 , y sea f (x, y) una funcin real denida en D. o o Se dice que la integral (impropia) f (x, y)dxdy = L
D

es convergente, e igual al nmero real L si existe alguna y para toda sucesin {Dn } bsica de u o a conjuntos de integracin de f en D se cumple: o
n+

l m

f (x, y) dxdy = L
Dn

(Nota: el nmero L debe ser el mismo para cualquier sucesin bsica de conjuntos de integracin u o a o de f en D que se elija.)

6.2.

Ejemplos.

En esta subseccin daremos ejemplos de todos los tipos de integrales dobles, convergentes y no o convergentes, de primera y de segunda especia. Los procedimientos de clasicacin var segn o an u la funcin en el integrando sea positiva (esto es 0) o no lo sea. o Daremos tambin, intercalados entre los ejemplos, los enunciados de las propiedades bsicas e a que se usan en la clasicacin y clculo de integrales dobles impropias. Las pruebas de estas o a propiedades estarn en las secciones siguientes. a Ejemplo 6.2.1. Integral impropia convergente de segunda especie, con integrando positivo. Probar que es convergente y calcular 1 dxdy en D = (0, 1] (0, 1] xy

Esta integral impropia se segunda especie se suele escribir como:

1 1

dx
0 0

1 dy xy

Tomemos por ejemplo, como una sucesin bsica de conjuntos de integracin particular: Dn = o a o [1/n, 1] [1/n, 1]. Se obtiene lo siguiente: In =
Dn

1 dxdy = xy

1 1/n

1 dx x

1 1/n

1 y=1 dy = 2 x|x=1 2 y|y=1/n = 4(1 1/ n)2 x=1/n y

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e l m In = l m 4(1 1/ n)2 = 4

n+

19 Julio 2006.

85

n+

Sin embargo, lo anterior NO es la denicin de integral impropia convergente. (Ver denicin o o 6.1.6.) Habr que vericar que para toda sucesin bsica de conjuntos de integracin Dn (y no a o a o solo para una elegida en particular), el l mite de las integrales In existe y adems que es el mismo a nmero real L. u En general, vale lo siguiente: Nota 6.2.2. La integral impropia de una funcin f puede ser convergente o no serlo, an cuando o u en una cierta sucesin particular de conjuntos bsicos de integracin el l o a o mite exista nito. Puede suceder que en otra sucesin particular el l o mite no exista, o exista y sea innito, o exista, sea nito pero diferente del anterior. En estos casos la integral impropia de f es no convergente. Como es imposible vericar de a una, en todas las sucesiones bsicas de conjuntos de intea gracin, que el l o mite existe, es nito y da lo mismo en todas, usaremos condiciones necesarias y sucientes de convergencia. Veremos en el teorema 6.3.1, que si la funcin f en el integrando es positiva, como en este o ejemplo f (x, y) = 1/ xy > 0, entonces, basta con que exista una sucesin particular de conjuntos o bsicos de integracin donde el l a o mite existe y es nito igual a L, para que en todas las dems a sucesiones ocurra lo mismo, y el l mite sea igual al mismo nmero L. Pero hay que tener cuidado: u esa propiedad no es cierta si la funcin integrando f no es 0. En resumen: o 6.2.3. Condicin necesaria y suciente de convergencia de integrales impropias dobles o de integrando positivo. f 0 en D, {Dn } sucesin bsica de integracin de f en D tal que o a o
n+

l m

Dn

f dxdy = L R

f dxdy es convergente e igual a L

D

Aplicando este resultado al ejemplo 6.2.1, obtenemos:

1 1

dx
0 0

1 dy es convergente e igual a 4. xy

Ejemplo 6.2.4. Integral impropia no convergente de segunda especie, con integrando no positivo. Probar que no es convergente la siguiente integral impropia: yx dxdy en D = (0, 1] (0, 1] xy

Si elegimos una sucesin bsica particular de conjuntos de integracin Dn y el l o a o mite de las integrales en ellos no existe, o existe y no es nito, entonces por denicin la integral impropia no o es convergente. (Ver denicin 6.1.6.) o

86

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

Pero, si en la sucesin particular que elegimos el l o mite existe y es nito, entonces no podemos concluir nada. (Observar que en este caso la funcin integrando (y x)/(xy) no es 0 y por eso o no podemos aplicar el criterio 6.2.3. Si en la primera sucesin bsica particular de conjuntos de integracin que elegimos, el l o a o mite existe y es nito igual a L, pero en una segunda sucesin bsica, el l o a mite existe y es nito pero diferente de L, entonces por denicin la integral impropia no es convegente. (Ver denicin 6.1.6.) o o Tomaremos sucesiones bsicas de conjuntos de integracin de la forma a o D
,

= { x 1, y 1}

donde y dependern de n, sern positivos, y tendern a 0 cuando n +. As por ejemplo, a a a podremos tomar como una primera sucesin bsica de conjuntos de integracin Dn = D1/n,1/n o a o eligiendo = 1/n y = 1/n. Podremos tomar como una segunda sucesin bsica por ejemplo o a Dn = D1/n,2/n eligiendo = 1/n y = 2/n. Calculemos la integral doble en D , de f : I
1 ,

=
D( ,) y=1 y=

yx dxdy = xy
1

dx

yx dy = xy

y Logy x

dx = I
,

1 + Log dx = (1 )Logx + (Log)x|x=1 x= x = 1/n, = 1/n, resulta: 1 n Log(1/n) = 0

Tomando Dn = D1/n,1/n = [1/n, 1] [1/n, 1], es decir, In =

Dn

= (1 )Log (1 )Log 1 n

yx dxdy = xy

Log(1/n) 1 (1)

Luego: limn+ In = limn+ 0 = 0 Por otro lado, tomando Dn = D1/n,2/n = [1/n, 1] [2/n, 1], es decir, In = = 1 1 n
Dn

= 1/n, = 2/n, resulta: Log(1/n) = 1 n Log(1/n) =

yx dxdy = xy 1 n

1 n

Log(2/n) 1 1 n

2 n

Log(2) + 1 =

Log(1/n) 1 1 n 1 n Log(2) Log(2) 1 n

Log(1/n) + Log(n)

1 1

Luego:
n+

l m In = l m

n+

1 n

Log(n) = Log2

(2)

Se obtuvieron dos sucesiones bsicas de conjuntos de integracin Dn y Dn tales que los l a o mites de las integrales en ambas existen, son nitos, pero diferentes entre s (En la igualdad (1) se lleg a . o que el l mite de las integrales In en Dn es 0; en cambio en la igualdad (2) se lleg a que el l o mite de las integrales In en Dn es Log(2).) Entonces, aplicando la denicin 6.1.6, la integral impropia o dada no converge.

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

19 Julio 2006.

87

Ejemplo 6.2.5. Integral impropia convergente de primera especie, con integrando positivo. Demostrar que es convergente la integral impropia siguiente: (x2 1 dxdy + y 2 )5 + 1

en el primer cuadrante D: D = [0, +) [0, +) Esta integral impropia se suele escribir como:
+ +

dx
0 0

(x2

1 dy + y 2 )5 + 1

Tomemos como sucesin bsica o a Dn = {0 x, 0 y, 0 x2 + y 2 n2 } Calculemos la integral de la funcin dada en Dn pasando a coordenadas polares , ; x = o cos , y = sen , con Jacobiano J(, ) = . Observemos que en coordenadas polares el dominio Dn resulta {0 /2, 0 n}. Se obtiene: In =
Dn

1 dxdy = (x2 + y 2 )5 + 1

/2

d
0 0

d = (2 )5 + 1 2

n 0

d (2 )5 + 1

Luego, tomando l mite cuando n +, y recordando la denicin de integral impropia de o primera especie de funciones F (x) de una sola variable:
+ b

F (x) dx = l m
a

b+ a

F (x) dx

se obtiene:
n+

l m In =

+ 0

(2 )5 +1

(1)

Por lo tanto, para saber que ese l mite existe, habr que clasicar la integral impropia en una sola a variable + J= F () d, donde F () = 10 (2) +1 0 Ms abajo explicamos que esta integral impropia J de funcin F () en una sola variable real, es a o convergente. Por lo tanto, usando (1) se deduce que l In = L R. Hemos probado pues que para cierta m eleccin de la sucesin bsica de conjuntos de integracin Dn , existe real nito el l o o a o mite de las integrales de f (x, y) en Dn . El integrando f (x, y) = 1/(x2 + y 2 )5 + 1 es una funcin 0 en D. Entonces, podemos aplicar o el resultado siguiente, que demostraremos en el teorema 6.3.1, y que ya explicamos en el ejemplo 6.2.1: f 0 en D, {Dn } sucesin bsica de integracin de f en D tal que o a o

88

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

n+

l m

Dn

f dxdy = L R

f dxdy es convergente e igual a L

D

Por lo tanto concluimos que la integral impropia dada es convergente. No calculamos su valor L ya que no calculamos el l mite L de las integrales In de la igualdad (1). En este ejemplo solo probamos que existe ese l mite, y que por lo tanto la integral impropia dada es convergente. Qued pendiente de probar que la integral impropia J de la igualdad (2) en una sola variable o , es convergente. Para ello nos remitimos a algunos conocimientos sobre integrales impropias del curso de Clculo 1, que repasaremos a continuacin. a o El integrando F () = /(10 + 1) en la igualdad (2), es positivo. Luego, podemos aplicar el siguiente criterio de convergencia por comparacin por l o mites: 6.2.6. Criterio de comparacin por l o mites de integrales impropias en una sola variable. Sean F (x) 0, G(x) 0 tales que F (x) = , R {+} x+ G(x) l m Si es real y si a G(x) dx converge, entonces + Si = 0 y si a G(x) dx no converge entonces
+ + F (x) dx tambin converge. e a + F (x) dx tampoco. a

Para saber con qu funcin G(x) vamos a comparar, recordemos la siguiente propiedad de las e o integrales impropias de primera especie en una sola variable: 6.2.7. Integrales impropias de referencia de primera especie en una sola variable.
+ 1

1 dx converge si y solo si > 1 x

Volviendo a nuestra funcin F () = /(10 + 1), a la que llegamos en el desarrollo del ejemplo o 6.2.5, ten amos que clasicar la integral impropia de primera especie
+

J=
0

10

d +1

en una sola variable . Aplicaremos el criterio de comparacin por l o mites 6.2.6, con una funcin G() adecuada, o que se pueda clasicar segn la referencia 6.2.7. Veamos entonces a qu funcin G() = es u e o equivalente el l mite de F () cuando +
+ 10

l m

1 = l m 9 = 0 + 1 +

Usaremos como funcin G() = 1/9 . Entonces se cumple: o /(10 + 1) 10 F () = l m = l m 10 =1R + G() + + + 1 1/9 l m

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

+

19 Julio 2006.

89

o Por el criterio 6.2.6 la integral 0 F () d converge si converge la de G(). Por la clasicacin del + 9 , con exponente 9 > 1. prrafo 6.2.7, la integral 0 G() d es convergente porque G() = 1/ a Entonces + J= d converge. 10 + 1 0 Ejemplo 6.2.8. Integral impropia convergente de primera especie, con integrando no positivo. Demostrar que es convergente la siguiente integral impropia: yx dxdy donde D = [0, +) [0, +) (x + y + 1)[(x2 + y 2 )5 + 1]

No podemos aplicar el mismo procedimiento que en el ejemplo 6.2.5, porque la funcin en el o integrando no es siempre 0 en D. Aunque demostremos que existe nito el l mite L de las integrales en una sucesin bsica Dn de conjuntos de integracin, este l o a o mite no tiene por qu existir e en otra sucesin de conjuntos Dn , y si existe no tiene por qu ser el mismo, en todas las sucesiones o e bsicas de conjuntos de integracin. a o Usaremos el siguiente resultado, a probar en el teorema 6.4.1: 6.2.9. Criterio de convergencia absoluta. |f (x, y)| dxdy converge f (x, y) dxdy converge
D

Notamos que la propiedad anterior es falsa para integrales impropias de funciones de una variable. Para estas ultimas, la convergencia en valor absoluto es suciente pero no necesaria para la convergencia sin el valor absoluto. Sin embargo, para integrales impropias dobles, triples, y mltiples en general (con q 2 variables), la convergencia absoluta es equivalente (es decir u necesaria y suciente) para la convergencia sin el valor absoluto. Aplicando el criterio 6.2.9 de convergencia absoluta, para probar que converge la integral impropia dada en el ejemplo 6.2.8, probaremos que converge la integral impropia: yx dxdy donde D = [0, +) [0, +) (x + y + 1)[(x2 + y 2 )5 + 1]

La funcin en el integrando ahora es positiva. Por lo tanto podemos usar el mismo proceo dimiento que en el ejemplo 6.2.5. Sin embargo, para ahorrar expresar esta integral en una sucesin o bsica de conjuntos de integracin, y no tener que reducirla al clculo de integrales iteradas a o a simples, aplicaremos ahora algunos criterios de convergencia de integrales impropias mltiples, u que demostraremos en la prxima subseccin. o o 6.2.10. Criterio de comparacin para integrales impropias dobles: o 0 f (x, y) g(x, y) (x, y) D g(x, y) dxdy converge
D

f (x, y) dxdy converge.

D

90

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

Dicho en palabras, si f es menor que g y la integral de g converge (ya sea de primera o de segunda especie), entonces la de f tambin. e Anlogamente, exponemos el criterio de no convergencia (que es el contrarrec a proco del anterior): f (x, y) g(x, y) 0 (x, y) D g(x, y) dxdy no converge
D

f (x, y) dxdy no converge.

D

Observar que aqu la hiptesis se invierte: es f mayor que g. Dicho en palabras, si f es mayor que o g y la integral de g no converge entonces la de f tampoco. Aplicando este criterio de comparacin para integrales dobles, a la funcin o o del ejemplo 6.2.8, se obtiene:
yx (x+y+1)[(x2 +y 2 )5 +1]

yx |y| + |x| (1) 2 + y 2 )5 + 1] (x + y + 1)[(x |x + y + 1| |(x2 + y 2 )5 + 1| Siendo (x, y) D, se tiene x 0, y 0. Luego |x + y| = x + y = |x| + |y| en D. Por lo tanto, |x| + |y| < x + y + 1 = |x + y + 1| (|x| + |y|)/|x + y + 1| < 1. Sustituyendo en (1) se deduce: yx 1 2 (2) 2 + y 2 )5 + 1] (x + y + 1)[(x (x + y 2 )5 + 1 Por lo visto en el ejemplo 6.2.5 la integral impropia 1 dxdy (x2 + y 2 )5 + 1 converge. (3)

Reuniendo (2)y (3), y aplicando el Criterio de Comparacin para integrales dobles en 6.2.10, o se deduce entonces que yx dxdy (x + y + 1)[(x2 + y 2 )5 + 1] converge.

y por lo tanto, por el criterio de convergencia absoluta en 6.2.9: yx dxdy (x + y + 1)[(x2 + y 2 )5 + 1] converge.

Ejemplo 6.2.11. Integral impropia no convergente de segunda especie. Demostrar que no converge la siguiente integral impropia: 1 dxdy en D = [0, 1] [0, 1] \ {0, 0} x2 + y 2

Elegimos como sucesin bsica de conjuntos de integracin: o a o Dn = {0 x 1, 0 y 1, 1 x2 + y 2 } n2

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

19 Julio 2006.

91

Los conjuntos Dn son los que resultan del cuadrado D al quitar el interior de un c rculo de radio 1/n centrado en el origen. Consideremos los dominios sustitutos 1 Dn = {0 x, 0 y, 2 x2 + y 2 1} n Estos Dn son los dominios Dn a los que hemos quitado el conjunto de puntos E que distan ms a que 1 del origen. Los conjuntos Dn no forman una sucesin bsica de dominios de integracin en o a o D, porque su unin no es D, sino que les falta el conjunto E. Sin embargo la integral en Dn es o igual a la integral en Dn ms la integral en E. a Calculemos la integral In de la funcin dada en el dominio Dn : o In =
Dn

1 dxdy = x2 + y 2

Dn

1 dx + x2 + y 2

1 dxdy = x2 + y 2

Llamemos A a la integral en E; es una integral de Riemann, nmero real constante independiente u de n. Se obtiene, calculando en coordenadas polares la integral en el dominio Dn : In = A + =A+
0

Dn

1 dxdy = A + 2 + y2 x
/2

/2

d
0 1/n

d = 2

Log()|=1 d = A + =1/n

Log(n) 2

Tomando l mite cuando n + resulta:

n+

l m In = A + l m

n+

Log(n) = + 2

Por lo tanto la integral impropia dada no converge. Ejemplo 6.2.12. Discusin de convergencia de una integral impropia de segunda eso pecie. Clasicar (esto es: decidir si es convergente o no lo es), discutiendo segn el valor de la constante u real , la siguiente integral impropia: x y (1/2) dxdy en D = [0, 1] [0, 1] \ {(0, 0)} (x2 + y 2 )

Aplicaremos el criterio de convergencia absoluta en 6.2.9. Por lo tanto la integral impropia dada es convergente o no lo es, segn sea la integral de la funcin en valor absoluto: u o |x y (1/2)| dxdy en D = [0, 1] [0, 1] \ {(0, 0)} (x2 + y 2 )

Tomemos como dominios Dn que forman una sucesin bsica de integracin los mismos que o a o los del ejemplo anterior: Dn = {0 x 1, 0 y 1, 1 x2 + y 2 } n2

92

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

Consideremos los dominios sustitutos 1 Dn = {0 x, 0 y, 2 x2 + y 2 1} n Estos Dn son los dominios Dn a los que hemos quitado el conjunto de puntos E que distan ms a que 1 del origen. Los conjuntos Dn no forman una sucesin bsica de dominios de integracin en o a o D, porque su unin no es D, sino que les falta el conjunto E. Sin embargo la integral en Dn es o igual a la integral en Dn ms la integral en E. a Calculemos la integral In de la funcin dada, en valor absoluto, en el dominio Dn : o In =
Dn

|x y (1/2)| dxdy = (x2 + y 2 )

Dn

|x y (1/2)| dx + (x2 + y 2 )

|x y (1/2)| dxdy = (x2 + y 2 )

Llamemos A a la integral en E; es una integral de Riemann, nmero real constante independiente u de n. Se obtiene, calculando en coordenadas polares la integral en el dominio Dn : |x y (1/2)| dxdy = A + (x2 + y 2 ) =A+ 2
1 1/n /2 1

In = A +

Dn

d
0 1/n

| (cos sen ) (1/2)| d = 2

| (cos sen ) (1/2)| d 21

Tomemos ahora el l mite cuando n + de las integrales In :

1 n+

l m In = A +
0

| (cos sen ) (1/2)| d 21

(1)

Por lo tanto el l mite anterior existe real o no es real, segn sea convergente o no lo sea la u integral impropia en una variable real J siguiente:
1

J=
0

| (cos sen ) (1/2)| d 21

(2)

Discusin: o Si la integral impropia J de (2) es convergente, entonces por (1) el l In existe y es real. m En ese caso, la integral impropia doble en D de la funcin |x y (1/2)|/(x2 + y 2 ) es o convergente, aplicando el criterio 6.2.3, porque en una sucesin bsica particular existe el o a l mite real de las integrales. (Y porque la funcin en el integrando es positiva). Entonces, o por el criterio de convergencia absoluta del prrafo 6.2.9 la integral dada es convergente. a Si la integral impropia J de (2) no es convergente, entonces por (1) el l In no es real. m En ese caso, la integral impropia doble en D de la funcion |x y (1/2)|/(x2 + y 2 ) no es convergente, por denicin 6.1.6. Entonces, por el criterio de convergencia absoluta del o prrafo 6.2.9 la integral dada no es convergente. a Hemos reducido entonces el problema a estudiar una integral impropia de segunda especie en una sola variable real, como las que se estudian en el curso de Clculo 1. a Para clasicar la integral J usaremos los siguientes criterios vistos en el curso de Clculo 1: a

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

19 Julio 2006.

93

6.2.13. Criterio de comparacin por l o mites de integrales impropias en una sola variable. Sean F (x) 0, G(x) 0 tales que
x0 b

l m

F (x) = , G(x)

R {+}
b e 0 F (x) dx tambin converge. b 0 F (x) dx tampoco.

Si es real y si 0 G(x) dx converge, entonces b Si = 0 y si 0 G(x) dx no converge entonces

Para saber con qu funcin G(x) vamos a comparar, recordemos la siguiente propiedad de las e o integrales impropias de segunda especie en una sola variable: 6.2.14. Integrales impropias de referencia de segunda especie en una sola variable.
b 0

1 dx converge si y solo si < 1 x

Volviendo a la integral J a la que reducimos el problema del ejemplo 6.2.12, ten amos que clasicar la siguiente integral impropia:
1

J=
0

| (cos sen ) (1/2)| d 21

(2)

Consideremos la funcin en el integrando o F () = | (cos sen ) (1/2)| 21

Para tomar una funcin de referencia G() y aplicar el criterio de comparacin por l o o mites en 6.2.13, busquemos un equivalente de F () cuando 0:
0

l F () = l m m

1/2 | (cos sen ) (1/2)| = l m 21 21 0 0

Entonces usemos como funcin de referencia: o G() = Se tiene: l m F () 1 = l | (cos sen ) (1/2)| = m 0 G() 2 1 21

Luego aplicando el criterio de comparacin por l o mites en 6.2.13, se obtiene:

1 1

G() d =
0 0

1 21

d converge

F () d converge .
0

94

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

Por lo tanto hemos reducido el problema a estudiar la convergencia de la integral impropia:

1

K=
0

1 21

Usando el criterio de referencia en 6.2.14, se tiene que K es convergente si y solo si el exponente del denominador cumple: 2 1 < 1. Esto es equivalente a 2 < 2, o lo que es lo mismo: < 1. Concluimos entonces la siguiente respuesta para el ejercicio propuesto en el ejemplo 6.2.12: Si < 1 la integral doble impropia dada es convergente. Si 1 la integral doble impropia dada no es convergente.

6.3.

Integrales impropias de funciones no negativas.

Ahora enunciaremos nuevamente y demostraremos los criterios usados para calcular o clasicar las integrales impropias de los ejemplos en la seccin anterior. o Teorema 6.3.1. Condicin necesaria y suciente de convergencia de integrales imo propias de funciones positivas. Si f 0 en D, y si existe una sucesin bsica de conjuntos de integracin Dn tal que o a o
n+

l m

Dn

f dxdy = L R

entonces f dxdy es convergente e igual a L.

D

y rec procamente. Demostracin: Basta probar que para dos sucesiones bsicas {Dn } y {Dn } cualesquiera de o a conjuntos de integracin en D, se cumple o L = L (a probar) siendo L = l m In ,
n+

(1)

In =
Dn

f dxdy f dxdy

L = l m In ,
n+

In =

Dn

Dado Dm , como es compacto contenido en D y como {Dn } es una sucesin bsica de conjuntos o a de integracin en D, entonces existe algn N natural tal que Dm Dn para todo n N . (Ver en o u la denicin 6.1.3 que Dn aproxima a D.) o Por lo tanto podemos escribir Dn = Dm H, donde H = Dn \ Dm

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e Por la aditividad de la integral respecto a los conjuntos donde se integra: f dxdy =
Dn

19 Julio 2006.

95

Dm

f dxdy +
H

f dxdy

(2)

Siendo por hiptesis f 0, entonces la integral de f en H es mayor o igual que cero. Por lo tanto, o sustituyendo en (2), resulta: In =
Dn

f dxdy

Dm

f dxdy = Im

En resumen, hemos probado que dado m existe N tal que Im In n N Luego, haciendo n + en (3), con m jo, se deduce: Im L = l m In
n+

(3)

Por lo tanto, concluimos que para todo m natural, se cumple: Im L. Haciendo m +, como L es jo, resulta: L = l m Im L
m+

Hemos probado que LL (4) Reproduciendo la prueba, con los roles de Dn y Dn intercambiados, resulta LL (5)

Reuniendo (4) y (5) de deduce la igualdad (1) que quer amos probar. Teorema 6.3.2. Criterio de comparacin para integrales impropias m ltiples de inteo u grando positivo. a) 0 f (x, y) g(x, y) (x, y) D g(x, y) dxdy converge
D

f (x, y) dxdy converge.

D

b) f (x, y) g(x, y) 0 (x, y) D g(x, y) dxdy no converge

D

f (x, y) dxdy no converge.

D

96

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

Demostracin: La parte b) es el contrarrec o proco de la parte a). En efecto, por absurdo, si la tesis de b) fuese falsa, entonces la integral de f ser convergente. Aplicando la parte a) (con a los roles de f y g intercambiados) ser tambin convergente la integral de g, contradiciendo la a e hiptesis de b). o Ahora probemos la parte a): Por el teorema 6.3.1, para probar que la integral de f es convergente, basta demostrar que para cierta sucesin bsica {Dn } de conjuntos de integracin en D, se cumple que la sucesin de o a o o integrales In tiene l mite real, siendo: In =
Dn

f dxdy

Una sucesin de reales tiene l o mite real si y solo si es de Cauchy. Entonces hay que probar que In es de Cauchy, es decir: Dado > 0 hay que probar que existe N tal que: mn>N |Im In | < (a probar) (1)

Como por hiptesis la integral impropia de g es convergente, entonces la sucesin de integrales o o Jn es de Cauchy, siendo Jn =
Dn

g dxdy

Siendo Jn una sucesin de Cauchy de nmeros reales, se cumple que para todo > 0 existe N tal o u que: m n > N |Jm Jn | < (2) Siendo m n se cumple Dm Dn , entonces para cualquier funcin h (en particular para g o o f ) se cumple: h dxdy =
Dm Dn

h dxdy +
H

h dxdy,

donde H = Dm \ Dn h dxdy 0

Luego, si h 0:
Dm

h dxdy

h dxdy =
Dn H

Como por hiptesis 0 f g entonces: o Im In =

Dm

f dxdy

f dxdy =
Dn H

f dxdy

g dxdy =
H

g dxdy =
H Dm

gdxdy

Dn

gdxdy = Jm Jn

(3)

Adems como por (3) son todas integrales en H de funciones positivas, se cumple a |Im In | = Im In 0, |Jm Jn | = Jm Jn 0 Por lo tanto usando (3) y (4) se concluye: |Im In | |Jm Jn | (5) (4)

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e Reuniendo (2) con (5) se concluye: mn>N |In Im | <

19 Julio 2006.

97

que es la desigualdad (1) que quer amos probar.

6.4.

Integrales impropias absolutamente convergentes.

Teorema 6.4.1. Convergencia absoluta es equivalente a la convergencia. |f (x, y)| dxdy converge f (x, y) dxdy converge
D

Demostracin: o Directo: Probemos primero que la convergencia absoluta (convergencia de la integral del valor absoluto de la funcin) implica la convergencia sin valor absoluto. o Sean la parte positiva f + y la parte negativa f de f denidas como sigue: f + = mx f, 0, a f = mx f, 0 a

La parte positiva f + de f es nula donde f es negativa y es igual a f donde f 0. La parte negativa f es nula donde f es positiva, y es igual a f donde f 0. Obsrvese que: e f = f + f , f + 0, f 0, |f | = f + + f (1)

Apliquemos el criterio de comparacin demostrado en el teorema 6.3.2. Siendo por hiptesis cono o + |f |, vergente la integral de la funcin en valor absoluto, y siendo 0 f o 0 f |f |, + y de f : entonces son convergentes las integrales impropias de f Por lo tanto, para cualquier sucesin bsica {Dn } de conjuntos de integracin en D, existen o a o los l mites reales L+ y L siguientes, y son siempre los mismos, independientes de la sucesin: o L+ = l m
n+

f + dxdy,
Dn

L = l m

n+

f dxdy
Dn

(2)

Siendo f = f f , de (2) se deduce que existe el l mite real L = L+ L , y es por lo tanto independiente de la sucesin bsica {Dn } elegida, tal que: o a L = l m
n+

f dxdy = l m
Dn

n+

Dn

f + dxdy

f dxdy
Dn

= L+ L

Esto prueba que la integral de f en D es convergente, com quer amos demostrar. Rec proco: Probemos ahora que la convergencia de la integral impropia de la funcin sin valor o absoluto, implica la convergencia absoluta (convergencia de la integral de la funcin con valor o absoluto). Esta propiedad es falsa para integrales impropias de funciones de una sola variable. Es cierta solamente para integrales mltiples impropias con q 2 variables (integrales dobles, triples u o q-mltiples). u Como en la parte anterior, igualdades (1), sean f + y f las partes positiva y negativa de f respectivamente. Si probamos que las integrales impropias en D de f + y de f son convergentes,

98

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

entonces la integral impropia de |f | = f + + f tambin ser convergente, que es lo que queremos e a demostrar. Probaremos que la integral impropia en D de f + es convergente. Para probar que la de f tambin es convergente, habr que aplicar la misma demostracin sustituyendo f por f . e a o Por hiptesis sabemos que la integral de f = f + f es convergente. Supongamos por absurdo o que la integral de f + fuera no convergente. Entonces para cualquier sucesin bsica {Dn } las o a integrales
+ In =

f + dxdy
Dn

formar una sucesin creciente (porque Dn Dn+1 y f 0) de nmeros reales 0 no acotada an o u superiormente (porque si fuera acotada ser convergente). a + Siendo {In } creciente y no acotada superiormente, existe n(N ) creciente, tal que
+ + In(N ) In(N 1) > 1

(3)

Tomemos la siguiente sucesin bsica nueva DN que se obtiene intercalando inmediatamente o a 2N 1 de la sucesin bsica dada26 , el conjunto despus del conjunto Dn = D e o a D2N = Dn Dn(N ) {f = f + } siguiendo27 con D2N +1 = Dn(N ) . Como por hiptesis la integral de f es convergente a L, entonces las integrales IN de f en los o conjuntos DN de la nueva sucesin bsica, tienden a L. Por lo tanto: o a I2N 1 =
Dn

f dxdy f dxdy +

N +

L f + dxdy
N +

I2N =

D2N

f dxdy =
Dn

Dn(N ) \Dn

donde n = n(N 1). Restando miembro a miembro las dos igualdades anteriores, se obtiene: f + dxdy
Dn(N ) \Dn(N 1) N +

(4)

Pero por la aditividad de la integral doble respecto al dominio de integracin: o f + dxdy =

Dn(N ) \Dn(N 1) Dn(N )

f + dxdy

Dn(N 1)

+ + f + dxdy = In(N ) In(N 1) > 1

(5)

Al nal de la desigualdad (5) se us la desigualdad (3). o Las armaciones (4) y (5) son contradictorias. Con esto se llega a un absurdo, terminando la demostracin. o
Aqu tendr que ser n = n(N 1) a Como f es continua excepto en un conjunto de medida nula, previamente denimos f = 0 en los puntos de discontinuidad de f . Siendo as la integral de f no cambia, y los conjuntos {f = f + } y {f = f } son cerrados. Por , lo tanto cortados con Dn son compactos.
27 26

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e BIBLIOGRAF IA:

19 Julio 2006.

99

[1] de Burgos, J. : Clculo Innitesimal de Varias Variables. Editorial Mc. Graw-Hill, ISBN a 84-481-1621-6, Madrid, 1995. [2] Courant, R. : Introduccin al Clculo y al Anlisis Matemtico. Vol. II Editorial LIMUSA, o a a a ISBN 968-18-0640-9, Mxico, 1996. e [3] Apostol, T. : Calculus. Vol. II. Editorial Revert. e [4] IMERL: Ejercicios para el curso de Clculo II. a Repartidos 1 a 9, Facultad de Ingenier UdelaR., Montevideo, 2006. Publicados en: a, http://imerl.ng.edu.uy/calculo2/material.htm