Illustrated Physics
physics, drawn
Concept

Variational principle — where it appears

The statement that the true state minimises some quantity, which turns a differential equation into a search over trial answers. The condition is that the first variation vanish rather than that the quantity be least, so a stationary maximum satisfies it as well as a minimum does.

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

Snell's law, found by searching. Paths from a point in a medium of index 1 to a point in one of index 1.5, and the optical path length of each against where it crosses the boundary. The curve is that length; the marked point is its minimum, located by golden-section search and not by any use of a law of optics. The angles there are 55.80° and 33.46°, which satisfy n₁sin θ₁ = n₂sin θ₂ to 1.0e-8. Every other drawn path is longer, and the flatness of the curve near the bottom is why light is not fussy: a path a tenth of the way off costs almost nothing.

The path that does not change

Reflection, refraction and the angle of the rainbow are not three laws. They are one condition — that the optical path length is stationary — and the word stationary rather than shortest is the whole of what makes an elliptical mirror and a rainbow the same statement.

optics · Fermat Two costs, and the width that balances them. The energy of a particle in a harmonic well against how tightly its wavefunction is squeezed, in units of ħω and of the width that minimises the total. Two terms compete. Squeezing the particle into a smaller region raises its kinetic energy, because the uncertainty relation makes a narrow position spread a wide momentum spread and momentum is squared in the energy; that term rises as the inverse square of the width and goes to infinity as the particle is localised. Letting it spread out raises its potential energy, since the well gets steeper away from the bottom; that term rises as the square of the width. The sum has a minimum at a width of 1.0000 in these units, where the total is 0.5000 ħω and the two terms are equal at a quarter each. That number is exactly the true ground-state energy of a quantum harmonic oscillator, obtained here with nothing but the uncertainty relation and a minimisation. What the figure shows and the formula does not is why there is a floor at all: it is not that the particle happens to keep moving, but that every way of stopping it costs more than it saves.

The motion that cannot be stopped

A particle in a well cannot sit at the bottom of it. Squeezing it into a smaller region costs kinetic energy faster than it saves potential energy, so there is a width that minimises the total — and the minimum is not zero. Helium never freezes because of it.

quantum · Uncertainty Stationary, and not always shortest. Three mirrors through the same point, with the same source and the same detector, and the length of the reflected path against where on the mirror the ray strikes. The actual ray is the one at the centre in all three, because the tangent there is horizontal and the two angles are equal whatever the curvature. Its path is a minimum at 0.6× the ellipse's curvature, every path equal at 1× the ellipse's curvature, a maximum at 1.6× the ellipse's curvature. On the most curved mirror every path the light did not take is shorter than the one it did, so the principle cannot be stated as least time and survive; it has to be stated as stationary time, and the difference is not a technicality.

The path that takes the longest time

Light is said to take the quickest route. Put a source and a detector in front of a mirror curved a little more than the ellipse through them, and the route it takes is slower than every route beside it — by construction, not by exception. The principle was never about least; it was about stationary, and the difference is where optics stops being geometry.

optics · Fermat Four beads, four heights, one arrival time. One arch of a cycloid of radius 1, drawn with four beads on it at heights 0.061, 0.235, 0.592, 2.000 — a range of 33.0 to one. Each bead's time to slide, from rest and without friction, to the bottom of the arch is computed as a quadrature of ds/v along the curve as drawn, and the four answers are 1.003205 s, 1.003205 s, 1.003205 s, 1.003205 s: identical to 6.9e-13 of themselves. The closed form for this curve is π√(a/g) = 1.003205 s, which the quadrature reproduces without being told it. A bead let go at the cusp travels 5.7 times as far as the lowest one and arrives with it, because the extra distance is exactly paid for by the extra speed the extra height buys.

The curve that does not ask where it started

A pendulum's period depends on how far it swings, and the dependence is small but never zero. There is exactly one curve for which it is zero, and the reason has nothing to do with pendulums: on that curve the height above the bottom is proportional to the square of the distance travelled along it, which makes the motion harmonic by construction rather than by approximation.

mechanics · Pendulum Two angles a film is not allowed to depart from. The two junctions Plateau's laws permit, drawn at the angles a balance of equal tensions requires. A soap film pulls equally in every direction along itself, so where films meet the pulls must sum to zero — and equal vectors summing to zero fixes the geometry completely. Three films can only meet along a line, at 120.0000° to one another, because three equal coplanar vectors sum to zero at 120° and at no other angle. Four such lines can only meet at a point, at 109.4712° — arccos(−1/3), the tetrahedral angle — for the same reason in three dimensions. Both numbers are found here by solving the balance rather than by drawing what is expected, and neither depends on the liquid, the temperature or the size of the foam. A junction of four films along a line, or of three lines at a point, is not merely unusual: the tensions cannot balance there, so it rearranges within milliseconds into the two arrangements drawn.

The angles a film has no choice about

A soap film pulls equally hard in every direction along itself, so wherever films meet the pulls have to sum to zero — and equal vectors summing to zero fixes the geometry completely. Three films meet at a hundred and twenty degrees and four edges at a hundred and nine point four seven, in every foam, of every liquid, at every scale, and nothing about the material appears in either number.

fluids · Surface tension Two principles, two classes of path, two things left free. On the left, five curves from the same launch point to the same target: the true trajectory of a particle of energy 0.7 in a uniform field, and four deformations of it that share both ends. On the right, four quantities computed along that family and plotted as departures from their values on the true path. Maupertuis' abbreviated action ∫p·ds, computed at fixed energy, is stationary — flat at the centre. Hamilton's action ∫L dt, computed at fixed duration, is stationary too. The other two are not: the time a fixed-energy path takes changes at first order in the deformation, and so does the energy a fixed-duration path carries. That is the whole difference between the two principles. Each holds one of those quantities fixed and lets the other vary, and neither can hold both.

The principle that fixes the energy instead of the clock

There are two principles of least action, they compare different sets of paths, and they are not the same statement. One holds the duration fixed and lets the energy vary; the other holds the energy fixed and lets the duration vary — and written that way, mechanics turns into optics with a refractive index.

mechanics · Least action Every detour costs time. 4 routes between the same two events, 10 seconds apart in the frame drawn, each swinging out and back 1 time on the way. The proper time each carries is the integral of the square root of one minus the speed squared, computed by Simpson's rule along each curve: the straight route, 10.0000 s; wandering 1 light-seconds, 9.7485 s; wandering 2 light-seconds, 8.9245 s; wandering 3 light-seconds, 7.0935 s. The straight one carries the most, and every other one carries less — checked, on each drawn route. That is the opposite of what a length behaves like on paper, where the straight line is the shortest, and the whole difference is the minus sign in front of the space term.

The longest way round is the shortest clock

Of all the routes between two events, the one with no acceleration in it carries the most time on its own clock. That is the opposite of the Euclidean statement about straight lines, it comes entirely from one minus sign, and in a gravitational field it is why a thrown ball follows the path it does.

relativity · Time dilation Two energies with opposite slopes, and the width between them. The energy per unit area of a domain wall in iron, against the width the wall is assumed to have, split into the two terms that decide it. The exchange term falls as one over the width, because a reversal spread over more atoms turns through a smaller angle between each neighbouring pair. The anisotropy term rises in proportion to the width, because every atom inside the wall points away from an easy direction and pays for it. The sum has a least value, found here by scanning four hundred thousand widths: 92.9 nanometres and 4.46 millijoules per square metre. Neither constant is a dimension of the sample, so neither is the width: it is the first length in magnetism that belongs to the material. The assumed profile turns at a uniform rate, which is not the cheapest way to turn, so this width is 41 per cent above the conventional πδ of the exact profile, and this energy 11 per cent above the exact 4√(AK). A trial function can only ever overestimate, and eleven per cent is how much this one costs.

The first length that belongs to the substance

Every length in magnetism so far has been a length of the sample — a demagnetising factor is a shape, an avalanche cutoff is a sample's own restoring field. A domain wall's width is not. It is √(A/K), made of two material constants and nothing else, and across seven ordinary magnets it runs from two and a half nanometres to nine hundred.

electromagnetism · Magnetisation The action at one instant, drawn as a map. Trajectories leaving one point at the same moment, at launch speeds 0.6, 1 and sixteen directions each, in a uniform field pulling downward, drawn up to time 1. Behind them, dashed, are the level curves of the action at that instant, regarded as a function of where a trajectory ends. They are circles, and their common centre is neither the launch point nor anywhere the particles have reached: it is 0.500 above the launch point, while the whole swarm has fallen by the same 0.500. Every arriving velocity points straight out from that centre, so every trajectory crosses the level curves at right angles, and the arriving momentum equals the gradient of the action to one part in ten thousand. The action integrated along each path agrees with the map's value at its end.

The action that knows where every path ends

The action is usually a number attached to one path. Treat it instead as a function of where the true path ends, and a single function of position and time holds every trajectory at once — its slope is the momentum, its rate of change is the energy, and its level curves are wavefronts, drawn about a point that sits above the source while everything falls.

mechanics · Least action

Named alongside it

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

ActionOptical path lengthCausticConstraintFermat's principleReflectionRefractive indexSnell's lawStationary pointWavefrontAmplitude dependenceArc length

All concepts