Recall our definition of the definite integral of a function of a single variable:
Let f(x) be defined on [a,b] and let x0,x1,…,xn be a partition of [a,b]. For each [xi−1,xi], let x∗i∈[xi−1,xi]. Then ∫baf(x)dx=limmaxΔxi→0n∑i=1f(x∗i)Δxi.
Take a quick look at the Riemann Sum Tutorial.
We can extend this definition to define the integral of a function of two or more variables.
Double Integral of a Function of Two Variables
Let f(x,y) be defined on a closed and bounded region R of the xy-plane. Set up a grid of vertical and horizontal lines in the xy-plane to form an inner partition of R into n rectangular subregions Rk of area ΔAk, each of which lies entirely in R. Ignore the rectangles that are not entirely contained in R. Choose a point (x∗k,y∗k) in each subregion Rk. The sum n∑k=1f(x∗k,y∗k)ΔAk is called a Riemann Sum. In the limit as we make our grid more and more dense, we define the double integral of f(x,y) over R as ∬Rf(x,y)dA=limmaxΔAk→0n∑k=1f(x∗k,y∗k)ΔAk.
Notes
- If this limit exists, we say that f is integrable over
the region of integration R.
- If f is continuous on R, then f is integrable over R.
Geometric Interpretation of the Double Integral
Notice that as we increase the density of our grid, the sum n∑k=1Ak of the individual rectangles better and better approximates the area of region R. In the limit as ΔAk→0, we have Area of R=∬RdA. Suppose now that f(x,y)≥0 on R. Then f(x∗k,y∗k)ΔAk is the volume of a rectangular parallelopiped of height f(x∗k,y∗k) and base area ΔAk. Adding up these volumes, we get an appoximation for the volume of the solid above R and below the suface z=f(x,y). Thus, in the limit as ΔAk→0,
Note
The interpretation of the double integral as a volume still holds if f(x,y) takes on both positive and negative values. In this case, we obtain the difference between the volumes
abovethe xy-plane between z=f(x,y) and R and the volume
belowthe xy-plane between z=f(x,y) and R.
We next turn to the actual evaluation of double integrals.
Iterated Integrals
In the double integral ∬Rf(x,y)dA, the differential dA may be viewed informally as an infinitesimal area of a rectangle inside R with dimensions dy and dx. For the kinds of “ordinary” functions and regions we’ll be concerned with, ∬Rf(x,y)dA=∫ba[∫g2(x)g1(x)f(x,y)dy]dx=∫ba∫g2(x)g1(x)f(x,y)dydx=∫dc[∫h2(y)h1(y)f(x,y)dx]dy=∫dc∫h2(y)h1(y)f(x,y)dxdy
where the limits of integration are determined by the region R over which we are integrating.
Notes
- These integrals are called iterated integrals, since we
integrate more than once.
- We integrate “from the inside out.” That is, in
∫ba∫g2(x)g1(x)f(x,y)dydx, we
first integrate f(x,y) with respect to y and evaluate it at
g2(x) and g1(x). We then integrate the result with respect
to x and evaluate the outcome at a and b.
- Iterated triple integrals ∭Gf(x,y,z)dV can be defined in a similar way.
An example will make these ideas more concrete.
Example
Let’s evaluate the double integral ∬R6xydA, where R is the region bounded by y=0, x=2, and y=x2. We will verify here that the order of integration is unimportant:
∬R6xydA=∫20∫x206xydydx=∫20[3xy2|x2y=0]dx=∫203x5dx=12x6|2x=0=12(64)−12(0)=32
∬R6xydA=∫40∫2√y6xydxdy=∫40[3x2y|2x=√y]dy=∫40(12y−3y2)dy=(6y2−y3)|4y=0=(6(4)2−(4)3)–(6(0)2−(0)3)=32
so ∬R6xydA=32 here, regardless of the order in which we carry out the integration, as long as we are careful to set up the limits of integration correctly.
Now for a triple integral…
Example
We will evaluate the triple integral ∫20∫y2−1∫z1yzdxdzdy.
∫20∫y2−1∫z1yzdxdzdy=∫20∫y2−1[(xyz)|x=zx=1]dzdy=∫20∫y2−1(yz2−yz)dzdy=∫20[(yz33−yz22)|z=y2z=−1]dy=∫20(y73–y52+5y6)dy=(y824−y612+5y212)|20=26424−6412+2012=8412=7.
Integrate with respect to x first.
Next integrate with respect to z.
Finally, integrate with respect to y.
Key Concepts
Let f(x,y) be defined on a closed and bounded region R of the xy-plane. Then ∬Rf(x,y)dA=limmaxΔAk→0n∑k=1f(x∗k,y∗k)ΔAk where each ΔAk gives the area of a rectangle in an inner partition of R.
We evaluate ∬Rf(x,y)dA
as an iterated integral:
∬Rf(x,y)dA=∫ba∫g2(x)g1(x)f(x,y)dydx=∫dc∫h2(y)h1(y)f(x,y)dxdy
for “ordinary” regions R and functions f(x,y).