TheoremComplete

Helmholtz Decomposition Theorem

Theorem6.1Helmholtz Decomposition

Any sufficiently smooth vector field F\mathbf{F} on R3\mathbb{R}^3 that decays sufficiently fast at infinity can be uniquely decomposed as F=ϕ+×A\mathbf{F} = -\nabla\phi + \nabla\times\mathbf{A} where ϕ\phi is a scalar potential (irrotational part) and A\mathbf{A} is a vector potential (solenoidal part). Explicitly: ϕ(r)=14πF(r)rrd3r\phi(\mathbf{r}) = \frac{1}{4\pi}\int \frac{\nabla'\cdot\mathbf{F}(\mathbf{r}')}{|\mathbf{r}-\mathbf{r}'|}\,d^3r' and A(r)=14π×F(r)rrd3r\mathbf{A}(\mathbf{r}) = \frac{1}{4\pi}\int \frac{\nabla'\times\mathbf{F}(\mathbf{r}')}{|\mathbf{r}-\mathbf{r}'|}\,d^3r'.


Proof

Proof

Step 1: Reduction to Poisson equations. Take the divergence and curl of F=ϕ+×A\mathbf{F} = -\nabla\phi + \nabla\times\mathbf{A}: F=2ϕ\nabla\cdot\mathbf{F} = -\nabla^2\phi (since (×A)=0\nabla\cdot(\nabla\times\mathbf{A}) = 0) and ×F=2A+(A)\nabla\times\mathbf{F} = -\nabla^2\mathbf{A} + \nabla(\nabla\cdot\mathbf{A}). Choosing the Coulomb gauge A=0\nabla\cdot\mathbf{A} = 0: ×F=2A\nabla\times\mathbf{F} = -\nabla^2\mathbf{A}.

Step 2: Solve the Poisson equations. 2ϕ=F\nabla^2\phi = -\nabla\cdot\mathbf{F} and 2A=×F\nabla^2\mathbf{A} = -\nabla\times\mathbf{F}. Using the Green's function G(r)=1/(4πr)G(\mathbf{r}) = -1/(4\pi|\mathbf{r}|) for 2\nabla^2: ϕ=14πFrrd3r\phi = \frac{1}{4\pi}\int\frac{\nabla'\cdot\mathbf{F}}{|\mathbf{r}-\mathbf{r}'|}d^3r' and A=14π×Frrd3r\mathbf{A} = \frac{1}{4\pi}\int\frac{\nabla'\times\mathbf{F}}{|\mathbf{r}-\mathbf{r}'|}d^3r'.

Step 3: Verify the decomposition. Define F=ϕ\mathbf{F}_\ell = -\nabla\phi and Ft=×A\mathbf{F}_t = \nabla\times\mathbf{A}. Then ×F=0\nabla\times\mathbf{F}_\ell = 0 (irrotational) and Ft=0\nabla\cdot\mathbf{F}_t = 0 (solenoidal). We need F+Ft=F\mathbf{F}_\ell + \mathbf{F}_t = \mathbf{F}.

Define G=FFFt\mathbf{G} = \mathbf{F} - \mathbf{F}_\ell - \mathbf{F}_t. Then G=F+2ϕ0=0\nabla\cdot\mathbf{G} = \nabla\cdot\mathbf{F} + \nabla^2\phi - 0 = 0 and ×G=×F0+2A=0\nabla\times\mathbf{G} = \nabla\times\mathbf{F} - 0 + \nabla^2\mathbf{A} = 0. A vector field with zero divergence and zero curl that decays at infinity is identically zero (it is both irrotational and solenoidal, hence harmonic and bounded, thus zero by Liouville's theorem for harmonic functions). Therefore G=0\mathbf{G} = 0.

Step 4: Uniqueness. If F=ϕ1+×A1=ϕ2+×A2\mathbf{F} = -\nabla\phi_1 + \nabla\times\mathbf{A}_1 = -\nabla\phi_2 + \nabla\times\mathbf{A}_2, then (ϕ1ϕ2)=×(A1A2)\nabla(\phi_1-\phi_2) = \nabla\times(\mathbf{A}_1-\mathbf{A}_2). Taking divergence: 2(ϕ1ϕ2)=0\nabla^2(\phi_1-\phi_2) = 0 with decay at infinity, giving ϕ1=ϕ2\phi_1 = \phi_2. Then ×(A1A2)=0\nabla\times(\mathbf{A}_1-\mathbf{A}_2) = 0 with gauge condition, giving A1=A2\mathbf{A}_1 = \mathbf{A}_2. \square


RemarkApplication to Electrodynamics

The Helmholtz decomposition underlies Maxwell's equations: E=ϕA/t\mathbf{E} = -\nabla\phi - \partial\mathbf{A}/\partial t and B=×A\mathbf{B} = \nabla\times\mathbf{A} decompose the electromagnetic field into scalar and vector potentials. In the static case, E\mathbf{E} is purely longitudinal (×E=0\nabla\times\mathbf{E}=0) and B\mathbf{B} is purely transverse (B=0\nabla\cdot\mathbf{B}=0).