Lagrangesche Formulierung für lichtähnliche Geodäten

Ich habe mehrere detaillierte Demonstrationen gefunden, die die geodätische Gleichung von der Lagrange-Funktion ableiten. Jede Demonstration besagt jedoch, dass das Verfahren fehlschlägt und modifiziert werden muss, wenn wir an lichtähnlicher Geodäte interessiert sind, bei der die Standard-Largrange-Funktion immer Null ist. Ich möchte etwas über diese Modifikation erfahren! Kann mir bitte jemand helfen zu verstehen, wie man die geodätische Gleichung für lichtähnliche Geodäten mit einer Lagrange-Technik ableitet? Zum Beispiel weist D'Inverno in D'Invernos einführendem GR-Lehrbuch auf Seite 101 darauf hin, warum der einfache Lagrange-Ansatz für lichtähnliche Geodäten versagen muss, und präsentiert dann einfach das lichtähnliche Ergebnis ohne Ableitung. Ich möchte diese Herleitung lernen!

Warum scheitert es? Ich bekomme gerade Linien im Minkowski-Raum gut hin. Einige andere Räume auch. Können Sie das näher erläutern? Könnten Sie bitte auch die Links zu den von Ihnen erwähnten Demonstrationen posten? Danke!
Sie müssen die Polyakov-Aktion für Punkte verwenden

Antworten (1)

Die normale relativistische Wirkung freier Teilchen ist

S [ X ] = M D τ G μ v ( X ) X ˙ μ X ˙ v   .
Die aus dieser Aktion abgeleiteten Bewegungsgleichungen sind
X ¨ λ + Γ μ v λ [ G ( X ) ] X ˙ μ X ˙ v = X ˙ λ τ Protokoll G μ v ( X ) X ˙ μ X ˙ v

Dieser Vorgang ist natürlich nicht geeignet, masselose Teilchen zu beschreiben. Es ist jedoch möglich, die Lagrange-Funktion ein wenig zu modifizieren, was es einem erlaubt, dies zu tun.

Wir führen ein Hilfsfeld ein e ( τ ) und betrachten Sie die Lagrange-Funktion

S [ e , X ] = 1 2 D τ [ 1 e ( τ ) G μ v ( X ) X ˙ μ X ˙ v M 2 e ( τ ) ]   .
Beachten Sie, dass e ( τ ) hat keine zeitlichen Ableitungen in der Aktion und erscheint daher als Hilfsfeld. Es ist leicht zu zeigen, dass sich die Bewegungsgleichungen daraus ableiten S [ e , X ] ist völlig gleichwertig S [ X ] . Die EOM sind
G μ v ( X ) X ˙ μ X ˙ v + M 2 e 2 = 0   , X ¨ λ + Γ μ v λ [ G ( X ) ] X ˙ μ X ˙ v = X ˙ λ τ Protokoll e
Also die Aktionen S [ X ] Und S [ X , e ] sind klassisch äquivalent. Jedoch, S [ X , e ] hat zwei Vorteile gegenüber S [ X ] .

  1. S [ X , e ] ist quadratisch ein X . Die lästige Quadratwurzel in S [ X ] wurde entfernt. Somit ist es wesentlich einfacher zu quantisieren S [ X , e ] .

  2. S [ X , e ] ist im masselosen Limes vollkommen wohldefiniert.


Für die fortgeschrittenen Leser werde ich das auch hinzufügen S [ X , e ] hat eine sehr interessante Interpretation als eindimensionales nichtlineares Sigma-Modell. Die Aktion hat eine τ Umparametrierung Symmetrie unter denen

τ τ '   , e ( τ ) e ' ( τ ) Wo e ( τ ) = D τ ' D τ e ' ( τ ' )   .
Dies zeigt, dass e ( τ ) kann als eindimensionale Metrik betrachtet werden, D S 2 = γ τ τ D τ 2 = e ( τ ) 2 D τ 2 . Wir können die Aktion dann schreiben als
S [ e , X ] = 1 2 D τ γ [ γ τ τ G μ v ( X ) τ X μ τ X v M 2 ]   .
Das ist ein D = 1 NLSM mit einer "kosmologischen Konstante" proportional zu M 2 .

In der Stringtheorie ergibt die entsprechende Verallgemeinerung a D = 2 NLSM.

Vielen Dank für Ihre Antwort! Wenn ich mir selbst überlassen wäre, hätte ich den Lagrange nicht modifiziert ... und mir ist die physikalische Logik dessen nicht klar. Ich verstehe, dass es mit einem Lagrange-Multiplikator zusammenhängt, um die Massenschalenbedingung durchzusetzen?
Ich verstehe nicht, warum es eine Logik geben sollte, dies a priori zu tun. Es ist ein mathematischer Trick und hat seine Vorteile, wie oben dargestellt.