Learning Objectives
By the end of this section, you will be able to:
- Define the triple integral as a limit of Riemann sums over 3D regions
- Evaluate triple integrals over rectangular boxes using iterated integrals
- Apply Fubini's Theorem to change the order of integration
- Set up bounds for triple integrals over general regions (Types 1, 2, and 3)
- Calculate volumes, masses, centers of mass, and moments of inertia
- Connect triple integrals to machine learning applications involving 3D data
The Big Picture: Integration in Three Dimensions
"The triple integral extends the powerful idea of accumulation to three-dimensional space — summing infinitely many infinitesimal quantities throughout a solid region."
Just as the double integral sums a quantity over a 2D region, the triple integral sums a quantity over a 3D solid region .
The intuition is the same: we partition the region into tiny pieces, multiply the function value by the piece's volume, and sum. As the pieces become infinitesimally small, the sum becomes an integral.
What Can We Compute?
Geometry
- Volume of a solid region
- Surface area (via parametric surfaces)
- Centroid of a solid
Physics
- Mass from density distribution
- Center of mass of a solid
- Moments of inertia for rotation
- Gravitational/electric potential
Probability
- Joint probability densities in 3D
- Expected values of 3D distributions
- Marginal distributions
Machine Learning
- 3D point cloud processing
- Volumetric data analysis (CT/MRI)
- Integration over weight spaces
Historical Context: From Surfaces to Solids
The development of triple integrals followed naturally from double integrals. As mathematicians and physicists tackled problems involving solid bodies — gravitational attraction of planets, heat flow in 3D, electromagnetic fields — they needed to extend integration to three dimensions.
Joseph-Louis Lagrange (1736–1813) used triple integrals extensively in his Mécanique Analytique, computing moments of inertia for rotating bodies. Pierre-Simon Laplace (1749–1827) applied them to celestial mechanics and potential theory.
The rigorous foundation came from Augustin-Louis Cauchy (1789–1857) and later Bernhard Riemann (1826–1866), who formalized the limiting process that defines the integral. Giuseppe Peano (1858–1932) contributed to understanding which regions allow proper integration.
The Notation
The triple integral is written as or . The "dV" represents an infinitesimal volume element. In rectangular coordinates, .
Definition of Triple Integrals
Definition: Triple Integral over a Box
Let be defined on the rectangular box:
The triple integral of over is:
where is the volume of each small sub-box, and is a sample point in the (i, j, k)-th sub-box.
This definition mirrors the double integral, extended to one more dimension. We partition the box into small boxes, evaluate the function at sample points, multiply by volume, sum, and take the limit.
The Iterated Integral
For practical computation, we convert the triple integral to an iterated integral— three nested single integrals:
We integrate from the inside out: first (treating and as constants), then (treating as constant), then .
Geometric Interpretation
When , the triple integral computes the volume of region :
More generally, think of as a density at each point. The triple integral then computes the total amount of that quantity throughout the region.
Visualizing the Process
- Slice the region: Fix a value of (or another variable). This creates a 2D cross-section.
- Integrate over the slice: The double integral over this cross-section gives a "slab" contribution.
- Stack the slabs: Integrate these contributions as varies. The sum of all slabs is the triple integral.
Conceptual Summary
= sum of over all points in .
If : Volume. If (density): Mass. If : First moment about xy-plane.
Interactive 3D Visualizer
Explore how triple integrals work by visualizing different 3D regions and their decomposition into slices. The slices represent the cross-sections that we integrate over at each step of the iterated integral.
E = {(x,y,z) : -1 ≤ x ≤ 1, -1 ≤ y ≤ 1, -1 ≤ z ≤ 1}∫∫∫ f(x,y,z) dz dy dxHow Triple Integrals Work:
The colored slices represent the decomposition of the 3D region into 2D cross-sections. Each slice at height z reduces to a double integral over the cross-section. Summing (integrating) all slices gives the total volume or accumulated quantity.
What to Explore
- Try different regions — see how spheres, cones, and tetrahedra have different slice shapes
- Change the integration order — slices perpendicular to different axes give different cross-sections
- Animate the integration — watch how we "stack" slices to build up the integral
- Vary the number of slices — more slices = better approximation to the continuous integral
Fubini's Theorem for Triple Integrals
Fubini's Theorem (3D)
If is continuous on the rectangular box , then:
Moreover, the iterated integral can be computed in any of the 6 possible orders:
dz dy dxdz dx dydy dz dxdy dx dzdx dy dzdx dz dyThe key insight: for a continuous function on a box, all 6 orders of integration give the same answer. This flexibility is powerful — we can choose whichever order makes the integration easiest.
Example: Computing a Triple Integral
Evaluate where .
Using order:
Inner integral (z):
Middle integral (y):
Outer integral (x):
Changing the Order of Integration
For non-rectangular regions, the bounds of integration depend on the outer variables. When we change the order of integration, we must recompute the bounds for the new order.
The Strategy
- Understand the region: Sketch or visualize the 3D region . Identify its boundaries.
- Choose an order: Decide which variable to integrate first (innermost). This variable's bounds may depend on the other two.
- Project: Project the region onto the plane of the remaining two variables. This gives the limits for the middle integral.
- Final bounds: The outermost variable has constant limits spanning the full extent of the region in that direction.
Key Insight
The innermost integral's bounds can depend on both outer variables. The middle integral's bounds depend only on the outermost variable. The outermost integral has constant bounds.
Setting Up Bounds: Interactive Explorer
One of the most challenging aspects of triple integrals is setting up the correct bounds for a given integration order. Use this interactive tool to explore how bounds change with different orders for a tetrahedron region.
Region: First Octant Tetrahedron
E = { (x,y,z) : x + y + z ≤ 1, x ≥ 0, y ≥ 0, z ≥ 0 }Setting Up the Bounds
We want to integrate over the tetrahedron. The order of integration determines how we set up the bounds.
Selected Order: dz dy dx
Click "Next" to see how to determine each bound.
Why Different Orders Matter
All 6 orders give the same answer, but some may be easier to evaluate depending on the integrand f(x,y,z). Choose the order that makes the inner integrals simplest. For regions with symmetry, some orders may have simpler bounds than others.
Type 1 Regions: z-Simple Regions
A region is Type 1 (or z-simple) if it lies between two surfaces and over a region in the xy-plane:
The triple integral becomes:
Example: Solid Under a Paraboloid
Find the volume of the solid bounded above by and below by .
Region: The paraboloid meets z = 0 when , a circle of radius 2.
Bounds: D is the disk . For each (x,y) in D, .
This double integral over a disk is best done in polar coordinates (covered in the next section). The answer is .
Type 2 and Type 3 Regions
Similarly, a region can be Type 2 (y-simple) or Type 3 (x-simple):
| Type | Description | Integral Form |
|---|---|---|
| Type 1 (z-simple) | Bounded by z = u₁(x,y) and z = u₂(x,y) | ∫∫_D [ ∫_{u₁}^{u₂} f dz ] dA |
| Type 2 (y-simple) | Bounded by y = v₁(x,z) and y = v₂(x,z) | ∫∫_D [ ∫_{v₁}^{v₂} f dy ] dA |
| Type 3 (x-simple) | Bounded by x = w₁(y,z) and x = w₂(y,z) | ∫∫_D [ ∫_{w₁}^{w₂} f dx ] dA |
Some regions are simple in multiple ways — you can choose whichever leads to easier integrals. Some complex regions may need to be broken into pieces, each piece being simple in some direction.
Applications of Triple Integrals
Triple integrals are workhorses of applied mathematics, appearing whenever we need to accumulate a quantity throughout a 3D region.
Mass and Density
If gives the density (mass per unit volume) at each point of a solid , then the total mass is:
For uniform density ( constant), mass equals density times volume: .
Example: Variable Density Sphere
A sphere of radius has density , denser in the center. Find the total mass.
This requires spherical coordinates (covered in a later section). The key insight is that we integrate density over the entire sphere, with density varying by position.
Center of Mass
The center of mass of a solid with density is found using first moments:
where is the total mass.
For uniform density, these simplify to the centroid formulas (geometric center), where cancels:
Moments of Inertia
The moment of inertia measures resistance to rotation about an axis. For a solid with density :
| About Axis | Formula | Physical Meaning |
|---|---|---|
| x-axis | Iₓ = ∫∫∫ (y² + z²) ρ dV | Resistance to rotation about x-axis |
| y-axis | I_y = ∫∫∫ (x² + z²) ρ dV | Resistance to rotation about y-axis |
| z-axis | I_z = ∫∫∫ (x² + y²) ρ dV | Resistance to rotation about z-axis |
Notice that each formula involves the square of the distance from the axis. Points far from the axis contribute more to the moment of inertia.
Physics Connection
Moments of inertia appear in the rotational kinetic energy formula and in the equation of rotational motion . Engineers use them to design flywheels, beams, and rotating machinery.
Python Implementation
Triple Integrals over Boxes
Triple Integrals over General Regions
Computing Center of Mass
Applications in Machine Learning
While triple integrals may seem purely mathematical, they appear in several machine learning contexts:
3D Point Cloud Processing
LiDAR and depth sensors produce 3D point clouds. Computing properties like center of mass, bounding volumes, or feature descriptors often involves integration (or discrete summation, the computational analog) over 3D regions.
Volumetric Data Analysis
Medical imaging (CT, MRI) and scientific simulations produce volumetric data — essentially functions sampled on a 3D grid. Computing total intensity, locating centroids, or measuring regions all involve discrete versions of triple integrals.
Probability in High Dimensions
While neural networks typically work in much higher dimensions, the conceptual foundation is the same: integrating probability densities over regions. Understanding triple integrals builds intuition for higher-dimensional integration.
Gaussian Processes and Bayesian Methods
In Bayesian machine learning, we often integrate over parameter spaces. Triple integrals (and their higher-dimensional generalizations) appear in computing marginal likelihoods and posterior expectations for models with three or more continuous parameters.
Common Pitfalls
Pitfall 1: Wrong Order of Bounds
When changing integration order, you must recompute all bounds. The bounds for the new innermost variable depend on both outer variables. Verify by checking that your bounds describe the same region!
Pitfall 2: Forgetting the dV in Coordinate Systems
In cylindrical and spherical coordinates (covered later), the volume element is NOT just or . There are Jacobian factors!
Pitfall 3: Not Visualizing the Region
Always sketch or visualize the region before setting up bounds. Many errors come from misunderstanding the geometry. Use 3D plots or slice-by-slice visualization.
Pro Tip: Check Your Setup
After setting up a triple integral, verify by computing (the volume). If you know the volume from geometry, this provides a sanity check on your bounds.
Test Your Understanding
Triple Integrals Quiz
What does a triple integral ∫∫∫_E f(x,y,z) dV represent geometrically when f(x,y,z) = 1?
Summary
Triple integrals extend the concept of integration to three dimensions, allowing us to compute volumes, masses, centers of mass, and moments of inertia for solid regions.
Key Formulas
| Concept | Formula | Interpretation |
|---|---|---|
| Volume | ∫∫∫_E 1 dV | Total volume of region E |
| Mass | ∫∫∫_E ρ(x,y,z) dV | Total mass with density ρ |
| Center of mass (z) | z̄ = (1/M) ∫∫∫_E z ρ dV | z-coordinate of balance point |
| Moment of inertia (z-axis) | I_z = ∫∫∫_E (x² + y²) ρ dV | Rotational inertia about z-axis |
| Average value | (1/V) ∫∫∫_E f dV | Mean value of f over E |
Key Takeaways
- Triple integrals extend double integrals to 3D, computing accumulated quantities over solid regions
- Fubini's Theorem allows computation via iterated integrals in any of 6 orders — choose the order that simplifies the bounds
- Type 1, 2, 3 regions describe solids bounded by surfaces in different directions — match the type to your integration order
- Applications include volume, mass, center of mass, moments of inertia, and probability calculations
- Setting up bounds is often the hardest part — always visualize the region and check by computing volume
- In machine learning, triple integrals appear in 3D data processing, volumetric analysis, and Bayesian methods
Coming Next: In the next section, we'll explore Triple Integrals in Cylindrical Coordinates. When a region has cylindrical symmetry (like a cylinder, cone, or paraboloid), cylindrical coordinates simplify the integral dramatically.