We have mentioned several times that the Galilean composition vAC=vAB+vBC\vec{v}_{AC} = \vec{v}_{AB} + \vec{v}_{BC} does not work at relativistic speeds: two summed velocities must stay below cc, whereas Galileo does not guarantee that at all. The remarkable thing is that the correct formula is derived with the same ingredient used for the Doppler effect: a scientist firing light signals and reasoning event by event.

Consider three reference frames aligned along the same line. SRA is the laboratory of the scientist emitting signals; SRB is at rest relative to an object BB moving at speed vB(A)v_{B(A)} relative to SRA; SRC is at rest relative to a second object CC moving at speed uC(B)u_{C(B)} relative to SRB and uC(A)u_{C(A)} relative to SRA. The scientist fires two light flashes a time Δt(A)\Delta t_{(A)} apart, and we follow them through the three systems.

Arrival at BB. From the Doppler-effect analysis we know that BB receives the two flashes with interval

Δt(B)=Δt(A)1+vB(A)/c1vB(A)/c\Delta t'_{(B)} = \Delta t_{(A)}\,\sqrt{\frac{1 + v_{B(A)}/c}{1 - v_{B(A)}/c}}

BB relays them to CC. Imagine that BB, as soon as it receives them, “forwards” them to CC. The interval with which BB emits them towards CC coincides, in SRB, with the interval at which it received them: Δt(B)emiss=Δt(B)\Delta t_{(B)}^\text{emiss} = \Delta t'_{(B)}. Applying the Doppler formula again, this time between SRB and SRC:

Δt(C)=Δt(B)1+uC(B)/c1uC(B)/c\Delta t'_{(C)} = \Delta t'_{(B)}\,\sqrt{\frac{1 + u_{C(B)}/c}{1 - u_{C(B)}/c}}

Direct link ACA \to C. But the same flashes, viewed directly with the speed uC(A)u_{C(A)} of CC relative to AA, still obey Doppler:

Δt(C)=Δt(A)1+uC(A)/c1uC(A)/c\Delta t'_{(C)} = \Delta t_{(A)}\,\sqrt{\frac{1 + u_{C(A)}/c}{1 - u_{C(A)}/c}}

Equating the two expressions for Δt(C)\Delta t'_{(C)} and cancelling the common factor Δt(A)\Delta t_{(A)} gives the velocity-composition law in multiplicative form: two Doppler factors compose into a third.

1+uC(A)/c1uC(A)/c=1+vB(A)/c1vB(A)/c1+uC(B)/c1uC(B)/c\ev{\sqrt{\frac{1 + u_{C(A)}/c}{1 - u_{C(A)}/c}} = \sqrt{\frac{1 + v_{B(A)}/c}{1 - v_{B(A)}/c}}\cdot \sqrt{\frac{1 + u_{C(B)}/c}{1 - u_{C(B)}/c}}}

Squaring and solving for uC(A)u_{C(A)} gives back the more familiar form usually found in textbooks:

uC(A)=uC(B)+vB(A)1+uC(B)vB(A)/c2\ev{u_{C(A)} = \frac{u_{C(B)} + v_{B(A)}}{1 + u_{C(B)}\,v_{B(A)}/c^2}}

Principle — Relativistic composition (1D)

If CC has velocity uu' in SRB and SRB moves at velocity vv relative to SRA, the velocity of CC in SRA is u=u+v1+uv/c2\ev{u = \frac{u' + v}{1 + u'\,v/c^2}}

The merit of this formula is that it behaves well in both regimes that interest us. For u,vcu', v \ll c the product uv/c2u'v/c^2 is tiny, the denominator tends to 11 and we recover the good old Galilean law uu+vu \approx u' + v: everyday velocities add up as always. At the other extreme, for u=cu' = c the denominator becomes 1+v/c1 + v/c and

u=c+v1+v/c=cu = \frac{c + v}{1 + v/c} = c

light remains cc in every reference frame, as required by the second postulate — indeed in the Doppler derivation itself we had imposed cc equal in SRA and SRB. It is the denominator 1+uv/c2>11 + u'v/c^2 > 1 that automatically restrains the result: cc acts as an insurmountable asymptote, and two velocities both close to cc add up to something still close to cc, never beyond.

Topics: Special relativity Concepts: Relativistic composition of velocities Skills: Changing reference frame

Related exercises: Problem — Composition via Doppler · Worked exercise — Condor versus rocket · Problem — Composition of velocities (electron)