In Pfadintegralen sind Lagrangian oder Hamiltonian grundlegend?

Beim Studium von Pfadintegralen kam mir eine Frage in den Sinn... Welche Darstellung ist grundlegender, um den Propagator zu berechnen?

Die auf dem Hamiltonian (Phasenraum) basierende?

K ( B | EIN ) = D [ p ] D [ q ] exp { ich d t [ p q ˙ H ( p , q ) ] }

oder die auf dem Lagrangian (Konfigurationsraum) basierende?

K ( B | EIN ) = D [ q ] exp { ich d t L }

Beim Lesen der Feynman-These sehen wir, dass er bestätigt, dass „[...] eine Methode zur Formulierung eines Quantenanalogs von Systemen ausgearbeitet wurde, für die kein Hamiltonian, sondern ein Prinzip der kleinsten Wirkung existiert. Es ist eine Beschreibung dieser Methode, die stellt diese These dar." Er scheint die Lagrange-Form als grundlegender anzunehmen.

Andere Autoren, wie Hatfield oder Swanson, scheinen die Phasenraumform als grundlegender anzusehen. Sie sehen die andere Form als Sonderfall, wo die p Die Abhängigkeit ist quadratisch.

Das ist also meine Frage.
Welcher ist vertrauensvoller? Gibt es ein Beispiel, wo eine Ansicht privilegiert ist?

Die Hamiltonsche Formulierung ist grundlegender. Allerdings mit einem einfachen Hamiltonian wie H = p 2 2 m + v ( q ) , wenn Sie die Einbindung vornehmen p , finden Sie leicht die Lagrange-Formulierung
Warum ist Hamiltonian grundlegender? Es gibt ein Beispiel, bei dem wir nach Lagraian die falsche Antwort finden? Und was ist mit der Feynman-These? Wo er ein Beispiel ohne Hamiltonsche Form zu beschreiben scheint?
Bereits auf klassischem Niveau werden Sie Probleme mit Hamiltonianern wie z H = p 2 2 m + λ p q . Hamilton-Gleichungen ergeben p ˙ / m + λ p = 0 . Diese Art von Beziehung kann nicht aus Euler-Lagrange-Gleichungen erhalten werden.
@Trimok kann nicht? Tut mir leid, wenn ich etwas irreführe ... aber der bestimmte Hamiltonian, den Sie zeigen, scheint sich in einer Legendre-Transformation gut zu benehmen ... das Momenta ist p = m ( q ˙ λ q ) (keine Einschränkungen hier) und der Lagrangian ist einfach L = m 2 q ˙ 2 + m 2 λ 2 q 2 λ m q q ˙ . Euler-Lagrange gibt uns q ¨ λ 2 q = 0 was genau dasselbe ist, was durch die kanonischen Gleichungen erhalten wird (wenn wir ersetzen p ).
Sie haben Recht ... : Ich habe auch überprüft, dass für diesen speziellen Hamiltonian die beiden Formulierungen auf klassischer Ebene äquivalent sind. Nun, das kanonische Momentum p = m ( q ˙ λ q ) ist körperlich sehr "besonders"..

Antworten (1)

Kommentare zur Frage (v2):

1) Die Entsprechung zwischen Lagrange- (L) und Hamilton-Theorie (H) ist voller Feinheiten. Einige allgemeine Werkzeuge für singuläre Legendre-Transformationen sind verfügbar, wie z. B. die Dirac-Bergmann-Analyse, die Faddeev-Jackiw-Methode usw. Aber anstatt ein vollständiges Verständnis und die Existenz der LH-Korrespondenz zu beanspruchen, ist es wahrscheinlich fairer zu sagen, dass wir eine lange Liste haben von Theorien (wie zB Yang-Mühlen, Cherns-Simons, GR, etc.), wo beide Seiten der LH-Korrespondenz ausgearbeitet wurden.

2) Im Allgemeinen werden Pfadintegrale über eine störungsbedingte Erweiterung um eine Gaußsche freie Theorie hinaus kaum verstanden, um darüber nachzudenken, was passiert, wenn die Impulse p nicht quadratisch sind, ist nur ein Teil eines größeren Problems.

3) Ein grundlegender Unterschied zwischen Lagrange- und Hamilton-Theorien besteht darin, dass es in Hamilton-Theorien formal eine kanonische Wahl des Wegintegralmaßes gibt, während das Lagrange-Wegintegralmaß traditionell nur aus festen modulo-eichinvarianten Faktoren besteht. In diesem Sinne ist die Hamiltonsche Formulierung grundlegender.

Im Detail, wenn wir davon ausgehen, dass der Phasenraum einer Hamiltonschen Theorie mit einer symplektischen Zweierform ausgestattet ist

(1) ω   =   1 2 d z ich   ω ich J d z J ,

Es gibt einen kanonischen Maßfaktor

(2) ρ   =   P f ( ω ich J )

gegeben durch den (super) Pfaffian , zumindest für endlichdimensionale Integrale, die unter günstigen Umständen auf unendliche Dimensionen verallgemeinert werden können. Dieser Messfaktor ρ ist nur 1 in Darboux-Koordinaten ( q 1 , , q n , p 1 , , p n ) mit ω = d p ich d q ich .

In Bezug auf die Lagrange-Hamilton-Funktion hat mir das, was Sie über das Maß gesagt haben, die Dinge klarer gemacht. Wie auch immer, bei der Analyse der Unterschiede der Ansätze wäre es schön, andere Pfadintegrale zu berechnen ... Über nicht-gaußsche Pfadintegrale ... wissen Sie von irgendwelchen Bemühungen zur Berechnung von Fällen, in denen die Impulse nicht quadratisch sind? Oder gibt es ein grundsätzliches Verbot?