History of Lorentz transformations explained

- x ^{2} _{0} + … + x ^{2} _{n} and the Minkowski inner product - x _{0} y _{0} + … + x _{n} y _{n} .

In mathematics, transformations equivalent to what was later known as Lorentz transformations in various dimensions were discussed in the 19th century in relation to the theory of quadratic forms, hyperbolic geometry, Möbius geometry, and sphere geometry, which is connected to the fact that the group of motions in hyperbolic space, the Möbius group or projective special linear group, and the Laguerre group are isomorphic to the Lorentz group.

In physics, Lorentz transformations became known at the beginning of the 20th century, when it was discovered that they exhibit the symmetry of Maxwell's equations. Subsequently, they became fundamental to all of physics, because they formed the basis of special relativity in which they exhibit the symmetry of Minkowski spacetime, making the speed of light invariant between different inertial frames. They relate the spacetime coordinates of two arbitrary inertial frames of reference with constant relative speed v. In one frame, the position of an event is given by x,y,z and time t, while in the other frame the same event has coordinates x′,y′,z′ and t′.

Mathematical prehistory

Using the coefficients of a symmetric matrix A, the associated bilinear form, and a linear transformations in terms of transformation matrix g, the Lorentz transformation is given if the following conditions are satisfied:

\begin{matrix}\begin{align} - x ^{2} _{0} + … + x ^{2} _{n} & =- x ^{\prime 2} _{0} +...+ x ^{\prime 2} _{n} \\ - x _{0} y _{0} + … + x _{n} y _{n} & =- x ^{\prime} _{0} y ^{\prime} _{0} + … + x ^{\prime} _{n} y ^{\prime} _{n} \end{align} \\ \hline \begin{matrix} x ' = g ⋅ x \\ x = g ^{-1} ⋅ x ' \end{matrix}\\ \hline \begin{matrix}\begin{align} A ⋅ g ^{T} ⋅ A & = g ^{-1} \\ g ^{{\rm} }\cdot\mathbf\cdot\mathbf & =\mathbf\\\mathbf\cdot\mathbf\cdot\mathbf^ & =\mathbf\end\end\\\hline \mathbf=(-1,1,\dots,1)\\\det \mathbf=\pm1\end

It forms an indefinite orthogonal group called the Lorentz group O(1,n), while the case det g=+1 forms the restricted Lorentz group SO(1,n). The quadratic form becomes the Lorentz interval in terms of an indefinite quadratic form of Minkowski space (being a special case of pseudo-Euclidean space), and the associated bilinear form becomes the Minkowski inner product.^{[1] [2]} Long before the advent of special relativity it was used in topics such as the Cayley–Klein metric, hyperboloid model and other models of hyperbolic geometry, computations of elliptic functions and integrals, transformation of indefinite quadratic forms, squeeze mappings of the hyperbola, group theory, Möbius transformations, spherical wave transformation, transformation of the Sine-Gordon equation, Biquaternion algebra, split-complex numbers, Clifford algebra, and others.

Electrodynamics and special relativity

Overview

In the special relativity, Lorentz transformations exhibit the symmetry of Minkowski spacetime by using a constant c as the speed of light, and a parameter v as the relative velocity between two inertial reference frames. Using the above conditions, the Lorentz transformation in 3+1 dimensions assume the form:

\begin{matrix} - c ^{2} t ^{2} + x ^{2} + y ^{2} + z ^{2} =- c ^{2} t ^{\prime2} + x ^{\prime2} + y ^{\prime2} + z ^{\prime2} \\ \hline \left.\begin{align}t' & = \gamma\left(t - x (v)/(c ^{2}) \right)\\ x' & = \gamma(x - vt)\\ y' & = y\\ z' & = z \end{align} \right|\begin{align}t & = \gamma\left(t' + x (v)/(c ^{2}) \right)\\ x & = \gamma(x' + vt')\\ y & = y'\\ z & = z' \end{align} \end{matrix} ⇒ \begin{align}(ct' + x') & = (ct + x)\sqrt{ (c + v)/(c - v) }\\(ct'-x') & =(ct-x)\sqrt\end

In physics, analogous transformations have been introduced by Voigt (1887) related to an incompressible medium, and by Heaviside (1888), Thomson (1889), Searle (1896) and Lorentz (1892, 1895) who analyzed Maxwell's equations. They were completed by Larmor (1897, 1900) and Lorentz (1899, 1904), and brought into their modern form by Poincaré (1905) who gave the transformation the name of Lorentz.^[3] Eventually, Einstein (1905) showed in his development of special relativity that the transformations follow from the principle of relativity and constant light speed alone by modifying the traditional concepts of space and time, without requiring a mechanical aether in contradistinction to Lorentz and Poincaré.^[4] Minkowski (1907–1908) used them to argue that space and time are inseparably connected as spacetime.

Regarding special representations of the Lorentz transformations: Minkowski (1907–1908) and Sommerfeld (1909) used imaginary trigonometric functions, Frank (1909) and Varićak (1910) used hyperbolic functions, Bateman and Cunningham (1909–1910) used spherical wave transformations, Herglotz (1909–10) used Möbius transformations, Plummer (1910) and Gruner (1921) used trigonometric Lorentz boosts, Ignatowski (1910) derived the transformations without light speed postulate, Noether (1910) and Klein (1910) as well Conway (1911) and Silberstein (1911) used Biquaternions, Ignatowski (1910/11), Herglotz (1911), and others used vector transformations valid in arbitrary directions, Borel (1913–14) used Cayley–Hermite parameter,

Voigt (1887)

Woldemar Voigt (1887)^[5] developed a transformation in connection with the Doppler effect and an incompressible medium, being in modern notation:^{[6] [7]}

\begin{matrix} original & modern \\ \hline \left.\begin{align}\xi _{1} & = x _{1} - \varkappa t\\ η _{1} & = y _{1} q\\ \zeta _{1} & = z _{1} q\\ \tau & = t - (\varkappa x _{1})/(\omega ^{2}) \\ q & = \sqrt{ 1- (\varkappa ^{2})/(\omega ^{2}) }\end\right| & \beginx^ & =x-vt\\y^ & =\frac\\z^ & =\frac\\t^ & =t-\frac\\\frac & =\sqrt\end\end

If the right-hand sides of his equations are multiplied by γ they are the modern Lorentz transformation. In Voigt's theory the speed of light is invariant, but his transformations mix up a relativistic boost together with a rescaling of space-time. Optical phenomena in free space are scale, conformal, and Lorentz invariant, so the combination is invariant too. For instance, Lorentz transformations can be extended by using factor

l :^[8] x ^{\prime} = \gamma l\left(x - vt\right), y ^{\prime} = ly, z ^{\prime} = lz, t ^{\prime} = \gamma l\left(t - x (v)/(c ^{2}) \right) .

l=1/γ gives the Voigt transformation, l=1 the Lorentz transformation. But scale transformations are not a symmetry of all the laws of nature, only of electromagnetism, so these transformations cannot be used to formulate a principle of relativity in general. It was demonstrated by Poincaré and Einstein that one has to set l=1 in order to make the above transformation symmetric and to form a group as required by the relativity principle, therefore the Lorentz transformation is the only viable choice.

Voigt sent his 1887 paper to Lorentz in 1908,^[9] and that was acknowledged in 1909:

Also Hermann Minkowski said in 1908 that the transformations which play the main role in the principle of relativity were first examined by Voigt in 1887. Voigt responded in the same paper by saying that his theory was based on an elastic theory of light, not an electromagnetic one. However, he concluded that some results were actually the same.^[10]

Heaviside (1888), Thomson (1889), Searle (1896)

In 1888, Oliver Heaviside^[11] investigated the properties of charges in motion according to Maxwell's electrodynamics. He calculated, among other things, anisotropies in the electric field of moving bodies represented by this formula:^[12]

E = \left( (q r)/(\right)\left( 1- r ^{2}) (v ^{2} \sin ^{2} \theta)/(c ^{2}) \right) ^{-3/2} .

Consequently, Joseph John Thomson (1889)^[13] found a way to substantially simplify calculations concerning moving charges by using the following mathematical transformation (like other authors such as Lorentz or Larmor, also Thomson implicitly used the Galilean transformation z-vt in his equation):

\begin{matrix} original & modern \\ \hline \left.\begin{align}z & = \left\{ 1- (\omega ^{2})/(v ^{2}) \right\} ^{(1)/(2)} z'\end{align} \right| & \begin{align}z ^{\ast} = z - vt & = (z')/(\gamma) \end{align} \end{matrix}

Thereby, inhomogeneous electromagnetic wave equations are transformed into a Poisson equation.^[14] Eventually, George Frederick Charles Searle^[15] noted in (1896) that Heaviside's expression leads to a deformation of electric fields which he called "Heaviside-Ellipsoid" of axial ratio

\begin{matrix} original & modern \\ \hline \left.\begin{align} & \sqrt{\alpha}: 1 : 1 \\ \alpha = & 1- (u ^{2})/(v ^{2}) \end{align} \right| & \begin{align} & (1)/(: 1 : 1 \\ \gamma) (1)/(\gamma ^{2}) & =1- (v ^{2})/(c ^{2}) \end{align} \end{matrix}

Lorentz (1892, 1895)

In order to explain the aberration of light and the result of the Fizeau experiment in accordance with Maxwell's equations, Lorentz in 1892 developed a model ("Lorentz ether theory") in which the aether is completely motionless, and the speed of light in the aether is constant in all directions. In order to calculate the optics of moving bodies, Lorentz introduced the following quantities to transform from the aether system into a moving system (it's unknown whether he was influenced by Voigt, Heaviside, and Thomson)^{[16] [17]}

\begin{matrix} original & modern \\ \hline \left.\begin{align} ak{x} & = (V)/(\sqrt{V ^{2} - p ^{2}) }x\\t' & =t-\frac\mathfrak\\\varepsilon & =\frac\end\right| & \beginx^ & =\gamma x^=\gamma(x-vt)\\t^ & =t-\frac=\gamma^\left(t-\frac\right)\\\gamma\frac & =\frac\end\end

where x^* is the Galilean transformation x-vt. Except the additional γ in the time transformation, this is the complete Lorentz transformation. While t is the "true" time for observers resting in the aether, t′ is an auxiliary variable only for calculating processes for moving systems. It is also important that Lorentz and later also Larmor formulated this transformation in two steps. At first an implicit Galilean transformation, and later the expansion into the "fictitious" electromagnetic system with the aid of the Lorentz transformation. In order to explain the negative result of the Michelson–Morley experiment, he (1892b)^[18] introduced the additional hypothesis that also intermolecular forces are affected in a similar way and introduced length contraction in his theory (without proof as he admitted). The same hypothesis had been made previously by George FitzGerald in 1889 based on Heaviside's work. While length contraction was a real physical effect for Lorentz, he considered the time transformation only as a heuristic working hypothesis and a mathematical stipulation.

In 1895, Lorentz further elaborated on his theory and introduced the "theorem of corresponding states". This theorem states that a moving observer (relative to the ether) in his "fictitious" field makes the same observations as a resting observers in his "real" field for velocities to first order in v/c. Lorentz showed that the dimensions of electrostatic systems in the ether and a moving frame are connected by this transformation:^[19]

\begin{matrix} original & modern \\ \hline \left.\begin{align}x & = x ^{\prime} \sqrt{ 1- (ak{p)/(^{2}) }}\\y & =y^\\z & =z^\\t & =t^\end\right| & \beginx^=x-vt & =\frac\\y & =y^\\z & =z^\\t & =t^\end\end

For solving optical problems Lorentz used the following transformation, in which the modified time variable was called "local time" (German: Ortszeit) by him:^[20]

\begin{matrix} original & modern \\ \hline \left.\begin{align}x & = x - ak{p} _{x} t\\ y & = y - ak{p} _{y} t\\ z & = z - ak{p} _{z} t\\ t ^{\prime} & = t - (ak{p)/(_{x}) }x-\fracy-\fracz\end\right| & \beginx^ & =x-v_t\\y^ & =y-v_t\\z^ & =z-v_t\\t^ & =t-\fracx'-\fracy'-\fracz'\end\end

With this concept Lorentz could explain the Doppler effect, the aberration of light, and the Fizeau experiment.^[21]

Larmor (1897, 1900)

In 1897, Larmor extended the work of Lorentz and derived the following transformation^[22]

\begin{matrix} original & modern \\ \hline \left.\begin{align}x _{1} & = x\varepsilon ^{(1)/(2)} \\ y _{1} & = y\\ z _{1} & = z\\ t ^{\prime} & = t - vx/c ^{2} \\ dt _{1} & = dt ^{\prime} \varepsilon ^{- (1)/(2)} \\ \varepsilon & = \left( 1- v ^{2} /c ^{2} \right) ^{-1} \end{align} \right| & \begin{align}x _{1} & = \gamma x ^{\ast} = \gamma(x - vt)\\ y _{1} & = y\\ z _{1} & = z\\ t ^{\prime} & = t - (vx ^{\ast})/(= t - c ^{2}) (v(x - vt))/(c ^{2}) \\ dt _{1} & = (dt ^{\prime})/(\gamma) \\ \gamma ^{2} & = (1)/(1- (v ^{2})/(c ^{2})) \end{align} \end{matrix}

Larmor noted that if it is assumed that the constitution of molecules is electrical then the FitzGerald–Lorentz contraction is a consequence of this transformation, explaining the Michelson–Morley experiment. It's notable that Larmor was the first who recognized that some sort of time dilation is a consequence of this transformation as well, because "individual electrons describe corresponding parts of their orbits in times shorter for the [rest] system in the ratio 1/γ".^{[23] [24]} Larmor wrote his electrodynamical equations and transformations neglecting terms of higher order than (v/c)² – when his 1897 paper was reprinted in 1929, Larmor added the following comment in which he described how they can be made valid to all orders of v/c:^[25]

In line with that comment, in his book Aether and Matter published in 1900, Larmor used a modified local time t″=t′-εvx′/c² instead of the 1897 expression t′=t-vx/c² by replacing v/c² with εv/c², so that t″ is now identical to the one given by Lorentz in 1892, which he combined with a Galilean transformation for the x′, y′, z′, t′ coordinates:^[26]

\begin{matrix} original & modern \\ \hline \left.\begin{align}x ^{\prime} & = x - vt\\ y ^{\prime} & = y\\ z ^{\prime} & = z\\ t ^{\prime} & = t\\ t ^{\prime\prime} & = t ^{\prime} - \varepsilon vx ^{\prime} /c ^{2} \end{align} \right| & \begin{align}x ^{\prime} & = x - vt\\ y ^{\prime} & = y\\ z ^{\prime} & = z\\ t ^{\prime} & = t\\ t ^{\prime\prime} = t ^{\prime} - (\gamma ^{2} vx ^{\prime})/(c ^{2}) & = \gamma ^{2} \left(t - (vx)/(c ^{2}) \right) \end{align} \end{matrix}

Larmor knew that the Michelson–Morley experiment was accurate enough to detect an effect of motion depending on the factor (v/c)², and so he sought the transformations which were "accurate to second order" (as he put it). Thus he wrote the final transformations (where x′=x-vt and t″ as given above) as:^[27]

\begin{matrix} original & modern \\ \hline \left.\begin{align}x _{1} & = \varepsilon ^{(1)/(2)} x ^{\prime} \\ y _{1} & = y ^{\prime} \\ z _{1} & = z ^{\prime} \\ dt _{1} & = \varepsilon ^{- (1)/(2)} dt ^{\prime\prime} = \varepsilon ^{- (1)/(2)} \left(dt ^{\prime} - (v)/(c ^{2}) \varepsilon dx ^{\prime} \right)\\ t _{1} & = \varepsilon ^{- (1)/(2)} t ^{\prime} - (v)/(c ^{2}) \varepsilon ^{(1)/(2)} x ^{\prime} \end{align} \right| & \begin{align}x _{1} & = \gamma x ^{\prime} = \gamma(x - vt)\\ y _{1} & = y' = y\\ z _{1} & = z' = z\\ dt _{1} & = (dt ^{\prime\prime})/(= \gamma) (1)/(\gamma) \left(dt ^{\prime} - (\gamma ^{2} vdx ^{\prime})/(\right) = \gamma\left(dt - c ^{2}) (vdx)/(c ^{2}) \right)\\ t _{1} & = (t ^{\prime})/(- \gamma) (\gamma vx ^{\prime})/(= \gamma\left(t - c ^{2}) (vx)/(c ^{2}) \right) \end{align} \end{matrix}

by which he arrived at the complete Lorentz transformation. Larmor showed that Maxwell's equations were invariant under this two-step transformation, "to second order in v/c" – it was later shown by Lorentz (1904) and Poincaré (1905) that they are indeed invariant under this transformation to all orders in v/c.

Larmor gave credit to Lorentz in two papers published in 1904, in which he used the term "Lorentz transformation" for Lorentz's first order transformations of coordinates and field configurations:

Lorentz (1899, 1904)

Also Lorentz extended his theorem of corresponding states in 1899. First he wrote a transformation equivalent to the one from 1892 (again, x* must be replaced by x-vt):^[28]

\begin{matrix} original & modern \\ \hline \left.\begin{align}x ^{\prime} & = (V)/(\sqrt{V ^{2} - ak{p) ^{2} ^{x} }}x\\y^ & =y\\z^ & =z\\t^ & =t-\fracx\end\right| & \beginx^ & =\gamma x^=\gamma(x-vt)\\y^ & =y\\z^ & =z\\t^ & =t-\frac=\gamma^\left(t-\frac\right)\end\end

Then he introduced a factor ε of which he said he has no means of determining it, and modified his transformation as follows (where the above value of t′ has to be inserted):^[29]

\begin{matrix} original & modern \\ \hline \left.\begin{align}x & = (\varepsilon)/(k) x ^{\prime\prime} \\ y & = \varepsilon y ^{\prime\prime} \\ z & = \varepsilon x ^{\prime\prime} \\ t ^{\prime} & = k\varepsilon t ^{\prime\prime} \\ k & = (V)/(\sqrt{V ^{2} - ak{p) ^{2} ^{x} }}\end\right| & \beginx^=x-vt & =\fracx^\\y & =\varepsilon y^\\z & =\varepsilon z^\\t^=\gamma^\left(t-\frac\right) & =\gamma\varepsilon t^\\\gamma & =\frac\end\end

This is equivalent to the complete Lorentz transformation when solved for x″ and t″ and with ε=1. Like Larmor, Lorentz noticed in 1899^[30] also some sort of time dilation effect in relation to the frequency of oscillating electrons "that in S the time of vibrations be kε times as great as in S₀", where S₀ is the aether frame.^[31]

In 1904 he rewrote the equations in the following form by setting l=1/ε (again, x* must be replaced by x-vt):^[32]

\begin{matrix} original & modern \\ \hline \left.\begin{align}x ^{\prime} & = klx\\ y ^{\prime} & = ly\\ z ^{\prime} & = lz\\ t' & = (l)/(t - kl k) (w)/(c ^{2}) x \end{align} \right| & \begin{align}x ^{\prime} & = \gamma lx ^{\ast} = \gamma l(x - vt)\\ y ^{\prime} & = ly\\ z ^{\prime} & = lz\\ t ^{\prime} & = (lt)/(- \gamma) (\gamma lvx ^{\ast})/(c ^{2}) = \gamma l\left(t - (vx)/(c ^{2}) \right) \end{align} \end{matrix}

Under the assumption that l=1 when v=0, he demonstrated that l=1 must be the case at all velocities, therefore length contraction can only arise in the line of motion. So by setting the factor l to unity, Lorentz's transformations now assumed the same form as Larmor's and are now completed. Unlike Larmor, who restricted himself to show the covariance of Maxwell's equations to second order, Lorentz tried to widen its covariance to all orders in v/c. He also derived the correct formulas for the velocity dependence of electromagnetic mass, and concluded that the transformation formulas must apply to all forces of nature, not only electrical ones.^[33] However, he didn't achieve full covariance of the transformation equations for charge density and velocity.^[34] When the 1904 paper was reprinted in 1913, Lorentz therefore added the following remark:^[35]

Lorentz's 1904 transformation was cited and used by Alfred Bucherer in July 1904:^[36]

x ^{\prime} = \sqrt{s}x, y ^{\prime} = y, z ^{\prime} = z, t' = (t)/(\sqrt{s) }-\sqrt\fracx,\quad s=1-\frac

or by Wilhelm Wien in July 1904:^[37]

x = kx', y = y', z = z', t' = kt - (v)/(kc ^{2}) x

or by Emil Cohn in November 1904 (setting the speed of light to unity):^[38]

x = (x _{0})/(k) , y = y _{0} , z = z _{0} , t = kt _{0} , t _{1} = t _{0} - w ⋅ r _{0} , k ^{2} = (1)/(1- w ^{2})

or by Richard Gans in February 1905:^[39]

x ^{\prime} = kx, y ^{\prime} = y, z ^{\prime} = z, t' = (t)/(- k) (kwx)/(c ^{2}) , k ^{2} = (c ^{2})/(c ^{2} - w ^{2})

Poincaré (1900, 1905)

Local time

Neither Lorentz or Larmor gave a clear physical interpretation of the origin of local time. However, Henri Poincaré in 1900 commented on the origin of Lorentz's "wonderful invention" of local time.^[40] He remarked that it arose when clocks in a moving reference frame are synchronised by exchanging signals which are assumed to travel with the same speed

c in both directions, which lead to what is nowadays called relativity of simultaneity, although Poincaré's calculation does not involve length contraction or time dilation.^[41] In order to synchronise the clocks here on Earth (the x*, t* frame) a light signal from one clock (at the origin) is sent to another (at x*), and is sent back. It's supposed that the Earth is moving with speed v in the x-direction (= x*-direction) in some rest system (x, t) (i.e. the luminiferous aether system for Lorentz and Larmor). The time of flight outwards is\delta t _{a} = (x ^{\ast})/(\left(c - v\right))

and the time of flight back is

\delta t _{b} = (x ^{\ast})/(\left(c + v\right)) .

The elapsed time on the clock when the signal is returned is δt_a+δt_b and the time t*=(δt_a+δt_b)/2 is ascribed to the moment when the light signal reached the distant clock. In the rest frame the time t=δt_a is ascribed to that same instant. Some algebra gives the relation between the different time coordinates ascribed to the moment of reflection. Thus

t ^{\ast} = t - (\gamma ^{2} vx ^{*})/(c ^{2})

identical to Lorentz (1892). By dropping the factor γ² under the assumption that

\tfrac{v ^{2} }\ll1, Poincaré gave the result t*=t-vx*/c², which is the form used by Lorentz in 1895.

Similar physical interpretations of local time were later given by Emil Cohn (1904)^[42] and Max Abraham (1905).^[43]

Lorentz transformation

On June 5, 1905 (published June 9) Poincaré formulated transformation equations which are algebraically equivalent to those of Larmor and Lorentz and gave them the modern form:^[44]

\begin{align}x ^{\prime} & = kl(x + \varepsilon t)\\ y ^{\prime} & = ly\\ z ^{\prime} & = lz\\ t' & = kl(t + \varepsilon x)\\ k & = (1)/(\sqrt{ 1- \varepsilon ^{2}) }\end.

Apparently Poincaré was unaware of Larmor's contributions, because he only mentioned Lorentz and therefore used for the first time the name "Lorentz transformation".^{[45] [46]} Poincaré set the speed of light to unity, pointed out the group characteristics of the transformation by setting l=1, and modified/corrected Lorentz's derivation of the equations of electrodynamics in some details in order to fully satisfy the principle of relativity, i.e. making them fully Lorentz covariant.^[47]

In July 1905 (published in January 1906)^[48] Poincaré showed in detail how the transformations and electrodynamic equations are a consequence of the principle of least action; he demonstrated in more detail the group characteristics of the transformation, which he called Lorentz group, and he showed that the combination x²+y²+z²-t² is invariant. He noticed that the Lorentz transformation is merely a rotation in four-dimensional space about the origin by introducing

ct\sqrt{ -1 } as a fourth imaginary coordinate, and he used an early form of four-vectors. He also formulated the velocity addition formula, which he had already derived in unpublished letters to Lorentz from May 1905:^[49] \xi' = (\xi + \varepsilon)/(, η ' = 1+ \xi\varepsilon) (η)/(k( 1+ \xi\varepsilon)) .

Einstein (1905) – Special relativity

On June 30, 1905 (published September 1905) Einstein published what is now called special relativity and gave a new derivation of the transformation, which was based only on the principle of relativity and the principle of the constancy of the speed of light. While Lorentz considered "local time" to be a mathematical stipulation device for explaining the Michelson-Morley experiment, Einstein showed that the coordinates given by the Lorentz transformation were in fact the inertial coordinates of relatively moving frames of reference. For quantities of first order in v/c this was also done by Poincaré in 1900, while Einstein derived the complete transformation by this method. Unlike Lorentz and Poincaré who still distinguished between real time in the aether and apparent time for moving observers, Einstein showed that the transformations applied to the kinematics of moving frames.^{[50] [51] [52]}

The notation for this transformation is equivalent to Poincaré's of 1905, except that Einstein didn't set the speed of light to unity:^[53]

\begin{align}\tau & = \beta\left(t - (v)/(V ^{2}) x\right)\\ \xi & = \beta(x - vt)\\ η & = y\\ \zeta & = z\\ \beta & = (1)/(\sqrt{ 1- \left( (v)/(\right) ^{2} V)) }\end

Einstein also defined the velocity addition formula:^[54]

\begin{matrix}x = (w _{\xi} + v)/(t, y = 1+ (vw _{\xi})/(V ^{2})) (\sqrt{ 1- \left( (v)/(\right) ^{2} V))/() }w_t\\U^=\left(\frac\right)^+\left(\frac\right)^,\ w^=w_^+w_^,\ \alpha=\operatorname\frac\\U=\frac\end\left|\begin\frac=u_\\\frac=u_\\\frac=u_\end\right.

and the light aberration formula:^[55]

\cos\varphi' = (\cos\varphi - (v)/(V))/(1- (v)/(\cos\varphi V))

Minkowski (1907–1908) – Spacetime

The work on the principle of relativity by Lorentz, Einstein, Planck, together with Poincaré's four-dimensional approach, were further elaborated and combined with the hyperboloid model by Hermann Minkowski in 1907 and 1908.^{[56] [57]} Minkowski particularly reformulated electrodynamics in a four-dimensional way (Minkowski spacetime).^[58] For instance, he wrote x, y, z, it in the form x₁, x₂, x₃, x₄. By defining ψ as the angle of rotation around the z-axis, the Lorentz transformation assumes the form (with c=1):^[59]

\begin{align}x' _{1} & = x _{1} \\ x' _{2} & = x _{2} \\ x' _{3} & = x _{3} \cos i\psi + x _{4} \sin i\psi\\ x' _{4} & =- x _{3} \sin i\psi + x _{4} \cos i\psi\\ \cos i\psi & = (1)/(\sqrt{ 1- q ^{2}) }\end

Even though Minkowski used the imaginary number iψ, he for once directly used the tangens hyperbolicus in the equation for velocity

- i\tan i\psi = (e ^{\psi} - e ^{-\psi})/(e ^{\psi} + e ^{-\psi}) = q with \psi = (1)/(ln 2) (1+ q)/(1- q) .

Minkowski's expression can also by written as ψ=atanh(q) and was later called rapidity. He also wrote the Lorentz transformation in matrix form:^[60]

\begin{matrix}x ^{2} _{1} + x ^{2} _{2} + x ^{2} _{3} + x ^{2} _{4} = x ^{\prime 2} _{1} + x ^{\prime 2} _{2} + x ^{\prime 2} _{3} + x ^{\prime 2} _{4} \\ \left(x ^{\prime} _{1} = x', x ^{\prime} _{2} = y', x ^{\prime} _{3} = z', x ^{\prime} _{4} = it'\right)\\ - x ^{2} - y ^{2} - z ^{2} + t ^{2} =- x ^{\prime2} - y ^{\prime2} - z ^{\prime2} + t ^{\prime2} \\ \hline x _{h} = \alpha _{h1} x ^{\prime} _{1} + \alpha _{h2} x ^{\prime} _{2} + \alpha _{h3} x ^{\prime} _{3} + \alpha _{h4} x ^{\prime} _{4} \\ A = \left|\begin{matrix \alpha _{11} , & \alpha _{12} , & \alpha _{13} , & \alpha _{14} \\ \alpha _{21} , & \alpha _{22} , & \alpha _{23} , & \alpha _{24} \\ \alpha _{31} , & \alpha _{32} , & \alpha _{33} , & \alpha _{34} \\ \alpha _{41} , & \alpha _{42} , & \alpha _{43} , & \alpha _{44} \end{matrix}\right|, \begin{align}\bar{ A }\mathrm & =1\\\left(\det \mathrm\right)^ & =1\\\det \mathrm & =1\\\alpha_ & >0\end}\end

As a graphical representation of the Lorentz transformation he introduced the Minkowski diagram, which became a standard tool in textbooks and research articles on relativity:^[61]

Sommerfeld (1909) – Spherical trigonometry

Using an imaginary rapidity such as Minkowski, Arnold Sommerfeld (1909) formulated the Lorentz boost and the relativistic velocity addition in terms of trigonometric functions and the spherical law of cosines:^[62]

\begin{matrix}\left.\begin{array}{lrl} x' = & x \cos\varphi + l \sin\varphi, & y' = y\\ l' = & - x \sin\varphi + l \cos\varphi, & z' = z \end{array}\right\} \\ \left(\operatorname{tg}\varphi = i\beta, \cos\varphi = (1)/(\sqrt{ 1- \beta ^{2}) },\ \sin\varphi=\frac\right)\\\hline \beta=\frac\operatorname\left(\varphi_+\varphi_\right)=\frac\frac=\frac\\\cos\varphi=\cos\varphi_\cos\varphi_-\sin\varphi_\sin\varphi_\cos\alpha\\v^=\frac\end

Frank (1909) – Hyperbolic functions

Hyperbolic functions were used by Philipp Frank (1909), who derived the Lorentz transformation using ψ as rapidity:^[63]

\begin{matrix}x' = x\varphi(a){\rm ch}\psi + t\varphi(a){\rm sh}\psi\\ t' =- x\varphi(a){\rm sh}\psi + t\varphi(a){\rm ch}\psi\\ \hline {\rm th}\psi =- a, {\rm sh}\psi = (a)/(\sqrt{ 1- a ^{2}) },\ \,\psi=\frac,\ \varphi(a)=1\\\hline x'=\frac,\ y'=y,\ z'=z,\ t'=\frac\end

Bateman and Cunningham (1909–1910) – Spherical wave transformation

In line with Sophus Lie's (1871) research on the relation between sphere transformations with an imaginary radius coordinate and 4D conformal transformations, it was pointed out by Bateman and Cunningham (1909–1910), that by setting u=ict as the imaginary fourth coordinates one can produce spacetime conformal transformations. Not only the quadratic form

λ \left(dx ^{2} + dy ^{2} + dz ^{2} + du ^{2} \right) , but also Maxwells equations are covariant with respect to these transformations, irrespective of the choice of λ. These variants of conformal or Lie sphere transformations were called spherical wave transformations by Bateman.^{[64] [65]} However, this covariance is restricted to certain areas such as electrodynamics, whereas the totality of natural laws in inertial frames is covariant under the Lorentz group.^[66] In particular, by setting λ=1 the Lorentz group can be seen as a 10-parameter subgroup of the 15-parameter spacetime conformal group .

Bateman (1910–12)^[67] also alluded to the identity between the Laguerre inversion and the Lorentz transformations. In general, the isomorphism between the Laguerre group and the Lorentz group was pointed out by Élie Cartan (1912, 1915–55),^[68] Henri Poincaré (1912–21)^[69] and others.

Herglotz (1909/10) – Möbius transformation

Following Felix Klein (1889–1897) and Fricke & Klein (1897) concerning the Cayley absolute, hyperbolic motion and its transformation, Gustav Herglotz (1909–10) classified the one-parameter Lorentz transformations as loxodromic, hyperbolic, parabolic and elliptic. The general case (on the left) and the hyperbolic case equivalent to Lorentz transformations or squeeze mappings are as follows:^[70]

\left.\begin{matrix}z ^{2} _{1} + z ^{2} _{2} + z ^{2} _{3} - z ^{2} _{4} =0 \\ z _{1} = x, z _{2} = y, z _{3} = z, z _{4} = t\\ Z = (z _{1} + iz _{2})/(= z _{4} - z _{3}) (x + iy)/(, Z' = t - z) (x' + iy')/(\\ Z = t' - z') (\alpha Z' + \beta)/(\gamma Z' + \delta) \end{matrix}\right|\begin{matrix}Z = Z'e ^{\vartheta} \\ \begin{align}x & = x', & t - z & = (t' - z')e ^{\vartheta} \\ y & = y', & t + z & = (t' + z')e ^{-\vartheta} \end{align} \end{matrix}

Varićak (1910) – Hyperbolic functions

Following Sommerfeld (1909), hyperbolic functions were used by Vladimir Varićak in several papers starting from 1910, who represented the equations of special relativity on the basis of hyperbolic geometry in terms of Weierstrass coordinates. For instance, by setting l=ct and v/c=tanh(u) with u as rapidity he wrote the Lorentz transformation:^[71]

\begin{align}l' & =- x\operatorname{sh}u + l\operatorname{ch}u,\\ x' & = x\operatorname{ch}u - l\operatorname{sh}u,\\ y' & = y, z' = z,\\ \operatorname{ch}u & = (1)/(\sqrt{ 1- \left( (v)/(\right) ^{2} c)) }\end

and showed the relation of rapidity to the Gudermannian function and the angle of parallelism:

(v)/(c) = \operatorname{th}u = \operatorname{tg}\psi = \sin\operatorname{gd}(u) = \cos\Pi(u)

He also related the velocity addition to the hyperbolic law of cosines:^[72]

\begin{matrix}\operatorname{ch}{u} = \operatorname{ch}{u _{1} }\operatorname ch+\operatorname\operatorname\cos\alpha\\\operatorname=\frac,\ \operatorname=\frac\\v=\sqrt\ \left(a=\frac\right)\end

Subsequently, other authors such as E. T. Whittaker (1910) or Alfred Robb (1911, who coined the name rapidity) used similar expressions, which are still used in modern textbooks.

Plummer (1910) – Trigonometric Lorentz boosts

(1910) defined the Lorentz boost in terms of trigonometric functions^[73]

\begin{matrix}\tau = t\sec\beta - x\tan\beta/U\\ \xi = x\sec\beta - Ut\tan\beta\\ η= y, \zeta = z,\\ \hline \sin\beta = v/U \end{matrix}

Ignatowski (1910)

While earlier derivations and formulations of the Lorentz transformation relied from the outset on optics, electrodynamics, or the invariance of the speed of light, Vladimir Ignatowski (1910) showed that it is possible to use the principle of relativity (and related group theoretical principles) alone, in order to derive the following transformation between two inertial frames:^{[74] [75]}

\begin{align}dx' & = p dx - pq dt\\ dt' & =- pqn dx + p dt\\ p & = (1)/(\sqrt{ 1- q ^{2} n) }\end

The variable n can be seen as a space-time constant whose value has to be determined by experiment or taken from a known physical law such as electrodynamics. For that purpose, Ignatowski used the above-mentioned Heaviside ellipsoid representing a contraction of electrostatic fields by x/γ in the direction of motion. It can be seen that this is only consistent with Ignatowski's transformation when n=1/c², resulting in p=γ and the Lorentz transformation. With n=0, no length changes arise and the Galilean transformation follows. Ignatowski's method was further developed and improved by Philipp Frank and Hermann Rothe (1911, 1912),^[76] with various authors developing similar methods in subsequent years.^[77]

Noether (1910), Klein (1910) – Quaternions

Felix Klein (1908) described Cayley's (1854) 4D quaternion multiplications as "Drehstreckungen" (orthogonal substitutions in terms of rotations leaving invariant a quadratic form up to a factor), and pointed out that the modern principle of relativity as provided by Minkowski is essentially only the consequent application of such Drehstreckungen, even though he didn't provide details.^[78]

In an appendix to Klein's and Sommerfeld's "Theory of the top" (1910), Fritz Noether showed how to formulate hyperbolic rotations using biquaternions with

\omega = \sqrt{ -1 } , which he also related to the speed of light by setting ω²=-c². He concluded that this is the principal ingredient for a rational representation of the group of Lorentz transformations:^[79] \begin{matrix}V = (Q _{1} vQ _{2})/(T _{1} T _{2}) \\ \hline X ^{2} + Y ^{2} + Z ^{2} + \omega ^{2} S ^{2} = x ^{2} + y ^{2} + z ^{2} + \omega ^{2} s ^{2} \\ \hline \begin{align}V & = Xi + Yj + Zk + \omega S\\ v & = xi + yj + zk + \omega s\\ Q _{1} & = ( + Ai + Bj + Ck + D) + \omega(A'i + B'j + C'k + D')\\ Q _{2} & = ( - Ai - Bj - Ck + D) + \omega(A'i + B'j + C'k - D')\\ T _{1} T _{2} & = T ^{2} _{1} = T ^{2} _{2} = A ^{2} + B ^{2} + C ^{2} + D ^{2} + \omega ^{2} \left(A ^{\prime2} + B ^{\prime2} + C ^{\prime2} + D ^{\prime2} \right) \end{align} \end{matrix}

Besides citing quaternion related standard works by Arthur Cayley (1854), Noether referred to the entries in Klein's encyclopedia by Eduard Study (1899) and the French version by Élie Cartan (1908).^[80] Cartan's version contains a description of Study's dual numbers, Clifford's biquaternions (including the choice

\omega = \sqrt{ -1 } for hyperbolic geometry), and Clifford algebra, with references to Stephanos (1883), Buchheim (1884–85), Vahlen (1901–02) and others.

Citing Noether, Klein himself published in August 1910 the following quaternion substitutions forming the group of Lorentz transformations:^[81]

\begin{matrix}\begin{align} & \left(i _{1} x' + i _{2} y' + i _{3} z' + ict'\right)\\ & - \left(i _{1} x _{0} + i _{2} y _{0} + i _{3} z _{0} + ict _{0} \right) \end{align} = (\left[\begin{align)/(&) \left(i _{1} (A + iA') + i _{2} (B + iB') + i _{3} (C + iC') + i _{4} (D + iD')\right)\\ & ⋅ \left(i _{1} x + i _{2} y + i _{3} z + ict\right)\\ & ⋅ \left(i _{1} (A - iA') + i _{2} (B - iB') + i _{3} (C - iC') - (D - iD')\right) \end{align} \right]}{\left(A ^{\prime2} + B ^{\prime2} + C ^{\prime2} + D ^{\prime2} \right) - \left(A ^{2} + B ^{2} + C ^{2} + D ^{2} \right)}\\ \hline where \\ AA' + BB' + CC' + DD' =0 \\ A ^{2} + B ^{2} + C ^{2} + D ^{2} >A ^{\prime2} + B ^{\prime2} + C ^{\prime2} + D ^{\prime2} \end{matrix}

or in March 1911^[82]

\begin{matrix}g' = (pg\pi)/(M) \\ \hline \begin{align}g & = \sqrt{ -1 }ct + ix + jy + kz\\ g' & = \sqrt{ -1 }ct' + ix' + jy' + kz'\\ p & = (D + \sqrt{ -1 }D') + i(A + \sqrt{ -1 }A') + j(B + \sqrt{ -1 }B') + k(C + \sqrt{ -1 }C')\\ \pi & = (D - \sqrt{ -1 }D') - i(A - \sqrt{ -1 }A') - j(B - \sqrt{ -1 }B') - k(C - \sqrt{ -1 }C')\\ M & = \left(A ^{2} + B ^{2} + C ^{2} + D ^{2} \right) - \left(A ^{\prime2} + B ^{\prime2} + C ^{\prime2} + D ^{\prime2} \right)\\ & AA' + BB' + CC' + DD' =0 \\ & A ^{2} + B ^{2} + C ^{2} + D ^{2} >A ^{\prime2} + B ^{\prime2} + C ^{\prime2} + D ^{\prime2} \end{align} \end{matrix}

Conway (1911), Silberstein (1911) – Quaternions

Arthur W. Conway in February 1911 explicitly formulated quaternionic Lorentz transformations of various electromagnetic quantities in terms of velocity λ:^[83]

\begin{matrix}\begin{align} D & = a ^{-1} D ' a ^{-1} \\ \sigma & = a \sigma ' a ^{-1} \end{align} \\ e = a ^{-1} e' a ^{-1} \\ \hline a = \left( 1- hc ^{-1} λ \right) ^{(1)/(2)} \left( 1+ c ^{-2} λ ^{2} \right) ^{- (1)/(4)} \end{matrix}

Also Ludwik Silberstein in November 1911^[84] as well as in 1914,^[85] formulated the Lorentz transformation in terms of velocity v:

\begin{matrix}q' = QqQ\\ \hline \begin{align}q & = r + l = xi + yj + zk + \iota ct\\ q & ' = r ' + l' = x'i + y'j + z'k + \iota ct'\\ Q & = (1)/(\sqrt{ 2) }\left(\sqrt+\mathrm\sqrt\right)\\ & =\cos\alpha+\mathrm\sin\alpha=e^\\ & \left\ \end\end

Silberstein cites Cayley (1854, 1855) and Study's encyclopedia entry (in the extended French version of Cartan in 1908), as well as the appendix of Klein's and Sommerfeld's book.

Ignatowski (1910/11), Herglotz (1911), and others – Vector transformation

Vladimir Ignatowski (1910, published 1911) showed how to reformulate the Lorentz transformation in order to allow for arbitrary velocities and coordinates:^[86]

\begin{matrix}\begin{matrix} ak{v} = (ak{v)/(' + (p -1 ) ak{c}) _{0} ⋅ ak{c} _{0} ak{v}'+pq ak{c} _{0} } & \left|\begin\mathfrak' & =\mathfrak+(p-1)\mathfrak_\cdot\mathfrak_\mathfrak-pqb\mathfrak_\\b' & =pb-pqn\mathfrak\mathfrak_\\\\\mathfrak & =\mathfrak'+(p-1)\mathfrak_\cdot\mathfrak_\mathfrak'+pqb'\mathfrak_\\b & =pb'+pqn\mathfrak'\mathfrak_\end\right.\end\\\left[\mathfrak{v}=\mathbf{u},\ \mathfrak{A}=\mathbf{x},\ b=t,\ \mathfrak{c}_{0}=\frac{\mathbf{v}}{v},\ p=\gamma,\ n=\frac{1}{c^{2}}\right]\end

Gustav Herglotz (1911)^[87] also showed how to formulate the transformation in order to allow for arbitrary velocities and coordinates v=(v_x, v_y, v_z) and r=(x, y, z):

\begin{matrix} original & modern \\ \hline \left.\begin{align}x ^{0} & = x + \alpha u(ux + vy + wz) - \beta ut\\ y ^{0} & = y + \alpha v(ux + vy + wz) - \beta vt\\ z ^{0} & = z + \alpha w(ux + vy + wz) - \beta wt\\ t ^{0} & =- \beta(ux + vy + wz) + \beta t\\ & \alpha = (1)/(\sqrt{ 1- s ^{2}) \left( 1+ \sqrt{ 1- s ^{2} }\right)},\ \beta=\frac\end\right| & \beginx' & =x+\alpha v_\left(v_x+v_y+v_z\right)-\gamma v_t\\y' & =y+\alpha v_\left(v_x+v_y+v_z\right)-\gamma v_t\\z' & =z+\alpha v_\left(v_x+v_y+v_z\right)-\gamma v_t\\t' & =-\gamma\left(v_x+v_y+v_z\right)+\gamma t\\ & \alpha=\frac,\ \gamma=\frac\end\end

This was simplified using vector notation by Ludwik Silberstein (1911 on the left, 1914 on the right):^[88]

\begin{array}{c|c} \begin{align} r ' & = r + (\gamma -1 )( ru ) u + i\beta\gamma lu\\ l' & = \gamma\left[l - i\beta( ru )\right] \end{align} & \begin{align} r ' & =r+ \left[ (\gamma -1)/(v ^{2}) ( vr ) - \gamma t\right] v \\ t' & = \gamma\left[t - (1)/(c ^{2}) ( vr )\right] \end{align} \end{array}

Equivalent formulas were also given by Wolfgang Pauli (1921),^[89] with Erwin Madelung (1922) providing the matrix form^[90]

\begin{array}{c|c|c|c|c} & x & y & z & t\\ \hline x' & 1- (v ^{2} _{x})/(\left( 1- v ^{2}) (1)/(\sqrt{ 1- \beta ^{2}) }\right) & -\frac\left(1-\frac\right) & -\frac\left(1-\frac\right) & \frac\\y' & -\frac\left(1-\frac\right) & 1-\frac\left(1-\frac\right) & -\frac\left(1-\frac\right) & \frac\\z' & -\frac\left(1-\frac\right) & -\frac\left(1-\frac\right) & 1-\frac\left(1-\frac\right) & \frac\\t' & \frac & \frac & \frac & \frac\endak{D} . In this case, v′=(v′_x, v′_y, v′_z) is not equal to -v=(-v_x, -v_y, -v_z), but the relation v ' =- ak{D} v holds instead, with the result\begin{array}{c} \begin{align} x ' & = ak{D} ^{-1} x - v '\left\{ \left(\gamma -1 \right)( x ⋅ v )/v ^{2} - \gamma t\right\} \\ t' & = \gamma\left(t - ( v ⋅ x )/c ^{2} \right) \end{align} \end{array}

Borel (1913–14) – Cayley–Hermite parameter

Émile Borel (1913) started by demonstrating Euclidean motions using Euler-Rodrigues parameter in three dimensions, and Cayley's (1846) parameter in four dimensions. Then he demonstrated the connection to indefinite quadratic forms expressing hyperbolic motions and Lorentz transformations. In three dimensions:^[92]

\begin{matrix}x ^{2} + y ^{2} - z ^{2} -1=0 \\ \hline {\scriptstyle \begin{align}\delta a & =λ ^{2} + \mu ^{2} + \nu ^{2} - \rho ^{2} , & \delta b & =2 ( λ \mu + \nu\rho), & \delta c & =-2 ( λ \nu + \mu\rho),\\ \delta a' & =2 ( λ \mu - \nu\rho), & \delta b' & =-λ ^{2} + \mu ^{2} + \nu ^{2} - \rho ^{2} , & \delta c' & =2 ( λ \rho - \mu\nu),\\ \delta a'' & =2 ( λ \nu - \mu\rho), & \delta b'' & =2 ( λ \rho + \mu\nu), & \delta c'' & =- \left( λ ^{2} + \mu ^{2} + \nu ^{2} + \rho ^{2} \right), \end{align} }\\ \left(\delta =λ ^{2} + \mu ^{2} - \rho ^{2} - \nu ^{2} \right)\\ λ= \nu =0 → Hyperbolicrotation \end{matrix}

In four dimensions:^[93]

\begin{matrix}F = \left(x _{1} - x _{2} \right) ^{2} + \left(y _{1} - y _{2} \right) ^{2} + \left(z _{1} - z _{2} \right) ^{2} - \left(t _{1} - t _{2} \right) ^{2} \\ \hline {\scriptstyle \begin{align} & \left(\mu ^{2} + \nu ^{2} - \alpha ^{2} \right)\cos\varphi + \left( λ ^{2} - \beta ^{2} - \gamma ^{2} \right)\operatorname{ch}{\theta} & & - (\alpha\beta +λ \mu)(\cos\varphi - \operatorname{ch}{\theta}) - \nu\sin\varphi - \gamma\operatorname{sh}{\theta}\\ & - (\alpha\beta +λ \mu)(\cos\varphi - \operatorname{ch}{\theta}) - \nu\sin\varphi + \gamma\operatorname{sh}{\theta} & & \left(\mu ^{2} + \nu ^{2} - \beta ^{2} \right)\cos\varphi + \left(\mu ^{2} - \alpha ^{2} - \gamma ^{2} \right)\operatorname{ch}{\theta}\\ & - (\alpha\gamma +λ \nu)(\cos\varphi - \operatorname{ch}{\theta}) + \mu\sin\varphi - \beta\operatorname{sh}{\theta} & & - (\beta\mu + \mu\nu)(\cos\varphi - \operatorname{ch}{\theta}) +λ \sin\varphi + \alpha\operatorname{sh}{\theta}\\ & (\gamma\mu - \beta\nu)(\cos\varphi - \operatorname{ch}{\theta}) + \alpha\sin\varphi -λ \operatorname{sh}{\theta} & & - (\alpha\nu -λ \gamma)(\cos\varphi - \operatorname{ch}{\theta}) + \beta\sin\varphi - \mu\operatorname{sh}{\theta}\\ \\ & - (\alpha\gamma +λ \nu)(\cos\varphi - \operatorname{ch}{\theta}) + \mu\sin\varphi + \beta\operatorname{sh}{\theta} & & (\beta\nu - \mu\nu)(\cos\varphi - \operatorname{ch}{\theta}) + \alpha\sin\varphi -λ \operatorname{sh}{\theta}\\ & - (\beta\mu + \mu\nu)(\cos\varphi - \operatorname{ch}{\theta}) -λ \sin\varphi - \alpha\operatorname{sh}{\theta} & & ( λ \gamma - \alpha\nu)(\cos\varphi - \operatorname{ch}{\theta}) + \beta\sin\varphi - \mu\operatorname{sh}{\theta}\\ & \left( λ ^{2} + \mu ^{2} - \gamma ^{2} \right)\cos\varphi + \left(\nu ^{2} - \alpha ^{2} - \beta ^{2} \right)\operatorname{ch}{\theta} & & (\alpha\mu - \beta λ )(\cos\varphi - \operatorname{ch}{\theta}) + \gamma\sin\varphi - \nu\operatorname{sh}{\theta}\\ & (\beta\gamma - \alpha\mu)(\cos\varphi - \operatorname{ch}{\theta}) + \gamma\sin\varphi - \nu\operatorname{sh}{\theta} & & - \left(\alpha ^{2} + \beta ^{2} + \gamma ^{2} \right)\cos\varphi + \left( λ ^{2} + \mu ^{2} + \nu ^{2} \right)\operatorname{ch}{\theta} \end{align} }\\ \left(\alpha ^{2} + \beta ^{2} + \gamma ^{2} -λ ^{2} - \mu ^{2} - \nu ^{2} =-1 \right) \end{matrix}

Gruner (1921) – Trigonometric Lorentz boosts

In order to simplify the graphical representation of Minkowski space, Paul Gruner (1921) (with the aid of Josef Sauter) developed what is now called Loedel diagrams, using the following relations:^[94]

\begin{matrix}v = \alpha ⋅ c; \beta = (1)/(\sqrt{ 1- \alpha ^{2}) }\\\sin\varphi=\alpha;\quad\beta=\frac;\quad\alpha\beta=\tan\varphi\\\hline x'=\frac-t\cdot\tan\varphi,\quad t'=\frac-x\cdot\tan\varphi\end

In another paper Gruner used the alternative relations:^[95]

\begin{matrix}\alpha = (v)/(; \beta = c) (1)/(\sqrt{ 1- \alpha ^{2}) };\\\cos\theta=\alpha=\frac;\ \sin\theta=\frac;\ \cot\theta=\alpha\cdot\beta\\\hline x'=\frac-t\cdot\cot\theta,\quad t'=\frac-x\cdot\cot\theta\end

See also

• Derivations of the Lorentz transformations
• History of special relativity

References

Historical relativity sources

• Book: Abraham, M.. 1905 . § 42. Die Lichtzeit in einem gleichförmig bewegten System. Theorie der Elektrizität: Elektromagnetische Theorie der Strahlung . Teubner . Leipzig.
• Bateman, Harry. 1910. 1909. The Transformation of the Electrodynamical Equations . Proceedings of the London Mathematical Society. 8. 223–264. 10.1112/plms/s2-8.1.223. s:en:The Transformation of the Electrodynamical Equations.
• Bateman, Harry. 1912. 1910. Some geometrical theorems connected with Laplace's equation and the equation of wave motion . American Journal of Mathematics. 34. 3. 10.2307/2370223. 325–360. 2370223.
• Book: Borel, Émile . 1914. Introduction Geometrique à quelques Théories Physiques. Gauthier-Villars. Paris.
• Brill, J.. 1925 . Proceedings of the Cambridge Philosophical Society. Note on the Lorentz group. 630–632. 22. 5 . 10.1017/S030500410000949X. 1925PCPS...22..630B. 121117536 .
• Book: Bucherer, A. H. . 1904 . Mathematische Einführung in die Elektronentheorie . Teubner . Leipzig .
• . For Minkowski's and Voigt's statements see p. 762.
• Cartan, Élie. 1912. Société de Mathématique the France – Comptes Rendus des Séances. Sur les groupes de transformation de contact et la Cinématique nouvelle. 23.
  • • Conway, A. W.. 1911. On the application of quaternions to some recent developments of electrical theory. Proceedings of the Royal Irish Academy, Section A. 29. 1–9.
• Cunningham, Ebenezer. 1910. 1909. The principle of Relativity in Electrodynamics and an Extension Thereof. Proceedings of the London Mathematical Society . 8. 77–98. 10.1112/plms/s2-8.1.77. s:en:The principle of Relativity in Electrodynamics and an Extension Thereof.
• . See also: English translation.
• Frank, Philipp . 1909 . Die Stellung des Relativitätsprinzips im System der Mechanik und Elektrodynamik. Wiener Sitzungsberichte IIA . 118 . 373–446. 2027/mdp.39015073682224 .
• Frank, Philipp . Rothe, Hermann. 1911. Über die Transformation der Raum-Zeitkoordinaten von ruhenden auf bewegte Systeme. Annalen der Physik. 339. 5. 825–855. 10.1002/andp.19113390502. 1911AnP...339..825F .
• Frank, Philipp . Rothe, Hermann. Zur Herleitung der Lorentztransformation. Physikalische Zeitschrift. 13. 1912. 750–753.
  • Gruner, Paul . Sauter, Josef . amp . Représentation géométrique élémentaire des formules de la théorie de la relativité. Archives des sciences physiques et naturelles. 5. 3. 295–296. 1921a. Elementary geometric representation of the formulas of the special theory of relativity.
• Gruner, Paul. Eine elementare geometrische Darstellung der Transformationsformeln der speziellen Relativitätstheorie. Physikalische Zeitschrift. 22. 384–385. 1921b. An elementary geometrical representation of the transformation formulas of the special theory of relativity.
  • • Herglotz, G.. 1911. Über die Mechanik des deformierbaren Körpers vom Standpunkte der Relativitätstheorie. Annalen der Physik. 341. 13. 493–533. 10.1002/andp.19113411303. 1911AnP...341..493H.

English translation by David Delphenich: On the mechanics of deformable bodies from the standpoint of relativity theory.

• Ignatowsky, W. v.. Einige allgemeine Bemerkungen über das Relativitätsprinzip. Physikalische Zeitschrift. 11. 1910. 972–976. s:de:Einige allgemeine Bemerkungen über das Relativitätsprinzip.
• Ignatowski, W. v.. Das Relativitätsprinzip. Archiv der Mathematik und Physik. 18. 1911. 1910. 17–40. s:de:Das Relativitätsprinzip (Ignatowski).
• Ignatowski, W. v.. Eine Bemerkung zu meiner Arbeit: "Einige allgemeine Bemerkungen zum Relativitätsprinzip". Physikalische Zeitschrift. 12. 1911. 779. s:de:Eine Bemerkung zu meiner Arbeit: "Einige allgemeine Bemerkungen zum Relativitätsprinzip".
• Book: Klein, F.. Hellinger, E.. 1908. Elementarmethematik vom höheren Standpunkte aus. Teil I. Vorlesung gehalten während des Wintersemesters 1907-08. Teubner. Leipzig.
• Book: Klein, Felix. Gesammelte Mathematische Abhandlungen . 1921. 1910. Über die geometrischen Grundlagen der Lorentzgruppe. 1. 533–552. 10.1007/978-3-642-51960-4_31. s:de:Über die geometrischen Grundlagen der Lorentzgruppe. 978-3-642-51898-0.
• Book: Klein, F. . Sommerfeld A.. Noether, Fr.. 1910. Über die Theorie des Kreisels. Heft IV. Leipzig. Teuber.
• Book: Klein, F.. Hellinger, E.. 1911. Elementarmethematik vom höheren Standpunkte aus. Teil I (Second Edition). Vorlesung gehalten während des Wintersemesters 1907-08. Teubner. Leipzig. 2027/mdp.39015068187817.
  • (Reprint of Larmor (1897) with new annotations by Larmor.)
  • Larmor, Joseph. On the intensity of the natural radiation from moving bodies and its mechanical reaction. Philosophical Magazine. 1904a. 7. 41. 578–586. 10.1080/14786440409463149.
• Larmor, Joseph. On the ascertained Absence of Effects of Motion through the Aether, in relation to the Constitution of Matter, and on the FitzGerald-Lorentz Hypothesis. Philosophical Magazine. 7. 42. 1904b. 621–625. 10.1080/14786440409463156. s:en:Absence of Effects of Motion through the Aether.
  • • • • • • • • • Müller, Hans Robert. Hans Robert Müller. 1948. Monatshefte für Mathematik und Physik. Zyklographische Betrachtung der Kinematik der speziellen Relativitätstheorie. 52. 4 . 337–353. 10.1007/BF01525338. 120150204.
  • . See also the English translation.
    • • Poincaré, Henri. 1921. 1912. Rapport sur les travaux de M. Cartan (fait à la Faculté des sciences de l'Université de Paris). Acta Mathematica. 38. 1. 137–145. 10.1007/bf02392064 . free. Written by Poincaré in 1912, printed in Acta Mathematica in 1914 though belatedly published in 1921.
        • • • • Wien . Wilhelm . 1904 . Zur Elektronentheorie . . 5 . 14 . 393–395 . s:de:Zur Elektronentheorie .

Secondary sources

• Baccetti, Valentina . Tate, Kyle . Visser, Matt . 2012. Inertial frames without the relativity principle. Journal of High Energy Physics. 2012 . 5 . 119. 10.1007/JHEP05(2012)119 . 1112.1466. 2012JHEP...05..119B . 118695037 .
• Book: Bachmann, P.. 1898. Die Arithmetik der quadratischen Formen. Erste Abtheilung. Leipzig. B.G. Teubner.
• Book: Bachmann, P.. 1923. Die Arithmetik der quadratischen Formen. Zweite Abtheilung. Leipzig. B.G. Teubner.
• Barnett, J. H. . 2004. Mathematics Magazine. 77. 1. Enter, stage center: The early drama of the hyperbolic functions. 15–30. 10.1080/0025570x.2004.11953223. 121088132.
• Book: Bôcher, Maxim. 1907. Introduction to higher algebra. Quadratic forms. Macmillan. New York. https://archive.org/details/cu31924002936536.
• Book: Bondi, Hermann. Relativity and Common Sense. Doubleday & Company. 1964. New York.
• Book: Bonola, R.. Non-Euclidean geometry: A critical and historical study of its development. 1912. Chicago. Open Court.
• See also "Michelson, FitzGerald and Lorentz: the origins of relativity revisited", Online.
• Cartan, É. . Study, E. . 1908 . Nombres complexes. Encyclopédie des Sciences Mathématiques Pures et Appliquées. 1. 1 . 328–468.
• Cartan, É. . Fano, G.. 1955. 1915. Encyclopédie des Sciences Mathématiques Pures et Appliquées. 3. La théorie des groupes continus et la géométrie. 1. 39–43. (Only pages 1–21 were published in 1915, the entire article including pp. 39–43 concerning the groups of Laguerre and Lorentz was posthumously published in 1955 in Cartan's collected papers, and was reprinted in the Encyclopédie in 1991.)
• Book: Coolidge, Julian. Julian Coolidge. 1916. A treatise on the circle and the sphere. Clarendon Press. Oxford. A Treatise on the Circle and the Sphere.
  • • Book: Dickson, L.E.. 1923. History of the theory of numbers, Volume III, Quadratic and higher forms. Washington. Washington Carnegie Institution of Washington.
• Fjelstad, P.. 1986 . American Journal of Physics . Extending special relativity via the perplex numbers. 416–422. 54. 5 . 10.1119/1.14605. 1986AmJPh..54..416F.
• Girard, P. R.. 1984 . European Journal of Physics . The quaternion group and modern physics. 25–32. 5. 1. 10.1088/0143-0807/5/1/007. 1984EJPh....5...25G. 250775753 .
• Gray, J.. Non-euclidean geometry—A re-interpretation. 1979. Historia Mathematica. 6. 3. 236–258. 10.1016/0315-0860(79)90124-1. free.
• Book: Gray, J. . Scott W.. 1997. Trois suppléments sur la découverte des fonctions fuchsiennes. Introduction. 7–28. Berlin. http://scottwalter.free.fr/papers/3supintro.pdf.
• Book: Hawkins, Thomas. 2013. The Mathematics of Frobenius in Context: A Journey Through 18th to 20th Century Mathematics. The Cayley–Hermite problem and matrix algebra. Springer. 978-1461463337.
  • Kastrup, H. A.. On the advancements of conformal transformations and their associated symmetries in geometry and theoretical physics. Annalen der Physik. 520. 9–10. 2008. 631–690. 0808.2730. 10.1002/andp.200810324. 2008AnP...520..631K . 12020510.
  • Book: Klein, F.. 1897. 1896. The Mathematical Theory of the Top. Scribner. New York.
• Book: Klein, Felix . Blaschke, Wilhelm . 1926. Vorlesungen über höhere Geometrie. Springer. Berlin.
• Book: von Laue, M.. 1921. Die Relativitätstheorie, Band 1. fourth edition of "Das Relativitätsprinzip". Vieweg.

First edition 1911, second expanded edition 1913, third expanded edition 1919.

• Lorente, M.. 2003 . Symmetries in Science . Representations of classical groups on the lattice and its application to the field theory on discrete space-time. 437–454. VI . hep-lat/0312042. 2003hep.lat..12042L.
  • Book: Madelung, E.. Die mathematischen Hilfsmittel des Physikers. 1922. Springer. Berlin.
• Majerník, V.. 1986. American Journal of Physics. Representation of relativistic quantities by trigonometric functions. 54. 6. 536–538. 10.1119/1.14557. 1986AmJPh..54..536M.
• Meyer, W.F.. 1899 . Encyclopädie der Mathematischen Wissenschaften. Invariantentheorie. 322–455. 1 . 1 .
  • Book: Møller, C.. The theory of relativity. 1955. 1952. Oxford Clarendon Press.
• Müller, Emil. Emil Müller (mathematician). 1910. Encyclopädie der Mathematischen Wissenschaften. 3.1.1. Die verschiedenen Koordinatensysteme. 596–770.
• Musen, P. . 1970. A Discussion of Hill's Method of Secular Perturbations.... Celestial Mechanics. 2. 1 . 41–59. 1970CeMec...2...41M. 10.1007/BF01230449. 2060/19700018328. 122335532. free.
• Book: Naimark, M. A. . 2014. 1964. Linear Representations of the Lorentz Group. Oxford. 978-1483184982 .
• Pacheco, R.. 2008. Geometriae Dedicata. 146. 1. Bianchi–Bäcklund transforms and dressing actions, revisited.. 85–99. 10.1007/s10711-009-9427-5. 0808.4138. 14356965.
  • 
    In English: Book: Pauli, W.. Theory of Relativity. 165. Dover Publications. 1981. 1921. 978-0-486-64152-2.
    • Book: Ratcliffe, J. G.. 1994. Foundations of Hyperbolic Manifolds. Hyperbolic geometry. 56–104. New York. 978-0387943480. https://archive.org/details/foundationsofhyp0000ratc/page/56.
• Reynolds, W. F.. 1993. Hyperbolic geometry on a hyperboloid. The American Mathematical Monthly. 100. 5. 442–455. 2324297. 10.1080/00029890.1993.11990430. 124088818 .
• Book: Rindler, W.. 2013. 1969. Essential Relativity: Special, General, and Cosmological. Springer. 978-1475711356.
• Book: Robinson, E.A.. 1990. Einstein's relativity in metaphor and mathematics. Prentice Hall. 9780132464970.
• Book: Rosenfeld, B.A.. 1988. A History of Non-Euclidean Geometry: Evolution of the Concept of a Geometric Space. Springer. New York. 978-1441986801.
• Rothe, H.. 1916. Encyclopädie der Mathematischen Wissenschaften. 3.1.1. Systeme geometrischer Analyse. 1282–1425.
• Book: Schottenloher, M.. 2008. A Mathematical Introduction to Conformal Field Theory. Springer. 978-3540706908.
• Book: Silberstein, L.. 1914. The Theory of Relativity. Macmillan. London.
• Sobczyk, G.. 1995 . The College Mathematics Journal . The Hyperbolic Number Plane. 268–280. 26 . 4. 10.2307/2687027. 2687027 .
• Book: Sommerville, D. M. L. Y. . 1911. Bibliography of non-Euclidean geometry. London. London Pub. by Harrison for the University of St. Andrews.
  • Synge, J.L.. 1972 . Communications of the Dublin Institute for Advanced Studies . Quaternions, Lorentz transformations, and the Conway–Dirac–Eddington matrices. 21.
• Terng, C. L.. Uhlenbeck, K.. amp. 2000. Notices of the AMS. 47. 1. Geometry of solitons. 17–25.
• Touma, J. R. . Tremaine, S. . Kazandjian, M. V. . amp . 2009. Gauss's method for secular dynamics, softened. Monthly Notices of the Royal Astronomical Society. 394. 2 . 1085–1108. 0811.2812. 10.1111/j.1365-2966.2009.14409.x. 2009MNRAS.394.1085T . 14531003 .
• Volk, O.. 1976 . Celestial Mechanics . Miscellanea from the history of celestial mechanics. 14. 3. 365–382. 10.1007/bf01228523 . 1976CeMec..14..365V. 122955645 .
• Book: Walter, Scott A.. 1999 . H. Goenner . J. Renn . J. Ritter . T. Sauer . Minkowski, mathematicians, and the mathematical theory of relativity . The Expanding Worlds of General Relativity. Einstein Studies . 7 . 45–86 . Boston. Birkhäuser . http://scottwalter.free.fr/papers/1999-mmm-walter.html. 978-0-8176-4060-6.
• Book: Walter, Scott A.. 1999b. J. Gray. The non-Euclidean style of Minkowskian relativity. The Symbolic Universe: Geometry and Physics. 91–127. Oxford. Oxford University Press. http://scottwalter.free.fr/papers/1999-symbuniv-walter.html.
• Book: Walter, Scott A.. Figures of Light in the Early History of Relativity (1905–1914) . Einstein Studies . Beyond Einstein. 14. 3–50. Rowe D. . Sauer T. . Walter S.. New York. Birkhäuser. 2018. https://philpapers.org/rec/WALFOL-2. 10.1007/978-1-4939-7708-6_1. 978-1-4939-7708-6. 31840179 .

External links

• Mathpages: 1.4 The Relativity of Light

Notes and References

1. Ratcliffe (1994), 3.1 and Theorem 3.1.4 and Exercise 3.1
2. Naimark (1964), 2 in four dimensions
3. Miller (1981), chapter 1
4. Miller (1981), chapter 4–7
5. Voigt (1887), p. 45
6. Miller (1981), 114–115
7. Pais (1982), Kap. 6b
8. Lorentz (1915/16), p. 197
9. 1411.2559 . Heras . Ricardo . A review of Voigt's transformations in the framework of special relativity . 2014 . physics.hist-ph .
10. Bucherer (1908), p. 762
11. Heaviside (1888), p. 324
12. Brown (2003)
13. Thomson (1889), p. 12
14. Miller (1981), 98–99
15. Searle (1886), p. 333
16. Lorentz (1892a), p. 141
17. Miller (1982), 1.4 & 1.5
18. Lorentz (1892b), p. 141
19. Lorentz (1895), p. 37
20. Lorentz (1895), p. 49 for local time and p. 56 for spatial coordinates.
21. Janssen (1995), 3.1
22. Larmor (1897), p. 229
23. Darrigol (2000), Chap. 8.5
24. Macrossan (1986)
25. Larmor (1897/1929), p. 39
26. Larmor (1900), p. 168
27. Larmor (1900), p. 174
28. Lorentz (1899), p. 429
29. Lorentz (1899), p. 439
30. Lorentz (1899), p. 442
31. Jannsen (1995), Kap. 3.3
32. Lorentz (1904), p. 812
33. Lorentz (1904), p. 826
34. Miller (1981), Chap. 1.12.2
35. Jannsen (1995), Chap. 3.5.6
36. Bucherer, p. 129; Definition of s on p. 32
37. Wien (1904), p. 394
38. Cohn (1904a), pp. 1296-1297
39. Gans (1905), p. 169
40. Darrigol (2005), Kap. 4
41. Poincaré (1900), pp. 272–273
42. Cohn (1904b), p. 1408
43. Abraham (1905), § 42
44. Poincaré (1905), p. 1505
45. Pais (1982), Chap. 6c
46. Katzir (2005), 280–288
47. Miller (1981), Chap. 1.14
48. Poincaré (1905/06), pp. 129ff
49. Poincaré (1905/06), p. 144
50. Miller (1981), Chap. 6
51. Pais (1982), Kap. 7
52. Darrigol (2005), Chap. 6
53. Einstein (1905), p. 902
54. Einstein (1905), § 5 and § 9
55. Einstein (1905), § 7
56. Minkowski (1907/15), pp. 927ff
57. Minkowski (1907/08), pp. 53ff
58. Walter (1999a)
59. Minkowski (1907/08), p. 59
60. Minkowski (1907/08), pp. 65–66, 81–82
61. Minkowski (1908/09), p. 77
62. Sommerfeld (1909), p. 826ff.
63. Frank (1909), pp. 423-425
64. Bateman (1909/10), pp. 223ff
65. Cunningham (1909/10), pp. 77ff
66. Klein (1910)
67. Bateman (1910/12), pp. 358–359
68. Cartan (1912), p. 23
69. Poincaré (1912/21), p. 145
70. Herglotz (1909/10), pp. 404-408
71. Varićak (1910), p. 93
72. Varićak (1910), p. 94
73. Plummer (1910), p. 256
74. Ignatowski (1910), pp. 973–974
75. Ignatowski (1910/11), p. 13
76. Frank & Rothe (1911), pp. 825ff; (1912), p. 750ff.
77. Baccetti (2011), see references 1–25 therein.
78. Klein (1908), p. 165
79. Noether (1910), pp. 939–943
80. Cartan & Study (1908), sections 35–36
81. Klein (1910), p. 300
82. Klein (1911), pp. 602ff.
83. Conway (1911), p. 8
84. Silberstein (1911/12), p. 793
85. Silberstein (1914), p. 156
86. Ignatowski (1910/11a), p. 23; (1910/11b), p. 22
87. Herglotz (1911), p. 497
88. Silberstein (1911/12), p. 792; (1914), p. 123
89. Pauli (1921), p. 555
90. Madelung (1921), p. 207
91. Møller (1952/55), pp. 41–43
92. Borel (1913/14), p. 39
93. Borel (1913/14), p. 41
94. Gruner (1921a),
95. Gruner (1921b)