Почему в функциональных интегралах Фейнмана мы интегрируем действие за все время?

Скажем, определение пропагатора в квантовой теории поля:

г Ф ( Икс , у ) "=" ф ( Икс ) ф ( у ) е я С [ ф ] Д ф

где С это действие. Почему мы интегрируем плотность Лагранжа из т "=" к т "=" + вместо от Икс 0 к у 0 ?

то есть

С [ ф ] "=" + + + + л ( Икс , у , г , т ) д Икс д у д г д т

где л – лагранжева плотность. Наверняка нас интересует только участок между т "=" Икс 0 и т "=" у 0 ?

Ответы (2)

Краткий ответ (при условии правильного временного упорядочения Икс и у ):

Ом | ф ( Икс ) ф ( у ) | Ом "=" 0 | U ( , Икс 0 ) ф я ( Икс ) U ( Икс 0 , у 0 ) ф я ( у ) U ( у 0 , + ) | 0 0 | U ( , ) | 0

Эти бесконечности должны быть и в интеграле действия.


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

1 д 2 + м 2 я ϵ

Что делает возможной интеграцию по д и помогает выбрать правильный полюс с помощью теоремы об остатках.

Хотя это обычно просто предполагается и не учитывается в расчетах, это я ϵ исходит из фаз поля во времени ± :

Ом , о ты т | ф ( ) ф ( ) | Ом , я н е ϵ × пары полей

для некоторого бесконечно малого ϵ .

(Заметим, что в взаимодействующей теории это произведение проекций можно вычислить только при т "=" ± , так как предполагается, что в настоящее время теория свободна.)

Учитывая, что это произведение пропорционально экспоненциальной форме - произведение ϵ и пары полей будут объединены с действием! Это причина иметь ϵ в пропагаторе.

(Более подробную информацию вы можете найти в главе 9 тома 1 Weinberg's QFT )

Спасибо, для меня это слишком лаконично! Суть, кажется, в том, что вы должны начать с вакуума в далеком прошлом и будущем.
Разобрался с этим. Надеюсь, вам понравится ответ.
@zooby Правильно - физическая причина этого в том, что вакуумное состояние взаимодействующей теории не совпадает с вакуумным состоянием соответствующей свободной теории. Они близки в далеком прошлом и будущем, когда взаимодействующие «частицы» хорошо разделены, а члены взаимодействия малы, но не тождественны.
В контексте диаграмм Фейнмана разница между взаимодействующим вакуумом и свободным вакуумом объясняется отбрасыванием некоторых диаграмм (например, неампутированных) и добавлением различных нормирующих коэффициентов - другими словами, формулой приведения LSZ.
Так и есть г ( Икс , у ) на самом деле не амплитуда движения частицы из x в y, а амплитуда прихода частицы из далекого прошлого, прохождения через x и y и ухода в далекое будущее?
Это интересная интерпретация! Хотя обычно все происходит наоборот. Вы должны развить вакуум из где считается равным | 0 к моменту, когда вы применяете оператора. Взаимодействующие и невзаимодействующие вакуумы разные!

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

например в С -матричная теория, для простоты часто предполагается, что взаимодействиями можно пренебречь вблизи начального и конечного моментов времени, т "=" т я и т "=" т ф , и что интервал времени [ т я , т ф ] много больше, чем все характерные временные масштабы взаимодействий.

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

А также (если быть до конца честным) это единственный режим, в котором мы умеем вычислять С оператор возмущения для взаимодействующей КТП, верно?