ConceptComplete

Divergence and Curl

Divergence measures the local expansion rate of a vector field, while curl measures its local rotation. Together they provide the fundamental differential invariants of vector fields.


Divergence

Definition

The divergence of a vector field F=(P,Q,R)\mathbf{F} = (P, Q, R) is the scalar field div⁡F=∇⋅F=∂P∂x+∂Q∂y+∂R∂z\operatorname{div} \mathbf{F} = \nabla \cdot \mathbf{F} = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z} Physically, div⁡F(a)\operatorname{div} \mathbf{F}(\mathbf{a}) measures the net outward flux of F\mathbf{F} per unit volume at a\mathbf{a}: div⁡F(a)=lim⁡V→01∣V∣∯∂VF⋅dS\operatorname{div} \mathbf{F}(\mathbf{a}) = \lim_{V \to 0} \frac{1}{|V|} \oiint_{\partial V} \mathbf{F} \cdot d\mathbf{S}

ExampleDivergence computations
  1. F=(x,y,z)\mathbf{F} = (x, y, z): ∇⋅F=3\nabla \cdot \mathbf{F} = 3 (uniform expansion)
  2. F=(−y,x,0)\mathbf{F} = (-y, x, 0): ∇⋅F=0\nabla \cdot \mathbf{F} = 0 (incompressible rotation)
  3. F=rr3\mathbf{F} = \frac{\mathbf{r}}{r^3} (inverse-square): ∇⋅F=0\nabla \cdot \mathbf{F} = 0 for r≠0\mathbf{r} \neq \mathbf{0} (Gauss's law for point charges)

Curl

Definition

The curl of a vector field F=(P,Q,R)\mathbf{F} = (P, Q, R) is the vector field curl⁡F=∇×F=det⁡(ijk∂x∂y∂zPQR)\operatorname{curl} \mathbf{F} = \nabla \times \mathbf{F} = \det \begin{pmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ \partial_x & \partial_y & \partial_z \\ P & Q & R \end{pmatrix} The curl measures the infinitesimal rotation of F\mathbf{F}: the component (∇×F)⋅n^(\nabla \times \mathbf{F}) \cdot \hat{\mathbf{n}} gives the circulation density of F\mathbf{F} about the axis n^\hat{\mathbf{n}}: (∇×F)(a)⋅n^=lim⁡A→01∣A∣∮∂AF⋅dr(\nabla \times \mathbf{F})(\mathbf{a}) \cdot \hat{\mathbf{n}} = \lim_{A \to 0} \frac{1}{|A|} \oint_{\partial A} \mathbf{F} \cdot d\mathbf{r}


The Laplacian

Definition

The Laplacian of a scalar field ff is ∇2f=Δf=∇⋅(∇f)=∂2f∂x2+∂2f∂y2+∂2f∂z2\nabla^2 f = \Delta f = \nabla \cdot (\nabla f) = \frac{\partial^2 f}{\partial x^2} + \frac{\partial^2 f}{\partial y^2} + \frac{\partial^2 f}{\partial z^2} A function satisfying ∇2f=0\nabla^2 f = 0 is called harmonic. Harmonic functions arise in electrostatics, heat conduction, and fluid dynamics.

RemarkVector identities

Key identities involving div and curl include:

  • ∇×(∇f)=0\nabla \times (\nabla f) = \mathbf{0} for any C2C^2 scalar field ff
  • ∇⋅(∇×F)=0\nabla \cdot (\nabla \times \mathbf{F}) = 0 for any C2C^2 vector field F\mathbf{F}
  • ∇×(∇×F)=∇(∇⋅F)−∇2F\nabla \times (\nabla \times \mathbf{F}) = \nabla(\nabla \cdot \mathbf{F}) - \nabla^2 \mathbf{F}
  • ∇⋅(fF)=f(∇⋅F)+F⋅∇f\nabla \cdot (f\mathbf{F}) = f(\nabla \cdot \mathbf{F}) + \mathbf{F} \cdot \nabla f

These identities are used extensively in electromagnetism, fluid dynamics, and the theory of PDEs.