Ковариантная формула Лоренца для зарядов Нётер в КТП

Я ищу лоренцевское ковариантное выражение зарядов Нётер и нашел эту статью: https://arxiv.org/abs/hep-th/0701268 , в частности раздел II-A.

Рассмотрим конкретно ур. (20-21), они утверждают:

Вопрос мю "=" 1 2 ( ф , п мю ф ) ,
Вопрос - сохраняющийся заряд, " " - это просто символ, действующий на" и внутренний продукт определяется как ( ε является знаковой функцией):
( ф 1 , ф 2 ) "=" г 4 п дельта ( п 2 м 2 ) ε ( п 0 ) ф ~ 1 * ( п ) ф ~ 2 ( п ) .
ф ~ является преобразованием Фурье ф .

Следовательно, заряд Нётер равен

(1) Вопрос мю "=" 1 2 г 4 п дельта ( п 2 м 2 ) ε ( п 0 ) п мю ф ~ * ( п ) ф ~ ( п ) .

Теперь я изо всех сил пытаюсь получить известное квантованное выражение в QFT:

Вопрос мю "=" г 3 п п мю а ( п ) а ( п ) , [ а ( п ) , а ( д ) ] "=" дельта 3 ( п д )
из (1), подставив обычное скалярное поле Клейна-Гордона с операторами рождения и уничтожения.

Если не ошибаюсь (1) в координатном пространстве выглядит так

(2) г 4 Икс г 4 у ф ( Икс ) Δ ( Икс у ) ( я ф ( у ) у мю ) "=" Вопрос мю ,
где Δ является обычной коммутационной функцией
Δ ( Икс у ) "=" г 4 п ε ( п 0 ) дельта ( п 2 м 2 ) е я п ( Икс у ) .
Просто подставив в (2)
ф ( Икс ) "=" г 3 п 2 ю п ( а ( п ) е я п Икс + а ( п ) е я п Икс )
Я, кажется, не получаю правильный ответ.

Может быть, я неправильно делаю какие-то расчеты или неверно истолковал статью. Любая помощь будет принята с благодарностью!

ОБНОВЛЯТЬ

Например, написание ф ( Икс ) "=" г 4 п а ( п ) дельта ( п 2 м 2 ) е я п Икс затем ф ~ ( п ) "=" а ( п ) дельта ( п 2 м 2 ) и (1) становится

Вопрос мю "=" 1 2 г 4 п ε ( п 0 ) п мю а ( п ) а ( п ) дельта ( п 2 м 2 ) дельта ( п 2 м 2 ) дельта ( п 2 м 2 ) .
Это правильно? Как проработать три дельты? Я мог бы использовать личность дельта ( Икс ) ф ( Икс ) "=" дельта ( Икс ) ф ( 0 ) с ф "=" дельта дважды, чтобы получить
дельта ( п 2 м 2 ) дельта ( п 2 м 2 ) дельта ( п 2 м 2 ) "=" дельта ( п 2 м 2 ) дельта ( 0 ) дельта ( 0 ) "=" дельта ( п 2 м 2 ) С ,
где С является (бесконечным) поверхностным вкладом, который я в настоящее время не вижу, как он компенсируется. что мне не хватает?

Ответы (1)

Стандартное соглашение состоит в том, чтобы взять ф ~ ( п ) дельта ( п 2 м 2 ) а ( п ) . Должно быть ясно, что это выражение не может быть правильным в этом контексте именно по причине, найденной OP: скалярное произведение ( ф 1 , ф 2 ) было бы неопределенным, поскольку оно содержало бы несколько дельта ( 0 ) "=" факторы. Поэтому в данном контексте обозначение ф ~ ( п ) должен иметь значение, отличное от стандартного; значение, которое не включает дельты Дирака на оболочке, чтобы избежать факторов дельта ( 0 ) "=" . дельта ( п 2 м 2 ) в определении ( ф 1 , ф 2 ) уже ставит п on-shell, поэтому было бы излишним включать еще одну дельту в ф ~ ( п ) .

Представляется, что в этом контексте ф ~ ( ю п , п ) это всего лишь синоним а ( п ) :

ф ~ ( п ) дельта ( п 0 ю п ) а ( п ) дельта ( п 0 ю п )

С этим и с использованием (см. этот пост PSE )

дельта ( п 2 м 2 ) Θ ( п 0 ) г п 0 "=" 1 2 ю ( п ) дельта ( п 0 ю п ) г п 0
Вы получаете
Вопрос мю "=" 1 2 дельта ( п 2 м 2 ) ε ( п 0 ) п мю ф ~ * ( п ) ф ~ ( п ) г п "=" 1 2 ю ( п ) п мю ф ~ * ( ю п , п ) ф ~ ( ю п , п ) г п "=" п мю а * ( п ) а ( п ) г п ~
где
г п ~ 1 2 ю ( п ) г п
является лоренц-инвариантной мерой.

Обратите внимание, что Вопрос мю согласуется со стандартным выражением для генератора пространственно-временных трансляций с точностью до условного множителя Фурье ( 2 π ) 3 , который обычно входит в г п ~ .

Глупая заметка для всех, кто интересуется: может быть, вы неверно истолковали мою запись, ε является знаковой функцией. Так ε ( п 0 ) "=" Θ ( п 0 ) Θ ( п 0 ) . Тогда все, что вы написали, верно, за исключением лишнего члена, который, в конце концов, неважен при обычном упорядочении операторов.
@rhetoricalphysicist Я рад, что смог помочь :-) [Кстати, да, я так и думал ε была ступенчатая функция, так что мой результат был в разы меньше. 1 2 ; Я исправил это, надеюсь, теперь все в порядке.]