Integrales Dobles

Jorge Brisset

Introduccin:
El presente es un complemento al curso de anlisis 2 de la carrera de Profesor de Matemtica dictado en
el I.P.A. En l, contamos con una bolilla de integrales mltiples y hemos optado por tratar el de Integrales
Dobles asumiendo como natural el salto a las triples (y ms).
En el desarrollo del curso se omitieron las demostraciones de algunos teoremas y es aqu en donde
presentamos las mismas. De todos modos, el trabajo no solo presentar aquellos puntos no tratados en el
curso sino que para darle una coherencia global exhibiremos prcticamente todos.

Resumen:
Partiendo de las sumas de Riemann (para lo cual veremos primero las definiciones necesarias),
definiremos qu se considera como funcin R-integrable en una regin plana. Luego daremos una
condicin suficiente de integrabilidad (para eso definiremos conjunto de medida nula), el Teorema de
Fubini, el Teorema de Schwarz 1 y una serie de propiedades de las integrales dobles que no presentaremos
sus demostraciones pues son similares a las que tienen las integrales de Riemann en , adems de ser
sumamente naturales.

A los lectores
Para una comprensin del tema se entiende que deber estar familiarizado con los contenidos de las
asignaturas de primer y segundo ao y manejar solventemente los conceptos de continuidad y
diferenciabilidad de una funcin de varias variables.
Al tratarse de una primera aproximacin a lo que sera un material de apoyo al curso, el autor les agradece
que le hagan llegar las crticas del mismo y que hagan un buen uso del mismo.

Si bien este teorema no pertenece naturalmente al tema, veremos aqu una demostracin del mismo.

Particiones y sumas de Riemann

En todo el contenido trabajaremos con funciones de la forma : 2 , en donde se indicar
oportunamente las caractersticas del conjunto A. Para arribar al concepto de integral doble, primero
definiremos particin de un rectngulo , , y luego suma de Riemann. El tratamiento es similar
al que se realiza en un curso de Anlisis 1 con funciones de una variable.

=
1

1
1
= 0

= 0

1 ..

...
.

1 =

Particin de un rectngulo , ,
Se considera el rectngulo , , . En los intervalos , y , se consideran sendas particiones
1 = 0 , 1 , 2 , , y 2 = 0 , 1 , 2 , , .
El conjunto = 1 2 , es decir, =
del rectngulo , , .

, : = 0,1, , ; = 0,1,2, es llamado particin

Ntese que de la misma manera que 1 determina n intervalos en , , la particin determina en

, , . rectngulos, en la figura se resalt uno de ellos, expresado en forma genrica, como
1 , 1 ,

Suma de Riemann
Sea : , , , se considera en , , una particin . En cada uno de los .
rectngulos 1 , 1 , determinados en , , por la particin se elige2 un elemento
, .
Llamamos suma de Riemann de en , , segn y segn el criterio , al nmero

,
=1 =1

donde = 1 y = 1 .

Cada sumando de la suma de Riemann definida arriba, en el caso de que sea positiva, puede
interpretarse como el volumen de un prisma de altura , y base 1 , 1 , .

Al criterio de eleccin, que puede ser arbitrario, lo simbolizamos por .

La definicin de suma de Riemann se extiende naturalmente para funciones definidas en regiones no

rectangulares. Basta con que stas estn acotadas3. Para lograr la extensin mencionada tomaremos
, = 0 para los casos en que , . En la figura que sigue lo interpretamos.

, = 0

Definicin de Integral Doble

En la seccin anterior pudimos interpretar a cada suma de Riemann como la suma de volmenes de
. prismas. Dicha suma, en ciertas condiciones, podra estimar satisfactoriamente el volumen encerrado
por el grfico de por la parte superior y por el conjunto por debajo. A continuacin definiremos
funcin R-integrable en y, en consecuencia, integral doble.

Funcin Riemann integrable en

Sea : 2 , donde es un conjunto acotado. Decimos que es R-integrable en , si y slo si,
existe un nmero real tal que

lim

, = 0
=1 =1

cualquiera que haya sido , el criterio de eleccin de cada , .

El nmero real mencionado en la definicin, es llamado integral doble de f en A y su notacin es:
,

Un conjunto 2 se dice que est acotado si existe un rectngulo , , que lo incluye.

rea de una regin plana y volumen encerrado por el grfico de una funcin
Sea 2 . Definimos el rea de A como (por supuesto en caso de que exista la integral).
Rpidamente podemos dar un par de interpretaciones geomtricas a esta definicin. Una podra ser que
integrar en A un diferencial rea, parece sumamente razonable que esa integral sea el rea de .
Otra sera considerando la integral de la funcin constante 1 en , lo que nos dara el volumen encerrado
por el grfico de la funcin constante 1 por arriba y la regin por debajo. Al tratarse de un cilindro de
altura 1, el volumen de ste tendra el mismo valor numrico que el rea de la base.
Sea : 2 una funcin no negativa y R-integrable en . Sea el slido definido de la siguiente
manera = , , 3 : 0 , , ,
Llamamos volumen de a la integral siguiente:
,

En caso de que presente cambios de signo en , la definicin anterior se extiende a la siguiente:

, .

Ejemplo de una funcin R-integrable.

Presentaremos un ejemplo que podramos catalogarlo de trivial, sin embargo es importante en la teora
que estamos desarrollando ya que prueba la existencia de funciones R-integrables en una regin plana.
Sea : , , dada por , = . Consideremos una particin de , , .
La suma de Riemann correspondiente a cualquier eleccin es:

= .
=1 =1

Esta suma es constante, no depende ni de la eleccin del valor funcional que oficia de factor en cada
sumando ni de la particin tomada. Luego, es R-integrable en , , y
= .
, ,

Lo que podramos escribir, ms genricamente

= . rea .

Conjuntos de medida nula.

Segn en qu conjunto estemos trabajando, el concepto de medida deber estar en concordancia, es
decir, en los reales estaramos diciendo que tiene longitud cero, en el plano que su rea es nula y en el
espacio que su volumen es nulo, en otro tipo de conjuntos ser necesario definir con precisin el concepto
de medida de un conjunto que hemos presentado aqu informalmente. 4
Sea 2 , diremos que tiene medida nula si para cualquier > 0, existen finitos rectngulos5 1 ,
2 , tales que

=1

en tanto

rea <
=1

Ejemplos de conjuntos de medida nula.

Se desprende de la definicin que los conjuntos finitos tienen medida nula, en cursos anteriores se prob
que los numerables tambin. Veremos a continuacin que los grficos de funciones R-integrables en
, tambin lo son (luego, en forma inmediata lo sern las uniones finitas de stos).
Sea : , una funcin R-integrable. Es decir (usando la condicin necesaria y suficiente de
integrabilidad), dado cualquier > 0, existe una particin = 0 , 1 , , de , tal que

=1

< .
=1

Es decir,

< .
=1

Obtuvimos as la suma de finitas rea de rectngulos = 1 , , que cada uno cubre la parte
del grfico de correspondiente al 1 , . (Si fuera constante en algn tramo no tendramos un
rectngulo cmo se soluciona ese inconveniente?)
A continuacin tenemos una interpretacin grfica del resultado.

Esta presentacin del concepto de medida corresponde al de Medida de Lebesgue

Henri Lebesgue (1875-1941)
5
Podramos tomar conjuntos cualesquiera con respectivas reas conocidas, elegimos rectngulos por simplicidad.

Una condicin suficiente de integrabilidad6

Si : 2 es una funcin continua y acotada, donde es un conjunto acotado cuya frontera tiene
medida nula, entonces es R-integrable en .7
Los casos ms comunes de fronteras de medida nula son las formadas por uniones finitas de grficos de
funciones continuas. Veamos un par de ejemplos.
[1] : , = cos 2 es R-integrable en =

, 2 : 2 +

2
4

< 1 ya que es continua

y acotada en y la frontera de tiene medida nula pues se puede descomponer en dos grficos de
sendas funciones reales (basta despejar, = 2 1 2 ).

[2] : , =

2 + 2

si , 0,0
es R-integrable en =

, 2 : + 3

0
si , = 0,0
porque es continua en 0,0 y acotada en cuya frontera tiene medida nula.

No presentaremos, en esta oportunidad, la demostracin. El lector interesado podr encontrar una sencilla en
Lins, Principios de Anlisis Matemtico.
7
Note que se puede extender a funciones continuas excepto en un conjunto de medida nula.

 = 2 1 2

= 2 1 2

En los puntos siguientes veremos algunas propiedades y algunos resultados. Todo ello apunta a dotarnos
de herramientas tiles para el clculo de las integrales dobles. En el caso de las propiedades, dada la
similitud con las de integrales de Riemann en una variable, no desarrollaremos las correspondientes
demostraciones.

Propiedades de las integrales dobles

1) Si y son funciones R-integrables en 2 , cualesquiera que sean los reales y se tiene que
+ es R-integrable en y que:
, + , =

, +

, .

2) Si es una funcin R-integrable en 2 y , 0 para todo , , entonces

, 0 .

3) Si y son funciones R-integrables en 2 y , , para todo , , entonces,

,

, .

4) Si 2 tiene medida nula, entonces

cualquiera haya sido la funcin definida en A.

5) Si es una funcin R-integrable en 2 y es una funcin definida en tal que

, = , para todo , , donde tiene medida nula, entonces es R-integrable
en y
, =

, .

6) Si es una funcin R-integrable en y en , ambos subconjuntos de 2 , entonces f es R-integrable

en y en y adems,
, =

, +

, .

Si tuviese medida nula, entonces la igualdad queda,

, =

, +

, .

Esta propiedad es conocida como aditividad de la regin de integracin.

A
B

Al considerar la suma de
la integrales se est
considerando dos veces
la integral en .

Hasta aqu hemos dado el concepto de funcin R-integrable y algunas propiedades de la integral. En los
puntos que siguen veremos cmo se calculan las integrales dobles (para decirlo en forma resumida y
simple: se calculan dos integrales simples).

El Teorema de Fubini
El teorema de Fubini nos proporciona un mtodo muy sencillo para calcular una integral doble. Para
mostrar la sencillez del resultado (quizs no lo sea tanto la demostracin) veremos algunos ejemplos para
luego pasar a la demostracin. En una primera instancia lo probaremos en regiones rectangulares y
despus en regiones ms generales.8

Enunciado del teorema.

Si es una funcin R-integrable en = , , y para cada , existe , ,

entonces

, =

, .

En caso de que se verifique lo mismo con cada , se llega a que:

, =

, .

Veamos algunos ejemplos.

[1] Calculemos la + 2 . En donde = 0,3 0,2 .
Como en este caso se verifican las hiptesis del teorema de Fubini, obtendremos la integral
calculando las integrales en los dos sentidos de integracin posibles.
3

+ 2

2 +

2 2

+ 2

2
2

2 2
+
3

= 9 + 18 = 27 .

=
0

depende de x

De la otra forma,
2

+ 2

=
0

9
+ 9
2

+ 2

0
3

9
9 2
= +
2
2
0

2 3
+
2
3

= 9 + 18 = 27 .

=
0

depende de y

De todos modos, antes de la demostracin deberemos redefinir algunos conceptos ya manejados en funciones
acotados de una variable: las sumas superior e inferior de Darboux.

En este caso result indistinto un orden que otro, hay otros casos en los cuales uno es ms
fcil que el otro.

[2] Calculemos el volumen del slido que por la parte superior est limitado por la grfica de la
funcin : , = 2 + 2 y el plano de ecuacin = 0 en tanto , 0,1 0,1 .
Al tratarse de una funcin no negativa, la integral es el volumen del slido definido arriba.
1

2
0,1 0,1

=
0

=
0

1
2
+ 2 = .
3
3

El precedente es el grfico de : , = 2 + 2 .

Como se habr notado, dependiendo si primero integramos respecto a la variable x o a la variable y, la

primera integral depender de y o de x respectivamente. Pretendemos destacar este simple hecho ya que
esas integrales cumplen un papel importante en la demostracin del teorema que haremos a continuacin.

Sumas de Darboux
Como ya anticipamos, veremos algunas de las propiedades de las sumas de Darboux vinculadas con la
integrabilidad de Riemann en rectngulos.
Dada una funcin acotada y definida en , , , consideramos una particin de , ,
( = 1 2 , con 1 = 0 , 1 , , y 2 = 0 , , , ). En cada uno de los rectngulos
1 , 1 , determinados por en , , , por ser una funcin acotada, presenta
supremo e nfimo. Los denotaremos como y respectivamente.

Llamaremos suma superior de en , , segn la particin al nmero real:

, =

.
=0 =1

En forma similar se define la suma inferior de en , , como:

, =

.
=0 =1

Como en cada rectngulo 1 , 1 , se tiene que para todo , 1 , 1 ,

, .
Por lo tanto,

, , .
=0 =1

Con lo que tenemos (como era de prever), que las sumas de Riemann estn entre las de Darboux.
Adems, en cada rectngulo 1 , 1 , , por las propiedades del supremo de un conjunto (y
tambin del nfimo), tenemos que dado cualquier > 0 existe , 1 , 1 ,
que dista del supremo menos que , es decir:
, < .
Luego, multiplicando por y sumndolos, tenemos que:

()

tal

, .

0 ,
=0 =1

Si fuera R-integrable en , , , tendramos por definicin que 9

lim

, =
=1 =1

, .

Esto es independiente de la eleccin de , .

En otras palabras (poniendo los detalles en la definicin de lmite):
Para cada > 0 y cualquiera sea el criterio de eleccin del par , en cada 1 , 1 , ,
existe > 0 tal que si < , se cumple que:

,
=1 =1

, <

.
2

Ya que la desigualdad anterior no depende del criterio de eleccin, adoptamos el que verifica la

desigualdad (*) tomando <

.
2

Luego,
0 ,

, +
=0 =1

,
=0 =1

< + =.
2 2

En resumen,

lim

=
=1 =1

, .

Y de la misma manera,

lim

=
=1 =1

, .

Representamos, para mejorar la notacin al , , como .

Demostracin del teorema de Fubini

Se consideran, al igual que en la parte introductoria, 1 y 2 particiones de , y ,
respectivamente y y el supremo y el nfimo de en 1 , 1 , .
Luego, para cualquier par , 1 , 1 , se tiene que:
, .
Por lo que para cada 1 ,

tenemos que:

, .
1

Sumando estas desigualdades llegamos a que:

=1

.
=1

Lo que escrito de otra manera queda:

=1

para todo 1 , ,
=1

con = , (recuerde que es R-integrable en , ).

En cada 1 , con = 1,2, , se elije un , por lo que:

=1

.
=1

Multiplicando tenemos que:

=1

.
=1

Y sumndolos llegamos a que:

=1

=1

=1

=1

=1

Reescribiendo tenemos:

, .
=1

Tomando lmites, con 0 , deducimos que es R-integrable en , y que, por lo visto antes
, y , tienen como lmite la integral doble de en , y , .

, .

Esto es lo que queramos probar ya que, al ser = , obtuvimos que:

, =

, .

Apndice: El teorema de Schwarz

Sea una funcin de clase 2 en un abierto 2 . Probaremos que para todo , , las derivadas
parciales mixtas son iguales, es decir:
2
2
, =
, .

Supongamos que existe un elemento de que no lo cumple, que existe , tal que
2
2
,
, > 0 .

Como la funcin

es continua en (es resta de continuas), tenemos que existe un rectngulo

que contiene a , tal que para todo , se tiene

2
2
,
, > 0

Y entonces,

2
2
,
,

> 0.

Por otra parte, por el teorema de Fubini:

, =

, = , , , + , .

(#)

Y tambin,

, =

, = , , , + , .

Con lo que probamos que:

2
2
,
,

= 0 ,

contradiciendo (#) y probando, en consecuencia que para todo , :

2
2
, =
, .