Singularitäten-Theorem

Singularitäten-Theorem

Als Singularitäten-Theorem bezeichnet man in der allgemeinen Relativitätstheorie der Physik ein Theorem aus der Gruppe von mathematischen Sätzen, die aus wenigen globalen Annahmen über eine Raumzeit das Vorhandensein von Singularitäten in ihr folgern. Die Bedingungen sind einerseits Energiebedingungen an die Masse und Energieverteilung im Raum und andererseits Kausalitätsbedingungen an die Topologie der Raumzeit.

Solche Theoreme wurden zuerst Ende der 1960er Jahre von Stephen Hawking und Roger Penrose bewiesen[1] [2].

Inhaltsverzeichnis

Historische Einordnung

Schon kurz nach der Veröffentlichung der Einsteinschen Feldgleichungen 1915 wurde 1916 mit der Schwarzschild-Lösung eine erste exakte Lösung präsentiert. Diese weist als markantes Merkmal starke Symmetrieannahmen auf, und als ein Ergebnis ergibt sich die Möglichkeit für eine Krümmungssingularität im Zentrum. Diese tritt auf, da der unaufhaltsame sphärische Kollaps innerhalb des Ereignishorizontes den Gültigkeitsbereich der Außenraumlösung immer weiter an das Symmetriezentrum annähert. Diese Massenballung schreitet voran, bis theoretisch alle Masse in einem Punkt konzentriert ist und die Krümmung des Raumes an dieser Stelle divergiert. Ein solcher Zusammenbruch der Theorie in so einfachen Modellen kann leicht als ein Artefakt der Symmetrieannahmen eingestuft werden[3]. Mit der Formulierung und dem Beweis der ersten Singularitätentheoreme durch Hawking und Penrose konnte aber gezeigt werden, dass Singularitäten eine Folge der anziehenden Natur der Gravitation sind.

Energiebedingungen

Hauptartikel: Energiebedingungen

In der allgemeinen Relativitätstheorie wird die Massen- und Energieverteilung mit einem Energie-Impuls-Tensor Tab beschrieben. Energiebedingungen sind im Rahmen dieser Theorie Ungleichungen für Kontraktionen dieses Tensors. Die verschiedenen Singularitätentheoreme unterscheiden sich in der Stärke der angewendeten Energiebedingung. Eine starke Bedingung resultiert in einfach zu beweisenden kausalen Singularitäten, aber es gibt eventuell Materieformen im Universum, die dieser widersprechen und nur schwächeren Energiebedingungen gehorchen.

Die schwächsten Energiebedingungen (lichtartige) sind sehr wahrscheinlich von allen Materien erfüllt, daraus folgen allerdings nur lichtartige Singularitäten.

Kausalitätsbedingungen

Kausalität umfasst alle Möglichkeiten mit denen sich Ereignisse in der Raumzeit beeinflussen können und ordnet Ereignissen (Raum-Zeit-Koordinaten) Relationen zu. Diese Relationen ergeben sich aus den Tangentialvektoren an den Kurven, die die Ereignisse verbinden. Liegt ein Punkt in der zeitlichen Zukunft eines anderen, so gibt es mindestens eine Verbindungskurve zwischen ihnen mit ausschließlich zeitartigen Tangentialvektoren. Andere Möglichkeiten sind, dass Punkte nur lichtartig in Beziehung stehen oder dass sie nicht kausal verbunden sind (es also nur raumartige Verbindungskurven gibt). Kausal verbunden sind Punkte, wenn es lichtartige oder zeitartige Verbindungskurven gibt. Kausalitätsbedingungen beschränken, in welchen Relationen die gesamten Ereignisse einer Raumzeit zueinander stehen können.

Die Raumzeit ist chronologisch

Die Raumzeit wird als chronologisch bezeichnet, wenn es in ihr keine geschlossenen zeitartigen Kurven gibt. Das bedeutet, dass kein Punkt in seiner eigenen zeitartigen Vergangenheit oder Zukunft liegt.

Die Raumzeit ist kausal

Die Raumzeit wird als kausal bezeichnet, wenn es in ihr keine geschlossenen zeitartigen oder lichtartigen Kurven gibt. Das bedeutet, dass kein Punkt in seiner eigenen kausalen Vergangenheit oder Zukunft liegt.

Die Raumzeit ist streng kausal

Die Raumzeit wird als streng oder stark kausal bezeichnet, wenn keine kausale Kurve eine konvexe Umgebung in zwei unverbundenen Mengen schneidet. Anschaulich gesprochen würde eine Verletzung dieser Bedingung bedeuten, dass man von einem Ereignis über eine kausale Kurve beliebig nahe zurück an dieses Ereignis kommen könnte.

Singularitätentheorem nach Hawking und Penrose

Raumzeitdiagramm, mit Ereignishorizont, einer gefangenen Fläche (Bedingung 4.1. im Theorem) und in einer Ebene x1=konstant sind der Horismos E+ sowie die davon begrenzte Zukunft I+ eingezeichnet. Die Kompaktheit des Horismos wird deutlich und dass sowohl die nach außen gerichteten als auch die nach innen gerichteten Nullgeodäten zusammenlaufen (Pfeile in q für den Lichtkegelanteil in der dargestellten Ebene)

Die Raumzeit der Dimension n ist kausalgeodätisch unvollständig, wenn die vier folgenden Punkte erfüllt sind:

  1. Die starke Energiebedingung gilt entlang aller kausaler Kurven (folgt aus der starken Energiebedingung).
  2. Die generische Bedingung ist erfüllt. Das heißt, jede dieser Kurven (mit Tangentialvektorfeld ua) enthält einen Punkt mit nicht verschwindender effektiver Krümmung: u^au^du_{[a}R_{b]cd[e}u_{f]}\neq0.
  3. Die Raumzeit ist chronologisch.
  4. Die Raumzeit enthält mindestens eines der folgenden:
    1. eine abgeschlossene raumartige Untermannigfaltigkeit \mathcal{T} der Dimension (n-2), deren mittleres Krümmungsvektorfeld vergangenheitsgerichtet und zeitartig ist.
    2. eine kompakte achronale (raum- oder lichtartige) Untermannigfaltigkeit \mathcal{T} ohne Rand oder
    3. einen Punkt x so, dass entlang jeder vollständig in die Vergangenheit (in die Zukunft) fortgesetzten Nullgeodäte vom Punkt x ausgehend mit dem Tangentialvektorfeld ua, die Spur \theta = u^a_{\,\, ;a} des kovarianten Ableitungstensors u^a_{\,\, ;b} der Nullgeodätenschar aus x negativ wird.

Ziel dieses Theorems ist es also, die kausalgeodätische Unvollständigkeit der Mannigfaltigkeit zu beweisen. Vereinfacht gesprochen enden also Weltlinien von Beobachtern oder Lichtteilchen einfach an einer Stelle, die nicht mehr zum Raum gehört. Der Beweis basiert darauf, dass Bedingung 1 und 2 zusammen mit angenommener kausalgeodätischer Vollständigkeit einen Widerspruch zu den Bedingungen 3 und 4 bewirken. Wenn 1-4 also zutreffen, muss die kausalgeodätische Vollständigkeit verletzt sein.

Die ersten beiden Bedingungen implizieren eine Fokussierung der kausalen Geodäten. Dies ergibt sich direkt aus der Raychaudhuri-Gleichung und den Existenz- und Eindeutigkeitssätzen über gewöhnliche Differentialgleichungen. Die Fokussierung bewirkt, dass bis zu einer gewissen endlichen Entfernung vom Ursprung der geodätischen Kongruenz mindestens ein Punkt konjugiert zu diesem Ursprung auftreten muss. In einer kausalgeodätisch vollständigen Raumzeit kann man alle Geodäten auf unendliche Parameter fortsetzen. Da die fokussierende Wirkung auf alle kausalen Geodätenscharen wirkt, enthalten dann alle kausalen Geodäten im maximal fortgesetzten Parameterintervall mindestens ein Paar konjugierter Punkte.

Auf der anderen Seite kann man aus den Bedingungen 3 und 4 in einem Bereich, dessen kausale Entwicklung nur durch die Werte auf \mathcal{T} vorgegeben ist, eine kausale Kurve konstruieren, die keine konjugierten Punkte aufweist. Aufgrund einer sehr starken Kausalbedingung die in diesem Bereich gilt, der globalen Hyperbolizität, existiert eine kausale Geodäte als Grenzkurve zu dieser konstruierten Kurve. Mit dem Erhalten dieser kausalen Geodäte, die im gesamten Parameterbereich ohne konjugierte Punkte ist, sind die Bedingungen zum Widerspruch geführt und der Beweis erreicht.

Einzelnachweise

  1. Stephen Hawking: The occurence of singularities in cosmology. T. 1-3. In: Proceedings of the Royal Society. A. London Bd 294, 1966, S. 511, Bd 295, 1966, S. 490, Bd 300, 1967, S. 107. ISSN 0962-8444
  2. Stephen Hawking, Roger Penrose: The singularities of gravitational collapse and cosmology. In: Proceedings of the Royal Society. A. Bd 314, 1970, S. 529-548. ISSN 0962-8444
  3. Marcus Kriele: Spacetime, foundations of general relativity and differential geometry. Lecture notes in physics. Bd 59. Springer, Heidelberg 1999, S. 383. ISBN 3-540-66377-0

Literatur

  • Stephen Hawking, G. F. R. Ellis: The Large Scale Structure of Space-Time. Cambridge University Press, Cambridge 1973. ISBN 0-521-09906-4
  • Marcus Kriele: Spacetime, foundations of general relativity and differential geometry. Lecture notes in physics. Bd 59. Springer, Heidelberg 1999. ISBN 3-540-66377-0

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

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

  • Keine-Haare-Theorem — Ein fiktives nichtrotierendes Schwarzes Loch von 10 Sonnenmassen aus 60 …   Deutsch Wikipedia

  • Mittag-Leffler-Theorem — Der Satz von Mittag Leffler ist ein nach dem Mathematiker Magnus Gösta Mittag Leffler benannter Satz der Funktionentheorie. In seiner anwendungsorientierten Formulierung garantiert er die Existenz bestimmter meromorpher Funktionen.… …   Deutsch Wikipedia

  • Singularität — (nach lat. singularis, „einzeln“, „vereinzelt“, sowie „eigentümlich“, „außerordentlich“), Adj.: singulär, bezeichnet: allgemein eine Vereinzeltheit, Einzigartigkeit oder Einzähligkeit, siehe Unikat in der Robotik bestimmte Raumpunkte, die durch… …   Deutsch Wikipedia

  • Raychaudhuri-Gleichung — Die Raychaudhuri Gleichung (oder Landau Raychaudhuri Gleichung) ist ein grundlegendes Ergebnis der allgemeinen Relativitätstheorie und beschreibt die Bewegung benachbarter Teilchen. Die Gleichung ist ein grundlegendes Lemma für das Singularitäten …   Deutsch Wikipedia

  • Axiomatische QFT — Die axiomatische Quantenfeldtheorie ist ein Forschungsbereich der mathematischen Physik. Der Begriff beschreibt verschiedene Ansätze, die Struktur der Quantenfeldtheorie mit mathematischen Mitteln zu beschreiben. Dabei wird meist versucht, einen… …   Deutsch Wikipedia

  • Axiomatische Quantenfeldtheorie — Die axiomatische Quantenfeldtheorie ist ein Forschungsbereich der mathematischen Physik. Der Begriff beschreibt verschiedene Ansätze, die Struktur der Quantenfeldtheorie mit mathematischen Mitteln zu beschreiben. Dabei wird meist versucht, einen… …   Deutsch Wikipedia

  • Heisuke Hironaka — (jap. 広中 平祐, Hironaka Heisuke; * 9. April 1931 in Yuu, Kuga gun (heute: Iwakuni), Präfektur Yamaguchi, Japan) ist ein japanischer Mathematiker und Träger der Fields Medaille. Inhaltsverzeichnis 1 Leben und Werk 2 Zitate …   Deutsch Wikipedia

  • Hironaka Heisuke — Heisuke Hironaka (jap. 広中 平祐 Hironaka Heisuke; * 9. April 1931, in der Präfektur Yamaguchi, Japan) ist ein japanischer Mathematiker und Träger der Fields Medaille. Inhaltsverzeichnis 1 Leben und Werk 2 Zitate 3 We …   Deutsch Wikipedia

  • Spectral theory of ordinary differential equations — In mathematics, the spectral theory of ordinary differential equations is concerned with the determination of the spectrum and eigenfunction expansion associated with a linear ordinary differential equation. In his dissertation Hermann Weyl… …   Wikipedia

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   Deutsch Wikipedia

Share the article and excerpts

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