САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

Физический факультет

Кафедра физики высоких энергий и элементарных частиц

В.В. Верещагин, М.И. Вязовский, Ю.М. Письмак

КВАНТОВАЯ ЭЛЕКТРОДИНАМИКА 1.
Теоретический практикум

Учебно-методическое пособие

Санкт-Петербург
2010 г.
 • Рецензенты: заведующий кафедрой физики высоких энергий и элементарных частиц
физического факультета СПбГУ, профессор, доктор физико-математических наук
М.А.Браун;
заведующий кафедрой квантовой механики физического факультета СПбГУ,
профессор, доктор физико-математических наук В.М.Шабаев.

• Печатается по решению методической комиссии физического факультета СПбГУ.

• Рекомендовано Ученым советом физического факультета СПбГУ.

В.В.Верещагин, М.И.Вязовский, Ю.М.Письмак

КВАНТОВАЯ ЭЛЕКТРОДИНАМИКА. 1.Теоретический практикум. –
СПб., 2010. – 25 с.

Учебно-методическое пособие представляет собой сборник задач с решениями по кванто-

вой теории поля и предназначено для изучающих эту дисциплину студентов 4-7 курсов,
аспирантов, соискателей и научных сотрудников. Оно призвано восполнить отсутствие
задачника по квантовой теории поля и используется для проведения практических за-
нятий по курсам лекций ”Введение в квантовую теорию поля” и ”Квантовая электроди-
намика” на кафедре физики высоких энергий и элементарных частиц физического фа-
культета Санкт-Петербургского государственного университета. Часть 1.”Теоретический
практикум” содержит задачи, связанные с теорией взаимодействующих скалярных полей.
Большое внимание уделено построению генераторов квантовых симметрий.
Введение.
Всюду использутся естественная для квантовой теории поля система единиц, в которой
c = 1, ~ = 1.
Пространственные координаты ~x = {xi , i = 1, 2, 3} и время t ≡ x0 объединяются в
контравариантные координаты xµ = (x0 , ~x) четырехмерного пространства Минковского,
производные по ним обозначаются ∂µ = ∂x∂µ . По повторяющимся лоренцевым индексам
µ, ν, · · · = 0, 1, 2, 3, также, как по пространственным i, k, l, подразумевается суммирова-
ние. Метрический тензор, позволяющий поднимать и опускать лоренцевы индексы, вы-
бран стандартно: g µν = gµν = diag(1, −1, −1, −1). Скалярное произведение векторов есть
~x~y = xi y i в трехмерном пространстве и xy = xµ yµ в пространстве Минковского.

1 Классическое скалярное поле.

1.1. Простейшая модель классической теории поля – это модель ϕ4 . Она описывает ве-
щественное скалярное поле ϕ(x) в пространстве Минковского. Динамика модели задается
плотностью лагранжиана
1 1 g
L(x) = ∂µ ϕ∂ µ ϕ − m2 ϕ2 − ϕ4 , (1)
2 2 4!
R R
которая определяет лагранжиан L(x0 )= d3~xL(x) и функционал действия S= dx0 L(x0 ).
Параметр m называется массой поля, а g – константой связи; слагаемое с g описывает
самодействие поля.
Задание 1
Найти уравнение движения в модели (1) в лагранжевой форме.
Решение
В общем случае, уравнение движения (Эйлера-Лагранжа) имеет вид
δS ∂L ∂L
= ∂ν − = 0. (2)
δϕ ∂(∂ν ϕ) ∂ϕ
В нашем случае, используя равенство
∂L
= ∂ν ϕ , (3)
∂(∂ν ϕ)
получаем
g 3
∂ 2 ϕ + m2 ϕ +
ϕ = 0. (4)
3!
Здесь введено обозначение для лоренц-инвариантного оператора д’Аламбера ∂ 2=∂ν ∂ ν .
Задание 2
Найти выражение для тензора энергии-импульса модели (1).
Решение
Элементы тензора энергии-импульса
∂L
T µν = ∂ ν ϕ − g µν L (5)
∂(∂µ ϕ)

3
с учетом (3) принимают вид
T µν = ∂ µ ϕ∂ ν ϕ − g µν L . (6)
1.2. В классической теории поля рассмотрим систему глобальных преобразований коор-
динат и полей, которая образует группу Ли. Пусть они заданы в инфинитезимальной
(бесконечно малой) форме:
X
xν → x′ν = xν + Xkν δωk ,
k
X
ϕn (x) → ϕ′n (x′ ) = ϕn (x) + Uknm ϕm (x)δωk . (7)
k

Здесь индексы m, n (по повторяющимся подразумевается суммирование) нумеруют раз-

личные типы полей, которые могут смешиваться под действием данного преобразования.
Если группа преобразований является группой симметрии модели, то (I теорема Нётер)
соответствующие нетеровы токи
∂L  ν 
Jkµ = Xk ∂ν ϕn − Uknm ϕm − Xkµ L (8)
∂(∂µ ϕn )

обладают свойством поперечности ∂µ Jkµ = 0 на решениях уравнения движения. Тогда

заряды Z
Qk = d3~xJk0 (9)

сохраняются во времени, то есть являются интегралами движения. Индекс k в (7), (8)

имеет особый смысл – он пробегает столько значений, сколько имеется независимых па-
раметров преобразования (их число равно размерности группы Ли).
Задание 3
Известно, что преобразованию трансляции в пространстве-времени xν → xν + δω ν в каче-
стве токов соответствуют элементы тензора энергии-импульса. Выписать компоненты T 00
и T 0k , которые связаны с интегралами движения.
Решение
Подставляя (1) в (6), получаем
1 1 1 g
T 00 = (∂ 0 ϕ)2 + ∂ i ϕ∂ i ϕ + m2 ϕ2 + ϕ4 , (10)
2 2 2 4!
T 0k = ∂ 0 ϕ∂ k ϕ . (11)
Этих величин 4 – каждая соответствует трансляции в направлении одной из четырех осей
пространства Минковского.
Задание 4
Бесконечно малое преобразование Лоренца определяется соотношениями x′µ = xµ +xν δω µν ,
причем параметры преобразования (после опускания первого индекса) антисимметричны
по индексам: δωνµ = −δωµν . Определить нетеровы токи Mσν
µ
. Какие сохраняющиеся вели-
чины соответствуют пространственным вращениям.
Решение
Определим величины X ν и U в (7). Скалярное поле ϕ не меняется при преобразованиях

4
Лоренца, поэтому слагаемое с U в (8) отсутствует. Это слагаемое для преобразования Ло-
ренца произвольного поля определяет спин, поэтому спин равен нулю в модели скалярного
поля. Представим преобразование координат таким образом:
x′µ = xµ + xν δω µν = xµ + g µσ xν δωσν = xµ + (g µσ xν − g µν xσ )δω(σν) . (12)
Нужно заметить, что только половина параметров δωσν являются независимыми (из-за ан-
тисимметрии). Выберем в качестве независимых только δωσν с упорядоченными индексами
σ < ν. Таким образом, параметры нумеруются упорядоченными парами (σν) лоренцевых
индексов. Суммирование в (12) производится именно по таким парам (всего их 6 – это раз-
мерность группы Лоренца). Договоримся для удобства, что эти упорядоченные лоренцевы
индексы можно поднимать по обычным правилам. Тогда мы имеем X µ(σν) = g µσ xν −g µν xσ .
Выражение для токов имеет вид:
∂L
M µ(σν) = (g ρσ xν − g ρν xσ )∂ρ ϕ − (g µσ xν − g µν xσ )L = xν T µσ − xσ T µν . (13)
∂(∂µ ϕ)
Вращениям в трехмерном пространстве соответствуют преобразования (12) с δω0µ= 0,
δωik6= 0. Сохраняющиеся величины
Z


M = d3~x xk T 0i − xi T 0k
ik
(14)

с T 0k из (11) образуют трехмерный тензор, антисимметричный по i, k = 1, 2, 3.

Замечание
Три сохраняющиеся величины M (ik) можно объединить в псевдовектор M l = εikl M (ik) =
= 21 εikl M ik ((ik) означает суммирование по упорядоченным парам). Этот псевдовектор
называется моментом импульса.
Задание 5
Рассмотреть модель ϕ4 с N одинотипными скалярными полями ϕn (x), (n = 1, . . . , N),
заданную плотностью лагранжиана
1 1 g
L = ∂µ ϕn ∂ µ ϕn − m2 ϕ2n − (ϕ2n )2 . (15)
2 2 4!
Подразумевается суммирование по повторяющимся индексам n, в том числе в квадратич-
ных формах ϕ2n = ϕn ϕn .
Решение
Изменения в формулах раздела 1.1 очевидны. Всюду нужно ввести индекс n у поля ϕ,
во всех квадратичных по ϕ комбинациях нужно суммировать по этим индексам. В выра-
жениях, содержащих самодействие поля, например в (10), нужно заменить ϕ4 на (ϕ2n )2 .
Например, уравнение движения принимает вид
g
∂ 2 ϕn + m2 ϕn + (ϕ2m )ϕn = 0. (16)
3!
Задание 6
Модель (15) обладает симметрией относительно глобальных вращений в N-мерном евкли-
довом пространстве полей ϕn (его можно условно назвать ”изотопическим”). Такие пре-
образования образуют группу Ли, которая называется SO(N). Найти соответствующие
нетеровы токи. Проверить их поперечность явным рассчетом.

5
 Решение
Преобразование поворота в изотопическом пространстве в бесконечно малой форме имеет
вид
xν → xν , ϕn → ϕ′n = ϕn + δωnm ϕm . (17)
Это ортогональное преобразование, его параметры антисимметричны по индексам: δωnm =
−δωmn . Действительно, только в этом случае квадратичная форма инвариантна: ϕ′n ϕ′n =
ϕn ϕn + 2ϕn δωnm ϕm + · · · = ϕn ϕn + o(δω). В качестве независимых выберем параметры
δω(nm) с упорядоченной парой индексов n < m (число таких пар равно N(N − 1)/2).
Изотопические повороты не затрагивают координаты пространства Минковского, по-
этому Xnmν
= 0. Переписывая (17) в виде

ϕ′n = ϕn + δωnm ϕm = ϕn + δpn δqm ϕm δωpq = ϕn + (δpn δqm − δpm δqn )δω(pq) , (18)

мы получаем (по аналогии с (12)) U(pq)

nm
= δpn δqm − δpm δqn .
Мы получаем N(N − 1)/2 токов

µ ∂L pq ∂L ∂L
J(nm) =− U(nm) ϕq = ϕn − ϕm = ϕn ∂ µ ϕm − ϕm ∂ µ ϕn . (19)
∂(∂µ ϕp ) ∂(∂µ ϕm ) ∂(∂µ ϕn )
µ
Их поперечность ∂µ J(nm) = ϕn ∂ 2 ϕm − ϕm ∂ 2 ϕn = 0 легко устанавливается подстановкой
∂ 2 ϕn из уравнения движения (16).

2 Квантование скалярного поля.

2.1. Процедура канонического квантования требует представить классическую модель ϕ4
в гамильтоновой форме в терминах заданных в каждой точке пространства ~x обобщен-
ных переменных ϕ(x0 , ~x) и канонически сопряженных импульсов π(x0 , ~x), зависящих от
времени t = x0 .
Задание 7
Найти канонические импульсы в модели ϕ4 и построить ее гамильтониан.
Решение
По определению канонический импульс равен
δL ∂L
π(x0 , ~x) = π(x) = = .
δ(∂ϕ/∂t) ∂(∂0 ϕ)

Для модели (1) из (3) получаем

π(x) = ∂0 ϕ(x). (20)
Система невырождена, так как обобщенные скорости (производные по времени) взаимно
однозначно связаны с каноническими импульсами.
Плотность гамильтониана определяется элементом тензора энергии-импульса T 00 (име-
ющим смысл плотности энергии), выраженным через канонические переменные:
1 1 1 g
H(x) = π 2 + ∂ i ϕ∂ i ϕ + m2 ϕ2 + ϕ4 (21)
2 2 2 4!

6
 R
Гамильтониан системы H(t) = d3~x H(x) = H является сохраняющейся величиной и не
зависит от времени.
2.2. Каноническое квантование состоит в замене классических канонических переменных
линейными операторами в некотором гильбертовом пространстве, для которых определе-
ны одновременные коммутационные соотношения
[ϕ(x), π(y)]|x0=y0 = iδ(~x − ~y ) ,
[ϕ(x), ϕ(y)]|x0=y0 = 0 , [π(x), π(y)]|x0=y0 = 0 . (22)
Здесь и далее квантовые операторы обозначаются теми же символами, что и классиче-
ские аналоги. Вещественности классического поля соответствует требование эрмитовости
операторов ϕ, π.
Динамика квантовой системы полностью определяется оператором гамильтониана H.
Для канонических переменных в представлении Гейзенберга зависимость от времени имеет
вид
ϕ(t) = eiHt ϕ(t = 0)e−iHt ,
π(t) = eiHt π(t = 0)e−iHt . (23)
Процедура канонического квантования предусматривает следующий рецепт построе-
ния гамильтониана: нужно подставить операторы канонических переменных в выражение
для классического гамильтониана. Заметим, что ни в одном из слагаемых в выражении
(21) не возникает проблема упорядочения операторов.
Задание 8
Вывести из (23) гамильтоновы уравнения движения.
Решение
Квантовый гамильтониан в представлении Гейзенберга не зависит от времени, как и клас-
сический. Дифференцируя (23) по времени, получаем
 
i∂0 ϕ(x) = i iHeiHt ϕ(t = 0, ~x)e−iHt + eiHt ϕ(t = 0, ~x)(−iH)e−iHt =
= [ϕ(x), H] . (24)
Аналогичное уравнение получается для канонического импульса
i∂0 π(x) = [π(x), H] (25)
и для любой полиномиальной функции операторов ϕ и π.
Задание 9
Найти уравнения движения для квантовых операторов ϕ, π в модели ϕ4 и сравнить их с
классическими уравнениями Эйлера-Лагранжа.
Решение
Подставим гамильтониан в (24) и поменяем местами интегрирование по пространствен-
ной переменной и коммутатор. Воспользуемся независимостью H от времени и выберем
переменную времени в (21) равной временно́й переменной поля ϕ(x). Тогда
Z Z
1
∂0 ϕ(x) = −i d ~y [ϕ(x), H(y)] = −i d3~y [ϕ(x), π 2 (y)] =
3
2
Z
= d3~y π(y)δ(~x − ~y ) = π(x) , (26)

7
поскольку коммутатор является одновременным (y 0 = t = x0 ). Необходимо обратить вни-
мание на то, что одновременные коммутационные соотношения (22) нельзя дифференци-
ровать по одному из времен x0 или y 0 , но можно дифференцировать по любой из простран-
ственных переменных, поэтому, например, [ϕ(x), ∂ i ϕ(y)]|x0=y0 = ∂(y)
i
[ϕ(x), ϕ(y)]|x0=y0 = 0.
Аналогично,
Z
∂0 π(x) = −i d3~y [π(x), H(y)] =
Z 
3 k ∂ 2 g 3 
= − d ~y ∂ ϕ(y) + m ϕ(y) + ϕ (y) δ(~x − ~y ) =
∂yk 3!
 g 
= − − ∂ k ∂ k ϕ(x) + m2 ϕ(x) + ϕ3 (x) . (27)
3!
Подставляя (26) в (27) и перенося все слагаемые в одну сторону, получаем
g 3
∂ 0 ∂ 0 ϕ − ∂ k ∂ k ϕ + m2 ϕ + ϕ = 0,
3!
что совпадает с классическим уравнением (4), так как ∂ 0 ∂ 0 − ∂ k ∂ k = ∂µ ∂ µ = ∂ 2 .
2.3. Рассмотрим симметрии квантовой теории. Преобразованиям полей (7) в классической
теории поля соответствует в квантовой теории (теорема Вигнера) унитарное преобразова-
ние  X   X 
ϕ′ (x′ ) = exp i Qk δωk ϕ(x) exp −i Qk δωk , (28)
k k

где эрмитовы операторы Qk называются генераторами группы преобразований.

Преобразование (28) является преобразованием симметрии тогда и только тогда, когда
его генераторы коммутируют с гамильтонианом. Частный случай представляет собой сам
гамильтониан H, который, как следует из (23), является генератором сдвига времени.
Задание 10
Показать, что оператор полного импульса
Z
P = d3~x T 0k
k
(29)

коммутирует с гамильтонианом.
Решение
Выразим плотность импульса T 0k (11) через канонические переменные, тогда
Z
P = d3~x π(x)∂ k ϕ(x) .
k
(30)

Поскольку операторы ϕ и π не коммутируют, нужно определить их порядок. Для опреде-

ленности примем в этом разделе правило: π – слева, ϕ – справа, как в выражении (30).
Чтобы доказать, что
Z
i∂0 P = [P , H] = d3~x [T 0k (x), H] = 0 ,
k k

8
достаточно найти коммутатор

[T 0k (x), H] = [π(x), H]∂ k ϕ(x) + π(x)[∂ k ϕ(x), H] =

 g 
= i ∂ l ∂ l ϕ − m2 ϕ − ϕ3 ∂ k ϕ + iπ∂ k π =
3!
 1 1 g 1 
= i ∂ l (∂ l ϕ∂ k ϕ) − ∂ k (∂ l ϕ∂ l ϕ) − m2 ∂ k ϕ2 − ∂ k ϕ4 + ∂ k π 2 (31)
2 2 4! 2
и заметить, что он представляет собой полную пространственную производную.
Замечание
В квантовой теории поля в неограниченном пространстве мы должны считать все поля
достаточно хорошо убывающими на пространственной бесконечности, чтобы можно было
отбрасывать все внеинтегральные члены при интегрировании по частям (для бесконечного
времени это не всегда так). Тогда интегралы по пространственным координатам от полных
производных обращаются в нуль.
Задание 11
Показать, что операторы (30) являются генераторами пространственных сдвигов (транс-
ляций).
Решение
Бесконечно малое изменение поля при преобразованиях (28), генераторами которого яв-
ляются Pk (k = 1, 2, 3), имеет вид (с точностью до линейных членов по δω):
k k
δϕ(x) = ϕ′ (x′ ) − ϕ(x) = eiPk δω ϕ(x)e−iPk δω − ϕ(x) =
   
= 1 + iPk δω + . . . ϕ(x) 1 − iPk δω + . . . − ϕ(x) = −i[ϕ(x), Pk ]δω k . (32)
k k

С другой стороны, рассмотрим бесконечно малые трансляции xk → xk + δω k . Изменение

поля сводится к замене переменных ϕ′ (x′ ) = ϕ(x + δω), тогда (с той же точностью)

∂
δϕ(x) = ϕ(xk + δω k , x0 ) − ϕ(xk , x0 ) = ϕ(x)δω k = −∂ k ϕ(x)δω k , (33)
∂xk
так как ∂x∂ k = ∂k = −∂ k по обычным правилам для пространственного индекса. Для того,
чтобы (32) было преобразованием трансляции, (32) и (33) должны совпадать. Оператор
(30) после опускания индекса Pk = −P k удовлетворяет этому требованию, так как
Z Z
[ϕ(x), P ] = d ~y [ϕ(x), π(y)]∂(y) ϕ(y) = i d3~y δ(~x − ~y )∂(y)
k 3 k k
ϕ(y) = i∂ k ϕ(x). (34)

Задание 12
Показать, что оператор момента импульса (14) коммутирует с гамильтонианом.
Решение
Выразим оператор момента импульса через канонические переменные
Z
M = d3~x π(x)(xk ∂ i − xi ∂ k )ϕ(x)
ik
(35)

9
и подставим его в коммутатор
Z Z
[M , H] = d ~x π(x ∂ − x ∂ )[ϕ, H] + d3~x [π, H](xk ∂ i − xi ∂ k )ϕ =
ik 3 k i i k

Z  
g
= i d3~x π(xk ∂ i − xi ∂ k )π + (∂ l ∂ l ϕ − m2 ϕ − ϕ3 )(xk ∂ i − xi ∂ k )ϕ . (36)
3!
Нетрудно заметить, что все слагаемые в подинтегральном выражении представляют собой
полные производные:
1 1
π(xk ∂ i − xi ∂ k )π = ∂ i (xk π 2 ) − ∂ k (xi π 2 ) (аналогично для ϕ) ,
2 2
1 1 k i 4
ϕ3 (xk ∂ i − xi ∂ k )ϕ = ∂ i (xk ϕ4 ) − ∂ (x ϕ ) ,
4 4

1
∂ l ∂ l ϕ(xk ∂ i − xi ∂ k )ϕ = ∂ l (xk ∂ l ϕ∂ i ϕ) − ∂ k ϕ∂ i ϕ − ∂ i (xk (∂ l ϕ)2 )−
2
− < перестановка i ↔ k > ,
поэтому интеграл (36) равен нулю.
Задание 13
Показать, что операторы M l = 21 εikl M ik являются генераторами пространственных вра-
щений.
Решение
Поскольку все координатные оси равноправны, достаточно рассмотреть один из операто-
ров M 3 = M 12 , M 1 = M 23 , M 2 = −M 13 .
Повороту вокруг 3 пространственной оси на угол δω соответствует преобразование
координат  ′1     1 
x cos δω − sin δω 0 x
 x′2  =  sin δω cos δω 0  ·  x2  ,
x′3 0 0 1 x3
для бесконечно малого угла:
x′1 = x1 − x2 δω, x′2 = x2 + x1 δω, x′3 = x3 . (37)
Под действием пространственного поворота скалярное поле не меняется, но меняются его
аргументы, поэтому

δϕ(x) = ϕ(x′ ) − ϕ(x) = ϕ(x1 − x2 δω, x2 + x1 δω, x3 , x0 ) − ϕ(~x, x0 ) ≈

∂ ∂
≈ (x1 2 − x2 1 )ϕ(x)δω = (x2 ∂ 1 − x1 ∂ 2 )ϕ(x)δω . (38)
∂x ∂x
Для бесконечно малого преобразования, генератором которого является M 3 = M 12 ,
получаем

δϕ(x) = −i[ϕ(x), M 3 ]δω =

Z
= −i d3~y [ϕ(x), π(y)](x2∂ 1 − x1 ∂ 2 )ϕ(y) · δω = (x2 ∂ 1 − x1 ∂ 2 )ϕ(x)δω , (39)

10
что совпадает с (38). Аналогично, M 1 является генератором поворота вокруг 1 оси, а M 2
– вокруг 2 оси.
Задание 14
Найти коммутационные соотношения для операторов импульса P i и момента импульса
M k.
Решение
При повороте вокруг 3 оси поле ϕ(x) преобразуется по формуле (39), а оператор P i, как
функция оператора поля, – по формуле

δP i = −i[P i , M 3 ]δω . (40)

С другой стороны, оператор P i при пространственном вращении должен преобразовы-

ваться как контравариантный вектор – в соответствии с (37):

δP 1 = −P 2 δω , δP 2 = P 1 δω , δP 3 = 0 . (41)

Эти соотношения могут быть объединены в одно:

δP i = −εil3 P l δω ,

где один из индексов полностью антисимметричного тензора фиксирован и равен 3. Срав-

нивая (40) и (41), получаем

[P i , M 3 ] = −iεil3 P l = iεi3l P l . (42)

Рассмотрев повороты вокруг 1 и 2 пространственных осей, можно получить аналогичные

соотношения; все вместе они записываются как

[P i , M k ] = iεikl P l . (43)

Эта формула, полученная из геометрических соображений, может быть проверена непо-

средственной подстановкой выражений (30) и (35).
Задание 15
Найти коммутационные соотношения для компонент момента импульса.
Решение
Вывод формулы (43) основан только на преобразовательных свойствах контравариантного
вектора P i под действием вращений пространства.
Однако, псевдовектор M i при непрерывных пространственных преобразованиях ве-
дет себя как истинный контравариантный вектор, поэтому коммутационные соотношения
получаются просто заменой P i на M i :

[M i , M k ] = iεikl M l (44)

– обычное соотношение для генераторов группы SO(3) вращений трехмерного евклидо-

ва пространства. Соотношение (44) подтверждается подстановкой в коммутатор явного
представления (35).

11
 Замечание
Можно показать, что генераторы бустов (преобразований Лоренца переводящих из непо-
движной системы отсчета в движущуюся), имеющие вид
Z Z
0k 3 0(0k)


M = d ~x M = d3~x xk T 00 − x0 T 0k ,

не коммутируют с гамильтонианом и, следовательно, не дают нам новых сохраняющихся

величин.

3 Операторы рождения и уничтожения.

3.1. Введем оператор уничтожения
Z ↔
0
a(~q, q0 , x ) = i d3~x eiqx ∂0 ϕ(x) (45)

и эрмитово сопряженный ему – оператор рождения

Z ↔
a (~q, q0 , x ) = −i d3~x e−iqx ∂0 ϕ(x) .
† 0
(46)

↔
Здесь использована сокращенная запись f ∂µ g = f (∂µ g)−(∂µ f )g. Эти операторы зависят от
времени t = x0 и от четырехмерного вектора q. Далее всюду будем полагать для удобства,
что нулевая p компонента этого вектора удовлетворяет условию массовой поверхности q0 =
q0 (~q ) = + ~q 2 + m2 .
Задание 16
Показать, что оператор рождения a† и оператор уничтожения a удовлетворяют стандарт-
ному коммутационному соотношению (при одинаковых временах)

[a(~q ), a† (~q ′ )] = (2π)3 (2q0 )δ(~q − ~q ′ ) . (47)

Решение
Подставляя ∂0 ϕ(x) = π(x) и пользуясь одновременными (x0 = y 0) коммутационными со-
отношениями для канонических переменных, получаем:
Z Z
3 ′
† ′
[a(~q ), a (~q )] = d ~x d3~y e+iqx e−iq y [π(x) − iq0 ϕ(x), π(y) + iq0′ ϕ(y)] =
Z Z  
3 3 iqx−iq ′ y ′
= d ~x d ~y e q0 δ(~x − ~y ) + q0 δ(~x − ~y )
  Z
0 ′ 0 ′
= q0 (~q ) + q0 (~q ′ ) d3~x eiq0 x −iq0 x ei(~q −~q )~x =
 
= (2π)3 2q0 (~q ) δ(~q − ~q ′ ) , (48)

так как известно, что Z

1
d3~x e ±i~q ~x = δ(~q ) . (49)
(2π)3

12
 Задание 17
Показать, что коммутаторы a с a и a† с a† (при одинаковых временах) равны нулю.
Решение
Сделаем в формуле (48) очевидные изменения, которые приводят к сокращению слагае-
мых:
Z Z
3 ′
′
[a(~q), a(~q )] = − d ~x d3~y eiqx+iq y [π(x) − iq0 ϕ(x), π(y) − iq0′ ϕ(y)] =
Z Z  
′
= d ~x d3~y eiqx+iq y q0′ δ(~x − ~y ) − q0 δ(~x − ~y )
3

 Z ′ 0 ′
′
= q0 (~q ) − q0 (~q ) d3~x ei(q0 +q0 )x e−i(~q +~q )~x =
 
3 i(q0 (~ q ))x0
q )+q0 (−~
= (2π) e q0 (−~q ) − q0 (~q ) δ(~q + ~q ′ ) = 0 , (50)

и, аналогично, для [a† , a† ] = 0.

Задание 18
Выяснить, зависят ли операторы a и a† от времени.
Решение
Для оператора a полная производная по времени x0 = t имеет вид:
∂a
∂0 a = −i[a, H] + (51)
∂t
Первое слагаемое соответствует изменению во времени канонических переменных в (45),
а второе слагаемое учитывает явную зависимость от времени показателя экспоненты qx =
= qµ xµ = q0 x0 − ~q · ~x. Тогда, перенося производные по пространственным координатам на
экспоненту, получаем
Z  
3 iqx 2
∂0 a = d ~x e [π(x) − iq0 ϕ(x), H] − q0 π(x) + iq0 ϕ(x) =
Z  
g
= d3~x eiqx i(∂ k ∂ k ϕ − m2 ϕ − ϕ3 ) + q0 π − q0 π + iq02 ϕ =
3!
Z  g 
= i d3~x eiqx (q 2 − m2 ) − ϕ3 . (52)
3!

Первое слагаемое в скобках сокращается, если вектор q на массовой поверхности: q 2 −m2 =

= (q0 )2 − (~q 2 + m2 ) = 0, однако второе слагаемое, в общем случае, в ноль не обращается.
Только для модели с g = 0 (что соответствует теории без взаимодействия) оператор a и
эрмитово сопряженный ему a† не зависят от времени.
Задание 19
Выразить оператор поля ϕ(x) и оператор канонического импульса π(x) через операторы
рождения и уничтожения.
Решение
Легко заметить, что Z  
a = i d3~x eiqx π(x) − iq0 (~q )ϕ(x) ,

13
 Z  
†
a = −i d3~x e−iqx π(x) + iq0 (~q )ϕ(x) ,

представляют собой трехмерные (пространственные) преобразования Фурье. Для линей-

ных комбинаций (используем свойство q0 (~q ) = q0 (−~q ))
Z
i † iq0 x0 i −iq0 x0
a (~q )e − a(−~q )e = d3~x ei~q x~ π(x0 , ~x ) ,
2 2
Z
1 † iq0 x0 1 −iq0 x0
a (~q )e + a(−~q )e = d3~x ei~q ~x ϕ(x0 , ~x ) (53)
2q0 2q0
можно написать обратное преобразование Фурье:
Z
d3 ~q 1  † iq0 x0 −i~
q~x −iq0 x0 −i~
q~x

ϕ(x) = a (~q )e + a(−~
q )e ,
(2π)3 2q0
Z
d3 ~q i  † iq0 x0 −i~qx
~ −iq0 x0 −i~q~
x

π(x) = a (~
q )e − a(−~
q )e . (54)
(2π)3 2
Меняя во вторых слагаемых в (54) переменную ~q на −~q (мы имеем формальное право это
сделать, так как интеграл по каждой компоненте берется по симметричному промежутку
[−∞, ∞]), получаем Z  
f3 † iqx
ϕ(x) = d q a (~q )e + a(~q )e −iqx
(55)
и Z  
π(x) = i f3 † iqx
d q · q0 (~q ) a (~q )e − a(~q )e−iqx
, (56)

где введено обозначение

d3 ~q
df
3q ≡ (57)
(2π)3 2q0 (~q )
Задание 20
Выразить оператор импульса P k через операторы рождения и уничтожения.
Решение
Подставим (55) и (56) в (30) и поменяем порядок интегрирования, взяв сначала интеграл
по ~x. Тогда (используем q0 (~q ) = q0 (−~q ))
Z
P = d3~x π∂ k ϕ =
k

Z Z Z    
3 f3 g3 † iqx
= i d ~x d q d q ·q0 a (~q )e − a(~q )e
′ −iqx k † ′ iq ′ x
· ∂ a (~q )e + a(~q )e ′ −iq ′ x
=
Z Z 
= i(2π)3 df g ′ k
3q d q )a† (~q ′ )ei(q0 +q0 )t (iq ′ )δ(~q + ~q ′ )+
3 q ′ a† (~

′ k
+ a† (~q )a(~q ′ )ei(q0 −q0 )t (−iq ′ )δ(~q − ~q ′ )−

† ′ i(−q0 +q0 ′ )t ′k ′ ′ −i(q0 +q0 ′ )t ′k ′
− a(~q )a (~q )e (iq )δ(~q − ~q ) − a(~q )a(~q )e (−iq )δ(~q + ~q ) =
Z 3
d ~q (q0 q k )  † † † † 2iq0 t −2iq0 t

= a(~
q )a (~
q ) + a (~
q )a(~
q ) + a (~
q )a (−~
q )e + a(~
q )a(−~q )e . (58)
(2π)3 (2q0 )2

14
Поскольку временные переменные t = x0 одинаковы здесь у всех операторов a, a† , то
последние два слагаемых в скобках в (58) не меняют знак при подстановке ~q → −~q (опе-
раторы коммутируют), а множитель перед скобкой – меняет. Интеграл от нечетной функ-
ции по симметричному промежутку равен нулю, поэтому остаются первые два слагаемых;
воспользовавшись соотношением (47), получаем
Z  
(2π)3
P = df
k 3 q · q k a† (~
q )a(~q ) + (2q0 )δ(~0 ) . (59)
2

Выражение δ(~0 ) математически бессмысленно и требует регуляризации, Rно ему можно

придать простой физический смысл: из формулы (49) следует (2π)3 δ(~0 ) = d3~x = V – это
объем пространства. Этот вклад в (59) тоже обращается в нуль из-за нечетности, и мы
получаем Z
P = df
k 3 q · q k a† (~
q )a(~q ) . (60)

Это представление делает очевидной эрмитовость P k , так как (a† a)† = a† a.

Задание 21
Вычислить коммутаторы оператора импульса P k с операторами рождения и уничтожения.
Решение
Оператор P k не зависит от времени, поэтому подставим в (60) то же t, что и в операторе
a† (~p ), тогда
Z
[P , a (~p )] = df
k † 3 q · q k a† (~
q )[a(~q ), a† (~p )] =
Z
= df q )(2π)3 (2q0 )δ(~q − p~ ) = pk a† (~p ) . (61)
3 q · q k a† (~

Для оператора a = (a† )† и эрмитова P k получаем

   †
k k k † k k †
[P , a(~p )] = P a − aP = a P − P a = −pk a(~p ) (62)

3.2. Рассмотрим квантование теории (15) – SO(N)-симметричного обобщения модели ϕ4 .

Поля ϕn (x) – независимые переменные, поэтому каждому полю соответствует свой канони-
ческий импульс πn (x), (n = 1, . . . , N). В квантовой теории постулируются одновременные
коммутационные соотношения

[ϕn (x), πm (y)]|x0=y0 = iδ(~x − ~y )δnm ,

[ϕn (x), ϕm (y)]|x0=y0 = 0 , [πn (x), πm (y)]|x0=y0 = 0 , (63)

то есть операторы канонических переменных с разными ”изотопическими” индексами ком-
мутируют. Для каждого индекса вводятся независимые операторы уничтожения и рож-
дения Z Z
↔ ↔
3
an (~q ) = i d ~x e ∂0 ϕn (x) , am (~q ) = −i d3~x e−iqx ∂0 ϕm (x) .
iqx †
(64)

Задание 22
Получить выражения для оператора гамильтониана и гамильтоновы уравнения движения.

15
 Решение
Канонический импульс в классической теории (15)
∂L
πn (x) = = ∂0 ϕn (x) . (65)
∂(∂0 ϕn (x))
Плотность гамильтониана (подразумевается суммирование по n)

H(x) = πn (x)∂0 ϕn (x) − L =

1 1 1 g
= πn2 + ∂ i ϕn ∂ i ϕn + m2 ϕ2n + (ϕ2n )2 (66)
2 2 2 4!
R
определяет гамильтониан H = d3~x H(x). Уравнения движения выводятся аналогично
(26), (27):
∂0 ϕn (x) = −i[ϕn (x), H] = πn (x) , (67)
 g 
∂0 πn (x) = −i[πn (x), H] = − − ∂ k ∂ k ϕn (x) + m2 ϕn (x) + (ϕ2m (x))ϕn (x) . (68)
3!
Задание 23
Построить оператор полного импульса P k и вычислить его коммутаторы с операторами
рождения и уничтожения в модели (15).
Решение
Прежде всего, найдем одновременной коммутатор операторов (64). При различных ин-
дексах m, n канонические переменные коммутируют, поэтому коммутатор операторов an
и a†m обращается в нуль; при m = n коммутатор этих операторов совпадает с (47). Таким
образом, можно записать

[an (~q ), a†m (~q ′ )] = (2π)3 (2q0 )δ(~q − ~q ′ )δnm . (69)

Рассуждая аналогично, получаем [an , am ] = [a†n , a†m ] = 0.

Плотность импульса имеет вид
∂L
T 0k = ∂ k ϕn = ∂ 0 ϕn ∂ k ϕn = πn ∂ k ϕn , (70)
∂(∂0 ϕn )
где подразумевается сумма по n. Для каждого слагаемого этой суммы можно воспользо-
ваться формулами (58), (60), тогда
Z Z
P = d ~x T = df
k 3 0k 3 q · q k a† (~
n q )an (~
q). (71)

Как и в случае N = 1, этот оператор не зависит от времени. Далее, воспользовавшись

выводом (61), мы можем получить
Z
[P , al (~p )] = df
k † 3 q · q k a† (~ q ), a†l (~p )] = pk a†l (~p ) ,
n q )[an (~ (72)

поскольку, благодаря δnl в коммутаторе, в сумме по n остается только слагаемое с n = l.

Аналогично (62), получаем для оператора уничтожения

[P k , al (~p )] = −pk al (~p ) . (73)

16
 Задание 24
µ
В модели (15) есть сохраняющийся ток J(nm) (19). Построить сохраняющиеся заряды
Z
Q(nm) = d3~x J(nm)
0
. (74)

Решение
Выразим классическую плотность заряда через канонические переменные:
0
J(nm) = ϕn ∂ 0 ϕm − ϕm ∂ 0 ϕn = πm ϕn − πn ϕm . (75)

В квантовой теории здесь нет проблемы упорядочения, так как операторы, относящиеся к
разным полям, коммутируют (здесь n 6= m). Сохранение во времени зарядов может быть
выведено из уравнений движения (67), (68):
Z  
i∂0 Q(nm) = [Q(nm) , H] = i d3~x [πm ϕn , H] − [πn ϕm , H] =
Z  
3
= i d ~x πm [ϕn , H] + [πm , H]ϕn − πn [ϕm , H] − [πn , H]ϕm =
Z    
g
= d3~x −πm πn − ∂ k ∂ k ϕm + m2 ϕm + (ϕ2l )ϕm ϕn −
3!
− < перестановка n ↔ m >= 0 . (76)

Сокращение происходит из-за симметрии подинтегрального выражения по m, n.

Заряды просто выражаются через операторы рождения и уничтожения:
Z  
Q(nm) = d3~x πm (x)ϕn (x) − πn (x)ϕm (x) =
Z Z Z   
= d ~x d q dg
3 f
3 3 q ′ (iq ) a† (~
0 m q )eiqx
− am (~
q )e−iqx
a†
n (~
q ′ iq ′ x
)e + an (~
q ′ −iq ′ x
)e

− < перестановка n ↔ m >=

Z  
iq0
= df
3q a†m (~q )an (~q ) − am (~q )a†n (~q ) − < n ↔ m >=
2q0
Z  
= i df3 q a† a − a† a
m n n m , (77)

так как операторы коммутируют. Легко видеть, что операторы Q(nm) эрмитовы.
Задание 25
Вычислить коммутаторы операторов заряда с операторами рождения и уничтожения.
Решение
Выбором временной переменной в сохраняющемся Q(nm) можно сделать все коммутаторы

17
одновременными. Тогда
Z

†
[Q(nm) , a†l (~p )] =i df
3 q [ a† a − a† a
m n n m , al (~ p )] =
Z  
= i df 3 q a† (~
m q )[a n (~
q ), a †
l (~
p )] − a †
n (~
q )[am (~
q ), a†
l (~
p )] =
Z  
= i df 3 q a† (~
m q )δ nl − a †
n (~
q )δ ml (2π)3 (2q0 )δ(~q − ~p ) =
 
= i a†m (~p )δnl − a†n (~p )δml . (78)

Для эрмитово сопряженных операторов получаем

 †  
[Q(nm) , al (~p )] = [a†l (~p ), Q(nm) ] = i am (~p )δnl − an (~p )δml . (79)

Задание 26
Рассмотреть случай N = 2. Показать, что эта модель эквивалентна модели комплексного
скалярного поля.
Решение
В случае N = 2 есть только один оператор заряда Q = Q(12) :
Z  
Q = i df 3 q a† a − a† a
2 1 1 2 , (80)

Выпишем соотношения (78), (79) для нашего случая:

[Q, a†1 ] = ia†2 , [Q, a†2 ] = −ia†1

[Q, a1 ] = ia2 , [Q, a2 ] = −ia1 . (81)

Введем линейные комбинации
a1 − ia2 a1 + ia2
a= √ , b= √ , (82)
2 2
и, соответственно,
a†1 + ia†2 a† − ia†
√ , b† = 1 √ 2 ,
a† =
2 2
которые диагонализуют коммутационные соотношения:

[Q, a† ] = a† , [Q, b† ] = −b†

[Q, a] = −a , [Q, b] = b . (83)

Из этих новых операторов, как из операторов рождения и уничтожения, построим поле и
канонический импульс:
Z  
ϕ(x) = df q )eiqx + b(~q )e−iqx ,
3 q a† (~

18
 Z  
π(x) = i df
3 q · q (~
0 q ) b†
(~
q )eiqx
− a(~
q )e−iqx
. (84)

Эти операторы не обладают свойством эрмитовости, что соответствует комплексному по-

лю в классической теории.
Легко проверить, что операторы (84) удовлетворяют стандартным коммутационным
соотношениям (22). Из (82) следует
ϕ1 + iϕ2 π1 − iπ2
ϕ= √ , π= √ ,
2 2
ϕ1 − iϕ2 π1 + iπ2
ϕ† = √ , π† = √ , (85)
2 2
тогда можно вычислить коммутаторы, используя (63),
1 
[ϕ(x), π(y)]|x0=y0 = [ϕ1 (x), π1 (y)]|x0=y0 + [ϕ2 (x), π2 (y)]|x0=y0 = iδ(~x − ~y )
2
[ϕ(x), ϕ(y)]|x0=y0 = 0 , [π(x), π(y)]|x0=y0 = 0 . (86)
Также, поскольку

† 1
[ϕ(x), ϕ (y)]| x0 =y 0 = [ϕ1 (x), ϕ1 (y)]|x0=y0 + [ϕ2 (x), ϕ2 (y)]|x0=y0 −
2 
− i[ϕ1 (x), ϕ2 (y)]|x0=y0 + i[ϕ2 (x), ϕ1 (y)]|x0=y0 = 0 , (87)

ϕ† можно считать независимой переменной, тогда π † – канонический импульс, так как

 †
[ϕ† (x), π † (y)]|x0=y0 = − [ϕ(x), π(y)]|x0=y0 = iδ(~x − ~y ) .

Исходя из (66), можно переписать гамильтониан в терминах новых переменных:

Z  
g
H = d3~x π † π + ∂ i ϕ† ∂ i ϕ + m2 ϕ† ϕ + (2ϕ† ϕ)2 , (88)
4!
так как, например,
1 1 1
ϕ† ϕ = (ϕ1 − iϕ2 )(ϕ1 + iϕ2 ) = (ϕ1 ϕ1 + ϕ2 ϕ2 + iϕ1 ϕ2 − iϕ2 ϕ1 ) = ϕn ϕn
2 2 2
и, аналогично, для других слагаемых в (88).
Задание 27
Выяснить, генератором какого преобразования является оператор заряда в теории ком-
плексного скалярного поля.
Решение
Рассмотрим преобразование (28) с генератором Q и конечным параметром ω (веществен-
ным)
ϕ′ (x) = eiQω ϕ(x)e−iQω . (89)

19
Это преобразование не тривиальное, так как оператор заряда не коммутирует с ϕ(x). Из
(83) следует Qa† = a† Q + a† = a† (1 + Q), поэтому

Qn a† = Qn−1 a† (1 + Q) = Qn−2 a† (1 + Q)2 = · · · = a† (1 + Q)n . (90)

Выписывая формальный ряд для операторной экспоненты, получаем

∞
X ∞
X
iQω † (iω)n n † (iω)n
e a = Q a = a† (1 + Q)n = a† ei(1+Q)ω . (91)
n=0
n! n=0
n!

Оператор b коммутирует с Q аналогично a† , поэтому для него верна формула, аналогичная

(91). Тогда для оператора ϕ (84) также получается

eiQω ϕ(x) = ϕ(x)ei(1+Q)ω ,

откуда можно вычислить (объединяя экспоненты коммутирующих операторов)

ϕ′ (x) = ϕ(x)ei(1+Q)ω e−iQω = ϕ(x)eiω . (92)

Становится очевидным, что (89) сводится к фазовому преобразованию комплексного поля.

Эти преобразования образуют однопараметрическую группу Ли, называемую U(1) (она
изоморфна группе SO(2) – исходной группе симметрии гамильтониана (66)).

4 Свободное скалярное поле и пространство Фока.

4.1. Рассмотрим теорию скалярного поля (15) в частном случае g = 0,R который описывает
невзаимодействующие поля. В этом случае гамильтониан H = H0 = d3~x H0 , где

1 1 1
H0 = πn2 + ∂ i ϕn ∂ i ϕn + m2 ϕ2n , (93)
2 2 2
зависит от канонических переменных квадратично.
Пространством Фока называют линейную оболочку набора базисных векторов. Этот
набор включает в себя вектор фоковского (или "математического") вакуума 0i, который
уничтожается оператором am любого поля ϕm

am (~q ) 0i = 0 , (94)

и все вектора вида

n
Y
a†mi (~qi ) 0i . (95)
i=1

В случае g = 0 базисные состояния не зависят от времени; состояние (95) не зависит от

порядка сомножителей (они коммутируют).
Задание 28
Выразить свободный гамильтониан H0 через операторы рождения и уничтожения.

20
 Решение
Операторы ϕn и πn выражаются через соответствующие операторы рождения и уничто-
жения a†n и an формулами (55), (56). Подставим эти выражения в (93):
Z Z  
3 1 3 2 i 2 2 2
H = H0 = d ~x H0 = d ~x πn + (∂ ϕn ) + m ϕn =
2
Z Z Z
1
= d ~x d q dg
3 f3 3q′
2
n   ′ ′

− q0 q0 ′ a†n (~q )eiqx − an (~q )e−iqx a†n (~q ′ )eiq x − an (~q ′ )e−iq x −
  
i ′i † iqx −iqx † ′ iq ′ x ′ −iq ′ x
− q q an (~q )e − an (~q )e an (~q )e − an (~q )e +
  ′ ′
o
+ m2 a†n (~q )eiqx + an (~q )e−iqx a†n (~q ′ )eiq x + an (~q ′ )e−iq x (96)

и возьмем интеграл по ~x. Как и в (58), интегрирование экспонент дает δ(~q ∓ ~q ′ ), и инте-
грирование по ~q ′ снимается. Раскрывая скобки, получаем
Z n  
1 d3 ~q 2 i 2 2 † †
H= (q 0 + (q ) + m ) a n (~
q )an (~q ) + a n (~
q )a n (~
q ) +
2 (2π)3 (2q0 )2
 o
+ (−q02 + (q i )2 + m2 ) a†n (~q )a†n (−~q )e2iq0 t + an (~q )an (−~q )e−2iq0 t =
Z  
1
= df
3 q · q (~
0 q ) a †
n (~
q )a n (~
q ) + an (~
q )a†
n (~
q ) , (97)
2
так как на массовой поверхности q0 = q0 (~q ) первое слагаемое в фигурных скобках удва-
ивается, а второе – сокращается. Используя соотношение (69) (суммирование по n дает
δnn = N), получаем для свободного гамильтониана
Z  
(2π)3
H= df
3 q · q (~ †
0 q ) an (~
q )an (~q ) + (2q0 N)δ(~0 ) =
2
Z
= E0 + df
3 q · q (~ †
q )an (~q ) . (98)
0 q ) an (~

Однако, в отличие от (59), здесь не сокращается бесконечная константа E0 , которая имеет

смысл энергии вакуума. Ее можно исключить заменой H → H − E0 , сдвинув тем самым
начальный уровень отсчета энергий.
Представление (98) позволяет легко вычислить коммутаторы гамильтониана с опера-
торами рождения и уничтожения. Повторяя вывод (61), (62) получаем

[H0 , a†n (~q )] = q0 (~q )a†n (~q ) , [H0 , an (~q )] = −q0 (~q )an (~q ) . (99)

Замечание
Если ввести нормальное упорядочение : · · · : операторов по правилу: все операторы рож-
дения пишутся слева, все операторы уничтожения – справа (таким образом,
R : a† a: ≡ a† a и
: aa†: ≡ a† a), то можно исключить
R 3 константу E0 , определив H = H0 = d3~x : H0 : . Анало-
гичное определение P = d ~x : T : не меняет оператор импульса, так как он имеет вид
k 0k

(71).

21
 Задание 29
Показать, что базисные фоковские состояния являются собственными состояниями опе-
раторов H и P k .
Решение
Выражения (71) и (98) (с E0 → 0) могут быть объединены в обшую формулу
Z
P = df
µ 3 q · q µ a† (~
m q )am (~
q),

где для µ = 0 берется q 0 = q0 (~q ) на массовой поверхности и P 0 ≡ H. Коммутационные

соотношения (72) и (99) также объединим в одно (здесь также q 0 = q0 (~q ))

[P µ , a†m (~q )] = q µ a†m (~q ) . (100)

Из свойства (94) следует

P µ 0i = 0, (101)
то есть вакуум является собственным состоянием (если не делать сдвиг энергии H →
H − E0 , то из (98) следовало бы H 0i = E0 0i). Напишем тождество
n
" n
# n
Y Y Y
Pµ a†mi (~qi ) 0i = P µ , a†mi (~qi ) 0i + a†mi (~qi ) · P µ 0i . (102)
i=1 i=1 i=1

Вычисляя коммутатор в (102), получаем

n
Y h  i
Pµ a†mi (~qi ) 0i = P µ , a†m1 (~q1 )a†m2 (~q2 ) · · · a†mn (~qn ) 0i =
i=1
n 
!
X  n
X n
Y
= a†m1 (~q1 ) · · · [P µ , a†mi (~qi )] · · · a†mn (~qn ) 0i = qiµ · a†mi (~qi ) 0i . (103)
i=1 i=1 i=1

Таким образом, (95) являются собственными состояниями и интерпретируются как состо-

яния с n скалярными частицами сортов m1 , . . . , mn (каждому полю ϕm соответствуют
частицы одного сорта; всего N сортов частиц) с пространственными
p импульсами ~qi (i =
1, . . . , n) и релятивистскими кинетическими энергиями qi0 = + ~qi 2 + m2 , вакуум же есть
состояние без частиц. Все эти частицы невзаимодействующие, так как состояния (95) не
зависят от времени – импульсы и энергии всех частиц сохраняются (кроме того, полная
энергия есть сумма кинетических, вклад потенциальной энергии отсутствует).
Заметим, что частицы всех сортов имеют одинаковую массу m – это следствие SO(N)-
симметрии (коэффициент m2 одинаков для всех полей в (93)).
Задание 30
Доказать, что в свободной теории есть еще одна сохраняющаяся величина – оператор
числа частиц (суммирование по сортам частиц m подразумевается)
Z
N = df 3 q a† (~
m q )am (~
q). (104)

22
 Решение
Достаточно подействовать оператором N на базисные состояния. Если показать, что каж-
дое из них является собственным состоянием N , то операторы N и H имеют полную
систему общих собственных состояний, значит они коммутируют.
Из определения N следует равенство

N 0i = 0 , (105)

означающее, что в вакууме нет частиц, и коммутационное соотношение

Z
[N , an (~p )] = df
† 3 q a† (~ q ), a†n (~p )] = a†n (~p ) .
m q )[am (~ (106)

Тогда все (95) – собственные состояния N :

n
" n
#
Y Y
N a†mi (~qi ) 0i = N , a†mi (~qi ) 0i =
i=1 i=1
X
n  n
Y
= a†m1 (~q1 ) · · · [N , a†mi (~qi )] · · · a†mn (~qn ) 0i = n · a†mi (~qi ) 0i , (107)
i=1 i=1

а собственные значения n равны числу частиц в данном состоянии, которое совпадает с

числом операторов рождения в (95).
Задание 31
Построить нормированное одночастичное состояние.
Решение
Базисные состояния (95) с одним множителем a† нумеруются индексом m = 1, . . . , N и
трехмерным вектором ~q. Рассмотрим их произвольную линейную комбинацию
Z Z
F i = d ~q fm (~q )am (~q ) 0i = df
3 † 3 q F (~ †
q ) 0i ,
m q )am (~ (108)

где функции Fm (~q ) = (2π)3 (2q0 (~q ))fm (~q ) – в общем случае комплексные – играют роль
коэффициентов разложения по базису. Коэффициентами разложения сопряженного со-
стояния будут комплексно сопряженные функции:
Z
hF = df 3 q F ∗ (~
m q ) · h0 am (~
q). (109)

Обычно предполагается, что вакуум нормирован на единицу h0 0i = 1. Вычислим скаляр-

ное произведение
Z Z
kF k = hF F i = h0 d q Fm (~q )am (~q ) dg
2 f3 ∗ ~′ )a†n (q~′ ) 0i =
3 q ′ F (q
n
Z Z  
f3 g3 ′ ∗ ~′ † ~′ † ~′
= d q d q Fm (~q )Fn (q )h0 [am (~q ), an (q )] + an (q )am (~q ) 0i =
Z Z Z
2
= df 3q dg ∗
3 q ′ F (~ ~′ 3
m q )Fn (q )(2π) (2q0 )δ(~ q − ~q )δmn h0 0i = df
′
m q ) . (110)
3 q F (~

23
Здесь мы воспользовались
p свойствами (69) и (94). Интеграл должен сходиться, то есть все
функции Fm (~q )/ q0 (~q ) должны принадлежать классу L2 (R3 ). Тогда мы можем написать
нормированное состояние Z
1
p df
3 q F (~ †
m q )am (~
q ) 0i .
kF k 2

Задание 32
Вычислить пропагатор свободного скалярного поля

Dmn (x, y) = h0 T (ϕm (x)ϕn (y)) 0i , (111)

где 
ϕm (x)ϕn (y), if x0 ≥ y 0
T (ϕm (x)ϕn (y)) = (112)
ϕn (y)ϕm (x), if y 0 ≥ x0
есть упорядоченное по времени произведение, или T -произведение (ϕm и ϕn коммутируют
при одинаковых временах).
Решение
Перепишем T -произведение в виде

T (ϕm (x)ϕn (y)) = θ(x0 − y 0)ϕm (x)ϕn (y) + θ(y 0 − x0 )ϕn (y)ϕm (x) , (113)

где θ-функция определена как


 1, if t ≥ 0
θ(t) = 1/2, if t = 0 . (114)

0, if t ≤ 0

Используя равенство (94) и сопряженное к нему h0 a†n = 0, получим

Z Z
h0 ϕm (x)ϕn (y) 0i = h0 df
3 p a (~
m p )e
−ipx
· df
3 q a† (~
n q )e
iqy
0i =
Z Z  
f3
= d p d qe f3 i(q 0 y 0 −p0 x0 ) i(~
e p~
x−~qy~) † †
h0 [am (~p ), an (~q )] + an (~q )am (~p ) 0i =
Z Z
= df df
0 0 0
3p 3 q eip (y −x ) ei~ p (~
x−~y)
(2π)3 (2q0 (~q ))δ(~p − ~q )δmn h0 0i =
Z
= δmn df 3 p e−ip(x−y) , (115)

p
где p0 = p0 (~p ) = + p~ 2 + m2 лежит на массовой поверхности. Вакуумное среднее опера-
тора (113) можно представить в удобной форме, для этого нужно использовать формулу
Z Z
i e−iωt i eiωt
θ(t) = dω = dω . (116)
2π ω + i0 2π ω − i0

24
Тогда
Z Z
0
Dmn (x, y) = θ(x − y )δmn0
df
3 p e−ip(x−y) + θ(y 0 − x0 )δ
nm df
3 p e−ip(y−x) =

Z Z 0 0
dω d3 ~p e−i(ω+p0 (~p ))(x −y ) ei~p (~x−~y )
= iδnm +
2π (2π)3 2p0 (~p ) ω + i0
Z Z 0 0
!
dω d3 p~ e−i(ω+p0 (~p ))(y −x ) e−i~p (~x−~y )
+ . (117)
2π (2π)3 2p0 (~p ) ω + i0

Изменим порядок интегрирования и сделаем сдвиг переменной интегрирования ω → ω −

p0 (~p ) в обоих интегралах в (117), после чего сделаем замену переменных ~p → −~p, ω → −ω
только во втором интеграле:
Z  
d3 p~ dω 1 1
Dmn (x, y) = iδmn + ×
(2π)4 ω − p0 (~p ) + i0 −ω − p0 (~p ) + i0
0 0 Z 3 0 0
e−iω(x −y ) ei~p (~x−~y ) d ~p dω e−iω(x −y ) ei~p (~x−~y )
× = iδmn . (118)
2p0 (~p ) (2π)4 ω 2 − p~ 2 − m2 + i0

Если обозначить p0 ≡ ω в (118), пропагатор принимает вид 4-мерного интеграла Фурье

Z
d4 p e−ip(x−y)
Dmn (x, y) = iδmn . (119)
(2π)4 p2 − m2 + i0

Существенно, что интегрирование в (119) ведется по четырем независимым компонентам

вектора p (p0 не подчиняется условию массовой поверхности). Представление (119) делает
очевидным трансляционную и лоренц-инвариантность пропагатора.

Список литературы
[1] Н.Н.Боголюбов, Д.В.Ширков, ”Квантовые поля”, М., ”Наука”, 1993.

[2] К.Ициксон, Ж.-Б.Зюбер, ”Квантовая теория поля”, т. 1, 2, М., ”Мир”, 1984.

[3] S.Weinberg, ”The quantum theory of fields”, v. 1, 2, ”Cambrige University Press”, 1999.

25