5๏ธโƒฃMultivariable Calculus

Key Concepts of Double Integrals

Study smarter with Fiveable

Get study guides, practice questions, and cheatsheets for all your subjects. Join 500,000+ students with a 96% pass rate.

Get Started

Why This Matters

Double integrals represent your first major leap from single-variable thinking into multidimensional analysis. You're extending the fundamental idea of accumulation from one dimension to two. This isn't just about computing integrals; it's about understanding how regions, coordinate systems, and transformation techniques work together to solve problems that single integrals simply can't handle.

These concepts form the foundation for everything that follows in multivariable calculus: triple integrals, surface integrals, and the major theorems like Green's and Stokes'. The goal is to understand why we switch to polar coordinates, when to change integration order, and what the Jacobian actually measures.


Foundations: What Double Integrals Actually Mean

Before computing anything, you need a solid understanding of what double integrals represent. The double integral accumulates a function's values over a two-dimensional region, generalizing "area under a curve" to "volume under a surface."

Definition of Double Integrals

A single integral adds up values along an interval. A double integral does the same thing over a region RR in the xyxy-plane. The notation โˆฌRf(x,y)โ€‰dA\iint_R f(x, y) \, dA represents the limit of Riemann sums, where you chop RR into tiny rectangles of area ฮ”A\Delta A, multiply each by the function value there, and take the limit as the rectangles shrink to zero.

What f(x,y)f(x, y) represents determines what you're accumulating: it could be a height (giving volume), a density (giving mass), or a probability density (giving likelihood).

Geometric Interpretation as Volume

The most common visualization: if z=f(x,y)โ‰ฅ0z = f(x, y) \geq 0, then โˆฌRf(x,y)โ€‰dA\iint_R f(x, y) \, dA gives the volume of the solid sitting above RR and below the surface. Where ff is negative, the integral subtracts volume (just like single integrals subtract area below the xx-axis). The integral transforms a surface equation into a single number.

Compare: Definition vs. Geometric Interpretation โ€” the definition gives you the mechanics (limits of Riemann sums), while the volume interpretation gives you the intuition (what you're actually computing). Exam problems often ask you to set up integrals for volume, so connect both perspectives.


Computation Techniques: Rectangular Regions

Rectangular regions are your starting point because the limits of integration are constants. Mastering these builds the foundation for handling more complex regions.

Iterated Integrals

You evaluate a double integral by performing two single-variable integrations in sequence:

  1. Pick an order (say, integrate with respect to yy first).
  2. Evaluate the inner integral โˆซcdf(x,y)โ€‰dy\int_c^d f(x, y) \, dy, treating xx as a constant. This produces a function of xx alone.
  3. Evaluate the outer integral โˆซab(resultย fromย stepย 2)โ€‰dx\int_a^b (\text{result from step 2}) \, dx.

This process reduces one hard problem into two manageable ones.

Evaluating Over Rectangular Regions

For a rectangle defined by aโ‰คxโ‰คba \leq x \leq b and cโ‰คyโ‰คdc \leq y \leq d, all four limits are constants. You can integrate in either order:

โˆซabโˆซcdf(x,y)โ€‰dyโ€‰dxorโˆซcdโˆซabf(x,y)โ€‰dxโ€‰dy\int_a^b \int_c^d f(x,y) \, dy \, dx \quad \text{or} \quad \int_c^d \int_a^b f(x,y) \, dx \, dy

A useful shortcut: if f(x,y)=g(x)h(y)f(x,y) = g(x)h(y) (a separable function), the double integral factors into a product of two single integrals:

โˆฌRg(x)h(y)โ€‰dA=(โˆซabg(x)โ€‰dx)(โˆซcdh(y)โ€‰dy)\iint_R g(x)h(y) \, dA = \left(\int_a^b g(x)\,dx\right)\left(\int_c^d h(y)\,dy\right)

For example, โˆฌRx2sinโก(y)โ€‰dA\iint_R x^2 \sin(y) \, dA over [0,1]ร—[0,ฯ€][0,1] \times [0, \pi] becomes (โˆซ01x2โ€‰dx)(โˆซ0ฯ€sinโก(y)โ€‰dy)=13โ‹…2=23\left(\int_0^1 x^2 \, dx\right)\left(\int_0^{\pi} \sin(y) \, dy\right) = \frac{1}{3} \cdot 2 = \frac{2}{3}.

Fubini's Theorem

Fubini's Theorem guarantees that the order of integration doesn't affect the result, provided f(x,y)f(x, y) is continuous on the rectangular region. This is what justifies choosing whichever order makes the antiderivative easier to find. For discontinuous functions, the two orders can yield different values, so always verify continuity before switching.

Compare: Iterated Integrals vs. Fubini's Theorem โ€” iterated integrals are the method, while Fubini's Theorem is the justification for switching order. If a problem asks why you can reverse integration order, cite Fubini and continuity.


Handling Complex Regions

Real problems rarely involve perfect rectangles. The key is describing the region with appropriate inequalities and choosing variable limits accordingly.

Non-Rectangular Regions

When a region isn't rectangular, at least one integral will have limits that depend on the other variable. There are two standard setups:

  • Type I (vertical strips): xx ranges between constants aโ‰คxโ‰คba \leq x \leq b, and for each fixed xx, yy ranges between curves: g1(x)โ‰คyโ‰คg2(x)g_1(x) \leq y \leq g_2(x). You integrate dydy first, then dxdx.
  • Type II (horizontal strips): yy ranges between constants cโ‰คyโ‰คdc \leq y \leq d, and for each fixed yy, xx ranges between curves: h1(y)โ‰คxโ‰คh2(y)h_1(y) \leq x \leq h_2(y). You integrate dxdx first, then dydy.

Always sketch the region first. Determining which type leads to simpler limits often requires seeing the boundary curves.

Changing Integration Order

Sometimes one order of integration leads to an integrand with no elementary antiderivative, while the reverse order works fine. To switch:

  1. Sketch the region described by the original limits.
  2. Re-describe the region using inequalities that match the new order (swap which variable gets constant bounds).
  3. Write the new iterated integral with the updated limits.

A classic example: โˆซ01โˆซx1ey2โ€‰dyโ€‰dx\int_0^1 \int_x^1 e^{y^2} \, dy \, dx can't be evaluated as written because ey2e^{y^2} has no elementary antiderivative with respect to yy. Sketching the region (a triangle with vertices at (0,0)(0,0), (0,1)(0,1), and (1,1)(1,1)) and switching to Type II gives โˆซ01โˆซ0yey2โ€‰dxโ€‰dy\int_0^1 \int_0^y e^{y^2} \, dx \, dy, which evaluates cleanly.

Compare: Type I vs. Type II regions โ€” Type I uses vertical strips (dydy first), Type II uses horizontal strips (dxdx first). Choose based on which gives simpler limit expressions, not habit.


Coordinate Transformations

Choosing the right coordinate system can transform an impossible integral into a straightforward one. The Jacobian ensures your answer remains correct after the transformation.

Polar Coordinates

Polar coordinates are ideal when the region has circular symmetry: circles, sectors, annuli, or radial boundaries. The transformation equations are:

x=rcosโก(ฮธ),y=rsinโก(ฮธ),x2+y2=r2x = r\cos(\theta), \quad y = r\sin(\theta), \quad x^2 + y^2 = r^2

The area element changes to dA=rโ€‰drโ€‰dฮธdA = r \, dr \, d\theta. That extra factor of rr is critical and one of the most commonly forgotten details on exams. It comes from the fact that small changes in rr and ฮธ\theta sweep out a patch of area approximately rโ€‰ฮ”rโ€‰ฮ”ฮธr \, \Delta r \, \Delta\theta, not ฮ”rโ€‰ฮ”ฮธ\Delta r \, \Delta\theta.

For example, to integrate over the disk x2+y2โ‰ค4x^2 + y^2 \leq 4, the limits become 0โ‰คrโ‰ค20 \leq r \leq 2 and 0โ‰คฮธโ‰ค2ฯ€0 \leq \theta \leq 2\pi.

Change of Variables (Jacobian)

Polar coordinates are a special case of a more general technique. For any substitution (x,y)=(g(u,v),h(u,v))(x, y) = (g(u, v), h(u, v)), the Jacobian determinant tells you how areas scale under the transformation:

J=โˆ‚(x,y)โˆ‚(u,v)=โˆฃโˆ‚xโˆ‚uโˆ‚xโˆ‚vโˆ‚yโˆ‚uโˆ‚yโˆ‚vโˆฃJ = \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}

The transformed integral becomes:

โˆฌRโ€ฒf(g(u,v),h(u,v))โ€‰โˆฃJโˆฃโ€‰duโ€‰dv\iint_{R'} f(g(u,v), h(u,v)) \, |J| \, du \, dv

Always use the absolute value of JJ. For polar coordinates, computing this determinant gives โˆฃJโˆฃ=r|J| = r, confirming the rโ€‰drโ€‰dฮธr \, dr \, d\theta factor.

This framework handles elliptical regions (use x=aux = au, y=bvy = bv), sheared coordinates, or any custom transformation a problem might require.

Compare: Polar Coordinates vs. General Change of Variables โ€” polar is a specific case where โˆฃJโˆฃ=r|J| = r. Understanding the general Jacobian framework prepares you for any coordinate substitution.


Applications: Why We Compute Double Integrals

Double integrals solve concrete problems. Each application interprets f(x,y)f(x, y) and dAdA differently.

Area, Volume, and Mass

  • Area of region RR: Set f(x,y)=1f(x, y) = 1, giving โˆฌR1โ€‰dA\iint_R 1 \, dA. This just adds up all the infinitesimal area elements.
  • Volume under a surface: Use f(x,y)f(x, y) as the height function. This is the default geometric interpretation.
  • Mass of a lamina with variable density: If the density is ฯ(x,y)\rho(x, y) (in units like kg/mยฒ), then M=โˆฌRฯ(x,y)โ€‰dAM = \iint_R \rho(x, y) \, dA gives total mass.

Center of Mass

The center of mass (xห‰,yห‰)(\bar{x}, \bar{y}) is the "balance point" of a lamina with density ฯ(x,y)\rho(x, y):

xห‰=1MโˆฌRxโ€‰ฯ(x,y)โ€‰dA,yห‰=1MโˆฌRyโ€‰ฯ(x,y)โ€‰dA\bar{x} = \frac{1}{M}\iint_R x \, \rho(x, y) \, dA, \qquad \bar{y} = \frac{1}{M}\iint_R y \, \rho(x, y) \, dA

where M=โˆฌRฯ(x,y)โ€‰dAM = \iint_R \rho(x, y) \, dA is the total mass. Compute MM first, since it appears in both formulas. These are weighted averages of position: each point's contribution is proportional to the density there.

Probability and Statistics

A joint probability density function f(x,y)f(x, y) must satisfy โˆฌR2f(x,y)โ€‰dA=1\iint_{\mathbb{R}^2} f(x, y) \, dA = 1. The probability that the outcome falls in a region RR is:

P((X,Y)โˆˆR)=โˆฌRf(x,y)โ€‰dAP((X, Y) \in R) = \iint_R f(x, y) \, dA

To get the distribution of just one variable, integrate out the other. For instance, the marginal distribution of XX is fX(x)=โˆซโˆ’โˆžโˆžf(x,y)โ€‰dyf_X(x) = \int_{-\infty}^{\infty} f(x, y) \, dy.

Compare: Mass vs. Probability applications โ€” both integrate a "density" function over a region, but mass density has units (kg/mยฒ) while probability density is dimensionless and must integrate to 1. The setup is identical; the interpretation differs.


Quick Reference Table

ConceptKey Details
Basic DefinitionRiemann sum limit, notation โˆฌRfโ€‰dA\iint_R f \, dA
Rectangular RegionsConstant limits, separable functions factor
Fubini's TheoremOrder reversal justified by continuity on RR
Non-Rectangular RegionsType I (vertical strips), Type II (horizontal strips)
Polar CoordinatesCircular regions, dA=rโ€‰drโ€‰dฮธdA = r \, dr \, d\theta
JacobianGeneral substitution, $$
Volume ApplicationsSurface z=f(x,y)z = f(x,y) over region RR
Physical ApplicationsMass, center of mass via density ฯ(x,y)\rho(x,y)
ProbabilityJoint PDF integrates to 1, marginals integrate out one variable

Self-Check Questions

  1. When evaluating โˆฌRf(x,y)โ€‰dA\iint_R f(x, y) \, dA over a non-rectangular region, what determines whether you should use a Type I or Type II setup?

  2. How does the area element dAdA change when converting from Cartesian to polar coordinates, and why does the extra factor of rr appear geometrically?

  3. If โˆซ01โˆซx1ey2โ€‰dyโ€‰dx\int_0^1 \int_x^1 e^{y^2} \, dy \, dx cannot be evaluated as written, what technique would you use, and what would the new limits be?

  4. Two laminas have the same shape but different density functions. Which double integral quantities would be the same, and which would differ?

  5. Explain why Fubini's Theorem requires continuity. What could go wrong if f(x,y)f(x, y) has discontinuities in region RR?