Beweis des Satzes von Noether: Wie geht man mit Transformationen in der Zeit um?

Ich habe den Beweis des Satzes von Noether in Lemos - Analytical Mechanics , Seite 73, verfolgt.

Er betrachtet eine vollständige infinitesimale Transformation:

T ' = T + ϵ X ( Q ( T ) , T ) ,
(2.160) Q ' ( T ' ) = Q ( T ) + ϵ Ψ ( Q ( T ) , T ) ,
deren Änderung in der Aktion ist
(2.161) Δ S = T 1 ' T 2 ' L ( Q ' ( T ' ) , D Q ' ( T ' ) D T ' , T ' ) D T ' T 1 T 2 L ( Q ( T ) , D Q ( T ) D T , T ) D T .
Beachten Sie, dass die Integrationsgrenzen im ersten Term des RHS geändert werden.

Dann nach dem Einstecken der Transformation Δ S er bekommt

(2.166) Δ S = T 1 T 2 L ( Q + ϵ Ψ , Q ˙ + ϵ ξ , T + ϵ X ) ( 1 + ϵ X ˙ ) D T T 1 T 2 L ( Q , Q ˙ , T ) D T ,
Wo
(2.165) ξ = Ψ ˙ Q ˙ X ˙ .

  1. Warum ist das erste Integral oben vorbei [ T 1 , T 2 ] anstatt [ T 1 ' , T 2 ' ] ?

  2. Gibt es nicht einen Begriff proportional zu ϵ [ L ( Q ( T 2 ) , Q ˙ ( T 2 ) , T 2 ) L ( Q ( T 1 ) , Q ˙ ( T 1 ) , T 1 ) ] vernachlässigt in der Δ S über?

Antworten (1)

  1. Es ist üblich, den Integrationsbereich bei der sogenannten horizontalen Transformation (2.160a) fließen zu lassen. Ref. 1 beginnt sehr ambitioniert mit der Erklärung in Gl. (2.160a) den Horizontalgenerator X ( Q ( T ) , T ) ist eine Funktion von Q ( T ) , was ungewöhnlich ist. Später Ref. 1 scheint das implizit anzunehmen X ( T ) ist nur eine Funktion der Zeit T , wie normalerweise angenommen wird.

  2. Satz 2.7.1 auf p. 74 in Art.-Nr. 1 diskutiert nur den Fall, wenn die Aktion S hat eine strenge Symmetrie. Prinzipiell funktioniert der Satz von Noether auch, wenn die Wirkung eine Quasisymmetrie hat, dh wenn sie nur bis auf Randterme invariant ist, s. 75 in Art.-Nr. 1.

Verweise:

  1. NA Lemos, Analytische Mechanik , 2018; Abschnitt 2.7.
1. Was macht diesen Brauch mathematisch wahr? 2. Die Aktion ist quasi-invariant, wenn die Differenz das Integral einer totalen Ableitung einer Funktion von ist Q Und T nur. Aber im vorliegenden Fall ist die Differenz das Integral von D L / D T , dh eine totale Ableitung einer Funktion von Q , Q ˙ Und T .
Ich habe die Antwort aktualisiert.