La integral doble sobre recintos no rectangulares

I SABEL M ARRERO
Departamento de Anlisis Matemtico
Universidad de La Laguna
imarrero@ull.es

ndice
1. Introduccin

2. Conjuntos de tipos I y II

3. Aplicaciones al clculo de reas y volmenes

3.1. Clculo de reas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2. Clculo de volmenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4. Conjuntos medibles Jordan

C LCULO I NTEGRAL V ECTORIAL

OCW-ULL 2011/12

L A INTEGRAL DOBLE SOBRE RECINTOS NO RECTANGULARES

1.

1/8

Introduccin
Habiendo estudiado la teora de la integral de Riemann sobre rectngulos del plano, nuestro propsito

ahora es extenderla a otros recintos ms generales. En primer lugar consideraremos regiones proyectables
sobre los ejes coordenados (conjuntos de tipo I y de tipo II), para luego ocuparnos del caso ms general, los
conjuntos medibles Jordan.

y
xxxxxxxxx
xxxxxxxxx
xxxxxxxxx
xxxxxxxxx

xx
x
xx
xx
xx
xx
x
xxxxxxxxxxx

xxxxxxxxx
xxxxxxxxx
xxxxxxxxx
xxxxxxxxx

xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx

xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx
xxxxxxx

xxxxxxxxxxx
xxx
xx
xxx
xx

Figura 1. Definicin de la integral sobre conjuntos ms generales.

Sea f una funcin definida y acotada sobre un conjunto acotado S R2 . Sea Q un rectngulo en R2 que
contiene a S. Definimos una extensin fe de f a Q por:

fe(x, y) =

f (x, y), (x, y) S

(1)

(x, y) Q \ S.

0,

Definicin 1.1. Diremos que f es integrable en S si fe es integrable en Q, y en tal caso definimos

ZZ

ZZ

f=
S

fe.

Esta definicin es consistente, ya que no depende del rectngulo Q que contenga a S. En efecto, supongamos que J es otro rectngulo en R2 que contiene a S. Entonces I = Q J es un rectngulo cuyos vrtices
determinan particiones de Q y de J en subrectngulos Qi (i N, 0 i n) y J j ( j N, 0 j m), respectiC LCULO I NTEGRAL V ECTORIAL

OCW-ULL 2011/12

2/8

I. M ARRERO

vamente, donde S Q0 = J0 = I (Figura 1). Si denotamos

fb(x, y) =

f (x, y), (x, y) S

(x, y) J \ S

0,

y tenemos en cuenta que fe y fb son nulas fuera de I y coinciden sobre I, encontramos que
ZZ
Q

ZZ

fe =

ZZ

fe =

ZZ

fb =

fb,

lo cual demuestra nuestra afirmacin inicial.

En este nuevo contexto tambin utilizaremos indistintamente las notaciones

2.

RR
S

fy

RR
S

f (x, y) dx dy.

Conjuntos de tipos I y II
Ahora centraremos nuestra atencin en conjuntos S particulares, los conjuntos de tipo I y de tipo II.

Definicin 2.1. Diremos que un conjunto S es de tipo I, OX-proyectable o verticalmente simple si es de la

forma


S = (x, y) R2 : 1 (x) y 2 (x), x [a, b] ,
siendo 1 y 2 funciones continuas en [a, b] tales que 1 (x) 2 (x) (x [a, b]).
Similarmente, diremos que un conjunto T es de tipo II, OY -proyectable u horizontalmente simple si es de
la forma


T = (x, y) R2 : 1 (y) x 2 (y), y [c, d] ,
donde 1 y 2 son funciones continuas en [c, d] tales que 1 (y) 2 (y) (y [c, d]).
En la Figura 2 puede verse una ilustracin de ambos tipos de recintos.
Nuestro objetivo inmediato es probar que si una funcin f est definida y acotada en un conjunto S de tipo
I y es continua en su interior, entonces f es integrable sobre S y su integral doble sobre S se puede escribir
como una integral iterada en el orden dy dx. Similarmente, si f est definida y acotada en un recinto T de tipo
II y es continua en su interior, entonces f es integrable sobre T y su integral doble sobre T se puede escribir
como una integral iterada en el orden dx dy. En caso de que f est definida y acotada en un conjunto que es
simultneamente de tipos I y II y sea continua en el interior de ese conjunto, entonces f es integrable sobre l
y su integral doble se puede computar como una integral iterada en cualquier orden.
OCW-ULL 2011/12

C LCULO I NTEGRAL V ECTORIAL

L A INTEGRAL DOBLE SOBRE RECINTOS NO RECTANGULARES

3/8

y
y = 2(x)

d
x = 1(y)

x = 2(y)

S
T
y = 1(x)

c
a

Figura 2. Conjuntos de tipo I (i) y tipo II.

Centraremos nuestra atencin en el estudio de la integrabilidad sobre regiones de tipo I, ya que el correspondiente a las regiones de tipo II admite un tratamiento anlogo.
Si f est definida y acotada en una regin S de tipo I, incluimos f en un rectngulo Q y definimos fe en Q
como en (1). Las discontinuidades de fe en Q sern las que f tenga en S y adems aquellos puntos de S donde
f no es cero. Pretendemos probar que S tiene contenido nulo, y a tal fin bastar con demostrar la siguiente:
Proposicin 2.2. La grfica de una funcin continua : [a, b] R es un conjunto de contenido nulo en R2 .


D EMOSTRACIN . Sea A = (x, y) R2 : a x b, y = (x) la grfica de . Como es uniformemente
continua en [a, b], dado > 0 existe una particin P = {a = x0 < x1 < . . . < xn = b} de [a, b] tal que la diferencia entre el supremo y el nfimo de en cada uno de los subintervalos determinados por P no excede /(b a)
(Figura 3). Si Fi denota el rectngulo Fi = [xi1 , xi ] [(xi1 ), (xi )] (i N, 1 i n), entonces A

Sn

i=1 Fi

y
n

|Fi | b a (xi xi1 ) = b a (b a) = .

i=1

i=1

Por consiguiente, A tiene contenido nulo.

Teorema 2.3. Sea S una regin de tipo I, comprendida entre las grficas de las funciones continuas 1 y 2 ,
con 1 (x) 2 (x) (x [a, b]). Si f est definida y acotada en S y es continua en su interior, entonces existe
RR
S

fy
f (x, y) dx dy =
S

C LCULO I NTEGRAL V ECTORIAL

Z 2 (x)

Z b

ZZ

dx
a

f (x, y) dy.

1 (x)

OCW-ULL 2011/12

4/8

I. M ARRERO

/ (b-a)

Figura 3. El grafo de una funcin continua tiene contenido nulo.

D EMOSTRACIN . Sea Q = [a, b] [c, d] un rectngulo que contiene a S, y sea fe la extensin de f a Q que
se anula en Q \ S. Los nicos puntos de discontinuidad posibles de fe en Q son los de S y, ya que S tiene
contenido nulo, encontramos que fe es integrable sobre Q. Luego, est definida

RR
S

f=

RR
Q

fe.

Observemos ahora que para cada x ]a, b[ existe

Z d

A(x) =
c

fe(x, y) dy =

Z 2 (x)

f (x, y) dy,

1 (x)

puesto que fe(x, ) tiene a lo sumo dos discontinuidades en [c, d] y se anula fuera de [1 (x), 2 (x)]. Adems, si M
es una cota de f entonces A(x) es continua y est acotada por M(d c) en ]a, b[. Para establecer la afirmacin de
continuidad, fijemos x ]a, b[. Dado > 0 sea > 0 tal que |h| < implica | f (x + h, y) f (x, y)| < /3(d c)
y |i (x + h) i (x)| < /3M (i = 1, 2), y escribamos

A(x + h) A(x) =

Z 2 (x+h)
1 (x+h)

f (x + h, y) dy

Z 2 (x)

f (x, y) dy

1 (x)

Z 2 (x+h)

[ f (x + h, y) f (x, y)] dy +

1 (x+h)

Z 2 (x+h)
2 (x)

f (x, y) dy

Z 1 (x+h)

f (x, y) dy.

1 (x)

Entonces

|A(x + h) A(x)|

Z 2 (x+h)
1 (x+h)

OCW-ULL 2011/12

Z (x+h)
 Z (x+h)

 2
  1




| f (x + h, y) f (x, y)| dy + 
f (x, y) dy + 
f (x, y) dy
(x)
(x)
2

(d c) + 2M
= .
3(d c)
3M
C LCULO I NTEGRAL V ECTORIAL

L A INTEGRAL DOBLE SOBRE RECINTOS NO RECTANGULARES

5/8

Redefiniendo ahora A(x) en x = a y x = b para hacerla continua en [a, b], cabe aplicar el teorema de Fubini
para rectngulos y concluir que
ZZ

Z b

ZZ

f=
S

fe =

Z d

Z 2 (x)

Z b

fe(x, y) dy =

dx

dx
a

f (x, y) dy,

1 (x)

como se afirmaba.

3.

Aplicaciones al clculo de reas y volmenes

Nuevamente, consideraremos slo regiones de tipo I. Sea



S = (x, y) R2 : 1 (x) y 2 (x), x [a, b] ,

donde 1 y 2 son funciones continuas en [a, b] tales que 1 (x) 2 (x) (x [a, b]).

3.1.

Clculo de reas

Si f (x, y) = 1 ((x, y) S) en el Teorema 2.3, obtenemos:

Z b

ZZ

dx dy =
S

[2 (x) 1 (x)] dx.

La interpretacin geomtrica de la integral simple muestra que

RR

S dx dy

es el rea de S.

Ejemplo 3.1. Calcular el rea del recinto D limitado por y = x e y = x2 .

R ESOLUCIN . Como acabamos de ver, el rea viene dada por la integral doble extendida a D de la funcin
idnticamente 1. El recinto de integracin D (Figura 4) es simultneamente de tipos I y II. Por tanto, podemos
calcular el rea como una integral iterada en cualquier orden.
Ntese que y = x e y = x2 se cortan en los puntos (0, 0) y (1, 1).
Si consideramos D como un recinto de tipo I (orden dy dx): 1 (x) = x2 , 2 (x) = x (0 x 1). Por tanto,
Z 1

ZZ

dx dy =
D

C LCULO I NTEGRAL V ECTORIAL

Z 1

Z x

dx

x2

dy =
0

1 1 1
x x2 dx = = .
2 3 6
OCW-ULL 2011/12

6/8

I. M ARRERO

Si consideramos D como un recinto de tipo II (orden dx dy): 1 (y) = y, 2 (y) =

tanto,

Z y

Z 1

ZZ

dx dy =

dx =

dy
0

Z 1

( y y) dy =

y (0 y 1). Por

2 1 1
= .
3 2 6

Como caba esperar, hemos obtenido el mismo resultado independientemente del orden de integracin.

(1,1)

1
y=x

y = x2

Figura 4. Recinto de integracin del Ejemplo 3.1.

3.2.

Clculo de volmenes

Si f (x, y) 0 ((x, y) S), el conjunto



O( f ) = (x, y, z) R3 : 0 z f (x, y) ((x, y) S)

se denomina conjunto de ordenadas de f . Bajo las hiptesis del Teorema 2.3, fijado x = x0 [a, b] la integral
Z 2 (x0 )
1 (x0 )

f (x0 , y) dy

es el rea de la seccin producida en el conjunto de ordenadas de f por el plano x = x0 , y el Teorema 2.3

prueba entonces que
Z 2 (x)

Z b

ZZ

f (x, y) dx dy =
S

dx
a

f (x, y) dy

1 (x)

es igual al volumen de O( f ) (Figura 5).

OCW-ULL 2011/12

C LCULO I NTEGRAL V ECTORIAL

L A INTEGRAL DOBLE SOBRE RECINTOS NO RECTANGULARES

En general, si f (x, y) g(x, y) ((x, y) S), la integral

RR

S (g

7/8

f ) proporciona el volumen del slido ence-

rrado por las grficas de f y g (argumento tapa-fondo).

z

y
rea de la seccin =
a

2(x)

(x)f (x,y) dy
1

b
y = 2(x)

y = 1(x)
x

Figura 5. La integral doble como un volumen.

Ejemplo 3.2. Una pirmide est limitada por los tres planos coordenados y el plano x + 2y + 3z = 6. Representar el slido y calcular su volumen por integracin doble.
R ESOLUCIN . Dividiendo por 6 los dos miembros de la ecuacin x + 2y + 3z = 6 vemos que el plano correspondiente determina sobre los ejes coordenados segmentos de longitud 6, 3 y 2, respectivamente. La proyeccin del plano x + 2y + 3z = 6 sobre el plano OXY viene dada por x + 2y = 6, recta que determina sobre los
ejes segmentos de longitud 6 y 3. El slido se halla representado en la Figura 6.
Explicitando z en la ecuacin del plano encontramos que

z=

6 x 2y
.
3

Por tanto, si S es el recinto del plano OXY limitado por las rectas x = 0, y = 0, x + 2y = 6, resulta
Z 3

ZZ

z dx dy =

dy
0

Z 3

= 2

Z 62y

dy

= 2

dx

(6 2y) dy

Z 3

Z 62y
6 x 2y

1
3

dy
0

Z
1 3

Z 62y

Z 3

dx

x dx

(6 2y)2 dy

2
3

Z
2 3

Z 62y

Z 3

y dy
0

dx
0

(6 2y)y dy

= 18 6 6 = 6,
C LCULO I NTEGRAL V ECTORIAL

OCW-ULL 2011/12

8/8

I. M ARRERO

Figura 6. Slido del Ejemplo 3.2.

donde V es el volumen pedido.

4.

Conjuntos medibles Jordan

Definicin 4.1. Un conjunto C R2 es medible Jordan si est acotado y su frontera tiene contenido nulo.

Ejemplo 4.2. Las regiones de tipo I y de tipo II son conjuntos medibles Jordan.

Teorema 4.3 (Lebesgue). Una funcin f : C R, acotada en un conjunto medible Jordan C R2 , es

integrable en C si, y slo si, el conjunto D( f ) de las discontinuidades de f en C tiene medida nula.
D EMOSTRACIN . La funcin f es integrable en C si existe un rectngulo Q que contiene a C tal que la
extensin fe de f a Q dada por (1) es integrable sobre Q. Por el teorema de Lebesgue para rectngulos, esto
ocurre si, y slo si, D( fe) (el conjunto de discontinuidades de fe en Q) tiene medida nula. Ahora bien,

D( f ) D( fe) D( f ) C,

donde C tiene contenido nulo. Luego, D( fe) es de medida nula si, y slo si, D( f ) lo es.

Teniendo en cuenta el Teorema 4.3 se puede desarrollar (no lo haremos aqu) una teora de la integracin sobre conjuntos medibles Jordan en la que tienen cabida resultados anlogos a los que se establecieron
anteriormente para rectngulos.
OCW-ULL 2011/12

C LCULO I NTEGRAL V ECTORIAL