Chapter 37 — Key Takeaways
The Two Great Theorems
Stokes' theorem (§37.2) — circulation around a boundary curve equals the curl-flux through any spanning surface:
$$\oint_{\partial S}\mathbf{F}\cdot d\mathbf{r} = \iint_S(\nabla\times\mathbf{F})\cdot d\mathbf{S}.$$
The Divergence theorem (Gauss's theorem, §37.4) — outward flux through a closed surface equals the total divergence inside the solid it bounds:
$$\oiint_{\partial E}\mathbf{F}\cdot d\mathbf{S} = \iiint_E(\nabla\cdot\mathbf{F})\,dV.$$
In both, the left side integrates a field over a boundary and the right side integrates a derivative of that field over the interior. Curl ($\nabla\times\mathbf{F}$) and divergence ($\nabla\cdot\mathbf{F}$) are exactly as defined in Chapter 34.
Both Are the FTC, Generalized
The slogan of §37.1 — the integral of a derivative over a region equals an integral over its boundary — is one idea worn in four costumes:
| Theorem | Region $M$ | Boundary $\partial M$ | "Derivative" | Chapter |
|---|---|---|---|---|
| Fundamental Theorem of Calculus | interval $[a,b]$ | endpoints $\{a,b\}$ | $f'$ | 14 |
| Green's theorem | planar region $D$ | curve $\partial D$ | $Q_x - P_y$ | 35 |
| Stokes' theorem | surface $S$ | curve $\partial S$ | $\nabla\times\mathbf{F}$ | 37 |
| Divergence theorem | solid $E$ | surface $\partial E$ | $\nabla\cdot\mathbf{F}$ | 37 |
Each row drops the boundary's dimension by one relative to the region and replaces "the field on the boundary" with "a derivative of the field inside." Chapter 38 collapses all four into the single universal form $\int_{\partial M}\omega = \int_M d\omega$ (§37.6, §37.11).
The "Integral of a Derivative = Boundary" Pattern
- Why the cancellation works: tile the region with tiny cells; on shared interior boundaries the contributions cancel in pairs, leaving only the outer boundary (§37.3 patchwork for Stokes', §37.5 sugar-cubes for divergence). This telescoping is both theorems.
- Divergence is flux density: $\displaystyle\nabla\cdot\mathbf{F}(P) = \lim_{V\to 0}\frac{1}{V}\oiint_{\partial V}\mathbf{F}\cdot d\mathbf{S}$. The macroscopic theorem is just this microscopic identity summed up (§37.5).
- Stokes contains Green: flatten $S$ into the $xy$-plane with $\mathbf{F} = \langle P,Q,0\rangle$ and Stokes' theorem becomes Green's theorem $\oint P\,dx + Q\,dy = \iint(Q_x - P_y)\,dA$ (§37.2; Green's, Chapter 35).
Choosing the Easier Side
- Surface independence (Stokes'). The curl-flux depends only on the boundary curve, not on which surface fills it, because $\nabla\cdot(\nabla\times\mathbf{F}) = 0$ (§37.2, §37.9). Swap a hideous surface for a flat disk with the same rim.
- Closed surfaces (divergence). A flux through a closed surface almost always falls faster to a volume integral of the divergence — Example 4 turned six face integrals into one (§37.5).
- Constant divergence shortcut. If $\nabla\cdot\mathbf{F}$ is constant $c$, the flux is just $c\cdot\text{Vol}(E)$ (Check Your Understanding, §37.5).
Maxwell's Equations — the Headline Payoff
Stokes' and the Divergence theorems are the entire dictionary between the integral and differential forms of electromagnetism (§37.7):
| Law | Integral form | Differential form | Theorem |
|---|---|---|---|
| Gauss (electric) | $\oiint\mathbf{E}\cdot d\mathbf{S} = Q_{\text{enc}}/\varepsilon_0$ | $\nabla\cdot\mathbf{E} = \rho/\varepsilon_0$ | Divergence |
| Gauss (magnetic) | $\oiint\mathbf{B}\cdot d\mathbf{S} = 0$ | $\nabla\cdot\mathbf{B} = 0$ | Divergence |
| Faraday | $\oint\mathbf{E}\cdot d\mathbf{r} = -d\Phi_B/dt$ | $\nabla\times\mathbf{E} = -\partial_t\mathbf{B}$ | Stokes' |
| Ampère–Maxwell | $\oint\mathbf{B}\cdot d\mathbf{r} = \mu_0(I_{\text{enc}} + \varepsilon_0\,d\Phi_E/dt)$ | $\nabla\times\mathbf{B} = \mu_0\mathbf{J} + \mu_0\varepsilon_0\,\partial_t\mathbf{E}$ | Stokes' |
The same "flux balance → Divergence theorem → differential law" move also produces the continuity equation $\partial_t\rho + \nabla\cdot(\rho\mathbf{u}) = 0$ and the heat equation $\partial_t T = \alpha\nabla^2 T$ (§37.8) — half the governing PDEs of physics from one theorem.
Potentials: When a Derivative Vanishes (§37.9)
- $\nabla\times\mathbf{F} = \mathbf{0}$ on a simply-connected domain $\Rightarrow$ conservative: $\mathbf{F} = \nabla f$, path-independent line integrals (Chapter 35).
- $\nabla\cdot\mathbf{F} = 0$ $\Rightarrow$ solenoidal: $\mathbf{F} = \nabla\times\mathbf{A}$ for a vector potential $\mathbf{A}$. This is why $\nabla\cdot\mathbf{B} = 0$ lets us write $\mathbf{B} = \nabla\times\mathbf{A}$.
- The two identities $\nabla\cdot(\nabla\times\mathbf{A}) = 0$ and $\nabla\times(\nabla f) = \mathbf{0}$ become the single law $d^2 = 0$ in Chapter 38.
Common Errors to Avoid
- Orientation mismatch (Stokes'). Fix the normal $\mathbf{n}$ first, then let the right-hand rule choose the boundary direction. A clockwise/CCW slip flips exactly one side's sign — the theorem is fine, your bookkeeping isn't (§37.3 pitfall).
- Open surface (divergence). The Divergence theorem needs a closed surface. Cap an open one, apply the theorem to the closed solid, then subtract the cap's flux (§37.5, exercise E2).
- Singularities inside. If $\mathbf{F}$ blows up inside $E$ (e.g. $\mathbf{r}/\|\mathbf{r}\|^3$ at the origin), $\nabla\cdot\mathbf{F}$ is undefined there and the theorem fails as stated — which is exactly how a point charge produces nonzero flux (§37.5, Case Study 1).
- Forgetting outward normal. Flux in the Divergence theorem is always outward. An inward normal flips the sign.
Connections
- Backward: FTC (Chapter 14) is the 1D seed; Green's theorem (Chapter 35) the 2D case; curl and divergence come from Chapter 34; flux and surface integrals from Chapter 36; spherical/cylindrical volume integrals from Chapter 33.
- Forward: Chapter 38 unifies all four theorems into $\int_{\partial M}\omega = \int_M d\omega$ via differential forms — the deepest idea in calculus. Then Part VIII (Chapters 39–40) assembles the Modeling Portfolio and surveys the whole landscape.
- Theme: This chapter is the summit of recurring theme #3 — the FTC is the single most important result in mathematics — and of theme #5, the same calculus appearing in every quantitative field (electromagnetism, fluids, heat, finance).