Chapter 5: Double Integration
Section 5.1: The Double Integral
Example 5.1.1
Apply the definition of the double integral to fx,y=x2+y2 on the square 0≤x,y≤1.
Solution
Mathematical Solution
The definite integral of a function of a single variable is defined to be the limit over all applicable partitions of a Riemann sum. In imitation of this, the double integral of a function of two variables is defined to be the (bivariate) limit of an appropriate Riemann sum.
In two dimensions, where the domain of integration is rectangular in shape and oriented so the sides are parallel to the coordinate axes, the horizontal and vertical edges are partitioned so that a grid of sub-rectangles covers the domain. The function defined over the domain is evaluated at one point in each sub-rectangle, and this value is multiplied by the area of the corresponding sub-rectangle. The Riemann sum is the sum of all the volumes of the rectangular "blocks" so determined. The limit as the number of blocks becomes infinite is, under the appropriate conditions, taken as the meaning of the double integral.
Figure 5.1.1(a) shows the surface z=fx,y≡x2+y2 graphed over the square 0≤x,y≤1. It is the volume beneath this surface that is to be computed by the double integral.
Figure 5.1.1(a) Surface z=f
use plots,plottools in module() local p1,p2,p3,i,j; p1:=rectangle([0,1],[1,0],style=line); p2:=pointplot([seq(seq([.1+.2*i,.1+.2*j],i=0..4),j=0..4)],symbol=solidcircle,symbolsize=15,color=red); p3:=display(p1,p2,scaling=constrained,labels=[x,y],tickmarks=[6,6],gridlines); print(p3); end module: end use:
Figure 5.1.1(b) Grid with midpoint evaluation
Figure 5.1.1(c) Volume-approximating blocks
Figure 5.1.1(b) shows a 5×5 grid for which a Riemann sum is constructed. The red dot at the center of each sub-rectangle is the point at which the height of the surface is sampled. Figure 5.1.1(c) shows the "blocks" whose volumes are analogous to the rectangles that approximate area in a Riemann sum for a single integral.
Computationally, the content of Figures 5.1.1(a - c) can be implemented once the coordinates of the "red dots" in Figure 5.1.1(b) are specified as .1+.2 i,.1+.2 j,i=0,…,4,j=0,…,4. The sum of the volumes of the 25 blocks so determined is
∑i=04 ∑j=04f.1+.2 i,.1+.2 j⋅.04=0.660
Passage to the limit as the density of the grid increases requires discretizing so that Δ x=1/m and y=1/n, in which case the red-dot midpoints become
12 m+im,12 n+jn,i=0,…,m−1,j=0,…,n−1
and the approximating sum becomes
∑i=0m−1∑j=0n−1f12 m+im,12 n+jn⋅1m n=23−1121m2+1n2
which, in the limit as m and n become infinite, approaches 2/3 as a limiting value.
A simpler Riemann sum can be constructed if the evaluation point for each sub-rectangle is taken as the "lower-left" corner where the generic coordinate would be i/m,j/n and the approximating sum would be
∑i=0m−1 ∑j=0n−1fim,jn⋅1m n=23+161m2+1n2−121m+1n
Again, the limiting value as m and n become infinite is 2/3. Finally, if the evaluation point in each sub-rectangle is taken as the "lower-right" corner where the generic coordinate would still be i/m,j/n, the approximating sum would be
∑i=1m ∑j=1nfim,jn⋅1m n=23+161m2+1n2+121m+1n
with limiting value 2/3.
Maple Solution - Interactive
Initialize
Context Panel: Assign Function
fx,y=x2+y2→assign as functionf
Apply the definition of the double integral
Expression palette: Summation template Press the Enter key.
Context Panel: Simplify≻Simplify
Context Panel: Limit (Bivariate) (Complete the Limit Point dialog as per Figure 5.1.1(d).)
Figure 5.1.1(d) Bivariate limit dialog
∑i=1m∑j=1nfim,jn⋅1m n
m+13⁢m+m+12⁢n⁢m+m+16⁢n2⁢m+m+133⁢m3−m+122⁢m3+m+16⁢m3−13⁢m−12⁢m⁢n−16⁢n2⁢m
= simplify
4⁢n2+3⁢n+1⁢m2+3⁢n2⁢m+n26⁢m2⁢n2
→bivariate limit
23
Numeric and graphical exploration
Numeric and graphical insight into the definition of the double integral can be obtained with the tutor. Figure 5.1.1(e)shows the state of the tutor after the axes have been changed from boxed, to frame, and the figure rotated to change the viewing angle.
The default number of partitions in each direction is five. For this partitioning, the actual volume and its approximate value are given.
The default evaluation scheme is to evaluate the height of the function at the center of each rectangle formed by the grid in the xy-plane.
Figure 5.1.1(e) Approximate Integration tutor
Maple Solution - Coded
Define the function f.
f≔x,y→x2+y2:
Iterate the Sum command to obtain the inert double sum.
Apply the simplify and value commands to obtain a closed-form expression for the double sum.
Obtain the bivariate limit as m and n become infinite.
q1≔SumSumfim,jn⋅1m n,i=1..m,j=1..n;q2≔simplifyvalueq1;limitq2,m=infinity,n=infinity
Alternate calculation
Use the sum command, thereby avoiding the need for explicitly evaluating the inert double sum.
limitsumsumfim,jn⋅1m n,i=1..m,j=1..n,m=infinity,n=infinity = 23
With the following syntax, the ApproximateInt command in the Student MultivariateCalculus package will draw the graph seen in Figure 5.1.1(e).
Student:-MultivariateCalculus:-ApproximateInt x2+y2, x = 0 .. 1, y = 0 .. 1, method = midpoint, coordinates = cartesian, partition = 5, 5, output = plot, axes = frame:
With the following syntax, the ApproximateInt command in the Student MultivariateCalculus package will return the approximate signed volume between the surface and the xy-plane.
Student:-MultivariateCalculus:-ApproximateInt x2+y2, x = 0 .. 1, y = 0 .. 1, method = midpoint, coordinates = cartesian, partition = 5, 5
0.6600000000
<< Chapter Overview Section 5.1 Next Example >>
© Maplesoft, a division of Waterloo Maple Inc., 2024. All rights reserved. This product is protected by copyright and distributed under licenses restricting its use, copying, distribution, and decompilation.
For more information on Maplesoft products and services, visit www.maplesoft.com
Download Help Document