Section 11.3 Double Integrals over General Regions
¶Motivating Questions
How do we define a double integral over a nonrectangular region?
What general form does an iterated integral over a nonrectangular region have?
Recall that we defined the double integral of a continuous function \(f = f(x,y)\) over a rectangle \(R = [a,b] \times [c,d]\) as
where the notation is as described in Section 11.1. Furthermore, we have seen that we can evaluate a double integral \(\iint_R f(x,y) \, dA\) over \(R\) as an iterated integral of either of the forms
It is natural to wonder how we might define and evaluate a double integral over a nonrectangular region; we explore one such example in the following preview activity.
Preview Activity 11.3.1.
A tetrahedron is a threedimensional figure with four faces, each of which is a triangle. A picture of the tetrahedron \(T\) with vertices \((0,0,0)\text{,}\) \((1,0,0)\text{,}\) \((0,1,0)\text{,}\) and \((0,0,1)\) is shown at left in Figure 11.3.1. If we place one vertex at the origin and let vectors \(\va\text{,}\) \(\vb\text{,}\) and \(\vc\) be determined by the edges of the tetrahedron that have one end at the origin, then a formula that tells us the volume \(V\) of the tetrahedron is
Use the formula (11.3.1) to find the volume of the tetrahedron \(T\text{.}\)

Instead of memorizing or looking up the formula for the volume of a tetrahedron, we can use a double integral to calculate the volume of the tetrahedron \(T\text{.}\) To see how, notice that the top face of the tetrahedron \(T\) is the plane whose equation is
\begin{equation*} z = 1(x+y). \end{equation*}Provided that we can use an iterated integral on a nonrectangular region, the volume of the tetrahedron will be given by an iterated integral of the form
\begin{equation*} \int_{x=?}^{x=?} \int_{y=?}^{y=?} 1(x+y) \, dy \, dx. \end{equation*}The issue that is new here is how we find the limits on the integrals; note that the outer integral's limits are in \(x\text{,}\) while the inner ones are in \(y\text{,}\) since we have chosen \(dA = dy \, dx\text{.}\) To see the domain over which we need to integrate, think of standing way above the tetrahedron looking straight down on it, which means we are projecting the entire tetrahedron onto the \(xy\)plane. The resulting domain is the triangular region shown at right in Figure 11.3.1. Explain why we can represent the triangular region with the inequalities
\begin{equation*} 0 \leq y \leq 1x \ \ \ \text{ and } \ \ \ 0 \leq x \leq 1. \end{equation*}(Hint: Consider the cross sectional slice shown at right in Figure 11.3.1.)

Explain why it makes sense to now write the volume integral in the form
\begin{equation*} \int_{x=?}^{x=?} \int_{y=?}^{y=?} 1(x+y) \, dy \, dx = \int_{x=0}^{x=1} \int_{y=0}^{y=1x} 1(x+y) \, dy \, dx. \end{equation*} 
Use the Fundamental Theorem of Calculus to evaluate the iterated integral
\begin{equation*} \int_{x=0}^{x=1} \int_{y=0}^{y=1x} 1(x+y) \, dy \, dx \end{equation*}and compare to your result from part (a). (As with iterated integrals over rectangular regions, start with the inner integral.)
Subsection 11.3.1 Double Integrals over General Regions
So far, we have learned that a double integral over a rectangular region may be interpreted in one of two ways:
\(\iint_R f(x,y) \, dA\) tells us the volume of the solids the graph of \(f\) bounds above the \(xy\)plane over the rectangle \(R\) minus the volume of the solids the graph of \(f\) bounds below the \(xy\)plane under the rectangle \(R\text{;}\)
\(\frac{1}{A(R)} \iint_R f(x,y) \, dA\text{,}\) where \(A(R)\) is the area of \(R\) tells us the average value of the function \(f\) on \(R\text{.}\) If \(f(x, y) \geq 0\) on \(R\text{,}\) we can interpret this average value of \(f\) on \(R\) as the height of the box with base \(R\) that has the same volume as the volume of the surface defined by \(f\) over \(R\text{.}\)
As we saw in Preview Activity 11.1.1, a function \(f = f(x,y)\) may be considered over regions other than rectangular ones, and thus we want to understand how to set up and evaluate double integrals over nonrectangular regions. Note that if we can, then the two interpretations of the double integral noted above will naturally extend to solid regions with nonrectangular bases.
So, suppose \(f\) is a continuous function on a closed, bounded domain \(D\text{.}\) For example, consider \(D\) as the circular domain shown at left in Figure 11.3.2.
We can enclose \(D\) in a rectangular domain \(R\) as shown at right in Figure 11.3.2 and extend the function \(f\) to be defined over \(R\) in order to be able to use the definition of the double integral over a rectangle. We extend \(f\) in such a way that its values at the points in \(R\) that are not in \(D\) contribute 0 to the value of the integral. In other words, define a function \(F = F(x, y)\) on \(R\) as
We then say that the double integral of \(f\) over \(D\) is the same as the double integral of \(F\) over \(R\text{,}\) and thus
In practice, we just ignore everything that is in \(R\) but not in \(D\text{,}\) since these regions contribute 0 to the value of the integral.
Just as with double integrals over rectangles, a double integral over a domain \(D\) can be evaluated as an iterated integral. If the region \(D\) can be described by the inequalities \(g_1(x) \leq y \leq g_2(x)\) and \(a \leq x \leq b\text{,}\) where \(g_1=g_1(x)\) and \(g_2=g_2(x)\) are functions of only \(x\text{,}\) then
Alternatively, if the region \(D\) is described by the inequalities \(h_1(y) \leq x \leq h_2(y)\) and \(c \leq y \leq d\text{,}\) where \(h_1=h_1(y)\) and \(h_2=h_2(y)\) are functions of only \(y\text{,}\) we have
The structure of an iterated integral is of particular note:
In an iterated double integral:
the limits on the outer integral must be constants;
the limits on the inner integral must be constants or in terms of only the remaining variable — that is, if the inner integral is with respect to \(y\text{,}\) then its limits may only involve \(x\) and constants, and vice versa.
We next consider a detailed example.
Example 11.3.3.
Let \(f(x,y) = x^2y\) be defined on the triangle \(D\) with vertices \((0,0)\text{,}\) \((2,0)\text{,}\) and \((2,3)\) as shown at left in Figure 11.3.4.
To evaluate \(\iint_D f(x,y) \, dA\text{,}\) we must first describe the region \(D\) in terms of the variables \(x\) and \(y\text{.}\) We take two approaches.
 Approach 1: Integrate first with respect to \(y\text{.}\)

In this case we choose to evaluate the double integral as an iterated integral in the form
\begin{equation*} \iint_D x^2y \, dA = \int_{x=a}^{x=b} \int_{y=g_1(x)}^{y=g_2(x)} x^2y \, dy \, dx, \end{equation*}and therefore we need to describe \(D\) in terms of inequalities
\begin{equation*} g_1(x) \leq y \leq g_2(x) \ \ \ \ \ \text{ and } \ \ \ \ \ a \leq x \leq b. \end{equation*}Since we are integrating with respect to \(y\) first, the iterated integral has the form
\begin{equation*} \iint_D x^2y \, dA =\int_{x=a}^{x=b} A(x) \, dx, \end{equation*}where \(A(x)\) is a cross sectional area in the \(y\) direction. So we are slicing the domain perpendicular to the \(x\)axis and want to understand what a cross sectional area of the overall solid will look like. Several slices of the domain are shown in the middle image in Figure 11.3.4. On a slice with fixed \(x\) value, the \(y\) values are bounded below by 0 and above by the \(y\) coordinate on the hypotenuse of the right triangle. Thus, \(g_1(x) = 0\text{;}\) to find \(y = g_2(x)\text{,}\) we need to write the hypotenuse as a function of \(x\text{.}\) The hypotenuse connects the points (0,0) and (2,3) and hence has equation \(y = \frac{3}{2}x\text{.}\) This gives the upper bound on \(y\) as \(g_2(x) = \frac{3}{2}x\text{.}\) The leftmost vertical cross section is at \(x=0\) and the rightmost one is at \(x=2\text{,}\) so we have \(a=0\) and \(b=2\text{.}\) Therefore,
\begin{equation*} \iint_D x^2y \, dA = \int_{x=0}^{x=2} \int_{y=0}^{y = \frac32 x} x^2y \, dy \, dx. \end{equation*}We evaluate the iterated integral by applying the Fundamental Theorem of Calculus first to the inner integral, and then to the outer one, and find that
\begin{align*} \int_{x=0}^{x=2} \int_{y=0}^{y=\frac32 x} x^2y \, dy \, dx \amp = \int_{x=0}^{x=2} \left[x^2 \cdot \frac{y^2}{2}\right]\biggm_{y=0}^{y=\frac32 x} \, dx\\ \amp = \int_{x=0}^{x=2} \frac{9}{8}x^4\, dx\\ \amp = \frac{9}{8}\frac{x^5}{5}\biggm_{x=0}^{x=2}\\ \amp = \left(\frac{9}{8}\right) \left(\frac{32}{5}\right)\\ \amp = \frac{36}{5}. \end{align*}  Approach 2: Integrate first with respect to \(x\text{.}\)

In this case, we choose to evaluate the double integral as an iterated integral in the form
\begin{equation*} \iint_D x^2y \, dA = \int_{y=c}^{y=d} \int_{x=h_1(y)}^{x=h_2(y)} x^2y \, dx \, dy \end{equation*}and thus need to describe \(D\) in terms of inequalities
\begin{equation*} h_1(y) \leq x \leq h_2(y) \ \ \ \ \ \text{ and } \ \ \ \ \ c \leq y \leq d. \end{equation*}Since we are integrating with respect to \(x\) first, the iterated integral has the form
\begin{equation*} \iint_D x^2y \, dA = \int_c^d A(y) \, dy, \end{equation*}where \(A(y)\) is a cross sectional area of the solid in the \(x\) direction. Several slices of the domain — perpendicular to the \(y\)axis — are shown at right in Figure 11.3.4. On a slice with fixed \(y\) value, the \(x\) values are bounded below by the \(x\) coordinate on the hypotenuse of the right triangle and above by 2. So \(h_2(y) = 2\text{;}\) to find \(h_1(y)\text{,}\) we need to write the hypotenuse as a function of \(y\text{.}\) Solving the earlier equation we have for the hypotenuse (\(y = \frac32 x\)) for \(x\) gives us \(x = \frac{2}{3}y\text{.}\) This makes \(h_1(y) = \frac{2}{3}y\text{.}\) The lowest horizontal cross section is at \(y=0\) and the uppermost one is at \(y=3\text{,}\) so we have \(c=0\) and \(d=3\text{.}\) Therefore,
\begin{equation*} \iint_D x^2y \, dA = \int_{y=0}^{y=3} \int_{x=(2/3)y}^{x=2} x^2y \, dx \, dy. \end{equation*}We evaluate the resulting iterated integral as before by twice applying the Fundamental Theorem of Calculus, and find that
\begin{align*} \int_{y=0}^{y=3} \int_{x=\frac{2}{3}y}^{2} x^2y \, dx \, dy \amp = \int_{y=0}^{y=3} \left[\frac{x^3}{3}\right]\biggm_{x=\frac{2}{3}y}^{x=2}y \, dx\\ \amp = \int_{y=0}^{y=3} \left[\frac{8}{3}y  \frac{8}{81}y^4 \right] \, dy\\ \amp = \left[\frac{8}{3}\frac{y^2}{2}  \frac{8}{81}\frac{y^5}{5}\right]\biggm_{y=0}^{y=3}\\ \amp = \left(\frac{8}{3}\right) \left(\frac{9}{2}\right)  \left(\frac{8}{81}\right) \left(\frac{243}{5}\right)\\ \amp = 12  \frac{24}{5}\\ \amp = \frac{36}{5}. \end{align*}
We see, of course, that in the situation where \(D\) can be described in two different ways, the order in which we choose to set up and evaluate the double integral doesn't matter, and the same value results in either case.
The meaning of a double integral over a nonrectangular region, \(D\text{,}\) parallels the meaning over a rectangular region. In particular,
\(\iint_D f(x,y) \, dA\) tells us the volume of the solids the graph of \(f\) bounds above the \(xy\)plane over the closed, bounded region \(D\) minus the volume of the solids the graph of \(f\) bounds below the \(xy\)plane under the region \(D\text{;}\)
\(\frac{1}{A(D)} \iint_R f(x,y) \, dA\text{,}\) where \(A(D)\) is the area of \(D\) tells us the average value of the function \(f\) on \(D\text{.}\) If \(f(x, y) \geq 0\) on \(D\text{,}\) we can interpret this average value of \(f\) on \(D\) as the height of the solid with base \(D\) and constant crosssectional area \(D\) that has the same volume as the volume of the surface defined by \(f\) over \(D\text{.}\)
Activity 11.3.2.
Consider the double integral \(\iint_D (4x2y) \, dA\text{,}\) where \(D\) is the triangular region with vertices (0,0), (4,0), and (0,2).
Write the given integral as an iterated integral of the form \(\iint_D (4x2y) \, dy \, dx\text{.}\) Draw a labeled picture of \(D\) with relevant cross sections.
Write the given integral as an iterated integral of the form \(\iint_D (4x2y) \, dx \, dy\text{.}\) Draw a labeled picture of \(D\) with relevant cross sections.
Evaluate the two iterated integrals from (a) and (b), and verify that they produce the same value. Give at least one interpretation of the meaning of your result.
Activity 11.3.3.
Consider the iterated integral \(\int_{x=0}^{x=1} \int_{y=x}^{y=\sqrt{x}} (4x+10y) \, dy \, dx\text{.}\)

Sketch the region of integration, \(D\text{,}\) for which
\begin{equation*} \iint_D (4x + 10y) \, dA = \int_{x=0}^{x=1} \int_{y=x}^{y=\sqrt{x}} (4x+10y) \, dy \, dx. \end{equation*} 
Determine the equivalent iterated integral that results from integrating in the opposite order (\(dx \, dy\text{,}\) instead of \(dy \, dx\)). That is, determine the limits of integration for which
\begin{equation*} \iint_D (4x + 10y) \, dA = \int_{y=?}^{y=?} \int_{x=?}^{x=?} (4x+10y) \, dx \, dy. \end{equation*} Evaluate one of the two iterated integrals above. Explain what the value you obtained tells you.
Set up and evaluate a single definite integral to determine the exact area of \(D\text{,}\) \(A(D)\text{.}\)
Determine the exact average value of \(f(x,y) = 4x + 10y\) over \(D\text{.}\)
Activity 11.3.4.
Consider the iterated integral \(\int_{x=0}^{x=4} \int_{y=x/2}^{y=2} e^{y^2} \, dy \, dx\text{.}\)
Explain why we cannot find a simple antiderivative for \(e^{y^2}\) with respect to \(y\text{,}\) and thus are unable to evaluate \(\int_{x=0}^{x=4} \int_{y=x/2}^{y=2} e^{y^2} \, dy \, dx\) in the indicated order using the Fundamental Theorem of Calculus.
Given that \(\iint_D e^{y^2} \, dA = \int_{x=0}^{x=4} \int_{y=x/2}^{y=2} e^{y^2} \, dy \, dx\text{,}\) sketch the region of integration, \(D\text{.}\)
Rewrite the given iterated integral in the opposite order, using \(dA = dx \, dy\text{.}\) (Hint: You may need more than one integral.)
Use the Fundamental Theorem of Calculus to evaluate the iterated integral you developed in (d). Write one sentence to explain the meaning of the value you found.
What is the important lesson this activity offers regarding the order in which we set up an iterated integral?
Subsection 11.3.2 Summary
For a double integral \(\iint_D f(x,y) \, dA\) over a nonrectangular region \(D\text{,}\) we enclose \(D\) in a rectangle \(R\) and then extend integrand \(f\) to a function \(F\) so that \(F(x,y) = 0\) at all points in \(R\) outside of \(D\) and \(F(x,y) = f(x,y)\) for all points in \(D\text{.}\) We then define \(\iint_D f(x,y) \, dA\) to be equal to \(\iint_R F(x,y) \, dA\text{.}\)

In an iterated double integral, the limits on the outer integral must be constants while the limits on the inner integral must be constants or in terms of only the remaining variable. In other words, an iterated double integral has one of the following forms (which result in the same value):
\begin{equation*} \int_{x=a}^{x=b} \int_{y=g_1(x)}^{y=g_2(x)} f(x,y) \, dy \, dx, \end{equation*}where \(g_1=g_1(x)\) and \(g_2=g_2(x)\) are functions of \(x\) only and the region \(D\) is described by the inequalities \(g_1(x) \leq y \leq g_2(x)\) and \(a \leq x \leq b\) or
\begin{equation*} \int_{y=c}^{y=d} \int_{x=h_1(y)}^{x=h_2(y)} f(x,y) \, dx \, dy, \end{equation*}where \(h_1=h_1(y)\) and \(h_2=h_2(y)\) are functions of \(y\) only and the region \(D\) is described by the inequalities \(h_1(y) \leq x \leq h_2(y)\) and \(c \leq y \leq d\text{.}\)
Exercises 11.3.3 Exercises
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
For each of the following iterated integrals,
sketch the region of integration,
write an equivalent iterated integral expression in the opposite order of integration,
choose one of the two orders and evaluate the integral.
\(\int_{x=0}^{x=1} \int_{y=x^2}^{y=x} xy \, dy \, dx\)
\(\int_{y=0}^{y=2} \int_{x=\sqrt{4y^2}}^{x=0} xy \, dx \, dy\)
\(\int_{x=0}^{x=1} \int_{y=x^4}^{y=x^{1/4}} x+y \, dy \, dx\)
\(\int_{y=0}^{y=2} \int_{x=y/2}^{x=2y} x+y \, dx \, dy\)
12.
The temperature at any point on a metal plate in the \(xy\)plane is given by \(T(x,y) = 1004x^2  y^2\text{,}\) where \(x\) and \(y\) are measured in inches and \(T\) in degrees Celsius. Consider the portion of the plate that lies on the region \(D\) that is the finite region that lies between the parabolas \(x = y^2\) and \(x = 3  2y^2\text{.}\)
Construct a labeled sketch of the region \(D\text{.}\)
Set up an iterated integral whose value is \(\iint_D T(x,y) \, dA\text{,}\) using \(dA = dx dy\text{.}\) (Hint: It is possible that more than one integral is needed.)
Set up an integrated integral whose value is \(\iint_D T(x,y) \, dA\text{,}\) using \(dA = dy dx\text{.}\) (Hint: It is possible that more than one integral is needed.)
Use the Fundamental Theorem of Calculus to evaluate the integrals you determined in (b) and (c).
Determine the exact average temperature, \(T_{\operatorname{AVG}(D)}\text{,}\) over the region \(D\text{.}\)
13.
Consider the solid that is given by the following description: the base is the given region \(D\text{,}\) while the top is given by the surface \(z = p(x,y)\text{.}\) In each setting below, set up, but do not evaluate, an iterated integral whose value is the exact volume of the solid. Include a labeled sketch of \(D\) in each case.
\(D\) is the interior of the quarter circle of radius 2, centered at the origin, that lies in the second quadrant of the plane; \(p(x,y) = 16x^2y^2\text{.}\)
\(D\) is the finite region between the line \(y = x + 1\) and the parabola \(y = x^2\text{;}\) \(p(x,y) = 10x2y\text{.}\)
\(D\) is the triangular region with vertices \((1,1)\text{,}\) \((2,2)\text{,}\) and \((2,3)\text{;}\) \(p(x,y) = e^{xy}\text{.}\)
\(D\) is the region bounded by the \(y\)axis, \(y = 4\) and \(x = \sqrt{y}\text{;}\) \(p(x,y) = \sqrt{1 + x^2 + y^2}\text{.}\)
14.
Consider the iterated integral \(\displaystyle I = \int_{x=0}^{x=4} \int_{y=\sqrt{x}}^{y=2} \cos(y^3) \, dy \, dx\text{.}\)
Sketch the region of integration.
Write an equivalent iterated integral with the order of integration reversed.
Choose one of the two orders of integration and evaluate the iterated integral you chose by hand. Explain the reasoning behind your choice.
Determine the exact average value of \(\cos(y^3)\) over the region \(D\) that is determined by the iterated integral \(I\text{.}\)