Illustrated Physics
physics, drawn
Concept

Fermat's principle — where it appears

The statement that a ray takes the path whose travel time is stationary, from which reflection and refraction both follow. Stationary is the operative word rather than least: on a sufficiently curved mirror the actual path is a maximum, and nothing about the light changes.

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

Refraction from n = 1 into n = 1.5. A ray crossing a boundary between media of refractive index 1 and 1.5, bending by the amount Snell's law requires.

The bend at the boundary, and what it is really about

Light changes direction when it changes speed. Snell's law is the geometry of that statement, and it can be derived without knowing anything about light at all.

optics · Refraction Two predictions, a factor of two apart. The deflection of light passing a mass, against impact parameter, on logarithmic axes. The lower line is what a Newtonian photon does — it falls while it crosses, and comes out bent by 2GM/bc². The upper line is what a geodesic does in curved spacetime, which is exactly twice that. At the surface of a body of 1.99·10³⁰ kg the two are 0.88″ and 1.75″. Both are straight lines of slope minus one, so the ratio is two everywhere and the measurement is a choice between two theories rather than a fit.

The bend Newton got half right

A photon treated as a falling body passes a mass and comes out deflected. So does a photon treated as a straight line in curved spacetime — by exactly twice as much. The factor of two is not a refinement; it is the sharpest available statement that gravity is geometry.

astrophysics · Light deflection 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 Rays that turn round without meeting anything. Rays leaving an eye 1.5 m above a road, at 0.18°, 0.28°, 0.36°, 0.42°, 0.52° below the horizontal, in air whose refractive index is reduced by 3.0e-5 at the hot surface and recovers over 5 cm. Each is traced by integrating the ray equation, with the conserved quantity n cos θ fixed by where and how the ray set out. The shallow ones come back up without touching anything — the lowest gets to 0.6 cm above the surface and turns — and a ray that returns to eye level from below is seen as sky lying on the road. The steep ones run out of gradient first and hit it. The dividing angle is 0.444°, which is what the whole effect is made of: an unremarkable temperature difference and an angle a fiftieth the width of the Moon. Heights are exaggerated 128× against distances; at true scale every ray here would be indistinguishable from the axis. The conserved n cos θ holds to 4.3e-14 over every trace, which is what says the turns are the physics and not the integrator.

The ray that bends without a surface

Snell's law is about a boundary, and light bends in air where there is no boundary anywhere. Let the index vary continuously and the law of angles becomes a differential equation — one that carries a conserved quantity, forbids the ray from reaching certain heights, and turns a hot road into a mirror a hundred metres long.

optics · Fermat A radar echo past the Sun, delayed by 233 microseconds. The extra time a round-trip radar signal takes when its path passes close to the Sun, against how close, for a reflector 0.723 AU away. Grazing the Sun's limb the delay is 233 microseconds — about 70 kilometres of light travel, on a path of hundreds of millions — and it falls only as the logarithm of the impact parameter, so the effect is still tens of microseconds ten solar radii out. That slow falloff is what makes the measurement possible: the delay can be watched building and fading as the geometry changes, rather than having to be caught at one instant. The dashed curves are the delay the solar corona's plasma adds at three radio frequencies. It is the competing effect, it is larger than the gravitational one close in, and it falls as the square of the frequency while the gravitational delay does not depend on frequency at all — which is how the two are separated, and why the sharpest measurement of this was made with a spacecraft carrying three radio links instead of one.

The delay that is not a bend

The same metric that bends a ray also slows it, and the two are different tests. A radar echo from Venus arrives 233 microseconds late when its path grazes the Sun — and half of that delay is accumulated more than twenty solar radii away, in a field thousands of times weaker.

astrophysics · Light deflection 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 The surface that focuses 1 into 1.52 with no error at all. A Cartesian oval: the locus of points for which 1 times the distance from the object plus 1.52 times the distance to the image is a constant. Every ray drawn takes exactly the same optical path, so every one arrives at the image point — not nearly, and not for small angles, but exactly, for rays at any angle the surface reaches. There is no spherical aberration because there is no approximation: this is what Fermat's principle asks for, solved rather than expanded. The surface is not a sphere, not a conic in general, and not anything a grinding machine makes easily, which is most of why lenses are spherical and aberrated instead.

The surface that images one point exactly

Fermat's principle says every ray from an object to its image must take the same time. Written as an equation, that is a curve Descartes found — a surface with no aberration at all, at any angle. It exists, it is easy to compute, and it images exactly one pair of points and nothing else.

optics · Fermat Every ray from one point, meeting again at another. Rays from a point half a radius from the centre of Maxwell's fish-eye, n = n₀/(1 + r²/R²), traced in 11 directions round the full circle. Every one is an arc of a circle, and every one passes through the point on the other side of the centre at distance R²/r from it — 2.00 radii — which is the image. The worst miss is 8.8e-4 radii, the size of the integration's own error. Rays leaving in opposite directions, rays leaving at right angles, rays that go the long way round: all arrive. The faint circles are contours of the index, which falls from n₀ at the centre to n₀/2 at one radius and n₀/5 at two.

The medium that images every point

A single refracting surface can be shaped to image one point perfectly and no other. A medium whose index falls smoothly away from a centre can do better: in Maxwell's fish-eye every ray from any point, leaving in any direction, arrives at one image point, and every such path takes exactly the same time. It is a perfect instrument for all of space at once — and the image it forms is sharp everywhere and a faithful copy nowhere.

optics · Fermat A parallel beam brought to a point on the far side. Parallel rays sent into Luneburg's sphere, whose index falls from the square root of two at the centre to one at the rim, from the left. Each beam is brought to a single point on the rim diametrically opposite the direction it came from; the worst of the 11 rays misses by 2.0e-3 radii. The sphere has no axis — every direction is the same to it — so a beam from any direction is focused as well as any other, and there is no such thing as an off-axis aberration.

The lens with no axis

Every ordinary lens has an axis, and every one of its hardest aberrations is a penalty for looking away from it. A sphere has no axis, so a sphere cannot have off-axis aberrations — but a glass ball has spherical aberration instead, because one index and one curvature are too few to focus every ray. Luneburg's sphere, whose index falls from √2 at the centre to 1 at the rim, keeps the symmetry and removes the aberration: it brings parallel light from every direction to a perfect point on its own surface.

optics · Fermat Five images of one source, and the curves where they are made. The sky around a lens with a core of 0.10 and an external shear of 0.15, in Einstein radii, with its two critical curves: an outer one near the Einstein ring and a small inner one round the core. A source at (0.06, 0.04) in the source plane — inset, with the caustics the critical curves map to — lies inside the diamond-shaped caustic and has 5 images. Their magnifications are +4.99, −3.76, +3.42, −2.63, +0.01 — a minus sign for an image turned over — and the parities sum to +1. Four sit near the outer curve and carry nearly all of the 14.8-fold total; the fifth, at the centre, is magnified by only 0.013. A source further out, at (0.55, 0.1), has 3.

The fifth image a galaxy hides

A single star bends light into two images of whatever lies behind it. A galaxy, whose mass is spread out, has to make an odd number — one, three or five — because the map from the sky to the source is smooth and has nowhere to put an even count. The famous cross of four quasar images is therefore five images, with the fifth thousands of times too faint to see, sitting at the centre of the galaxy that made it. Images are born and destroyed only in pairs, and only on the curves where the map folds.

astrophysics · Light deflection Rays and the surfaces of equal optical path. Rays from a point source 20 mm in front of a curved glass surface (radius 4 mm, index 1.5), traced exactly, and the surfaces on which the optical path from the source — distance times index — takes the same value (curves, every 2.5 mm of path). In air the surfaces are spheres round the source. In the glass the rays from the edge of the surface cross the axis at 12.8 mm, well short of the paraxial focus at 20.0 mm, and the equal-path surfaces are no longer spheres. They are still at right angles to every ray: measured on a fan of 641 rays over 10 surfaces in the glass, the largest departure from 90° is 0.005°. Further in, the surfaces fold into cusps where neighbouring rays cross, and there a surface has no single normal.

The surface every ray is normal to

Light from a point, bent by any number of lenses and mirrors, comes out as a tangle of rays that no longer meet anywhere. Hidden in the tangle is a surface every ray crosses at a right angle: the set of points the light reaches at the same optical time. That a surface always exists is a theorem two centuries old, and it is the reason a modern wavefront sensor works — an array of tiny lenses measures only the direction each patch of light is travelling, and the measurements can be added up into a shape only because they are the slopes of one.

optics · Fermat Light inside an accelerating rocket travels on circles. Rays of light leaving one point inside a rocket with constant acceleration, drawn in the rocket's own coordinates: height above the horizon up the page, in units of c²/a (one light-year for one gravity), and distance across. Each ray is a straight line in an inertial frame, transformed event by event. Launched across the rocket (0°) or at +30°, +60°, −30°, −60°, every ray is an exact semicircle centred on the horizon, with radius 1.000, 1.155, 2.000, 1.155, 2.000: the rays bend down towards the horizon and meet it at right angles. A ray sent straight up stays straight. These are the straight lines of the hyperbolic plane, although the spacetime inside the rocket is flat.

The rocket in which light travels on circles

Inside a rocket that accelerates for ever at a constant rate, a beam of light sent across the cabin sags towards the floor, as Einstein argued it must if acceleration and gravity are indistinguishable. Followed further than any cabin, the sag turns out to be exact geometry: every ray inside the rocket is a perfect semicircle centred on the horizon below, and the rays obey the rules of a non-Euclidean plane in which the angles of a triangle add to less than two right angles. The spacetime in the rocket is flat; the curvature belongs to the clocks.

relativity · Accelerated frames The width a self-focusing beam is forced to. The root-mean-square width of a collimated Gaussian beam in a Kerr medium, relative to its starting width, against distance in Rayleigh ranges, at powers of 0, 0.5, 1, 1.5 and 3 times the Gaussian threshold, the wavelength squared over 2π n0 n2. This curve is exact, not a model: the mean square width of any beam obeyed by the two-dimensional cubic wave equation is a parabola in distance, its coefficient set by one minus the power over the threshold, whatever happens to its shape. At low power the beam spreads by diffraction. At exactly the threshold its width never changes. Above it the parabola reaches zero at a finite distance — 1.41 Rayleigh ranges at 1.5 times, 0.71 at three times — which a width cannot do, so the beam must have collapsed to a point at or before it. The equation stops being true there; the glass usually breaks first.

The beam that focuses itself

In glass the refractive index rises very slightly with the intensity of the light, so a beam that is brightest in the middle writes a converging lens into the glass it is crossing. Diffraction spreads it at the same time. Both effects grow in the same proportion as the beam is narrowed, so neither can win by a change of size — only by a change of power. Above a critical power, 4.3 megawatts in fused silica, the beam is forced to collapse within a finite distance, and every high-power laser is built around not letting that happen where it is not wanted.

optics · Fermat How long a lens must hold back its central light. The time by which a lens must delay light passing through its centre relative to light passing its edge, so that every part of a short pulse reaches the focus together, against the lens's radius, for focal lengths of 0.1 mm, 1.0 mm, 10.0 mm (solid), in femtoseconds on logarithmic axes: the extra path from the edge, √(R² + f²) − f, over c. The dashed line is what a flat structure 1 μm thick can supply if its building blocks span a group index of 1: 3.3 fs. A 1 mm focal-length lens reaches it at a radius of 45 μm; a 10 mm one at 141 μm. A glass lens of 10 mm focal length and 5 mm radius holds its centre back by 3937 fs, which it does by being 2.27 mm thicker in the middle. A flat lens has no room for that.

The delay a flat lens has no room for

A glass lens is thick in the middle for a reason that is easy to miss. To focus light of every colour at one point, a lens must do more than bend each colour by the right amount: it must make every part of a light wave arrive at the focus at the same moment, and the light passing the edge has further to go. The glass in the middle is what holds the central light back to wait for it. A lens made flat — a kinoform, a metasurface a micrometre thick — has nowhere to keep that delay. The geometry of the focus sets how much delay is needed, the thickness sets how much is available, and between them they cap how large an achromatic flat lens can be: tens of micrometres, not centimetres.

optics · Refraction

Named alongside it

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

Refractive indexOptical path lengthSnell's lawStationary pointAberrationDeflection angleImagingDispersionEquivalence principleFocal lengthGeodesicGraded-index

All concepts