Velocity-addition formula

In relativistic physics, a velocity-addition formula is a 3-dimensional equation that relates the velocities of objects in different reference frames. 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.^[1]

History

The speed of light in the 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 a Michelson 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 ^V⁄_c 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 c + (1 - ¹⁄_n²)V instead of c + V, where c is the speed of light in the aether, and V 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. It was only with the advent of special relativity in 1905 that the issues involving aether were, gradually over the years, settled.

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.^[2] 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.^[3] So that in terms of velocities it can be said that the velocity of the falling body relative to 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, B, C the velocity of C relative to A is the sum of the velocity of C relative to B plus the velocity of B relative to A. The addition here is the vector addition of vector algebra and the resulting velocity is usually represented in the form

$\mathbf{s} = \mathbf{v} + \mathbf{u} ,$

In classical mechanics vectors :$\mathbf{v}, \mathbf{u}$ may be referred (using equipollence) to .the same origin and usually are. But by definition they are relative velocities starting from different origins. This point is important in the generalization to Special Relativity where equipollence does not apply in general.

The cosmos of Galileo consists of absolute space and time and the addition of velocities corresponds to composition of Galilean transformations.

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 velocity of the fly relative to the shore is given by

$s = {v+u \over 1+(vu/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:^[4]

${c-s \over c+s} = \left({c-u \over c+u}\right)\left({c-v \over c+v}\right).$

Standard configuration

The formulas for boosts in the standard configuration follow most straightforwardly from taking differentials of the inverse Lorentz boost in standard configuration,.^[5][6] If the 'primed' frame is travelling with velocity $V$ in the positive $x$ direction relative to the 'unprimed' frame then the formulas are

$dx = \gamma_V(dx' + Vdt'), \quad dy = dy', \quad dz = dz', \quad dt = \gamma_V\left(dt' + \frac{V}{c^2}dx'\right).$

Divide the first three equations by the fourth,

$\frac{dx}{dt} = \frac{\gamma_V(dx' + Vdt')}{\gamma_V(dt' + \frac{V}{c^2}dx')}, \quad \frac{dy}{dt} = \frac{dy'}{\gamma_V(dt' + \frac{V}{c^2}dx')}, \quad \frac{dz}{dt} = \frac{dz'}{\gamma_V(dt' + \frac{V}{c^2}dx')},$

or

$\frac{dx}{dt} = \frac{dx' + Vdt'}{dt'(1 + \frac{V}{c^2}\frac{dx'}{dt'}')}, \quad \frac{dy}{dt} = \frac{dy'}{\gamma_V dt'(1 + \frac{V}{c^2}\frac{dx'}{dt'})}, \quad \frac{dz}{dt} = \frac{dz'}{\gamma_V dt'(1 + \frac{V}{c^2}\frac{dx'}{dt'})},$

which is

Transformation of velocity (Cartesian components) $v_x = \frac{v_x' + V}{1 + \frac{V}{c^2}v_x'}, \quad v_y = \frac{\sqrt{1-\frac{V^2}{c^2}}v_y'}{1 + \frac{V}{c^2}v_x'}, \quad v_z = \frac{\sqrt{1-\frac{V^2}{c^2}}v_z'}{1 + \frac{V}{c^2}v_x'}$

If coordinates are chosen so that all velocities lie in a (common) x-y plane, then velocities may be expressed as

$v_x = v\cos \theta, v_y = v\sin \theta,\quad v_x' = v'\cos \theta', \quad v_y' = v'\sin \theta',$

(see polar coordinates) and one finds^[7]

Transformation of velocity (Plane polar components) $\begin{align}v &= \frac{\sqrt{v'^2 +V^2+2Vv'\cos \theta' - (\frac{Vv'\sin\theta'}{c})^2}}{1 + \frac{V}{c^2}v'\cos \theta'},\\ \tan \theta &= \frac{v_y}{v_x} = \frac{\sqrt{1-\frac{V^2}{c^2}}v_y'}{v_x' + v} = \frac{\sqrt{1-\frac{V^2}{c^2}}v'\sin \theta'}{v'\cos \theta' + V}.\end{align}$

Details for v 

$\begin{align}v &= \sqrt{v_x^2 + v_y^2} = \frac{\sqrt{(v_x'+v)^2 + (1-\frac{V^2}{c^2})v_y'^2}}{1 + \frac{V}{c^2}v_x'} = \frac{\sqrt{v_x'^2+V^2+2v_x'v + (1-\frac{V^2}{c^2})v_y'^2}}{1 + \frac{V}{c^2}v_x'}\\ &=\frac{\sqrt{v'^2 \cos^2 \theta'+V^2+2Vv'\cos \theta' + v'^2\sin^2\theta' - \frac{V^2}{c^2}v'^2\sin^2\theta'}}{1 + \frac{V}{c^2}v_x'}\\ &=\frac{\sqrt{v'^2 +V^2+2Vv'\cos \theta' - (\frac{Vv'\sin\theta'}{c})^2}}{1 + \frac{V}{c^2}v'\cos \theta'}\end{align}$

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

A proof using 4-vectors and Lorentz transformation matrices 

Since a relativistic transformation rotates space and time into each other much as geometric rotations in the plane rotate the x- and y-axes, it is convenient to use the same units for space and time, otherwise a unit conversion factor appears throughout relativistic formulae, being the speed of light. In a system where lengths and times are measured in the same units, the speed of light is dimensionless and equal to 1. A velocity is then expressed as fraction of the speed of light.

To find the relativistic transformation law, it is useful to introduce the four-velocities V = (V₀, V₁, 0, 0) and U = (U₀, U₁, U₂, U₃). The four-velocity is defined to be a four-vector with relativistic length equal to 1, future-directed and tangent to the world line of the object in spacetime. Here, V₀ corresponds to the time component and V₁ to the x component of the fly's four-velocity as seen by the ship. It is convenient to take the x-axis to be the direction of motion of the ship, and the y-axis so that the x–y plane is the plane spanned by the motion of the ship and the fly. This results in several components of the velocities being zero; V₂ = V₃ = U₃ = 0.

The ordinary velocity is the ratio of the rate at which the space coordinates are increasing to the rate at which the time coordinate is increasing,

$\begin{align} \mathbf{v} &= (v_1, v_2, v_3) = (V_1/V_0, 0, 0),\\ \mathbf{u} &= (u_1, u_2, u_3) = (U_1/U_0, U_2/U_0, 0).\end{align}$

Since the relativistic length of V is 1,

$V_0^2 - V_1^2 = 1,$

so

$V_0 = 1/\sqrt{1-v_1^2} \ , \quad V_1 = v_1/\sqrt{1-v_1^2}.$

The Lorentz transformation matrix that boosts the rest frame to four-velocity V is then

$\begin{pmatrix} V_0 & V_1 & 0 & 0 \\ V_1 & V_0 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}.$

This matrix rotates the a pure time-axis vector (1, 0, 0, 0) to (V₀, V₁, 0, 0), and all its columns are relativistically orthogonal to one another, so it defines a Lorentz transformation.

If a fly is moving with four-velocity U in the rest frame, and it is boosted by multiplying by the matrix above, the new four-velocity is S = (S₀, S₁, S₂, S₃),

$\begin{align} S_0 &= V_0 U_0 + V_1 U_1,\\ S_1 &= V_1 U_0 + V_0 U_1,\\ S_2 &= U_2,\\ S_3 &= U_3.\end{align}$

Dividing by the time component S₀ and substituting for the components of the four-vectors U and V in terms of the components of the three-vectors u and v gives the relativistic composition law as

$\begin{align} s_1 &= { v_1 + u_1 \over 1 + v_1 u_1 },\\ s_2 &= { u_2 \over (1 + v_1 u_1) }{ 1 \over V_0 } = { u_2 \over 1 + v_1 u_1 } \sqrt{1 - v_1^2},\\ s_3 &= 0.\end{align}$

The form of the relativistic composition law can be understood as an effect of the failure of simultaneity at a distance. For the parallel component, the time dilation decreases the speed, the length contraction increases it, and the two effects cancel out. The failure of simultaneity means that the fly is changing simultaneity slices as the projection of u onto v. Since this effect is entirely due to the time slicing, the same factor multiplies the perpendicular component, but for the perpendicular component there is no length contraction, so the time dilation multiplies by a factor of ¹⁄_V0 = √(1 − v₁²).

General configuration

Decomposition of 3-velocity v into parallel and perpendicular components, and calculation of the components. The procedure for v′ is identical.

Starting from the expression in coordinates for V parallel to the x-axis, 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 v in the unprimed frame and v′ in the primed frame, and split them into components parallel ( ∥ ) and perpendicular (⊥) to the relative velocity vector V thus

$\mathbf{v} = \mathbf{v}_\parallel + \mathbf{v}_\perp,\quad \mathbf{v}' = \mathbf{v}'_\parallel + \mathbf{v}'_\perp ,$

then with the usual Cartesian unit basis vectors e_x, e_y, e_z, set the velocity in the unprimed frame to be

$\mathbf{v}_\parallel = v_x \mathbf{e}_x,\quad \mathbf{v}_\perp = v_y \mathbf{e}_y + v_z \mathbf{e}_z ,\quad \mathbf{V} = V\mathbf{e}_x,$

which gives

$\mathbf v_\parallel = \frac{\mathbf v_\parallel' + \mathbf V}{1 + \frac{\mathbf V \cdot \mathbf v_\parallel'}{c^2}}, \quad \mathbf v_\perp = \frac{\sqrt{1-\frac{V^2}{c^2}}\mathbf v_\perp'}{1 + \frac{\mathbf V\cdot \mathbf v_\parallel'}{c^2}}.$

where · is the dot product. Since these are vector equations, they still have the same form for V in any direction. The only difference from the coordinate expressions is that the above expressions refers to vectors, not components.

Decomposition into parallel and perpendicular components in terms of V 

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 v′ can be found by projecting the full vector into the direction of the relative motion

$\mathbf{v}'_\parallel = \frac{\mathbf{V} \cdot \mathbf{v}'}{V^2}\mathbf V,$

and the perpendicular component of v′ can be found by the geometric properties of the cross product (see figure on right),

$\mathbf{v}'_\perp = - \frac{\mathbf{V} \times (\mathbf{V} \times \mathbf{v}')}{V^2}.$

In each case, V/V is a unit vector in the direction of relative motion.

The expressions for v_|| and v_⊥ can be found in the same way. Substituting the parallel component into

$\mathbf v = \frac{\mathbf v_\parallel' + \mathbf V}{1 + \frac{\mathbf V \cdot \mathbf v_\parallel'}{c^2}} +\frac{\sqrt{1-\frac{V^2}{c^2}}(\mathbf v - \mathbf v_\parallel')}{1 + \frac{\mathbf V\cdot \mathbf v_\parallel'}{c^2}},$

results in the above equation.^[8]

The transformation of velocities relates the velocity as measured in two inertial frames, one frame F′ moves with velocity V relative to F. The velocities v and v′ could represent the constant velocity of some massive object, or a third inertial frame (say F′′), in any case denote this entity by X. Then X moves with velocity v relative to F, or equivalently with velocity v′ relative to F′, in turn F′ moves with velocity V relative to F. This can motivate the notation and definition

$\mathbf{v} = \mathbf v_\parallel + \mathbf v_\perp = \frac{1}{1+\frac{\mathbf{V}\cdot\mathbf{v}'}{c^{2}}}\left[\alpha_V\mathbf{v}'+ \mathbf{V} + (1-\alpha_V)\frac{(\mathbf{V}\cdot\mathbf{v}')}{V^{2}}\mathbf{V}\right] \equiv \mathbf V \oplus \mathbf v',$

where α_V = 1/γ_V is the reciprocal of the Lorentz factor. The ordering of operands in the definition is chosen to reflect the ordering of the addition of velocities, first V (the velocity of F′ relative to F) then v′ (the velocity of X relative to F′) to obtain v = V ⊕ v′ (the velocity of X relative to F).

In order to facilitate generalization and to avoid proliferation of primes, change notation of V to u, and v′ to v. Define the relativistic addition of the new u and v by the above formula,^{[9][nb 1]}

$\begin{align}\mathbf u \oplus \mathbf v &=\frac{1}{1 + \frac{\mathbf u \cdot \mathbf v}{c^2}}\left[\mathbf u + \frac{\mathbf v}{\gamma_u} + \frac{1}{c^2}\frac{\gamma_u}{1+\gamma_u}(\mathbf u \cdot \mathbf v)\mathbf u\right]\\ &= \frac{1}{1 + \frac{\mathbf u \cdot \mathbf v}{c^2}}\left[\mathbf u + \mathbf v + \frac{1}{c^2}\frac{\gamma_u}{1+\gamma_u} \mathbf u \times(\mathbf u \times \mathbf v)\right],\end{align}$

where the last expression is by the standard vector analysis formula u × (u × v) = (u ⋅ v)u − (u ⋅ u)v, and the due to the cross products it is only true in three spatial dimensions. The first expression extends to any number of spatial dimensions.

Properties

The relativistic addition of 3-velocities is non-linear

$(\lambda \mathbf{u}) \oplus (\mu \mathbf{v}) \neq \lambda \mu (\mathbf{u} \oplus \mathbf{v}) ,$

for any real numbers λ and μ, although it is true that

$(-\mathbf{u}) \oplus (-\mathbf{v}) = - (\mathbf{u} \oplus \mathbf{v}) ,$

Also, due to the last terms, is in general neither commutative

$\mathbf u \oplus \mathbf v \ne \mathbf v \oplus \mathbf u,$

nor associative^[10]

$\mathbf u \oplus (\mathbf v \oplus \mathbf w) \ne (\mathbf u \oplus \mathbf v) \oplus \mathbf w.$

Nipping the bud, if u and v refer to boost velocities, then both u ⊕ v, and v ⊕ u are correct expressions for the combined boost velocity. They are just given in different coordinate systems, the unprimed and the (would be) doubly primed respectively in the old notation, related by a rotation per below. This is the phenomenon of Thomas precession.

The norm is given by^[11]

$|\mathbf u \oplus \mathbf v|^2 = \frac{1}{\left(1+\frac{\mathbf u \cdot \mathbf v}{c^2}\right)^2}\left[\left(\mathbf u + \mathbf v \right)^2 - \frac{1}{c^2}\left(\mathbf u \times \mathbf v\right)^2 \right] = |\mathbf v \oplus \mathbf u|^2.$

For proof, click here. 

$\begin{align}\left(1+\frac{\mathbf u \cdot \mathbf v}{c^2}\right)^2|\mathbf u \oplus \mathbf v|^2 &= \left[ \mathbf u + \mathbf v + \frac{1}{c^2}\frac{\gamma_u}{1+\gamma_u}\mathbf u \times(\mathbf u \times \mathbf v)\right]^2\\ &=(\mathbf u + \mathbf v)^2 +2\frac{1}{c^2} \frac{\gamma_u}{\gamma_u + 1} \left[(\mathbf u \cdot \mathbf v)^2-(\mathbf u\cdot\mathbf u)(\mathbf v\cdot\mathbf v)\right] + \frac{1}{c^4}\left(\frac{\gamma_u}{\gamma_u + 1}\right)^2\left[(\mathbf u\cdot\mathbf u)^2(\mathbf v \cdot \mathbf v) - (\mathbf u\cdot \mathbf v)^2(\mathbf u\cdot \mathbf u)\right]\\ &=(\mathbf u + \mathbf v)^2 +2\frac{1}{c^2} \frac{\gamma_u}{\gamma_u + 1} \left[(\mathbf u \cdot \mathbf v)^2-(\mathbf u\cdot\mathbf u)(\mathbf v\cdot\mathbf v)\right] + \frac{u^2}{c^4}\left(\frac{\gamma_u}{\gamma_u + 1}\right)^2\left[(\mathbf u\cdot\mathbf u)(\mathbf v \cdot \mathbf v) - (\mathbf u\cdot \mathbf v)^2\right]\\ &=(\mathbf u + \mathbf v)^2 +2\frac{1}{c^2} \frac{\gamma_u}{\gamma_u + 1} \left[(\mathbf u \cdot \mathbf v)^2-(\mathbf u\cdot\mathbf u)(\mathbf v\cdot\mathbf v)\right] + \frac{(1-\alpha_u)(1+\alpha_u)}{c^2}\left(\frac{\gamma_u}{\gamma_u + 1}\right)^2\left[(\mathbf u\cdot\mathbf u)(\mathbf v \cdot \mathbf v) - (\mathbf u\cdot \mathbf v)^2\right]\\ &=(\mathbf u + \mathbf v)^2 +2\frac{1}{c^2} \frac{\gamma_u}{\gamma_u + 1} \left[(\mathbf u \cdot \mathbf v)^2-(\mathbf u\cdot\mathbf u)(\mathbf v\cdot\mathbf v)\right] + \frac{(\gamma_u-1)}{c^2(\gamma_u + 1)}\left[(\mathbf u\cdot\mathbf u)(\mathbf v \cdot \mathbf v) - (\mathbf u\cdot \mathbf v)^2\right]\\ &=(\mathbf u + \mathbf v)^2 +2\frac{1}{c^2} \frac{\gamma_u}{\gamma_u + 1} \left[(\mathbf u \cdot \mathbf v)^2-(\mathbf u\cdot\mathbf u)(\mathbf v\cdot\mathbf v)\right] + \frac{(1-\gamma_u)}{c^2(\gamma_u + 1)}\left[(\mathbf u\cdot \mathbf v)^2 - (\mathbf u\cdot\mathbf u)(\mathbf v \cdot \mathbf v)\right]\\ &=(\mathbf u + \mathbf v)^2 +\frac{1}{c^2} \frac{\gamma_u+1}{\gamma_u + 1} \left[(\mathbf u \cdot \mathbf v)^2-(\mathbf u\cdot\mathbf u)(\mathbf v\cdot\mathbf v)\right]\\ &=(\mathbf u + \mathbf v)^2 -\frac{1}{c^2} |\mathbf u \times \mathbf v|^2 \end{align}$

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 factor for the combined velocity is computed as

$\gamma_{\mathbf u \oplus \mathbf v} =\left[ 1 - \frac{1}{c^2}\frac{1}{(1+\frac{\mathbf u \cdot \mathbf v}{c^2})^2} \left( (\mathbf u + \mathbf v)^2 - \frac{1}{c^2}(u^2v^2 - (\mathbf u \cdot \mathbf v)^2)\right)\right]^{-\frac{1}{2}}=\gamma_u\gamma_v\left(1+\frac{\mathbf u \cdot \mathbf v}{c^2}\right).$

Click for detailed proof 

$\begin{align}\gamma_{\mathbf u \oplus \mathbf v} &= \left[ \frac{c^2(1+\frac{\mathbf u \cdot \mathbf v}{c^2})^2}{c^2(1+\frac{\mathbf u \cdot \mathbf v}{c^2})^2} - \frac{1}{c^2}\frac{ (\mathbf u + \mathbf v)^2 - \frac{1}{c^2}(u^2v^2 - (\mathbf u \cdot \mathbf v)^2)}{(1+\frac{\mathbf u \cdot \mathbf v}{c^2})^2}\right]^{-\frac{1}{2}}\\ &=\left[ \frac{c^2(1+\frac{\mathbf u \cdot \mathbf v}{c^2})^2 - (\mathbf u + \mathbf v)^2 + \frac{1}{c^2}(u^2v^2 - (\mathbf u \cdot \mathbf v)^2)}{c^2(1+\frac{\mathbf u \cdot \mathbf v}{c^2})^2} \right]^{-\frac{1}{2}}\\ &=\left[ \frac{c^2(1+2\frac{\mathbf u \cdot \mathbf v}{c^2} + \frac{(\mathbf u \cdot \mathbf v)^2}{c^4}) - u^2 - v^2 - 2(\mathbf u \cdot \mathbf v) + \frac{1}{c^2}(u^2v^2 - (\mathbf u \cdot \mathbf v)^2)}{c^2(1+\frac{\mathbf u \cdot \mathbf v}{c^2})^2} \right]^{-\frac{1}{2}}\\ &=\left[ \frac{1+2\frac{\mathbf u \cdot \mathbf v}{c^2} + \frac{(\mathbf u \cdot \mathbf v)^2}{c^4} - \frac{u^2}{c^2} - \frac{v^2}{c^2} - \frac{2}{c^2}(\mathbf u \cdot \mathbf v) + \frac{1}{c^4}(u^2v^2 - (\mathbf u \cdot \mathbf v)^2)}{(1+\frac{\mathbf u \cdot \mathbf v}{c^2})^2} \right]^{-\frac{1}{2}}\\ &=\left[ \frac{1 + \frac{(\mathbf u \cdot \mathbf v)^2}{c^4} - \frac{u^2}{c^2} - \frac{v^2}{c^2} + \frac{1}{c^4}(u^2v^2 - (\mathbf u \cdot \mathbf v)^2)}{(1+\frac{\mathbf u \cdot \mathbf v}{c^2})^2} \right]^{-\frac{1}{2}}\\ &=\left[ \frac{(1-\frac{u^2}{c^2})(1-\frac{v^2}{c^2})}{(1+\frac{\mathbf u \cdot \mathbf v}{c^2})^2} \right]^{-\frac{1}{2}}\\ &=\left[ \frac{1}{\gamma_u^2\gamma_v^2(1+\frac{\mathbf u \cdot \mathbf v}{c^2})^2} \right]^{-\frac{1}{2}}\\ &=\gamma_u\gamma_v(1+\frac{\mathbf u \cdot \mathbf v}{c^2})\end{align}$

Despite the nonlinearity in the velocity addition, it is possible to obtain the composition of the beta vectors β_u = u/c and β_v = v/c, which are simply proportional to the relative velocities. Defining β_u⊕β_v = (u⊕v)/c, it follows

$\boldsymbol{\beta}_u\oplus\boldsymbol{\beta}_v=\frac{1}{1+\boldsymbol{\beta}_u\cdot\boldsymbol{\beta}_v }\left[\boldsymbol{\beta}_u+\frac{\boldsymbol{\beta}_v}{\gamma_u}+\frac{\gamma_u}{\gamma_u+1}(\boldsymbol{\beta}_v\cdot\boldsymbol{\beta}_u)\boldsymbol{\beta}_u\right]$

Conventions

Notations and conventions for the velocity addition vary from author to author. Different symbols may be used for the operation, and the operands may be switched for the same expression. Since the velocity addition is non-commutative, we cannot naïvely switch the operands without changing the result.

Left-to-right ordering of operands

Mocanu (1986, 1992) is used in this article,

$\mathbf{u}\oplus\mathbf{v} = \frac{1}{1+\frac{\mathbf{u}\cdot\mathbf{v}}{c^2}}\left[\mathbf{v}+\mathbf{u}+\frac{1}{c^2}\frac{\gamma_\mathbf{u}}{\gamma_\mathbf{u}+1}\mathbf{u}\times(\mathbf{u}\times\mathbf{v})\right]$

Ungar (1988, 1989)

$\mathbf{u}*\mathbf{v}=\frac{1}{1+\frac{\mathbf{u}\cdot\mathbf{v}}{c^2}}\left[\mathbf{v}+\mathbf{u}+\frac{1}{c^2}\frac{\gamma_\mathbf{u}}{\gamma_\mathbf{u}+1}\mathbf{u}\times(\mathbf{u}\times\mathbf{v})\right]$

Right-to-left ordering of operands

Sexl & Urbantke (1992)

$\mathbf{v}\circ\mathbf{u}=\frac{1}{1+\frac{\mathbf{u}\cdot\mathbf{v}}{c^{2}}}\left[\frac{\mathbf{v}}{\gamma_\mathbf{u}}+\mathbf{u}+\frac{1}{c^{2}}\frac{\gamma_\mathbf{u}}{\gamma_\mathbf{u}+1}(\mathbf{v}\cdot\mathbf{u})\mathbf{u}\right]$

Applications

Fizeau experiment

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

When light propagates in a medium, its speed is reduced, in the rest frame of the medium, to c_m = ^c⁄_nm, where n_m is the index of refraction of the medium m. The speed of light in a medium uniformly moving with speed V in the positive x-direction as measured in the lab frame is given directly by the velocity addition formulas. For the forward direction (standard configuration, drop index m on n) one gets,^[12]

$\begin{align}c_m &= \frac{V + c_m'}{1+\frac{Vc_m'}{c^2}} = \frac{V + \frac{c}{n}}{1+\frac{Vc}{nc^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)\left(1 - \frac{V}{nc} + \left(\frac{V}{nc}\right)^2 - \cdots\right).\end{align}$

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.^[13][14] 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, v′ = v = c, and insertion in the formula for tan θ yields

$\tan \theta = \frac{\sqrt{1-\frac{V^2}{c^2}}c\sin \theta'}{c\cos \theta' + V} = \frac{\sqrt{1-\frac{V^2}{c^2}}\sin \theta'}{\cos \theta' + \frac{V}{c}}.$

For this case one may also compute sin θ and cos θ from the standard formulae,^[15]

$\begin{align}\sin \theta &=\frac{\sqrt{1-\frac{V^2}{c^2}}\sin \theta'}{1+\frac{V}{c}\cos \theta'},\end{align}$

Trigonometry 

$\begin{align}\frac{v_y}{v} &= \frac{\frac{\sqrt{1-\frac{V^2}{c^2}}v_y'}{1 + \frac{V}{c^2}v_x'}}{\frac{\sqrt{v'^2 +V^2+2Vv'\cos \theta' - (\frac{Vv'\sin\theta'}{c})^2}}{1 + \frac{V}{c^2}v'\cos \theta'}}\\ &= \frac{c\sqrt{1-\frac{V^2}{c^2}}\sin \theta'}{\sqrt{c^2 +V^2+2Vc\cos \theta' - V^2\sin^2\theta'}}\\ &= \frac{c\sqrt{1-\frac{V^2}{c^2}}\sin \theta'}{\sqrt{c^2 +V^2+2Vc\cos \theta' - V^2(1 - \cos^2\theta')}} = \frac{c\sqrt{1-\frac{V^2}{c^2}}\sin \theta'}{\sqrt{c^2 +2Vc\cos \theta' + V^2\cos^2\theta'}}\\ &= \frac{\sqrt{1-\frac{V^2}{c^2}}\sin \theta'}{1+\frac{V}{c}\cos \theta'}, \end{align}$

$\cos \theta = \frac{\frac{V}{c} + \cos \theta'}{1+\frac{V}{c}\cos \theta'},$

James Bradley (1693 – 1762) FRS, provided an explanation of aberration of light correct at the classical level,^[16] 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 cos case to the manipulations in the sin case. Consider the difference,

$\begin{align}\sin \theta - \sin \theta' &= \sin \theta'\left(\frac{\sqrt{1 - \frac{V^2}{c^2}}}{1 + \frac{V}{c} \cos \theta'} - 1\right)\\ &\approx \sin \theta'\left(1 -\frac{V}{c} \cos \theta' - 1\right) = -\frac{V}{c}\sin\theta'\cos\theta',\end{align}$

correct to order ^v⁄_c. Employ in order to make small angle approximations a trigonometric formula,

$\begin{align}\sin \theta' - \sin \theta &= 2\sin \frac{1}{2}(\theta'-\theta)\cos\frac{1}{2}(\theta + \theta') \approx (\theta' - \theta)\cos\theta', \end{align}$

where cos1/2(θ + θ′) ≈ cos θ′, sin1/2(θ − θ′) ≈ 1/2(θ − θ′) were used.

Thus the quantity

$\Delta \theta \equiv \theta' - \theta = \frac{V}{c}\sin \theta',$

the classical aberration angle, is obtained in the limit ^V⁄_c → 0.

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 x-direction, 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 T 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 τ, and its inverse ν = ¹⁄_τ is the observed (temporal) frequency. The corresponding quantities in the emitters frame are endowed with primes.^[17]

For light waves

$s = s' = -c,$

and the observed frequency is^[18][19]

$\nu = {-s \over \lambda} = {-s \over (V-s)T} = {c \over (V+c)\gamma_V T'} = \nu'\frac{c\sqrt{1 - {V^2 \over c^2}}}{c+V} = \nu'\sqrt{\frac{1-\beta}{1+\beta}}\,.$

where T = γ_VT′ is standard time dilation formula.

Suppose instead that the wave is not composed of light waves with speed c, but instead, for easy visualization, bullets fired from a relativistic machine gun, with velocity s′ in the frame of the emitter. Then, in general, the geometrical observation is precisely the same. But now, s′ ≠ s, and s is given by velocity addition,

$s = \frac{s' + V}{1+{s'V\over c^2}}.$

The calculation is then essentially the same, except that here it is easier carried out upside down with τ = ¹⁄_ν instead of ν. One finds

$\tau= {1 \over \gamma_V\nu'}\left(\frac{1}{1+{V\over s'}}\right), \quad \nu = \gamma_V\nu'\left(1+{V\over s'}\right)$

Details in derivation 

$\begin{align}{L\over -s} &= \frac{\left(\frac{-s'-V}{1+{s'V\over c^2}} + V\right) T} {\frac{-s'-V}{1+{s'V\over c^2}}}\\ &={\gamma_V \over \nu'}\frac{-s'-V + V(1+{s'V\over c^2})}{-s'-V}\\ &={\gamma_V \over \nu'}\left(\frac{s'\left(1-{V^2\over c^2}\right)}{s'+V}\right)\\ &={\gamma_V \over \nu'}\left(\frac{s'\gamma^{-2}}{s'+V}\right)\\ &={1 \over \gamma_V\nu'}\left(\frac{1}{1+{V\over s'}}\right).\\ \end{align}$

Observe that in the typical case, the s′ that enters is negative. The formula has general validity though.^{[nb 2]} When s′ = −c, the formula reduces to the formula calculated directly for light waves above,

$\nu = \nu'\gamma_V(1-\beta) = \nu'\frac{1-\beta}{\sqrt{1-\beta}\sqrt{1+\beta}}=\nu'\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 s′ 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, but still traveling in straight lines with uniform relative velocity, the result has little modification:^[20][21]

$\nu = \gamma_V\nu' \left(1+\frac{V}{s'}\cos\theta\right)$

where θ is the angle between the light emitter and the observer. This reduces to the previous result for collinear motion when θ = 0, but for transverse motion corresponding to θ = π/2, the frequency is shifted by the Lorentz factor. This does not happen in the classical optical Doppler effect.

Hyperbolic geometry

The addition law on collinear form is also the law of addition of hyperbolic tangents

$\tanh(a + b) = {\tanh a + \tanh b \over 1+ \tanh a \tanh b }$

where

${v\over c} = \tanh a \ , \quad {u \over c}=\tanh b \ , \quad\, {s\over c}=\tanh(a + b) ,$

which shows that the composition of collinear velocities is associative and commutative.

The quantities a and b (equal to the artanh of the velocities divided by c) are known as rapidities. The reason that the velocities are hyperbolic tangents is because the Lorentz transformation can be thought of as the application of a hyperbolic rotation through a hyperbolic angle which is the rapidity. Suppose the velocity of a line in space-time is the slope of the line, which is the hyperbolic tangent of the rapidity, just as the slope of the x-axis after a rotation is given by the tangent of the rotation angle. When a plane is successively rotated by two angles, the final rotation is by the sum of the two angles. So the final slope of the x-axis is the tangent of the sum of the two angles. In the same way, the slope of the time axis after two boosts is the hyperbolic tangent of the sum of the two rapidities.

The a and b of above can be thought of as being the radial coordinate on a 3-dimensional subspace with spherical coordinates, or the norm of a cartesian vector, of the Lie algebra of the Lorentz group spanned by the boost generators. This space is homeomorphic with ℝ³, and is mapped to the open unit ball B³ via^[22]

$\mathfrak{so}(3,1) \supset \mathrm{span}\{K_1, K_2, K_3\} \approx \mathbb{R}^3 \ni \boldsymbol{\zeta} = \boldsymbol{\hat{\beta}} \tanh^{-1}\beta, \quad \boldsymbol{\beta} \in \mathbb{B}^3,$

where ζ is a 3-vector in the boost subspace, expressed in cartesian coordinates, called the boost parameter and its norm the rapidity. The line element in ℝ³ is given by^[23]

$dl_\boldsymbol{\zeta}^2 = \frac{d\mathbf \zeta^2 - (\boldsymbol \zeta \times d\boldsymbol \zeta)^2}{(1-\zeta^2)^2} = \frac{d\zeta^2}{1-\zeta^2}(d\theta^2 + \sin^2\theta d\varphi^2).$

Now introduce β through

$\zeta = |\boldsymbol \zeta| = \tanh^{-1}\beta,$

with θ and φ the usual spherical angle coordinates, and the line element on the open unit ball becomes

$dl_{\boldsymbol \zeta}^2 = d\beta^2 + \sinh^2\beta(d\theta^2 + \sin^2\theta d\varphi^2).$

See also

• Biquaternion

Remarks

1. These formulae follow from inverting α_u for u² and applying the difference of two squares to obtain

   u² = c²(1 − α_u²) = c²(1 − α_u)(1 + α_u)

   so that

   (1 − α_u)/u² = 1/c²(1 + α_u) = γ_u/c²(1 + γ_u).

2. Note that s′ is negative in the sense for which that the problem is set up, i.e. emitter with positive velocity fires fast bullets towards observer in unprimed system. The convention is that −s > V should yield positive frequency in accordance with the result for the ultimate velocity, s = −c. Hence the minus sign is a convention, but a very natural convention, to the point of being canonical.

   The formula may also result in negative frequencies. The interpretation then is that the bullets are approaching from the negative x-axis. This may have two causes. The emitter can have large positive velocity and be firing slow bullets. It can also be the case that the emitter has small negative velocity and is firing fast bullets. But if the emitter has a large negative velocity and is firing slow bullets, the frequency is again positive.

   For some of these combination to make sense, it must be required that the emitter has been firing bullets for sufficiently long time, in the limit that the x-axis at any instant has equally spaced bullets everywhere.

Notes

1. Kleppner & Kolenkow 1978, Chapters 11–14
2. Galileo 1632 Dialogue on the two World Systems This observation is now regarded as the first clear statement of the principle of mechanical relativity.
3. Galileo 1638 in Two New Sciences who used this insight to show that the path of the weight when seen from the shore would be a parabola.
4. Mermin, N. David (2005). It's About Time: Understanding Einstein's Relativity. Princeton University Press, p. 37. ISBN 0-691-12201-6.
5. Landau & Lifshitz 2002, p. 13
6. Kleppner & Kolenkow 1978, p. 457
7. Jackson 1999, p. 531
8. Lerner & Trigg 1991, p. 1053
9. Friedman 2002, pp. 1–21
10. The so-called "Mocanu paradox". See Mocanu, C. I. (1992). "On the relativistic velocity composition paradox and the Thomas rotation". Foundations of Physics (Plenum) 5: 443–456.
11. Landau & Lifshitz 2002, p. 37 Equation (12.6) This is derived quite differently by consideration of invariant cross sections.
12. Kleppner & Kolenkow 1978, p. 474
13. Fizeau 1851E
14. Fizeau 1860
15. Landau & Lifshitz 2002, p. 14
16. Bradley 1727–1728
17. Kleppner & Kolenkow 1978, p. 477 In the reference, the speed of an approaching emitter is taken as positive. Hence the sign difference.
18. Tipler & Mosca 2008, pp. 1328–1329
19. Mansfield & O'Sullivan 2011, pp. 491–492
20. Lerner & Trigg 1991, p. 259
21. Parker 1993, p. 312
22. Jackson 1999, p. 547
23. Landau & Lifshitz 2002, p. 38

References

• Jackson, J. D. (1999) [1962]. "Chapter 11". Classical Electrodynamics (3d ed.). John Wiley & Sons. ISBN 0-471-30932-X. (graduate level)
• Kleppner, D.; Kolenkow, R. J. (1978) [1973]. An Introduction to Mechanics. London: McGraw-Hill. ISBN 0-07-035048-5. (introductory level)
• Landau, L.D.; Lifshitz, E.M. (2002) [1939]. The Classical Theory of Fields. Course of Theoretical Physics 2 (4th ed.). Butterworth–Heinemann. ISBN 0 7506 2768 9. (graduate level)
• Lerner, R.G.; Trigg, G.L. (1991). Encyclopaedia of Physics (2nd ed.). VHC Publishers, Springer. ISBN 978-0-07-025734-4.
• Parker, S. P. (1993). McGraw Hill Encyclopaedia of Physics (2nd ed.). McGraw Hill. ISBN 978-0070514003.
• Friedman, Yaakov; Scarr, Tzvi (2005). Physical applications of homogeneous balls. Birkhäuser. pp. 1&ndash21. ISBN 0-8176-3339-1.
• Sexl, R. U.; Urbantke, H. K. (2001) [1992]. Relativity, Groups Particles. Special Relativity and Relativistic Symmetry in Field and Particle Physics. Springer. pp. 38–43. ISBN 978-3211834435.
• Tipler, P.; Mosca, G. (2008). Physics for Scientists and Engineers (6th ed.). Freeman. pp. 1328–1329. ISBN 978-1429202657.
• Mansfield, M.; O'Sullivan, C. (2011). Understanding Physics (2nd ed.). Wiley. pp. 491–492. ISBN 978-0-470-74637-0.

Historical

• Bradley, James (1727–1728). "A Letter from the Reverend Mr. James Bradley Savilian Professor of Astronomy at Oxford, and F.R.S. to Dr.Edmond Halley Astronom. Reg. &c. Giving an Account of a New Discovered Motion of the Fix'd Stars". Phil. Trans. R. Soc. (pdf) 35: 637–661. doi:10.1098/rstl.1727.0064.
• Doppler, C. (1903) [1842], Über das farbige Licht der Doppelsterne und einiger anderer Gestirne des Himmels [About the coloured light of the binary stars and some other stars of the heavens] (in German) 2 (V), Prague: Abhandlungen der Königl. Böhm. Gesellschaft der Wissenschaften, pp. 465–482
• Fizeau, H. (1851F). "Sur les hypothèses relatives à l’éther lumineux" [The Hypotheses Relating to the Luminous Aether]. Comptes Rendus (in French) 33: 349–355.
• Fizeau, H. (1851E). "The Hypotheses Relating to the Luminous Aether". Philosophical Magazine 2: 568–573.
• Fizeau, H. (1859). "Sur les hypothèses relatives à l’éther lumineux" [On the Effect of the Motion of a Body upon the Velocity with which it is traversed by Light]. Ann. Chim. Phys. (in French) 57: 385–404.
• Fizeau, H. (1860). "On the Effect of the Motion of a Body upon the Velocity with which it is traversed by Light". Philosophical Magazine 19: 245–260.
• Einstein, A: Zur Elektrodynamik bewegter Körper (On the Electrodynamics of moving bodies) Ann. der Physik 1905, vol,322(10), pp. 891–921, See section 5 "The composition of velocities" url=https://en.wikisource.org/wiki/On_the_Electrodynamics_of_Moving_Bodies_%281920_edition%29}

External links

• Sommerfeld, Arnold (1909): On the Composition of Velocities in the Theory of Relativity, Verh. der DPG, 21: 577-582