Diese Frage hat hier bereits eine Antwort:
Wie denkt man über Noethers Theorem im klassischen mechanischen Hamiltonschen Formalismus nach und wendet es an?
Aus der Lagrange-Perspektive besagt der Noether-Satz (in 1-D) , dass die Menge
ist erhalten, wenn der Lagrange L ( x , y ich y ' ich ) ist unter einer kontinuierlichen Ein-Parameter-Gruppe von infinitesimalen Transformationen der Form invariant
Aus der Handlungsperspektive besagt der Satz von Noether die Gleichheit der 1-Formen:
Dies kann verwendet werden, um (additive) Symmetrien gut zu bestimmen.
Wie verwende ich diesen Formalismus, um den Hamiltonschen Noether-Satz in einem allgemeinen Kontext zu verstehen? Ich werde normalerweise eine Behauptung sehen, dass d A / d t = [ H. , A ] ist der Satz von Hamiltonian Noether, und ich kann dies im Zusammenhang mit meiner obigen Beschreibung von Noether nicht verstehen. Dies scheint die Poisson-Klammern als Teil von Noether von dem abzuleiten, was ich oben entwickelt habe, aber ich kann nicht viel Sinn daraus machen, um ehrlich zu sein. Ich bin sicher, dass die Antwort die lokale Tangentenvektorstruktur der Lie-Algebra verknüpfen soll die globale Lie-Gruppentransformation im Lagrange, aber zu sagen, dass in Worten eine Sache ist, in Mathematik eine andere.
Beachten Sie, dass diese (und andere) alten Stapelpfosten die Frage nicht beantworten:
Verweise:
Der Satz von Noether in der Hamiltonschen Mechanik sagt dasselbe wie der Satz von Noether in der Lagrange-Umgebung unter der Legendre-Transformation.
Ein Hamilton-System ist ein Triple ( M. , ω , H. ) wo ( M. , ω ) ist eine symplektische Mannigfaltigkeit und H. ist der Hamiltonianer. Sie definieren eine kontinuierliche Symmetrie in der Hamilton-Einstellung als Vektorfeld V. das bewahrt beides ω und H. . Das ist wenn θ t ist der Fluss von V. , dann θ ∗ t ω = ω und θ ∗ t H. = H. .
Eine konservierte Menge ist nur eine reibungslose Funktion, mit der Poisson pendelt H. . Das ist eine Funktion G : M. → R. so dass { G , H. } = 0 = { H. , G } .
Der Satz von Noether besagt, dass diese in einer Eins-zu-Eins-Entsprechung stehen.
Christoph
Qmechanic ♦
bolbteppa
ACuriousMind ♦
Qmechanic ♦