History of Topics in Special Relativity/Lorentz transformation (Cayley-Hermite)

From Wikiversity
Jump to navigation Jump to search
History of Topics in Special Relativity: History of Lorentz transformation

1 - Most general Lorentz transformations

2 - Lorentz transformation via imaginary orthogonal transformation

3 - Lorentz transformation via hyperbolic functions

4 - Lorentz transformation via velocity

5 - Lorentz transformation via conformal, spherical wave, and Laguerre transformation

6 - Lorentz transformation via Cayley–Hermite transformation

7 - Lorentz transformation via Cayley–Klein parameters, Möbius and spin transformations

8 - Lorentz transformation via quaternions and hyperbolic numbers

9 - Lorentz transformation via trigonometric functions

10 - Lorentz transformation via squeeze mappings

Lorentz transformation via Cayley–Hermite transformation[edit | edit source]

The general transformation (Q1) of any quadratic form into itself can also be given using arbitrary parameters based on the w:Cayley transform (I-T)−1·(I+T), where I is the w:identity matrix, T an arbitrary w:antisymmetric matrix, and by adding A as symmetric matrix defining the quadratic form (there is no primed A' because the coefficients are assumed to be the same on both sides):[1][2]






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 by Cayley (1855a, 1855b). For instance, the choice A=diag(1,1,1) gives an orthogonal transformation which can be used to describe spatial rotations corresponding to the Euler-Rodrigues parameters [a,b,c,d] discovered by Euler (1771) and Rodrigues (1840), which can be interpreted as the coefficients of w:quaternions. Setting d=1, the equations have the form:






Also the Lorentz interval and the general Lorentz transformation in any dimension can be produced by the Cayley–Hermite formalism.[R 1][R 2][3][4] For instance, the most general Lorentz transformation (1a)) with n=1 follows from (Q2 ) with:






This becomes Lorentz boost (4a) by setting , which is equivalent to the relation known from w:Loedel diagrams, thus (5a ) can be interpreted as a Lorentz boost from the viewpoint of a "median frame" in which two other inertial frames are moving with equal speed in opposite directions.

Furthermore, Lorentz transformation (1a ) with n=2 is given by:






or using n=3:






The transformation of a binary quadratic form of which Lorentz transformation (5a ) is a special case was given by Hermite (1854), equations containing Lorentz transformations (5a , 5b , 5c ) as special cases were given by Cayley (1855), Lorentz transformation (5a ) was given (up to a sign change) by Laguerre (1882), Darboux (1887), Smith (1900) in relation to Laguerre geometry, and Lorentz transformation (5b ) was given by Bachmann (1869). In relativity, equations similar to (5b , 5c ) were first employed by Borel (1913) to represent Lorentz transformations.

As described in equation (3d), the Lorentz interval is closely connected to the alternative form ,ref name=k28>Klein (1928), § 2A</ref> which in terms of the Cayley–Hermite parameters is invariant under the transformation:[M 1]






This transformation was given by Cayley (1884), even though he didn't relate it to the Lorentz interval but rather to . As shown in the next section in equation (6d), many authors (some before Cayley) expressed the invariance of and its relation to the Lorentz interval by using the alternative Cayley–Klein parameters and Möbius transformations.

Historical notation[edit | edit source]

Euler (1771) – Euler-Rodrigues parameter[edit | edit source]

Euler (1771) demonstrated the invariance of quadratic forms in terms of sum of squares under a linear substitution and its coefficients, now known as w:orthogonal transformation. The transformation in three dimensions was given as

in which the coefficiens A,B,C,D,E,F,G,H,I were related by Euler to four arbitrary parameter p,q,r,s, which where rediscovered by w:Olinde Rodrigues (1840) who related them to rotation angles[M 2]:[M 3]

These are now called (improper) Euler–Rodrigues parameters in line with equation (Q3 ).

Cayley (1846–1884)[edit | edit source]

Euler–Rodrigues parameter and Cayley–Hermite transformation[edit | edit source]

The Euler–Rodrigues parameters discovered by Euler (1871) and Rodrigues (1840) leaving invariant were extended to by w:Arthur Cayley (1846) as a byproduct of what is now called the w:Cayley transform using the method of skew–symmetric coefficients.[M 4] Following Cayley's methods, a general transformation for quadratic forms into themselves in three (1853) and arbitrary (1854) dimensions was provided by Hermite (1853, 1854). Hermite's formula was simplified and brought into matrix form equivalent to (Q2 ) by Cayley (1855a)[M 5]

which he abbreviated in 1858, where is any skew-symmetric matrix:[M 6][5]

The Cayley–Hermite transformation becomes equivalent to the Lorentz transformation (5a ) by setting Ω=diag(-1,1) and (5b ) by setting Ω=diag(-1,1,1) and (5c ) by setting Ω=diag(-1,1,1,1).

Using the parameters of (1855a), Cayley in a subsequent paper (1855b) particularly discussed several special cases, such as:[M 7]

This becomes equivalent to the Lorentz transformation (5a ) in 1+1 dimensions by setting (a,b)=(-1,1) and Lorentz boost (4a ) by additionally setting .

or:[M 8]

This becomes equivalent to the Lorentz transformation (5b ) by setting (a,b,c)=(-1,1,1).

or:[M 9]

This becomes equivalent to the Lorentz transformation (5c ) by setting (a,b,c,d)=(-1,1,1,1).

Cayley absolute and hyperbolic geometry[edit | edit source]

Cayley (1884) also discussed some properties of the w:Cayley–Klein metric and the pseudosphere, and formulated coordinate transformations using the Cayley-Hermite formalism:[M 1]

The form PQ-Z2 and its transformation is equivalent to and its transformation in (5d ), and becomes related to the Lorentz interval by setting P=x0+x2, Q=x0-x2, Z=x1.

Hermite (1853, 1854) – Cayley–Hermite transformation[edit | edit source]

w:Charles Hermite (1853) extended the number theoretical work of Gauss (1801) and others (including himself) by additionally analyzing indefinite ternary quadratic forms that can be transformed into the Lorentz interval ±(x2+y2-z2), and by using Cayley's (1846) method of skew–symmetric coefficients he derived transformations leaving invariant almost all types of ternary quadratic forms.[M 10] This was generalized by him in 1854 to n dimensions:[M 11][6]

This result was subsequently expressed in matrix form by Cayley (1855), while w:Ferdinand Georg Frobenius (1877) added some modifications in order to include some special cases of quadratic forms that cannot be dealt with by the Cayley–Hermite transformation.[M 12][7]

This is equivalent to equation (Q2 ), and becomes the Lorentz transformation by setting the coefficients of the quadratic form f to diag(-1,1,...1).

For instance, the special case of the transformation of a binary quadratic form into itself was given by Hermite as follows:[M 13]

This becomes equivalent to Lorentz boost (5a ) by setting (a,b,c)=(-1,0,1) and Lorentz boost of velocity by additionally setting which produces t=γ and u=βγ.

Bachmann (1869) – Cayley–Hermite transformation[edit | edit source]

w:Paul Gustav Heinrich Bachmann (1869) adapted Hermite's (1853/54) transformation of ternary quadratic forms to the case of integer transformations. He particularly analyzed the Lorentz interval and its transformation, and also alluded to the analogue result of Gauss (1800) in terms of Cayley–Klein parameters, while Bachmann formulated his result in terms of the Cayley–Hermite transformation:[M 14]

He described this transformation in 1898 in the first part of his "arithmetics of quadratic forms" as well.[8]

This is equivalent to Lorentz transformation (5b ), producing the relation .

Laguerre (1882) – Laguerre inversion[edit | edit source]

After previous work by w:Albert Ribaucour (1870),[M 15] a transformation which transforms oriented spheres into oriented spheres, oriented planes into oriented planes, and oriented lines into oriented lines, was explicitly formulated by w:Edmond Laguerre (1882) as "transformation by reciprocal directions" which was later called "Laguerre inversion/transformation". It can be seen as a special case of the conformal group in terms of Lie's transformations of oriented spheres. In two dimensions the transformation or oriented lines has the form (R being the radius):[M 16]

This is equivalent (up to a sign change) to Lorentz transformation (5a ) in terms of Cayley–Hermite parameters (even though Laguerre didn't use the Cayley-Hermite transformation (Q2 )). The Lorentz boost of velocity follows with .

Darboux (1887) – Laguerre inversion[edit | edit source]

Following Laguerre (1882), w:Gaston Darboux (1887) presented the Laguerre inversions in four dimensions using coordinates x,y,z,R:[M 17]

This is equivalent (up to a sign change for R) to Lorentz transformation (5a ) in terms of Cayley–Hermite parameters (even though Darboux didn't use the Cayley-Hermite transformation (Q2 )). The Lorentz boost of velocity follows with .

Darboux rewrote these equations as follows:

This is equivalent (up to a sign change for R) to a squeeze mapping.

Smith (1900) – Laguerre inversion[edit | edit source]

w:Percey F. Smith (1900) followed Laguerre (1882) and Darboux (1887) and defined the Laguerre inversion as follows:[M 18]

This is equivalent (up to a sign change) to Lorentz transformation (5a ) in terms of Cayley–Hermite parameters (even though Smith didn't use the Cayley-Hermite transformation (Q2 )). The Lorentz boost of velocity follows with .

Borel (1913–14) – Cayley–Hermite parameter[edit | edit source]

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 equivalent to (5b ):[R 3]

In four dimensions equivalent to (5c ):[R 4]

References[edit | edit source]

Historical mathematical sources[edit | edit source]

  1. 1.0 1.1 Cayley (1884), section 16.
  2. Rodrigues (1840), p. 405
  3. Euler (1771), p. 101
  4. Cayley (1846)
  5. Cayley (1855a), p. 288
  6. Cayley (1858), p. 39
  7. Cayley (1855b), p. 210
  8. Cayley (1855b), p. 211
  9. Cayley (1855b), pp. 212–213
  10. Hermite (1853/54a), p. 307ff.
  11. Hermite (1854b), p. 64
  12. Frobenius (1877)
  13. Hermite (1854b), pp. 64–65
  14. Bachmann (1869), p. 303
  15. Ribaucour (1870)
  16. Laguerre (1882), pp. 550–551.
  17. Darboux (1887)
  18. Smith (1900), p. 159

Historical relativity sources[edit | edit source]

  1. Borel (1914), pp. 39–41
  2. Brill (1925)
  3. Borel (1913/14), p. 39
  4. Borel (1913/14), p. 41

Secondary sources[edit | edit source]

  1. Hawkins (2013), pp. 210–214
  2. Meyer (1899), p. 329
  3. Klein (1928), § 2B
  4. Lorente (2003), section 3.3
  5. Hawkins (2013), p. 214
  6. Hawkins (2013), p. 212
  7. Hawkins (2013), pp. 219ff
  8. Bachmann (1898), pp. 101–102