Ableitung des Lagrange-Pfadintegrals vom Hamilton-Pfadintegral

Meine Frage bezieht sich auf die beiden Versionen des Pfadintegrals, Hamiltonian und Lagrangian, die in den meisten Ableitungen der Pfadintegral-Quantenmechanik auftauchen, aber speziell in diesem Fall die Ableitung, die in Altland und Simons S. 98-101.

Sie betrachten den Verbreiter X F , T F |   U ( T F ; T ich ) | X ich , T ich , diskretisieren den Pfad und den Zeitentwicklungsoperator U hinein N Schritte und fügen Sie viele Identitäten des Formulars ein D X | X X | Und D P | P P | um zu einem Ausdruck für den Propagator zu gelangen, der gegeben ist durch:

(1) X F , T F |   U ( T F ; T ich ) | X ich , T ich = D X exp [ ich 0 T D T ' ( P Q ˙ H ( P , Q ) ) ]     mit H = T + v

bei dem die D X steht für ein Pfadintegral über BEIDE P Und Q , dh D X = lim N D Q 1 . . . D Q N D P 1 . . . D P N . Sie nennen dies das Hamiltonian/Phase Space Path Integral und dies scheint die Standardmethode zu sein, es abzuleiten, wenn man sich verschiedene Literatur ansieht.

Dann ziehen sie eine Verbindung zum klassischen Hamiltonian und Lagrangeian wo L = P Q ˙ H ( P , Q ) und davon inspiriert machten sie sich daran, ein Lagrange-Pfadintegral zu finden. Beschränkung auf Hamiltonoperatoren quadratisch in P sie führen die durch P Integrale von D X und finden Sie ein Pfadintegral mit einem Ausdruck im Exponenten, der als klassischer Lagrange identifiziert werden kann:

(2) X F , T F |   U ( T F ; T ich ) | X ich , T ich = D Q exp [ ich 0 T D T ' L ( Q , Q ˙ ) ]     mit     L = T v

die sie passend das Lagrange-/Konfigurationsraumpfad-Integral nennen , was auch der Standardweg zu seiner Ableitung zu sein scheint.

Meine Frage ist:

Da wir während der Ableitung alle Operatoren ersetzt haben P ^ Und Q ^ mit "Istwerten" entlang eines Pfades im Phasenraum, warum können wir das nicht einfach direkt identifizieren L = P Q ˙ H ( P , Q ) und anwenden, was wir von der Lagrange-Mechanik gelernt haben, um sofort zu schreiben L = T v in Gl. (1) ohne das Umständliche tun zu müssen P Integrale? Offensichtlich würde uns dies etwas anderes geben als Gl. (2):

(3) X F , T F |   U ( T F ; T ich ) | X ich , T ich = D X exp [ ich 0 T D T ' ( L ( Q , Q ˙ ) ]

Lagrange = L ( Q , Q ˙ ) Hamiltonsche Lagrangedichte = L H ( Q , P ) := P Q ˙ H ( Q , P ) .
Kleiner Kommentar zum Beitrag (v2): Die LHS von Gl. (1)-(3) bei Altland & Simons ist Q F , T F |   U ( T F ; T ich ) | Q ich , T ich nicht X F , T F |   U ( T F ; T ich ) | X ich , T ich .
Wenn Sie die dp-Integration im Pfadintegral durchführen, erhalten Sie nur 1/2 m xdot^2, wenn H = p^2/2m + V(x) (was ein Gaußsches Integral ist). Überraschenderweise gibt es einen Unterschied für General H.

Antworten (2)

Nun, es gibt eine Menge Gründe. Nennen wir nur einige:

  1. Im Feynman-Pfadintegral sollte man über alle Historien/Off-Shell-Konfigurationen summieren und nicht nur die stationären Werte einfügen.

  2. Wenn wir vom Lagrange-Pfadintegral ausgehen, müssten wir auf physikalischer Strengeebene den Ad-hoc-Feynman-Fudge-Faktor von Hand einfügen, vgl. zB dieser Phys.SE Beitrag. Andererseits lässt sich dieser Fudge-Faktor sauber aus dem Hamiltonschen Pfadintegral über den Gaußschen erklären P -Integrationen.

  3. Die Lagrangesche kinetische Energie ist subtiler als ihr Hamiltonsches Gegenstück aufgrund der Zeitordnungsvorschrift, vgl. zB diese Phys.SE-Antwort.

Ich denke, das Hauptproblem ist das, was Sie bereits in Ihrem letzten Absatz angesprochen haben. Der Integrand, das ist der e ich S Teil, ist nicht das einzige Ergebnis einer Ableitung einer Pfadintegralformel. Eine weitere ebenso wichtige Zutat, die hergeleitet werden muss, ist das Wegmaß D Q oder D X .

Es ist durchaus möglich, von einer Formulierung zur anderen zu gehen, aber Sie müssen sich etwas mehr Mühe geben, als stumpf in den Integranden einzufügen. Wenn Sie eine Aussage wie schreiben L = P Q ˙ H ( P , Q ) , ist etwas Vorsicht geboten. Sie können nicht überlegen Q ˙ in dieser Beziehung eine unabhängige Variable zu sein. Sie müssen die Legendre-Transformation verwenden, um aus dem Variablenpaar zu gelangen ( Q , Q ˙ ) zum Paar ( Q , P ) , wie P ( Q , Q ˙ ) = L Q ˙ ( Q , Q ˙ ) oder seine Umkehrung.

Damit geht man von der Bahn einer angehobenen Kurve aus ( Q ( T ) , Q ˙ ( T ) ) zu einem Phasenraumpfad ( Q ( T ) , P ( T ) ) , ändern Sie die Koordinaten, was zu einer Änderung des Integrationsmaßes führt D X Zu D Q . Es ist etwas umständlich, diese Transformation ganzzahliger Maße allein durch die Maße zu beschreiben, daher ist es normalerweise einfacher, die Ableitung nur zweimal für zwei verschiedene Sätze von Variablen durchzuführen.

Mathematisch ist dies ähnlich wie die Tatsache, dass Sie die Jacobi-Determinante einbeziehen müssen, wenn Sie Koordinaten in einer Normalen ändern N -dimensionales Integral

Φ ( Ω ) D X N F ( X ) = Ω D j N | det D Φ ( j ) | F ( Φ ( j ) ) .