Math 2.0

Optics, electromagnetic theory Maxwell's equations Theorem

Helmholtz decomposition of electromagnetic fields

Builds on Vector fieldDivergenceCurlGradientLaplacianNewtonian potentialLiouville's theorem for harmonic functionsElectric fieldMagnetic field

Statement

Let F ⁣:ℝ3→ℝ3F \colon \R^3 \to \R^3 be a twice continuously differentiable vector field with compact support. Define Φ(x)=14π∫ℝ3∇′⋅F(x′)∣x−x′∣ dx′,A(x)=14π∫ℝ3∇′×F(x′)∣x−x′∣ dx′,\Phi(x) = \frac{1}{4\pi} \int_{\R^3} \frac{\nabla' \cdot F(x')}{\abs{x - x'}} \, dx', \qquad A(x) = \frac{1}{4\pi} \int_{\R^3} \frac{\nabla' \times F(x')}{\abs{x - x'}} \, dx', where ∇′⋅\nabla' \cdot is the divergence and ∇′×\nabla' \times is the curl in the variable x′x'. Then F=−∇Φ+∇×A,F = -\nabla \Phi + \nabla \times A, where ∇Φ\nabla \Phi is the gradient of Φ\Phi. The field −∇Φ-\nabla \Phi has zero curl and the field ∇×A\nabla \times A has zero divergence. This splitting is unique in the following sense. Let F=G1+S1=G2+S2F = G_1 + S_1 = G_2 + S_2 with continuously differentiable fields G1,G2,S1,S2G_1, G_2, S_1, S_2. Assume that G1,G2G_1, G_2 have zero curl, that S1,S2S_1, S_2 have zero divergence, and that all four tend to 00 as ∣x∣→∞\abs{x} \to \infty. Then G1=G2G_1 = G_2 and S1=S2S_1 = S_2.

Remarks

Proof idea: let WW be the Newtonian potential W(x)=−14π∫F(x′)/∣x−x′∣ dx′W(x) = -\frac{1}{4\pi} \int F(x') / \abs{x - x'} \, dx', so that ΔW=F\Delta W = F with the Laplacian taken componentwise. The identity ΔW=∇(∇⋅W)−∇×(∇×W)\Delta W = \nabla (\nabla \cdot W) - \nabla \times (\nabla \times W) gives the splitting with Φ=−∇⋅W\Phi = -\nabla \cdot W and A=−∇×WA = -\nabla \times W, and an integration by parts turns these into the formulas above. For uniqueness, G1−G2=S2−S1G_1 - G_2 = S_2 - S_1 has zero curl and zero divergence, so each component is harmonic; it tends to 00 at infinity, so it vanishes by Liouville's theorem. The decay condition is needed: the constant field (1,0,0)(1, 0, 0) has zero curl and zero divergence, so it can be counted in either part.

In electromagnetism the splitting is applied to the electric field EE and the magnetic field BB. Since ∇⋅B=0\nabla \cdot B = 0, the field BB has no curl-free part, so B=∇×AB = \nabla \times A for a vector potential AA. The curl-free part of EE is called its longitudinal part and the divergence-free part its transverse part. In the Coulomb gauge ∇⋅A=0\nabla \cdot A = 0, one has E=−∇φ−∂tAE = -\nabla \varphi - \partial_t A with −∇φ-\nabla \varphi longitudinal and −∂tA-\partial_t A transverse, and φ\varphi is the instantaneous Coulomb potential of the charge density.

Going deeper

For a student

The two parts are found from the divergence and the curl of the field, through the Newtonian potential. So a field that decays at infinity is fixed by its divergence and curl. Maxwell's equations give exactly these: Gauss's laws give the divergences of EE and BB, and the laws of Faraday and Ampère–Maxwell give their curls. The decomposition is the reason one can always write BB as a curl, and it splits EE into an instantaneous Coulomb part and a radiating part. On bounded domains the analogous splitting needs boundary conditions and leads to the Hodge decomposition of vector fields.

Reading path

To understand this page from the ground up, read these 78 pages in order. The foundations come first.

  1. Complex numbers object
  2. Electric field concept
  3. Euclidean space object
  4. Function concept
  5. Infimum concept
  6. Magnetic field concept
  7. Newtonian potential concept
  8. Real numbers object
  9. Set bounded above definition
  10. Supremum concept
  11. Unit disc object
  12. Complex exponential definition
  13. Contour integral definition
  14. Power series in the complex plane definition
  15. Real and imaginary parts definition
  16. Fréchet derivative definition
  17. Total derivative concept
  18. Function of several variables concept
  19. Vector-valued function concept
  20. Jordan measure definition
  21. Supremum definition
  22. Circle integral definition
  23. Disc of convergence definition
  24. Limit of a function of several variables concept
  25. Vector field concept
  26. Differentiable function of several variables concept
  27. Iterated integral definition
  28. Partial derivative concept
  29. Completeness axiom statement
  30. Continuity in R^n definition
  31. Differentiable function of several variables definition
  32. Partial derivative definition
  33. Curl concept
  34. Divergence concept
  35. Gradient concept
  36. Existence of square roots of nonnegative reals statement
  37. Differentiable on an open set definition
  38. Higher partial derivatives definition
  39. Double integral definition
  40. Gradient definition
  41. Jacobian matrix definition
  42. Laplacian concept
  43. Square root definition
  44. Iterated derivative definition
  45. Fubini's theorem statement
  46. Modulus of a complex number definition
  47. Triple integral definition
  48. Harmonic function concept
  49. C^k function characterised by continuous derivatives statement
  50. Complex differentiability definition
  51. Poisson kernel definition
  52. Holomorphic function definition
  53. Cauchy–Riemann equations statement
  54. Parametrised curve definition
  55. Vector field definition
  56. Harnack's inequality statement
  57. Cauchy's integral formula statement
  58. Power series are holomorphic in the disc of convergence statement
  59. Parametrised surface definition
  60. Closed curve definition
  61. Rectifiable curve definition
  62. Divergence definition
  63. Holomorphic functions are analytic statement
  64. Tangent plane and normal vector of a surface definition
  65. Line integral of a vector field definition
  66. Holomorphic functions are infinitely differentiable statement
  67. Green's theorem statement
  68. Surface area definition
  69. The real part of a holomorphic function is harmonic statement
  70. Surface integral definition
  71. Divergence theorem on a rectangle in the plane statement
  72. Mean value property statement
  73. Orientable surface definition
  74. Flux through a surface definition
  75. Divergence theorem statement
  76. Gradient estimates for harmonic functions statement
  77. Liouville's theorem for harmonic functions statement
  78. Helmholtz decomposition of electromagnetic fields statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Helmholtz_decomposition
About this page
TagTSR8QZXS1N
URIm2://TSR8QZXS1N
Kindstatement, theorem
WritingW0 stub
MSC78A25, 35Q61, 31B10
StatusThis copy of the site has no build data. Run m2 status TSR8QZXS1N.
AboutVector field, Electric field, Magnetic field
UsesVector field, Divergence, Curl, Gradient, Laplacian, Newtonian potential, Liouville's theorem for harmonic functions, Electric field, Magnetic field
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.