Skip to main content
\(\renewcommand{\chaptername}{Unit} \newcommand{\derivativehomeworklink}[1]{\href{http://db.tt/cSeKG8XO}{#1}} \newcommand{\chpname}{unit} \newcommand{\sageurlforcurvature}{http://bmw.byuimath.com/dokuwiki/doku.php?id=curvature_calculator} \newcommand{\uday}{ \LARGE Day \theunitday \normalsize \flushleft \stepcounter{unitday} } \newcommand{\sageworkurl}{http://bmw.byuimath.com/dokuwiki/doku.php?id=work_calculator} \newcommand{\sagefluxurl}{http://bmw.byuimath.com/dokuwiki/doku.php?id=flux_calculator} \newcommand{\sageworkfluxurl}{http://bmw.byuimath.com/dokuwiki/doku.php?id=both_flux_and_work} \newcommand{\sagelineintegral}{http://bmw.byuimath.com/dokuwiki/doku.php?id=line_integral_calculator} \newcommand{\sagephysicalpropertiestwod}{http://bmw.byuimath.com/dokuwiki/doku.php?id=physical_properties_in_2d} \newcommand{\sagephysicalpropertiesthreed}{http://bmw.byuimath.com/dokuwiki/doku.php?id=physical_properties_in_3d} \newcommand{\sageDoubleIntegralCheckerURL}{http://bmw.byuimath.com/dokuwiki/doku.php?id=double_integral_calculator} \newcommand{\myscale}{1} \newcommand{\ds}{\displaystyle} \newcommand{\dfdx}[1]{\frac{d#1}{dx}} \newcommand{\ddx}{\frac{d}{dx}} \newcommand{\ii}{\vec \imath} \newcommand{\jj}{\vec \jmath} \newcommand{\kk}{\vec k} \newcommand{\vv}{\mathbf{v}} \newcommand{\RR}{\mathbb{R}} \newcommand{\R}{ \mathbb{R}} \newcommand{\inv}{^{-1}} \newcommand{\im}{\text{im }} \newcommand{\colvec}[1]{\begin{bmatrix}#1\end{bmatrix} } \newcommand{\cl}[1]{ \begin{matrix} #1 \end{matrix} } \newcommand{\bm}[1]{ \begin{bmatrix} #1 \end{bmatrix} } \DeclareMathOperator{\rank}{rank} \DeclareMathOperator{\rref}{rref} \DeclareMathOperator{\vspan}{span} \DeclareMathOperator{\trace}{tr} \DeclareMathOperator{\proj}{proj} \DeclareMathOperator{\curl}{curl} \newcommand{\blank}[1]{[14pt]{\rule{#1}{1pt}}} \newcommand{\vp}{^{\,\prime}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Section12.3Circulation Density and Stokes' Theorem

Objectives

After completing this sectoin you should...

  • Be able to apply Stokes' Theorem to evaluate work integrals over simple closed curves.

As a final application of surface integrals, we now generalize the circulation version of Green's theorem to surfaces. With the curl defined earlier, we are prepared to explain Stokes' Theorem.

Let's start by showing how Green's theorem extends to 3D. A vector field in the plane \(\vec F = \left(M,N\right)\) can be extended to 3D by writing \(\vec F = \left(M,N,0\right)\text{.}\) The curl is \(\text{ curl } \vec F = \left\lt 0,0,N_x-M_y\right>\text{.}\) A normal vector to a surface \(S\) in the \(xy\) plane is \(\vec n = \left\lt 0,0,1\right>\text{.}\) We can then write Green's theorem as

\begin{equation*} \oint_C\vec F\cdot d\vec r = \oint_C Mdx+Ndy = \iint_S \text{ curl } \cdot \vec n d\sigma = \iint_R \left(N_x-M_y\right) dA, \end{equation*}

where \(C\) is a simple closed curve in the plane and \(S=R\) is the planar region that is inside \(C\text{.}\)

Subsection12.3.1Using Stokes Theorem

Exercise12.3.1

Consider the vector field \(\vec F = (2z,3y,-4x)\text{.}\) Let \(S\) be the disc \(x^2+z^2\leq 9\) in the plane \(y=2\text{.}\) Let \(C\) be the boundary of this disc, so the circle \(x^2+z^2=9\) in the plane \(y=2\text{.}\) The curve \(C\) is oriented in the counterclockwise direction when looked at from the origin.

(a)

Compute the curl of \(\vec F\text{,}\) and state the unit normal vector \(\vec n\) to \(S\) that is oriented compatibly with \(C\text{.}\)

(b)

Give a parametrization \(\vec r(t)\) of the curve \(C\text{.}\)

(c)

Verify Stokes' theorem by computing both sides of the equation:

\begin{equation*} \int_C\vec F\cdot d\vec r = \iint_S \text{ curl } \cdot \vec n d\sigma. \end{equation*}

The left side will require you to set up and evaluate a line integral. The right side will require you to evaluate a surface integral (though you should be able to reduce this integral to a known quantity).

Exercise12.3.2

Consider the vector field \(\vec F = \left(x+y, y+z, x+z\right)\text{.}\)

Let \(C\) be the space curve which travels around a triangle in \(\mathbb{R}^3\) and hits the vertexes \((2,0,0)\text{,}\) \((0,3,0)\text{,}\) and \((0,0,6)\text{,}\) in this order. This triangle lies in the plane \(S\) given by \(\ds \frac x2+\frac y3 +\frac z6=1\text{,}\) or equivalently \(z=6-3x-2y\text{.}\)

(a)

Give bounds for \(x\) and \(y\) so that \(\vec r(x,y)=(x,y,6-3x-2y)\) is a parametrization of \(S\text{.}\)

(b)

Show that the circulation of \(\vec F\) along \(C\) is \(-18\text{,}\) by using Stokes' theorem.

Exercise12.3.3

Let \(\vec F = \left\lt z,y^2,x^2\right>\text{.}\) The surface \(S\text{,}\) parametrized by \(\vec r(u,v) = \left\lt u\cos v,u\sin v, u\right>\) for \(0\leq u\leq 1\) and \(0\leq v\leq 2\pi\) is a cone. The boundary of \(S\) is the curve \(C\) is a circle of radius one at height \(z=1\text{.}\) If we choose as our normal vector to \(S\) the outward normal (away from the \(z\)-axis), then to use Stokes' theorem we must orient \(C\) counterclockwise as seen from below the surface.

(a)

Find \(\vec n d\sigma\) (the product should allow you to ignore magnitudes).

(b)

Give a parameterization of \(C\) that is oriented compatibly with \(\vec n\text{.}\)

(c)

Set up both integrals in Stokes' theorem. Don't evaluate either.

(d)

Note that the surface \(S_2\text{,}\) which is the disc \(x^2+y^2\leq 1\) at height \(z=1\text{,}\) has the same boundary \(C\) as surface \(S\text{.}\) The normal vectors to \(S_2\) are \((0,0,\pm 1)\text{.}\) Use Stokes' theorem to compute both integrals above.

Being creative in your choice of surface can sometimes make a problem trivial.

Exercise12.3.4

Let \(\vec F(x,y,z)=(M,N,P)\) be a continuously differentiable vector field. Suppose that \(\vec F\) has a potential (so that \(D\vec F\) is symmetric).

(a)

Compute the derivative of \(F\) as a square matrix.

(b)

Explain which partial derivatives must be equal.

(c)

Use this information to find the curl of \(\vec F\) if \(\vec F\) has a potential.

(d)

According to Stokes' Theorem, what is the circulation of \(\vec F\) along any closed path, provided \(\vec F\) has a potential?

Subsection12.3.2Computational Practice

These are provided to help you achieve better skills in basic computational answers.

1
2
3
4