The Curl Operator
For a vector field F=(Fx,Fy,Fz), the curl is:
∇×F=i^∂x∂Fxj^∂y∂Fyk^∂z∂Fz
Explicitly:
∇×F=(∂y∂Fz−∂z∂Fy,∂z∂Fx−∂x∂Fz,∂x∂Fy−∂y∂Fx)
The result is a vector field.
Physical Interpretation
∇×F measures rotation: the tendency to cause circulation.

- ∇×F=0: Field has rotational component
- ∇×F=0: Irrotational
Example: Paddle wheel in a fluid placed at point r:
- Angular velocity proportional to ∣∇×v∣
- Axis of rotation aligned with ∇×v
Example
For F=(−y,x,0):
∇×F=(0−0,0−0,1−(−1))=(0,0,2)
This field has uniform rotation about z-axis.
Stokes’ Theorem
For an open surface S with boundary curve C:
∫S(∇×F)⋅dS=∮CF⋅dr
The flux of curl through a surface equals the circulation around its boundary.

Orientation: Right-hand rule — fingers curl along C, thumb points along n.
Proof Sketch (Rectangle)
Consider rectangle S: 0≤x≤a, 0≤y≤b in z=0 plane.
Boundary consists of four edges:
- C1: x from 0 to a at y=0
- C2: y from 0 to b at x=a
- C3: x from a to 0 at y=b (reversed)
- C4: y from b to 0 at x=0 (reversed)
Circulation:
∮CF⋅dr=∫C1Fxdx+∫C2Fydy+∫C3Fxdx+∫C4Fydy
=∫0a[Fx(x,0)−Fx(x,b)]dx+∫0b[Fy(a,y)−Fy(0,y)]dy
=∫0a∫0b∂x∂Fydydx−∫0a∫0b∂y∂Fxdydx
=∫S(∂x∂Fy−∂y∂Fx)dS=∫S(∇×F)zdS
Path Independence
Stokes’ theorem implies: for ∇×F=0, ∮CF⋅dr=0 for any C.
Consequence: The line integral from A to B is path-independent.
Equivalent to F being conservative.
Relations Between Operators
Curl of Gradient = 0
∇×(∇ϕ)=0
Proof: The x-component is ∂y∂z∂2ϕ−∂z∂y∂2ϕ=0 by equality of mixed partials.
Divergence of Curl = 0
∇⋅(∇×F)=0
Proof: Each term in the divergence pairs with another that cancels it.
Summary of Relationships
| Operator combination | Result | Reason |
|---|
| ∇×∇ϕ | 0 | Mixed partials equal |
| ∇⋅(∇×F) | 0 | Terms pair and cancel |
| ∇⋅∇ϕ | ∇2ϕ | Laplacian (non-zero in general) |
Irrotational Fields
∇×F=0 everywhere ⇔ F is conservative ⇔ F=∇ϕ
Example: Gravitational field g=−∇ϕ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