Integracin mltiple

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

ndice
1. Introduccin 2. Integrales mltiples 3. Caso particular: la integral triple 4. Algunos ejemplos 1 1 2 4

C LCULO I NTEGRAL V ECTORIAL

OCW-ULL 2011/12

I NTEGRACIN MLTIPLE

1/6

1.

Introduccin
Ya indicamos con anterioridad que la teora desarrollada para integrales dobles es susceptible de ser gene-

ralizada a dimensiones superiores. Puesto que el proceso y los resultados que se obtienen son completamente anlogos a los ya estudiados en el caso bidimensional, nos limitaremos a resumir los puntos principales.

2.

Integrales mltiples
Supongamos que f es un campo escalar denido y acotado en un conjunto S R p ( p N, p 3). La

integral de f sobre S, llamada integral p-mltiple o, simplemente, integral mltiple si no hay ambigedad sobre p, se denota por
S ( p)

f,

( p)

f (x1 , . . . x p ) dx1 dx p ,

o bien

f (x) dx, donde x = (x1 , . . . , x p ) (xi R; i N, 1 i p).

Si a = (a1 , . . . , a p ) R p y b = (b1 , . . . , b p ) R p , llamamos intervalo cerrado (respectivamente, abierto)

p p-dimensional al conjunto [a, b] = ip =1 [ai , bi ] (respectivamente, ]a, b[= i=1 ]ai , bi [). El proceso de denicin

de la integral comienza con funciones escalonadas denidas en un intervalo cerrado p-dimensional [a, b]. Si Pi es una particin de [ai , bi ] (i N, 1 i p), el producto cartesiano P = ip =1 Pi ser una particin de [a, b]. Una funcin f denida en [a, b] se dice escalonada si toma un valor constante ck en cada uno de los subintervalos abiertos Qk determinados por una cierta particin P de [a, b]. La integral p-mltiple de una tal f viene dada por la frmula
[a,b] ( p)

f = ck |Qk |;
k

aqu, |Qk | denota el volumen de Qk (producto de las longitudes de sus lados), y la suma se extiende al conjunto de estos subintervalos. Una vez denida la integral mltiple de funciones escalonadas es posible denirla para funciones f ms generales cuyo dominio sean intervalos. Si existe un nico nmero real I tal que
( p) ( p)

[a,b]

sI

[a,b]

cualesquiera sean las funciones escalonadas s, t que satisfacen s f t en [a, b], entonces se dice que f es integrable en [a, b] y que I es la integral p-mltiple de f en [a, b]:
( p)

I=

[a,b]

f.

C LCULO I NTEGRAL V ECTORIAL

OCW-ULL 2011/12

2/6

I. M ARRERO

Al igual que ocurra en el caso bidimensional, la integral existe si f es continua en [a, b], o si f es acotada en [a, b] y su conjunto de discontinuidades D tiene contenido p-dimensional nulo, esto es, si para cada > 0, existe una coleccin nita de intervalos p-dimensionales (abiertos o cerrados) que recubre D, tal que la suma de sus volmenes no excede . Para denir la integral p-mltiple de una funcin acotada f sobre un conjunto acotado ms general S, consideramos una extensin f de f a un rectngulo cerrado R que contenga a S y que sea nula fuera de S, y denimos
S ( p)

f=

( p)

f.

Existen muchas frmulas de integracin iterada para las integrales p-mltiples. Por ejemplo, si Q es un intervalo k-dimensional y R un intervalo l -dimensional, entonces una integral (l + k)-mltiple sobre Q R es la iteracin de una integral k-mltiple y otra l -mltiple:
(l +k) (k) (l )

f=
QR

f dx1 dxl dxl +1 dxl +k ,

siempre que las integrales involucradas existan. Sealaremos, nalmente, que tambin es posible extender el concepto de medibilidad Jordan al caso pdimensional y desarrollar una teora de la integracin en este contexto. El concepto de volumen puede ser generalizado a conjuntos p-medibles Jordan de tal manera que si S es medible, su volumen V (S) es igual a la integral, extendida a S, de la funcin constantemente igual a 1:
( p)

V (S) =

dx1 dx p .

3.

Caso particular: la integral triple

Cuando p = 3 escribimos (x, y, z) en vez de (x1 , x2 , x3 ) y denotamos la integral triple de f sobre S por

f
S

f (x, y, z) dx dy dz.

Algunas de estas integrales pueden calcularse mediante integrales iteradas de dimensin inferior. Por ejemplo, supongamos que S = (x, y, z) R3 : (x, y) Q, 1 (x, y) z 2 (x, y) , OCW-ULL 2011/12 C LCULO I NTEGRAL V ECTORIAL

I NTEGRACIN MLTIPLE
z

3/6

z=2(x,y)

z=1(x,y)

Q
Figura 1. Slido OXY -proyectable.

donde Q es la regin plana obtenida proyectando S sobre el plano OXY , y 1 , 2 son funciones continuas en Q. Los conjuntos de este tipo, que llamaremos OXY -proyectables, estn limitados por las dos supercies z = 1 (x, y) y z = 2 (x, y) ((x, y) Q) y posiblemente una porcin de supercie cilndrica cuya generatriz es una recta que se desplaza a lo largo de la frontera de Q, mantenindose paralela al eje OZ (Figura 1). Cuando f es continua en el interior de S vale la frmula
2 (x,y) Q 1 (x,y)

f (x, y, z) dx dy dz =
S

f (x, y, z) dz dx dy,

que se acostumbra a escribir

2 (x,y)

f (x, y, z) dx dy dz =
S Q

dx dy
1 (x,y)

f (x, y, z) dz,

y que reduce el clculo a una integral doble sobre la proyeccin Q. Concretamente, si

Q = (x, y) R2 : a x b, g(x) y h(x) ,

donde g, h son funciones continuas (recinto de tipo I), entonces

b h(x) 2 (x,y)

f (x, y, z) dx dy dz =
S a

dx
g(x)

dy
1 (x,y)

f (x, y, z) dz.

C LCULO I NTEGRAL V ECTORIAL

OCW-ULL 2011/12

4/6

I. M ARRERO

En particular, el volumen de S viene dado por la expresin, ya obtenida,

b h(x)

V (S) =
S

dx dy dz =
Q

[2 (x, y) 1 (x, y)] dx dy =

dx
a g(x)

[2 (x, y) 1 (x, y)] dy,

segn la cual V (S) se calcula integrando sobre la proyeccin Q la tapa de S menos su fondo . Frmulas anlogas a las anteriores valen para slidos OXZ-proyectables y OY Z-proyectables, en las que los ejes OY y OX desempean el papel del eje OZ y la proyeccin Q se sita en los planos OXZ y OY Z , respectivamente. La mayora de los slidos tridimensionales que consideraremos en lo sucesivo son proyectables en, al menos, uno de los tres planos coordenados, o bien pueden descomponerse en un nmero nito de slidos de alguno de estos tres tipos.

4.

Algunos ejemplos

Ejemplo 4.1. Calcular y dx dy dz,

S

donde S es el slido limitado por el paraboloide hiperblico z = xy, el cilindro y = y = 0, z = 0.

2x y los planos x + y = 4,

R ESOLUCIN . La proyeccin de S sobre el plano OXY es el recinto D del primer cuadrante limitado por y = 2x, x + y = 4 e y = 0. La tapa y el fondo de S son las supercies z = xy y z = 0, respectivamente (Figura 2).

Figura 2. Slido del Ejemplo 4.1.

El nico punto de interseccin de las curvas y = OCW-ULL 2011/12

2x, x + y = 4 en el primer cuadrante es (2, 2). ConsideC LCULO I NTEGRAL V ECTORIAL

I NTEGRACIN MLTIPLE

5/6

Figura 3. Slido del Ejemplo 4.2.

rando D como una regin de tipo II, podemos escribir:

xy 2 0 4y y2 /2

y dx dy dz =
S D

y dx dy
0 2 0

dz =
D

xy2 dx dy = y4 4 dy =

y2 dy

x dx
2

1 2

y2 16 8y + y2

8y3 y5 y7 y4 + 3 10 56

=
0

656 . 105

El ejemplo queda resuelto.

Ejemplo 4.2. Calcular z dx dy dz,

S

siendo S el dominio determinado por las condiciones: x 0, y 0, z 0, z 1 y2 , x + y 1.

R ESOLUCIN . Ntese que S es la regin del primer octante cuya proyeccin en el plano OXY es el tringulo de vrtices (0, 0), (1, 0) y (0, 1), y cuya tapa est sobre el cilindro parablico z = 1 y2 (Figura 3). Por tanto,

z dx dy dz =
S 1 1x 1y2

=
0

dx
0 1

dy
0 1x

z dz =

1 2

1x

dx
0

(1 y2 )2 dy 2(1 x)3 (1 x)5 + 3 5 dx

= =

1 2

dx
0 0

(1 2y2 + y4 ) dy =

1 (1 x)2 (1 x)4 + 2 2 6

0 1 (1 x)6

1 2

0 1

(1 x) = 11 60

30

C LCULO I NTEGRAL V ECTORIAL

OCW-ULL 2011/12

6/6

I. M ARRERO

es el valor pedido.

OCW-ULL 2011/12

C LCULO I NTEGRAL V ECTORIAL