Добрый день. В процессе решения нижеизложенной задачи возникли трудности. Сама задача взята из учебника Пескина Шредера, глава 4, задача 4.1. Поскольку данная книга оказалась для меня на данный момент основной в силу моих личных предпочтений, то соответственно решать данную задачу предполагается методами, изложенными в предыдущих главах.
Постановка задачи:
Рассматривается квантовое поле, гамильтониан которого записывается в следующем виде:

, где скалярное поле

отлично от нуля лишь в некоторой области пространства времени, а

- обычный гамильтониан для поля Клейна-Гордона. Как и обычно нас просят проделать некоторое количество упражнений:
a) Показать, что вероятность того, что в итоге действия источника

будет рождено 0 частиц задается формулой:
![$P(0) = (\right\rvert\left\langle 0 \left\lvert T exp [ -i \int d^4 x j(x) \phi_I (x)] \right\rvert 0\right\rangle)^2$ $P(0) = (\right\rvert\left\langle 0 \left\lvert T exp [ -i \int d^4 x j(x) \phi_I (x)] \right\rvert 0\right\rangle)^2$](https://dxdy-04.korotkov.co.uk/f/b/3/e/b3eccd1464ae251e76620d48df420f0182.png)

- поле в представлении взаимодействия, то есть поле которое во времени меняется как будто-то бы наш гамильтониан описывает свободное поле и никого классического источника нет. Для того, чтобы доказать выписанную выше формулу нужно попусту ввести оператор временной эволюции:

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

, где

Решением этого уравнения будет хронологически упорядоченная экспонента:
![$U(t, t_0) = T {exp [-iH_I t]}$ $U(t, t_0) = T {exp [-iH_I t]}$](https://dxdy-03.korotkov.co.uk/f/2/b/6/2b6f4c5513a454f937ceec291c9ee52682.png)
Собственно, теперь довольно очевидно что амплитуда искомой вероятность задается простым выражением:
![$\right\rvert\left\langle 0 \left\lvert T exp [ -i H_I t] \right\rvert 0\right\rangle$ $\right\rvert\left\langle 0 \left\lvert T exp [ -i H_I t] \right\rvert 0\right\rangle$](https://dxdy-01.korotkov.co.uk/f/4/2/7/427c12d173ddef7a70eaefc6a7e2b22982.png)
, которое с точностью до обозначений совпадает с тем, что нам нужно было найти. Интегрирование выполняется во всему пространству времени так как нужно собрать все точки где источник был активен, а зоны где он был выключен все равно дадут нуль.
Вообще хотелось бы немного обсудить смысл проделанной выше операции, по сути своей мы взяли эволюцию поля без всякого взаимодействия, а потом докрутили ее с помощью гамильтониана взаимодействия оператором эволюции. Экспонента в этом контексте единственное обоснованное априорное предположения, так как именно экспонента задает оператор сдвига так сказать. По сути смысл этой процедуры в том, что мы пытаемся сдвинуть невозмущенное решение в сторону того, что было бы при честном решении всех уравнений.
2. По теории возмущений вычислить слагаемое порядка

и показать, что формула для вероятности из первого пункта будет записываться так:

,

, где под знаком интеграла стоит фурье образ источника частиц.
С этим возникло больше трудностей, однако давайте все же попробуем для начала расписать амплитуду вероятности, разложив экспоненту до квадратичного члена:
![$\right\rvert\left\langle 0 \left\lvert T exp [ -i H_I t] \right\rvert 0\right\rangle = \right\rvert\left\langle 0 \left\lvert 1 - i (\int d^4 x j(x) \phi(x)) - \frac{(-i)^2}{2} T [\int d^4 x d^4 y j(x)]\phi(x) j(y)\phi(y)] \right\rvert 0\right\rangle$ $\right\rvert\left\langle 0 \left\lvert T exp [ -i H_I t] \right\rvert 0\right\rangle = \right\rvert\left\langle 0 \left\lvert 1 - i (\int d^4 x j(x) \phi(x)) - \frac{(-i)^2}{2} T [\int d^4 x d^4 y j(x)]\phi(x) j(y)\phi(y)] \right\rvert 0\right\rangle$](https://dxdy-01.korotkov.co.uk/f/0/5/1/05143e9ef8035873eacda3ab38fdb38c82.png)
Линейное слагаемое очевидно обнуляется, так как при разложении поля по операторам рождения смерти: часть с операторами смерти уничтожить вакуум справа, а часть с операторами рождения - уничтожит вакуум слева, в итоге будет нуль. Это частный случай теоремы Вика, если применить ее - то сразу получим, что нас интересуют лишь слагаемые в четных степенях.
А вот с вычислением квадратичного слагаемого возникли проблемы - я совершенно не понимаю, что надо делать.