Invarianz der Aktion vs. Lagrange im Satz von Noether?

Ich habe vor kurzem begonnen, klassische Feldtheorie zu studieren. Der Satz von Noether besagt, dass jede differenzierbare Symmetrie der Wirkung eines physikalischen Systems ein entsprechendes Erhaltungsgesetz hat. Aber ich finde, dass beim Auflösen nach konservierten Strömen oft angenommen wird, dass sie auf die Invarianz von Lagrange zurückzuführen sind, dh; δ L = 0 . Sind beide Aussagen immer gleich?

Sie sind es nicht, aber δ L = 0 ist ein sehr häufiger Sonderfall.

Antworten (2)

Nein, sie sind nicht gleich. Um zu sehen, warum, selbst in der klassischen Mechanik, nehmen wir an, wir haben eine Symmetrietransformation Q Q + ϵ K das lässt die Lagrange-Invariante. Das bedeutet, dass wir haben müssen

lim ϵ 0 1 ϵ ( L ( Q + ϵ K , Q ˙ + ϵ K ˙ , T ) L ( Q , Q ˙ , T ) ) = L Q K + L Q ˙ K ˙ = 0
T H e N Sie verwenden die Tatsache, dass die Bewegungsgleichungen erfüllt sind, um zu schreiben L Q = D D T L Q ˙ und dies impliziert
D D T L Q ˙ K + L Q ˙ K ˙ = D D T ( L Q ˙ K ) = 0
dh die Menge L Q ˙ K wird konserviert.

Eine Symmetrie der Aktion ist eine Transformation, die die Aktion invariant lässt, unabhängig davon, ob die Bewegungsgleichungen erfüllt sind oder nicht. In diesem Fall ergibt das gleiche Verfahren die Bedingung

L Q K + L Q ˙ K ˙ = D M D T
Wo M ist eine Funktion von Q , Q ˙ , T . Wenn ein solches M existiert, sagen wir, dass die Wirkung unter der Symmetrietransformation invariant ist.

Es ist sehr leicht zu sehen, dass LHS wird, wenn wir die Bewegungsgleichungen aufstellen D D T ( L Q ˙ K ) und wir können eine Erhaltungsgröße ableiten:

D D T ( L Q ˙ K M ) = 0.

Das einfachste mögliche Beispiel einer Symmetrietransformation, die eine Symmetrie der Aktion, aber nicht der Lagrange-Funktion ist, ist die Zeittranslation in Systemen, in denen die Lagrange-Funktion keine explizite Zeitabhängigkeit aufweist. Wenn wir die Zeit beliebig klein verschieben ϵ , die verallgemeinerten Koordinaten Q ändern sich gem Q ( T ) Q ( T ) + ϵ Q ˙ ( T ) , Deshalb K = Q ˙ . Aber

D D T ( L Q ˙ Q ˙ ) = L Q Q ˙ + L Q ˙ Q ¨ = D L D T 0
In diesem Fall M = L und die Erhaltungsgröße ist
H = L Q ˙ Q ˙ L .

Ich komme vielleicht etwas spät zur Party, aber was ist die Funktion K, die du hier beschreibst? Ist es eine Funktion von q(t) und t?
Außerdem denke ich, dass M eine Funktion von sein sollte Q Und T , und nicht Q , Q ˙ Und T Denn sobald Sie auch Geschwindigkeiten einbeziehen, müssten Sie eine zusätzliche Einschränkung hinzufügen, dass die Geschwindigkeit entlang des Pfads an den Endpunkten verschwindet.
Wie im Fall der Zeittranslationsinvarianz gezeigt, K kann eine Funktion von sein Q ˙ Auch.
Im gleichen Beispiel M ist die Lagrange-Funktion, die eine Funktion von ist Q ˙ .Der Lagrange-Operator ist eine Funktion von Q Und Q ˙ als unabhängige Variablen behandelt. Die Tatsache, dass Sie im Lagrange-Formalismus die Gleichungen von Bewegungen ableiten, indem Sie die Aktion variieren und die Koordinaten an den Endpunkten festhalten (ohne dass Geschwindigkeiten verschwinden müssen), ist eine andere Geschichte. Dies bedeutet, dass für die Trajektorien, die die Bewegungsgleichungen als Funktion der Zeit erfüllen, Q ( T ) Und Q ˙ ( T ) sind nicht unabhängig. Siehe tinyurl.com/yxfpqfg7 . Tatsächlich habe ich nie angenommen, dass die Geschwindigkeiten an den Endpunkten verschwinden.

Zunächst sollte ein Begriff der strengen Symmetrie zu einem Begriff der Quasisymmetrie gelockert werden, um so allgemein wie möglich zu sein. Beide Versionen von Noethers Theorem bleiben wahr, aber die Aktionsversion ist allgemeiner.

Ich verstehe nicht, warum wir einen neuen Namen dafür wollen sollten?
Verschiedene Autoren verwenden unterschiedliche Terminologien. Es ist oft nützlich, das Wort Quasisymmetrie zu verwenden, um den allgemeineren Begriff hervorzuheben.