Variieren Sie die Aktion in Bezug auf die Geschwindigkeit

Variation der Aktion S entsprechend einem Lagrange, zB L ( X ( T ) , X ˙ ( T ) ) ergibt die Euler-Lagrange-Gleichungen:

δ S δ X ( T ) = 0 D u ( δ L δ X ( u ) δ X ( u ) δ X ( T ) + δ L δ X ˙ ( u ) δ X ˙ ( u ) δ X ( T ) ) = 0 D u ( δ L δ X ( u ) δ ( T u ) + δ L δ X ˙ ( u ) δ X ˙ ( u ) δ X ( T ) ) = 0 δ L δ X D D T δ L δ X ˙ = 0

wo in der Wir führen eine partielle Integration zum richtigen Term durch.

Was passiert, wenn wir die Aktion bezüglich der Geschwindigkeit variieren? Macht es physikalisch Sinn? Was für eine Gleichung würde sich ergeben?

Einige Versuche:

δ S δ X ˙ ( T ) = 0 D u ( δ L δ X ( u ) δ X ( u ) δ X ˙ ( T ) + δ L δ X ˙ ( u ) δ ( T u ) ) = 0 D u δ L δ X ( u ) δ X ( u ) δ X ˙ ( T ) + δ L δ X ˙ ( T ) = 0

Jetzt:

X ( u ) = D u X u δ X ( u ) δ X ˙ ( T ) = D u δ ( u T ) = 1

wenn wahr gibt

D u δ L δ X ( u ) + δ L δ X ˙ ( T ) = 0

Kann man das weiter vereinfachen? Oder kann ich mich darauf beziehen δ S / δ X ˙ Zu δ S / δ X ?

Du machst einen Fehler. EL-Gleichungen sind:
L X D D T ( L X ˙ ) .
Die Beziehung ist:
δ L ( X ( T ) ) δ X ( T ' ) = L ( X ) X δ ( T T ' ) + L X ˙ δ ' ( T T ' ) + .

Antworten (1)

  1. Denken Sie zunächst daran, dass man die Geschwindigkeit variieren kann v unabhängig von der Stelle Q im Lagrange L ( Q , v , T ) . Tatsächlich ist der (Lagrange'sche) kanonische Impuls definiert als

    (A) P ( Q , v , T )   :=   L ( Q , v , T ) v .
    Dies wird beispielsweise in den Beiträgen this , this und this Phys.SE näher erläutert.

  2. Lassen Sie uns zur späteren Bequemlichkeit definieren

    (B) F ( Q , v , T )   :=   L ( Q , v , T ) Q ,
    so dass die Euler-Lagrange (EL)-Gleichung die suggestive Form annimmt
    (C) F ( Q , v , T ) | v = Q ˙     D P ( Q , v , T ) D T | v = Q ˙ ,
    vgl. Newtons 2. Gesetz . [Hier das symbol bedeutet gleichheit modulo eq. der Bewegung. Ein Punkt bedeutet Differenzierung bzgl. Zeit T .]

  3. Jetzt fragt OP tatsächlich nach der Aktion (im Gegensatz zum Lagrange). Es ist nicht sinnvoll, das Geschwindigkeitsprofil zu variieren v : [ T ich , T F ] R unabhängig vom Positionsprofil Q : [ T ich , T F ] R in der (off-shell) Aktion funktional

    (D) S [ Q ]   =   T ich T F D T   L ( Q ( T ) , v ( T ) , T ) | v = Q ˙ .

  4. Es ist jedoch möglich, Felder neu zu definieren. ZB den Positionspfad zerlegen Q : [ T ich , T F ] R auf anderer Basis, zB durch Fourier-Reihen/Transformation, und variieren bzgl. die neuen Variablen.

  5. Stellen wir uns für den Rest dieser Antwort vor, dass das System gemischte Randbedingungen (BCs) mit einem anfänglichen Essential/Dirichlet-BC hat

    (E) Q ( T ich )   =   Q ich ,
    und ein letztes natürliches BC
    (F) P ( Q ( T F ) , v ( T F ) , T F )   =   0.
    Beachten Sie, dass BC (F) typischerweise die Endgeschwindigkeit einschränkt v ( T F ) . Wir überlassen es dem Leser, andere BCs zu betrachten.

  6. Eine Möglichkeit im Zusammenhang mit der Frage von OP besteht darin, eine nicht lokale Feldneudefinition des Formulars zu definieren

    (G) Q ( T )   =   ICH [ v ; T ]   :=   Q ich + T ich T D T   v ( T ) ,
    wo die Geschwindigkeit v die neuen dynamischen Variablen sind, und damit das (Off-Shell-) Aktionsfunktional nicht lokal wird
    (H) S [ v ]   =   T ich T F D T   L ( Q ( T ) , v ( T ) , T ) | Q = ICH [ v ; ] .
    Die funktionale Ableitung von Gl. (G) wird
    (ICH) δ ICH [ v ; T ] δ v ( T ' )   =   θ ( T ich T ' T T F )
    in einer hoffentlich offensichtlichen Notation. Das stationäre Wirkungsprinzip für die Wirkung (H) ergibt eine nichtlokale EL-Gleichung
    (J) T T F D T '   F ( Q ( T ' ) , v ( T ' ) , T ' ) | Q = ICH [ v ; ] + P ( Q ( T ) , v ( T ) , T ) | Q = ICH [ v ; ]     0 ,
    was äquivalent zu Gl. (C) & (F), und es entspricht der letzten Gleichung von OP.