Double Integrals over Basic Regions: Learn It 1

  • Calculate double integrals when your region is a rectangle
  • Find double integrals over more complex regions
  • Switch the order of integration to make calculations easier

Volumes and Double Integrals

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 [latex]xy[/latex]-plane. Many of the properties of double integrals are similar to those we have already discussed for single integrals.

Let’s begin by reviewing the definite integral from single-variable calculus. This foundation will help us extend the concept to two dimensions.

Recall: Riemann Sums and the Definite Integral

Suppose that [latex]y = f(x)[/latex] is a continuous function and [latex]f(x) \ge 0[/latex] on a closed interval [latex][a,b][/latex]. The area under the curve and above the [latex]x[/latex]-axis can be approximated using rectangles.

To create this approximation, subdivide the interval [latex][a,b][/latex] into [latex]n[/latex] subintervals of width [latex]\Delta x = \frac{b-a}{n}[/latex]. If [latex]x_i^\ast[/latex] denotes a sample point within the [latex]i^{\text{th}}[/latex] subinterval, then [latex]f(x_i^\ast)[/latex] gives the height of the [latex]i^{\text{th}}[/latex] rectangle. Adding up each of these areas yields an approximation of the total area, called a Riemann sum:

[latex]\sum_{i=1}^n f(x_i^\ast)\Delta x[/latex]

The definite integral of [latex]f(x)[/latex] on [latex][a,b][/latex] represents the exact area under the curve [latex]y = f(x)[/latex], and is defined as the following limit:

[latex]\int_a^b f(x)dx = \underset{n\to \infty}{\text{lim}}\sum_{i=1}^n f(x_i^\ast)\Delta x[/latex]

To extend this concept to two dimensions, we consider the space above a rectangular region [latex]R[/latex]. Consider a continuous function [latex]f(x,y)\geq 0[/latex] of two variables defined on the closed rectangle [latex]R[/latex]:

[latex]R = [a,b]\times[c,d] = {(x,y)\in {\mathbb{R}}^2 |a\leq x\leq b,c\leq y\leq d }[/latex]

Here [latex][a,b]\times[c,d][/latex] denotes the Cartesian product of the two closed intervals [latex][a,b][/latex] and [latex][c,d][/latex]. It consists of rectangular pairs [latex](x, y)[/latex] such that [latex]a\leq x\leq b[/latex] and [latex]c\leq y\leq d[/latex].

The graph of [latex]f[/latex] represents a surface above the [latex]xy[/latex]-plane with equation [latex]z=f(x, y)[/latex], where [latex]z[/latex] is the height of the surface at the point [latex](x, y)[/latex]. Let [latex]S[/latex] be the solid that lies above [latex]R[/latex] and under the graph of [latex]f[/latex] (Figure 1). The base of the solid is the rectangle [latex]R[/latex] in the [latex]xy[/latex]-plane. We want to find the volume [latex]V[/latex] of the solid [latex]S[/latex].

In xyz space, there is a surface z = f(x, y). On the x axis, the lines denoting a and b are drawn; on the y axis the lines for c and d are drawn. When the surface is projected onto the xy plane, it forms a rectangle with corners (a, c), (a, d), (b, c), and (b, d).
Figure 1. The graph of [latex]f(x,y)[/latex] over the rectangle [latex]R[/latex] in the [latex]xy[/latex]-plane is a curved surface.

We divide the region [latex]R[/latex] into small rectangles [latex]R_{ij}[/latex], each with area [latex]\Delta{A}[/latex] and with sides [latex]\Delta{x}[/latex] and [latex]\Delta{y}[/latex] (Figure 2). We do this by dividing the interval [latex][a,b][/latex] into [latex]m[/latex] subintervals and dividing the interval [latex][c,d][/latex] into [latex]n[/latex] subintervals. Hence [latex]\Delta{x}=\frac{b-a}{m}[/latex], [latex]\Delta{y}=\frac{d-c}{n}[/latex], and [latex]\Delta{A}=\Delta{x}\Delta{y}[/latex].

In the xy plane, there is a rectangle with corners (a, c), (a, d), (b, c), and (b, d). Between a and b on the x axis lines are drawn from a, x1, x2, …, xi, …, b with distance Delta x between each line; between c and d on the y axis lines are drawn from c, y1, y2, …, yj, …, d with distance Delta y between each line. Among the resulting subrectangles, the one in the second column and third row up has a point marked (x*23, y*23). The rectangle Rij is marked with upper right corner (xi, yj). Within this rectangle the point (x*ij, y*ij) is marked.
Figure 2. Rectangle [latex]R[/latex] is divided into small rectangles [latex]R_{ij}[/latex], each with an area [latex]\Delta{A}[/latex].

The volume of a thin rectangular box above [latex]{R_{ij}}[/latex] is [latex]{f{({x{_{ij}^*}},{y{_{ij}^*}})}}{\Delta{A}}[/latex], where [latex]{({x{_{ij}^*}},{y{_{ij}^*}})}[/latex] is an arbitrary sample point in each [latex]{R_{ij}}[/latex] as shown in the following figure.

 

In xyz space, there is a surface z = f(x, y). On the x axis, the lines denoting a and b are drawn; on the y axis the lines for c and d are drawn. When the surface is projected onto the xy plane, it forms a rectangle with corners (a, c), (a, d), (b, c), and (b, d). There are additional squares drawn to correspond to changes of Delta x and Delta y. On the surface, a square is marked and its projection onto the plane is marked as Rij. The average value for this small square is f(x*ij, y*ij).
Figure 3. A thin rectangular box above [latex]R_{ij}[/latex] with height [latex]f(x^{\ast}_{ij},y^{\ast}_{ij})[/latex].

Using the same idea for all the subrectangles, we obtain an approximate volume of the solid [latex]S[/latex] as [latex]{V}{\approx} \displaystyle\sum_{i=1}^{m}\sum_{j=1}^{n}\ {f{({x{_{ij}^*}},{y{_{ij}^*}})}{\Delta{A}}}[/latex]. 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 [latex]m[/latex] and [latex]n[/latex] become larger. The exact volume is given by:

[latex]\large{{V}=\displaystyle\lim_{m,n\to\infty}\displaystyle\sum_{i=1}^{m}\sum_{j=1}^{n}f{({x{_{ij}^*}},{y{_{ij}^*}}){\Delta{A}}}}[/latex]

or equivalently,

[latex]\large{V=\displaystyle\lim_{\Delta x,\Delta y\to0}\displaystyle\sum_{i=1}^{m}\sum_{j=1}^{n}f(x_{ij}^*,y_{ij}^*)\Delta A}[/latex]

Note that the sum approaches a limit in either case and the limit is the volume of the solid with the base [latex]R[/latex]. Now we are ready to define the double integral.

Double Integral

The double integral of the function [latex]f(x, y)[/latex] over the rectangular region [latex]R[/latex] in the [latex]xy[/latex]-plane is defined as:

[latex]\large{\underset{R}{\displaystyle\iint}f(x,y)dA=\displaystyle\lim_{m,n\to\infty}\displaystyle\sum_{i=1}^{m}\sum_{j=1}^{n}f(x_i^*,y_j^*)\Delta A}[/latex].

  • If [latex]f(x, y)\geq 0[/latex], then the volume [latex]V[/latex] of the solid [latex]S[/latex], which lies above [latex]R[/latex] in the [latex]xy[/latex]-plane and under the graph of [latex]f[/latex], is the double integral of the function [latex]f(x, y)[/latex] over the rectangle [latex]R[/latex].
  • 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 single-variable calculus.

Consider the function [latex]{z = f(x,y) = 3x^2 - y}[/latex] over the rectangular region [latex]{R = {[0,2]} \times {[0,2]}}[/latex] (Figure 4).

  1. Set up a double integral for finding the value of the signed volume of the solid [latex]S[/latex] that lies above [latex]R[/latex] and “under” the graph of [latex]f[/latex].
  2. Divide [latex]R[/latex] into four squares with [latex]m = n = 2[/latex], and choose the sample point as the upper right corner point of each square [latex](1,1),(2,1),(1,2),[/latex] and [latex](2,2)[/latex] (Figure 4) to approximate the signed volume of the solid [latex]S[/latex] that lies above [latex]R[/latex] and “under” the graph of [latex]f[/latex].
  3. Divide [latex]R[/latex] into four squares with [latex]m = n = 2[/latex], and choose the sample point as the midpoint of each square: [latex](1/2,1/2),(3/2,1/2),(1/2,3/2),[/latex] and [latex](3/2,3/2)[/latex] to approximate the signed volume.
In xyz space, there is a surface z = f(x, y) = 3x2 minus y. The corners of the surface are given as (0, 0, 0), (2, 0, 12), (0, 2, negative 2), and (2, 2, 10). The surface is parabolic along the x axis.
Figure 4. The function [latex]\small{z=f(x,y)}[/latex] graphed over the rectangular region [latex]\small{R=[0,2]\times[0,2]}[/latex].

Notation and Integrability

Note that we developed the concept of double integral using a rectangular region [latex]R[/latex]. This concept can be extended to any general region. However, when a region is not rectangular, the subrectangles may not all fit perfectly into [latex]R[/latex], 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 [latex]R[/latex].

Also, the heights may not be exact if the surface [latex]z = f(x,y)[/latex] is curved. However, the errors on the sides and the height where the pieces may not fit perfectly within the solid [latex]S[/latex] approach [latex]0[/latex] as [latex]m[/latex] and [latex]n[/latex] approach infinity. The double integral of the function [latex]z = f(x,y)[/latex] exists provided that the function [latex]f[/latex] is not too discontinuous. If the function is bounded and continuous over [latex]R[/latex] except on a finite number of smooth curves, then the double integral exists and we say that [latex]f[/latex] is integrable over [latex]R[/latex].

Since [latex]\Delta{A}=\Delta{x}\Delta{y}=\Delta y\Delta x[/latex], we can express [latex]dA[/latex] as [latex]dxdy[/latex] or [latex]dydx[/latex]. This means that, when we are using rectangular coordinates, the double integral over a region [latex]R[/latex] denoted by [latex]\underset{R}{\displaystyle\iint}f(x,y)dA[/latex] can be written as

[latex]\underset{R}{\displaystyle\iint}f(x,y)dxdy[/latex] or [latex]\underset{R}{\displaystyle\iint}f(x,y)dydx[/latex]

Now let’s list some of the properties that can be helpful to compute double integrals.