Renormalisierung, Integrieren hoher Impulse auf Wilson-Weise

In Gleichung ( 12.5 ) bei Peskin und Schroeder schreiben sie die erzeugende Funktion aus, lassen aber alle quadratischen Terme der Form weg ϕ ϕ ^ argumentieren, dass sie verschwinden

da Fourier-Komponenten verschiedener Wellenlängen orthogonal sind.

Aber dann ist meine Frage, warum dasselbe Argument nicht für Begriffe des Formulars gilt

ϕ 3 ϕ ^ ,
welche gehören dazu?

Hier,

ϕ ^ ( k ) := { ϕ ( k )  für  B Λ | k | < Λ , 0  ansonsten,
Wo B < 1 ist ein Bruchteil.

Aber wenn ich nicht ganz falsch liege, wenn ϕ ϕ ^ verschwinden dann so sollte ϕ 2 ϕ ^ 2 , mit dem gleichen Argument, richtig? Wenn nein, warum nicht?

Frage zum Nachdenken: Wenn wir Fourier-transformieren ϕ ( X ) ϕ ~ ( k ) , was macht ϕ ~ ( k ) in Bezug auf die Erzeugungs- und Vernichtungsoperatoren aussehen A k Und A k ?

Antworten (2)

Ich finde die ganze Notation hier etwas verwirrend, da wir über Momenta-Modi sprechen, während wir die Real-Space-Notation verwenden (vielleicht bin ich der einzige ...). Um zu verdeutlichen, was vor sich geht, können wir stattdessen in den Impulsraum wechseln. Betrachten Sie den quadratischen Term in der Exponentialfunktion:

D 4 X ϕ 2 = D 4 X D 4 k D 4 k ' ϕ k ϕ k ' e ich ( k k ' ) X = D 4 k ϕ k ϕ k = 0 B Λ D 4 k ϕ k ϕ k + B Λ Λ D 4 k ϕ k ϕ k
Jetzt können wir klar die Aufteilung machen, die die Autoren machen wollen,
= 0 Λ ( ϕ k ϕ k + ϕ ^ k ϕ ^ k )
Beachten Sie, dass der Kreuzbegriff aus dem Ausdruck herausgefallen ist.

Um nun zu sehen, warum dies für den quartischen Term nicht der Fall ist, wiederholen Sie einfach das obige Verfahren. Ich finde,

D 4 X ϕ 4 = 0 B Λ D 4 k 1 D 4 k 2 D 4 k 3 ϕ 1 ϕ 2 ϕ 3 ϕ 1 + 2 + 3 + B Λ Λ D 4 k 1 D 4 k 2 D 4 k 3 ϕ 1 ϕ 2 ϕ 3 ϕ 1 + 2 + 3
Das Problem ist, dass wir die Integrale nicht einfach wieder aufteilen können, da wir den Bereich von ``wählen'' können ϕ 1 , ϕ 2 , Und ϕ 3 die Reichweite von ϕ 1 + 2 + 3 ist unbestimmt. Wir können zum Beispiel haben k 1 = B Λ / 2 , k 2 = B Λ / 2 , k 3 = B Λ / 2 Aber k 1 + 2 + 3 = 3 B Λ / 2 . Daher können wir die Kreuzterme für keine der quartischen Wechselwirkungen fallen lassen.

Hinweis: Ich war hier schlampig in Bezug auf Konjugate, aber ich bin sicher, Sie verstehen die Idee.

Danke für deine ausführliche Antwort, Bruder, ich werde sie durchgehen und jeden Schritt selbst überprüfen und mich bei dir melden.
Ich denke, Ihre erste Zeile sollte sein ϕ 2 D 4 X = ( ϕ k ϕ k ' e ich ( k k ' ) X D 4 k D 4 k ' ) D 4 X andernfalls ... erhalten Sie ein anderes Ergebnis. (Aber der Rest Ihrer Argumentation scheint in Ordnung zu sein, modulo technische Details zur Fourier-Transformation usw., die für die Frage ohnehin irrelevant sind.)

Ich bin nicht genau, aber moralisch:

Stellen Sie sich vor, Sie würden alle Modi oberhalb einer Frequenz integrieren B Λ . In Betracht ziehen ω < B Λ < 3 ω .

Ein Modus ϕ mit Frequenz ω wenn es in drei Würfel geteilt wird, wird es einen Teil davon als Frequenzmodus haben 3 ω , seit: Sünde ( 3 X ) = 3 Sünde ( X ) 4 Sünde 3 ( X ) . (Einfacher zu sehen ( e ich ω T ) 3 = e ich 3 ω T ). So ϕ 3 kann Frequenzen über dem "Wilsonian Cutoff" enthalten B Λ man muss also auf sein inneres produkt achten ϕ ^ (Denken Sie daran, Sie haben immer noch die D D k ) -- es wird nicht identisch null sein -- also können Sie diese Terme nicht wegwerfen.


EDIT: Ah, mir ist jetzt klar, dass meine Notation verwirrend sein könnte. Ich entschuldige mich. @JeffDror hat eine nette Antwort.

Denken Sie im Wesentlichen daran, dass diese Begriffe immer noch über einige Sätze von Impulsen integriert werden. Jeff hat deutlich gezeigt, wie die Impulserhaltung (was eine Gesamtsumme ergibt δ -Funktion für die überintegrierten Impulse) zeigt das ϕ ϕ ^ wird verschwinden, während Sie dasselbe für höhere Impulse nicht sagen können.

Was die Verallgemeinerung meines Arguments betrifft, beachten Sie das

D D X ϕ ( X ) ϕ ( X ) D D k 1 D D k 2 ϕ ( k 1 ) ϕ ( k 2 ) δ ( k 1 + k 2 ) = D D k ϕ ( k ) ϕ ( k )
(Der k kommt wegen der Impulserhaltung.)

Wenn Sie einen Term höherer Ordnung betrachten

D D X ϕ ( X ) ϕ ( X ) ϕ ( X ) ϕ ( X ) D D k 1 D D k 2 D D k 3 D D k 4 ϕ ( k 1 ) ϕ ( k 2 ) ϕ ( k 3 ) ϕ ( k 4 ) δ ( k 1 + k 2 + k 3 + k 4 ) D D k 1 D D k 2 ϕ 2 ( k 1 ) ϕ 2 ( k 2 ) δ ( k 1 + k 2 )

Der letzte Term könnte durch ähnliche Argumente wie die, die ich oben gemacht habe, Null sein. Aber beachten Sie, dass es nicht dem entspricht, womit Sie begonnen haben . Ich hoffe, das lichtet den Nebel.

Könnten Sie bitte klarer sein und ein Beispiel geben? Ich verstehe Ihr Argument, aber dann gilt Ihr Argument nicht für einen Begriff der Form
ϕ 2 ϕ ^ 2
oder doch? Kannst du das zeigen? Danke!