| |

8: Vector Calculus Theorems

The fundamental theorems connecting line integrals, surface integrals, and volume integrals.


Overview: The Big Three

TheoremRelatesEquation
Greenโ€™sLine integral โ†” Double integralโˆฎCFโ‹…dr=โˆฌDcurlzFโ€‰dA\oint_C \mathbf{F} \cdot d\mathbf{r} = \iint_D \text{curl}_z \mathbf{F} \, dA
Stokesโ€™Line integral โ†” Surface integralโˆฎCFโ‹…dr=โˆฌScurlย Fโ‹…dS\oint_C \mathbf{F} \cdot d\mathbf{r} = \iint_S \text{curl } \mathbf{F} \cdot d\mathbf{S}
DivergenceSurface integral โ†” Volume integralโˆฌSFโ‹…dS=โˆญEdivย Fโ€‰dV\iint_S \mathbf{F} \cdot d\mathbf{S} = \iiint_E \text{div } \mathbf{F} \, dV

These are all generalizations of the Fundamental Theorem of Calculus.


Curl and Divergence

Curl

For F=โŸจP,Q,RโŸฉ\mathbf{F} = \langle P, Q, R \rangle:

curlย F=โˆ‡ร—F=โˆฃijkโˆ‚โˆ‚xโˆ‚โˆ‚yโˆ‚โˆ‚zPQRโˆฃ\text{curl } \mathbf{F} = \nabla \times \mathbf{F} = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ \frac{\partial}{\partial x} & \frac{\partial}{\partial y} & \frac{\partial}{\partial z} \\ P & Q & R \end{vmatrix} =โŸจโˆ‚Rโˆ‚yโˆ’โˆ‚Qโˆ‚z,โˆ‚Pโˆ‚zโˆ’โˆ‚Rโˆ‚x,โˆ‚Qโˆ‚xโˆ’โˆ‚Pโˆ‚yโŸฉ= \left\langle \frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z}, \frac{\partial P}{\partial z} - \frac{\partial R}{\partial x}, \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right\rangle

Physical meaning: Measures rotation/circulation at a point. The curl vector points along the axis of rotation.

Divergence

divย F=โˆ‡โ‹…F=โˆ‚Pโˆ‚x+โˆ‚Qโˆ‚y+โˆ‚Rโˆ‚z\text{div } \mathbf{F} = \nabla \cdot \mathbf{F} = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}

Physical meaning: Measures expansion/compression at a point.

  • divย F>0\text{div } \mathbf{F} > 0: source (flow outward)
  • divย F<0\text{div } \mathbf{F} < 0: sink (flow inward)
  • divย F=0\text{div } \mathbf{F} = 0: incompressible

Key Identities

  • curl(โˆ‡f)=0\text{curl}(\nabla f) = \mathbf{0} (gradient fields are irrotational)
  • div(curlย F)=0\text{div}(\text{curl } \mathbf{F}) = 0 (curl fields are incompressible)
  • div(โˆ‡f)=โˆ‡2f=fxx+fyy+fzz\text{div}(\nabla f) = \nabla^2 f = f_{xx} + f_{yy} + f_{zz} (Laplacian)

Greenโ€™s Theorem

Let CC be a positively oriented (counterclockwise), piecewise smooth, simple closed curve in the plane, and let DD be the region bounded by CC.

Circulation Form

โˆฎCFโ‹…dr=โˆฎCPโ€‰dx+Qโ€‰dy=โˆฌD(โˆ‚Qโˆ‚xโˆ’โˆ‚Pโˆ‚y)dA\oint_C \mathbf{F} \cdot d\mathbf{r} = \oint_C P \, dx + Q \, dy = \iint_D \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dA

Interpretation: Circulation around CC equals the total curl inside.

Flux Form

โˆฎCFโ‹…nโ€‰ds=โˆฎCPโ€‰dyโˆ’Qโ€‰dx=โˆฌD(โˆ‚Pโˆ‚x+โˆ‚Qโˆ‚y)dA\oint_C \mathbf{F} \cdot \mathbf{n} \, ds = \oint_C P \, dy - Q \, dx = \iint_D \left( \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} \right) dA

Interpretation: Flux across CC equals the total divergence inside.

Applications

  1. Compute area: A=12โˆฎCxโ€‰dyโˆ’yโ€‰dxA = \frac{1}{2}\oint_C x \, dy - y \, dx

  2. Simplify line integrals by converting to double integrals (or vice versa)

  3. Prove path independence (if curl = 0 everywhere)


Stokesโ€™ Theorem

Let SS be an oriented surface with boundary curve CC (oriented by right-hand rule).

โˆฎCFโ‹…dr=โˆฌS(curlย F)โ‹…dS\oint_C \mathbf{F} \cdot d\mathbf{r} = \iint_S (\text{curl } \mathbf{F}) \cdot d\mathbf{S}

Interpretation: Circulation around CC equals the total curl flowing through SS.

Special Cases

  • If SS is in the xyxy-plane: reduces to Greenโ€™s Theorem
  • If curl F=0\mathbf{F} = \mathbf{0}: line integral is path-independent

Applications

  1. Compute line integrals via surface integrals (or vice versa)

  2. Show independence of surface: If two surfaces share the same boundary, they give the same flux of curl F\mathbf{F}

  3. Physical: Relates circulation to vorticity


The Divergence Theorem (Gaussโ€™s Theorem)

Let EE be a solid region with outward-oriented boundary surface SS.

โˆฌSFโ‹…dS=โˆญE(divย F)โ€‰dV\iint_S \mathbf{F} \cdot d\mathbf{S} = \iiint_E (\text{div } \mathbf{F}) \, dV

Interpretation: Total flux out of EE equals the total divergence inside.

Applications

  1. Compute flux through closed surfaces

  2. Derive physical laws: Conservation of mass, Gaussโ€™s law in electromagnetism

  3. Compute volume: V=13โˆฌSrโ‹…dSV = \frac{1}{3}\iint_S \mathbf{r} \cdot d\mathbf{S} where r=โŸจx,y,zโŸฉ\mathbf{r} = \langle x, y, z \rangle

Example: Flux of Position Vector

For F=r=โŸจx,y,zโŸฉ\mathbf{F} = \mathbf{r} = \langle x, y, z \rangle:

  • divย r=3\text{div } \mathbf{r} = 3
  • Flux through closed surface SS bounding volume VV: โˆฌSrโ‹…dS=3V\iint_S \mathbf{r} \cdot d\mathbf{S} = 3V

Summary: When to Use Each Theorem

If you haveโ€ฆAnd wantโ€ฆUseโ€ฆ
Line integral in 2DDouble integralGreenโ€™s
Line integral in 3DSurface integralStokesโ€™
Surface integral (closed)Volume integralDivergence

The Generalized Stokesโ€™ Theorem

All three theorems are special cases of:

โˆซโˆ‚ฮฉฯ‰=โˆซฮฉdฯ‰\int_{\partial \Omega} \omega = \int_\Omega d\omega

โ€œThe integral of a form over the boundary equals the integral of its derivative over the interior.โ€


Physical Applications

Fluid Flow

  • Divergence theorem: Conservation of mass
  • Stokesโ€™ theorem: Kelvinโ€™s circulation theorem

Electromagnetism (Maxwellโ€™s Equations)

  • โˆฌSEโ‹…dS=Qฯต0\iint_S \mathbf{E} \cdot d\mathbf{S} = \frac{Q}{\epsilon_0} (Gaussโ€™s law)
  • โˆฎCBโ‹…dr=ฮผ0I\oint_C \mathbf{B} \cdot d\mathbf{r} = \mu_0 I (Ampรจreโ€™s law)

Heat Flow

  • Flux of heat = โˆ’kโˆ‡T-k\nabla T
  • Heat equation derived using divergence theorem

Quick Reference

ConceptFormula
Curlโˆ‡ร—F=โŸจRyโˆ’Qz,Pzโˆ’Rx,Qxโˆ’PyโŸฉ\nabla \times \mathbf{F} = \langle R_y - Q_z, P_z - R_x, Q_x - P_y \rangle
Divergenceโˆ‡โ‹…F=Px+Qy+Rz\nabla \cdot \mathbf{F} = P_x + Q_y + R_z
Greenโ€™s (circulation)โˆฎCPโ€‰dx+Qโ€‰dy=โˆฌD(Qxโˆ’Py)โ€‰dA\oint_C P\,dx + Q\,dy = \iint_D (Q_x - P_y)\,dA
Stokesโ€™โˆฎCFโ‹…dr=โˆฌS(โˆ‡ร—F)โ‹…dS\oint_C \mathbf{F} \cdot d\mathbf{r} = \iint_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S}
DivergenceโˆฌSFโ‹…dS=โˆญE(โˆ‡โ‹…F)โ€‰dV\iint_S \mathbf{F} \cdot d\mathbf{S} = \iiint_E (\nabla \cdot \mathbf{F})\,dV