86 |
Глава 2. Релятивистская квантовая механика |
||||||
Таблица 2.1 |
|||||||
Стандартный |
Малая |
||||||
импульс κμ |
группа |
||||||
à |
p2 = – M2 < 0, |
p0 > 0 |
(0,0,0,M) |
SO(3) |
|||
á |
p2 = – M2 < 0, |
p0 < 0 |
(0,0,0,M) |
SO(3) |
|||
â |
p2 = 0, |
p0 > 0 |
(0,0,κ,κ) |
ISO(2) |
|||
ã |
p2 = 0, |
p0 < 0 |
(0,0,κ,-κ) |
ISO(2) |
|||
ä |
p2 = N2 > 0 |
(0,0,N,0) |
SO(2,1) |
||||
å |
pμ = 0 |
(0,0,0,0) |
SO(3,1) |
||||
Табл. 2. 1. Стандартные импульсы и соответствующие малые группы для разных классов 4-импульсов. Здесь κ — произвольная положительная энер-
гия, например, 1 эВ. Тип малых групп почти очевиден: SO(3) — обычная группа вращений в трех измерениях (не содержащая пространственных инверсий), поскольку вращения — это единственные собственные ортохронные преобразования Лоренца, оставляющие частицу с нулевым импульсом в состоянии покоя. Группы SO(2,1) и SO(3,1) — группы Лоренца в (2 + 1) и (3 + 1) измерениях, соответственно. Группа ISO(2) — группа евклидовой геометрии, состоящая из вращений и трансляций в двух измерениях. Появление этой группы в качестве малой группы для случая р2 = 0 объяснено в основном тексте.
ких состояний. Нет нужды много говорить здесь о случае е, когда pμ = 0. Он соответствует вакууму, который инвариантен по отношению к действию U(Λ). В последующем изложении мы будем
рассматривать только случаи а и в, соответствующие частицам с массой М > 0 и М = 0.
2.5. Одночастичные состояния |
87 |
Полезно сделать паузу и сказать несколько слов о нормировке таких состояний. Пользуясь обычной квантово-механичес- кой процедурой ортогонализации и нормировки, можно выбрать состояния со стандартным импульсом kμ, ортонормированными
в том смысле, что
(Ψk′,σ′ , Ψk,σ ) = δ3 (k′ − k)δσ′σ . |
(2.5.12) |
(В этом соотношении возникла δ-функция, так |
êàê Ψk,σ è Ψk′,σ′ |
являются собственными состояниями эрмитова оператора с собственными значениями k и k′, соответственно.) Отсюда вы-
текает, что представление малой группы в (2.5.8) и (2.5.11) должно быть унитарным *:
D† (W) = D−1(W) . |
(2.5.13) |
Что можно сказать о скалярных произведениях для произвольных импульсов? Используя унитарность оператора U(Λ) â
соотношениях (2.5.5) и (2.5.11), получаем, что скалярное произведение равно
(Ψ |
, |
Ψ |
) = N(p)(U−1(L(p))Ψ |
, Ψ |
) |
||||||||||||
p′,σ′ |
p,σ |
p′,σ′ |
k,σ |
||||||||||||||
* |
′ |
−1 |
′ |
* |
3 |
(k |
′ |
− k) , |
|||||||||
= N(p)N |
(p |
)D(W(L |
(p), p )σσ′ δ |
||||||||||||||
ãäå k′ ≡ L−1(p)p′. |
Кроме того, k ≡ |
L−1(p)p, и дельта-функция |
|||||||||||||||
δ3(k− k′) пропорциональна δ3(p − p′). |
Ïðè p′ = p преобразование |
||||||||||||||||
малой группы |
тривиально, |
W(L−1(p), p) = 1, |
òàê |
что скалярное |
|||||||||||||
произведение |
равно |
||||||||||||||||
(Ψp′,σ′, Ψp,σ ) = |
2 |
δσ′σδ |
3 |
′ |
− k). |
(2.5.14) |
|||||||||||
| N(p) | |
(k |
||||||||||||||||
Остается выяснить, чему равен коэффициент пропорци- |
|||||||||||||||||
ональности |
между |
δ3(k − k′) |
è δ3(p − |
p′). Заметим, |
что лоренц− |
||||||||||||
* Малые группы SO(2,1) и SO(3, 1) для p2 > 0 è pμ = 0 не имеют нетривиальных
конечномерных унитарных представлений. Поэтому, если бы существовали состояния с данным импульсом pμ ïðè p2 > 0 èëè pμ = 0, которые бы
нетривиальным образом преобразовывались под действием элементов малой группы, то таких состояний должно было быть бесконечно много.
88 |
Глава 2. Релятивистская квантовая механика |
инвариантный интеграл от произвольной скалярной функции f(p) по 4-импульсам с -p2 = M2 ³ 0 è ð0 > 0 (т. е. для случаев а и в в
таблице) равен
z d4p d(p2 - M2 ) q(p0 )f(p) = z d3pdp0 d((p0 )2 - p2 - M2 ) q(p0 ) f(p, p0 )
X f(p, p2 + M2 )
=Y d3p
Y +
Z M2 p2 2
(q(p0) - ступенчатая функция: q(x) = 1 ïðè x ³ 0, q(x) = 0 ïðè
x < 0). При интегрировании «на массовой поверхности» |
ð2 + Ì2 = 0 |
||||||||||||
инвариантный элемент объема есть |
|||||||||||||
d3p / p2 + M2 . |
(2.5.15) |
||||||||||||
Дельта-функция определена равенством |
|||||||||||||
F(p) = z F(p¢) d3 (p - p¢)d3p¢ = z F(p¢) |
d3p¢ |
||||||||||||
p¢2 + M2 d3 (p¢ - p) |
|||||||||||||
, |
|||||||||||||
p¢2 + M2 |
|||||||||||||
откуда инвариантная дельта-функция равна |
|||||||||||||
p¢2 + M2 d3 (p¢ - p) = p0d3 (p¢ - p) . |
(2.5.16) |
||||||||||||
Òàê êàê ð¢ и р связаны соответственно с k¢ и k лоренцовским
преобразованием L(p), имеем:
p0δ3 (p′ − p) = k0δ3 (k′ − k)
и поэтому
(Y ′ |
σ′ , Y |
σ ) =| N(p)|2 dσ′σ |
F p0 I |
d3 |
(p¢ - p) . |
||||
G |
J |
(2.5.17) |
|||||||
p , |
p, |
0 |
|||||||
H k |
K |
||||||||
Иногда выбирают нормировочный множитель N(p) просто равным единице, N(p) = 1, но в этом случае нужно следить за множителями p0/k0 в скалярных произведениях. Я предпочитаю более привычное соглашение
N(p) = k0 p0 , |
(2.5.18) |
2.5. Одночастичные состояния |
89 |
при выборе которого |
|
(Ψp′,σ′ , Ψp,σ ) = δσ′σδ3 (p′ − p) . |
(2.5.19) |
Рассмотрим два представляющих физический интерес слу- чая: частицы с массой M > 0 и частицы нулевой массы.
Случай положительной массы
В данном случае малой группой является трехмерная группа вращений. Ее унитарные представления могут быть разложены в
прямую сумму неприводимых унитарных представлений 7 D(j′) (R)
σ σ
размерности 2j + 1, где j = 0, 1/2, 1, … Последние можно построить из стандартных матриц бесконечно малых вращений Rik = δik + Θik, ãäå Θik = −Θki — бесконечно малые величины:
D(j) |
(1 + Θ) = δ |
σ′σ |
+ |
i |
Θ |
(J(j) ) |
σ′σ |
, |
(2.5.20) |
|||||||||||||
ik |
||||||||||||||||||||||
σ′σ |
2 |
ik |
||||||||||||||||||||
(J |
(j) ± iJ |
(j) ) |
σ′σ |
= (J |
(j) |
± iJ(j) ) |
σ′σ |
|||||||||||||||
23 |
31 |
1 |
2 |
(2.5.21) |
||||||||||||||||||
= δσ′,σ ±1 (j m σ)(j ± σ + 1) , |
||||||||||||||||||||||
(J(j) ) |
σ′σ |
= (J(j) ) |
σ′σ |
= σδ |
σ′σ |
. |
(2.5.22) |
|||||||||||||||
12 |
3 |
|||||||||||||||||||||
Здесь σ пробегает значения j, j − 1, …, −j. Для частицы массой M > 0
и спина j уравнение (2.5.11) принимает вид:
U(Λ)Ψp,σ = |
(Λp)0 |
å Dσ(j′)σ (W(Λ, p))ΨΛp,σ′ , |
(2.5.23) |
0 |
|||
p |
σ′ |
где элемент малой группы W(Λ, p) (вигнеровское вращение 5) опреде-
ляется формулой (2.5.10):
W(Λ, p) = L−1(Λp)ΛL(p).
Чтобы рассчитать результат этого вращения, следует выбрать «стандартный буст» L(p), который переводит 4-импульс kμ = (0, 0, 0, M) в 4-импульс pμ. Удобно выбрать его в виде
90 |
Глава 2. Релятивистская квантовая механика |
Lik(p) = δik + (γ − 1)p$ ip$ k ,
i |
0 |
$ |
γ |
2 |
− 1 , |
||||||
L0 |
(p) = Li (p) |
= pi |
|||||||||
(2.5.24) |
|||||||||||
L0 |
(p) = γ , |
||||||||||
0 |
|||||||||||
$ |
≡ |
pi /| p| , |
γ ≡ |
p |
2 |
+ |
M |
2 |
/ M . |
||
pi |
|||||||||||
Очень важно, что если Λμν есть произвольное трехмерное |
|||||||||||
вращение R, вигнеровское вращение |
W(Λ, p) совпадает с R для |
||||||||||
всех р. Для доказательства заметим, что можно записать буст
(2.5.24) â |
âèäå |
||||||||||||||||||||||||||||||||||
L(p) |
= |
$ |
−1 |
$ |
|||||||||||||||||||||||||||||||
R(p)B(| p| )R |
(p) , |
||||||||||||||||||||||||||||||||||
ãäå |
R |
$ |
− |
вращение (стандартная |
форма |
åãî |
определена ниже |
||||||||||||||||||||||||||||
(p) |
|||||||||||||||||||||||||||||||||||
уравнением (2.5.47)), переводящее |
îñü z |
вдоль направления p, а |
|||||||||||||||||||||||||||||||||
L1 |
0 |
0 |
0 |
O |
|||||||||||||||||||||||||||||||
M |
P |
||||||||||||||||||||||||||||||||||
B(| p| ) = |
M0 |
1 |
0 |
0 |
P |
||||||||||||||||||||||||||||||
M |
P . |
||||||||||||||||||||||||||||||||||
0 |
γ |
γ |
2 |
− 1 |
|||||||||||||||||||||||||||||||
0 |
|||||||||||||||||||||||||||||||||||
M |
P |
||||||||||||||||||||||||||||||||||
0 γ 2 − 1 |
γ |
||||||||||||||||||||||||||||||||||
M0 |
P |
||||||||||||||||||||||||||||||||||
N |
Q |
||||||||||||||||||||||||||||||||||
Тогда для произвольного вращения R |
|||||||||||||||||||||||||||||||||||
W( |
R |
, p) |
= |
R( |
R$ |
−1 |
(| p| )R |
−1 |
( |
R |
$ |
R |
$ |
−1 |
$ |
||||||||||||||||||||
p)B |
p) |
R(p)B(| p| )R |
(p) . |
||||||||||||||||||||||||||||||||
Однако в |
результате |
вращения |
R |
−1 |
( |
R$ |
RR |
$ |
ось z оказы- |
||||||||||||||||||||||||||
p) |
(p) |
||||||||||||||||||||||||||||||||||
$ |
R$ |
||||||||||||||||||||||||||||||||||
вается направленной сначала вдоль |
p |
, затем вдоль |
p, и наконец, |
||||||||||||||||||||||||||||||||
опять возвращается в исходное состояние, так что |
в совокупности |
||||||||||||||||||||||||||||||||||
получается просто вращение на некоторый угол θ вокруг третьей оси: