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^∂∂x∂∂y∂∂zFxFyFz∣\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=(∂Fz∂y−∂Fy∂z,∂Fx∂z−∂Fz∂x,∂Fy∂x−∂Fx∂y)\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

  • ∇×F≠0\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=(0−0,0−0,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=∮CF⋅dr\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: 0≤x≤a0 \leq x \leq a, 0≤y≤b0 \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:

∮CF⋅dr=∫C1Fx dx+∫C2Fy dy+∫C3Fx dx+∫C4Fy dy\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

=∫0a∫0b∂Fy∂x dy dx−∫0a∫0b∂Fx∂y dy dx= \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(∂Fy∂x−∂Fx∂y)dS=∫S(∇×F)z dS= \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}, ∮CF⋅dr=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ϕ∂y∂z−∂2ϕ∂z∂y=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 \phi∇2ϕ\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