Einige Fragen zur Herleitung von Feynman-Regeln in konkreten Fällen wurden hier bereits gestellt (z . B. Vorzeichen von Feynman-Regeln bei ableitenden Kopplungen , Feynman-Regeln für gekoppelte Systeme , Wie können wir die Feynman-Regel für die gewöhnliche QED 3-Vertex ableiten? , Rezept zur Berechnung von Scheitelfaktoren in Feynman-Diagrammen ). Eine allgemeinere Diskussion scheint jedoch zu fehlen, daher diese Frage.
Wie werden Feynman-Regeln für eine generische Theorie aus der Lagrange-Dichte abgeleitet ? Wie stehen die verschiedenen Methoden (z. B. zweite Quantisierung, funktionale Quantisierung) zueinander? Wann (oder ob) ist einer den anderen vorzuziehen?
Wann und warum sind zusätzliche Komplikationen (wie Faddeev-Popov- Verfahren) bei der Ableitung der Regeln beteiligt?
Der einfachste Weg ist, eine beliebige Prozessamplitude (S-Matrix) zu betrachten, sie in eine Reihe von Konstanten zu erweitern, dann das Wick-Theorem zu verwenden und schließlich zu erhalten, dass die n-te Amplitude aus der Summe über Multiplikationen von allen besteht mögliche Anzahl von Propagatoren und normale Ordnungsfeldoperatoren.
Manchmal ist es praktisch, nicht-perturbative Methoden zu verwenden. Formal bedeutet dies, dass wir die Wechselwirkungsdarstellung in eine Heisenberg-Darstellung ändern und n-Punkt-Funktionen einführen. Es kann diese n-Punkt-Funktion im Heisenberg-Bild gezeigt werden
Die Verbindung zwischen Operatorformalismus und Pfadintegrationsformalismus liegt in den unterschiedlichen Methoden zur Berechnung von n-Punkt-Funktionen. Zum Beispiel in Sachen Pfadintegration sieht aus wie
Der Pfadintegrationsformalismus ist sehr praktisch, da er die vollständige Aktion der Theorie (nicht nur Interaktionssummanden) enthält und daher alle Informationen über Symmetrien der Theorie enthält. Es hilft, Beziehungen für Scheitelpunktfunktionen abzuleiten (wie Slavnov-Taylor-Identitäten, Ward-Identitäten usw.). Sie können auch Feynman-Regeln "ableiten", indem Sie nur den Formalismus der Pfadintegration verwenden.
Komplikationen der Beschreibung können meistens nur auftreten, wenn Sie nicht-störende Beschreibung für Prozesse verwenden. Es gibt drei Beispiele.
Bei der Verwendung der Standard-Störungstheorie (Erweitern des S-Operators in einer Reihe) berücksichtigen Sie automatisch keine beschränkten Zustände (wie Pion) und topologische Konfigurationen (wie Instantons), die auch in der Wechselwirkungstheorie vorkommen. Aber störungsfreie Methoden erlauben es, diese Komplikationen zu berücksichtigen.
Wenn Sie eine Theorie mit Verbindungen der ersten Art zwischen kanonischen Koordinaten und Impuls annehmen (wie Eichtheorien), müssen Sie dieses Problem beseitigen, da es nicht erlaubt, unabhängige Sätze dynamischer Variablen zu bestimmen (dh die Theorie zu quantisieren). Wenn Sie jedoch eine Eichbedingung verwenden, hilft dies, das Problem zu beseitigen (in der Sprache der Pfadintegration bedeutet dies, dass Sie die Anzahl der Integrationen in den Feldern reduzieren, die auf der Eichbahn liegen), aber die Bezahlung dafür ist das Erscheinen eines fiktiven Feldes (Geister).
Manchmal werden einige Symmetrien in der nicht-perturbativen Beschreibung gebrochen. Beispielsweise ist die Verletzung der CP-Symmetrie (wenn man topologische Konstruktionen im Pfadintegralformalismus annimmt) und der chiralen Symmetrie bekannt.
Danu
glS
Nanashi No Gombe