History of Lorentz transformations

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

The history of Lorentz transformations comprises the development of linear transformations forming the Lorentz group or Poincaré group preserving the Lorentz interval and the Minkowski inner product .

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. eu 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 velocity of light invariant between different inertial frames. They relate the spacetime coordinates, which specify the position and time of an event, relative to a particular inertial frame of reference (the "rest system"), and the coordinates and of the same event relative to another coordinate system moving in the positive x-direction at a constant speed , relative to the rest system.

Contents

Overview[edit]

Lorentz transformation via quadratic forms, Weierstrass coordinates, and Cayley absolute[edit]

The general quadratic form with coefficients of a symmetric matrix , the associated bilinear form , and the linear transformations of and into and using the transformation matrix , can be written as[1]

 

 

 

 

(Q1)

The case is the binary quadratic form introduced by Lagrange (1773) and Gauss (1798/1801), is the ternary quadratic form introduced by Gauss (1798/1801), is the quaternary quadratic form etc.

The Lorentz transformation follows from (Q1) by setting and . It forms an indefinite orthogonal group called the Lorentz group SO(n, 1), the quadratic form becomes the Lorentz interval in terms of an indefinite quadratic form, and the associated bilinear form becomes the Minkowski inner product:[2][3]

 

 

 

 

(1)

Such Lorentz transformations (1) for various dimensions were used by Poincaré (1881), Cox (1881/82), Killing (1885, 1893), Gérard (1892), Hausdorff (1899), Woods (1901, 1903), Liebmann (1904/05) to describe hyperbolic motions, i.e. rigid motions in the hyperbolic plane or hyperbolic space in terms of Weierstrass coordinates of the hyperboloid model satisfying the relation .[M 1][4][5] Hyperbolic motions have also been studied by Klein (1871–1897) or Lindemann (1890/91) in terms of the Cayley–Klein metric and projective geometry using the "absolute" form . In addition, infinitesimal transformations related to the Lie algebra of the group of hyperbolic motions leaving invariant the unit sphere were given by Lie (1885-1893) and Werner (1889) and in terms of Weierstrass coordinates by Killing (1888-1897).

By using the imaginary quantities , Lorentz transformation (1) assumes the form of an orthogonal transformation, the Lorentz interval becomes the Euclidean norm, and the Minkowski inner product becomes the dot product:[6]

 

 

 

 

(1b)

The cases of this quadratic form and its transformation was discussed by Euler (1771), its interpretation as a Lorentz transformation with using imaginary quantities was given by Minkowski (1907).

Lorentz transformation via hyperbolic functions[edit]

The case of a Lorentz transformation without spatial rotation is called a Lorentz boost. The simplest case can be given, for instance, by setting in (1):

 

 

 

 

(2a)

which resembles precisely the relations of hyperbolic functions by setting and , with as the hyperbolic angle. Thus by adding an unchanged -axis, a Lorentz boost for representing a translation in the hyperbolic plane along one axis (being the same as a rotation around an imaginary angle ) is given by

 

 

 

 

(2b)

which can also be expressed in terms of exponential functions

 

 

 

 

(2c)

All hyperbolic relations (a,b,c,d,e,f) on the right of (2b) were given by Lambert (1768–1770). The Lorentz transformations (2b or 2c) were given by Cox (1882), Lindemann (1890/91), Gérard (1892), Killing (1893, 1897/98), Whitehead (1897/98), Woods (1903/05), Liebmann (1904/05), see § Historical formulas for Lorentz boosts.

By using the imaginary quantities , Lorentz transformation (2b) assumes the form of an orthogonal transformation representing spatial rotations:

 

 

 

 

(2d)

This quadratic form and its transformation was discussed by Euler (1771), its interpretation as a Lorentz transformation using one imaginary coordinate was given by Minkowski (1907).

By inserting coordinates in (2b) in terms of the Beltrami–Klein model[7] of hyperbolic geometry inside the unit circle , the corresponding Lorentz transformations in (2b) obtain the form:

 

 

 

 

(2e)

These Lorentz transformations were given by Escherich (1874) (on the left) and Schur (1900/02) (on the right).

By setting and , the resulting Lorentz transformation (on the left)[8] can be seen as equivalent to the hyperbolic law of cosines (on the right):[R 1][9]

 

 

 

 

(2f)

The hyperbolic law of cosines (a) was given by Taurinus (1826) and Lobachevsky (1829/30) and others, while variant (b) was given by Schur (1900/02).

Lorentz transformation via velocity[edit]

In the theory of relativity, Lorentz transformations exhibit the symmetry of Minkowski spacetime by using a constant as the speed of light, and a parameter as the relative velocity between two inertial reference frames. In particular, the hyperbolic angle in (2b) can be interpreted as the velocity related rapidity with , so that is the Lorentz factor, the proper velocity, the relative velocity of two inertial frames, the velocity of another object, the velocity-addition formula, thus (2b) becomes:

 

 

 

 

(3a)

Or in four dimensions and by setting , , and adding an unchanged the familiar form follows

 

 

 

 

(3b)

Similar transformations were introduced by Voigt (1887) and by 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.[10] 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é.[11] Minkowski (1907–1908) used them to argue that space and time are inseparably connected as spacetime. Minkowski (1907–1908) and Varićak (1910) showed the relation to imaginary and hyperbolic functions. Important contributions to the mathematical understanding of the Lorentz transformation were also made by other authors such as Herglotz (1909/10), Ignatowski (1910), Noether (1910) and Klein (1910), Borel (1913–14).

Setting in (2b) or (3a), produces the Lorentz transformation of velocities (or velocity addition formula) in analogy to Beltrami coordinates of (2e):

 

 

 

 

(3c)

or more generally using the hyperbolic law of cosines in terms of (2f):[8][R 1][9]

 

 

 

 

(3d)

The velocity addition formula was given by Einstein (1905), while the relations to trigonometric and hyperbolic functions were given by Sommerfeld (1909) and Varićak (1910).

Also Lorentz transformations for arbitrary directions in line with (1) can be given as:[12]

or in vector notation

 

 

 

 

(3e)

Such transformations were formulated by Herglotz (1911) and Silberstein (1911) and others.

Lorentz transformation via spherical wave transformation[edit]

A general sphere transformation preserving the quadratic form is the group Con(p,1) of spacetime conformal transformations in terms of inversions or special conformal transformations, which has the property of changing spheres into spheres. One can switch between the representations by using an imaginary radius coordinate which gives (conformal transformation), or by using a real radius coordinate which gives (spherical wave transformation). This group was studied by Lie (1871) and others in terms of contact transformations, in which is related to the radius .

It turns out that Con(3,1) is isomorphic to the special orthogonal group SO(4,2), and contains the Lorentz group SO(3,1) as a subgroup by setting . More generally, Con(p,q) is isomorphic to SO(p+1,q+1) and contains SO(p,q) as subgroup.[13] This implies that Con(p,0) is isomorphic to the Lorentz group of arbitrary dimensions SO(p+1,1). Consequently, the conformal group in the plane Con(2,0) – known as the group of Möbius transformations – is isomorphic to the Lorentz group SO(3,1).[14][15] This can be seen using tetracyclical coordinates satisfying the form , which were discussed by Pockels (1891), Klein (1893), Bôcher (1894).

A special case of Lie's geometry of oriented spheres is the Laguerre group, transforming oriented planes and lines into each other. It's generated by the Laguerre inversion introduced by Laguerre (1882) and discussed by Darboux (1887) leaving invariant with as radius, thus the Laguerre group is isomorphic to the Lorentz group

Stephanos (1883) argued that Lie's geometry of oriented spheres in terms of contact transformations, as well as the special case of the transformations of oriented planes into each other (such as by Laguerre), provides a geometrical interpretation of Hamilton's biquaternions.

The relation between Lie's sphere transformations and the Lorentz transformation was noted by Bateman & Cunningham (1909–1910) and others. Furthermore, the group isomorphism between the Laguerre group and Lorentz group was pointed out by Bateman (1910), Cartan (1912, 1915/55), Poincaré (1912/21) and others.[16][17]

Lorentz transformation via Cayley–Hermite transformation[edit]

General transformations of arbitrary quadratic forms into themselves can also be given using independent parameters based on the Cayley transform in the form:[18][19]

 

 

 

 

(Q2)

where is, as above, a symmetric matrix defining the quadratic form (there is no primed because the coefficients are assumed to be the same on both sides), the identity matrix, and an arbitrary antisymmetric matrix. After Cayley (1846) introduced transformations related to sums of positive squares, Hermite (1853/54, 1854) derived transformations for arbitrary quadratic forms, whose result was reformulated in terms of matrices (Q2) by Cayley (1855a, 1855b). For instance, the choice gives the spatial rotation in terms of Euler-Rodrigues parameters discovered by Euler (1771) and Rodrigues (1840) (which can be interpreted as the coefficients of quaternions).

Also the Lorentz interval and the Lorentz transformation can be produced by this formalism.[R 2][R 3][20] The Lorentz transformation in 2 dimensions follows from (Q2) by setting :

 

 

 

 

(4a)

or with :

 

 

 

 

(4b)

or with :

 

 

 

 

(4c)

Equations containing the Lorentz transformations (4a, 4b, 4c) as special cases were given by Cayley (1855). In relativity, equations similar to (4b, 4c) were first employed by Borel (1913) to represent Lorentz transformations.

Lorentz transformation via Cayley–Klein parameters, Möbius and spin transformations[edit]

Lorentz transformations can also be formulated by using Cayley–Klein parameter , which were used by Helmholtz (1866/67), Cayley (1879) and Klein (1884) to connect Möbius transformations and rotations. There is also a close relation between Cayley–Klein parameters for ordinary 3d rotations and the corresponding Euler-Rodrigues parameters as discussed above:[M 2]

In modern publications, the Cayley–Klein parameters are related to a spin-matrix , the spin transformations of variables (the overline denotes complex conjugate), and the Möbius transformation of . When defined in terms of hyperbolic motions, the Hermitian matrix associated with these transformations produces an invariant determinant identical to the Lorentz interval. Therefore, these transformations were described by John Lighton Synge as being a "factory for the mass production of Lorentz transformations".[21] It also turns out that the related spin group Spin(3, 1) or special linear group SL(2, C) acts as the double cover of the Lorentz group (one Lorentz transformation corresponds to two spin transformations of different sign), while the Möbius group Con(2, 0) or projective special linear group PSL(2, C) is isomorphic to both the Lorentz group and the group of isometries of hyperbolic space.

In four dimensions, these Lorentz transformations can be represented as follows:[22][21][23][24]

 

 

 

 

(5a)

or expressing in terms of and it follows:[25]

 

 

 

 

(5b)

In the case of three dimensions it simplifies to:[26][24]

 

 

 

 

(5c)

thus

 

 

 

 

(5d)

Lorentz Transformation (5d) was given by Gauss around 1800 (posthumously published 1863). The general transformation in (5c) was used in the theory of binary quadratic forms given by Lagrange (1773) and Gauss (1798/1801), while in (5a) was given by Cayley (1854) and Klein (1884) in relation to surfaces of second degree. The adaptation of (5a) to hyperbolic motions by which they become Lorentz transformations was provided by Klein (1889/90, 1896/97), Fricke & Klein (1897) and Hausdorff (1899). In relativity, (5a) was first employed by Herglotz (1909/10).

Lorentz transformation via quaternions and hyperbolic numbers[edit]

The Lorentz transformations can also be expressed in terms of biquaternions having one real part and one purely imaginary part (some authors use the opposite convention). Its general form (on the left) and the corresponding boost (on the right) are as follows (where the overline denotes Hamiltonian conjugation and * complex conjugation):[27][28]

 

 

 

 

(6)

Cayley (1854, 1855) derived quaternion transformations leaving invariant the sum of squares . Cox (1882/83) discussed the Lorentz interval in terms of Weierstrass coordinates in the course of adapting Clifford's biquaternions to hyperbolic geometry ( for hyperbolic geometry, elliptic, parabolic). Stephanos (1883) divided Hamilton's biquaternions into one real and one imaginary part, and introduced a homography leaving invariant the equations of oriented spheres or oriented planes. Buchheim (1884/85) discussed the Cayley absolute and adapted Clifford's biquaternions to hyperbolic geometry similar to Cox by using all three values of . Eventually, the modern Lorentz transformation using biquaternions was given by Noether (1910), Klein (1910), Conway (1911), Silberstein (1911).

Often connected with quaternionic systems is the hyperbolic number , which also allows to formulate the Lorentz transformations:[29][30]

 

 

 

 

(7)

After the trigonometric expression (Euler's formula) was given by Euler (1748) and the hyperbolic analogue by Cockle (1848) in the framework of tessarines, it was shown by Cox (1882/83) that one can identify with associative quaternion multiplication. Here, is the hyperbolic versor with , the elliptic one follows with , and parabolic with (this should not be confused with the expression in Clifford's biquaternions also used by Cox, in which is hyperbolic). The hyperbolic versor was also discussed by Macfarlane (1892, 1894, 1900) in terms of hyperbolic quaternions. The expression for hyperbolic motions (and for elliptic, for parabolic motions) also appear in "biquaternions" defined by Vahlen (1901/02, 1905).

More extended forms of complex and (bi-)quaternionic systems in terms of Clifford algebra can also be used to express the Lorentz transformations. For instance, using a system of Clifford numbers one can transform the following general quadratic form into itself, in which the individual values of can be set to +1 or -1 at will:[31][32]

The Lorentz interval follows if the sign of one differs from all others. The general definite form as well as the general indefinite form and their invariance under transformation (1) was discussed by Lipschitz (1885/86), while hyperbolic motions were discussed by Vahlen (1901/02, 1905) by setting in transformation (2), (elliptic motions follow with , parabolic motions ), all of which he also related to biquaternions.

Mathematics of the 19th century[edit]

Historical formulas for Lorentz boosts[edit]

A summary of historical Lorentz boost formulas consistent with (2a, 2b, 2c):

Escherich (1874)
Cox (1881/82) and
Laguerre (1882)
Cox (1882/83)
Darboux (1887)
Lindemann (1890/91)
Gérard (1892)
Killing (1893)
Whitehead (1897/98)
Killing (1897/98)
Schur (1900/02)
Woods (1903/05)

Liebmann (1904/05)

Lambert (1768–1770) – hyperbolic functions[edit]

After Vincenzo Riccati introduced hyperbolic functions in 1757,[M 3] Johann Heinrich Lambert (read 1767, published 1768) gave the following relations, in which or abbreviated was equated by Lambert to the tangens hyperbolicus of a variable , or in modern notation :[M 4][33]

In (1770) he rewrote the addition law for the hyperbolic tangens (f) or (g) as:[M 5]

The hyperbolic relations (a,b,c,d,e) are equivalent to the hyperbolic relations on the right of (2b). In addition, by setting , (c) becomes the relative velocity between two frames, (d) the Lorentz factor, (e) the proper velocity, (f) or (g) the relativistic velocity addition formula for collinear velocities in (3a).

Euler (1771) – orthogonal transformation[edit]

Leonhard Euler (1771) demonstrated the invariance of quadratic forms in terms of sum of squares under a linear substitution and its coefficients, now known as orthogonal transformation, as well as under rotations using Euler angles. The case of two dimensions is given by[M 6]

or three dimensions[M 7]

These coefficiens were related by Euler to four parameter , which where rediscovered by Olinde Rodrigues (1840) who related them to rotation angles[M 8] now called Euler–Rodrigues parameters:[M 9]

The orthogonal transformation in four dimensions was given by him as[M 10]

As shown by Minkowski (1907), the orthogonal transformation can be directly used as Lorentz transformation (2d) by making one of the variables imaginary.

Gauss (1798–1801)[edit]

Binary quadratic forms[edit]

After the invariance of the sum of squares under linear substitutions was discussed by Euler (1771), the general expressions of a binary quadratic form and its transformation was discussed by Lagrange (1773).[M 11]

which is equivalent to (Q1). The theory of binary quadratic forms was considerably expanded by Carl Friedrich Gauss (1798, published 1801) in his Disquisitiones Arithmeticae. He rewrote Lagrange's formalism as follows using integer coefficients :[M 12]

which is equivalent to (Q1). As pointed out by Gauss, and are called "proper equivalent" if , so that is contained in as well as is contained in . In addition, if another form is contained by the same procedure in it is also contained in and so forth.[M 13]

The Lorentz interval and the Lorentz transformation (1) are a special case of the binary quadratic form of Lagrange and Gauss by setting .

Alternatively, the transformation of coefficients corresponds to Lorentz transformation in (5c) by setting

.

Ternary quadratic forms[edit]

Gauss (1798/1801)[M 14] also discussed ternary quadratic forms with the general expression