Local Field and the Lorentz Cavity
The previous article wrote a cheque it could not cash. The Clausius–Mossotti Relation took one physical input beyond — the claim that a molecule deep inside a polarized medium feels not the macroscopic field but — and deferred its derivation here. This article pays that debt, and audits the fine print. The problem is real and quantitative. The macroscopic of Maxwell's equations is a spatial average over thousands of molecules; the field three ångströms from a water molecule swings by billions of volts per meter as you pass its neighbours. Which field does a molecule actually respond to? Neither the raw microscopic chaos (most of it averages away) nor the plain average (that smears out a systematic piece that does not cancel). Lorentz's construction threads the needle: draw — do not carve — a small sphere around the molecule, treat everything outside as smooth continuum, everything inside as discrete neighbours, and count. The continuum's ledger closes at , the exact mirror of the interior field we found in Uniformly Polarized Sphere; the discrete neighbours, in any cubic or statistically isotropic arrangement, sum to exactly zero. Mastering the construction buys you three things: the microscopic justification of Clausius–Mossotti, an honest map of where that relation must fail — water is the star witness, and we run its autopsy with real numbers — and the vocabulary (cavity field, reaction field, depolarization factor) that dielectric physics, polar-liquid theory, and ferroelectric design all speak.
- A molecule polarizes in response to the local field — the field of everything except itself at its own site — not the macroscopic average .
- Lorentz's bookkeeping: draw a virtual sphere around the molecule; outside = continuum, inside = discrete neighbours. Three contributions: , the sphere-removal (cavity) term, and the near sum.
- The cavity term is — the exact complement of the inside a uniformly polarized sphere: hole plus sphere rebuilds intact medium.
- The discrete near sum vanishes identically for cubic lattices and statistically isotropic fluids; a 5% tetragonal stretch already revives it at the 14% level — the is symmetry, not magic.
- Result: , the engine of the Clausius–Mossotti relation; for other bookkeeping shapes with .
- Polar liquids break the construction — orientational correlations spoil the near-field cancellation; for water the naive theory predicts a catastrophe that does not happen, and Onsager's reaction field is the repair.
- Key idea: draw a fictitious sphere around the molecule — the continuum outside contributes , the discrete dipoles inside sum to zero for cubic or isotropic media, so .
Surround the molecule with a fictitious Lorentz sphere; the continuum outside contributes the macroscopic field plus the cavity field , while the discrete dipoles inside sum to zero for cubic or isotropic media — giving .
Where this lives today
The Lorentz factor never left the lab bench. Whenever an optical measurement on a dense medium must be translated into a molecular property, the conversion carries the local-field factor — hyperpolarizability measurements, Raman cross sections, and solvatochromic Stark-shift probes all quote it explicitly, and getting the factor wrong is a classic source of order-unity disagreement between groups. Modern polarizable force fields for molecular simulation (AMOEBA and its successors) are, in essence, machines that refuse the Lorentz shortcut: they compute at every molecule explicitly, self-consistently, every femtosecond timestep — a brute-force honest version of this article, which is also how one computes Kirkwood's from first principles today. The failure modes are equally alive. Dielectric and terahertz spectroscopy of water, alcohols, and electrolytes is analyzed in Onsager–Kirkwood language; and the polarization catastrophe that water so pointedly refuses is exactly the instability that perovskite ferroelectrics embrace — the next article, Ferroelectrics and Spontaneous Polarization, turns this page's disease into a device.
Origins · 1 minLars Onsager and how this was discovered
Onsager met the local-field problem as a young chemist and, in his quietly devastating way, located the exact flaw in a construction that had stood for half a century: Lorentz's cavity lets a molecule's own reaction field — the polarization it induces in its surroundings — feed back as if it could help align the molecule, when that field is always parallel to the dipole and can exert no torque. His 1936 paper "Electric Moments of Molecules in Liquids" split the cavity field from the reaction field and tamed polar dielectrics at a stroke; famously, Debye — whose own theory it corrected — resisted the paper for years. Onsager had form as an uninvited corrector: as a 22-year-old he had opened a conversation with Debye by telling him his electrolyte theory was wrong. The reciprocal relations he derived in 1931 won him the 1968 Nobel Prize in Chemistry, and his exact solution of the two-dimensional Ising model (1944) is one of the great calculations of the century — three separate revolutions, each executed with the same taste for finding the one term everyone else had mis-counted.
The physical picture
Start with how violent the microscopic landscape actually is. A water molecule carries a dipole moment , and its nearest neighbour sits about away. On the dipole's axis at that distance the field is — four orders of magnitude above a strong laboratory field. The macroscopic we have used since Polarization Density P is deliberately blind to this: it is the spatial average over a volume holding many molecules, and averaging is precisely what makes the smooth field theory of the previous nine articles legal. But now we need the one question averaging cannot answer: how hard is one specific molecule being pushed? The molecule does not feel the blur. It feels the applied sources plus the sharp fields of every other dipole — and emphatically not its own field, for the same reason you cannot lift yourself by your own collar: a molecule's polarizability is defined as its response to fields imposed on it from outside itself. Lorentz's move is to split the census by distance, using a sphere that is drawn, not carved. Far molecules (outside the sphere) are legion and individually weak: replace them by the smooth continuum they average into. Near molecules (inside) are few and violent: keep them discrete. The far-continuum piece must then be corrected, because the macroscopic average had already counted the inside region as continuum too — so we remove a sphere's worth of smooth (that removal contributes the cavity term) and add the discrete neighbours back by hand (the near sum). Two of the three pieces turn out to be old friends, and the third, remarkably, is often zero.
One caution before the mathematics, because it is the most conflated point in the chapter: this sphere is imaginary. No material is removed; the dielectric is intact everywhere. Dielectric Sphere in a Uniform Field solved the other problem — a real, carved cavity with matched boundary conditions — and got a different answer, . Keep the knife-versus-pencil distinction; we will enforce it again in the warning below.
Drawing the sphere: the decomposition
The local field is defined as the microscopic field at the molecule's site produced by everything except the molecule itself, averaged over configurations. The Lorentz partition organizes it as
where: — the macroscopic field itself, i.e. the average over the whole medium including the material inside the drawn sphere — which is precisely why the next term has to un-count that material; — the correction for the continuum we must un-count inside the sphere, since the macroscopic average had included it; — the honest discrete sum over the actual neighbours inside. The molecule's own field appears in none of the three pieces. The next three derivations evaluate the second term, kill the third, and then ask what happens when the drawn surface is not a sphere.
We are deriving the field contributed by removing a sphere's worth of uniform polarization from the medium — the middle term of the Lorentz census. The strategy is direct: the removed region's absence is equivalent to a shell of bound charge on the drawn surface, with the normal pointing into the hole, and we integrate that shell's field at the centre. Watch the two signs — the inward normal, and the patch field pointing from patch to centre — because they conspire to make the answer parallel to , not opposed to it.
Step 1. Removing the smooth polarization inside the drawn sphere of radius is, by superposition, the same as adding a sphere of polarization . Its surface carries bound charge , with measured from the direction: negative charge crowns the top of the hole, positive lines the bottom — exactly what the hero figure shows. Why superposition and not surgery: nothing is physically removed. We are subtracting, inside the sphere, the continuum contribution the macroscopic average had already counted, and a subtraction is an addition of the negative.
Step 2. A wall patch of area at angle produces at the centre a field of magnitude directed along (from patch toward centre for positive ). Only the component along survives the azimuthal integral, picking up the projection :
Step 3. With the radius cancels — the first sign that the sphere's size is irrelevant — and the angular integral is elementary:
Step 4. Restoring the direction: the cavity term is , parallel to the polarization. This is precisely the negative of the interior field of Uniformly Polarized Sphere — as it must be: a uniformly polarized sphere dropped into the hole restores intact uniform medium, so the two contributions cancel identically. Note: the hole-plus-sphere sum vanishes identically — from the cavity plus from the sphere equals zero, as it must for a drawn line to leave no seam — and the angular integral underpins the result throughout.
The cavity term did not depend on the sphere's radius. That scale-independence is what licenses the whole trick: any radius large enough for the outside to look like continuum and small enough for to be locally uniform gives the same answer, so the arbitrary line we drew leaves no fingerprint on the physics.
The near sum: zero, by symmetry — with an honest counterexample
The remaining piece is the discrete sum over neighbours inside the drawn sphere,
where: — the dipole moment of neighbour (all equal to in a uniformly polarized medium); — its position relative to our molecule. Each term is the point-dipole field we derived back in Electric Dipole Moment, evaluated at the centre. This is the piece that cannot be handled by continuum arguments — and the piece on which the whole construction's honesty rests.
Go deeper · Derivation B · 2 minWhy the discrete neighbours contribute nothing in a cubic environment
We are proving Lorentz's key cancellation: when the neighbours occupy a cubic lattice — and, by configuration averaging, an isotropic fluid. The strategy is to reduce the vector sum to one scalar lattice sum and kill it with the symmetry that exchanges the , , and axes. Watch which symmetry actually does the work: it is cubic symmetry (axis interchange), a far stronger demand than mere periodicity — and we will exhibit a periodic lattice that fails it.
Step 1. With all , the -component of equation (2) reads
and the transverse components collect and .
Step 2. The transverse sums vanish by parity alone: a cubic lattice maps onto itself under , which flips each term while preserving the lattice, so the sum equals its own negative. Why parity is not enough for the z-component: is even in every coordinate, so no reflection kills it — we need the axes to be interchangeable.
Step 3. Cubic symmetry means the lattice looks identical down the , , and axes, so the three diagonal sums are equal shell by shell:
Substituting, . Every complete shell cancels exactly, not asymptotically.
Step 4. See it concretely on the six nearest neighbours (distance , take ): the two axial sites () each contribute ; the four equatorial sites () each contribute . Ledger: . The next shell repeats the trick with twelve sites, and so on outward — the figure below draws this shell.
Step 5. For a liquid there is no lattice, but the ensemble average of the neighbour positions around any molecule is spherically symmetric, and the same argument applied to the average kills . The fine print — "provided the neighbours' orientations are uncorrelated with their positions" — is exactly the clause polar liquids violate, as the worked example will show. Summing over all simple-cubic sites within balls of radius up to (33,400 sites) gives zero to machine precision () at every radius. The honesty counterexample: stretch the lattice tetragonally by just 5% () and the sum jumps to , an correction of about of the Lorentz term itself — the cancellation is cubic symmetry at work, not a generic small effect.
With the middle term evaluated and the near sum dead, the census closes:
where: — the macroscopic field at that point in the medium (applied sources plus all bound charge, computed by the continuum methods of this chapter); — the local polarization density. Read it physically: in a dense polarized medium the molecule is pushed harder than the average field suggests, by exactly one third of . Feeding equation (3) into and is the two-line route to the Clausius–Mossotti Relation — done carefully in that article, spent from here on as settled.
Go deeper · Derivation C · 2 minThe shape of the drawn surface — needle, sphere, slab
We are deriving what happens to the local-field correction when the bookkeeping surface is not a sphere — both to expose where the comes from and because real crystals sometimes force a different choice. The strategy: rerun the cavity-term logic for the two extreme shapes, a long needle aligned with and a thin slab perpendicular to it, using the boundary-condition machinery we already own rather than fresh integrals. The point to watch is which face carries wall charge — that alone decides the answer.
Step 1. Needle along : the removed region is a thin cylinder whose curved wall has , so there; wall charge sits only on the two far-away end caps, which subtend vanishing solid angle from the centre. Hence and
Why this matches the boundary conditions: along the needle we are sampling the field through a path where only the continuous tangential component matters — the same continuity rule of Boundary Conditions for D and E.
Step 2. Slab perpendicular to : the removed region is a thin pancake whose two broad faces carry the full (negative sheet above, positive below, for the removed bookkeeping). Between two such sheets the field is uniform, , so
Why this too is a boundary-condition statement: across the faces it is that is continuous, and adding to is exactly what keeps unchanged.
Step 3. The sphere interpolates with the factor computed in the first derivation. All three are members of one family,
with the same depolarization factor that governed the sphere family in Uniformly Polarized Sphere and Dielectric Sphere in a Uniform Field.
Step 4. Which is right? For a molecule in a cubic or isotropic environment, the sphere — because only the sphere respects the environment's symmetry, and the near sum then vanishes to complete the argument. In anisotropic crystals the honest procedure is the one our tetragonal counterexample forced: keep the spherical surface, and let the non-vanishing act as an anisotropic correction, direction by direction — which is how the local-field tensors of crystal optics arise (Anisotropic Dielectrics and the Permittivity Tensor picks this up). The needle and slab limits give depolarization factors and respectively, and the family satisfies the standard sum rule across the three axes — for the slab's two transverse axes and its normal, and for the sphere.
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Dilute gas, | The correction is second order in density; naive is fine — which is why gas-phase measurements read directly. | |
| Dense nonpolar medium | Full Lorentz correction; drives the Clausius–Mossotti relation and its density-invariant molar polarization. | |
| Cubic lattice | exactly | Shell-by-shell symmetry cancellation — not an approximation. |
| 5% tetragonal stretch | The cancellation is fragile: mild anisotropy revives the near sum; local-field corrections become tensors. | |
| Polar liquid (water) | Lorentz fails | Orientational correlations tie neighbour alignment to position; Onsager's reaction field replaces the naive for permanent dipoles. |
| Needle / slab bookkeeping | / | The is the sphere's depolarization factor, not a law of nature. |
Worked examples
Example 1 — how big is the correction? (confidence builder). A nonpolar dielectric has and sits in a macroscopic field . Find the local field and the error of the naive (no-correction) susceptibility.
Step 1. The polarization is with , so .
Step 2. The Lorentz correction is , so — one third larger than the average field. Equivalently , a form worth memorizing.
Step 3. Invert Clausius–Mossotti for the molecular side: . A naive theory that equates with would predict against the true — a 25% underestimate already at , from ignoring a field the molecule demonstrably feels.
Example 2 — the water autopsy (exam level). Water at : permanent moment , density , molar mass , measured . Run the Lorentz construction to its conclusion and diagnose the wreckage.
Step 1. Orientational polarizability, from the Langevin result of Permanent Dipoles and Orientational Polarization: .
Step 2. Number density: . The catastrophe parameter is .
Step 3. Clausius–Mossotti demands , but the left side cannot exceed 1 for any : at there is no physical solution — the formal inversion is nonsense. Lorentz-fed water sits nearly four times past the ferroelectric threshold (it would stay past threshold up to at this density), yet real water is not a ferroelectric: it sits at , which corresponds to — a factor 4.0 below what the construction supplies.
Step 4. The failed assumption is Step 5 of the cancellation derivation: water's neighbours are hydrogen-bonded, so their orientations correlate with their positions, and is anything but zero. Onsager's 1936 repair separates the field in a molecule-sized cavity into a cavity field (what the surroundings apply) and a reaction field (the surroundings' response to the molecule's own , which is parallel to and therefore cannot help align it against thermal noise — the term Lorentz's construction wrongly lets feed back). Running Onsager's equation with for water's electronic part gives — divergence gone, magnitude still low. The remaining factor is Kirkwood's correlation factor : hydrogen bonding makes neighbouring dipoles co-operate, and measured – closes the books on 80. Verdict: Lorentz impossible, Onsager sane, Onsager+Kirkwood correct.
Going further
References. Griffiths, Introduction to Electrodynamics, 4th ed., §4.4.3 (the local field) and Problem on Clausius–Mossotti · Jackson, Classical Electrodynamics, 3rd ed., §4.5 (Molecular Polarizability and Electric Susceptibility) · Purcell & Morin, Electricity and Magnetism, 3rd ed., Ch. 10 · Zangwill, Modern Electrodynamics, §6.5 (The Local Field and Clausius–Mossotti) · Ashcroft & Mermin, Solid State Physics, Ch. 27 (dielectric properties) Key results to keep in mind: the cavity-field angular integral yields ; the Clausius–Mossotti form follows from the algebraic reduction ; the cubic-lattice near-field cancellation of holds shell by shell; and the numeric check gives . Throughout, (CODATA).
Builds on: Polarization Density P · Field of a Polarized Object · Uniformly Polarized Sphere · Induced Dipoles and Atomic Polarizability · Bound Charges: Surface and Volume Leads to: Linear Dielectrics, Susceptibility and Permittivity · Permanent Dipoles and Orientational Polarization · The Electric Displacement D
If the near-sum cancellation needs a cubic lattice, why does Clausius–Mossotti work so well for liquids and gases, which have no lattice at all?
Because the argument survives averaging. In a fluid, any given snapshot has a nonzero near sum, but a molecule's average environment is spherically symmetric, and the same one-third symmetry argument applied to the ensemble average kills . What the fluid must supply is statistical isotropy plus one quieter condition: the neighbours' orientations must not correlate with their positions. Nonpolar molecules (argon, CS, benzene) satisfy this beautifully, which is why the density test in the Clausius–Mossotti article works from vapor to liquid. Hydrogen-bonded and polar liquids violate it — a water molecule's neighbours point where the hydrogen bonds tell them to — and that is precisely where the relation dies.
Why doesn't the molecule's own field count? It is by far the biggest field at its own location.
Polarizability is defined as the response to fields imposed from outside the molecule: already encodes how the electron cloud arranges itself under its own internal forces. Counting the self-field would double-book physics that is inside by construction. There is also a mechanical way to see it: a charge distribution exerts zero net force on itself (internal forces cancel by Newton's third law), so the self-field cannot push the molecule's charge centroid anywhere. The subtlety worth remembering is the reaction field — the molecule's field polarizes the surroundings, and their response acts back on the molecule. That is not self-field, it is a real external field; Lorentz's construction mishandles it, and Onsager's whole contribution was to book it separately.
Does the radius of the Lorentz sphere matter? I could have drawn it twice as big.
No — and that arbitrariness is the best evidence the construction is legal. The cavity term came out radius-independent (the cancelled in the wall integral), and the near sum vanishes for every complete shell, so enlarging the sphere just adds more zeros. The only requirements are mesoscopic: big enough that the outside genuinely averages into a continuum (many molecules), small enough that is uniform across it. Any radius in that window gives the same . If your answer depends on the drawn radius, you have made an error — usually by treating the drawn sphere as a real cavity with boundary conditions.
Why is the cavity term plus P over 3 epsilon-zero when the field inside a polarized sphere is minus P over 3 epsilon-zero?
They are the two halves of one identity. The macroscopic average inside the drawn sphere had counted a sphere's worth of continuum polarization; to replace it by discrete neighbours we must first subtract it, i.e. superpose a sphere of . The interior field of a uniformly polarized sphere is (as derived in Uniformly Polarized Sphere), so the subtracted sphere contributes . Check: hole plus sphere is intact medium, and , as it must — the drawn line leaves no seam.
Is the local field measurable, or is it pure bookkeeping?
It is measurable, though always through a molecular messenger. Vibrational Stark-effect probes (a C=O or C≡N group whose frequency shifts linearly with the field it sits in) read the local field at their own site directly, and solvatochromic dyes do the coarser version; both consistently report fields larger than the macroscopic , in line with the enhancement. Nonlinear-optical determinations of molecular hyperpolarizabilities must divide out local-field factors per photon before different solvents agree on one molecular number — the agreement after correction is itself a measurement of the Lorentz factor. What no experiment can do is put into Maxwell's equations; it remains the molecule's private field.
What exactly is Onsager's reaction field, in one breath?
Place a molecule with dipole in a real molecule-sized cavity. Two fields exist there: the cavity field — what the polarized surroundings transmit in from the applied field — and the reaction field — the surroundings' response to itself, which points along . Lorentz's single silently merges them, letting the reaction field masquerade as an aligning field. But a field parallel to the dipole exerts no torque: it cannot fight thermal disorder, only stretch the moment slightly. Onsager's 1936 bookkeeping feeds only the cavity field to the Langevin alignment average and books the reaction field separately — the spurious catastrophe vanishes, and water comes out at instead of impossible (Kirkwood's correlation factor supplies the rest of 80).
Is the polarization catastrophe at N alpha equals 3 epsilon-zero ever real, or always an artifact?
Both, instructively. For polar liquids it is an artifact — water "predicts" and simply is not ferroelectric; the construction, not nature, failed. But for displacive solids, where the relevant is ionic (ions shifting off-centre in a soft lattice mode, no orientational correlations to spoil the counting), the feedback is real physics: as the lattice softens, , the susceptibility diverges, and the crystal locks into a spontaneously polarized state. That is barium titanate's story, and the mean-field Curie–Weiss law falls straight out of the diverging denominator. Ferroelectrics and Spontaneous Polarization runs that argument to completion — this chapter's one disease becoming its flagship device.
When would I ever use the needle or slab factors instead of one third?
Whenever the environment around the polarizable unit is genuinely anisotropic. Thin films and layered dielectrics see slab-like screening along the normal; chain polymers and needle-like inclusions see the limit along the chain; ellipsoidal grains in composites take intermediate with . In anisotropic crystals the honest route keeps the spherical surface and restores the non-vanishing near sum as a directional correction — our 5% tetragonal stretch shifting the correction by 14% is the toy version — which is one microscopic origin of the permittivity tensor closing this chapter (Anisotropic Dielectrics and the Permittivity Tensor).