Wie viel Auswahl hatte Einstein bei der Auswahl seiner GR-Gleichungen?

Die Allgemeine Relativitätstheorie wurde von Wheeler wie folgt zusammengefasst: „Die Raumzeit sagt der Materie, wie sie sich bewegen soll; die Materie sagt der Raumzeit, wie sie sich krümmen soll“. Ich habe eine ziemlich gute Vorstellung davon, wie der erste Teil funktioniert.

Allerdings verstehe ich den zweiten Teil nicht. Insbesondere möchte ich wissen, ob die Gleichungen, die beschreiben, wie Materie der Raumzeit etwas sagt, „anders hätten sein können“. Mit anderen Worten, hat Einstein die Form seiner Gleichungen so gewählt, dass sie empirischen Beobachtungen entsprechen, oder sind sie die Art von Dingen, die vollständig von Grund auf ausgearbeitet wurden und überhaupt nicht geändert werden können, ohne die gesamte Theorie zu brechen?

Offensichtlich gab es bei der Wahl der Gleichungen eine gewisse Wahl, nämlich die kosmologische Konstante - Einstein hat sie ursprünglich aufgenommen, dann entfernt, und jetzt scheint es, als wäre sie doch da. Aber ist das Hinzufügen einer kosmologischen Konstante die einzige Möglichkeit, Einsteins Gleichungen zu modifizieren?

Eine andere Möglichkeit, diese Frage zu stellen, besteht darin, zu fragen, welche Annahmen erforderlich sind, um die allgemeine Relativitätstheorie abzuleiten. Ich weiß, dass die Ableitung der speziellen Relativitätstheorie wirklich nur das Prinzip erfordert, dass die Gesetze der Physik (einschließlich der Maxwell-Gleichungen) in allen intertialen Referenzrahmen gleich sind, und ich weiß, dass der erste Teil von Wheelers Zitat aus dem Prinzip der Äquivalenz zwischen Schwerkraft und Beschleunigung stammt . Aber welche zusätzlichen Annahmen sind gegebenenfalls erforderlich, um zu bestimmen, wie Materie die Raumzeit krümmt?

Antworten (2)

Ich denke , Hawking, Ellis „The Large Scale Structure of Space-Time“ 3.4 wäre eine interessante Lektüre für Sie.

Aus diesem Buch:

Mit Ricciscalar R , kosmologische Konstante λ und Materie Lagrange L M

ICH = M ( A ( R 2 λ ) + L M )

Man könnte sich fragen, ob das Variieren einer Aktion, die von einer anderen Skalarkombination der Metrik- und Krümmungstensoren abgeleitet wird, nicht einen vernünftigen alternativen Satz von Gleichungen ergibt. Der Krümmungsskalar ist jedoch der einzige derartige Skalar, der in zweiten Ableitungen des metrischen Tensors linear ist; Nur in diesem Fall kann man also ein Oberflächenintegral wegtransformieren und mit einer Gleichung zurückbleiben, die nur zweite Ableitungen der Metrik beinhaltet.

Wenn man einen anderen Skalar wie z R A B R A B oder R A B C D R A B C D man würde eine Gleichung erhalten, die vierte Ableitungen des metrischen Tensors beinhaltet. Dies erscheint verwerflich, da alle anderen Gleichungen der Physik erster oder zweiter Ordnung sind. Wenn die Feldgleichungen vierter Ordnung wären, müssten nicht nur die Anfangswerte der Metrik und ihre ersten Ableitungen angegeben werden, sondern auch die zweiten und dritten Ableitungen, um die Entwicklung der Metrik zu bestimmen.

Eine weitere nette Lektüre ist Carroll „Spacetime and Geometry: An Introduction to General Relativity“ 4.8. Alternative Theorien . Es gibt eine kürzere Version kostenlos online in Kapitel 4 hier

Lagrangianer höherer Ordnung neigen auch dazu, auf Ostrogradski-Instabilitäten zu stoßen .

Die empirischen Einschränkungen sind einige offensichtliche, z. B. wenn Sie die Gleichungen haben, sollten die irdischen Ergebnisse bis zu einem gewissen Grad Newtonsch aussehen, siehe z .

Abgesehen von diesem praktischen Vergleich mit dem Experiment steckt natürlich viel konzeptionelle Arbeit in der Theorie, insbesondere der Überwindung der Probleme der Newtonschen Mechanik an sich und dann auch der Vereinigung der speziellen Relativitätstheorie mit der Gravitation. Aber Ihre Frage scheint bereits mit der Idee einer Raumzeitmetrik usw. zu beginnen.


Was Sie sicherlich gerne haben, sind geometrische Gleichungen, dh Tensorgleichungen, die Sie auch in indexfreier Form schreiben könnten. Die vorliegende Energiegröße ist der klassische Spannungsimpulstensor und die Theorie wird hoffentlich seine Beziehung vorhersagen

T μ v =
zur Raumzeitmetrik auf die eine oder andere Weise. Beginnen Sie dort, sammeln Sie alle Dinge, die Sie eingeben müssen, dies sind die Metrik, ihre Ableitungen und vielleicht einfachere (skalare) Größen. Der Tensor forciert die rechte Seite
= G μ v
einige Eigenschaften zu haben, z. B. ist es ein symmetrischer Tensor, er hat aufgrund von verschwindender Divergenz T = 0 und dann gibt es noch einige Trace-Features und so weiter. Sie sehen zB einige Erklärungen für elektromagnetische Felder.

Geben Sie hier die Bildbeschreibung ein

Sie finden immer diese unangenehme Form "schöne Tensorgröße minus irgendein konstruiertes Objekt", wenn Bedingungen eingearbeitet sind. Ich meine, die Einstein-Gleichungen selbst haben diese Art von Form mit

Geben Sie hier die Bildbeschreibung ein

oder gleichwertig

Geben Sie hier die Bildbeschreibung ein

Es liest sich auf jeden Fall

T G ,
wo man das argumentieren könnte T ist das kleinste Objekt, das Sie dynamisch ausdrücken möchten. Einstein arbeitete die linke Seite in dieser Gleichung aus. Anscheinend hat sich David Hilbert die Theorie-Features parallel zu Einstein ausgedacht (es gibt viel über diesen "Hilbert-Einstein-Prioritätsstreit" zB hier ), aber er hat den ausgefallenen Tensor nicht aufgeschrieben. Ich meine, es ist immerhin der Einstein- Tensor .


Zu guter Letzt ist hier eine schwindelerregende Liste von Ideen, mit denen Sie vielleicht nicht vertraut sind. Und diese sind klassisch.

Ich finde es auch interessant festzustellen, dass es Theorien gab, die vor der allgemeinen Relativität existierten

Abgesehen von diesen direkten (komplizierteren?) alternativen Ideen habe ich außerdem einige explizite theoretische Arbeiten von (Quanten-) Ansätzen "über" der allgemeinen Relativitätstheorie gesehen, die diese und jene geometrischen Ausdrücke hervorgebracht haben, die Krümmungstensoren und ihr Produkt und alles, was Sie denken können, beinhalten von. Aber ich schätze, sie werden erst dann erwähnt, wenn sie mit kosmologischen Beobachtungen verglichen werden können, die Erklärungen benötigen, die die Allgemeine Relativitätstheorie nicht liefert.

Nun, es wäre auch sehr vernünftig gewesen zu erwarten, dass der Spannungsenergietensor (und seine geometrische rechte Seite) nicht divergenzfrei ist; schließlich erhält ein divergenzfreier Spannungs-Energie-Tensor nur nicht-gravitative Materie-Energie. Jemand könnte fragen, warum nicht versucht wird, mit Objekten zu arbeiten, die nach der Nettoaddition divergenzfrei sind, mit einem geometrischen Energietensor
@lurscher: Einstein betrachtete dies als eine Anwendung des Äquivalenzprinzips - die Energie sollte sowohl global als auch in jedem lokalen frei fallenden Rahmen erhalten bleiben.
@RonMaimon, na ja, ist es wirklich konserviert? Ich glaube nicht, es gibt Gravitationsenergie, die nicht berücksichtigt wird T μ v . Wenn Sie einen vernünftigen Gravitationsenergietensor (Hilbert-Tensor?) Annehmen, könnten Sie die Freiheit haben zu fordern, dass die Summe aus Materie und Hilbert-Tensor divergenzfrei ist. Wenn eine solche Theorie sinnvolle physikalische Vorhersagen liefern würde, die nicht bereits durch Beobachtungen ausgeschlossen sind, ist das eine andere Sache.
@lurscher: Einstein gab den vollen Energieimpuls "Tensor" einschließlich des Gravitationsenergieimpulses direkt nach der Entwicklung der Feldgleichung an - das erhalten Sie aus Noethers Vorschrift zur Einstein-Hilbert-Aktion. Es ist wirklich erhalten, aber es ist koordinatenabhängig. Er wird nicht „Hilbert-Tensor“ genannt, sondern der Einstein-Stress-Energie-Pseudotensor. Wenn Sie frei fallende Koordinaten wählen, leistet dies keinen lokalen Beitrag zur Erhaltungsgleichung. Das ist altes Zeug.
Angesichts der Tatsache, dass Sie immer mit einer "schönen Tensorgröße minus einem konstruierten Objekt" enden, kann meine Frage wohl folgendermaßen umformuliert werden: "Kann eine mathematisch konsistente Theorie formuliert werden, die GR ähnlich ist, jedoch mit einem anderen konstruierten Objekt?"
@Nathaniel: Nun ja. Ich habe den Link mit den alternativen klassischen Theorien gepostet und dort sehen Sie einige, die metrische Theorien sind, die auch einen Energieimpulsmensor usw. haben. Bedingung 1 und 2 machen sie "ähnlich". Siehe diesen Abschnitt und zB diese f(R) Gravitationsgleichung , die Einsteins Theorie ist, wenn F ist die Identität, dh F := F ' = 1 .