Lagrangescher Vektorfeldausdruck

Das Lagrange-Vektorfeld X L über das Tangentenbündel wird auf Seite 4 von Marco Mazzucchellis „Critical Point Theory for Lagrangeian systems“ angegeben;

X L = J = 1 M ( v J Q J + H = 1 M [ 2 L v J v H ] 1 ( L Q H 2 L T v H l = 1 M 2 L Q l v H v ich ) v J ) .
Meine Frage ist ... wie kommt man zu diesem Ausdruck? Ich habe damit begonnen, einen Ausdruck aus dem Folgenden zu berechnen;
X L = ich = 1 N Q ˙ ich Q ich + ich = 1 N Q ¨ ich Q ˙ ich .
Ohne Glück!

Antworten (1)

Ich werde alle Berechnungen unter der Annahme der Lagrangian durchführen L wirkt auf eine 1-dimensionale Mannigfaltigkeit M . Ich glaube, Sie werden die Verallgemeinerung absolut trivial finden, und das wird mir das Schreiben von Tonnen von Summen ersparen.

Lassen

L : R × T M R

ein Lagrangianer sein T M , mit Zeit in R . Euler-Lagrange-Gleichungen sagen das aus

L Q ( Q , Q ˙ ; T ) D D T L Q ˙ ( Q , Q ˙ ; T ) = 0 .

Nimm nun die totale Ableitung und entwickle sie:

D D T L Q ˙ ( Q , Q ˙ ; T ) = 2 L Q ˙ Q ˙ D Q ˙ D T + 2 L Q Q ˙ D Q D T + 2 L T Q ˙ D T D T .

Wenn wir das in EL-Gleichungen einsetzen und neu organisieren, erhalten wir

2 L Q ˙ Q ˙ D Q ˙ D T = L Q 2 L Q Q ˙ D Q D T 2 L T Q ˙ .

Jetzt muss ich die zweite Ableitung von annehmen L bezüglich der Geschwindigkeit von Null verschieden ist. Dies bedeutet auf höheren Dimensionen, dass der Jacobi der abgeleiteten Abbildung von L muss nichtsingulär sein. Wenn das stimmt, können wir das sagen

Q ¨ = [ 2 L Q ˙ Q ˙ ] 1 ( L Q 2 L Q Q ˙ D Q D T 2 L T Q ˙ ) .

Nun, wie Sie sagten, das Feld generiert von L Ist

X L = Q ˙ D D Q + Q ¨ D D Q ˙ ,

und durch Ersetzen dessen, was wir gefunden haben, gelangen wir zu

X L = Q ˙ D D Q + [ 2 L Q ˙ Q ˙ ] 1 ( L Q 2 L Q Q ˙ D Q D T 2 L T Q ˙ ) D D Q ˙ ,

das ist eine 1-D-Version von dem, was Sie gepostet haben.

Mach dir keine Sorgen. Ich hatte Spaß. =D