Integrales triples

Magister Lord Barrera:

Coordinador del rea
de Matemtica
Escuelas Profesionales
de
Ingeniera Industrial
Ingeniera de Sistemas
Ingeniera Empresarial
II
Lord Barrera
1. Integrales Triples
La Ley de Gravitacin Universal es una ley fundamental de la fsica que in-
volucra masas puntuales, pero cuando queremos calcular la fuerza de atraccin
entre la tierra y la luna no podemos aplicarla directamente porque la tierra y
la luna no pueden ser consideradas como puntos. Este problema, abordado por
Newton fu resuelto mediante integracin. Un procedimiento natural para resol-
ver este problema consiste en dividir la tierra y la luna en pequeas partes, ahora
tomamos la fuerza gravitacional entre estas partes pequeas y aadiendo la con-
tribucin de estas partes pequeas conseguimos la fuerza total. A continuacin
ilustraremos este proceso de integracin con el siguiente ejemplo:
Con el fn de denir y explicar el concepto de integral, consideremos nueva-
mente el campo gravitacional en * . En lugar de una coleccin de masas puntuales,
calculemos el campo gravitacional de un punto P de una distribucin continua
de masas que son distribuidas en el volumen de la tierra. El punto P es llamado
punto campo. Dividimos la masa grande en N piezas y denotamos por m
i
a la
masa de la i-sima pieza en el punto P
i
. Para poder escribir la ecuacin del campo
para la i-sima pieza de la masa, debemos asegurarnos que el tamao m
i
de la
i-sima pieza sea sucientemente pequeo. As escribimos
g
i

G m
i
r r
i

3
(r r
i
) .
r
r
i
-
P
P
i
r
r
i
-
P
P
i
Cuanto ms pequeo sea el tamao, la expresin se aproxima mejor al campo.
Utilizando el principio de superposicin tenemos
g(r)
n

i=1
g
i
=
n

i=1
G m
i
r r
i

3
(r r
i
) =
n

i=1
G m(r
i
)
r r
i

3
(r r
i
) (1.1)
www.lordbarrera.com.pe
donde en la ltima igualdad reemplazamos m
i
por m(r
i
). Aparte de un
cambio de notacin, esta sustitucin hace hincapi en la dependencia de masa
pequea y su ubicacin. En cualquier corte del objeto gravitante, como la Tierra,
cada pieza tiene todava un tamao distinto de cero. Esto hace que sea imposi-
ble denir la distancia entre m
i
y el punto P. Podramos denir la distancia del
entro"de m
i
a P, pero la dicultad se encuentra en la denicin del centro de la
pieza. Afortunadamente, resulta que el tamao de todos los m
i
son tan peque-
os en cualquier punto P
i
como se muestra en la gura. Esto nos lleva a tomar el
lmite de la ecuacin (1.1) cuando el tamao de todas las piezas tiende a cero. Si
este lmite existe, lo llamamos la integral del campo gravitatorio y denotamos de
la siguiente manera:
g(r) = lm
m0
N
n

i=1
G m(r
i
)
r r
i

3
(r r
i
) =
__

Gdm(r

)
r r

3
(r r

) (1.2)
y un procedimiento general lleva a la frmula del campo electrosttico y potencial
E =
__

k
e
dq(r

)
r r

3
(r r

), =
__

k
e
dq(r

)
r r

. (1.3)
Las ecuaciones (1.2) y (1.3) se utilizan con frecuencia en diferentes situaciones
fsicas. Tenga en cuenta que las ecuaciones (1.2) y (1.3) son independientes de
cualquier sistema de coordenadas como son todas las leyes fsicas.
En las expresiones anteriores, es la regin de integracin, por ejemplo, el
volumen de la Tierra en el que reside la distribucin de madsas y dm(r) es lla-
mado elemento de masa situado en el punto P

cuyo vector posicin es r

. P

se
llama punto origen, ya que es la ubicacin fuente del campo gravitatorio, es decir,
el elemento de masa en ese punto. Tambin se llama punto de integracin. Las
coordenadas de r

sobre la cual el elemento de masa depende se puede expresar

se llaman las variables de integracin, y lo que multiplica los productos de los
diferenciales de estas variables se llama el integrando.
No es difcil abstraer el concepto de integral a partir del ejemplo concreto de
la gravedad. En lugar de la forma especca de la integral en las ecuaciones (1.2)
y (1.3), usamos f (r, r

), y en lugar del elemento de masa, utilizamos el elemento

de la otra cantidad genrica como dQ(r

). De este modo, escribimos

h(r) = lm
m0
N
n

i=1
f (r, r
i
) Q(r
i
) =
__

f (r, r

) dQ(r

)
donde h(r) es el resultado de la integral la funcin r indica la posicin del vector
P cuyas coordenadas son llamadas parmetros de integracin.
2
Lord Barrera
2. Integrales Triples sobre Cubos
Consideremos el cubo
E = {(x, y, z) : a x b, c y d, r z s}
o tambin denotado por
E := [a, b] [c, d] [r, s]
Geomtricamente:
x
y
z
b
a
c
d
r
s
El volumen de estre cubo es el nmero
vol(E) = (b a)(d c)(s r) .
Una particin de E := [a, b] [c, d] [e, f ] es un conjunto nito
P :=
_
(x
i
, y
j
, z
k
) E : 0 i m, 0 j n, y 0 k p
_
(2.4)
de puntos en E tal que
a = x
0
< x
1
< . . . < x
m
= b
c = y
0
< y
1
< . . . < y
n
= d
y
r = z
0
< z
1
< . . . < z
p
= s
3
www.lordbarrera.com.pe
Los puntos (x
i
, y
j
, z
k
), donde 0 i m, 0 j n y 0 k p, son
llamados puntos red. El cubo
E
ij k
:= [x
i1
, x
i
] [y
j1
, y
j
] [z
k1
, z
k
]
es llamado ij k-simo subcubo inducido por P. Esto se hace dividiendo el inter-
valo [a, b] en m subintervalos [x
i1
, x
i
] de igual longitud, dividiendo [c, d] en n
subintervalos [y
j1
, y
j
], y el intervalo [r, s] en p subintervalos, todos de igual lon-
gitud, respectivamente. Su volumen se denota por
E
ij k
:= x
i
y
j
z
k
donde
x
i
:= x
i
x
i1
, y
j
:= y
j
y
j1
, y z
k
:= z
k
z
k1
.
Denicin 2.1. (Riemann). Sea f : E R
3
R una funcin denida en el cubo
E. Decimos que f es Riemann integrable sobre E si existe el nmero
___
E
f (x, y, z) dV := lm
m,n,p+
m

i=1
n

j=1
p

k=1
f (r
i
, s
j
, t
k
)E
ij k
para cualquier eleccin de los puntos (r
i
, s
j
, t
k
) E
ij k
.
Denicin 2.2. Sea f : E R
3
R una funcin denida sobre el cubo E :=
[a, b] [c, d] [r, s]. Las integrales iteradas de f sobre E son
_
b
a
_
d
c
_
s
r
f (x, y, z) dz dy dx :=
_
b
a
_
_
[c,d][r,s]
f (x, y, z) dA
_
dx
_
d
c
_
s
r
_
b
a
f (x, y, z) dx dz dy :=
_
d
c
_
_
[r,s][a,b]
f (x, y, z) dA
_
dy
y
_
s
r
_
b
a
_
d
c
f (x, y, z) dy dx dz :=
_
s
r
_
_
[a,b][c,d]
f (x, y, z) dA
_
dz
4
Lord Barrera
Teorema 2.1. (Fubini). Sea f : E R
3
R una funcin continua sobre el cubo
R := [ a, b ] [ c, d ] [ r, s ]. Entonces
___
E
f (x, y, z) dV =
_
b
a
_
d
c
_
s
r
f (x, y, z) dz dy dx
=
_
d
c
_
s
r
_
b
a
f (x, y, z) dx dz dy
=
_
s
r
_
b
a
_
d
c
f (x, y, z) dy dx dz.
Ejemplo 2.2. Calcular la integral triple
___
E
xyz
2
dV
donde
E = {(x, y, z) : 0 x 1, 1 y 2, 0 z 3} .
Solucin.
___
E
xyz
2
dV =
_
3
0
_
2
1
_
1
0
xyz
2
dx dy dz
=
_
3
0
_
2
1
yz
2
_
x
2
2
_
1
0
dy dz
=
_
3
0
_
2
1
yz
2
2
dy dz
=
_
3
0
z
2
_
y
2
4
_
2
1
dz
=
_
3
0
_
z
2

z
2
4
_
dz
=
_
3
0
3z
2
4
dz =
3
4
_
z
2
3
_
3
0
=
27
4
.
Proposicin 2.3. Sean : [a, b] R, : [c, d] R y : [r, s] R funciones
continuas y denimos f : [a, b] [c, d] [r, s] R por f (x, y, z) = (x)(y)(z)
para (x, y, z) [a, b] [c, d] [r, s]. Entonces f es continua en [a, b] [c, d] [r, s] y
___
[a,b][c,d][r,s]
f (x, y, z) dV =
_
_
b
a
(x) dx
_ _
_
d
c
(y) dy
_ _
_
s
r
(z) dz
_
.
5
www.lordbarrera.com.pe
Ejemplo 2.4. Evaluar la integral
___
E
xz sen y dV
donde E = {(x, y, z) R
3
: 0 x 1, 0 y /2, 0 z 1}.
Solucin. De acuerdo a la proposicin anterior tenemos
___
E
xz sen y dV =
_
_
1
0
x dx
_ _
_
/2
0
sen y dy
_ _
_
1
0
z dz
_
=
_
x
2
2
_
1
0
_
cos y
_
/2
0
_
z
2
2
_
1
0
=
1
2

_
0 (1)
_

1
2
=
1
4
.
3. Integrales Triples sobre Regiones Generales
Sea D R
3
una regin acotada y f : D R una regin acotada. Encerramos
a D en un cubo E, o sea, D E y denimos
f (x, y, z) =
_
f (x, y, z) si (x, y, z) D
0 si (x, y, z) D
Decimos que f es integrable sobre D si f es integrable sobre E, en este caso de-
nimos
___
D
f (x, y, z) dV =
___
E
f (x, y, z) dV .
As como en dos variables, la integrabilidad de la funcin f y el valor de la inte-
gral triple
___
D
f (x, y, z) dV son independientes de la eleccin del cubo E conte-
niendo a D.
Cuando f (x, y, z) = 1, entonces el nmero
___
D
1 dV es precisamente el vo-
lumen del slido D.
Si D es un subconjunto acotado de R
3
y f : D R es integrable, tambin
denotamos la integral triple
___
D
f (x, y, z) dV simplemente por
___
D
f .
6
Lord Barrera
Proposicin 3.1. Sea D un subconjunto acotado de R
3
y f , g : D R funciones
integrables. Sea tambin a R y n N. Entonces
(a) f + g es integrable y
___
D
( f + g) =
___
D
f +
___
D
g.
(b) a f es integrable y
___
(a f ) = a
___
f .
(c) f g es integrable.
4. Integrando sobre Regiones Elementales
4.1. Regiones elementales de tipo I
El teorema de Fubini es vlido para regiones que son ms generales que las
regiones rectangulares. Ms precisamente, tambin es vlido para regiones que
se describen a continuacin:
Denicin 4.1. (Regin elemental de tipo I). Una regin plana es de tipo I si est
entre dos funciones dependiendo de x; es decir
D =
_
(x, y) R
2
: a x b, g
1
(x) y g
2
(x)
_
donde g
1
y g
2
son funciones continuas en [a, b].
Algunos ejemplos de regiones de tipo I se muestran en la gura de abajo:
x
y
x x
y y
a b a b a b
y
=
g ( ( x
1
y
=
g ( ( x
2
y
=
g ( ( x
2
y
=
g ( ( x
1
y
=
g ( ( x
1
y
=
g ( ( x
2
D D
D
7
www.lordbarrera.com.pe
Ejemplo 4.1. Expresar las regiones de las guras de abajo como regiones del
tipo I.
x
y
x
x
y
1 5
4
1
2 2
y
-
4
4
y =x
2
2
y
= x
2
4-
(i) (ii) (iii)
D
D D 2
1
3
1
Solucin. (i) En este caso, la curva que limita superiormente a la regin, es
la recta y = 2x, mientras que la curva que limita inferiormente a la regin, es la
parbola y = x
2
. De esta manera se tiene
D
1
: 0 x 2 y x
2
y 2x
(ii) La regin D
2
se expresa mediante
D
2
: 2 x 2 y 1 y 4 x
2
(iii) Para este caso debemos conocer la ecuacin de la recta que pasa por los
puntos (1, 1) y (5, 4). La pendiente de esta recta es
m =
4 1
5 1
=
3
4
o sea que la ecuacin de dicha recta es
y =
3
4
x + b
Desde que (1, 1) es un punto de la recta, tenemos
1 =
3
4
(1) + b que implica b =
1
4
Por tanto,
y =
3
4
x +
1
4
Finalmente, la regin D
3
se expresa mediante
D
3
: 1 x 5 y 1 y
3
4
x +
1
4
8
Lord Barrera
El siguiente resultado nos permite calcular integrales dobles sobre regiones
de tipo I.
Teorema 4.2. (Teorema de Fubini para regiones de tipo I). Si f es una funcin
continua en una regin D de tipo I tal que
D = {(x, y) R
2
: a x b, g
1
(x) y g
2
(x)}
entonces
__
D
f (x, y) dA =
_
b
a
_
_
g
2
(x)
g
1
(x)
f (x, y) dy
_
dx
Ejemplo 4.3. Evaluar las siguiente integral
__
R
(x + 2y) dA
donde R es la regin R : 0 x 1 e 0 y x
Solucin. Claramente la regin R es de tipo I. Entonces
__
R
(x + 2y) dA =
_
1
0
_
x
0
(x + 2y) dy dx
=
_
1
0
_
xy + y
2
_

x
0
dx
=
_
1
0
__
(x)(x) + (x)
2
_

_
(x)(0) + (0)
2
__
dx
=
_
1
0
2x
2
dx
=
2x
3
3

1
0
=
2
3
Ejemplo 4.4. Evaluar las siguiente integral
__
R
(x
3
+ 2y) dA
donde R es la regin
R : 0 x 2 e x
2
y 2x
9
www.lordbarrera.com.pe
Solucin. Claramente la regin R es de tipo I. Entonces
__
R
(x
3
+ 2y) dA =
_
2
0
_
2x
x
2
(x
3
+ 2y) dy dx =
_
2
0
_
x
3
y + y
2
_

2x
x
2
dx
=
_
2
0
__
x
3
(2x) + (2x)
2
_

_
x
3
(x
2
) + (x
2
)
2
__
dx
=
_
2
0
(x
4
+ 4x
2
x
5
) dx =
_
x
5
5
+
4x
3
3

x
6
6
_

2
0
=
_
2
5
5
+
4(2)
3
3

2
6
6
_

_
0
5
5
+
4(0)
3
3

0
6
6
_
=
32
5
4.2. Regiones elementales de tipo II
A continuacin estudiaremos regiones de tipo II e integraremos sobre estas
regiones. El tratamiento es similar al caso visto en el prrafo anterior. Para este
caso, la variable y vara entre constante, mientras que la variable x vara entre
dos funciones.
Denicin 4.2. (Regin elemental de tipo II). Una regin plana es de tipo II si
est entre dos funciones dependiendo de y; es decir
D =
_
(x, y) R
2
: c y d, h
1
(y) x h
2
(y)
_
donde h
1
y h
2
son funciones continuas en [c, d].
Algunos ejemplos de regiones de tipo II se muestran en la gura de abajo:
x
y
x x
y y
c
d
x = h ( ( y
1
x = h ( ( y
2
D D
D
c
d
c
d
x = h ( ( y
1
x = h ( ( y
2
x = h ( ( y
1
x = h ( ( y
2
10
Lord Barrera
Ejemplo 4.5. Expresar las regiones de las guras de abajo como regiones del
tipo II.
x
y
x
x
y
1 5
4
1
2 2
y
-
4
4
y =x
2
2
y
= x
2
4-
(i) (ii) (iii)
D
D D 2
1
3
1
Solucin.
El siguiente resultado nos permite calcular integrales dobles sobre regiones
de tipo I.
Teorema 4.6. (Teorema de Fubini para regiones de tipo II). Si f es una funcin
continua en una regin D de tipo II tal que
D = {(x, y) R
2
: c y d, h
1
(y) x h
2
(y)}
entonces
__
D
f (x, y) dA =
_
d
c
_
_
h
2
(y)
h
1
(y)
f (x, y) dx
_
dy
Ejemplo 4.7. Evaluar las siguiente integral
__
R
(x + 2y) dA
donde R es la regin R : 0 x 1 e 0 y x
Solucin.
11
www.lordbarrera.com.pe
Ejemplo 4.8. Evaluar las siguiente integral
__
R
(x
3
+ 2y) dA
donde R es la regin
R : 0 x 2 e x
2
y 2x
Solucin. Claramente la regin R es de tipo I. Entonces
__
R
(x
3
+ 2y) dA =
_
2
0
_
2x
x
2
(x
3
+ 2y) dy dx
=
_
2
0
_
x
3
y + y
2
_

2x
x
2
dx
=
_
2
0
__
x
3
(2x) + (2x)
2
_

_
x
3
(x
2
) + (x
2
)
2
__
dx
=
_
2
0
(x
4
+ 4x
2
x
5
) dx
=
_
x
5
5
+
4x
3
3

x
6
6
_

2
0
=
_
2
5
5
+
4(2)
3
3

2
6
6
_

_
0
5
5
+
4(0)
3
3

0
6
6
_
=
32
5
Ejemplo 4.9. Evaluar las siguiente integral
__
R
1
y
4
+ 1
dA
donde R es la regin R : 0 x 8 e
3

x y 2.
Solucin. La regin R es claramente una
regin de tipo I. Su grca se muestra en la
gura de la derecha. Por otro lado, la inte-
gral no puede ser evaluada directamente,
por lo que cambiaremos el orden de inte-
gracin.
12
www.lordbarrera.com.pe
Cambiando el orden de integracin se tiene
_
8
0
_
_
2
3

x
dy
y
4
+ 1
_
dx =
_
2
0
_
_
y
3
0
dx
y
4
+ 1
_
dy
=
_
2
0
_
x
y
4
+ 1

y
3
0
_
dy
=
_
2
0
y
3
y
4
+ 1
dy
=
ln(y
4
+ 1)
4

2
0
=
ln17
4
Ejemplo 4.10. Calcular la siguiente integral
_
1
0
_
_
1
y
x
2
e
xy
dx
_
dy
Solucin. La regin de integracin es el
conjunto
D = {(x, y) R
2
: y x 1, 0 y 1}
como se muestra en la gura:
Cambiando el orden de integracin se tiene
_
1
0
_
_
1
y
x
2
e
xy
dx
_
dy =
_
1
0
__
x
0
x
2
e
xy
dy
_
dx
=
_
1
0
_
xe
xy

x
0
_
=
_
1
0
_
xe
x
2
x
_
dx
=
_
e
x
2
2

x
2
2
_

1
0
=
e 2
2
13
www.lordbarrera.com.pe
Ejemplo 4.11. Una pieza slida de rompecabezas tiene la forma de la gura
abajo, la proyeccin sobre el plano xy tambien se indica a la derecha. Ms preci-
x
y
z
R
1
R
2
R
3
R
4
R
4
x
y
1 -1
1
2
samente, el slido es el conjunto
E = {(x, y, z) : (x, y) B, y 0 z 2 x
2
}
Calcular el volumen del slido.
Solucin. Desde que el slido tiene como techo a la supercie grco de la
funcin f (x, y) = 2 x
2
, su volumen viene dado por
volumen =
__
R
(2 x
2
) dx dy
Notemos que R es la unin de las regiones R
1
, R
2
, R
3
, R
4
, R
5
. Adems
B
1
: 1 x 1, 0 y
1
2
(x + 1)
tiene volumen
V
1
=
_
1
1
_
(x+1)/2
0
(2 x
2
) dy dx
=
_
1
1
(2 x
2
)
1
2
(x + 1) dx
=
1
2
_
1
1
(x
3
x
2
+ 2x + 2) dx
=
5
3
Por otro lado,
B
2
: 1 x 0,
1
2
(x + 1) y
1
2
14
tiene volumen
V
2
=
_
0
1
_
1/2
(x+1)/2
(2 x
2
) dy dx
=
_
0
1
(2 x
2
)
_
1
2

1
2
(x + 1)
_
dx
=
3
8
El volumen de R
3
viene de
V
3
=
_
0
1
_
5/2
1/2
(2 x
2
) dy dx =
10
3
Por simetra, el volumen V
5
es igual al volumen V
1
y el volumen V
2
es igual
al volumen V
4
. Luego
V = V
1
+ V
2
+ V
3
+ V
4
+ V
5
=
5
3
+
3
8
+
10
3
+
3
8
+
5
3
=
89
12
15