Gauss's Law in Dielectrics

The previous article ended with a magic trick: define D=ε0E+P\mathbf{D}=\varepsilon_0\mathbf{E}+\mathbf{P}, and Gauss's law reorganizes itself so that only free charge — the charge you actually deposited with a battery or a wire — appears as a source. One symmetric example (a charged wire in insulation) showed the trick works. This article is where the trick becomes a trade: the full working catalog of ∮D⋅da=Qfree,enc\oint\mathbf{D}\cdot\mathrm{d}\mathbf{a}=Q_{\text{free,enc}}, run on the three symmetric geometries, with every step of the bookkeeping exposed. The stakes are practical. Inside matter, the charge that sources E\mathbf{E} includes bound charge — and bound charge depends on the polarization, which depends on the field, which depends on the bound charge. Solving for E\mathbf{E} head-on means untangling that loop. The displacement field sidesteps it: in a symmetric problem, D\mathbf{D} follows from the free charge in one line, before you know anything about the material's response. The polarization, the field, and the bound charges are then harvested afterwards, in order, like reading answers off the back of the book. We run the ritual on a flagship problem — a point charge wrapped in a polarized spherical shell — twice: once the honest, laborious way (find every bound charge, then use ordinary Gauss's law), once the D\mathbf{D} way. Watching half a page collapse into two lines is the whole argument for D\mathbf{D}'s existence. And because the shortcut has a failure mode, we also stage its collapse: a geometry where the free charge is zero, the flux of D\mathbf{D} is zero, and D\mathbf{D} itself is stubbornly not zero.

Key takeaways
  • ∇⋅D=ρfree\nabla\cdot\mathbf{D}=\rho_{\text{free}} and its integral twin ∮D⋅da=Qfree,enc\oint\mathbf{D}\cdot\mathrm{d}\mathbf{a}=Q_{\text{free,enc}} (established in The Electric Displacement D) turn symmetric dielectric problems into one-line flux algebra.
  • The ritual: check symmetry → get D\mathbf{D} from free charge alone → recover E=(D−P)/ε0\mathbf{E}=(\mathbf{D}-\mathbf{P})/\varepsilon_0 → harvest σb\sigma_b, ρb\rho_b → audit that the bound charges total zero.
  • D\mathbf{D} is blind to the dielectric: for a point charge in a polarized shell, D=qr^/4πr2\mathbf{D}=q\hat{\mathbf{r}}/4\pi r^2 everywhere, shell or no shell. All the material's drama lives in E\mathbf{E}.
  • The same answer emerges from the long route — sum free plus bound charge and apply ordinary Gauss's law for E\mathbf{E} — and the two routes cross-check each other exactly.
  • The shortcut needs symmetry: with ρfree=0\rho_{\text{free}}=0, the flux of D\mathbf{D} vanishes through every closed surface, yet D≠0\mathbf{D}\neq0 (a frozen-polarization electret proves it). Flux constrains totals, not fields.
  • KEY IDEA: ∇⋅D=ρfree\nabla\cdot\mathbf{D}=\rho_{\text{free}} packages all bound-charge effects inside D\mathbf{D}, so in symmetric geometries the displacement follows from free charge alone via ∮D⋅da=Qfree,enc\oint\mathbf{D}\cdot\mathrm{d}\mathbf{a}=Q_{\text{free,enc}} — but symmetry, not the law by itself, is what makes D\mathbf{D} computable.

Where this lives today

Every semiconductor device simulator on Earth spends its inner loop solving equation (1). TCAD tools discretize ∇⋅(ε∇V)=−ρfree\nabla\cdot(\varepsilon\nabla V)=-\rho_{\text{free}} over transistor geometries with a dozen different dielectrics — gate oxides, high-κ\kappa hafnia stacks, interlayer insulators — precisely because free charge (dopants, channel carriers) is what the engineer specifies, while the bound response rides inside ε\varepsilon. The same free-charge-only bookkeeping runs the design of high-voltage DC cables, with a modern twist this article's Move 4 anticipates: in aged polymer insulation, slow charge injection creates genuine free space charge inside the jacket, and the measured field distortion is diagnosed by exactly the coax audit of worked example 2 — flux the measured charge, compare against the clean λf/2πs\lambda_f/2\pi s baseline. The electret derivation is not a curiosity either: electret microphones (a frozen-polarization film generating a permanent bias field, no battery needed) sit in billions of phones and laptops, and their design field is computed by the boundary-value route precisely because — as Derivation C staged — no Gaussian surface will hand it to you. Knowing when the shortcut applies, and when it silently doesn't, is the practical skill this catalog trains.

Origins · 1 minCarl Friedrich Gauss and how this was discovered
CF
Carl Friedrich Gauss
1777–1855 · Göttingen Observatory

Gauss never wrote D\mathbf{D} — the displacement is Maxwell's coinage — but both halves of this article's machinery are his. The divergence theorem that converts equation (1) into the flux law (2) appears in his 1813 memoir on the attraction of spheroids, and the flux–charge relation itself he stated in an 1835 manuscript (published only posthumously, in 1867 — Gauss hoarded results the way other men hoard money, his motto pauca sed matura, "few but ripe"). Fittingly for this article, his deepest engagement with real measurements-in-media came through fields in matter of another kind: with Wilhelm Weber he built the Göttingen magnetic observatory, organized the worldwide Magnetischer Verein, and invented the systematic separation of a measured field into its sources — the ancestor of every free-versus-bound decomposition, including the one D\mathbf{D} performs. The flux ritual this article drills — pick the symmetric surface, count only the sources you control — is the Gaussian habit of mind: reduce a field problem to an accounting identity, then let geometry do the labor.

History
1813
— Gauss's spheroid memoir develops the divergence theorem, the bridge between the differential and integral laws
1835
— Gauss states the flux–charge law in manuscript; published posthumously in 1867
1837
— Faraday's dielectric experiments show matter reshapes capacitor fields, creating the need for two-field bookkeeping
1864
— Maxwell introduces the displacement and writes Gauss's law in matter in its modern source-split form
1885
— Heaviside recasts Maxwell's equations in vector form; div D equals rho-free becomes one of the canonical four

The physical picture

Think of an electrostatics problem in matter as a business with two ledgers. The free-charge ledger records what the experimenter paid in: electrons pushed onto a plate, ions implanted in a crystal, a line charge run down a cable. The bound-charge ledger records the medium's internal shuffling — dipole heads and tails that fail to cancel at surfaces and wherever the polarization is uneven (the accounting rules σb=P⋅n^\sigma_b=\mathbf{P}\cdot\hat{\mathbf{n}} and ρb=−∇⋅P\rho_b=-\nabla\cdot\mathbf{P} from Bound Charges: Surface and Volume). The field E\mathbf{E} answers to both ledgers. The displacement D\mathbf{D} answers only to the first — and the first ledger is the one you can read without solving anything, because you wrote it yourself.

Figure
One free charge, two fields — D ignores the shell, E feels it
point charge q wrapped in a polarized shell: radial profiles of 4πr²D and 4πr²ε₀E +q cavity shell, P = (k/r) r̂ a b D = q/4πr² everywhere r a b 4πr²D = q (flat: blind to shell) 4πr²ε₀E: dips in the shell (bound charge) jumps at a, b = surface bound charge D is bookkeeping for free charge only; E pays the bound-charge tax — the shell dents E but cannot touch D

The picture above is the article in miniature. A free point charge sits in a cavity inside a polarized shell. The flux function 4πr2D4\pi r^2 D is flat — a horizontal line at the value qq, sailing through cavity, shell, and vacuum without noticing them, because no surface encloses any free charge but qq. The corresponding plot for ε0E\varepsilon_0\mathbf{E} dips and jumps: down at the inner surface (negative bound charge), sagging through the shell (volume bound charge), back up at the outer surface (positive bound charge), and rejoining the D\mathbf{D} line outside — where the bound ledger, summed, reads zero, as it always must for a neutral dielectric. One caution before the catalog, inherited from The Electric Displacement D and enforced throughout: D\mathbf{D} obeys a Gauss law but not a Coulomb law. Its curl, ∇×D=∇×P\nabla\times\mathbf{D}=\nabla\times\mathbf{P}, is generally nonzero, so free charge alone does not determine D\mathbf{D} — the flux law pins down D\mathbf{D} only when symmetry has already dictated its direction and its dependence on one coordinate. Every entry in the catalog below begins by checking that license. The final derivation stages what happens when the license is missing.

The law and the ritual

The tools, both established in The Electric Displacement D and recalled here rather than re-derived. In differential form, with D≡ε0E+P\mathbf{D}\equiv\varepsilon_0\mathbf{E}+\mathbf{P} absorbing the bound charge ρb=−∇⋅P\rho_b=-\nabla\cdot\mathbf{P} into the field's definition, Gauss's law in matter reads

∇⋅D=ρfree(1)\nabla\cdot\mathbf{D}=\rho_{\text{free}} \qquad (1)

where: D\mathbf{D} — electric displacement (C/m²); ρfree\rho_{\text{free}} — density of the charge you control (C/m³). The bound charge has not disappeared; it is hiding inside D\mathbf{D}'s definition, which is exactly where you want it while solving. Integrating (1) over a volume and applying the divergence theorem gives the workhorse form. If you are choosing a Gaussian surface, this is the equation you are about to use:

∮SD⋅da=Qfree,enc(2)\oint_{S}\mathbf{D}\cdot\mathrm{d}\mathbf{a}=Q_{\text{free,enc}} \qquad (2)

where: SS — any closed surface; Qfree,encQ_{\text{free,enc}} — the free charge inside it, only the free charge. Compare the vacuum law from Gauss's Law in Integral Form: same geometry, same symmetry arguments, but the right-hand side no longer asks you to know the medium's response. That ignorance-tolerance is the entire selling point. Once D\mathbf{D} is known, everything else unwinds by definition — no material model needed if P\mathbf{P} is given:

E=D−Pε0(3)\mathbf{E}=\frac{\mathbf{D}-\mathbf{P}}{\varepsilon_0} \qquad (3)

where: P\mathbf{P} — the polarization, prescribed in this article's problems. (When instead the material responds linearly, P=ε0χeE\mathbf{P}=\varepsilon_0\chi_e\mathbf{E} and (3) becomes E=D/ε\mathbf{E}=\mathbf{D}/\varepsilon — the constitutive machinery of the next article, Linear Dielectrics, Susceptibility and Permittivity, previewed here and deferred there.) The catalog procedure — the ritual — is the same five moves every time.

Move 1. Certify symmetry: planar, cylindrical, or spherical free charge and material arrangement, so that D\mathbf{D} must point along the symmetry direction and depend on one coordinate only.

Move 2. Run equation (2) on the symmetry-adapted surface; solve algebraically for DD.

Move 3. Recover E\mathbf{E} from (3), region by region — this is where the material finally enters.

Move 4. Harvest the bound charges: σb=P⋅n^\sigma_b=\mathbf{P}\cdot\hat{\mathbf{n}} on every surface, ρb=−∇⋅P\rho_b=-\nabla\cdot\mathbf{P} in every volume (rules owned by Bound Charges: Surface and Volume).

Move 5. Audit: the bound charges of a neutral dielectric must total zero, and ordinary Gauss's law for E\mathbf{E}, run with free plus bound charge, must reproduce Move 3's field. If it doesn't, a sign error is hiding in Move 4.

geometryGaussian surfaceMove 2 output
planar (sheets, slabs, plates)pillbox straddling the structureD=σfD=\sigma_f (from the charged plate)
cylindrical (wires, coax, jackets)coaxial cylinder, radius ss, length LLD=λf/2πsD=\lambda_f/2\pi s
spherical (point charges, shells)concentric sphere, radius rrD=Qf/4πr2D=Q_f/4\pi r^2

The table is deliberately short. Three rows is the entire list of geometries where equation (2) determines D\mathbf{D} outright — the same three as in vacuum (Gauss's Law: Applications and Symmetry), for the same reason: only there does symmetry pin the field's direction before any equation is solved.

Figure
The five-move ritual — free charge in, audited fields out
the dielectric Gauss ritual: material physics enters only AFTER D is fixed 1 · certify symmetry license 2 · flux law D from Q-free only 3 · unwind E = (D − P)/ε₀ 4 · harvest σb = P·n̂, ρb = −∇·P 5 · audit Σ bound = 0; Gauss-for-E material enters here, not before ledger closed = signs certified no symmetry at move 1? the flux law stays true but useless — solve the boundary-value problem instead

The flagship, twice

The problem: a free point charge qq at the center of a thick dielectric shell (inner radius aa, outer radius bb) with frozen-in polarization P=(k/r) r^\mathbf{P}=(k/r)\,\hat{\mathbf{r}} inside the shell, vacuum elsewhere. Find E\mathbf{E} everywhere. We solve it both ways, deliberately in this order: the honest slog first, so the shortcut has something to be compared against.

Derivation ARoute one, the honest slog — every bound charge, then ordinary Gauss

We refuse the shortcut: catalog every scrap of bound charge the polarization creates, then apply the ordinary vacuum Gauss's law with the total (free plus bound) enclosed charge. The strategy is pure bookkeeping — the accounting rules for bound charge, applied to three locations (inner surface, shell volume, outer surface) — and the main thing to watch is signs: the inner surface's outward normal points into the cavity, toward −r^-\hat{\mathbf{r}}. The payoff is a complete audit trail that the fast route must then match.

Step 1. Volume bound charge. In spherical coordinates the divergence of a radial field P(r)r^P(r)\hat{\mathbf{r}} is (1/r2) ∂r(r2P)(1/r^2)\,\partial_r(r^2P), so with P=k/rP=k/r:

ρb=−∇⋅P=−1r2∂∂r ⁣(r2⋅kr)=−1r2∂∂r(kr)=−kr2.\rho_b=-\nabla\cdot\mathbf{P}=-\frac{1}{r^2}\frac{\partial}{\partial r}\!\left(r^2\cdot\frac{k}{r}\right)=-\frac{1}{r^2}\frac{\partial}{\partial r}(kr)=-\frac{k}{r^2}.

Why negative: P\mathbf{P} weakens as 1/r1/r going outward, but the area of each spherical shell grows as r2r^2, so r2P∝rr^2P\propto r still grows — dipole heads keep outrunning tails, leaving net negative charge behind in every shell of the volume.

Step 2. Surface bound charges. At the outer surface n^=+r^\hat{\mathbf{n}}=+\hat{\mathbf{r}}, so σb(b)=P⋅n^=+k/b\sigma_b(b)=\mathbf{P}\cdot\hat{\mathbf{n}}=+k/b. At the inner surface the outward normal of the dielectric points toward the cavity, n^=−r^\hat{\mathbf{n}}=-\hat{\mathbf{r}}, so σb(a)=−k/a\sigma_b(a)=-k/a.

Step 3. Audit the totals before using them. Inner surface: (−k/a)(4πa2)=−4πka(-k/a)(4\pi a^2)=-4\pi ka. Volume: ∫ab(−k/r2) 4πr2 dr=−4πk(b−a)\int_a^b(-k/r^2)\,4\pi r^2\,\mathrm{d}r=-4\pi k(b-a). Outer surface: (+k/b)(4πb2)=+4πkb(+k/b)(4\pi b^2)=+4\pi kb. Sum: −4πka−4πkb+4πka+4πkb=0-4\pi ka-4\pi kb+4\pi ka+4\pi kb=0. Why this check matters: a neutral dielectric shuffles charge but cannot create it — the theorem proved in Bound Charges: Surface and Volume. Any nonzero total here means a sign slipped in Step 1 or 2.

Step 4. Enclosed charge as a function of rr, then ordinary Gauss's law ∮ε0E⋅da=Qenc\oint\varepsilon_0\mathbf{E}\cdot\mathrm{d}\mathbf{a}=Q_{\text{enc}}. In the cavity (r<ar<a): Qenc=qQ_{\text{enc}}=q, so E=q/4πε0r2E=q/4\pi\varepsilon_0r^2 — the bare Coulomb field. Inside the shell (a<r<ba<r<b): add the inner surface and the volume down to rr,

Qenc(r)=q−4πka−4πk(r−a)=q−4πkr⟹E(r)=q4πε0r2−kε0r.Q_{\text{enc}}(r)=q-4\pi ka-4\pi k(r-a)=q-4\pi kr \quad\Longrightarrow\quad E(r)=\frac{q}{4\pi\varepsilon_0 r^2}-\frac{k}{\varepsilon_0 r}.

Outside (r>br>b): the bound ledger closes to zero (Step 3), Qenc=qQ_{\text{enc}}=q, and the bare Coulomb field returns as if the shell were never there. Why the exterior field recovers the bare Coulomb form: this is forced by Step 3's zero total — the bound ledger closes to nothing outside the shell, so the shell dents the field only where you stand inside it.

Go deeper · Derivation B · 1 minRoute two, the displacement shortcut — and why it is two lines
Derivation BRoute two, the displacement shortcut — and why it is two lines

Same problem, now with equation 2. The strategy: spherical symmetry certifies that D=D(r)r^\mathbf{D}=D(r)\hat{\mathbf{r}}; the flux law then reads off DD from the only free charge in the problem; equation 3 converts to E\mathbf{E} region by region. Watch how the polarization — the entire subject of route one — appears exactly once, in the last line, as an afterthought.

Step 1. Everything in sight (charge, shell, polarization pattern) is spherically symmetric, so D\mathbf{D} is radial and depends only on rr. A concentric Gaussian sphere of any radius rr gives

∮D⋅da=4πr2D=Qfree,enc=q⟹D=q4πr2 r^    everywhere.\oint\mathbf{D}\cdot\mathrm{d}\mathbf{a}=4\pi r^2D=Q_{\text{free,enc}}=q \quad\Longrightarrow\quad \mathbf{D}=\frac{q}{4\pi r^2}\,\hat{\mathbf{r}}\;\;\text{everywhere}.

Why "everywhere" is the remarkable word: cavity, shell, and vacuum all get the same formula, because no Gaussian sphere ever encloses free charge other than qq. The bound charges that route one tabulated so carefully are invisible to this equation by construction.

Step 2. Unwind E\mathbf{E} from equation 3. In the cavity and outside, P=0\mathbf{P}=0, so E=D/ε0=qr^/4πε0r2\mathbf{E}=\mathbf{D}/\varepsilon_0=q\hat{\mathbf{r}}/4\pi\varepsilon_0r^2. Inside the shell,

E=D−Pε0=(q4πε0r2−kε0r)r^,\mathbf{E}=\frac{\mathbf{D}-\mathbf{P}}{\varepsilon_0}=\left(\frac{q}{4\pi\varepsilon_0 r^2}-\frac{k}{\varepsilon_0 r}\right)\hat{\mathbf{r}},

identical to route one's Step 4 — every region, every term. Why the two routes agree exactly — and why this is not a coincidence but an identity: equation 1 is simply Gauss's law for E\mathbf{E} with the bound charge moved across the equals sign. Route two is route one with the bookkeeping pre-paid.

The comparison deserves one paragraph of savoring. Route one needed a divergence, two normal-vector sign decisions, a three-part audit, and an integral. Route two needed the sentence "spherical symmetry, free charge qq." Both are correct; only one scales. When the geometry is symmetric, always take the D\mathbf{D} route and use route one's machinery as the audit (Moves 4–5 of the ritual). This division of labor — D\mathbf{D} for solving, bound charges for understanding and checking — is how every dielectric problem in the rest of the track is handled.

Go deeper · Derivation C · 2 minWhen the license is missing — zero flux with a nonzero field
Derivation CWhen the license is missing — zero flux with a nonzero field

Now the failure mode, staged deliberately. Take a bar electret: a cylinder of material with uniform frozen polarization P=P0z^\mathbf{P}=P_0\hat{\mathbf{z}}, no free charge anywhere (the "deceptive parallel" warning of The Electric Displacement D, now with the flux argument run in full). We show that every closed surface reports zero flux of D\mathbf{D}, and yet D\mathbf{D} vanishes nowhere near the bar — so the flux law, with nothing else, determines nothing.

Step 1. The flux audit. With ρfree=0\rho_{\text{free}}=0 identically, equation 2 gives ∮D⋅da=0\oint\mathbf{D}\cdot\mathrm{d}\mathbf{a}=0 through every closed surface — around the whole bar, through its middle, anywhere.

Step 2. The field audit. The electret's bound charges (σb=±P0\sigma_b=\pm P_0 on the end faces) produce the field of a capacitor-like charge pair: E\mathbf{E} points tail-to-head outside the bar and head-to-tail inside, exactly like a bar magnet's H\mathbf{H}-pattern — it is D\mathbf{D}, not E\mathbf{E}, that plays B\mathbf{B}'s role here. Then D=ε0E+P\mathbf{D}=\varepsilon_0\mathbf{E}+\mathbf{P}: outside the bar D=ε0E≠0\mathbf{D}=\varepsilon_0\mathbf{E}\neq0; inside, near the middle, ε0∣E∣<P0\varepsilon_0|\mathbf{E}|<P_0 (the depolarizing field of two distant charged disks is weaker than P0/ε0P_0/\varepsilon_0), so D=P+ε0E≠0\mathbf{D}=\mathbf{P}+\varepsilon_0\mathbf{E}\neq0 there too — D\mathbf{D}'s field lines form closed loops through the bar. Why loops are the tell: closed field lines mean zero net flux through any closed surface (consistent with Step 1) but a nonzero curl. Indeed ∇×D=ε0∇×E⏟0+∇×P\nabla\times\mathbf{D}=\varepsilon_0\underbrace{\nabla\times\mathbf{E}}_{0}+\nabla\times\mathbf{P}, and at the bar's side walls P\mathbf{P} snaps from P0z^P_0\hat{\mathbf{z}} to zero — a discontinuity with a curl. D\mathbf{D} is sourced by free charge and curled by polarization edges.

Step 3. The moral, stated with care. A vector field is determined by its divergence and its curl (with boundary data) — the Helmholtz theorem from the E0 chapter. Equation 1 supplies only the divergence; symmetric problems survive because symmetry substitutes for the missing curl information. The electret has no such symmetry axis of the right kind: no Gaussian surface exists on which D\mathbf{D} is constant-magnitude and normal, so Move 1 of the ritual fails and the flux law, though true, is useless for finding D\mathbf{D}. One must instead solve the boundary-value problem for the potential — the machinery of Boundary Conditions for D and E and, for spheres, the Dielectric Sphere in a Uniform Field. Why the curl identity is immediate: ∇×D=∇×P\nabla\times\mathbf{D}=\nabla\times\mathbf{P} follows in one line from the definition D=ε0E+P\mathbf{D}=\varepsilon_0\mathbf{E}+\mathbf{P} together with the electrostatic irrotationality ∇×E=0\nabla\times\mathbf{E}=0.

Limiting cases

CaseResultMeaning
No matter anywhereP=0⇒D=ε0E\mathbf{P}=0\Rightarrow\mathbf{D}=\varepsilon_0\mathbf{E}equation (2) reduces to the vacuum Gauss's law — same three geometries, same ritual
Shell with qq at center, r>br>bE=q/4πε0r2E=q/4\pi\varepsilon_0r^2 exactlybound charge totals zero; from outside, a neutral dielectric is electrically invisible
Shell region, P=(k/r)r^\mathbf{P}=(k/r)\hat{\mathbf{r}}E=q/4πε0r2−k/ε0rE=q/4\pi\varepsilon_0r^2-k/\varepsilon_0rthe medium's dent in E\mathbf{E}; D\mathbf{D} unchanged
Uniform P\mathbf{P}, no free charge (electret)∮D⋅da=0\oint\mathbf{D}\cdot\mathrm{d}\mathbf{a}=0 but D≠0\mathbf{D}\neq0flux law true yet useless; symmetry license missing
Linear medium (next article)P=ε0χeE⇒E=D/ε\mathbf{P}=\varepsilon_0\chi_e\mathbf{E}\Rightarrow\mathbf{E}=\mathbf{D}/\varepsilonMove 3 becomes a division; the catalog re-runs with ε\varepsilon doing the work

Worked examples

1 · A polarized slab parked in a charged capacitor (confidence builder)

Parallel plates carry free charge ±σf=±8.854 μC/m2\pm\sigma_f=\pm8.854\,\mu\mathrm{C/m^2}, separated by d=2.0 mmd=2.0\,\mathrm{mm}. A slab with frozen uniform polarization P=4.427 μC/m2P=4.427\,\mu\mathrm{C/m^2} (pointing along E\mathbf{E}, i.e. from the positive plate toward the negative) and thickness t=1.0 mmt=1.0\,\mathrm{mm} sits against one plate; the remaining 1.0 mm1.0\,\mathrm{mm} is vacuum. Find D\mathbf{D}, E\mathbf{E} in both regions, the bound charges, and the plate voltage.

Step 1. Ritual Move 1–2. Planar symmetry throughout (plates and slab are uniform in the transverse directions). A pillbox with one face buried in the positive plate's conductor and one face in the gap encloses free charge σf\sigma_f per unit area, so D=σf=8.854 μC/m2D=\sigma_f=8.854\,\mu\mathrm{C/m^2} — and since no free charge lives anywhere between the plates, this same DD holds in the vacuum gap and inside the slab.

Step 2. Move 3, region by region. Vacuum gap: Egap=D/ε0=(8.854×10−6)/(8.854×10−12)=1.00 MV/mE_{\text{gap}}=D/\varepsilon_0=(8.854\times10^{-6})/(8.854\times10^{-12})=1.00\,\mathrm{MV/m}. Slab: Eslab=(D−P)/ε0=(8.854−4.427)×10−6/(8.854×10−12)=0.50 MV/mE_{\text{slab}}=(D-P)/\varepsilon_0=(8.854-4.427)\times10^{-6}/(8.854\times10^{-12})=0.50\,\mathrm{MV/m} — half the gap field, because the polarization shoulders half the displacement.

Step 3. Move 4–5, harvest and audit. Slab faces carry σb=P⋅n^=∓4.427 μC/m2\sigma_b=\mathbf{P}\cdot\hat{\mathbf{n}}=\mp4.427\,\mu\mathrm{C/m^2} (negative on the face toward the positive plate). Audit by superposition of charged sheets: near the positive plate the slab's two bound faces together cancel half of σf\sigma_f's push inside the slab, giving (σf−P)/ε0=0.50 MV/m(\sigma_f-P)/\varepsilon_0=0.50\,\mathrm{MV/m} — matching Step 2 exactly. Total bound charge: two equal-and-opposite faces, zero.

Step 4. Voltage: V=Egap(d−t)+Eslab t=(1.00×106)(1.0×10−3)+(0.50×106)(1.0×10−3)=1500 VV=E_{\text{gap}}(d-t)+E_{\text{slab}}\,t=(1.00\times10^6)(1.0\times10^{-3})+(0.50\times10^6)(1.0\times10^{-3})=1500\,\mathrm{V}, versus 2000 V2000\,\mathrm{V} for the empty capacitor at the same free charge. The slab eats 500 V500\,\mathrm{V} of the voltage at fixed charge — the germ of why dielectrics raise capacitance, quantified properly in the next article.

2 · Coax cable with a polarized jacket (exam level)

A long inner conductor of radius a=1.0 mma=1.0\,\mathrm{mm} carries free line charge λf=50 nC/m\lambda_f=50\,\mathrm{nC/m}. Its insulating jacket (a<s<ba<s<b, b=3.0 mmb=3.0\,\mathrm{mm}) carries frozen polarization P=(α/s) s^\mathbf{P}=(\alpha/s)\,\hat{\mathbf{s}} with α=2.0 nC/m\alpha=2.0\,\mathrm{nC/m}. Find the fields, all bound charge, and the voltage across the jacket — then audit by the long route.

Step 1. Moves 1–2. Cylindrical symmetry; a coaxial Gaussian cylinder of radius ss and length LL encloses free charge λfL\lambda_fL regardless of s>as>a, so D(2πsL)=λfLD(2\pi sL)=\lambda_fL gives D=λf/2πsD=\lambda_f/2\pi s. At the inner surface D(a)=50×10−9/(2π×10−3)=7.96 μC/m2D(a)=50\times10^{-9}/(2\pi\times10^{-3})=7.96\,\mu\mathrm{C/m^2}, where the polarization is P(a)=α/a=2.00 μC/m2P(a)=\alpha/a=2.00\,\mu\mathrm{C/m^2}.

Step 2. Move 3. Inside the jacket, E=(D−P)/ε0=(λf/2π−α)/ε0s=672.9/s V/mE=(D-P)/\varepsilon_0=\left(\lambda_f/2\pi-\alpha\right)/\varepsilon_0s=672.9/s\ \mathrm{V/m} (ss in meters): E(a)=0.673 MV/mE(a)=0.673\,\mathrm{MV/m} at the conductor, falling to E(b)=224 kV/mE(b)=224\,\mathrm{kV/m} at the outer edge. Outside the jacket P=0P=0 and the vacuum form E=λf/2πε0sE=\lambda_f/2\pi\varepsilon_0s resumes.

Step 3. Move 4. Volume: ρb=−∇⋅P=−(1/s) ∂s(s⋅α/s)=−(1/s) ∂sα=0\rho_b=-\nabla\cdot\mathbf{P}=-(1/s)\,\partial_s(s\cdot\alpha/s)=-(1/s)\,\partial_s\alpha=0 — the 1/s1/s profile is precisely the one with no volume bound charge (its sPs P is constant, the cylindrical analogue of the shell's trick question). Surfaces: σb(a)=−α/a=−2.00 μC/m2\sigma_b(a)=-\alpha/a=-2.00\,\mu\mathrm{C/m^2}, σb(b)=+α/b=+0.667 μC/m2\sigma_b(b)=+\alpha/b=+0.667\,\mu\mathrm{C/m^2}.

Step 4. Move 5, the audit. Bound charge per unit length: 2πa σb(a)+2πb σb(b)=−2πα+2πα=02\pi a\,\sigma_b(a)+2\pi b\,\sigma_b(b)=-2\pi\alpha+2\pi\alpha=0. Long route inside the jacket: enclosed line charge =λf−2πα=50−12.57=37.4 nC/m=\lambda_f-2\pi\alpha=50-12.57=37.4\,\mathrm{nC/m}, so E=λenc/2πε0s=672.9/s V/mE=\lambda_{\text{enc}}/2\pi\varepsilon_0s=672.9/s\,\mathrm{V/m} — identical to Step 2.

Step 5. Voltage across the jacket: V=∫abE ds=672.9 ln⁡(b/a)=672.9×ln⁡3=739 VV=\int_a^b E\,\mathrm{d}s=672.9\,\ln(b/a)=672.9\times\ln 3=739\,\mathrm{V}, versus 987 V987\,\mathrm{V} for the same free charge with a vacuum gap. The jacket's inner negative bound skin (−2.00 μC/m2-2.00\,\mu\mathrm{C/m^2}) screens a quarter of the line charge and trims 248 V248\,\mathrm{V} — real cable insulation does the same job with linear response instead of frozen P\mathbf{P}, the case the catalog re-runs next article.

Going further

References. Griffiths, Introduction to Electrodynamics, 4th ed., §4.3 · Jackson, Classical Electrodynamics, 3rd ed., §4.3 · Purcell & Morin, Electricity and Magnetism, 3rd ed., Ch. 10 · Zangwill, Modern Electrodynamics, §6.3 Key relations used throughout: ∇⋅D=ρfree\nabla\cdot\mathbf{D}=\rho_{\text{free}} follows directly from ε0∇⋅E=ρfree−∇⋅P\varepsilon_0\nabla\cdot\mathbf{E}=\rho_{\text{free}}-\nabla\cdot\mathbf{P}; the filled-capacitor results are C=εrε0A/dC=\varepsilon_r\varepsilon_0 A/d and σb=−σf(1−1/εr)\sigma_b=-\sigma_f(1-1/\varepsilon_r); the screened point-charge field is E=q/4πε0εrr2E=q/4\pi\varepsilon_0\varepsilon_r r^2 (spherical Gaussian surface); and ∇×D=∇×P\nabla\times\mathbf{D}=\nabla\times\mathbf{P}. Throughout, ε0=8.854×10−12\varepsilon_0=8.854\times10^{-12} F/m (CODATA).

Builds on: Polarization Density P · Bound Charges: Surface and Volume · The Electric Displacement D · Dielectric Materials and Insulators

Leads to: Linear Dielectrics, Susceptibility and Permittivity · Boundary Conditions for D and E · Dielectric Sphere in a Uniform Field

If D is the same with or without the shell, why bother with the dielectric at all?

Because you live in E\mathbf{E}, not D\mathbf{D}. Forces on charges, voltages between conductors, breakdown thresholds — all are set by E\mathbf{E}, and the shell very much changes E\mathbf{E} (it trimmed 739739 versus 987 V987\,\mathrm{V} in the coax example). D\mathbf{D}'s invariance is not the physics; it is the solving strategy. D\mathbf{D} is the quantity that stays computable while the material does complicated things, which is exactly what makes it the right first thing to calculate and the wrong thing to stop at.

Why does only free charge count in the flux of D when bound charge is just as real?

Bound charge is completely real — it deflects fields, does work, shocks fingers. The point is bookkeeping, not ontology: D=ε0E+P\mathbf{D}=\varepsilon_0\mathbf{E}+\mathbf{P} is defined so that the P\mathbf{P} term's divergence exactly cancels ρb\rho_b in Gauss's law. The bound charge hasn't been dismissed; it has been folded into the field variable itself. When you compute E=(D−P)/ε0\mathbf{E}=(\mathbf{D}-\mathbf{P})/\varepsilon_0 in Move 3, you are unfolding it again — and Move 5's audit (rerun Gauss for E with all the charge) checks that the fold was clean.

How do I know which surfaces get sigma-b and what sign to use?

Every surface where P\mathbf{P} ends or changes discontinuously gets a σb=P⋅n^\sigma_b=\mathbf{P}\cdot\hat{\mathbf{n}}, with n^\hat{\mathbf{n}} the outward normal of the dielectric — the convention from Bound Charges: Surface and Volume. The classic trap is an inner cavity surface, where "outward from the dielectric" points toward the cavity center: that is why the shell picked up σb(a)=−k/a\sigma_b(a)=-k/a, not +k/a+k/a. If your signs are right, the total bound charge of a neutral dielectric comes out zero; if it doesn't, hunt for a flipped normal before doubting anything else.

Is D just epsilon-zero E in the cavity and outside the shell? Why?

Yes — wherever P=0\mathbf{P}=0 (vacuum, air to excellent approximation, the cavity, the region beyond bb), the definition collapses to D=ε0E\mathbf{D}=\varepsilon_0\mathbf{E} and the two fields are the same object in different units. That is also why the 4πr2ε0E4\pi r^2\varepsilon_0E curve in the hero figure rejoins the flat D\mathbf{D} line outside the shell: with zero total bound charge and no polarization out there, nothing distinguishes the two bookkeepings anymore.

The electret has no symmetry for the flux law, but the polarized slab in example 1 also had no free charge inside the gap. Why did the slab work?

Because the whole problem — plates plus slab — retained planar symmetry, and the plates supplied free charge for the pillbox to see. Symmetry is a property of the entire charge-and-material arrangement, not of the dielectric alone. The slab rode on the plates' symmetry: D=σfD=\sigma_f was fixed by the plate charge, and the slab merely reapportioned it between ε0E\varepsilon_0\mathbf{E} and P\mathbf{P}. Strip the plates away and you have a free-standing electret slab — and then, like the bar, the flux law goes silent and you must solve the potential problem.

When P depends on E, as in real insulation, doesn't the ritual break because I can't do Move 3 without knowing E?

The ritual survives; only Move 3 changes character. For linear media P=ε0χeE\mathbf{P}=\varepsilon_0\chi_e\mathbf{E}, so D=ε0(1+χe)E≡εE\mathbf{D}=\varepsilon_0(1+\chi_e)\mathbf{E}\equiv\varepsilon\mathbf{E}, and Move 3 becomes a division by ε\varepsilon instead of a subtraction of a known P\mathbf{P}. The beauty is that Moves 1–2 are untouched: D\mathbf{D} never cared about the material. That is the program of the next article, Linear Dielectrics, Susceptibility and Permittivity — same catalog, self-adjusting medium.

Why is there no potential for D the way V works for E?

A scalar potential exists exactly for curl-free fields, and ∇×D=∇×P\nabla\times\mathbf{D}=\nabla\times\mathbf{P} is generally nonzero — the electret's side walls are a concrete counterexample, and Derivation C's closed D\mathbf{D}-loops are what a curl looks like in a picture. This is the structural asymmetry between the two fields: E\mathbf{E} has a potential but sees all charge; D\mathbf{D} sees only free charge but has no potential. Each field owns exactly one convenience, never both — The Electric Displacement D calls this the deceptive parallel, and it is the honest summary of the whole chapter.

Before this

Where this leads