Multiple Integrals

Just as a definite integral of a single variable function calculates the area under a curve, multiple integrals extend this concept to calculate the volume under a surface (double integral) or higher-dimensional hypervolumes (triple integral). They are essential for computing physical properties like mass, center of mass, and moments of inertia for multi-dimensional objects with variable density.

Double Integrals

A function of two variables, f(x,y)f(x, y), generates a surface in 3D space. The double integral of this function over a two-dimensional region RR in the xy-plane calculates the signed volume between the surface z=f(x,y)z=f(x,y) and the region RR.

Double Integral Notation

  • \iint indicates two consecutive integrations.
  • RR is the region of integration in the xy-plane.
  • f(x,y)f(x, y) is the integrand (the height of the surface).
  • dAdA is the differential area element (dxdydx\,dy or dydxdy\,dx in rectangular coordinates).
$$ \\iint_R f(x, y) \\, dA $$

Double Integral & Volume Visualizer

Increase resolution to see the Riemann sum converge to the exact volume. Note: High resolution may affect performance.

Calculated Volume (Approx.)

25.190
Vi=1nj=1nf(xi,yj)ΔAV \approx \sum_{i=1}^n \sum_{j=1}^n f(x_i^*, y_j^*) \Delta A
Drag to rotate • Scroll to zoom

Iterated Integrals and Fubini's Theorem

To evaluate a double integral, we usually express it as an iterated integral, performing the integrations one variable at a time while holding the other constant.

Fubini's Theorem

If f(x,y)f(x,y) is continuous on a rectangular region R=[a,b]×[c,d]R = [a,b] \times [c,d], then the double integral can be evaluated as either iterated integral.
$$ \\iint_R f(x, y) \\, dA = \\int_a^b \\int_c^d f(x, y) \\, dy \\, dx = \\int_c^d \\int_a^b f(x, y) \\, dx \\, dy $$

Double Integrals over General Regions

When the region RR is not a simple rectangle, the limits of the inner integral become functions of the outer variable.

Type I vs. Type II Regions

  • Type I Region (Vertical Slices): The region is bounded above and below by continuous functions y=g2(x)y = g_2(x) and y=g1(x)y = g_1(x), and lies between x=ax=a and x=bx=b. Integrate with respect to yy first.
  • Type II Region (Horizontal Slices): The region is bounded left and right by continuous functions x=h1(y)x = h_1(y) and x=h2(y)x = h_2(y), and lies between y=cy=c and y=dy=d. Integrate with respect to xx first.
$$ \\iint_R f(x, y) \\, dA = \\int_a^b \\left[ \\int_{g_1(x)}^{g_2(x)} f(x, y) \\, dy \\right] \\, dx $$
$$ \\iint_R f(x, y) \\, dA = \\int_c^d \\left[ \\int_{h_1(y)}^{h_2(y)} f(x, y) \\, dx \\right] \\, dy $$

Double Integrals in Polar Coordinates

If a region has circular symmetry (like a circle, annulus, or a sector), it is often much simpler to evaluate the double integral using polar coordinates (r,θ)(r, \theta) instead of rectangular coordinates (x,y)(x, y).

Changing to Polar Coordinates

  • Substitute x=rcosθx = r \cos \theta and y=rsinθy = r \sin \theta into the integrand.
  • Determine the new limits of integration for rr and (\theta) based on the region.
  • Replace the area differential dA=dxdydA = dx\,dy with dA=rdrdθdA = r \, dr \, d\theta. Do not forget the extra rr!

Polar Double Integral

The transformation introduces the scaling factor rr to the differential area element.
$$ \\iint_R f(x,y) \\, dA = \\int_{\\alpha}^{\\beta} \\int_{h_1(\\theta)}^{h_2(\\theta)} f(r\\cos\\theta, r\\sin\\theta) \\cdot r \\, dr \\, d\\theta $$

Applications of Double Integrals

Double integrals have numerous physical and geometric applications beyond calculating volume.

Checklist

$$ A = \\iint_R 1 \\, dA $$
$$ m = \\iint_R \\rho(x,y) \\, dA $$
$$ \\bar{x} = \\frac{1}{m} \\iint_R x \\rho(x,y) \\, dA $$
$$ \\bar{y} = \\frac{1}{m} \\iint_R y \\rho(x,y) \\, dA $$

Triple Integrals

A triple integral extends integration to functions of three variables, f(x,y,z)f(x, y, z), over a three-dimensional solid region EE. If f(x,y,z)=1f(x,y,z) = 1, the triple integral calculates the volume of the solid EE. If ff represents density, the integral calculates the total mass of the solid.

Triple Integral in Rectangular Coordinates

The volume differential in rectangular coordinates is dV=dxdydzdV = dx \, dy \, dz (or any of the 6 possible orderings).
$$ \\iiint_E f(x,y,z) \\, dV = \\int_{x=a}^{x=b} \\int_{y=g_1(x)}^{y=g_2(x)} \\int_{z=u_1(x,y)}^{z=u_2(x,y)} f(x,y,z) \\, dz \\, dy \\, dx $$

3D Mass and Moments of Inertia

Triple integrals allow us to analyze physical solids with varying densities ρ(x,y,z)\rho(x,y,z).

Checklist

$$ m = \\iiint_E \\rho(x,y,z) \\, dV $$
$$ \\bar{x} = \\frac{1}{m} \\iiint_E x \\rho(x,y,z) \\, dV $$
$$ I_z = \\iiint_E (x^2 + y^2) \\rho(x,y,z) \\, dV $$

Cylindrical Coordinates

Cylindrical coordinates (r,θ,z)(r, \theta, z) are an extension of polar coordinates into 3D space. They are particularly useful for regions EE that possess an axis of symmetry, such as cylinders or cones.

Cylindrical Coordinate Conversions

  • x=rcosθx = r \cos \theta
  • y=rsinθy = r \sin \theta
  • z=zz = z
  • Volume differential: dV=rdzdrdθdV = r \, dz \, dr \, d\theta

Spherical Coordinates

Spherical coordinates (ρ,θ,ϕ)(\rho, \theta, \phi) define a point in 3D space by its distance from the origin (ρ)(\rho), its angle in the xy-plane (θ\theta, same as polar), and its angle from the positive z-axis (ϕ\phi). They are ideal for integrating over spheres or portions of spheres.

Spherical Coordinate Conversions

  • x=ρsinϕcosθx = \rho \sin \phi \cos \theta
  • y=ρsinϕsinθy = \rho \sin \phi \sin \theta
  • z=ρcosϕz = \rho \cos \phi
  • Volume differential: dV=ρ2sinϕdρdϕdθdV = \rho^2 \sin \phi \, d\rho \, d\phi \, d\theta

Surface Area and Jacobians

Surface Area of a Parametric Surface

Just as we use a single integral to find the arc length of a curve, we can use a double integral to find the surface area of a 3D surface. While we previously discussed surfaces defined by z=f(x,y)z = f(x, y), more complex surfaces in engineering (like airplane fuselages or terrain meshes) are defined parametrically using vectors: r(u,v)=x(u,v)i+y(u,v)j+z(u,v)k\mathbf{r}(u, v) = x(u,v)\mathbf{i} + y(u,v)\mathbf{j} + z(u,v)\mathbf{k}.

Parametric Surface Area Formula

The area of a surface defined parametrically over a region DD in the uvuv-plane is found by integrating the magnitude of the cross product of the partial derivative vectors ru\mathbf{r}_u and rv\mathbf{r}_v. This cross product geometrically represents the normal vector, and its magnitude represents the area of a differential parallelogram on the surface.
$$ A(S) = \\iint_D |\\mathbf{r}_u \\times \\mathbf{r}_v| \\, dA $$

Surface Area for z = f(x, y)

If the surface is defined simply as a function of xx and yy (i.e., z=f(x,y)z = f(x, y) over a region RR), the parametric formula simplifies to a specific form.
$$ S = \\iint_R \\sqrt{1 + \\left(\\frac{\\partial f}{\\partial x}\\right)^2 + \\left(\\frac{\\partial f}{\\partial y}\\right)^2} \\, dA $$

Change of Variables: The Jacobian

When transforming a double integral from one coordinate system to another (e.g., from rectangular to polar, or to a custom generic u,vu,v system), the differential area dAdA scales by a factor called the Jacobian.

The Jacobian Determinant

For a transformation given by x=g(u,v)x = g(u, v) and y=h(u,v)y = h(u, v), the Jacobian is defined as the determinant of the partial derivatives:
$$ J(u, v) = \\frac{\\partial(x, y)}{\\partial(u, v)} = \\begin{vmatrix} \\frac{\\partial x}{\\partial u} & \\frac{\\partial x}{\\partial v} \\\\ \\frac{\\partial y}{\\partial u} & \\frac{\\partial y}{\\partial v} \\end{vmatrix} = \\frac{\\partial x}{\\partial u}\\frac{\\partial y}{\\partial v} - \\frac{\\partial x}{\\partial v}\\frac{\\partial y}{\\partial u} $$

Why Polar Uses 'r'

The extra rr in the polar area differential dA=rdrdθdA = r \, dr \, d\theta is actually the absolute value of the Jacobian for the transformation x=rcosθ,y=rsinθx = r \cos \theta, y = r \sin \theta.

Bridge to Vector Calculus

Multiple integrals form the foundation for evaluating complex fields and flows in engineering. The capstone theorems of Vector Calculus relate integration over boundaries (curves/surfaces) to integration over their interiors (areas/volumes).

Fundamental Theorems of Vector Calculus

  • Green's Theorem: Relates a line integral over a closed plane curve to a double integral over the bounded planar region. Useful for calculating macroscopic circulation and fluid flux.
  • Stokes' Theorem: The 3D extension of Green's Theorem. It relates a line integral around a boundary curve to a surface integral (which is evaluated using a double integral parametrization) over the enclosed 3D surface.
  • Divergence Theorem: Relates the surface integral measuring the total flow (flux) out of a closed surface to a triple integral of the field's divergence throughout the enclosed volume.
Key Takeaways
  • Double integrals calculate the volume under a 3D surface z=f(x,y)z=f(x,y) over a 2D region RR by evaluating an iterated integral (integrating one variable at a time).
  • Fubini's Theorem guarantees that the order of integration (dxdydx\,dy or dydxdy\,dx) does not matter for continuous functions over rectangular regions, but switching order on general regions requires carefully redefining the limits.
  • Changing to polar coordinates simplifies integrals over circular regions. Always remember to replace dxdydx\,dy with the polar area differential rdrdθr\,dr\,d\theta.
  • Triple integrals compute hypervolumes or total mass, center of mass, and moments of inertia for 3D solids. They can be evaluated in rectangular (dV=dxdydzdV = dx\,dy\,dz), cylindrical (dV=rdzdrdθdV = r\,dz\,dr\,d\theta), or spherical (dV=ρ2sinϕdρdϕdθdV = \rho^2 \sin \phi \, d\rho \, d\phi \, d\theta) systems.
  • Parametric Surface Area: Use the cross product of partial derivative vectors (ru×rv|\mathbf{r}_u \times \mathbf{r}_v|) to find the surface area of complex geometries.
  • Jacobians provide the critical scaling factor for the differential integration area or volume during generalized coordinate transformations.
  • Multiple integrals are conceptually bridged to vector fields via Green's, Stokes', and the Divergence Theorems for calculating real-world electromagnetic and fluid behaviors.