Concept

Laplace equation — where it appears

The equation stating that a quantity's second derivatives in every direction sum to zero, ∇²φ = 0. It governs electrostatic potential in empty space, steady heat flow and ideal fluid flow, and its solutions are fixed completely by their values on the boundary.

Named by 12 essays across 2 fields — each of them below, with the objects they name alongside it.

Every stationary point has a way out. The potential along four lines through the most symmetric point of a symmetric arrangement of 4 equal charges at the corners of a square — the one place a trap might be expected. In the plane of the square the potential rises in every direction; out of the plane it falls. The point is stationary and it is a saddle, which is what Laplace's equation forces: the three second derivatives must sum to zero — computed here as 1.4e-5 against the individual values of order 2e+0 — so if two of them are positive the third must be negative. A particle released here rolls away along the direction that falls. No amount of ingenuity in placing the charges changes this, because the constraint is on the equation rather than on the arrangement, and it is why every real trap for a charged particle either uses time-varying fields, or a magnetic field with a velocity, or a material with a negative response.

Nothing can be held still by a static field

However many charges are arranged, however cleverly, a charge placed among them has somewhere to fall. The reason is one line of arithmetic — the potential in empty space satisfies Laplace's equation, and a solution of that equation has no interior maximum or minimum — and the consequence is that every real trap for a charged particle works by breaking one of the assumptions rather than by being cleverer.

electromagnetism · Potential
The potential at a point is where its walkers end up. A square divided into a 24-step grid, with its top edge held at a potential of 1 and the other three edges at 0. From the probe point (0.29, 0.71), 4000 random walkers each step to one of their four neighbours with equal chance until they touch an edge; six of them are drawn, each ending with a dot on the edge it reached. The fraction that end on the held edge is 0.405 ± 0.008, one standard error, after an average of 122 steps. Solving Laplace's equation on the same grid by repeatedly replacing every value with the average of its four neighbours gives 0.408, and the series solution for the continuous square gives 0.408. The walkers were never told the equation: a value that is the average of its neighbours and a probability of ending somewhere are the same arithmetic.

The potential is where the wanderers stop

Start a random walker at a point between charged conductors and let it wander until it touches one of them. The average potential of the surfaces the walkers touch is the potential at the starting point — exactly, with no equation solved — and the charge a conductor keeps at each place on its surface is the chance that a walker arriving from far away touches it there first.

electromagnetism · Potential
A potential that is lower every time round. The magnetic scalar potential along a path circling a wire carrying 10 amps, against the angle turned through, for 2 complete circuits. Away from the wire the magnetic field has no circulation round any small loop, so it is the gradient of something — and it is, except that the something does not come back to its own value. Each circuit lowers it by exactly the current, 10 amps, and a second circuit lowers it by 10 again. The potential is perfectly good locally and has no single value globally, and the amount by which it fails to close is the current threaded. So nothing has been lost in going from a circulation to a potential: Ampère's law has been rewritten as a statement about the shape of the region the potential lives in.

A potential that does not come back to itself

Where no current flows, the magnetic field has no circulation round any small loop, so it is the gradient of something and a magnetic problem becomes an electrostatic one. The catch is not that the potential fails to exist. It is that walking once round a wire lowers it by the current, and walking round again lowers it by the current again — so Ampère's law survives the translation as a statement about what the path encircles rather than about where it went.

electromagnetism · Ampere law
A linear quadrupole, and the cone on which it vanishes. Equipotentials of a linear quadrupole — charges +q, −2q, +q in a line, a distance d apart — in a plane containing the line, positive in one colour and negative in the other. The total charge is zero and so is the dipole moment, so far away the potential falls as 1/r³ with the angular pattern 3cos²θ − 1: positive along the axis, negative around the waist, and zero on a cone. Found on circles of growing radius, the zero of the exact potential lies at 50.89° at 2d, 53.76° at 4d, 54.49° at 8d, 54.67° at 16d, closing on arccos(1/√3) = 54.74°, the dashed lines.

The shape that takes five numbers

A charge distribution's net charge is one number and its dipole three. The next term, the quadrupole, is where the distribution's shape first reaches the far field, and it is a table of nine numbers of which only five survive: two for the shape and three for which way it points. Its field vanishes on a cone at 54.74° — the same angle at which a spinning sample makes a nuclear magnetic resonance spectrum sharp.

electromagnetism · The field concept
Four places where three charges' fields cancel. Field lines in the plane of three equal positive point charges at the corners of an equilateral triangle, with every point where the field is zero marked. There are four: one at the centre, and three more on the lines from the centre to the middle of each side, 0.164 of a side from the centre. Four is (n − 1)² for three charges, the largest number Maxwell conjectured any three charges could make. Each zero is a saddle: along some directions the field pushes a test charge back and along others away, so none of them can hold anything still.

The zeros a handful of charges can make

Between two equal charges there is a point where their fields cancel. With three there can be two such points, or one, or four. Every such point is a saddle, never a place where a charge could rest. In two dimensions the count is fixed by algebra: n equal line charges make exactly n − 1 zeros, the roots of a polynomial's derivative. In three dimensions nobody knows the answer. In 1873 Maxwell conjectured that n point charges can make at most (n − 1)² zeros. Three charges on a triangle make exactly four, and the conjecture has not been proved even for three charges.

electromagnetism · The field concept
Three shapes of film, one sheet resistance. Three thin films of the same material, of sheet resistance one ohm per square, with four small contacts on each edge labelled A to D in order. For each, the two readings van der Pauw's method takes — the voltage between D and C per unit current from A to B, and between A and D per unit current from B to C — computed by solving for the current flow on a fine grid. For a square, contacts at the corners: 0.221 and 0.221 Ω, giving 1.000 Ω per square; a disc, contacts unevenly spaced: 0.089 and 0.450 Ω, giving 0.999 Ω per square; an irregular lamina: 0.209 and 0.232 Ω, giving 0.999 Ω per square. The readings change with the shape and with where the contacts are; the sheet resistance recovered from them by exp(−πR₁/Rₛ) + exp(−πR₂/Rₛ) = 1 does not.

The sheet resistance that forgets the shape

To measure how well a thin film conducts, the obvious method is to cut it into a neat strip and pass a current along it. In 1958 Leo van der Pauw, an engineer at Philips, showed that the strip is unnecessary. Put four small contacts anywhere on the edge of a film of any shape, take two readings, and one equation returns the film's resistance per square — the shape and the spacing of the contacts drop out entirely. The proof is a single fact about logarithms and the maps that preserve angles, and it fails for exactly one kind of film: one with a hole in it.

electromagnetism · Conductors
A cage of wires in a uniform field. Equipotential lines round a cage of 12 parallel wires, each 2 per cent of the spacing in radius, joined so that they share one potential and carry no net charge, in a uniform field running left to right. Outside, the lines bunch and bend round the cage as they would round a solid cylinder. Inside, they do not vanish: they run straight across, carrying a uniform field 25.8 per cent as strong as the one outside (dashed, drawn at a fifth of the outside spacing because the potential differences inside are so much smaller). The wires' charges are computed so that every wire is at the same potential.

The field a ring of wires lets through

A cage made of wires is supposed to work almost as well as a solid box, because the field that leaks through the gaps dies away exponentially within a gap's width. The exponential is real and it is the wrong part of the story. It describes the ripple the separate wires make; underneath it the average field goes straight through, at a level that falls only in proportion to the spacing and depends on the wires' thickness through a logarithm. A cage of twelve thin wires lets a quarter of the field in.

electromagnetism · Potential
A cluster grown by random walkers. 3000 particles, each released far away to wander at random on a square grid until it first touches the cluster and sticks there, starting from one seed at the centre. Colour marks the order of arrival: the first third (violet), the second (blue), the last (red). The cluster is 220 grid steps across, branched and open, and almost every late arrival is at the outer tips: walkers wander into the outer branches long before they can find their way into the gaps between them. The gaps never fill.

The cluster that grows where the walkers arrive

Let particles wander in one at a time from far away, each sticking where it first touches a growing clump. The rule has nothing in it about shape, and the clump that results is a lacy, branched thing whose mass grows more slowly than its area, so it gets emptier the bigger it gets. The reason is that a random walker reaches the outermost tips long before it can find its way into a gap between branches. The same arithmetic — the probability that a walker arrives is a solution of Laplace's equation — shapes electrodeposits, lightning-like discharges in plastic, fingers of water pushed into oil, and colonies of bacteria short of food.

thermodynamics · Diffusion
The field along the axis of two coils. The magnetic field along the common axis of two identical coaxial loops carrying the same current, against distance from the midpoint in units of the loops' radius, each normalised to its value at the midpoint, for separations of 0.6, 1, 1.4 radii. Closer than one radius the field peaks at the centre; further apart it dips there between two peaks; at exactly one radius — Helmholtz's spacing — the curvature at the centre vanishes and the field is flat, staying within a part in a thousand of its central value out to 0.17 radii either side.

The two coils one radius apart

A single loop of wire makes a field that is strongest at its centre and falls away in every direction. Two loops on the same axis, spaced exactly one radius apart, make a field that is flat at the midpoint to a part in a thousand over a region a third of the coils' size — and flat sideways as well as along the axis, although only the axis was designed. The sideways uniformity is free because a magnetic field in empty space obeys Laplace's equation, which ties its variation in one direction to its variation in the others, term by term.

electromagnetism · Magnetism
Insulating a thin wire makes it lose more heat. The heat lost per metre from a wire 2 mm across held 40 K above the air, against the outer radius of the PVC insulation round it (k = 0.19 W/m K), with the surface losing 10 W/m²K to still air by convection and radiation, on a logarithmic radius axis; dashed, the bare wire. The first layers of insulation increase the loss, from 2.51 to a maximum of 12.11 W/m at an outer radius of 19 mm — the critical radius k/h — because they add surface faster than they add resistance. Beyond the critical radius the loss falls again, but so slowly — the resistance of the insulation grows only as the logarithm of its radius — that it does not get back down to the bare wire's until the PVC is 178 km thick. Any sheath a cable could carry makes it lose more heat, not less.

The insulation that makes a wire lose more heat

Wrap a hot water pipe in glass wool and it loses less heat. Wrap a thin electrical wire in PVC and it loses more — four times more, at the best thickness — and runs cooler for it. The insulation adds a resistance to heat flowing through it, but it also adds surface for the heat to leave from, and around a thin enough cylinder the surface wins. The crossover is a radius, k/h, set by the insulation and the air; below it, more insulation means more heat lost, and a small enough ball cannot be insulated by anything wrapped round it.

thermodynamics · Diffusion
A row of magnets with its field on one side. Two wavelengths of a Halbach row: blocks of permanent magnet, 4 to a wavelength, each magnetised a 90° turn from the last (block arrows), with the magnetic field drawn as arrows above and below, their lengths proportional to its strength. Just above the row the field is 5 times stronger than the same distance below it. The magnetisation turning one way along the row puts the field on that side; turned the other way, it would put it underneath. With finer blocks the weak side empties further, and a continuously turning magnetisation leaves it with no field at all.

The magnets that put their whole field on one side

Lay bar magnets in a row, each turned a quarter turn from the last, and the row's field appears almost entirely on one side, with almost nothing on the other — although every magnet in it, alone, is perfectly symmetric. Turn the magnetisation smoothly instead of in steps and the weak side has no field at all, exactly. Nothing is shielding it. The two halves of the pattern each make a symmetric field, and their fields line up on one side and cancel on the other, because a magnetisation that turns as it goes can only make the field that decays in one direction.

electromagnetism · Magnetism
Where the charge goes on a conducting egg. The surface charge on three conducting spheroids of the same length, a sphere and spheroids 3 and 10 times as long as they are wide, drawn as a band whose thickness is proportional to the charge per unit area at each point. On the sphere it is uniform. On an ellipsoid the density is exactly proportional to the fourth root of the surface's Gaussian curvature, and so it is 3 and 10 times as dense at the tips as at the waist — not the 9 and 100 times by which the tips' curvature exceeds the waist's, and not the ratio of their mean curvatures either. The charge does crowd to the sharp ends, but by how much is set by the whole shape, not by any property of the surface at the point.

The charge that follows no local rule

Charge on a conductor crowds where the surface curves sharply, and every high-voltage engineer rounds the edges for that reason. But curves sharply by what measure? On a conducting egg the density is exactly the fourth root of the surface's Gaussian curvature, so a tip a hundred times more curved than the waist carries only ten times the charge. On two spheres joined by a wire it is the square root, and on a flat disc the density goes without limit at the rim, where no curvature is defined. No local rule can be right, because where charge sits is decided by the whole shape at once.

electromagnetism · Conductors

Named alongside it

The objects these essays reach for when they reach for this one.

Harmonic functionHarmonic measureMagnetic fieldSurface chargeBoundary conditionsElectric potentialMultipole expansionRandom walkTopologyAmpere lawBiot savart lawCapacitance

All concepts