15.4: Integrales triples
( \newcommand{\kernel}{\mathrm{null}\,}\)
- Reconocer cuando una función de tres variables es integrable sobre una caja rectangular.
- Evaluar una triple integral expresándola como una integral iterada.
- Reconocer cuando una función de tres variables es integrable sobre una región cerrada y delimitada.
- Simplifique un cálculo cambiando el orden de integración de una triple integral.
- Calcular el valor promedio de una función de tres variables.
Anteriormente, discutimos la doble integral de una funciónf(x,y) de dos variables sobre una región rectangular en el plano. En esta sección definimos la triple integral de una funciónf(x,y,z) de tres variables sobre una caja sólida rectangular en el espacio,R3. Posteriormente en esta sección extendemos la definición a regiones más generales enR3.
Funciones integrables de tres variables
Podemos definir una caja rectangularB enR3 como
B={(x,y,z)|a≤x≤b,c≤y≤d,e≤z≤f}.
Seguimos un procedimiento similar al que hicimos anteriormente. Dividimos el intervalo[a,b] enl subintervalos[xi−1,xi] de igual longitudΔx con
Δx=xi−xi−1l,
dividir el intervalo[c,d] enm subintervalos[yi−1,yi] de igual longitudΔy con
Δy=yj−yj−1m,
y dividir el intervalo[e,f] enn subintervalos[zi−1,zi] de igual longitudΔz con
Δz=zk−zk−1n
Entonces la caja rectangularB se subdivide enlmn subcajas:
Bijk=[xi−1,xi]×[yi−1,yi]×[zi−1,zi],
como se muestra en la Figura15.4.1.

Para cada unoi,j, yk, considere un punto de muestra(x∗ijk,y∗ijk,z∗ijk) en cada sub-cajaBijk. Vemos que su volumen esΔV=ΔxΔyΔz. Formar la suma triple de Riemann
l∑i=1m∑j=1n∑k=1f(x∗ijk,y∗ijk,z∗ijk)ΔxΔyΔz.
Definimos la triple integral en términos del límite de una suma triple de Riemann, como hicimos para la doble integral en términos de una doble suma de Riemann.
La triple integral de una funciónf(x,y,z) sobre una caja rectangularB se define como
limsi existe este límite.
Cuando la triple integral existe enB la funciónf(x,y,z) se dice que es integrable enB. Además, la triple integral existe sif(x,y,z) es continua enB. Por lo tanto, utilizaremos funciones continuas para nuestros ejemplos. Sin embargo, la continuidad es suficiente pero no necesaria; en otras palabras,f está limitadaB y continua excepto posiblemente en el límite deB. El punto de muestreo(x_{ijk}^*, y_{ijk}^*, z_{ijk}^*) puede ser cualquier punto de la sub-caja rectangularB_{ijk} y todas las propiedades de una doble integral se aplican a una triple integral. Así como la doble integral tiene muchas aplicaciones prácticas, la triple integral también tiene muchas aplicaciones, que discutimos en secciones posteriores.
Ahora que hemos desarrollado el concepto de la triple integral, necesitamos saber cómo computarlo. Así como en el caso de la doble integral, podemos tener una triple integral iterada, y en consecuencia, existe una versión del teorema de Fubini para triples integrales.
Sif(x,y,z) es continuo en una caja rectangularB = [a,b] \times [c,d] \times [e,f], entonces
\iint_B f(x,y,z) \,dV = \int_e^f \int_c^d \int_a^b f(x,y,z) \,dx \, dy \, dz. \nonumber
Esta integral también es igual a cualquiera de los otros cinco ordenamientos posibles para la triple integral iterada.
Paraa, b, c, d, e y númerosf reales, la triple integral iterada se puede expresar en seis ordenamientos diferentes:
\begin{align} \int_e^f \int_c^d \int_a^b f(x,y,z)\, dx \, dy \, dz = \int_e^f \left( \int_c^d \left( \int_a^b f(x,y,z) \,dx \right) dy \right) dz \\ = \int_c^d \left( \int_e^f \left( \int_a^b f(x,y,z) \,dx \right)dz \right) dy \\ = \int_a^b \left( \int_e^f \left( \int_c^d f(x,y,z) \,dy \right)dz \right) dx \\ = \int_e^f \left( \int_a^b \left( \int_c^d f(x,y,z) \,dy \right) dx \right) dz \\ = \int_c^d \left( \int_a^b \left( \int_c^d f(x,y,z) \,dz\right)dx \right) dy \\ = \int_a^b \left( \int_c^d \left( \int_e^f f(x,y,z) \,dz \right) dy \right) dx \end{align} \nonumber
Para una caja rectangular, el orden de integración no hace ninguna diferencia significativa en el nivel de dificultad en el cálculo. Calculamos integrales triples usando el Teorema de Fubini en lugar de usar la definición de suma de Riemann. Seguimos el orden de integración de la misma manera que lo hicimos para las dobles integrales (es decir, de adentro a afuera).
Evaluar la triple integral\int_{z=0}^{z=1} \int_{y=2}^{y=4} \int_{x=-1}^{x=5} (x + yz^2)\, dx \, dy \, dz. \nonumber
Solución
El orden de integración se especifica en el problema, así integrar con respecto ax primero, luego y, y luegoz.
\begin{align*}&\int_{z=0}^{z=1} \int_{y=2}^{y=4} \int_{x=-1}^{x=5} (x + yz^2) \,dx \,dy \,dz \\ &= \int_{z=0}^{z=1} \int_{y=2}^{y=4} \left. \left[ \dfrac{x^2}{2} + xyz^2\right|_{x=-1}^{x=5}\right]\,dy \,dz &&\text{Integrate with respect to $x$.}\\ &= \int_{z=0}^{z=1} \int_{y=2}^{y=4} \left[12+6yz^2\right] \,dy \,dz &&\text{Evaluate.}\\ &= \int_{z=0}^{z=1} \left[ \left.12y+6\dfrac{y^2}{2}z^2 \right|_{y=2}^{y=4} \right] dz &&\text{Integrate with respect to $y$.} \\ &= \int_{z=0}^{z=1} [24+36z^2] \, dz &&\text{Evaluate.} \\ &= \left[ 24z+36\dfrac{z^3}{3} \right]_{z=0}^{z=1} &&\text{Integrate with respect to $z$.}\\ &=36. &&\text{Evaluate.}\end{align*}
Evaluar la triple integral
\iiint_B x^2 yz \,dV \nonumber
dondeB = \big\{(x,y,z)\,|\, - 2 \leq x \leq 1, \, 0 \leq y \leq 3, \, 1 \leq z \leq 5 \big\} como se muestra en la Figura\PageIndex{2}.

Solución
No se especifica el orden, pero podemos usar la integral iterada en cualquier orden sin cambiar el nivel de dificultad. Elige, digamos, integrary primero, luegox, y luegoz.
\begin{align*}\iiint\limits_{B} x^2 yz \,dV &= \int_1^5 \int_{-2}^1 \int_0^3 [x^2 yz] \,dy \, dx \, dz \\&= \int_1^5 \int_{-2}^1 \left[ \left. x^2 \dfrac{y^3}{3} z\right|_0^3 \right] dx \, dz \\&= \int_1^5 \int_{-2}^1 \dfrac{y}{2} x^2 z \,dx \, dz \\&= \int_1^5 \left[ \left. \dfrac{9}{2} \dfrac{x^3}{3} z \right|_{-2}^1 \right] dz \\&= \int_1^5 \dfrac{27}{2} z \, dz \\&= \left. \dfrac{27}{2} \dfrac{z^2}{2} \right|_1^5 = 162.\end{align*}
Ahora intenta integrarte en un orden diferente solo para ver que obtenemos la misma respuesta. Elegir integrar con respecto ax primero, luegoz, luegoy
\begin{align*}\iiint\limits_{B} x^2yz \,dV &= \int_0^3 \int_1^5 \int_{-2}^1 [x^2yz] \,dx\, dz\, dy \\&= \int_0^3 \int_1^5 \left[ \left. \dfrac{x^3}{3} yz \right|_{-2}^1 \right] dz \,dy \\&= \int_0^3 \int_1^5 3yz \; dz \,dy \\&= \int_0^3 \left.\left[ 3y\dfrac{z^2}{2} \right|_1^5 \right] \,dy \\&= \int_0^3 36y \; dy \\&= \left. 36\dfrac{y^2}{2} \right|_0^3 =18(9-0) =162.\end{align*}
Evaluar la triple integral
\iiint_B z \, \sin \, x \, \cos \, y \, dV\nonumber
dondeB = \big\{(x,y,z)\,|\,0 \leq x \leq \pi, \, \dfrac{3\pi}{2} \leq y \leq 2\pi, \, 1 \leq z \leq 3 \big\}.
- Pista
-
Sigue los pasos del ejemplo anterior.
- Contestar
-
\iiint_B z \, \sin \, x \, \cos \, y \, dV = 8 \nonumber
La triple integral de una función continuaf(x,y,z) sobre una región tridimensional general
E = \big\{(x,y,z)\,|\,(x,y) \in D, \, u_1(x,y) \leq z \leq u_2(x,y) \big\} \nonumber
en\mathbb{R}^3, dondeD esta la proyeccion deE sobre elxy -plano, es
\iiint_E f(x,y,z) \,dV = \iint_D \left[\int_{u_1(x,y)}^{u_2(x,y)} f(x,y,z) \,dz \right] \, dA. \nonumber
De igual manera, podemos considerar una región delimitada generalD en elxy -plano y dos funcionesy = u_1(x,z) yy = u_2(x,z) tal queu_1(x,z) \leq u_2(x,z) para todos(x,z) enD. Luego podemos describir la región sólidaE en\mathbb{R}^3 como
E = \big\{(x,y,z)\,|\,(x,z) \in D, \, u_1(x,z) \leq z \leq u_2(x,z) \big\} \nonumber dondeD esta la proyeccion deE sobre elxy plano y la triple integral es
\iiint_E f(x,y,z)\,dV = \iint_D \left[\int_{u_1(x,z)}^{u_2(x,z)} f(x,y,z) \,dy \right] \, dA. \nonumber
Finalmente, siD es una región delimitada general en elxy plano -y tenemos dos funcionesx = u_1(y,z) yx = u_2(y,z) tal queu_1(y,z) \leq u_2(y,z) para todos(y,z) adentroD, entonces la región sólidaE en\mathbb{R}^3 puede describirse como
E = \big\{(x,y,z)\,|\,(y,z) \in D, \, u_1(y,z) \leq z \leq u_2(y,z) \big\} \nonumber dondeD esta la proyeccion deE sobre elxy plano y la triple integral es
\iiint_E f(x,y,z)\,dV = \iint_D \left[\int_{u_1(y,z)}^{u_2(y,z)} f(x,y,z) \, dx \right] \, dA. \nonumber
Tenga en cuenta que la regiónD en cualquiera de los planos puede ser de Tipo I o Tipo II como se describe anteriormente. SiD en elxy plano -es de Tipo I (Figura\PageIndex{4}), entonces
E = \big\{(x,y,z)\,|\,a \leq x \leq b, \, g_1(x) \leq y \leq g_2(x), \, u_1(x,y) \leq z \leq u_2(x,y) \big\}. \nonumber

Entonces la triple integral se convierte
\iiint_E f(x,y,z) \,dV = \int_a^b \int_{g_1(x)}^{g_2(x)} \int_{u_1(x,y)}^{u_2(x,y)} f(x,y,z) \,dz \, dy \, dx. \nonumber
SiD en elxy plano -es de Tipo II (Figura\PageIndex{5}), entonces
E = \big\{(x,y,z)\,|\,c \leq x \leq d, h_1(x) \leq y \leq h_2(x), \, u_1(x,y) \leq z \leq u_2(x,y) \big\}. \nonumber

Entonces la triple integral se convierte
\iiint_E f(x,y,z) \,dV = \int_{y=c}^{y=d} \int_{x=h_1(y)}^{x=h_2(y)} \int_{z=u_1(x,y)}^{z=u_2(x,y)} f(x,y,z)\,dz \, dx \, dy. \nonumber
Evaluar la triple integral de la funciónf(x,y,z) = 5x - 3y sobre el tetraedro sólido delimitado por los planosx = 0, \, y = 0, \, z = 0, yx + y + z = 1.
Solución
La figura\PageIndex{6} muestra el tetraedro sólidoE y su proyecciónD en elxy plano.

Podemos describir el tetraedro de región sólida como
E = \big\{(x,y,z)\,|\,0 \leq x \leq 1, \, 0 \leq y \leq 1 - x, \, 0 \leq z \leq 1 - x - y \big\}. \nonumber
De ahí que la triple integral sea
\iiint_E f(x,y,z) \,dV = \int_{x=0}^{x=1} \int_{y=0}^{y=1-x} \int_{z=0}^{z=1-x-y} (5x - 3y) \,dz \, dy \, dx. \nonumber
Para simplificar el cálculo, primero evalúe la integral\displaystyle \int_{z=0}^{z=1-x-y} (5x - 3y) \,dz. Tenemos
\int_{z=0}^{z=1-x-y} (5x - 3y) \,dz = (5x - 3y)z \bigg|_{z=0}^{z=1-x-y} = (5x - 3y)(1 - x - y).\nonumber
Ahora evalúe la integral
\int_{y=0}^{y=1-x} (5x - 3y)(1 - x - y) \,dy, \nonumber
obteniendo
\int_{y=0}^{y=1-x} (5x - 3y)(1 - x - y)\,dy = \dfrac{1}{2}(x - 1)^2 (6x - 1).\nonumber
Finalmente evaluar
\int_{x=0}^{x=1} \dfrac{1}{2}(x - 1)^2 (6x - 1)\,dx = \dfrac{1}{12}.\nonumber
Poniéndolo todo junto, tenemos
\iiint_E f(x,y,z)\,dV = \int_{x=0}^{x=1} \int_{y=0}^{y=1-x} \int_{z=0}^{z=1-x-y}(5x - 3y)\,dz \, dy \, dx = \dfrac{1}{12}.\nonumber
Así como usamos la doble integral\iint_D 1 \,dA \nonumber para encontrar el área de una región delimitada general,D podemos usar\iiint_E 1\,dV \nonumber para encontrar el volumen de una región delimitada sólida generalE. El siguiente ejemplo ilustra el método.
Encuentra el volumen de una pirámide derecha que tiene la base cuadrada en elxy plano[-1,1] \times [-1,1] y el vértice en el punto(0, 0, 1) como se muestra en la siguiente figura.

Solución
En esta pirámide el valor dez los cambios de 0 a 1 y a cada alturaz la sección transversal de la pirámide para cualquier valor dez es el cuadrado
[-1 + z, \, 1 - z] \times [-1 + z, \, 1 - z].\nonumber
De ahí que el volumen de la pirámide sea\iiint_E 1\,dV\nonumber donde
E = \big\{(x,y,z)\,|\,0 \leq z \leq 1, \, -1 + z \leq y \leq 1 - z, \, -1 + z \leq x \leq 1 - z \big\}.\nonumber
Así, tenemos
\ [\ begin {alinear*}\ IIint_E 1\, dV &=\ int_ {z=0} ^ {z=1}\ int_ {y=-1+z} ^ {y=1-z}\ int_ {x=-1+z} ^ {x=1-z} 1\, dx\, dy\, dz\\ [5pt]
&=\ int_ {z=0} ^ {z=1}\ int_ {y=-1+z} ^ {y=1-z} (2 - 2z)\, dy\, dz\\ [5pt]
&=\ int_ {z=0} ^ {z=1} (2 - 2z) ^2\, dz =\ dfrac {4} {3}. \ end {alinear*}\]
De ahí que el volumen de la pirámide sea unidades\dfrac{4}{3} cúbicas.
Considera la esfera sólidaE = \big\{(x,y,z)\,|\,x^2 + y^2 + z^2 = 9 \big\}. Escribe la triple integral\iiint_E f(x,y,z) \,dV\nonumber para una función arbitrariaf como una integral iterada. Después evaluar esta triple integral conf(x,y,z) = 1. Observe que esto da el volumen de una esfera utilizando una triple integral.
- Pista
-
Sigue los pasos del ejemplo anterior. Usa simetría.
- Contestar
-
\begin{align*} \iiint_E 1\,dV = 8 \int_{x=-3}^{x=3} \int_{y=-\sqrt{9-z^2}}^{y=\sqrt{9-z^2}}\int_{z=-\sqrt{9-x^2-y^2}}^{z=\sqrt{9-x^2-y^2}} 1\,dz \, dy \, dx \\ = 36 \pi \,\text{cubic units}. \end{align*}
Cambiando el orden de integración
Como ya hemos visto en las dobles integrales sobre regiones delimitadas generales, cambiar el orden de la integración se hace con bastante frecuencia para simplificar el cálculo. Con una triple integral sobre una caja rectangular, el orden de integración no cambia el nivel de dificultad del cálculo. Sin embargo, con una triple integral sobre una región delimitada general, elegir un orden apropiado de integración puede simplificar bastante el cálculo. A veces hacer el cambio a las coordenadas polares también puede ser muy útil. Aquí demostramos dos ejemplos.
Considere la integral iterada
\int_{x=0}^{x=1} \int_{y=0}^{y=x^2} \int_{z=0}^{z=y} f(x,y,z)\,dz \, dy \, dx. \nonumber
El orden de integración aquí es primero con respecto a z, luego y, y luego x. Expresar esta integral cambiando el orden de integración para ser primero con respecto ax, luegoz, y luegoy. Verificar que el valor de la integral sea el mismo si lo dejamosf (x,y,z) =xyz.
Solución
La mejor manera de hacerlo es bosquejar la regiónE y sus proyecciones en cada uno de los tres planos de coordenadas. Por lo tanto, vamos
E = \big\{(x,y,z)\,|\,0 \leq x \leq 1, \, 0 \leq y \leq x^2, \, 0 \leq z \leq y \big\}.\nonumber
y
\int_{x=0}^{x=1} \int_{y=0}^{y=x^2} \int_{z=0}^{z=x^2} f(x,y,z) \,dz \, dy \, dx = \iiint_E f(x,y,z)\,dV.\nonumber
Necesitamos expresar esta triple integral como
\int_{y=c}^{y=d} \int_{z=v_1(y)}^{z=v_2(y)} \int_{x=u_1(y,z)}^{x=u_2(y,z)} f(x,y,z)\,dx \, dz \, dy.\nonumber
Conociendo la regiónE podemos dibujar las siguientes proyecciones (Figura\PageIndex{8}):
en elxy plano -esD_1 = \big\{(x,y)\,|\, 0 \leq x \leq 1, \, 0 \leq y \leq x^2 \big\} = \{ (x,y) \,|\, 0 \leq y \leq 1, \, \sqrt{y} \leq x \leq 1 \big\},
en elyz -avión esD_2 = \big\{(y,z) \,|\, 0 \leq y \leq 1, \, 0 \leq z \leq y^2 \big\}, y
en elxz -avión esD_3 = \big\{(x,z) \,|\, 0 \leq x \leq 1, \, 0 \leq z \leq x^2 \big\}.

Ahora podemos describir la misma región en laE que\big\{(x,y,z) \,|\, 0 \leq y \leq 1, \, 0 \leq z \leq y^2, \, \sqrt{y} \leq x \leq 1 \big\}, y consecuentemente, la triple integral se convierte
\int_{y=c}^{y=d} \int_{z=v_1(y)}^{z=v_2(y)} \int_{x=u_1(y,z)}^{x=u_2(y,z)} f(x,y,z)\,dx \, dz \, dy = \int_{y=0}^{y=1} \int_{z=0}^{z=x^2} \int_{x=\sqrt{y}}^{x=1} f(x,y,z)\,dx \, dz \, dy \nonumber
Ahora supongamos quef (x,y,z) = xyz en cada una de las integrales. Entonces tenemos
\ [\ begin {alinear*}\ int_ {x=0} ^ {x=1}\ int_ {y=0} ^ {y=x^2}\ int_ {z=0} ^ {z=y^2} xyz\, dz\, dy\, dx &=\ int_ {x=0} ^ {x=1}\ int_ {y=0} ^ {y=x^2}\ izquierda. \ izquierda [xy\ dfrac {z^2} {2}\ derecha|_ {z=0} ^ {z=y^2}\ derecha]\, dy\, dx\ [5pt]
&=\ int_ {x=0} ^ {x=1}\ int_ {y=0} ^ {y=x^2}\ izquierda (x\ dfrac {y^5} {2}}\ derecha) dy\, dx\\ [5pt]
&=\ int_ {x=0} ^ {x=1}\ izquierda. \ izquierda [x\ dfrac {y^6} {12}\ derecha|_ {y=0} ^ {y=x^2}\ derecha] dx\\ [5pt]
&=\ int_ {x=0} ^ {x=1}\ dfrac {x^ {13}} {12} dx =\ izquierda. \ dfrac {x^ {14}} {168}\ derecha|_ {x=0} ^ {x=1}\\ [5pt]
&=\ dfrac {1} {168},\ final {alinear*}\]
\ [\ begin {alinear*}\ int_ {y=0} ^ {y=1}\ int_ {z=0} ^ {z=y^2}\ int_ {x=\ sqrt {y}} ^ {x=1} xyz\, dx\, dz\, dy &=\ int_ {y=0} ^ {y=0} ^ {y=1}\ int_ {z=0} ^ {zy=0} ^2}\ izquierda. \ izquierda [yz\ dfrac {x^2} {2}\ derecha|_ {\ sqrt {y}} ^ {1}\ derecha] dz\, dy\ [5pt]
&=\ int_ {y=0} ^ {y=1}\ int_ {z=0} ^ {z=y^2}\ izquierda (\ dfrac {yz} {2} -\ dfrac {y^2z} {2}\ derecha) dz\, dy\\ [5pt]
&=\ int_ {y=0} ^ {y=1}\ izquierda. \ izquierda [\ dfrac {yz^2} {4} -\ dfrac {y^2z^2} {4}\ derecha|_ {z=0} ^ {z=y^2}\ derecha] dy\\ [5pt]
&=\ int_ {y=0} ^ {y=1}\ izquierda (\ dfrac {y^5} {4} -\ dfrac {y^6} {4}\ derecha) dy\\ [5pt]
&=\ izquierda. \ izquierda (\ dfrac {y^6} {24} -\ dfrac {y^7} {28}\ derecha)\ derecha|_ {y=0} ^ {y=1}\\ [5pt]
&=\ dfrac {1} {168}. \ end {align*}\ nonumber\]
Las respuestas coinciden.
Escribir cinco integrales iteradas diferentes iguales a la integral dada
\int_{z=0}^{z=4} \int_{y=0}^{y=4-z} \int_{x=0}^{x=\sqrt{y}} f(x,y,z) \, dx \, dy \, dz.\nonumber
- Pista
-
Siga los pasos del ejemplo anterior, utilizando la regiónE como \big\{(x,y,z) \,|\, 0 \leq z \leq 4, \, 0 \leq y \leq 4 - z, \, 0 \leq x \leq \sqrt{y} \big\}, y describa y esboce las proyecciones en cada uno de los tres planos, cinco veces diferentes.
- Contestar
-
(i) \, \int_{z=0}^{z=4} \int_{x=0}^{x=\sqrt{4-z}} \int_{y=x^2}^{y=4-z} f(x,y,z) \, dy \, dx \, dz, \, (ii) \, \int_{y=0}^{y=4} \int_{z=0}^{z=4-y} \int_{x=0}^{x=\sqrt{y}} f(x,y,z) \,dx \, dz \, dy, \,(iii) \, \int_{y=0}^{y=4} \int_{x=0}^{x=\sqrt{y}} \int_{z=0}^{Z=4-y} f(x,y,z) \,dz \, dx \, dy, \, \nonumber
(iv) \, \int_{x=0}^{x=2} \int_{y=x^2}^{y=4} \int_{z=0}^{z=4-y} f(x,y,z) \,dz \, dy \, dx, \, (v) \int_{x=0}^{x=2} \int_{z=0}^{z=4-x^2} \int_{y=x^2}^{y=4-z} f(x,y,z) \,dy \, dz \, dx \nonumber
Evaluar la triple integral
\iiint_{E} \sqrt{x^2 + z^2} \,dV, \nonumber
dondeE está la región delimitada por el paraboloidey = x^2 + z^2 (Figura\PageIndex{9}) y el planoy = 4.

Solución
La proyección de la región sólidaE sobre elxy plano es la región delimitada arribay = 4 y abajo por la parábolay = x^2 como se muestra.

Así, tenemos
E = \big\{(x,y,z) \,|\, -2 \leq x \leq 2, \, x^2 \leq y \leq 4, \, -\sqrt{y - x^2} \leq z \sqrt{y - x^2} \big\}.\nonumber
La triple integral se convierte
\iiint_E \sqrt{x^2 + z^2} \,dV = \int_{x=-2}^{x=2} \int_{y=x^2}^{y=4} \int_{z=-\sqrt{y-x^2}}^{z=\sqrt{y-x^2}} \sqrt{x^2 + z^2} \,dz \, dy \, dx.\nonumber
Esta expresión es difícil de calcular, así que considere la proyección deE sobre elxz plano. Se trata de un disco circularx^2 + z^2 \leq 4. Así obtenemos
\iiint_E \sqrt{x^2 + z^2} \,dV = \int_{x=-2}^{x=2} \int_{y=x^2}^{y=4} \int_{z=-\sqrt{y-x^2}}^{z=\sqrt{y-x^2}} \sqrt{x^2 + z^2} \,dz \, dy \, dx = \int_{x=-2}^{x=2} \int_{z=-\sqrt{4-x^2}}^{z=\sqrt{4-x^2}} \int_{y=x^2+z^2}^{y=4} \sqrt{x^2 + z^2} \,dy \, dz \, dx.\nonumber
Aquí el orden de integración cambia de ser primero con respecto az entoncesy y luegox a ser primero con respecto ay entonces az y luego ax. Pronto quedará claro cómo este cambio puede ser beneficioso para el cálculo. Tenemos
\int_{x=-2}^{x=2} \int_{z=\sqrt{4-x^2}}^{z=\sqrt{4-x^2}} \int_{y=x^2+z^2}^{y=4} \sqrt{x^2 + z^2} \,dy \, dz \, dx = \int_{x=-2}^{x=2} \int_{z=-\sqrt{4-x^2}}^{z=\sqrt{4-x^2}} (4 - x^2 - z^2) \sqrt{x^2 + z^2} \,dz \, dx.\nonumber
Ahora usa la sustitución polarx = r \, \cos \, \theta, \, z = r \, \sin \, \theta, ydz \, dx = r \, dr \, d\theta en elxz plano -. Esto es esencialmente lo mismo que cuando usamos coordenadas polares en elxy -plano, excepto que estamos reemplazandoy porz. En consecuencia los límites de la integración cambian y tenemos, al utilizarr^2 = x^2 + z^2,
\int_{x=-2}^{x=2} \int_{z=-\sqrt{4-x^2}}^{z=\sqrt{4-x^2}} (4 - x^2 - z^2) \sqrt{x^2 + z^2}\,dz \, dx = \int_{\theta=0}^{\theta=2\pi} \int_{r=0}^{r=2} (4 - r^2) rr \, dr \, d\theta = \int_0^{2\pi} \left. \left[ \dfrac{4r^3}{3} - \dfrac{r^5}{5} \right|_0^2 \right] \, d\theta = \int_0^{2\pi} \dfrac{64}{15} \,d\theta = \dfrac{128\pi}{15}\nonumber
Valor promedio de una función de tres variables
Recordemos que encontramos el valor promedio de una función de dos variables evaluando la doble integral sobre una región en el plano y luego dividiendo por el área de la región. De igual manera, podemos encontrar el valor promedio de una función en tres variables evaluando la triple integral sobre una región sólida y luego dividiendo por el volumen del sólido.
Sif(x,y,z) es integrable sobre una región delimitada sólidaE con volumen positivoV \, (E),, entonces el valor promedio de la función es
f_{ave} = \dfrac{1}{V \, (E)} \iiint_E f(x,y,z) \, dV. \nonumber
Tenga en cuenta que el volumen es
V \, (E) = \iiint_E 1 \,dV. \nonumber
La temperatura en un punto(x,y,z) de un sólidoE delimitado por los planos de coordenadas y el planox + y + z = 1 esT(x,y,z) = (xy + 8z + 20) \, \text{°}\text{C} . Encuentra la temperatura promedio sobre el sólido.
Solución
Utilice el teorema dado anteriormente y la triple integral para encontrar el numerador y el denominador. Entonces haz la división. Observe que el aviónx + y + z = 1 tiene intercepciones(1,0,0), \, (0,1,0), y(0,0,1). La regiónE parece
E = \big\{(x,y,z) \,|\, 0 \leq x \leq 1, \, 0 \leq y \leq 1 - x, \, 0 \leq z \leq 1 - x - y \big\}.\nonumber
De ahí que la triple integral de la temperatura sea
\iiint_E f(x,y,z) \,dV = \int_{x=0}^{x=1} \int_{y=0}^{y=1-x} \int_{z=0}^{z=1-x-y} (xy + 8z + 20) \, dz \, dy \, dx = \dfrac{147}{40}. \nonumber
La evaluación del volumen es
V \, (E) = \iiint_E 1\,dV = \int_{x=0}^{x=1} \int_{y=0}^{y=1-x} \int_{z=0}^{z=1-x-y} 1 \,dz \, dy \, dx = \dfrac{1}{6}. \nonumber
De ahí que el valor promedio sea
T_{ave} = \dfrac{147/40}{1/6} = \dfrac{6(147)}{40} = \dfrac{441}{20} \, \text{°}\text{C} \nonumber .
Encuentra el valor promedio de la funciónf(x,y,z) = xyz sobre el cubo con lados de longitud 4 unidades en el primer octante con un vértice en el origen y bordes paralelos a los ejes de coordenadas.
- Pista
-
Sigue los pasos del ejemplo anterior.
- Contestar
-
f_{ave} = 8
Conceptos clave
- Para calcular una triple integral utilizamos el teorema de Fubini, que establece que sif(x,y,z) es continuo en una caja rectangularB = [a,b] \times [c,d] \times [e,f], entonces\iiint_B f(x,y,z) \,dV = \int_e^f \int_c^d \int_a^b f(x,y,z) \, dx \, dy \, dz \nonumber y también es igual a cualquiera de los otros cinco ordenamientos posibles para la triple integral iterada.
- Para calcular el volumen de una región delimitada sólida generalE utilizamos la triple integralV \, (E) = \iiint_E 1 \,dV. \nonumber
- Intercambiar el orden de las integrales iteradas no cambia la respuesta. De hecho, intercambiar el orden de integración puede ayudar a simplificar el cálculo.
- Para calcular el valor promedio de una función sobre una región tridimensional general, utilizamosf_{ave} = \dfrac{1}{V \, (E)} \iiint_E f(x,y,z) \,dV. \nonumber
Ecuaciones Clave
- Triple integral
\lim_{l,m,n \rightarrow \infty} \sum_{i=1}^l \sum_{j=1}^m \sum_{k=1}^n f(x_{ijk}^*, y_{ijk}^*, z_{ijk}^*) \,\Delta x \Delta y \Delta z = \iiint_B f(x,y,z) \,dV \nonumber
Glosario
- triple integral
- la triple integral de una función continuaf(x,y,z) sobre una caja sólida rectangularB es el límite de una suma de Riemann para una función de tres variables, si este límite existe
Integrales triples sobre una región limitada general
Ahora ampliamos la definición de la triple integral para computar una triple integral sobre una región delimitada más generalE en\mathbb{R}^3. Las regiones delimitadas generales que consideraremos son de tres tipos. Primero, dejaD ser la región delimitada que es una proyección deE sobre elxy plano. Supongamos que la regiónE en\mathbb{R}^3 tiene la forma
E = \big\{(x,y,z)\,|\,(x,y) \in D, u_1(x,y) \leq z \leq u_2(x,y) \big\}. \nonumber
Para dos funcionesz = u_1(x,y) yu_2(x,y), tal queu_1(x,y) \leq u_2(x,y) para todos(x,y) enD como se muestra en la siguiente figura.