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 divF=F=Px+Qy+Rz\operatorname{div} \mathbf{F} = \nabla \cdot \mathbf{F} = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z} Physically, divF(a)\operatorname{div} \mathbf{F}(\mathbf{a}) measures the net outward flux of F\mathbf{F} per unit volume at a\mathbf{a}: divF(a)=limV01VVFdS\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 r0\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 curlF=×F=det(ijkxyzPQR)\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^=limA01AAFdr(\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)=2fx2+2fy2+2fz2\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)+Ff\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.