Multivariate Calculus - Bruce E. Shapiro

Multivariate Calculus - Bruce E. Shapiro Multivariate Calculus - Bruce E. Shapiro

bruce.shapiro.com
from bruce.shapiro.com More from this publisher
21.04.2015 Views

200 LECTURE 24. FLUX INTEGRALS & GAUSS’ DIVERGENCE THEOREM where F i is the value of F in cube i. Using the geometric definition of the divergence ∬ ∂V ∇ · F i ≈ i F i · dA (24.4) ∆V i Hence V ∇ · F dV = = n∑ i=1 n∑ i=1 ∆V i ∬ ∂V i F i · dA ∆V i (24.5) ∂V i F i · dA (24.6) Since the surface integrals over bordering faces cancel out (compare with the proof of Green’s theorem), all that remains of the sum is over the border of the entire volume, and we have ∇ · F dV = F · dA (24.7) V Example 24.5 Find the surface integral ∬ S F · dA of the vector field F = (0, y, 0) over a cylinder of radius 1 and height 2 centered about the z-axis whose base is in the xy plane, where S includes the entire surface (including the top and the bottom of the cylinder). Solution. Using the divergence theorem, F · dA = ∇ · FdV (24.8) S V ∂V = (1)dV = dV = π(1) 2 × (2) = 2π (24.9) V V Revised December 6, 2006. Math 250, Fall 2006

Lecture 25 Stokes’ Theorem We have already seen the circulation, whose definition we recall here. We will use this definition to give a geometric definition of the curl of a vector field, as we did in the previous section for the divergence. Definition 25.1 Let D ⊂ R 3 be an open set, C ⊂ D a path, and F a vector field on D. Then the circulation of the vector field is ∮ circ F = F · dr (25.1) The circulation density about a vector n is circ F circ n F = lim A→0 A = lim 1 A→0 A C ∮ C F · dr (25.2) We define the curl of a vector field at a point as vector field having magnitude equal to the maximum circulation at the point and direction normal to the plane of circulation, so that (∇ × F) · n = circ n F (25.3) Theorem 25.1 Let F = (M, N, P ) be a differentiable vector field. Then curl F = ∇ × F = (P y − N z , M z − P x , N x − M y ) (25.4) Theorem 25.2 Stokes’ Theorem. Let D ⊂ R 3 be a connected set, let S ⊂ D be a surface with boundary ∂S and surface normal vector n. If F = (M, N, P ) is a differentiable vector field on D then ∮ ∂S F · T ds = (∇ × F) · n dS (25.5) S where T is a unit tangent vector of ∂S. Here ds is the distance element along C and dS is the surface element on S. 201

200 LECTURE 24. FLUX INTEGRALS & GAUSS’ DIVERGENCE THEOREM<br />

where F i is the value of F in cube i. Using the geometric definition of the divergence<br />

∬<br />

∂V<br />

∇ · F i ≈ i<br />

F i · dA<br />

(24.4)<br />

∆V i<br />

Hence<br />

<br />

V<br />

∇ · F dV =<br />

=<br />

n∑<br />

i=1<br />

n∑ <br />

i=1<br />

∆V i<br />

∬<br />

∂V i<br />

F i · dA<br />

∆V i<br />

(24.5)<br />

∂V i<br />

F i · dA (24.6)<br />

Since the surface integrals over bordering faces cancel out (compare with the proof<br />

of Green’s theorem), all that remains of the sum is over the border of the entire<br />

volume, and we have<br />

<br />

<br />

∇ · F dV = F · dA (24.7)<br />

V<br />

Example 24.5 Find the surface integral ∬ S<br />

F · dA of the vector field F = (0, y, 0)<br />

over a cylinder of radius 1 and height 2 centered about the z-axis whose base is in<br />

the xy plane, where S includes the entire surface (including the top and the bottom<br />

of the cylinder).<br />

Solution. Using the divergence theorem,<br />

<br />

F · dA = ∇ · FdV (24.8)<br />

S<br />

V<br />

∂V<br />

<br />

= (1)dV = dV = π(1) 2 × (2) = 2π (24.9)<br />

V<br />

V<br />

Revised December 6, 2006. Math 250, Fall 2006

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!