14.2a: Double Integrals Over Rectangular Regions
- Last updated
- Save as PDF
- Page ID
- 30645
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Learning Objectives
- Recognize when a function of two variables is integrable over a rectangular region.
- Recognize and use some of the properties of double integrals.
- Evaluate a double integral over a rectangular region by writing it as an iterated integral.
- Use a double integral to calculate the area of a region, volume under a surface, or average value of a function over a plane region.
In this section we investigate double integrals and show how we can use them to find the volume of a solid over a rectangular region in the xy-plane. Many of the properties of double integrals are similar to those we have already discussed for single integrals.
Volumes and Double Integrals
We begin by considering the space above a rectangular region \(R\). Consider a continuous function \(f(x,y)≥0\) of two variables defined on the closed rectangle \(R\):
\[R=[a,b] \times [c,d]= \left\{(x,y) ∈ \mathbb{R}^2| \, a ≤ x ≤ b, \, c ≤ y ≤ d \right\} \nonumber \]
Here \([a,b] \times [c,d]\) denotes the Cartesian product of the two closed intervals \([a,b]\) and \([c,d]\). It consists of rectangular pairs \((x,y)\) such that \(a≤x≤b\) and \(c≤y≤d\). The graph of \(f\) represents a surface above the \(xy\)-plane with equation \(z = f(x,y)\) where \(z\) is the height of the surface at the point \((x,y)\). Let \(S\) be the solid that lies above \(R\) and under the graph of \(f\) (Figure \(\PageIndex{1}\)). The base of the solid is the rectangle \(R\) in the \(xy\)-plane. We want to find the volume \(V\) of the solid \(S\).
We divide the region \(R\) into small rectangles \(R_{ij}\), each with area \(ΔA\) and with sides \(Δx\) and \(Δy\) (Figure \(\PageIndex{2}\)). We do this by dividing the interval \([a,b]\) into \(m\) subintervals and dividing the interval \([c,d]\) into \(n\) subintervals. Hence \(\Delta x = \frac{b - a}{m}\), \(\Delta y = \frac{d - c}{n}\), and \(\Delta A = \Delta x \Delta y\).
The volume of a thin rectangular box above \(R_{ij}\) is \(f(x_{ij}^*, \, y_{ij}^*)\,\Delta A\), where (\(x_{ij}^*, \, y_{ij}^*\)) is an arbitrary sample point in each \(R_{ij}\) as shown in the following figure, \(f(x_{ij}^*, \, y_{ij}^*)\) is the height of the corresponding thin rectangular box, and \(\Delta A\) is the area of each rectangle \(R_{ij}\).
Using the same idea for all the subrectangles, we obtain an approximate volume of the solid S as
\[V \approx \sum_{i=1}^m \sum_{j=1}^n f(x_{ij}^*, \, y_{ij}^*)\Delta A. \nonumber \]
This sum is known as a double Riemann sum and can be used to approximate the value of the volume of the solid. Here the double sum means that for each subrectangle we evaluate the function at the chosen point, multiply by the area of each rectangle, and then add all the results.
As we have seen in the single-variable case, we obtain a better approximation to the actual volume if \(m\) and \(n\) become larger.
\[V = \lim_{m,n \rightarrow \infty} \sum_{i=1}^m \sum_{j=1}^n f(x_{ij}^*, \, y_{ij}^*) \Delta A \nonumber \]
or
\[V=\lim_{\Delta x, \, \Delta y \rightarrow 0} \sum_{i=1}^m \sum_{j=1}^n f(x_{ij}^*, \, y_{ij}^*)\Delta A. \nonumber \]
Note that the sum approaches a limit in either case and the limit is the volume of the solid with the base \(R\). Now we are ready to define the double integral.
Definition: Double Integral over a Rectangular Region R
The double integral of the function \(f(x, \, y)\) over the rectangular region \(R\) in the \(xy\)-plane is defined as
\[\iint_R f(x, \, y) dA = \lim_{m,n \rightarrow \infty} \sum_{i=1}^m \sum_{j=1}^n f(x_{ij}^*, \, y_{ij}^*)\Delta A. \nonumber \]
If \(f(x,y)\geq 0\), then the volume \(V\) of the solid \(S\), which lies above \(R\) in the \(xy\)-plane and under the graph of \(f\), is the double integral of the function \(f(x,y)\) over the rectangle \(R\). If the function is ever negative, then the double integral can be considered a “signed” volume in a manner similar to the way we defined net signed area in The Definite Integral.
Example \(\PageIndex{1}\): Setting up a Double Integral and Approximating It by Double Sums
Consider the function \(z = f(x, \, y) = 3x^2 - y\) over the rectangular region \(R = [0, 2] \times [0, 2]\) (Figure \(\PageIndex{4}\)).
- Set up a double integral for finding the value of the signed volume of the solid \(S\) that lies above \(R\) and “under” the graph of \(f\).
- Divide \(R\) into four squares with \(m = n = 2\), and choose the sample point as the upper right corner point of each square (1,1),(2,1),(1,2), and (2,2) (Figure \(\PageIndex{4}\)) to approximate the signed volume of the solid \(S\) that lies above \(R\) and “under” the graph of \(f\).
- Divide \(R\) into four squares with \(m = n = 2\), and choose the sample point as the midpoint of each square: (1/2, 1/2), (3/2, 1/2), (1/2,3/2), and (3/2, 3/2) to approximate the signed volume.
Solution
- As we can see, the function \(z = f(x,y) = 3x^2 - y\) is above the plane. To find the signed volume of \(S\), we need to divide the region \(R\) into small rectangles \(R_{ij}\), each with area \(ΔA\) and with sides \(Δx\) and \(Δy\), and choose \((x_{ij}^*, y_{ij}^*)\) as sample points in each \(R_{ij}\). Hence, a double integral is set up as
\[V = \iint_R (3x^2 - y) dA = \lim_{m,n→∞} \sum_{i=1}^m \sum_{j=1}^n [3(x_{ij}^*)^2 - y_{ij}^*] \Delta A. \nonumber \]
- Approximating the signed volume using a Riemann sum with \(m = n = 2\) we have \(\Delta A = \Delta x \Delta y = 1 \times 1 = 1\). Also, the sample points are (1, 1), (2, 1), (1, 2), and (2, 2) as shown in the following figure.
Hence,
\[\begin{align*} V &\approx \sum_{i=1}^2 \sum_{j=1}^2 f(x_{ij}^*, y_{ij}^*)\Delta A \\[4pt]
&= \sum_{i=1}^2 (f (x_{i1}^*, y_{i1}^*) + f (x_{i2}^*, y_{i2}^*))\Delta A \\[4pt]
&=f(x_{11}^*, y_{11}^*)\Delta A + f(x_{21}^*, y_{21}^*)\Delta A + f(x_{12}^*, y_{12}^*)\Delta A + f(x_{22}^*, y_{22}^*)\Delta A \\[4pt]
&= f(1,1)(1) + f(2,1)(1) + f(1,2)(1) + f(2,2)(1) \\[4pt]
&= (3 - 1)(1) + (12 - 1)(1) + (3 - 2)(1) + (12 - 2)(1) \\[4pt]
&= 2 + 11 + 1 + 10 = 24. \end{align*}\]
- Approximating the signed volume using a Riemann sum with \(m = n = 2\) we have\(\Delta A = \Delta x \Delta y = 1 \times 1 = 1\). In this case the sample points are (1/2, 1/2), (3/2, 1/2), (1/2, 3/2), and (3/2, 3/2).
Hence,
\[\begin{align*}V &\approx \sum_{i=1}^2 \sum_{j=1}^2 f(x_{ij}^*, y_{ij}^*)\Delta A \\[4pt]
&=f(x_{11}^*, y_{11}^*)\Delta A + f(x_{21}^*, y_{21}^*)\Delta A + f(x_{12}^*, y_{12}^*)\Delta A + f(x_{22}^*, y_{22}^*)\Delta A \\[4pt]
&= f(1/2,1/2)(1) + f(3/2,1/2)(1) + f(1/2,3/2)(1) + f(3/2,3/2)(1) \\[4pt]
&= \left(\frac{3}{4} - \frac{1}{4}\right) (1) + \left(\frac{27}{4} - \frac{1}{2}\right)(1) + \left(\frac{3}{4} - \frac{3}{2}\right)(1) + \left(\frac{27}{4} - \frac{3}{2}\right)(1) \\[4pt]
&= \frac{2}{4} + \frac{25}{4} + \left(-\frac{3}{4}\right) + \frac{21}{4} = \frac{45}{4} = 11. \end{align*}\]
Analysis
Notice that the approximate answers differ due to the choices of the sample points. In either case, we are introducing some error because we are using only a few sample points. Thus, we need to investigate how we can achieve an accurate answer.
Exercise \(\PageIndex{1}\)
Use the same function\(z = f(x, y) = 3x^2 - y\) over the rectangular region \(R=[0,2]×[0,2]\).
Divide \(R\) into the same four squares with \(m = n = 2\), and choose the sample points as the upper left corner point of each square (0,1), (1,1), (0,2), and (1,2) (Figure \(\PageIndex{5}\)) to approximate the signed volume of the solid \(S\) that lies above \(R\) and “under” the graph of \(f\).
- Hint
-
Follow the steps of the previous example.
- Answer
-
\[V \approx \sum_{i=1}^2 \sum_{j=1}^2 f(x_{ij}^*, y_{ij}^*)\,\Delta A = 0 \nonumber \]
Note that we developed the concept of double integral using a rectangular region \(R\). This concept can be extended to any general region. However, when a region is not rectangular, the subrectangles may not all fit perfectly into \(R\), particularly if the base area is curved. We examine this situation in more detail in the next section, where we study regions that are not always rectangular and subrectangles may not fit perfectly in the region \(R\). Also, the heights may not be exact if the surface \(z=f(x,y)\) is curved. However, the errors on the sides and the height where the pieces may not fit perfectly within the solid \(S\) approach 0 as \(m\) and \(n\) approach infinity. Also, the double integral of the function \(z=f(x,y)\) exists provided that the function \(f\) is not too discontinuous. If the function is bounded and continuous over \(R\) except on a finite number of smooth curves, then the double integral exists and we say that ff is integrable over \(R\).
Since \(\Delta A = \Delta x \Delta y = \Delta y \Delta x\), we can express \(dA\) as \(dx \, dy\) or \(dy \, dx\). This means that, when we are using rectangular coordinates, the double integral over a region \(R\) denoted by
\[\iint_R f(x,y)\,dA \nonumber \]
can be written as
\[\iint_R f(x,y)\,dx\,dy \nonumber \]
or
\[\iint_R f(x,y)\,dy\,dx. \nonumber \]
Now let’s list some of the properties that can be helpful to compute double integrals.
Properties of Double Integrals
The properties of double integrals are very helpful when computing them or otherwise working with them. We list here six properties of double integrals. Properties 1 and 2 are referred to as the linearity of the integral, property 3 is the additivity of the integral, property 4 is the monotonicity of the integral, and property 5 is used to find the bounds of the integral. Property 6 is used if \(f(x,y)\) is a product of two functions \(g(x)\) and \(h(y)\).
Theorem: Properties of Double Integrals
Assume that the functions \(f(x,y)\) and \(g(x,y)\) are integrable over the rectangular region \(R\); \(S\) and \(T\) are subregions of \(R\); and assume that \(m\) and \(M\) are real numbers.
- The sum \(f(x,y)+g(x,y)\) is integrable and
\[\iint_R [f(x, y) + g(x, y)]\,dA = \iint_R f(x,y)\, dA + \iint_R g(x, y) \,dA. \nonumber \]
- If c is a constant, then \(cf(x,y)\) is integrable and
\[\iint_R cf(x,y)\,dA = c\iint_R f(x,y)\,dA. \nonumber \]
- If \(R=S∪T\) and \(S∩T=∅\) except an overlap on the boundaries, then
\[\iint_R f(x,y)\,dA = \iint_S f(x,y) \,dA + \iint_T f(x,y)\, dA. \nonumber \]
- If \(f(x,y) \geq g(x,y)\) for \((x,y)\) in \(R\), then
\[\iint_R f(x,y)\,dA \geq \iint_R g(x,y)\,dA. \nonumber \]
- If \(m \leq f(x,y) \leq M\) and \(A(R) = \, \text{the area of}\,R\), then
\[m \cdot A(R) \leq \iint_R f(x,y)\,dA \leq M \cdot A(R). \nonumber \]
- In the case where \(f(x,y)\) can be factored as a product of a function \(g(x)\) of \(x\) only and a function \(h(y)\) of \(y\) only, then over the region \(R = \big\{(x,y) \,|\,a \leq x \leq b, \, c \leq y \leq d \big\}\), the double integral can be written as
\[\iint_R f(x,y)\,dA = \left(\int_a^b g(x)\,dx \right)\left(\int_c^d h(y) \,dy \right). \nonumber \]
These properties are used in the evaluation of double integrals, as we will see later. We will become skilled in using these properties once we become familiar with the computational tools of double integrals. So let’s get to that now.
Iterated Integrals
So far, we have seen how to set up a double integral and how to obtain an approximate value for it. We can also imagine that evaluating double integrals by using the definition can be a very lengthy process if we choose larger values for \(m\) and \(n\).Therefore, we need a practical and convenient technique for computing double integrals. In other words, we need to learn how to compute double integrals without employing the definition that uses limits and double sums.
The basic idea is that the evaluation becomes easier if we can break a double integral into single integrals by integrating first with respect to one variable and then with respect to the other. The key tool we need is called an iterated integral.
Definitions: Iterated Integrals
Assume \(a\), \(b\), \(c\), and \(d\) are real numbers. We define an iterated integral for a function \(f(x,y)\) over the rectangular region \(R =[a,b]×[c,d]\) as
\[\int_a^b\int_c^d f(x,y)\,dy \, dx = \int_a^b \left[\int_c^d f(x,y)\,dy \right] dx \nonumber \]
or
\[\int_c^d \int_a^b f(x,y)\,dx \, dy = \int_c^d \left[\int_a^b f(x,y)\,dx \right] dy. \nonumber \]
The notation \(\int_a^b \left[\int_c^d f(x,y)\,dy \right] dx\) means that we integrate \(f(x,y)\) with respect to \(y\) while holding \(x\) constant. Similarly, the notation \(\int_c^d \left[\int_a^b f(x,y)\,dx \right] dy\) means that we integrate \(f(x,y)\) with respect to \(x\) while holding \(y\) constant. The fact that double integrals can be split into iterated integrals is expressed in Fubini’s theorem. Think of this theorem as an essential tool for evaluating double integrals.
Theorem: Fubini's Theorem
Suppose that \(f(x,y)\) is a function of two variables that is continuous over a rectangular region \(R = \big\{(x,y) ∈ \mathbb{R}^2 | \, a \leq x \leq b, \, c \leq y \leq d \big\}\). Then we see from Figure \(\PageIndex{6}\) that the double integral of \(f\) over the region equals an iterated integral,
\[\iint_R f(x,y)\,dA = \iint_R f(x,y)\,dx \, dy = \int_a^b \int_c^d f(x,y)\,dy \, dx = \int_c^d \int_a^b f(x,y)\,dx \, dy. \nonumber \]
More generally, Fubini’s theorem is true if \(f\) is bounded on \(R\) and \(f\) is discontinuous only on a finite number of continuous curves. In other words, \(f\) has to be integrable over \(R\).
Example \(\PageIndex{2}\): Using Fubini’s Theorem
Use Fubini’s theorem to compute the double integral \(\displaystyle \iint_R f(x,y) \,dA\) where \(f(x,y) = x\) and \(R = [0, 2] \times [0, 1]\).
Solution
Fubini’s theorem offers an easier way to evaluate the double integral by the use of an iterated integral. Note how the boundary values of the region \(R\) become the upper and lower limits of integration.
\[\begin{align*} \iint_R f(x,y) \,dA &= \iint_R f(x,y) \,dx \, dy \\[4pt]
&= \int_{y=0}^{y=1} \int_{x=0}^{x=2} x \, dx \, dy\\[4pt]
&= \int_{y=0}^{y=1} \left[\frac{x^2}{2}\bigg|_{x=0}^{x=2} \right] \,dy \\[4pt]
&= \int_{y=0}^{y=1} 2 \,dy = 2y\bigg|_{y=0}^{y=1} = 2 \end{align*}\]
The double integration in this example is simple enough to use Fubini’s theorem directly, allowing us to convert a double integral into an iterated integral. Consequently, we are now ready to convert all double integrals to iterated integrals and demonstrate how the properties listed earlier can help us evaluate double integrals when the function \(f(x,y)\) is more complex. Note that the order of integration can be changed (see Example 7).
Example \(\PageIndex{3}\): Illustrating Properties i and ii
Evaluate the double integral \[\iint_R (xy - 3xy^2) \,dA, \, \text{where} \, R = \big\{(x,y) \,| \, 0 \leq x \leq 2, \, 1 \leq y \leq 2 \big\}.\nonumber \]
Solution
This function has two pieces: one piece is \(xy\) and the other is \(3xy^2\). Also, the second piece has a constant 3. Notice how we use properties i and ii to help evaluate the double integral.
\[\begin{align*} \iint_R (xy - 3xy^2) \,dA &= \iint_R xy \, dA + \iint_R (-3xy^2)\,dA & & \text{Property i: Integral of a sum is the sum of the integrals.} \\[4pt]
&= \int_{y=1}^{y=2} \int_{x=0}^{x=2} xy \, dx \, dy - \int_{y=1}^{y=2} \int_{x=0}^{x=2} 3xy^2 \, dx \, dy & & \text{Convert double integrals to iterated integrals.} \\[4pt]
&=\int_{y=1}^{y=2} \left(\frac{x^2}{2}y\right) \bigg|_{x=0}^{x=2} \,dy - 3\int_{y=1}^{y=2}\left(\frac{x^2}{2}y^2\right)\bigg|_{x=0}^{x=2} \,dy & & \text{Integrate with respect to $x$, holding $y$ constant.} \\[4pt]
&= \int_{y=1}^{y=2}2y \, dy - \int_{y=1}^{y=2} 6y^2 dy & & \text{Property ii: Placing the constant before the integral.} \\[4pt]
&= 2\int_1^2 y \, dy - 6\int_1^2 y^2 \, dy & & \text{Integrate with respect to y.} \\[4pt]
&= 2\frac{y^2}{2} \bigg|_1^2 - 6\frac{y^3}{3} \bigg|_1^2 \\[4pt]
&=y^2\bigg|_1^2 - 2y^3\bigg|_1^2 \\[4pt]
&=(4−1) − 2(8−1) = 3 − 2(7) = 3 − 14 = −11. \end{align*}\]
Example \(\PageIndex{4}\): Illustrating Property v.
Over the region \(R = \big\{(x,y)\,| \, 1 \leq x \leq 3, \, 1 \leq y \leq 2 \big\}\), we have \(2 \leq x^2 + y^2 \leq 13\). Find a lower and an upper bound for the integral \(\displaystyle \iint_R (x^2 + y^2)\,dA.\)
Solution
For a lower bound, integrate the constant function 2 over the region \(R\). For an upper bound, integrate the constant function 13 over the region \(R\).
\[\begin{align*} \int_1^2 \int_1^3 2 \,dx \, dy &= \int_1^2 [2x\bigg|_1^3] \,dy = \int_1^2 2(2)dy = 4y\bigg|_1^2 = 4(2 - 1) = 4 \\[4pt] \int_1^2 \int_1^3 13dx \, dy &= \int_1^2 [13x\bigg|_1^3] \,dy = \int_1^2 13(2)\,dy = 26y\bigg|_1^2 = 26(2 - 1) = 26. \end{align*}\]
Hence, we obtain \(\displaystyle 4 \leq \iint_R (x^2 + y^2) \,dA \leq 26.\)
Example \(\PageIndex{5}\): Illustrating Property vi
Evaluate the integral \(\displaystyle \iint_R e^y \cos x \, dA\) over the region \(R = \big\{(x,y)\,| \, 0 \leq x \leq \frac{\pi}{2}, \, 0 \leq y \leq 1 \big\}\).
Solution
This is a great example for property vi because the function \(f(x,y)\) is clearly the product of two single-variable functions \(e^y\) and \(\cos x\). Thus we can split the integral into two parts and then integrate each one as a single-variable integration problem.
\[\begin{align*} \iint_R e^y \cos x \, dA &= \int_0^1 \int_0^{\pi/2} e^y \cos x \, dx \, dy \\[4pt]
&= \left(\int_0^1 e^y dy\right)\left( \int_0^{\pi/2} \cos x \, dx\right) \\[4pt]
&= (e^y\bigg|_0^1) (\sin x\bigg|_0^{\pi/2}) \\[4pt]
&= e - 1. \end{align*}\]
Exercise \(\PageIndex{2}\)
a. Use the properties of the double integral and Fubini’s theorem to evaluate the integral
\[\int_0^1 \int_{-1}^3 (3 - x + 4y) \,dy \, dx. \nonumber \]
b. Show that \(\displaystyle 0 \leq \iint_R \sin \pi x \, \cos \pi y \, dA \leq \frac{1}{32}\) where \(R = \left(0, \frac{1}{4}\right)\left(\frac{1}{4}, \frac{1}{2}\right)\).
- Hint
-
Use properties i. and ii. and evaluate the iterated integral, and then use property v.
- Answer
-
a. \(26\)
b. Answers may vary.
As we mentioned before, when we are using rectangular coordinates, the double integral over a region \(R\) denoted by \(\iint_R f(x,y) \, dA\) can be written as \(\iint_R\, f(x,y) \, dx \, dy\) or \(\iint_R \, f(x,y) \,dy \, dx.\) The next example shows that the results are the same regardless of which order of integration we choose.
Example \(\PageIndex{6}\): Evaluating an Iterated Integral in Two Ways
Let’s return to the function \(f(x,y) = 3x^2 - y\) from Example 1, this time over the rectangular region \(R = [0,2] \times [0,3]\). Use Fubini’s theorem to evaluate \(\iint_R f(x,y) \,dA\) in two different ways:
- First integrate with respect to \(y\) and then with respect to \(x\);
- First integrate with respect to \(x\) and then with respect to \(y\).
Solution
Figure \(\PageIndex{6}\) shows how the calculation works in two different ways.
- First integrate with respect to \(y\) and then integrate with respect to \(x\):
\[\begin{align*} \iint_R f(x,y) \,dA &= \int_{x=0}^{x=2} \int_{y=0}^{y=3} (3x^2 - y) \,dy \, dx \\[4pt]
&=\int_{x=0}^{x=2}\left( \int_{y=0}^{y=3} (3x^2 - y) \,dy \right) \, dx = \int_{x=0}^{x=2}\left[3x^2y - \frac{y^2}{2}\bigg|_{y=0}^{y=3}\right] \,dx \\[4pt]
&=\int_{x=0}^{x=2}\left(9x^2 - \frac{9}{2}\right) \, dx = 3x^3 - \frac{9}{2}x \bigg|_{x=0}^{x=2} = 15.\end{align*}\]
- First integrate with respect to \(x\) and then integrate with respect to \(y\):
\[\begin{align*} \iint_R f(x,y) \,dA &= \int_{y=0}^{y=3} \int_{x=0}^{x=2} (3x^2 - y) \,dx \, dy \\[4pt]
&= \int_{y=0}^{y=3}\left( \int_{x=0}^{x=2} (3x^2 - y) \,dx \right) \, dy \\[4pt]
&= \int_{y=0}^{y=3}\left[x^3 - xy\bigg|_{x=0}^{x=2}\right]dy\\[4pt]
&=\int_{y=0}^{y=3}(8 - 2y) \, dy = 8y - y^2 \bigg|_{y=0}^{y=3} = 15.\end{align*}\]
Analysis
With either order of integration, the double integral gives us an answer of \(15\). We might wish to interpret this answer as a volume in cubic units of the solid \(S\) below the function \(f(x,y) = 3x^2 - y\) over the region \(R = [0,2] \times [0,3]\). However, remember that the interpretation of a double integral as a (non-signed) volume works only when the integrand \(f\) is a nonnegative function over the base region \(R\).
Exercise \(\PageIndex{3}\)
Evaluate
\[\int_{y=-3}^{y=2} \int_{x=3}^{x=5} (2 - 3x^2 + y^2) \,dx \, dy. \nonumber \]
- Hint
-
Use Fubini’s theorem.
- Answer
-
\(-\frac{1340}{3}\)
In the next example we see that it can actually be beneficial to switch the order of integration to make the computation easier. We will come back to this idea several times in this chapter.
Example \(\PageIndex{7}\): Switching the Order of Integration
Consider the double integral \(\displaystyle \iint_R x \, \sin (xy) \, dA\) over the region \(R = \big\{(x,y) \,| \, 0 \leq x \leq \pi, \, 1 \leq y \leq 2 \big\}\) (Figure \(\PageIndex{7}\)).
- Express the double integral in two different ways.
- Analyze whether evaluating the double integral in one way is easier than the other and why.
- Evaluate the integral.
- We can express \(\iint_R x \, \sin (xy) \,dA\) in the following two ways: first by integrating with respect to \(y\) and then with respect to \(x\); second by integrating with respect to \(x\) and then with respect to \(y\).
\[\iint_R x \, \sin (xy) \,dA= \int_{x=0}^{x=\pi} \int_{y=1}^{y=2} x \, \sin (xy) \,dy \, dx \nonumber \]
Integrate first with respect to \(y\).
\[= \int_{y=1}^{y=2} \int_{x=0}^{x=\pi} x \, \sin (xy) \,dx \, dy \nonumber \]
Integrate first with respect to \(x\). - If we want to integrate with respect to y first and then integrate with respect to \(x\), we see that we can use the substitution \(u = xy\), which gives \(du = x \, dy\). Hence the inner integral is simply \(\int \sin u \, du\) and we can change the limits to be functions of \(x\),
\[\iint_R x \, \sin (xy) \,dA = \int_{x=0}^{x=\pi} \int_{y=1}^{y=2} x \, \sin (xy) \, dy \, dx = \int_{x=0}^{x=\pi} \left[\int_{u=x}^{u=2x} \sin (u) \,du \right] \, dx.\nonumber \]
However, integrating with respect to \(x\) first and then integrating with respect to \(y\) requires integration by parts for the inner integral, with \(u = x\) and \(dv = \sin(xy)dx\)
Then \(du = dx\) and \(v = - \frac{\cos(xy)}{y}\), so
\[\iint_R x \sin(xy) \,dA = \int_{y=1}^{y=2} \int_{x=0}^{x=\pi} x \sin(xy) \,dx \, dy = \int_{y=1}^{y=2} \left[ - \frac{x \, \cos (xy)}{y} \bigg|_{x=0}^{x=\pi} + \frac{1}{y} \int_{x=0}^{x=\pi} \cos(xy)\,dx \right] \, dy.\nonumber \]
Since the evaluation is getting complicated, we will only do the computation that is easier to do, which is clearly the first method.
- Evaluate the double integral using the easier way.
\[\begin{align*}\iint_R x \, \sin (xy) \,dA &= \int_{x=0}^{x=\pi} \int_{y=1}^{y=2} x \, \sin(xy) \,dy \, dx \\[4pt]
&= \int_{x=0}^{x=\pi} \left[\int_{u=x}^{u=2x} \sin(u)\,du \right] \, dx = \int_{x=0}^{x=\pi} \left[ -\cos u \bigg|_{u=x}^{u=2x}\right] \, dx \\[4pt]
&= \int_{x=0}^{x=\pi} (-\cos 2x + \cos x) \,dx \\[4pt]
&= \left(- \frac{1}{2} \sin 2x + \sin x\right)\bigg|_{x=0}^{x=\pi} = 0. \end{align*}\]
Exercise \(\PageIndex{4}\)
Evaluate the integral \(\displaystyle \iint_R xe^{xy}\,dA\) where \(R = [0,1] \times [0, \ln 5]\).
- Hint
-
Integrate with respect to \(y\) first.
- Answer
-
\(\frac{4 - \ln 5}{\ln 5}\)
Applications of Double Integrals
Double integrals are very useful for finding the area of a region bounded by curves of functions. We describe this situation in more detail in the next section. However, if the region is a rectangular shape, we can find its area by integrating the constant function \(f(x,y) = 1\) over the region \(R\).
Definition: Area of a Region R
The area of the region \(R\) is given by \[A(R) = \iint_R 1 \, dA. \nonumber \]
This definition makes sense because using \(f(x,y) = 1\) and evaluating the integral make it a product of length and width. Let’s check this formula with an example and see how this works.
Example \(\PageIndex{8}\): Finding Area Using a Double Integral
Find the area of the region \(R = \big\{\,(x,y)\,|\,0 \leq x \leq 3, \, 0 \leq y \leq 2\big\}\) by using a double integral, that is, by integrating \(1\) over the region \(R\).
Solution
The region is rectangular with length \(3\) and width \(2\), so we know that the area is \(6\). We get the same answer when we use a double integral:
\[A(R) = \int_0^2 \int_0^3 1 \, dx \, dy = \int_0^2 \left[x\big|_0^3\right] \, dy = \int_0^2 3 dy = 3 \int_0^2 dy = 3y\bigg|_0^2 = 3(2) = 6 \, \text{units}^2.\nonumber \]
We have already seen how double integrals can be used to find the volume of a solid bounded above by a function \(f(x,y) \geq 0\) over a region \(R\) provided \(f(x,y) \geq 0\) for all \((x,y)\) in \(R\). Here is another example to illustrate this concept.
Example \(\PageIndex{9}\): Volume of an Elliptic Paraboloid
Find the volume \(V\) of the solid \(S\) that is bounded by the elliptic paraboloid \(2x^2 + y^2 + z = 27\), the planes \(x = 3\) and \(y = 3\), and the three coordinate planes.
Solution
First notice the graph of the surface \(z = 27 - 2x^2 - y^2\) in Figure \(\PageIndex{8}\)(a) and above the square region \(R_1 = [-3,3] \times [-3,3]\). However, we need the volume of the solid bounded by the elliptic paraboloid \(2x^2 + y^2 + z = 27\), the planes \(x = 3\) and \(y = 3\), and the three coordinate planes.
Now let’s look at the graph of the surface in Figure \(\PageIndex{8}\)(b). We determine the volume \(V\) by evaluating the double integral over \(R_2\):
\[\begin{align*} V &= \iint_R z \,dA = \iint_R (27 - 2x^2 - y^2) \,dA \\[4pt]
&= \int_{y=0}^{y=3} \int_{x=0}^{x=3} (27 - 2x^2 - y^2) \,dx \, dy & & \text{ Convert to literal integral.} \\[4pt]
&= \int_{y=0}^{y=3} [27x - \frac{2}{3} x^3 - y^2x] \bigg|_{x=0}^{x=3} \,dy & & \text{Integrate with respect to $x$.} \\[4pt]
&=\int_{y=0}^{y=3} (63 - 3y^2) dy = 63 y - y^3\bigg|_{y=0}^{y=3} = 162. \end{align*}\]
Exercise \(\PageIndex{5}\)
Find the volume of the solid bounded above by the graph of \(f(x,y) = xy \sin(x^2y)\) and below by the \(xy\)-plane on the rectangular region \(R = [0,1] \times [0,\pi]\).
- Hint
-
Graph the function, set up the integral, and use an iterated integral.
- Answer
-
\(\frac{\pi}{2}\)
Recall that we defined the average value of a function of one variable on an interval \([a,b]\) as
\[f_{ave} = \frac{1}{b - a} \int_a^b f(x) \, dx. \nonumber \]
Similarly, we can define the average value of a function of two variables over a region \(R\). The main difference is that we divide by an area instead of the width of an interval.
Definition: Average Value of a Function
The average value of a function of two variables over a region \(R\) is
\[F_{ave} = \frac{1}{\text{Area of} \, R} \iint_R f(x,y)\, dx \, dy. \nonumber \]
In the next example we find the average value of a function over a rectangular region. This is a good example of obtaining useful information for an integration by making individual measurements over a grid, instead of trying to find an algebraic expression for a function.
Example \(\PageIndex{10}\): Calculating Average Storm Rainfall
The weather map in Figure \(\PageIndex{9}\) shows an unusually moist storm system associated with the remnants of Hurricane Karl, which dumped 4–8 inches (100–200 mm) of rain in some parts of the Midwest on September 22–23, 2010. The area of rainfall measured 300 miles east to west and 250 miles north to south. Estimate the average rainfall over the entire area in those two days.
Solution
Place the origin at the southwest corner of the map so that all the values can be considered as being in the first quadrant and hence all are positive. Now divide the entire map into six rectangles \((m = 2\) and \(n = 3)\), as shown in Figure \(\PageIndex{9}\). Assume \(f(x,y)\) denotes the storm rainfall in inches at a point approximately \(x\) miles to the east of the origin and \(y\) miles to the north of the origin. Let \(R\) represent the entire area of \(250 \times 300 = 75000\) square miles. Then the area of each subrectangle is
\[\Delta A = \frac{1}{6} (75000) = 12500.\nonumber \]
Assume \((x_{ij}*,y_{ij}*)\) are approximately the midpoints of each subrectangle \(R_{ij}\). Note the color-coded region at each of these points, and estimate the rainfall. The rainfall at each of these points can be estimated as:
- At (\(x_{11}, y_{11}\)), the rainfall is 0.08.
- At (\(x_{12}, y_{12}\)), the rainfall is 0.08.
- At (\(x_{13}, y_{13}\)), the rainfall is 0.01.
- At (\(x_{21}, y_{21}\)), the rainfall is 1.70.
- At (\(x_{22}, y_{22}\)), the rainfall is 1.74.
- At (\(x_{23}, y_{23}\)), the rainfall is 3.00.
According to our definition, the average storm rainfall in the entire area during those two days was
\[\begin{align*} f_{ave} = \frac{1}{Area \, R} \iint_R f(x,y) \,dx \, dy &= \frac{1}{75000} \iint_R f(x,y) \,dx \, dy \\[4pt]
&\approx \frac{1}{75000} \sum_{i=1}^3 \sum_{j=1}^2 f(x_{ij}^*, y_{ij}^*) \Delta A \\[4pt]
&= \frac{1}{75000} \Bigg[f(x_{11}^*, y_{11}^*) \Delta A + f(x_{12}^*, y_{12}^*) \Delta A + f(x_{13}^*, y_{13}^*) \Delta A + f(x_{21}^*, y_{21}^*) \Delta A + f(x_{22}^*, y_{22}^*) \Delta A + f(x_{23}^*, y_{23}^*) \Delta A\Bigg] \\[4pt]
&\approx \frac{1}{75000}\Big[0.08 + 0.08 + 0.01 + 1.70 + 1.74 + 3.00\Big]\Delta A\\[4pt]
&= \frac{1}{75000}\Big[0.08 + 0.08 + 0.01 + 1.70 + 1.74 + 3.00\Big]12500 \\[4pt]
&= \frac{1}{6}\Big[0.08 + 0.08 + 0.01 + 1.70 + 1.74 + 3.00\Big] \\[4pt] &\approx 1.10 \;\text{in}. \end{align*}\]
During September 22–23, 2010 this area had an average storm rainfall of approximately 1.10 inches.
Exercise \(\PageIndex{6}\)
A contour map is shown for a function \(f(x,y)\) on the rectangle \(R = [-3,6] \times [-1, 4]\).
a. Use the midpoint rule with \(m = 3\) and \(n = 2\) to estimate the value of \(\displaystyle \iint_R f(x,y) \,dA.\)
b. Estimate the average value of the function \(f(x,y)\).
- Hint
-
Divide the region into six rectangles, and use the contour lines to estimate the values for \(f(x,y)\).
- Answer
-
Answers to both parts a. and b. may vary.
Key Concepts
- We can use a double Riemann sum to approximate the volume of a solid bounded above by a function of two variables over a rectangular region. By taking the limit, this becomes a double integral representing the volume of the solid.
- Properties of double integral are useful to simplify computation and find bounds on their values.
- We can use Fubini’s theorem to write and evaluate a double integral as an iterated integral.
- Double integrals are used to calculate the area of a region, the volume under a surface, and the average value of a function of two variables over a rectangular region.
Key Equations
- \[\iint_R f(x,y) \,dA = \lim_{m,n\rightarrow\infty}\sum_{i=1}^m \sum_{j=1}^n f(x_ij*,y_ij*)\,ΔA\nonumber \]
- \[\int_a^b \int_c^d f(x,y)\,dx \, dy = \int_a^b \left[\int_c^d f(x,y) \,dy \right] dx\nonumber \] or
\[\int_c^d \int_a^b f(x,y)\,dx \, dy = \int_c^d\left[ \int_a^b f(x,y) \,dx \right] dy\nonumber \]
- \[f_{ave} = \frac{1}{\text{Area of}\, R} \iint_R f(x,y) \,dx \, dy\nonumber \]
Glossary
- double integral
- of the function \(f(x,y)\) over the region \(R\) in the \(xy\)-plane is defined as the limit of a double Riemann sum,
- \[ \iint_R f(x,y) \,dA = \lim_{m,n\rightarrow \infty} \sum_{i=1}^m \sum_{j=1}^n f(x_{ij}^*, y_{ij}^*) \,\Delta A.\nonumber \]
- double Riemann sum
- of the function \(f(x,y)\) over a rectangular region \(R\) is
- \[\sum_{i=1}^m \sum_{j=1}^n f(x_{ij}^*, y_{ij}^*) \,\Delta A,\nonumber \]
- where \(R\) is divided into smaller subrectangles \(R_{ij}\) and \((x_{ij}^*, y_{ij}^*)\) is an arbitrary point in \(R_{ij}\)
- Fubini’s theorem
- if \(f(x,y)\) is a function of two variables that is continuous over a rectangular region \(R = \big\{(x,y) \in \mathbb{R}^2 \,|\,a \leq x \leq b, \, c \leq y \leq d\big\}\), then the double integral of \(f\) over the region equals an iterated integral,
- \[\displaystyle\iint_R f(x,y) \, dA = \int_a^b \int_c^d f(x,y) \,dx \, dy = \int_c^d \int_a^b f(x,y) \,dx \, dy\nonumber \]
- iterated integral
- for a function \(f(x,y)\) over the region \(R\) is
a. \(\displaystyle \int_a^b \int_c^d f(x,y) \,dx \, dy = \int_a^b \left[\int_c^d f(x,y) \, dy\right] \, dx,\)
b. \(\displaystyle \int_c^d \int_a^b f(x,y) \, dx \, dy = \int_c^d \left[\int_a^b f(x,y) \, dx\right] \, dy,\)
where \(a,b,c\), and \(d\) are any real numbers and \(R = [a,b] \times [c,d]\)