Felderweiterung bei Peskin & Schroeder

Peskin und Schroeder sagen etwas, was ich nicht ganz verstehe. Genauer gesagt denke ich, dass es nur auf eine Weise formuliert ist, die ich nicht verstehe.

Im Schrödinger-Bild können wir das reelle Skalarfeld erweitern ϕ ( X ) was die Klein-Gordon-Gleichung als erfüllt

ϕ ( X ) = D 3 P ( 2 π ) 3 1 2 E P ( A P e ich px + A P e ich px ) .

Dann finden wir natürlich ϕ ( X ) = ϕ ( X , T ) durch Umschalten auf das Heisenberg-Bild.

Jetzt, auf Seite 83, heißt es

Zu jeder festen Zeit T 0 wir können natürlich erweitern ϕ in Bezug auf Leiteroperatoren

ϕ ( X , T 0 ) = D 3 P ( 2 π ) 3 1 2 E P ( A P e ich px + A P e ich px ) .
Dann zu erhalten ϕ ( X , T ) für T T 0 wir schalten einfach auf das Heisenberg-Bild um
ϕ ( X , T ) = e ich H ( T T 0 ) ϕ ( X , T 0 ) e ich H ( T T 0 ) .

Das erste Problem ist, dass sie sagen, wir wechseln zum Heisenberg-Bild, was impliziert, dass wir von Anfang an im Schrödinger-Bild waren. Aber wie kann das dann ϕ zeitabhängig sein, dh warum ist es abhängig von T 0 , wenngleich T 0 erscheint nirgendwo in der Erweiterung?

Sagen sie das nur etwas unbeholfen ϕ im Schrödinger-Bild (offensichtlich) nicht zeitunabhängig ist, wählen wir eine bestimmte Zeitscheibe (wo unsere Zustände jetzt zeitfixiert sind) und dann entwickelt sich die Zeit von dort aus? Es sollte keine Rolle spielen, da ich mir vorstellen könnte, dass wir es hätten tun sollen ϕ ( T 0 ) = ϕ ( T ' ) für ein andermal T '

Was Peskin und Schroeder den Betreiber nennen T 0 ist eigentlich der Betreiber bei T 0 = 0 , und deshalb sehen Sie keine Zeitabhängigkeit (Sie bewerten es mit T 0 = 0 ); das Buch setzt diesen Missbrauch der Terminologie auch später fort, und es ist ein Fehler. Im Übrigen: Felder sind im Heisenberg-Bild immer zu meinen, weil sie Operatoren sind und nicht Element eines Fock-Raums (auf den sie stattdessen wirken); als solches gibt es kein Schrödinger-Bild, und dies ist eines der anderen Dinge, bei denen Peskin und Schroeder falsch liegen.
@GennaroTedesco T 0 = 0 hat nichts besonderes. Sie können bei bewerten T 0 = 100 s oder T 0 = 57168.12 s oder irgendwelche T 0 dass Sie wollen, aber es muss eine feste Zeit sein. Und jeder Operator kann im Schrödinger-Bild (Konstante) oder im Heisenberg-Bild oder im Wechselwirkungsbild (in beiden Fällen zeitabhängig) sein, man muss nur eine Einheitstransformation machen, um zwischen ihnen umzuschalten.
@Bosoneando T 0 = 0 hat etwas Besonderes, nämlich die Exponentialfunktion e ich k 0 T wird 1 und somit sieht man es in der Erweiterung nicht mehr. Wenn Sie eine andere Zeit wählen, können Sie diesen Begriff in der Formel nicht entfernen. Genau aus diesem Grund fangen Sie vom Feld an an T = 0 und werten Sie dann die späteren Zeiten aus, indem Sie die verwenden U ( T , 0 ) .
@GennaroTedesco In der Tat basierend auf den anderen Sachen in Peskin, insbesondere Gleichung 2.47, die das Feld im Heisenberg-Bild ist. Das stimmt nur mit t=0 mit dem Schrödinger-Bild überein.

Antworten (1)

Das Ergebnis ist, dass wir eine Bedingung brauchen, um anzugeben, wie die Operatoren im Schrödinger- und Heisenberg-Bild zusammenhängen. Dies geschieht gewöhnlich dadurch, dass erklärt wird, dass die beiden Bilder zu einem bestimmten Zeitpunkt übereinstimmen T 0 .

Zusammenfassend: Der Schrödinger-Operator ϕ ( X , T 0 ) ist nicht zeitabhängig T , während der Heisenberg-Operator ϕ ( X , T ) hängt von der zeit ab T . Bei Kets und BHs ist es umgekehrt.

Das sagt der Betreiber zur Zeit T 0 nicht von der Zeit abhängt, ist falsch. Das tut es natürlich, aber die Abhängigkeit wird ausgeblendet, nachdem Sie das integriert haben k 0 variabel und drücken alles in Bezug auf die Energie aus. Außerdem gilt dies nur für das freie Feld, weil Kommutatoren der Leiteroperatoren und in diesem Fall zeitunabhängig sind (was für kein anderes nicht-freies Feld gilt).
@Qmechanic Ich denke, die Notation ist vielleicht nur schlecht. Kann ich definieren ϕ S ( X ) = ϕ ( T 0 , X ) und dann erweitern ϕ S ( X ) in Bezug auf Leiteroperatoren? Dies würde die Erweiterung in Peskin und durch Definition ergeben ϕ H ( X , T ) = e ich H ( T T 0 ) ϕ S ( X ) e ich H ( T T 0 ) alles würde stimmen.