Функция Клейна-Гордона Грина: производная дельта-распределения?

У Пескина/Шредера есть явное вычисление, показывающее, что запаздывающая функция Грина реального поля Клейна-Гордона

(2,55) Д р ( Икс у )     θ ( Икс 0 у 0 ) 0 | [ ф ( Икс ) , ф ( у ) ] | 0

удовлетворяет уравнению

(2.56) ( 2 + м 2 ) Д р ( Икс у ) "=" я дельта 4 ( Икс у ) .

Я не могу проследить один конкретный шаг в выводе: кажется, что они делают замену

(А) ( Икс 0 дельта ( Икс 0 у 0 ) ) 0 | [ ф ( Икс ) , ф ( у ) ] | 0 "=" дельта ( Икс 0 у 0 ) Икс 0 0 | [ ф ( Икс ) , ф ( у ) ] | 0 .

Но я не понимаю, чем это оправдано: если мы интерпретируем ( т дельта ( т ) ) ф ( т ) как распределение и воздействовать с ним на тестовую функцию г ( т ) , мы получаем

(Б) ( т дельта ( т ) ) ф ( т ) г ( т ) г т "=" дельта ( т ) т ( ф ( т ) г ( т ) ) г т "=" т ( ф ( т ) г ( т ) ) | т "=" 0 .

Если мы будем действовать вместо этого с дельта ( т ) т ф ( т ) на г ( т ) мы получаем

(С) ( г ( т ) т ф ( т ) ) | т "=" 0 .

У кого-нибудь есть объяснение?

Если вы просто представите интеграл с каждой стороны равенства, то проблем не будет, верно?
Да, но я не понимаю, как это мне поможет.
Почему бы вам просто не сделать весь вывод под некоторыми знаками интеграла и иметь в виду, что, возможно, вывод P&S следует рассматривать как формальные манипуляции, а не реальное доказательство? Это серьезно нестрого во всем ...
@LLang: Какие страницы в P&S?
В моем издании это страница 30, уравнение. 2.56.

Ответы (2)

Peskin & Schroeder, An Intro to QFT, используют этот 1

(К) я Δ ( Икс у )   "="   0 | [ ф ( Икс ) , ф ( у ) ] | 0
исчезает для пространственноподобных векторов, см. ниже уравнение. (2.53) на с. 28. В частности, за равные времена Икс 0 "=" у 0 , у нас есть

(л) я Δ ( 0 , Икс у )   "="   0.

Поэтому на физическом уровне строгости

(М) я Δ ( Икс у ) дельта ( Икс 0 у 0 )   "="   0.

Дифференциация ур. (М) вл. Икс 0 затем дает уравнение ОП. (А).

уравнение (A) можно также установить с помощью тестовых функций.

--

1 Обозначение (K) взято из Itzykson & Zuber, QFT, eq. (3-55).

Да, они используют замену дельты Дирака

дельта ф ( Икс ) "=" дельта ( Икс ) ф ( Икс )
И расчет выглядит следующим образом
( 2 + м 2 ) Д р ( Икс у ) "=" ( 2 θ ( Икс 0 у 0 ) ) 0 | [ ф ( Икс ) , ф ( у ) ] | 0 + θ ( Икс 0 у 0 ) ( 2 + м 2 ) 0 | [ ф ( Икс ) , ф ( у ) ] | 0 + 2 мю θ ( Икс 0 у 0 ) мю 0 | [ ф ( Икс ) , ф ( у ) ] | 0
С θ ( Икс 0 у 0 ) просто зависит от времени, последний член обе производные должны быть т . Используя эти уравнения ниже
мю θ ( Икс 0 у 0 ) "=" дельта ( Икс 0 у 0 )
2 θ ( Икс 0 у 0 ) "=" т дельта ( Икс 0 у 0 )

Также коммутационное соотношение [ Π ( Икс ) , ф ( Икс ) ] "=" я дельта 3 ( Икс у ) и обозначения Дирака, можно вычислить

( 2 + м 2 ) Д ( Икс у ) "=" я дельта 4 ( Икс у )