Math 55 LE2 Notes
Math 55 LE2 Notes
UP
K E M
1 Triple Integrals
From integration over regions in R2 , we progress
to regions in R3 .
l X
m X
n
X
ZZZ
f = lim
D
Math 55
f (xi , yj , zk )Vijk
J.Quintos
T.Delos Santos
Preface
ZZZ
f (x, y, z) dx dy dz
To compute triple integrals, we invoke again Fubinis Theorem, which equates a triple integral
into an iterated integral.
1.1
Applications
A Topological Note
Ill discuss first the typical applications of the triple
integral because theyll be used again and again
in most examples.
1.1.1
Volume
In this reviewer notes, well usually denote regions with D, E, or R. Well also be working
ZZZ
V(D) =
dV
(1)
1.2
1.1.2
Box-like regions
M
V
dV
(2)
ZZZ
f (x, y, z) dx dy dz
f (x, y, z) dV =
D
f (x, y, z) dx dy dz
m
(x, y, z) dV
(3)
treating outer variables constant when evaluating the inner integral with respect to the inner
variable
Example. Evaluate
ZZZ
xyz dV
Center of Mass
xyz dx dy dz
5
ZZZ
1
M
ZZZ
1
M
ZZZ
y=
z=
x dV
(4)
y dV
(5)
z dV
(6)
Page 2 of 12
ermost,
2
xyz dx = yz
(2)2 (1)2
2
E
3
yz
2
2
3
3
(4) (3)2
yz dy = z
2
2
2
=
21
z
4
21 (6)2 (5)2
21
dz =
4
4
2
Z
5
(a) a blob
G(x,y)
231
8
E
g(x,y)
a
D
1.3
f(x)
General regions
F(x)
F (x)
G(x,y)
(some function) dz dy dz
a
f (x)
g(x,y)
Remark. I emphasised by typing some function that the function to be integrated is not
necessarily the same function describing the region. This has been a common mistake, as noted
by my instructor.
E = {(x, y, z) : (x, y) D and g(x, y) z G(x, y)} The challenge is cleverly thinking of a convenient
representation of the region that simplifies comThink of g(x, y) as a floor and G(x, y) as a ceilputation compared to other forms.
ing of the region. For any point (x, y) that beNote that the order of integration is not interlong in region D : z goes from its floor function
changeable for a particular set of bounds describg(x, y), including every value in between, up to its
ing a general region. Reordering the integral needs
ceiling function G(x, y).
rewriting the bounds.
Page 3 of 12
1.4
Cylindrical coordinates
We now look at the analogue of the polar coordinates in R3 . In figure (1.4.1), we see a coordinate
z
2
y
2
x
A
Solution.
(a) The outermost variable is z, which takes values 0 z 2.
Next is y. Since z and y are related by
2
2
2
the circle
p z + y = 2 , we can express
2
y(z) = 4
goes from 0 to 2, y
pz . As z p
2
goes from 4 z to 4 z 2 . So theres
our bounds.
The x variable doesnt depend on the previous variables, and we have 0 x 1. The
iterated integral is then:
2
4z 2
4z 2
1 dx dy dz
x = r cos
y = r sin
z=z
Z 4y2
x2 + y 2 = r s
1 dz dy dx
0
Page 4 of 12
0 r 1.
Example. Evaluate the triple integral in the previous example using cylindrical coordinates.
= r2 z cos sin
The integral is then
Z
Z
0
r3 z cos sin dz dr d
r2
x : from 0 to 1
r : from 0 to 2
1.5
: from 0 to
1Z
Spherical coordinates
(,,)
r dr d dx
0
Which evaluates to 2
Example. Transform
Z
Z 1y2 Z x2 +y2
xyz dz dx dy
1
x2 +y 2
1 y 1
0 x
x2 + y 2 z
azimuthal angle, .
x2 + y 2
Page 5 of 12
x = sin cos
y = sin sin
z = cos
2
x +y +z =
4 cos
2 sin d d d
Which evaluates to
8
3
1.6
y
(a) = /4 and = 4 cos
()
Where the subscripts denote partial differentiation. You can extend this to 3 or more variables,
just take note of the row and column pattern.
Page 6 of 12
Theorem 1 (Change of variables for Double Integrals). Suppose that we want to integrate f (x, y)
over the region D.
Under the transformation x = g(u, v), y = h(u, v)
the region becomes E and the integral becomes,
ZZ
ZZ
f (x, y) dA =
f (g(u, v), h(u, v))|JT | du dv
D
( sin cos )
( sin sin )
( cos )
sin sin
sin cos
0
( sin cos )
( sin sin )
( cos )
F~ = P i +Q j
~ = P i +Q j +R k
G
Where in all cases, P, Q, R are scalar functions of
x, y or x, y, z.
Some examples of vector fields IRL are shown in
figure 2.1.1.
cos cos
cos sin
sin
2 Vector Calculus
In this section we discuss vector fields, two new
types of integral, and important theorems about
those new types of integral.
2.1
Vector fields
Page 7 of 12
Equivalently
curl(F~ ) =
,
,
x y z
hP, Q, Ri
2.2
~
Definition (Del operator). We let the symbol
denote the Del operator, such that:
~ =
,
,
x y z
When a point in (x, y, z) is specified, the divergence and curl expressions can be evaluated to
give scalar and vector values, respectively.
curl(F~ ) = h0, 0, Qx Py i
is a scalar expression given by
~ F~
div(F~ ) =
2.3
Conservative fields
Equivalently,
div(F~ ) =
,
,
x y z
hP, Q, Ri
P
Q R
+
+
x
y
z
= Px + Qy + Rz
~ F~
curl(F~ ) =
curl(F~ ) = 0
Page 8 of 12
t=b
f (x, y, z) ds =
C
ds
dt
dt
where
Upon showing that the vector field is conservative,
we can apply the definition of gradient in the x
term. Considering only 2D:
d
=P
dx
Z
Z
d = P dx
Because of integration, this initial potential function has a constant of integration which may
be a function of y. To check, differentiate with
respect to y and compare this to Q.
The usefulness of conservative vector fields and
the potential function will be apparent later on.
2.4
Line Integrals
2.4.2
~
R(t)
= hx(t), y(t), z(t)i
(8)
Vector Fields
Definition (Line Integral). We define the line integral of f over a curve C as:
Z
n
X
f (xi (t), yi (t), zi (t))i s
f (x, y, z) ds = lim
C
(7)
Note that when the function is unity, the line integral simplifies to the formula of the arc length
of the curve from a to b.
t0
ds
~ 0 (t)||
= ||R
dt
~ =
F~ dR
ds
F~ T
Z
=
F~
~
dR
dt
ds
dt
ds
F~
~
dR
dt
ds
dt
ds
dt
dt
i=1
Z
=
C
t=b
=
t=a
2.4.1
Scalar Fields
~
dR
F~
dt
dt
Page 9 of 12
2.4.3
Theorem 4. If M (x, y) and N (x, y) are continuous on open-connected region D, then the following are equivalent statements:
Theorem 3. Let C be a piecewise, smooth parametric curve lying in an open region D having
initial and terminal points (x0 , y0 ) and (x1 , y1 ),
respectively. If F~ (x, y) = hM (x, y), N (x, y)i is a
conservative vector field on D, where M and N
are continuous on D, then for any potential function of F~ on D:
any point on D.
Z
~ = 0 for any piecewise, smooth,
3.
F~ dR
C
closed curve C in D.
(x1 ,y1 )
~
~
F dR = (x, y)
Z
C
(x0 ,y0 )
2.5
This theorem provides us another means of calculating the line integral if we can show that the
function F~ is conservative (that is curl(F~ ) = 0)
and we can successfully find the potential function .
2.4.4
Greens Theorem
Path independence
satisfying
I
Z
C
~ =
F~ dR
~
F~ dR
~ =
F~ dR
ZZ
Q P
x
y
dA
C0
Q P
x
y
=0
Page 10 of 12
In rectangular coordinates:
dS =
1 + [gx ]2 + [gy ]2 dA
ZZ
f dS
2.6
Surface integrals
y1
x1
=
y0
q
f (x, y, g(x, y)) 1 + [gx ]2 + [gy ]2 dA
x0
ZZ
f (x, y, z) dS =
: z = g(x, y)
n X
m
X
lim
P 0
j=1 i=1
2.6.2
Vector fields
Scalar fields
ZZ
f dS
v1 Z
u1
=
v0
~u R
~ v || dA
dS = ||R
~u R
~ v || du dv
f (x(u, v), y(u, v), z(u, v))||R
u0
Page 11 of 12
ZZ
dS =
F~ N
ZZ
~u R
~ v ) dA
F~ (R
D
1 + [gx ]2 + [gy ]2 dA
ZZ
dS =
F~ N
ZZ
F~ hgx , gy , 1i dA
References
[1] Wikipedia, the Free Encyclopedia.
[2] Paul Dawkins. Calculus III, 2012.
[3] Joe Erickson. Calculus 3 Notes.
Page 12 of 12