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.
Volumes and Double Integrals
We first begin with a review of the definition of the definite integral in terms of the limit of a Riemann Sum from single-variable calculus.
Recall: Riemann SumS and the Definite Integral
Suppose that y=f(x)y=f(x) is a continuous function and f(x)≥0f(x)≥0 on a closed interval [a,b][a,b]. The area under the curve and above the y−y−axis can be approximated using rectangles, by subdividing the interval [a,b][a,b] into nn subintervals of width Δx=b−anΔx=b−an. If xixi denotes a sample point within the ithith subinterval, then f(x∗i)f(x∗i) gives the height of the ithith rectangle. Adding up each of these areas yields an approximation of the total area, called a Riemann Sum and denoted using the following:
∑ni=1f(x∗i)Δx∑ni=1f(x∗i)Δx
The definite integral of f(x)f(x) on [a,b][a,b] represents the exact area under the curve y=f(x)y=f(x), and is defined in terms as the following limit.
∫baf(x)dx=limn→∞∑ni=1f(x∗i)Δx∫baf(x)dx=limn→∞∑ni=1f(x∗i)Δx
To extend this notion into another dimension, we consider the space above a rectangular region RR. Consider a continuous function f(x,y)≥0f(x,y)≥0 of two variables defined on the closed rectangle RR:
R=[a,b]×[c,d]={(x,y)∈R2|a≤x≤b,c≤y≤d}R=[a,b]×[c,d]={(x,y)∈R2|a≤x≤b,c≤y≤d}
Here [a,b]×[c,d][a,b]×[c,d] denotes the Cartesian product of the two closed intervals [a,b][a,b] and [c,d][c,d]. It consists of rectangular pairs (x,y)(x,y) such that a≤x≤ba≤x≤b and c≤y≤dc≤y≤d. The graph of ff represents a surface above the xyxy-plane with equation z=f(x,y)z=f(x,y) where zz is the height of the surface at the point (x,y)(x,y). Let SS be the solid that lies above RR and under the graph of ff (Figure 1). The base of the solid is the rectangle RR in the xyxy-plane. We want to find the volume VV of the solid SS.

Figure 1. The graph of f(x,y)f(x,y) over the rectangle RR in the xyxy-plane is a curved surface.
We divide the region RR into small rectangles RijRij, each with area ΔAΔA and with sides ΔxΔx and ΔyΔy (Figure 2). We do this by dividing the interval [a,b][a,b] into mm subintervals and dividing the interval [c,d][c,d] into nn subintervals. Hence Δx=b−am,Δy=d−cn,Δx=b−am,Δy=d−cn, and ΔA=ΔxΔyΔA=ΔxΔy.

Figure 2. Rectangle RR is divided into small rectangles RijRij, each with an area ΔAΔA.
The volume of a thin rectangular box above RijRij is f(x∗ij,y∗ij)ΔAf(x∗ij,y∗ij)ΔA, where (x∗ij,y∗ij)(x∗ij,y∗ij) is an arbitrary sample point in each RijRij as shown in the following figure.

Figure 3. A thin rectangular box above RijRij with height f(x∗ij,y∗ij)f(x∗ij,y∗ij).
Using the same idea for all the subrectangles, we obtain an approximate volume of the solid SS as V≈m∑i=1n∑j=1 f(x∗ij,y∗ij)ΔAV≈m∑i=1n∑j=1 f(x∗ij,y∗ij)ΔA. 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 mm and nn become larger.
V=limm,n→∞m∑i=1n∑j=1f(x∗ij,y∗ij)ΔAV=limm,n→∞m∑i=1n∑j=1f(x∗ij,y∗ij)ΔA or V=limΔx,Δy→0m∑i=1n∑j=1f(x∗ij,y∗ij)ΔAV=limΔx,Δy→0m∑i=1n∑j=1f(x∗ij,y∗ij)ΔA.
Note that the sum approaches a limit in either case and the limit is the volume of the solid with the base RR. Now we are ready to define the double integral.
Definition
The double integral of the function f(x,y)f(x,y) over the rectangular region RR in the xyxy-plane is defined as
∬Rf(x,y)dA=limm,n→∞m∑i=1n∑j=1f(x∗i,y∗j)ΔA∬Rf(x,y)dA=limm,n→∞m∑i=1n∑j=1f(x∗i,y∗j)ΔA.
If f(x,y)≥0f(x,y)≥0, then the volume VV of the solid SS, which lies above RR in the xyxy-plane and under the graph of ff, is the double integral of the function f(x,y)f(x,y) over the rectangle RR. 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: Setting up a double integral and approximating it by double sums
Consider the function z=f(x,y)=3x2−yz=f(x,y)=3x2−y over the rectangular region R=[0,2]×[0,2]R=[0,2]×[0,2] (Figure 4).
- Set up a double integral for finding the value of the signed volume of the solid SS that lies above RR and “under” the graph of ff.
- Divide RR into four squares with m=n=2m=n=2, and choose the sample point as the upper right corner point of each square (1,1),(2,1),(1,2),(1,1),(2,1),(1,2), and (2,2)(2,2) (Figure 4) to approximate the signed volume of the solid SS that lies above RR and “under” the graph of ff.
- Divide RR into four squares with m=n=2m=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),(1/2,1/2),(3/2,1/2),(1/2,3/2), and (3/2,3/2)(3/2,3/2) to approximate the signed volume.

Figure 4. The function z=f(x,y)z=f(x,y) graphed over the rectangular region R=[0,2]×[0,2]R=[0,2]×[0,2].
Try it
Use the same function z=f(x,y)=3x2−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 5) to approximate the signed volume of the solid S that lies above R and “under” the graph of f.
Watch the following video to see the worked solution to the above Try It
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 f is integrable over R.
Since ΔA=ΔxΔy=ΔyΔ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 ∬Rf(x,y)dA can be written as
∬Rf(x,y)dxdy or ∬Rf(x,y)dydx.
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
∬R[f(x,y)+g(x,y)]dA=∬Rf(x,y)dA+∬Rg(x,y)dA.
-
- If c is a constant, then cf(x,y) is integrable and
∬Rcf(x,y)dA=c∬Rf(x,y)dA.
-
- If R=S∪T and S∩T=∅ except an overlap on the boundaries, then
∬Rf(x,y)dA=∬Sf(x,y)dA+∬Tf(x,y)dA.
-
- If f(x,y)≥g(x,y) for (x,y) in R, then
∬Rf(x,y)dA≥∬Rg(x,y)dA.
-
- If m≤f(x,y)≤M, then
m×A(R)≤∬Rf(x,y)dA≤M×A(R).
- 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={(x,y)∣a≤x≤b,c≤y≤d}, the double integral can be written as
∬Rf(x,y)dA=(∫bag(x)dx)(∫dch(y)dy).
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.
Candela Citations
- CP 5.1. Authored by: Ryan Melton. License: CC BY: Attribution
- Calculus Volume 3. Authored by: Gilbert Strang, Edwin (Jed) Herman. Provided by: OpenStax. Located at: https://openstax.org/books/calculus-volume-3/pages/1-introduction. License: CC BY-NC-SA: Attribution-NonCommercial-ShareAlike. License Terms: Access for free at https://openstax.org/books/calculus-volume-3/pages/1-introduction