Multiple integrals · Definition

Double integral

multivariable calculusmultiple integrals

Before you start you need to know

It is the planar analogue of the definite integral: it accumulates a quantity spread over a region, such as a volume, a mass, or an average.

Definition

The double integral of a function \(f\) over a region \(D\) of the plane is the limit of the sums of the values of \(f\) times the area \(\Delta A\) of ever finer cells covering \(D\).

\[\iint_D f(x,y)\,dA=\lim_{\max\Delta A_i\to0}\sum_i f(x_i^*,y_i^*)\,\Delta A_i\]

If \(f\ge0\), the double integral is the volume of the solid below the graph of \(z=f(x,y)\) and above \(D\). It is approximated by splitting \(D\) into cells of area \(\Delta A_i\), choosing a sample point \((x_i^*,y_i^*)\) in each, and adding prisms of volume \(f(x_i^*,y_i^*)\,\Delta A_i\). If \(f\) is continuous, the limit exists and does not depend on how the points are chosen.

Where \(f\) is negative, the volume counts with a negative sign. With \(f=1\) the integral is the area of \(D\), and dividing by that area gives the average value of \(f\) on \(D\). The integral is linear, \(\iint_D(af+bg)\,dA=a\iint_D f\,dA+b\iint_D g\,dA\); additive, \(\iint_D=\iint_{D_1}+\iint_{D_2}\) when \(D_1\) and \(D_2\) do not overlap; and order-preserving: if \(f\le g\), then \(\iint_D f\,dA\le\iint_D g\,dA\).

Guiding example: for \(f(x,y)=x+y\) on \([0,2]\times[0,2]\), the sum with sample points at the centers of four squares gives \(8\), the exact value. Corner sums give \(4\) or \(12\), a lower and an upper bound that approach \(8\) as the partition is refined. Computing the limit from the definition is impractical; Fubini's theorem reduces it to two single-variable integrals.

Typical mistakes: forgetting the area element \(dA\), confusing the double integral with a product of two single integrals (valid only for functions of the form \(g(x)h(y)\) on a rectangle), or believing the integral is always positive.

Think about it

What does \(\iint_D 1\,dA\) represent?

The area of the region \(D\): each term of the sum is \(1\cdot\Delta A_i\), and the total is the area.

If \(f\) takes positive and negative values on \(D\), can the integral be zero even though \(f\) is not zero?

Yes. For example, \(\iint_D x\,dA=0\) over the unit disk: the volumes over \(x>0\) and under \(x<0\) cancel by symmetry.

Exercises 10

References

  • James Stewart, Daniel K. Clegg, Saleem Watson, Calculus: Early Transcendentals, 9th edition, Cengage, 2021. §15.1–15.2
  • Joel Hass, Christopher Heil, Przemyslaw Bogacki, Maurice D. Weir, George B. Thomas Jr., Thomas' Calculus, 15th edition, Pearson, 2023. §15.1
  • Jerrold E. Marsden, Anthony Tromba, Vector Calculus, 6th edition, W. H. Freeman, 2012. §5.1