Взаимодействие четвёртой степени

Взаимодействие четвёртой степени (фи-в-четвёртой теория, φ⁴-теория) — раздел квантовой теории поля, где скалярное поле обладает самодействием в виде φ⁴. Другие типы взаимодействий четвёртой степени можно найти в разделе четырёхфермионных взаимодействий. Классическое свободное скалярное поле $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$ удовлетворяет уравнению Клейна — Гордона. Если скалярное поле обозначено $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$, взаимодействие четвёртой степени добавляет потенциальную энергию поля в виде $(\mathrm{\lambda <!--\; \lambda \; -->}/4!){\mathrm{\phi <!--\; \phi \; -->}}^4$$({\lambda }/{4!})\varphi ^{4}$ к лагранжевой плотности. Константа связи $\mathrm{\lambda <!--\; \lambda \; -->}$$\lambda$ безразмерна в 4-мерном пространстве-времени.

В этой статье используется $(+,-<!--\; -\; -->,-<!--\; -\; -->,-<!--\; -\; -->)$$(+,-,-,-)$ сигнатура пространства Минковского.

Лагранжиан для вещественного скалярного поляПравить

Плотность лагранжиана для вещественного скалярного поля с взаимодействием четвёртой степени равна

$\mathcal{L}(\mathrm{\phi <!--\; \phi \; -->})=\frac{1}{2}[{\mathrm{\partial <!--\; \partial \; -->}}^{\mathrm{\mu <!--\; \mu \; -->}}\mathrm{\phi <!--\; \phi \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\mu <!--\; \mu \; -->}}\mathrm{\phi <!--\; \phi \; -->}-<!--\; -\; -->m^2{\mathrm{\phi <!--\; \phi \; -->}}^2]-<!--\; -\; -->\frac{\mathrm{\lambda <!--\; \lambda \; -->}}{4!}{\mathrm{\phi <!--\; \phi \; -->}}^4.$${\mathcal {L}}(\varphi )={\frac {1}{2}}[\partial ^{\mu }\varphi \partial _{\mu }\varphi -m^{2}\varphi ^{2}]-{\frac {\lambda }{4!}}\varphi ^{4}.$ 

Этот лагранжиан обладает глобальной симметрией отражения Z₂ $\mathrm{\phi <!--\; \phi \; -->}\to <!--\; \to \; -->-<!--\; -\; -->\mathrm{\phi <!--\; \phi \; -->}$$\varphi \to -\varphi$ .

Лагранжиан для комплексного скалярного поляПравить

Лагранжиан для комплексного скалярного поля можно обосновать следующим образом. Для двух скалярных полей ${\mathrm{\phi <!--\; \phi \; -->}}_1$$\varphi _{1}$  и ${\mathrm{\phi <!--\; \phi \; -->}}_2$$\varphi _{2}$  лагранжиан имеет вид

$\mathcal{L}({\mathrm{\phi <!--\; \phi \; -->}}_1,{\mathrm{\phi <!--\; \phi \; -->}}_2)=\frac{1}{2}[{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\mu <!--\; \mu \; -->}}{\mathrm{\phi <!--\; \phi \; -->}}_1{\mathrm{\partial <!--\; \partial \; -->}}^{\mathrm{\mu <!--\; \mu \; -->}}{\mathrm{\phi <!--\; \phi \; -->}}_1-<!--\; -\; -->m^2{\mathrm{\phi <!--\; \phi \; -->}}_1^2]+\frac{1}{2}[{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\mu <!--\; \mu \; -->}}{\mathrm{\phi <!--\; \phi \; -->}}_2{\mathrm{\partial <!--\; \partial \; -->}}^{\mathrm{\mu <!--\; \mu \; -->}}{\mathrm{\phi <!--\; \phi \; -->}}_2-<!--\; -\; -->m^2{\mathrm{\phi <!--\; \phi \; -->}}_2^2]-<!--\; -\; -->\frac{1}{4}\mathrm{\lambda <!--\; \lambda \; -->}({\mathrm{\phi <!--\; \phi \; -->}}_1^2+{\mathrm{\phi <!--\; \phi \; -->}}_2^2{)}^2,$${\mathcal {L}}(\varphi _{1},\varphi _{2})={\frac {1}{2}}[\partial _{\mu }\varphi _{1}\partial ^{\mu }\varphi _{1}-m^{2}\varphi _{1}^{2}]+{\frac {1}{2}}[\partial _{\mu }\varphi _{2}\partial ^{\mu }\varphi _{2}-m^{2}\varphi _{2}^{2}]-{\frac {1}{4}}\lambda (\varphi _{1}^{2}+\varphi _{2}^{2})^{2},$ 

которое можно записать в более сжатой форме, вводя комплексное скалярное поле $\mathrm{\varphi <!--\; \varphi \; -->}$$\phi$  определяемое как

$\mathrm{\varphi <!--\; \varphi \; -->}\equiv <!--\; \equiv \; -->\frac{1}{\sqrt{2}}({\mathrm{\phi <!--\; \phi \; -->}}_1+i{\mathrm{\phi <!--\; \phi \; -->}}_2),$$\phi \equiv {\frac {1}{\sqrt {2}}}(\varphi _{1}+i\varphi _{2}),$ 

${\mathrm{\varphi <!--\; \varphi \; -->}}^{\ast <!--\; \ast \; -->}\equiv <!--\; \equiv \; -->\frac{1}{\sqrt{2}}({\mathrm{\phi <!--\; \phi \; -->}}_1-<!--\; -\; -->i{\mathrm{\phi <!--\; \phi \; -->}}_2).$$\phi ^{*}\equiv {\frac {1}{\sqrt {2}}}(\varphi _{1}-i\varphi _{2}).$ 

Выраженный в новых переменных (комплексного скалярного поля), приведённый выше лагранжиан принимает вид

$\mathcal{L}(\mathrm{\varphi <!--\; \varphi \; -->})={\mathrm{\partial <!--\; \partial \; -->}}^{\mathrm{\mu <!--\; \mu \; -->}}{\mathrm{\varphi <!--\; \varphi \; -->}}^{\ast <!--\; \ast \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\mu <!--\; \mu \; -->}}\mathrm{\varphi <!--\; \varphi \; -->}-<!--\; -\; -->m^2{\mathrm{\varphi <!--\; \varphi \; -->}}^{\ast <!--\; \ast \; -->}\mathrm{\varphi <!--\; \varphi \; -->}-<!--\; -\; -->\mathrm{\lambda <!--\; \lambda \; -->}({\mathrm{\varphi <!--\; \varphi \; -->}}^{\ast <!--\; \ast \; -->}\mathrm{\varphi <!--\; \varphi \; -->}{)}^2,$${\mathcal {L}}(\phi )=\partial ^{\mu }\phi ^{*}\partial _{\mu }\phi -m^{2}\phi ^{*}\phi -\lambda (\phi ^{*}\phi )^{2},$ 

что, таким образом, эквивалентно SO(2) модели вещественных скалярных полей ${\mathrm{\phi <!--\; \phi \; -->}}_1,{\mathrm{\phi <!--\; \phi \; -->}}_2$$\varphi _{1},\varphi _{2}$ , в чём можно убедиться, разложив комплексное поле $\mathrm{\varphi <!--\; \varphi \; -->}$$\phi$  по действительной и мнимой частям.

С участием $N$$N$  вещественных полей, можно построить ${\mathrm{\phi <!--\; \phi \; -->}}^4$$\varphi ^{4}$ -модель с глобальной симметрией SO(N), заданной лагранжианом

$\mathcal{L}({\mathrm{\phi <!--\; \phi \; -->}}_1,...,{\mathrm{\phi <!--\; \phi \; -->}}_N)=\frac{1}{2}[{\mathrm{\partial <!--\; \partial \; -->}}^{\mathrm{\mu <!--\; \mu \; -->}}{\mathrm{\phi <!--\; \phi \; -->}}_a{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\mu <!--\; \mu \; -->}}{\mathrm{\phi <!--\; \phi \; -->}}_a-<!--\; -\; -->m^2{\mathrm{\phi <!--\; \phi \; -->}}_a{\mathrm{\phi <!--\; \phi \; -->}}_a]-<!--\; -\; -->\frac{1}{4}\mathrm{\lambda <!--\; \lambda \; -->}({\mathrm{\phi <!--\; \phi \; -->}}_a{\mathrm{\phi <!--\; \phi \; -->}}_a{)}^2,a=1,...,N.$${\mathcal {L}}(\varphi _{1},...,\varphi _{N})={\frac {1}{2}}[\partial ^{\mu }\varphi _{a}\partial _{\mu }\varphi _{a}-m^{2}\varphi _{a}\varphi _{a}]-{\frac {1}{4}}\lambda (\varphi _{a}\varphi _{a})^{2},\quad a=1,...,N.$ 

Разложение комплексного поля на действительную и мнимую части показывает, что оно эквивалентно SO(2)-модели вещественных скалярных полей.

Во всех приведённых выше моделях константа связи $\mathrm{\lambda <!--\; \lambda \; -->}$$\lambda$  должна быть положительной, так как в противном случае потенциал был бы неограничен снизу и устойчивого вакуума не существовало бы. Кроме того, интеграл Фейнмана по путям, обсуждаемый ниже, был бы плохо определён. В 4-х измерениях, ${\mathrm{\varphi <!--\; \varphi \; -->}}^4$$\phi^4$  теории имеют полюс Ландау. Это означает, что без обрезания на высоких энергиях перенормировка сделала бы эту теорию тривиальной.

Континуальный интегралПравить

Разложение по диаграммам Фейнмана можно также получить из через интеграл по траекториям. Упорядоченные по времени вакуумные средние значения полиномов от φ, известные как n-частичные функции Грина, строятся путём интегрирования по всем возможным полям, нормированных значением вакуумного среднего без внешних полей,

$⟨<!--\; ⟨\; -->\mathrm{\Omega <!--\; \Omega \; -->}|\mathcal{T}\{\mathrm{\varphi <!--\; \varphi \; -->}(x_1)\cdots <!--\; \cdots \; -->\mathrm{\varphi <!--\; \varphi \; -->}(x_n)\}|\mathrm{\Omega <!--\; \Omega \; -->}⟩<!--\; ⟩\; -->=\frac{\int <!--\; \int \; -->\mathcal{D}\mathrm{\varphi <!--\; \varphi \; -->}\mathrm{\varphi <!--\; \varphi \; -->}(x_1)\cdots <!--\; \cdots \; -->\mathrm{\varphi <!--\; \varphi \; -->}(x_n)e^{i\int <!--\; \int \; -->d^{4}x\left(\frac{1}{2}{\mathrm{\partial <!--\; \partial \; -->}}^{\mathrm{\mu <!--\; \mu \; -->}}\mathrm{\varphi <!--\; \varphi \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\mu <!--\; \mu \; -->}}\mathrm{\varphi <!--\; \varphi \; -->}-<!--\; -\; -->\frac{m^2}{2}{\mathrm{\varphi <!--\; \varphi \; -->}}^2-<!--\; -\; -->\frac{\mathrm{\lambda <!--\; \lambda \; -->}}{4!}{\mathrm{\varphi <!--\; \varphi \; -->}}^4\right)}}{\int <!--\; \int \; -->\mathcal{D}\mathrm{\varphi <!--\; \varphi \; -->}{e}^{i\int <!--\; \int \; -->d^{4}x\left(\frac{1}{2}{\mathrm{\partial <!--\; \partial \; -->}}^{\mathrm{\mu <!--\; \mu \; -->}}\mathrm{\varphi <!--\; \varphi \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\mu <!--\; \mu \; -->}}\mathrm{\varphi <!--\; \varphi \; -->}-<!--\; -\; -->\frac{m^2}{2}{\mathrm{\varphi <!--\; \varphi \; -->}}^2-<!--\; -\; -->\frac{\mathrm{\lambda <!--\; \lambda \; -->}}{4!}{\mathrm{\varphi <!--\; \varphi \; -->}}^4\right)}}.$$\langle \Omega |{\mathcal {T}}\{{\phi }(x_{1})\cdots {\phi }(x_{n})\}|\Omega \rangle ={\frac {\int {\mathcal {D}}\phi \phi (x_{1})\cdots \phi (x_{n})e^{i\int d^{4}x\left({1 \over 2}\partial ^{\mu }\phi \partial _{\mu }\phi -{m^{2} \over 2}\phi ^{2}-{\lambda \over 4!}\phi ^{4}\right)}}{\int {\mathcal {D}}\phi e^{i\int d^{4}x\left({1 \over 2}\partial ^{\mu }\phi \partial _{\mu }\phi -{m^{2} \over 2}\phi ^{2}-{\lambda \over 4!}\phi ^{4}\right)}}}.$ 

Все эти функции Грина получаются путём разложения экспоненты по J(x)φ(x) в производящую функцию

$Z[J]=\int <!--\; \int \; -->\mathcal{D}\mathrm{\varphi <!--\; \varphi \; -->}{e}^{i\int <!--\; \int \; -->d^{4}x\left(\frac{1}{2}{\mathrm{\partial <!--\; \partial \; -->}}^{\mathrm{\mu <!--\; \mu \; -->}}\mathrm{\varphi <!--\; \varphi \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\mu <!--\; \mu \; -->}}\mathrm{\varphi <!--\; \varphi \; -->}-<!--\; -\; -->\frac{m^2}{2}{\mathrm{\varphi <!--\; \varphi \; -->}}^2-<!--\; -\; -->\frac{\mathrm{\lambda <!--\; \lambda \; -->}}{4!}{\mathrm{\varphi <!--\; \varphi \; -->}}^4+J\mathrm{\varphi <!--\; \varphi \; -->}\right)}=Z[0]\underset{n=0}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\frac{1}{n!}⟨<!--\; ⟨\; -->\mathrm{\Omega <!--\; \Omega \; -->}|\mathcal{T}\{\mathrm{\varphi <!--\; \varphi \; -->}(x_1)\cdots <!--\; \cdots \; -->\mathrm{\varphi <!--\; \varphi \; -->}(x_n)\}|\mathrm{\Omega <!--\; \Omega \; -->}⟩<!--\; ⟩\; -->.$$Z[J]=\int {\mathcal {D}}\phi e^{i\int d^{4}x\left({1 \over 2}\partial ^{\mu }\phi \partial _{\mu }\phi -{m^{2} \over 2}\phi ^{2}-{\lambda \over 4!}\phi ^{4}+J\phi \right)}=Z[0]\sum _{n=0}^{\infty }{\frac {1}{n!}}\langle \Omega |{\mathcal {T}}\{{\phi }(x_{1})\cdots {\phi }(x_{n})\}|\Omega \rangle .$ 

Вращение Вика задаёт переход к мнимому времени. Затем изменение сигнатуры на (++++) даёт интеграл статистической механики φ⁴-теории по 4-мерному евклидову пространству,

$Z[J]=\int <!--\; \int \; -->\mathcal{D}\mathrm{\varphi <!--\; \varphi \; -->}{e}^{-<!--\; -\; -->\int <!--\; \int \; -->d^{4}x\left(\frac{1}{2}(\mathrm{\nabla <!--\; \nabla \; -->}\mathrm{\varphi <!--\; \varphi \; -->}{)}^2+\frac{m^2}{2}{\mathrm{\varphi <!--\; \varphi \; -->}}^2+\frac{\mathrm{\lambda <!--\; \lambda \; -->}}{4!}{\mathrm{\varphi <!--\; \varphi \; -->}}^4+J\mathrm{\varphi <!--\; \varphi \; -->}\right)}.$$Z[J]=\int {\mathcal {D}}\phi e^{-\int d^{4}x\left({1 \over 2}(\nabla \phi )^{2}+{m^{2} \over 2}\phi ^{2}+{\lambda \over 4!}\phi ^{4}+J\phi \right)}.$ 

Обычно это применяется к рассеянию частиц с фиксированными импульсами, и в этом случае полезно использовать преобразование Фурье, чир даёт

$\stackrel{~<!--\; ~\; -->}{Z}[\stackrel{~<!--\; ~\; -->}{J}]=\int <!--\; \int \; -->\mathcal{D}\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}{e}^{-<!--\; -\; -->\int <!--\; \int \; -->d^{4}p\left(\frac{1}{2}(p^2+m^2){\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}}^2-<!--\; -\; -->\stackrel{~<!--\; ~\; -->}{J}\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}+\frac{\mathrm{\lambda <!--\; \lambda \; -->}}{4!}\int <!--\; \int \; -->\frac{d^4{p}_1}{(2\mathrm{\pi <!--\; \pi \; -->}{)}^4}\frac{d^4{p}_2}{(2\mathrm{\pi <!--\; \pi \; -->}{)}^4}\frac{d^4{p}_3}{(2\mathrm{\pi <!--\; \pi \; -->}{)}^4}\mathrm{\delta <!--\; \delta \; -->}(p-<!--\; -\; -->p_1-<!--\; -\; -->p_2-<!--\; -\; -->p_3)\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}(p)\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}(p_1)\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}(p_2)\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}(p_3)\right)}.$${\tilde {Z}}[{\tilde {J}}]=\int {\mathcal {D}}{\tilde {\phi }}e^{-\int d^{4}p\left({1 \over 2}(p^{2}+m^{2}){\tilde {\phi }}^{2}-{\tilde {J}}{\tilde {\phi }}+{\lambda \over 4!}{\int {d^{4}p_{1} \over (2\pi )^{4}}{d^{4}p_{2} \over (2\pi )^{4}}{d^{4}p_{3} \over (2\pi )^{4}}\delta (p-p_{1}-p_{2}-p_{3}){\tilde {\phi }}(p){\tilde {\phi }}(p_{1}){\tilde {\phi }}(p_{2}){\tilde {\phi }}(p_{3})}\right)}.$ 

куда $\mathrm{\delta <!--\; \delta \; -->}(x)$$\delta(x)$  — дельта-функция Дирака.

Стандартный трюк для вычисления этого функционального интеграла состоит в том, чтобы записать его как произведение экспоненциальных множителей, схематично,

$\stackrel{~<!--\; ~\; -->}{Z}[\stackrel{~<!--\; ~\; -->}{J}]=\int <!--\; \int \; -->\mathcal{D}\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}\underset{p}{\prod <!--\; \prod \; -->}\left[e^{-<!--\; -\; -->(p^2+m^2){\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}}^2/2}{e}^{-<!--\; -\; -->\mathrm{\lambda <!--\; \lambda \; -->}/4!\int <!--\; \int \; -->\frac{d^4{p}_1}{(2\mathrm{\pi <!--\; \pi \; -->}{)}^4}\frac{d^4{p}_2}{(2\mathrm{\pi <!--\; \pi \; -->}{)}^4}\frac{d^4{p}_3}{(2\mathrm{\pi <!--\; \pi \; -->}{)}^4}\mathrm{\delta <!--\; \delta \; -->}(p-<!--\; -\; -->p_1-<!--\; -\; -->p_2-<!--\; -\; -->p_3)\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}(p)\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}(p_1)\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}(p_2)\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}(p_3)}{e}^{\stackrel{~<!--\; ~\; -->}{J}\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}}\right].$${\tilde {Z}}[{\tilde {J}}]=\int {\mathcal {D}}{\tilde {\phi }}\prod _{p}\left[e^{-(p^{2}+m^{2}){\tilde {\phi }}^{2}/2}e^{-\lambda /4!\int {d^{4}p_{1} \over (2\pi )^{4}}{d^{4}p_{2} \over (2\pi )^{4}}{d^{4}p_{3} \over (2\pi )^{4}}\delta (p-p_{1}-p_{2}-p_{3}){\tilde {\phi }}(p){\tilde {\phi }}(p_{1}){\tilde {\phi }}(p_{2}){\tilde {\phi }}(p_{3})}e^{{\tilde {J}}{\tilde {\phi }}}\right].$ 

Вторые два экспоненциальных множителя можно разложить в степенной ряд, а комбинаторику этого разложения можно представить графически. Интеграл с λ = 0 рассматривают как произведение бесконечного числа элементарных интегралов Гаусса, а результат можно выразить в виде суммы диаграмм Фейнмана, рассчитанных с использованием следующих правил Фейнмана:

• Каждое поле $\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}(p)$${\tilde {\phi }}(p)$  в n -точечной евклидовой функции Грина представлена внешней линией на графике и связано с импульсом p.
• Каждая вершина представлена фактором -λ.
• При заданном порядке λ^k все диаграммы с n внешними линиями и k вершинами строятся так, что импульсы, входящие в каждую вершину, равны нулю. Каждая внутренняя линия представлена коэффициентом 1/(q² + m²), где q — импульс, протекающий через эту линию.
• Любые неограниченные импульсы интегрируются по всем значениям.
• Результат делится на коэффициент симметрии, который представляет собой количество способов перестановки линий и вершин графа без изменения его связности.
• Не включать графы, содержащие «вакуумные пузыри», связные подграфы без внешних линий.

Последнее правило учитывает эффект деления на $\stackrel{~<!--\; ~\; -->}{Z}[0]$${\tilde {Z}}[0]$ . Правила Фейнмана в пространстве Минковского аналогичны, за исключением того, что каждая вершина представлена $-<!--\; -\; -->i\mathrm{\lambda <!--\; \lambda \; -->}$$-i\lambda$ , а каждая внутренняя линия представлена множителем i/(q² — m² + iε), где член ε представляет небольшое вращение Вика, необходимое для сходимости интеграла Гаусса в пространстве Минковского.

 

ПеренормировкаПравить

Интегралы по неограниченным импульсам, называемые «петлевыми вкладами», на диаграммах Фейнмана обычно расходятся. Это обычно устраняется перенормировкой, которая представляет собой процедуру добавления расходящихся контрчленов к лагранжиану таким образом, что диаграммы, построенные из исходного лагранжиана и контрчленов, конечны. При этом необходимо вводить масштаб перенормировки, от которого становятся зависимыми константа связи и масса. Именно эта зависимость приводит к упомянутому ранее полюсу Ландау и требует, чтобы обрезание приводило к конечным интегралам. В качестве альтернативы, если отсечение может уйти в бесконечность, полюса Ландау можно избежать, только если перенормированная связь стремится к нулю, что делает теорию тривиальной.

Спонтанное нарушение симметрииПравить

Интересная особенность может возникнуть, если m² становится отрицательным, но λ остаётся положительным. В этом случае вакуум состоит из двух состояний с наименьшей энергией, каждое из которых спонтанно нарушает глобальную симметрию Z₂ исходной теории. Это приводит к появлению интересных коллективных состояний, таких как доменные стенки. В теории O(2) вакуум располагался бы на окружности, и выбор одного из них спонтанно нарушил бы симметрию O(2). Непрерывная нарушенная симметрия приводит к появлению новой частицы бозона Голдстоуна. Этот тип спонтанного нарушения симметрии является существенным компонентом механизма Хиггса.

Спонтанное нарушение дискретных симметрийПравить

Простейшая релятивистская система, в которой наблюдается спонтанное нарушение симметрии, — это система с одним скалярным полем $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$  с лагранжианом

$\mathcal{L}(\mathrm{\phi <!--\; \phi \; -->})=\frac{1}{2}(\mathrm{\partial <!--\; \partial \; -->}\mathrm{\phi <!--\; \phi \; -->}{)}^2+\frac{1}{2}{\mathrm{\mu <!--\; \mu \; -->}}^2{\mathrm{\phi <!--\; \phi \; -->}}^2-<!--\; -\; -->\frac{1}{4}\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\phi <!--\; \phi \; -->}}^4\equiv <!--\; \equiv \; -->\frac{1}{2}(\mathrm{\partial <!--\; \partial \; -->}\mathrm{\phi <!--\; \phi \; -->}{)}^2-<!--\; -\; -->V(\mathrm{\phi <!--\; \phi \; -->}),$${\mathcal {L}}(\varphi )={\frac {1}{2}}(\partial \varphi )^{2}+{\frac {1}{2}}\mu ^{2}\varphi ^{2}-{\frac {1}{4}}\lambda \varphi ^{4}\equiv {\frac {1}{2}}(\partial \varphi )^{2}-V(\varphi ),$ 

где ${\mathrm{\mu <!--\; \mu \; -->}}^2>0$$\mu ^{2}>0$  и

$V(\mathrm{\phi <!--\; \phi \; -->})\equiv <!--\; \equiv \; -->-<!--\; -\; -->\frac{1}{2}{\mathrm{\mu <!--\; \mu \; -->}}^2{\mathrm{\phi <!--\; \phi \; -->}}^2+\frac{1}{4}\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\phi <!--\; \phi \; -->}}^4.$$V(\varphi )\equiv -{\frac {1}{2}}\mu ^{2}\varphi ^{2}+{\frac {1}{4}}\lambda \varphi ^{4}.$ 

Минимизируя потенциал по переменной $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$  приводит к

$V^{\prime }({\mathrm{\phi <!--\; \phi \; -->}}_0)=0⟺<!--\; ⟺\; -->{\mathrm{\phi <!--\; \phi \; -->}}_0^2\equiv <!--\; \equiv \; -->v^2=\frac{{\mathrm{\mu <!--\; \mu \; -->}}^2}{\mathrm{\lambda <!--\; \lambda \; -->}}.$$V'(\varphi _{0})=0\Longleftrightarrow \varphi _{0}^{2}\equiv v^{2}={\frac {\mu ^{2}}{\lambda }}.$ 

Теперь мы расширим поле вокруг этого минимального записав

$\mathrm{\phi <!--\; \phi \; -->}(x)=v+\mathrm{\sigma <!--\; \sigma \; -->}(x),$$\varphi (x)=v+\sigma (x),$ 

и подставив в лагранжиан получим

$\mathcal{L}(\mathrm{\phi <!--\; \phi \; -->})=\underset{\text{unimportant constant}}{\underset{⏟<!--\; ⏟\; -->}{-<!--\; -\; -->\frac{{\mathrm{\mu <!--\; \mu \; -->}}^4}{4\mathrm{\lambda <!--\; \lambda \; -->}}}}+\underset{\text{massive scalar field}}{\underset{⏟<!--\; ⏟\; -->}{\frac{1}{2}[(\mathrm{\partial <!--\; \partial \; -->}\mathrm{\sigma <!--\; \sigma \; -->}{)}^2-<!--\; -\; -->(\sqrt{2}\mathrm{\mu <!--\; \mu \; -->}{)}^2{\mathrm{\sigma <!--\; \sigma \; -->}}^2]}}+\underset{\text{self-interactions}}{\underset{⏟<!--\; ⏟\; -->}{(-<!--\; -\; -->\mathrm{\lambda <!--\; \lambda \; -->}v{\mathrm{\sigma <!--\; \sigma \; -->}}^3-<!--\; -\; -->\frac{\mathrm{\lambda <!--\; \lambda \; -->}}{4}{\mathrm{\sigma <!--\; \sigma \; -->}}^4)}}.$${\mathcal {L}}(\varphi )=\underbrace {-{\frac {\mu ^{4}}{4\lambda }}} _{\text{unimportant constant}}+\underbrace {{\frac {1}{2}}[(\partial \sigma )^{2}-({\sqrt {2}}\mu )^{2}\sigma ^{2}]} _{\text{massive scalar field}}+\underbrace {(-\lambda v\sigma ^{3}-{\frac {\lambda }{4}}\sigma ^{4})} _{\text{self-interactions}}.$ 

где скаляр $\mathrm{\sigma <!--\; \sigma \; -->}$$\sigma$  теперь имеет положительный массовый член.

Думая в терминах значений вакуумного среднего позволяет нам понять, что происходит с симметрией, когда она спонтанно нарушается. Исходный лагранжиан был инвариантным относительно $Z_2$$Z_{2}$  симметрии $\mathrm{\phi <!--\; \phi \; -->}\to <!--\; \to \; -->-<!--\; -\; -->\mathrm{\phi <!--\; \phi \; -->}$$\varphi \rightarrow -\varphi$ . С

$⟨<!--\; ⟨\; -->\mathrm{\Omega <!--\; \Omega \; -->}|\mathrm{\phi <!--\; \phi \; -->}|\mathrm{\Omega <!--\; \Omega \; -->}⟩<!--\; ⟩\; -->=\pm <!--\; \pm \; -->\sqrt{\frac{6{\mathrm{\mu <!--\; \mu \; -->}}^2}{\mathrm{\lambda <!--\; \lambda \; -->}}}$$\langle \Omega |\varphi |\Omega \rangle =\pm {\sqrt {\frac {6\mu ^{2}}{\lambda }}}$ 

оба минимума, должно существовать два разных вакуума: $|{\mathrm{\Omega <!--\; \Omega \; -->}}_{\pm <!--\; \pm \; -->}⟩<!--\; ⟩\; -->$$|\Omega _{\pm }\rangle$  с участием

$⟨<!--\; ⟨\; -->{\mathrm{\Omega <!--\; \Omega \; -->}}_{\pm <!--\; \pm \; -->}|\mathrm{\phi <!--\; \phi \; -->}|{\mathrm{\Omega <!--\; \Omega \; -->}}_{\pm <!--\; \pm \; -->}⟩<!--\; ⟩\; -->=\pm <!--\; \pm \; -->\sqrt{\frac{6{\mathrm{\mu <!--\; \mu \; -->}}^2}{\mathrm{\lambda <!--\; \lambda \; -->}}}.$$\langle \Omega _{\pm }|\varphi |\Omega _{\pm }\rangle =\pm {\sqrt {\frac {6\mu ^{2}}{\lambda }}}.$ 

Поскольку $Z_2$$Z_{2}$  симметрия означает $\mathrm{\phi <!--\; \phi \; -->}\to <!--\; \to \; -->-<!--\; -\; -->\mathrm{\phi <!--\; \phi \; -->}$$\varphi \rightarrow -\varphi$ , это должно также относиться к $|{\mathrm{\Omega <!--\; \Omega \; -->}}_{+}⟩<!--\; ⟩\; -->\leftrightarrow <!--\; \leftrightarrow \; -->|{\mathrm{\Omega <!--\; \Omega \; -->}}_{-<!--\; -\; -->}⟩<!--\; ⟩\; -->$$|\Omega _{+}\rangle \leftrightarrow |\Omega _{-}\rangle$ . Два возможных вакуума для теории эквивалентны, но нужно выбрать один. Хотя кажется, что в новом лагранжиане $Z_2$$Z_{2}$  симметрия исчезла, она всё ещё есть, но теперь она действует как $\mathrm{\sigma <!--\; \sigma \; -->}\to <!--\; \to \; -->-<!--\; -\; -->\mathrm{\sigma <!--\; \sigma \; -->}-<!--\; -\; -->2v.$$\sigma \rightarrow -\sigma -2v.$  Это общая черта спонтанно нарушенных симметрий: их нарушает вакуум, но в лагранжиане они фактически не нарушены, а просто скрыты и часто реализуются только нелинейным образом.

Точные решенияПравить

Существует множество точных классических решений уравнения движения теории, записанных в виде

${\mathrm{\partial <!--\; \partial \; -->}}^2\mathrm{\phi <!--\; \phi \; -->}+{\mathrm{\mu <!--\; \mu \; -->}}_0^2\mathrm{\phi <!--\; \phi \; -->}+\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\phi <!--\; \phi \; -->}}^3=0$$\partial ^{2}\varphi +\mu _{0}^{2}\varphi +\lambda \varphi ^{3}=0$ 

что можно написать для безмассового, ${\mathrm{\mu <!--\; \mu \; -->}}_0=0$$\mu _{0}=0$  случай как

$\mathrm{\phi <!--\; \phi \; -->}(x)=\pm <!--\; \pm \; -->\mathrm{\mu <!--\; \mu \; -->}{\left(\frac{2}{\mathrm{\lambda <!--\; \lambda \; -->}}\right)}^{\frac{1}{4}}\mathrm{s}\mathrm{n}(p\cdot <!--\; \cdot \; -->x+\mathrm{\theta <!--\; \theta \; -->},-<!--\; -\; -->1),$$\varphi (x)=\pm \mu \left({\frac {2}{\lambda }}\right)^{1 \over 4}{\rm {sn}}(p\cdot x+\theta ,-1),$ 

где $\mathrm{s}\mathrm{n}$$\,{\rm {sn\!}}$  — эллиптическая функция Якоби и $\mathrm{\mu <!--\; \mu \; -->},\mathrm{\theta <!--\; \theta \; -->}$$\,\mu ,\theta$  — константы интегрирования с учётом следующего дисперсионного соотношения

$p^2={\mathrm{\mu <!--\; \mu \; -->}}^2{\left(\frac{\mathrm{\lambda <!--\; \lambda \; -->}}{2}\right)}^{\frac{1}{2}}.$$p^{2}=\mu ^{2}\left({\frac {\lambda }{2}}\right)^{1 \over 2}.$ 

Интересно, что мы начали с безмассового уравнения, но точное решение описывает волну с законом дисперсии, соответствующим решению для массивного поля. Когда массовый член не равен нулю, получается

$\mathrm{\phi <!--\; \phi \; -->}(x)=\pm <!--\; \pm \; -->\sqrt{\frac{2{\mathrm{\mu <!--\; \mu \; -->}}^4}{{\mathrm{\mu <!--\; \mu \; -->}}_0^2+\sqrt{{\mathrm{\mu <!--\; \mu \; -->}}_0^4+2\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\mu <!--\; \mu \; -->}}^4}}}\mathrm{s}\mathrm{n}\left(p\cdot <!--\; \cdot \; -->x+\mathrm{\theta <!--\; \theta \; -->},\sqrt{\frac{-<!--\; -\; -->{\mathrm{\mu <!--\; \mu \; -->}}_0^2+\sqrt{{\mathrm{\mu <!--\; \mu \; -->}}_0^4+2\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\mu <!--\; \mu \; -->}}^4}}{-<!--\; -\; -->{\mathrm{\mu <!--\; \mu \; -->}}_0^2-<!--\; -\; -->\sqrt{{\mathrm{\mu <!--\; \mu \; -->}}_0^4+2\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\mu <!--\; \mu \; -->}}^4}}}\right)$$\varphi (x)=\pm {\sqrt {\frac {2\mu ^{4}}{\mu _{0}^{2}+{\sqrt {\mu _{0}^{4}+2\lambda \mu ^{4}}}}}}{\rm {sn}}\left(p\cdot x+\theta ,{\sqrt {\frac {-\mu _{0}^{2}+{\sqrt {\mu _{0}^{4}+2\lambda \mu ^{4}}}}{-\mu _{0}^{2}-{\sqrt {\mu _{0}^{4}+2\lambda \mu ^{4}}}}}}\right)$ 

теперь дисперсионное соотношение

$p^2={\mathrm{\mu <!--\; \mu \; -->}}_0^2+\frac{\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\mu <!--\; \mu \; -->}}^4}{{\mathrm{\mu <!--\; \mu \; -->}}_0^2+\sqrt{{\mathrm{\mu <!--\; \mu \; -->}}_0^4+2\mathrm{\lambda <!--\; \lambda \; -->}{\mathrm{\mu <!--\; \mu \; -->}}^4}}.$$p^{2}=\mu _{0}^{2}+{\frac {\lambda \mu ^{4}}{\mu _{0}^{2}+{\sqrt {\mu _{0}^{4}+2\lambda \mu ^{4}}}}}.$ 

Наконец, для случая нарушения симметрии

$\mathrm{\phi <!--\; \phi \; -->}(x)=\pm <!--\; \pm \; -->v\cdot <!--\; \cdot \; -->\mathrm{d}\mathrm{n}(p\cdot <!--\; \cdot \; -->x+\mathrm{\theta <!--\; \theta \; -->},i),$$\varphi (x)=\pm v\cdot {\rm {dn}}(p\cdot x+\theta ,i),$ 

существование $v=\sqrt{\frac{2{\mathrm{\mu <!--\; \mu \; -->}}_0^2}{3\mathrm{\lambda <!--\; \lambda \; -->}}}$$v={\sqrt {\frac {2\mu _{0}^{2}}{3\lambda }}}$  и имеет место следующее дисперсионное соотношение

$p^2=\frac{\mathrm{\lambda <!--\; \lambda \; -->}{v}^2}{2}.$$p^{2}={\frac {\lambda v^{2}}{2}}.$ 

Эти волновые решения интересны тем, что, несмотря на то, что мы начали с уравнения с неправильным знаком массы, дисперсионное соотношение имеет правильный знак. Кроме того, функция Якоби $\mathrm{d}\mathrm{n}$$\,{\rm {dn}}\!$  не имеет действительных нулей, и поэтому поле никогда не равно нулю, а движется вокруг заданного постоянного значения, которое изначально выбрано для описания спонтанного нарушения симметрии.

Доказательство единственности можно получить, если учесть, что решение можно искать в виде $\mathrm{\phi <!--\; \phi \; -->}=\mathrm{\phi <!--\; \phi \; -->}(\mathrm{\xi <!--\; \xi \; -->})$$\varphi =\varphi (\xi )$ , где $\mathrm{\xi <!--\; \xi \; -->}=p\cdot <!--\; \cdot \; -->x$$\xi =p\cdot x$ . Тогда уравнение в частных производных становится обыкновенным дифференциальным уравнением, которое определяет эллиптическую функцию Якоби с $p$$p$  удовлетворяющие правильному дисперсионному соотношению.

ЛитератураПравить

• 't Hooft, G., «The Conceptual Basis of Quantum Field Theory» (online version).
• Bazghandi, Mustafa (August 2019). “Lie symmetries and similarity solutions of phi-four equation”. Indian Journal of Mathematics. 61 (2): 187—197.