🌱 Tony's Memex Tony's Intertwingled Memex
Digital Garden | OER Curriculum
Home / Digital Garden / Triple Integrals over a General Region

Triple Integrals over a General Region

Core Definition

A triple integral over a general 3D bounded region E⊂R3E \subset \mathbb{R}^3 is defined by enclosing EE within a larger rectangular box BB and setting an indicator integrand F(x,y,z)=f(x,y,z)F(x, y, z) = f(x, y, z) on EE and 00 outside EE:

∭Ef(x,y,z) dV=∭BF(x,y,z) dV\iiint_{E} f(x, y, z) \, dV = \iiint_{B} F(x, y, z) \, dV
For a Type I region, the solid is bounded between continuous surfaces z=u1(x,y)z = u_1(x, y) and z=u2(x,y)z = u_2(x, y) over a planar 2D projection domain D⊂R2D \subset \mathbb{R}^2 in the xyxy-plane:
∭Ef(x,y,z) dV=∬D(∫u1(x,y)u2(x,y)f(x,y,z) dz)dA\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

Concept Explanation

In real physical and engineering problems, 3D solids are rarely simple rectangular boxes. Instead, boundaries are curved surfaces, slanted planes, and intersecting manifolds. We evaluate triple integrals over such general regions by setting functional limits on the inner variables while maintaining constant limits on the outermost variable.

Region Classifications in 3D Space

Depending on which coordinate axis connects the bottom and top bounding surfaces, 3D regions are classified into three fundamental types:

  1. Type I (zz-simple):
    E={(x,y,z)∣(x,y)∈Dxy, u1(x,y)≤z≤u2(x,y)}E = \{(x, y, z) \mid (x, y) \in D_{xy}, \, u_1(x, y) \le z \le u_2(x, y)\}
    The solid is bounded below by z=u1(x,y)z = u_1(x, y) and above by z=u2(x,y)z = u_2(x, y). The 2D shadow DxyD_{xy} lies in the xyxy-plane.
  2. Type II (xx-simple):
    E={(x,y,z)∣(y,z)∈Dyz, u1(y,z)≤x≤u2(y,z)}E = \{(x, y, z) \mid (y, z) \in D_{yz}, \, u_1(y, z) \le x \le u_2(y, z)\}
    The solid is bounded behind by x=u1(y,z)x = u_1(y, z) and in front by x=u2(y,z)x = u_2(y, z). The 2D shadow DyzD_{yz} lies in the yzyz-plane.
  3. Type III (yy-simple):
    E={(x,y,z)∣(x,z)∈Dxz, u1(x,z)≤y≤u2(x,z)}E = \{(x, y, z) \mid (x, z) \in D_{xz}, \, u_1(x, z) \le y \le u_2(x, z)\}
    The solid is bounded on the left by y=u1(x,z)y = u_1(x, z) and on the right by y=u2(x,z)y = u_2(x, z). The 2D shadow DxzD_{xz} lies in the xzxz-plane.

The 4-Step Boundary Construction Protocol

To set up an iterated triple integral over a general region (e.g., standard order dz dy dxdz \, dy \, dx):

  1. Inner Surface Limits (zz): Look along the chosen inner axis (zz). Identify the entering surface z=u1(x,y)z = u_1(x, y) (bottom) and exiting surface z=u2(x,y)z = u_2(x, y) (top).
  2. 2D Projection Shadow (DD): Project the outermost boundary of the solid onto the remaining coordinate plane (xyxy-plane). This boundary is found by intersecting the upper and lower surfaces (u1(x,y)=u2(x,y)u_1(x, y) = u_2(x, y)) or setting bounding planes to coordinate axes (z=0z = 0).
  3. Middle Curve Limits (yy): Treat the 2D projection DD as a double integral domain. Cast an arrow along the middle axis (yy) from the lower boundary curve y=g1(x)y = g_1(x) to the upper boundary curve y=g2(x)y = g_2(x).
  4. Outer Constant Limits (xx): Identify the absolute minimum and maximum constant extent of the shadow along the outer axis: a≤x≤ba \le x \le b.

Putting these together yields the complete iterated integral:

∭Ef(x,y,z) dV=∫ab∫g1(x)g2(x)∫u1(x,y)u2(x,y)f(x,y,z) dz dy dx\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

Physical Quantities: Volume, Mass, and Center of Mass

  • Spatial Volume: V(E)=∭E1 dVV(E) = \iiint_E 1 \, dV.
  • Total Mass: If ρ(x,y,z)\rho(x, y, z) is mass density, then M=∭Eρ(x,y,z) dVM = \iiint_E \rho(x, y, z) \, dV.
  • First Moments:
    Myz=∭Exρ dV,Mxz=∭Eyρ dV,Mxy=∭Ezρ dVM_{yz} = \iiint_E x \rho \, dV, \quad M_{xz} = \iiint_E y \rho \, dV, \quad M_{xy} = \iiint_E z \rho \, dV
  • Center of Mass Coordinates:
    xˉ=MyzM,yˉ=MxzM,zˉ=MxyM\bar{x} = \frac{M_{yz}}{M}, \quad \bar{y} = \frac{M_{xz}}{M}, \quad \bar{z} = \frac{M_{xy}}{M}

Engineering Applications

  • Aerospace & Mechanical Engineering: Calculating the total fuel mass and dynamic center of gravity r⃗CG=⟨xˉ,yˉ,zˉ⟩\vec{r}_{\text{CG}} = \langle \bar{x}, \bar{y}, \bar{z} \rangle for non-rectangular wingtip fuel cells, fuselage tanks, and liquid propellant slosh baffles.
  • Civil & Structural Engineering: Computing total concrete volume, dead load, and foundation bearing moments for asymmetric bridge abutments, gravity retaining walls, and dam spillways.
  • Ocean & Naval Architecture: Determining hydrostatic displacement volume and center of buoyancy for ship hulls and submarine ballast tanks bounded by parabolic waterlines and inclined transverse bulkheads.

Example Problems

Example 1: Integrating over a First-Octant Tetrahedron

Evaluate ∭Ez dV\iiint_{E} z \, dV, where EE is the solid tetrahedron in the first octant bounded by the planes x=0x = 0, y=0y = 0, z=0z = 0, and 2x+y+z=22x + y + z = 2.

Solution

Step 1: Determine inner zz-limits:
The solid lies above z=0z = 0 and below the inclined plane 2x+y+z=2  ⟹  z=2−2x−y2x + y + z = 2 \implies z = 2 - 2x - y.
Thus, 0≤z≤2−2x−y0 \le z \le 2 - 2x - y.

Step 2: Determine 2D projection DD onto the xyxy-plane:
Setting z=0z = 0 in the plane equation gives 2x+y=2  ⟹  y=2−2x2x + y = 2 \implies y = 2 - 2x. In the first octant, x≥0,y≥0x \ge 0, y \ge 0.
Middle limits: 0≤y≤2−2x0 \le y \le 2 - 2x.
Outer limits: Setting y=0y = 0 yields 2x=2  ⟹  0≤x≤12x = 2 \implies 0 \le x \le 1.

Step 3: Set up and evaluate the iterated integral:

I=∫01∫02−2x∫02−2x−yz dz dy dxI = \int_{0}^{1} \int_{0}^{2-2x} \int_{0}^{2-2x-y} z \, dz \, dy \, dx

Inner zz-integral:

∫02−2x−yz dz=[z22]02−2x−y=12(2−2x−y)2\int_{0}^{2-2x-y} z \, dz = \left[ \frac{z^2}{2} \right]_{0}^{2-2x-y} = \frac{1}{2}(2 - 2x - y)^2

Middle yy-integral:
Use uu-substitution: let u=2−2x−y  ⟹  dy=−duu = 2 - 2x - y \implies dy = -du.
When y=0,u=2−2xy = 0, u = 2 - 2x; when y=2−2x,u=0y = 2 - 2x, u = 0.

∫2−2x012u2(−du)=∫02−2x12u2 du=[u36]02−2x=(2−2x)36=8(1−x)36=43(1−x)3\int_{2-2x}^{0} \frac{1}{2}u^2 (-du) = \int_{0}^{2-2x} \frac{1}{2}u^2 \, du = \left[ \frac{u^3}{6} \right]_{0}^{2-2x} = \frac{(2 - 2x)^3}{6} = \frac{8(1 - x)^3}{6} = \frac{4}{3}(1 - x)^3

Outer xx-integral:

∫0143(1−x)3 dx=[−13⋅43(1−x)4]01=[−49(1−x)4]01=0−(−49)=49\int_{0}^{1} \frac{4}{3}(1 - x)^3 \, dx = \left[ -\frac{1}{3} \cdot \frac{4}{3}(1 - x)^4 \right]_{0}^{1} = \left[ -\frac{4}{9}(1 - x)^4 \right]_{0}^{1} = 0 - \left(-\frac{4}{9}\right) = \frac{4}{9}

Thus, ∭Ez dV=49\iiint_E z \, dV = \frac{4}{9}.

Example 2: Volume Bounded by a Parabolic Cylinder

Find the volume of the solid EE bounded by the parabolic cylinder y=x2y = x^2 and the planes z=0z = 0 and y+z=4y + z = 4.

Solution

Step 1: Inner zz-limits:
The solid extends from the floor z=0z = 0 up to the ceiling y+z=4  ⟹  z=4−yy + z = 4 \implies z = 4 - y.
Thus, 0≤z≤4−y0 \le z \le 4 - y.

Step 2: 2D projection DD onto the xyxy-plane:
Setting z=0z = 0 in y+z=4y + z = 4 gives y=4y = 4. The lateral boundary is y=x2y = x^2.
Middle limits (yy): for each xx, yy goes from the parabola up to the line: x2≤y≤4x^2 \le y \le 4.
Outer limits (xx): the intersection points are x2=4  ⟹  −2≤x≤2x^2 = 4 \implies -2 \le x \le 2.

Step 3: Evaluate volume integral:

V=∫−22∫x24∫04−y1 dz dy dx=∫−22∫x24(4−y) dy dxV = \int_{-2}^{2} \int_{x^2}^{4} \int_{0}^{4-y} 1 \, dz \, dy \, dx = \int_{-2}^{2} \int_{x^2}^{4} (4 - y) \, dy \, dx

Middle yy-integral:

∫x24(4−y) dy=[4y−y22]x24=(16−8)−(4x2−x42)=8−4x2+x42\int_{x^2}^{4} (4 - y) \, dy = \left[ 4y - \frac{y^2}{2} \right]_{x^2}^{4} = \left(16 - 8\right) - \left(4x^2 - \frac{x^4}{2}\right) = 8 - 4x^2 + \frac{x^4}{2}

Outer xx-integral (exploiting symmetry of even integrand):

V=2∫02(8−4x2+x42) dx=2[8x−43x3+x510]02V = 2 \int_{0}^{2} \left(8 - 4x^2 + \frac{x^4}{2}\right) \, dx = 2 \left[ 8x - \frac{4}{3}x^3 + \frac{x^5}{10} \right]_{0}^{2}
V=2(16−323+3210)=2(16−323+165)=2(240−160+4815)=2(12815)=25615V = 2 \left( 16 - \frac{32}{3} + \frac{32}{10} \right) = 2 \left( 16 - \frac{32}{3} + \frac{16}{5} \right) = 2 \left( \frac{240 - 160 + 48}{15} \right) = 2\left(\frac{128}{15}\right) = \frac{256}{15}


Connections & References