Kommutator des masselosen Skalarfeldes

Hallo, ich versuche zu rechnen 0 | [ ϕ ( X ) , ϕ ( 0 ) ] | 0 Wo ϕ ( X ) ist ein freies masseloses Skalarfeld.

Ich habe nachgerechnet

0 | ϕ ( X ) ϕ ( 0 ) | 0 = 1 4 π 2 1 ( X 0 ich ϵ ) 2 ( X ) 2
Wo X = ( X 0 , X ) und ich verwende die Signatur (+, -, -, -).

Ich bin verwirrt über die Berechnung des Kommutators. Wenn ich versuche, es zu berechnen, bekomme ich so etwas wie

ich ϵ 4 π 2 1 ( ( X 0 ich ϵ ) 2 ( X ) 2 ) ( ( X 0 ich ϵ ) 2 ( X ) 2 ) ,
wo ich Begriffe verworfen habe Ö ( ϵ 2 ) .

Ich kann nicht sehen, dass dies zu irgendetwas Sinnvollem oder Einfachem vereinfacht wird und wie ich dies wann 0 sein werde X ist raumartig. Kann jemand Hilfe anbieten?

Kennen Sie die Eigenschaften des Propagators? Eine Sache, die ich als Anfang erwähnen sollte, ist, dass Sie ein Integral für erhalten sollten 0 | ϕ ( X ) ϕ ( 0 ) | 0 (das ist der Propagator)
Ich habe den Propagator bereits berechnet, er ist wie oben angegeben, von dem ich weiß, dass er richtig ist. Ich frage, wie man den Kommutator berechnet.
Der Erwartungswert des Kommutators wird Kausalpropagator genannt , also berechnen Sie den Kausalpropagator. Aufgrund seiner kausalen Eigenschaften konzentriert sich seine Unterstützung innerhalb des Lichtkegels. Da das Feld masselos ist, konzentriert sich seine Unterstützung genau auf diesen Kegel (seine Oberfläche). Sie sollten es aus Ihren Berechnungen finden.
Versuchen zu benutzen 1 / ( z ± ich 0 + ) = v P 1 / z ich π δ ( z )
@ValterMoretti Am Ende habe ich das vereinfacht < 0 | [ ϕ ( X ) , ϕ ( 0 ) ] | 0 >= ϵ ( X 2 ) 2 . Dies ist physikalisch sinnvoll, da es 0 ist, es sei denn, x ^ 2 ist null, was es für ein masseloses Teilchen sein muss. Aber ich bin mir meines Nenners nicht sicher. Wie verwende ich auch den Hauptwertausdruck, den Sie gepostet haben? 1 ( z ich ϵ ) 2 j 2 ?
@CStarAlgebra Siehe meine Antwort, wo ich alle Berechnungen bis zum endgültigen Ausdruck durchgeführt habe ...

Antworten (1)

0 | ϕ ( X ) ϕ ( 0 ) | 0 = 1 4 π 2 1 ( X 0 ich 0 + ) 2 ( X ) 2 = 1 8 π 2 | X | ( 1 ( X 0 ich 0 + ) | X | 1 ( X 0 ich 0 + ) + | X | ) ,
das ist

0 | ϕ ( X ) ϕ ( 0 ) | 0 = 1 8 π 2 | X | ( 1 X 0 | X | ich 0 + 1 X 0 + | X | ich 0 + ) = 1 8 π 2 | X | ( P v 1 X 0 | X | P v 1 X 0 + | X | ) + π ich 8 π 2 | X | ( δ ( X 0 | X | ) δ ( X 0 + | X | ) ) .
Ähnlich

0 | ϕ ( 0 ) ϕ ( X ) | 0 = 1 8 π 2 | X | ( P v 1 X 0 | X | P v 1 X 0 + | X | ) + π ich 8 π 2 | X | ( δ ( X 0 | X | ) δ ( X 0 + | X | ) ) .

Den Unterschied machen, nutzen P v 1 / ( z ) = P v 1 / z Und δ ( z ) = δ ( z ) , haben wir einen Ausdruck für den kausalen Propagator wie diesen

(1) 0 | [ ϕ ( X ) , ϕ ( 0 ) ] | 0 = 2 π ich 8 π 2 | X | ( δ ( X 0 + | X | ) δ ( X 0 | X | ) ) .
Verwenden
(2) δ ( F ( X ) ) = ich δ ( X X ich ) | D F D X | X ich |
Wo X ich sind verschiedene einfache Nullen von F , kann die gefundene Identität in das Formular umgeformt werden
0 | [ ϕ ( X ) , ϕ ( 0 ) ] | 0 = 4 π ich 8 π 2 Zeichen ( X 0 ) δ ( X 0 2 ( X ) 2 ) .
Abgesehen von falschen Koeffizienten (bitte alles überprüfen!), sollte das Endergebnis sein
0 | [ ϕ ( X ) , ϕ ( 0 ) ] | 0 = 1 2 π ich Zeichen ( X 0 ) δ ( X 0 2 ( X ) 2 ) .
Es ist offensichtlich, dass die rechte Seite für raumartig verwandte Argumente des kausalen Propagators verschwindet. Es verschwindet aber auch für zeitbezogene Argumente! Dies ist ein Merkmal freier masseloser Theorien in der flachen Raumzeit.

Danke @ValterMoretti, eine Frage, woher kommt die sgn-Funktion?
Es ergibt sich aus dem Vergleich von (1) und (2). Ich habe ein insgesamt falsches Vorzeichen korrigiert.