Odd-Number-Theorem

Odd-Number-Theorem
Icon tools.svg
Dieser Artikel wurde den Mitarbeitern der Redaktion Physik zur Qualitätssicherung aufgetragen. Wenn Du Dich mit dem Thema auskennst, bist Du herzlich eingeladen, Dich an der Prüfung und möglichen Verbesserung des Artikels zu beteiligen. Der Meinungsaustausch darüber findet derzeit nicht auf der Artikeldiskussionsseite, sondern auf der Qualitätssicherungs-Seite der Physik statt.

Mit dem Namen 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

Einige Abhandlungen analysieren mögliche Gründe, warum selbst in Situationen, in denen das "Odd-Number-Theorem" gilt, eine gerade Bildanzahl 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 Linsensystemen die Helligkeiten der Bilder vorhergesagt und mögliche Überlagerungen der Bilder untersucht, sondern es werden 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 bzw. der Beobachter gesehen würden. 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.

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

  • Giannoni, F. und Lombardi, M.: Gravitational lenses: odd or even images? In: Classical and Quantum Gravity. 16, 1689-1694 (1999).
  • Giannoni, F., Masiello, A. und Piccione, P. A variational theory for light rays in stably causal Lorentzian manifolds: Regularity and multiplicity results. Communications in Mathematical Physics. 187, 375-415 (1997).
  • Giannoni, F., Masiello, A. und Piccione, P. A morse theory for light rays on stably causal Lotentzian manifolds. Ann. de l'I. H. P., section A 69, Nr. 4, 359-412 (1998).
  • Kovner, I. Fermat principle in gravitational fields. The Astrophysical Journal. 351, 114-120 (1990).
  • Schneider, P., Ehlers, J., Falco, E. E. Gravitational Lenses. Astronomy and Astrophysics Library. Springer, 2. Auflage (1999).
  • Petters, A. O. Morse theory and gravitational microlensing. Journal of Mathematical Physics, 33 (1992).
  • Burke, W. L. Multiple gravitational imaging by distributed masses. Astrophysical Journal. Lett. 1 244, L1 (1981).
  • Lombardi, M. An application of the topological degree to gravitational lenses. Modern Phys. Lett. A 13, 83-86 (1998).
  • McKenzie, R. H. A gravitational lens produces an odd number of images. Journal of Mathematical Physics. 26, 1592-1596 (1985).
  • Uhlenbeck, K. A Morse theory for geodesics on a Lorentzian manifold. Topology 14, 69-90 (1975).
  • Perlick, V. Gravitational lensing from a geometric viewpoint. Einstein's field equations and their physical interpretations (Schmidt, B., Hg.). Selected Essays in Honour of Jürgen Ehlers, 373-425. Springer (2000).
  • Perlick, V. Global properties of gravitational lens maps in a Lorentzian manifold setting. Commun. Math. Phys. 220, 403-428 (2001).
  • Perlick, V. Gravitational lensing in asymptotically simple and empty spacetimes. Annals of Physics. 9, SI-139-SI-142 (2000)
  • Kozameh, C., Lamberti, P. W., Reula, O. Global aspects of light cone cuts. Journal of Mathematical Physics. 32, 3423-3426 (1991).
  • Perlick, V. Gravitational lensing from a spacetime perspective. Living Rev. Relativity 7 (2004) 9 [Online Article] [1]

Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Odd number theorem — The odd number theorem is a theorem in strong gravitational lensing which comes directly from differential topology. It says that the number of multiple images produced by a bounded transparent lens must be odd. In fact, the gravitational lensing …   Wikipedia

  • Pentagonal number theorem — In mathematics, the pentagonal number theorem, originally due to Euler, relates the product and series representations of the Euler function. It states that:prod {n=1}^infty (1 x^n)=sum {k= infty}^infty( 1)^kx^{k(3k 1)/2}.In other words, :(1 x)(1 …   Wikipedia

  • Fermat polygonal number theorem — In mathematics, the Fermat polygonal number theorem states: every positive integer is a sum of at most n n polygonal numbers. That is, every number can be written as the sum of at most three triangular numbers, or four square numbers, or five… …   Wikipedia

  • Odd graph — The Petersen graph as an odd graph O3 Vertices Edges …   Wikipedia

  • Number theory — A Lehmer sieve an analog computer once used for finding primes and solving simple diophantine equations. Number theory is a branch of pure mathematics devoted primarily to the study of the integers. Number theorists study prime numbers (the… …   Wikipedia

  • number game — Introduction       any of various puzzles and games that involve aspects of mathematics.       Mathematical recreations comprise puzzles and games that vary from naive amusements to sophisticated problems, some of which have never been solved.… …   Universalium

  • number theory — Math. the study of integers and their relation to one another. Also called theory of numbers. [1910 15] * * * Branch of mathematics concerned with properties of and relations among integers. It is a popular subject among amateur mathematicians… …   Universalium

  • number symbolism — Introduction       cultural associations, including religious, philosophic, and aesthetic, with various numbers.       Humanity has had a love hate relationship with numbers from the earliest times. Bones dating from perhaps 30,000 years ago show …   Universalium

  • Number — For other uses, see Numbers (disambiguation). A number is a mathematical object used to count and measure. In mathematics, the definition of number has been extended over the years to include such numbers as zero, negative numbers, rational… …   Wikipedia

  • Number system — This article is about different sets of numbers. For different methods of expressing numbers with symbols, see numeral system. In mathematics, a number system is a set of numbers, (in the broadest sense of the word), together with one or more… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”