Seite 580, Kapitel 12 in Jacksons Text der 3. Ausgabe enthält die Aussage:
Nach dem ersten Postulat der speziellen Relativitätstheorie muss das Wirkungsintegral ein Lorentz-Skalar sein, da die Bewegungsgleichungen durch die äußere Bedingung bestimmt werden,
Sicherlich muss die Extremumsbedingung eine Invariante für die Bewegungsgleichung zwischen sein Und , während ich nicht sehe, wie das Aktionsintegral ein Lorentz-Skalar sein muss. Unter Verwendung der grundlegenden klassischen Mechanik als Richtlinie ist die Aktion für ein freies Teilchen kein Galilei-Skalar, gibt aber dennoch die richtigen Bewegungsgleichungen an.
Beachten Sie zunächst, dass die nicht-relativistische Lagrange-Funktion zwar nicht invariant ist. Sie ändert sich um eine totale Ableitung, somit bleiben die Bewegungsgleichungen invariant. Der Grund für den Unterschied zwischen dem Lorentzschen und dem Galileischen Fall ist, dass die Gruppenwirkung der Lorentz-Gruppe auf die klassischen Variablen (Orte und Impulse) durch eine wahre Darstellung erfolgt, während im Fall der Galileischen Gruppe die Darstellung ist projektiv. In der Sprache der geometrischen Quantisierung, , Wo ist die Aktion ein Abschnitt in , Wo ist das Vorquantisierungslinienbündel und es ist dual. Mit anderen Worten, die Aktion muss kein Skalar sein, sondern nur ein Ausdruck der Form: , Wo ist die Wellenfunktion zur Zeit Und ist die klassische Aktion zwischen Und . Der Grund, warum die Darstellung im Galileischen Fall projektiv ist, hängt mit der Nichttrivialität der Kohomologiegruppe zusammen im Fall Galilei im Gegensatz zum Fall Lorentz. Ich habe in meiner Antwort auf Anirbit: Poincare-Gruppe vs. Galilean-Gruppe und in den darin enthaltenen Kommentaren eine ausführlichere Antwort zu einem sehr ähnlichen Thema gegeben .
Ja, es muss. Es garantiert nicht, dass die Gleichungen physikalisch exakte Lösungen haben, aber zumindest sieht alles relativistisch aus.
Der entscheidende Punkt, den Jackson hier anführt, ist, dass die Lagrange-Funktion physikalisch bedeutsam ist, da sie die Bewegungsgleichungen bestimmt; über die Extremum-Bedingung, wie es so kommt.
Erstens wird das Wirkungsintegral entlang eines Lorentz-invarianten Pfades genommen. Zweitens, da die Lagrange-Funktion physikalisch signifikant ist, sollte sie auch denselben Bereich auf dieselbe reelle Zahl aus dem ersten Postulat der Speziellen Relativitätstheorie abbilden. Daraus folgt, dass das Wirkungsintegral ein Lorentz-Skalar sein muss.
Benutzer4552