Nachweis der Unabhängigkeit der Lagrangefunktion von der Position eines freien Teilchens unter Verwendung der Euler-Lagrange-Gleichung

Ich habe vor einiger Zeit eine ähnliche Frage gestellt, versuche aber, dies aus einem anderen Blickwinkel zu bearbeiten.

Bei der Ableitung der Lagrangefunktion eines freien Teilchens verwenden wir die Homogenität des Raums, um zu schließen, dass die Lagrangefunktion nicht von ihrem Positionsvektor abhängt X . Unter räumlicher Homogenität verstehe ich das, wenn man die Anfangsposition des Teilchens um einen Vektor verschiebt C , dann werden alle Punkte auf der Flugbahn des Teilchens um denselben Vektor verschoben C . Betrachtet man die Euler-Lagrange-Gleichung unter Berücksichtigung eines Falles mit einem Freiheitsgrad:

Wenn X 1 ( T ) ist eine Lösung der EL-Gleichung entsprechend der Anfangsbedingung X ( T 1 ) = X 1 ,

(1) L ( X 1 ( T ) , X ˙ 1 ( T ) , T ) X D D T L ( X 1 ( T ) , X ˙ 1 ( T ) , T ) X ˙ = 0
Und X 1 ( T ) + C ist auch eine Lösung der EL-Gleichung entsprechend der Anfangsbedingung X ( T 1 ) = X 1 + C , Wo C ist eine infinitesimale Verschiebung,
(2) L ( X 1 ( T ) + C , X ˙ 1 ( T ) , T ) X D D T L ( X 1 ( T ) + C , X ˙ 1 ( T ) , T ) X ˙ = 0
dann möchte ich das beweisen
(3) L ( X , X ˙ , T ) X = 0

Bisher habe ich versucht zu erweitern L ( X 1 ( T ) + C , X ˙ 1 ( T ) , T ) als Taylor-Reihe in Potenzen von C . Seit C ist sehr klein, die linearen Terme in C dominieren. Ich kann dann Gl. ( 2 ) Zu:

(4) [ L X X L X X X ˙ X ˙ L X X ˙ X ˙ X ¨ L X X ˙ T ] C = 0

Ich bin mir nicht sicher, wie ich hier weiter vorgehen soll.

Wenn ich das beweisen kann L ( X , X ˙ , T ) X = 0 für eine unendlich kleine Verschiebung kann ich mir eine Unendlichkeit solcher aufeinanderfolgender Verschiebungen vorstellen C , machen L ( X , X ˙ , T ) X = 0 gültig für endliche Verschiebungen.

Es ist einfach nicht wahr. Nehmen Sie zum Beispiel L = X X ˙ , wobei die Euler-Lagrange-Gleichung für beliebig erfüllt ist X ( T ) , weil es nur eine totale Ableitung ist. Still, L X 0 .
@Herr_Mitesch. Es stimmt, und das liegt daran, dass die Lagrange-Funktion nicht eindeutig bestimmt ist, aber was wirklich gemeint ist, ist, dass es möglich ist, eine Lagrange-Funktion zu finden, die nicht explizit von x abhängt

Antworten (1)

Wie das von Herr_Mitesh gegebene Gegenbeispiel zeigt, ist es nicht wahr, und das liegt daran, dass der Lagrangian nicht eindeutig bestimmt ist. In der Physik muss man manchmal nicht wie in der Mathematik denken und muss sich in diesem Fall mit dem Gedanken begnügen, dass es ausreicht, wenn der Lagrangian kein x als Variable enthält, damit die Bedingung der Homogenität erfüllt ist

Ich verstehe dein Argument. Wenn der Lagrangian umformuliert wird als L ( X , X ˙ , T ) = ( X , X ˙ , T ) + D F ( X , T ) D T , so dass ( X , X ˙ , T ) X = 0 , dann unter der Annahme von Gl ( 1 ) wahr ist, kann ich die Homogenität des Raumes beweisen, dh Gl ( 2 ) . Das kann ich dann zumindest sagen ( X , X ˙ , T ) X = 0 ist eine hinreichende Bedingung dafür, dass die Homogenität des Raums wahr ist.
Ich wollte nur überprüfen, ob der letzte Teil der Frage: die Logik, dies von infinitesimalen auf endliche Verschiebungen zu erweitern, gültig ist.
Zumindest bei Variablen denke ich, dass die Erweiterung auf endliche Verschiebungen nur einer der fundamentalen Sätze der Analysis ist