книги из ГПНТБ / Ванагас, В. В. Методы теории представлений групп и выделение коллективных степеней свободы ядра
.pdf4 1
где Ъ - "f, 2, . . . ,Z и
Н И 2 |
(3 ,2 1 ) |
|
|
Нам еще осталось обобщить на |
% —мерный случай |
формулы усреднения (2 ,2 8 ) и (2 ,2 9 ), |
модифицированные |
для интнгрирования по фактор-пространству (3 ,1 5 ), Эле мент объема этого фактор-пространства имеет такой вид:
, - ^ й ) й
н "
Множитель в (3 .2 2 ) определен из условия нормировки элемента объема:
(3 .2 3 )
I
Аналогично (2 .2 7 ) введем элемент объема фактор-прост ранства (3 .1 5 )
(3 .2 4 )
Теперь уже нетрудно записать формулу усреднения птэоиз»
вольной функции |
г |
^ Ь ^ Л 12) |
’ ' *? |
|||
-J- |
попеременным (??’-’-'2 |
, |
||||
г |
. |
Имеем |
|
|
|
|
OQ |
J, |
|
|
|
|
(3 Р2 5 ) |
|
t |
f ( |
Ы 2 |
|
||
3^ |
4 |
|
|
|||
ЯР |
|
|
|
|
||
^7 « |
/*1“*’ |
4 2
где учтено то обстоятельство, что последняя строка матри
чных элементов матрицы (3 .1 7 ) |
не зависит от |
&Z-1 |
|||||
Разумеется,формулы |
(3 .2 3 ) и (3 .2 5 ) |
могут быть об |
|||||
обобщены и для фактор-пространства (3 .1 8 ), |
Если отвлечь |
||||||
ся от ортогональных групп и говорить о произвольной груп |
|||||||
пе ^ и ее подгруппе |
Н |
, то вместо (3 .2 5 ) необхо |
|||||
димо писать |
|
|
|
|
|
|
|
|
/ d (9/ H ) f (8/ н ), |
|
(3 .2 6 ) |
||||
|
|
|
|||||
У н |
|
|
|
|
|
|
|
где 'элемент объема' |
cL(^/h ) |
удовлетворяет условию |
|||||
|
/ d ( 9 |
. . |
|
|
|
(3 .2 7 ) |
|
|
/Н J = |
"t |
|
|
|
||
Ct / |
|
|
|
|
|
|
|
” /Н |
|
|
И |
состоит лишь из одного |
|||
В частности, когда подгруппа |
|||||||
элемента, т.е. является тривиальной, в (3 .2 6 ) |
и (3 .2 7 ) |
||||||
речь идет о функциях и интегралах на группе. Поэтому, ин |
|||||||
теграл (3 .2 6 ) |
обобщает как формулы усреднения по группе т |
||||||
так и усреднения по фактор—пространству. В математичес |
|||||||
кой литературе |
d ( V H ) |
принято называть мерой на фак |
|||||
тор-пространстве. Известны теоремы доказывающие,, для
"Определенного класса групп, существование и свойства ин вариантности меры на фактор-пространстве. В частности,
в случае компактных групп она всегда существует и явля ется право— и левоинвариантной мерой. Существование ин-
теграла (3 ,2 6 ) также далеко неочевидно, но когда, рабо тая с некомпактной группой, удается обеспечить его схо димость, эти усилия бывают вознаграждены многими содерж жательными результатами из теории специальных функций
(см ., напр.,, [ t J ).
4.4
4. Коллективные и внутренние переменные ядра
1. Возвратимся к вопросам, постановленным в п.2
второго раздела. Теперь мы уже знаем, в каком классе функций следует искать функции (2 .3 ), осуществляющие пе-
реход от координат Якоби к новым трансляционно - инварш-
антным переменным ядра: это произведение '‘некомпактной" |
|
переменной (Э |
и матричных элементов матриц непрово- |
димого представления ( 1х ) ортогональной группы 0^ , |
|
где T' = 3 (n - - f) |
. . Эта группа компактна, что обеспечи |
вает "хорошие" свойства функций (2 .3 ) |
и операторов вра- |
|||
щений Т |
. Формулу замены переменных можно получить |
|||
из (3 .2 0 ) |
при |
Ъ —3 ( h - 'f) |
.Она,, |
очевидно, принимает |
вид |
|
.(1) |
|
|
|
|
|
(4 .1 ) |
|
|
|
|
|
|
где Sg I'q |
обозначает последнюю строку матрицы |
|||
задающей группу |
0^ г |
|
О - элементы фак— |
|
|
|
Ч (г И ) |
|
о |
тор—пространства
(4 .2 )
о -
6
Переменную
(4 .3 )
принято называть глобальным радиусом ядра.
4 5
Мы только что нашли явный вид функции,, с помощью
которых осуществляется замена пространственных перемен ных ядра, но пока не было приведено каких-либо конструк тивных утверждений о смысле этих новых переменных. По каким признакам можно "рассортировать’' микроскопичес кие переменные на коллективные и внутренние переменные ядра ? Можно ли такую Сортировку" произвести в наборе пе-
q M д |
(3(п-Ш |
Л З М » |
|
ременных 0?lP12 , % |
, . |
, ^з(пН )-1, 3(гМ) |
» ко“ |
торый следует выбрать, если |
-пользоваться в предыду |
||
щем разделе описанной параметризацией фактор—пространст ва (4 .2 ), или необходимо придумать другую ее параметри зацию, более естественную для наших целей ? Чтобы понять,
что же означает естественная параметризация, необходимо с сперва дать ответ на первый из этих вопросов.
2. Начнем с определения коллективных микроскопи ческих переменных. Коллективными переменными будем на зывать те избранные переменные, которые, образно говоря,
могут существовать независимо от остальных переменных ядра. Этому определению, которое из-за его неопределен ности, не выдерживает никакой критики, можно придать стро гий смысл, если вспомнить, что причиной, по которой пере менные квантовой системы тождественных частиц перемеши ваются, является принцип Паули. Требования принципа Пау ли обеспечиваются с помощью операторов перестановки, т.е.
•46 |
|
с помощью элементов симметрической группы |
.П о |
этому, независимо от остальных, могут существовать лишь те переменные, которые "не чувствуют" принципа Паули, т„е
т.е. переменные, являющиеся инвариантами.симметрической
группы |
Sp |
. По определению их и будем называть |
|
коллективными переменными |
Ё, . Остальные же пере |
||
менные |
CJ, |
"чувствующие" принцип Паули, назовем |
|
внутренними переменными ядра. |
|
||
Хотя эти определения являются математически стро гими, пользоваться ими следует лишь опираясь на условия
1 и 11, сформулированные в первом разделе. Действитель
но, исходя например из Ъ переменных Х ^ . . X-j, г
всегда можно сконструировать Ъ функций, инвариантных
по отношению к преобразованиям группы и как будто
таким образом ввести соответствующие им коллективные
переменные ядра. Приведем пример такой конструкции для
X/ ~ 3 • Введем три |
S ^ - инвариантные функции |
|
•f.| = + |
X j + ^5 |
(4 .4 ) |
|
||
f 2= X1X9 + X1X5 + X 2X5 г
=Х-j х2х3
и будем искать волновую функцию как функцию новых "кол— лективных" переменных нал функция, зависящая О'
скалярной функцией, поэтому такая конструкция исключает
47
возможность обеспечить принцип Паули, т.е. обеспечить требование 11„ Из этого примере видно, что число коллек
тивных переменных должно быть строго ограничено. Иными словами, принцип Паули может быть обеспечен лишь с по мощью определенного числа внутренних переменных ядра, и
наша .задача состоит в отыскании их минимального набора,
причем минимальностью набора здесь понимается в том
■смысле, что дальнейшее его сужение ведет к невозможнос ти обеспечения принципа Паули.
Отыскание минимального набора внутренних перемен ных ядра пока отложим на будущее, а теперь более подроб но выясним роль симметрической группы при разделении пе
ременных на коллективные и внутренние. Чтобы отыскать " ‘'реакцию" переменных на действие операторов симметричес-
кой группы Sf| , необходимо выяснить, каким образом эта группа вложена в ортогональную группу
Операторы симметрической группы переставляют одно-
нуклонные переменные , . , , Ъ^\ ■С помощью вы
ражения (2 .1 ) можно найти преобразование координат Яко
би, индуцированное перестановкой переменных |
. Пе-^ |
рестановки действуют на индексы Ъ векторов |
, |
откуда следует что и элементы симметрической группьц9 ^
действуют лишь на нижние индексы’ Ъ векторов Я коби те— нерируя на базисе этих векторов неприводимое представле-
|
|
|
4 8 |
|
|
ние группы $п |
(подробности см. в |
[в ] ). Если под- |
|||
вергнуть вектора |
(Э^ } |
• • |
• ■>(рп ^ |
преобразованиям |
|
ортогональной группы |
0^ |
^ |
, то станет очевидно,, что |
||
любое преобразование симметрической группы, подобно |
|||||
преобразованию (2 .1 6 ), |
можно представить в виде произ |
||||
ведения собственных поворотов |
П ""I |
-мерного прост |
|||
ранства на операцию отражения. Иными словами, симметри-
ческая группа |
|
S р| |
, переставляющая вектора |
|
|
—> |
s'* |
|
, является подгруппой ортогональной |
||
ъ,........г |
^ |
|
|||
-ч » |
|
|
|
|
|
группы |
|
|
, преобразующей вектора |
г{ |
|
когда |
и |
|
|
связаны между собою соотношениями |
|
(2 .1 ). Это утверждение сокращенно обозначается следую
щим образом |
|
|
оГМ |
|
(4 .5 ) |
|
|
|
и говорится, что симметрическая труппа 5 П |
вложена в |
|
ортогональную группу |
по цепочке 0П_^ |
1S ^ |
Обратим внимание на тот факт, что ранг ортогональной грут-
пы на единицу меньше ранга симметрической группы, так
что Sn весьма плотно ‘'вставлена" в 0^ ^ . В в п.4
второго раздела был дан пример вложения симметрической
группы Sp |
в ортогональную группу 0р |
или, в об |
|
щем случае, |
вложения |
|
|
|
0, |
ь , |
(4 .6 ) |
49
вкотором симметрическая группа ‘'вставлена4' в ортогональную ную группу менее плотно, по сравнению с (4 .5 ). Математи
ческая причина, позволяющая перейти от цепочки (4 .6 ) |
к |
|||||
цепочке |
(4 „5 ), |
кроется в переходе от |
-приводимого |
|||
-базиса |
? |
Z fi |
к Sn |
- неприводимому бази |
||
су, состоящему |
из координат Якоби (2 .1 ) и |
-ска |
||||
лярной переменной |
|
|
|
|
||
|
|
|
|
|
(4 .7 ) |
|
описывающей движение центра масс ядра. Вспомним,, |
что |
|||||
этот переход стал необходим из-за физического требования трансляционной инвариантности волновой функции ядра.
Теперь уже нутрудно сообразить, каким образом вло
жить симметрическую группу |
Sп |
в ортогональную груп |
|
пу О-w |
- это вложение подсказывает индексы матрич |
||
ных элементов в (4 .1 ). Наличие двух индексов S =X J^ 3Z |
|||
и *0 = i, 2 .. |
Г) -1 означает, что этд нумерация приспособ |
||
лена для прямого произведения |
3x3 - |
мерной матрицы (осу |
|
ществляющей вращение "нашего" трехмерного пространства)
на H -’i К И - ■{ |
-матрицу, (осуществляющую вращения аб |
страктного f v f |
—мерного пространства векторов Якоби). |
Прямому произведению таких матриц соответствует прямое
произведение групп O t |
и о , |
, поэтому естествен |
но ввести цепочку |
|
|
50
( 4 . 3 )
означающую, что элемент ортогональной группы 03(гН )
сужается на прямое произведение элементов группы
и группы 03f n_1) |
. При сужении на цепочке (4 .8 ) подра |
|
зумевается, что матрица отражения 3 (п Н ) |
-мерного |
|
пространства заменяется матрицей отражения |
П -') -мер |
|
ного пространства; |
такая замена законна, ток как учет от |
|
ражения (см. п.4 второго раздела) требует использования лишь одного '■'представителя*' - одной численной матрицы с определителем, равным - 1.
3. Выпишем полную цепочку
и
(4 .9 )
и приступим к детализации формулы (4 .1 ). Мы выяснили,
что в этой формуле под фактор-пространством нельзя пони мать фактор-пространства (4 .2 ), лараметрнзировакного способом, описанным в п.2 предыдущего раздела; парамет ризация такого рода приспособлена для цепочки
о, |
(4 .1 0 ) |
*3(гМ ) 3=3 ^ 3 ( г И М |
^ |
