Вычисление функции Грина теории взаимодействующего поля

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

Если я использую теорию поля Юкавы со скаляром ф поле и комплекс ψ field в качестве простого примера, у меня есть следующий лагранжиан:

л "=" 1 2 ( мю ф ) 2 1 2 М 2 ф 2 + 1 2 ( мю ψ ) ( мю ψ ) 1 2 м 2 ψ ψ г ψ ψ ф

Если бы я хотел найти функцию Грина, например:

г 1 ( 3 ) ( Икс 1 , Икс 2 , Икс 3 ) "=" Ом | Т ф ( Икс 1 ) ψ ( Икс 2 ) ψ ( Икс 3 ) | Ом или г 2 ( 3 ) ( Икс 1 , Икс 2 , Икс 3 ) "=" Ом | Т ф ( Икс 1 ) ψ ( Икс 2 ) ψ ( Икс 3 ) | Ом

Я могу сделать это, используя производящий функционал, Z [ Дж , η , η ] :

г 1 ( 3 ) ( Икс 1 , Икс 2 , Икс 3 ) "=" 1 Z [ 0 , 0 , 0 ] дельта 3 Z дельта Дж дельта η дельта η | Дж "=" η "=" η "=" 0 , г 2 ( 3 ) ( Икс 1 , Икс 2 , Икс 3 ) "=" 1 Z [ 0 , 0 , 0 ] дельта 3 Z дельта Дж дельта η дельта η | Дж "=" η "=" η "=" 0

Однако я не уверен, как получить производящий функционал в этом случае. Все заметки, которые я могу найти, говорят о выводе производящего функционала для свободной скалярной теории поля.


Я знаю, что мы можем записать функцию Грина в терминах суммы всех связных графов с н внешние линии. Однако в этом случае у меня нет правил Фейнмана, и поэтому (я думаю) это мне не поможет.

В нелинейных теориях нет функции Грина, я полагаю, вы имеете в виду функцию корреляции n точек.
@Slereah Предыдущий экзамен, который я видел для своего курса, на самом деле требует «трехточечной функции Грина, которая описывает распад ф ψ ψ ". Тем не менее, я думаю, что они действительно означают н -точечная корреляционная функция!
@Slereah Это причуда, что некоторые физики склонны использовать «функцию Грина» и «функцию корреляции» как синонимы, к сожалению.

Ответы (1)

Производящий функционал, как всегда, имеет вид

Z [ Дж , η , η ] "=" Д ф Д ψ Д ψ опыт [ я г 4 Икс ( л ( ф , ψ , ψ ) + Дж ф + η ψ + ψ η ) ] "="
опыт [ я г г 4 Икс дельта дельта Дж дельта дельта η дельта дельта η ] Z 0 [ Дж , η , η ] ,

где Z 0 является производящим функционалом свободной теории:

Z 0 [ Дж , η , η ] "=" г 4 Икс г 4 у ( 1 2 Дж ( Икс ) Δ М ( Икс , у ) Дж ( у ) + η ( Икс ) Δ м ( Икс , у ) η ( у ) )

с Δ м пропагатор Клейна-Гордона с массой м .

Ваша формула для корреляций (она же функция Грина теории взаимодействия) верна. Вы должны адаптировать экспоненту взаимодействующего члена к соответствующему порядку в теории возмущений.

Просто посчитайте, и вы получите правильные выражения для корреляционных функций. Спойлер: второй исчезает.

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

Ф [ ф , ψ , ψ ] 0 "=" Н 0 Д ф Д ψ Д ψ опыт [ я г 4 Икс л 0 ( ф , ψ , ψ ) ] Ф [ ф , ψ , ψ ]

где Ф полиномиальна по полям с помощью теоремы Вика. Также обратите внимание на диаграммную интерпретацию терминов в расширении Вика.

Затем определите

Ф [ ф , ψ , ψ ] "=" Н Д ф Д ψ Д ψ опыт [ я г 4 Икс л ( ф , ψ , ψ ) ] Ф [ ф , ψ , ψ ] "="
Н Н 0 Ф опыт [ я г г 4 Икс ф ψ ψ ] 0 .

и Tailor-расширить экспоненту взаимодействующего члена до любого порядка (заданного заранее). Вы придете к полиномиальному выражению (поскольку оба Ф а усеченный ряд Тейлора является полиномом от ф , ψ и ψ ). Мы уже знаем, как их вычислить:

Скобка ожидания для каждого порядка в ряду возмущений задается суммой членов. Каждый член может быть представлен графически в виде диаграммы Фейнмана.

Скобки ожидания по определению нормализованы таким образом, что

1 0 "=" 1 "=" 1 ,

Который означает, что Н 0 и Н связаны друг с другом. Есть очень общий результат, а именно: отношение Н / Н 0 соответствует произведению всех пузырьковых графов (без внешних ветвей). Они хорошо учитываются, предоставляя удобный способ расчета корреляций:

Соответствующую нормализацию можно объяснить, просто игнорируя графы с несвязанными пузырьками.

Спасибо, это действительно полезно; и я предполагаю, что это также применимо и к другим теориям поля? Я догадался, что второй запрещен ко всем заказам!
@ThomasRussell Это действительно относится ко всем полям. Интегралы по путям могут быть определены даже для антикоммутирующих полей, что приводит к производящему функционалу для фермионов.
И эти интегралы по траекториям, по-видимому, используют числа Грассмана?
@Томас Рассел точно