Коммутатор безмассового скалярного поля

Привет, я пытаюсь рассчитать 0 | [ ф ( Икс ) , ф ( 0 ) ] | 0 где ф ( Икс ) — свободное безмассовое скалярное поле.

я вычислил

0 | ф ( Икс ) ф ( 0 ) | 0 "=" 1 4 π 2 1 ( Икс 0 я ϵ ) 2 ( Икс ) 2
где Икс "=" ( Икс 0 , Икс ) и я использую (+, -, -, -) подпись.

Я запутался в вычислении коммутатора. Если я попытаюсь вычислить это, я получу что-то вроде

я ϵ 4 π 2 1 ( ( Икс 0 я ϵ ) 2 ( Икс ) 2 ) ( ( Икс 0 я ϵ ) 2 ( Икс ) 2 ) ,
где я отбросил термины О ( ϵ 2 ) .

Я не вижу, чтобы это упростилось до чего-то значимого или простого, и как я могу получить 0, когда Икс является космоподобным. Кто-нибудь может предложить какую-либо помощь?

Знаете ли вы о свойствах пропагатора? одна вещь, которую я должен упомянуть в качестве начала, это то, что вы должны получить интеграл для 0 | ф ( Икс ) ф ( 0 ) | 0 (который является распространителем)
Я уже вычислил пропагатор, он указан выше, и я знаю, что он правильный. Я спрашиваю, как вычислить коммутатор.
Значение expecration коммутатора называется причинным пропагатором , поэтому вы вычисляете причинный пропагатор. В силу причинных свойств его опора сосредоточена внутри светового конуса. Поскольку поле безмассово, его носитель сосредоточен именно на этом конусе (его поверхности). Вы должны найти его из своих вычислений.
Попробуй использовать 1 / ( г ± я 0 + ) "=" в п 1 / г я π дельта ( г )
@ValterMoretti В итоге я упростил это до < 0 | [ ф ( Икс ) , ф ( 0 ) ] | 0 >= ϵ ( Икс 2 ) 2 . Это имеет физический смысл, поскольку оно равно 0, если только x ^ 2 не равно нулю, что должно быть для безмассовой частицы. Но я не уверен в своем знаменателе. Кроме того, как мне использовать выражение основного значения, которое вы опубликовали с помощью 1 ( г я ϵ ) 2 у 2 ?
@CStarAlgebra Смотрите мой ответ, где я выполнил все вычисления до окончательного выражения...

Ответы (1)

0 | ф ( Икс ) ф ( 0 ) | 0 "=" 1 4 π 2 1 ( Икс 0 я 0 + ) 2 ( Икс ) 2 "=" 1 8 π 2 | Икс | ( 1 ( Икс 0 я 0 + ) | Икс | 1 ( Икс 0 я 0 + ) + | Икс | ) ,
то есть

0 | ф ( Икс ) ф ( 0 ) | 0 "=" 1 8 π 2 | Икс | ( 1 Икс 0 | Икс | я 0 + 1 Икс 0 + | Икс | я 0 + ) "=" 1 8 π 2 | Икс | ( п В 1 Икс 0 | Икс | п В 1 Икс 0 + | Икс | ) + π я 8 π 2 | Икс | ( дельта ( Икс 0 | Икс | ) дельта ( Икс 0 + | Икс | ) ) .
Сходным образом

0 | ф ( 0 ) ф ( Икс ) | 0 "=" 1 8 π 2 | Икс | ( п В 1 Икс 0 | Икс | п В 1 Икс 0 + | Икс | ) + π я 8 π 2 | Икс | ( дельта ( Икс 0 | Икс | ) дельта ( Икс 0 + | Икс | ) ) .

Взяв разницу, используя п В 1 / ( г ) "=" п В 1 / г и дельта ( г ) "=" дельта ( г ) , у нас есть выражение для каузального пропагатора, подобное этому

(1) 0 | [ ф ( Икс ) , ф ( 0 ) ] | 0 "=" 2 π я 8 π 2 | Икс | ( дельта ( Икс 0 + | Икс | ) дельта ( Икс 0 | Икс | ) ) .
С использованием
(2) дельта ( ф ( Икс ) ) "=" я дельта ( Икс Икс я ) | д ф д Икс | Икс я |
где Икс я являются различными простыми нулями ф , найденное тождество можно преобразовать в форму
0 | [ ф ( Икс ) , ф ( 0 ) ] | 0 "=" 4 π я 8 π 2 знак ( Икс 0 ) дельта ( Икс 0 2 ( Икс ) 2 ) .
За исключением неправильных коэффициентов (пожалуйста, проверьте все!), окончательный результат должен быть
0 | [ ф ( Икс ) , ф ( 0 ) ] | 0 "=" 1 2 π я знак ( Икс 0 ) дельта ( Икс 0 2 ( Икс ) 2 ) .
Очевидно, что правая часть обращается в нуль для пространственноподобных аргументов каузального пропагатора. Однако он также исчезает для времениподобных аргументов! Это особенность свободных безмассовых теорий в плоском пространстве-времени.

Спасибо @ValterMoretti, один вопрос, откуда взялась функция sgn?
Оно возникает при сравнении (1) и (2). Я исправил общий неправильный знак.