Lagrange-Mechanik und Zeitableitung nach allgemeinen Koordinaten

Ich lese ein Buch über analytische Mechanik auf Lagrange. Ich bekomme eine ungefähre Vorstellung von der Methode: Wir können beliebige Koordinaten verwenden und die kinetische Energie aufschreiben T und Potenzial v in Bezug auf die allgemeinen Koordinaten, so wird die Lagrange-Funktion angegeben als L = T U . Sagen wir zum Beispiel, der Lagrange ist

L = M 2 X ˙ 2 + M B ϕ ˙ X ˙ cos ϕ
Hier M ist die Masse, B ist konstant, X Und ϕ sind die allgemeinen Koordinaten. Wie im Text gesagt, müssen wir rechnen, um die Bewegungsgleichung aufzustellen L / X . Meine Frage ist: wenn wir das einstecken L und berechne die Ableitung von X An L , sollen wir null bekommen? dh

X ˙ 2 X = 0 ?

wenn es nicht Null ist, was ist das? und was ist die physikalische Bedeutung von X ˙ X ?

Antworten (4)

Ihre Verwirrung besteht wirklich nur darin, die Notation zu verstehen, die für partielle Ableitungen weit verbreitet ist.

Der Einfachheit halber beschränke ich die Diskussion auf ein System mit einem Koordinatenfreiheitsgrad X . In diesem Fall ist die Lagrange-Funktion eine reellwertige Funktion zweier reeller Variablen, die wir suggestiv mit den Symbolen kennzeichnen X Und X ˙ . Mathematisch würden wir schreiben L : U R Wo U R 2 . Betrachten wir das einfache Beispiel

L ( X , X ˙ ) = A X 2 + B X ˙ 2
Wenn wir den Ausdruck schreiben
L X ˙ ( X , X ˙ )
dies ist eine Anweisung zum Differenzieren der Funktion L in Bezug auf sein zweites Argument (weil wir das zweite Argument benannt haben X ˙ ) und dann die resultierende Funktion für das Paar auszuwerten ( X , X ˙ ) . Aber wir hätten genauso gut schreiben können
2 L ( X , X ˙ )
Zur Darstellung desselben Ausdrucks. Diese beiden Ausdrücke bedeuten einfach, dass wir uns vorstellen, das erste Argument der Funktion konstant zu halten, und wir die Ableitung der resultierenden Funktion in Bezug auf den Rest bilden. Im obigen Fall bedeutet dies also das
L X ˙ ( X , X ˙ ) = 2 B X ˙
Weil X benennt das erste Argument, und eine partielle Ableitung in Bezug auf das zweite Argument bedeutet, dass wir behandeln X wie eine Konstante, deren Ableitung daher ist 0 . Es ist in diesem Sinne, dass der Teil von X 2 gegenüber X ˙ ist Null.

Um es noch einmal zusammenzufassen: Wenn wir diese Derivate nehmen, denken wir nur an die Symbole X Und X ˙ sind nur Bezeichnungen für die verschiedenen Argumente der Lagrange-Funktion.

Sie könnten jedoch fragen: „Wenn X Und X ˙ sind nur Bezeichnungen, welche Beziehung haben sie dann zu Position und Geschwindigkeit?" Die Antwort lautet, nachdem wir sie als Bezeichnungen für die Argumente von behandelt haben L um die entsprechenden Ableitungen zu nehmen, werten wir dann die resultierenden Ausdrücke auf a aus ( X ( T ) , X ˙ ( T ) ) , die Position und Geschwindigkeit einer Kurve zu einem Zeitpunkt T , um Bewegungsgleichungen zu erhalten.

Zum Beispiel, wenn Sie das Beispiel von nehmen L mit der ich angefangen habe, bekommen wir

L X ( X , X ˙ ) = 2 A X , L X ˙ ( X , X ˙ ) = 2 B X ˙
Jetzt werten wir diese Ausdrücke weiter aus ( X ( T ) , X ˙ ( T ) ) erhalten
L X ( X ( T ) , X ˙ ( T ) ) = 2 A X ( T ) , L X ˙ ( X ( T ) , X ˙ ( T ) ) = 2 B X ˙ ( T )
so dass die Euler-Lagrange-Gleichungen werden
0 = D D T [ L X ˙ ( X ( T ) , X ˙ ( T ) ) ] L X ( X ( T ) , X ˙ ( T ) ) = D D T ( 2 B X ˙ ( T ) ) 2 A X ( T )
was gibt
B X ¨ ( T ) = A X ( T )
Wenn Sie das alles verstanden haben, können (und sollten) Sie auf die langatmige Schreibweise verzichten, die ich hier zur Veranschaulichung verwendet habe, und Sie sollten keinen Fehler bei der Verwendung der abgekürzten Schreibweise in Ihrem ursprünglichen Beitrag machen.

Dies ist ein etwas unintuitiver Schritt im Lagrange-Formalismus und den Euler-Lagrange-Gleichungen. Beachten Sie, dass Sie die partielle Ableitung der Lagrange-Funktion in Bezug auf eine Koordinate nehmen. Genau genommen sollten Sie bei einer partiellen Ableitung angeben, was Sie konstant halten.

Obwohl wir uns normalerweise eine Koordinate und ihre Zeitableitung als zusammenhängend vorstellen, variieren wir bei der Anwendung des Euler-Lagrange-Formalismus die verallgemeinerten Koordinaten und Geschwindigkeiten unabhängig voneinander . Das bedeutet, dass

Q ˙ Q = 0 ,     Q Q ˙ = 0 ,
für jede verallgemeinerte Koordinate Q .

Also in deinem Beispiel ( L X ) X ˙ = 0 , In der Tat. Hier verwende ich die Klammern, um dies ausdrücklich zu vermerken X ˙ wird konstant gehalten.

Mich verwirren die Abwertungen. Meine Antwort ist nicht so umfassend wie Joshphysics, aber sie sagt im Wesentlichen dasselbe aus. Was ist falsch? Wie könnte ich es verbessern?
Ich stimme zu, diese Antwort ist in Ordnung.
Diese Antwort bietet einen guten Einstieg für ein besseres Verständnis der Poisson-Bremsen, gegen die die Hamilton-Mechanik und ihre Fortsetzung mit dem Winkelwirkungsformalismus verstoßen.

Ich füge nur einen allgemeinen Kommentar zur Verwirrung bezüglich unabhängiger Variablen hinzu.

Eine Lagrange-Funktion ist eine Funktion von zwei Sätzen unabhängiger Variablen – verallgemeinerte Koordinaten und verallgemeinerte Geschwindigkeiten. Wenn die Lösung (dh die Bewegung) unter einem gegebenen Satz von Anfangsbedingungen gegeben ist, wird natürlich eine Beziehung zwischen ihnen hergestellt – die verallgemeinerte Geschwindigkeit ist bekannt, wenn die verallgemeinerte Koordinate gegeben ist. Aber das bedeutet nicht, dass diese beiden keine unabhängigen Variablen sind. Sie sind so unabhängig wie zwei unabhängige Variablen X , j ein Paar linearer simultaner Gleichungen erfüllen. Wenn Sie sich eine der Gleichungen ansehen, drücken Sie natürlich aus X als Funktion von j , aber das heißt nicht X Und j sind keine unabhängigen Variablen. Wenn Sie sie lösen, kennen Sie in ähnlicher Weise die numerischen Werte für beide X Und j , das heißt nicht X Und j sind keine Variablen, sondern Zahlen. Hier, in diesem Fall, X Und X ˙ sind im gleichen Sinne unabhängig - im Prinzip kann ein Teilchen beliebig sein X , völlig unabhängig von seiner Geschwindigkeit, und umgekehrt - im Allgemeinen sind sie nicht voneinander abhängig (im Gegensatz zu X Und X 2 , sagen). Aber natürlich, wenn wir für sie lösen und einen Antrag stellen X ( T ) , X ˙ ( T ) für einen bestimmten Fall werden sie verwandt.

Vielen Dank für den obigen Beitrag. Wenn wir einen Lagrange haben, der hat Q Und Q 2 , ist es möglich, zu berücksichtigen Q Und Q 2 so unabhängig und zuverlässig sie wie Q 1 := Q Und Q 2 := Q 2 ? Immerhin in der linearen Algebra X Und X 2 gelten als unabhängig...
@mr.curious: Danke für die Frage, obwohl ich sie bereits beantwortet habe "(anders als X Und X 2 , sagen wir)". Das Wort Unabhängigkeit sollte nicht ohne Kontext verwendet werden. Im obigen Kontext, Q Und Q 2 sind {\es nicht} unabhängig. Aber zum Beispiel in der linearen Algebra, wenn X Und X 2 sind Operatoren auf einem linearen Raum, ihre Mittel sind nicht unabhängig, aber ihre höheren Momente sind es. Daher sind sie unabhängig. Wir sprechen hier von klassischen Freiheitsgraden in der deterministischen Dynamik.
Was ist, wenn wir einen Lagrange haben? A X 2 + B X ˙ 2 + C X + D X ˙ . Was mich davon abhält, sie in umzubenennen X := Q 1 , X 2 := Q 2 und dann, nachdem die Berechnungen abgeschlossen sind, fügen Sie sie wieder ein. Kann auch etwas mehr auf das statistische Argument eingehen, das Sie oben vorgebracht haben. Klingt nach einem interessanten Argument...
@Herr. neugierig: Kann nicht nehmen Q 1 = X Und Q 2 = X 2 und nennen sie unabhängige verallgemeinerte Koordinaten, weil in dieser Formulierung zwei unabhängige Koordinaten unabhängige Variationen haben sollten. Zum Beispiel sollte man Wege nur sorgsam bauen dürfen Q 1 und nicht Q 2 . Wenn einer ist X und der andere ist X 2 , dann können Sie sie nicht unabhängig variieren.
Dahinter steckt kein statistisches Argument. Ich habe nur ein Beispiel für einen Kontext gegeben, in dem X Und X 2 unabhängig sein kann. Ich sagte, das ist möglich, wenn X ist keine einfache deterministische Variable, sondern beispielsweise ein Erwartungswert, der von einer Verteilung abhängt. In diesem Fall, X Und X 2 sind unabhängig in dem Sinne, dass Wissen X sagt nicht was X 2 wird sein. Dies ist bei verallgemeinerten Koordinaten eines klassischen mechanischen Systems nicht der Fall. Ich hoffe, das löscht Ihre Neugier :).
Entschuldigung, vielleicht war ich etwas vage. Was ich oben meinte ist folgendes. Lassen X ein Operator sein, dessen Erwartungswert < X > hängt von einer Verteilung ab. Dann X Und X 2 sind in dem Sinne unabhängig, dass die Kenntnis des Erwartungswerts des einen nicht den Erwartungswert des anderen aussagt.
Danke, meine Neugier ist gestillt :). Allerdings habe ich noch eine Anmerkung: Wenn wir ein einfaches Polynom mit reellen Zahlen haben, dann kann man damit immer noch orthogonale Räume aufspannen 1 + X + X 2 + . . . . Und wenn wir es wissen X , wissen wir auch X 2 . Aber wir können einen orthogonalen Raum mit aufspannen 1 + X + X 2 wie unsere drei Achsen ähnlich wie ( X , j , z ) . Wir können uns entlang bewegen " 1 " Achse, ohne etwas in der " X " Achse und wir können uns entlang der " X " Achse ohne Wechsel in der " X 2 "Achse. Was ist, wenn man sich bezieht Q 2 = X 2 und behandelt es als formal unabhängig und beschränkt es dann mit Q 2 X 2 = 0 .
Ah! Noch ein weiteres Beispiel für Unabhängigkeit zwischen X Und X 2 ! In einer Potenzreihe gilt natürlich X , X 2 , ... X N sind "unabhängige" Basis der Erweiterung - Sie können Koeffizienten zuweisen X M Und X N völlig unabhängig beliebige Polynome (sogar nichtpolynomische Funktionen) zu konstruieren. Dies lädt nur meine vorherige Einschränkung hoch - bevor Sie über die Unabhängigkeit zweier Entitäten sprechen, schauen Sie sich den Kontext an :)
Seine Frage betrifft genau die Anwendung der Euler-Lagrange-Technik.