Konzeptionelle Fragen zur Pfadintegralformulierung von QFT

Ich versuche gerade, mir die Pfadintegralformulierung von QFT beizubringen (nachdem ich zuvor den kanonischen Ansatz studiert habe), aber ich habe einige konzeptionelle Schwierigkeiten, die ich hoffentlich hier klären kann.

Betrachten Sie der Einfachheit halber den Fall eines freien, einzelnen reellen Skalarfelds. Die Pfadintegralformulierung für einen Zweipunktkorrelator ist in diesem Fall gegeben durch

0 | T { ϕ ^ ( X ) ϕ ^ ( j ) } | 0 = ( ich 2 ) 1 Z [ 0 ] δ 2 Z [ J ] δ J ( X ) δ J ( j ) | J = 0
Wo
Z [ J ] = D ϕ e ich D 4 X ( 1 2 ϕ ( + M 2 ) ϕ + J ( X ) ϕ ( X ) )
ist das erzeugende Funktional für die freie Theorie.

Hier liegt mein Problem. Sind die Felder ϕ ( X ) im funktionalen Z [ J ] klassische Felder oder sind es Operatorfelder?

Wenn es sich um klassische Felder handelt, definiert das Pfadintegral dann eine Art Abbildung zwischen Feldoperatoren ϕ ^ ( X ) und ihre klassischen (c-Nummer) Analoga?

Die Bücher, die ich bisher gelesen habe (Srednickis QFT-Buch und M. Schwartz's "QFT & the Standard Model") scheinen in diesem Bereich etwas mehrdeutig zu sein.

Das Pfadintegral integriert klassische Körper.
@ACuriousMind Das dachte ich, aber ich wollte sichergehen. Mit „klassischem Feld“ ist einfach der Feldwert an einem Raumzeitpunkt gemeint X μ ein Eigenwert des Feldoperators ist ϕ ^ ( X ) an diesem Punkt? Gibt es auch Bücher über den Pfad-Integral-Ansatz, die Sie besonders empfehlen würden?
Im Wesentlichen ein Duplikat von physical.stackexchange.com/q/9183/2451
Klassische Felder. Die LHS ist nur eine Zahl (wegen dem Erwartungswert <0| ... |0>). Daher muss die RHS auch nur eine Zahl sein, sodass die Felder auf der RHS nicht Operator-bewertet werden können. Dies ist ein unglücklicher Notationsmissbrauch.

Antworten (1)

Im Pfadintegral gilt ϕ ist kein Operator, sondern eine Dummy-Integrationsvariable, die über alle möglichen klassischen Feldkonfigurationen läuft.

Sie können zwischen den beiden Formalismen wechseln, indem Sie die folgende Beziehung verwenden:

0 | T { A ^ B ^ . . . z ^ } | 0 = D ϕ e ich S [ ϕ ] / A ( ϕ ) B ( ϕ ) . . . z ( ϕ ) D ϕ e ich S [ ϕ ] / ,

Wo:

  • S [ ϕ ] ist die klassische Aktion
  • A ( ϕ ) , B ( ϕ ) , . . . , z ( ϕ ) sind einige klassische Observables (Funktionen auf dem Konfigurationsraum)
  • A ^ , B ^ , . . . , z ^ sind die entsprechenden Quantenoperatoren. Hier gibt es eine Ordnungsmehrdeutigkeit, die jedoch durch die aufgelöst wird
  • T ist das chronologische Ordnungssymbol (es ordnet eine Reihe von Operatoren nach der Zeitkoordinate neu, absteigend)
Folgt dies auf der rechten Seite der Gleichung in Ihrer Antwort aus den Operatoren, die auf die Feldeigenzustände einwirken, z A ^ | ϕ = A ( ϕ ) | ϕ ? Ist es eine Art Abbildung zwischen dem Operatorformalismus und dem Pfadintegralformalismus, sodass sie dieselben Korrelationsfunktionen erzeugen?
@ Will genau. Beweise finden sich in fast jedem QFT-Lehrbuch.
Gibt es bestimmte QFT-Bücher, die Sie empfehlen würden?
@Will Peskin & Schreder wäre meine Wahl, obwohl es möglicherweise bessere Optionen gibt
In der rechten, innerhalb des Integrals: Wo sind die A ( ϕ ) ausgewertet? Da es sich um Funktionen des Konfigurationsraums und nicht um Funktionen handelt, sollte es so etwas wie sein A ( ϕ ( X ) ) oder etwas ähnliches.
@Quantumwhisp Jedem Quantenoperator können wir eine Funktion einer klassischen Konfiguration zuordnen. Die Details dieses Verfahrens können in jedem Intro zu Pfadintegralen gefunden werden.