Skip to content
Part IA Michaelmas, Lent, Easter Term

Curl and Stokes' Theorem

The Curl Operator

For a vector field F=(Fx,Fy,Fz)\mathbf{F} = (F_x, F_y, F_z), the curl is:

×F=i^j^k^xyzFxFyFz\nabla \times \mathbf{F} = \begin{vmatrix} \hat{\mathbf{i}} & \hat{\mathbf{j}} & \hat{\mathbf{k}} \\ \frac{\partial}{\partial x} & \frac{\partial}{\partial y} & \frac{\partial}{\partial z} \\ F_x & F_y & F_z \end{vmatrix}

Explicitly:

×F=(FzyFyz,FxzFzx,FyxFxy)\nabla \times \mathbf{F} = \left(\frac{\partial F_z}{\partial y} - \frac{\partial F_y}{\partial z}, \frac{\partial F_x}{\partial z} - \frac{\partial F_z}{\partial x}, \frac{\partial F_y}{\partial x} - \frac{\partial F_x}{\partial y}\right)

The result is a vector field.


Physical Interpretation

×F\nabla \times \mathbf{F} measures rotation: the tendency to cause circulation.

Paddle wheel in rotating fluid, showing how curl measures local rotation rate

  • ×F0\nabla \times \mathbf{F} \neq \mathbf{0}: Field has rotational component
  • ×F=0\nabla \times \mathbf{F} = \mathbf{0}: Irrotational

Example: Paddle wheel in a fluid placed at point r\mathbf{r}:

  • Angular velocity proportional to ×v|\nabla \times \mathbf{v}|
  • Axis of rotation aligned with ×v\nabla \times \mathbf{v}

Example

For F=(y,x,0)\mathbf{F} = (-y, x, 0):

×F=(00,00,1(1))=(0,0,2)\nabla \times \mathbf{F} = \left(0 - 0, 0 - 0, 1 - (-1)\right) = (0, 0, 2)

This field has uniform rotation about zz-axis.


Stokes’ Theorem

For an open surface SS with boundary curve CC: S(×F)dS=CFdr\int_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S} = \oint_C \mathbf{F} \cdot d\mathbf{r}

The flux of curl through a surface equals the circulation around its boundary.

Open surface S with boundary curve C, showing circulation around the boundary and curl flux through the surface

Orientation: Right-hand rule — fingers curl along CC, thumb points along n\mathbf{n}.


Proof Sketch (Rectangle)

Consider rectangle SS: 0xa0 \leq x \leq a, 0yb0 \leq y \leq b in z=0z = 0 plane.

Boundary consists of four edges:

  • C1C_1: xx from 0 to aa at y=0y = 0
  • C2C_2: yy from 0 to bb at x=ax = a
  • C3C_3: xx from aa to 0 at y=by = b (reversed)
  • C4C_4: yy from bb to 0 at x=0x = 0 (reversed)

Circulation:

CFdr=C1Fxdx+C2Fydy+C3Fxdx+C4Fydy\oint_C \mathbf{F} \cdot d\mathbf{r} = \int_{C_1} F_x\,dx + \int_{C_2} F_y\,dy + \int_{C_3} F_x\,dx + \int_{C_4} F_y\,dy

=0a[Fx(x,0)Fx(x,b)]dx+0b[Fy(a,y)Fy(0,y)]dy= \int_0^a [F_x(x, 0) - F_x(x, b)]\,dx + \int_0^b [F_y(a, y) - F_y(0, y)]\,dy

=0a0bFyxdydx0a0bFxydydx= \int_0^a \int_0^b \frac{\partial F_y}{\partial x}\,dy\,dx - \int_0^a \int_0^b \frac{\partial F_x}{\partial y}\,dy\,dx

=S(FyxFxy)dS=S(×F)zdS= \int_S \left(\frac{\partial F_y}{\partial x} - \frac{\partial F_x}{\partial y}\right)dS = \int_S (\nabla \times \mathbf{F})_z\,dS


Path Independence

Stokes’ theorem implies: for ×F=0\nabla \times \mathbf{F} = \mathbf{0}, CFdr=0\oint_C \mathbf{F} \cdot d\mathbf{r} = 0 for any CC.

Consequence: The line integral from AA to BB is path-independent.

Equivalent to F\mathbf{F} being conservative.


Relations Between Operators

Curl of Gradient = 0

×(ϕ)=0\nabla \times (\nabla \phi) = \mathbf{0}

Proof: The xx-component is 2ϕyz2ϕzy=0\frac{\partial^2\phi}{\partial y\partial z} - \frac{\partial^2\phi}{\partial z\partial y} = 0 by equality of mixed partials.

Divergence of Curl = 0

(×F)=0\nabla \cdot (\nabla \times \mathbf{F}) = 0

Proof: Each term in the divergence pairs with another that cancels it.


Summary of Relationships

Operator combinationResultReason
×ϕ\nabla \times \nabla \phi0\mathbf{0}Mixed partials equal
(×F)\nabla \cdot (\nabla \times \mathbf{F})0Terms pair and cancel
ϕ\nabla \cdot \nabla \phi2ϕ\nabla^2\phiLaplacian (non-zero in general)

Irrotational Fields

×F=0\nabla \times \mathbf{F} = \mathbf{0} everywhere \Leftrightarrow F\mathbf{F} is conservative \Leftrightarrow F=ϕ\mathbf{F} = \nabla \phi

Example: Gravitational field g=ϕG\mathbf{g} = -\nabla \phi_G is irrotational.


Why Stokes’ Theorem Matters

Stokes’ theorem converts between:

  • Surface integrals (flux of curl)
  • Line integrals (circulation)

This connects:

  • Circulation to rotation in fluid mechanics
  • Electromagnetic induction (Faraday’s law)
  • Path independence of conservative fields