КТП
.pdf
2.11. Неприводимое представление группы вращений |
51 |
над последним соотношением проведем процедуру эрмитова сопряжения, в результате чего получим
|
|
|
|
|
|
|
|
|
|
|
|
|
χ+I+ |
= ρ(−) χ+ |
|
|
, |
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
σ |
|
|
|
|
|
|
|
σ−1 σ−1 |
|
|
|
|
|
|
|||||||
домножим последнее равенство на χσ−1 |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
χσ+I+χσ−1 = ρσ(−−)1 χσ+−1χσ−1, |
|
|
|||||||||||||||||||||||
учитывая, что I |
|
χ |
σ−1 |
= ρσ(+)χ |
σ |
, а χ+ |
|
χ |
σ−1 |
= 1 , приходим к искомому со- |
|||||||||||||||||||||||||
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
σ−1 |
|
|
|
|
|
|
|
|
|
|
|||||||||
отношению (2.102). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
Докажем теперь второе равенство |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|ρσ(+)0 |
|2 − |ρσ(+)0+1|2 = σ0. |
|
|
|
(2.103) |
||||||||||||||||||
Отметим, что |
|
|
|
|
|
|
|
|
I−χσ = ρσ(−−)1χσ−1, |
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
χσ−1 = |
|
|
|
1 |
|
|
· I−χσ. |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
ρ(−) |
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
σ−1 |
|
|
|
|
|
|
|
|
|
|
|
||
Воспользуемся данным соотношением, действуя оператором I+ на χσ−1 |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
I |
+ |
χ |
σ−1 |
= ρ(+)χ |
σ |
, |
|
|
|
|
(2.104) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
σ |
|
|
|
|
|
|
|
|||||||||
|
1 |
|
(I I |
|
)χ |
|
= |
|
1 |
|
(I |
|
+ I |
|
I |
|
|
)χ |
|
|
= |
|
1 |
|
|
|
(σ + ρ(+) ρ(−))χ |
|
. (2.105) |
||||||
ρ(−) · |
− |
|
|
|
· |
|
− |
|
|
|
|
ρ(−) |
· |
|
|||||||||||||||||||||
+ |
|
|
σ |
ρ(−) |
|
3 |
|
|
|
|
|
+ |
|
σ |
|
|
σ+1 σ |
σ |
|
||||||||||||||||
|
σ−1 |
|
|
|
|
|
|
|
σ−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
σ−1 |
|
|
|
|
|||||
Приравнивая (2.104) и (2.105) и учитывая (2.102), получим искомое равенство (2.103).
Выражение (2.103) есть рекуррентное для ρ(+)σ0 . Определим из него
ρ(+)σ , считая, что σ0 изменяется от максимального значения j до некоторого значения равного σ .
σ0 = σ : |ρ(+)σ |2 = |ρ(+)σ+1|2 + σ,
σ0 = σ + 1 : |ρ(+)σ+1|2 = |ρ(+)σ+2|2 + (σ + 1),
|
. . . |
|
|
|
σ0 = j : |
| |
ρ(+) |
2 |
= j. |
|
j | |
|
|
В первое равенство подставляем величину ρ(+)σ+1 из второго и т. д. В результате получим
|ρ(+)σ |2 = σ + (σ + 1) + · · · + j = 12 · (σ + j)(j − σ + 1),
52 |
|
|
Глава 2. Группа вращений и группа Лоренца |
|||
ρσ(+) = exp(iδσ) · |
|
2 (σ + j)(j − σ + 1) |
1/2 |
(2.106) |
||
. |
||||||
|
|
|
1 |
|
|
|
В данном выражении фаза δσ |
является неопределенной и не влияет на |
|||||
коммутационные соотношения, положим ее равной нулю. Окончательно
|
|
|
|
|
|
ρσ |
= |
|
2 (σ + j)(j − σ + 1) |
1/2 |
|
|
|
(2.107) |
|||||||||||||||||||||||
|
|
|
|
|
|
. |
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Явный вид матриц |
|
|
|
|
0 0j |
|
ρj−1 |
|
·· ·· ·· |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
ρ |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
; |
|
|
|
|
|
|
|
|
|
I+ = |
. |
|
|
|
|
|
|
. |
|
|
|
|
|
|
ρ |
. |
|
|
|
|
(2.108) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
. |
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−j+1 |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
ρj |
|
0 |
|
|
|
· · · |
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
||||||||
|
|
|
|
|
I− = |
0 |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
||||||||
|
|
|
|
|
0 |
|
ρj−1 |
|
. |
|
. |
|
|
|
|
|
|
|
|
|
. . |
|
|
(2.109) |
|||||||||||||
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
. |
|
|
|
. |
|
|
|
|
|
|
. |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. . |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
ρ |
|
|
|
|
|
|
|
0 |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
. . |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−j+1 |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
· · · |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Теперь можем записать явный вид матриц I1 и I2 |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
I1 = √ |
|
|
· (I− |
+ I+), I2 |
= √ |
|
|
· (I− − I+), |
|
|
|||||||||||||||||||||||
|
|
|
|
2 |
2 |
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
1 |
|
|
|
|
ρj |
|
0 |
|
|
|
0 |
|
|
· · · |
|
|
|
|
|
. |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
ρj |
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
||
|
|
|
I1 = √ |
|
|
|
|
|
|
|
|
|
|
|
·..·.· |
|
|
|
|
|
|
|
|
|
|
|
. |
; |
(2.110) |
||||||||
|
|
|
|
|
· |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ρ |
|
|
||||||||||||||
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−j+1 |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
ρ |
−j+1 |
|
|
0 |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
· · · |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
0 |
|
|
|
|
|
−ρj |
|
|
0 |
|
|
1 |
|
|
· · · |
|
|
|
|
|
|
|
0 |
|
|
|
|
|||||
|
|
|
|
|
ρj |
|
|
|
0 |
|
|
|
ρj |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
. |
|
||||
I2 |
= |
|
|
|
|
|
ρ |
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
(2.111) |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|||||||||||
|
|
i |
|
|
|
|
|
|
|
|
|
− |
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|||||
|
|
√ |
|
· |
|
|
|
−j+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
2 |
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
||||
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
.. |
|
|
|
|
|
ρ |
j+1 |
|
|
||||||||
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ρ |
|
|
|
|
|
|
− |
|
− |
|
|
|
|
||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j+1 |
|
|
|
|
|
0 |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Пример: рассмотрим неприводимое представление наинизшей размерности 2j + 1 = 2 , то есть j = 1/2 . В этом случае из (2.107), (2.110), (2.111), а
также (2.98) получим, что |
1 |
|
|
|
Iα = |
· σα. |
(2.112) |
||
|
||||
2 |
2.11. Неприводимое представление группы вращений |
|
|
|
53 |
|||||||
Здесь σα — матрицы Паули |
i |
|
|
|
|
−1 |
|
|
|||
|
1 |
0 |
|
0 |
0 |
|
|||||
σ1 = |
0 |
1 |
, σ2 = |
0 |
−i |
, |
σ3 = |
1 |
0 |
. |
(2.113) |
До сих пор рассматривались бесконечно малые повороты. Получим теперь матрицу конечных вращений для неприводимого представления.
D(1/2)(~n, ω) = exp(i · I~nω~ |
) = exp |
2 · σ~nω , |
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
D(1/2)(~n, ω) = 1 + |
2 · σ~nω + 2! · |
|
2 · σ~nω |
2 |
|
||||||||||||||||||||||||
+ · · · |
|||||||||||||||||||||||||||||
|
|
i |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
i |
|
|
|
|
|
|
|||||
Учтем, что |
(n1 + i · n2) |
|
|
|
|
−n3 |
|
|
|
|
1 0 |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
(σ~n)2 = |
n3 |
|
|
|
|
|
(n1 − i · n2) |
|
= |
0 1 |
, |
||||||||||||||||||
тогда имеем |
|
|
|
|
|
|
|
|
|
|
|
|
+ 4! |
|
|
|
|
+ · · · + |
|
||||||||||
D(1/2)(~n, ω) = 1 − 2! |
2 |
|
2 |
|
|
||||||||||||||||||||||||
|
|
1 |
|
|
ω |
|
|
|
2 |
|
|
|
1 |
|
|
ω |
|
4 |
|
|
|
|
|||||||
|
+i(σ~n) · 2 |
− 3! |
2 |
|
|
|
+ · · · . |
|
|
||||||||||||||||||||
|
|
ω |
|
1 |
|
|
|
ω |
|
|
3 |
|
|
|
|
|
|
|
|
|
|||||||||
Отсюда видно, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ω |
|
|
|
|
|
|
|
|
|
|
|
|
ω |
|
|
|||||
D(1/2)(~n, ω) = cos |
|
|
+ i(σ~n) · sin |
|
. |
|
(2.114) |
||||||||||||||||||||||
|
2 |
2 |
|
||||||||||||||||||||||||||
Получили представление, по которому преобразуются при вращении волновые функции частиц со спином 1/2 .
Примечательно, что предсталение (2.114) различно при поворотах ω =
0 и ω = 2π
D(1/2)(~n, 0) = −D(1/2)(~n, 2π) = 1.
Отметим, что это свойство сохраняется и для представлений с любым полуцелым j . Так как вращениям на угол ω и ω + 2π вокруг оси ~n отвечает одно и то же преобразование системы отсчета g SO(3) , то из предыдущего следует, что представление с полуцелым j двузначно. Каждой матрице g из SO(3) соответствуют две матрицы
g SO(3) → ±tg = ±D( 12 (2m+1))(g).
Двузначное представление называют спинорным. А физические величины
— спинорами (преобразующиеся по этому представлению). Двузначность
54 |
Глава 2. Группа вращений и группа Лоренца |
спинорных представлений не порождает двузначности наблюдаемых величин, связанных со спинорами, так как эти величины выражаются через спиноры билинейно. Существенно однако, что из–за двузначности закона преобразования, спинорное волновое поле не может быть наблюдаемым классическим (или макроскопическим) полем. Это обстоятельство есть проявление одного из наиболее глубоких законов релятивистской квантовой физики — связи спина с типом квантовой статистики.
2.12 Прямое произведение
Рассмотрим волновую функцию системы двух невзаимодействующих частиц
ψ(1, 2) = ψ(1) ψ(2). |
(2.115) |
Здесь значок обозначает либо простое произведение, либо прямое произведение многокомпонентных волновых функций, так как если спин частицы равен j , то волновая функция чатсицы имеет (2j + 1) компоненту
ψj(1)
.
ψ(1) = . . (2.116)
.
ψ−j(1)
В силу этого прямое произведение есть совокупность возможных произведений многокомпонентных волновых функций. Если спины частиц равны j1 и j2 , то общее число компонент (2j1 + 1) · (2j2 + 1) . Таким образом прямое произведение есть столбец с компонентами
ψ(1, 2)m1,m2 = [ψ(1) ψ(2)]m1,m2 = ψm1 (1)ψm2 (2), |
(2.117) |
−ji ≤ mi ≤ +ji. |
|
Определим закон преобразования волновой функции ψ(1, 2) при вращениях системы координат. Учтем при этом, что волновые функции отдельных частиц ψ(1) и ψ(2) преобразуются по неприводимому представлению D(j) группы вращений.
|
ψ0 |
|
(1) = tg(1) |
ψm1 (1) |
= |
|
D(j) |
ψm0 |
(1); |
m1 |
|
|
|
|
m1m10 |
1 |
|
||
ψm0 |
2 |
(2) = tg ψm2 (2) |
= |
m |
Dm2m20 ψm20 |
(2). |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m |
|
|
(2.118) |
|
|
(2) |
|
|
P10 |
(j) |
|
||
|
|
|
|
|
|
P20 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Учитывая это, можем записать закон преобразования волновых функций 2– х невзаимодействующих частиц
ψ0(1, 2)m1m2 |
= [t(1,2) |
ψ(1, 2)]m1m2 = |
mX10 20 |
|
|
m0 (1, 2) = |
Dm1m2m0 |
m0 |
ψm0 |
||||
|
g |
|
1 |
2 |
1 |
2 |
m
2.12. Прямое произведение |
|
|
|
|
55 |
mX10 20 |
D(j1) |
D(j2) |
ψm0 (1)ψm0 (2). |
(2.119) |
|
= |
|||||
|
m1m0 |
m2m0 |
1 |
2 |
|
|
1 |
2 |
|
|
|
m
Отсюда видно, что матрица преобразования искомой волновой функции ψ(1, 2) выражается в виде прямого произведения неприводимого представления группы вращений с весами j1 и j2
Dm1m2m0 |
m0 |
= D(j1) |
D(j2) |
, |
(2.120) |
1 |
2 |
m1m0 |
m2m0 |
|
|
|
|
1 |
2 |
|
|
D = D(j1) D(j2).
Определим, как выражаются генераторы Ik(1,2) прямого произведения представлений через генераторы Ik(1) и Ik(2) представлений–сомножителей. Для бесконечно малого преобразования можем записать
tg(1,2) = tg(1) tg(2) |
= [1(1) + i |
αnIn(1)] [1(2) + i αlIl(2)] ≈ |
|
|
|
X |
Xl |
|
|
|
n |
|
|
|
≈ 1(1) 1(2) |
+ i αnIn(1) |
1(2) + i |
αl1(1) Il(2); |
|
|
X |
|
Xl |
|
|
n |
|
|
|
|
X |
|
|
|
tg(1,2) = 1(1,2) + i αn[In(1) 1(2) + In(2) 1(1)]. |
(2.121) |
|||
n
Отсюда следует закон преобразования для генераторов неприводимого представления
Ik(1,2) = Ik(1) 1(2) + Ik(2) 1(1). |
(2.122) |
Итак, генератор прямого произведения неприводимого представления равен сумме генераторов представлений–сомножителей. Отметим, что единичные матрицы в выражении (2.122) обычно не пишутся.
Теорема Клебша–Гордана:
Прямое произведение 2 х неприводимых представлений группы вращения с веса- ìè j1 è j2 (которое, вообще говоря, приводимо) разбивается на неприводимые представления с весами j , где |j1 − j2| ≤ j ≤ j1 + j2
D(j1) D(j2) = D(|j1−j2|) · · · D(j1+j2). |
(2.123) |
Отметим, что теорема Клебша–Гордана есть квантовый закон сложения уг-
лового момента.
Теорема Клебша–Гордана означает, что существует некоторая матрица C , приводящая одновременно все матрицы t(1g ,2) к квазидиагональному виду
(1,2) |
· C− |
1 |
= |
D(j1+j2) |
D(j1+j2−1) |
C · tg |
|
|
... |
. (2.124)
D(|j1−j2|)
56 |
|
|
|
|
Глава 2. Группа вращений и группа Лоренца |
Элементы матрицы C , осуществляющие разбиение прямого произведе- |
|||||
ния D |
(j1) |
D |
(j2) |
на неприводимые |
представления называют коэффициен- |
|
|
jm |
|||
тами Клебша–Гордана и обозначают Cj1m1j2m2 , где j = |j1 − j2|, . . . , (j1 + j2)
и −j ≤ m ≤ j .
Переход к квазидиагональной форме (2.124) для матриц прямого произведения отвечает переходу в пространстве представлений к другому ба-
зису, в котором элементы столбца (m1m2) |
волновой функции ψ(1,2) нуме- |
||||
руются не двойным индексом m1m2 , а двойным индексом jm |
|
||||
(1,2) |
jm |
|
(1) |
(2) |
|
ψjm = |
Cj1m0 |
j2m0 ψj1m0 |
ψj2m0 . |
(2.125) |
|
|
1 |
2 |
1 |
2 |
|
m |
|
|
|
|
|
mX10 20 |
|
|
|
|
|
Обратное преобразование имеет вид |
|
|
|
|
|
ψ(1) ψ(2) |
= Cjm |
ψ(1,2). |
(2.126) |
||
j1m1 j2m2 |
|
j1m1j2m2 |
jm |
|
|
X
j,m
Матрица C (2.124), определена неоднозначно. Обычно накладывают еще условие унитарности, но чаще всего матрицу C считают ортогональной
CT = C−1. |
(2.127) |
Отсюда следует, что коэффициенты Клебша–Гордана вещественны. Условие (2.127) в матричном виде имеет вид
|
P |
jm |
j0m0 |
= |
δjj0 δmm0 ; |
||
Cj1m1j2m2 Cj1m1j2m2 |
|||||||
|
|
||||||
|
Cj1m1j2m2 Cj1m10 j2m20 |
= δm1m10 δm2m20 . |
|||||
jm |
|
|
|
|
|
||
|
m ,m2 |
jm |
|
(2.128) |
|||
1 |
|
jm |
|
||||
|
P |
|
|
|
|
|
|
2.13 Неприводимые представления группы Лоренца
Ранее было показано, что бесконечно малое преобразование Лоренца можно параметризовать либо 6–тью действительными параметрами d~ω , d~v , которым соответствуют генераторы Lα и Λα ( α = 1, 2, 3 ), либо 3–мя комплексными:
|
|
d~η = d~ω + id~v, |
|
|
|
|
которым соответствуют генераторы Mα и Nα |
|
|
||||
Mα = |
1 |
· (Lα − iΛα), Nα = |
1 |
· (Lα + iΛα). |
(2.129) |
|
|
|
|
||||
2 |
2 |
|||||
Коммутаторы |
|
|
= |
εαβγNγ; |
(2.130) |
[Nα, Nβ] |
] |
||||
|
[Mα, Mβ |
= |
εαβγMγ; |
|
|
[Mα, Nβ] = 0. |
|
||||
|
|
|
|
|
|
2.13. Неприводимые представления группы Лоренца |
57 |
|||
Отметим также, что группа Лоренца имеет 2–а оператора Казимира |
|
|||
~ 2 |
, |
~ 2 |
. |
|
K1 = M |
K2 = N |
|
||
При построении неприводимого представления группы Лоренца будем исходить из того, что генераторы Mα и Nα — эрмитовы, причем некоммутирующие генераторы (см. (2.130)) образуют алгебру Ли группы вращений. Это дает возможность использовать для построения неприводимого конечномерного представления группы Лоренца результаты теории неприводимых представлений группы вращений. Так как генераторы Mα и Nβ коммутируют друг с другом, то можно одновременно диагонализировать 2–а генератора — по одному из Mα и Nβ . Поэтому, пусть матрицы M3 и N3 — диагональны, и пусть χm1m2 — собственный вектор этих матриц
M3χm1m2 |
= |
m1χm1m2 |
; |
(2.131) |
|
N3χm1m2 |
= |
m2χm1m2 . |
|||
|
|||||
Рассуждая совершенно аналогично случаю теории неприводимых представлений группы вращения, можно сделать вывод, что собственные значения m1 и m2 ограничены для конечномерного неприводимого представления группы Лоренца. Обозначим j1 — max m1 и j2 — max m2 . При этом j1 и j2 могут быть либо целыми, либо полуцелыми
m1 = −j1, . . . , j1,
m2 = −j2, . . . , j2.
В силу этого размерность искомого неприводимого представления группы Лоренца — (2j1 + 1) · (2j2 + 1) . Легко также определяются операторы Казимира
|
~ 2 |
= |
j2 |
(j2 |
+ 1) |
· |
1. |
(2.132) |
N~ 2 |
||||||||
|
M |
= |
j1 |
(j1 |
+ 1) |
|
1; |
|
·
Отсюда видно, что любое конечномерное представление группы Лоренца определяется перечнем чисел j1 и j2 , которые или целые или полуцелые. Это представление будем обозначать (j1, j2) . Подчеркнем, что в отличие от неприводимого представления группы вращений, среди которых существует только одно неприводимое представление данной размерности, вслучае группы Лоренца имеются 2–а неэквивалентных неприводимыхпредставления одной и той же размерности — это представления (j1, j2) и (j2, j1) .
Определение:
Представления T и T 0 называют эквивалентными, если матрицы t0g T 0 удовлетворяют соотношению
t0g = StgS−1.
tg T è
(2.133)
58 |
Глава 2. Группа вращений и группа Лоренца |
Здесь S матрица, не зависящая от |
g . |
Такое же соотношение должно существовать и между генераторами
Ik и Ik0 :
Ik0 = SIkS−1.
По этой причине, если представления (j1, j2) и (j2, j1) были бы эквивалентны, то операторы Казимира этих представлений были бы одинаковы.
SKS−1 = SS−1 = K = λ |
· |
1. |
|
||||||
|
|
|
|
|
|
|
|
|
|
Легко убедится, что если j1 6= j2 , то операторы Казимира различны. |
|||||||||
|
~ |
2 |
(j1 |
, j2) |
= |
j1(j1 + 1); |
|
||
M |
|
(2.134) |
|||||||
M~ |
2(j2 |
, j1) |
= |
j2(j2 + 1); |
|||||
|
~ |
2 |
(j1 |
, j2) |
= |
j2(j2 + 1); |
|
||
N |
|
(2.135) |
|||||||
N~ |
2(j2 |
, j1) |
= |
j1(j1 + 1). |
|||||
Следовательно представления неэквивалентны. Нетрудно увидеть, что эк-
вивалентными будут представления (j1, j2) |
и (j2, j1) . Действительно, при |
~ |
~ |
комплексном сопряжении генераторы M и |
N меняются местами |
(1 + iM~ d~η + iN~ d~η ) = (1 − iM~ d~η − iN~ d~η) = |
|
~ 0 ~ 0
= 1 + iM d~η + iN d~η ,
~ 0 − ~ ~ 0 − ~ M = N , N = M .
Подчеркнем, что ~ 0 и ~ 0 есть генераторы представления 1 2 .
M N (j , j )
( |
M~ 02(j1, j2) = N~ 2 |
(j1 |
, j2) |
= |
j2(j2 + 1); |
N~ 02(j1, j2) = M~ 2(j1, j2) |
= |
j1(j1 + 1). |
|||
Видно, что значения операторов Казимира ~ 02 и ~ 02 представления
M N (j1, j2)
~ 2 |
~ |
2 |
представления (j2 |
, j1) . |
совпадают со значениями M |
и N |
|
Таким образом, найдены все конечномерные неприводимые представления группы Лоренца. Отметим, что любое релятивистское волновое поле с конечным числом компонент должно преобразовываться либо по одному из этих неприводимых представлений, либо по некоторому приводимому представлению, сводящемуся к нескольким неприводимым. Выясним какие спины отвечают частицам релятивистского волнового поля, преобразующегося по нприводимому представлению (j1, j2) . Чтобы ответить на этот вопрос, надо установить какие неприводимые представления, являющиеся подгруппой группы Лоренца, входят в неприводимое представление (j1, j2) . В случае чистого вращения
d~η = d~ω = ~ndω.
2.13. Неприводимые представления группы Лоренца |
59 |
Поэтому этому бесконечно малому преобразованию соответствует элемент
~ ~
1 + i(M + N)d~η.
Полученное выражение совпадает с формулой (2.121) для суммы генераторов в бесконечно малом преобразовании прямого произведения 2–х пред-
ставлений с генераторами ~ и ~ . Следовательно, волновое поле, пре-
N M
образующиеся по неприводимому представлению группы Лоренца (j1, j2) при вращениях, преобразуется по прямому произведению
D(j1) D(j2)
неприводимых представлений D(j1) и D(j2) группы вращений. Согласно теореме Клебша–Гордана прямое произведение можно представить в виде
D(j1j2)[SO(3)] = D(|j1−j2|) · · · D(j1+j2). |
(2.136) |
Здесь D матрица неприводимого представления (j1, j2) группы Лоренца, отвечающая преобразованию g SO(3) . Формула (2.136) даёт спиновое содержание неприводимого представления (j1, j2) группы Лоренца, то есть она показывает какие возможны спины у частиц.
Пример.
1. Представление (0, 0)
D(00) = D(0).
Отсюда видно, что данное представление отвечает однокомпонентной скалярной величине.
2. Представления (1/2, 0) и (0, 1/2)
D(1/2,0) = D(1/2).
Данные представления соответствуют спинорам и отвечают частицам со спином 1/2 . Определим генераторы этих представлений
~ 2 |
(1/2, 0) = 0 |
|
nα = 0, |
|
|
|||||||
N |
|
|
|
|||||||||
~ |
|
|
|
|
|
1 |
|
|
|
|
||
2 |
(1/2, 0) = (2 |
· |
|
+ 1) = 2. |
|
|
||||||
M |
2 |
|
|
|||||||||
~ |
|
|
|
|
|
|
|
|
|
|
(1/2) |
группы враще- |
Генератор M должен совпадать с генератором D |
|
|||||||||||
ний |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
||
|
|
|
|
M = |
2 |
· ~σ. |
|
|
|
|
||
|
|
~ |
~ |
|
|
|
|
|
|
|
|
|
Учитывая выражения для M |
и N , легко получить исходные генерато- |
|||||||||||
ры L и Λ |
|
|
1 |
|
|
|
|
|
i |
|
|
|
~ |
|
|
|
~ |
|
|
|
|||||
L = |
2 |
· ~σ, |
|
Λ = |
2 |
· ~σ, |
|
|
||||
60 |
|
|
|
Глава 2. Группа вращений и группа Лоренца |
||||||
~ |
(0,1/2) |
1 |
|
~ |
(0,1/2) |
|
i |
|
||
L |
|
= |
|
· ~σ, |
Λ |
|
= − |
|
|
· ~σ. |
|
2 |
|
2 |
|||||||
3. Представления (1, 0) и (0, 1)
D(1,0) = D(1).
Отсюда видно, что данные физические величины 3–х компонентны и преобразуются как векторы. Отметим также, что по представлению (1, 0) и (0, 1) преобразуются линейные комбинации дуальных анти-
симметричных тензоров fik , εiklplp . Если fik |
— тензор электромагнит- |
|||
ного поля, по представлению (1, 0) и (0, 1) |
преобразуются 3–х мер- |
|||
~ |
~ |
~ |
~ |
|
ные величины (E ± iH) ( (E + iH) по (1, 0) и т. д.
4. Представление (1/2, 1/2)
D(1/2,1/2) = D(1) D(0).
Отсюда видно, что данное представление соответствует 4–векторам, в которых 3–мерные компоненты преобразуются по представлению D(1) , а временная компонента — по представлению D(0) .
В заключение отметим, что представление более высокой размерности рассматривается в виде прямого произведения описанных выше неприводимых представлений.
2.14Прямое произведение 2–х неприводимых представлений группы Лоренца
Рассмотрим прямое произведение 2–х неприводимых конечномерных представлений группы Лоренца ( k1, k2 ) и ( l1, l2 ) ( k1 и k2 — максимальная величина собственных значений операторов Mk1 и Nk2 ). Нас будет интересовать разложение такого прямого произведения на неприводимые части, то есть аналог формулы Клебша–Гордана для группы вращений. Без доказательства приведем результат:
X
(k1, k2) (l1, l2) = (j1, j2), (2.137)
|k1 − l1| ≤ j1 ≤ k1 + l1,
|k2 − l2| ≤ j2 ≤ k2 + l2.
Отметим, что данную формулу можно получить из формулы для спинового содержания неприводимого представления группы Лоренца и теоремы Клебша–Гордана.
Следствия
