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

From Wikiversity
Jump to navigation Jump to search
History of Lorentz transformation (edit)
History of Topics in Special Relativity (edit)

Lorentz transformation via sphere transformation[edit | edit source]

If one only requires the invariance of the light cone represented by the differential equation , 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

.

One can switch between two representations of this group by using an imaginary sphere radius coordinate x0=iR with the interval related to conformal transformations, or by using a real radius coordinate x0=R with the interval 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.[1] 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).[2][3] This can be seen using tetracyclical coordinates satisfying the form , 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 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 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.[4][5] The Laguerre inversions were written as follows:

 

 

 

 

(5a)

which correspond to antichronous Lorentz transformations, and become orthochronous by changing the sign of . A special case of formulas (5a) with 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 together with and in formulas (5a) gives:

 

 

 

 

(5b)

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 E:velocity addition and aberration.

Historical notation[edit | edit source]

Gaultier (1812/13) - Radical axis[edit | edit source]

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:[M 1]

or both a, o are inside O:

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):[M 2]

and

producing

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:

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.

Identifying the radius R with ct shows the equvialence to the Lorentz interval or , therefore this geometric construction can be used to represent Lorentz transformations. For instance, Laguerre (1882) used the radical axis as the transformation axis of Laguerre inversions (being identical to a Lorentz transformation (5a)).

Bonnet (1856)[edit | edit source]

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 and ordinates of the respective curvature centers:[M 3]

where
Bonnet's transformation produces and represents a special case of Laguerre inversion (or Lorentz transformation) (5a) with . Lie (1871), Darboux (1887) and Smith (1900) all noticed that Bonnet's transformation is a special case of Lie's and Laguerre's transformations.

Ribaucour (1870)[edit | edit source]

w:Albert Ribaucour (1870),[M 4] 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 of this surface being put in the form [...]
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 [...].
Referring to p. 332 of Ribaucour's paper, Darboux (1887) and Bateman (1910) argued that Ribaucour anticipated both Lie (1871) and Laguerre (1880) in formulating the "transformation by reciprocal directions", which in Darboux's representation led to algebraic expressions identical to Laguerre inversion (or Lorentz transformation) (5a) and (5b).

Lie (1871) - Lie sphere transformation[edit | edit source]

In several papers between 1847 and 1850 it was shown by w:Joseph Liouville[M 5] that the relation λ(δx2+δy2+δz2) 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 of a complex variable was already discussed by Euler (1777)).[M 6][6]

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

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

As shown by Bateman and Cunningham (1909), the spacetime conformal group Con(1,3) of "w:spherical wave transformations" corresponds to the transformations of Lie's sphere geometry in which the radius indicates the fourth coordinate, while the Lorentz group SO(1,3) is a subgroup of Con(1,3). It's also known that the Möbius group and Laguerre group, which are both isomorphic to the Lorentz group, are subgroups of Lie's sphere transformations group.

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.[M 9] Generally, all of the discussed transformations that preserve lines of curvature are either inversions or parallel transformations.[M 10] 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.[M 11]

Lie himself (1884)[M 12] pointed out that his remarks indicate the same transformation group treated in more recent works of Laguerre (1880-82) and Stephanos (1882). Consequently, Smith (1900) credits Lie as being the first one to allude to the existence of the (extended) Laguerre group, transforming spheres into spheres and planes into planes. On the other hand, Darboux (1887) pointed out that the transformation by reciprocal directions was anticipated by Ribaucour (1870) even before Lie.

Klein, Pockels, Bôcher (1871-91) - Polyspherical coordinates[edit | edit source]

In relation to line geometry, w:Felix Klein (1871/72)[M 13] used coordinates satisfying the condition . They were introduced in 1868 (belatedly published in 1873) by w:Gaston Darboux[M 14] as a system of five coordinates in R3 (later called "pentaspherical" coordinates) in which the last coordinate is imaginary. w:Sophus Lie (1871)[M 15] more generally used n+2 coordinates in Rn (later called "polyspherical" coordinates) satisfying 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:[M 16]

Special cases were described by Klein (1893):[M 17]

(pentaspherical).
(tetracyclical).

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

Polyspherical coordinates indicate that the conformal group Con(0,p) is isomorphic to the Lorentz group SO(1,p+1).[8] For instance, Con(0,2) – known as Möbius group – is related to tetracyclical coordinates satisfying , which is nothing other than the Lorentz interval invariant under the Lorentz group SO(1,3).

Darboux (1873-87) - Laguerre inversion[edit | edit source]

In 1873, w:Gaston Darboux stated the following proposition:[M 19]

Given a surface , we add a fixed sphere to it, and we construct all spheres tangent to the surface and intersecting at a constant angle . Through the intersection of each of these spheres and new spheres pass intersecting at a constant angle . These new spheres envelop a surface , corresponding point by point to 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 .

which he generalized by making a second proposition:[M 20]

Consider a surface , envelope of a series of variable spheres intersecting under any angles the sphere . At each of the spheres intersecting at an angle I call we match a sphere passing through the intersection of and from , and intersecting at an angle determined by equation
Then the new spheres envelop a surface which corresponds point by point at with curvature lines preserved. If we subject the spheres tangent to to cut under a constant angle, will be constant; it will be the same for , by virtue of the previous equation, and we find the theorem given above. »
This is equivalent to Laguerre transformation (or Lorentz transformation) (5b) with .

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:[M 21]

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 reduces to a plane . Then to any plane will correspond a plane passing through the intersection of and , and the angles that the planes , make with 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:[M 22]

This is equivalent to Laguerre transformation (or Lorentz transformation) (5b) with .

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:[M 23]

or

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.[M 24]

This is equivalent to Laguerre inversion (or Lorentz transformation) (5a).

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

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.

Laguerre (1880-82) - Laguerre inversion[edit | edit source]

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".[M 26] 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.

Laguerre's transformations form a group (Laguerre group) which is isomorphic to the Lorentz group, and forms a subgroup of Lie's (1871) contact transformations of spheres.
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 ( being the radii and the distances of their centers to the axis):[M 27]

This is equivalent to Laguerre inversion (or Lorentz transformation) (5a). The Laguerre inversions are generators of the Laguerre group.

Stephanos (1883) - Lie sphere transformation[edit | edit source]

w:Cyparissos Stephanos (1883)[M 28] showed that Hamilton's biquaternion a0+a1ι1+a2ι2+a3ι3 can be interpreted as an oriented sphere in terms of Lie's sphere geometry (1871), having the vector a1ι1+a2ι2+a3ι3 as its center and the scalar as its radius. Its norm is thus equal to the power of a point of the corresponding sphere. In particular, the norm of two quaternions N(Q1-Q2) (the corresponding spheres are in contact with N(Q1-Q2)=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:[M 29][9][10]

(or ).

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

The Lorentz group SO(1,3) is a subgroup of the conformal group Con(1,3) in terms of Lie's (1871) transformations of oriented spheres in which the radius indicates the fourth coordinate. The Lorentz group is isomorphic to the group of Laguerre's (1880) transformation of oriented planes.

Cox (1883-91) – Orthogonal circles[edit | edit source]

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:[M 30]

The relations between are correct, even though the transformation still represents an improper antichronous Lorentz transformation, which becomes proper orthochronous Lorentz transformation E:(1a) (n=3) by reversing the sign of everywhere.

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

This is equivalent to general Lorentz transformation E:(1a) (n=3).

Scheffers (1899) - Laguerre transformations[edit | edit source]

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)):[M 32]

This is equivalent to Laguerre transformation (or Lorentz transformation) (5a) by the identity .

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 33]

He added that Bonnet's (1856) transformation is a special case with , and he also gave credit to Lie (1871) for defining the corresponding "group of the geometry of reciprocal directions".

This is equivalent to Laguerre inversion (or Lorentz transformation) (5a).

Bateman and Cunningham (1909–1910) - Spherical wave transformations[edit | edit source]

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 , 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.[R 1][R 2] 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.[R 3] In particular, by setting λ=1 the Lorentz group SO(1,3) can be seen as a 10-parameter subgroup of the 15-parameter spacetime conformal group Con(1,3).

Bateman (1910/12)[11] 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),[5][R 4] w:Henri Poincaré (1912/21)[R 5] and others.

References[edit | edit source]

Historical mathematical sources[edit | edit source]

  1. Gaultier (1813), p. 135
  2. Gaultier (1813), p. 139
  3. Bonnet (1856), p. 487
  4. Ribaucour (1870). pp. 330-333
  5. Liouville (1847)
  6. Euler (1777), p. 140
  7. 7.0 7.1 Lie (1871), pp. 199–209
  8. Lie (1871/72), first footnote on p. 186
  9. Lie (1871/72), p. 184
  10. Lie (1871/72), p. 186
  11. Lie (1871/72), second footnote on p. 186
  12. Lie (1884), footnote on p. 541
  13. Klein (1871/72), p. 268
  14. Darboux (1873), p. 137
  15. Lie (1871), p. 208
  16. Pockels (1891), pp. 197–206
  17. Klein (1893c), pp. 200ff (pentaspherical), pp. 373ff (tetracyclical)
  18. Bôcher (1894), pp. 30–34, 40–43
  19. Darboux (1873), pp. 254-255.
  20. Darboux (1873), footnote on p. 255.
  21. Darboux (1881), p. 286f.
  22. Darboux (1881), footnote on p. 287
  23. Darboux (1887), p. 254
  24. Darboux (1887), p. 256
  25. Darboux (1887), footnote on p. 259
  26. Laguerre (1880)
  27. Laguerre (1882), pp. 550–551.
  28. Stephanos (1883), p. 590ff
  29. Stephanos (1883), p. 592
  30. Cox (1883), pp. 109ff
  31. Cox (1891), pp. 27-28
  32. Scheffers (1899), p. 158
  33. Smith (1900), p. 159

Historical relativity sources[edit | edit source]

  1. Bateman (1909/10), pp. 223ff
  2. Cunningham (1909/10), pp. 77ff
  3. Klein (1910)
  4. Cartan (1912), p. 23
  5. Poincaré (1912/21), p. 145
  • Cunningham, E. (1910) [1909], "The principle of Relativity in Electrodynamics and an Extension Thereof", Proceedings of the London Mathematical Society, 8: 77–98, doi:10.1112/plms/s2-8.1.77

Secondary sources[edit | edit source]

  1. Schottenloher (2008), section 2.2
  2. Kastrup (2008), section 2.4.1
  3. Schottenloher (2008), section 2.3
  4. Coolidge (1916), p. 370
  5. 5.0 5.1 Cartan & Fano (1915/55), sections 14–15
  6. Kastrup (2008), section 2.1
  7. Kastrup (2008), section 2.3
  8. Kastrup (2008), p. 22
  9. Cartan & Study (1908), p. 460
  10. Rothe (1916), p. 1399
  11. Bateman (1910/12), pp. 358–359