Какой смысл вводить производящий функционал в слагаемые разложения S-матрицы?

Имеем производящий функционал Z ( Дж ) :

Z ( Дж ) "=" 0 | Т ^ е я г 4 Икс ( л я н т ( ф ( Икс ) ) + Дж ( Икс ) ф ( Икс ) ) | 0 , ( 1 )
где Дж ( Икс ) - функциональный аргумент (источник), Т ^ хронологический оператор, ф ( Икс ) - какое-то поле.

Я хочу понять причины его введения для слагаемых разложения S-матрицы. Как я читал в книгах, помогает рассматривать только значения вакуумного ожидания, забывая о входных и выходных состояниях. Но в ( 1 ) появляются такие слагаемые, как Дж ( п ) г п п 2 м 2 + я 0 вместо вкладов от внешних линий. Это может относиться к внутренним линиям. Так что же с ними делать и есть ли еще какие-то причины для введения ( 1 ) кроме написанного мной?

Комментарий к вопросу (v2): Для связи между корреляционными функциями вне оболочки и элементами S-матрицы на оболочке см. формулу сокращения LSZ .

Ответы (2)

Основная полезность введения производящего функционала заключается в его использовании для вычисления корреляционных функций данной квантовой теории поля.

Ограничим обсуждение теорией одного реального скалярного поля в пространстве Минковского, и пусть Икс 1 , , Икс н обозначают точки пространства-времени. Центральное значение имеют упорядоченные по времени значения вакуумного ожидания полевых операторов, оцениваемые в таких точках;

0 | Т [ ф ( Икс 1 ) ф ( Икс н ) ] | 0 .
Можно показать, что эти объекты можно получить из производящего функционала, взяв функциональные производные по Дж ( Икс я ) следующее:
0 | Т [ ф ( Икс 1 ) ф ( Икс н ) ] | 0 "=" 1 Z [ 0 ] ( я дельта дельта Дж ( Икс 1 ) ) ( я дельта дельта Дж ( Икс н ) ) Z [ Дж ] | Дж "=" 0 .
Этот стандартный факт доказан во многих книгах по КТП. Это часто доказывается с использованием подхода интеграла по путям, что делает довольно прозрачным, почему это правда. Суть аргумента в том, что каждый раз, когда вы берете функциональную производную по отношению к источнику Дж ( Икс я ) , он уменьшает фактор поля ф ( Икс я ) . Деление на Z [ 0 ] является важной нормировкой, относящейся к вакуумным пузырькам, и установка Дж "=" 0 после вычисления соответствующих функциональных производных исключает члены с более чем н факторов поля и делает окончательный результат независимым от источника, как это и должно быть.

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