Series

Velocity addition — the series

5 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. Composing a boost with a speed, and never passing one. The speed one observer measures when a body moving at v is seen from a frame already moving at u, for u = 0.4, 0.6, 0.9, 1 times the speed of light. Every curve ends at one and none crosses it. The straight dashed line is the Galilean answer, u + v, which reaches 1.4c and is wrong. The flat line at the top is light: composing c with anything gives c back.

    Speeds that refuse to add, and the quantity that does

    Run at half the speed of light, throw something forward at half the speed of light, and the result is not the speed of light. It is four-fifths of it, and there is a variable in which the arithmetic is still simple addition.

    part 1 · relativity
  2. The rotation two boosts leave behind. The angle through which a frame's axes are turned after two boosts of equal size, against the angle between the two boosts, for 4 speeds. Two boosts in the same direction compose to a boost and nothing else, which is the zero at the left; two in different directions do not. What is left over is a rotation, and it is not small at large speeds: at β = 0.3 it peaks at 2.7° when the boosts are 91° apart, at β = 0.6 it peaks at 12.8° when the boosts are 96° apart, at β = 0.85 it peaks at 36.1° when the boosts are 108° apart, at β = 0.95 it peaks at 63.2° when the boosts are 122° apart. Each curve here is computed by multiplying the two boost matrices and pulling the rotation out of the product, not by evaluating a formula; the closed form for perpendicular boosts is used to check the extraction and appears nowhere in the drawing. The consequence is that the Lorentz boosts do not form a group by themselves — compose two and you leave the set — and that an object carried round a closed path in velocity space comes back turned.

    The turn that two pushes leave behind

    Two boosts in different directions do not compose to a boost. The product carries a rotation, so a frame carried once round a closed path comes back turned — and the size of that turn was the factor of two standing between the calculated and the measured splitting of a spectral line.

    part 2 · relativity
  3. How fast something looks as it moves across the sky. The apparent transverse speed of a source, in units of the speed of light, against the angle between its motion and the line of sight, at β = 0.8, β = 0.95, β = 0.99. Every curve rises above one over a range of angles, reaching 1.33 at 36.8°, 3.04 at 18.4°, 7.02 at 8.1° — and those maxima are γβ at arccos β, found by searching the drawn curves rather than put into them. Nothing is moving faster than light. What has happened is that the source has come closer between the two observations, so the second flash had less far to travel and arrived sooner than it would have done; dividing the transverse distance by the interval between arrivals therefore gives too large a speed. Below β = 1/√2 no angle produces the illusion at all, so seeing it is a measurement: it puts a floor under the speed and a ceiling on the angle at once.

    The motion that measures faster than light

    Take two photographs of a jet a year apart, measure how far a blob moved across the sky, divide by a year, and the answer can be seven times the speed of light. Nothing has broken. The blob came closer between the two pictures, so the second flash had less far to travel and arrived early, and the interval between arrivals is not the interval between departures.

    part 3 · relativity
  4. Every speed there is, on one disc. The whole of velocity space drawn as a disc: the boundary is the speed of light and every possible velocity is a point inside. The rings are equal steps of rapidity — 0.5, 1, 1.5, 2, 2.5 — and they sit at speeds 0.4621, 0.7616, 0.9051, 0.9640, 0.9866 of light. Equal steps of rapidity crowd towards the edge, checked ring by ring, which is the same fact as speeds refusing to add: a boost is a fixed step in rapidity and a shrinking step in speed. The drawing is the Poincaré model, in which angles are true and distances are not — so a shape near the rim is drawn small and is not small, and the boundary is infinitely far away in the geometry although it is a finite circle on the page.

    The space that speeds live in

    Speeds do not add, and the reason is that the set of all possible velocities is not a flat space. It is a hyperbolic plane of curvature minus one in rapidity — and the rotation two boosts leave behind is exactly the area of the triangle they make in it.

    part 4 · relativity
  5. The fringes a flow of water moves. The interference fringe shift against the speed of the water, for two tubes 1.5 m long, an index of 1.333, and light of 526 nm — Fizeau's apparatus. The beam is split, each half goes with the flow in one tube and against it in the other, and the two are recombined; the shift is the difference in transit time counted in wavelengths. Three predictions are drawn and they are not close together. If the water did not affect the light at all the shift would be zero, flat along the bottom. If the water carried the light with it completely the shift would be the steepest line. Fresnel's partial drag is the middle one, and at 7 m/s it gives 0.207 of a fringe — which is what was measured, to the accuracy of an eye reading a fringe pattern in 1851. The experiment therefore did not merely detect an effect; it chose between three quantitative possibilities that differ by factors of two, which is why a fraction of a fringe settled something.

    The drag that was only an addition

    Light in moving water is carried along by it, but only partly — by a fraction of the water's speed that depends on the refractive index in a way nobody could account for. Fresnel invented the coefficient to save a theory, Fizeau measured it in 1851, and it sat unexplained for half a century. It is the first term of the relativistic velocity addition and nothing else.

    part 5 · relativity

All series