Algebraic: (I.T. Leong) Math 200 in 2010 2010 C 10 7 F 1 / 24
Algebraic: (I.T. Leong) Math 200 in 2010 2010 C 10 7 F 1 / 24
Algebraic: (I.T. Leong) Math 200 in 2010 2010 C 10 7 F 1 / 24
The sum of the volume of all these small rectangular solids approximates the
volume of the solid under the graph of z = f (x, y) over R. This sum
m n
f (xij , yij )A is called the Riemann sum of f .
i=1 j=1
R
f (x, y) dA = lim
m,n
f (xij , yij )A, if this limit exists.
i=1 j=1
(I.T. Leong) Math 200 in 2010 2010 c 10 7F 2 / 24
Remarks. In general, it is very difficult to prove that the limit of Riemann sum
converges, because of the choices of the height f (xij , yih ) involved. The usual
method is replace the height either the maximum and the minimum values of f
within each smaller rectangles, and hence we obtain the upper and lower
Riemann sums respectively.
Theorem. If f (x, y) is
continuous on a domain containing the rectangle R, then
the double integral f (x, y) dA always exists.
R
d
Therefore, the value of the integral f (x, y)dy is a function of x, and we can
c
integrate it with respect to x from x = a to x = b. The resulting integral
b ( d )
f (x, y) dy dx is called an iterated integral. Similarly one can define
a c
d ( b )
the iterated integral f (x, y) dx dy.
c a
Remark. We call the blue and red segments inside the region R the
cross-sections of R cut by the line y = y0 and x = x0 respectively.
Furthermore, the theorem is valid for a general closed and bounded region as
discussed in the subsequent sections.
Remark. In this problem, one has to decide which is the height function, just
like z = f (x, y) in the previous formulation. In some other cases, one can use
x = h(y, z) or y = g(x, z) as the height function.
(I.T. Leong) Math 200 in 2010 2010 c 10 7F 7 / 24
Proposition. (a) In general, if f (x, y) = g(x)h(y), then
( b ) ( d )
f (x, y)dA = g(x) dx h(y) dy ,
R a c
g(x) dx h(y) dy .
a c
the difficulties lies in determining upper and lower limits , ? in the iterated
integral.
2 3
xdA = x dy dx = dx = = .
D 0 0 0 3 6 9 0 72
(I.T. Leong) Math 200 in 2010 2010 c 10 7F 13 / 24
Example. Let R be the region in first quadrant bounded by the two curves
x2 + y2 = 1 and x + y = 1.
1 Sketch and label the bounding curves, and determine the region R of
integration in the double integral.
2 Project the region R onto one the coordinate axes, so that its shadow is
an interval [a, b] or union of intervals on the coordinate axis.
1 Choose any arbitrary point P(x, 0) or P(0, y) in the shadow, draw a line
through P perpendicular to the axis with shadow.
2 Ideally the line meets the boundary R at only two points (x, ymax ) and
(x, ymin ). These two ys depends on x, and hence are functions of x, i.e.
the ones determined by the boundary curves of R. Then the region
R = { (x, y) R2 a x b, ymin (x) y ymax (x) }.
Answer: f (x, y)dA
R
1 1 x2
= f (x, y) dy dx
0 1x
Solution. Let D be the region The region of integration, then it follows from the
upper and lower limits of the iterated integral, we have
D = { (x, y) 0 x 1, x y 1 }, which is given by vertical cross-section.
Hence D is the triangular region bounded by the lines y = x, x = 0 and y = 1.
Rewrite D by means of horizontal cross-section, then 0 y 1, and the
bounding curve will be x = 0 on the left, and x = y on the right of the region D.
Hence, we have another description of D = { (x, y) 0 y 1, 0 x y }.
1 1 1 y
By Fubinis theorem we have I = sin(y2 ) dydx = sin(y2 ) dxdy =
0 x 0 0
1 ]1
1 cos 1
[
1
y sin(y2 )dy = cos(y2 ) =
0 2 0 2
Solution. The plane will meets the coordinates axis at the points
A(a, 0, 0), B(0, b, 0) and C(0, 0, c). Observe that the line segment AB is already
on the xy-plane, and hence the triangle ABC is above the xy-plane, and its
shadow on xy-plane is the triangle OBC. For any point P(x, y, 0) OBC,
the line through the point P and perpendicular to xy-plane meets the plane
y y)
at (x, y, z) where z satisfies xa + b + zc = 1, and hence z = c 1 xa b ,
(
which will be the height function in the double integral. Moreover, the domain
OBC for double integral is { (x, y) 0
x a, 0( y b(1 ) x/a) }. Now
x y
the volume of the tetrahedron OABC is c 1 dA =
OBC a b
]b(1x/a)
xy y2
a b(1x/a) ( a [
x y)
c 1 dydx = c y dx =
0 0 a b 0 a 2b 0
b2 (
a
b(a x) x x )2 bc a abc
c (1 ) 1 dx = 2 (a x)2 dx = .
0 a a 2b a 2a 0 6
(I.T. Leong) Math 200 in 2010 2010 c 10 7F 20 / 24
Properties of Double Integrals
1 ( f (x, y) + g(x, y) )dA = f (x, y) dA + g(x, y) dA.
D D D
2 cf (x, y) dA = c f (x, y) dA.
D D
3 If f (x, y) g(x, y) for all (x, y) D, then f (x, y) dA g(x, y) dA.
D D
4 f (x, y) dA = f (x, y) dA + f (x, y) dA, where D = D1 D2 ,
D D1 D2
and D1 and D2 do not overlap except perhaps on their boundary.
5 dA = 1 dA = Area of D = A(D).
D D
6 If m f (x,y) M for all (x, y) D, then
mA(D) f (x, y) dA MA(D).
D
(I.T. Leong) Math 200 in 2010 2010 c 10 7F 21 / 24
In general, if f (x, y) is continuous on a region D in xy-plane, and D can be
described in polar coordinates in the following form
{ (r, ) , h1 ( ) r h2 ( ) }, then
h2 ( )
f (x, y) dA = f (r cos , r sin ) rdrd.
D h1 ( )
Example. D = { (x, y) x2 + y2 1, y 0 }
= { (x, y) 0 y 1, 1 y2 x 1 y2 }.
/2 /2. The height of the solid is the z-value of the paraboloid from
the xy-plane. Hence the volume V of the solid is
/2 2 cos
3
(x2 + y2 ) dA = r2 rdrd = .
D /2 0 2