Warum wird der Lagrange-Ansatz gegenüber dem Hamilton-Ansatz in der QFT bevorzugt? [Duplikat]

Beim Übergang von der nicht-relativistischen Quantenmechanik (QM) zur QFT gibt es eine deutliche Änderung des verwendeten Ansatzes. QM verwendet fast ausschließlich Hamiltonains. Auf Lagrange basierende Methoden wie die Pfadintegrale werden selten verwendet. In der QFT scheint ein Lagrange-basierter Ansatz weiter verbreitet zu sein, obwohl auch Hamilton-Operatoren verwendet werden können. Warum ist das so? Ist der Grund historisch oder handelt es sich um "diese Methode funktioniert in dieser Situation besser"? Oder hat es etwas mit der relativistischen Natur von QFT zu tun?

Mögliche Duplikate: physical.stackexchange.com/q/78508/2451 und Links darin.
Die Prämisse der Frage ist falsch, es gibt keine allgemeine Präferenz für die Lagrange-Funktion. Das kanonische Quantisierungsverfahren verwendet zum Beispiel den Hamilton-Operator, und es ist immer noch das erste, was die meisten in der QFT tun. Es ist nur ein bisschen unbequem, den Hamilton-Operator in einer relativistischen Theorie zu verwenden, weil die Lorentz-Invarianz dabei nicht manifest ist, aber beide Varianten haben in verschiedenen Situationen die Vorteile.

Antworten (4)

Die Annahme in der Frage ist nicht ganz korrekt, da die kanonische Formulierung von QFT den Hamiltonian verwendet.

In der QFT hat der Hamiltonoperator jetzt Feldoperatoren, wobei Eigenzustände jetzt Funktionale sind. In der gewöhnlichen Wellenmechanik sind die Wellenfunktionen reellwertige Funktionen, die Funktionen von Ort und Zeit sind. In der QFT werden die "Wellenfunktionen" zu Wellenfunktionalen: Die Wahrscheinlichkeitsdichte nimmt Zeit und Wellenfunktionen (statt Position) als unabhängige Variablen auf. Stellen Sie sich vor, Sie haben den Hamilton-Operator eines einzelnen harmonischen Oszillators: H ich = P 2 / 2 M + M ω Q 2 / 2 . Fügen Sie nun mehrere harmonische Oszillatoren hinzu: H = H ich + v ich N T . Somit haben Sie jetzt viele Impuls- und Positionsoperatoren in Ihrem Konfigurationsraum. Felder haben unendlich viele „harmonische Oszillatoren“ und damit unendlich viele Freiheitsgrade im Konfigurationsraum. Anstatt viele Positionsoperatoren zu haben, haben wir also eine unabzählbar unendliche Anzahl von ihnen, die außerdem ein Label benötigen ich die wir oben verwendet haben: jetzt verwenden wir X als Parameter des Feldes (ganz anders als als Operator), und unsere Wellenfunktion wird zu einer Wellenfunktion, die Felder aufnimmt, die durch Ort und Zeit parametrisiert sind.

Hier ist eine ausgezeichnete Referenz, die diesen Prozess beschreibt: https://physics.ucsd.edu/students/courses/fall2015/physics200a/Hamiltonian%20Formulations%20for%20Continuua-RFS.pdf

Jetzt macht es keinen Spaß, sich mit der funktionalen Schrödinger-Gleichung zu beschäftigen: http://arxiv.org/abs/hep-th/9306161

Das ist also ein Grund: Es ist schwierig, die funktionale Schrödinger-Gleichung zu verwenden.

Ein zweiter Grund: Offensichtliche Lorentz-Invarianz des Lagrange-Operators, da Zeit und Raum gleich behandelt werden, im Gegensatz zum Hamilton-Operator, der eine zusätzliche Zeitableitung als besonders hervorhebt.

Ein dritter Grund: Obwohl die kanonische Formulierung von QFT den Hamilton-Operator verwendet, erhalten wir einen viel einfacheren Hamilton-Operator als Funktion der Erzeugungs- und Vernichtungsoperatoren, wenn wir Kommutierungsbeziehungen der Felder im freien Hamilton-Operator auferlegen (unter Umgehung der Schwierigkeit, den funktionalen Schrödinger zu verwenden Gleichung), aber das ist nicht so elegant wie das konzeptionelle Summieren über alle Feldkonfigurationen, was unserer Meinung nach in QM tatsächlich passiert.

Das ist mir im Moment durch den Kopf gegangen.

In der Teilchenphysik, wo quantenmechanische Formalismen eine Notwendigkeit sind, spielen Symmetrien und Erhaltungssätze in den Daten eine herausragende Rolle. Der Lagrange-Operator ist mit dem Satz von Noether verbunden, der daraus die erhaltenen Größen und die Symmetrien, die sich aus den Daten ergeben, sauber angibt: SU(3)xSU(2)xU(1).

Diese Frage ist eine Art Satz von Noether für den Hamitonian

Ich glaube, dass "mathematische Einfachheit" die Antwort ist.

Symmetrien werden auch prominent in der nicht-relativistischen QM verwendet. Aber dort verwenden wir die Invarianz des Hamilton-Operators unter Symmetrieoperationen, anstatt den Lagrange-Formalismus zu verwenden. Wie hier . Die Antwort ist höchstwahrscheinlich mathematische Einfachheit. Die Frage ist, warum tritt das in QFT auf und nicht in QM?
QFT ist eine Vielteilchentheorie und die Komplexität ist groß, wenn man Grundzustände und Erzeugungs- und Vernichtungsoperatoren aller möglichen Felder aus der Tabelle der Elementarteilchen betrachtet. Einfachheit ist wichtig, und es gibt auch ein Gefühl von "Schönheit", wenn die Mathematik "sauber" ist.

Um eine Antwort von @SalehHamdan zu ergänzen (der ich vollkommen zustimme).

Ein weiterer Grund für die Dominanz von Pfadintegralen im Bereich der QFT-Rechenverfahren liegt darin begründet, dass wir uns in erster Linie für Greensche Funktionen interessieren, die raumzeitabhängig sind und im Sinne des Pfadintegralformalismus eine klare Bedeutung haben.

Im Gegensatz dazu interessieren uns im QM die Funktionen von Green nicht. Nehmen Sie zum Beispiel den harmonischen Oszillator. Die entsprechende Green'sche Funktion hängt von den beiden Zeitpunkten ab und liefert somit keine räumliche Information. Sie kann nicht als Wahrscheinlichkeitsamplitude eines Teilchenaustausches zwischen zwei Raumzeitpunkten interpretiert werden, da sie nicht von Ortskoordinaten abhängt!

In der ersten Quantisierung interessieren wir uns also für eine andere Art von Größen (z. B. Matrixelemente des Evolutionsoperators). Und das sind genau die Art von Problemen, die bequem im kanonischen Quantisierungsformalismus gelöst werden können.

Der Lagrange-Formalismus macht die Lorentz-Invarianz der Theorie transparenter. Obwohl der Hamiltonsche Formalismus im Wesentlichen kovariant ist, bricht er die Lorentz-Invarianz formal. Für weitere Einzelheiten können Sie S. Weinberg, The Quantum Theory of Fields (1995), Kap. 7,9.

Könnten Sie ein bisschen mehr erklären. Es wäre schön, wenn die Antwort bis zu einem gewissen Grad in sich geschlossen wäre. Wenn ich das nötige Hintergrundwissen hätte, um Weinberg zu lesen, würde ich diese Frage nicht stellen.
@biryani Tatsächlich bin ich mir nicht sicher, welche Art von Detail Sie wissen möchten. Ich empfehle Ihnen nicht, das ganze Buch zu lesen. Sie können einfach den einleitenden Teil von Kap. 9. Ich bin mir sicher, dass jeder, der etwas Ahnung von QFT hat, es lesen kann.
Der Hamiltonian ist H = P Q ˙ L Wo P = L / Q ˙ , Rechts? Aber Q ˙ = Q / T , also muss man, um zum Hamiltonschen Formalismus überzugehen, eine zeitähnliche Richtung wählen. Sie können jedoch den unveränderlichen Ausdruck schreiben Q ˙ = u μ μ Q und sagen Sie, was Sie erhalten, ist der Hamilton-Operator gemäß einem Beobachter mit 4-Geschwindigkeit u μ . Ich denke, um das zu verstehen, sollten Sie sich daran erinnern H ist die Zeitkomponente eines 4-Vektors, also werden sich Beobachter in relativer Bewegung nicht einigen H . Deutlicher, H Zeitentwicklung erzeugt und Beobachter widersprechen
darüber, was Zeit und was Raum ist. Aber falls L Lorentz-invariant ist, ist kein Beobachter privilegiert und es gibt kein Problem. Beachten Sie, dass ich nichts Quanten genannt habe - hier geht es ausschließlich um Relativität und ist in einer klassischen Feldtheorie gleichermaßen gültig. Es gilt auch für Hamiltonsche Formalismen in der Allgemeinen Relativitätstheorie. (Dann ist es "schlimmer", weil in der speziellen Relativitätstheorie zumindest Trägheitssysteme privilegiert sind. In der allgemeinen Relativitätstheorie haben Sie keine solche Hilfe.)
@RobinEkman: das wäre eine nette Antwort ...
Neben Q ˙ es gibt eine andere Quelle für die Nicht-Invarianz des Hamilton-Operators. Die genannte Formel verwendet keine Lagrange-Dichte L oder Aktion S die Skalare sind, aber eine Lagrange-Funktion L = D 3 X L , S = D T L . Alles im Hamiltonschen Formalismus dreht sich darum, auf einer konstanten Zeitscheibe zu leben, die die Lorentz-Invarianz offensichtlich bricht.