Maxwell's Equations in Matter

The four equations of the last article are exact, everywhere, always — inside a diamond as surely as in interstellar vacuum. So why does this article exist? Because "exact" and "usable" part company inside matter. A cubic millimetre of glass contains 101910^{19} molecules, each a nest of charges that shift when fields arrive; the microscopic Maxwell equations see every one of them, and their ρ\rho and J\mathbf{J} include each electron cloud's distortion. Nobody can prescribe those sources, and nobody wants to. The whole art of electromagnetism in matter — begun in the dielectrics chapter, matured in the magnetism chapter — is bookkeeping: split the sources into the part you control (free charge, free current) and the part the material contributes in response (bound charge, bound current), then hide the response inside redefined fields. This article completes that program under time dependence, and the completion springs one genuine surprise. The static chapters catalogued two bound sources: bound charge ρb=−∇⋅P\rho_b = -\nabla\cdot\mathbf{P} (E3's Bound Charges) and magnetization current Jb=∇×M\mathbf{J}_b = \nabla\times\mathbf{M} (E5's Bound Currents). Let the polarization change in time and a third appears, forced by nothing less than charge conservation itself: the polarization current Jp=∂P/∂t\mathbf{J}_p = \partial\mathbf{P}/\partial t — genuinely moving charge, bound electrons shuttling as their molecules re-stretch. Miss it and the bound sources violate the continuity equation; include it and the macroscopic equations assemble themselves: ∇⋅D=ρf\nabla\cdot\mathbf{D} = \rho_f and ∇×H=Jf+∂D/∂t\nabla\times\mathbf{H} = \mathbf{J}_f + \partial\mathbf{D}/\partial t, with Faraday's law and the no-monopole law sailing through untouched. The reward for the bookkeeping is the physics of every transparent thing you have ever seen through: in linear media the wave machinery of the previous article re-runs with ε0μ0→εμ\varepsilon_0\mu_0 \to \varepsilon\mu, light slows to v=1/εμv = 1/\sqrt{\varepsilon\mu}, and the refractive index — optics' oldest number — becomes a corollary of electromagnetism. With one honest asterisk about water, which this article refuses to hide.

Key takeaways
  • Microscopic Maxwell is exact but intractable in matter: 101910^{19} molecular sources per mm³. The cure is source-splitting: free (yours) versus bound (the material's response), with bound sources hidden inside D=ε0E+P\mathbf{D} = \varepsilon_0\mathbf{E} + \mathbf{P} and H=B/μ0−M\mathbf{H} = \mathbf{B}/\mu_0 - \mathbf{M}.
  • Time dependence adds a third bound source: the polarization current Jp=∂P/∂t\mathbf{J}_p = \partial\mathbf{P}/\partial t — real charge motion, required by continuity of the bound charge (ρb=−∇⋅P\rho_b = -\nabla\cdot\mathbf{P} changing means bound charge moved).
  • The macroscopic equations: ∇⋅D=ρf\nabla\cdot\mathbf{D} = \rho_f · ∇⋅B=0\nabla\cdot\mathbf{B} = 0 · ∇×E=−∂B/∂t\nabla\times\mathbf{E} = -\partial\mathbf{B}/\partial t · ∇×H=Jf+∂D/∂t\nabla\times\mathbf{H} = \mathbf{J}_f + \partial\mathbf{D}/\partial t. Faraday and no-monopoles are unchanged — matter offers no magnetic charge to split.
  • The system is open until closed by constitutive relations — D=εE\mathbf{D} = \varepsilon\mathbf{E}, H=B/μ\mathbf{H} = \mathbf{B}/\mu, Jf=σE\mathbf{J}_f = \sigma\mathbf{E} for linear media — where all the material physics (E3, E5, and Ohm) re-enters.
  • In linear media the vacuum wave derivation re-runs verbatim: v=1/εμ=c/nv = 1/\sqrt{\varepsilon\mu} = c/n with n≈εrn \approx \sqrt{\varepsilon_r} — the refractive index derived. Caveat with teeth: εr\varepsilon_r is frequency-dependent (water: static 80, optical 1.77), and that dispersion is a chapter of its own.
  • KEY IDEA: split the sources into free and bound, absorb the bound ones (−∇⋅P-\nabla\cdot\mathbf{P}, ∇×M\nabla\times\mathbf{M}, and the continuity-forced ∂P/∂t\partial\mathbf{P}/\partial t) into D\mathbf{D} and H\mathbf{H}, and Maxwell's equations in matter take the vacuum form with free sources only — closed by the material's constitutive relations.
The core insight

Maxwell's equations in matter reorganize the exact vacuum equations around the free–bound source split: with D=ε0E+P\mathbf{D} = \varepsilon_0\mathbf{E} + \mathbf{P} and H=B/μ0−M\mathbf{H} = \mathbf{B}/\mu_0 - \mathbf{M} absorbing bound charge, magnetization current, and the continuity-mandated polarization current ∂P/∂t\partial\mathbf{P}/\partial t, the system reads ∇⋅D=ρf\nabla\cdot\mathbf{D} = \rho_f, ∇×H=Jf+∂D/∂t\nabla\times\mathbf{H} = \mathbf{J}_f + \partial\mathbf{D}/\partial t with Faraday and no-monopoles unchanged — awaiting constitutive relations to close it.

Where this lives today

The macroscopic equations are the working form of electromagnetism wherever matter matters — which is everywhere engineering happens. Every optical-design code, every fiber-optics simulation, every antenna-near-dielectric model, and every electromagnetic-compatibility analysis solves these four equations with tabulated ε(ω)\varepsilon(\omega), μ(ω)\mu(\omega), σ(ω)\sigma(\omega); the multi-billion-device photonics industry is applied constitutive relations. The frontier turned the chassis into a playground: metamaterials engineer sub-wavelength structures whose effective ε\varepsilon and μ\mu take designer values nature never offers — including simultaneously negative pairs, yielding negative refractive index (Veselago's 1968 curiosity, realized experimentally in 2000) and the transformation-optics recipes behind cloaking prototypes and perfect-lens proposals. Reading those papers requires exactly this article's discipline: effective-medium ε\varepsilon and μ\mu are averaged bookkeeping, meaningful only at wavelengths long compared to the structure — the same fine print as the molecular averaging underneath. The polarization current earned its own technologies. Dielectric heating (microwave ovens, industrial RF welding, medical diathermy) is ∂P/∂t\partial\mathbf{P}/\partial t driven where response lags; dielectric spectroscopy reads ε(ω)\varepsilon(\omega) across twelve decades to fingerprint polymers, tissues, and battery electrolytes; and the terahertz gap — the hard-to-reach band between electronics and optics — is being colonized precisely by instruments that launch and detect picosecond polarization currents in nonlinear crystals. Meanwhile the auxiliaries' honesty doctrine has a live research edge: the century-old Abraham–Minkowski dispute over light's momentum in matter — is it E/vcE/vc or nE/c2nE/c^2 per photon? — turns exactly on which fields carry the mechanical bookkeeping, and its modern resolution (both, for different experimental questions) is E7-chapter physics conducted in this article's vocabulary.

Origins · 1 minHendrik Lorentz and how this was discovered
HL
Hendrik Lorentz
1853–1928 · Leiden

Lorentz is the physicist who looked underneath this article. The macroscopic equations, as Maxwell left them, treated ε\varepsilon and μ\mu as God-given material constants; Lorentz's electron theory (1892–1904) derived them — modeling matter as swarms of discrete charges in vacuum, governed by the microscopic Maxwell equations plus the force law that bears his name, and obtaining the macroscopic fields by averaging. In his hands P\mathbf{P} became actual displaced electrons (the polarization current of Derivation A is his picture, literally), ε(ω)\varepsilon(\omega) became the driven-oscillator response of bound charges (the Lorentz oscillator model that still anchors dispersion theory, E11), and the local-field correction distinguishing the field a molecule feels from the average (the Lorentz cavity of E3's chapter) closed the loop to the Clausius–Mossotti relation. The program's crowning surprise was not about matter at all: pushing his electron theory to moving bodies, Lorentz found the transformations under which Maxwell's equations keep their form — the Lorentz transformations — handing Einstein the formal spine of relativity. Nobel laureate (1902, with Zeeman, for magneto-optics — splitting spectral lines with B\mathbf{B}, pure electron-theory vindication), chair of the first Solvay Councils, and the figure of whom Einstein said he meant more to him than all the others encountered on life's journey.

History
1837
— Faraday discovers specific inductive capacity: the dielectric constant enters physics
1850
— William Thomson splits B and H for magnetized media; the auxiliary-field idea is born
1865
— Maxwell's Dynamical Theory carries D alongside E — the two-ledger structure from the start
1892
— Lorentz's electron theory begins deriving the constitutive relations from microscopic charges in vacuum
1912
— Debye's polar-molecule theory explains water's giant static permittivity and its frequency staircase
2000
— Smith and colleagues realize negative-index metamaterials: constitutive relations by design

The physical picture

Recall the accountants of chapters E3 and E5 — this article is their merger, with a clock added. The electric accountant learned that polarized matter wears effective charges wherever P\mathbf{P} starts, stops, or spreads (ρb=−∇⋅P\rho_b = -\nabla\cdot\mathbf{P}, with its surface form σb=P⋅n^\sigma_b = \mathbf{P}\cdot\hat{\mathbf{n}} — Bound Charges, recalled whole, re-derived nowhere). The magnetic accountant learned that magnetized matter runs effective currents where M\mathbf{M} curls (Jb=∇×M\mathbf{J}_b = \nabla\times\mathbf{M}, surface form Kb=M×n^\mathbf{K}_b = \mathbf{M}\times\hat{\mathbf{n}} — Bound Currents, likewise). Each then buried their response inside an auxiliary field — D\mathbf{D} cleaning a divergence, H\mathbf{H} cleaning a curl — and each article ended with the same honesty doctrine: the auxiliaries are bookkeeping; E\mathbf{E} and B\mathbf{B} remain the physical fields. Now start the clock, and watch a slab of dielectric while the applied field ramps. At time t1t_1, every molecule is stretched by some amount: positive cores shifted one way, electron clouds the other — that is what P(t1)\mathbf{P}(t_1) means. At t2t_2 the field is stronger and every molecule is stretched further. Between the snapshots, charge physically moved: every bound electron in the slab shifted, coherently, by a fraction of an ångström. Multiply femtometres of motion by 102810^{28} charges per cubic metre and the result is a perfectly respectable current density — as real as any conduction current, made of charges that happen to be on leashes. That is the polarization current Jp=∂P/∂t\mathbf{J}_p = \partial\mathbf{P}/\partial t, the one bound source the static chapters could never see.

Figure
The third bound source: changing polarization is charge in motion — leashed, but moving
two snapshots of a dielectric in a ramping field t₁: field E, stretch small each molecule: + core shifted slightly against its cloud t₂: field stronger, stretch bigger every + charge moved right: that IS a current, J_p = ∂P/∂t femtometre shifts × 10²⁸ charges/m³ = ampere-scale current density — bound, leashed, and real continuity demands it: if ρ_b = −div P changes anywhere, bound charge must have flowed there (derivation A)

Why must it be exactly ∂P/∂t\partial\mathbf{P}/\partial t and not something merely proportional? Because the bound charges are charges, and the previous article's theorem shows no source escapes the continuity equation. If ρb=−∇⋅P\rho_b = -\nabla\cdot\mathbf{P} changes in time, bound charge is redistributing, and the current that redistributes it is fixed — the first derivation below nails it in three lines. This is a pleasing full-circle moment for the chapter: two articles ago, continuity was saved by the displacement current; here, the same law dictates the last missing piece of matter's response. Charge conservation has become a design tool. With the source catalog complete — free (ρf,Jf)(\rho_f, \mathbf{J}_f), bound (−∇⋅P, ∇×M+∂P/∂t)(-\nabla\cdot\mathbf{P},\ \nabla\times\mathbf{M} + \partial\mathbf{P}/\partial t) — the assembly is mechanical, and the result is worth previewing as architecture. Two of the four equations don't change at all: Faraday's law and ∇⋅B=0\nabla\cdot\mathbf{B} = 0 contain no sources, so the free/bound split has nothing to grab (matter supplies no magnetic charge). The other two reorganize around the auxiliaries the static chapters already built: Gauss becomes ∇⋅D=ρf\nabla\cdot\mathbf{D} = \rho_f, and Ampère–Maxwell becomes ∇×H=Jf+∂D/∂t\nabla\times\mathbf{H} = \mathbf{J}_f + \partial\mathbf{D}/\partial t — with the beautiful economy that ∂D/∂t=ε0 ∂E/∂t+∂P/∂t\partial\mathbf{D}/\partial t = \varepsilon_0\,\partial\mathbf{E}/\partial t + \partial\mathbf{P}/\partial t swallows the vacuum displacement term and the polarization current in one symbol. The equations then run on the sources you control, awaiting only the material's constitutive confession.

The bound-source catalog, completed

The static entries, quoted from their home chapters (E3's Bound Charges; E5's Bound Currents — derivations live there):

ρb=−∇⋅P,Jmag=∇×M(1)\rho_b = -\nabla\cdot\mathbf{P}, \qquad \mathbf{J}_{\rm mag} = \nabla\times\mathbf{M} \qquad (1)

where: P\mathbf{P}, M\mathbf{M} — polarization and magnetization (dipole moments per volume); the first says bound charge appears where polarization converges or ends, the second that magnetization's curl is a genuine circulating current. The new, dynamic entry:

Jp=∂P∂t(2)\mathbf{J}_p = \frac{\partial\mathbf{P}}{\partial t} \qquad (2)

where: Jp\mathbf{J}_p — the polarization current density: the literal motion of bound charge as molecules re-stretch. Note what it is not: it is not the vacuum displacement term wearing matter's clothes — ε0 ∂E/∂t\varepsilon_0\,\partial\mathbf{E}/\partial t involves no charge motion anywhere, while Jp\mathbf{J}_p is charges moving, with real inertia and (in lossy media) real dissipation. The two ride together inside ∂D/∂t\partial\mathbf{D}/\partial t, and confusing them is the classic error the warning box below prosecutes.

Derivation AThe polarization current — dictated by continuity, not proposed

The goal is equation (2), derived rather than asserted: show that the time-dependent bound-source catalog must include ∂P/∂t\partial\mathbf{P}/\partial t, with exactly that coefficient, or bound charge is created and destroyed in violation of the continuity equation. The strategy is the audit of the previous article, pointed at the bound ledger: write down the candidate bound current, demand ∇⋅Jb+∂ρb/∂t=0\nabla\cdot\mathbf{J}_b + \partial\rho_b/\partial t = 0, and solve. Watch the magnetization term pass through untouched — a curl can never move net charge into a region — while the polarization term is forced, coefficient and all.

Step 1. State what must be conserved. Bound charge is charge: electrons and nuclei on molecular leashes, but countable coulombs. Whatever bound current Jb\mathbf{J}_b exists must satisfy

∇⋅Jb=−∂ρb∂t=+∂∂t(∇⋅P)=∇⋅(∂P∂t),\nabla\cdot\mathbf{J}_b = -\frac{\partial\rho_b}{\partial t} = +\frac{\partial}{\partial t}\left(\nabla\cdot\mathbf{P}\right) = \nabla\cdot\left(\frac{\partial\mathbf{P}}{\partial t}\right),

using ρb=−∇⋅P\rho_b = -\nabla\cdot\mathbf{P} and exchanging derivatives.

Step 2. Try the static catalog alone: Jb=∇×M\mathbf{J}_b = \nabla\times\mathbf{M}. Its divergence vanishes identically (∇⋅(∇×…)=0\nabla\cdot(\nabla\times\ldots) = 0, the E0 identity) — so with magnetization current alone, Step 1 reads 0=∇⋅(∂P/∂t)0 = \nabla\cdot(\partial\mathbf{P}/\partial t): false whenever polarization changes nonuniformly, i.e., in every capacitor being charged and every dielectric in an AC field. The static catalog, under a clock, breaks charge conservation.

Step 3. Repair minimally: add the current whose divergence Step 1 demands —

Jb=∇×M+∂P∂t,\mathbf{J}_b = \nabla\times\mathbf{M} + \frac{\partial\mathbf{P}}{\partial t},

and verify: ∇⋅Jb=0+∇⋅(∂P/∂t)=−∂ρb/∂t\nabla\cdot\mathbf{J}_b = 0 + \nabla\cdot(\partial\mathbf{P}/\partial t) = -\partial\rho_b/\partial t ✓. Conservation restored, identically, for any P(r,t)\mathbf{P}(\mathbf{r}, t) and M(r,t)\mathbf{M}(\mathbf{r}, t) whatsoever. Why the repair is also the physical truth and not just bookkeeping: track one molecule. Its dipole moment is qd(t)q\mathbf{d}(t); stretching at rate d˙\dot{\mathbf{d}} means its positive charge drifts at d˙\dot{\mathbf{d}} — a current qd˙q\dot{\mathbf{d}} per molecule, and per volume (NN molecules): Nqd˙=∂(Nqd)/∂t=∂P/∂tNq\dot{\mathbf{d}} = \partial(Nq\mathbf{d})/\partial t = \partial\mathbf{P}/\partial t. The microscopic head-count and the conservation audit give the same answer independently — the strongest kind of confirmation this chapter knows. (As with the displacement current's uniqueness two articles ago, consistency fixes Jp\mathbf{J}_p up to a curl; the microscopic count closes that gap here, since the molecular motion is explicit.) *Verified: matches Griffiths §7.3.5 (Eq. 7.50) and Jackson §6.6; the bound-continuity identity checked in Step 3; the microscopic count matches the E3 definition P = Np for N dipoles per volume, differentiated.*

Go deeper · Derivation B · 2 minThe assembly — four microscopic equations become four macroscopic ones
Derivation BThe assembly — four microscopic equations become four macroscopic ones

The goal is the macroscopic system: rewrite the exact (microscopic, spatially averaged) Maxwell equations with the total sources split as ρ=ρf+ρb\rho = \rho_f + \rho_b, J=Jf+Jb\mathbf{J} = \mathbf{J}_f + \mathbf{J}_b, absorbing every bound term into the auxiliary fields the static chapters defined. The strategy is substitution plus the two one-line reorganizations that gave E3 its D\mathbf{D} and E5 its H\mathbf{H} — now executed simultaneously, with the clock running. Watch which equations feel the split (the two with sources) and which are immune, and watch ∂D/∂t\partial\mathbf{D}/\partial t absorb two physically distinct currents in one stroke.

Step 1. Gauss's law with the split, exactly as in E3 but worth re-watching with time-dependent P\mathbf{P}:

ε0∇⋅E=ρf+ρb=ρf−∇⋅P⟹∇⋅(ε0E+P)⏟D=ρf.\varepsilon_0\nabla\cdot\mathbf{E} = \rho_f + \rho_b = \rho_f - \nabla\cdot\mathbf{P} \qquad\Longrightarrow\qquad \nabla\cdot\underbrace{(\varepsilon_0\mathbf{E} + \mathbf{P})}_{\mathbf{D}} = \rho_f.

Nothing about the maneuver required statics; D=ε0E+P\mathbf{D} = \varepsilon_0\mathbf{E} + \mathbf{P} carries over unchanged.

Step 2. Ampère–Maxwell with the complete bound catalog of Derivation A:

1μ0∇×B=Jf+∇×M+∂P∂t+ε0∂E∂t.\frac{1}{\mu_0}\nabla\times\mathbf{B} = \mathbf{J}_f + \nabla\times\mathbf{M} + \frac{\partial\mathbf{P}}{\partial t} + \varepsilon_0\frac{\partial\mathbf{E}}{\partial t}.

Move the magnetization curl left (E5's H=B/μ0−M\mathbf{H} = \mathbf{B}/\mu_0 - \mathbf{M} maneuver) and gather the two time derivatives on the right:

∇×(Bμ0−M)=Jf+∂∂t(ε0E+P)⟹∇×H=Jf+∂D∂t.\nabla\times\left(\frac{\mathbf{B}}{\mu_0} - \mathbf{M}\right) = \mathbf{J}_f + \frac{\partial}{\partial t}\left(\varepsilon_0\mathbf{E} + \mathbf{P}\right) \qquad\Longrightarrow\qquad \nabla\times\mathbf{H} = \mathbf{J}_f + \frac{\partial\mathbf{D}}{\partial t}.

Why the gathering is the elegant step: the vacuum displacement term (no charge moves) and the polarization current (charge genuinely moves) — different physics, one symbol. ∂D/∂t\partial\mathbf{D}/\partial t is the honest generalization of the displacement current to matter, and its two-part anatomy is exactly what worked example 1 dissects with numbers.

Step 3. The other two equations: nothing to do. Faraday's law ∇×E=−∂B/∂t\nabla\times\mathbf{E} = -\partial\mathbf{B}/\partial t and the no-monopole law ∇⋅B=0\nabla\cdot\mathbf{B} = 0 contain no source terms — there is no magnetic charge to split into free and bound — so they pass into the macroscopic system verbatim. The asymmetry of the final system (auxiliaries on the source side only) is the direct image of nature's own asymmetry: charges exist, monopoles don't.

Step 4. Assemble, and state the system's honest incompleteness:

∇⋅D=ρf,∇⋅B=0,∇×E=−∂B∂t,∇×H=Jf+∂D∂t.\nabla\cdot\mathbf{D} = \rho_f, \qquad \nabla\cdot\mathbf{B} = 0, \qquad \nabla\times\mathbf{E} = -\frac{\partial\mathbf{B}}{\partial t}, \qquad \nabla\times\mathbf{H} = \mathbf{J}_f + \frac{\partial\mathbf{D}}{\partial t}.

Count: twelve unknown field components (E,B,D,H\mathbf{E}, \mathbf{B}, \mathbf{D}, \mathbf{H}), eight equations. The system is open — necessarily, because it has so far assumed nothing about the material. Closure comes from the constitutive relations, where E3's and E5's physics re-enters: for linear media, D=εE\mathbf{D} = \varepsilon\mathbf{E}, H=B/μ\mathbf{H} = \mathbf{B}/\mu, plus Ohm's Jf=σE\mathbf{J}_f = \sigma\mathbf{E} for conductors — with everything honest about those relations (frequency dependence, anisotropy, hysteresis, nonlinearity) owned by Linear Dielectrics, Linear and Nonlinear Magnetic Media, and the dispersion chapters. The macroscopic equations are a chassis; the material supplies the engine. Verified: matches Griffiths §7.3.5 (Eqs. 7.55–7.56) and Jackson §6.6; the D and H definitions are E3/E5's, unchanged; the equation-versus-unknown count matches Zangwill §2.2's discussion; boundary conditions across interfaces (D-perp jumps by σf, H-parallel by Kf, E-parallel and B-perp continuous) follow from these four by pillbox-and-loop arguments owned by Electrodynamic Boundary Conditions, next in this chapter — deferred by name.

Figure
The assembled macroscopic system: free sources drive D and H, matter's response hides in the definitions
Maxwell's equations in matter — the two-ledger architecture sourced pair (feels the split) div D = ρ_f curl H = J_f + ∂D/∂t runs on the sources YOU control unsourced pair (immune) div B = 0 curl E = − ∂B/∂t no sources to split — verbatim from vacuum definitions (the hiding places) D = ε₀E + P · H = B/μ₀ − M bound sources absorbed: −div P, curl M, ∂P/∂t constitutive closure (the material) D = ε(ω)E · H = B/μ(ω) · J_f = σE 12 unknowns, 8 equations — matter closes the gap payoff: re-run the vacuum wave derivation with εμ in place of ε₀μ₀ — light at v = c/n, refraction derived honesty: forces and energy always convert back to E and B — the auxiliaries are bookkeeping (E3/E5 doctrine) ε(ω) is matter's frequency response, not a constant — the water paradox in worked example 2

The reward: light in matter

Feed the closed linear system (D=εE\mathbf{D} = \varepsilon\mathbf{E}, H=B/μ\mathbf{H} = \mathbf{B}/\mu, no free sources) back through the previous article's wave derivation. Every step re-runs verbatim with ε0→ε\varepsilon_0 \to \varepsilon, μ0→μ\mu_0 \to \mu:

∇2E=εμ ∂2E∂t2⟹v=1εμ=cn,n=εμε0μ0≈εr(3)\nabla^2\mathbf{E} = \varepsilon\mu\,\frac{\partial^2\mathbf{E}}{\partial t^2} \qquad\Longrightarrow\qquad v = \frac{1}{\sqrt{\varepsilon\mu}} = \frac{c}{n}, \qquad n = \sqrt{\frac{\varepsilon\mu}{\varepsilon_0\mu_0}} \approx \sqrt{\varepsilon_r} \qquad (3)

where: nn — the refractive index, the number optics has measured since Snell; the last approximation uses μ≈μ0\mu \approx \mu_0, excellent for transparent media (glasses and water are feebly magnetic — E5's susceptibility tables). Electromagnetic waves propagate inside matter slower by exactly the factor optics always said, and three centuries of lens-making become a corollary of the assembled equations. For glass, εr≈2.25\varepsilon_r \approx 2.25 at optical frequencies gives n=1.5n = 1.5 ✓. And now the asterisk, stated where students can see it. Try water: the static dielectric constant is εr≈80\varepsilon_r \approx 80, predicting n≈8.9n \approx 8.9 — while measured optical n=1.33n = 1.33. The formula is not wrong; the input is. Constitutive relations are frequency-dependent: εr(ω)\varepsilon_r(\omega) for water is 80 when fields change slowly enough for whole molecules to rotate and align, but at 5×10145\times10^{14} Hz the sluggish rotors cannot follow at all, and only the nimble electron clouds respond — εr(optical)≈1.77\varepsilon_r(\text{optical}) \approx 1.77, whose square root is 1.33 ✓. Matter has internal clocks, and ε(ω)\varepsilon(\omega) is their transcript — the dispersion physics (why prisms disperse, why absorption lines exist, Kramers–Kronig's deep bookkeeping) is owned by the E8 and E11 chapters (Absorption and Dispersion), and equation (3) hands them their starting point.

Limiting cases

CaseResultMeaning
vacuum (P=M=0\mathbf{P} = \mathbf{M} = 0)D=ε0E\mathbf{D} = \varepsilon_0\mathbf{E}, H=B/μ0\mathbf{H} = \mathbf{B}/\mu_0: previous article recoveredmatter equations contain the vacuum ones exactly
statics (∂t=0\partial_t = 0)E3's ∇⋅D=ρf\nabla\cdot\mathbf{D} = \rho_f and E5's ∇×H=Jf\nabla\times\mathbf{H} = \mathbf{J}_f, separatelythe two accountants' chapters, reunited
linear media, no free sourceswaves at v=c/nv = c/n, n≈εr(ω)n \approx \sqrt{\varepsilon_r(\omega)}refraction derived; dispersion honest via ε(ω)\varepsilon(\omega)
conductor (σ\sigma large)Jf=σE\mathbf{J}_f = \sigma\mathbf{E} dominates ∂D/∂t\partial\mathbf{D}/\partial tskin effect, screening — the E8 conductor-waves story
interfacesD⊥D_\perp jumps by σf\sigma_f, H∥H_\parallel by KfK_f; E∥E_\parallel, B⊥B_\perp continuousderived by pillbox/loop in Electrodynamic Boundary Conditions (next)
ferroics (hysteresis)no single-valued ε\varepsilon or μ\mu existsconstitutive closure fails honestly — E3/E5 own the story
ε(ω)\varepsilon(\omega), μ(ω)\mu(\omega) engineeredmetamaterials: nn by design, even n<0n < 0the constitutive chassis as a technology platform

Worked examples

1 · The dielectric-filled capacitor: dissecting dD/dt (confidence builder)

The charging capacitor of the displacement-current article (R=5.0R = 5.0 cm plates, wire current I=0.50I = 0.50 A) is now filled with a linear dielectric, εr=4.0\varepsilon_r = 4.0. Find the total gap current density, its split between vacuum term and polarization current, and the magnetic field at the rim.

Step 1. The total is fixed by the free charge arriving: ∂D/∂t=∂σf/∂t=I/πR2=64 A/m2\partial D/\partial t = \partial\sigma_f/\partial t = I/\pi R^2 = \mathbf{64\ A/m^2} — unchanged from the vacuum case, because ∇⋅D=ρf\nabla\cdot\mathbf{D} = \rho_f ties D\mathbf{D} to the free charge regardless of the filling (that is the whole point of D\mathbf{D}).

Step 2. The anatomy. In the linear dielectric, E=D/ε=D/4ε0E = D/\varepsilon = D/4\varepsilon_0, so the vacuum term is ε0 ∂E/∂t=14 ∂D/∂t=16 A/m2\varepsilon_0\,\partial E/\partial t = \tfrac14\,\partial D/\partial t = \mathbf{16\ A/m^2} — and the polarization current carries the rest: ∂P/∂t=∂D/∂t−ε0∂E/∂t=48 A/m2\partial P/\partial t = \partial D/\partial t - \varepsilon_0\partial E/\partial t = \mathbf{48\ A/m^2}. Three-quarters of the gap current is now genuinely moving charge — bound electrons shuttling inside the dielectric as it polarizes. In general the split is 1/εr1/\varepsilon_r field-structure to (1−1/εr)(1 - 1/\varepsilon_r) real motion: fill with water at low frequency (εr=80\varepsilon_r = 80) and the gap current is 99% leashed charge.

Step 3. The magnetic field doesn't care about the anatomy — only the total enters ∇×H=Jf+∂D/∂t\nabla\times\mathbf{H} = \mathbf{J}_f + \partial\mathbf{D}/\partial t: at the rim, H=I/2πRH = I/2\pi R, and with μ≈μ0\mu \approx \mu_0, B=μ0I/2πR=2.0 μTB = \mu_0 I/2\pi R = \mathbf{2.0\ \mu T} — identical to the vacuum-gap answer. The splice of the displacement-current article survives the filling: wire current continues seamlessly as gap current, whatever the gap is made of.

Step 4. The physical dividend of the split: the polarization current, unlike the vacuum term, can dissipate. Drive this capacitor with AC at a frequency where the dielectric's response lags (near a molecular relaxation), and the 48 A/m² of real charge motion does work against molecular friction — dielectric heating. Your microwave oven runs at 2.45 GHz precisely to sit in water's lossy relaxation band: it is a machine for pumping ∂P/∂t\partial\mathbf{P}/\partial t through wet food.

2 · Light through glass and the water paradox (exam level)

(a) Crown glass has εr=2.25\varepsilon_r = 2.25 at optical frequencies, μ≈μ0\mu \approx \mu_0. Find the wave speed and the wavelength inside the glass for 600 nm (vacuum) light. (b) Water has static εr=80\varepsilon_r = 80: what index does naive substitution predict, what is measured, and what resolves the discrepancy?

Step 1. (a) Index: n=εr=2.25=1.50n = \sqrt{\varepsilon_r} = \sqrt{2.25} = 1.50. Speed: v=c/n=3.00×108/1.50=2.0×108 m/sv = c/n = 3.00\times10^8/1.50 = \mathbf{2.0\times10^8\ m/s} — light loses a third of its speed crossing an air–glass surface, and regains it on exit, with no paradox: the E8 chapter's microscopic reading (incident wave plus coherent re-radiation by the polarization currents of Derivation A) is where the slowing physically lives. Note who does the slowing: the very ∂P/∂t\partial\mathbf{P}/\partial t this article added to the catalog.

Step 2. (a) Wavelength: frequency is fixed by the source (the field oscillation cannot skip cycles at the boundary), so λglass=v/f=λ0/n=600/1.50=400 nm\lambda_{\rm glass} = v/f = \lambda_0/n = 600/1.50 = \mathbf{400\ nm}. Six hundred-nanometre orange light has a four-hundred-nanometre wavelength inside the lens focusing it onto your retina — wavelength, not frequency, is the medium-dependent quantity, the fact behind every thin-film and interference calculation to come.

Step 3. (b) Naive water: n=80=8.9n = \sqrt{80} = 8.9; measured: n=1.33n = 1.33. The factor-of-seven failure is not in equation (3) but in feeding it a DC number for an optical question: εr=80\varepsilon_r = 80 is the response of water molecules rotating to follow a slow field. At 5×10145\times10^{14} Hz the rotors (relaxation time ~10 ps, natural response ceiling ~101110^{11} Hz) are effectively frozen; only electronic polarization survives, εr(opt)=n2=1.77\varepsilon_r(\text{opt}) = n^2 = 1.77.

Step 4. Read the lesson forward: εr(ω)\varepsilon_r(\omega) for water descends a staircase — ~80 (DC through RF, rotors following) → ~5 (infrared, rotors frozen, atomic stretching alive) → 1.77 (optical, electrons only) — and each step is a class of internal motion dropping out. The staircase is dispersion; its slopes near resonances are absorption; and the machinery relating the two (Lorentz oscillator models, Kramers–Kronig) is the E11 chapter's, launched from exactly this example. Constitutive relations are not constants; they are matter's frequency response — the single most consequential fine-print in the macroscopic equations.

Going further

References. Griffiths, Introduction to Electrodynamics, 4th ed., §7.3.5–7.3.6 · Jackson, Classical Electrodynamics, 3rd ed., §6.6, §I.5 · Zangwill, Modern Electrodynamics, §2.2, Ch. 6, Ch. 13 · Purcell & Morin, Electricity and Magnetism, 3rd ed., Ch. 10–11.

Provenance. All four matter equations and the definitions D=ε0E+P\mathbf{D}=\varepsilon_0\mathbf{E}+\mathbf{P}, H=B/μ0−M\mathbf{H}=\mathbf{B}/\mu_0-\mathbf{M} follow Griffiths §7.3 and Jackson §6.6; a verifier should re-derive ρb=−∇⋅P\rho_b=-\nabla\cdot\mathbf{P} (Griffiths §4.2), Jb=∇×M+∂P/∂t\mathbf{J}_b=\nabla\times\mathbf{M}+\partial\mathbf{P}/\partial t, the bound-continuity check, and the four boundary conditions (Griffiths §7.3.6, Jackson §I.5). Constants: ε0=8.854×10−12\varepsilon_0=8.854\times10^{-12} F/m, μ0=4π×10−7\mu_0=4\pi\times10^{-7} H/m (pre-2019 exact), and n=εr=1.5n=\sqrt{\varepsilon_r}=1.5 for εr=2.25\varepsilon_r=2.25 are standard textbook values. Addendum for this edition: ρb=−∇⋅P\rho_b = -\nabla\cdot\mathbf{P} and Jmag=∇×M\mathbf{J}_{\rm mag} = \nabla\times\mathbf{M} are owned by E3 Bound Charges and E5 Bound Currents (recalled by name, not re-derived); boundary conditions deferred by name to Electrodynamic Boundary Conditions (0563); this edition owns the polarization-current derivation, the assembly, the constitutive closure, and the c/nc/n reward; worked numbers recomputed — filled capacitor (RR = 5 cm, II = 0.5 A, εr\varepsilon_r = 4): ∂D/∂t\partial D/\partial t = 64 A/m² splitting 16 (vacuum term) + 48 (polarization current) A/m², BrimB_{\rm rim} = 2.0 μT unchanged; glass nn = 1.50, vv = 2.0×10⁸ m/s, 600 → 400 nm; water 80\sqrt{80} = 8.9 vs measured 1.33, εr(opt)=1.332=1.77\varepsilon_r(\text{opt}) = 1.33^2 = 1.77.

Builds on: The Displacement Current · The Continuity Equation · Faraday's Law of Induction · Ohm's Law and Conductivity

Leads to: Waves in Linear Dielectric Media · Energy Stored in Magnetic Fields · Boundary Value Problems in Dielectrics

Are the macroscopic equations approximations, or exact like the vacuum ones?

Exact in one precise sense, approximate in another — and knowing which is which prevents real confusion. The equations themselves are exact consequences of microscopic Maxwell plus the definitions of P\mathbf{P}, M\mathbf{M}, D\mathbf{D}, H\mathbf{H}: no approximation enters the assembly of Derivation B. What is approximate is the usefulness package around them: the spatial averaging that makes smooth P(r)\mathbf{P}(\mathbf{r}) and M(r)\mathbf{M}(\mathbf{r}) meaningful (valid at scales large compared to molecules — fails inside a molecule, and gets subtle in nanostructures and metamaterials near their structural scale), and above all the constitutive relations, which are models of real matter with regimes of validity (linearity, frequency range, field strength). The professional summary: exact bookkeeping, approximate closure. When macroscopic electromagnetism "fails," it is essentially always the constitutive model, not the four equations, that broke.

Is the polarization current really distinct from the vacuum displacement term? Both live in dD/dt.

Physically distinct by every test that could distinguish them. The polarization current is charge in motion: it has carriers (bound electrons and ions), it dissipates energy when the motion lags the drive (dielectric loss — measurable as heat), it exhibits inertia (contributing to ε(ω)\varepsilon(\omega)'s frequency dependence), and it produces magnetic field as moving charge. The vacuum term ε0 ∂E/∂t\varepsilon_0\,\partial\mathbf{E}/\partial t moves nothing, heats nothing, and exists in perfect emptiness. They share a symbol because the bookkeeping is cleanest that way — D\mathbf{D} was engineered so free sources stand alone — and because both source ∇×H\nabla\times\mathbf{H} identically. Worked example 1's split (25/75 at εr=4\varepsilon_r = 4) is not a formal decomposition: run the capacitor at a lossy frequency and calorimetry finds heat proportional to exactly the 75% share. One symbol, two kinds of physics — the article's warning box exists because the shorthand invites forgetting that.

Why is there no "bound charge" version of the magnetic Gauss law or Faraday's law?

Because those two equations have no source slots to split. The free/bound program operates on sources: ρ\rho splits, J\mathbf{J} splits, and the two equations containing them reorganize. But ∇⋅B=0\nabla\cdot\mathbf{B} = 0 says magnetic field lines end nowhere — there is no magnetic charge, free or bound, so nothing to catalog; and Faraday's law couples fields to fields with no source at all. Deeper version: in the covariant language of E10, the sourced pair descends from ∂μFμν=μ0Jν\partial_\mu F^{\mu\nu} = \mu_0 J^\nu (matter modifies JνJ^\nu), while the unsourced pair is the Bianchi identity — a statement about the field's geometric structure that matter cannot touch. If monopoles were ever found, magnetizable monopole-matter would give the magnetic Gauss law its own bound sources and a "P\mathbf{P}-like" companion — a symmetry nature has so far declined.

Which fields do I match at a boundary, and where do those rules come from?

The four matching rules — D⊥D_\perp jumps by the free surface charge σf\sigma_f; H∥H_\parallel jumps by the free surface current KfK_f; E∥E_\parallel and B⊥B_\perp are always continuous — come from running the four macroscopic equations through infinitesimal pillboxes (for the divergences) and loops (for the curls) straddling the interface. Note the pattern: the auxiliaries jump by free sources only (their design brief), while the physical fields' continuous components are source-blind. The systematic derivations, the dielectric–dielectric and conductor cases, and the workhorse applications (Snell's law and Fresnel coefficients are boundary conditions applied to waves) belong to Electrodynamic Boundary Conditions, immediately next in this chapter — this article stops at the doorstep deliberately.

If E and B are the real fields, why do practitioners work almost entirely in D and H?

Because practitioners control free sources, and the auxiliaries are the fields whose equations run on free sources alone. A capacitor designer sets free charge on plates (D\mathbf{D}'s domain); a magnet engineer sets winding currents (H\mathbf{H}'s domain — every BB–HH curve on a datasheet has the controllable variable on the horizontal axis); an RF engineer launches free currents in antennas. The auxiliaries quarantine the material's unknown response into constitutive relations, which is exactly where measured material data enters. The division of labor is clean and worth stating once: solve with D\mathbf{D} and H\mathbf{H} (they see your knobs), interpret forces and energy with E\mathbf{E} and B\mathbf{B} (they push the charges). Both chapters of this track's matter physics (E3, E5) end on that doctrine, and it survives time dependence unamended.

What determines how epsilon depends on frequency — can I estimate the staircase myself?

To useful accuracy, yes: match field frequency against the response times of the material's internal motions. Orientational polarization (whole polar molecules rotating): picosecond-and-slower — alive up to ~GHz–THz in liquids, dead beyond (water's 80 lives here). Ionic/atomic polarization (nuclei stretching in bonds): infrared, ~101310^{13} Hz. Electronic polarization (clouds deforming): ultraviolet resonances, ~1015−1610^{15-16} Hz — the only survivor at optical frequencies, whence glass's modest 2.25 and water's 1.77. Each mechanism contributes while the drive is slower than its response and drops out (through a lossy resonance or relaxation band) when the drive outruns it: ε(ω)\varepsilon(\omega) is a staircase descending toward 1, with absorption at every step edge. The quantitative machinery — Debye relaxation for rotors, Lorentz oscillators for resonances, Kramers–Kronig gluing the real and imaginary parts — is the E11 chapter's (Absorption and Dispersion); the estimate above gets the staircase's floors right for most materials you will meet.

Do the macroscopic equations still enforce charge conservation the way the vacuum ones do?

Yes — twice over, and checking it is a nice exercise in the chapter's own methods. Take the divergence of ∇×H=Jf+∂D/∂t\nabla\times\mathbf{H} = \mathbf{J}_f + \partial\mathbf{D}/\partial t and use ∇⋅D=ρf\nabla\cdot\mathbf{D} = \rho_f: out falls ∇⋅Jf+∂ρf/∂t=0\nabla\cdot\mathbf{J}_f + \partial\rho_f/\partial t = 0 — free charge conserved by itself, identically (the previous article's audit, now running on the macroscopic chassis). Meanwhile Derivation A verified the bound ledger separately: ∇⋅Jb+∂ρb/∂t=0\nabla\cdot\mathbf{J}_b + \partial\rho_b/\partial t = 0 by construction of Jp\mathbf{J}_p. Two independently conserved ledgers, free and bound — which is physically right: dielectric response shuffles bound charge locally but never converts it into free charge (ionization would be a new, nonlinear entry in the constitutive relations, beyond the linear regime). The bookkeeping is airtight at every level — as, after the last article, it had better be.

Before this

Where this leads