556 |
Глава 9. Методы функционального интегрирования |
Получившийся интеграл не зависит от Γ, так что вся зависимость от Γ амплитуды вероятности вакууму остаться вакуумом со-
держится в детерминанте, возникающем от замены переменных согласно формуле (9.5.38):
VAC, out |
VAC, in Γ Det K[Γ]. |
(9.5.64) |
|
Чтобы воспроизвести результаты теории возмущений, представим K(Γ) â âèäå
K[Γ] ≡ D + G[Γ] , |
(9.5.65) |
|
G[Γ]mx,ny |
= cγ 0Γ(x)h δ4 (x − y) , |
(9.5.66) |
mn |
||
и разложим правую часть формулы (9.5.64) в ряд по степеням G [Γ]:
VAC, out |
VAC, in Γ Det cD[1 + D−1G[Γ]]h |
||||||||
F |
∞ |
− |
n+1 |
I |
|||||
= [DetD] expG |
å |
( |
1) |
Tr (D |
−1G[Γ])n J . |
(9.5.67) |
|||
n |
|||||||||
H n=1 |
K |
||||||||
Это именно то, что следовало ожидать согласно фейнмановским правилам: вклады от внутренних линий и вершин в этой теории равны −iD–1 è −iG [Γ]; след от произведения n множителей −D– 1G [Γ] соответствует петле с n вершинами, соединенными n внутренними линиями; 1/n − обычный комбинаторный множитель, свя-
занный с такими петлями (см раздел 6.1); знаковый мнижитель равен (−1)n+1, à íå (−1)n, так как дополнительный знак «минус» связан
с фермионными петлями; наконец, сумма по n в показателе экспоненты возникает потому, что в амплитуду вероятности вакууму остаться вакуумом вносят вклад диаграммы с любым числом несвязных петель. Не зависящий от Γ множитель Det D менее удобно
выводить из фейнмановских правил; он представляет собой вклад произвольного числа фермионных петель без вершин.
Добавим, что формула типа (9.5.64) позволит получить непертурбативные результаты, используя топологические теоремы о собственных значениях ядер типа K [Γ]. Подробнее этот вопрос будет
рассмотрен в т. II.
558 |
Глава 9. Методы функционального интегрирования |
||||||
VÊóë (t) = |
1 |
X |
3 3 |
J0 (x, t)J0 (y, t) |
. |
||
Y d xd y |
(9. 6. 4) |
||||||
2 |
4p| x - y| |
||||||
Z |
|||||||
Как и для любой другой гамильтоновой системы, средние по вакууму от хронологически упорядоченных произведений операторов можно вычислять как функциональные интегралы *:
X L |
O |
||||||||||||||
TlOAOB . . .q |
= Y M∏ dai |
(x)∏ dpi (x)∏ dyl (x)P OAOB . . . |
|||||||||||||
VAC |
Y M |
P |
|||||||||||||
Z N x,i |
x,i |
x,l |
Q |
||||||||||||
R X |
4 |
L |
1 |
2 |
1 |
2 |
O |
X |
U |
||||||
´ expSi Y |
d |
x Mπ × a& − |
π |
- |
(Ñ × a) |
+ a × J + LM P |
- i Y |
d t VÊóë V |
|||||||
2 |
2 |
||||||||||||||
T Z |
N |
Q |
Z |
W |
|||||||||||
L |
O L |
O |
|||
´M∏ daÑ × a(x)fP M∏ daÑ × π(x)fP , |
(9. 6. 5) |
||||
M |
x |
P M |
x |
P |
|
N |
Q N |
Q |
|||
ãäå yl(x) — исходные поля материи. При записи формулы (9.6.5) в
термионах плотности лагранжиана материи мы предполагаем, что НÌ — локальный оператор, либо линейный по каноническим импульсам материи (как в спинорной электродинамике), либо квадратичный по ним с независящими от полей коэффициентами (как в скалярной электродинамике). В формулу (9.6.5) включены дельтафункции **, чтобы учесть связи (9.6.2) и (9.6.3).
* Заметим, что π(x) есть интерполирующее с-числовое поле для квантового оператора Π , коммутационные соотношения компонент которого друг с другом и с А те же, что и для Π, но в отличие от Π, этот оператор комму-
тирует со всеми каноническими переменными материи.
** Это не безупречно строгое утверждение. Если принять за канонические переменные a1, a2 è π1, π2, и рассматривать a3 è π3 как функционалы от этих
переменных, определяемые уравнениями (9.6.2) и (9.6.3), то следует вставить дельта-функцию
∏ δca3 (x) + ∂3−1a∂1a1(x) + ∂2a2 (x)fhδcπ3 (x) + ∂3−1a∂1π1(x) + ∂2 π2 (x)fh .
x
Однако она отличается от произведения дельта-функций в формуле (9.6.5) лишь на множитель Det ∂32, который, хотя и бесконечен, но не зависит от
полей и поэтому сокращается в отношениях типа (9.4.1).