14.4 The Lorentz transformation
(a) Derivation
We use the standard configuration of Figure 14.1, with the origins coinciding at \(t=t'=0\). The transverse coordinates are unchanged, \(y'=y\) and \(z'=z\). To see why, imagine two identical metre sticks held parallel to the \(y\) axis, one at rest in each frame, which pass each other. If the stick in \(S'\) appeared shorter in \(S\), then by the principle of relativity the stick in \(S\) would appear shorter in \(S'\), and the two conclusions contradict each other when the sticks are compared side by side at the moment of passing. Hence lengths perpendicular to the relative velocity are the same in both frames.
By linearity the most general relation between \(x'\) and \((x,t)\) that keeps the origin \(x'=0\) at \(x=vt\) is
\[x'=\gamma(x-vt),\]
where \(\gamma\) is a constant that can depend only on \(v\), and reduces to 1 when \(v\to0\). By the principle of relativity the inverse relation must have the same form with \(v\to-v\) and the same \(\gamma\),
\[x=\gamma(x'+vt').\]
Substituting the first relation into the second gives \(x=\gamma^2(x-vt)+\gamma vt'\), and solving for \(t'\),
\[t'=\gamma t+\frac{1-\gamma^2}{\gamma v}\,x.\]
The time therefore cannot be absolute: \(t'\) depends on position as well as on \(t\). The constant \(\gamma\) is fixed by the second postulate. A light pulse emitted from the common origin at \(t=t'=0\) along the \(x\) axis satisfies \(x=ct\) in \(S\) and \(x'=ct'\) in \(S'\). Multiplying the two relations \(x'=\gamma(x-vt)\) and \(x=\gamma(x'+vt')\),
\[xx'=\gamma^2(x-vt)(x'+vt'),\]
and substituting \(x=ct\), \(x'=ct'\) gives \(c^2tt'=\gamma^2(c-v)(c+v)tt'\), so that
\[\boxed{\gamma=\frac{1}{\sqrt{1-v^2/c^2}}=\frac{1}{\sqrt{1-\beta^2}},\qquad \beta=\frac vc}.\]
The same result follows by substituting \(x'=\gamma(x-vt)\) and the expression for \(t'\) into \(x'=ct'\) and requiring the result to coincide with \(x=ct\). With this value of \(\gamma\), the coefficient in the expression for \(t'\) is \((1-\gamma^2)/(\gamma v)=-\gamma^2\beta^2/(\gamma v)=-\gamma v/c^2\), so \(t'=\gamma(t-vx/c^2)\).
Collecting the results, the Lorentz transformation from \(S\) to \(S'\) is
\[\boxed{x'=\gamma(x-vt),\qquad y'=y,\qquad z'=z,\qquad t'=\gamma\left(t-\frac{vx}{c^2}\right)},\]
and the inverse Lorentz transformation, obtained by interchanging primed and unprimed quantities and replacing \(v\) by \(-v\), is
\[\boxed{x=\gamma(x'+vt'),\qquad y=y',\qquad z=z',\qquad t=\gamma\left(t'+\frac{vx'}{c^2}\right)}.\]
When \(v\ll c\), \(\gamma\to1\) and \(vx/c^2\to0\) for all ordinary distances, so the transformation reduces to the Galilean one, as required. For \(v>c\) the factor \(\gamma\) becomes imaginary, which already suggests that no inertial frame can move faster than light relative to another. The transformation is most symmetric when time is measured in units of length, by the coordinate \(ct\):
\[ct'=\gamma(ct-\beta x),\qquad x'=\gamma(x-\beta ct).\]
In matrix form,
\[\begin{pmatrix}ct'\\x'\end{pmatrix}=\Lambda(\beta)\begin{pmatrix}ct\\x\end{pmatrix},\qquad \Lambda(\beta)=\begin{pmatrix}\gamma&-\gamma\beta\\-\gamma\beta&\gamma\end{pmatrix},\qquad \det\Lambda=\gamma^2(1-\beta^2)=1.\]
The inverse matrix is \(\Lambda(-\beta)\). The product of two such matrices is again of the same form: a direct multiplication gives \(\Lambda(\beta_2)\Lambda(\beta_1)=\Lambda(\beta)\) with
\[\beta=\frac{\beta_1+\beta_2}{1+\beta_1\beta_2},\]
which is the relativistic law of addition of collinear velocities derived in Section 14.5. The Lorentz transformations along a given axis therefore form a group: the inverse of a transformation and the product of two transformations are again Lorentz transformations. The group structure is most transparent in terms of the rapidity \(\phi\), defined by \(\beta=\tanh\phi\), for which \(\gamma=\cosh\phi\), \(\gamma\beta=\sinh\phi\), and
\[\Lambda=\begin{pmatrix}\cosh\phi&-\sinh\phi\\-\sinh\phi&\cosh\phi\end{pmatrix},\qquad \phi=\phi_1+\phi_2.\]
Rapidities add like ordinary velocities, and the addition formula above is the identity \(\tanh(\phi_1+\phi_2)=(\tanh\phi_1+\tanh\phi_2)/(1+\tanh\phi_1\tanh\phi_2)\).
(c) Light-cone coordinates
The combinations \(x_\pm=x\pm ct\) transform particularly simply. From the transformation in the form above,
\[x'+ct'=\gamma(1-\beta)(x+ct),\qquad x'-ct'=\gamma(1+\beta)(x-ct),\]
and since \(\gamma(1-\beta)=\sqrt{(1-\beta)/(1+\beta)}\),
\[\boxed{x'_+=\sqrt{\frac{1-\beta}{1+\beta}}\;x_+,\qquad x'_-=\sqrt{\frac{1+\beta}{1-\beta}}\;x_-}.\]
The coordinates \(x_+\) and \(x_-\) are merely rescaled, by reciprocal factors, so their product \(x_+x_-=x^2-c^2t^2\) is unchanged. The lines \(x_-=0\) and \(x_+=0\) are the paths of light pulses through the origin moving in the \(+x\) and \(-x\) directions, and they are the same in every frame. The same factor \(\sqrt{(1-\beta)/(1+\beta)}\) reappears in the relativistic Doppler effect (Chapter 16).
(d) The invariant interval
For two events separated by \(\Delta t\), \(\Delta x\), \(\Delta y\), \(\Delta z\) in \(S\), the Lorentz transformation gives
\[c^2\Delta t'^2-\Delta x'^2=\gamma^2\left[(c\Delta t-\beta\Delta x)^2-(\Delta x-\beta c\Delta t)^2\right]=\gamma^2(1-\beta^2)\left(c^2\Delta t^2-\Delta x^2\right)=c^2\Delta t^2-\Delta x^2,\]
and \(\Delta y'=\Delta y\), \(\Delta z'=\Delta z\). Hence the interval
\[\boxed{\Delta s^2=c^2\Delta t^2-\Delta x^2-\Delta y^2-\Delta z^2}\]
has the same value in all inertial frames. In the Galilean picture time intervals and spatial distances are separately invariant; in relativity only this combination is. For a light signal \(\Delta s^2=0\) in every frame, which is the second postulate in invariant form. The interval classifies pairs of events in a frame-independent way. If \(\Delta s^2>0\) the separation is timelike: there is a frame in which the two events occur at the same place, and in that frame the time between them is the proper time \(\Delta\tau=\Delta s/c\), which is smaller than the time between them in any other frame. If \(\Delta s^2<0\) the separation is spacelike: there is a frame in which the events are simultaneous, and their separation in that frame is the proper distance \(\sqrt{-\Delta s^2}\). If \(\Delta s^2=0\) the separation is lightlike and the events can be connected by a light signal. Since \(\Delta t'=\gamma(\Delta t-v\Delta x/c^2)\) and \(\lvert v\Delta x/c^2\rvert<\lvert\Delta t\rvert\) whenever \(c\lvert\Delta t\rvert>\lvert\Delta x\rvert\) and \(v<c\), the time order of two timelike-separated events is the same in all frames; only such events can be causally related. The geometrical representation of these ideas in space-time (Minkowski) diagrams, and the four-vector formalism built on the invariant interval, are developed in Chapter 16.