History of Topics in Special Relativity/Lorentz transformation (conformal)

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

Lorentz transformation via sphere transformation

If one only requires the invariance of the light cone represented by the differential equation $-d{x}_0^2+\dots +d{x}_n^2=0$, which is the same as asking for the most general transformation that changes spheres into spheres, the Lorentz group can be extended by adding dilations represented by the factor λ. The result is the group Con(1,p) of spacetime w:conformal transformations in terms of w:special conformal transformations and inversions producing the relation

$-d{x}_0^2+\dots +d{x}_n^2=\lambda (-d{x}_0^{\prime 2}+\dots +d{x}_n^{\prime 2})$.

One can switch between two representations of this group by using an imaginary sphere radius coordinate x₀=iR with the interval $d{x}_0^2+\dots +d{x}_n^2$ related to conformal transformations, or by using a real radius coordinate x₀=R with the interval $-d{x}_0^2+\dots +d{x}_n^2$ related to Lie's (1871) sphere transformation (or w:spherical wave transformations) in terms of w:contact transformations preserving circles and spheres. It was shown by Bateman & Cunningham (1909–1910), that the group Con(1,3) is the most general one leaving invariant the equations of Maxwell's electrodynamics.

It turns out that Con(1,3) is isomorphic to the w:special orthogonal group SO(2,4), and contains the Lorentz group SO(1,3) as a subgroup by setting λ=1. More generally, Con(q,p) is isomorphic to SO(q+1,p+1) and contains SO(q,p) as subgroup. This implies that Con(0,p) is isomorphic to the Lorentz group of arbitrary dimensions SO(1,p+1). Consequently, the conformal group in the plane Con(0,2) – known as the group of w:Möbius transformations – is isomorphic to the Lorentz group SO(1,3). This can be seen using tetracyclical coordinates satisfying the form $-x_0^2+x_1^2+x_2^2+x_3^2=0$, which were discussed by Pockels (1891), Klein (1893), Bôcher (1894). The relation between Con(1,3) and the Lorentz group was noted by Bateman & Cunningham (1909–1910) and others. (For a different take on the Möbius group, see also [[../Lorentz transformation (Möbius)|E:Lorentz transformation via Cayley–Klein parameters, Möbius and spin transformations]]).

A subgroup of Lie's group of sphere transformations is the Laguerre group (or group of transformations by reciprocal directions) dealing with oriented spheres, planes and lines, which was implicit in the work of Ribaucour (1870), Lie (1871), Darboux (1873), while 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 w:biquaternions. The Laguerre group is generated by Laguerre inversions introduced by Laguerre (1882) and discussed by Darboux (1887) and Smith (1900) leaving invariant $X^2+Y^2+Z^2-R^2$ with R as radius, thus the Laguerre group is isomorphic to the Lorentz group as pointed out by Bateman (1910), Cartan (1912, 1915/55), Poincaré (1912/21) and others. The Laguerre inversions were written as follows:

which correspond to antichronous Lorentz transformations, and become orthochronous by changing the sign of $R^{\prime }$. A special case of formulas (5a) with $a=\sqrt{-1}$ was given by Bonnet (1856), while its complete form was provided by Laguerre (1882), Darboux (1887), Smith (1900). Laguerre transformations in trigonometric form were given by Scheffers (1899). The axis of transformation used in Laguerre inversions is identical to the w:radical axis introduced by Gaultier (1812/13), consisting of all centers of circles intersecting the given circles orthogonally (w:orthogonal circles). The role of general Lorentz transformations in relation to orthogonal circles was shown by Cox (1883-91).

Furthermore, setting $v=\frac{2a}{1+a^2}$ together with $\cos {\alpha }^{\prime }=\frac{X^{\prime }}{-R^{\prime }}$ and $\cos \alpha =\frac{X}{R}$ in formulas (5a) gives:

This was used by Darboux (1873) as a sphere transformation, and in 1881 he showed that it can also be used to perform Laguerre transformations of planes. In special relativity, it turns out that formula (5b) describes the aberration of light, see [[../Lorentz transformation (velocity)#Velocity addition and aberration|E:velocity addition and aberration]].

Historical notation

Template:Anchor Gaultier (1812/13) - Radical axis

Louis Gaultier (written 1812, published 1813) showed that if a, o be the centers of circles A, O, and RA, RO the respective radii, then by the Pythagorean theorem it follows in case a is outside of O and o is outside of A:

$\stackrel{2}{\stackrel{‾}{ao}}=\stackrel{2}{\stackrel{‾}{RA}}+\stackrel{2}{\stackrel{‾}{RO}}$

or both a, o are inside O:

$\stackrel{2}{\stackrel{‾}{ao}}=\stackrel{2}{\stackrel{‾}{RA}}-\stackrel{2}{\stackrel{‾}{RO}}$

Furthermore, let circle O (center o, radius RO) satisfy the previous relations with respect to two circles A (center a, radius RA) and B (center b, radius RB):

$\stackrel{2}{\stackrel{‾}{oa}}=\stackrel{2}{\stackrel{‾}{RA}}\pm \stackrel{2}{\stackrel{‾}{RO}}$ and $\stackrel{2}{\stackrel{‾}{ob}}=\stackrel{2}{\stackrel{‾}{RB}}\pm \stackrel{2}{\stackrel{‾}{RO}}$

producing

$\stackrel{2}{\stackrel{‾}{oa}}-\stackrel{2}{\stackrel{‾}{ob}}=\stackrel{2}{\stackrel{‾}{RA}}-\stackrel{2}{\stackrel{‾}{RB}}$

and perpendicular to line ab let the line oh be drawn from o to point h, then the two right triangles oha and ohb satisfy:

$\stackrel{2}{\stackrel{‾}{ah}}-\stackrel{2}{\stackrel{‾}{bh}}=\stackrel{2}{\stackrel{‾}{oa}}-\stackrel{2}{\stackrel{‾}{ob}}=\stackrel{2}{\stackrel{‾}{RA}}-\stackrel{2}{\stackrel{‾}{RB}}$

He concluded:

We will denote the radical axis of AB as the line ho raised to the determined point h perpendicular to line ab, which contains the centers of all the radical circles common to A and B.

Gaultier's concept of the w:radical axis (L'axe radical) was also discussed by w:Jean-Victor Poncelet (1822: Corde idèale), w:Jacob Steiner (1826: Potenzlinie), w:Julius Plücker (1828: Chordale) and became well known.

Template:Anchor Bonnet (1856)

w:Pierre Ossian Bonnet (1856) defined a reciprocal transformation preserving lines of curvatures. He noted that his transformation implies the following relation between curvature radii $\rho ,{\rho }_1$ and ordinates $\zeta ,{\zeta }_1$ of the respective curvature centers:

${\rho }_1=i\zeta ,\rho =-i{\zeta }_1$ where $i=\sqrt{-1}$

Template:Anchor Ribaucour (1870)

w:Albert Ribaucour (1870), defined what was later called "Ribaucour transformations" preserving lines of curvature:

p. 330: If circles are normal to three surfaces, they are normal to a family of surfaces belonging to a triply orthogonal system. This results in a class of orthogonal triple systems which I will propose to call cyclic systems, intimately linked to the deformation of surfaces. Given a surface (A), we can propose to seek all the cyclic systems which derive from it; the $d{s}^2$ of this surface being put in the form $d{s}^2={\lambda }^2.dxdy$ [...]

p. 332: If spheres have their contact chords normal to surfaces, the circles passing through the centers of these spheres and their points of contact with their enveloping surfaces are normal to an infinity of surfaces forming part of a cyclic system. [...] If surfaces are part of an orthogonal system, the osculating circles of their orthogonal trajectories corresponding to all the points of one of these surfaces are normal to a family of surfaces belonging to a cyclic system. [...] I will point out the simple case where (A) is a plane, a case which leads to a general transformation of the surfaces with correspondence of the lines of curvature [...].

Template:Anchor Lie (1871) - Lie sphere transformation

In several papers between 1847 and 1850 it was shown by w:Joseph Liouville that the relation λ(δx²+δy²+δz²) is invariant under the group of w:conformal transformations generated by w:inversions transforming spheres into spheres, which can be related w:special conformal transformations or w:Möbius transformations. (The conformal nature of the linear fractional transformation $\frac{a+bz}{c+dz}$ of a complex variable $z$ was already discussed by Euler (1777)).

Liouville's theorem was extended to all dimensions by w:Sophus Lie (1871a). In addition, Lie described a manifold whose elements can be represented by spheres, where the last coordinate y_n+1 can be related to an imaginary radius by iy_n+1:

$\begin{array}{c}\sum _{i=1}^{i=n}(x_i-y_i{)}^2+y_{n+1}^2=0\\ \downarrow \\ \sum _{i=1}^{i=n+1}(y_i^{\prime }-y_i^{\prime \prime }{)}^2=0\end{array}$

If the second equation is satisfied, two spheres y′ and y″ are in contact. Lie then defined the correspondence between w:contact transformations in R_n and conformal point transformations in R_n+1: The sphere of space R_n consists of n+1 parameter (coordinates plus imaginary radius), so if this sphere is taken as the element of space R_n, it follows that R_n now corresponds to R_n+1. Therefore, any transformation (to which he counted [[../Lorentz transformation (imaginary)#Lorentz transformation via orthogonal transformation|E:orthogonal transformations]] and inversions) leaving invariant the condition of contact between spheres in R_n, corresponds to the conformal transformation of points in R_n+1. He pointed out that conformal point transformations consist of motions (such as w:rigid transformations and orthogonal transformations), similarity transformations, and inversions.

In the same paper, Lie also mentioned the "well known fact" that "parallel transformations" (dilatations having the property of transforming planes to parallel planes) preserve lines of curvature, and he alluded to Bonnet's (1856) transformation as an example. Generally, all of the discussed transformations that preserve lines of curvature are either inversions or parallel transformations. In a footnote he specifically remarked that line transformations under which "(const=0)" remains unchanged, give all transformations of R by which surfaces of common spherical image pass into other such surfaces, and that the new spherical image emerges from the former by a conformal point transformation of the image-sphere, and that Bonnet's (1856) transformation belongs here.

Template:Anchor Klein, Pockels, Bôcher (1871-91) - Polyspherical coordinates

In relation to line geometry, w:Felix Klein (1871/72) used coordinates satisfying the condition $s_1^2+s_2^2+s_2^2+s_2^2+s_5^2=0$. They were introduced in 1868 (belatedly published in 1873) by w:Gaston Darboux as a system of five coordinates in R₃ (later called "pentaspherical" coordinates) in which the last coordinate is imaginary. w:Sophus Lie (1871) more generally used n+2 coordinates in R_n (later called "polyspherical" coordinates) satisfying ${\sum }_{i=1}^{i=n+2}{x}_i^2=0$ in which the last coordinate is imaginary, as a means to discuss conformal transformations generated by inversions. These simultaneous publications can be explained by the fact that Darboux, Lie, and Klein corresponded with each other by letter.

When the last coordinate is defined as real, the corresponding polyspherical coordinates satisfy the form of a sphere. Initiated by lectures of Klein between 1889–1890, his student w:Friedrich Carl Alwin Pockels (1891) used such real coordinates, emphasizing that all of these coordinate systems remain invariant under conformal transformations generated by inversions:

$x_1^2+x_2^2+\cdots +x_{n+1}^2-x_{n+2}^2=0\text{ or }\sum _1^{n+1}{x}_h^2-x_{n+2}^2=0$

Special cases were described by Klein (1893):

$y_1^2+y_2^2+y_3^2+y_4^2-y_5^2=0$ (pentaspherical).

$x_1^2+x_2^2+x_3^2-x_4^2=0$ (tetracyclical).

Both systems were also described by w:Maxime Bôcher (1894) in an expanded version of a thesis supervised by Klein.

Template:Anchor Darboux (1873-87) - Laguerre inversion

In 1873, w:Gaston Darboux stated the following proposition:

Given a surface $\left(\mathrm{\Sigma }\right)$, we add a fixed sphere $\left(\mathrm{S}\right)$ to it, and we construct all spheres tangent to the surface and intersecting $\left(\mathrm{S}\right)$ at a constant angle $\alpha$. Through the intersection of each of these spheres and $\left(\mathrm{S}\right)$ new spheres pass intersecting $\left(\mathrm{S}\right)$ at a constant angle $\beta$. These new spheres envelop a surface $\left({\mathrm{\Sigma }}_1\right)$, corresponding point by point to $\left(\mathrm{\Sigma }\right)$ with conservation of lines of curvature. The corresponding points on the two surfaces are on circles normal both to the two surfaces and to the sphere $\left(\mathrm{S}\right)$.

which he generalized by making a second proposition:

Consider a surface $\left(\mathrm{\Sigma }\right)$, envelope of a series of variable spheres $\left(\mathrm{U}\right)$ intersecting under any angles the sphere $\left(\mathrm{S}\right)$. At each of the spheres $\left(\mathrm{U}\right)$ intersecting $\left(\mathrm{S}\right)$ at an angle I call $\phi$ we match a sphere $\left({\mathrm{U}}_{\mathrm{1}}\right)$ passing through the intersection of $\left(\mathrm{S}\right)$ and from $\left(\mathrm{U}\right)$, and intersecting $\left(\mathrm{S}\right)$ at an angle ${\phi }_1$ determined by equation

$\frac{\cos \phi -\cos {\phi }_1}{1-\cos \phi \cos {\phi }_1}=h$

Then the new spheres $\left({\mathrm{U}}_{\mathrm{1}}\right)$ envelop a surface $\left({\mathrm{\Sigma }}_1\right)$ which corresponds point by point at $\left(\mathrm{\Sigma }\right)$ with curvature lines preserved. If we subject the spheres $\left(\mathrm{U}\right)$ tangent to $\left(\mathrm{\Sigma }\right)$ to cut $\left(\mathrm{S}\right)$ under a constant angle, $\phi$ will be constant; it will be the same for ${\phi }_1$, by virtue of the previous equation, and we find the theorem given above. »

In 1881 he quoted his above propositions, gave priority to the first one to Ribaucour (1870), and then showed that Laguerre's transformation of reciprocal directions is included as well:

This proposal gave a new means of realizing a mode of transformation of surfaces with preservation of the lines of curvature, to which Ribaucour had devoted a few lines in the communication Sur la deformation des surfaces made to the Academy in 1870 .

[..] Suppose, in particular, that the sphere $\left(\mathrm{S}\right)$ reduces to a plane $\left(\pi \right)$. Then to any plane $\left(\mathrm{P}\right)$ will correspond a plane $\left({\mathrm{P}}^{\prime }\right)$ passing through the intersection of $\left(\pi \right)$ and $\left(\mathrm{P}\right)$, and the angles $\phi ,{\phi }^{\prime }$ that the planes $\left(\mathrm{P}\right)$, $\left({\mathrm{P}}^{\prime }\right)$ make with $\left(\pi \right)$ will be linked by relation (1). It is not difficult to recognize, in this transformation from one plane to another, that which has recently been studied by Laguerre under the name of transformation by reciprocal directions. We see that it is included in the transformation of spheres which is defined by our second proposition. I have recalled these results only to arrive at the proposition which is the main object of this Communication. I will show, in accordance with a general theorem of Lie, that the transformation first proposed by Ribaucour boils down to dilatations (transition from a surface to the parallel surface) and to transformations by reciprocal vector rays.

He went on to rewrite his 1873 equation as:

$\mathrm{t}\mathrm{a}\mathrm{n}\mathrm{g}\frac{\phi }{2}=\mathrm{t}\mathrm{a}\mathrm{n}\mathrm{g}\frac{{\phi }_1}{2}\sqrt{\frac{1-h}{1+h}}$

In 1887, Darboux gave a much more detailed account. For instance, he re-derived and extended the transformation of oriented half-lines given by Laguerre (1882) 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}$ or $\begin{array}{cc}{z}^{\prime }+R^{\prime }& =\frac{1+k}{1-k}(z-R)\\ z^{\prime }-R^{\prime }& =\frac{1-k}{1+k}(z+R)\end{array}$

He went on to derive expressions and theorems similar to those given by him in 1873, and added that Bonnet's (1856) transformation is a special case.

Regarding the history of such transformations (before Laguerre's research) he wrote:

In the memoir already quoted, inserted in volume V of Mathematische Annalen, Lie has made known all the contact transformations which preserve the lines of curvature; he even pointed out (p. 186) the particular case of transformation by reciprocal directions; but this transformation had already been given in different works by Ribaucour. See, in particular, Ribaucour's note sur la deformation des surfaces (Comptes rendus, t. LXX, p. 332, 1870). In a different form, it was the subject of the author's studies published in Notes V and IX of Mémoire sur une classe remarquable de courbes et de surfaces algébriques, 1873.

Template:Anchor Laguerre (1880-82) - Laguerre inversion

A systematic formulation of a geometry of orientation was given by w:Edmond Laguerre (1880), including geometric transformations of oriented planes into oriented planes and oriented spheres into oriented spheres, which he called "w:transformation by reciprocal directions". Besides the focus on the transformation of planes, a distinguishing feature to previous authors was the employment of the concept of orientation (i.e. attributing a certain sign to lines and radii) which became an indispensable tool in Lie sphere geometry and Laguerre geometry.

Transforming cycle K to K', with radical axis Ω as axis of transformation.

In 1882 he developed the "transformation of oriented half-lines" which was later called "Laguerre inversion", using two cycles (=oriented circles) K and K' whose w:radical axis is the axis of transformation and whose common tangents are parallel to the directions of the half-lines which transform into themselves. This led him to the following algebraic formulation ($R,R^{\prime }$ being the radii and $D,D^{\prime }$ the distances of their centers to the axis):

$\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 Stephanos (1883) - Lie sphere transformation

w:Cyparissos Stephanos (1883) showed that Hamilton's biquaternion a₀+a₁ι₁+a₂ι₂+a₃ι₃ can be interpreted as an oriented sphere in terms of Lie's sphere geometry (1871), having the vector a₁ι₁+a₂ι₂+a₃ι₃ as its center and the scalar $a_0\sqrt{-1}$ as its radius. Its norm $a_1^2+a_2^2+a_3^2+a_4^2$ is thus equal to the power of a point of the corresponding sphere. In particular, the norm of two quaternions N(Q₁-Q₂) (the corresponding spheres are in contact with N(Q₁-Q₂)=0) is equal to the tangential distance between two spheres. The general contact transformation between two spheres then can be given by a w:homography using 4 arbitrary quaternions A,B,C,D and two variable quaternions X,Y:

$XAY+XB+CY+D=0$ (or $X=-\frac{CY+D}{AY+B}$).

Stephanos pointed out that the special case A=0 denotes transformations of oriented planes (see Laguerre (1882)).

Template:Anchor Cox (1883-91) – Orthogonal circles

In 1883, Homersham Cox formulated transformations between coordinates and systems of w:orthogonal circles, which he identified with the transformations of homogeneous coordinates in imaginary (=hyperbolic) geometry:

$\begin{array}{c}{x}^2+y^2+z^2-w^2=0\\ \begin{array}{cc}x& ={\lambda }_{1}X+{\lambda }_{2}Y+{\lambda }_{3}Z+{\lambda }_{4}W\\ y& ={\mu }_{1}X+{\mu }_{2}Y+{\mu }_{3}Z+{\mu }_{4}W\\ z& ={\nu }_{1}X+{\nu }_{2}Y+{\nu }_{3}Z+{\nu }_{4}W\\ -w& ={\rho }_{1}X+{\rho }_{2}Y+{\rho }_{3}Z+{\rho }_{4}W\\ \\ X& ={\lambda }_{1}x+{\mu }_{1}y+{\nu }_{1}z+{\rho }_{1}w\\ Y& ={\lambda }_{2}x+{\mu }_{2}y+{\nu }_{2}z+{\rho }_{2}w\\ Z& ={\lambda }_{3}x+{\mu }_{3}y+{\nu }_{3}z+{\rho }_{3}w\\ -W& ={\lambda }_{4}x+{\mu }_{4}y+{\nu }_{4}z+{\rho }_{4}w\end{array}|\begin{array}{cc}{\lambda }_1^2+{\mu }_1^2+{\nu }_1^2-{\rho }_1^2& =1\\ {\lambda }_2^2+{\mu }_2^2+{\nu }_2^2-{\rho }_2^2& =1\\ {\lambda }_3^2+{\mu }_3^2+{\nu }_3^2-{\rho }_3^2& =1\\ {\lambda }_4^2+{\mu }_4^2+{\nu }_4^2-{\rho }_4^2& =-1\\ {\lambda }_2{\lambda }_3+{\mu }_2{\mu }_3+{\nu }_2{\nu }_3-{\rho }_2{\rho }_3& =0\\ {\lambda }_3{\lambda }_1+{\mu }_3{\mu }_1+{\nu }_3{\nu }_1-{\rho }_3{\rho }_1& =0\\ {\lambda }_1{\lambda }_2+{\mu }_1{\mu }_2+{\nu }_1{\nu }_2-{\rho }_1{\rho }_2& =0\\ {\lambda }_1{\lambda }_4+{\mu }_1{\mu }_4+{\nu }_1{\nu }_4-{\rho }_1{\rho }_4& =0\\ {\lambda }_2{\lambda }_4+{\mu }_2{\mu }_4+{\nu }_2{\nu }_4-{\rho }_2{\rho }_4& =0\\ {\lambda }_3{\lambda }_4+{\mu }_3{\mu }_4+{\nu }_3{\nu }_4-{\rho }_3{\rho }_4& =0\end{array}\begin{array}{cc}{\lambda }_1^2+{\lambda }_2^2+{\lambda }_3^2-{\lambda }_4^2& =1\\ {\mu }_1^2+{\mu }_2^2+{\mu }_3^2-{\mu }_4^2& =1\\ {\nu }_1^2+{\nu }_2^2+{\nu }_3^2-{\nu }_4^2& =1\\ {\rho }_1^2+{\rho }_2^2+{\rho }_3^2-{\rho }_4^2& =-1\\ {\lambda }_1{\mu }_1+{\lambda }_2{\mu }_2+{\lambda }_3{\mu }_3-{\lambda }_4{\mu }_4& =0\\ {\lambda }_1{\nu }_1+{\lambda }_2{\nu }_2+{\lambda }_3{\nu }_3-{\lambda }_4{\nu }_4& =0\\ {\lambda }_1{\rho }_1+{\lambda }_2{\rho }_2+{\lambda }_3{\rho }_3-{\lambda }_4{\rho }_4& =0\\ {\mu }_1{\nu }_1+{\mu }_2{\nu }_2+{\mu }_3{\nu }_3-{\mu }_4{\nu }_4& =0\\ {\mu }_1{\rho }_1+{\mu }_2{\rho }_2+{\mu }_3{\rho }_3-{\mu }_4{\rho }_4& =0\\ {\nu }_1{\rho }_1+{\nu }_2{\rho }_2+{\nu }_3{\rho }_3-{\nu }_4{\rho }_4& =0\end{array}\end{array}$

In 1891, he again discussed coordinate transformations between orthogonal circles, which he identified with the transformations of coordinates in non-Euclidean (hyperbolic) geometry:

$\begin{array}{c}{x}^2+y^2+z^2=w^2\\ \begin{array}{ccc}x& ={\lambda }_1{x}^{\prime }+{\lambda }_2{y}^{\prime }+{\lambda }_3{z}^{\prime }+{\lambda }_4{w}^{\prime }& \text{(4 equations)}\\ x^{\prime }& ={\lambda }_{1}x+{\mu }_{1}y+{\nu }_{1}z-{\rho }_{1}w\\ -w^{\prime }& ={\lambda }_{4}x+{\mu }_{4}y+{\nu }_{4}z-{\rho }_{4}w\end{array}\\ \begin{array}{cc}{\lambda }_1^2+{\mu }_1^2+{\nu }_1^2-{\rho }_1^2& =1\\ {\lambda }_2^2+{\mu }_2^2+{\nu }_2^2-{\rho }_2^2& =1\\ {\lambda }_3^2+{\mu }_3^2+{\nu }_3^2-{\rho }_3^2& =1\\ {\lambda }_4^2+{\mu }_4^2+{\nu }_4^2-{\rho }_4^2& =-1\\ {\lambda }_1{\lambda }_2+{\mu }_1{\mu }_2+{\nu }_1{\nu }_2-{\rho }_1{\rho }_2& =0& \text{(6 equations)}\\ {\lambda }_1^2+{\lambda }_2^2+{\lambda }_3^2-{\lambda }_4^2& =1\\ {\rho }_1^2+{\rho }_2^2+{\rho }_3^2-{\rho }_4^2& =-1\\ {\lambda }_1{\mu }_1+{\lambda }_2{\mu }_2+{\lambda }_3{\mu }_3-{\lambda }_4{\mu }_4& =0& \text{(6 equations)}\end{array}\end{array}$

Template:Anchor Scheffers (1899) - Laguerre transformations

w:Georg Scheffers (1899) synthetically determined all finite w:contact transformations preserving circles in the plane, consisting of dilatations, inversions, and the following one preserving circles and lines (compare with Laguerre inversion by Laguerre (1882) and Darboux (1887)):

$\begin{array}{c}{\sigma }^{\prime 2}-{\rho }^{\prime 2}={\sigma }^2-{\rho }^2\\ {\rho }^{\prime }=\frac{\rho }{\cos \omega }+\sigma \tan \omega ,{\sigma }^{\prime }=\rho \tan \omega +\frac{\sigma }{\cos \omega }\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\\ \kappa =\frac{R^{\prime }-R}{p^{\prime }-p}\\ 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}$

He added that Bonnet's (1856) transformation is a special case with ${\kappa }^2=-1$, and he also gave credit to Lie (1871) for defining the corresponding "group of the geometry of reciprocal directions".

Template:Anchor Bateman and Cunningham (1909–1910) - Spherical wave transformations

In line with Lie's (1871) research on the relation between sphere transformations with an imaginary radius coordinate and 4D conformal transformations, it was pointed out by w:Harry Bateman and w:Ebenezer Cunningham (1909–1910), that by setting u=ict as the imaginary fourth coordinates one can produce spacetime conformal transformations. Not only the quadratic form $\lambda (d{x}^2+d{y}^2+d{z}^2+d{u}^2)$, but also w:Maxwells equations are covariant with respect to these transformations, irrespective of the choice of λ. These variants of conformal or Lie sphere transformations were called w:spherical wave transformations by Bateman. However, this covariance is restricted to certain areas such as electrodynamics, whereas the totality of natural laws in inertial frames is covariant under the w:Lorentz group. In particular, by setting λ=1 the Lorentz group Template:Nowrap can be seen as a 10-parameter subgroup of the 15-parameter spacetime conformal group Template:Nowrap.

Bateman (1910/12) 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 w:Élie Cartan (1912, 1915/55), w:Henri Poincaré (1912/21) and others.

References

Historical mathematical sources

• {{#section:History of Topics in Special Relativity/mathsource|boch94pot}}
• {{#section:History of Topics in Special Relativity/mathsource|bon56}}
• {{#section:History of Topics in Special Relativity/mathsource|cox83hom}}
• {{#section:History of Topics in Special Relativity/mathsource|cox91}}
• {{#section:History of Topics in Special Relativity/mathsource|dar73}}
• {{#section:History of Topics in Special Relativity/mathsource|dar81cou}}
• {{#section:History of Topics in Special Relativity/mathsource|dar87cou}}
• {{#section:History of Topics in Special Relativity/mathsource|eul77}}
• {{#section:History of Topics in Special Relativity/mathsource|gaul13}}
• {{#section:History of Topics in Special Relativity/mathsource|klei72a}}
• {{#section:History of Topics in Special Relativity/mathsource|klei93c}}
• {{#section:History of Topics in Special Relativity/mathsource|lagu80}}
• {{#section:History of Topics in Special Relativity/mathsource|lagu82}}
• {{#section:History of Topics in Special Relativity/mathsource|lie71a}}
• {{#section:History of Topics in Special Relativity/mathsource|lie71b}}
• {{#section:History of Topics in Special Relativity/mathsource|lie84}}
• {{#section:History of Topics in Special Relativity/mathsource|liou50}}
• {{#section:History of Topics in Special Relativity/mathsource|poc91}}
• {{#section:History of Topics in Special Relativity/mathsource|rib70}}
• {{#section:History of Topics in Special Relativity/mathsource|schef99}}
• {{#section:History of Topics in Special Relativity/mathsource|smi00}}
• {{#section:History of Topics in Special Relativity/mathsource|ste83}}

Historical relativity sources

{{#section:History of Topics in Special Relativity/relsource|bate10elec}}
{{#section:History of Topics in Special Relativity/relsource|bate12}}
{{#section:History of Topics in Special Relativity/relsource|car12}}
{{#section:History of Topics in Special Relativity/relsource|cunn10}}
{{#section:History of Topics in Special Relativity/relsource|klein10}}
{{#section:History of Topics in Special Relativity/relsource|poi21}}

Secondary sources

{{#section:History of Topics in Special Relativity/secsource|L5}}