Verwirrung über Symmetrie und Erhaltung

Ich glaube, ich verstehe das Konzept der Symmetrie in der Lagrange-Mechanik falsch, oder vielleicht verstehe ich den Inhalt von Noethers Theorem falsch. Lassen Sie mich näher darauf eingehen:

Vermuten L ( Q , Q ˙ , T ) die Lagrange-Funktion eines physikalischen Systems ist, dann können Sie mithilfe der Euler-Lagrange-Gleichung die Bewegungsgleichung (in diesem Fall eine Gleichung) der Koordinate bestimmen Q . Es stellt sich heraus, dass L ´ := L + D D T F ( Q , T ) führt zu genau denselben Bewegungsgleichungen (für jede Funktion F ( Q , T ) ), damit wir überlegen können L Und L ´ gleichwertige Lagrange. Beachten Sie jedoch, dass dies nur funktioniert, wenn F ist nicht abhängig Q ˙ . Wenn F kommt drauf an Q ˙ die Lagrangianer könnten tatsächlich zu anderen Bewegungsgleichungen führen.
Hier ist nun das Konzept der Symmetrie, das ich für richtig hielt (obwohl ich nicht sicher bin, ob das wirklich richtig ist):

Wenn wir eine kleine infinitesimale Koordinatentransformation machen Q Q ' = Q + ϵ χ dann muss die Variation der Lagrange-Funktion (unter dieser Transformation) die folgende Form haben:

δ L = ϵ D D T F ( Q , T )
Seit F ist nur davon abhängig Q Und T , wissen wir, dass sich die Lagrange-Funktion im Wesentlichen nicht geändert hat (führt zu den gleichen Bewegungsgleichungen) und daher unter der Koordinatentransformation symmetrisch ist.
Aber als ich mir den Beweis des Satzes von Noether ansah, stellte ich fest, dass es wirklich nicht notwendig ist F nicht abhängig zu sein Q ˙ . Die Bedingung
δ L = ϵ D D T F ( Q , Q ˙ , T )
für den Satz von Noether ausreichend ist (in dem Sinne, dass Sie eine Erhaltungsgröße erhalten).
Also was übersehe ich hier? Ich dachte, der Satz von Noether besagt, dass jede Symmetrie eine Erhaltungsgröße impliziert und jede Erhaltungsgröße eine Symmetrie impliziert. Aber wenn man sich das ansieht, scheint es, als gäbe es einige Erhaltungsgrößen, die nicht mit irgendeiner Symmetrie zusammenhängen. Oder verstehe ich das Konzept der Symmetrie falsch?

Antworten (2)

Der Satz von Noether besagt tatsächlich, dass kontinuierliche Symmetrien der Aktion Bewegungskonstanten implizieren. Der Teufel steckt im Detail und die Details hier sind die Begriffe Symmetrien der Aktion und Bewegungskonstanten . Unter Symmetrien der Wirkung werden Transformationen verstanden, die die Wirkung invariant oder quasi-invariant lassen, dh die Bewegungsgleichungen nicht ändern. Bewegungskonstanten sind Größen, die über die zeitliche Entwicklung des Systems konstant sind.

Wenn man eine infinitesimale Transformation durchführt Q Q + ϵ χ , die Lagrange-Änderung als

δ L = L Q ϵ χ + L Q ˙ ϵ χ ˙ = ϵ ( P ˙ χ + P χ ˙ ) = ϵ D D T ( P χ ) .
Damit die Wirkung höchstens quasi-invariant ist, S Und S ' dürfen sich höchstens um einen Begriff unterscheiden F ( Q , T ) , da in diesem Fall das Hamiltonsche Prinzip die gleichen Bewegungsgleichungen impliziert. Daher können wir überlegen,
S ' S = ϵ δ L D T = ϵ D F ( Q , T ) D T D T ,
und deshalb
D D T ( P χ ) = D F ( Q , T ) D T ,
oder
C = P χ F ( Q , T ) ,
ist eine Bewegungskonstante entlang der zeitlichen Entwicklung des Systems.

Wenn

δ L = ϵ D F ( Q , Q ˙ , T ) D T ,
Dann
S ' S = ϵ δ L D T = ϵ D F ( Q , Q ˙ , T ) D T D T .
Allerdings können wir das nicht sagen
C ' = P χ F ( Q , Q ˙ , T )
ist eine Bewegungskonstante, weil sich die Bewegungsgleichungen selbst geändert haben. Das System hat eine dynamische Evolution vor der Transformation und eine andere danach. Es ist sinnlos, den Wert einer dynamischen Variablen anhand verschiedener dynamischer Entwicklungen zu vergleichen.

OP schrieb (v3):

[...] Es stellt sich heraus, dass L ´ := L + D D T F ( Q , T ) führt zu genau denselben Bewegungsgleichungen (für jede Funktion F ( Q , T ) ), damit wir überlegen können L Und L ´ gleichwertige Lagrange. Beachten Sie jedoch, dass dies nur funktioniert, wenn F ist nicht abhängig Q ˙ . Wenn F kommt drauf an Q ˙ die Lagrangianer könnten tatsächlich zu anderen Bewegungsgleichungen führen. [...]

Wenn die Variations-/Funktionsableitungen vorhanden sind, hängen die Euler-Lagrange (EL)-Gleichungen nicht davon ab F auch wenn es darauf ankommt Q ˙ , vgl. zB dieser Phys.SE Beitrag.

[...] Aber als ich mir den Beweis von Noethers Theorem ansah, stellte ich fest, dass es wirklich nicht notwendig ist F nicht abhängig zu sein Q ˙ . [...]

Richtig.

[...] Ich dachte, der Satz von Noether besagt, dass jede Symmetrie eine Erhaltungsgröße impliziert und jede Erhaltungsgröße eine Symmetrie impliziert. [...]

Nur ersteres ist der Satz von Noether . Letzteres wäre der inverse Satz von Noether , der nur unter zusätzlichen Annahmen gilt.