Velocity-addition formula

The special theory of relativity, formulated in 1905 by Albert Einstein, implies that addition of velocities does not behave in accordance with simple vector addition.

In relativistic physics, a velocity-addition formula is an equation that specifies how to combine the velocities of objects in a way that is consistent with the requirement that no object's speed can exceed the speed of light. Such formulas apply to successive Lorentz transformations, so they also relate different frames. Accompanying velocity addition is a kinematic effect known as Thomas precession, whereby successive non-collinear Lorentz boosts become equivalent to the composition of a rotation of the coordinate system and a boost.

Standard applications of velocity-addition formulas include the Doppler shift, Doppler navigation, the aberration of light, and the dragging of light in moving water observed in the 1851 Fizeau experiment.

The notation employs Template:Math as velocity of a body within a Lorentz frame Template:Math, and Template:Math as velocity of a second frame Template:Math, as measured in Template:Math, and Template:Math as the transformed velocity of the body within the second frame.

History

The speed of light in a fluid is slower than the speed of light in vacuum, and it changes if the fluid is moving along with the light. In 1851, Fizeau measured the speed of light in a fluid moving parallel to the light using an interferometer. Fizeau's results were not in accord with the then-prevalent theories. Fizeau experimentally correctly determined the zeroth term of an expansion of the relativistically correct addition law in terms of Template:Math as is described below. Fizeau's result led physicists to accept the empirical validity of the rather unsatisfactory theory by Fresnel that a fluid moving with respect to the stationary aether partially drags light with it, i.e. the speed is Template:Math instead of Template:Math, where Template:Math is the speed of light in the aether, Template:Math is the refractive index of the fluid, and Template:Math is the speed of the fluid with respect to the aether.

The aberration of light, of which the easiest explanation is the relativistic velocity addition formula, together with Fizeau's result, triggered the development of theories like Lorentz aether theory of electromagnetism in 1892. In 1905 Albert Einstein, with the advent of special relativity, derived the standard configuration formula (Template:Math in the Template:Nowrap) for the addition of relativistic velocities. The issues involving aether were, gradually over the years, settled in favor of special relativity.

Galilean relativity

It was observed by Galileo that a person on a uniformly moving ship has the impression of being at rest and sees a heavy body falling vertically downward. This observation is now regarded as the first clear statement of the principle of mechanical relativity. Galileo saw that from the point of view of a person standing on the shore, the motion of falling downwards on the ship would be combined with, or added to, the forward motion of the ship. In terms of velocities, it can be said that the velocity of the falling body relative to the shore equals the velocity of that body relative to ship plus the velocity of the ship relative to the shore.

In general for three objects A (e.g. Galileo on the shore), B (e.g. ship), C (e.g. falling body on ship) the velocity vector $𝐮$ of C relative to A (velocity of falling object as Galileo sees it) is the sum of the velocity ${𝐮}^{\prime }$ of C relative to B (velocity of falling object relative to ship) plus the velocity Template:Math of B relative to A (ship's velocity away from the shore). The addition here is the vector addition of vector algebra and the resulting velocity is usually represented in the form

$$𝐮=𝐯+{𝐮}^{\prime }.$$

The cosmos of Galileo consists of absolute space and time and the addition of velocities corresponds to composition of Galilean transformations. The relativity principle is called Galilean relativity. It is obeyed by Newtonian mechanics.

Special relativity

According to the theory of special relativity, the frame of the ship has a different clock rate and distance measure, and the notion of simultaneity in the direction of motion is altered, so the addition law for velocities is changed. This change is not noticeable at low velocities but as the velocity increases towards the speed of light it becomes important. The addition law is also called a composition law for velocities. For collinear motions, the speed of the object, $u^{\prime }$, e.g. a cannonball fired horizontally out to sea, as measured from the ship, moving at speed $v$, would be measured by someone standing on the shore and watching the whole scene through a telescope as $$u=\frac{v+u^{\prime }}{1+(v{u}^{\prime }/c^2)}.$$ The composition formula can take an algebraically equivalent form, which can be easily derived by using only the principle of constancy of the speed of light, $$\frac{c-u}{c+u}=\left(\frac{c-u^{\prime }}{c+u^{\prime }}\right)\left(\frac{c-v}{c+v}\right).$$ The cosmos of special relativity consists of Minkowski spacetime and the addition of velocities corresponds to composition of Lorentz transformations. In the special theory of relativity Newtonian mechanics is modified into relativistic mechanics.

Standard configuration

The formulas for boosts in the standard configuration follow most straightforwardly from taking differentials of the inverse Lorentz boost in standard configuration. If the primed frame is travelling with speed $v$ with Lorentz factor ${\gamma }_{{}_v}=1/\sqrt{1-v^2/c^2}$ in the positive Template:Nowrap relative to the unprimed frame, then the differentials are

$$dx={\gamma }_{{}_v}(d{x}^{\prime }+vd{t}^{\prime }),dy=d{y}^{\prime },dz=d{z}^{\prime },dt={\gamma }_{{}_v}(d{t}^{\prime }+\frac{v}{c^2}d{x}^{\prime }).$$

Divide the first three equations by the fourth,

$$\frac{dx}{dt}=\frac{{\gamma }_{{}_v}(d{x}^{\prime }+vd{t}^{\prime })}{{\gamma }_{{}_v}(d{t}^{\prime }+\frac{v}{c^2}d{x}^{\prime })},\frac{dy}{dt}=\frac{d{y}^{\prime }}{{\gamma }_{{}_v}(d{t}^{\prime }+\frac{v}{c^2}d{x}^{\prime })},\frac{dz}{dt}=\frac{d{z}^{\prime }}{{\gamma }_{{}_v}(d{t}^{\prime }+\frac{v}{c^2}d{x}^{\prime })},$$

or

$$u_x=\frac{dx}{dt}=\frac{\frac{d{x}^{\prime }}{d{t}^{\prime }}+v}{(1+\frac{v}{c^2}\frac{d{x}^{\prime }}{d{t}^{\prime }})},u_y=\frac{dy}{dt}=\frac{\frac{d{y}^{\prime }}{d{t}^{\prime }}}{{\gamma }_{{}_v}(1+\frac{v}{c^2}\frac{d{x}^{\prime }}{d{t}^{\prime }})},u_z=\frac{dz}{dt}=\frac{\frac{d{z}^{\prime }}{d{t}^{\prime }}}{{\gamma }_{{}_v}(1+\frac{v}{c^2}\frac{d{x}^{\prime }}{d{t}^{\prime }})},$$

which is

Transformation of velocity (Cartesian components)

$$u_x=\frac{{u_x}^{\prime }+v}{1+\frac{v}{c^2}{u_x}^{\prime }},{u_x}^{\prime }=\frac{u_x-v}{1-\frac{v}{c^2}{u}_x},$$ $$u_y=\frac{{u_y}^{\prime }\sqrt{1-\frac{v^2}{c^2}}}{1+\frac{v}{c^2}{u_x}^{\prime }},{u_y}^{\prime }=\frac{u_y\sqrt{1-\frac{v^2}{c^2}}}{1-\frac{v}{c^2}{u}_x},$$ $$u_z=\frac{{u_z}^{\prime }\sqrt{1-\frac{v^2}{c^2}}}{1+\frac{v}{c^2}{u_x}^{\prime }},{u_z}^{\prime }=\frac{u_z\sqrt{1-\frac{v^2}{c^2}}}{1-\frac{v}{c^2}{u}_x},$$

in which expressions for the primed velocities were obtained using the standard recipe by replacing Template:Math by Template:Math and swapping primed and unprimed coordinates. If coordinates are chosen so that all velocities lie in a (common) Template:Math plane, then velocities may be expressed as $$u_x=u\cos \theta ,u_y=u\sin \theta ,{u_x}^{\prime }=u^{\prime }\cos {\theta }^{\prime },{u_y}^{\prime }=u^{\prime }\sin {\theta }^{\prime },$$ (see polar coordinates) and one finds

Transformation of velocity (Plane polar components)

$$u=\frac{\sqrt{u{\text{'}}^2+v^2+2v{u}^{\prime }\cos {\theta }^{\prime }-{\left(\frac{v{u}^{\prime }\sin {\theta }^{\prime }}{c}\right)}^2}}{1+\frac{v}{c^2}{u}^{\prime }\cos {\theta }^{\prime }},$$ $\tan \theta =\frac{u_y}{u_x}=\frac{\sqrt{1-\frac{v^2}{c^2}}{u_y}^{\prime }}{{u_x}^{\prime }+v}=\frac{\sqrt{1-\frac{v^2}{c^2}}{u}^{\prime }\sin {\theta }^{\prime }}{u^{\prime }\cos {\theta }^{\prime }+v}.$

Template:Hidden begin $$\begin{array}{cc}u& =\sqrt{u_x^2+u_y^2}=\frac{\sqrt{({u_x}^{\prime }+v{)}^2+(1-\frac{v^2}{c^2})u_y{\text{'}}^2}}{1+\frac{v}{c^2}{u_x}^{\prime }}=\frac{\sqrt{u_x{\text{'}}^2+v^2+2{u_x}^{\prime }v+(1-\frac{v^2}{c^2})u_y{\text{'}}^2}}{1+\frac{v}{c^2}{u_x}^{\prime }}\\ & =\frac{\sqrt{u{\text{'}}^2{\cos }^2{\theta }^{\prime }+v^2+2v{u}^{\prime }\cos {\theta }^{\prime }+u{\text{'}}^2{\sin }^2{\theta }^{\prime }-\frac{v^2}{c^2}u{\text{'}}^2{\sin }^2{\theta }^{\prime }}}{1+\frac{v}{c^2}{u_x}^{\prime }}\\ & =\frac{\sqrt{u{\text{'}}^2+v^2+2v{u}^{\prime }\cos {\theta }^{\prime }-(\frac{v{u}^{\prime }\sin {\theta }^{\prime }}{c}{)}^2}}{1+\frac{v}{c^2}{u}^{\prime }\cos {\theta }^{\prime }}\end{array}$$

---

The proof as given is highly formal. There are other more involved proofs that may be more enlightening, such as the one below. Template:Math proof

General configuration

Decomposition of 3-velocity Template:Math into parallel and perpendicular components, and calculation of the components. The procedure for Template:Math is identical.

Starting from the expression in coordinates for Template:Math parallel to the Template:Nowrap, expressions for the perpendicular and parallel components can be cast in vector form as follows, a trick which also works for Lorentz transformations of other 3d physical quantities originally in set up standard configuration. Introduce the velocity vector Template:Math in the unprimed frame and Template:Math in the primed frame, and split them into components parallel (∥) and perpendicular (⊥) to the relative velocity vector Template:Math (see hide box below) thus $$𝐮={𝐮}_{\parallel }+{𝐮}_{\perp },{𝐮}^{\prime }=𝐮{\text{'}}_{\parallel }+𝐮{\text{'}}_{\perp },$$ then with the usual Cartesian standard basis vectors Template:Math, set the velocity in the unprimed frame to be $${𝐮}_{\parallel }=u_x{𝐞}_x,{𝐮}_{\perp }=u_y{𝐞}_y+u_z{𝐞}_z,𝐯=v{𝐞}_x,$$ which gives, using the results for the standard configuration, $${𝐮}_{\parallel }=\frac{{{𝐮}_{\parallel }}^{\prime }+𝐯}{1+\frac{𝐯\cdot {{𝐮}_{\parallel }}^{\prime }}{c^2}},{𝐮}_{\perp }=\frac{\sqrt{1-\frac{v^2}{c^2}}{{𝐮}_{\perp }}^{\prime }}{1+\frac{𝐯\cdot {{𝐮}_{\parallel }}^{\prime }}{c^2}}.$$ where Template:Math is the dot product. Since these are vector equations, they still have the same form for Template:Math in any direction. The only difference from the coordinate expressions is that the above expressions refers to vectors, not components.

One obtains $$𝐮={𝐮}_{\parallel }+{𝐮}_{\perp }=\frac{1}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}[{\alpha }_v{𝐮}^{\prime }+𝐯+(1-{\alpha }_v)\frac{(𝐯\cdot {𝐮}^{\prime })}{v^2}𝐯]\equiv 𝐯\oplus {𝐮}^{\prime },$$ where Template:Math is the reciprocal of the Lorentz factor. The ordering of operands in the definition is chosen to coincide with that of the standard configuration from which the formula is derived. Template:Hidden begin $$\begin{array}{cc}\frac{𝐮{\text{'}}_{\parallel }+𝐯}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}+\frac{{\alpha }_v𝐮{\text{'}}_{\perp }}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}& =\frac{𝐯+\frac{𝐯\cdot {𝐮}^{\prime }}{v^2}𝐯}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}+\frac{{\alpha }_v{𝐮}^{\prime }-{\alpha }_v\frac{𝐯\cdot {𝐮}^{\prime }}{v^2}𝐯}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}\\ & =\frac{1+\frac{𝐯\cdot {𝐮}^{\prime }}{v^2}(1-{\alpha }_v)}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}𝐯+{\alpha }_v\frac{1}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}{𝐮}^{\prime }\\ & =\frac{1}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}𝐯+{\alpha }_v\frac{1}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}{𝐮}^{\prime }+\frac{1}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}\frac{𝐯\cdot {𝐮}^{\prime }}{v^2}(1-{\alpha }_v)𝐯\\ & =\frac{1}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}𝐯+{\alpha }_v\frac{1}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}{𝐮}^{\prime }+\frac{1}{c^2}\frac{1}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}\frac{𝐯\cdot {𝐮}^{\prime }}{v^2/c^2}(1-{\alpha }_v)𝐯\\ & =\frac{1}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}𝐯+{\alpha }_v\frac{1}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}{𝐮}^{\prime }+\frac{1}{c^2}\frac{1}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}\frac{𝐯\cdot {𝐮}^{\prime }}{(1-{\alpha }_v)(1+{\alpha }_v)}(1-{\alpha }_v)𝐯\\ & =\frac{1}{1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}}[{\alpha }_v{𝐮}^{\prime }+𝐯+(1-{\alpha }_v)\frac{(𝐯\cdot {𝐮}^{\prime })}{v^2}𝐯].\end{array}$$

---

Template:Hidden end Template:Hidden begin Either the parallel or the perpendicular component for each vector needs to be found, since the other component will be eliminated by substitution of the full vectors.

The parallel component of Template:Math can be found by projecting the full vector into the direction of the relative motion $$𝐮{\text{'}}_{\parallel }=\frac{𝐯\cdot {𝐮}^{\prime }}{v^2}𝐯,$$ and the perpendicular component of Template:Math can be found by the geometric properties of the cross product (see figure above right), $$𝐮{\text{'}}_{\perp }=-\frac{𝐯\times (𝐯\times {𝐮}^{\prime })}{v^2}.$$

In each case, Template:Math is a unit vector in the direction of relative motion.

The expressions for Template:Math and Template:Math can be found in the same way. Substituting the parallel component into $$𝐮=\frac{{{𝐮}_{\parallel }}^{\prime }+𝐯}{1+\frac{𝐯\cdot {{𝐮}_{\parallel }}^{\prime }}{c^2}}+\frac{\sqrt{1-\frac{v^2}{c^2}}({𝐮}^{\prime }-{{𝐮}_{\parallel }}^{\prime })}{1+\frac{𝐯\cdot {{𝐮}_{\parallel }}^{\prime }}{c^2}},$$

results in the above equation.

---

Using an identity in ${\alpha }_v$ and ${\gamma }_v$,

$$\begin{array}{cc}𝐯\oplus {𝐮}^{\prime }\equiv 𝐮& =\frac{1}{1+\frac{{𝐮}^{\prime }\cdot 𝐯}{c^2}}[𝐯+\frac{{𝐮}^{\prime }}{{\gamma }_v}+\frac{1}{c^2}\frac{{\gamma }_v}{1+{\gamma }_v}({𝐮}^{\prime }\cdot 𝐯)𝐯]\\ & =\frac{1}{1+\frac{{𝐮}^{\prime }\cdot 𝐯}{c^2}}[𝐯+{𝐮}^{\prime }+\frac{1}{c^2}\frac{{\gamma }_v}{1+{\gamma }_v}𝐯\times (𝐯\times {𝐮}^{\prime })],\end{array}$$ and in the forwards (v positive, S → S') direction $$\begin{array}{cc}𝐯\oplus 𝐮\equiv {𝐮}^{\prime }& =\frac{1}{1-\frac{𝐮\cdot 𝐯}{c^2}}[\frac{𝐮}{{\gamma }_v}-𝐯+\frac{1}{c^2}\frac{{\gamma }_v}{1+{\gamma }_v}(𝐮\cdot 𝐯)𝐯]\\ & =\frac{1}{1-\frac{𝐮\cdot 𝐯}{c^2}}[𝐮-𝐯+\frac{1}{c^2}\frac{{\gamma }_v}{1+{\gamma }_v}𝐯\times (𝐯\times 𝐮)]\end{array}$$

where the last expression is by the standard vector analysis formula Template:Math. The first expression extends to any number of spatial dimensions, but the cross product is defined in three dimensions only. The objects Template:Math with Template:Math having velocity Template:Math relative to Template:Math and Template:Math having velocity Template:Math relative to Template:Math can be anything. In particular, they can be three frames, or they could be the laboratory, a decaying particle and one of the decay products of the decaying particle.

Properties

The relativistic addition of 3-velocities is non-linear, so in general $$(\lambda 𝐯)\oplus (\lambda 𝐮)\ne \lambda (𝐯\oplus 𝐮),$$ for real number Template:Math, although it is true that $$(-𝐯)\oplus (-𝐮)=-(𝐯\oplus 𝐮),$$

Also, due to the last terms, is in general neither commutative $$𝐯\oplus 𝐮\ne 𝐮\oplus 𝐯,$$ nor associative $$𝐯\oplus (𝐮\oplus 𝐰)\ne (𝐯\oplus 𝐮)\oplus 𝐰.$$

It deserves special mention that if Template:Math and Template:Math refer to velocities of pairwise parallel frames (primed parallel to unprimed and doubly primed parallel to primed), then, according to Einstein's velocity reciprocity principle, the unprimed frame moves with velocity Template:Math relative to the primed frame, and the primed frame moves with velocity Template:Math relative to the doubly primed frame hence Template:Math is the velocity of the unprimed frame relative to the doubly primed frame, and one might expect to have Template:Math by naive application of the reciprocity principle. This does not hold, though the magnitudes are equal. The unprimed and doubly primed frames are not parallel, but related through a rotation. This is related to the phenomenon of Thomas precession, and is not dealt with further here.

The norms are given by $$|𝐮{|}^2\equiv |𝐯\oplus {𝐮}^{\prime }{|}^2=\frac{1}{{(1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2})}^2}[{(𝐯+{𝐮}^{\prime })}^2-\frac{1}{c^2}{(𝐯\times {𝐮}^{\prime })}^2]=|{𝐮}^{\prime }\oplus 𝐯{|}^2.$$ and $$|{𝐮}^{\prime }{|}^2\equiv |𝐯\oplus 𝐮{|}^2=\frac{1}{{(1-\frac{𝐯\cdot 𝐮}{c^2})}^2}[{(𝐮-𝐯)}^2-\frac{1}{c^2}{(𝐯\times 𝐮)}^2]=|𝐮\oplus 𝐯{|}^2.$$

Template:Math proof It is clear that the non-commutativity manifests itself as an additional rotation of the coordinate frame when two boosts are involved, since the norm squared is the same for both orders of boosts.

The gamma factors for the combined velocities are computed as $${\gamma }_u={\gamma }_{𝐯\oplus {𝐮}^{\prime }}={[1-\frac{1}{c^2}\frac{1}{(1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}{)}^2}((𝐯+{𝐮}^{\prime }{)}^2-\frac{1}{c^2}(v^{2}u{\text{'}}^2-(𝐯\cdot {𝐮}^{\prime }{)}^2))]}^{-\frac{1}{2}}={\gamma }_v{{\gamma }_u}^{\prime }(1+\frac{𝐯\cdot {𝐮}^{\prime }}{c^2}),{{\gamma }_u}^{\prime }={\gamma }_v{\gamma }_u(1-\frac{𝐯\cdot 𝐮}{c^2})$$

Notational conventions

Notations and conventions for the velocity addition vary from author to author. Different symbols may be used for the operation, or for the velocities involved, and the operands may be switched for the same expression, or the symbols may be switched for the same velocity. A completely separate symbol may also be used for the transformed velocity, rather than the prime used here. Since the velocity addition is non-commutative, one cannot switch the operands or symbols without changing the result.

Examples of alternative notation include:

No specific operand

Template:Harvtxt (using units where c = 1) $$|{𝐯}_{𝐫𝐞𝐥}{|}^2=\frac{1}{(1-{𝐯}_{\mathrm{𝟏}}\cdot {𝐯}_{\mathrm{𝟐}}{)}^2}[({𝐯}_{\mathrm{𝟏}}-{𝐯}_{\mathrm{𝟐}}{)}^2-({𝐯}_{\mathrm{𝟏}}\times {𝐯}_{\mathrm{𝟐}}{)}^2]$$

Left-to-right ordering of operands

Template:Harvtxt $$𝐮\oplus 𝐯=\frac{1}{1+\frac{𝐮\cdot 𝐯}{c^2}}[𝐯+𝐮+\frac{1}{c^2}\frac{{\gamma }_{𝐮}}{{\gamma }_{𝐮}+1}𝐮\times (𝐮\times 𝐯)]$$ Template:BrTemplate:Harvtxt $$𝐮*𝐯=\frac{1}{1+\frac{𝐮\cdot 𝐯}{c^2}}[𝐯+𝐮+\frac{1}{c^2}\frac{{\gamma }_{𝐮}}{{\gamma }_{𝐮}+1}𝐮\times (𝐮\times 𝐯)]$$

Right-to-left ordering of operands

Template:Harvtxt $$𝐰\circ 𝐯=\frac{1}{1+\frac{𝐯\cdot 𝐰}{c^2}}[\frac{𝐰}{{\gamma }_{𝐯}}+𝐯+\frac{1}{c^2}\frac{{\gamma }_{𝐯}}{{\gamma }_{𝐯}+1}(𝐰\cdot 𝐯)𝐯]$$

Applications

Some classical applications of velocity-addition formulas, to the Doppler shift, to the aberration of light, and to the dragging of light in moving water, yielding relativistically valid expressions for these phenomena are detailed below. It is also possible to use the velocity addition formula, assuming conservation of momentum (by appeal to ordinary rotational invariance), the correct form of the Template:Math-vector part of the momentum four-vector, without resort to electromagnetism, or a priori not known to be valid, relativistic versions of the Lagrangian formalism. This involves experimentalist bouncing off relativistic billiard balls from each other. This is not detailed here, but see for reference Template:Harvtxt Wikisource version (primary source) and Template:Harvtxt.

Fizeau experiment

Hippolyte Fizeau (1819–1896), a French physicist, was in 1851 the first to measure the speed of light in flowing water.

Template:Main When light propagates in a medium, its speed is reduced, in the rest frame of the medium, to Template:Math, where Template:Math is the index of refraction of the medium Template:Math. The speed of light in a medium uniformly moving with speed Template:Math in the positive Template:Math-direction as measured in the lab frame is given directly by the velocity addition formulas. For the forward direction (standard configuration, drop index Template:Mvar on Template:Math) one gets, $$\begin{array}{cc}{c}_m& =\frac{V+{c_m}^{\prime }}{1+\frac{V{c_m}^{\prime }}{c^2}}=\frac{V+\frac{c}{n}}{1+\frac{Vc}{n{c}^2}}=\frac{c}{n}\frac{1+\frac{nV}{c}}{1+\frac{V}{nc}}\\ & =\frac{c}{n}(1+\frac{nV}{c})\frac{1}{1+\frac{V}{nc}}=(\frac{c}{n}+V)(1-\frac{V}{nc}+{\left(\frac{V}{nc}\right)}^2-\cdots ).\end{array}$$

Collecting the largest contributions explicitly, $$c_m=\frac{c}{n}+V(1-\frac{1}{n^2}-\frac{V}{nc}+\cdots ).$$ Fizeau found the first three terms. The classical result is the first two terms.

Aberration of light

Another basic application is to consider the deviation of light, i.e. change of its direction, when transforming to a new reference frame with parallel axes, called aberration of light. In this case, Template:Math, and insertion in the formula for Template:Math yields $$\tan \theta =\frac{\sqrt{1-\frac{V^2}{c^2}}c\sin {\theta }^{\prime }}{c\cos {\theta }^{\prime }+V}=\frac{\sqrt{1-\frac{V^2}{c^2}}\sin {\theta }^{\prime }}{\cos {\theta }^{\prime }+\frac{V}{c}}.$$

For this case one may also compute Template:Math and Template:Math from the standard formulae, $$\sin \theta =\frac{\sqrt{1-\frac{V^2}{c^2}}\sin {\theta }^{\prime }}{1+\frac{V}{c}\cos {\theta }^{\prime }},$$

Template:Hidden begin $$\begin{array}{cc}\frac{v_y}{v}& =\frac{\frac{\sqrt{1-\frac{V^2}{c^2}}{v_y}^{\prime }}{1+\frac{V}{c^2}{v_x}^{\prime }}}{\frac{\sqrt{v{\text{'}}^2+V^2+2V{v}^{\prime }\cos {\theta }^{\prime }-(\frac{V{v}^{\prime }\sin {\theta }^{\prime }}{c}{)}^2}}{1+\frac{V}{c^2}{v}^{\prime }\cos {\theta }^{\prime }}}\\ & =\frac{c\sqrt{1-\frac{V^2}{c^2}}\sin {\theta }^{\prime }}{\sqrt{c^2+V^2+2Vc\cos {\theta }^{\prime }-V^2{\sin }^2{\theta }^{\prime }}}\\ & =\frac{c\sqrt{1-\frac{V^2}{c^2}}\sin {\theta }^{\prime }}{\sqrt{c^2+V^2+2Vc\cos {\theta }^{\prime }-V^2(1-{\cos }^2{\theta }^{\prime })}}=\frac{c\sqrt{1-\frac{V^2}{c^2}}\sin {\theta }^{\prime }}{\sqrt{c^2+2Vc\cos {\theta }^{\prime }+V^2{\cos }^2{\theta }^{\prime }}}\\ & =\frac{\sqrt{1-\frac{V^2}{c^2}}\sin {\theta }^{\prime }}{1+\frac{V}{c}\cos {\theta }^{\prime }},\end{array}$$

---

Template:Hidden end $$\cos \theta =\frac{\frac{V}{c}+\cos {\theta }^{\prime }}{1+\frac{V}{c}\cos {\theta }^{\prime }},$$

James Bradley (1693–1762) FRS, provided an explanation of aberration of light correct at the classical level, at odds with the later theories prevailing in the nineteenth century based on the existence of aether.

the trigonometric manipulations essentially being identical in the Template:Math case to the manipulations in the Template:Math case. Consider the difference,

$$\begin{array}{cc}\sin \theta -\sin {\theta }^{\prime }& =\sin {\theta }^{\prime }(\frac{\sqrt{1-\frac{V^2}{c^2}}}{1+\frac{V}{c}\cos {\theta }^{\prime }}-1)\\ & \approx \sin {\theta }^{\prime }(1-\frac{V}{c}\cos {\theta }^{\prime }-1)=-\frac{V}{c}\sin {\theta }^{\prime }\cos {\theta }^{\prime },\end{array}$$ correct to order Template:Math. Employ in order to make small angle approximations a trigonometric formula, $$\sin {\theta }^{\prime }-\sin \theta =2\sin \frac{1}{2}({\theta }^{\prime }-\theta )\cos \frac{1}{2}(\theta +{\theta }^{\prime })\approx ({\theta }^{\prime }-\theta )\cos {\theta }^{\prime },$$ where Template:Math were used.

Thus the quantity $$\mathrm{\Delta }\theta \equiv {\theta }^{\prime }-\theta =\frac{V}{c}\sin {\theta }^{\prime },$$ the classical aberration angle, is obtained in the limit Template:Math.

Relativistic Doppler shift

Christian Doppler (1803–1853) was an Austrian mathematician and physicist who discovered that the observed frequency of a wave depends on the relative speed of the source and the observer.

Here velocity components will be used as opposed to speed for greater generality, and in order to avoid perhaps seemingly ad hoc introductions of minus signs. Minus signs occurring here will instead serve to illuminate features when speeds less than that of light are considered.

For light waves in vacuum, time dilation together with a simple geometrical observation alone suffices to calculate the Doppler shift in standard configuration (collinear relative velocity of emitter and observer as well of observed light wave).

All velocities in what follows are parallel to the common positive Template:Nowrap, so subscripts on velocity components are dropped. In the observers frame, introduce the geometrical observation $$\lambda =-sT+VT=(-s+V)T$$ as the spatial distance, or wavelength, between two pulses (wave crests), where Template:Math is the time elapsed between the emission of two pulses. The time elapsed between the passage of two pulses at the same point in space is the time period Template:Mvar, and its inverse Template:Math is the observed (temporal) frequency. The corresponding quantities in the emitters frame are endowed with primes.

For light waves $$s=s^{\prime }=-c,$$ and the observed frequency is $$\nu =\frac{-s}{\lambda }=\frac{-s}{(V-s)T}=\frac{c}{(V+c){\gamma }_{{}_V}{T}^{\prime }}={\nu }^{\prime }\frac{c\sqrt{1-\frac{V^2}{c^2}}}{c+V}={\nu }^{\prime }\sqrt{\frac{1-\beta }{1+\beta }}.$$ where Template:Math is standard time dilation formula.

Suppose instead that the wave is not composed of light waves with speed Template:Mvar, but instead, for easy visualization, bullets fired from a relativistic machine gun, with velocity Template:Math in the frame of the emitter. Then, in general, the geometrical observation is precisely the same. But now, Template:Math, and Template:Math is given by velocity addition, $$s=\frac{s^{\prime }+V}{1+\frac{s^{\prime }V}{c^2}}.$$

The calculation is then essentially the same, except that here it is easier carried out upside down with Template:Math instead of Template:Mvar. One finds

$\tau =\frac{1}{{\gamma }_{{}_V}{\nu }^{\prime }}\left(\frac{1}{1+\frac{V}{s^{\prime }}}\right),\nu ={\gamma }_{{}_V}{\nu }^{\prime }(1+\frac{V}{s^{\prime }})$

Template:Hidden begin $$\begin{array}{cc}\frac{L}{-s}& =\frac{(\frac{-s^{\prime }-V}{1+\frac{s^{\prime }V}{c^2}}+V)T}{\frac{-s^{\prime }-V}{1+\frac{s^{\prime }V}{c^2}}}\\ & =\frac{{\gamma }_{{}_V}}{{\nu }^{\prime }}\frac{-s^{\prime }-V+V(1+\frac{s^{\prime }V}{c^2})}{-s^{\prime }-V}\\ & =\frac{{\gamma }_{{}_V}}{{\nu }^{\prime }}\left(\frac{s^{\prime }(1-\frac{V^2}{c^2})}{s^{\prime }+V}\right)\\ & =\frac{{\gamma }_{{}_V}}{{\nu }^{\prime }}\left(\frac{s^{\prime }{\gamma }^{-2}}{s^{\prime }+V}\right)\\ & =\frac{1}{{\gamma }_{{}_V}{\nu }^{\prime }}\left(\frac{1}{1+\frac{V}{s^{\prime }}}\right).\\ \end{array}$$

---

Observe that in the typical case, the Template:Math that enters is negative. The formula has general validity though. When Template:Math, the formula reduces to the formula calculated directly for light waves above,

$$\nu ={\nu }^{\prime }{\gamma }_{{}_V}(1-\beta )={\nu }^{\prime }\frac{1-\beta }{\sqrt{1-\beta }\sqrt{1+\beta }}={\nu }^{\prime }\sqrt{\frac{1-\beta }{1+\beta }}.$$

If the emitter is not firing bullets in empty space, but emitting waves in a medium, then the formula still applies, but now, it may be necessary to first calculate Template:Math from the velocity of the emitter relative to the medium.

Returning to the case of a light emitter, in the case the observer and emitter are not collinear, the result has little modification, $$\nu ={\gamma }_{{}_V}{\nu }^{\prime }(1+\frac{V}{s^{\prime }}\cos \theta ),$$ where Template:Mvar is the angle between the light emitter and the observer. This reduces to the previous result for collinear motion when Template:Math, but for transverse motion corresponding to Template:Math, the frequency is shifted by the Lorentz factor. This does not happen in the classical optical Doppler effect.

Hyperbolic geometry

The functions sinh, cosh and tanh. The function tanh relates the rapidity Template:Math to relativistic velocity Template:Math.

Associated to the relativistic velocity $\mathit{\beta }$ of an object is a quantity $\mathit{\zeta }$ whose norm is called rapidity. These are related through $$𝔰𝔬(3,1)\supset \mathrm{s}\mathrm{p}\mathrm{a}\mathrm{n}\{K_1,K_2,K_3\}\approx {ℝ}^3\ni \mathit{\zeta }=\hat{\mathit{\beta }}{\tanh }^{-1}\beta ,\mathit{\beta }\in {𝔹}^3,$$ where the vector $\mathit{\zeta }$ is thought of as being Cartesian coordinates on a 3-dimensional subspace of the Lie algebra $𝔰𝔬(3,1)$ of the Lorentz group spanned by the boost generators $K_1,K_2,K_3$. This space, call it rapidity space, is isomorphic to Template:Math as a vector space, and is mapped to the open unit ball, ${𝔹}^3$, velocity space, via the above relation. The addition law on collinear form coincides with the law of addition of hyperbolic tangents $$\tanh ({\zeta }_v+{\zeta }_{u^{\prime }})=\frac{\tanh {\zeta }_v+\tanh {\zeta }_{u^{\prime }}}{1+\tanh {\zeta }_v\tanh {\zeta }_{u^{\prime }}}$$ with $$\frac{v}{c}=\tanh {\zeta }_v,\frac{u^{\prime }}{c}=\tanh {\zeta }_{u^{\prime }},\frac{u}{c}=\tanh ({\zeta }_v+{\zeta }_{u^{\prime }}).$$

The line element in velocity space ${𝔹}^3$ follows from the expression for relativistic relative velocity in any frame, $$v_r=\frac{\sqrt{({𝐯}_{\mathrm{𝟏}}-{𝐯}_{\mathrm{𝟐}}{)}^2-({𝐯}_{\mathrm{𝟏}}\times {𝐯}_{\mathrm{𝟐}}{)}^2}}{1-{𝐯}_{\mathrm{𝟏}}\cdot {𝐯}_{\mathrm{𝟐}}},$$ where the speed of light is set to unity so that $v_i$ and ${\beta }_i$ agree. It this expression, ${𝐯}_1$ and ${𝐯}_2$ are velocities of two objects in any one given frame. The quantity $v_r$ is the speed of one or the other object relative to the other object as seen in the given frame. The expression is Lorentz invariant, i.e. independent of which frame is the given frame, but the quantity it calculates is not. For instance, if the given frame is the rest frame of object one, then $v_r=v_2$.

The line element is found by putting ${𝐯}_2={𝐯}_1+d𝐯$ or equivalently ${\mathit{\beta }}_2={\mathit{\beta }}_1+d\mathit{\beta }$, $$d{l}_{\mathit{\beta }}^2=\frac{d{\mathit{\beta }}^2-(\mathit{\beta }\times d\mathit{\beta }{)}^2}{(1-{\beta }^2{)}^2}=\frac{d{\beta }^2}{(1-{\beta }^2{)}^2}+\frac{{\beta }^2}{1-{\beta }^2}(d{\theta }^2+{\sin }^2\theta d{\phi }^2),$$ with Template:Math and Template:Mvar the usual spherical angle coordinates for $\mathit{\beta }$ taken in the Template:Math-direction. Now introduce Template:Mvar through $$\zeta =|\mathit{\zeta }|={\tanh }^{-1}\beta ,$$ and the line element on rapidity space ${ℝ}^3$ becomes $$d{l}_{\mathit{\zeta }}^2=d{\zeta }^2+{\sinh }^2\zeta (d{\theta }^2+{\sin }^2\theta d{\phi }^2).$$

Relativistic particle collisions

In scattering experiments the primary objective is to measure the invariant scattering cross section. This enters the formula for scattering of two particle types into a final state $f$ assumed to have two or more particles, $$d{N}_f=R_{f}dVdt=\sigma FdVdt$$ or, in most textbooks, $$d{N}_f=\sigma n_1{n}_2{v}_{r}dVdt$$ where

• $dVdt$ is spacetime volume. It is an invariant under Lorentz transformations.
• $d{N}_f$ is the total number of reactions resulting in final state $f$ in spacetime volume $dVdt$. Being a number, it is invariant when the same spacetime volume is considered.
• $R_f=F\sigma$ is the number of reactions resulting in final state $f$ per unit spacetime, or reaction rate. This is invariant.
• $F=n_1{n}_2{v}_r$ is called the incident flux. This is required to be invariant, but isn't in the most general setting.
• $\sigma$ is the scattering cross section. It is required to be invariant.
• $n_1,n_2$ are the particle densities in the incident beams. These are not invariant as is clear due to length contraction.
• $v_r=|{𝐯}_2-{𝐯}_1|$ is the relative speed of the two incident beams. This cannot be invariant since $F=n_1{n}_2{v}_r$ is required to be so.

The objective is to find a correct expression for relativistic relative speed $v_{\text{rel}}$ and an invariant expression for the incident flux.

Non-relativistically, one has for relative speed $v_r=|{𝐯}_2-{𝐯}_1|$. If the system in which velocities are measured is the rest frame of particle type $1$, it is required that $v_{\text{rel}}=v_r=|{𝐯}_2|.$ Setting the speed of light $c=1$, the expression for $v_{\text{rel}}$ follows immediately from the formula for the norm (second formula) in the general configuration as $$v_{\text{rel}}=\frac{\sqrt{({𝐯}_{\mathrm{𝟏}}-{𝐯}_{\mathrm{𝟐}}{)}^2-({𝐯}_{\mathrm{𝟏}}\times {𝐯}_{\mathrm{𝟐}}{)}^2}}{1-{𝐯}_{\mathrm{𝟏}}\cdot {𝐯}_{\mathrm{𝟐}}}.$$

The formula reduces in the classical limit to $v_r=|{𝐯}_1-{𝐯}_2|$ as it should, and gives the correct result in the rest frames of the particles. The relative velocity is incorrectly given in most, perhaps all books on particle physics and quantum field theory. This is mostly harmless, since if either one particle type is stationary or the relative motion is collinear, then the right result is obtained from the incorrect formulas. The formula is invariant, but not manifestly so. It can be rewritten in terms of four-velocities as $$v_{\text{rel}}=\frac{\sqrt{(u_1\cdot u_2{)}^2-1}}{u_1\cdot u_2}.$$

The correct expression for the flux, published by Christian Møller in 1945, is given by $$F=n_1{n}_2\sqrt{({𝐯}_1-{𝐯}_2{)}^2-({𝐯}_1\times {𝐯}_2{)}^2}\equiv n_1{n}_2\overline{v}.$$

One notes that for collinear velocities, $F=n_1{n}_2|{𝐯}_2-{𝐯}_1|=n_1{n}_2{v}_r$. In order to get a manifestly Lorentz invariant expression one writes $J_i=(n_i,n_i{𝐯}_i)$ with $n_i={\gamma }_i{n}_i^0$, where $n_i^0$ is the density in the rest frame, for the individual particle fluxes and arrives at $$F=(J_1\cdot J_2)v_{\text{rel}}.$$

In the literature the quantity $\overline{v}$ as well as $v_r$ are both referred to as the relative velocity. In some cases (statistical physics and dark matter literature), $\overline{v}$ is referred to as the Møller velocity, in which case $v_r$ means relative velocity. The true relative velocity is at any rate $v_{\text{rel}}$. The discrepancy between $v_{\text{rel}}$ and $v_r$ is relevant though in most cases velocities are collinear. At LHC the crossing angle is small, around Template:Val, but at the old Intersecting Storage Ring at CERN, it was about 18°.

With rapidity

Light cone and conjugate hyperbolas in Minkowski (1908)

For collinear velocities interpreted as rapidity, the sum formula is simple addition. According to Minkowski, the time-like vector (zeitartiger Vektor) for a given duration lies on a hyperbola. Since the hyperbola is traced by a hyperbolic angle, and velocity determines a point on the hyperbola, there is a hyperbolic angle called rapidity associated with a particular velocity. For a unit of duration, the unit hyperbola provides a reference, where hyperbolic angle forms a one-parameter group isomorphic to the real number line under addition. The form of the formula for velocity addition can then be accounted in terms of the hyperbolic tangent function tanh which takes hyperbolic angle (rapidity) as an argument. In fact, the hyperbolic tangent of rapidity is the ratio of velocity to the speed of light in vacuum.

See also

• Hyperbolic law of cosines
• Biquaternion
• Relative velocity

References

• Template:Cite journal
• Template:Cite journal
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite book (graduate level)
• Template:Cite book (introductory level)
• Template:Cite book (graduate level)
• Template:Cite book
• Template:Cite book
• Template:Cite journal
• Template:Cite journal
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite journal

Historical

• Template:Cite journal
• Template:Citation
• Template:Cite journal
• Template:Cite journal
• Template:Cite journal
• Template:Cite journal
• Template:Cite book
• Template:Cite book
• Template:Cite journal Wikisource version

External links

• Template:Cite journal