Hamiltonsche Gleichungen aus der Aktion mit Randbedingungen, die Ort und Impuls beinhalten

Im Allgemeinen, wenn Sie die Aktion erhalten

S = T 1 T 2 D T ( P Q ˙ H )

die Randbedingungen sind

Q ( T 1 ) = Q 1 Und Q ( T 2 ) = Q 2 .

Dies ist nützlich, weil zu berechnen δ S wir führen eine partielle Integration mit Randterm durch

[ P δ Q ] T 1 T 2 = 0.

Aber angenommen, ich gebe Ihnen andere Randbedingungen für die Aktion, nämlich

Q ( T 1 ) = Q 1 Und P ( T 2 ) = P 2 .

Dann lösen δ S = 0 sollte Ihnen immer noch Hamiltons Gleichungen geben, denke ich, aber ich habe Probleme, dies zu zeigen, da ich seitdem lästige Randbedingungen bekomme δ Q ( T 2 ) 0 .

Seit δ S = 0 muss für jede Variante gelten δ Q , haben Sie nur dann ein konsistentes Problem P 2 = 0 . Ansonsten lässt das Problem keine Lösungen zu.

Antworten (1)

I) Im Allgemeinen ist es für eine gegebene Wahl von Randbedingungen wichtig, die Aktion mit kompatiblen Randtermen/Termen der totalen Divergenz anzupassen, um die Existenz der Variations-/Funktionsableitung sicherzustellen . Wie OP feststellt, besteht das Problem (bei der Ableitung des Euler-Lagrange- Ausdrucks) darin, dass das übliche Argument der Integration durch Teile fehlschlägt, wenn die Randbedingungen (BCs) und die Randbedingungen (BTs) nicht kompatibel sind.

II) Konkret für die gemischten BCs

(1) Q ( T ich )   =   Q ich Und P ( T F )   =   P F ,

was OP berücksichtigt, müssen wir die Standard-Hamilton-Aktion vorbereiten

(2) S 0 [ P , Q ]   =   T ich T F D T   { P Q ˙ H }

mit totalem Divergenzterm D D T ( P F Q ) . Die neue Aktion wird

(3) S [ P , Q ]   =   T ich T F D T   { ( P P F ) Q ˙ H } ,

oder was darauf hinausläuft,

(4) S [ P , Q ]   =   T ich T F D T   { P ˙ ( Q ich Q ) H } .

Es ist einfach, die BCs (1) zu verwenden, um zu zeigen, dass die Aktionen (3) und (4) gleich sind.

III) Wenn wir nun die Aktion variieren (3)

(5) δ S [ P , Q ]   =   [ ( P P F ) δ Q ] T ich T F + T ich T F D T   { ( Q ˙ H P ) δ P ( P ˙ + H Q ) δ Q } ,

die BCs (1) heben die gesamte Derivatlaufzeit auf

(6) [ ( P P F ) δ Q ] T ich T F   = ( 1 )   0 ,

sodass die Variante (5) nur Massenbegriffe enthält. Die entsprechenden Euler-Lagrange-Gleichungen werden zu Hamilton-Gleichungen.

IV) Das obige Beispiel kann auf andere BCs verallgemeinert werden. Wir überlassen es dem Leser, die kompatiblen BTs herauszuarbeiten.

Ich denke, dass diese Antwort SEHR wichtig ist. Vielen Dank, Qmechaniker!
Qmechanic, was würden Sie schreiben, wenn Sie das Momentum an beiden Endpunkten fixieren möchten ? Und ist es in Ihrer obigen Antwort etwas seltsam, dass Ihr neuer Lagrangian von den Endpunkten abhängt?
Ich bin ein Neuling in der Sache, aber ich glaube nicht, dass Sie Randbedingungen verwenden können, die nur Impuls beinhalten. Soweit ich verstehe, wäre dies wie das Lösen einer Differentialgleichung ohne Angabe von Randbedingungen bezüglich der Funktion, sondern nur ihrer Ableitungen.
@ Yair M: Denken Sie an Neumann BCs .
Mein Fehler natürlich