INTEGRALES TRIPLES

Sea

- 𝐵 = 𝑎, 𝑏 × 𝑐, 𝑑 × 𝑝, 𝑞

una caja rectangular (paralelepípedo rectangular).

- 𝑓: 𝐵 ⊂ ℝ3 ⟶ ℝ

una función de 3 variables.

Procediendo como en el caso de las integrales dobles, se divide a B en sub-cajas del

siguiente modo:

- Se divide al intervalo 𝑎, 𝑏 sobre el eje 𝑥 en 𝑚 sub-intervalos 𝑥𝑖−1 , 𝑥𝑖 .

- Se divide al intervalo 𝑐, 𝑑 sobre el eje 𝑦 en 𝑛 sub-intervalos 𝑦𝑗 −1 , 𝑦𝑗 .
- Y se divide al intervalo 𝑝, 𝑞 sobre el eje 𝑧 en 𝑙 sub-intervalos 𝑧𝑘−1 , 𝑧𝑘 .

B
𝑩𝒊𝒋𝒌 𝑦

La partición P de la caja rectangular B consiste entonces en 𝑚𝑛𝑙 sub-cajas:

𝐵𝑖𝑗𝑘 = 𝑥𝑖−1 , 𝑥𝑖 × 𝑦𝑗 −1 , 𝑦𝑗 × 𝑧𝑘−1 , 𝑧𝑘

cada una de volumen ∆𝑉𝑖𝑗𝑘 .

 𝑚á𝑥 2
𝑃 =1≤𝑖≤𝑚 𝑥𝑖 − 𝑥𝑖−1 2 + 𝑦𝑗 − 𝑦𝑗 −1 + 𝑧𝑘 − 𝑧𝑘−1 2
1≤𝑗≤𝑛
1≤𝑘≤𝑙

Es la norma de la partición, es decir la longitud de la diagonal más larga de los 𝐵𝑖𝑗𝑘 .

∗ ∗ ∗
Luego se elige un punto muestral arbitrario 𝑥𝑖𝑗𝑘 , 𝑦𝑖𝑗𝑘 , 𝑧𝑖𝑗𝑘 en cada 𝐵𝑖𝑗𝑘 :

𝑥𝑖 , 𝑦𝑗 , 𝑧𝑘
∗
𝑥𝑖𝑗𝑘 ∗
, 𝑦𝑖𝑗𝑘 ∗
, 𝑧𝑖𝑗𝑘 𝑩𝒊𝒋𝒌

𝑥𝑖−1 , 𝑦𝑗 −1 , 𝑧𝑘−1

Por último se forma la suma de Riemann triple:

𝑚 𝑛 𝑙
∗ ∗ ∗
𝑓 𝑥𝑖𝑗𝑘 , 𝑦𝑖𝑗𝑘 , 𝑧𝑖𝑗𝑘 ∆𝑉𝑖𝑗𝑘
𝑖=1 𝑗 =1 𝑘=1

Y por analogía con la definición de la integral doble se define la integral triple de la

siguiente manera.

DEFINICIÓN

La integral triple de f sobre la caja B es:

𝑚 𝑛 𝑙
∗ ∗ ∗
𝑓 𝑥, 𝑦, 𝑧 𝑑𝑉 = 𝑙𝑖𝑚 𝑓 𝑥𝑖𝑗𝑘 , 𝑦𝑖𝑗𝑘 , 𝑧𝑖𝑗𝑘 ∆𝑉𝑖𝑗𝑘
𝐵 𝑃 ⟶0
𝑖=1 𝑗 =1 𝑘=1

si existe el límite.
 ∗ ∗ ∗
Ya que el punto muestral 𝑥𝑖𝑗𝑘 , 𝑦𝑖𝑗𝑘 , 𝑧𝑖𝑗𝑘 en cada 𝐵𝑖𝑗𝑘 es arbitrario, si se elige al punto
𝑥𝑖 , 𝑦𝑗 , 𝑧𝑘 la expresión para la integral triple se simplifica:

𝑚 𝑛 𝑙

𝑓 𝑥, 𝑦, 𝑧 𝑑𝑉 = 𝑙𝑖𝑚 𝑓 𝑥𝑖 , 𝑦𝑗 , 𝑧𝑘 ∆𝑉𝑖𝑗𝑘
𝐵 𝑃 ⟶0
𝑖=1 𝑗 =1 𝑘=1

Al igual que para las integrales dobles, el método práctico para evaluar integrales triples
consiste en expresarlas como integrales iteradas.

TEOREMA DE FUBINI

Si

- 𝐵 = 𝑎, 𝑏 × 𝑐, 𝑑 × 𝑝, 𝑞

es un paralelepípedo rectangular.

- 𝑓: 𝐵 ⊂ ℝ3 ⟶ ℝ

es una función continua en B.

Entonces

𝑞 𝑑 𝑏
𝑓 𝑥, 𝑦, 𝑧 𝑑𝑉 = 𝑓 𝑥, 𝑦, 𝑧 𝑑𝑥 𝑑𝑦 𝑑𝑧
𝐵 𝑝 𝑐 𝑎

Este es uno de los 6 posibles órdenes de integración en los que se puede integrar y
obtener (por supuesto) el mismo valor, y significa que primero se integra respecto de 𝑥
(con y y z constantes), luego se integra respecto de y (manteniendo a z constante) y por
último respecto de z.
A continuación se define a la integral triple sobre una región acotada general.

INTEGRAL TRIPLE SOBRE UNA REGIÓN GENERAL

Si

- 𝐵 = 𝑎, 𝑏 × 𝑐, 𝑑 × 𝑝, 𝑞 es un paralelepípedo rectangular.

- 𝐸 ⊂ 𝐵 es una región sólida general.

- 𝑓: 𝐸 ⊂ ℝ3 ⟶ ℝ es una función continua en E.

- 𝑓 ∗ : 𝐵 ⊂ ℝ3 ⟶ ℝ está definida como:

𝑓 𝑥, 𝑦, 𝑧 ; 𝑠𝑖 𝑥, 𝑦, 𝑧 ∈ 𝐸
𝑓 ∗ 𝑥, 𝑦, 𝑧 =
0 ; 𝑠𝑖 𝑥, 𝑦, 𝑧 ∉ 𝐷 ʌ 𝑥, 𝑦, 𝑧 ∈ 𝐵

Entonces

𝑓 𝑥, 𝑦, 𝑧 𝑑𝑉 = 𝑓 ∗ 𝑥, 𝑦, 𝑧 𝑑𝑉
𝐸 𝐵

suponiendo que exista, ya que no es suficiente sólo con que f sea continua en E sino que
su existencia depende también de cómo sea la frontera de la región E.

REGIONES ELEMENTALES EN ℝ𝟑

Como en el caso de las integrales dobles, aquí también se restringe la integración triple a
ciertos tipos de regiones simples. Una región elemental en ℝ𝟑 es aquella en la que una
de las variables está entre 2 funciones de las otras 2 variables, siendo los dominios de
estas funciones una región elemental en el plano (𝑥-simple o y-simple).
Región z-simple (o de tipo 1)

Una región sólida E es z-simple si es de la forma

𝐸= 𝑥, 𝑦, 𝑧 ∈ ℝ3 𝑥, 𝑦 ∈ 𝐷, 𝑔1 𝑥, 𝑦 ≤ 𝑧 ≤ 𝑔2 𝑥, 𝑦

donde 𝑔1 y 𝑔2 son continuas en D, siendo D la proyección del sólido E sobre el plano 𝑥𝑦,
una región elemental en ℝ2 .

𝑧 = 𝑔2 𝑥, 𝑦

𝑧 = 𝑔1 𝑥, 𝑦
𝑦
D
𝑥
Región elemental
en el plano 𝑥y

Se puede demostrar que:

𝑏 𝜑2 𝑥 𝑔2 𝑥,𝑦
𝑓 𝑥, 𝑦, 𝑧 𝑑𝑧 𝑑𝑦 𝑑𝑥
𝑎 𝜑1 𝑥 𝑔1 𝑥,𝑦
𝑺𝒊 𝑫 𝒆𝒔 𝒚−𝒔𝒊𝒎𝒑𝒍𝒆
𝑔2 𝑥,𝑦
𝑓 𝑥, 𝑦, 𝑧 𝑑𝑉 = 𝑓 𝑥, 𝑦, 𝑧 𝑑𝑧 𝑑𝐴 =
𝐸 𝐷 𝑔 1 𝑥,𝑦
𝑺𝒊 𝑫 𝒆𝒔 𝒙−𝒔𝒊𝒎𝒑𝒍𝒆
𝑑 𝜓2 𝑥 𝑔2 𝑥,𝑦
𝑓 𝑥, 𝑦, 𝑧 𝑑𝑧 𝑑𝑥 𝑑𝑦
𝑐 𝜓1 𝑥 𝑔1 𝑥,𝑦
Región 𝒙-simple (o de tipo 2)

Una región sólida E es 𝒙-simple si es de la forma

𝐸= 𝑥, 𝑦, 𝑧 ∈ ℝ3 𝑦, 𝑧 ∈ 𝐷, 𝑔1 𝑦, 𝑧 ≤ 𝑥 ≤ 𝑔2 𝑦, 𝑧

donde 𝑔1 y 𝑔2 son continuas en D, siendo D la proyección del sólido E sobre el plano 𝑦𝑧,
una región elemental en ℝ2 .

𝑥 = 𝑔2 𝑦, 𝑧
E
𝑥 = 𝑔1 𝑦, 𝑧
𝑦

Para este tipo de región se tiene

𝑔2 𝑦 ,𝑧
𝑓 𝑥, 𝑦, 𝑧 𝑑𝑉 = 𝑓 𝑥, 𝑦, 𝑧 𝑑𝑥 𝑑𝐴
𝐸 𝐷 𝑔1 𝑦 ,𝑧

Región 𝒚-simple (o de tipo 3)

Una región sólida E es 𝒚-simple si es de la forma

 𝐸= 𝑥, 𝑦, 𝑧 ∈ ℝ3 𝑥, 𝑧 ∈ 𝐷, 𝑔1 𝑥, 𝑧 ≤ 𝑦 ≤ 𝑔2 𝑥, 𝑧

donde 𝑔1 y 𝑔2 son continuas en D, siendo D la proyección del sólido E sobre el plano 𝑥𝑧,
una región elemental en ℝ2 .

𝑦 = 𝑔1 𝑥, 𝑧
𝑦 = 𝑔2 𝑥, 𝑧

Para este tipo de región se tiene

𝑔2 𝑥,𝑧
𝑓 𝑥, 𝑦, 𝑧 𝑑𝑉 = 𝑓 𝑥, 𝑦, 𝑧 𝑑𝑦 𝑑𝐴
𝐸 𝐷 𝑔1 𝑥,𝑧

ALGUNAS APLICACIONES DE LAS INTEGRALES TRIPLES

Recordando que si 𝑓 𝑥, 𝑦 ≥ 0, la integral doble 𝐷

𝑓 𝑥, 𝑦 𝑑𝐴 representa el volumen
bajo la superficie 𝑧 = 𝑓 𝑥, 𝑦 y arriba de D, entonces la interpretación de una integral
triple 𝐸
𝑓 𝑥, 𝑦, 𝑧 𝑑𝑉 donde 𝑓 𝑥, 𝑦, 𝑧 ≥ 0 no es muy útil porque sería el
“hipervolumen” de un objeto tridimensional.

Sin embargo 𝐸
𝑓 𝑥, 𝑦, 𝑧 𝑑𝑉 se puede interpretar de diversas maneras dependiendo
de las interpretaciones físicas de 𝑥, 𝑦, 𝑧 𝑦 𝑓 𝑥, 𝑦, 𝑧 :
∗ Por ej. si 𝑓 𝑥, 𝑦, 𝑧 = 1 ∀ 𝑥, 𝑦, 𝑧 ∈ 𝐸 entonces

𝐸
𝑓 𝑥, 𝑦, 𝑧 𝑑𝑉 = 𝐸
1𝑑𝑉 = 𝑉(𝐸) Volumen de E

y si 𝐸 es una región z-simple o de tipo 1:

𝑔2 (𝑥,𝑦 )
𝑉 𝐸 = 1𝑑𝑉 = 𝑑𝑧 𝑑𝐴
𝐸 𝐷 𝑔1 𝑥,𝑦

𝑔 (𝑥,𝑦)
= 𝑧 𝑔12 𝑥,𝑦 𝑑𝐴
𝐷

𝑧𝑠𝑢𝑝 𝑧 𝑖𝑛𝑓

𝑉 𝐸 = 𝑔2 𝑥, 𝑦 − 𝑔1 𝑥, 𝑦 𝑑𝐴
𝐷

𝑧𝑠𝑢𝑝 = 𝑔2 𝑥, 𝑦
= 𝑧𝑠𝑢𝑝

𝑧𝑖𝑛𝑓 = 𝑔1 𝑥, 𝑦
= 𝑧𝑖𝑛𝑓 𝑦

D
𝑥
D: Proyección del sólido
E sobre el plano 𝑥y

∗ Por ej. si 𝑓 𝑥, 𝑦, 𝑧 = 𝜌(𝑥, 𝑦, 𝑧) es la función densidad (en unidades de masa por unidad
de volumen) de un objeto sólido que ocupa la región E entonces la masa del objeto es:

𝑚= 𝜌 𝑥, 𝑦, 𝑧 𝑑𝑉
𝐸
Ejemplo

Utilizando una integral triple obtenga el volumen de la región sólida de ℝ3 determinada

por el conjunto de todas las ternas ordenadas 𝑥, 𝑦, 𝑧 que satisfacen el siguiente
sistema de desigualdades:

0≤𝑥≤1
0≤𝑦≤1−𝑥
0≤𝑧 ≤1−𝑥−𝑦

Solución

Cuando se establece una integral triple lo aconsejable es hacer dos diagramas: uno del
sólido E y otro de su proyección D sobre el plano 𝑥𝑦.

El sólido es:

𝐸= 𝑥, 𝑦, 𝑧 ∈ ℝ3 𝑥, 𝑦 ∈ 𝐷, 𝑔1 𝑥, 𝑦 ≤ 𝑧 ≤ 𝑔2 𝑥, 𝑦

= 𝑥, 𝑦, 𝑧 ∈ ℝ3 𝑥, 𝑦 ∈ 𝐷, 0 ≤ 𝑧 ≤ 1 − 𝑥 − 𝑦

donde D es su proyección sobre el plano 𝑥𝑦:

𝐷= 𝑥, 𝑦 ∈ ℝ2 𝑎 ≤ 𝑥 ≤ 𝑏 , 𝜑1 (𝑥) ≤ 𝑦 ≤ 𝜑2 (𝑥)

= 𝑥, 𝑦 ∈ ℝ2 0 ≤ 𝑥 ≤ 1 , 0 ≤ 𝑦 ≤ 1 − 𝑥

(región y- simple, también se puede expresar como 𝑥-simple)

O sea que E es el tetraedro sólido acotado por los 4 planos:

𝑥 = 0, 𝑦 = 0, 𝑧 = 0 y 𝑥 + 𝑦 + 𝑧 = 1

Y D es el triángulo acotado por las rectas:

𝑥 = 0, 𝑦 = 0 y 𝑦 = 1 − 𝑥
 𝑧 𝑦

0,0,1 1
𝑧 = 𝑔2 𝑥, 𝑦 = 1 − 𝑥 − 𝑦
𝑦 = 𝜑2 𝑥 = 0

0 E
0,1,0 D
𝑦
1 𝑥
1,0,0 0 0
𝑦 = 𝜑1 𝑥 = 0
𝑧 = 𝑔1 𝑥, 𝑦 = 0
𝑥 0 E

Como E es una región tridimensional z-simple o de tipo 1:

𝑔2 (𝑥,𝑦 ) 𝑏 𝜑2 𝑥 𝑔2 𝑥,𝑦
𝑉 𝐸 = 1𝑑𝑉 = 𝑑𝑧 𝑑𝐴 = 𝑑𝑧 𝑑𝑦 𝑑𝑥
𝐸 𝐷 𝑔1 𝑥,𝑦 𝑎 𝜑1 𝑥 𝑔1 𝑥,𝑦

1 1−𝑥 1−𝑥−𝑦
𝑉 𝐸 = 𝑑𝑧 𝑑𝑦 𝑑𝑥
0 0 0

1 1−𝑥
𝑧=1−𝑥−𝑦
= 𝑧 0 𝑑𝑦 𝑑𝑥
0 0

1 1−𝑥
= 1 − 𝑥 − 𝑦 𝑑𝑦 𝑑𝑥
0 0

1 𝑦=1−𝑥
𝑦2
= 𝑦 − 𝑥𝑦 − 𝑑𝑥
0 2 𝑦=0

1 2
1−𝑥
= 1−𝑥−𝑥 1−𝑥 − 𝑑𝑥
0 2
1
1
= 1 − 𝑥 − 𝑥 + 𝑥 2 − (1 − 2𝑥 + 𝑥 2 ) 𝑑𝑥
0 2
1
1 1
= 1 − 2𝑥 + 𝑥 2 − + 𝑥 − 𝑥 2 𝑑𝑥
0 2 2
1 1
1 1 1 1 1 1 1 1 1
= −𝑥 + + 𝑥 2 𝑑𝑥 = − 𝑥 2 + 𝑥 + 𝑥 3 =− + + =
0 2 2 2 2 6 0 2 2 6 6