ConceptComplete

Double and Triple Integrals

Multiple integrals extend the concept of definite integration to functions of two or more variables, enabling computation of volumes, masses, and other quantities over regions in higher-dimensional space.


Double Integrals

Definition

Let f:DRf : D \to \mathbb{R} be bounded on a bounded region DR2D \subseteq \mathbb{R}^2. The double integral of ff over DD is Df(x,y)dA=limP0k=1nf(xk,yk)ΔAk\iint_D f(x, y) \, dA = \lim_{\|P\| \to 0} \sum_{k=1}^{n} f(x_k^*, y_k^*) \, \Delta A_k where PP is a partition of DD into subrectangles of area ΔAk\Delta A_k and (xk,yk)(x_k^*, y_k^*) is a sample point in the kk-th subrectangle. The integral exists when ff is continuous on DD (or more generally, bounded with discontinuities on a set of measure zero).

Definition

Iterated integrals reduce a double integral to successive single integrals. For a region D={(x,y):axb,  g1(x)yg2(x)}D = \{(x,y) : a \leq x \leq b, \; g_1(x) \leq y \leq g_2(x)\}: Df(x,y)dA=ab(g1(x)g2(x)f(x,y)dy)dx\iint_D f(x,y)\,dA = \int_a^b \left(\int_{g_1(x)}^{g_2(x)} f(x,y)\,dy\right) dx


Triple Integrals

Definition

The triple integral of ff over a region ER3E \subseteq \mathbb{R}^3 is Ef(x,y,z)dV=limP0kf(xk,yk,zk)ΔVk\iiint_E f(x,y,z)\,dV = \lim_{\|P\| \to 0} \sum_k f(x_k^*, y_k^*, z_k^*)\,\Delta V_k and is computed as an iterated integral. For E={(x,y,z):(x,y)D,  h1(x,y)zh2(x,y)}E = \{(x,y,z) : (x,y) \in D,\; h_1(x,y) \leq z \leq h_2(x,y)\}: EfdV=D(h1(x,y)h2(x,y)f(x,y,z)dz)dA\iiint_E f\,dV = \iint_D \left(\int_{h_1(x,y)}^{h_2(x,y)} f(x,y,z)\,dz\right) dA


Applications

ExampleVolume and mass computations
  1. Volume: V=D[ftop(x,y)fbottom(x,y)]dAV = \iint_D [f_{\text{top}}(x,y) - f_{\text{bottom}}(x,y)] \, dA
  2. Mass of a lamina with density ρ(x,y)\rho(x,y): M=Dρ(x,y)dAM = \iint_D \rho(x,y)\,dA
  3. Center of mass: xˉ=1MDxρ(x,y)dA\bar{x} = \frac{1}{M}\iint_D x\rho(x,y)\,dA, yˉ=1MDyρ(x,y)dA\bar{y} = \frac{1}{M}\iint_D y\rho(x,y)\,dA
  4. Moment of inertia about the xx-axis: Ix=Dy2ρ(x,y)dAI_x = \iint_D y^2 \rho(x,y)\,dA
RemarkFubini's theorem justifies iterated integration

The equality of the double integral and iterated integrals is guaranteed by Fubini's theorem (proved in the theorems section). The order of integration can be switched when the integral is absolutely convergent, which is always the case for continuous functions on compact domains.