Ableitung der Schwinger-Dyson-Gleichung im Buch Gauge/Gravity Duality: Foundations and Applications

In dem Buch Gauge/Gravity Duality: Foundations and Applications von M. Ammon und J. Erdmenger leiten sie die Schwinger-Dyson-Gleichung ab, indem sie das erzeugende Funktional betrachten J [ Z ] und eine Variablenänderung ϕ ( X ) ϕ ~ ( X ) = ϕ ( X ) + δ ϕ ( X ) , mit δ ϕ ( X ) eine willkürliche infinitesimale Verschiebung ist. Dies führt zur Identität

0 = δ Z [ J ] = ich D ϕ e ich ( S + D D J ( X ) ϕ ( X ) D D X ( δ S δ ϕ ( X ) + J ( X ) ) δ ϕ ( X )
Der nächste Schritt besteht dann darin, funktionale Ableitungen bzgl. zu nehmen J ( X ich ) und Einstellung J bis Null. Das Buch notiert das Ergebnis in Gl. 1.234 wie
0 = ich δ S δ ϕ ( X ) ϕ ( X 1 ) . . . ϕ ( X N ) + J = 1 N ϕ ( X 1 ) . . . ϕ ( X J 1 ) δ ( X X J ) ϕ ( X J + 1 ) . . . ϕ ( X N )
Wenn ich jedoch versuche, die funktionalen Ableitungen zu berechnen, die ich finde (und ich gehe jetzt zum speziellen Fall von N = 2 )
0 = δ 2 δ J ( X 1 ) δ J ( X 2 ) [ ich D ϕ e ich ( S + D D J ( X ) ϕ ( X ) D D X ( δ S δ ϕ ( X ) + J ( X ) ) δ ϕ ( X ) ] J = 0

= δ δ J ( X 1 ) [ ich D ϕ e ich ( S + D D J ( X ) ϕ ( X ) D D δ ( X X 2 ) ϕ ( X ) D D X ( δ S δ ϕ ( X ) + J ( X ) ) δ ϕ ( X ) + ich D ϕ e ich ( S + D D J ( X ) ϕ ( X ) D D X δ D ( X X 2 ) δ ϕ ( X ) ] J = 0

= [ ich D ϕ e ich ( S + D D J ( X ) ϕ ( X ) ( ( δ S δ ϕ ( X ) + J ( X ) ) δ ϕ ( X ) ϕ ( X 1 ) ϕ ( X 2 ) + δ ϕ ( X 1 ) ϕ ( X 2 ) + ϕ ( X 1 ) δ ϕ ( X 2 ) ) ] J = 0

= ich D D X δ S δ ϕ ( X ) δ ϕ ( X ) ϕ ( X 1 ) ϕ ( X 2 ) + ϕ ( X 1 ) δ ϕ ( X 2 ) + δ ϕ ( X 1 ) ϕ ( X 2 )
Wenn ich dieses Ergebnis mit dem Buch vergleiche, sehe ich, dass es einige unerwünschte gibt δ ϕ ( X ich ) sowie ein Integral, das ebenfalls nicht in der Gleichung im Buch enthalten ist. Ich bin mir fast sicher, dass dieses Ergebnis wahr ist, aber es fehlt ein letzter Schritt, den ich nicht erkenne. Ich habe versucht, die funktionale Ableitung zu nehmen δ δ ( δ ϕ ( j ) ) , was zumindest in allen Begriffen eine Dirac-Delta-Funktion ergeben und alle verschobenen Felder beseitigen würde δ ϕ ( X ich ) .
0 = δ δ ( δ ϕ ( j ) ) [ ich D D X δ S δ ϕ ( X ) δ ϕ ( X ) ϕ ( X 1 ) ϕ ( X 2 ) + ϕ ( X 1 ) δ ϕ ( X 2 ) + δ ϕ ( X 1 ) ϕ ( X 2 ) ]
= ich D D X δ S δ ϕ ( X ) δ D ( j X ) ϕ ( X 1 ) ϕ ( X 2 ) + ϕ ( X 1 ) δ ( j X 2 ) + δ ( j X 1 ) ϕ ( X 2 )

Es funktioniert jedoch immer noch nicht vollständig, da mir jetzt ein Feld fehlt ϕ ( X ich ) im zweiten und dritten Semester. Wo mache ich hier einen Fehler?

Antworten (1)

Die erste Gleichung in der Frage gilt für ein beliebiges Infinitesimal δ ϕ ( X ) , so impliziert es

(1) 0 = D ϕ   e ich ( S + J ϕ ) ( δ S δ ϕ ( X ) + J ( X ) ) .
Berechnet man funktionale Ableitungen davon bzgl J , dann sollte alles klappen.

Übrigens ist Gleichung (1) nur der fundamentale Satz der Analysis:

(2) 0 = D ϕ   δ δ ϕ ( X ) e ich ( S + J ϕ ) .