Warum differenzieren wir die Geschwindigkeit nicht bezüglich der Position in der Lagrange-Funktion?

In der Analytischen Mechanik wird die Lagrange-Funktion als Funktion von angesehen X Und X ˙ , Wo X steht für Position und ist eine Funktion von Zeit und X ˙ ist seine zeitliche Ableitung.

Um meine Frage zu stellen, betrachten wir die Bewegung eines Teilchens entlang einer Linie:

X : R R     A S     T X ( T )

und nimm die Lagrange-Funktion zu:

L ( X , X ˙ ) := 1 2 M X ˙ 2 v ( X )

Durch Anwendung der Euler-Lagrange-Gleichungen:

D D T ( L X ˙ ) = L X

wir erhalten das Newtonsche Bewegungsgesetz zurück.

Dies folgt formal, wo wir betrachten X Und X ˙ als unabhängig, aber wenn wir bedenken X ˙ als Geschwindigkeit, dann ist es tatsächlich eine Funktion des Ortes, also wenn wir teilweise differenzieren L wrt X Die X ˙ -Terme sollten nicht verschwinden und dies bringt die Ableitung durcheinander. Was verstehe ich falsch?

bearbeiten

Ich fange an zu glauben, dass dies eine Nicht-Frage ist, wie einige Leute anscheinend vorgeschlagen haben, und ich bin verwirrt von der handgewellten Mathematik in grundlegenden Physiklehrbüchern.

Betrachten Sie das obige Beispiel einfach C der Konfigurationsraum des Teilchens sein. Örtlich C ist durch die Koordinatenfunktion gegeben X : U R , das Tangentialbündel π : T C C lokal trivial zu sein, hat als Koordinatenfunktionen oben U : ( X π ) D X : T U R 2 .

Wir nehmen den Lagrange-Operator einfach als Funktion an: T C R , was, wenn es lokal geschrieben wird, im Sinne von ist X Und X .

Aber was ist mit dem Punkt in X ˙ ?

Sprich die Partikelspuren aus γ : ICH C , wo Intervall ICH ist an der Zeit. Lassen γ ( 0 ) = P C . Lokal in Bezug auf X , Seit wir ... Haben γ ( D D T | 0 ) In T P C , wir bekommen D X ( γ ( D D T | 0 ) ) = X γ ˙ ( 0 ) , womit wir die Notation missbrauchen und schreiben können X ˙ ( P ) , so sieht der entsprechende Punkt auf dem Bündel aus ( X ( P ) , X ˙ ( P ) ) .

Ist das sinnvoll oder fehlt mir noch etwas?

Verwandte Frage zu Phys.SE: physical.stackexchange.com/q/885/2451

Antworten (5)

Das ist eine ausgezeichnete Frage! Und die Antwort hat ihre Wurzeln im Ursprung der Euler-Lagrange-Gleichungen als Lösungen des Hamiltonschen Variationsprinzips.

Denken Sie daran, dass die Euler-Lagrange-Gleichungen das Ergebnis der Extremisierung der Aktion sind

S ( Q [ T ] ) = 0 T L ( Q , Q ˙ ) D T .
Es ist konventionell zu schreiben L als Funktion von Q Und Q ˙ (und dies führt zur saubersten Formulierung der Euler-Lagrange-Gleichungen), aber es ist keineswegs zwingend erforderlich: Sie könnten hinzufügen Q 2 als drittes Argument zum Funktional L , wenn Sie wirklich wollten, und natürlich Q Und Q 2 sind nicht unabhängig.

Nun ist die übliche Ableitung, Variationen zu betrachten δ Q ( T ) , δ Q ( 0 ) = δ Q ( T ) = 0 , was ergibt

D D S S ( Q [ T ] + S δ Q [ T ] ) | S 0 = 0 T [ ( D 1 L ) ( Q , Q ˙ ) δ Q + ( D 2 L ) ( Q , Q ˙ ) δ Q ˙ ] D T ,
Wo D ich L bedeutet differenzieren L in Bezug auf die ich ter Parameter. Beachten Sie, dass das Obige in keiner Weise erfordert, dass die Werte angeschlossen sind L (nämlich Q Und Q ˙ ) sind unabhängig! D 1 L wird oft geschrieben als L Q , aber das ist ein Schreibfehler: Wir differenzieren lediglich die zweiparametrige Funktion L in Bezug auf sein erstes Argument, ohne zu wissen oder sich darum zu kümmern, in was wir uns letztendlich einklinken werden L .

Nun wenden wir die übliche partielle Integration an,

0 T [ ( D 1 L ) ( Q , Q ˙ ) D D T [ ( D 2 L ) ( Q , Q ˙ ) ] ] δ Q = 0 ,
wo die zeitliche Ableitung, im Gegensatz zu den beiden Ableitungen von L , passiert nach dem Einstecken Q Und Q ˙ , und wir stellen die üblichen Bewegungsgleichungen wieder her, indem wir nehmen δ Q Stoßfunktionen jederzeit in sein ( 0 , T ) .

Vielen Dank für den obigen Beitrag. Wenn wir einen Lagrange haben, der hat Q Und Q 2 , ist es möglich, in Betracht zu ziehen Q Und Q 2 so unabhängig und zuverlässig sie wie Q 1 := Q Und Q 2 := Q 2 und entsprechend P 1 Und P 2 ? Immerhin in der linearen Algebra X Und X 2 gelten als unabhängig...

Dies ist eine ausgezeichnete Frage (und ich bin voreingenommen, weil ich sie auch habe), niemand scheint in der Lage zu sein, sie gut zu beantworten. Hier sind einige Threads darüber, die ich gefunden habe und die es diskutieren:
(1) https://physics.stackexchange.com/questions/168551/independence-of-position-and-velocity-in-lagrangian-from-the-point- of-view-of-ph
(2) https://physics.stackexchange.com/questions/885/why-does-calculus-of-variations-work

Das Beste, was ich erkennen konnte, ist das Folgende: Die Euler-Lagrange-Gleichung definiert die Geschwindigkeit im Wesentlichen als Ableitung der Position in Bezug auf die Zeit. Ohne die Euler-Lagrange-Gleichung anzunehmen , ist die Geschwindigkeit NICHT die zeitliche Ableitung der Position.

Wenn wir den Phasenraum betrachten, Q Und Q ˙ sind nur Variablen, also werde ich bezeichnen Q ˙ = R . Dh im Allgemeinen besteht KEINE Beziehung zwischen Q Und Q ˙ .

Die Lagrange-Funktion ist also nur eine reguläre Funktion zweier Variablen.

(Im einfachsten Fall ist der Phasenraum gerade R 3 mit Achsen T , Q , R ).

Die Euler-Lagrange-Gleichung gibt uns dann eine bestimmte Kurve im Phasenraum ( NICHT den gesamten Phasenraum).

Die Kurve ist dreidimensional und wir können sie auf die projizieren T Q Ebene.

Auf dieser Ebene passiert die Kurve zu definieren Q implizit als Funktion von T (Ich weiß nicht, wie ich das beweisen soll oder warum es wahr ist, aber es scheint der Fall zu sein).

Wir haben also eine Funktion, bezeichnen Sie sie X : R R so dass für alle T : X ( T ) = Q , dh X : T Q .

Aus irgendeinem Grund (den ich auch nicht kenne und nicht beweisen kann) X ( T ) ist eine differenzierbare Funktion von T . So X ' ( T ) ist für alle gut definiert T .

Daher für jeden Punkt T R , wir haben einen Punkt R 2 =tq-Ebene, die ist ( T , X ( T ) ) = ( T , Q ) implizit definiert durch die Projektion der Kurve, die durch die Lösung der Euler-Lagrange-Gleichung gegeben ist.

Daher betrachten wir bei einem gegebenen Punkt in der Projektion der Kurve in der tq-Ebene den ursprünglichen Punkt in R 3 es wurde von --> projiziert ( T , Q , R ) = ( T , X ( T ) , R ) .

Nun sind die Euler-Lagrange-Gleichungen so, dass sich herausstellt, dass dies der Fall ist X ' ( T ) = R (Ich weiß auch nicht, wie ich das beweisen soll) - daher kann unser Punkt auf dieser Kurve im 3-Raum geschrieben werden als ( T , X ( T ) , X ' ( T ) ) = ( T , X ( T ) , R ) = ( T , Q , R ) .

Da die Physiker bereits im Voraus wissen, dass dies für die Kurve im 3-Raum, die durch die Euler-Lagrange-Gleichung definiert wird , die sie berücksichtigen werden (beachten Sie, dass sie keinen verbleibenden Teil des Phasenraums berücksichtigen, in dem dies NICHT zutrifft), dies der Fall ist das stimmt R = X ' ( T ) Und Q = X ( T ) , sie nennen nur die Variablen X Und X ˙ dh

Die Notation, die Physiker verwenden, ist ein schlampiger Notationsmissbrauch, der im Voraus davon ausgeht, dass nur die Lösungskurve der Euler-Lagrange-Gleichung (die dem Prinzip der kleinsten Wirkung entspricht) gilt (da sie immer davon ausgehen, dass sie gilt).

Also in gewisser Weise (wenn man das Ganze betrachtet R Achse im Phasenraum, und nicht nur die Punkte, die Teil der Lösungskurve der Euler-Lagrange-Gleichung sind) X ˙ ist nicht die Geschwindigkeit von X , also sind sie wirklich nur unabhängige Variablen.

Ich würde gerne selbst für einen rigorosen Beweis für all dies sorgen, aber bisher ist dies die einzige Antwort, die für mich einen Sinn ergeben hat.

Ein Bild, das irgendwie erklärt, was ich zu sagen versuche:

Geben Sie hier die Bildbeschreibung ein

Ich denke, Sie werden durch die Notationen der partiellen Ableitung verwirrt. Wenn L ist eine Funktion zweier Variablen, L : ( X , j ) L ( X , j ) , L X die Ableitung nach der ersten Variablen und ist L j bzgl. der Sekunde (wenn Sie diese Ableitungen schreiben 1 L Und 2 L , es gibt keine Verwechslungsgefahr). Dann X Und j = X ˙ sind zwei unabhängige Variablen der Funktion L Und 2 L ist die Ableitung von L wrt die zweite Variable. Hier müssen Sie diese zweite Ableitung in einem bestimmten Wert auswerten (dh X ˙ ).

Zusamenfassend, X Und X ˙ sind unabhängige Variablen von L .

Keine Ahnung, warum diese (richtige) Antwort auch abgelehnt wird ...
Die Antwort von @ user7530 vnd wurde ebenfalls abgelehnt (bis ich sie positiv bewertete) ... Stimmenzählungen sollten nicht zu sehr beachtet werden :)
Wenn Sie den ersten Satz in meiner Frage bemerken, habe ich dies berücksichtigt, und darum geht es mir nicht.
@mech_love_not_war Die erste Klausel erwähnt nicht die Unabhängigkeit, was der Punkt meiner Antwort ist ...

[Zweite Antwort, separat, weil anders]

Vielleicht hilft das weiter: Diese Unabhängigkeit von Position und Geschwindigkeit zeigt sich in der Newtonschen Gleichung: Sie ist eine Differentialgleichung zweiter Ordnung . Um es (eindeutig) für ein 1-dof-System zu lösen, benötigen Sie zwei Anfangsbedingungen (Anfangsposition und Anfangsgeschwindigkeit).

Dass die Lagrangedichte des sich mit kleinen Geschwindigkeiten bewegenden Teilchens in der angegebenen Form ausgedrückt werden kann, ist eine experimentelle Beobachtung. Das Prinzip der kleinsten Wirkung begrenzt die Art und Weise, wie das Teilchen seinen Phasenraum erkunden kann. Für die Anwendung des Prinzips der kleinsten Wirkung zur Bestimmung der Bewegungsgleichung müssten dann die Koordinate und die Geschwindigkeit unabhängig voneinander behandelt werden. Es ist möglich, sich eine Situation vorzustellen, von der auch die Lagrange-Funktion abhängen würde X ¨ , in welchem ​​Fall X , X ˙ Und X ¨ unabhängig behandelt würden. Unsere Welt scheint sich jedoch nicht so zu verhalten.