Invarianz der Lagrange-Funktion im Satz von Noether

In Lehrbüchern wird der Satz von Noether oft mit der Annahme formuliert, dass die Lagrange-Funktion unveränderlich sein muss δ L = 0 .

Allerdings bei einem Lagrangian L , wir wissen, dass die Lagrangianer a L (wo a irgendeine Konstante ist) und L + d f d t (wo f irgendeine Funktion ist) führen zu den gleichen Bewegungsgleichungen.

Können wir dann davon ausgehen, dass die Lagrange-Funktion unter einer Transformation unveränderlich ist, wenn wir finden δ L = a L oder δ L = d f d t Anstatt von δ L = 0 ?

Antworten (2)

An dieser Stelle möchte ich den Begriff der Quasisymmetrie erwähnen. Allgemein, wenn die Lagrangedichte (bzw. Lagrangedichte bzw. Wirkung) nur bis zu einer totalen Zeitableitung (bzw. Raum-Zeit-Divergenz bzw. Randterm) bei Ausführung einer bestimmten Off-Shell invariant ist 1 Variation spricht man von einer Quasi-Symmetrie, siehe zB Lit. 1.

Noethers erster Satz gilt auch für Quasisymmetrien. Beispiele für nicht-triviale Erhaltungssätze im Zusammenhang mit Quasisymmetrien finden Sie in den Beispielen 1, 2 und 3 im Wikipedia-Artikel zum Satz von Noether .

Verweise:

  1. JV Jose & EJ Saletan, Classical Dynamics: A Contemporary Approach, 1998; p. 565.

--

1 Hier bedeutet das Wort Off-Shell , dass die Euler-Lagrange (EL)-Gl. der Bewegung wird nicht angenommen, dass sie unter der spezifischen Variation gelten. Wenn wir die EL-Gl. der Bewegung zum Halten ist jede Variation der Lagrange-Funktion trivialerweise eine totale Ableitung.

ok, ich verstehe es jetzt etwas besser, die On-Shell-Variation ist immer eine totale Ableitung, weil der Integrand Null ist und nur noch Randterme übrig sind. Aber wegen der Findung f das geht in Noether-Ströme, uns geht es nur um die Off-Shell-Variationen?
Der Satz von Noether gilt nur für Off-Shell-Quasisymmetrien, nicht für On-Shell-Quasisymmetrien.

Ich möchte nur sagen, dass der Standardsatz von Noether sehr wohl auf den Fall zutrifft δ L = f ˙ . Zum Beispiel hat die Zeitübersetzung diese Form. Wir können dies sehen, indem wir das Noether-Verfahren für eine winzige Zeitübersetzung durchführen.

q ( t ) q ( t + ε ) q ( t ) + ε q ˙ ( t ) q ˙ ( t ) q ˙ ( t ) + ε q ¨ ( t )
Dies sendet
L L + ε L ˙
wie versprochen. Wenn wir das dann machen ε in eine winzige zeitabhängige Funktion ε ( t ) , wir haben nun

q ( t ) q ( t ) + ε ( t ) q ˙ ( t ) q ˙ ( t ) q ˙ ( t ) + ε ( t ) q ¨ ( t ) + ε ˙ ( t ) q ˙ ( t ) .

Nachdem wir ein wenig mit der Kettenregel der Multivariablenrechnung herumgespielt haben, stellen wir fest, dass dies sendet

L L + ε L ˙ + ε ˙ q ˙ L q ˙

Wir nutzen dann die Tatsache, dass δ S = 0 auf Lösungen der Bewegungsgleichungen, und nach partieller Integration finden

d d t ( p q ˙ L ) = 0

über Lösungen der Bewegungsgleichungen. Das ist nur die Energieerhaltung

TLDR-Symmetrien, die sich ändern L durch eine totale Ableitung einfach in den Satz von Noether eingebaut werden, ohne dass irgendetwas extra getan werden muss. Zeitübersetzungen sind ein Beispiel dafür.

Jedoch, δ L L ist etwas exotischer. Durchführen des Noether-Verfahrens an der Lagrange-Funktion eines freien Teilchens ( L = m q ˙ 2 / 2 ) was eine Skalensymmetrie hat q ( 1 + ε ) q , ich finde das "Erhaltungsgesetz" (wenn man es so nennen will) gerecht m q q ¨ = 0 , was trivial ist 0 sowieso auf die Bewegungsgleichungen.