Warum wird der endliche Teil der Eigenenergie oft vernachlässigt, um die physische Masse zu definieren?

Unter Verwendung der bloßen Störungstheorie für a λ ϕ 4 Theorie ein D -Dimensionen, stellt sich die regulierte Selbstenergie heraus

(1) Σ = λ 0 M 0 2 16 π 2 ϵ + endlich
Wo ϵ = 4 D . Dieser Beitrag modifiziert den Pol des Propagators aus
(2) M 0 2 M 2 = M 0 2 + Σ = M 0 2 ( 1 λ 0 16 π 2 ϵ ) + endlich
Wo M 2 ist die physikalische Masse. Warum wird der endliche Term oft vernachlässigt und M 2 ist nur definiert als
M 2 = M 0 2 ( 1 λ 0 16 π 2 ϵ ) ?

Ich erkenne an, dass dies Ihre Frage nicht beantwortet, aber das Leben ist so viel besser, wenn Sie die renormalisierte Störungstheorie verwenden. Dann heben sich die Unendlichkeiten so natürlicher auf, und man kann auch viel leichter an die endlichen Stücke der Gegenterme denken; siehe z. B. Sterman S. 285–287.
Vernachlässigen Sie nicht aus dem gleichen Grund die Terme höherer Ordnung in der naiven Kallen-Lehmann-Entwicklung – weil sie alle Zweigschnitte sind, keine Pole?

Antworten (2)

Warum wird der endliche Term oft vernachlässigt?

Der endliche Term wird NICHT vernachlässigt. Vielmehr könnte es durch einen Gegenbegriff aufgefangen werden. Wenn in Ihrem Lehrbuch nur „Vernachlässigung des endlichen Begriffs“ steht, sollten Sie das Buch sofort wegwerfen und eine Rückerstattung verlangen.

Den endlichen Teil durch den Zählerterm aufzuheben oder nicht aufzuheben, macht den ganzen Unterschied zwischen der modifizierten minimalen Subtraktion ( M S ¯ ) und minimale Subtraktion ( M S ) Schemata. Es ist nur eine menschliche Konvention, die keine physikalischen Auswirkungen hat.

Wenn es um einen Gegenbegriff geht, ist unten die Faustregel,

  • Es muss lokal sein, was bedeutet, dass es keine zusätzliche Impulsabhängigkeit gibt, außer der, die durch den ursprünglichen Lagrange-Term vorgeschrieben ist.
  • Es muss sich um alle Divergenzen kümmern, was bedeutet, dass der divergente Teil fest ist und der endliche/nicht divergente Teil auf jeden beliebigen Wert eingestellt werden kann.

Dies ist die Philosophie hinter der Renormalisierung: Man hat eine Lagrange-Funktion L ( G ich ) Wo G ich , ich = 1 , , N sind einige Kopplungen (ich stelle mir die Masse einfach als eine weitere Kopplung vor). Und dann eine Maschinerie, die als Input dient L ( G ich ) und gibt einige Observables aus Γ ( N ) ( G ich ; P J ) , die typischerweise Korrelationsfunktionen oder Streuamplituden ( P J die externen Impulse sind). Diese Maschinerie besteht in der Berechnung von Feynman-Diagrammen .

Die Experimente sind in der Lage, das zu beheben Γ 's für irgendeine Konfiguration der äußeren Impulse, könnte man zum Beispiel sagen

Γ ( N ) ( G ich ; P J ) | P J μ = G ~ N , N = 1 , , N .
Wo G ~ N ist nur eine durch Experimente gegebene Zahl. Was wir also tun wollen, ist, die zu optimieren G ich damit wir das gewünschte Ergebnis bekommen. Wie wir wissen, ist die Antwort nach der Regularisierung der Theorie etwas von der Form
G ~ N = F N ( 0 ) ( G ich ) + F N ( 1 ) ( G ich ) ε + F N ( 2 ) ( G ich ) ε 2 + ,
bei dem die F N ( l ) sind einige endliche Funktionen der Kopplungen. Für alle ε > 0 das behebt die N Kupplungen G ich in Bezug auf die N beobachtbar G ~ N und wir könnten es einfach dabei belassen. Der G ich sind Funktionen G ich ( ε , G ~ N ) und sie können der Lagrange-Funktion zugeführt werden, die wiederum andere Observablen produziert und sie in Bezug auf die vorherigen bestimmt N Versuche wie folgt
Γ ( M ) ( G ich ( ε , G ~ N ) ; P J ) | P J μ = G ~ M ( G ~ N ) , M 1 , , N .
Entscheidend ist, dass die ε Die Abhängigkeit verschwindet am Ende, aber dafür sorgt das Theorem der Potenzzählung in der Renormierungstheorie.

Ich sagte, dass wir es dabei belassen könnten, denn das ist alles, was wir von einer Theorie brauchen, wir wollen, dass sie unendlich viele Experimente vorhersagt, von denen aus N davon als Input. Aus praktischen Gründen ist es jedoch besser, den divergenten Teil ein für alle Mal zu berechnen G ich ( ε , G ~ N ) und drücke es aus als

G ich ( ε , G ~ N ) = H ich ( 0 ) ( G ~ N ) + H ich ( 1 ) ( G ich ) ε + H ich ( 2 ) ( G ich ) ε 2 + .
Wir wissen, wie der divergierende Teil funktioniert, also konzentrieren wir uns einfach auf das endliche Teil. H ich ( 0 ) ( G ~ N ) nennen wir die renormierte Kopplung. Aber das ist völlig willkürlich, könnten wir auch nennen H ich ( 0 ) ( G ~ N ) 2 π die renormierte Kopplung, solange wir angeben, dass der divergierende Teil ist 2 π + P Ö l e S .

Es tut mir leid, wenn ich mich entschieden habe, nicht auf Ihre spezifischen Fragen einzugehen, sondern Ihnen eine allgemeinere Antwort zu geben.