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

{{../Lorentz transformation (header)}}

Lorentz transformation via Cayley–Hermite transformation

The [[../Lorentz transformation (general)#math_Q1|E:general transformation (Q1)]] of any quadratic form into itself can also be given using arbitrary parameters based on the w:Cayley transform (I-T)⁻¹·(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):

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 w: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. For instance, the [[../Lorentz transformation (general)#math_1a|E:most general Lorentz transformation (1a)]] with n=1 follows from (Template:EquationNote) with:

This becomes [[../Lorentz transformation (velocity)#math_4a|E:Lorentz boost (4a)]] by setting $\frac{2a}{1+a^2}=\frac{v}{c}$, which is equivalent to the relation $\frac{2{\beta }_0}{1+{\beta }_0^2}=\frac{v}{c}$ known from w:Loedel diagrams, thus (Template:EquationNote) 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 ${\beta }_0$ in opposite directions.

Furthermore, Lorentz transformation [[../Lorentz transformation (general)#math_1a|E:(1a)]]) with n=2 is given by:

or using n=3:

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

Historical notation

Template:Anchor Euler (1771) – Euler-Rodrigues parameter

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

$\begin{array}{c}{X}^2+Y^2+Z^2=x^2+y^2+z^2\\ \begin{array}{cc}X& =Ax+By+Cz\\ Y& =Dx+Ey+Fz\\ Z& =Gx+Hy+Iz\end{array}\begin{array}{c}|\begin{array}{cc}1& =AA+DD+GG\\ 1& =BB+EE+HH\\ 1& =CC+FF+II\\ 0& =AB+DE+GH\\ 0& =AG+DF+GI\\ 0& =BC+EF+HI\end{array}\end{array}\end{array}$

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:

$\begin{array}{c}\begin{array}{cccccc}A& =\frac{pp+qq-rr-ss}{u}& B& =\frac{2pq+2ps}{u}& C& =\frac{2qs-2pr}{u}\\ D& =\frac{2qr-2ps}{u}& E& =\frac{pp-qq+rr-ss}{u}& F& =\frac{2pq+2rs}{u}\\ G& =\frac{2qs+2pr}{u}& H& =\frac{2rs-2pq}{u}& I& =\frac{pp-qq-rr+ss}{u}\end{array}\\ (u=pp+qq+rr+ss)\end{array}$

Template:Anchor Cayley (1846–1855) – Cayley–Hermite transformation

The Euler–Rodrigues parameters discovered by Euler (1871) and Rodrigues (1840) leaving invariant $x_0^2+x_1^2+x_2^2$ were extended to $x_0^2+\dots +x_n^2$ by w:Arthur Cayley (1846) as a byproduct of what is now called the w:Cayley transform using the method of skew–symmetric coefficients. 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 (Template:EquationNote) by Cayley (1855a)

$(\mathrm{x},\mathrm{y},\mathrm{z}\dots )=\left({\left|\begin{array}{cccc}a,& h,& g& \dots \\ h,& b,& f& \dots \\ g,& f,& c& \dots \\ \dots & \dots & \dots & \dots \end{array}\right|}^{-1}\left|\begin{array}{cccc}a,& h-\nu ,& g+\mu & \dots \\ h+\nu ,& b,& f-\lambda & \dots \\ g-\mu ,& f+\lambda ,& c& \dots \\ \dots & \dots & \dots & \dots \end{array}\right|{\left|\begin{array}{cccc}a,& h+\nu ,& g-\mu & \dots \\ h-\nu ,& b,& f+\lambda & \dots \\ g+\mu ,& f-\lambda ,& c& \dots \\ \dots & \dots & \dots & \dots \end{array}\right|}^{-1}\left|\begin{array}{cccc}a,& h,& g& \dots \\ h,& b,& f& \dots \\ g,& f,& c& \dots \\ \dots & \dots & \dots & \dots \end{array}\right|\right){}^{⌢}(x,y,z\dots )$

which he abbreviated in 1858, where $\mathrm{{\rm Y}}$ is any skew-symmetric matrix:

$(\mathrm{x},\mathrm{y},\mathrm{z})=({\mathrm{\Omega }}^{-1}(\mathrm{\Omega }-\mathrm{{\rm Y}})(\mathrm{\Omega }+\mathrm{{\rm Y}}{)}^{-1}\mathrm{\Omega })(x,y,z)$

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

$\begin{array}{c}a{\mathrm{x}}^2+b{\mathrm{y}}^2=a{x}^2+b{y}^2\\ (\mathrm{x},\mathrm{y})=\frac{1}{ab+{\nu }^2}\cdot \left[\begin{array}{cc}ab-{\nu }^2,& -2\nu b\\ 2\nu a,& ab-{\nu }^2\end{array}\right](x,y)\end{array}$

or:

$\begin{array}{c}a{\mathrm{x}}^2+b{\mathrm{y}}^2+c{\mathrm{z}}^2=a{x}^2+b{y}^2+c{z}^2\\ (\mathrm{x},\mathrm{y},\mathrm{z})=\frac{1}{abc+a{\lambda }^2+b{\mu }^2+c{\nu }^2}\times \left[\begin{array}{ccc}abc+a{\lambda }^2-b{\mu }^2-c{\nu }^2,& 2(\lambda \mu -c\nu )b& 2(\nu \lambda +b\mu )c\\ 2(\lambda \mu +c\nu )a,& abc-a{\lambda }^2+b{\mu }^2-c{\nu }^2& 2(\mu \nu -a\lambda )c\\ 2(\nu \lambda -b\mu )a& 2(\mu \nu +a\lambda )b& abc-a{\lambda }^2-b{\mu }^2-c{\nu }^2\end{array}\right](x,y,z)\end{array}$

or:

$\begin{array}{c}a{\mathrm{x}}^2+b{\mathrm{y}}^2+c{\mathrm{z}}^2+d{\mathrm{w}}^2=a{x}^2+b{y}^2+c{z}^2+d{w}^2\\ (\mathrm{x},\mathrm{y},\mathrm{z},\mathrm{w})=\frac{1}{k}\cdot \left[\begin{array}{cccc}& abcd-bc{\rho }^2+ca{\sigma }^2+ab{\tau }^2+ad{\lambda }^2& & 2b(-cd\nu -\tau \varphi +d\lambda \mu -c\rho \sigma ),\\ & -bd{\mu }^2-cd{\nu }^2-{\varphi }^2,& & abcd+bc{\rho }^2-ca{\sigma }^2+ab{\tau }^2-ad{\lambda }^2\\ & 2a(cd\nu +\tau \varphi +d\lambda \mu -c\rho \sigma ),& & +bd{\mu }^2-cd{\nu }^2-{\varphi }^2,\\ & 2a(-bd\mu -\sigma \varphi +d\lambda \nu -b\rho \tau ),& & 2b(ad\lambda +\rho \varphi +d\mu \nu -a\sigma \tau ),\\ & 2a(bc\rho +\lambda \varphi +c\nu \sigma -b\mu \tau ),& & 2b(ac\sigma +\mu \varphi -c\nu \rho +a\lambda \tau ),\\ \\ & 2c(bd\mu +\sigma \varphi +d\lambda \nu -b\rho \tau ),& & 2d(-bc\rho -\lambda \varphi +c\nu \sigma -b\mu \tau )\\ & 2c(-ad\lambda -\rho \varphi +d\mu \nu -a\sigma \tau ),& & 2d(-ac\sigma -\mu \varphi -c\nu \rho +a\lambda \tau )\\ & abcd+bc{\rho }^2+ca{\sigma }^2-ab{\tau }^2-ad{\lambda }^2& & 2d(-ab\tau -\nu \varphi +b\mu \rho -a\lambda \sigma )\\ & -bd{\mu }^2+cd{\nu }^2-{\varphi }^2,& & abcd-bc{\rho }^2-ca{\sigma }^2-ab{\tau }^2+ad{\lambda }^2\\ & 2c(ab\tau +\nu \varphi +b\mu \rho -a\lambda \sigma ),& & +bd{\mu }^2+cd{\nu }^2-{\varphi }^2,\end{array}\right]\cdot (x,y,z,w)\\ \left(\begin{array}{cc}k& =abcd+bc{\rho }^2+ca{\sigma }^2+ab{\tau }^2+ad{\lambda }^2+bd{\mu }^2+cd{\nu }^2+{\varphi }^2\\ \varphi & =\lambda \rho +\mu \sigma +\nu \tau \end{array}\right)\end{array}$

Template:Anchor Hermite (1853, 1854) – Cayley–Hermite transformation

w:Charles Hermite (1853) extended the number theoretical work of [[../Lorentz transformation (general)#Gauss2|E:Gauss (1801)]] and others (including himself) by additionally analyzing indefinite ternary quadratic forms that can be transformed into the Lorentz interval ±(x²+y²-z²), and by using Cayley's (1846) method of skew–symmetric coefficients he derived transformations leaving invariant almost all types of ternary quadratic forms. This was generalized by him in 1854 to n dimensions:

$\begin{array}{c}f(X_1,X_2,\dots )=f(x_1,x_2,\dots )\\ X_r=2{\xi }_r-x_r={\xi }_r-\frac{1}{2}\sum _{s=1}^n{\lambda }_{r,s}\frac{df}{d{\xi }_s}\\ ({\lambda }_{r,s}=-{\lambda }_{s,r},{\lambda }_{r,r}=0)\end{array}$

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.

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

$\begin{array}{c}f=a{x}^2+2bxy+c{y}^2\\ \begin{array}{cccc}X& =\frac{(1-2\lambda b+{\lambda }^{2}D)x-2\lambda cy}{1-{\lambda }^{2}D}& & =x(t-bu)-cuy\\ Y& =\frac{2\lambda ax+(1+2\lambda b+{\lambda }^{2}D)y}{1-{\lambda }^{2}D}& & =xau+(t+bu)y\end{array}\\ (b^2-ac=D,t=\frac{1+{\lambda }^{2}D}{1-{\lambda }^{2}D},u=\frac{2\lambda }{1-{\lambda }^{2}D},t^2-D{u}^2=1)\end{array}$

Template:Anchor Bachmann (1869) – Cayley–Hermite transformation

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 [[../Lorentz transformation (Möbius)#Gauss3|E:Gauss (1800) in terms of Cayley–Klein parameters]], while Bachmann formulated his result in terms of the Cayley–Hermite transformation:

$\begin{array}{c}{x}^2+x^{\prime 2}-x^{\prime \prime 2}\\ \begin{array}{cc}(p^2-q^2-q^{\prime 2}+q^{\prime \prime 2})X& =(p^2-q^2+q^{\prime 2}-q^{\prime \prime 2})x-2(p{q}^{″}+q{q}^{\prime })x^{\prime }-2(p{q}^{\prime }+q{q}^{″})x^{″}\\ (p^2-q^2-q^{\prime 2}+q^{\prime \prime 2})X^{\prime }& =2(p{q}^{″}-q{q}^{\prime })x+(p^2+q^2-q^{\prime 2}-q^{\prime \prime 2})x^{\prime }+2(pq-q^{\prime }{q}^{″})x^{″}\\ (p^2-q^2-q^{\prime 2}+q^{\prime \prime 2})X^{″}& =-2(p{q}^{\prime }-q{q}^{\prime })x+2(pq+q^{\prime }{q}^{″})x^{\prime }+(p^2+q^2+q^{\prime 2}+q^{\prime \prime 2})x^{″}\end{array}\end{array}$

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

Template:Anchor Laguerre (1882) – Laguerre inversion

After previous work by w:Albert Ribaucour (1870), 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 [[../Lorentz transformation (conformal)#Lie|E:Lie's transformations of oriented spheres]]. In two dimensions the transformation or oriented lines has the form (R being the radius):

$\begin{array}{cc}{D}^{\prime }& =\frac{D(1+{\alpha }^2)-2\alpha R}{1-{\alpha }^2}\\ R^{\prime }& =\frac{2\alpha D-R(1+{\alpha }^2)}{1-{\alpha }^2}\end{array}|\begin{array}{cc}{D}^2-D^{\prime 2}& =R^2-R^{\prime 2}\\ D-D^{\prime }& =\alpha (R-R^{\prime })\\ D+D^{\prime }& =\frac{1}{\alpha }(R+R^{\prime })\end{array}$

Template:Anchor Darboux (1887) – Laguerre inversion

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

$\begin{array}{c}{x}^{\prime 2}+y^{\prime 2}+z^{\prime 2}-R^{\prime 2}=x^2+y^2+z^2-R^2\\ \begin{array}{cccc}{x}^{\prime }& =x,& z^{\prime }& =\frac{1+k^2}{1-k^2}z-\frac{2kR}{1-k^2},\\ y^{\prime }& =y,& R^{\prime }& =\frac{2kz}{1-k^2}-\frac{1+k^2}{1-k^2}R,\end{array}\end{array}$

Template:Anchor Smith (1900) – Laguerre inversion

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

$\begin{array}{c}{p}^{\prime 2}-p^2=R^{\prime 2}-R^2\\ p^{\prime }=\frac{{\kappa }^2+1}{{\kappa }^2-1}p-\frac{2\kappa }{{\kappa }^2-1}R,R^{\prime }=\frac{2\kappa }{{\kappa }^2-1}p-\frac{{\kappa }^2+1}{{\kappa }^2-1}R\end{array}$

Template:Anchor Borel (1913–14) – Cayley–Hermite parameter

w:É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 equivalent to (Template:EquationNote):

$\begin{array}{c}{x}^2+y^2-z^2-1=0\\ \begin{array}{cccccc}\delta a& ={\lambda }^2+{\mu }^2+{\nu }^2-{\rho }^2,& \delta b& =2(\lambda \mu +\nu \rho ),& \delta c& =-2(\lambda \nu +\mu \rho ),\\ \delta a^{\prime }& =2(\lambda \mu -\nu \rho ),& \delta b^{\prime }& =-{\lambda }^2+{\mu }^2+{\nu }^2-{\rho }^2,& \delta c^{\prime }& =2(\lambda \rho -\mu \nu ),\\ \delta a^{″}& =2(\lambda \nu -\mu \rho ),& \delta b^{″}& =2(\lambda \rho +\mu \nu ),& \delta c^{″}& =-({\lambda }^2+{\mu }^2+{\nu }^2+{\rho }^2),\end{array}\\ (\delta ={\lambda }^2+{\mu }^2-{\rho }^2-{\nu }^2)\\ \lambda =\nu =0\to \text{Hyperbolic rotation}\end{array}$

In four dimensions equivalent to (Template:EquationNote):

$\begin{array}{c}F={(x_1-x_2)}^2+{(y_1-y_2)}^2+{(z_1-z_2)}^2-{(t_1-t_2)}^2\\ \begin{array}{cccc}& ({\mu }^2+{\nu }^2-{\alpha }^2)\cos \phi +({\lambda }^2-{\beta }^2-{\gamma }^2)\mathrm{ch}\theta & & -(\alpha \beta +\lambda \mu )(\cos \phi -\mathrm{ch}\theta )-\nu \sin \phi -\gamma \mathrm{sh}\theta \\ & -(\alpha \beta +\lambda \mu )(\cos \phi -\mathrm{ch}\theta )-\nu \sin \phi +\gamma \mathrm{sh}\theta & & ({\mu }^2+{\nu }^2-{\beta }^2)\cos \phi +({\mu }^2-{\alpha }^2-{\gamma }^2)\mathrm{ch}\theta \\ & -(\alpha \gamma +\lambda \nu )(\cos \phi -\mathrm{ch}\theta )+\mu \sin \phi -\beta \mathrm{sh}\theta & & -(\beta \mu +\mu \nu )(\cos \phi -\mathrm{ch}\theta )+\lambda \sin \phi +\alpha \mathrm{sh}\theta \\ & (\gamma \mu -\beta \nu )(\cos \phi -\mathrm{ch}\theta )+\alpha \sin \phi -\lambda \mathrm{sh}\theta & & -(\alpha \nu -\lambda \gamma )(\cos \phi -\mathrm{ch}\theta )+\beta \sin \phi -\mu \mathrm{sh}\theta \\ \\ & -(\alpha \gamma +\lambda \nu )(\cos \phi -\mathrm{ch}\theta )+\mu \sin \phi +\beta \mathrm{sh}\theta & & (\beta \nu -\mu \nu )(\cos \phi -\mathrm{ch}\theta )+\alpha \sin \phi -\lambda \mathrm{sh}\theta \\ & -(\beta \mu +\mu \nu )(\cos \phi -\mathrm{ch}\theta )-\lambda \sin \phi -\alpha \mathrm{sh}\theta & & (\lambda \gamma -\alpha \nu )(\cos \phi -\mathrm{ch}\theta )+\beta \sin \phi -\mu \mathrm{sh}\theta \\ & ({\lambda }^2+{\mu }^2-{\gamma }^2)\cos \phi +({\nu }^2-{\alpha }^2-{\beta }^2)\mathrm{ch}\theta & & (\alpha \mu -\beta \lambda )(\cos \phi -\mathrm{ch}\theta )+\gamma \sin \phi -\nu \mathrm{sh}\theta \\ & (\beta \gamma -\alpha \mu )(\cos \phi -\mathrm{ch}\theta )+\gamma \sin \phi -\nu \mathrm{sh}\theta & & -({\alpha }^2+{\beta }^2+{\gamma }^2)\cos \phi +({\lambda }^2+{\mu }^2+{\nu }^2)\mathrm{ch}\theta \end{array}\\ ({\alpha }^2+{\beta }^2+{\gamma }^2-{\lambda }^2-{\mu }^2-{\nu }^2=-1)\end{array}$

References

Historical mathematical sources

• {{#section:History of Topics in Special Relativity/mathsource|bach69}}
• {{#section:History of Topics in Special Relativity/mathsource|cay46gau}}
• {{#section:History of Topics in Special Relativity/mathsource|cay55quad}}
• {{#section:History of Topics in Special Relativity/mathsource|cay55gau}}
• {{#section:History of Topics in Special Relativity/mathsource|cay58quad}}
• {{#section:History of Topics in Special Relativity/mathsource|dar87cou}}
• {{#section:History of Topics in Special Relativity/mathsource|eul71}}
• {{#section:History of Topics in Special Relativity/mathsource|fro77}}
• {{#section:History of Topics in Special Relativity/mathsource|herm53}}
• {{#section:History of Topics in Special Relativity/mathsource|herm54}}
• {{#section:History of Topics in Special Relativity/mathsource|lagu81}}
• {{#section:History of Topics in Special Relativity/mathsource|lagu82}}
• {{#section:History of Topics in Special Relativity/mathsource|rib70}}
• {{#section:History of Topics in Special Relativity/mathsource|rod40}}
• {{#section:History of Topics in Special Relativity/mathsource|smi00}}

Historical relativity sources

Template:Reflist {{#section:History of Topics in Special Relativity/relsource|bor14}} {{#section:History of Topics in Special Relativity/relsource|brill25}}

Secondary sources

Template:Reflist {{#section:History of Topics in Special Relativity/secsource|L6}}