Ich habe kürzlich eine Diskussion über dieses Problem.
Nehmen wir an, Sie haben bereits den Erwartungswert des zeitgleichen Antikommutators
⟨ { ψ ( x ) ,ψ†(X') } ⟩ = ⟨ :eich ϕ ( x ): , :e− ich ϕ (X'): ⟩ = ich δ( x −X')
Dies kann beispielsweise durch analytische Fortführung des Euklidischen Bosonenkorrelators festgestellt werden
ln|z1−z2|
mit
t = ich ϵ
Trick oder Operatorformalismus.
Für einen einzelnen Oszillator haben wir
:eA: :eB: = :eA + B:e⟨ AB ⟩ _
verallgemeinert dies auf den Scheitelpunktoperator
{ :eich ϕ ( x ): , :e− ich ϕ (X'): }= (e⟨ ϕ ( x ) ϕ (X') ⟩+e⟨ ϕ (X') ϕ ( x ) ⟩) :eich ( ϕ ( x ) − ϕ (X') ):= ⟨ :eich ϕ ( x ): , :e− ich ϕ (X'): ⟩ :eich ( ϕ ( x ) − ϕ (X') ):= ich δ( x −X')eich ( ϕ ( x ) − ϕ (X') )= ich δ( x −X')
Die letzte Zeile ist eine unerwartete Möglichkeit, einen Operator auf eine c-Zahl zu reduzieren.