Vector Calculus & Integral Theorems

curl

Drop a tiny paddle wheel into a flowing fluid and watch it. If the flow is faster on one side than the other, the wheel spins. Curl is the vector that measures this local spinning at every point of a vector field — the tendency of the field to circulate around the point. Its direction is the axis the little wheel turns about (by the right-hand rule) and its magnitude is twice the angular speed of the spin.

For F = (P, Q, R) the curl is the vector field curl F = nabla cross F, computed as the cross product of del with F: its components are (partial R/partial y - partial Q/partial z, partial P/partial z - partial R/partial x, partial Q/partial x - partial P/partial y). Unlike divergence, curl produces a vector, not a scalar. Its honest definition is again a limit: the component of curl F along a direction n is the circulation of F around a tiny loop perpendicular to n, divided by the loop's area, as the loop shrinks to a point. So curl is circulation-per-unit-area. A field with curl F = 0 everywhere is called irrotational; on a simply connected region such a field is exactly a gradient, that is, conservative.

Curl is the other half of the backbone of electromagnetism. Faraday's law, curl E = -partial B/partial t, says a changing magnetic field circulates the electric field, and Ampere's law with Maxwell's correction, curl B = mu_0 J + mu_0 epsilon_0 partial E/partial t, says currents and changing electric fields circulate the magnetic field. In fluid mechanics curl v is the vorticity, the local spin of the flow. Stokes' theorem then lifts the pointwise curl up to total circulation around a whole closed loop, pairing curl with circulation just as the divergence theorem pairs divergence with flux.

For the swirl F = (-y, x, 0), curl F = (0, 0, 2): a constant spin about the z-axis, matching the paddle-wheel picture. For the radial field F = (x, y, z), curl F = 0 — it spreads but never swirls.

Swirl gives a curl along the spin axis; pure spreading gives zero curl — curl sees rotation, not sources.

Zero curl does not by itself guarantee a field is a gradient: the field must also live on a simply connected region (no holes). The classic counterexample is the vortex F = (-y, x)/(x^2 + y^2), which has curl 0 everywhere it is defined yet is not conservative, because its domain (the plane minus the origin) has a hole around which its circulation is nonzero.

Also called
rotationrotnabla cross F旋度算子