Problem der Variationsrechnung

Ich versuche, die folgende Aktion zu variieren, um die Pfade zu finden, die die Aktion extremisieren

S = γ ω = T F T ich D X ich ( T ) D T ω ich ( X ( T ) ) D T
Wo X ich are sind lokale Koordinaten und ω ist eine Differentialform.

Bisher habe ich

0 = δ S = γ δ ( D X ich ( T ) D T ω ich ( X ( T ) ) D T = γ [ D δ X ich ( T ) D T ω ich ( X ( T ) ) + D X ich ( T ) D T ω ich ( X ( T ) ) X J δ X J ] D T
Ich weiß, dass das Ziel bei Variationsproblemen darin besteht, die willkürliche Variation auszuklammern δ X ich , aber ich bleibe bei der partiellen Integration im ersten Term hängen. Wie muss ich vorgehen, um die Wege zu finden, die diese Aktion extremisieren?

Antworten (1)

Teilweise integrieren:

γ D T ( D D T δ X ich ω ich ( X ) ) = γ D T D D T ( δ X ich ω ich ( X ) ) γ D T ( δ X ich D D T ω ich ( X ) ) =
δ X ich ω ich ( X ) | T 1 T 2 γ D T δ X J ω J ( X ) X ich X ˙ ich ,

wobei der Punkt bedeutet Differenzieren bzgl T .

Der erste Term ist seither gleich Null δ X ich wird fixiert, um an den Endpunkten zu verschwinden.

Ich vertraue darauf, dass Sie die Gl herleiten können. der Bewegung daraus.

Ich schätze, ich bin es gewohnt, mit Aktionen umzugehen X Und X ˙ Abhängigkeit, aber gibt es einen tieferen Grund, warum die "Euler-Lagrange"-Gleichung für diesen Fall die Form hat ich ω J J ω ich ?
@Aaron Das richtige Formular wäre ( ich ω J J ω ich ) X ˙ ich = 0 . Ich bin mir nicht sicher, was als "tiefer Grund" gilt.
@ClassicStyle Ich bin anderer Meinung. Nur der Pullback von D ω An γ sollte verschwinden. Dies ist eine Bedingung für beide ω Und γ . Das hat nichts damit zu tun ω geschlossen sein oder nicht.
Wenn wir das sagen γ ist dann keine geschlossene Kurve D ω = 0 richtig? Der Rückzug ist ein Isomorphismus des Kotangensraums an jedem Punkt. Ich bin mir nicht ganz sicher, also bitte korrigieren wenn falsch :)
@ClassicStyle Warum ist D ω null?