Дополнение. Каноническое квантование действительного скалярного поля Клейна–Гордона
(Дополнение не входит в экзаменационные вопросы.)
Уравнение Клейна – Гордона для действительного скалярного поля (x) описывает частицы с зарядом, равным нулю (нейтральные частицы). Поскольку классическая аналогия отсутствует, поле (x), вообще говоря, является строго квантовым полем. Рассматривая сначала это поле как классическое, мы далее поймем, что это квантовое поле и будем считать его оператором, подчиняющимся определенным коммутационным соотношениям, аналогичным соотношениям коммутации обычной квантовой механики – соотношениям для операторов рождения и уничтожения, введенных при рассмотрении вторичного квантования одномерного квантового осциллятора. Мы займемся квантованием поля, а не движением отдельной частицы, как это было в квантовой механике. В этой интерпретации величина ||2 пропорциональна числу имеющихся частиц. После квантования поля отпадают трудности, связанные первоначально с уравнением Клейна – Гордона.
Квантование поля заставляет нас интерпретировать поле как квантовую систему – поле рассматривается как эрмитов оператор, разложение Фурье которого можно записать в виде:
(x) = d3p/((2)32Ep) [a(p)e-ipx + a+(p)eipx] (15)
где Ep=(p2+m2)1/2. Коэффициенты a(p) и a+(p) являются операторами. (p2 = p02 – p2=m2)
Полевая функция (x) играет в квантовой теории поля роль, аналогичную вектору положения x в квантовой механике. В НКМ коммутаторы задаются гейзенберговскими соотношениями:
[xi, pk] = iik, [xi, xk] = [pi, pk] = 0. (16)
Импульс pi в лагранжевом формализме определяется канонически как L/͘xi.
Полевой аналог импульса в непрерывном пределе (x)=Lполев/͘, (16*)
где Lполев – плотность лагранжиана скалярного поля.
Одновременные коммутационные соотношения, по аналогии с HКМ (16), в непрерывном пределе примут вид:
[(x,t), (x`,t)] =i(2)3(3)(x-x`) (17)
[(x,t), (x`, t)] = [(x, t), (x`,t)] = 0. (18)
Используем эти соотношения, чтобы найти коммутационные соотношения для операторов a(p) и a+(p), которые входят в выражение (15).
Плотность лагранжиана скалярного поля (подробно будем говорить об этом в последующих лекциях), которая с помощью принципа наименьшего действия приводит к правильному уравнению Эйлера – Лагранжа, а именно к уравнению Клейна – Гордона, имеет вид:
Lполев = [1/2()2 - (m2/2)2] =1/2[(0)2 – ()2 - m22] (19)
Отсюда с учетом (16*): (x)=͘(x). (19*)
Используя ортонормированную (14) систему функций (12), мы можем разложить (x) по системе этих функций, подставив их в разложение (15):
(x) = d3p/[(2)3(2Ep)1/2][p(x)a(p) + p*(x)a+(p)]. (20)
Обращая это разложение с помощью соотношения (14), находим:
a(p) = d3x [2Ep]1/2p*(x)i0(x), (21)
a+(p`) = d3x[2Ep]1/2p(x`)i0p`(x`). (22)
С учетом формул (17), (18), (19*), (21) и (22) получим коммутатор:
[a(p), a+(p`)] = (2)32Ep(3)(p-p`) (23)
Нетрудно показать, что
[a(p), a(p`)] = [a+(p), a+(p`)] = 0. (23`)
Операторы a+(p) и a(p) называются операторами рождения и уничтожения квантов поля.
Можно образовать, как при вторичном квантовании осциллятора в НКМ, оператор числа частиц (или, точнее, оператор плотности числа частиц):
N(p)=a+(p)a(p). Вся алгебра оператора числа частиц, операторов рождения и уничтожения полностью совпадает с алгеброй квантовомеханического осциллятора.
[N, a+] = a+ (24`)
[N, a] = -a (24``)
Обозначим собственные функции оператора числа частиц |n(p)>, тогда:
N(p)|n(p)> = n(p)|n(p)> (25)
a(p)|n(p)> = n(p)1/2|n(p)-1> a(p)|0>=0 (26`)
a+(p)|n(p)> = (n(p)+1)1/2|n(p)+1>. (26``)
Зная лагранжиан Lполев, можно по общим правилам определить гамильтониан действительного скалярного поля H: H = [L/()] - L. Для гамильтониана скалярного поля, с учетом (19), отсюда получим:
Hполев = (1/2)[(0)2 + ()2 + m22]d3x (27)
Подставляя в (27) формулы (20-22), получим:
Hполев = (d3p/2Ep(2)3) [N(p) + 1/2]Ep. (28)
Очень важно отметить, что гамильтониан скалярного поля неотрицателен (N(p)0).
Таким образом, поле Клейна – Гордона эквивалентно бесконечной сумме осцилляторов. Никаких состояний с отрицательной энергией не возникает.
Состояние |0> - это вакуумное состояние, не содержащее ни одной частицы с ненулевым импульсом.
