Einsteinsche Feldgleichungen: Unterschied zwischen den Versionen

Einsteinsche Feldgleichungen: Unterschied zwischen den Versionen

imported>Centenier
K (Änderungen von 89.15.238.184 (Diskussion) auf die letzte Version von Hans Koberger zurückgesetzt)
 
imported>Hutch
 
Zeile 1: Zeile 1:
{{QS-Physik|Unerledigt=2017}}
[[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 Energieverteilung mit der Geometrie der [[Raumzeit]]. Die Energieverteilung wird dabei durch einen [[Energie-Impuls-Tensor]] repräsentiert, während ein [[metrischer Tensor]] die Geometrie der Raumzeit darstellt.
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 die [[Masse (Physik)|Masse]] das Gravitationsfeld in der newtonschen Gravitationstheorie 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, d.&nbsp;h., die [[Divergenz eines Vektorfeldes|Divergenz]] des Energie-Impuls-Tensors muss lokal, bei fester Raum- und Zeitkoordinate, verschwinden, damit das Gesetz der Energie- und Impulserhaltung aufrechterhalten wird, da diese nur eine  lokale Gültigkeit haben.
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.  


Man macht den Ansatz, welcher sich aus dem Äquivalenzprinzip ergibt, dass die Gestalt der Feldgleichungen, welche die Gravitation auf die Raumzeit verallgemeinern, auf der rechten Seite den Energie-Impuls-Tensor als Quelle des Feldes beinhalten. Da somit auf der rechten Seite ein Tensor steht, muss dies auch für die linke Seite gelten. Dieser Tensor sollte die geometrischen Eigenschaften der [[Raumzeit]] repräsentieren und eine Kombination des [[Metrischer Tensor|metrischen Tensors]] und eines Tensors, der die Krümmung beschreibt, darstellen. Die Feldgleichungen nehmen also die Form
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>


an, wobei der geometrische Tensor <math>G_{\mu\nu}</math> als ''[[Einsteinmetrik|Einsteintensor]]'' bezeichnet wird. Die Konstante <math> \kappa = 8 \pi G / c^{4}</math> heißt '''Einsteinsche Gravitationskonstante''' oder einfach ''Einsteinkonstante'' und wird als [[Proportionalitätskonstante]] angenommen. Diese beiden Größen sind zu bestimmen.
{{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> &nbsp;&nbsp;für die Energie-Impuls-Erhaltung.
# <math> \ \nabla_\nu T^{\mu \nu}=0</math> &nbsp;&nbsp;für die Energie-Impuls-Erhaltung.
# <math> \ \nabla_\nu G^{\mu \nu}=0</math> &nbsp;aufgrund obiger Forderung für <math>T_{\mu\nu}</math>.
# <math> \ \nabla_\nu G^{\mu \nu}=0</math> &nbsp;aufgrund obiger Forderung für <math>T_{\mu\nu}</math>.
# <math> \ G_{\mu\nu}</math> &nbsp;ist eine Kombination aus dem [[Riemannscher Krümmungstensor|Krümmungstensor]] <math>R_{\mu \nu}</math> und dem metrischen Tensor <math>g_{\mu \nu}</math>.
# <math> \ T_{\mu\nu}</math> &nbsp;ist ein symmetrischer Tensor zweiter Stufe, daher muss dies auch für <math>G_{\mu\nu}</math> gelten.
# <math> \ T_{\mu\nu}</math> &nbsp;ist ein symmetrischer Tensor zweiter Stufe, daher muss dies auch für <math>G_{\mu\nu}</math> gelten.
# <math> \ G_{\mu\nu}</math> &nbsp;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 Einsteinkonstante definiert werden
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.


Im Energie-Impuls-Tensor wird berücksichtigt, dass Masse und [[Energie]] äquivalent sind; d.&nbsp;h., jede Form der Energie induziert [[schwere Masse]]. Der Energie-Impuls-Tensor beinhaltet neben der Massen-Energiedichte (Masse bzw. Energie pro Raumvolumen) weitere Energieformen (z.&nbsp;B. den [[Druck (Physik)|Druck]], den ein [[Strahlung]]s[[Feld (Physik)|feld]] ausüben kann). Eine Änderung des Energie-Impuls-Tensors, d.&nbsp;h. eine Änderung der durch ihn beschriebenen Energieverteilungen, hat somit eine Änderung der Struktur der Raumzeit in der Umgebung dieser Energieverteilung zur Folge. Die Struktur der Krümmung der Raumzeit (d.&nbsp;h. des [[Raum (Physik)|Raumes]] als auch der [[Zeit]]) beeinflusst wiederum die dort befindliche Materie, d.&nbsp;h., Energie, Raum und Zeit stehen in direkter Wechselwirkung. Diese Beeinflussung der Materie, die von den Krümmungen von Raum und Zeit ausgehen, ist im Rahmen unserer Erfahrungswelt nichts anderes als die Gravitation.
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}{2} g_{ \mu \nu}= 0 </math>
:<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


die '''Vakuumfeldgleichungen''' und ihre Lösungen [[Vakuumlösung]]en. 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-Metrik|Schwarzschild-Lösung]], deren [[Linienelement]] die Form
: <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+\frac{1}{1-\frac{2GM}{c^2 r}}\,\mathrm{d}r^2 +r^2\,\mathrm{d}\theta^2+r^2\sin^2\theta\,\mathrm{d}\phi^2 </math>
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} = \, -\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>
:<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 Kosmologische Konstante ==
== Die kosmologische Konstante ==
{{Hauptartikel|Kosmologische Konstante}}
{{Hauptartikel|Kosmologische Konstante}}
Es stellte sich heraus, dass die einsteinschen Feldgleichungen noch weiter verallgemeinert werden können. So ist es möglich, einen weiteren additiven Term in den 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
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 [[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. Angeblich soll er sie anschließend als die „größte Eselei“ seines Lebens bezeichnet haben; dies wurde ihm jedoch nur von [[George Gamow]] nachgesagt.
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.
 
Trotz Einsteins Irrtum stellt die kosmologische Konstante heute eine wichtige und rätselhafte Größe im Bereich der modernen [[Kosmologie]] dar. Lange Zeit wurde ihr Wert für Null gehalten, doch die modernen Methoden der Astronomie haben gezeigt, dass die Konstante einen ''positiven'' Wert haben muss, um bestimmte Dinge zu erklären. Es wurden mehrere Modelle für die Entwicklung eines Universums entwickelt, in denen die Konstante eine tragende Rolle spielt. Das bekannteste und einfachste dieser Modelle ist die [[De-Sitter-Raum]]zeit.
 
Ursprünglich war die Konstante zwar als unabhängiger Parameter gedacht, jedoch kann sie im Vakuumfall mit dem Energie-Impuls-Tensor identifiziert werden. Es ist
 
:<math>T^{(\mathrm{vac})}_{ \mu \nu} = - \frac{c^4}{8 \pi G}\Lambda g_{ \mu \nu}</math>,
 
wobei die Konstante
 
:<math>\rho_{(\mathrm{vac})}:=\frac{\Lambda c^4}{8 \pi G}</math>
 
als Vakuumenergiedichte bezeichnet wird – sie ist eine dem leeren Raum zugrunde liegende Energie, wobei sich der 'leere' Raum in der Kosmologie als flach erweist (siehe [[FLRW-Metrik]]). Wenn eine [[Vakuumenergie]] existiert, so existiert auch eine nicht-verschwindende kosmologische Konstante und umgekehrt. Ein wichtiger Punkt ist die [[Energiedichte]] der kosmologischen Konstante in einer expandierenden Raumzeit. Die [[Expansion des Universums]] lässt (wie oben zu sehen ist) die Energiedichte unbeeinflusst, was auf natürlicher Weise zu einem dominanten Verhalten der kosmologischen Konstanten in 'späten' Zeiten der kosmologischen Entwicklung führt (die Energiedichten von Strahlung und Materie sind in verschiedenen Potenzen invers proportional zum Skalenfaktor der Metrik). Eine mögliche Konsequenz ist der [[Big Rip]].


== 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.
* Fabio Cardone, (et al.): ''Einstein's Field Equations in R5 and Their Solutions.'' S.287-301 in: F. Cardone: ''Deformed spacetime.'' Springer, Dordrecht 2007, ISBN 978-1-4020-6282-7.


== 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]]

Aktuelle Version vom 5. Dezember 2021, 07:09 Uhr

Feldgleichung auf einer Mauer in Leiden

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.

Grundsätzliche Annahmen und Forderungen

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:

$ \ G_{\mu \nu }=\kappa T_{\mu \nu } $

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:

  1. $ \ G_{\mu \nu }=0 $    für eine flache Raumzeit, d. h. in Abwesenheit von Gravitation.
  2. $ \ \nabla _{\nu }T^{\mu \nu }=0 $   für die Energie-Impuls-Erhaltung.
  3. $ \ \nabla _{\nu }G^{\mu \nu }=0 $  aufgrund obiger Forderung für $ T_{\mu \nu } $.
  4. $ \ T_{\mu \nu } $  ist ein symmetrischer Tensor zweiter Stufe, daher muss dies auch für $ G_{\mu \nu } $ gelten.
  5. $ \ G_{\mu \nu } $  ist dementsprechend eine Kombination aus den grundlegenden geometrischen Kovarianten, die (symmetrische) Tensoren zweiter Stufe sind, dem Krümmungstensor $ R_{\mu \nu } $ und dem metrischen Tensor $ g_{\mu \nu } $.

Die Feldgleichungen

Aus diesen Forderungen ergeben sich die Feldgleichungen:

$ R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R=\kappa T_{\mu \nu }={\frac {8\pi G}{c^{4}}}T_{\mu \nu } $.

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

$ R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R=-\kappa T_{\mu \nu }=-{\frac {8\pi G}{c^{4}}}T_{\mu \nu } $.

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

$ R_{\mu \nu }=\kappa (T_{\mu \nu }-{\tfrac {1}{2}}g_{\mu \nu }T) $.

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.

Die Vakuumfeldgleichungen

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

$ R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R=0 $

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

$ R_{\mu \nu }=0 $.

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

$ \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} $

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).

Einstein-Maxwell-Gleichungen

Wird für $ T_{\mu \nu } $ der elektromagnetische Energie-Impuls-Tensor

$ 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) $

in die Feldgleichungen eingesetzt

$ R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R={\frac {8\pi G}{c^{4}\mu _{0}}}\,\left(F_{\mu }{}^{\alpha }F_{\alpha \nu }+{\frac {1}{4}}F_{\alpha \beta }F^{\alpha \beta }g_{\mu \nu }\right) $

so spricht man von den Einstein-Maxwell-Gleichungen.

Die kosmologische Konstante

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

$ R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R+\Lambda g_{\mu \nu }={\frac {8\pi G}{c^{4}}}T_{\mu \nu } $

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.

Literatur

  • 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.
  • 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.

Weblinks

Einzelnachweise

  1. allgemeiner die Anzahl Dimensionen, da $ g^{\mu \nu }g_{\mu \nu } $ die Spur der Einheitsmatrix ist