ich∂∂Tπ= [ π, ∫D3X12π2+12ϕ ( ) ϕ ]
= [ π, ∫D3X12ϕ ( ) ϕ ]
=12∫D3x [ π, ϕ ( ) ϕ ]
=12∫D3x [ π, ϕ ] ( ) ϕ + ϕ [ π, ( ) ϕ ]
=12∫D3x [ π, ϕ ] ( ) ϕ + ϕ [ π, ( ) ] ϕ + ϕ ( ) [ π, ϕ ]
=12∫D3x [ π, ϕ ] ( ) ϕ + { ϕ π( ) ϕ − ϕ ( ) πϕ + ϕ ( ) πϕ − ϕ ( ) ϕ π}
=12∫D3x [ π, ϕ ] ( ) ϕ + { ϕ π( ) ϕ − ϕ ( ) ϕ π}
=12∫D3x [ π, ϕ ] ( ) ϕ + { πϕ ( ) ϕ − ϕ π( ) ϕ }
=12∫D3x [ π, ϕ ] ( ) ϕ + [ π, ϕ ] ( ) ϕ
= ∫D3x [ π, ϕ ] ( ) ϕ
= ∫D3x − [ ϕ , π] ( ) ϕ
= ∫D3x − ich δ( ) ϕ
= − ich ( ) ϕ
Beim mittleren Teil bin ich mir nicht sicher, aber ich habe ein paar Eigenschaften verwendet: (2.44), (2.20), (2.30) und natürlich die Kommutatoridentität. Aber ich glaube nicht, dass das der richtige Weg ist, dies zu beweisen. (Ich kämpfe auch)
David z
ZachMcDargh
ACuriousMind
Benutzer45765