Warum können wir keinen Hamiltonoperator durch Einsetzen erhalten?

Diese Frage mag etwas doof klingen. Warum können wir den Hamiltonoperator eines Systems nicht einfach durch Auffinden erhalten Q ˙ bezüglich P und wertet dann die Lagrange-Funktion mit aus Q ˙ = Q ˙ ( P ) ? Würden wir dann nicht eine Lagrange-Funktion erhalten, ausgedrückt durch T , Q Und P ?

Warum müssen wir verwenden

H ( T , Q , P ) = P Q ˙ L ( T , Q , Q ˙ ) ?

Oder ist es das, was auch immer die Lagrange-Methode ist, um sie zu finden? Q ˙ = Q ˙ ( T , Q , P ) . Geben Sie uns diese Gleichung für H ?

Ich möchte das nur hinzufügen, wenn Sie versuchen, es loszuwerden Q ˙ es ist im Allgemeinen ein fn von beidem Q Und P : Q ˙ = Q ˙ ( Q , P ) .
Mehr zur Legendre-Transformation: physical.stackexchange.com/q/4384/2451 und Links darin.

Antworten (5)

Eine ziemlich grundlegende Bemerkung ist, dass wir uns normalerweise eindeutig identifizieren können

L = T U

Wo T ist die kinetische Energie und U ist die potentielle Energie, und

H = T + U

Das Ausdrücken dieser Größen für z. B. eine Hooke-ähnliche Feder (oder irgendein System, wo U 0 ) würde Ihnen ein Problem mit dem Vorzeichen geben U wenn Sie einfach den gefundenen Ausdruck ersetzen Q ˙ ( P ) ins Lagrange. 1 Der Hamilton-Operator ist also definitiv nicht nur der Lagrange-Operator mit Q ˙ ausgedrückt in Bezug auf P .

Mathematischer ausgedrückt ist der Hamilton-Operator als die Legendre-Transformation des Lagrange-Operators definiert. (Einige Erläuterungen zur Legendre-Transformation - insbesondere im Zusammenhang mit Lagrange und Hamilton - finden Sie in meiner Antwort hier sowie in den anderen Antworten auf diese Frage.)


1 In der Tat wäre die Lagrange-Funktion für ein solches (1D)-System

L ( Q , Q ˙ [ , T ] ) = M Q ˙ 2 2 k Q 2 2

für die der kanonisch konjugierte Impuls gilt

P = L Q ˙ = M Q ˙

und deshalb

H ( Q , P [ , T ] ) = M Q ˙ Q ˙ M Q ˙ 2 2 + k Q 2 2 = M Q ˙ 2 2 + k Q 2 2 H ( Q , P [ , T ] ) = P 2 2 M + k Q 2 2 .

Einfach einfügen P in den Lagrange würde nachgeben

P 2 2 M k Q 2 2 .

Beachten Sie den Vorzeichenunterschied des zweiten Terms.

Ich weiß zwar zu schätzen, dass Wouters Antwort zeigt, dass Sie die oben genannte Substitution tatsächlich nicht einfach durchführen können, sie beantwortet meiner Meinung nach jedoch nicht wirklich die Frage (dh warum funktioniert die Substitution nicht).

Die zugrunde liegende Verwirrung rührt wahrscheinlich von der Tatsache her, dass in der Mathematik eine Substitution stattfindet Q ˙ ( P ) eingesteckt ist F ( T , Q , Q ˙ ) Sie werden sicherlich mit einer Funktion enden F ( T , Q , Q ˙ ) = G ( T , Q , P ) .

Die eigentliche Antwort auf die Frage ist also, dass der Lagrange- und der Hamilton-Formalismus nur zwei verschiedene Paradigmen sind, und egal, was Sie stattdessen in den Lagrange einsetzen Q ˙ Sie werden immer mit einem anderen Lagrangian enden (aber für ein anderes Problem). Mit anderen Worten die L vor ( T , Q , Q ˙ ) hat andere Auswirkungen als die H , wie stationäre Aktion, N Gleichungen zweiter Ordnung für N Koordinaten (wo N ist die Zahl der Freiheitsgrade) vs. 2 N Gleichungen erster Ordnung für 2 N Koordinaten usw. Dies ist anders als in der Mathematik, wo F trägt keine andere Annahme anders zu G .

Was Sie geschrieben haben, ist eine variable Änderung im Rahmen derselben Lagrange-Funktion. Es bleibt ein Lagrange.

Ich würde argumentieren, dass der Grund, warum Ihre Methode fehlschlägt, darin besteht, dass die Umwandlung zwischen Lagrange- und Hamilton-Dynamik keine einfache Substitution ist, sondern durch die mathematische Transformation von Koordinatenbasen, bekannt als Legendre-Transformation , die in Form der Hamilton- und Lagrange-Funktionen gegeben ist

H ( Q , P ) = L Q ˙ Q ˙ L ( Q , Q ˙ )

Wie Wouter betont , ergibt die Transformation, die Sie anbieten, eigentlich nicht die richtige Transformation.

Die Berechnung eines Hamilton-Operators aus einem Lagrange-Operator führt uns zu einer neuen Größe, die eine Funktion von Koordinaten und Impulsen ist. Wenn Sie einfach die Geschwindigkeit als Funktion des Impulses in den Lagrangian einsetzen, hängt der "Hamiltonian" implizit von der Geschwindigkeit ab. Das wollen wir nicht.

Lassen Sie mich Ihnen ein Beispiel zeigen, um zu erklären, warum der Hamilton-Operator (der übliche) nicht von der Geschwindigkeit abhängt. Nehmen wir an, das System ist eindimensional. So ist die Lagrange-Funktion L = L ( Q , Q ˙ ) . Die Euler-Lagrange-Gleichung ist

D D T L Q ˙ = L Q .

Das kanonische Momentum ist P = L / Q ˙ . Wenn wir die Legendre-Transformation machen, haben wir

H ( P , Q ) = P Q ˙ L ( Q , Q ˙ ( P ) )

und betrachten Sie die Variation von H :

δ H = P δ Q ˙ + Q ˙ δ P L Q δ Q L Q ˙ δ Q ˙ .

Wir können jetzt die Definition von einfügen P :

δ H = Q ˙ δ P L Q δ Q

was das zeigt H ist keine explizite Funktion von Q ˙ , was wir wollen.