Multiple integrals · Definition
Double integral
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\).
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
- Compute \(\iint_R 5\,dA\) over the rectangle \(R=[1,4]\times[0,2]\).
- Find the volume of the solid under the plane \(z=4\) and above the disk \(D\) of radius \(2\) centered at the origin, i.e. \(\iint_D 4\,dA\).
- Divide \(R=[0,2]\times[0,2]\) into four squares of side \(1\) and compute the Riemann sum of \(f(x,y)=x+y\) taking the upper-right corner of each square.
- With the same partition of \(R=[0,2]\times[0,2]\) into four squares, compute the Riemann sum of \(f(x,y)=x+y\) taking the center of each square.
- If \(\iint_D f\,dA=3\) and \(\iint_D g\,dA=5\), what is \(\iint_D (2f-g)\,dA\)?
- The region \(D\) is the union of two non-overlapping regions \(D_1\) and \(D_2\). If \(\iint_{D_1} f\,dA=7\) and \(\iint_D f\,dA=10\), what is \(\iint_{D_2} f\,dA\)?
- On a region \(D\) of area \(6\) it is known that \(\iint_D f\,dA=24\). What is the average value of \(f\) on \(D\)?
- Compute \(\iint_D x\,dA\) over the unit disk \(D:\ x^2+y^2\le1\).
- If \(1\le f(x,y)\le3\) on a region \(D\) of area \(5\), which inequality holds for \(\iint_D f\,dA\)?
- Interpret \(\iint_D \sqrt{1-x^2-y^2}\,dA\), with \(D:\ x^2+y^2\le1\), as a volume and compute it.
What comes next
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