Einstein-Feldgleichungen - Einstein field equations

In der Allgemeinen Relativitätstheorie beziehen die Einstein-Feldgleichungen ( EFE ; auch bekannt als Einstein-Gleichungen ) die Geometrie der Raumzeit auf die Verteilung der Materie darin.

Die Gleichungen wurden erstmals 1915 von Einstein in Form einer Tensorgleichung veröffentlicht, die das lokale Raum - Zeit - Krümmung (durch den ausgedrücktEinsteinTensor) mit der lokalen Energie,Schwungund Spannung in dieser RaumZeit (durch den ausgedrücktEnergie-Impuls-Tensor).

Analog wie elektromagnetische Felder über die Maxwell-Gleichungen mit der Verteilung von Ladungen und Strömen in Beziehung gesetzt werden , beziehen die EFE die Raumzeitgeometrie auf die Verteilung von Masse-Energie, Impuls und Spannung, dh sie bestimmen den metrischen Tensor der Raumzeit für a gegebene Anordnung von Spannung-Energie-Impuls in der Raumzeit. Die Beziehung zwischen dem metrischen Tensor und dem Einstein-Tensor ermöglicht es, das EFE bei dieser Verwendung als Satz nichtlinearer partieller Differentialgleichungen zu schreiben . Die Lösungen des EFE sind die Komponenten des metrischen Tensors. Die Trägheitsbahnen von Partikeln und Strahlung ( Geodäten ) in der resultierenden Geometrie werden dann mit der geodätischen Gleichung berechnet .

Die EFE implizieren nicht nur die lokale Energie-Impuls-Erhaltung, sondern reduzieren sich auch auf das Newtonsche Gravitationsgesetz im Grenzbereich eines schwachen Gravitationsfeldes und Geschwindigkeiten, die viel kleiner als die Lichtgeschwindigkeit sind .

Exakte Lösungen für das EFE können nur unter vereinfachenden Annahmen wie Symmetrie gefunden werden . Spezielle Klassen exakter Lösungen werden am häufigsten untersucht, da sie viele Gravitationsphänomene wie rotierende Schwarze Löcher und das expandierende Universum modellieren . Eine weitere Vereinfachung wird erreicht , indem die Raumzeit so angenähert wird , dass sie nur geringe Abweichungen von der flachen Raumzeit aufweist , was zu dem linearisierten EFE führt . Diese Gleichungen werden verwendet, um Phänomene wie Gravitationswellen zu untersuchen .

Mathematische Form

Die Einstein-Feldgleichungen (EFE) können in der Form geschrieben werden:

EFE an einer Wand in Leiden

wobei G μν der Einstein-Tensor ist , g μν der metrische Tensor ist , T μν der Spannungs-Energie-Tensor ist , Λ die kosmologische Konstante und κ die Einstein-Gravitationskonstante ist.

Der Einstein-Tensor ist definiert als

wobei R μν der Ricci-Krümmungstensor und R die skalare Krümmung ist . Dies ist ein symmetrischer Tensor zweiten Grades, der nur vom metrischen Tensor und seinen ersten und zweiten Ableitungen abhängt.

Die Einstein-Gravitationskonstante ist definiert als

wobei G die Newtonsche Gravitationskonstante und c die Lichtgeschwindigkeit im Vakuum ist.

Das EFE kann somit auch geschrieben werden als

In Standardeinheiten hat jeder Term auf der linken Seite Einheiten von 1/Länge 2 .

Der Ausdruck auf der linken Seite repräsentiert die Krümmung der Raumzeit, wie sie durch die Metrik bestimmt wird; der Ausdruck auf der rechten Seite repräsentiert den Spannungs-Energie-Impuls-Gehalt der Raumzeit. Das EFE kann dann als eine Reihe von Gleichungen interpretiert werden, die vorschreiben, wie Spannung-Energie-Impuls die Krümmung der Raumzeit bestimmt.

Diese Gleichungen bilden zusammen mit der geodätischen Gleichung , die bestimmt, wie sich frei fallende Materie durch die Raumzeit bewegt, den Kern der mathematischen Formulierung der Allgemeinen Relativitätstheorie .

Der EFE ist eine Tensorgleichung, die sich auf einen Satz symmetrischer 4 × 4 Tensoren bezieht . Jeder Tensor hat 10 unabhängige Komponenten. Die vier Bianchi-Identitäten reduzieren die Anzahl der unabhängigen Gleichungen von 10 auf 6, so dass die Metrik mit vier maßfixierenden Freiheitsgraden verbleibt , die der Freiheit bei der Wahl eines Koordinatensystems entsprechen.

Obwohl die Einsteinschen Feldgleichungen ursprünglich im Kontext einer vierdimensionalen Theorie formuliert wurden, haben einige Theoretiker ihre Konsequenzen in n Dimensionen untersucht. Die Gleichungen in Kontexten außerhalb der Allgemeinen Relativitätstheorie werden immer noch als Einstein-Feldgleichungen bezeichnet. Die Vakuumfeldgleichungen (erhalten, wenn T μν überall Null ist) definieren Einstein-Mannigfaltigkeiten .

Die Gleichungen sind komplexer als sie erscheinen. Bei einer vorgegebenen Verteilung von Materie und Energie in Form eines Spannungs-Energie-Tensors werden die EFE als Gleichungen für den metrischen Tensor g μν verstanden , da sowohl der Ricci-Tensor als auch die skalare Krümmung auf komplizierte nichtlineare Weise von der Metrik abhängen. Wenn sie vollständig ausgeschrieben sind, sind die EFE ein System von zehn gekoppelten, nichtlinearen, hyperbolisch-elliptischen partiellen Differentialgleichungen .

Unterzeichnungskonvention

Die obige Form des EFE ist der von Misner, Thorne und Wheeler (MTW) festgelegte Standard . Die Autoren analysierten bestehende Konventionen und klassifizierten diese nach drei Zeichen ([S1] [S2] [S3]):

Das dritte Zeichen oben hängt mit der Wahl der Konvention für den Ricci-Tensor zusammen:

Mit diesen Definitionen klassifizieren sich Misner, Thorne und Wheeler als (+ + +) , während Weinberg (1972) (+ − −) ist , Peebles (1980) und Efstathiou et al. (1990) sind (− + +) , Rindler (1977), Atwater (1974), Collins Martin & Squires (1989) und Peacock (1999) sind (− + −) .

Autoren einschließlich Einstein haben in ihrer Definition für den Ricci-Tensor ein anderes Vorzeichen verwendet, was dazu führt, dass das Vorzeichen der Konstanten auf der rechten Seite negativ ist:

Das Vorzeichen des kosmologischen Begriff würde beide ändern in diesen Versionen , wenn die (+ - - -) metrische Zeichenkonvention verwendet wird statt der MTW (- + + +) metric Vorzeichenkonvention hier angenommen.

Äquivalente Formulierungen

Wenn man die Spur in Bezug auf die Metrik beider Seiten des EFE nimmt, erhält man

wobei D die Raumzeitdimension ist. Wenn man nach R auflöst und dieses im ursprünglichen EFE einsetzt, erhält man die folgende äquivalente "trace-reversed" Form:

In D = 4 Dimensionen reduziert sich dies auf

Eine erneute Umkehrung des Trace würde das ursprüngliche EFE wiederherstellen. Die spurumgekehrte Form kann in einigen Fällen bequemer sein (z. B. wenn man an der Schwachfeldgrenze interessiert ist und g μν im rechten Ausdruck ohne signifikanten Genauigkeitsverlust durch die Minkowski-Metrik ersetzen kann ).

Die kosmologische Konstante

In den Einsteinschen Feldgleichungen

der Begriff des enthält kosmologische Konstante Λ war aus der Fassung fehlt , in dem er sich ursprünglich veröffentlicht. Einstein fügte den Begriff dann in die kosmologische Konstante ein, um ein Universum zu berücksichtigen, das sich nicht ausdehnt oder zusammenzieht . Dieser Versuch war erfolglos, weil:

  • jede gewünschte stationäre Lösung, die durch diese Gleichung beschrieben wird, ist instabil, und
  • Beobachtungen von Edwin Hubble zeigten, dass sich unser Universum ausdehnt .

Einstein gab dann Λ auf und bemerkte gegenüber George Gamow, "dass die Einführung des kosmologischen Begriffs der größte Fehler seines Lebens war".

Die Aufnahme dieses Begriffs schafft keine Inkonsistenzen. Viele Jahre lang wurde die kosmologische Konstante fast allgemein als Null angenommen. Neuere astronomische Beobachtungen haben eine beschleunigte Expansion des Universums gezeigt , und um dies zu erklären, wird ein positiver Wert von Λ benötigt. Die kosmologische Konstante ist im Maßstab einer Galaxie oder kleiner vernachlässigbar.

Einstein stellte sich die kosmologische Konstante als unabhängigen Parameter vor, ihr Term in der Feldgleichung kann aber auch algebraisch auf die andere Seite verschoben und als Teil des Spannungs-Energie-Tensors aufgenommen werden:

Dieser Tensor beschreibt einen Vakuumzustand mit einer Energiedichte ρ vac und einem isotropen Druck p vac , die feste Konstanten sind und gegeben sind durch

wobei angenommen wird, dass Λ die SI-Einheit m −2 hat und κ wie oben definiert ist.

Die Existenz einer kosmologischen Konstante ist somit gleichbedeutend mit der Existenz einer Vakuumenergie und eines Drucks mit entgegengesetztem Vorzeichen. Dies hat dazu geführt, dass die Begriffe "kosmologische Konstante" und "Vakuumenergie" in der Allgemeinen Relativitätstheorie austauschbar verwendet werden.

Merkmale

Erhaltung von Energie und Impuls

Die allgemeine Relativitätstheorie steht im Einklang mit der lokalen Energie- und Impulserhaltung, ausgedrückt als

.

was die lokale Erhaltung der Stress-Energie ausdrückt. Dieses Erhaltungsgesetz ist eine physikalische Voraussetzung. Einstein stellte mit seinen Feldgleichungen sicher, dass die Allgemeine Relativitätstheorie mit dieser Erhaltungsbedingung vereinbar ist.

Nichtlinearität

Die Nichtlinearität des EFE unterscheidet die Allgemeine Relativitätstheorie von vielen anderen fundamentalen physikalischen Theorien. Zum Beispiel sind die Maxwell-Gleichungen des Elektromagnetismus in den elektrischen und magnetischen Feldern sowie in den Ladungs- und Stromverteilungen linear (dh die Summe zweier Lösungen ist auch eine Lösung); ein weiteres Beispiel ist die Schrödinger-Gleichung der Quantenmechanik , die in der Wellenfunktion linear ist .

Das Korrespondenzprinzip

Die EFE reduzieren sich auf das Newtonsche Gravitationsgesetz, indem sowohl die Schwachfeldnäherung als auch die Zeitlupennäherung verwendet wird . Tatsächlich wird die im EFE auftretende Konstante G durch diese beiden Näherungen bestimmt.

Vakuumfeldgleichungen

Eine Schweizer Gedenkmünze von 1979, die die Vakuumfeldgleichungen mit der kosmologischen Konstante Null zeigt (oben).

Ist der Energie-Impuls-Tensor T μν im betrachteten Bereich Null, so werden die Feldgleichungen auch als Vakuumfeldgleichungen bezeichnet . Durch die Einstellung T μν = 0 in der Spur umgekehrten Feldgleichungen können die Vakuumgleichungen geschrieben werden als

Im Fall einer kosmologischen Konstante ungleich Null sind die Gleichungen

Die Lösungen der Vakuumfeldgleichungen werden Vakuumlösungen genannt . Der flache Minkowski-Raum ist das einfachste Beispiel für eine Vakuumlösung. Nichttriviale Beispiele sind die Schwarzschild-Lösung und die Kerr-Lösung .

Mannigfaltigkeiten mit verschwindendem Ricci-Tensor , R μν = 0 , werden als Ricci-flache Mannigfaltigkeiten und Mannigfaltigkeiten mit einem Ricci-Tensor proportional zur Metrik als Einstein-Mannigfaltigkeiten bezeichnet .

Einstein-Maxwell-Gleichungen

Ist der Energie-Impuls-Tensor T μν der eines elektromagnetischen Feldes im freien Raum , dh ist der elektromagnetische Spannungs-Energie-Tensor

verwendet wird, heißen die Einstein-Feldgleichungen Einstein-Maxwell-Gleichungen (mit der kosmologischen Konstante Λ , die in der konventionellen Relativitätstheorie als Null angenommen wird):

Darüber hinaus sind die kovarianten Maxwell-Gleichungen auch im freien Raum anwendbar:

wo steht das Semikolon eine kovariante Ableitung , und die Klammern bezeichnen anti-Symmetrisierung . Die erste Gleichung besagt, dass die 4- Divergenz der 2-Form F null ist und die zweite, dass ihre äußere Ableitung null ist. Aus letzterem folgt nach dem Poincaré-Lemma, dass es möglich ist, in ein Koordinatendiagramm ein elektromagnetisches Feldpotential A α einzuführen, so dass

wobei das Komma eine partielle Ableitung bezeichnet. Dies wird oft als Äquivalent zur kovarianten Maxwell-Gleichung angesehen, aus der sie abgeleitet wird. Es gibt jedoch globale Lösungen der Gleichung, denen möglicherweise ein global definiertes Potenzial fehlt.

Lösungen

Die Lösungen der Einsteinschen Feldgleichungen sind Metriken der Raumzeit . Diese Metriken beschreiben die Struktur der Raumzeit einschließlich der Trägheitsbewegung von Objekten in der Raumzeit. Da die Feldgleichungen nichtlinear sind, können sie nicht immer vollständig (dh ohne Näherungen) gelöst werden. Zum Beispiel gibt es keine bekannte vollständige Lösung für eine Raumzeit mit zwei massereichen Körpern (die zum Beispiel ein theoretisches Modell eines Doppelsternsystems ist). In diesen Fällen werden jedoch in der Regel Näherungen vorgenommen. Diese werden allgemein als post-newtonsche Näherungen bezeichnet . Trotzdem gibt es mehrere Fälle, in denen die Feldgleichungen vollständig gelöst wurden, und diese werden als exakte Lösungen bezeichnet .

Das Studium der exakten Lösungen der Einsteinschen Feldgleichungen gehört zu den Aktivitäten der Kosmologie . Sie führt zur Vorhersage von Schwarzen Löchern und zu verschiedenen Modellen der Evolution des Universums .

Neue Lösungen der Einstein-Feldgleichungen kann man auch über die Methode der Orthonormal-Frames, wie sie von Ellis und MacCallum entwickelt wurde, entdecken. Bei diesem Ansatz werden die Einstein-Feldgleichungen auf einen Satz gekoppelter, nichtlinearer, gewöhnlicher Differentialgleichungen reduziert. Wie von Hsu und Wainwright diskutiert, sind selbstähnliche Lösungen der Einstein-Feldgleichungen Fixpunkte des resultierenden dynamischen Systems . Mit diesen Methoden wurden von LeBlanc und Kohli und Haslam neue Lösungen entdeckt.

Das linearisierte EFE

Die Nichtlinearität des EFE macht es schwierig, exakte Lösungen zu finden. Eine Möglichkeit, die Feldgleichungen zu lösen, besteht darin, eine Näherung vorzunehmen, nämlich dass das Gravitationsfeld weit entfernt von der (den) Quelle(n) der gravitierenden Materie sehr schwach ist und die Raumzeit sich der des Minkowski-Raums annähert . Die Metrik wird dann als Summe der Minkowski-Metrik und eines Termes geschrieben, der die Abweichung der wahren Metrik von der Minkowski-Metrik darstellt , wobei Terme mit höherer Potenz ignoriert werden. Mit diesem Linearisierungsverfahren lassen sich die Phänomene der Gravitationsstrahlung untersuchen .

Polynomform

Obwohl die EFE in der geschriebenen Form die Inverse des metrischen Tensors enthält, können sie in einer Form angeordnet werden, die den metrischen Tensor in polynomialer Form und ohne seine Inverse enthält. Zuerst kann die Determinante der Metrik in 4 Dimensionen geschrieben werden

Verwendung des Levi-Civita-Symbols ; und die Umkehrung der Metrik in 4 Dimensionen kann wie folgt geschrieben werden:

Setzt man diese Definition der Inversen der Metrik in die Gleichungen ein und multipliziert dann beide Seiten mit einer geeigneten Potenz von det( g ) , um sie aus dem Nenner zu eliminieren, erhält man Polynomgleichungen im Metriktensor und seine ersten und zweiten Ableitungen. Die Aktion, aus der die Gleichungen abgeleitet werden, kann durch geeignete Umdefinitionen der Felder auch in polynomischer Form geschrieben werden.

Siehe auch

Anmerkungen

Verweise

Siehe Allgemeine Relativitätstheorie-Ressourcen .

Externe Links