Функционал разбиения для свободного скалярного поля равен
Z= ∫Д фея ∫д4х [ -12ф (∂2+м2) ф + Jф ].(1)
Чтобы вычислить этот функциональный интеграл, мы обычно сравниваем его с дискретным случаем
∫∞− ∞∫∞− ∞. . .∫∞− ∞дд1дд2. . . гдНе( я / 2 ) д⋅ А ⋅ д+ я J⋅ д"="(( 2 πя)Ндет [ А ])12е− ( я / 2 ) Дж⋅А− 1⋅ Дж,
где
А− 1
является обратной матрицей
А
. Теперь по аналогии мы обычно принимаем результат уравнения (1) как
Z= Се− ( 1 / 2 ) ∫∫д4Иксд4уДж( Икс ) D ( Икс - у) Дж( у),(2)
где
D ( х - у)
называется обратным оператору
− (∂2+м2)
(думаю должно быть
− (∂2Икс+м2) δ( х - у)
в более строгом смысле). А именно,
∫д4у− (∂2Икс+м2) δ( х - у) Д ( у− г) = - (∂2Икс+м2) D ( х - z) = δ( х - г) ,(3)
аналог
АяДжА− 1Джк"="дельтаяк
в дискретном случае.
Но теперь у меня есть вопрос. Поскольку не существует единственного обратного оператора− (∂2Икс+м2) δ( х - у)
(напомним, что нам нужны дополнительные граничные условия, чтобы получить конкретное решение уравнения (3), см. мой другой вопрос здесь ), то какая функция ГринаD ( х - у)
следует использовать в уравнении (2)?
А какой физический смысл в том, что мы выбираем функцию Грина
D ( х - у) = ∫д4к( 2 π)4ея к ( х - у)к2−м2,(4)
где я пренебрегаю
я ϵ
? Видимо, мы в принципе можем добавить любую функцию
г( х - у)
к уравнению (4) при условии
− (∂2Икс+м2) г( х - г) = 0.