Concept

Airy function — where it appears

The solution of the equation y'' = xy, which decays on one side of a point and oscillates on the other. It describes any wave near a fold caustic or a smooth turning point, from the bright edge of a rainbow to a neutron's states above a mirror.

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

A caustic, by rays and by waves. The brightness across a fold caustic, computed two ways. Geometric optics gives the rising curve: on the illuminated side two rays arrive at every point and the intensity goes as the inverse square root of the distance from the caustic, so it becomes infinite exactly at it; on the other side no ray arrives at all and the intensity is zero. The wave answer is the squared Airy function, and it disagrees in three ways that are all observable. It is finite, peaking at 1.0188 in the scaled variable rather than at the caustic itself, so the brightest line is displaced onto the bright side. It oscillates, with maxima at -1.02, -3.25, -4.82, -6.16 — those are the supernumerary fringes, and they are not interference between two separate objects but between the two rays the caustic joins. And it leaks: on the dark side, where geometry forbids any light, the Airy function decays exponentially rather than stopping, which is the same mathematics as tunnelling and is why the edge of a shadow is soft before diffraction from any aperture is considered. The two curves agree far from the caustic, which is where the ray picture is a good approximation and where they have been matched here.

The fringes below the rainbow

Geometric optics puts the whole rainbow at one angle and predicts an infinite brightness there. What is seen instead is a peak displaced inside that angle, followed by a train of pink and green arcs — and their spacing is a measurement of the raindrops, because a caustic's structure is set by the wavelength to the two-thirds power over the drop radius to the two-thirds.

optics · Diffraction
The heights a neutron is allowed to bounce to. A neutron above a horizontal mirror in the Earth's gravity: the potential energy mgz (straight line), the first four allowed energies and, drawn on each, the probability density of the neutron's height. The natural length is z₀ = (ħ²/2m²g)^(1/3) = 5.87 μm and the natural energy mgz₀ = 0.602 peV. The allowed energies are 1.41, 2.46, 3.32, 4.08 peV — pico-electronvolts — and a classical neutron with each energy would rise to 13.7, 24.0, 32.4, 39.8 μm. Each density is an Airy function, with n − 1 nodes, leaking a little above the classical turning height and vanishing at the mirror. The lowest state never touches the mirror and never rises above about 25 μm.

The bounce that comes in fixed heights

A ball dropped on a floor can bounce to any height. A neutron cannot. Slow enough, and resting on a flat mirror in the Earth's gravity, it has a lowest state about fifteen micrometres high, with an energy of 1.41 pico-electronvolts, and a staircase of higher states above it — the first quantum states ever seen in a gravitational field, measured in 2002 with a slit narrower than a hair. Shaking the mirror at 255 hertz drives a neutron from the first state to the second. The staircase is now a laboratory for gravity at distances where nothing else can test it.

quantum · Matter waves
A wave that falls with nothing pulling it. The intensity of Berry and Balazs's Airy packet, |Ai(x − t²/4)|², drawn at six moments t = 0 to 5 in units where ħ = m = 1, each profile raised by its time. It is an exact solution of the free Schrödinger equation — no potential, no force — and equally of the equation that governs a light beam in the paraxial approximation, with t then the distance travelled. Its shape never changes and never spreads, and its main lobe, which starts at x = −1.02, moves along the parabola x = t²/4 (dashed): −0.77 at t = 1, −0.02 at t = 2, 1.23 at t = 3, 2.98 at t = 4, 5.23 at t = 5. A uniform acceleration of a half, with nothing accelerating it. The packet carries infinite energy, which is the price of the trick: its oscillating tail stretches to minus infinity, and the tail is what pushes the main lobe along.

The packet that bends with nothing pushing it

Every wave packet left to itself spreads, and every free particle moves in a straight line. In 1979 Berry and Balazs found a packet that does neither: it keeps its shape for ever, and its peak accelerates sideways along a parabola, in empty space, with no force acting. Nothing in it breaks Newton's laws — the packet's centre of mass stays exactly where it was, and only its bright head runs off, fed by a long dim tail — and the trick turns out to be the rainbow's: the bright lobe is the envelope of a family of straight rays. Thirty years later it was made with light, and then with electrons.

waves · Wave packets

Named alongside it

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

CausticBound stateDiffractionDispersionEhrenfest theoremEquivalence principleGeometric opticsGroup velocityMatter waveThe paraxial approximationQuantum bouncerRainbow angle

All concepts