Professional Documents
Culture Documents
Triple integrals
Change of variables
MH2100
Chapter VII Multiple integrals
Mehdi Ghasemi
mghasemi@ntu.edu.sg
September, 2013
1 / 39
Triple integrals
Change of variables
O UTLINE
Double integrals over rectangles Double integrals over general regions Triple integrals Change of variables
2 / 39
Triple integrals
Change of variables
f (x)dx.
a
A common method to estimate this value is approximating the area by area of several rectangles, partitioning the region below the graph
b n
f (x)dx = lim
a
1
f (x i )xi
i=1
0.8
0.6
0.4
0.2
0.2
0.4
0.6
0.8
3 / 39
Triple integrals
Change of variables
0.4
0.3
0.2
0.1
0.2
0.4
0.6
0.8
b
1
4 / 39
Triple integrals
Change of variables
D OUBLE INTEGRALS
Now assume that f : [a, b] [c, d] R and partitions a = x0 < x1 < < xn = b and c = y0 < y1 < ym = d are given which divide the rectangle [a, b] [c, d] into n m subrectangles and choose a point (x i , yj ) in each rectangle. Let xi = xi xi1 , i = 1, . . . , n, yj = yj yj1 , j = 1, . . . , m and x = max(x1 , . . . , xn ), y = max(y1 , . . . , ym ):
1
0.8
0.6
0.4
0.2
0.2
0.4
0.6
0.8
5 / 39
Triple integrals
Change of variables
D OUBLE INTEGRALS
The area of the (i, j)-rectangle is xi yj . Consider a box above (below depending on the sign of f (x i , yj )) rectangle of height f (xi , yj ). The volume of this box (considering the sing) is
Vi,j = f (x i , yj )Aij ,
where Aij = xi yj The sum of all Vi,j s gives an approximation for the volume of the region between the graph of f and xy-plane:
n m
V
i=1 j=1
Vi,j .
Triple integrals
Change of variables
D OUBLE INTEGRALS
Denition
The double integral of f over the rectangle D = [a, b] [c, d] is
n m f (x i , yj )Aij , i=1 j=1
f (x, y)dA =
D
(x,y)(0,0)
lim
which is equal to the algebraic sum of the volume of the region bounded by Gf and xy-plane.
7 / 39
Triple integrals
Change of variables
D OUBLE INTEGRALS
The midpoint rule
Suppose that f : [a, b] [c, d] R and x integers n and m. a dc Take xi = x = b n , yj = y = m for all i, j and also take xi = ix, yj = jy. Now [a, b] [c, d] is divided into n m sub-rectangles. The center of (i, j)-sub-rectangle is i , y j ) = ( (x xi1 + xi yj1 + yj , ). 2 2
f (x, y)dA
[a,b][c,d] i=1 j=1
i , y j )Aij . f (x
8 / 39
Triple integrals
Change of variables
D OUBLE INTEGRALS
Example
Use the midpoint rule with m = n = 2 to estimate the value of the integral (x 3y2 )dxdy, where R = [0, 2] [1, 2]. R Solution. Since m = n = 2, R must be divided into 4 parts.
2
We evaluate f (x, y) at the centres of the four 3 5 1 = 1 sub-rectangles, where x 2 , x2 = 2 , y1 = 4 7 0 21 1 and 4 . Also x = 2 2 = 1 and y = 2 = 2 . (x 3y2 )dA
R12 R11
0.5 1
R22 R21
1.5 2
2 2 i=1 j=1 f (xi , yj )xy 1 5 1 5 1 3 5 1 3 7 1 = f(2, 4)2 + f(1 2, 4)2 + f(2, 4)2 + f(2, 4)2 1 139 1 51 1 123 1 = ( 67 16 ) 2 + ( 16 ) 2 + ( 16 ) 2 + ( 16 ) 2 95 = 8 = 11.875
9 / 39
Triple integrals
Change of variables
D OUBLE INTEGRALS
Properties of double integrals
Suppose that f , g : R R be two maps and R a constant. Then 1. 2.
R R
f (x, y)dA +
g(x, y)dA.
f (x, y)dA.
g(x, y)dA.
10 / 39
Triple integrals
Change of variables
D OUBLE INTEGRALS
Proof of 1.
[f (x, y) + g(x, y)]dA R m n lim j=1 (f (xi , yj ) + g(xi , yj ))Aij i=1 lim lim
R n i=1 n i=1 m j=1 m j=1
m,n
= =
m j=1 n i=1
m,n m,n
n i=1
i , y j )Aij g(x
m j=1
= =
i , y j )Aij + lim f (x
R
m,n
i , y j )Aij g(x
f (x, y)dA +
11 / 39
Triple integrals
Change of variables
I TERATED INTEGRALS
Let f : [a, b] [c, d] R and x the value of x [a, b]. So we get a function gx : [c, d] R dened by gx (y) = f (x, y), which is a function in a single variable. Dene
d d
A(x) =
c
gx (y)dy =
c
f (x, y)dy.
A(x)dx =
a a c
(1)
12 / 39
Triple integrals
Change of variables
I TERATED INTEGRALS
Similarly, we can x y and dene
b
B(y) =
a
f (x, y)dx,
B(y)dx =
c c a
(2)
These two integrals are called iterated integrals of f over R = [a, b] [c, d].
13 / 39
Triple integrals
Change of variables
I TERATED INTEGRALS
For simplicity we denote (1) by
d b c a b d a c
f (x, y)dxdy.
Example
Let f (x, y) = x2 y. Then
3 2 0 1
x2 ydydx
= = = = = =
3 0 3 0
2 1
x2 ydy dx
y2 2
2
x2
y=2
dx dx
14 / 39
Triple integrals
Change of variables
I TERATED INTEGRALS
Also
2 3 2 1 0 x ydxdy
= = = = =
2 1
Fubinis Theorem
Let f : [a, b] [c, d] R be a continuous map. Then
b a c d d b
f (x, y)dydx =
c a
f (x, y)dxdy =
[a,b][c,d]
f (x, y)dA.
15 / 39
Triple integrals
Change of variables
I TERATED INTEGRALS
Example
2 Evaluate the double integral R (x 3y )dA, where R = [0, 2] [1, 2]. Solution. Fubinis theorem gives R (x
3y2 )dA = =
= = = = 12.
16 / 39
Triple integrals
Change of variables
I TERATED INTEGRALS
Example
Evaluate R y sin xydA, where R = [1, 2] [0, ] in two different orders. Solution. 1.(dydx):
2
y sin xydA =
R 1 0
y sin xydydx.
To integrate the inner integral, we use integration by parts with u=y dv = sin xydy cos xy du = dy v= x and so:
17 / 39
Triple integrals
Change of variables
I TERATED INTEGRALS
0
y sin xydy
y cos xy y=
If we now integrate the rst term by parts with u = 1/x and dv = cos xdx, we get du = dx/x2 , v = sin x and Therefore sin x cos x dx = x x
sin x x2
sin x dx x2
x + cos x 2 1 0
y sin xydydx
18 / 39
Triple integrals
Change of variables
I TERATED INTEGRALS
2.(dxdy):
R y sin xydA
= 0 1 y sin xydxdy =2 = 0 [ cos xy]x x=1 dy = 0 ( cos 2y + cos y)dy = 1 2 sin 2y + sin y 0 = 0.
19 / 39
Triple integrals
Change of variables
I TERATED INTEGRALS
Example
Find the volume of the solid S that is bounded by the elliptic paraboloid x2 + 2y2 + z = 16, the plane x = 2 and y = 2, and the three coordinate planes. Solution. S is the solid that lies under z = 16 x2 2y2 and above R = [0, 2] [0, 2]. V = (16 x2 2y2 )dA R 2 2 = 0 0 (16 x2 2y2 )dxdy 2 3 2 x=2 = 0 16x 1 3 x 2y x x=0 dy 2 2 = 0 ( 88 3 4y )dy 88 4 3 2 = 3 y 3y 0 = 48.
20 / 39
Triple integrals
Change of variables
B OUNDED REGIONS
Denition
A set D R2 is called a bounded region, if it seats inside a rectangle, i.e., for some real numbers a < b R and c < d R: D [a, b] [c, d].
4 3.5 3 2.5 2 1.5 1 1 1.5 2 2.5 3
21 / 39
Triple integrals
Change of variables
If F is integrable over R, then we dene the double integral of f over D by f (x, y)dA =
D R
F(x, y)dA.
22 / 39
Triple integrals
Change of variables
3.5 3 2.5 2
y = g2 (x)
D
y = g1 (x)
f (x, y)dA =
D a g1 (x)
f (x, y)dydx.
1.5 1 0.5 0
a
1
b
6
23 / 39
Triple integrals
Change of variables
2.5
x = h1 (y )
x = h2 (y )
f (x, y)dA =
D c h1 (y)
f (x, y)dxdy.
1.5 1
0.5
1.5
2.5
24 / 39
Triple integrals
Change of variables
1.5
y =1 + x2
1
0.5
y =2x2
0.5 1
Since the lower boundary is y = 2x2 and the upper boundary is y = 1 + x2 , we have:
D
(x + 2y)dA
= = = =
1 1+x2 (x + 2y)dydx 1 2x2 y=1+x2 1 xy + y2 y=2x2 dx 1 1 x(1 + x2 ) + (1 + x2 )2 x(2x2 ) (2x2 )2 1 1 (3x4 x3 + 2x2 + 1 + 1)dx = 32 15 . 1
dx
25 / 39
Triple integrals
Change of variables
(2,4)
(x2 + y2 )dA.
y =2x
D
y = x2
0.5 1 1.5 2
26 / 39
Triple integrals
Change of variables
V = = = = = =
x2 (2x) +
(x2 )3 3
dx
27 / 39
Triple integrals
Change of variables
Solution 2.
(2,4)
= = = = = =
x = y/2
4 0
x3 3
+ y2 x
x= y x= 1 2y
D
x= y
0.5 1 1.5 2
dy
3 3
4 y 5/ 2 3 +y 0 2 5/ 2 7/ 2 +2 15 y 7y 216 35 .
3 /2
y y 24 2 13 4 4 96 y 0
dy
28 / 39
Triple integrals
Change of variables
T RIPLE INTEGRALS
Let f : R R3 R be a map where R = [a1 , b1 ] [a2 , b2 ] [a3 , b3 ]. We can dene the triple integral of f over R in a similar way we dened double integral, which is naturally denoted by f (x, y, z)dV .
R
Iterated integrals are also dened the same way as before and Fubinis theorem holds for iterated integrals for various orders of integration: dxdydz dxdzdy dydzdx dydxdz dzdxdy dzdydx
29 / 39
Triple integrals
Change of variables
T RIPLE INTEGRALS
A region D R3 is bounded if it seats inside a box. That D [a1 , b1 ] [a2 , b2 ] [a3 , b3 ], is for some a1 < b1 , a2 < b2 , a3 < b3 R.
Proposition
Given a bounded region D R3 dened by D = {(x, y, z) : a x b, g1 (x) y g2 (x), h1 (x, y) z h2 (x, y)}. Then
x=b y=g2 (x) y=g1 (x) z=h2 (x,y)
f (x, y, z)dV =
D x=a z=h1 (x,y)
f (x, y, z)dzdydx.
30 / 39
Triple integrals
Change of variables
T RIPLE INTEGRALS
Corollary
The value of
D 1dV
Example
Find the volume of the region D given by x2 + y2 z 1 and x 0. Solution. A typical point (x, y, z) D satises x2 + y2 z 1. This implies x2 + y2 1 and 2 hence x2 or 0 y 1 1 x2 y 1 x2 . Since 1 x2 must be positive, it restricts |x| 1 which together with x 0 gives 0 x 1. So
D = {(x, y, z) : 0 x 1, 1 x2 y
1 x2 , x2 + y2 z 1}.
31 / 39
Triple integrals
Change of variables
T RIPLE INTEGRALS
Thus vol(D) = = = = =
D 1dV 1x2 1 1 0 1x2 x2 +y2 1 0 1 0 1 0
2
1dzdydx
y (1 x2 )y 3 dx y= 1x2 1 1 ( 1 x2 )3 dx = 2 0 (1 x2 ) 1 x2 3
y=
1x2
4 3
1 0 (1
x2 )3/2 dx
32 / 39
Triple integrals
Change of variables
T RIPLE INTEGRALS
If we take x = sin t, then dx = cos tdt and since 0 x 1, we see 0 t 2 and:
4 3 1 0 (1
x2 )3/2 dx = = = = = = = =
4 3 4 3 4 3 4 3 1 3 1 3 1 3 4.
0 (1 0
2
cos4 dt
2 2 2 2 1 0 ( 2 (1 sin t + cos t)) dt 2 2 1 0 4 (1 + cos 2t) dt 2 t)dt 2 0 (1 + 2 cos 2t + cos 2 /2 /2 4t t|0 + sin 2t|0 + 02 1+cos dt 2 / 2 / 2 1 + 1 2 + 0 + 2t 0 8 sin 4t 0
33 / 39
Triple integrals
Change of variables
T RIPLE INTEGRALS
Average value
Let f : E R be an integrable map over a bounded region E Rm . The volume of E, (vol(E)) is given by
E1
dv.
f (x1 , . . . , xm ) dv.
34 / 39
Triple integrals
Change of variables
f (x)dx =
a
f (g(t))g (t)dt.
Example
then
x2 dx = = =
0 0 0
2 2
cos2 tdt.
35 / 39
Triple integrals
Change of variables
Theorem
Given two regions E Rm and D Rm , assume that T : E D is a map bijective having continuous partial derivatives. Then for any continuous function f : D R, we have
D
f (x)dx =
36 / 39
Triple integrals
Change of variables
Example
y =4
D1
y = x2
-2 -1 1 2
37 / 39
Triple integrals
Change of variables
yx2
x2
E
z2 dV
=
2
x2 + z2 dzdydx.
yx2
But it is very difcult to evaluate! We can also express E as E = (x, y, z) : 2 x 2, 4 x2 z and hence
E
4 x2 , x2 + z2 y 4 .
x2 + z2 dV
= = =
4 x2 +z2
x2 + z2 dydzdx
y=4
y x2 + z2
Triple integrals
Change of variables
and | det T | = r cos2 + r sin = r, so dxdz = | det T |drd = rdrd and: 4x2 2 2 2 (4 x2 z2 ) x2 + z2 dzdx = 0 0 (4 r2 )r rdrd 2
4x2
= = = =
2 0
2 0
4r2 r4 dr d
2 0
2 4r 3 r5 3 5 0 2 64 d 0 15 128 . 15
39 / 39