Odd-Number-Theorem

Der Titel dieses Artikels ist mehrdeutig. Weitere Bedeutungen sind unter Odd-Number-Theorem (Begriffsklärung) aufgeführt.

Schematische Erläuterung des Gravitationslinseneffektes. Das Licht der roten Galaxie im Hintergrund wird durch die Gravitation der weißen Galaxie im Vordergrund abgelenkt.

Als Odd-Number-Theorem wird die Aussage bezeichnet, die besagt, dass in einer Gravitationslinsensituation immer eine ungerade Anzahl an Bildern einer Strahlungsquelle (beispielsweise eines Sterns) auftritt. Teilweise beinhaltet das Theorem die Behauptung, dass die Anzahl der Bilder, die mit der Orientierung der Quelle beobachtet werden, die Anzahl der spiegelverkehrt beobachteten Bilder genau um eins übertrifft.

Das „Odd-Number-Theorem“ wird in der Literatur unter verschiedenen Voraussetzungen formuliert. Solche können beispielsweise quasi-newtonsche Näherungsannahmen oder die Voraussetzung spezieller Raumzeiten sein. Häufig sind zusätzlich implizite Bedingungen enthalten, worauf bei einem Vergleich verschiedener Formulierungen des Theorems besonders zu achten ist.

Die Beweise des „Odd-Number-Theorems“ nutzen verschiedene Methoden. Im lorentzschen Modell werden unter anderem Morsetheorie und Argumente über den Abbildungsgrad genutzt, wobei – genau wie in quasi-newtonschen Überlegungen – verschiedene Funktionen und Variationsprinzipien betrachtet werden.

Es wird oft eine gerade Bildanzahl beobachtet

Durch Gravitationslinseneffekte erzeugte Mehrfachbilder des Quasars QSO 2237+0305, bekannt als Einsteinkreuz.

Einige Abhandlungen analysieren mögliche Gründe, warum selbst in Situationen, in denen das „Odd-Number-Theorem“ gilt, eine gerade Anzahl an Mehrfachbildern beobachtet wird. Dies ist beispielsweise der Fall, wenn sich die Quelle hinter der Linse befindet, Bilder zu schwach sind oder mehrere Bilder nicht aufgelöst werden können. Es werden nicht nur für bestehende reale Linsensysteme die Helligkeiten der Bilder vorhergesagt und mögliche Überlagerungen der Bilder untersucht, sondern auch allgemeine derartige Prognosen angestellt. Solche finden sich 1998 bei Giannoni und Lombardi, welche die Absorption einer quasi-newtonschen dünnen Linse berücksichtigen. Dazu verwenden sie Morsetheorie, die von Giannoni, Masiello und Piccione ab 1995 mit Kovners Prinzip entwickelt worden ist und die auch im lorentzschen Modell gilt.

In quasi-newtonschen Betrachtungen punktförmiger Linsen ergeben sich Bedingungen, unter denen die Bildanzahl gerade ist. Eine solche Aussage wird von Schneider, Ehlers und Falco S. 175 als Modifikation ihrer quasi-newtonschen Formulierung des „Odd-Number-Theorems“ für eine dünne, ausgedehnte, transparente Linse mit endlicher Masse in einer Ebene und beschränkten Ablenkungswinkeln bewiesen. Petters erhält unter ebenfalls typischen quasi-newtonschen Annahmen Bedingungen für eine gerade Bildanzahl.

Bisherige Ergebnisse

In vorrelativistischen Modellen, die ungekrümmte Räume betrachten, folgt, dass jede Strahlungsquelle genau einmal zu beobachten ist. Dennoch ist unter Annahme einer Raumkrümmung die Existenz von Mehrfachbildern intuitiv und anschaulich. Auch das „Odd-Number-Theorem“ ist plausibel (siehe McKenzie und Schneider, Ehlers, Falco) und es bedarf genauerer Überlegungen, um Situationen zu finden, in denen es nicht erfüllt ist. (Solch eine Situation ist bei nicht transparenten kosmischen Strings gegeben.) Es ist nicht bekannt, ob das Theorem unter schwächeren als den heutigen Voraussetzungen bewiesen werden kann. Im Wesentlichen gibt es zwei Beweisansätze: den morsetheoretischen und den lorentzgeometrischen, der Abbildungsgrade verwendet.

Petters zeigt das „Odd-Number-Theorem“ unter Verwendung von Morsetheorie und durch Betrachtung einer quasi-newtonschen Zeitdifferenzfunktion. Es ergibt sich als Folgerung seiner Überlegungen, in denen die Linse transparent und nicht singulär ist.

Burke verwendet 1980 ein quasi-newtonsches Argument, das den Abbildungsgrad nutzt. Dazu betrachtet er die Differenz der beiden Vektorfelder auf der Linsenebene, die durch die Richtungen gegeben sind, in denen auf der Linsenebene die Quelle beziehungsweise der Beobachter gesehen würde. Die Anzahl der vom Beobachter gesehenen Bilder einer Quelle ist gleich der Anzahl der Nullstellen dieses Differenzvektorfeldes. Ist der Beugungswinkel beschränkt, so ist das Differenzvektorfeld am Äußeren der Linsenebene radial und der Indexsatz von Poincaré-Hopf liefert eine ungerade Bildanzahl mit n₊=n_-+1.

Ebenfalls mit dem Abbildungsgrad argumentiert Lombardi 1998 innerhalb des quasi-newtonschen Modells für nicht dünne Linsen und ohne dass die Raumzeit stationär sein muss. Stationär bedeutet, dass es überall ein zeitartiges, zukunftsgerichtetes Killing-Vektorfeld gibt.^[1]

McKenzie untersucht 1984 das „Odd-Number-Theorem“ als erster lorentzsch. Er verwendet dabei Uhlenbecksche Morsetheorie in global hyperbolischen Raumzeiten. Die von ihm betrachteten Raumzeiten müssen zusätzlich zur globalen Hyperbolizität starke Voraussetzungen an die Topologie der Wegeräume, die aus bestimmten Wegen innerhalb der Raumzeit bestehen, erfüllen. (Diese Voraussetzungen fordert er, um seine morsetheoretischen Betrachtungen anstellen zu können.)

Die bisher genannten Theoreme (von Schneider, Ehlers und Falco, von Petters, von Burke und von McKenzie) beinhalten die Aussage, dass die Anzahl der Bilder mit der Orientierung der Quelle die Anzahl der spiegelverkehrt beobachteten Bilder genau um eins übertrifft.

Inzwischen ist das Auftreten einer ungeraden Bildanzahl morsetheoretisch für global hyperbolische Raumzeiten gezeigt, sofern diese zusammenziehbar sind (sonst entstehen unendlich viele Bilder) und gewisse technische Bedingungen erfüllen. Da asymptotisch einfache und leere Raumzeiten global hyperbolisch und zusammenziehbar sind, gilt dieser Beweis auch für sie. Der Beweis kann bei Perlick nachvollzogen werden. Die dabei verwendete Morsetheorie wird von Giannoni, Masiello und Piccione geliefert.

Einen lorentzgeometrischen Beweis, der den Abbildungsgrad verwendet, liefert Perlick 2001. Dieser ist der bisher allgemeinste Beweis von denen, die den Abbildungsgrad verwenden, und gilt in hierzu definierten "einfach linsenden Umgebungen".

Global hyperbolische Räume sind nicht notwendig einfach linsende Umgebungen, wie an asymptotischen De-Sitter Raumzeiten erkennbar ist. Einfach linsende Umgebungen sind ihrerseits im Allgemeinen nicht global hyperbolisch.

Bisher konnte weder mit dem lorentzgeometrischen Beweis von Perlick, noch mit den morsetheoretischen in global hyperbolischen Raumzeiten gezeigt werden, dass die Anzahl der Bilder mit der Orientierung der Quelle die Anzahl der spiegelverkehrt beobachteten Bilder genau um eins übertrifft. Die hierzu entstandenen Beweisversuche in asymptotischen einfachen und leeren Raumzeiten von Perlick, und von Kozameh, Lamberti und Reula sind unvollständig.

Konkrete Berechnungen der Bildanzahl sowie der Orientierungen der Bilder finden sich für spezielle Raumzeiten in vielen Veröffentlichungen. Diese liefern sowohl Beispiele, in denen die Voraussetzungen des „Odd-Number-Theorems“ erfüllt sind, als auch Beispiele, in denen dies nicht der Fall ist und in denen sich tatsächlich eine gerade Bildanzahl ergibt. Im Zusammenhang mit den hier betrachteten Methoden sei für konkrete Beispiele auf die Arbeiten von Perlick verwiesen.

Literatur

• F. Giannoni, M. Lombardi: Gravitational lenses: odd or even images? In: Classical and Quantum Gravity. Band 16, Nr. 6, 1999, S. 1689–1694, doi:10.1088/0264-9381/16/6/303. 
• F. Giannoni, A. Masiello, P.Piccone: A Variational Theory for Light Rays in Stably Causal Lorentzian Manifolds: Regularity and Multiplicity Results. In: Communications in Mathematical Physics. Band 187, Nr. 2, 1997, S. 375–415, doi:10.1007/s002200050141. 
• F. Giannoni, A. Masiello, P. Piccione: A Morse Theory for Light Rays on Stably Causal Lorentzian Manifolds. In: Annales de l'institut Henri Poincaré (A) Physique théorique. Band 69, Nr. 4, 1998, S. 359–412 (Abstract und PDF). 
• I. Kovner: Fermat principle in arbitrary gravitational fields. In: Astrophysical Journal, Part 1. Band 351, 1990, S. 114–120, doi:10.1086/168450. 
• P. Schneider, J. Ehlers, E.E. Falco: Gravitational Lenses. Springer, 1992, ISBN 978-3-662-03758-4 (eingeschränkte Vorschau bei Springer). 
• A. O. Petters: Morse theory and gravitational microlensing. In: Journal of Mathematical Physics. Band 33, Nr. 5, 1992, S. 1915–1931, doi:10.1063/1.529667 (Abstract und PDF). 
• W. L. Burke: Multiple Gravitational Imaging by Distributed Masses. In: The Astrophysical Journal. Band 244, 1981, S. L1, doi:10.1086/183466 (Abstract und PDF). 
• M. Lombardi: An Application of the Topological Degree to Gravitational Lenses. In: Modern Phys. Lett. A, Nr. 13, 1998, S. 83–86 (PDF bei der Gravity Research Foundation). 
• Ross H. McKenzie: A gravitational lens produces an odd number of images. In: Journal of Mathematical Physics. Band 26, 1985, S. 1592–1596, doi:10.1063/1.526923. 
• K. Uhlenbeck: A Morse theory for geodesics on a Lorentz manifold. In: Topology. Band 14, Nr. 1, 1975, S. 69–90, doi:10.1016/0040-9383(75)90037-3. 
• Volker Perlick: Gravitational Lensing from a Geometric Viewpoint. In: B. G. Schmidt (Hrsg.): Einstein’s Field Equations and Their Physical Implications. Lecture Notes in Physics, Nr. 540. Springer, 2000, ISBN 3-540-67073-4, S. 373–425, doi:10.1007/3-540-46580-4_6 (Selected Essays in Honour of Jürgen Ehlers). 
• Volker Perlick: Global properties of gravitational lens maps in a Lorentzian manifold setting. In: Commun. Math. Phys. Band 220, 2001, S. 403–428, doi:10.1007/s002200100450 (Abstract und PDF). 
• Volker Perlick: Gravitational lensing in asymptotically simple and empty spacetimes. In: Annals of Physics. Band 9, 2000, S. SI-139–142. 
• C. Kozameh, P.W. Lamberti, O. Reula: Global aspects of light cone cuts. In: Journal of Mathematical Physics. Band 32, Nr. 12, 1991, S. 3423–3426 (Abstract). 

Einzelnachweise