Kugelwellentransformation

Kugelwellentransformationen (Englisch: spherical wave transformations) lassen die Form von Kugelwellen sowie die Gesetze von Optik und Elektrodynamik in allen Inertialsystemen invariant. Sie entsprechen der bereits im 19. Jahrhundert bekannten konformen Gruppe der „Transformationen durch reziproke Radien“ im Zusammenhang mit der Kugelgeometrie von Sophus Lie. Sie wurden 1909 von Harry Bateman und Ebenezer Cunningham erstmals benutzt und erhielten von Bateman ihren Namen.^{[M 1]} Da in Kugelwellentransformationen die Zeit als vierte Dimension im Sinne des Minkowski-Raumes benutzt wird, haben sie eine gewisse Analogie zu den Lorentz-Transformationen der speziellen Relativitätstheorie. Dabei zeigt sich, dass die konforme Gruppe die Lorentz-Gruppe und Poincaré-Gruppe als Untergruppen enthält, wobei letztere eine Symmetrie aller Naturgesetze einschließlich der Mechanik repräsentieren, während die konforme Gruppe nur gültig ist für bestimmte Bereiche wie die Elektrodynamik.^[1][2][3]

Ein Spezialfall der Lieschen Kugelgeometrie ist die ebenfalls im 19. Jahrhundert bereits bekannte „Transformation durch reziproke Richtungen“ oder Laguerre-Inversion, die erzeugender Operator der Gruppe der Laguerre-Transformationen ist. Sie bildet nicht nur Kugeln in Kugeln, sondern auch Ebenen in Ebenen ab.^[4][5][6] Wird hier die Zeit als vierte Dimension benutzt, ergibt sich eine enge Analogie zur Lorentz-Transformation und der Lorentz-Gruppe, wie Bateman, Cartan oder Poincaré zeigten.^{[M 2][7][M 3][8][9][10][11][12]}

Transformation durch reziproke Radien

Entwicklung im 19. Jahrhundert

Inversionen, welche die Winkel von Kreisen erhalten, wurden erstmals von Durrande (1820) besprochen, wobei Quetelet (1827) und Plücker (1828) die entsprechenden Transformationsformeln niederschrieben, mit $ k $ als dem Inversionsradius:^[13]

$ x^{\prime }={\frac {k^{2}x}{x^{2}+y^{2}}},\quad y^{\prime }={\frac {k^{2}y}{x^{2}+y^{2}}}, $

Solche Inversionen wurden später als Transformationen durch reziproke Radien bezeichnet. Sie wurden bekannter als Thomson (1845, 1847) sie auf Kugeln mit Koordinaten $ x,y,z $ anwendete, und damit Probleme der Elektrostatik lösen konnte.^[14] Joseph Liouville (1847, 1850) verdeutlichte ihre mathematische Bedeutung, indem er zeigte, dass sie zu den konforme Transformationen gehört. Sie erzeugt folgende Beziehung zwischen quadratischen Formen der Differentiale:^{[M 4]}

$ \delta x^{\prime 2}+\delta y^{\prime 2}+\delta z^{\prime 2}=\lambda \left(\delta x^{2}+\delta y^{2}+\delta z^{2}\right) $.

Er selbst^{[M 5]} und in viel allgemeinerer Weise Sophus Lie (1871)^{[M 6]} stellten fest, dass die dazugehörige Transformationsgruppe je nach Wahl von $ \lambda $ in verschiedene Typen unterteilt werden kann: $ \lambda =1 $ die Euklidische Gruppe der gewöhnlichen Bewegungen; $ \lambda \neq 1 $ Ähnlichkeitsabbildungen; und bei $ \lambda =k^{4}/\left(x^{2}+y^{2}+z^{2}\right)^{2} $ ergeben sich die Transformationen durch reziproke Radien:^{[M 5]}

$ x^{\prime }={\frac {k^{2}x}{x^{2}+y^{2}+z^{2}}},\quad y^{\prime }={\frac {k^{2}y}{x^{2}+y^{2}+z^{2}}},\quad z^{\prime }={\frac {k^{2}z}{x^{2}+y^{2}+z^{2}}} $

Lie (1871)^{[M 6]} und andere wie Gaston Darboux (1878) erweiterten darüber hinaus die Gruppe auf $ n $ Dimensionen, sodass:^{[M 7]}

$ \delta x_{1}^{\prime 2}+\dots +\delta x_{n}^{\prime 2}=\lambda \left(\delta x_{1}^{2}+\dots +\delta x_{n}^{2}\right) $.

Eine wesentliche Eigenschaft der konformen Transformationen durch reziproke Radien ist, dass sie Winkel erhalten und Sphären in Sphären transformieren (siehe Konforme Gruppe, Möbiustransformation). Sie ist eine 6-Parameter-Gruppe in der Ebene R², eine 10-Parameter-Gruppe im Raum R³, und eine 15-Parameter-Gruppe in R⁴. In R² stellt sie nur einen kleinen Teil aller konformen Transformationen dar, doch in R²⁺ⁿ ist sie identisch mit allen konformen Transformationen gemäß einem Theorem von Liouville.^[15] Die konformen Transformationen in R³ wurden häufig auf „pentasphärische Koordinaten“ gemäß Darboux (1873) bezogen. Es handelt sich dabei um homogene Koordinaten basierend auf fünf Kugeln, die den Punkten zugeordnet werden.^[16][17]

Orientierte Kugeln

Eine weitere Methode zur Berechnung von Kreis- und Kugelproblemen war die Verwendung von rechtwinkligen Koordinaten zusammen mit dem Radius.^[18] Dies wurde von Lie (1871) im Rahmen der „Lieschen Kugelgeometrie“ benutzt, die Berührungstransformationen enthält mit der Krümmungslinien konserviert und Kugeln in Kugeln transformiert werden.^{[M 8]} Die vorher erwähnte konforme 10-Parameter-Gruppe in R³ mit pentasphärischen Koordinaten, wird erweitert zur 15-Parameter-Gruppe der Lieschen Kugeltransformationen, wobei gemäß Klein (1893) von nun an „hexasphärische Koordinaten“ zu benutzen sind, da eine sechste homogene Koordinate hinzugefügt wird die sich auf den Radius bezieht.^{[M 9][19][20]} Da der Radius allerdings je nach Vorzeichen positiv oder negativ sein kann, kommen auf eine Kugel immer zwei transformierte Kugeln. Um diese Zweideutigkeit zu beseitigen ist es vorteilhaft nur ein bestimmtes Vorzeichen für den Radius zu benutzen, wodurch die Kugeln eine bestimmte Orientierung erhalten, und folglich eine orientierte Kugel in eine andere orientierte Kugel transformiert wird.^[21] Diese Methode wurde gelegentlich und implizit von Lie (1871)^{[M 6]} benutzt, und ausdrücklich eingeführt durch Laguerre (1880).^{[M 10]} Darboux (1887) schrieb darüber hinaus die Transformation durch reziproke Radien in einer Form, wo aus dem Radius einer Kugel mit bestimmtem Vorzeichen der Radius der anderen Kugel bestimmt werden konnte:^{[M 11]}

$ {\begin{aligned}x^{\prime }&={\frac {k^{2}x}{x^{2}+y^{2}+z^{2}-r^{2}}},\quad &z^{\prime }&={\frac {k^{2}z}{x^{2}+y^{2}+z^{2}-r^{2}}},\\y'&={\frac {k^{2}y}{x^{2}+y^{2}+z^{2}-r^{2}}},&r^{\prime }&={\frac {\pm k^{2}r}{x^{2}+y^{2}+z^{2}-r^{2}}}.\end{aligned}} $

Die Angabe der Koordinaten zusammen mit dem Radius war häufig verknüpft mit einer Methode die von Klein (1893) als „Minimalprojektion“ bezeichnet wurde,^{[M 12]} wobei Blaschke (1926) später dafür den Begriff „isotrope Projektion“ gebrauchte um den Zusammenhang zur Orientierung zu verdeutlichen.^[22] Ist ein Kreis mit Koordinaten $ x,y $ und dem Radius $ r $ in R² gegeben, dann entsprechen sie gemäß Minimalprojektion einem Punkt mit den Koordinaten $ x,y,z $ in R³. Diese Methode war im Rahmen der Kreisgeometrie schon länger bekannt (allerdings ohne eindeutige Orientierung), und kann weiter unterteilt werden je nachdem die zusätzliche Koordinate imaginär oder reell ist: $ z=ir $ findet sich bei Chasles (1852), Möbius (1857), Cayley (1867), Darboux (1872);^{[M 13]} $ z=r $ findet sich bei Cousinery (1826), Druckenmüller (1842) und in der „Zyklographie“ Fiedlers (1882), weswegen sie auch „zyklographische Projektion“ genannt wird – siehe dazu auch E. Müller (1910).^[23] Diese Methode wurde nun auf Kugeln übertragen^{[M 14]} von Darboux (1872),^{[M 15]} Lie (1871),^{[M 6]} und Klein (1893).^{[M 12]} Es seien sowohl die Mittelpunktskoordinaten als auch die Radien zweier Kugeln $ x,y,z,r $ und $ x',y',z',r' $ im dreidimensionalen Raum R³ gegeben. Wenn sich die Kugeln gleichsinnig berühren, ist ihre Gleichung gegeben mit

$ (x-x')^{2}+(y-y')^{2}+(z-z')^{2}-(r-r')^{2}=0 $.

Wird $ t=ir $ gesetzt, entsprechen sie den folgenden rechtwinkligen Koordinaten in einem vierdimensionalen Raum R⁴:^{[M 15][M 12]}

$ (x-x')^{2}+(y-y')^{2}+(z-z')^{2}+(t-t')^{2}=0 $.

Allgemein konnte Lie (1871) zeigen, dass die konformen Punkttransformationen in Rⁿ (zusammengesetzt aus Bewegungen, Ähnlichkeiten, und Transformationen durch reziproke Radien) in R^n-1 denjenigen Kugeltransformationen entsprechen welche Berührungstransformationen sind.^{[M 16][24]} Klein (1893) zeigte darüber hinaus mittels Anwendung der Minimalprojektion auf hexasphärische Koordinaten, dass die 15-Parameter-Transformationen der Lieschen Kugelgeometrie in R³ ein einfaches Abbild der konformen 15-Parameter-Transformationen in R⁴ sind, während die Punkte des R⁴ wiederum als die stereographische Projektion von Punkten einer Kugel in R⁵ angesehen werden können.^{[M 9][25]}

Bezug zur Elektrodynamik

Harry Bateman und Ebenezer Cunningham (1909) zeigten,^{[M 1]} dass die elektromagnetischen Gleichungen nicht nur lorentzinvariant, sondern im obigen Sinne auch skaleninvariant oder konform invariant sind.^[26] Das heißt, sie sind invariant unter der 15-Parameter-Gruppe der konformen Transformationen durch reziproke Radien in R⁴, die folgende Gleichung produziert:

$ \delta x^{\prime 2}+\delta y^{\prime 2}+\delta z^{\prime 2}+\delta u^{\prime 2}=\lambda \left(\delta x^{2}+\delta y^{2}+\delta z^{2}+\delta u^{2}\right), $

wo $ u=ict $ die Zeit $ t $ und die Lichtgeschwindigkeit $ c $ gemäß dem Minkowski-Raum enthält. Bateman erkannte auch die Analogie zu den Transformationen der Lieschen Kugelgeometrie in R³, da der Radius $ r $ dieser Kugelgeometrie interpretiert werden kann als der Radius $ ct $ einer expandierenden oder kontrahierenden Kugelwelle, weswegen sie von ihm als „Kugelwellentransformation“ bezeichnet wurde.^{[M 17]} Bateman bezog sich dabei auf Darbouxs Variante der Minimalprojektion und schrieb:^{[M 18]}

Analog zur Vorgehensweise von Liouville und Lie konnte Cunningham zeigen, dass diese Gruppe je nach Wahl von $ \lambda $ weiter unterteilt werden kann:^{[M 19]}

(a) $ \lambda =1 $ transformiert nicht nur Kugeln in Kugeln, sondern auch Ebenen in Ebenen. Sie enthält die Lorentz-Transformation, denn sie ist die Erweiterung der Euklidischen Gruppe der klassischen Mechanik zur 6-Parameter-Lorentz-Gruppe oder 10-Parameter-Poincaré-Gruppe $ G_{10} $ mit Translationen.^[27]

(b) $ \lambda \neq 1 $ sind Skalen- oder Ähnlichkeitstransformationen. Sie entsprechen der Multiplikation der Lorentz-Transformation mit einem von $ \lambda $ abhängigen Skalenfaktor.^[28] Mit $ l={\sqrt {\lambda }} $ ergibt sich beispielsweise die von Poincaré (1905) gegebene Gestalt:^{[M 20]}

$ x^{\prime }=\gamma l\left(x-vt\right),\quad y^{\prime }=ly,\quad z^{\prime }=lz,\quad t^{\prime }=\gamma l\left(t-x{\frac {v}{c^{2}}}\right) $.

Wird $ l $ jedoch definitiv gesetzt, ist die Gruppeneigenschaft nur noch bei $ l=1 $ (die Lorentz-Gruppe) gegeben, wie von Poincaré und Einstein gezeigt wurde. Nur diese ist verträglich mit dem Relativitätsprinzip für alle Naturgesetze, während die Gruppe der konformen und Ähnlichkeitstransformationen mit verschiedenem $ l $ nur einzelne Gebiete wie Optik und Elektrodynamik symmetrisch abbildet.

(c) Bei $ \lambda =k^{4}/\left(x^{2}+y^{2}+z^{2}+u^{2}\right)^{2} $ ergibt sich schließlich die allgemeinste Variante, nämlich die konforme Gruppe der Transformationen durch reziproke Radien, die Inversionen in eine Hypersphäre darstellen:^[29]

$ {\begin{aligned}x^{\prime }&={\frac {k^{2}x}{x^{2}+y^{2}+z^{2}+u^{2}}},\quad &z^{\prime }&={\frac {k^{2}z}{x^{2}+y^{2}+z^{2}+u^{2}}},\\y'&={\frac {k^{2}y}{x^{2}+y^{2}+z^{2}+u^{2}}},&u^{\prime }&={\frac {k^{2}u}{x^{2}+y^{2}+z^{2}+u^{2}}}.\end{aligned}} $

Sie werden zu reellen Kugelwellentransformationen im Rahmen der Lieschen Kugelgeometrie, wenn der reelle Radius $ ct $ statt $ u=ict $ benutzt wird, wodurch $ x^{2}+y^{2}+z^{2}-c^{2}t^{2} $ im Nenner gegeben ist.^{[M 1]} Bateman und Cunningham diskutierten auch die Möglichkeit, dass konforme Transformationen den Übergang in konstant beschleunigte Bezugssysteme ermöglichen, was von ihnen und späteren Autoren allerdings bezweifelt wurde.^[30] Felix Klein (1921) verwies auf den engen Zusammenhang der Methoden Batemans und Cunninghams und den Methoden der projektiven Geometrie, jedoch bemerkte er wie auch Einstein, dass die konforme Gruppe im Vergleich zur Lorentz-Gruppe nur eingeschränkt gültig ist:^{[M 21]}

Das Konzept der konformen Abbildung hat in Spezialgebieten der modernen Physik wieder an Bedeutung gewonnen, besonders in konformen Feldtheorien wie einigen Quantenfeldtheorien.^[31]

Transformation durch reziproke Richtungen

Entwicklung im 19. Jahrhundert

Wie geschildert, wurden im Zusammenhang mit konformen Transformationen bereits Koordinaten zusammen mit Radien von bestimmtem Vorzeichen benutzt, wodurch Kreise und Kugeln eine bestimmte Orientierung bekamen. Es ergab sich nun eine spezielle Transformation bzw. Geometrie innerhalb der Lieschen Kugelgeometrie,^[5][4] welche hauptsächlich von Edmond Laguerre (1880) formuliert und von ihm als „Transformation durch reziproke Richtungen“ bezeichnet wurde. Anschließend legte er bis 1885 die Grundlagen einer Geometrie orientierte Kugeln und Flächen.^{[M 10]} Laut Darboux^{[M 22]} und Bateman^{[M 2]} wurden ähnliche Zusammenhänge schon vorher diskutiert von Albert Ribaucour (1870)^{[M 23]} und Lie (1871).^{[M 6]} Stephanos (1881) zeigte, dass Laguerres Geometrie ein Spezialfall der Lieschen Kugelgeometrie ist.^{[M 24]} Zur Darstellung von Laguerres orientierten Kugeln benutzte er überdies Quaternionen (1883).^{[M 25]}

Linien, Kreise, Flächen oder Kugeln die in einem bestimmten Sinne zu durchlaufen sind, werden als Halbgerade (Direktion), Halbkreis (Zyklus), Halbfläche, Halbkugel usw. bezeichnet. Als Tangente wird die Halbgerade bezeichnet, die einen Zyklus an einem Punkt schneidet, sofern beide Elemente an diesem Berührungspunkt die gleiche Richtung haben. Die Transformation durch reziproke Richtungen bildet nun orientierte Kugeln unter sich als auch orientierte Ebenen unter sich ab und lässt die „Tangentialentfernung“ zweier Zyklen (der Abstand zwischen den Berührungspunkten je einer ihrer gemeinsamen Tangenten) invariant, und konserviert auch die Krümmungslinien.^[4] Laguerre (1882) transformierte zwei Zyklen unter folgenden Bedingungen: Ihre Potenzgerade ist die Transformationsaxe, und ihre gemeinsamen Tangenten sind parallel zu zwei fixierten Richtungen der ineinander transformierten Halbgeraden (diese spezielle Methode nannte er „Transformation durch reziproke Halbgeraden“). Wenn $ R $ und $ R' $ die Radien der Zyklen sind, $ D $ und $ D' $ die Entfernungen ihrer Zentren zur Axe, ergibt sich:^{[M 26]}

$ D^{2}-D^{\prime 2}=R^{2}-R^{\prime 2},\quad D-D'=\alpha (R-R'),\quad D+D'={\frac {1}{\alpha }}(R+R'), $

mit der Transformation:^{[M 27]}

$ {\begin{aligned}D'&={\frac {D\left(1+\alpha ^{2}\right)-2\alpha R}{1-\alpha ^{2}}},\\R'&={\frac {2\alpha D-R\left(1+\alpha ^{2}\right)}{1-\alpha ^{2}}}.\end{aligned}} $

Auch Darboux (1887) leitete aus der Transformation durch reziproke Richtungen dieselben Formeln in etwas anderer Notation ab (mit $ z=D $ und $ k=\alpha $), und benutzte darüber hinaus die $ x $- und $ y $-Koordinaten:^{[M 28]}

$ {\begin{aligned}x'&=x,\quad &z'&={\frac {1+k^{2}}{1-k^{2}}}z-{\frac {2kR}{1-k^{2}}},\\y'&=y,&R'&={\frac {2kz}{1-k^{2}}}-{\frac {1+k^{2}}{1-k^{2}}}R,\end{aligned}} $

mit

$ {\begin{aligned}z'+R'&={\frac {1+k}{1-k}}(z-R),\\z'-R'&={\frac {1-k}{1+k}}(z+R),\end{aligned}} $

wodurch er die Beziehung erhielt:

$ x^{\prime 2}+y^{\prime 2}+z^{\prime 2}-R^{\prime 2}=x^{2}+y^{2}+z^{2}-R^{2} $.

Wie erwähnt können orientierte Kugeln in R³ durch Punkte in einem vierdimensionalen Raum R⁴ mittels isotroper (Minimal-)Projektion dargestellt werden, was für Laguerres Geometrie besonders bedeutsam ist.^[4]:S. 320 E. Müller (1898) legte seiner Darstellung dem Umstand zugrunde, dass sich „die orientierten Kugeln eindeutig auf die Punkte einer ebenen Mannigfaltigkeit von vier Dimensionen abbilden lassen“ (wobei er dies mit der „Zyklograpie“ von Fiedler verglich). Ebenso untersuchte er systematisch den Zusammenhang zwischen den Transformationen durch reziproke Radien („Inversion an einer Kugel“) und den Transformationen durch reziproke Richtungen („Inversion an einem ebenen Kugelkomplex“).^{[M 29]} Basierend auf Müllers Arbeit untersuchte Smith (1900) dieselben Transformationen und die zusammenhängende „Gruppe der Geometrie der reziproken Richtungen“. Mit Bezug auf Kleins (1893) Behandlung der Minimalprojektion verwies er darauf, dass diese Gruppe isomorph ist zur Gruppe aller Verschiebungen und Symmetrietransformationen im Raum von vier Dimensionen.^{[M 30]} Smith erhielt dieselbe Transformation wie Laguerre und Darboux in etwas verschiedener Notation:^{[M 31]}

$ p'={\frac {\kappa ^{2}+1}{\kappa ^{2}-1}}p-{\frac {2\kappa }{\kappa ^{2}-1}}R,\quad R'={\frac {2\kappa }{\kappa ^{2}-1}}p-{\frac {\kappa ^{2}+1}{\kappa ^{2}-1}}R $

mit den Beziehungen:

$ \kappa ={\frac {R'-R}{p'-p}},\quad p^{\prime 2}-p^{2}=R^{\prime 2}-R^{2}. $

Laguerre-Inversion und Lorentz-Transformation

1905 zeigten Henri Poincaré und Albert Einstein, dass die Lorentz-Transformation der speziellen Relativitätstheorie (mit $ c=1 $)

$ x'={\frac {x-vt}{\sqrt {1-v^{2}}}},\quad y'=y,\quad z'=z,\quad t'={\frac {t-vx}{\sqrt {1-v^{2}}}} $

den Ausdruck $ x^{2}+y^{2}+z^{2}-t^{2} $ invariant lässt.^[2] Einstein verwies darauf, dass dadurch eine Kugelwelle in einem Inertialsystem eine Kugelwelle in allen anderen Inertialsystemen bleibt.^[32] Poincaré zeigte auch, dass die Lorentz-Transformation als eine Rotation in einem vierdimensionalen Raum aufgefasst werden kann, und Hermann Minkowski konnte diese Einsicht wesentlich vertiefen (siehe Geschichte der speziellen Relativitätstheorie).

Wie oben gezeigt, ist die Beziehung $ x^{2}+y^{2}+z^{2}-R^{2} $ auch invariant unter der Transformation durch reziproke Richtungen oder Halbgeraden, die später oft als Laguerre-Inversion bezeichnet wurde.^[33][34] Die Verwandtschaft zur Lorentz-Transformation wurde von verschiedenen Autoren bemerkt. Bateman (1910) argumentierte, dass diese Transformation (welche er Ribaucour zuschrieb) „identisch“ ist mit der Lorentz-Transformation.^{[M 2]} 1912 schrieb er, dass sie besonders in der von Darboux (1887) gegebenen Gestalt formal der Lorentz-Transformation in $ z $-Richtung entspricht, sofern $ R=ct $, $ R'=ct' $, und die $ k $-Terme durch Geschwindigkeiten ersetzt werden.^{[M 32]} Ebenso entwarf er geometrische Darstellungen der relativistischen Lichtsphären mittel Kugelsystemen.^{[M 33]} Allerdings erwiderte Kubota (1925) gegenüber Bateman, dass die Laguerre-Inversion involutorisch ist im Gegensatz zur Lorentz-Transformation. Um beide äquivalent zu machen sei es notwendig, die Laguerre-Inversion mit einer Richtungsumkehr der Zykeln zu kombinieren.^{[M 34]}

Die Beziehung zwischen der Lorentz-Transformation und der Laguerre-Inversion kann folgendermaßen demonstriert werden (siehe H.R. Müller (1948)^{[M 35]} für eine analoge Formulierung in etwas anderer Notation). Laguerres Inversionsformeln von 1882 (äquivalent zu Darbouxs Formeln von 1887) sind

$ D'={\frac {D\left(1+\alpha ^{2}\right)-2\alpha R}{1-\alpha ^{2}}},\quad R'={\frac {2\alpha D-R\left(1+\alpha ^{2}\right)}{1-\alpha ^{2}}}. $

wird nun gesetzt

$ {\frac {2\alpha }{1+\alpha ^{2}}}=w $

so folgt

$ {\frac {1-\alpha ^{2}}{1+\alpha ^{2}}}={\sqrt {1-w^{2}}},\quad {\frac {2\alpha }{1-\alpha ^{2}}}={\frac {w}{\sqrt {1-w^{2}}}}, $

Dadurch und durch setzen von $ D=x,D'=x',R=t,R'=t' $ nimmt die Laguerre-Inversion die Form einer Lorentz-Transformation an, mit dem Unterschied, dass der Ausdruck $ t-vx $ der gewöhnlichen Lorentz-Transformation umgekehrt wird nach $ wx-t $:

$ x'={\frac {x-wt}{\sqrt {1-w^{2}}}},\quad t'={\frac {wx-t}{\sqrt {1-w^{2}}}} $.

Gemäß Müller ergibt sich die gewöhnliche Lorentz-Transformation aus einer geraden Anzahl solcher Laguerre-Inversionen, welche das Vorzeichen ändern. So kann zuerst eine Inversion in die Ebene $ \pi _{1} $ durchgeführt werden die gegenüber Ebene $ \pi $ in einem bestimmten Winkel geneigt ist, und daraufhin folgend eine weitere Inversion nach $ \pi $.^{[M 35]} Siehe dazu den Abschnitt #Laguerre-Gruppe isomorph zur Lorentz-Gruppe für weitere Details zur Beziehung der Laguerre-Inversion zu anderen Varianten von Laguerre-Transformationen.

Lorentz-Transformation in der Laguerre-Geometrie

Timerding (1911)^{[M 36]} benutzte Laguerres Konzept der orientierten Kugeln um die Lorentz-Transformation abzuleiten und darzustellen. Unter Benutzung einer Kugel mit Radius $ r $ und der Entfernung $ x $ ihres Mittelpunkts von der Zentralebene gelangte er zu folgenden Relationen zwischen dieser und einer entsprechenden zweiten Kugel:

$ x'+r'={\sqrt {\frac {1+\lambda ^{2}}{1-\lambda ^{2}}}}(x+r),\quad {\frac {x'-r'}{x'+r'}}={\frac {1-\lambda }{1+\lambda }}\cdot {\frac {x-r}{x+r}} $

woraus die Transformation folgt

$ {\sqrt {1-\lambda ^{2}}}\cdot x'=x-\lambda r,\quad {\sqrt {1-\lambda ^{2}}}\cdot r'=r-\lambda x. $

Durch Setzen von $ \lambda =v/c $ und $ r=ct $ wird daraus die Lorentz-Transformation.

Timerding und Bateman folgend analysierte Ogura (1913) eine Laguerre-Transformation von der Form^{[M 37]}:

$ \alpha '=\alpha {\frac {1}{\sqrt {1-\lambda ^{2}}}}-R{\frac {\lambda }{\sqrt {1-\lambda ^{2}}}},\quad \beta '=\beta ,\quad \gamma '=\gamma ,\quad R'=\alpha {\frac {-\lambda }{\sqrt {1-\lambda ^{2}}}}+R{\frac {1}{\sqrt {1-\lambda ^{2}}}} $,

welche zur Lorentz-Transformation wird durch

$ {\begin{aligned}x&=\alpha ,&y&=\beta ,&z&=\gamma ,&R&=ct,\\x'&=\alpha ',&y'&=\beta ',&z'&=\gamma ',&R'&=ct',\end{aligned}} $    $ \lambda ={\frac {v}{c}} $.

Er erklärte, dass die Laguerre-Transformation in der Kugel-Mannigfaltigkeit äquivalent ist zur Lorentz-Transformation in der Raumzeit-Mannigfaltigkeit.

Laguerre-Gruppe isomorph zur Lorentz-Gruppe

Wie oben gezeigt kann die Gruppe der konformen Transformationen (zusammengesetzt aus Bewegungen, Ähnlichkeiten, und Inversionen) in Rⁿ durch Minimalprojektion bezogen werden auf die Gruppe der Berührungstransformationen in R^n-1, die Kreise und Kugeln in andere Kreise und Kugeln transformiert. Weiterhin zeigte Lie (1871, 1896), dass eine 7-Parameter-Untergruppe von infinitesimalen Ähnlichkeitstransformationen (zusammengesetzt aus Bewegungen und Ähnlichkeiten) existiert, die durch Minimalprojektion in R² einer 7-Parameter-Gruppe von infinitesimalen Berührungstransformationen entspricht, die Kreise in Kreise transformiert.^{[M 38]} Sie entspricht Laguerres Geometrie der reziproken Richtungen, deswegen wurde sie von Smith (1900) als „Gruppe der Geometrie der reziproken Richtungen“ bezeichnet,^{[M 30]} oder „Laguerre-Gruppe“ nach Blaschke (1910),^{[M 39]} die zusammen mit Coolidge (1916) und anderen deren Eigenschaften im Rahmen der Laguerre-Geometrie von orientierten Kugeln und Ebenen untersuchten.^{[M 39][35][36]} Die (erweiterte) Laguerre-Gruppe besteht aus Bewegungen und Ähnlichkeiten, und besitzt 7 Parameter in R² (orientierte Linien und Kreise werden transformiert) oder 11 Parameter in R³ (orientierte Ebenen und Kugeln werden transformiert). Werden Ähnlichkeiten ausgeschlossen, denn ergibt sich die (engere) Laguerre-Gruppe mit 6 Parameter in R² oder 10 Parameter in R³, welche die Tangentialentfernungen invariant lässt, aus Bewegungen und Umlegungen besteht, und orientierte Linien, Kreise, Ebenen, und Kugeln transformiert.^{[M 40][37]} Wenn im Folgenden von der Laguerre-Gruppe die Rede ist, dann ist damit die engere Laguerre-Gruppe gemeint.^[37][36] Die Laguerre-Gruppe ist dabei nicht die einzige Gruppe die Tangentialentfernungen invariant lässt, sondern ist Teil der weitergehenden „äquilongen Gruppe“ gemäß Scheffers (1905).^{[M 41][38]}

In R² lässt die Laguerre-Gruppe die Beziehung $ dx^{2}+dy^{2}-dr^{2} $ invariant, wobei sich dieser Zusammenhang auf beliebige Rⁿ erweitern lässt.^[39] In R³ ist beispielsweise die Beziehung $ dx^{2}+dy^{2}+dz^{2}-dr^{2} $ invariant.^[40] Wird Minimal-(isotrope)-Projektion mit imaginärer Radiuskoordinate oder zyklographische Projektion mit realer Radiuskoordinate im Rahmen der darstellenden Geometrie benutzt, ist dieser Ausdruck äquivalent mit $ dx^{2}+dy^{2}+dz^{2}+dr^{2} $ in R⁴ mit dem Radius $ r $ als Koordinate.^[8] Die Transformationen aus denen die Laguerre-Gruppe besteht, können weitergehend unterteilt werden in „eigentliche Laguerre-Transformationen“ die sich auf Bewegungen beziehen und sowohl die Tangentialentfernung als auch das Vorzeichen erhalten; oder „uneigentliche Laguerre-Transformationen“ die sich auf orientierungsumkehrende Bewegungen („Umlegungen“) beziehen und die Tangentialentfernung erhalten aber das Vorzeichen umkehren.^[41][42] Die Laguerre-Inversion (also die Transformation welche von Laguerre 1882 zuerst gegeben wurde) ist involutorisch und gehört somit zu den uneigentlichen Laguerre-Transformationen. Laguerre selbst verwendet zwar nicht den Gruppenbegriff in seinen Untersuchungen, trotzdem ist die von ihm gegebene Inversion von grundlegender Bedeutung, da jede Laguerre-Transformation aus höchstens vier Laguerre-Inversionen erzeugt werden kann und jede direkte Laguerre-Transformation das Produkt zweier involutorischer Transformationen ist,^[43] weshalb die gesamte Laguerre-Gruppe aus Laguerre-Inversionen erzeugt werden kann.^[44]

Es wurde überdies festgestellt, dass die Laguerre-Gruppe tatsächlich isomorph zur Lorentz-Gruppe (oder der Poincaré-Gruppe wenn Translationen einbezogen werden) ist, da beide Ausdrücke wie $ dx_{1}^{2}+dx_{2}^{2}+dx_{3}^{2}-dx_{4}^{2} $ invariant lassen. Nachdem Bateman bereits 1910 auf den Zusammenhang mit der Lorentz-Transformation verwiesen hatte (siehe oben), zeigte Cartan die Übereinstimmung der beiden Gruppen in einer kurzen Arbeit von 1912,^{[M 42]} abermals 1914,^{[M 43]} und in allgemeiner Weise im Jahr 1915 (veröffentlicht 1955) in der französischen Version der Enzyklopädie der mathematischen Wissenschaften.^[7] Auch Poincaré (1912, veröffentlicht 1921) schrieb:^{[M 3][45]}

Weitere Autoren die darauf hinwiesen sind beispielsweise Coolidge (1916),^[8] Klein & Blaschke (1926),^[9] Blaschke (1929),^[10] H.R. Müller,^{[M 45]} Kunle und Fladt (1970),^[11] Benz (1992),^[12] Pottmann, Grohs, Mitra (2009).^[46]

Siehe auch

• Geschichte der Lorentz-Transformation

Originalquellen

• Bateman, Harry: The conformal transformations of a space of four dimensions and their applications to geometrical optics. In: Proceedings of the London Mathematical Society. 7. Jahrgang, 1908, S. 70–89.  (submitted 1908, published 1909)
• Bateman, Harry: The Transformation of the Electrodynamical Equations. In: Proceedings of the London Mathematical Society. 8. Jahrgang, 1909, S. 223–264.  (submitted 1909, published 1910)
• Bateman, Harry: The Physical Aspect of Time. In: Manchester Memoirs. 54. Jahrgang, Nr. 14, 1910, S. 1–13. 
• Bateman, Harry: The Relation between Electromagnetism and Geometry. In: Philosophical Magazine. 20. Jahrgang, 1910, S. 623–628 (archive.org). 
• Bateman, Harry: Some geometrical theorems connected with Laplace’s equation and the equation of wave motion. In: American Journal of Mathematics. 345. Jahrgang, 1912, S. 325–360 (archive.org).  (submitted 1910, published 1912)
• Blaschke, Wilhelm: Untersuchungen über die Geometrie der Speere in der Euklidischen Geometrie. In: Monatshefte für Mathematik und Physik. 21. Jahrgang, Nr. 1, 1910, S. 3–60 (literature.at). 
• Cartan, Élie: Sur les groupes de transformation de contact et la Cinématique nouvelle. In: Société de mathématique the France – Comptes Rendus des Séances. 1912, S. 23 (archive.org). 
• Cartan, Élie: La théorie des groupes. In: Revue du Mois. 1914, S. 452–457. 
• Cunningham, Ebenezer: The principle of Relativity in Electrodynamics and an Extension Thereof. In: Proceedings of the London Mathematical Society. 8. Jahrgang, 1909, S. 77–98.  (submitted 1909, published 1910)
• Darboux, Gaston: Sur les relations entre les groupes de points, de cercles et de sphères. In: Annales Scientifiques de L'École Normale Supérieure. 1. Jahrgang, 1872, S. 323–392 (google.com). 
• Darboux, Gaston: Mémoire sur la théorie des coordonnées curvilignes et des systèmes orthogonaux. Troisième partie. In: Annales Scientifiques de L'École Normale Supérieure. 7. Jahrgang, 1878, S. 275–348 (archive.org). 
• Darboux, Gaston: Leçons sur la théorie générale des surfaces. Première partie.. Gauthier-Villars, Paris 1887.
• Klein, Felix: Über die geometrischen Grundlagen der Lorentzgruppe. In: Gesammelte mathematische Abhandlungen. 1. Jahrgang, S. 533–552. Vorlage:Cite book/Meldung
• Kubota, Tadahiko: Über die (2-2)-deutigen quadratischen Verwandtschaften V. In: Science Reports of the Tôhoku Imperial University. 14. Jahrgang, 1925, S. 155–164. 
• Laguerre, Edmond: Sur la transformation par directions réciproques. In: Comptes rendus. 92. Jahrgang, 1881, S. 71–73. 
• Laguerre, Edmond: Transformations par semi-droites réciproques. In: Nouvelles annales de mathématiques. 1. Jahrgang, 1882, S. 542–556. 
• Laguerre, Edmond: Collection of papers published between 1880 and 1885. In:Œuvres de Laguerre, vol. 2. Gauthier-Villars, Paris 1905, S. 592–684.
• Lie, Sophus: Ueber diejenige Theorie eines Raumes mit beliebig vielen Dimensionen, die der Krümmungs-Theorie des gewöhnlichen Raumes entspricht. In: Göttinger Nachrichten. 1871, S. 191–209 (google.com). 
• Lie, Sophus: Ueber Complexe, insbesondere Linien- und Kugel-Complexe, mit Anwendung auf die Theorie partieller Differentialgleichungen. In: Mathematische Annalen. 5. Jahrgang, 1872, S. 145–256 (google.com). 
• Sophus Lie, Georg Scheffers: Geometrie der Berührungstransformationen.. B.G. Teubner, Leipzig 1896.
• Liouville, Joseph: Note au sujet de l’article précédent. In: Journal de Mathématiques pures et Appliquées. 12. Jahrgang, 1847, S. 265–290 (google.com). 
• Liouville, Joseph: Théorème sur l’équation dx²+dy²+dz²=λ(dα²+dβ²+dγ²). In: Journal de Mathématiques pures et Appliquées. 15. Jahrgang, 1850, S. 103 (google.com). 
• Liouville, Joseph: Extension au cas des trois dimensions de la question du tracé géographique. In: Gaspard Monge (Hrsg.): Application de l'analyse à la Géométrie. Bachelier, Paris 1850b, S. 609–616.
• Emil Müller: Die Geometrie orientierter Kugeln nach Grassmann’schen Methoden. In: Monatshefte für Mathematik und Physik. 9. Jahrgang, Nr. 1, 1898, S. 269–315 (literature.at). 
• Hans Robert Müller: Zyklographische Betrachtung der Kinematik der speziellen Relativitätstheorie. In: Monatshefte für Mathematik und Physik. 52. Jahrgang, 1948, S. 337–353 (uni-goettingen.de). 
• Kinnosuke Ogura: On the Lorentz Transformation with some Geometrical Interpretations. In: Science Reports of the Tôhuku University. 2. Jahrgang, 1913, S. 95–116. 
• Poincaré, Henri: Sur la dynamique de l’électron. In: Rendiconti del Circolo matematico di Palermo. 21. Jahrgang, 1906, S. 129–176. 
• Poincaré, Henri: Rapport sur les travaux de M. Cartan (fait à la Faculté des sciences de l'Université de Paris). In: Acta Mathematica. 38. Jahrgang, Nr. 1, 1912, S. 137–145 (archive.org).  Written by Poincaré in 1912, printed in Acta Mathematica in 1914 though belatedly published in 1921.
• Ribaucour, Albert: Sur la déformation des surfaces. In: Comptes rendus. 70. Jahrgang, 1870, S. 330–333. 
• Smith, Percey F.: On a Transformation of Laguerre. In: Annals of Mathematics. 1. Jahrgang, 1900, S. 153–172 (archive.org). 
• Stephanos, C.: Sur la géométrie des sphères. In: Comptes rendus. 92. Jahrgang, 1881, S. 1195–1197 (bnf.fr). 
• Stephanos, C.: Sur la théorie des quaternions. In: Mathematische Annalen. 7. Jahrgang, 1883, S. 589–592 (uni-goettingen.de). 
• Timerding, H. E.: Über ein einfaches geometrisches Bild der Raumzeitwelt Minkowskis. In: Jahresbericht der Deutschen Mathematiker-Vereinigung. 21. Jahrgang, 1912, S. 274–285 (uni-goettingen.de). 

Belege:

Literatur

Lehrbücher, encyklopädische Einträge, historische Einführungen:

• Bateman, Harry: The mathematical analysis of electrical and optical wave motion on the basis of Maxwell's equations.. University Press, Cambridge 1915.
• Benz, Walter: Classical Geometries in Modern Contexts: Geometry of Real Inner Product Spaces Third Edition. Springer, 1992/2005, ISBN 3-0348-0420-2, S. 133–175.
• Blaschke, Wilhelm: Vorlesungen über Differentialgeometrie und geometrische Grundlagen von Einsteins Relativitätstheorie Bd. 3. Springer, Berlin 1929, doi:10.1007/978-3-642-50823-3.
• Élie Cartan, Gino Fano: La théorie des groupes continus et la géométrie. In: Encyclopédie des sciences mathématiques pures et appliquées. 3.1. Jahrgang, 1915, S. 39–43 (bnf.fr).  (Only pages 1-21 were published in 1915, the entire article including pp. 39–43 concerning the groups of Laguerre and Lorentz was posthumously published in 1955 in Cartan's collected papers, and was reprinted in the Encyclopédie in 1991.)
• Thomas E. Cecil: Laguerre geometry. In:Lie sphere geometry. Springer, 1992/2008, ISBN 0-387-74655-2, S. 37-46.
• Coolidge, Julian: A treatise on the circle and the sphere.. Clarendon Press, Oxford 1916.
• Cunningham, Ebenezer: The principle of relativity.. University Press, Cambridge 1914.
• Fano, Gino: Kontinuierliche geometrische Gruppen. Die Gruppentheorie als geometrisches Einteilungsprinzip. In: Encyclopädie der mathematischen Wissenschaften. 3.1.1. Jahrgang, 1907, S. 289–388 (uni-goettingen.de). 
• Kastrup, H. A.: On the advancements of conformal transformations and their associated symmetries in geometry and theoretical physics. In: Annalen der Physik. 520. Jahrgang, Nr. 9-10, 2008, S. 631–690, doi:10.1002/andp.200810324, arxiv:0808.2730, bibcode:2008AnP...520..631K. 
• Klein, Felix: Einleitung in die höhere Geometrie I. 1893.
• Felix Klein, Wilhelm Blaschke: Vorlesungen über höhere Geometrie.. Springer, Berlin 1926. (Klein's lectures from 1893 updated and edited by Blaschke in 1926.)
• Kunle H.; Fladt K.: Erlangen program and higher geometry – Laguerre geometry. In: Heinrich Behnke (Hrsg.): Fundamentals of Mathematics: Geometry. MIT Press, 1926, S. 460–516.
• Müller, Emil: Die verschiedenen Koordinatensysteme. In: Encyclopädie der mathematischen Wissenschaften. 3.1.1. Jahrgang, 1910, S. 596–770 (uni-goettingen.de). 
• Pedoe, Daniel: A forgotten geometrical transformation. In: L'Enseignement Mathématique. 18. Jahrgang, 1972, S. 255–267, doi:10.5169/seals-45376. 
• Rougé, André: Relativité restreinte: la contribution d'Henri Poincaré. Editions Ecole Polytechnique, 2008, ISBN 2-7302-1525-5.
• Walter, Scott: Figures of light in the early history of relativity. In:To appear in Einstein Studies, D. Rowe, ed., Basel: Birkhäuser 2012.
• Warwick, Andrew: Cambridge mathematics and Cavendish physics: Cunningham, Campbell and Einstein's relativity 1905–1911 Part I: The uses of theory. In: Studies in History and Philosophy of Science Part A. 23. Jahrgang, Nr. 4, 1992, S. 625–656, doi:10.1016/0039-3681(92)90015-X. 
• Warwick, Andrew: Masters of Theory: Cambridge and the Rise of Mathematical Physics. University of Chicago Press, Chicago 2003, ISBN 0-226-87375-7.

Einzelnachweise