Список литературы |
503 |
1a. Fock, V., Z. f. Phys., 39, 226 (1927); Weyl, H., Z. Phys., 56, 330 (1929). Термин «калибровочная инвариантность» возник по аналогии с более ранними спекуляциями на тему о масштабной инвариантности в книге: Weyl, H., Raum, Zeit, Materie, 3rd ed. (Springer Verlag, Berlin, 1920) (есть рус. пер.: Г. Вейль. Пространство, время, материя. М., 1998). Историю вопроса рассказал Ч.Н. Янг в докладе в Сити-колледже (неопубликовано).
2.Использование кулоновской калибровки в электродинамике активно поддерживал Швингер, во многом по тем же причинам,
что и в данной книге: нам не нужно вводить фотонов со спиральностями, отличными от ± 1. Ñì.: Schwinger, J., Phys. Rev.,
78, 1439 (1948); 127, 324 (1962); Nuovo Cimento, 30, 278 (1963).
3. Feynman, R.P., Phys. Rev., 101, 769 (1949), Section 8.
4. Klein, O. and Nishina, Y., Z. f. Phys., 52, 853 (1929); Nishina, Y., ibid., 869 (1929); см. также: Tamm, I., Z. f. Phys., 62, 545 (1930).
5. См., например: Weinberg, S., Gravitation and Cosmology (Wiley, New York, 1972), Section 4.11 (есть рус. пер.: Вейнберг С. Гравитация и космология. М.: Мир, 1976).
6. Доступное общее введение в геометрию и топологию р-форм можно найти в книге: Flanders, H., Differential Forms (Academic Press, New York, 1963).
7. West, T., Comput. Phys. Commun., 77, 286 (1993).
9
Методы функционального интегрирования *
В главах 7 и 8 мы применили операторный формализм канони- ческого квантования для вывода фейнмановских правил в разных теориях. Во многих случаях, например, для скалярного поля со взаимодействием с производными или для векторного поля с нулевой или отличной от нуля массой, такая процедура оказалась хотя и прямо ведущей к цели, но довольно сложной. Оказалось, что гамильтониан взаимодействия содержит как ковариантное слагаемое, равное взятому с обратным знаком члену взаимодействия в лагранжиане, так и нековариантное слагаемое, необходимое для сокращения нековариантных членов в пропагаторе. В электродинамике такое нековариантное слагаемое (кулоновская энергия) оказалось даже пространственно нелокальным, хотя и локальным по времени. Оконча- тельный результат достаточно прост: фейнмановские правила соответствуют тому, что мы имеем дело с ковариантными пропагатора-
*Начиная с этого момента мы последовательно переводим используемый
âанглоязычной литературе термин path integral и его производные как функциональный интеграл и производные от этого термина «функциональная формулировка», «функциональный подход», «функциональный формализм» и т. п., имея в виду, что буквальный перевод термина интеграл по путям используется в русских пособиях и монографиях, когда речь идет об альтернативной формулировке квантовой механики, а в применении к квантовой теории поля и квантовой статистике используются более общие термины. — Прим. пер.
Методы функционального интегрирования |
505 |
ми, а для нахождения вкладов в вершины используем взятый со знаком «минус» член взаимодействия в лагранжиане. Сложность получе- ния этих простых результатов, достаточно раздражающая в случае теорий, рассмотренных в гл. 7 и 8, становится непереносимой в более сложных теориях, типа обсуждаемых в т. II неабелевых калибровоч- ных теорий или общей теории относительности. Всякий предпочел бы такой метод вычислений, который исходит непосредственно из лагранжиана и приводит к фейнмановским правилам в их оконча- тельной лоренц-ковариантной форме.
К счастью, такой метод существует. Он связан с формулировкой квантовой механики на языке функциональных интегралов. Впервые функциональный подход был изложен применительно к нерелятивистской квантовой механике в диссертации Фейнмана 1, где было показано, как можно вместо гамильтониана работать непосредственно с лагранжианом. В этом отношении работа Фейнмана была инспирирована более ранней работой Дирака 2. Позднее функциональный подход сыграл (наряду с вдохновенными догадками) важную роль при выводе Фейнманом правил диаграммной техники 3. Однако, хотя фейнмановские диаграммы стали общеупотребительными уже в 1950-е годы, большинство физиков (включая меня самого) предпочитали выводить правила для них с помощью операторных методов Швингера и Томонаги, которые, как показал в 1949 году Дайсон, приводят к тем же правилам диаграммной техники, что и полученные Фейнманом с помощью его методов.
Функциональный подход возродился в конце 1960-х годов, когда Фаддеев и Попов 4, а также Де Витт 5 показали, как применить его к неабелевым калибровочным теориям и общей теории относительности. Для большинства теоретиков поворотным стал 1971 год, когда ′ò Õîôò 6 применил функциональный метод для
вывода фейнмановских правил в спонтанно нарушенных калибровочных теориях (они обсуждаются в т. II), в частности, в теории слабых и электромагнитных взаимодействий, использовав при этом калибровку, в которой становится совершенно прозрачным поведение этих теорий при больших энергиях. Вскоре (об этом также рассказывается в т. II) было обнаружено, что функциональный метод позволяет учесть вклады в S-матрицу, которые существенно сингулярны при нулевой константе связи и поэтому не могут быть обнаружены в любом конечном порядке теории возмущений. С тех
506 |
Глава 9. Методы функционального интегрирования |
пор описываемые ниже функциональные методы стали неотъемлемой частью вооружения всех физиков, использующих квантовую теорию поля.
Читатель может в этом месте задать вопрос, почему же, раз этот метод так удобен, мы мучились в гл. 7 с обоснованием канони- ческого формализма. Похоже, и сам Фейнман поначалу полагал, что его функциональный подход может стать заменой обычной канонической формулировки квантовой механики. Есть две причины начинать с канонического формализма. Первая из них носит принципиальный характер: хотя функциональный формализм приводит к явно лоренц-инвариантным правилам диаграммной техники, остается неясным, почему вычисленная таким способом S-матрица унитарна. Насколько мне известно, единственный способ доказать, что функциональный формализм приводит к унитарной S-матри- це, заключается в том, чтобы использовать его для реконструкции канонического формализма, в котором унитарность очевидна. В этом вопросе срабатывает закон сохранения неприятностей: можно использовать канонический подход, в котором унитарность очевидна, а лоренц-инвариантность спрятана, или функциональный подход, который явно лоренц-инвариантен, но отнюдь не явно унитарен. Так как ниже функциональный подход выводится из канонического подхода, мы уверены, что оба подхода приводят к одной S- матрице, так что S-матрица действительно должна быть как ло- ренц-инвариантной, так и унитарной.
Вторая причина, по которой сначала рассматривается канонический формализм, более практического свойства: существуют важные теории, где простейшая версия фейнмановского функционального метода, в которой пропагаторы и вершины взаимодействия извлекаются непосредственно из лагранжиана, просто неверна. Примером может1 служить нелинейная σ-модель с плотностью лагранжиана L = − gkl(ϕ)∂μϕk∂μϕl. В подобных теориях исполь-
зование наивных правил Фейнмана, выведенных непосредственно из плотности лагранжиана, приводит к S-матрице, которая не только неправильна, но даже не унитарна, да еще и зависит от способа, которым мы определяем скалярное поле 7. В этой главе мы выведем функциональный формализм из канонического формализма и, таким образом, увидим, какие еще типы вершин необходимы для того, чтобы дополнить простейшую версию фейнмановского функционального метода.
9.1. Общая формула для функционального интеграла |
507 |
9.1. Общая формула для функционального интеграла
Начнем с рассмотрения произвольной квантово-механической системы с эрмитовыми операторами «координат» Qa и сопряженных им «импульсов» Pb, удовлетворяющими каноническим коммутационным соотношениям *:
[Qa , Pb ] = iδab , |
(9.1.1) |
[Qa , Qb ] = [Pa , Pb ] = 0 . |
(9.1.2) |
(В этом и трех следующих разделах ограничимся бозонными операторами, которые удовлетворяют коммутационным соотношениям. Полученные результаты будут обобщены в разделе 9.5 на случай фермионных операторов, удовлетворяющих антикоммутационным соотношениям.)
В теории поля индекс a включает координату x и дискретные индексы m, включающие лоренцовские индексы и сорта частиц, и мы условимся о следующих обозначениях:
Qx,m |
≡ Qm(x) , |
(9.1.3) |
Px,m |
≡ Pm(x) . |
(9.1.4) |
Кроме того, кронекеровский дельта-символ в (9.1.1) понимается в теории поля как
δ |
x,m;y,n |
≡ δ3 (x − y)δ |
mn |
. |
(9.1.5) |
Однако сейчас будет удобно использовать более компактные обозначения, как в формулах (9.1.1) и (9.1.2). Операторы в этих формулах записаны в «шредингеровском представлении», т. е. взяты
* Здесь молчаливо предполагается, что все связи первого рода устранены выбором калибровки, а все оставшиеся связи второго рода «разрешены», так что все степени свободы, на которые наложены связи, выражены че- рез независимые операторы Qa è Pa. Согласно разделу 7.6 непосредственное использование функциональных методов к системам со связями описано Фаддеевым 8.