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 be a twice continuously differentiable vector field with compact support. Define where is the divergence and is the curl in the variable . Then where is the gradient of . The field has zero curl and the field has zero divergence. This splitting is unique in the following sense. Let with continuously differentiable fields . Assume that have zero curl, that have zero divergence, and that all four tend to as . Then and .
Remarks
Proof idea: let be the Newtonian potential , so that with the Laplacian taken componentwise. The identity gives the splitting with and , and an integration by parts turns these into the formulas above. For uniqueness, has zero curl and zero divergence, so each component is harmonic; it tends to at infinity, so it vanishes by Liouville's theorem. The decay condition is needed: the constant field has zero curl and zero divergence, so it can be counted in either part.
In electromagnetism the splitting is applied to the electric field and the magnetic field . Since , the field has no curl-free part, so for a vector potential . The curl-free part of is called its longitudinal part and the divergence-free part its transverse part. In the Coulomb gauge , one has with longitudinal and transverse, and 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 and , and the laws of Faraday and Ampère–Maxwell give their curls. The decomposition is the reason one can always write as a curl, and it splits 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.
- Complex numbers object
- Electric field concept
- Euclidean space object
- Function concept
- Infimum concept
- Magnetic field concept
- Newtonian potential concept
- Real numbers object
- Set bounded above definition
- Supremum concept
- Unit disc object
- Complex exponential definition
- Contour integral definition
- Power series in the complex plane definition
- Real and imaginary parts definition
- Fréchet derivative definition
- Total derivative concept
- Function of several variables concept
- Vector-valued function concept
- Jordan measure definition
- Supremum definition
- Circle integral definition
- Disc of convergence definition
- Limit of a function of several variables concept
- Vector field concept
- Differentiable function of several variables concept
- Iterated integral definition
- Partial derivative concept
- Completeness axiom statement
- Continuity in R^n definition
- Differentiable function of several variables definition
- Partial derivative definition
- Curl concept
- Divergence concept
- Gradient concept
- Existence of square roots of nonnegative reals statement
- Differentiable on an open set definition
- Higher partial derivatives definition
- Double integral definition
- Gradient definition
- Jacobian matrix definition
- Laplacian concept
- Square root definition
- Iterated derivative definition
- Fubini's theorem statement
- Modulus of a complex number definition
- Triple integral definition
- Harmonic function concept
- C^k function characterised by continuous derivatives statement
- Complex differentiability definition
- Poisson kernel definition
- Holomorphic function definition
- Cauchy–Riemann equations statement
- Parametrised curve definition
- Vector field definition
- Harnack's inequality statement
- Cauchy's integral formula statement
- Power series are holomorphic in the disc of convergence statement
- Parametrised surface definition
- Closed curve definition
- Rectifiable curve definition
- Divergence definition
- Holomorphic functions are analytic statement
- Tangent plane and normal vector of a surface definition
- Line integral of a vector field definition
- Holomorphic functions are infinitely differentiable statement
- Green's theorem statement
- Surface area definition
- The real part of a holomorphic function is harmonic statement
- Surface integral definition
- Divergence theorem on a rectangle in the plane statement
- Mean value property statement
- Orientable surface definition
- Flux through a surface definition
- Divergence theorem statement
- Gradient estimates for harmonic functions statement
- Liouville's theorem for harmonic functions statement
- Helmholtz decomposition of electromagnetic fields statement
Further reading
About this page
| Tag | TSR8QZXS1N |
|---|---|
| URI | m2://TSR8QZXS1N |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 78A25, 35Q61, 31B10 |
| Status | This copy of the site has no build data. Run m2 status TSR8QZXS1N. |
| About | Vector field, Electric field, Magnetic field |
| Uses | Vector field, Divergence, Curl, Gradient, Laplacian, Newtonian potential, Liouville's theorem for harmonic functions, Electric field, Magnetic field |
| Changed | 3 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.