Finden Sie den metrischen Tensor aus der Einstein-Feldgleichung?

Ich habe mich der Herausforderung gestellt, die gesamte Mathematik hinter der Einstein-Feldgleichung (EFE) zu lernen, und nach dem Lesen scheint es, dass der metrische Tensor das ist, was wir zu finden versuchen (aus den 10 Gleichungen, die die EFE bilden). aber da fast alle Terme darin Funktionen dieses metrischen Tensors sind, scheint dies sehr schwierig zu sein. Welche Art von Mathematik verwenden wir dafür? (Ich habe das EFE nur als Referenz kopiert und eingefügt):

R μ v 1 2 G μ v R + G μ v Λ = 8 π G C 4 T μ v

Bearbeiten: Vielen Dank für Ihre Kommentare. Da ich sonst niemanden zu fragen habe, ist dies die Gleichung, die wir zu lösen versuchen:

( X λ Γ μ v λ X v Γ λ μ λ + Γ λ ρ λ Γ v μ ρ Γ v ρ λ Γ λ μ ρ ) 1 2 G μ v G A B ( Γ A B , C C Γ A C , B C + Γ A B D Γ C D C Γ A C D Γ B D C ) + G μ v Λ = 8 π G C 4 T μ v

mit dem R μ v Und R Begriffe erweitert und wo G μ v Und T μ v sind die μν-ten Komponenten aus den verwandten Tensoren? (Eine Ja- oder Nein-Antwort ist in Ordnung, danke).

Es ist in der Tat sehr schwer. Versuchen Sie, "nichtlineare partielle Differentialgleichung" zu googeln.
Nur aus Interesse, gibt es Computerprogramme, die sie für uns lösen können? und wenn nicht warum?
Diese Frage könnte Sie interessieren
Die Standardreferenz ist Exact Solutions of Einstein's Field Equations von Stephani et al. Es beschreibt viele Methoden, um Lösungen zu finden und zu konstruieren.
Es blieb nur noch ein winziger Schritt, um jedes Christoffel-Symbol durch die entsprechende Summe von drei partiellen Ableitungen des metrischen Tensors zu ersetzen, und Sie erhalten vollständige PDEs. Sieht für mich aus wie PDEs zweiter Ordnung. Zu viel Händewinken in GR-Studien. Ich mag das lausige Gerede nicht. Moderne Differentialgeometer sind um eine Größenordnung strenger und präziser. #schimpfen
Schau mal auf quora.com/…

Antworten (3)

Das ist eigentlich ein Kommentar, aber für das Kommentarfeld wurde es etwas lang.

Ich vermute, dass Ihre Erfahrung in Physik, wie ich, aus einem Bereich stammt, in dem das Lösen von Differentialgleichungen ein routinemäßiger Teil der Arbeit ist. Wir sind es gewohnt, ein Problem zu analysieren, eine Differentialgleichung aufzuschreiben, die die Physik zusammenfasst, und sie zu lösen, wenn wir Glück haben, analytisch oder im schlimmsten Fall auf einen Computer zu werfen.

Als ich anfing, mich über GR zu informieren, fiel mir sehr eindringlich auf, dass dies kaum jemals der verwendete Ansatz ist. Die Gleichungen sind so schwierig, dass die Metrik in fast allen Fällen entweder durch ausgeklügelte Verwendung von Symmetrie oder durch einfaches Erraten von Antworten erhalten wird, bis eine passt. Wenn Sie die Ableitung der Schwartzschild-Metrik lesen, die wahrscheinlich die einfachste ist, der die meisten von uns begegnen, erhielt Schwarzschild die Antwort, indem er eine Grundform für die Metrik erriet und dann die hohe Symmetrie verwendete, um alle Möglichkeiten bis auf eine auszuschließen. Kerr scheint als sein Ergebnis durch inspirierte Vermutungen entstanden zu sein (obwohl inspiriert durch enorme Anstrengungen!!).

Das alles fühlt sich für uns Hedge-Physiker irgendwie unbefriedigend an. Es fühlt sich an, als ob allgemeine Relativisten die ganze Zeit schummeln und die Dinge nie so methodisch angehen wie wir. Das ist natürlich ein unfairer Eindruck und aus Unwissenheit entstanden, aber ich wette trotzdem, dass Sie sich so fühlen werden, wenn Sie anfangen, sich mit dem Thema zu beschäftigen.

Wenn Sie anfangen möchten, GR im Zorn zu lernen, dann empfehle ich dringend einen ersten Kurs in allgemeiner Relativitätstheorie von Bernard Schutz. Dies bringt Sie von einem Ausgangspunkt, an dem Sie grundlegende Berechnungen kennen, zu dem Punkt, an dem Sie sich mit grundlegenden GR-Berechnungen wohlfühlen. Beachten Sie jedoch, dass Sie die Einstein-Gleichung auch nach 376 Seiten noch nicht vollständig ausgeschrieben gesehen haben.

Guter Beitrag, aber ich möchte Ihren Kommentar kommentieren und sagen, dass ich das Buch von Schutz für mein Verständnis von GR als absolut nicht hilfreich empfand. Es ist stolz darauf, so intuitiv zu sein und fegt die gesamte klare Struktur der Differentialgeometrie unter den Teppich des "Verstehens". Dann stehen Sie vor einem GR-Problem, das Sie selbst lösen müssen, und Sie haben nichts, weil Sie bisher nur zugesehen haben, wie Schutz Probleme durch spezielles Plädoyer gelöst hat ("In diesem Fall können wir davon ausgehen ...")
Ich möchte hinzufügen, dass man in einigen Fällen, wenn man einen Ansatz für die Metrik bildet, die aus Funktionen einer einzelnen Variablen besteht, das Problem manchmal auf ein Problem bei der Lösung von ODEs reduzieren kann, das manchmal analytisch handhabbar ist.
@ACuriousMind: Um fair zu sein, hat Schutz einen Begleitband geschrieben , der die Differentialgeometrie abdeckt . Ich denke nicht, dass Schutz ein guter Anfang wäre, wenn Sie in GR forschen möchten, aber für interessierte Amateure wie mich (und Joseph?) hindert uns das Unter-den-Teppich-Kehren der Details daran, uns zu verzetteln.
@joshphysics: "Ansatz" - ist das nicht das schicke Wort, das ihr Mathematiker benutzt, wenn ihr nicht zugeben wollt, dass ihr raten könnt? :-)
@ACuriousMind: Sobald Sie Schutz gelesen, gelernt und innerlich verdaut haben, ist einer der besten Orte, um Ihr Verständnis zu erweitern, genau hier auf der Physics SE. Der Versuch, Fragen zu GR zu beantworten, ist eine äußerst effektive Methode, um etwas darüber zu lernen.
Kerrs Ansatz begann mit dem Studium algebraisch spezieller Raumzeiten. Die meisten davon stellen sich als Dinge wie die Taub-Raumzeit heraus, die physikalisch nicht wirklich zutreffen, aber Kerr war einsichtig genug, um zu sehen, dass er eine Verallgemeinerung der Schwarzschild-Raumzeit gefunden hatte. Also nutzte er Symmetrie, aber es war eine Symmetrie in der algebrischen Struktur des Weyl-Tensors, nicht von normalen physikalischen Freiheitsgraden.
@ACuriousMind: Wenn Sie von der Unwirklichkeit von Schutz frustriert waren, sollten Sie sich Walds Buch holen. Das war definitiv der Ausgangspunkt für mich.
Allein die Kugelsymmetrie bestimmt den Schwarzschild-Ansatz. Kerr arbeitete mit der Petrov-Klassifikation (auf Nicht -Typ-I-Vakuum-Raumzeiten) und bewies, dass alle Killing-Vektoren einer von zwei Typen sind. Die einzige unbegründete Vermutung war eine bequeme Form für ein Asym. zeitähnlicher Tötungsvektor; Ansonsten war die Entdeckung ziemlich streng. Insbesondere wurde bis ein Jahrzehnt später nicht behauptet, dass diese Lösung einzigartig war, was von Robison bewiesen wurde. Ich sage nicht, dass diese Kommentar-Antwort falsch ist (wie es bei typischen Präsentationen der Fall ist), aber Relativisten sind bei weitem nicht so moralisch locker, wie es auf den ersten Blick erscheinen mag.
@JohnRennie Du rufst mich wegen meiner elitären Wortwahl Rennie an!? ;) Ja, natürlich ist es eine Vermutung, aber ein Ansatz ist normalerweise eine fundierte Vermutung, und ich würde behaupten, dass dies die übliche Konnotation des Begriffs ist. Abgesehen von meiner Vornehmheit war der Hauptpunkt meines Kommentars für uns nicht der wunderbare Begriff "Ansatz", sondern darauf hinzuweisen, dass Vermutungen, die nur Funktionen einer einzelnen Variablen betreffen, zu ODEs führen, und dies kann oft eine erhebliche Vereinfachung sein.
Ich hatte schon früher von Heckenpriestern gehört, aber „Hedgenphysiker“ brachten mich zum Schmunzeln. +1 :)
Um Ihren Kommentar @ACuriousMind (und es ist ein gültiger) hinzuzufügen, denke ich, dass der Verstand vieler Menschen von zwei Texten profitiert: einem "Lesen vor dem Schlafengehen" und einem strengen. Schutz ist definitiv eine gute Gute-Nacht-Lektüre und das soll es nicht im geringsten verunglimpfen; es bereitet den Geist auf körperliche Einsichten vor, die dabei helfen, strengere Präsentationen wie Wald zu verstehen. Ich würde dasselbe (obwohl es SEHR alt ist) über Einsteins "Bedeutung der Relativitätstheorie" sagen. Manchmal denke ich, wir erwarten zu viel, um "DIE Bibel" zu finden, wo es die nicht immer gibt. Was halten Sie von Misner Thorne Wheeler, BTW?

Wenn Sie eine Metrik haben, dann haben Sie auch die Mannigfaltigkeit selbst und alle Punkte darin, und Sie können die Metrik verwenden, um den Einstein-Tensor an jedem Punkt zu berechnen und dann mit einer Skalarkonstanten zu multiplizieren, um den Spannungs-Energie-Tensor ( vorausgesetzt, Sie kennen den Wert Ihrer kosmologischen Konstante).

Aber die umgekehrte Richtung ist ganz anders. Wenn Sie beispielsweise mit der Mannigfaltigkeit begonnen haben (aber niemand hat Ihnen die Metrik gegeben, nur den topologischen Raum) und dann an jedem Punkt Ihrer Mannigfaltigkeit einen Spannungs-Energie-Tensor definiert haben, haben Sie bereits eine Menge, seit Sie die Mannigfaltigkeit haben . Dies könnte also zu viele Informationen sein und als Betrug angesehen werden. Es können aber auch zu wenig Informationen sein. Der Spannungs-Energie-Tensor ist der Quellterm, es ist wie im Elektromagnetismus, wenn dir jemand die Ladung und den Strom gibt, das reicht eigentlich nicht, um die Felder zu finden, du brauchst auch Randbedingungen.

Schauen wir uns ein einfaches, aber schwieriges Beispiel an. Ihr Verteiler ist R 4 , Ihr Stress-Energie-Tensor ist T μ v = 0 . Es gibt viele mögliche Metriken. Sie könnten eine Metrik haben, die einer Gravitationswelle entspricht, die sich nach links bewegt, eine nach rechts, eine nach oben, eine nach unten, eine vorwärts, eine rückwärts. Oder einfach nur ein leerer flacher Raum ohne Gravitationswellen, die Raumzeit der speziellen Relativitätstheorie. Das ist ganz wie die entsprechende Situation im Elektromagnetismus, wenn es keine Ladung und keinen Strom gibt, Sie könnten keine Felder haben oder Sie könnten eine elektromagnetische Welle haben, die in jede Richtung geht. Es sind einfach nicht genug Informationen.

Das Standardverfahren zum Ermitteln der Komponenten des metrischen Tensors umfasst die folgenden Schritte.

  1. Erraten Sie eine Versuchsformel für die dynamische Entwicklung der metrischen Tensorkomponenten ( G μ v ), unter Berücksichtigung der Symmetrien, die Ihr gegebenes System besitzt. Die Versuchsformel sollte genügend unbekannte Parameter enthalten.
  2. Berechnen Sie die Verbindungskoeffizienten aus Ihrer Versuchsformel.
  3. Berechnen Sie die Komponenten des Riemannschen Krümmungstensors aus den Verbindungskoeffizienten.
  4. Berechnen Sie die Komponenten des Einstein-Tensors aus dem Riemann-Tensor.
  5. Ersetzen Sie den Einstein-Tensor in der Einstein-Feldgleichung.
  6. Indem Sie die Randbedingungen anpassen (die Raumzeit wird im Unendlichen flach) und die unbekannten Parameter finden, die Sie zuvor in Ihrem metrischen Tensor festgelegt hatten.
  7. Wenn Sie eine Lösung für den metrischen Tensor finden, die sowohl die Einstein-Gleichung als auch die Randbedingung erfüllt, dann ist die erhaltene Lösung die richtige Lösung. Wenn nicht, ändern Sie die Testversion und wiederholen Sie die obigen Schritte.

Sie sehen, das Verfahren ist stark von (gebildetem) Raten abhängig. Daher kann es nicht auf eine Situation angewendet werden, in der es der Raumzeit an Symmetrie mangelt. Aus diesem Grund haben wir nicht viele analytische Lösungen für Einsteins Gleichung.