Math 2.0

Optics, electromagnetic theory Definition

Inhomogeneous electromagnetic wave equation

Builds on Maxwell's equationsWave equationLaplacianElectric fieldMagnetic fieldElectric potentialMagnetic vector potentialLorenz gauge condition

Definition

Let ε0,μ0>0\varepsilon_0, \mu_0 > 0 be the vacuum permittivity and permeability, and let c=1/ε0μ0c = 1/\sqrt{\varepsilon_0 \mu_0}. Let ρ ⁣:ℝ3×ℝ→ℝ\rho \colon \R^3 \times \R \to \R be a charge density and J ⁣:ℝ3×ℝ→ℝ3J \colon \R^3 \times \R \to \R^3 a current density. Write □=1c2∂t2−Δ\square = \frac{1}{c^2} \partial_t^2 - \Delta, where Δ\Delta is the Laplacian in the space variable, acting componentwise on vector fields. The inhomogeneous electromagnetic wave equations for the electric field EE and the magnetic field BB are □E=−1ε0∇ρ−μ0 ∂tJ,□B=μ0 ∇×J.\square E = -\frac{1}{\varepsilon_0} \nabla \rho - \mu_0 \, \partial_t J, \qquad \square B = \mu_0 \, \nabla \times J. In terms of an electric potential φ\varphi and a magnetic vector potential AA that satisfy the Lorenz gauge condition ∇⋅A+1c2∂tφ=0\nabla \cdot A + \frac{1}{c^2} \partial_t \varphi = 0, they are □φ=ρε0,□A=μ0J.\square \varphi = \frac{\rho}{\varepsilon_0}, \qquad \square A = \mu_0 J.

Remarks

Every twice differentiable solution of Maxwell's equations in vacuum satisfies the equations for EE and BB. For example, the identity ∇×(∇×E)=∇(∇⋅E)−ΔE\nabla \times (\nabla \times E) = \nabla (\nabla \cdot E) - \Delta E with ∇×E=−∂tB\nabla \times E = -\partial_t B and ∇⋅E=ρ/ε0\nabla \cdot E = \rho / \varepsilon_0 gives the equation for EE. The converse needs care. A solution of the wave equations solves Maxwell's equations only together with the first-order equations, or with the gauge condition in the potential form.

Example: let ρ=ρ0\rho = \rho_0 be constant, J=0J = 0, φ(x,t)=−ρ0∣x∣2/(6ε0)\varphi(x, t) = -\rho_0 \abs{x}^2 / (6 \varepsilon_0) and A=0A = 0. Then ∂tφ=0\partial_t \varphi = 0 and Δφ=−ρ0/ε0\Delta \varphi = -\rho_0 / \varepsilon_0, so □φ=ρ0/ε0\square \varphi = \rho_0 / \varepsilon_0; also □A=0=μ0J\square A = 0 = \mu_0 J, and the Lorenz condition holds.

Non-example: let ρ=0\rho = 0, J=0J = 0, φ(x,t)=t\varphi(x, t) = t and A=0A = 0. Both wave equations hold, since □φ=0\square \varphi = 0 and □A=0\square A = 0. The Lorenz condition fails, since ∇⋅A+1c2∂tφ=1/c2≠0\nabla \cdot A + \frac{1}{c^2} \partial_t \varphi = 1/c^2 \neq 0, so this pair is not of the form required in the definition.

In the static case, ∂t=0\partial_t = 0, the equation for φ\varphi is Poisson's equation −Δφ=ρ/ε0-\Delta \varphi = \rho / \varepsilon_0.

Reading path

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

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Electric field concept
  2. Electric potential concept
  3. Euclidean space object
  4. Function concept
  5. Lorenz gauge condition concept
  6. Magnetic field concept
  7. Magnetic vector potential concept
  8. Maxwell's equations concept
  9. Wave equation concept
  10. Total derivative concept
  11. Function of several variables concept
  12. Vector-valued function concept
  13. Differentiable function of several variables concept
  14. Partial derivative concept
  15. Vector field concept
  16. Gradient concept
  17. Divergence concept
  18. Laplacian concept
  19. Inhomogeneous electromagnetic wave equation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Inhomogeneous_electromagnetic_wave_equation
About this page
TagYJXFQ90Q6C
URIm2://YJXFQ90Q6C
Kinddefinition
WritingW0 stub
MSC78A25, 35Q61, 35L05
DefinesInhomogeneous electromagnetic wave equation
UsesMaxwell's equations, Wave equation, Laplacian, Electric field, Magnetic field, Electric potential, Magnetic vector potential, Lorenz gauge condition
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.