Stokes' Theorem

Chapter 5: Integral Theorems of Vector Calculus

Learning objectives

State Stokes' Theorem with correct orientation conventions
Use it to convert surface integrals of curl into line integrals around the boundary
Recognise Green's Theorem as the planar special case
Connect zero curl to conservative fields and path independence

Stokes' Theorem is the curl-and-circulation cousin of the Divergence Theorem. It says that the integral of the curl of a vector field over a surface equals the circulation of the field around the surface's boundary curve. Where the Divergence Theorem relates a 3D region to its 2D boundary, Stokes' Theorem relates a 2D surface to its 1D boundary — one dimension lower. In chapter 6 you will see that both are special cases of a single statement on differential forms; for now they are the two flagship theorems of vector calculus and the workhorses of electromagnetism.

Statement of the theorem

Let $S$ be an oriented, piecewise smooth surface in $\mathbb{R}^3$ with piecewise smooth boundary curve $C = \partial S$ . Orient $C$ consistently with $S$ using the right-hand rule: if your right thumb points along the chosen normal to $S$ , your fingers curl in the direction of $C$ . For a $C^1$ vector field $\mathbf{F}$ defined on a neighbourhood of $S$ :

\oint_{C} \mathbf{F} \cdot d\mathbf{r} \;=\; \iint_{S} (\nabla \times \mathbf{F}) \cdot d\mathbf{S}.

The left side is the circulation of $\mathbf{F}$ around $C$ . The right side is the flux of the curl through $S$ .

The most surprising consequence: surface independence

The right side depends on the curl field over $S$ — but the left side depends only on the boundary curve. So if $S_1$ and $S_2$ are two surfaces with the same boundary $C$ , then

\iint_{S_1} (\nabla\times\mathbf{F})\cdot d\mathbf{S} = \iint_{S_2} (\nabla\times\mathbf{F})\cdot d\mathbf{S}.

You can deform the surface freely, as long as you do not change the boundary. The flux of a curl through a disc is the same as the flux through a hemisphere with the same equator.

Conservative fields

If $\nabla\times\mathbf{F} = \mathbf{0}$ everywhere on a simply-connected region, Stokes' Theorem forces $\oint_C\mathbf{F}\cdot d\mathbf{r} = 0$ for every closed curve $C$ . By the fundamental theorem of line integrals, this is equivalent to $\mathbf{F} = \nabla f$ for some scalar potential $f$ . Such a field is called conservative: the line integral between two points depends only on the endpoints, never on the path.

Green's Theorem as the planar special case

If $S$ is a flat region $D$ in the $xy$ -plane and $\mathbf{F} = (P, Q, 0)$ , then $\nabla\times\mathbf{F} = (0,0,, Q_x - P_y)$ and $d\mathbf{S} = (0,0,1),dA$ . Stokes' Theorem collapses to

\oint_C (P\,dx + Q\,dy) = \iint_D \left(\dfrac{\partial Q}{\partial x} - \dfrac{\partial P}{\partial y}\right)\,dA,

which is Green's Theorem. Choosing $P = -y/2,, Q = x/2$ gives the area formula $\text{Area}(D) = \tfrac{1}{2}\oint_C(x,dy - y,dx)$ .

(Visualising Stokes' Theorem requires a 3D rendering of the surface, its normal, and the boundary orientation simultaneously — beyond what our lang-core widgets can deliver. The references include online interactive demos.)

Where this shows up

- **Faraday's law of induction:**

\oint_C\mathbf{E}\cdot d\mathbf{r} = -d\Phi_B/dt

. The electric circulation around a loop equals the negative time derivative of the magnetic flux through any surface bounded by it. Power generators, transformers, and wireless charging coils all run on this. - **Ampère's law:**

\oint_C\mathbf{B}\cdot d\mathbf{r} = \mu_0 I_{\text{enc}}

. The magnetic circulation around a loop equals the enclosed current. Solenoids, MRI magnets, and inductor design rest on this directly. - **Atmospheric vorticity:** meteorologists track the curl of the wind field as *vorticity*. Stokes' Theorem says circulation of wind around a region equals the integrated vorticity inside, which controls cyclone intensity. - **Cohomology and topology:** the de Rham theorem essentially says "closed forms modulo exact forms" measures the holes in a space — Stokes' Theorem is the engine that connects local differentiation to global topology.

Pause and think: If $\nabla\times\mathbf{F}=\mathbf{0}$ in a region with a hole (e.g., $\mathbb{R}^3$ minus the $z$ -axis), is $\mathbf{F}$ necessarily conservative on that region? What goes wrong?

Try it

Predict, then verify: for $\mathbf{F}=(-y,x,0)$ and $C$ the unit circle in the $xy$ -plane (counterclockwise), compute both sides of Stokes. Both should equal $2\pi$ .
For $\mathbf{F}=(yz, xz, xy)$ , compute $\nabla\times\mathbf{F}$ . What does Stokes' Theorem then say about $\oint_C\mathbf{F}\cdot d\mathbf{r}$ for ANY closed curve $C$ ?
Use Green's Theorem with $P=-y/2,,Q=x/2$ to compute the area enclosed by the ellipse $x=a\cos t,,y=b\sin t,,t\in[0,2\pi]$ . (Answer: $\pi ab$ .)
True or false: if $\mathbf{F}$ is conservative on a simply-connected domain, its line integral around every closed curve is zero. Justify with Stokes.

A trap to watch for

Orientation by the right-hand rule, not majority vote. If you choose the upward normal on a hemisphere, the bounding equator must be traversed counterclockwise when viewed from above; choose the downward normal and you must traverse clockwise. Pick one consistently before computing — mismatched orientations introduce a sign error that you cannot debug from inside the calculation.

What you now know

You can state Stokes' Theorem, exploit surface independence, recognise conservative fields by zero curl, and recover Green's Theorem as the planar case. Section 5.4 unpacks the physical meanings — flux, circulation, and conservation laws — that make these theorems indispensable to physics.

References

Garrity, T. (2002). All the Mathematics You Missed. Cambridge University Press, ch. 5.
Marsden, J. E., Tromba, A. J. (2011). Vector Calculus (6th ed.). W. H. Freeman.
Schey, H. M. (2004). Div, Grad, Curl, and All That (4th ed.). W. W. Norton.
Griffiths, D. J. (2017). Introduction to Electrodynamics (4th ed.). Cambridge UP, ch. 5-7 (induction).
Spivak, M. (1965). Calculus on Manifolds. W. A. Benjamin, ch. 5.