The Auxiliary Field H

The bound-current articles left magnetostatics with the same bookkeeping complaint that once afflicted dielectrics. Ampère's law for B\mathbf{B} is sourced by all current, Jf+Jb\mathbf{J}_f + \mathbf{J}_b — but Jb=∇×M\mathbf{J}_b = \nabla\times\mathbf{M} depends on the magnetization, which depends on the field, which depends on the bound current you were trying to find. Circular. The fix is the same accounting maneuver that built the electric displacement D\mathbf{D}, executed on the other side of the vector-calculus ledger: move the material's response into the field's definition. The result, H≡B/μ0−M\mathbf{H} \equiv \mathbf{B}/\mu_0 - \mathbf{M}, obeys ∇×H=Jf\nabla\times\mathbf{H} = \mathbf{J}_f — an Ampère's law that sees only the current you control, the current in windings and wires and power supplies. Readers of The Electric Displacement D will recognize what must come next, because this article inherits that article's honesty doctrine wholesale. H\mathbf{H} is not "the magnetic field of the free currents," and the parallel between (B,Jtotal)(\mathbf{B}, \mathbf{J}_{\rm total}) and (H,Jf)(\mathbf{H}, \mathbf{J}_f) breaks at the second glance — with the fine print swapped between the two vector-calculus slots. D\mathbf{D}'s clean law was a divergence and its hidden vice was a curl; H\mathbf{H}'s clean law is a curl and its hidden vice is a divergence: ∇⋅H=−∇⋅M\nabla\cdot\mathbf{H} = -\nabla\cdot\mathbf{M}, which vanishes only when the material geometry is kind. Consequently there is no Biot–Savart law for H\mathbf{H}, and no guarantee that Jf=0\mathbf{J}_f = 0 means H=0\mathbf{H} = 0 — the bar magnet, with not a single free current anywhere, carries a thriving H\mathbf{H}-field that points backwards through its own body. So the honest contract, verbatim from the dielectric chapter with the symbols traded: H\mathbf{H} is a supremely useful auxiliary — the circulation bookkeeper of free current — and the physical field, the one that pushes charges and has no sources anywhere, remains B\mathbf{B}. This article constructs the bookkeeper, prosecutes the bar-magnet counterexample where naive trust collapses, and builds the pole fiction that makes H\mathbf{H} calculable when free currents are absent.

Key takeaways
  • Definition: H≡B/μ0−M\mathbf{H} \equiv \mathbf{B}/\mu_0 - \mathbf{M} — engineered so the bound current cancels out of Ampère's law: ∇×H=Jf\nabla\times\mathbf{H} = \mathbf{J}_f, with only free current as source.
  • The twin construction: D=ε0E+P\mathbf{D} = \varepsilon_0\mathbf{E} + \mathbf{P} cleaned up a divergence; H\mathbf{H} cleans up a curl. The fine print swaps too: D\mathbf{D}'s catch was its curl, H\mathbf{H}'s catch is its divergence, ∇⋅H=−∇⋅M≠0\nabla\cdot\mathbf{H} = -\nabla\cdot\mathbf{M} \neq 0 in general.
  • Because a field needs both its curl and its divergence (Helmholtz), H\mathbf{H} is not determined by Jf\mathbf{J}_f alone: there is no Biot–Savart law for H\mathbf{H}, and Jf=0\mathbf{J}_f = 0 never by itself means H=0\mathbf{H} = 0.
  • The counterexample to memorize: a uniformly magnetized sphere has Jf=0\mathbf{J}_f = 0 everywhere yet Hin=−M/3\mathbf{H}_{\rm in} = -\mathbf{M}/3 — antiparallel to Bin=+2μ0M/3\mathbf{B}_{\rm in} = +2\mu_0\mathbf{M}/3. The demagnetizing field.
  • Where Jf=0\mathbf{J}_f = 0, H\mathbf{H} flows from a scalar potential sourced by fictitious magnetic charge ρm=−∇⋅M\rho_m = -\nabla\cdot\mathbf{M}, σm=M⋅n^\sigma_m = \mathbf{M}\cdot\hat{\mathbf{n}}: the pole fiction — H\mathbf{H} of a bar magnet is the E\mathbf{E} of two charged disks, exactly.
  • Units housekeeping: H\mathbf{H} and M\mathbf{M} share A/m\mathrm{A/m}; B\mathbf{B} is in tesla. The integral law ∮H⋅dℓ=If,enc\oint\mathbf{H}\cdot\mathrm{d}\boldsymbol{\ell} = I_{f,\rm enc} and its worked catalog are deferred by name to Ampère's Law for H.
  • KEY IDEA: H=B/μ0−M\mathbf{H} = \mathbf{B}/\mu_0 - \mathbf{M} absorbs bound current so Ampère's law reads free current only — but H\mathbf{H} inherits no divergence-free guarantee, so it is a circulation bookkeeper with pole-like sources of its own, not the physical field: that role stays with B\mathbf{B}.
The core insight

The auxiliary field H=B/μ0−M\mathbf{H} = \mathbf{B}/\mu_0 - \mathbf{M} satisfies ∇×H=Jf\nabla\times\mathbf{H} = \mathbf{J}_f, letting Ampère's law run on free current alone; but ∇⋅H=−∇⋅M\nabla\cdot\mathbf{H} = -\nabla\cdot\mathbf{M} is generally nonzero, so H\mathbf{H} has no Biot–Savart law and is not determined by free current by itself — it is an auxiliary bookkeeping field, while B\mathbf{B} remains the physical one.

Where this lives today

Open any permanent-magnet datasheet and the doctrine of this article is the reading list: remanence BrB_r in tesla, coercivity HcH_c in kA/m — one axis of the hysteresis loop for each field, because inside a magnet BB and HH are genuinely independent handles (B=μ0(H+M)B = \mu_0(H+M) with MM frozen in). A grade-N42 block quotes Br=1.30 TB_r = 1.30\,\mathrm{T}: at that point H=0H = 0, so the definition hands you the frozen magnetization directly, Mr=Br/μ0=1.03×106 A/mM_r = B_r/\mu_0 = 1.03\times10^{6}\,\mathrm{A/m} — the datasheet was quoting M\mathbf{M} in disguise. Every MRI shim calculation and electric-machine design loop runs on exactly this BB–HH–MM triangle. The pole fiction, meanwhile, has been industrialized. Micromagnetic solvers (OOMMF, MuMax3) spend most of their compute evaluating the demagnetizing field — our H\mathbf{H} from ρm\rho_m and σm\sigma_m — over millions of cells, because that self-field sculpts the domain patterns in hard drives, MRAM cells, and skyrmion devices. The bookkeeping field of 1873 is the inner loop of 2026's magnetic-memory design codes.

Origins · 1 minJames Clerk Maxwell and how this was discovered
JC
James Clerk Maxwell
1831–1879 · Aberdeen, London, Cambridge

Maxwell is the reason this chapter and the dielectric chapter end in the same doctrine — he built both bookkeepers. His Treatise on Electricity and Magnetism (1873) carries two electric vectors (E\mathbf{E} the force intensity, D\mathbf{D} the flux quantity) and, in exact parallel, two magnetic vectors: H\mathbf{H}, which he called the magnetic force, and B\mathbf{B}, the magnetic induction — the field of Faraday's lines, whose tubes never end. Working before the electron, Maxwell leaned on William Thomson's 1850s analysis of magnetized media, where the two vectors first split: inside matter, the field computed from poles and the field measured by flux genuinely differ, and only the pole-blind B\mathbf{B} obeys a universal no-source law. Nineteenth-century practice treated H\mathbf{H} as primary; it took the twentieth century's electrons, Lorentz forces, and relativity to certify B\mathbf{B} as the physical field and demote H\mathbf{H} to magnificent bookkeeping. The Treatise's pairing survives in every modern text — two chapters, two auxiliaries, one honesty doctrine.

History
1850
— William Thomson (Kelvin) distinguishes two magnetic vectors in magnetized media — the B/H split is born
1873
— Maxwell's Treatise codifies magnetic force H and magnetic induction B, alongside E and D
1884
— Heaviside recasts Maxwell into the four modern equations; H and D carry the free sources
1907
— Weiss's molecular field λM: an internal field proportional to M, but aligned with M and non-magnetic in origin (exchange, 1928) — not the demagnetizing field
1945
— Osborn and Stoner tabulate demagnetizing factors for the general ellipsoid — the shape trio and the sum rule N_x + N_y + N_z = 1
1948
— Sommerfeld laments the B/H naming tangle; physics settles on B as the magnetic field
2019
— SI redefinition ends μ0 = 4π×10⁻⁷ exactly; the B/H unit conversion itself becomes a measured quantity

The physical picture

Recall the accountant of the dielectric chapter, and hand them the magnetic ledger. The physical books — Ampère's law for B\mathbf{B} — mix two kinds of current: currents you drive (the free current) and currents the material generates in response (the amperian loops of Bound Currents, orchestrated into Jb=∇×M\mathbf{J}_b = \nabla\times\mathbf{M}). You control the first and can't directly meter the second. The accountant's move is the same as before, but the operator has changed: bound charge was a divergence (ρb=−∇⋅P\rho_b = -\nabla\cdot\mathbf{P}), so the electric fix joined the divergence law and produced D\mathbf{D}; bound current is a curl, so the magnetic fix joins the curl law. Subtract from B/μ0\mathbf{B}/\mu_0 exactly the quantity, M\mathbf{M}, whose curl is the bound current, and the material's entries cancel identically: ∇×H=Jf\nabla\times\mathbf{H} = \mathbf{J}_f answers to your inputs alone.

Figure
Two ledgers for one magnetic problem — B answers to all current, H to free current only
the bookkeeping split, magnetostatic edition physical ledger: B curl B = μ₀(J_f + J_b) sees ALL current div B = 0 always — no sources exerts the force qv × B lines never start or end the field of physics bookkeeping ledger: H curl H = J_f only bound current hidden inside div H = −div M ≠ 0 in general no Biot–Savart law for H circulation audits of free current the field of accounting H = B/μ₀ − M: the D-maneuver with div and curl swapped — D's vice was its curl, H's is its divergence same information, reorganized — useful exactly where circulation arguments are enough

Why is the new ledger so useful? Because in the lab you dial the free current. Wind nn turns per metre around a core and drive II through them: H\mathbf{H} inside is fixed by your ammeter, whatever the core is made of — the material's contribution is postponed to the conversion B=μ0(H+M)\mathbf{B} = \mu_0(\mathbf{H} + \mathbf{M}), handled by a constitutive relation (Magnetic Susceptibility and Magnetic Permeability build it; Ampère's Law for H works the catalog). That is why every materials table and every hysteresis loop has HH on its horizontal axis: HH is the knob, BB is the response. And why the loud warnings? Because the analogy "H\mathbf{H} is to free current what B\mathbf{B} is to total current" invites the same illegal inference the D\mathbf{D} article prosecuted. A field is reconstructible from its sources only when you know both its divergence and its curl — the Helmholtz theorem is explicit. B\mathbf{B} qualifies: curl known from all currents, divergence known to vanish. H\mathbf{H} does not: its curl is the free current, but its divergence, ∇⋅H=−∇⋅M\nabla\cdot\mathbf{H} = -\nabla\cdot\mathbf{M}, belongs to the material — nonzero wherever magnetization starts, stops, or spreads, most vividly at the end faces of a bar magnet, where M\mathbf{M} plunges to zero and H\mathbf{H}-lines erupt as if from a sheet of charge. There, any attempt to compute "H\mathbf{H} by Biot–Savart over Jf\mathbf{J}_f" returns zero — off by everything — and the field inside the magnet runs against the magnetization. The two portraits below are the whole story: same magnet, two fields, two geometries.

Figure
The bar magnet, two portraits — B loops through without ends, H runs pole to pole like an electric field
same uniformly magnetized bar (M points up), two fields, no free current anywhere B: closed loops, up inside div B = 0: lines NEVER start or end B inside: ALONG M + + + N − − − S H: starts at N, ends at S div H ≠ 0 at the faces (poles) H inside: AGAINST M — demagnetizing

The right-hand portrait should look familiar: it is the electrostatic field of two oppositely charged disks. That is not a metaphor — where free current vanishes, H\mathbf{H} obeys exactly the equations of an electrostatic field sourced by −∇⋅M-\nabla\cdot\mathbf{M} (the pole fiction, made precise below). And readers who met the electret sphere in The Electric Displacement D have seen today's cast in mirror image: there, D\mathbf{D} drew the bar magnet's closed loops while ε0E\varepsilon_0\mathbf{E} ran pole-to-pole; here, B\mathbf{B} draws the loops while H\mathbf{H} runs pole-to-pole. The correspondence that article promised "the magnetism chapter will earn" is now earned.

Definition and field equations

H≡Bμ0−M(1)\mathbf{H} \equiv \frac{\mathbf{B}}{\mu_0} - \mathbf{M} \qquad (1)

where: B\mathbf{B} — the macroscopic magnetic field (the averaged, physical field), units T; M\mathbf{M} — the magnetization, units A/m; H\mathbf{H} — the auxiliary field, units A/m (matching M\mathbf{M}, and matching surface current — a standing reminder that H\mathbf{H}'s natural habitat is circulation-per-length bookkeeping). Note the division by μ0\mu_0: it is B/μ0\mathbf{B}/\mu_0, not B\mathbf{B}, that joins −M-\mathbf{M}, the mirror of the ε0\varepsilon_0 that guards the definition of D\mathbf{D} — in vacuum H=B/μ0\mathbf{H} = \mathbf{B}/\mu_0 exactly, same field in different units. The field equations it obeys, derived below:

∇×H=Jf,∇⋅H=−∇⋅M(2)\nabla\times\mathbf{H} = \mathbf{J}_f, \qquad \nabla\cdot\mathbf{H} = -\nabla\cdot\mathbf{M} \qquad (2)

where: Jf\mathbf{J}_f — free current density (conduction currents in windings and wires — current with an independent existence, as opposed to the response current bound in atoms). The first equation is the tool; the second is the fine print that governs when the tool may be trusted alone. Together they say: H\mathbf{H}'s circulation is pure free-current bookkeeping; H\mathbf{H}'s flux is hostage to the material geometry. Compare the displacement's report card, ∇⋅D=ρf\nabla\cdot\mathbf{D} = \rho_f with ∇×D=∇×P\nabla\times\mathbf{D} = \nabla\times\mathbf{P}: the clean slot and the dirty slot have traded places, because bound charge is a divergence of P\mathbf{P} while bound current is a curl of M\mathbf{M}.

B=μ0(H+M)(3)\mathbf{B} = \mu_0\left(\mathbf{H} + \mathbf{M}\right) \qquad (3)

where: this rearrangement of (1) is the working direction in practice — compute H\mathbf{H} from what you control, add the material's answer M\mathbf{M}, recover the physical B\mathbf{B}. In linear media M=χmH\mathbf{M} = \chi_m\mathbf{H} collapses the sum to B=μH\mathbf{B} = \mu\mathbf{H}; that constitutive machinery is owned by Magnetic Susceptibility and Magnetic Permeability, next in the chapter, and is quoted here only as a forward pointer.

Derivation AConstructing the bookkeeper — Ampere's law with the bound current folded in

The goal is equations (2) from what the chapter has already established, in the three lines the construction deserves, followed by the statement of scope: exactly what the new law does and does not determine. The inputs are Ampère's law for B\mathbf{B} with all currents (the magnetostatics chapter's ∇×B=μ0J\nabla\times\mathbf{B} = \mu_0\mathbf{J}, from Curl of B) and the bound-current theorem Jb=∇×M\mathbf{J}_b = \nabla\times\mathbf{M} (from Bound Currents). Watch that no new physics enters — H\mathbf{H} is definition plus rearrangement, which is precisely why it can never contain more than B\mathbf{B} and M\mathbf{M} did. The construction shadows the D\mathbf{D} derivation of the dielectric chapter step for step, with divergence traded for curl.

Step 1. Start from the honest Ampère's law, splitting total current into the two ledgers:

1μ0∇×B=Jtotal=Jf+Jb=Jf+∇×M.\frac{1}{\mu_0}\nabla\times\mathbf{B} = \mathbf{J}_{\rm total} = \mathbf{J}_f + \mathbf{J}_b = \mathbf{J}_f + \nabla\times\mathbf{M}.

Why this split: free current is what ammeters meter and supplies drive; bound current is the material's massed amperian loops, already parceled into ∇×M\nabla\times\mathbf{M} by the bound-current theorem.

Step 2. Move the material's response to the left side, where it combines into a single curl:

∇×(Bμ0−M)=Jf⟹∇×H=Jf,\nabla\times\left(\frac{\mathbf{B}}{\mu_0} - \mathbf{M}\right) = \mathbf{J}_f \qquad\Longrightarrow\qquad \nabla\times\mathbf{H} = \mathbf{J}_f,

with H\mathbf{H} defined by (1). The curl operator is linear, so the two curls merge without ceremony — the same one-line miracle that merged the two divergences into D\mathbf{D}.

Step 3. Take the divergence of the definition. Universally ∇⋅B=0\nabla\cdot\mathbf{B} = 0 (Divergence of B — no magnetic monopoles), so

∇⋅H=1μ0∇⋅B−∇⋅M=−∇⋅M.\nabla\cdot\mathbf{H} = \frac{1}{\mu_0}\nabla\cdot\mathbf{B} - \nabla\cdot\mathbf{M} = -\nabla\cdot\mathbf{M}.

No law of nature makes this vanish: M\mathbf{M} is whatever the material's state dictates, and wherever it has a divergence — bar-magnet end faces above all — H\mathbf{H} has sources that B\mathbf{B} is forbidden to have. It does vanish in the friendly cases (closed magnetization loops in a toroid, an infinite axially magnetized cylinder, linear media threaded symmetrically by free current), which is exactly why the friendly cases are the ones where H\mathbf{H}-first methods work.

Step 4. Scope, via Helmholtz. The Helmholtz theorem (E0) reconstructs a field from both its curl and its divergence. For B\mathbf{B}: curl known from all currents, divergence known to be zero — reconstructible, hence the Biot–Savart law. For H\mathbf{H}: curl known from free current, divergence equal to −∇⋅M-\nabla\cdot\mathbf{M} — unknown until you know the material's magnetization, the very thing you were trying to avoid computing. So Jf\mathbf{J}_f alone underdetermines H\mathbf{H}; the missing information is supplied by symmetry (which kills the divergence-sourced part) or by a constitutive relation plus boundary conditions. There is, correspondingly, no "Biot–Savart law for H\mathbf{H}" — and integrating that illegal formula is the canonical way to get magnetized-matter problems silently wrong.

Go deeper · Derivation B · 3 minThe deceptive parallel prosecuted — a magnet with no free current at all
Derivation BThe deceptive parallel prosecuted — a magnet with no free current at all

The goal is to make the warnings quantitative on the cleanest possible counterexample: the uniformly magnetized sphere of Field of a Magnetized Object — a body with zero free current everywhere, whose B\mathbf{B}-field that article already earned by matching. The strategy is to assemble H\mathbf{H} from the known B\mathbf{B} and M\mathbf{M} via the definition (one line each, inside and out), then interrogate it: what would naive free-current reasoning have predicted, where do H\mathbf{H}'s lines start and end, and how does the circulation audit close? The numbers here are re-used in worked example 1.

Step 1. Assemble H\mathbf{H} inside. The sphere has Bin=23μ0M\mathbf{B}_{\rm in} = \tfrac{2}{3}\mu_0\mathbf{M}, uniform, so

Hin=Binμ0−M=23M−M=−13 M.\mathbf{H}_{\rm in} = \frac{\mathbf{B}_{\rm in}}{\mu_0} - \mathbf{M} = \frac{2}{3}\mathbf{M} - \mathbf{M} = -\frac{1}{3}\,\mathbf{M}.

Note the sign spectacle, the exact mirror of the electret's: B\mathbf{B} points with the magnetization, H\mathbf{H} points against it — the two fields disagree about direction inside matter, an impossibility if H\mathbf{H} were "basically B\mathbf{B} rescaled." The factor 13\tfrac13 is the sphere's demagnetizing factor, and Hin\mathbf{H}_{\rm in} is called the demagnetizing field: it is the field trying to undo the magnet from within.

Step 2. Assemble H\mathbf{H} outside: M=0\mathbf{M} = 0 there, so Hout=Bout/μ0\mathbf{H}_{\rm out} = \mathbf{B}_{\rm out}/\mu_0 — the pure dipole field of moment m=43πR3Mm = \tfrac{4}{3}\pi R^3 M, divided by μ0\mu_0.

Step 3. Audit the naive prediction. Free current: none, anywhere. "H\mathbf{H} is sourced by free current" (naively) ⇒H=0\Rightarrow \mathbf{H} = 0 everywhere. Reality: ∣Hin∣=M/3≠0|\mathbf{H}_{\rm in}| = M/3 \neq 0, and a whole exterior dipole pattern besides. The circulation law is not violated — ∮H⋅dℓ=0\oint\mathbf{H}\cdot\mathrm{d}\boldsymbol{\ell} = 0 around every closed loop, as it must be with If,enc=0I_{f,\rm enc} = 0 — but zero circulation around every loop only means the field is curl-free, not that it vanishes. The information gap is exactly the divergence. Why this mirrors the electret audit: there D\mathbf{D} had zero flux through every closed surface yet lived on in loops; here H\mathbf{H} has zero circulation around every loop yet lives on pole-to-pole. Each auxiliary fails in precisely the slot its clean law does not constrain.

Step 4. Close the circulation ledger explicitly, on the axis. Take the loop that runs up the polar axis through the sphere and returns along the axis from +∞+\infty around to −∞-\infty (the return legs at infinity contribute nothing, H∼1/r3H \sim 1/r^3). Interior leg: Hin⋅dℓ\mathbf{H}_{\rm in}\cdot\mathrm{d}\boldsymbol{\ell} accumulates −(M/3)(2R)-(M/3)(2R) — negative, the field opposes the path. Exterior legs: on the axis Hz=2m/4πr3H_z = 2m/4\pi r^3, and ∫R∞2m4πr3dr=m4πR2=MR3\int_R^{\infty} \frac{2m}{4\pi r^3}\mathrm{d}r = \frac{m}{4\pi R^2} = \frac{MR}{3} per side, so the two exterior legs contribute +23MR+\tfrac{2}{3}MR. Total: −23MR+23MR=0-\tfrac{2}{3}MR + \tfrac{2}{3}MR = 0 ✓. The exterior surplus pays the interior deficit exactly — the circulation law holds to the last digit, while telling you nothing about either piece separately.

Step 5. Find the sources and the line geometry. ∇⋅H=−∇⋅M\nabla\cdot\mathbf{H} = -\nabla\cdot\mathbf{M} is zero in the bulk (uniform M\mathbf{M}) and zero outside — the divergence lives entirely on the surface, where the normal component of M\mathbf{M} jumps to zero: a surface source σm=Mcos⁡θ\sigma_m = M\cos\theta, positive on the north hemisphere, negative on the south. H\mathbf{H}-lines therefore start on the north face and end on the south — outside they arc pole to pole like a dipole's, inside they run straight back against M\mathbf{M}. Consequences: H\mathbf{H} has flux sources B\mathbf{B} never has; no Biot–Savart integral over Jf\mathbf{J}_f could produce it (it would give 0); and no shortcut past the material — to find H\mathbf{H} you first needed B\mathbf{B} and M\mathbf{M}. The one consolation is large: because H\mathbf{H} here is curl-free with charge-like sources, electrostatic methods compute it wholesale — the pole fiction, built next. As a consistency note: Hin=−M/3H_{\text{in}} = -M/3 follows directly from Bin=2μ0M/3B_{\text{in}} = 2\mu_0 M/3 via H=B/μ0−M\mathbf{H} = \mathbf{B}/\mu_0 - \mathbf{M}; the axis circulation integral closes at zero exactly (−(2/3)MR+2⋅MR/3=0-(2/3)MR + 2\cdot MR/3 = 0, e.g. −6667+6667 A-6667 + 6667\text{ A} for M=1.0×106 A/mM = 1.0\times10^6\text{ A/m}, R=1 cmR = 1\text{ cm}); and σm=Mcos⁡θ\sigma_m = M\cos\theta is the precise magnetic analogue of the polarized-sphere surface charge σb=Pcos⁡θ\sigma_b = P\cos\theta under the dictionary P→M\mathbf{P}\to\mathbf{M}.

The pole fiction — electrostatics for H

The bar-magnet portrait begs for a formalism: if H\mathbf{H} flows from face to face like E\mathbf{E} between charged plates, can we compute it that way? Wherever Jf=0\mathbf{J}_f = 0, yes, exactly — and the recipe is worth owning because it powers everything from permanent-magnet design to micromagnetic simulation.

Jf=0:∇×H=0  ⇒  H=−∇W,∇2W=−ρm,ρm≡−∇⋅M,    σm≡M⋅n^(4)\mathbf{J}_f = 0:\qquad \nabla\times\mathbf{H} = 0 \;\Rightarrow\; \mathbf{H} = -\nabla W, \qquad \nabla^2 W = -\rho_m, \quad \rho_m \equiv -\nabla\cdot\mathbf{M},\;\; \sigma_m \equiv \mathbf{M}\cdot\hat{\mathbf{n}} \qquad (4)

where: WW — the magnetic scalar potential, units A; ρm\rho_m, σm\sigma_m — the effective ("fictitious") magnetic charge densities, in the volume and on surfaces where M\mathbf{M} ends. Every electrostatic tool of chapters E1–E2 now applies verbatim: Poisson's equation, uniqueness theorems, separation of variables, even the method of images — with ρb/ε0→ρm\rho_b/\varepsilon_0 \to \rho_m as the source dictionary. The charges are fictions (nothing sits on the magnet's faces; cut the magnet and you never isolate a pole — ∇⋅B=0\nabla\cdot\mathbf{B} = 0 stands guard), but the field they generate is exactly H\mathbf{H}.

Go deeper · Derivation C · 2 minThe pole fiction made precise — a scalar potential and its charges
Derivation CThe pole fiction made precise — a scalar potential and its charges

The goal is equation (4) and its license: to show that in free-current-free regions H\mathbf{H} is mathematically an electrostatic field, identify its effective charges, and calibrate the fiction on the magnetized sphere so the dictionary is verified rather than asserted. The inputs are the two field equations (2) and the E0/E1 machinery, recalled by name. Watch the scope clause — the potential exists only where Jf=0\mathbf{J}_f = 0, and in multiply connected geometries (a loop of current threading the region) even that can fail.

Step 1. Where Jf=0\mathbf{J}_f = 0, equation (2) gives ∇×H=0\nabla\times\mathbf{H} = 0. A curl-free field on a simply connected region is a gradient (the E0 theorem recalled from Scalar Potentials): H=−∇W\mathbf{H} = -\nabla W, the sign chosen so the analogy runs parallel to E=−∇V\mathbf{E} = -\nabla V.

Step 2. Feed the potential into the divergence law: ∇⋅H=−∇⋅M\nabla\cdot\mathbf{H} = -\nabla\cdot\mathbf{M} becomes

∇2W=∇⋅M=−ρm,\nabla^2 W = \nabla\cdot\mathbf{M} = -\rho_m,

Poisson's equation with source ρm=−∇⋅M\rho_m = -\nabla\cdot\mathbf{M}. At an abrupt material surface, the pillbox argument (E1's, verbatim) converts the jump in normal M\mathbf{M} into a surface charge σm=M⋅n^\sigma_m = \mathbf{M}\cdot\hat{\mathbf{n}}. Why the dictionary is exact and not approximate: the equations ∇×H=0\nabla\times\mathbf{H}=0, ∇⋅H=ρm\nabla\cdot\mathbf{H}=\rho_m are structurally identical to ∇×E=0\nabla\times\mathbf{E}=0, ∇⋅E=ρ/ε0\nabla\cdot\mathbf{E}=\rho/\varepsilon_0 — and fields are their equations (Helmholtz again). Whatever electrostatics proves about E\mathbf{E} of a charge distribution, magnetostatics inherits for H\mathbf{H} of the matching pole distribution.

Step 3. Calibrate on the sphere. Uniform M=Mz^\mathbf{M} = M\hat{\mathbf{z}}: ρm=0\rho_m = 0 in the bulk, σm=Mcos⁡θ\sigma_m = M\cos\theta on the surface. But a cos⁡θ\cos\theta surface charge on a sphere is the classic of the dielectric chapter — Uniformly Polarized Sphere solved σb=Pcos⁡θ\sigma_b = P\cos\theta and found Ein=−P/3ε0\mathbf{E}_{\rm in} = -\mathbf{P}/3\varepsilon_0. Apply the dictionary (P/ε0→MP/\varepsilon_0 \to M): Hin=−M/3\mathbf{H}_{\rm in} = -\mathbf{M}/3 — precisely the value assembled from B\mathbf{B} in the previous derivation, now obtained without ever mentioning a current. Two independent routes, one answer; the fiction is certified.

Step 4. State the license's fine print. (i) The fiction computes H\mathbf{H}, never B\mathbf{B}: finish with B=μ0(H+M)\mathbf{B} = \mu_0(\mathbf{H} + \mathbf{M}) — inside matter the added μ0M\mu_0\mathbf{M} flips the picture entirely (the sphere: H\mathbf{H} down, B\mathbf{B} up). (ii) The poles are bookkeeping: Gauss's law for B\mathbf{B} still reads zero everywhere (Divergence of B owns the monopole story). (iii) Where free currents flow, WW dies — H\mathbf{H} regains curl; that regime belongs to Ampère's Law for H. The sphere result Hin=−M/3H_{\text{in}} = -M/3 maps directly onto the electrostatic Ein=−P/3ε0E_{\text{in}} = -P/3\varepsilon_0 under the substitution P/ε0→MP/\varepsilon_0 \to M, and the pillbox boundary condition σm=M⋅n^\sigma_m = M\cdot\hat{n} mirrors the surface-charge pillbox of the electric case verbatim.

The analogy table this chapter has been building deserves its honest asymmetry spelled out:

electric mattermagnetic matterthe asymmetry
D=ε0E+P\mathbf{D} = \varepsilon_0\mathbf{E} + \mathbf{P}H=B/μ0−M\mathbf{H} = \mathbf{B}/\mu_0 - \mathbf{M}sign and slot both flip
clean law: ∇⋅D=ρf\nabla\cdot\mathbf{D} = \rho_fclean law: ∇×H=Jf\nabla\times\mathbf{H} = \mathbf{J}_fD audits flux, H audits circulation
fine print: ∇×D=∇×P\nabla\times\mathbf{D} = \nabla\times\mathbf{P}fine print: ∇⋅H=−∇⋅M\nabla\cdot\mathbf{H} = -\nabla\cdot\mathbf{M}each fails where the other is clean
no Coulomb law for D\mathbf{D}no Biot–Savart law for H\mathbf{H}Helmholtz demands both slots
electret: ρf=0\rho_f = 0, D≠0\mathbf{D} \neq 0, loopsbar magnet: Jf=0\mathbf{J}_f = 0, H≠0\mathbf{H} \neq 0, polesthe memorized counterexamples
E\mathbf{E} physical, D\mathbf{D} bookkeepingB\mathbf{B} physical, H\mathbf{H} bookkeepingthe doctrine, twice

And the exact dualities run diagonally across that table: the electret's D\mathbf{D} (divergence-free, curl-carrying) is the bar magnet's B\mathbf{B}, and the electret's ε0E\varepsilon_0\mathbf{E} (curl-free, sourced on the material's skin) is the bar magnet's μ0H\mu_0\mathbf{H}. The D\mathbf{D} article's electret portrait and this article's magnet portrait are the same two drawings with the labels traded. And a word on names, since the literature will fight you. Older books — and most engineers to this day — call H\mathbf{H} "the magnetic field" and B\mathbf{B} "the magnetic induction" or "flux density," a convention rooted in the pole-minded nineteenth century. Modern physics usage — Griffiths's explicitly — reserves the magnetic field for B\mathbf{B}, the field in the Lorentz force and in ∇⋅B=0\nabla\cdot\mathbf{B} = 0, and grants H\mathbf{H} no name beyond "H." This article sides with B\mathbf{B}; translate on contact with a materials datasheet, whose horizontal axis labeled "magnetic field HH" is our auxiliary.

Limiting cases

CaseResultMeaning
vacuumH=B/μ0\mathbf{H} = \mathbf{B}/\mu_0 exactlythe ledgers coincide; a units convention, nothing more
linear medium (next articles)M=χmH\mathbf{M} = \chi_m\mathbf{H}, B=μH\mathbf{B} = \mu\mathbf{H}conversion becomes one multiplication; χm\chi_m, μ\mu owned downstream
free current present, high symmetryH\mathbf{H} from ∮H⋅dℓ=If\oint\mathbf{H}\cdot\mathrm{d}\boldsymbol{\ell} = I_fthe tool at full power — the catalog of Ampère's Law for H
Jf=0\mathbf{J}_f = 0 everywhereH=−∇W\mathbf{H} = -\nabla W, poles ρm\rho_m, σm\sigma_melectrostatics computes H; B follows from (3)
uniformly magnetized sphereHin=−M/3\mathbf{H}_{\rm in} = -\mathbf{M}/3, Bin=+23μ0M\mathbf{B}_{\rm in} = +\tfrac{2}{3}\mu_0\mathbf{M}the two fields point opposite ways inside
long needle, axial M\mathbf{M}Hin≈0\mathbf{H}_{\rm in} \approx 0, Bin≈μ0M\mathbf{B}_{\rm in} \approx \mu_0 Mpoles exiled to the far ends; the solenoid limit
thin slab, transverse M\mathbf{M}Hin=−M\mathbf{H}_{\rm in} = -\mathbf{M}, Bin≈0\mathbf{B}_{\rm in} \approx 0full pole sheets, like a parallel-plate capacitor
ferromagnetM(H)\mathbf{M}(\mathbf{H}) multivaluedno single μ\mu exists; hysteresis (owned by Ferromagnetism)

Worked examples

1 · The neodymium sphere — assembling H, closing every audit (confidence builder)

A uniformly magnetized NdFeB sphere has M=1.0×106 A/mM = 1.0\times10^{6}\,\mathrm{A/m} and radius R=1.0 cmR = 1.0\,\mathrm{cm}. Find H\mathbf{H} and B\mathbf{B} inside, the surface pole density, and verify the circulation ledger on the axis.

Step 1. Inside fields, from Field of a Magnetized Object plus the definition: Bin=23μ0M z^=0.84 T\mathbf{B}_{\rm in} = \tfrac{2}{3}\mu_0 M\,\hat{\mathbf{z}} = 0.84\,\mathrm{T} (along M\mathbf{M}); Hin=Bin/μ0−M=(6.7×105−1.0×106) z^=−3.3×105 A/m\mathbf{H}_{\rm in} = \mathbf{B}_{\rm in}/\mu_0 - \mathbf{M} = (6.7\times10^{5} - 1.0\times10^{6})\,\hat{\mathbf{z}} = -3.3\times10^{5}\,\mathrm{A/m} — against M\mathbf{M}. Two "magnetic fields," antiparallel, in one sphere.

Step 2. The poles. σm=Mcos⁡θ\sigma_m = M\cos\theta: +1.0×106 A/m+1.0\times10^{6}\,\mathrm{A/m} at the north pole, falling as cos⁡θ\cos\theta, negative on the southern hemisphere. Total north-hemisphere pole strength: qm=∫σm da=MπR2=3.1×102 A⋅mq_m = \int\sigma_m\,\mathrm{d}a = M\pi R^2 = 3.1\times10^{2}\,\mathrm{A\cdot m} — the fictitious charge that, placed on the surface, generates this exact H\mathbf{H}.

Step 3. Continuity audit at the north pole. Outside, on the axis at r=Rr = R: Hout=2m/4πR3=23M=+6.7×105 A/mH_{\rm out} = 2m/4\pi R^3 = \tfrac{2}{3}M = +6.7\times10^{5}\,\mathrm{A/m} (with m=43πR3M=4.2 A m2m = \tfrac43\pi R^3 M = 4.2\,\mathrm{A\,m^2}). Jump across the surface: Hout−Hin=23M+13M=M=σm(pole)H_{\rm out} - H_{\rm in} = \tfrac23 M + \tfrac13 M = M = \sigma_m(\text{pole}) ✓ — normal H\mathbf{H} jumps by exactly the pole density, as a charge sheet demands. Meanwhile BB is continuous there: 0.84 T0.84\,\mathrm{T} both sides ✓ — no monopoles, no B\mathbf{B}-flux jump, ever.

Step 4. The circulation ledger. Interior axis leg: Hin×2R=(−3.3×105)(0.02)=−6.7×103 AH_{\rm in}\times 2R = (-3.3\times10^{5})(0.02) = -6.7\times10^{3}\,\mathrm{A}. Exterior legs: 2×m/4πR2=2×MR/3=+6.7×103 A2\times m/4\pi R^2 = 2\times MR/3 = +6.7\times10^{3}\,\mathrm{A}. Sum: 00 ✓, as If,enc=0I_{f,\rm enc} = 0 requires. Every audit closes, and none of them could have found the field — that took the material's geometry.

2 · One magnetization, three bodies — the shape is the demagnetizing field (exam level)

The same material, M=1.0×106 A/mM = 1.0\times10^{6}\,\mathrm{A/m}, is shaped into (a) a long thin needle magnetized along its axis, (b) a sphere, (c) a wide thin slab magnetized perpendicular to its faces. Find Hin\mathbf{H}_{\rm in} and Bin\mathbf{B}_{\rm in} in each, using the pole fiction.

Step 1. The needle. Poles σm=±M\sigma_m = \pm M sit only on the two tiny end faces, exiled far away; between them their field is negligible, so Hin≈0\mathbf{H}_{\rm in} \approx 0 and Bin=μ0(H+M)≈μ0M=1.3 T\mathbf{B}_{\rm in} = \mu_0(\mathbf{H} + \mathbf{M}) \approx \mu_0 M = 1.3\,\mathrm{T}. The needle is the solenoid limit — recall from Magnetization that a uniformly magnetized cylinder is a solenoid with Kb=MK_b = M, and an infinite solenoid's interior field is exactly μ0M\mu_0 M with nothing subtracted.

Step 2. The slab. Poles σm=±M\sigma_m = \pm M now tile two huge parallel faces: a parallel-plate capacitor drawn in magnetic ink. Between infinite sheets of ±σm\pm\sigma_m, the electrostatic dictionary gives a uniform interior field H=σm=MH = \sigma_m = M pointing from ++ to −-, i.e. Hin=−M\mathbf{H}_{\rm in} = -\mathbf{M}, the maximum demagnetization possible. Then Bin=μ0(−M+M)=0\mathbf{B}_{\rm in} = \mu_0(-\mathbf{M} + \mathbf{M}) = 0: the magnetization is entirely self-cancelled, and (in the infinite-slab idealization) there is no B\mathbf{B} anywhere.

Step 3. The sphere sits exactly between: Hin=−13M=−3.3×105 A/m\mathbf{H}_{\rm in} = -\tfrac13\mathbf{M} = -3.3\times10^{5}\,\mathrm{A/m}, Bin=23μ0M=0.84 T\mathbf{B}_{\rm in} = \tfrac23\mu_0 M = 0.84\,\mathrm{T}, from example 1. The pattern is the demagnetizing factor NN: Hin=−NM\mathbf{H}_{\rm in} = -N\mathbf{M} with N≈0N \approx 0 (needle, axial), 13\tfrac13 (sphere), 11 (slab, transverse) — and for any ellipsoid the three principal factors obey Nx+Ny+Nz=1N_x + N_y + N_z = 1 (the same sum rule the Lorentz-cavity article exhibited for its electric twin). The general-NN machinery and its interface consequences are owned by Magnetic Boundary Conditions, next lane in the chapter.

Step 4. Read the engineering. Shape is destiny for permanent magnets: a slab magnetized through its thin dimension sits deep in its own demagnetizing field (H=−MH = -M), pushed toward demagnetization along its hysteresis loop, while a needle or a closed magnetic circuit barely demagnetizes itself at all. This is why horseshoe magnets keep their keepers, and why every magnet assembly's load line starts from the demagnetizing factor of its geometry (Linear and Nonlinear Magnetic Media takes up the story).

Going further

References. Griffiths, Introduction to Electrodynamics, 4th ed., §6.3 · Jackson, Classical Electrodynamics, 3rd ed., §5.8–5.10 · Purcell & Morin, Electricity and Magnetism, 3rd ed., Ch. 11 · Zangwill, Modern Electrodynamics, §13.3–13.4. The key relations H=B/μ0−M\mathbf{H}=\mathbf{B}/\mu_0-\mathbf{M}, ∇×H=Jf\nabla\times\mathbf{H}=\mathbf{J}_f, ∇⋅H=−∇⋅M\nabla\cdot\mathbf{H}=-\nabla\cdot\mathbf{M}, and B=μ0(1+χm)H\mathbf{B}=\mu_0(1+\chi_m)\mathbf{H} are standard results of the theory. For a uniformly magnetized sphere the demagnetizing factor is 1/31/3, giving Hin=−M/3\mathbf{H}_{in}=-\mathbf{M}/3 and Bin=23μ0M\mathbf{B}_{in}=\tfrac{2}{3}\mu_0\mathbf{M}; inside a filled solenoid H=nIH=nI; and μ0=1.25663706×10−6\mu_0=1.25663706\times10^{-6} T·m/A. Susceptibility values (water −9.0×10−6-9.0\times10^{-6}, Al +2.2×10−5+2.2\times10^{-5}, Cu −9.6×10−6-9.6\times10^{-6}) are standard figures and may vary slightly with source. The refraction law tan⁡θ1/tan⁡θ2=μ1/μ2\tan\theta_1/\tan\theta_2=\mu_1/\mu_2 follows from continuity of tangential H and normal B. For a NdFeB sphere (M=1.0×106M = 1.0\times10^6 A/m, R=1R = 1 cm): Hin=−3.3×105H_{\rm in} = -3.3\times10^5 A/m, Bin=0.84B_{\rm in} = 0.84 T, m=4.2m = 4.2 A·m², pole strength MπR2=3.1×102M\pi R^2 = 3.1\times10^2 A·m, axis circulation −23MR+2(MR/3)=0-\tfrac23 MR + 2(MR/3) = 0 exactly; shape trio N=0,13,1N = 0, \tfrac13, 1 with Bin=1.3B_{\rm in} = 1.3 T (needle), 0.840.84 T (sphere), 00 (slab); Mr=Br/μ0=1.03×106M_r = B_r/\mu_0 = 1.03\times10^6 A/m for Br=1.30B_r = 1.30 T.

Builds on: Magnetization · Bound Currents · Field of a Magnetized Object

Leads to: Ampere's Law for H · Magnetic Susceptibility · Magnetic Permeability · Magnetic Boundary Conditions

Is H a physical field or just a mathematical convenience?

A convenience with an exact definition — and the question has the same sharp answer the displacement article gave for D\mathbf{D}. Forces on charges are qv×Bq\mathbf{v}\times\mathbf{B}, the universal no-source law is ∇⋅B=0\nabla\cdot\mathbf{B} = 0, and the microscopic world averages to B\mathbf{B}; nothing pushes on anything "with H\mathbf{H}." Yet convenience is not disparagement: H\mathbf{H}'s circulation is what your power supply actually pays for (free current), which is why engineers specify it, materials tables tabulate against it, and it earns its seat in the macroscopic Maxwell equations. The healthy attitude: B\mathbf{B} is the field of physics, H\mathbf{H} the field of accounting — and the books are kept for excellent reasons.

Why does H point backwards inside a bar magnet? That still feels wrong.

Follow the poles. With no free current, H\mathbf{H} is an honest electrostatic-style field of the fictitious charges σm=M⋅n^\sigma_m = \mathbf{M}\cdot\hat{\mathbf{n}}: positive on the north face, negative on the south. Between a positive sheet and a negative sheet, the field runs from ++ to −- — which, inside the magnet, is from north face back to south face, i.e. against M\mathbf{M}. (Outside, the same pole field runs north-around-to-south, which is why exterior H\mathbf{H} and B\mathbf{B} agree in shape there.) The interior H\mathbf{H} is called the demagnetizing field because it is genuinely trying to disassemble the magnetization that creates it — and in soft materials it succeeds, which is half the story of domain formation in Ferromagnetism.

If there is no Biot-Savart law for H, how do I ever compute it?

Three honest routes. (1) Symmetry plus circulation: when free-current geometry pins H\mathbf{H} on an Amperian loop and the magnetization contributes no symmetry-breaking divergence — toroids, filled solenoids — ∮H⋅dℓ=If,enc\oint\mathbf{H}\cdot\mathrm{d}\boldsymbol{\ell} = I_{f,\rm enc} delivers H\mathbf{H} in two lines (Ampère's Law for H is that catalog). (2) The pole fiction: where Jf=0\mathbf{J}_f = 0, solve electrostatics for ρm\rho_m, σm\sigma_m — every E1/E2 tool applies. (3) Assembly: solve the honest problem for B\mathbf{B} and M\mathbf{M} (as Field of a Magnetized Object does), then H=B/μ0−M\mathbf{H} = \mathbf{B}/\mu_0 - \mathbf{M}. What you may never do is integrate Jf\mathbf{J}_f with a 1/r21/\mathscr{r}^2 kernel and call the result H\mathbf{H}.

In vacuum H = B/μ0 exactly — so why do we drag H around at all?

Because every interesting magnetics problem eventually touches matter, and inside matter the two fields split — in direction, not just scale (the sphere: antiparallel). H\mathbf{H} earns its keep at exactly that moment: it is the piece of the field fixed by what you control (winding currents), so it survives the material's response as a usable handle. In vacuum-only electrodynamics you can retire H\mathbf{H} without loss — many relativity-first treatments do. The auxiliary exists for the same reason D\mathbf{D} does: matter responds, the response is initially unknown, and the bookkeeping field quarantines that ignorance into one symbol.

Why are H and M measured in A/m but B in tesla? The units feel backwards.

The units are the physics. M\mathbf{M} is dipole moment per volume, A m2/m3=A/m\mathrm{A\,m^2/m^3} = \mathrm{A/m} — equivalently, a magnetized body wears a bound surface current KbK_b of exactly that size (Bound Currents). H\mathbf{H} must share M\mathbf{M}'s units to be subtractable from B/μ0\mathbf{B}/\mu_0, and its own law confirms the reading: ∮H⋅dℓ=If\oint\mathbf{H}\cdot\mathrm{d}\boldsymbol{\ell} = I_f makes HH a current-per-length — amp-turns per metre, as every electromagnet designer says aloud. B\mathbf{B} carries the mechanical units instead (force per charge per velocity), because B\mathbf{B} is the field that does something. The dimensional split is the doctrine in miniature.

Are magnetic poles real, then? The pole fiction seems to work awfully well.

The field it computes is real; the charges are not. Gauss's law for B\mathbf{B} reads zero through every closed surface ever measured (Divergence of B tells the monopole-hunt story), and slicing a magnet at its "pole" yields two magnets, never a bare charge — poles are where M\mathbf{M} ends, and cutting relocates the ends. The fiction works because mathematics only cares about the equations: curl-free plus known divergence is electrostatics, whatever the divergence is made of. The one absolute guardrail: the fiction computes H\mathbf{H}, and only B=μ0(H+M)\mathbf{B} = \mu_0(\mathbf{H}+\mathbf{M}) is the physical answer.

Does the D-to-H analogy mean every dielectric result has a magnetic twin I can just copy?

Almost — copy the structure, audit the slots and signs. The reliable dictionary: P→M\mathbf{P} \to \mathbf{M} trades bound charge (−∇⋅P-\nabla\cdot\mathbf{P}, a divergence) for bound current (∇×M\nabla\times\mathbf{M}, a curl), so D\mathbf{D}'s clean divergence law becomes H\mathbf{H}'s clean curl law, and each auxiliary's fine print sits in the other slot. The diagonal dualities are exact: electret-D\mathbf{D} ↔ magnet-B\mathbf{B}, electret-ε0E\varepsilon_0\mathbf{E} ↔ magnet-μ0H\mu_0\mathbf{H}, σb=Pcos⁡θ\sigma_b = P\cos\theta ↔ σm=Mcos⁡θ\sigma_m = M\cos\theta, −P/3ε0-\mathbf{P}/3\varepsilon_0 ↔ −M/3-\mathbf{M}/3. What does not transfer blindly: signs in the definitions (+P+\mathbf{P} but −M-\mathbf{M}), the direction of the physical field inside matter (E\mathbf{E} fights P\mathbf{P}; B\mathbf{B} helps M\mathbf{M} — paramagnets amplify, dielectrics always screen), and the constitutive conventions (χ_m is defined against H — Magnetic Susceptibility owns that story).

Before this

Where this leads