Сложная скалярная теория: операторы уничтожения и рождения дают неправильные коммутаторы с гамильтонианом

Теорию реального (эрмитова) скалярного поля можно найти во многих книгах и везде в Интернете. С другой стороны, если мы возьмем поле неэрмитовым, то я могу найти только заметки об интегралах по траекториям. Я ничего не могу найти о канонических коммутациях, поэтому я попытался вывести это сам. Дело в том, что я нахожу неправильный коммутатор с гамильтонианом и не могу найти свою ошибку. Мне было бы очень полезно, если бы кто-нибудь что-нибудь сказал по этому поводу.

Я, вероятно, упущу некоторые числовые факторы, и я мог бы потерять некоторые кинжалы/знаки в этом посте, но эти вопросы не важны прямо сейчас. Прошу прощения, если есть мелкие ошибки, не обращайте на них внимания. С другой стороны, если есть какая-то серьезная ошибка, пожалуйста, обратите внимание и скажите мне :)

Первый шаг: поля ф ( Икс ) , ф ( Икс ) , π ( Икс ) и π ( Икс ) . Они коммутируют следующим образом

[ ф , ф ] "=" [ π , π ] "=" [ ф , π ] "=" 0 [ ф , π ] "=" [ ф , π ] "=" я дельта ( Икс у )
(мы очевидно берем поля в равные моменты времени)

Второй шаг: из уравнения КГ мы решаем для ф

ф ( Икс ) "=" г к 2 ю ( к )   е я к Икс а ( к ) + е + я к Икс б ( к )
и аналогичные уравнения для других полей. Обращая их, мы находим
а ( к ) "=" г Икс   е я к Икс [ ю ( к ) ф ( Икс ) + я π ( Икс ) ]
и аналогичные уравнения для б ( к ) .

Третий шаг: запишите гамильтониан как

ЧАС "=" г к 2 ю ( к ) 1 2 ю ( к ) [ а ( к ) а ( к ) + б ( к ) б ( к ) ]

Проблема возникает со следующим (и последним) шагом: если я разработаю коммутатор а и б с ЧАС , я получаю неожиданный результат. Например,

[ ЧАС , а ( к ) ] "=" 1 2 ю ( к ) [ а ( к ) + б ( к ) ]
(Я ожидал что-то вроде [ ЧАС , а ] "=" ю а ; обратите внимание, что это было бы у нас, если бы а "=" б , т. е. поле было эрмитовым)

Отсюда мы видим, что а нельзя использовать как оператор уничтожения, потому что если | Е это состояние с энергией Е , затем а ( к ) | Е не будет другим собственным состоянием с энергией Е ю ( к ) ; чтобы увидеть это, обратите внимание, что

ЧАС а ( к ) | Е "=" ( а ( к ) ЧАС + [ ЧАС , а ( к ) ] ) | Е "=" ( а ( к ) Е 1 2 ю ( к ) [ а ( к ) + б ( к ) ] ) | Е

Если поле ф был отшельником, то а "=" б чтобы последнее равенство читалось ЧАС а | Е "=" ( Е ю ) а | Е , так а будет оператором уничтожения. С другой стороны, если а б , то ни а ни б уменьшают энергию собственных состояний. Где я неправ?

Я не понимаю, как вы могли бы получить свое коммутационное соотношение для [ ЧАС , а ] . а ездит с обоими б и б , так что не могло быть б срок там.
я думал так [ а ( к ) , б ( д ) ] "=" 2 ю ( к ) дельта ( к д ) , но теперь я понимаю, что это, вероятно, неправильно. Я проверю свои расчеты...
Ну... скажем [ а ( к ) , б ( д ) ] "=" 0 . Тогда, если ф эрмитов, то а "=" б . Отсюда мы получаем [ а ( к ) , а ( д ) ] "=" 0 , что явно неправильно...
я не понимаю а "=" б часть. Как это следует из [ а , б ] "=" 0 ?
а * и б * создавать ортогональные состояния, поскольку одночастичное гильбертово пространство удваивается в комплексифицированной теории и а относится, скажем, к первому прямому слагаемому, а б к другому, которые явно ортогональны как таковые.
Я проверил свои расчеты и [ а , б ] "=" 0 действительно. Вы правы, вот моя ошибка. Большое спасибо (поздравляю с тем, что заметили это так быстро, это было удивительно)
Нерверминд а "=" б часть. Я думал вслух ... В любом случае, почему бы вам не написать это как реальный ответ, чтобы я мог проголосовать за него? ваше здоровье :)

Ответы (1)

Правильные коммутационные соотношения для операторов рождения/уничтожения следующие:

[ а ( к ) , а ( к ) ] "=" ( 2 π ) 3 дельта ( 3 ) ( к к )
[ б ( к ) , б ( к ) ] "=" ( 2 π ) 3 дельта ( 3 ) ( к к )

Все остальное коммутирует, в том числе [ а , б ] .

Отсюда ясно, что [ ЧАС , а ] не может зависеть от б .