06.09.2021 Views

Calculus- Early Transcendentals, 2021a

Calculus- Early Transcendentals, 2021a

Calculus- Early Transcendentals, 2021a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

564 Vector <strong>Calculus</strong><br />

where e is an electric field and ε 0 (the permittivity of free space) is a known constant; N is oriented<br />

outward. Use Gauss’s Law to find the charge contained in the cube with vertices (±1,±1,±1) if the<br />

electric field is e = 〈x,y,z〉.<br />

16.8 Stokes’ Theorem<br />

Recall that one version of Green’s Theorem (see Equation 16.2)is<br />

∫ ∫∫<br />

f · dr = (∇ × f) · kdA.<br />

∂D<br />

D<br />

Here D is a region in the xy-plane and k is a unit normal to D at every point. If D is instead an orientable<br />

surface in space, there is an obvious way to alter this equation, and it turns out still to be true:<br />

Theorem 16.23: Stokes’ Theorem<br />

Provided that the quantities involved are sufficiently nice, and in particular if D is orientable,<br />

∫ ∫∫<br />

f · dr = (∇ × f) · NdS,<br />

∂D<br />

if ∂D is oriented counter-clockwise relative to N.<br />

D<br />

The proof of Stokes’ Theorem will follow a discussion and several examples of the Theorem in use.<br />

Note how little has changed: k becomes N, a unit normal to the surface, and dA becomes dS, since this<br />

is now a general surface integral. The phrase “counter-clockwise relative to N” meansthatifwetakethe<br />

direction of N to be “up”, then we go around the boundary counter-clockwise when viewed from “above”.<br />

Example 16.24<br />

Let f = 〈y 2 z,x 2 z,xy 2 〉 and the surface D be x = √ 1 − y 2 − z 2 , oriented in the positive x direction. It<br />

quickly becomes apparent that the surface integral in Stokes’ Theorem is intractable, so compute<br />

the line integral.<br />

Solution. The boundary of D is the unit circle in the yz-plane, r = 〈0,cosu,sinu〉,0≤ u ≤ 2π. The integral<br />

is<br />

because x = 0.<br />

∫ 2π<br />

0<br />

〈y 2 z,x 2 z,xy 2 〉·〈0,−sinu,cosu〉du =<br />

∫ 2π<br />

0<br />

0du = 0,<br />

An interesting consequence ofStokes’TheoremisthatifD and E are two orientable surfaces with the<br />

same boundary, then<br />

∫∫<br />

∫ ∫ ∫∫<br />

(∇ × f) · NdS = f · dr = f · dr = (∇ × f) · NdS.<br />

Sometimes both of the integrals<br />

∫∫<br />

D<br />

D<br />

∂D<br />

∂E<br />

(∇ × f) · NdS and<br />

∫<br />

∂D<br />

E<br />

f · dr<br />

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

Saved successfully!

Ooh no, something went wrong!