Beim Ableiten des Ausdrucks für den exakten Propagator
für Theorie verwenden alle mir bekannten Bücher folgendes Argument:
Hier ist die Summe aller irreduziblen Diagramme.
Wenn wir Feynman-Diagramme für die niedrigere Ordnung verwenden, können wir sehen, dass dies wahr ist, aber was ist mit den höheren Ordnungen? Gibt es einen formalen Beweis (durch Induktion oder etwas anderes), dass dies wahr ist?
Skizzierter Beweis:
Im Allgemeinen wissen wir, dass ein verbundenes Diagramm ein Baum von bloßen Propagatoren ist und (amputierte) 1PI-Eckpunkte, vgl. Lemma 3.11 in Lit. 1.
Insbesondere die Funktion Full Propagator/Connected 2-pt müssen Strings von Bare Propagators sein und (amputierter) 2-pt-Scheitel , die wir Selbstenergie nennen .
Was ist nun mit den Koeffizienten vor jedem Feynman-Diagramm? Aufgrund der damit verbundenen Kombinatorik/Faktorisierung wird sie zu einer geometrischen Reihe
Wir können die (amputierten) 2-Punkt-Eckpunkte in Gl. (A)
Überhaupt die Eigenenergie besteht aus verbundenen Diagrammen mit 2 amputierten Beinen, so dass die 2 Beine nicht durch Schneiden einer einzigen internen Linie getrennt werden können.
Wenn es keine Kaulquappen gibt, die Selbstenergie ist 1PI, vgl. meine Phys.SE-Antwort hier .
Verweise: