Warum der Hamilton-Operator und der Lagrange-Operator in QFT-Störungsberechnungen austauschbar verwendet werden

Wann immer man Korrelationsfunktionen in der QFT mit Hilfe von Störungen berechnen muss, stößt man auf den folgenden Ausdruck:

0 | S Ö M e   Ö P e R A T Ö R S × exp ( ich S ( T ) ) | 0

wobei je nach Lehrbuch S entweder (bis zu einem Zeichen)

  1. L D T Wo L ist die Lagrange-Wechselwirkung

    oder

  2. H D T Wo H ist der Wechselwirkungs-Hamiltonoperator.

Es ist einfach zu beweisen, dass diese beiden Ausdrücke äquivalent sind, wenn Sie keine Zeitableitungen in den Wechselwirkungstermen haben. Diese Ausdrücke werden jedoch durch unterschiedliche Ansätze abgeleitet, und ich kann nicht von Grund auf erklären, warum (und wann) sie dieselbe Antwort geben.

Ergebnis 1 kommt aus dem Pfad-Integral-Ansatz, bei dem wir mit einem Lagrange-Operator beginnen und eine Störung in Bezug auf die Aktion durchführen, die das Integral des Lagrange-Operators ist. Grob gesagt ist die Exponentialfunktion die Wahrscheinlichkeitsamplitude der Trajektorie .

Ergebnis 2 kommt aus dem in QFT 101 gelehrten Ansatz: Ausgehend von der Schrödinger-Gleichung erraten wir relativistische Verallgemeinerungen (Dirac und Klein-Gordon) und wir erraten die für die zweite Quantisierung zu verwendenden Kommutierungsbeziehungen. Dann gehen wir zur üblichen Störungstheorie im Wechselwirkungsbild über. Grob gesagt ist die Exponentialfunktion der Zeitentwicklungsoperator .

Warum und wann sind die Ergebnisse gleich? Warum und wann ist die Wahrscheinlichkeitsamplitude aus dem Wegintegral-Ansatz ungefähr gleich wie der Zeitentwicklungsoperator?

Oder noch einmal formuliert: Warum liefern der Standpunkt, wo das Exponential eine Wahrscheinlichkeitsamplitude ist, und der Standpunkt, wo das Exponential der Evolutionsoperator ist, die gleichen Ergebnisse?

Es gibt einen Vorzeichenwechsel entweder in 1 oder in 2.

Antworten (4)

Aus L = H 0 v Und H = H 0 + v man sieht, dass sich (für ausreichend einfache Theorien) die Lagrange-Wechselwirkung und die Hamilton-Wechselwirkung nur um ein Vorzeichen unterscheiden.

Welche Bedingungen muss eine Theorie erfüllen, um als einfach genug angesehen zu werden, damit beide Formulierungen gleichwertig sind?
Ich denke, Sie haben den naiven Grund, den ich bereits angegeben habe, warum das alles funktioniert, wiederholt. Ich verstehe jedoch nicht, warum es von Grund auf richtig ist. Sorry für die Ungenauigkeit des Kommentars.
@Krastanov: Dafür gibt es keine ersten Prinzipien. Für einen allgemeinen Lagrange nicht von der Form L = T v , die Äquivalenz ist nicht wahr.

Nun, ein weiterer Grund, warum dies der Fall sein kann, ist, dass die Aktion in beiden Fällen dieselbe ist. Entweder Sie beginnen mit der Aktion S = L , oder man beginnt mit der sogenannten Phasenraumwirkung des Hamiltonoperators S = P Q ˙ H . Angesichts der Definition des Hamilton-Operators sollte klar sein, dass diese beiden Ausdrücke formal identisch sind, wenn Sie eine invertierbare Abbildung aus der Menge haben ( P , Q ) ( Q , Q ˙ ) . Da Interaktionsterme normalerweise nicht die zeitlichen Ableitungen der Konfigurationsvariablen beinhalten (obwohl es Ausnahmen gibt), ist es kaum überraschend, dass der Teil des Formalismus, der nur Interaktionen beinhaltet, formal fast identisch herauskommt.

Ich verstehe den Teil über das Starten von der "Phasenraumaktion" nicht. Ich glaube nicht, dass ich so etwas jemals gemacht habe (ich bin ein Anfänger.).
@Krastanov: Beginnen Sie mit der "Phasenraumaktion", die ich oben aufgestellt habe, und variieren Sie sie in Bezug darauf P Und Q . Das Ergebnis wird sein, dass Sie Hamiltons Bewegungsgleichungen herausbekommen. Es ist nur eine nette Art, den Hamiltonschen Formalismus eher als "Prinzip der kleinsten Wirkung" aussehen zu lassen.

Ausgehend von der Hamiltonschen Formulierung von QM kann man den Pfad-Integral-Formalismus ableiten (siehe Kapitel 9 in Weinbergs QFT Band 1), wo sich die Hamiltonsche Wirkung als proportional zu herausstellt D T ( P v H ) .

Für eine Unterklasse von Theorien mit "einem Hamilton-Operator, der quadratisch in den Impulsen ist" (siehe Abschnitt "9.3 Lagrange-Version der Pfad-Integral-Formel" im obigen Lehrbuch), der Begriff ( P v H ) kann in einen Lagrange umgewandelt werden L H = ( P v H ) . Dann ist die Lagrange- Wirkung proportional zu D T L H . Beide Aktionen führen zu denselben Ergebnissen , da die eine der anderen genau entspricht (und von ihr abgeleitet ist) .

D T ( P v H ) = D T L H

Außerdem verwendet man beim Arbeiten in der Wechselwirkungsdarstellung nicht den gesamten Hamiltonoperator, sondern nur die Wechselwirkung. Die Ableitung der Hamilton-Funktion ist die gleiche, außer dass jetzt die Gesamt-Hamilton-Funktion durch die Wechselwirkungs-Hamilton-Funktion ersetzt wird v . Auch hier haben Sie zwei äquivalente Formen, um die Aktion entweder in Hamilton- oder in Lagrange-Form zu schreiben.

Betrachtet man Hamiltonianer, deren Wechselwirkung v hängt nicht von den Impulsen ab, dann die P v Begriff verschwindet und die obige Äquivalenz zwischen den Aktionen reduziert sich auf

D T v = D T L v

wo offensichtlich die Wechselwirkung Lagrange ist L v = v

Das passiert zum Beispiel in QED, wo die Interaktion v hängt sowohl von der Position als auch von Dirac ab a aber nicht auf momenta.

Hinweis: In Ihrem Beitrag ist ein Vorzeichenfehler. Ich kann es nicht bearbeiten, weil es weniger als 10 Zeichen sind und ich den Fehler in einem Kommentar oben bemerkt habe, aber es bleibt.

Ist das Exponential in Form 1) nicht auch ein Operator? Dann ist es nicht wirklich die Wahrscheinlichkeitsamplitude einer Flugbahn, wie Sie behaupten. Beide Formen scheinen vom gleichen Ursprung, nämlich dem Hamiltonschen Formalismus, abzustammen, und beide Exponentiale haben im Wechselwirkungsbild den Status des Zeitentwicklungsoperators. Im pfadintegralen Ansatz wäre der Ausdruck das formal ganz andere Tier:

0 | einige Operatoren e ich S [ ϕ ^ ] | 0 = D ϕ einige Funktionen (Felder) e ich S [ ϕ ] ,
wobei nun die Exponentialfunktion auf der rechten Seite eine c-Zahl ist, die tatsächlich als Amplitude einer Feldkonfiguration interpretiert werden kann ϕ ( X ) . Das Integral ist eine Summe über alle solchen gewichteten Feldkonfigurationen.

Wenn Sie schnell sehen wollen, warum dies mit Ihrem Ausdruck identisch sein sollte, dann erinnern Sie sich an den Grundzustand | 0 ist im Allgemeinen kein Eigenzustand des Evolutionsoperators oder der Feldoperatoren. Sie kann jedoch als Summe von Feldeigenzuständen (kohärente Zustände) entwickelt werden. Sie können dann sofort sehen, dass die Entwicklung eine Summe von c-Zahl-Beiträgen ergibt, die ebenfalls mit einer Exponentialfunktion gewichtete Feldkonfigurationen darstellen. Wenn Sie dies tatsächlich richtig machen wollen, müssen Sie einige andere Dinge tun, wie die Raumzeit diskretisieren und an jedem Punkt vollständige Sätze von Feldeigenzuständen einfügen. Dies wird in den meisten feldtheoretischen Texten behandelt, zB Peskin & Schroeder oder Altland & Simons.

danke für die Korrekturen, aber sie ändern nichts an meiner Frage: Warum liefern der Standpunkt, bei dem das Exponential eine Wahrscheinlichkeitsamplitude ist, und der Standpunkt, bei dem das Exponential der Evolutionsoperator ist, dieselben Ergebnisse?
Nun, wenn Sie wirklich verstehen wollen, warum sie die gleichen Ergebnisse liefern, müssen Sie einfach die Herleitung durchgehen, wie bei allem anderen in der mathematischen Physik. Was ich sagen wollte, ist, dass beide Exponentiale letztendlich Amplituden darstellen, die mögliche Feldkonfigurationen gewichten. Um Übergangswahrscheinlichkeiten, Erwartungswerte oder was auch immer zu berechnen, summiert man immer über die Amplituden für nicht unterscheidbare Wege zwischen Anfangs- und Endzustand.
(Forts.) Im Pfadintegralformalismus ist diese Summe explizit, und wir sprechen im Allgemeinen von einem dominanten Beitrag, der vom klassischen stationären Pfad kommt δ S / δ ϕ = 0 , wobei Quantenfluktuationen um den stationären Pfad um einen Faktor unterdrückt werden e ich S / . Im Hamilton-Formalismus ist die Summe irgendwie in den Operatoren 'versteckt' und erscheint, weil Vertauschungsbeziehungen ungleich Null zwischen Operatoren bedeuten, dass die interessierenden Zustände (z. B. der Grundzustand, Teilchenzahl-Eigenzustände ...) keine Eigenzustände von sein werden Wechselwirkung Hamiltonian/Lagrangeian.
(Forts.) Im Operatorformalismus sind es also stattdessen Kommutierungsbeziehungen, die Schwankungen implizieren. Aber die physikalische Bedeutung ist die gleiche. Ich stelle mir Operatoren gerne als algebraische Buchführungsgeräte vor, die Ergebnisse des Pfadintegral-Formalismus reproduzieren. Aber das ist alles schrecklich vage und ungenau und wird wahrscheinlich einige andere Benutzer dieser Site irritieren, die eine andere persönliche Auffassung von der Bedeutung des Formalismus haben. Wenn Sie es selbst verstehen wollen, müssen Sie wirklich die Ableitung von einem Formalismus zum anderen in, sagen wir, einer der Referenzen, die ich gegeben habe, durchgehen.