imported>Centenier K (Änderungen von 89.15.238.184 (Diskussion) auf die letzte Version von Hans Koberger zurückgesetzt) |
imported>Hutch K (→Die kosmologische Konstante: 1 Link reicht) |
||
Zeile 1: | Zeile 1: | ||
[[Datei:EinsteinLeiden4.jpg|mini|Feldgleichung auf einer Mauer in Leiden]] | [[Datei:EinsteinLeiden4.jpg|mini|Feldgleichung auf einer Mauer in Leiden]] | ||
Im Rahmen der [[Allgemeine Relativitätstheorie|allgemeinen Relativitätstheorie]] wird durch die '''einsteinschen Feldgleichungen''' (nach [[Albert Einstein]], auch '''Gravitationsgleichungen''') das [[Physik|physikalische]] Phänomen der [[Gravitation]] durch Methoden der [[Differentialgeometrie]] mathematisch formuliert. | Im Rahmen der [[Allgemeine Relativitätstheorie|allgemeinen Relativitätstheorie]] wird durch die '''einsteinschen Feldgleichungen''' (nach [[Albert Einstein]], auch '''Gravitationsgleichungen''') das [[Physik|physikalische]] Phänomen der [[Gravitation]] durch Methoden der [[Differentialgeometrie]] mathematisch formuliert. | ||
Die Grundidee ist dabei die Verknüpfung einer | Die Grundidee ist dabei die Verknüpfung einer Energie-Impuls-Verteilung mit der Geometrie der [[Raumzeit]]. Energie und Impuls werden dabei gemäß der [[Spezielle Relativitätstheorie|speziellen Relativitätstheorie]] zu einem [[Vierertensor]] zusammengefasst, dem [[Energie-Impuls-Tensor]], während ein [[metrischer Tensor]] die Geometrie der Raumzeit darstellt. | ||
== Grundsätzliche Annahmen und Forderungen == | == Grundsätzliche Annahmen und Forderungen == | ||
Zur Aufstellung der Feldgleichungen sind zunächst physikalische Überlegungen notwendig, da die Form der Gleichungen postuliert werden muss. | Zur Aufstellung der Feldgleichungen sind zunächst physikalische Überlegungen notwendig, da die Form der Gleichungen postuliert werden muss. Der physikalische Ausgangspunkt von Einsteins Überlegungen ist das [[Äquivalenzprinzip (Physik)|Äquivalenzprinzip]]: [[Masse (Physik)|Masse]] und [[Energie]] sind äquivalent und jede Form der Energie induziert [[schwere Masse]]. | ||
So wie | So wie in der [[Newtonsches Gravitationsgesetz|newtonschen Gravitationstheorie]] die Masse das [[Gravitationsfeld]] verursacht, ist der natürlichste Ansatz für deren Verallgemeinerung, dass das Gravitationsfeld mathematisch von der Gestalt des [[Energie-Impuls-Tensor]]s <math> \ T_{\mu\nu} </math> abhängig ist. Nun ist <math> \ T_{\mu\nu} </math> kein beliebiger symmetrischer [[Tensor]], da er <math>\nabla_\nu T^{\mu \nu}=0</math> erfüllen muss. Das heißt, die [[Divergenz eines Vektorfeldes|Divergenz]] des Energie-Impuls-Tensors muss lokal, bei fester Raum- und Zeitkoordinate, verschwinden, damit der [[Energieerhaltungssatz|Energie-]] und [[Impulserhaltungssatz]] aufrechterhalten wird. Im Beitrag des Energie-Impuls-Tensors wird das Äquivalenzprinzip berücksichtigt. Der Energie-Impuls-Tensor beinhaltet neben der Massen-Energiedichte (Masse bzw. Energie pro Raumvolumen) aber auch weitere Beiträge, zum Beispiel den [[Druck (Physik)|Druck]], den ein [[Strahlung]]s[[Feld (Physik)|feld]] ausüben kann. | ||
Entsprechend dem Äquivalenzprinzip sollte die Wirkung der Gravitation als Krümmung der [[Raumzeit]] dargestellt werden. Dem Energie-Impuls-Tensor als Quelle des Feldes sollte dementsprechend auf der anderen Seite der Gleichung ein Tensor gleicher Form gegenüberstehen, der die geometrischen Eigenschaften (Krümmung) der Raumzeit beschreibt, der ''[[Einsteinmetrik|Einsteintensor]]'' <math>G_{\mu\nu}</math>, aufgebaut aus dem grundlegenden [[Metrischer Tensor|metrischen Tensor]] und daraus abgeleiteten Krümmungs-Kovarianten und -Invarianten (siehe unten). Die Feldgleichungen nehmen also die Form an: | |||
:<math> \ G_{\mu\nu}=\kappa T_{\mu\nu}</math> | :<math> \ G_{\mu\nu}=\kappa T_{\mu\nu}</math> | ||
{{Anker|Einsteinsche Gravitationskonstante|Einsteinkonstante}}Die Konstante <math> \kappa = 8 \pi G / c^4</math> heißt '''einsteinsche Gravitationskonstante''' oder einfach ''Einsteinkonstante'' und wird als [[Proportionalitätskonstante]] angenommen (<math>G</math> ist die [[Gravitationskonstante]]). | |||
Aus den bisherigen Überlegungen ergeben sich zusammengefasst diese Forderungen: | Aus den bisherigen Überlegungen ergeben sich zusammengefasst diese Forderungen: | ||
Zeile 21: | Zeile 20: | ||
# <math> \ \nabla_\nu T^{\mu \nu}=0</math> für die Energie-Impuls-Erhaltung. | # <math> \ \nabla_\nu T^{\mu \nu}=0</math> für die Energie-Impuls-Erhaltung. | ||
# <math> \ \nabla_\nu G^{\mu \nu}=0</math> aufgrund obiger Forderung für <math>T_{\mu\nu}</math>. | # <math> \ \nabla_\nu G^{\mu \nu}=0</math> aufgrund obiger Forderung für <math>T_{\mu\nu}</math>. | ||
# <math> \ T_{\mu\nu}</math> ist ein symmetrischer Tensor zweiter Stufe, daher muss dies auch für <math>G_{\mu\nu}</math> gelten. | # <math> \ T_{\mu\nu}</math> ist ein symmetrischer Tensor zweiter Stufe, daher muss dies auch für <math>G_{\mu\nu}</math> gelten. | ||
# <math> \ G_{\mu\nu}</math> ist dementsprechend eine Kombination aus den grundlegenden geometrischen Kovarianten, die (symmetrische) Tensoren zweiter Stufe sind, dem [[Riemannscher Krümmungstensor|Krümmungstensor]] <math>R_{\mu \nu}</math> und dem metrischen Tensor <math>g_{\mu \nu}</math>. | |||
== Die Feldgleichungen == | == Die Feldgleichungen == | ||
Aus diesen Forderungen ergeben sich die Feldgleichungen: | Aus diesen Forderungen ergeben sich die Feldgleichungen: | ||
:<math>R_{ \mu \nu} - \frac{1}{2} g_{ \mu \nu} R=\kappa T_{ \mu \nu}= \frac{8 \pi G}{c^4} T_{ \mu \nu}</math> | :<math>R_{ \mu \nu} - \frac{1}{2} g_{ \mu \nu} R=\kappa T_{ \mu \nu}= \frac{8 \pi G}{c^4} T_{ \mu \nu}</math>. | ||
Hierbei ist <math>G</math> die [[Gravitationskonstante]], <math>c</math> die [[Lichtgeschwindigkeit]], <math>R_{\mu \nu}</math> der [[Riemannscher Krümmungstensor#Ricci-Tensor |Ricci-Tensor]], <math>R</math> der [[Riemannscher Krümmungstensor#Skalarkrümmung|Krümmungsskalar]] und <math>g_{\mu \nu}</math> der [[Metrischer Tensor|metrische Tensor]]. | Hierbei ist <math>G</math> die [[Gravitationskonstante]], <math>c</math> die [[Lichtgeschwindigkeit]], <math>R_{\mu \nu}</math> der [[Riemannscher Krümmungstensor#Ricci-Tensor |Ricci-Tensor]], <math>R</math> der [[Riemannscher Krümmungstensor#Skalarkrümmung|Krümmungsskalar]] und <math>g_{\mu \nu}</math> der [[Metrischer Tensor|metrische Tensor]]. | ||
Die Feldgleichungen können auch mit umgekehrtem [[Vorzeichen (Zahl)|Vorzeichen]] der | Die Feldgleichungen können auch mit umgekehrtem [[Vorzeichen (Zahl)|Vorzeichen]] vor der Einsteinkonstanten definiert werden | ||
:<math>R_{ \mu \nu} - \frac{1}{2} g_{ \mu \nu} R=-\kappa T_{ \mu \nu}= -\frac{8 \pi G}{c^4} T_{ \mu \nu}</math>. | :<math>R_{ \mu \nu} - \frac{1}{2} g_{ \mu \nu} R=-\kappa T_{ \mu \nu}= -\frac{8 \pi G}{c^4} T_{ \mu \nu}</math>. | ||
Zeile 37: | Zeile 36: | ||
Dieses Vorzeichen ist rein von der verwendeten [[Vorzeichenkonventionen in der allgemeinen Relativitätstheorie|Konvention]] abhängig und physikalisch nicht bedeutend; beide Konventionen sind weit verbreitet. | Dieses Vorzeichen ist rein von der verwendeten [[Vorzeichenkonventionen in der allgemeinen Relativitätstheorie|Konvention]] abhängig und physikalisch nicht bedeutend; beide Konventionen sind weit verbreitet. | ||
Die Feldgleichungen können auch umgeformt und dargestellt werden als | |||
:<math>R_{\mu\nu} = \kappa(T_{\mu\nu}-\tfrac{1}{2}g_{\mu\nu}T)</math>. | |||
Hierbei ist <math>T = T^\mu_\mu = g^{\mu\nu} T_{\mu\nu} </math> der ''Laue-Skalar''. | |||
Die obigen Forderungen gestatten auch einen Term proportional dem metrischen Tensor auf der linken Seite, was zu Feldgleichungen mit einer [[Kosmologische Konstante|kosmologischen Konstanten]] führt (siehe unten). | |||
Zu den Feldgleichungen kommt noch die Bewegungsgleichung für sich auf einer [[Geodäte]] bewegende Testteilchen hinzu, die sogenannte Geodätengleichung (siehe [[Allgemeine Relativitätstheorie#Mathematische Beschreibung|Allgemeine Relativitätstheorie]]). Insgesamt drückt sich in den Feld- und Bewegungsgleichungen eine dynamische gegenseitige Beeinflussung von Energie-Impuls-Verteilung und Geometrie der Raumzeit aus. | |||
Die Feldgleichungen bilden ein System von 16 gekoppelten [[Partielle Differentialgleichung|partiellen Differentialgleichungen]], die durch Symmetrien auf 10 reduziert werden. Außerdem gibt es die vier [[Bianchi-Identität]]en, die sich aus der Energie-Impuls-Erhaltung ergeben und das System weiter reduzieren. Es sind eine ganze Reihe exakter Lösungen bekannt, die meist bestimmten zusätzlichen Symmetrieforderungen genügen. Im materiefreien Raum haben die Feldgleichungen [[Partielle Differentialgleichung#Grundtypen|hyperbolischen]] Charakter, das heißt die Lösungen entsprechen [[Wellengleichung]]en (mit der Lichtgeschwindigkeit als maximaler Ausbreitungsgeschwindigkeit). Im Allgemeinen können sie nur numerisch gelöst werden, wofür es ausgefeilte Techniken und ein eigenes Spezialgebiet (Numerische Relativität) gibt. Es gibt auch einige exakte mathematische Resultate wie die Wohlgestelltheit des [[Cauchy-Problem]]s ([[Yvonne Choquet-Bruhat]]), die [[Singularitäten-Theorem]]e von [[Roger Penrose]] und [[Stephen Hawking]] oder Resultate von [[Demetrios Christodoulou]] über die Stabilität des Minkowskiraums (mit [[Sergiu Klainerman]]) und die Instabilität [[Nackte Singularität|nackter Singularitäten]]. | |||
Im Grenzfall schwacher Gravitationsfelder und kleiner Geschwindigkeiten ergeben sich die üblichen newtonschen Gravitationsgleichungen einer Massenverteilung (und die sich hier ergebenden Gleichungen sind damit als partielle Differentialgleichungen vom [[Partielle Differentialgleichung#Grundtypen|elliptischen]] Typ). Bei kleinen Feldern wurde zudem die Post-Newton-Näherung entwickelt, um beispielsweise die allgemeine Relativitätstheorie mit alternativen Gravitationstheorien anhand von Beobachtungen vergleichen zu können. | |||
== Die Vakuumfeldgleichungen == | == Die Vakuumfeldgleichungen == | ||
Zeile 43: | Zeile 54: | ||
Betrachtet man beispielsweise den Außenraum von Sternen, wo sich als Näherung keine Materie aufhält, so wird <math>T_{ \mu \nu} = 0</math> gesetzt. Man nennt dann | Betrachtet man beispielsweise den Außenraum von Sternen, wo sich als Näherung keine Materie aufhält, so wird <math>T_{ \mu \nu} = 0</math> gesetzt. Man nennt dann | ||
:<math>R_{ \mu \nu} - \frac{R}{ | :<math>R_{ \mu \nu} - \frac{1}{2} g_{ \mu \nu} R = 0 </math> | ||
die '''Vakuumfeldgleichungen''' und ihre Lösungen [[Vakuumlösung]]en. Durch Multiplizieren mit <math>g^{\mu\nu}</math> ergibt sich mithilfe von <math>R=g^{\mu\nu} R_{\mu\nu}</math> und <math>g^{\mu\nu} g_{\mu\nu}=4</math><ref>allgemeiner die Anzahl Dimensionen, da <math>g^{\mu\nu} g_{\mu\nu}</math> die [[Spur (Mathematik)|Spur]] der Einheitsmatrix ist</ref> die Folgerung, dass im Vakuum <math>R=0</math> und damit | |||
: <math>R_{ \mu \nu} = 0 </math>. | |||
:<math>\mathrm{d}s^2=g_{\mu\nu}\,\mathrm{d}x^\mu\mathrm{d}x^\nu=-c^2 \Bigl( 1-\frac{2GM}{c^2 r} \Bigr)\,\mathrm{d}t^2+\ | Für die Umgebung einer nicht rotierenden und elektrisch neutralen Kugel der Masse <math>M</math> erhält man in [[Kugelkoordinaten]] hieraus beispielsweise die äußere [[Schwarzschild-Metrik|Schwarzschild-Lösung]], deren [[Linienelement]] die Form | ||
:<math>\mathrm{d}s^2=g_{\mu\nu}\,\mathrm{d}x^\mu\mathrm{d}x^\nu=-c^2 \Bigl( 1-\frac{2GM}{c^2 r} \Bigr)\,\mathrm{d}t^2+\Bigl(1-\frac{2GM}{c^2 r}\Bigr)^{-1}\,\mathrm{d}r^2 +r^2\,\mathrm{d}\theta^2+r^2\sin^2\theta\,\mathrm{d}\phi^2 </math> | |||
besitzt. | besitzt. | ||
Zeile 56: | Zeile 71: | ||
Wird für <math>T_{\mu\nu}</math> der [[Energie-Impuls-Tensor#Relativistische 4D-Notation für den elektromagnetischen Energie-Impuls-Tensor|elektromagnetische Energie-Impuls-Tensor]] | Wird für <math>T_{\mu\nu}</math> der [[Energie-Impuls-Tensor#Relativistische 4D-Notation für den elektromagnetischen Energie-Impuls-Tensor|elektromagnetische Energie-Impuls-Tensor]] | ||
:<math>T_{\mu \nu} = | :<math>T_{\mu \nu} = \frac{1}{\mu_0} \left(F_{\mu}{}^{\alpha} F_{\alpha\nu} + \frac{1}{4} F_{\alpha\beta} F^{\alpha\beta} g_{ \mu \nu} \right)</math> | ||
in die Feldgleichungen eingesetzt | in die Feldgleichungen eingesetzt | ||
Zeile 64: | Zeile 79: | ||
so spricht man von den ''Einstein-Maxwell-Gleichungen''. | so spricht man von den ''Einstein-Maxwell-Gleichungen''. | ||
== Die | == Die kosmologische Konstante == | ||
{{Hauptartikel|Kosmologische Konstante}} | {{Hauptartikel|Kosmologische Konstante}} | ||
Ausgehend von den oben angegebenen Grundannahmen lässt sich ein weiterer additiver Term zum Einsteintensor hinzuzufügen, der aus einer Konstanten <math>\Lambda</math> und dem metrischen Tensor besteht. Damit ist die Forderung der Divergenzfreiheit noch immer erfüllt und so nehmen die Feldgleichungen die Form | |||
:<math>R_{ \mu \nu} - \frac{1}{2} g_{ \mu \nu} R+ \Lambda g_{ \mu \nu} = \frac{8 \pi G}{c^4} T_{ \mu \nu}</math> | :<math>R_{ \mu \nu} - \frac{1}{2} g_{ \mu \nu} R+ \Lambda g_{ \mu \nu} = \frac{8 \pi G}{c^4} T_{ \mu \nu}</math> | ||
an. Hierbei ist <math>\Lambda</math> die | an. Hierbei ist <math>\Lambda</math> die kosmologische Konstante, die von Einstein in die Feldgleichungen eingebaut und so gewählt wurde, dass das Universum statisch wird; dies war die damals sinnvollste Anschauung. Es stellte sich jedoch heraus, dass das so von der Theorie beschriebene Universum instabil ist. Als [[Edwin Hubble]] schließlich nachwies, dass das Universum expandiert, verwarf Einstein seine Konstante. Heute jedoch spielt sie erneut eine Rolle durch Ergebnisse der beobachtenden Kosmologie ab den 1990er Jahren. | ||
== Literatur == | == Literatur == | ||
* Albert Einstein: ''Die Feldgleichungen der Gravitation.'' Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin, S.844–847, 25. November 1915 | * Albert Einstein: ''Die Feldgleichungen der Gravitation.'' Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin, S. 844–847, 25. November 1915. | ||
* Yvonne Choquet-Bruhat: ''General relativity and the Einstein equations.'' Oxford Univ. Press, Oxford 2009, ISBN 978-0-19-923072-3. | * Yvonne Choquet-Bruhat: ''General relativity and the Einstein equations.'' Oxford Univ. Press, Oxford 2009, ISBN 978-0-19-923072-3. | ||
* [[Hans Stephani]]: ''Exact solutions of Einstein's field equations.'' Cambridge Univ. Press, Cambridge 2003, ISBN 0-521-46136-7. | * [[Hans Stephani]]: ''Exact solutions of Einstein's field equations.'' Cambridge Univ. Press, Cambridge 2003, ISBN 0-521-46136-7. | ||
* Bernd G. Schmidt: ''Einstein's field equations and their physical implications.'' Springer, Berlin 2000, ISBN 3-540-67073-4. | * Bernd G. Schmidt: ''Einstein's field equations and their physical implications.'' Springer, Berlin 2000, ISBN 3-540-67073-4. | ||
== Weblinks == | == Weblinks == | ||
* {{TIBAV |19911 |Linktext=Einsteinsche Feldgleichungen |Herausgeber=Loviscach |Jahr=2004 |DOI=10.5446/19911}} | * {{TIBAV |19911 |Linktext=Einsteinsche Feldgleichungen |Herausgeber=Loviscach |Jahr=2004 |DOI=10.5446/19911}} | ||
== Einzelnachweise == | |||
<references /> | |||
[[Kategorie:Allgemeine Relativitätstheorie]] | [[Kategorie:Allgemeine Relativitätstheorie]] | ||
[[Kategorie:Albert Einstein]] | [[Kategorie:Albert Einstein]] | ||
[[Kategorie:Albert Einstein als Namensgeber]] |
Im Rahmen der allgemeinen Relativitätstheorie wird durch die einsteinschen Feldgleichungen (nach Albert Einstein, auch Gravitationsgleichungen) das physikalische Phänomen der Gravitation durch Methoden der Differentialgeometrie mathematisch formuliert.
Die Grundidee ist dabei die Verknüpfung einer Energie-Impuls-Verteilung mit der Geometrie der Raumzeit. Energie und Impuls werden dabei gemäß der speziellen Relativitätstheorie zu einem Vierertensor zusammengefasst, dem Energie-Impuls-Tensor, während ein metrischer Tensor die Geometrie der Raumzeit darstellt.
Zur Aufstellung der Feldgleichungen sind zunächst physikalische Überlegungen notwendig, da die Form der Gleichungen postuliert werden muss. Der physikalische Ausgangspunkt von Einsteins Überlegungen ist das Äquivalenzprinzip: Masse und Energie sind äquivalent und jede Form der Energie induziert schwere Masse.
So wie in der newtonschen Gravitationstheorie die Masse das Gravitationsfeld verursacht, ist der natürlichste Ansatz für deren Verallgemeinerung, dass das Gravitationsfeld mathematisch von der Gestalt des Energie-Impuls-Tensors $ \ T_{\mu \nu } $ abhängig ist. Nun ist $ \ T_{\mu \nu } $ kein beliebiger symmetrischer Tensor, da er $ \nabla _{\nu }T^{\mu \nu }=0 $ erfüllen muss. Das heißt, die Divergenz des Energie-Impuls-Tensors muss lokal, bei fester Raum- und Zeitkoordinate, verschwinden, damit der Energie- und Impulserhaltungssatz aufrechterhalten wird. Im Beitrag des Energie-Impuls-Tensors wird das Äquivalenzprinzip berücksichtigt. Der Energie-Impuls-Tensor beinhaltet neben der Massen-Energiedichte (Masse bzw. Energie pro Raumvolumen) aber auch weitere Beiträge, zum Beispiel den Druck, den ein Strahlungsfeld ausüben kann.
Entsprechend dem Äquivalenzprinzip sollte die Wirkung der Gravitation als Krümmung der Raumzeit dargestellt werden. Dem Energie-Impuls-Tensor als Quelle des Feldes sollte dementsprechend auf der anderen Seite der Gleichung ein Tensor gleicher Form gegenüberstehen, der die geometrischen Eigenschaften (Krümmung) der Raumzeit beschreibt, der Einsteintensor $ G_{\mu \nu } $, aufgebaut aus dem grundlegenden metrischen Tensor und daraus abgeleiteten Krümmungs-Kovarianten und -Invarianten (siehe unten). Die Feldgleichungen nehmen also die Form an:
Die Konstante $ \kappa =8\pi G/c^{4} $ heißt einsteinsche Gravitationskonstante oder einfach Einsteinkonstante und wird als Proportionalitätskonstante angenommen ($ G $ ist die Gravitationskonstante).
Aus den bisherigen Überlegungen ergeben sich zusammengefasst diese Forderungen:
Aus diesen Forderungen ergeben sich die Feldgleichungen:
Hierbei ist $ G $ die Gravitationskonstante, $ c $ die Lichtgeschwindigkeit, $ R_{\mu \nu } $ der Ricci-Tensor, $ R $ der Krümmungsskalar und $ g_{\mu \nu } $ der metrische Tensor.
Die Feldgleichungen können auch mit umgekehrtem Vorzeichen vor der Einsteinkonstanten definiert werden
Dieses Vorzeichen ist rein von der verwendeten Konvention abhängig und physikalisch nicht bedeutend; beide Konventionen sind weit verbreitet.
Die Feldgleichungen können auch umgeformt und dargestellt werden als
Hierbei ist $ T=T_{\mu }^{\mu }=g^{\mu \nu }T_{\mu \nu } $ der Laue-Skalar.
Die obigen Forderungen gestatten auch einen Term proportional dem metrischen Tensor auf der linken Seite, was zu Feldgleichungen mit einer kosmologischen Konstanten führt (siehe unten).
Zu den Feldgleichungen kommt noch die Bewegungsgleichung für sich auf einer Geodäte bewegende Testteilchen hinzu, die sogenannte Geodätengleichung (siehe Allgemeine Relativitätstheorie). Insgesamt drückt sich in den Feld- und Bewegungsgleichungen eine dynamische gegenseitige Beeinflussung von Energie-Impuls-Verteilung und Geometrie der Raumzeit aus.
Die Feldgleichungen bilden ein System von 16 gekoppelten partiellen Differentialgleichungen, die durch Symmetrien auf 10 reduziert werden. Außerdem gibt es die vier Bianchi-Identitäten, die sich aus der Energie-Impuls-Erhaltung ergeben und das System weiter reduzieren. Es sind eine ganze Reihe exakter Lösungen bekannt, die meist bestimmten zusätzlichen Symmetrieforderungen genügen. Im materiefreien Raum haben die Feldgleichungen hyperbolischen Charakter, das heißt die Lösungen entsprechen Wellengleichungen (mit der Lichtgeschwindigkeit als maximaler Ausbreitungsgeschwindigkeit). Im Allgemeinen können sie nur numerisch gelöst werden, wofür es ausgefeilte Techniken und ein eigenes Spezialgebiet (Numerische Relativität) gibt. Es gibt auch einige exakte mathematische Resultate wie die Wohlgestelltheit des Cauchy-Problems (Yvonne Choquet-Bruhat), die Singularitäten-Theoreme von Roger Penrose und Stephen Hawking oder Resultate von Demetrios Christodoulou über die Stabilität des Minkowskiraums (mit Sergiu Klainerman) und die Instabilität nackter Singularitäten.
Im Grenzfall schwacher Gravitationsfelder und kleiner Geschwindigkeiten ergeben sich die üblichen newtonschen Gravitationsgleichungen einer Massenverteilung (und die sich hier ergebenden Gleichungen sind damit als partielle Differentialgleichungen vom elliptischen Typ). Bei kleinen Feldern wurde zudem die Post-Newton-Näherung entwickelt, um beispielsweise die allgemeine Relativitätstheorie mit alternativen Gravitationstheorien anhand von Beobachtungen vergleichen zu können.
Betrachtet man beispielsweise den Außenraum von Sternen, wo sich als Näherung keine Materie aufhält, so wird $ T_{\mu \nu }=0 $ gesetzt. Man nennt dann
die Vakuumfeldgleichungen und ihre Lösungen Vakuumlösungen. Durch Multiplizieren mit $ g^{\mu \nu } $ ergibt sich mithilfe von $ R=g^{\mu \nu }R_{\mu \nu } $ und $ g^{\mu \nu }g_{\mu \nu }=4 $[1] die Folgerung, dass im Vakuum $ R=0 $ und damit
Für die Umgebung einer nicht rotierenden und elektrisch neutralen Kugel der Masse $ M $ erhält man in Kugelkoordinaten hieraus beispielsweise die äußere Schwarzschild-Lösung, deren Linienelement die Form
besitzt.
Die Invariante der Theorie, $ \mathrm {d} s, $ verallgemeinert den speziell-relativistischen Begriff der Eigenzeit, unter anderem durch Berücksichtigung der Gravitation des betrachteten Himmelskörpers. Besonderheiten ergeben sich bei Unterschreiten eines kritischen Wertes für den Radius $ r $, nämlich für $ r<2GM/c^{2} $ (siehe Schwarzes Loch).
Wird für $ T_{\mu \nu } $ der elektromagnetische Energie-Impuls-Tensor
in die Feldgleichungen eingesetzt
so spricht man von den Einstein-Maxwell-Gleichungen.
Ausgehend von den oben angegebenen Grundannahmen lässt sich ein weiterer additiver Term zum Einsteintensor hinzuzufügen, der aus einer Konstanten $ \Lambda $ und dem metrischen Tensor besteht. Damit ist die Forderung der Divergenzfreiheit noch immer erfüllt und so nehmen die Feldgleichungen die Form
an. Hierbei ist $ \Lambda $ die kosmologische Konstante, die von Einstein in die Feldgleichungen eingebaut und so gewählt wurde, dass das Universum statisch wird; dies war die damals sinnvollste Anschauung. Es stellte sich jedoch heraus, dass das so von der Theorie beschriebene Universum instabil ist. Als Edwin Hubble schließlich nachwies, dass das Universum expandiert, verwarf Einstein seine Konstante. Heute jedoch spielt sie erneut eine Rolle durch Ergebnisse der beobachtenden Kosmologie ab den 1990er Jahren.