Симметрия в квантовой механике

Симметрии в квантовой механике — преобразования пространства-времени и частиц, которые оставляют неизменными уравнения квантовой механики. Рассматриваются во многих разделах квантовой механики, которые включают релятивистскую квантовую механику, квантовую теорию поля, стандартную модель и физику конденсированного состояния. В целом, симметрия в физике, законы инвариантности и сохранения являются основополагающими ограничениями для формулирования физических теорий и моделей. На практике это мощные методы решения задач и прогнозирования того, что может случиться. Хотя законы сохранения не всегда дают конечное решение проблемы, но они формируют правильные ограничения и наметки к решению множества задач.

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

ОбозначенияПравить

Условные обозначения, используемые в этой статье, следующие. Жирным шрифтом обозначены векторы, 4-векторы, матрицы и векторные операторы, в то время как квантовые состояния обозначаются скобками (бра и кет нотация). Широкие шляпки предназначены для операторов, узкие — для единичных векторов (включая их компоненты в тензорных индексах). Если не указано иное, используется соглашение о суммировании повторяющихся тензорных индексов. Метрическая сигнатура пространства Минковского (+ −−−).

Преобразования симметрии волновой функции в нерелятивистской квантовой механикеПравить

Непрерывные симметрииПравить

Как правило, соответствие между непрерывными симметриями и законами сохранения дается квантовым аналогом теоремы Нётер.

Форма фундаментальных квантовых операторов, например энергии как частной производной по времени и импульса как градиента (от пространственных координат), становится ясной, если рассмотреть начальное состояние, а затем немного изменить один из его параметров. Такой подход работает для смещения (длины), продолжительности (времени) и углов (вращения). Кроме того, инвариантность некоторых величин можно увидеть, проделав преобразования длин и углов, что свидетельствует о сохранении этих величин.

В дальнейшем рассмотрим преобразования только для одночастичных волновых функций вида:

$\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}\mathrm{\psi <!--\; \psi \; -->}(\mathbf{r},t)=\mathrm{\psi <!--\; \psi \; -->}({\mathbf{r}}^{\prime },t^{\prime })$${\widehat {\Omega }}\psi (\mathbf {r} ,t)=\psi (\mathbf {r} ',t')$ 

где $\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}$${\widehat {\Omega }}$  обозначает унитарный оператор. Унитарность обычно требуется для операторов, представляющих преобразования пространства, времени и спина, поскольку норма состояния (представляющая полную вероятность нахождения частицы с некоторым спином в некотором объёме пространства) должна быть инвариантной относительно этих преобразований. Обратное преобразование задаётся эрмитовым сопряжением ${\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}}^{-<!--\; -\; -->1}={\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}}^{†<!--\; †\; -->}$${\widehat {\Omega }}^{-1}={\widehat {\Omega }}^{\dagger }$  . Эти результаты можно распространить на многочастичные волновые функции. В нотации Дирака преобразования квантовых состояний:

$\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}|\mathbf{r}(t)⟩=|{\mathbf{r}}^{\prime }(t^{\prime })⟩$${\widehat {\Omega }}\left|\mathbf {r} (t)\right\rangle =\left|\mathbf {r} '(t')\right\rangle$ 

Тогда действие оператора $\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}$${\widehat {\Omega }}$  преобразует волновую функцию ψ (r, t) в ψ (r ′, t ′), так что обратный оператор ${\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}}^{-<!--\; -\; -->1}={\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}}^{†<!--\; †\; -->}$${\widehat {\Omega }}^{-1}={\widehat {\Omega }}^{\dagger }$  заменяет ψ (r ′, t ′) на ψ (r, t), поэтому какой-либо оператор $\stackrel{^<!--\; ^\; -->}{A}$${\widehat {A}}$  будет инвариантен относительно преобразования $\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}$${\widehat {\Omega }}$  при условии

$\stackrel{^<!--\; ^\; -->}{A}\mathrm{\psi <!--\; \psi \; -->}={\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}}^{†<!--\; †\; -->}\stackrel{^<!--\; ^\; -->}{A}\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}\mathrm{\psi <!--\; \psi \; -->}\Rightarrow <!--\; \Rightarrow \; -->\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}\stackrel{^<!--\; ^\; -->}{A}\mathrm{\psi <!--\; \psi \; -->}=\stackrel{^<!--\; ^\; -->}{A}\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}\mathrm{\psi <!--\; \psi \; -->}$${\widehat {A}}\psi ={\widehat {\Omega }}^{\dagger }{\widehat {A}}{\widehat {\Omega }}\psi \quad \Rightarrow \quad {\widehat {\Omega }}{\widehat {A}}\psi ={\widehat {A}}{\widehat {\Omega }}\psi$ 

и поэтому:

$[\stackrel{^<!--\; ^\; -->}{\mathrm{\Omega <!--\; \Omega \; -->}},\stackrel{^<!--\; ^\; -->}{A}]\mathrm{\psi <!--\; \psi \; -->}=0$$[{\widehat {\Omega }},{\widehat {A}}]\psi =0$ 

для любых состояний ψ. Квантовые операторы, соответствующие наблюдаемым, также должны быть эрмитовыми, чтобы их собственные значения были действительными числами, то есть оператор равен своему эрмитово сопряженному, $\stackrel{^<!--\; ^\; -->}{A}={\stackrel{^<!--\; ^\; -->}{A}}^{†<!--\; †\; -->}$${\widehat {A}}={\widehat {A}}^{\dagger }$ .

Обзор теории групп ЛиПравить

Ниже приведены ключевые положения теории групп, относящиеся к квантовой теории, а примеры приводятся на протяжении всей статьи. В альтернативном подходе используются группы матриц (см. Книги Холла)

Пусть G — группа Ли, которая локально параметризуется конечным числом N действительных непрерывно меняющихся параметров ξ ₁, ξ ₂ ,. . . ξ _N. Или на другом языке это означает, что G — гладкое многообразие, которое также является группой, с гладкими групповыми операциями.

• Размерность группы равна N — то есть равно количеству параметров группы.
• элементы группы g в G — это функции параметров:

$g=G({\mathrm{\xi <!--\; \xi \; -->}}_1,{\mathrm{\xi <!--\; \xi \; -->}}_2,\cdots <!--\; \cdots \; -->)$$g=G(\xi _{1},\xi _{2},\cdots )$ 

и когда все параметры обнулены, то это соответствует нейтральному элементу группы:

$I=G(0,0\cdots <!--\; \cdots \; -->)$$I=G(0,0\cdots )$ 

Элементы группы часто представляются в виде матриц, действующих на векторы, или преобразований, действующих на функции.

• Генераторы группы — это частные производные элементов группы по параметрам группы в точке, когда параметр равен нулю, а именно

$X_j={\frac{\mathrm{\partial <!--\; \partial \; -->}g}{\mathrm{\partial <!--\; \partial \; -->}{\mathrm{\xi <!--\; \xi \; -->}}_j}|}_{{\mathrm{\xi <!--\; \xi \; -->}}_j=0}$$X_{j}=\left.{\frac {\partial g}{\partial \xi _{j}}}\right|_{\xi _{j}=0}$ 

На языке многообразий генераторы группы — это элементы касательного пространства к G в единице. Генераторы также известны как элементы инфинитезимальной группы или как элементы алгебры Ли группы G. (См. Обсуждение коммутатора ниже.)

Одно из преимуществ генераторов в теоретической физике заключается в том, что этим операторам соответствуют симметрии, которые можно записать в виде матриц или как дифференциальных операторов. В квантовой теории для унитарных представлений группы, генераторы умножаются на i :

$X_j=i{\frac{\mathrm{\partial <!--\; \partial \; -->}g}{\mathrm{\partial <!--\; \partial \; -->}{\mathrm{\xi <!--\; \xi \; -->}}_j}|}_{{\mathrm{\xi <!--\; \xi \; -->}}_j=0}$$X_{j}=i\left.{\frac {\partial g}{\partial \xi _{j}}}\right|_{\xi _{j}=0}$ 

Генераторы группы образуют векторное пространство, что означает, что линейные комбинации генераторов также образуют генератор.

• Генераторы (матрицы или дифференциальные операторы) удовлетворяют коммутационным соотношениям :

$\left[X_a,X_b\right]=i{f}_{abc}{X}_c$$\left[X_{a},X_{b}\right]=if_{abc}X_{c}$ 

где f _abc — (зависящие от базиса) структурные константы группы. Вместе со свойствами векторного пространства генераторы группы задают базис алгебры Ли. Из-за антисимметрии скобок (коммутатора) структурные константы группы антисимметричны по первым двум индексам.

• Представления группы описывают способы, которыми группа G (или её алгебра Ли) действует в векторном пространстве. (В качестве векторного пространства можно взять, например пространство собственных векторов гамильтониана, имеющего G в качестве группы симметрии.) Обозначим представления через заглавную D. Затем можно дифференцировать D, чтобы получить представление алгебры Ли, часто также обозначаемое D. Эти два представления связаны следующим образом:

$D[g({\mathrm{\xi <!--\; \xi \; -->}}_j)]\equiv <!--\; \equiv \; -->D({\mathrm{\xi <!--\; \xi \; -->}}_j)=e^{i{\mathrm{\xi <!--\; \xi \; -->}}_{j}D(X_j)}$$D[g(\xi _{j})]\equiv D(\xi _{j})=e^{i\xi _{j}D(X_{j})}$ 

без суммирования по повторяющемуся индексу j. Представления группы — это линейные операторы, поставленные в соотствие каждому элементу группы и для которых выполняется правило композиции:

$D({\mathrm{\xi <!--\; \xi \; -->}}_a)D({\mathrm{\xi <!--\; \xi \; -->}}_b)=D({\mathrm{\xi <!--\; \xi \; -->}}_a{\mathrm{\xi <!--\; \xi \; -->}}_b).$$D(\xi _{a})D(\xi _{b})=D(\xi _{a}\xi _{b}).$ 

Представление, которое не может быть разложено в прямую сумму других представлений, называется неприводимым . Неприводимые представления принято помечать верхним индексом n в скобках, как например в D ⁽ⁿ⁾, или, если имеется более одного числа, то записывают D ^{(n, m,. . . )} .

В квантовой теории возникает дополнительная тонкость: два вектора, различающиеся скалярным множителем, задают одно и то же физическое состояние. Тогда подходящим понятием представления выбирают проективное представление, которое удовлетворяет закону композиции только с точностью до скалярного множителя. В контексте квантово-механического спина такие представления называются спинорным.

Импульс и энергия как генераторы переноса, эволюции во времени и вращенияПравить

Оператор пространственных трансляций $\stackrel{^<!--\; ^\; -->}{T}(\mathrm{\Delta <!--\; \Delta \; -->}\mathbf{r})$${\widehat {T}}(\Delta \mathbf {r} )$  действует на волновую функцию, сдвигая пространственные координаты на бесконечно малое смещение Δ r. Явное выражение для оператора $\stackrel{^<!--\; ^\; -->}{T}$${\widehat {T}}$  можно получить с помощью разложения в ряд Тейлора ψ (r + Δ r, t) в окрестности r, а затем (сохраняя член первого порядка и пренебрегая членами второго и более высоких порядков), заменить пространственные производные (градиент) оператором импульса $\stackrel{^<!--\; ^\; -->}{\mathbf{p}}$${\widehat {\mathbf {p} }}$ . Точно так же для оператора сдвига по времени, действующего на параметр времени, в разложении в ряд Тейлора для ψ (r, t + Δ t) в окрестности t, заменяют производную по времени оператором энергии $\stackrel{^<!--\; ^\; -->}{E}$${\widehat {E}}$  .

Название	Оператор трансляций $\stackrel{^<!--\; ^\; -->}{T}$${\widehat {T}}$	Оператор эволюции во времени $\stackrel{^<!--\; ^\; -->}{U}$${\widehat {U}}$
Действие на волновую функцию	$\stackrel{^<!--\; ^\; -->}{T}(\mathrm{\Delta <!--\; \Delta \; -->}\mathbf{r})\mathrm{\psi <!--\; \psi \; -->}(\mathbf{r},t)=\mathrm{\psi <!--\; \psi \; -->}(\mathbf{r}+\mathrm{\Delta <!--\; \Delta \; -->}\mathbf{r},t)$${\widehat {T}}(\Delta \mathbf {r} )\psi (\mathbf {r} ,t)=\psi (\mathbf {r} +\Delta \mathbf {r} ,t)$	$\stackrel{^<!--\; ^\; -->}{U}(\mathrm{\Delta <!--\; \Delta \; -->}t)\mathrm{\psi <!--\; \psi \; -->}(\mathbf{r},t)=\mathrm{\psi <!--\; \psi \; -->}(\mathbf{r},t+\mathrm{\Delta <!--\; \Delta \; -->}t)$${\widehat {U}}(\Delta t)\psi (\mathbf {r} ,t)=\psi (\mathbf {r} ,t+\Delta t)$
Инфинитезимальный оператор	$\stackrel{^<!--\; ^\; -->}{T}(\mathrm{\Delta <!--\; \Delta \; -->}\mathbf{r})=I+\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\Delta <!--\; \Delta \; -->}\mathbf{r}\cdot <!--\; \cdot \; -->\stackrel{^<!--\; ^\; -->}{\mathbf{p}}$${\widehat {T}}(\Delta \mathbf {r} )=I+{\frac {i}{\hbar }}\Delta \mathbf {r} \cdot {\widehat {\mathbf {p} }}$	$\stackrel{^<!--\; ^\; -->}{U}(\mathrm{\Delta <!--\; \Delta \; -->}t)=I-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\Delta <!--\; \Delta \; -->}t\stackrel{^<!--\; ^\; -->}{E}$${\widehat {U}}(\Delta t)=I-{\frac {i}{\hbar }}\Delta t{\widehat {E}}$
конечный оператор	$\underset{N\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}{\left(I+\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\frac{\mathrm{\Delta <!--\; \Delta \; -->}\mathbf{r}}{N}\cdot <!--\; \cdot \; -->\stackrel{^<!--\; ^\; -->}{\mathbf{p}}\right)}^N=\exp <!--\; \; -->\left(\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\Delta <!--\; \Delta \; -->}\mathbf{r}\cdot <!--\; \cdot \; -->\stackrel{^<!--\; ^\; -->}{\mathbf{p}}\right)=\stackrel{^<!--\; ^\; -->}{T}(\mathrm{\Delta <!--\; \Delta \; -->}\mathbf{r})$$\lim _{N\rightarrow \infty }\left(I+{\frac {i}{\hbar }}{\frac {\Delta \mathbf {r} }{N}}\cdot {\widehat {\mathbf {p} }}\right)^{N}=\exp \left({\frac {i}{\hbar }}\Delta \mathbf {r} \cdot {\widehat {\mathbf {p} }}\right)={\widehat {T}}(\Delta \mathbf {r} )$	$\underset{N\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}{\left(I-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\frac{\mathrm{\Delta <!--\; \Delta \; -->}t}{N}\cdot <!--\; \cdot \; -->\stackrel{^<!--\; ^\; -->}{E}\right)}^N=\exp <!--\; \; -->\left(-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\Delta <!--\; \Delta \; -->}t\stackrel{^<!--\; ^\; -->}{E}\right)=\stackrel{^<!--\; ^\; -->}{U}(\mathrm{\Delta <!--\; \Delta \; -->}t)$$\lim _{N\rightarrow \infty }\left(I-{\frac {i}{\hbar }}{\frac {\Delta t}{N}}\cdot {\widehat {E}}\right)^{N}=\exp \left(-{\frac {i}{\hbar }}\Delta t{\widehat {E}}\right)={\widehat {U}}(\Delta t)$
Генератор	Оператор импульса $\stackrel{^<!--\; ^\; -->}{\mathbf{p}}=-<!--\; -\; -->i\mathrm{\hslash <!--\; \hslash \; -->}\mathrm{\nabla <!--\; \nabla \; -->}$${\widehat {\mathbf {p} }}=-i\hbar \nabla$	Оператор энергии $\stackrel{^<!--\; ^\; -->}{E}=i\mathrm{\hslash <!--\; \hslash \; -->}\frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}t}$${\widehat {E}}=i\hbar {\frac {\partial }{\partial t}}$

Экспоненциальные функции возникают по определению данному Эйлером, и их физический и математический смысл понимается следующим образом. Чистый перенос состоит из множества небольших переносов, поэтому, чтобы получить оператор сдвига для конечного приращения, нужно заменить Δ r на Δ r / N и Δ t на Δ t / N, где N — положительное ненулевое целое число. Затем с увеличением N величина Δ r и Δ t становится ещё меньше, при этом их величины остаются неизменными. Действие инфинитезимальных операторов на волновую функцию N раз и переход к пределу, когда N стремится к бесконечности, приводит к виду конечных операторов.

Трансляции пространства и времени коммутируют, что также означает коммутацию их операторов и генераторов.

Коммутаторы

Операторы	$\left[\stackrel{^<!--\; ^\; -->}{T}({\mathbf{r}}_1),\stackrel{^<!--\; ^\; -->}{T}({\mathbf{r}}_2)\right]\mathrm{\psi <!--\; \psi \; -->}(\mathbf{r},t)=0$$\left[{\widehat {T}}(\mathbf {r} _{1}),{\widehat {T}}(\mathbf {r} _{2})\right]\psi (\mathbf {r} ,t)=0$	$\left[\stackrel{^<!--\; ^\; -->}{U}(t_1),\stackrel{^<!--\; ^\; -->}{U}(t_2)\right]\mathrm{\psi <!--\; \psi \; -->}(\mathbf{r},t)=0$$\left[{\widehat {U}}(t_{1}),{\widehat {U}}(t_{2})\right]\psi (\mathbf {r} ,t)=0$
Генераторы	$\left[{\stackrel{^<!--\; ^\; -->}{p}}_i,{\stackrel{^<!--\; ^\; -->}{p}}_j,\right]\mathrm{\psi <!--\; \psi \; -->}(\mathbf{r},t)=0$$\left[{\widehat {p}}_{i},{\widehat {p}}_{j},\right]\psi (\mathbf {r} ,t)=0$	$\left[\stackrel{^<!--\; ^\; -->}{E},{\stackrel{^<!--\; ^\; -->}{p}}_i,\right]\mathrm{\psi <!--\; \psi \; -->}(\mathbf{r},t)=0$$\left[{\widehat {E}},{\widehat {p}}_{i},\right]\psi (\mathbf {r} ,t)=0$

Для гамильтониана, не зависящего явно от времени, энергия сохраняется во времени, а квантовые состояния называются стационарными состояниями: собственные состояния гамильтониана — это собственные значения энергии E:

$\stackrel{^<!--\; ^\; -->}{U}(t)=\exp <!--\; \; -->\left(-<!--\; -\; -->\frac{i\mathrm{\Delta <!--\; \Delta \; -->}tE}{\mathrm{\hslash <!--\; \hslash \; -->}}\right)$${\widehat {U}}(t)=\exp \left(-{\frac {i\Delta tE}{\hbar }}\right)$ 

и все стационарные состояния принимают вид

$\mathrm{\psi <!--\; \psi \; -->}(\mathbf{r},t+t_0)=\stackrel{^<!--\; ^\; -->}{U}(t-<!--\; -\; -->t_0)\mathrm{\psi <!--\; \psi \; -->}(\mathbf{r},t_0)$$\psi (\mathbf {r} ,t+t_{0})={\widehat {U}}(t-t_{0})\psi (\mathbf {r} ,t_{0})$ 

где t ₀ — начальный момент времени, обычно равны нулю, поскольку при выборе начального времени непрерывность не нарушается.

В других обозначениях можно записать $\stackrel{^<!--\; ^\; -->}{U}(t-<!--\; -\; -->t_0)\equiv <!--\; \equiv \; -->U(t,t_0)$${\widehat {U}}(t-t_{0})\equiv U(t,t_{0})$  .

Угловой момент как генератор вращенияПравить

Орбитальный угловой моментПравить

Оператор вращения действует на волновую функцию таким образом, что пространственные координаты частицы поворачиваются на постоянный угол Δ θ :

$R(\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{a}})\mathrm{\psi <!--\; \psi \; -->}(\mathbf{r},t)=\mathrm{\psi <!--\; \psi \; -->}({\mathbf{r}}^{\prime },t)$${R}(\Delta \theta ,{\hat {\mathbf {a} }})\psi (\mathbf {r} ,t)=\psi (\mathbf {r} ',t)$ 

где r ′ обозначают повернутые вокруг оси координаты. Ось задаётся единичным вектором $\stackrel{^<!--\; ^\; -->}{\mathbf{a}}=(a_1,a_2,a_3)$${\hat {\mathbf {a} }}=(a_{1},a_{2},a_{3})$  а поворот — через угловое приращение Δ θ, определяемое по формуле :

${\mathbf{r}}^{\prime }=\stackrel{^<!--\; ^\; -->}{R}(\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{a}})\mathbf{r}.$$\mathbf {r} '={\widehat {R}}(\Delta \theta ,{\hat {\mathbf {a} }})\mathbf {r} \,.$ 

где $\stackrel{^<!--\; ^\; -->}{R}(\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{a}})$${\widehat {R}}(\Delta \theta ,{\hat {\mathbf {a} }})$  матрица вращения, зависящая от оси и угла. На языке групп, матрицы вращения — это элементы группы, а углы и ось $\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{a}}=\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->}(a_1,a_2,a_3)$$\Delta \theta {\hat {\mathbf {a} }}=\Delta \theta (a_{1},a_{2},a_{3})$  — параметры трехмерной специальной ортогональной группы SO (3). Матрицы вращения вокруг стандартного базиса декартовой системы ${\stackrel{^<!--\; ^\; -->}{\mathbf{e}}}_x,{\stackrel{^<!--\; ^\; -->}{\mathbf{e}}}_y,{\stackrel{^<!--\; ^\; -->}{\mathbf{e}}}_z$${\hat {\mathbf {e} }}_{x},{\hat {\mathbf {e} }}_{y},{\hat {\mathbf {e} }}_{z}$  на угол Δθ, и соответствующие образующие поворотов J = (J_x, J_y, J_z) :

${\widehat {R}}_{x}\equiv {\widehat {R}}(\Delta \theta ,{\hat {\mathbf {e} }}_{x})={\begin{pmatrix}1&0&0\\0&\cos \Delta \theta &-\sin \Delta \theta \\0&\sin \Delta \theta &\cos \Delta \theta \\\end{pmatrix}}\,,$	$J_{x}\equiv J_{1}=i\left.{\frac {\partial {\widehat {R}}(\theta ,{\hat {\mathbf {e} }}_{x})}{\partial \theta }}\right|_{\theta =0}=i{\begin{pmatrix}0&0&0\\0&0&-1\\0&1&0\\\end{pmatrix}}\,,$
${\widehat {R}}_{y}\equiv {\widehat {R}}(\Delta \theta ,{\hat {\mathbf {e} }}_{y})={\begin{pmatrix}\cos \Delta \theta &0&\sin \Delta \theta \\0&1&0\\-\sin \Delta \theta &0&\cos \Delta \theta \\\end{pmatrix}}\,,$	$J_{y}\equiv J_{2}=i\left.{\frac {\partial {\widehat {R}}(\theta ,{\hat {\mathbf {e} }}_{y})}{\partial \theta }}\right|_{\theta =0}=i{\begin{pmatrix}0&0&1\\0&0&0\\-1&0&0\\\end{pmatrix}}\,,$
${\widehat {R}}_{z}\equiv {\widehat {R}}(\Delta \theta ,{\hat {\mathbf {e} }}_{z})={\begin{pmatrix}\cos \Delta \theta &-\sin \Delta \theta &0\\\sin \Delta \theta &\cos \Delta \theta &0\\0&0&1\\\end{pmatrix}}\,,$	$J_{z}\equiv J_{3}=i\left.{\frac {\partial {\widehat {R}}(\theta ,{\hat {\mathbf {e} }}_{z})}{\partial \theta }}\right|_{\theta =0}=i{\begin{pmatrix}0&-1&0\\1&0&0\\0&0&0\\\end{pmatrix}}\,.$

В более общем смысле для вращений вокруг оси, определяемой вектором $\stackrel{^<!--\; ^\; -->}{\mathbf{a}}$${\hat {\mathbf {a} }}$ , элемены матрицы вращения задаются

$[\stackrel{^<!--\; ^\; -->}{R}(\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{a}}){]}_{ij}=({\mathrm{\delta <!--\; \delta \; -->}}_{ij}-<!--\; -\; -->a_i{a}_j)\cos <!--\; \; -->\mathrm{\theta <!--\; \theta \; -->}-<!--\; -\; -->{\mathrm{\epsilon <!--\; \epsilon \; -->}}_{ijk}{a}_k\sin <!--\; \; -->\mathrm{\theta <!--\; \theta \; -->}+a_i{a}_j$$[{\widehat {R}}(\theta ,{\hat {\mathbf {a} }})]_{ij}=(\delta _{ij}-a_{i}a_{j})\cos \theta -\varepsilon _{ijk}a_{k}\sin \theta +a_{i}a_{j}$ 

где δ _ij — символ Кронекера, а ε _ijk — символ Леви-Чивиты .

Неочевидно как определить оператор вращения по сравнению с трансляциями пространства и времени. Можно рассмотреть частный случай (вращение вокруг оси x, y или z), а затем вывести общий результат или напрямую использовать общую матрицу вращения и тензорные индексы с δ_ij и ε_ijk . Чтобы вывести оператор бесконечно малого вращения, который соответствует малому Δ θ, мы используем приближения малых углов sin (Δ θ) ≈ Δ θ и cos (Δ θ) ≈ 1 и тейлоровское разложение в окрестности r или r _i при сохранении только первого порядка и в конце подставим компоненты оператора углового момента.

	Поворот вокруг ${\stackrel{^<!--\; ^\; -->}{\mathbf{e}}}_z$${\hat {\mathbf {e} }}_{z}$	Поворот вокруг $\stackrel{^<!--\; ^\; -->}{\mathbf{a}}$${\hat {\mathbf {a} }}$
Действие на волновую функцию	$\stackrel{^<!--\; ^\; -->}{R}(\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->},{\stackrel{^<!--\; ^\; -->}{\mathbf{e}}}_z)\mathrm{\psi <!--\; \psi \; -->}(x,y,z,t)=\mathrm{\psi <!--\; \psi \; -->}(x-<!--\; -\; -->\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->}y,\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->}x+y,z,t)$${\widehat {R}}(\Delta \theta ,{\hat {\mathbf {e} }}_{z})\psi (x,y,z,t)=\psi (x-\Delta \theta y,\Delta \theta x+y,z,t)$	$\stackrel{^<!--\; ^\; -->}{R}(\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{a}})\mathrm{\psi <!--\; \psi \; -->}(r_i,t)=\mathrm{\psi <!--\; \psi \; -->}(R_{ij}{r}_j,t)=\mathrm{\psi <!--\; \psi \; -->}(r_i-<!--\; -\; -->{\mathrm{\epsilon <!--\; \epsilon \; -->}}_{ijk}{a}_k\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->}{r}_j,t)$${\widehat {R}}(\Delta \theta ,{\hat {\mathbf {a} }})\psi (r_{i},t)=\psi (R_{ij}r_{j},t)=\psi (r_{i}-\varepsilon _{ijk}a_{k}\Delta \theta r_{j},t)$
Инфинитезимальный оператор	$\stackrel{^<!--\; ^\; -->}{R}(\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->},{\stackrel{^<!--\; ^\; -->}{\mathbf{e}}}_z)=I-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->}{\stackrel{^<!--\; ^\; -->}{L}}_z$${\widehat {R}}(\Delta \theta ,{\hat {\mathbf {e} }}_{z})=I-{\frac {i}{\hbar }}\Delta \theta {\widehat {L}}_{z}$	${\begin{aligned}{\widehat {R}}(\Delta \theta ,{\hat {\mathbf {a} }})&=I-(-\Delta \theta a_{k}\varepsilon _{kij}r_{j}){\frac {\partial }{\partial r_{i}}}\\&=I-(\Delta \theta a_{k}\varepsilon _{kji}r_{j}){\frac {\partial }{\partial r_{i}}}\\&=I-\Delta \theta {\hat {\mathbf {a} }}\cdot (\mathbf {r} \times \nabla )\\&=I-{\frac {i\Delta \theta }{\hbar }}{\hat {\mathbf {a} }}\cdot {\widehat {\mathbf {L} }}\\\end{aligned}}$
Инфинитезимальные повороты	$\stackrel{^<!--\; ^\; -->}{R}=1-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{a}}\cdot <!--\; \cdot \; -->\stackrel{^<!--\; ^\; -->}{\mathbf{L}},\stackrel{^<!--\; ^\; -->}{\mathbf{L}}=i\mathrm{\hslash <!--\; \hslash \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{a}}\frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\theta <!--\; \theta \; -->}}$${\widehat {R}}=1-{\frac {i}{\hbar }}\Delta \theta {\hat {\mathbf {a} }}\cdot {\widehat {\mathbf {L} }}\,,\quad {\widehat {\mathbf {L} }}=i\hbar {\hat {\mathbf {a} }}{\frac {\partial }{\partial \theta }}$	аналогично
Конечные повороты	$\underset{N\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}{\left(1-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\frac{\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->}}{N}\stackrel{^<!--\; ^\; -->}{\mathbf{a}}\cdot <!--\; \cdot \; -->\stackrel{^<!--\; ^\; -->}{\mathbf{L}}\right)}^N=\exp <!--\; \; -->\left(-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{a}}\cdot <!--\; \cdot \; -->\stackrel{^<!--\; ^\; -->}{\mathbf{L}}\right)=\stackrel{^<!--\; ^\; -->}{R}$$\lim _{N\rightarrow \infty }\left(1-{\frac {i}{\hbar }}{\frac {\Delta \theta }{N}}{\hat {\mathbf {a} }}\cdot {\widehat {\mathbf {L} }}\right)^{N}=\exp \left(-{\frac {i}{\hbar }}\Delta \theta {\hat {\mathbf {a} }}\cdot {\widehat {\mathbf {L} }}\right)={\widehat {R}}$	аналогично
Генератор	z-компонента оператора углового момента ${\stackrel{^<!--\; ^\; -->}{L}}_z=i\mathrm{\hslash <!--\; \hslash \; -->}\frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\theta <!--\; \theta \; -->}}$${\widehat {L}}_{z}=i\hbar {\frac {\partial }{\partial \theta }}$	Оператор полного углового момента $\stackrel{^<!--\; ^\; -->}{\mathbf{L}}$${\widehat {\mathbf {L} }}$ .

Z -компоненту оператора углового момента можно заменить на проекцию вдоль оси, определяемой вектором $\stackrel{^<!--\; ^\; -->}{\mathbf{a}}$${\hat {\mathbf {a} }}$ , используя скалярное произведение $\stackrel{^<!--\; ^\; -->}{\mathbf{a}}\cdot <!--\; \cdot \; -->\stackrel{^<!--\; ^\; -->}{\mathbf{L}}$${\hat {\mathbf {a} }}\cdot {\widehat {\mathbf {L} }}$  .

Опять же, конечное вращение можно выполнить используя множество небольших вращений, заменяя Δ θ на Δθ/N и переходя к пределу, когда N стремится к бесконечности. Это приводит к оператору вращения для конечного вращения.

Вращения вокруг одной и той же оси коммутируют, например, поворот на углы θ ₁ и θ ₂ вокруг оси i можно записать

$R({\mathrm{\theta <!--\; \theta \; -->}}_1+{\mathrm{\theta <!--\; \theta \; -->}}_2,{\mathbf{e}}_i)=R({\mathrm{\theta <!--\; \theta \; -->}}_1{\mathbf{e}}_i)R({\mathrm{\theta <!--\; \theta \; -->}}_2{\mathbf{e}}_i),[R({\mathrm{\theta <!--\; \theta \; -->}}_1{\mathbf{e}}_i),R({\mathrm{\theta <!--\; \theta \; -->}}_2{\mathbf{e}}_i)]=0.$$R(\theta _{1}+\theta _{2},\mathbf {e} _{i})=R(\theta _{1}\mathbf {e} _{i})R(\theta _{2}\mathbf {e} _{i})\,,\quad [R(\theta _{1}\mathbf {e} _{i}),R(\theta _{2}\mathbf {e} _{i})]=0\,.$ 

Однако вращения вокруг разных осей не коммутируют. Общие правила коммутации операторов углового момента

$[L_i,L_j]=i\mathrm{\hslash <!--\; \hslash \; -->}{\mathrm{\epsilon <!--\; \epsilon \; -->}}_{ijk}{L}_k.$$[L_{i},L_{j}]=i\hbar \varepsilon _{ijk}L_{k}.$ 

В этом смысле орбитальный угловой момент описывает вращения. Каждый из вышеперечисленных коммутаторов можно легко представить, взяв повседневный объект и повернув его последовательно на один и тот же угол вокруг оси 1 и оси 2 или наоборот вокруг оси 2 и оси 1 — окончательные положения тела окажутся разными.

В квантовой механике есть ещё одна форма вращения, которая математически кажется похожей на орбитальный случай, но имеет другие свойства, описанные ниже.

СпинПравить

Все предыдущие величины имеют классические аналоги. Спин — это величина, которой обладают частицы в квантовой механике без какого-либо классического аналога, имеющая размерность единицы углового момента. Оператор вектора спина обозначается $\stackrel{^<!--\; ^\; -->}{\mathbf{S}}=(\stackrel{^<!--\; ^\; -->}{S_x},\stackrel{^<!--\; ^\; -->}{S_y},\stackrel{^<!--\; ^\; -->}{S_z})$${\widehat {\mathbf {S} }}=({\widehat {S_{x}}},{\widehat {S_{y}}},{\widehat {S_{z}}})$ . Собственные значения его компонент — это возможные величины (в единицах $\mathrm{\hslash <!--\; \hslash \; -->}$$\hbar$ ) измерения спина, спроецированного на базисные вектора.

Вращения (обычного пространства) вокруг оси $\stackrel{^<!--\; ^\; -->}{\mathbf{a}}$${\hat {\mathbf {a} }}$  на угол θ относительно единичного вектора $\stackrel{^<!--\; ^\; -->}{a}$${\hat {a}}$  в пространстве, действующее на многокомпонентную волновую функцию (спинор) в точке пространства, представляется в виде

Spin rotation operator (finite) $\stackrel{^<!--\; ^\; -->}{S}(\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{a}})=\exp <!--\; \; -->\left(-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\theta <!--\; \theta \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{a}}\cdot <!--\; \cdot \; -->\stackrel{^<!--\; ^\; -->}{\mathbf{S}}\right)$${\widehat {S}}(\theta ,{\hat {\mathbf {a} }})=\exp \left(-{\frac {i}{\hbar }}\theta {\hat {\mathbf {a} }}\cdot {\widehat {\mathbf {S} }}\right)$

Однако, в отличие от орбитального углового момента, в котором квантовое число l может принимать только положительные или отрицательные целые значения (включая ноль), спиновое квантовое число s может принимать все положительные и отрицательные полуцелые значения. Для каждого спинового квантового числа существуют матрицы вращения.

Вычисление экспоненты для z-проекции с заданным спиновым квантовым числом s дает (2 s + 1) -мерную матрицу спина. Что можно использовать для определения спинора как вектора-столбца из 2 s + 1 компонент, который преобразуется повороте системы координат в соответствии со спиновой матрицей в фиксированной точке пространства.

Для простейшего нетривиального случая для состояния с s = 1/2 оператор спина имеет вид

$\stackrel{^<!--\; ^\; -->}{\mathbf{S}}=\frac{\mathrm{\hslash <!--\; \hslash \; -->}}{2}\mathit{\sigma <!--\; \sigma \; -->}$${\widehat {\mathbf {S} }}={\frac {\hbar }{2}}{\boldsymbol {\sigma }}$ 

где матрицы Паули в стандартном представлении:

$\sigma _{1}=\sigma _{x}={\begin{pmatrix}0&1\\1&0\end{pmatrix}}\,,\quad \sigma _{2}=\sigma _{y}={\begin{pmatrix}0&-i\\i&0\end{pmatrix}}\,,\quad \sigma _{3}=\sigma _{z}={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}$ 

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

Оператор полного углового момента представляет собой сумму орбитального и спинового моментов

$\stackrel{^<!--\; ^\; -->}{\mathbf{J}}=\stackrel{^<!--\; ^\; -->}{\mathbf{L}}+\stackrel{^<!--\; ^\; -->}{\mathbf{S}}$${\widehat {\mathbf {J} }}={\widehat {\mathbf {L} }}+{\widehat {\mathbf {S} }}$ 

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

Аналогичная матрица вращения

$\stackrel{^<!--\; ^\; -->}{J}(\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{a}})=\exp <!--\; \; -->\left(-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\theta <!--\; \theta \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{a}}\cdot <!--\; \cdot \; -->\stackrel{^<!--\; ^\; -->}{\mathbf{J}}\right)$${\widehat {J}}(\theta ,{\hat {\mathbf {a} }})=\exp \left(-{\frac {i}{\hbar }}\theta {\hat {\mathbf {a} }}\cdot {\widehat {\mathbf {J} }}\right)$ 

Сохраняющиеся величины для квантового гармонического осциллятораПравить

Группа динамической симметрии n- мерного квантового гармонического осциллятора — это специальная унитарная группа SU (n). Например, число инфинитезимальных генераторов соответствующих алгебр Ли для групп SU (2) и SU (3) равно трем и восьми соответственно. Это приводит ровно к трем и восьми независимым сохраняющимся величинам (кроме гамильтониана) в этих системах.

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

Группа Лоренца в релятивистской квантовой механикеПравить

Ниже рассматривается группа Лоренца (бусты и вращения в пространстве-времени). В этом разделе см.

Преобразования Лоренца можно параметризовать быстротой φ для буста в направлении трехмерного единичного вектора $\stackrel{^<!--\; ^\; -->}{\mathbf{n}}=(n_1,n_2,n_3)$${\hat {\mathbf {n} }}=(n_{1},n_{2},n_{3})$ , и уголом поворота θ вокруг трехмерного единичного вектора $\stackrel{^<!--\; ^\; -->}{\mathbf{a}}=(a_1,a_2,a_3)$${\hat {\mathbf {a} }}=(a_{1},a_{2},a_{3})$ , который определяя направление оси. Тогда $\mathrm{\phi <!--\; \phi \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{n}}=\mathrm{\phi <!--\; \phi \; -->}(n_1,n_2,n_3)$$\varphi {\hat {\mathbf {n} }}=\varphi (n_{1},n_{2},n_{3})$  а также $\mathrm{\theta <!--\; \theta \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{a}}=\mathrm{\theta <!--\; \theta \; -->}(a_1,a_2,a_3)$$\theta {\hat {\mathbf {a} }}=\theta (a_{1},a_{2},a_{3})$  вместе задают шесть параметров группы Лоренца (три для вращений и три буста). Группа Лоренца имеет шесть измерений.

Чистые вращения в пространстве-времениПравить

Рассмотренные выше матрицы вращения и генераторы вращения образуют пространственноподобную часть четырёхмерной матрицы, представляющую собой чистое вращение. Три элемента группы Лоренца ${\stackrel{^<!--\; ^\; -->}{R}}_x,{\stackrel{^<!--\; ^\; -->}{R}}_y,{\stackrel{^<!--\; ^\; -->}{R}}_z$${\widehat {R}}_{x},{\widehat {R}}_{y},{\widehat {R}}_{z}$  а генераторы J = (J₁, J₂, J₃) для чистых вращений:

${\widehat {R}}(\Delta \theta ,{\hat {\mathbf {e} }}_{x})={\begin{pmatrix}1&0&0&0\\0&1&0&0\\0&0&\cos \Delta \theta &-\sin \Delta \theta \\0&0&\sin \Delta \theta &\cos \Delta \theta \\\end{pmatrix}}\,,$	$J_{x}=J_{1}=i{\begin{pmatrix}0&0&0&0\\0&0&0&0\\0&0&0&-1\\0&0&1&0\\\end{pmatrix}}\,,$
${\widehat {R}}(\Delta \theta ,{\hat {\mathbf {e} }}_{y})={\begin{pmatrix}1&0&0&0\\0&\cos \Delta \theta &0&\sin \Delta \theta \\0&0&1&0\\0&-\sin \Delta \theta &0&\cos \Delta \theta \\\end{pmatrix}}\,,$	$J_{y}=J_{2}=i{\begin{pmatrix}0&0&0&0\\0&0&0&1\\0&0&0&0\\0&-1&0&0\\\end{pmatrix}}\,,$
${\widehat {R}}(\Delta \theta ,{\hat {\mathbf {e} }}_{z})={\begin{pmatrix}1&0&0&0\\0&\cos \Delta \theta &-\sin \Delta \theta &0\\0&\sin \Delta \theta &\cos \Delta \theta &0\\0&0&0&1\\\end{pmatrix}}\,,$	$J_{z}=J_{3}=i{\begin{pmatrix}0&0&0&0\\0&0&-1&0\\0&1&0&0\\0&0&0&0\\\end{pmatrix}}\,.$

Матрицы вращения действуют на любые 4-вектора A = (A ₀, A ₁, A ₂, A ₃) и вращают пространственно-подобные компоненты в соответствии с формулой

${\mathbf{A}}^{\prime }=\stackrel{^<!--\; ^\; -->}{R}(\mathrm{\Delta <!--\; \Delta \; -->}\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{n}})\mathbf{A}$$\mathbf {A} '={\widehat {R}}(\Delta \theta ,{\hat {\mathbf {n} }})\mathbf {A}$ 

оставив временную координату неизменной. В матричном представлении вектор A рассматривается как вектор-столбец.

Чистый буст в пространстве-времениПравить

Буст со скоростью ctanhφ в направлениях x, y или z, заданных декартовой системе коорднинат с базисом ${\stackrel{^<!--\; ^\; -->}{\mathbf{e}}}_x,{\stackrel{^<!--\; ^\; -->}{\mathbf{e}}}_y,{\stackrel{^<!--\; ^\; -->}{\mathbf{e}}}_z$${\hat {\mathbf {e} }}_{x},{\hat {\mathbf {e} }}_{y},{\hat {\mathbf {e} }}_{z}$ , — матрицы преобразования буста. Эти матрицы ${\stackrel{^<!--\; ^\; -->}{B}}_x,{\stackrel{^<!--\; ^\; -->}{B}}_y,{\stackrel{^<!--\; ^\; -->}{B}}_z$${\widehat {B}}_{x},{\widehat {B}}_{y},{\widehat {B}}_{z}$  а соответствующие генераторы K = (K₁, K₂, K₃) — это оставшиеся три элемента группы и генераторы группы Лоренца:

${\widehat {B}}_{x}\equiv {\widehat {B}}(\varphi ,{\hat {\mathbf {e} }}_{x})={\begin{pmatrix}\cosh \varphi &\sinh \varphi &0&0\\\sinh \varphi &\cosh \varphi &0&0\\0&0&1&0\\0&0&0&1\\\end{pmatrix}}\,,$	$K_{x}=K_{1}=i\left.{\frac {\partial {\widehat {B}}(\varphi ,{\hat {\mathbf {e} }}_{x})}{\partial \varphi }}\right|_{\varphi =0}=i{\begin{pmatrix}0&1&0&0\\1&0&0&0\\0&0&0&0\\0&0&0&0\\\end{pmatrix}}\,,$
${\widehat {B}}_{y}\equiv {\widehat {B}}(\varphi ,{\hat {\mathbf {e} }}_{y})={\begin{pmatrix}\cosh \varphi &0&\sinh \varphi &0\\0&1&0&0\\\sinh \varphi &0&\cosh \varphi &0\\0&0&0&1\\\end{pmatrix}}\,,$	$K_{y}=K_{2}=i\left.{\frac {\partial {\widehat {B}}(\varphi ,{\hat {\mathbf {e} }}_{y})}{\partial \varphi }}\right|_{\varphi =0}=i{\begin{pmatrix}0&0&1&0\\0&0&0&0\\1&0&0&0\\0&0&0&0\\\end{pmatrix}}\,,$
${\widehat {B}}_{z}\equiv {\widehat {B}}(\varphi ,{\hat {\mathbf {e} }}_{z})={\begin{pmatrix}\cosh \varphi &0&0&\sinh \varphi \\0&1&0&0\\0&0&1&0\\\sinh \varphi &0&0&\cosh \varphi \\\end{pmatrix}}\,,$	$K_{z}=K_{3}=i\left.{\frac {\partial {\widehat {B}}(\varphi ,{\hat {\mathbf {e} }}_{z})}{\partial \varphi }}\right|_{\varphi =0}=i{\begin{pmatrix}0&0&0&1\\0&0&0&0\\0&0&0&0\\1&0&0&0\\\end{pmatrix}}\,.$

Матрицы буста действуют на любые 4-векторы A = (A ₀, A ₁, A ₂, A ₃) и смешивают временные и пространственные компоненты в соответствии с формулой

${\mathbf{A}}^{\prime }=\stackrel{^<!--\; ^\; -->}{B}(\mathrm{\phi <!--\; \phi \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{n}})\mathbf{A}$$\mathbf {A} '={\widehat {B}}(\varphi ,{\hat {\mathbf {n} }})\mathbf {A}$ 

Термин «буст» относится к относительной скорости между двумя системами отсчёта, и его не следует объединять с импульсом как генератором трансляций, как объясняется ниже.

Комбинирование бустов и вращенийПравить

Произведение вращений дают другое вращение (частый пример подгруппы), в то время как произведения бустов или бустов и вращений нельзя выразить через чистые бусты или чистые вращения. В общем случае, любое преобразование Лоренца можно выразить как произведение чистого вращения и чистого буста. Для получения дополнительной информации см. и ссылки в них.

Представления генераторов бустов и вращений обозначаются D(K) и D(J) соответственно, где заглавная D в этом контексте указывает на представление группы.

Для группы Лоренца представления D(K) и D(J) генераторов K и J удовлетворяют следующим правилам коммутации.

Коммутаторы

	Чистый поворот	Чистый буст	Преобразование Лоренца
Генераторы	$\left[J_a,J_b\right]=i{\mathrm{\epsilon <!--\; \epsilon \; -->}}_{abc}{J}_c$$\left[J_{a},J_{b}\right]=i\varepsilon _{abc}J_{c}$	$\left[K_a,K_b\right]=-<!--\; -\; -->i{\mathrm{\epsilon <!--\; \epsilon \; -->}}_{abc}{J}_c$$\left[K_{a},K_{b}\right]=-i\varepsilon _{abc}J_{c}$	$\left[J_a,K_b\right]=i{\mathrm{\epsilon <!--\; \epsilon \; -->}}_{abc}{K}_c$$\left[J_{a},K_{b}\right]=i\varepsilon _{abc}K_{c}$
Представления	$\left[D(J_a),D(J_b)\right]=i{\mathrm{\epsilon <!--\; \epsilon \; -->}}_{abc}D(J_c)$$\left[{D(J_{a})},{D(J_{b})}\right]=i\varepsilon _{abc}{D(J_{c})}$	$\left[D(K_a),D(K_b)\right]=-<!--\; -\; -->i{\mathrm{\epsilon <!--\; \epsilon \; -->}}_{abc}D(J_c)$$\left[{D(K_{a})},{D(K_{b})}\right]=-i\varepsilon _{abc}{D(J_{c})}$	$\left[D(J_a),D(K_b)\right]=i{\mathrm{\epsilon <!--\; \epsilon \; -->}}_{abc}D(K_c)$$\left[{D(J_{a})},{D(K_{b})}\right]=i\varepsilon _{abc}{D(K_{c})}$

Во всех коммутаторах бусты смешиваются с вращениями, хотя коммутаторы только вращений приводят к другому вращению. Экспоненциальное отображение генераторов группы даёт операторы бустов и вращений, которые объединяются в общее преобразование Лоренца, при котором пространственно-временные координаты преобразуются из покоящейся системы отсчёта в другую посредствлом бустов и/или вращений. Точно так же экспоненциальное отображение представлений генераторов дает представления операторов бустов и вращений, в соответствии с которыми преобразуется спинорное поле частицы.

Законы преобразования

	Чистый буст	Чистый поворот	Преобразование Лоренца
Преобразования	$\stackrel{^<!--\; ^\; -->}{B}(\mathrm{\phi <!--\; \phi \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{n}})=\exp <!--\; \; -->\left(-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\phi <!--\; \phi \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{n}}\cdot <!--\; \cdot \; -->\mathbf{K}\right)$${\widehat {B}}(\varphi ,{\hat {\mathbf {n} }})=\exp \left(-{\frac {i}{\hbar }}\varphi {\hat {\mathbf {n} }}\cdot \mathbf {K} \right)$	$\stackrel{^<!--\; ^\; -->}{R}(\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{a}})=\exp <!--\; \; -->\left(-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\theta <!--\; \theta \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{a}}\cdot <!--\; \cdot \; -->\mathbf{J}\right)$${\widehat {R}}(\theta ,{\hat {\mathbf {a} }})=\exp \left(-{\frac {i}{\hbar }}\theta {\hat {\mathbf {a} }}\cdot \mathbf {J} \right)$	$\mathrm{\Lambda <!--\; \Lambda \; -->}(\mathrm{\phi <!--\; \phi \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{n}},\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{a}})=\exp <!--\; \; -->\left[-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\left(\mathrm{\phi <!--\; \phi \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{n}}\cdot <!--\; \cdot \; -->\mathbf{K}+\mathrm{\theta <!--\; \theta \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{a}}\cdot <!--\; \cdot \; -->\mathbf{J}\right)\right]$$\Lambda (\varphi ,{\hat {\mathbf {n} }},\theta ,{\hat {\mathbf {a} }})=\exp \left[-{\frac {i}{\hbar }}\left(\varphi {\hat {\mathbf {n} }}\cdot \mathbf {K} +\theta {\hat {\mathbf {a} }}\cdot \mathbf {J} \right)\right]$
Представления	$D[\stackrel{^<!--\; ^\; -->}{B}(\mathrm{\phi <!--\; \phi \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{n}})]=\exp <!--\; \; -->\left(-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\phi <!--\; \phi \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{n}}\cdot <!--\; \cdot \; -->D(\mathbf{K})\right)$$D[{\widehat {B}}(\varphi ,{\hat {\mathbf {n} }})]=\exp \left(-{\frac {i}{\hbar }}\varphi {\hat {\mathbf {n} }}\cdot D(\mathbf {K} )\right)$	$D[\stackrel{^<!--\; ^\; -->}{R}(\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{a}})]=\exp <!--\; \; -->\left(-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\theta <!--\; \theta \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{a}}\cdot <!--\; \cdot \; -->D(\mathbf{J})\right)$$D[{\widehat {R}}(\theta ,{\hat {\mathbf {a} }})]=\exp \left(-{\frac {i}{\hbar }}\theta {\hat {\mathbf {a} }}\cdot D(\mathbf {J} )\right)$	$D[\mathrm{\Lambda <!--\; \Lambda \; -->}(\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{a}},\mathrm{\phi <!--\; \phi \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{n}})]=\exp <!--\; \; -->\left[-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\left(\mathrm{\phi <!--\; \phi \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{n}}\cdot <!--\; \cdot \; -->D(\mathbf{K})+\mathrm{\theta <!--\; \theta \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{a}}\cdot <!--\; \cdot \; -->D(\mathbf{J})\right)\right]$$D[\Lambda (\theta ,{\hat {\mathbf {a} }},\varphi ,{\hat {\mathbf {n} }})]=\exp \left[-{\frac {i}{\hbar }}\left(\varphi {\hat {\mathbf {n} }}\cdot D(\mathbf {K} )+\theta {\hat {\mathbf {a} }}\cdot D(\mathbf {J} )\right)\right]$

В литературе генераторы бустов K и генераторы вращения J иногда объединяются в один генератор для преобразований Лоренца M, антисимметричную четырёхмерную матрицу с элементами:

$M^{0a}=-<!--\; -\; -->M^{a0}=K_a,M^{ab}={\mathrm{\epsilon <!--\; \epsilon \; -->}}_{abc}{J}_c.$$M^{0a}=-M^{a0}=K_{a}\,,\quad M^{ab}=\varepsilon _{abc}J_{c}\,.$ 

и, соответственно, параметры бустов и вращений собираются в другую антисимметричную четырёхмерную матрицу ω с элементами:

${\mathrm{\omega <!--\; \omega \; -->}}_{0a}=-<!--\; -\; -->{\mathrm{\omega <!--\; \omega \; -->}}_{a0}=\mathrm{\phi <!--\; \phi \; -->}{n}_a,{\mathrm{\omega <!--\; \omega \; -->}}_{ab}=\mathrm{\theta <!--\; \theta \; -->}{\mathrm{\epsilon <!--\; \epsilon \; -->}}_{abc}{a}_c,$$\omega _{0a}=-\omega _{a0}=\varphi n_{a}\,,\quad \omega _{ab}=\theta \varepsilon _{abc}a_{c}\,,$ 

Таким образом, общее преобразование Лоренца:

$\mathrm{\Lambda <!--\; \Lambda \; -->}(\mathrm{\phi <!--\; \phi \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{n}},\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{a}})=\exp <!--\; \; -->\left(-<!--\; -\; -->\frac{i}{2}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}{M}^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}\right)=\exp <!--\; \; -->\left[-<!--\; -\; -->\frac{i}{2}\left(\mathrm{\phi <!--\; \phi \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{n}}\cdot <!--\; \cdot \; -->\mathbf{K}+\mathrm{\theta <!--\; \theta \; -->}\stackrel{^<!--\; ^\; -->}{\mathbf{a}}\cdot <!--\; \cdot \; -->\mathbf{J}\right)\right]$$\Lambda (\varphi ,{\hat {\mathbf {n} }},\theta ,{\hat {\mathbf {a} }})=\exp \left(-{\frac {i}{2}}\omega _{\alpha \beta }M^{\alpha \beta }\right)=\exp \left[-{\frac {i}{2}}\left(\varphi {\hat {\mathbf {n} }}\cdot \mathbf {K} +\theta {\hat {\mathbf {a} }}\cdot \mathbf {J} \right)\right]$ 

с суммированием по повторяющимся матричным индексам α и β . Матрицы Λ действуют на любые 4-векторы A = (A ₀, A ₁, A ₂, A ₃) и смешивают времениподобные и пространственно-подобные компоненты в соответствии с формулой

${\mathbf{A}}^{\prime }=\mathrm{\Lambda <!--\; \Lambda \; -->}(\mathrm{\phi <!--\; \phi \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{n}},\mathrm{\theta <!--\; \theta \; -->},\stackrel{^<!--\; ^\; -->}{\mathbf{a}})\mathbf{A}$$\mathbf {A} '=\Lambda (\varphi ,{\hat {\mathbf {n} }},\theta ,{\hat {\mathbf {a} }})\mathbf {A}$ 

Преобразования спинорных волновых функций в релятивистской квантовой механикеПравить

В релятивистской квантовой механике волновые функции больше не являются однокомпонентными скалярными полями, а представляют собой спинорные поля состоящие из 2 (2 s + 1) компонент, где s — спин частицы. Ниже приведены преобразования этих функций в пространстве-времени.

При правильном ортохронном преобразовании Лоренца (r, t) → Λ(r, t) в пространстве Минковского все одночастичные квантовые состояния ψ_σ локально преобразуются в некотором представлении D для группы Лоренца по формуле

${\mathrm{\psi <!--\; \psi \; -->}}_{\mathrm{\sigma <!--\; \sigma \; -->}}(\mathbf{r},t)\to <!--\; \to \; -->D(\mathrm{\Lambda <!--\; \Lambda \; -->}){\mathrm{\psi <!--\; \psi \; -->}}_{\mathrm{\sigma <!--\; \sigma \; -->}}({\mathrm{\Lambda <!--\; \Lambda \; -->}}^{-<!--\; -\; -->1}(\mathbf{r},t))$$\psi _{\sigma }(\mathbf {r} ,t)\rightarrow D(\Lambda )\psi _{\sigma }(\Lambda ^{-1}(\mathbf {r} ,t))$ 

где D(Λ) — конечномерное представление, другими словами, квадратная матрица размерности (2s + 1)×(2s + 1), а ψ рассматривается как вектор-столбец, содержащий компоненты с (2s + 1) допустимые значения спина σ :

$\psi (\mathbf {r} ,t)={\begin{bmatrix}\psi _{\sigma =s}(\mathbf {r} ,t)\\\psi _{\sigma =s-1}(\mathbf {r} ,t)\\\vdots \\\psi _{\sigma =-s+1}(\mathbf {r} ,t)\\\psi _{\sigma =-s}(\mathbf {r} ,t)\end{bmatrix}}\quad \rightleftharpoons \quad {\psi (\mathbf {r} ,t)}^{\dagger }={\begin{bmatrix}{\psi _{\sigma =s}(\mathbf {r} ,t)}^{\star }&{\psi _{\sigma =s-1}(\mathbf {r} ,t)}^{\star }&\cdots &{\psi _{\sigma =-s+1}(\mathbf {r} ,t)}^{\star }&{\psi _{\sigma =-s}(\mathbf {r} ,t)}^{\star }\end{bmatrix}}$ 

Неприводимые вещественные представления и спинПравить

Неприводимые представления D(K) и D(J) можно использовать для построения спиновых представлений группы Лоренца. Определение новых операторов:

$\mathbf{A}=\frac{\mathbf{J}+i\mathbf{K}}{2},\mathbf{B}=\frac{\mathbf{J}-<!--\; -\; -->i\mathbf{K}}{2},$$\mathbf {A} ={\frac {\mathbf {J} +i\mathbf {K} }{2}}\,,\quad \mathbf {B} ={\frac {\mathbf {J} -i\mathbf {K} }{2}}\,,$ 

так что A и B комплексно сопряженные друг другу. Из этого следует, что они удовлетворяют симметрично записанным коммутаторам:

$\left[A_i,A_j\right]={\mathrm{\epsilon <!--\; \epsilon \; -->}}_{ijk}{A}_k,\left[B_i,B_j\right]={\mathrm{\epsilon <!--\; \epsilon \; -->}}_{ijk}{B}_k,\left[A_i,B_j\right]=0,$$\left[A_{i},A_{j}\right]=\varepsilon _{ijk}A_{k}\,,\quad \left[B_{i},B_{j}\right]=\varepsilon _{ijk}B_{k}\,,\quad \left[A_{i},B_{j}\right]=0\,,$ 

и это по существу коммутаторы, которым удовлетворяют операторы орбитального и спинового углового момента. Следовательно, A и B образуют операторные алгебры, аналогичные угловому моменту; одни и те же лестничные операторы, z -проекции и т. д. независимо друг от друга, поскольку каждый из их компонент коммутирует друг с другом. По аналогии со спиновым квантовым числом введём положительные целые или полуцелые числа a, b с соответствующими наборами собственных значений m = a, a − 1, ... −a + 1, −a и n = b, b − 1, ... −b + 1, −b . Матрицы, удовлетворяющие указанным выше коммутационным соотношениям, такие же, как для спинов a и b, имеют компоненты, заданные умножением значений дельты Кронекера на матричные элементы углового момента:

${\left(A_x\right)}_{m^{\prime }{n}^{\prime },mn}={\mathrm{\delta <!--\; \delta \; -->}}_{n^{\prime }n}{\left(J_x^{(m)}\right)}_{m^{\prime }m}{\left(B_x\right)}_{m^{\prime }{n}^{\prime },mn}={\mathrm{\delta <!--\; \delta \; -->}}_{m^{\prime }m}{\left(J_x^{(n)}\right)}_{n^{\prime }n}$$\left(A_{x}\right)_{m'n',mn}=\delta _{n'n}\left(J_{x}^{(m)}\right)_{m'm}\,\quad \left(B_{x}\right)_{m'n',mn}=\delta _{m'm}\left(J_{x}^{(n)}\right)_{n'n}$ 

${\left(A_y\right)}_{m^{\prime }{n}^{\prime },mn}={\mathrm{\delta <!--\; \delta \; -->}}_{n^{\prime }n}{\left(J_y^{(m)}\right)}_{m^{\prime }m}{\left(B_y\right)}_{m^{\prime }{n}^{\prime },mn}={\mathrm{\delta <!--\; \delta \; -->}}_{m^{\prime }m}{\left(J_y^{(n)}\right)}_{n^{\prime }n}$$\left(A_{y}\right)_{m'n',mn}=\delta _{n'n}\left(J_{y}^{(m)}\right)_{m'm}\,\quad \left(B_{y}\right)_{m'n',mn}=\delta _{m'm}\left(J_{y}^{(n)}\right)_{n'n}$ 

${\left(A_z\right)}_{m^{\prime }{n}^{\prime },mn}={\mathrm{\delta <!--\; \delta \; -->}}_{n^{\prime }n}{\left(J_z^{(m)}\right)}_{m^{\prime }m}{\left(B_z\right)}_{m^{\prime }{n}^{\prime },mn}={\mathrm{\delta <!--\; \delta \; -->}}_{m^{\prime }m}{\left(J_z^{(n)}\right)}_{n^{\prime }n}$$\left(A_{z}\right)_{m'n',mn}=\delta _{n'n}\left(J_{z}^{(m)}\right)_{m'm}\,\quad \left(B_{z}\right)_{m'n',mn}=\delta _{m'm}\left(J_{z}^{(n)}\right)_{n'n}$ 

где в каждом случае номер строки m ′ n ′ и номер столбца mn разделены запятой. Тогда

${\left(J_z^{(m)}\right)}_{m^{\prime }m}=m{\mathrm{\delta <!--\; \delta \; -->}}_{m^{\prime }m}{\left(J_x^{(m)}\pm <!--\; \pm \; -->i{J}_y^{(m)}\right)}_{m^{\prime }m}=m{\mathrm{\delta <!--\; \delta \; -->}}_{a^{\prime },a\pm <!--\; \pm \; -->1}\sqrt{(a\mp <!--\; \mp \; -->m)(a\pm <!--\; \pm \; -->m+1)}$$\left(J_{z}^{(m)}\right)_{m'm}=m\delta _{m'm}\,\quad \left(J_{x}^{(m)}\pm iJ_{y}^{(m)}\right)_{m'm}=m\delta _{a',a\pm 1}{\sqrt {(a\mp m)(a\pm m+1)}}$ 

и аналогично для J ⁽ⁿ⁾. Три квадратные матрицы J ^(m) — каждая размерности (2m + 1)×(2m + 1), а три J ^(п) с размерностью (2n + 1)×(2n + 1). Целые или полуцелые числа m и n нумеруют все неприводимые представления с помощью эквивалентных обозначений, используемых здесь: D^{(m, n)} ≡ (m, n) ≡ D^(m) ⊗ D⁽ⁿ⁾, каждое из которых имеет вид квадратных матриц размерности [(2m + 1)(2n + 1)]×[(2m + 1)(2n + 1)].

Применим это рассуждение к частицам со спином s ;

• левосторонние (2s + 1) -компонентные спиноры преобразуются относительно непреводимых вещественных представлений D^{(s, 0)} ,
• правые (2s + 1) -компонентные спиноры преобразуются относительно непреводимых вещественных представлений D^{(0, s)} ,
• взяв прямые суммы, обозначенные символом ⊕ (см. более простую концепуию для матриц прямую сумму матриц), получаем представления, при которых преобразуются 2(2s + 1) -компонентные спиноры: D^{(m, n)} ⊕ D^{(n, m)} где m + n = s . Это тоже непреводимые вещественные представления, но, как показано выше, они распадаются на комплексно-сопряжённые.

В этих случаях D относится к любому из D(J), D(K) или к полному преобразованию Лоренца D(Λ) .

Релятивистские волновые уравненияПравить

В контексте уравнения Дирака и уравнения Вейля спиноры Вейля, удовлетворяющие уравнению Вейля, преобразуются при простейших неприводимых спиновых представлениях группы Лоренца, поскольку спиновое квантовое число в этом случае является наименьшим допустимым ненулевым числом: 1/2 . 2-компонентный левый спинор Вейля преобразуется посредством D^{(1/2, 0)}, а 2-компонентный правый спинор Вейля преобразуется по D^{(0, 1/2)} . Спиноры Дирака, удовлетворяющие уравнению Дирака, преобразуются по представлению D^{(1/2, 0)} ⊕ D^{(0, 1/2)} — прямой сумме непреводимых вещественных представлений спиноров Вейля.

Группа Пуанкаре в релятивистской квантовой механике и теории поляПравить

Пространственные трансляции, временные трансляции, вращения и бусты, вместе взятые, образуют группу Пуанкаре. Элементами группы являются три матрицы вращения и три матрицы бустов (как в группе Лоренца), одна для трансляций времени и три для пространственных трансляций в пространстве-времени. Для каждого элемента существует генератор. Следовательно, группа Пуанкаре 10-мерна.

В специальной теории относительности пространство и время могут быть собраны в 4-вектор X = (ct, −r), и аналогично энергия и импульс объединяются в четырехмерный вектор импульса P = (E/c, −p) . С учётом релятивистской квантовой механики параметры временной интервала и пространственного смещения (всего четыре параметра, один для времени и три для пространства) объединяются в пространственно-временное смещение ΔX = (cΔt, −Δr), а операторы энергии и импульса подставляются в четырёхмерный импульс, чтобы получить четырёхмерный оператор

$\stackrel{^<!--\; ^\; -->}{\mathbf{P}}=\left(\frac{\stackrel{^<!--\; ^\; -->}{E}}{c},-<!--\; -\; -->\stackrel{^<!--\; ^\; -->}{\mathbf{p}}\right)=i\mathrm{\hslash <!--\; \hslash \; -->}\left(\frac{1}{c}\frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}t},\mathrm{\nabla <!--\; \nabla \; -->}\right),$${\widehat {\mathbf {P} }}=\left({\frac {\widehat {E}}{c}},-{\widehat {\mathbf {p} }}\right)=i\hbar \left({\frac {1}{c}}{\frac {\partial }{\partial t}},\nabla \right)\,,$ 

которые представляют собой генераторы трансляций пространства-времени (всего четыре генератора, один для времени и три для пространства):

$\stackrel{^<!--\; ^\; -->}{X}(\mathrm{\Delta <!--\; \Delta \; -->}\mathbf{X})=\exp <!--\; \; -->\left(-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\mathrm{\Delta <!--\; \Delta \; -->}\mathbf{X}\cdot <!--\; \cdot \; -->\stackrel{^<!--\; ^\; -->}{\mathbf{P}}\right)=\exp <!--\; \; -->\left[-<!--\; -\; -->\frac{i}{\mathrm{\hslash <!--\; \hslash \; -->}}\left(\mathrm{\Delta <!--\; \Delta \; -->}t\stackrel{^<!--\; ^\; -->}{E}+\mathrm{\Delta <!--\; \Delta \; -->}\mathbf{r}\cdot <!--\; \cdot \; -->\stackrel{^<!--\; ^\; -->}{\mathbf{p}}\right)\right].$${\widehat {X}}(\Delta \mathbf {X} )=\exp \left(-{\frac {i}{\hbar }}\Delta \mathbf {X} \cdot {\widehat {\mathbf {P} }}\right)=\exp \left[-{\frac {i}{\hbar }}\left(\Delta t{\widehat {E}}+\Delta \mathbf {r} \cdot {\widehat {\mathbf {p} }}\right)\right]\,.$ 

Запишем коммутационные соотношения между компонентами 4-импульса P (генераторы пространственно-временных трансляций) и угловым моментом M (генераторы преобразований Лоренца), которые определяют алгебру Пуанкаре:

• $[P_{\mathrm{\mu <!--\; \mu \; -->}},P_{\mathrm{\nu <!--\; \nu \; -->}}]=0$$[P_{\mu },P_{\nu }]=0\,$ 
• $\frac{1}{i}[M_{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\nu <!--\; \nu \; -->}},P_{\mathrm{\rho <!--\; \rho \; -->}}]={\mathrm{\eta <!--\; \eta \; -->}}_{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\rho <!--\; \rho \; -->}}{P}_{\mathrm{\nu <!--\; \nu \; -->}}-<!--\; -\; -->{\mathrm{\eta <!--\; \eta \; -->}}_{\mathrm{\nu <!--\; \nu \; -->}\mathrm{\rho <!--\; \rho \; -->}}{P}_{\mathrm{\mu <!--\; \mu \; -->}}$${\frac {1}{i}}[M_{\mu \nu },P_{\rho }]=\eta _{\mu \rho }P_{\nu }-\eta _{\nu \rho }P_{\mu }\,$ 
• $\frac{1}{i}[M_{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\nu <!--\; \nu \; -->}},M_{\mathrm{\rho <!--\; \rho \; -->}\mathrm{\sigma <!--\; \sigma \; -->}}]={\mathrm{\eta <!--\; \eta \; -->}}_{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\rho <!--\; \rho \; -->}}{M}_{\mathrm{\nu <!--\; \nu \; -->}\mathrm{\sigma <!--\; \sigma \; -->}}-<!--\; -\; -->{\mathrm{\eta <!--\; \eta \; -->}}_{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\sigma <!--\; \sigma \; -->}}{M}_{\mathrm{\nu <!--\; \nu \; -->}\mathrm{\rho <!--\; \rho \; -->}}-<!--\; -\; -->{\mathrm{\eta <!--\; \eta \; -->}}_{\mathrm{\nu <!--\; \nu \; -->}\mathrm{\rho <!--\; \rho \; -->}}{M}_{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\sigma <!--\; \sigma \; -->}}+{\mathrm{\eta <!--\; \eta \; -->}}_{\mathrm{\nu <!--\; \nu \; -->}\mathrm{\sigma <!--\; \sigma \; -->}}{M}_{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\rho <!--\; \rho \; -->}}$${\frac {1}{i}}[M_{\mu \nu },M_{\rho \sigma }]=\eta _{\mu \rho }M_{\nu \sigma }-\eta _{\mu \sigma }M_{\nu \rho }-\eta _{\nu \rho }M_{\mu \sigma }+\eta _{\nu \sigma }M_{\mu \rho }\,$ 

где η — метрический тензор Минковского. (Обычно для операторов 4-импульсов в коммутационных соотношениях снимаются шляпы). Эти уравнения содержат фундаментальные свойства пространства и времени, насколько они известны сегодня. У этих соотношений есть классический аналог, в котором коммутаторы заменены скобками Пуассона.

Для описания спина в релятивистской квантовой механике используют псевдовектор Паули – Любанского

$W_{\mathrm{\mu <!--\; \mu \; -->}}=\frac{1}{2}{\mathrm{\epsilon <!--\; \epsilon \; -->}}_{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\nu <!--\; \nu \; -->}\mathrm{\rho <!--\; \rho \; -->}\mathrm{\sigma <!--\; \sigma \; -->}}{J}^{\mathrm{\nu <!--\; \nu \; -->}\mathrm{\rho <!--\; \rho \; -->}}{P}^{\mathrm{\sigma <!--\; \sigma \; -->}},$$W_{\mu }={\frac {1}{2}}\varepsilon _{\mu \nu \rho \sigma }J^{\nu \rho }P^{\sigma },$ 

оператор Казимира, представляет собой постоянный спиновой вклад в полный угловой момент. Коммутационные соотношения между P и W и между M и W запишутся в виде

$\left[P^{\mathrm{\mu <!--\; \mu \; -->}},W^{\mathrm{\nu <!--\; \nu \; -->}}\right]=0,$$\left[P^{\mu },W^{\nu }\right]=0\,,$ 

$\left[J^{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\nu <!--\; \nu \; -->}},W^{\mathrm{\rho <!--\; \rho \; -->}}\right]=i\left({\mathrm{\eta <!--\; \eta \; -->}}^{\mathrm{\rho <!--\; \rho \; -->}\mathrm{\nu <!--\; \nu \; -->}}{W}^{\mathrm{\mu <!--\; \mu \; -->}}-<!--\; -\; -->{\mathrm{\eta <!--\; \eta \; -->}}^{\mathrm{\rho <!--\; \rho \; -->}\mathrm{\mu <!--\; \mu \; -->}}{W}^{\mathrm{\nu <!--\; \nu \; -->}}\right),$$\left[J^{\mu \nu },W^{\rho }\right]=i\left(\eta ^{\rho \nu }W^{\mu }-\eta ^{\rho \mu }W^{\nu }\right)\,,$ 

$\left[W_{\mathrm{\mu <!--\; \mu \; -->}},W_{\mathrm{\nu <!--\; \nu \; -->}}\right]=-<!--\; -\; -->i{\mathrm{ϵ<!--\; ϵ\; -->}}_{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\nu <!--\; \nu \; -->}\mathrm{\rho <!--\; \rho \; -->}\mathrm{\sigma <!--\; \sigma \; -->}}{W}^{\mathrm{\rho <!--\; \rho \; -->}}{P}^{\mathrm{\sigma <!--\; \sigma \; -->}}.$$\left[W_{\mu },W_{\nu }\right]=-i\epsilon _{\mu \nu \rho \sigma }W^{\rho }P^{\sigma }\,.$ 

Инварианты, построенные из W, инварианты Казимира, можно использовать для классификации неприводимых представлений группы Лоренца.

Симметрии в квантовой теории поля и физике частицПравить

Унитарные группы в квантовой теории поляПравить

Теория групп — это абстрактный способ математического анализа симметрий. Унитарные операторы обладают первостепенным значением в квантовой теории, поэтому унитарные группы важны в физике элементарных частиц. Группа N- мерных унитарных квадратных матриц обозначается U (N). Унитарные операторы сохраняют скалярное произведение, что означает, что вероятности также сохраняются, поэтому квантовая механика какой-либо системы должна быть инвариантной относительно унитарных преобразований. Пусть $\stackrel{^<!--\; ^\; -->}{U}$${\widehat {U}}$  — унитарный оператор, а обратный к неиу — эрмитово сопряженный ${\stackrel{^<!--\; ^\; -->}{U}}^{-<!--\; -\; -->1}={\stackrel{^<!--\; ^\; -->}{U}}^{†<!--\; †\; -->}$${\widehat {U}}^{-1}={\widehat {U}}^{\dagger }$ , который коммутирует с гамильтонианом:

$\left[\stackrel{^<!--\; ^\; -->}{U},\stackrel{^<!--\; ^\; -->}{H}\right]=0$$\left[{\widehat {U}},{\widehat {H}}\right]=0$ 

Тогда наблюдаемая величина, соответствующая оператору $\stackrel{^<!--\; ^\; -->}{U}$${\widehat {U}}$  сохраняется, а гамильтониан инвариантен относительно преобразования $\stackrel{^<!--\; ^\; -->}{U}$${\widehat {U}}$  .

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

Важными подгруппами каждой группы U (N) являются те унитарные матрицы, которые имеют единичный определитель (или являются «унимодулярными»): они также называются специальными унитарными группами и обозначаются SU (N).

U (1)Править

Простейшая унитарная группа — это U (1), которая представляет собой просто комплексные числа по модулю 1. Этот элемент одномерной матрицы записывают в виде

$U=e^{-<!--\; -\; -->i\mathrm{\theta <!--\; \theta \; -->}}$$U=e^{-i\theta }$ 

в которой θ — параметр группы. Эта группа абелева, поскольку одномерные матрицы всегда коммутируют при матричном умножении. Лагранжианы в квантовой теории поля для комплексных скалярных полей часто инвариантны относительно преобразований U (1). Если есть квантовое число a, связанное с симметрией U (1), например барион и три лептонных числа в электромагнитных взаимодействиях, то

$U=e^{-<!--\; -\; -->ia\mathrm{\theta <!--\; \theta \; -->}}$$U=e^{-ia\theta }$ 

U (2) и SU (2)Править

Общий вид элемента группы U (2) параметризуется двумя комплексными числами a и b :

$U={\begin{pmatrix}a&b\\-b^{\star }&a^{\star }\\\end{pmatrix}}$ 

а для SU (2) определитель равен 1:

$det(U)=a{a}^{\star <!--\; \star \; -->}+b{b}^{\star <!--\; \star \; -->}={|a|}^2+{|b|}^2=1$$\det(U)=aa^{\star }+bb^{\star }={|a|}^{2}+{|b|}^{2}=1$ 

На языке теории групп, матрицы Паули являются генераторами специальной унитарной группы в двух измерениях, обозначаемой SU (2). Их коммутатор такой же, как и для орбитального углового момента, за исключением коэффициента 2:

$[{\mathrm{\sigma <!--\; \sigma \; -->}}_a,{\mathrm{\sigma <!--\; \sigma \; -->}}_b]=2i\mathrm{\hslash <!--\; \hslash \; -->}{\mathrm{\epsilon <!--\; \epsilon \; -->}}_{abc}{\mathrm{\sigma <!--\; \sigma \; -->}}_c$$[\sigma _{a},\sigma _{b}]=2i\hbar \varepsilon _{abc}\sigma _{c}$ 

Элемент группы SU (2) можно записать:

$U(\mathrm{\theta <!--\; \theta \; -->},{\stackrel{^<!--\; ^\; -->}{\mathbf{e}}}_j)=e^{i\mathrm{\theta <!--\; \theta \; -->}{\mathrm{\sigma <!--\; \sigma \; -->}}_j/2}$$U(\theta ,{\hat {\mathbf {e} }}_{j})=e^{i\theta \sigma _{j}/2}$ 

где σ _j — матрица Паули, а параметры группы — углы поворота вокруг оси заданной вектором ${\stackrel{^<!--\; ^\; -->}{\mathbf{e}}}_j$${\hat {\mathbf {e} }}_{j}$ .

Двумерный изотропный квантовый гармонический осциллятор обладает группой симметрии SU (2), в то время как алгебра симметрий анизотропного осциллятора является нелинейным расширением u (2).

U (3) и SU (3)Править

Восемь матриц Гелл-Манна λ_n (см. Статью о них и структурных константах) важны для квантовой хромодинамики. Первоначально они появились в теории SU (3) для аромата, которая до сих пор используется в ядерной физике. Они задают генераторы группы SU (3), поэтому элемент группы SU (3) можно записать аналогично элементу группы SU (2):

$U(\mathrm{\theta <!--\; \theta \; -->},{\stackrel{^<!--\; ^\; -->}{\mathbf{e}}}_j)=\exp <!--\; \; -->\left(-<!--\; -\; -->\frac{i}{2}\underset{n=1}{\overset{8}{\sum <!--\; \sum \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}_n{\mathrm{\lambda <!--\; \lambda \; -->}}_n\right)$$U(\theta ,{\hat {\mathbf {e} }}_{j})=\exp \left(-{\frac {i}{2}}\sum _{n=1}^{8}\theta _{n}\lambda _{n}\right)$ 

где θ _n — восемь независимых параметров. Матрицы λ_n удовлетворяют коммутатору:

$\left[{\mathrm{\lambda <!--\; \lambda \; -->}}_a,{\mathrm{\lambda <!--\; \lambda \; -->}}_b\right]=2i{f}_{abc}{\mathrm{\lambda <!--\; \lambda \; -->}}_c$$\left[\lambda _{a},\lambda _{b}\right]=2if_{abc}\lambda _{c}$ 

где индексы a, b, c принимают значения 1, 2, 3 … 8. Структурные константы f _abc полностью антисимметричны по всем индексам, аналогично индексам SU (2). В стандартном базисе цветного заряда (r для красного, g для зелёного, b для синего):

$|r⟩<!--\; ⟩\; -->=\left(\begin{array}{c}1\\ 0\\ 0\end{array}\right),|g⟩<!--\; ⟩\; -->=\left(\begin{array}{c}0\\ 1\\ 0\end{array}\right),|b⟩<!--\; ⟩\; -->=\left(\begin{array}{c}0\\ 0\\ 1\end{array}\right)$$|r\rangle ={\begin{pmatrix}1\\0\\0\end{pmatrix}}\,,\quad |g\rangle ={\begin{pmatrix}0\\1\\0\end{pmatrix}}\,,\quad |b\rangle ={\begin{pmatrix}0\\0\\1\end{pmatrix}}$ 

цветовые состояния — это собственные состояния матриц λ₃ и λ₈, в то время как другие матрицы отвечают за смешивание цветовых состояний.

Состояния восьми глюонов (8-мерные векторы-столбцы) — это собственные состояниями присоединенного представления группы SU(3), 8-мерного представления, действующего на его собственной алгебре Ли su(3), для матриц λ₃ и λ₈ . Формируя тензорные произведения представлений (стандартное представление и двойственное ему) и принимая соответствующие отношения, протоны, нейтроны и другие адроны представляются собственными состояниями различных представлений SU(3) цвета. Представления SU (3) можно описать «теоремой максимального веса».

Вещество и антивеществоПравить

В релятивистской квантовой механике релятивистские волновые уравнения обладают замечательной симметрией природы: каждая частица имеет соответствующую античастицу. Математически это выражается спинорными полями, которые являются решениями релятивистских волновых уравнений.

Зарядовое сопряжение переставляет частицы и античастицы. Физические законы и взаимодействия, неизменные в результате этой операции, обладают C-симметрией.

Дискретные симметрии пространства-времениПравить

• Четность отражает ориентацию пространственных координат как левой и правой. Неформально пространство «отражается» в зеркале. Физические законы и взаимодействия, неизменные в результате этой операции, обладают P-симметрией.
• Обращение времени переворачивает временную координату, то есть возникает время, бегущее из будущего в прошлое. Любопытное свойство времени, которого нет в пространстве, заключается в том, что оно однонаправленно: частицы, движущиеся вперед во времени, эквивалентны античастицам, движущимся назад во времени. Физические законы и взаимодействия, неизменямые этой операцией, обладают T-симметрией.

C, P, T симметрииПравить

• Чётность (физика)
• CPT теорема
• Нарушение CP
• PT-симметрия
• Нарушение Лоренца

Калибровочная теорияПравить

В квантовой электродинамике обладает группой симметрии U (1), которая абелева. В квантовой хромодинамике соответствующая группа симметрии SU (3) является неабелевой.

Электромагнитное взаимодействие осуществляется фотонами, у которых нет электрического заряда. Тензор электромагнитного поля задаётся через 4-потенциальное электромагнитное поле, обладающее калибровочной симметрией.

Сильное (цветное) взаимодействие обеспечивается глюонами, которые различаются восемью цветовыми зарядами. Имеется восемь тензоров напряженности глюонного поля с соответствующими полями 4-глюонных потенциалов, каждый из которых обладает калибровочной симметрией.

Сильное (цветное) взаимодействиеПравить

Цветовой зарядПравить

По аналогии с оператором спина существуют операторы цветового заряда в терминах матриц Гелл-Манна λ _j :

${\stackrel{^<!--\; ^\; -->}{F}}_j=\frac{1}{2}{\mathrm{\lambda <!--\; \lambda \; -->}}_j$${\hat {F}}_{j}={\frac {1}{2}}\lambda _{j}$ 

и поскольку цветной заряд сохраняется, все операторы цветного заряда должны коммутировать с гамильтонианом:

$\left[{\stackrel{^<!--\; ^\; -->}{F}}_j,\stackrel{^<!--\; ^\; -->}{H}\right]=0$$\left[{\hat {F}}_{j},{\hat {H}}\right]=0$ 

ИзоспинПравить

Изоспин сохраняется при сильных взаимодействиях.

Слабые и электромагнитные взаимодействияПравить

Преобразование двойственностиПравить

Магнитные монополи могут существовать теоретически, хотя текущие наблюдения и теория согласуются с обоими исходами существования монополей или несуществования. Электрические и магнитные заряды можно эффективно «преобразовывать друг в друга» с помощью преобразования дуальности.

Электрослабая симметрияПравить

• Электрослабая симметрия
• Нарушение электрослабой симметрии

СуперсимметрияПравить

Супералгебра Ли — это алгебра, в которой (подходящие) базисные элементы либо подчиняются правилам коммутации, либо антикоммутации. В суперсимметрии предполагается, что все фермионные частицы имеют бозонные аналоги, и наоборот. Эта симметрия теоретически привлекательна, поскольку не делается никаких дополнительных предположений (например, о существовании струн), препятствующих симметрии. Кроме того, допуская суперсимметрию, можно решить ряд загадочных проблем. Эти симметрии, которые представлены супералгебрами Ли, экспериментально не подтверждены. Сейчас считается, если она существуют, то эта симметрия нарушена. Предполагается, что темная материя представляет собой гравитино, частицу со спином 3/2 (фермион) и массой, а её суперсимметричным партнером является гравитон со спином 2 (бозон).

Перестановочная симметрияПравить

Концепция перестановочной симметрии выводится из фундаментального постулата квантовой статистики, который гласит, что никакая наблюдаемая физическая величина не должна изменяться после замены двух идентичных частиц друг на друга. В ней говорится, что, поскольку все наблюдаемые пропорциональны квадрату волновой функции ${\left|\mathrm{\psi <!--\; \psi \; -->}\right|}^2$$\left|\psi \right|^{2}$  для системы одинаковых частиц, то волновая функция $\mathrm{\psi <!--\; \psi \; -->}$$\psi$  должна либо остаться прежней, либо изменить свой знак при таком обмене. В более общем смысле, для системы из n одинаковых частиц волновая функция $\mathrm{\psi <!--\; \psi \; -->}$$\psi$  должна преобразоваться как неприводимое представление конечной симметрической группы S _n. Согласно теореме Паули о статистике, фермионные состояния преобразуются как антисимметричное неприводимое представление S _n, а бозонные состояния — как симметричное неприводимое представление. Для классификации симметрии ровибронных состояний молекул Лонге-Хиггинс ввел группу молекулярной симметрии как группу соответствующих перестановок неразличимых ядер и перестановок с пространственной инверсией.

Поскольку обмен двух неразличимых частиц математически эквивалентен повороту каждой частицы на 180 градусов (и, следовательно, повороту системы отсчёта одной частицы на 360 градусов) симметричный характер волновой функции зависит от спина частицы после применения к нему оператора вращения . Частицы с целым спином не меняют знака своей волновой функции при повороте на 360 градусов, поэтому знак волновой функции всей системы не меняется. Частицы с полуцелым спином меняют знак своей волновой функции при повороте на 360 градусов (подробнее см. Теорема Паули).

Частицы, у которых волновая функция не меняет знак при обмене, называются бозонами или частицами с симметричной волновой функцией. Частицы, у которых волновая функция системы меняет знак при перестановке, называются фермионами, или частицами с антисимметричной волновой функцией.

Таким образом, фермионы подчиняются другой статистике (называемой статистикой Ферми — Дирака), чем бозоны (которые подчиняются статистике Бозе — Эйнштейна). Одним из следствий статистики Ферми — Дирака является принцип Паули для фермионов: никакие два идентичных фермиона не могут иметь одно и то же квантовое состояние (другими словами, волновая функция двух одинаковых фермионов в одном и том же состоянии равна нулю). Это, в свою очередь, приводит к давлению вырождения для фермионов — сильному сопротивлению фермионов сжатию. Это сопротивление приводит к «жесткости» или «твёрдости» обычной атомной материи (поскольку атомы содержат электроны, которые являются фермионами).

Дальнейшее чтениеПравить

• K. J. Barnes. Group theory for the standard model and beyond. — Taylor & Francis, 2010. — ISBN 978-142-007-874-9.
• M. Chaichian. Symmetry in quantum mechanics: From angular momentum to supersymmetry. — Institute of physic s (Bristol and Philadelphia), 1998. — ISBN 0-7503-0408-1.
• Hall (2013), Quantum Theory for Mathematicians, Graduate Texts in Mathematics, Springer, ISBN 978-1461471158 
• Hall (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, Springer, ISBN 978-3319134666 
• S. Haywood. Symmetries and Conservation Laws in Particle Physics: An Introduction to Group Theory for Particle Physicists. — World Scientific, 2011. — ISBN 978-184-816-703-2.
• M. F. C. Ladd. Symmetry in molecules and crystals. — Ellis Horwood series in physical chemistry, 1989. — ISBN 0-85312-255-5.
• W. Ludwig. Symmetries in physics. — Springer, 1996. — ISBN 3-540-60284-4.
• B. R. Martin, G.Shaw. Particle Physics. — Manchester Physics Series, John Wiley & Sons. — ISBN 978-0-470-03294-7.
• D. McMahon. Quantum Field Theory. — Mc Graw Hill, 2008. — ISBN 978-0-07-154382-8.
• Moretti. Spectral Theory and Quantum Mechanics; Mathematical Foundations of Quantum Theories, Symmetries and Introduction to the Algebraic Formulation 2nd Edition. — Springer, 2018. — ISBN 978-3-319-70705-1.