книги из ГПНТБ / Ванагас, В. В. Методы теории представлений групп и выделение коллективных степеней свободы ядра
.pdf81
|
|
o,s Sf _ |
у |
|
|
,R |
|
|
|
r |
|
|
|
|
(6-5) |
компоненты которые составлены из переменных |
S.c. |
||||||
и (О.”1. |
|||||||
С помощью (4 .2 4 ) получаем, что |
|
|
|||||
r ^ |
L |
f Y |
! |
|
) |
|
<sО |
|
Si |
|
дает |
|
|
|
|
тогда как (6 .3 ) |
|
|
|
|
|||
|
|
|
|
(6) |
(S1) |
|
(6 .7 ) |
|
|
|
|
|
b b / f |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
? |
|
|
Сравнение |
(6 .6 ) |
и (6 .7 ) показывает, что как это и должно |
|||||
быть, |
при переходе к собственной системе координат тензор |
||||||
(6 .6 ) |
приводится к главным осям. |
|
|
||||
Только что описанный переход к главным осям тензора |
|||||||
,1 |
, впервые сформулированный в ;1 1] |
, послужил отправ |
|||||
ным пунктом для вывода формулы (6 .3 ), |
позволяющей осу |
||||||
ществить замену переменных в собственной системе коор — динат. В явном виде эта формула в случае фактор-простран
ства без отражений ^(1-1 впеРвые бьша дана в работе [2 ] ,
которая, как нами уже отмечалось в предисловия, послужила началом для дальнейших работ этого направления,
Пусть X,' - переменные в исходной, а |
о |
X? -перем ен - |
|
Ь |
7> |
ные в собственной системе координат. Мы только что выяс-
нили, что алгебраический смысл перехода от |
а |
к X^ озна — |
|
чает поворот |
|
T ( W H r 1) x i , <в-8 >
8 2
где У/Н - фактор-пространство., определяющее собствен ную систему координат.
В качестве примера, возьмем переменные (3 .2 0 ) и пере йдем к по фактор-пространству ^ j .Действуя оператором W n - « ) , получаем:
= ( 3 & ( i ^ ) . |
(6.9) |
Эта формула показывает, что в собственной системе коор
динат ‘'выживает' лишь. , которая становится пере
менной радиального типа.
Легко осуществить такой переход для переменных (4 .2 4 )
по отношению к фактор-пространству ^ , т.е. пе -
рейти к 'главным осям ' в П-1 -мерном пространстве век -
торов Якоби. Как и раньше, легко получаем, что
|
О, при |
Ъ - 1,2, |
. , . , п - ^ |
|
5^ з)> пРц i =n-3,n-2,П-1,(6.Ю) |
||
где значениям |
i =П ~3, |
П ~ 2 , П - 1 |
, как мы услови - |
лись в п.З четвертого раздела, соответствуют декартоаые
индексы X, у , Z • Последнее выражение показывает,
что при проецировании с помошью о п ер а т о р а Т ^ ^ ) часть переменных (D? становится равной нулю, тогда как ос — тальные,-а именно девять переменных , заменяются извест ным.! функциями, зависящими от коллективных переменных
2, Мы уже вплотную подошли к задаче выделения в волно вой функции (2 .2 ) коллективных и внутренних переменных ядра и сейчас увидим, что она решается почти тривиальным образом. Подействуем на функцию (2 .2 ) единичным опера -
тором TR ( f n - l ) V A n - l ) и развернем тождество
“(Ч-п-i)TR(q,n-i)Ф ( Г/<^11 . . - ^п-Г’ СУ-
Реализуя оператор Т в & Ы ) через матрицу неко
торого, вообще говоря, приводимого представления группы О [-[_•( , и используя обратный оператор для проецирования
по формуле (6 .1 0 ), получаем
?1 1 ■1•
( 6. 12)
= 2 ( Г |^ ) В г'г ( Ч П-1) 7
где
®в ( г ' Ц ) =
Входящие в (6 .1 3 ) матричные элементы м а т р и ц ы . з а -
С + |
• Последняя формула показы |
висят от углов Эйлера а ^ |
вает, что набор коллективных функций получаем из набора исходных функций, заменяя в последних по (4 .1 0 ) перемен-
Ъ |
ОДs |
. Теперь также 'тало понят— |
.ные ^ |
переменными ^ |
8 4
но, что значит "хорошие" операторы, о которых шла речь в п.1 второго раздела - это операторы компактной и, следо
вательно, безусловно " хорошей" группы Ор-1 • Пока еще
не выяснено, что означает полнота набора функций (2 .2 ), но скоро и на этот вопрос будет дан однозначный ответ,
Формула (6 .1 2 ) еще неудовлетворительна в том отноше
нии, что входящая в нее коллективная функция © зависит
от спиновых или спино-изосшшовых переменных ядра. Дей ствительно, аппарат ортогональных групп, приспособленный для изучения пространственных переменных никак не затра-
Г.ивает спиновых координат, поэтому в окончательной форму ле (6 .1 2 ) они и остались там, где были с самого начала, а
именно - в исходной волновой функции. Поскольку мы изу -
чаем пространственные степени свободы ядра, то исключить
переменные Q, можно лишь в самом начале при поста
новке задачи. Такая возможность существует благодаря предложенной Е.Вигнером в тридцатых годах супермульти-
плетной схеме ^12^ .
3. |
Коротко |
напомним сущность супермультиллетной схе |
мы. Пусть S n |
- симметрическая группа, переставляю — |
|
щая пространственные переменные ядра,- такой смысл эта
группа и имела в предыдущем изложении-, a |
- |
симме |
трическая группа, переставляющая либо спиновые ( |
для |
|
протонно-нейтронного ядра ), либо спнио-изосшшовые (для нуклонного ядра). Если пользуемся услугами этих групп,
8 5
то в наборе квантовых чисел волновых функций необходимо выявить их неприводимые характеристики - схемы Юнга Д
иД ' .
Рассмотрим пространственную волновую функцию
и спиновую (или спино-изоспиновую) функцию
й ) > <бД5>
с более детализированными наборами квантовых чисел. В
(6 .1 4 ) |
и (6 .1 5 ) |
р |
и |
р/ |
- |
базисы представле |
||
ний |
ft |
и ft |
,а |
Г0 |
и |
Г& |
- |
остальные кванто |
вые числа. |
Хорошо известно (см. напр. |
|
[8 ] ) каков смысл |
|||||
набора |
Гg |
и как строится функция (6 . |
1 5 ), однако, здесь |
|||||
нет необходимости более подробно останавливаться на ее свойствах, так как в дальнейшем речь пойдет лишь об орби1-
тальных функциях (6 .1 4 ). От набора их квантовых чисел
Г0 |
|
потребуем лишь полноты по отношению к разложе - |
||||
нию типа |
(5 .7 ). В характеристиках волновых функций (6 .1 4 ) |
|||||
и (6 .1 5 ) |
неизбежно появились квантовые числа орбитально |
|||||
го |
L |
|
и спинового S |
моментов и их проекций М , |
||
М с, |
, так как лишь с их помощью можно обеспечить точный |
|||||
интеграл движения ядра - общий его момент |
и его про— |
|||||
екшпо |
М <-( . |
|
f |
|
||
|
|
|
<Г |
|
|
|
Симметрические группы |
S n и |
действуют в иеза - |
||||
висимых друг от друга пространствах, поэтому полную ан~
86
тисимметрическую функцию ядра можно построить путем связываний с коэффициентами Клебша-Гордана симметрияес
кой группы представлений |
Л |
и ^ |
в результирующее ан- |
||||
тисимметрическое представление |
& |
. Хорошо известно, |
|||||
что при таком связывании |
д ; |
|
I |
однозначно коррели- |
|||
я |
и Ji |
||||||
рованы с Д и |
р |
; чтобы подчеркнуть это, вместо До |
|||||
будем писать |
R J1 |
.С |
помощью коэффициента Клебша- |
||||
Гордана группы |
0 |
свяжем также и |
L |
и S в } |
|||
|
'3 |
................ — |
“ |
||||
и в итоге получаем полную антисимметрическую волновую функцию супермульплетной схемы:
16)
л *vb Ф
Вн(6 .1 6 ) нарочно пишется коэффициенты Клебша-Гордана
симметрической группы вместо обычно используемого мно
жителя |
\ где |
d-я |
- размерность S>n - непри |
|
водимого представления |
Л |
; такая запись оставляет |
||
свободу в выборе этих коэффициентов, что иногда может |
||||
оказаться существенным. |
|
|
||
4. |
Сравнительно малой ценой - |
путем введения прибли - |
||
женных интегралов движения |
Л L |
S - нам удалось из |
||
бавиться от переменных |
Q, |
и перенести задачу выделения |
||
коллективных переменных на пространственную функшпо
(6 .1 4 ). Техника проецирования из нее коллективных и вну тренних функций ничем не отличается от техники, нспользо-
87
ванной при выводе формул п.2 настоящего раздела, поэто му сразу выпишем окончательные выражения . Функцию . . (6 .1 4 ) можно разложить в виде
|
(6 .1 7 ) |
= L |
® ( Л о и М ^ ) В л о , г 0 Д ц 1 ч , п- 1 > , |
где J3 |
имеет тот же смысл, что и в (6 .1 2 ), а |
®(Л01М|$) =
Особо обратим внимание на индекс суммирования в ( 6 |
. 1 7 ) , |
||||||
где он обозначен новой буквой, чтобы подчеркнуть, что ну |
|||||||
мерация строк матрицы J3 |
может быть задана набором |
||||||
квантовых чисел |
A q |
, не имеющим ничего общего с набо |
|||||
ром Гд А |
[1. Согласно ( 5 |
, 2 7и) ( 5 . 2 9строки) |
и столбцы |
||||
матрицы |
|
преобразуются независимо, поэтому нет не |
|||||
обходимости коррелировать между собою и их обозначения. |
|||||||
Схему Юнга Л |
|
достаточно иметь в характеристике столб |
|||||
цов матрицы |
3 |
, чтобы с помощью ( 6 . 1 6строить) |
анти- |
||||
симметрическую волновую функцию, поэтому матричные |
|||||||
элементы |
З д 0,ГоЯ(Д |
можно назвать внутренними пре ~ |
|||||
странственвыми волновыми функциями ядра. |
|
|
|||||
Наличие в (6 .1 8 ) приближенных интегралов движения L
88
иМ позволяет выделить зависимость этой функции от углов Эйлера. Как и при выводе (6 .1 2 ), это осуществим,
развертывая тождество, получаемое действием на (6 ,1 8 )
тождественным оператором |
T r I |
^ |
) r1) ( T 9 |
j ) |
. Учи- |
||
тывая еще, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
( 6 . 1 6 ) |
|
как и раньше легко получаем |
|
|
|
|
|
||
®(A0LH|fc) = £ |
®(д„ь к !р(9) в ^ {% ) |
( 6 .2 0 ) |
|||||
|
|
||||||
где ® (A 0L K iY 5)U |
|
|
|
|
|
||
|
|
|
|
|
|
= р и \ |
|
|
|
|
|
|
|
(6 .2 1 ) |
Г |
|
|
|
|
|
|
|
|
В (6 .Ю ) |
- I- |
-матрицы |
“f* |
- |
неприводимых предста- |
||
JJ ' |
и , |
||||||
|
|
|
Ъ |
|
|
|
|
влений, а |
К - |
проеишя орбитального момента ядра на |
|||||
внутреннюю ось |
2. . Формулы типа (6 .2 0 ) |
обычно испсъ- |
|||||
льзуются в феноменологических коллективных моделях яд ра при разложении коллективной функции по матричным эле
ментам матрицы D
Выражения (6 .1 2 ), (6 .1 3 ) в обшем случае и выражения
(6 .1 7 ), (6 .2 0 ), (6 .2 1 ) в случае супермультштлетной схе
мы дают общее решение поставленной вп,1 второго раздела задачи выделения коллективных и внутренних функций ядра.
Действительно, по полному набору функций (6 .1 4 ) коллек тивные функции определяем с помощью (6 .2 0 ) и (6 .2 1 ).
|
|
89 |
|
|
|
В свою очередь, при известных 0 |
, в принципе можно най- |
||||
ти и матрицу 3 |
: умножая (6 .1 7 ) |
на (jj) |
и интегрируя по |
||
получаем систему алгебраических уравнений для опре |
|||||
деления матричных элементов матрицы |
В |
|
|||
|
|
|
|
|
( 6 . 2 2 ) |
^ - сЛ 0 / о Здогол ^ |
( ^ n - l ) ; |
|
|
|
|
Ло |
|
|
|
|
|
гдё входящие числа Сд' |
д вычисляются по формуле |
||||
СЛ'0, Д0=/ |
с м 1^) (Ш ( л о L М 1fe,). |
(S .2 3 ) |
|||
Этим и исчерпывается задача определения функций ® и,В,
5. Чтобы лучше понять результаты предыдущего пункта и попутно выяснить некоторые особенности коллек тивных функций (6 .2 1 ), рассмотрим простой пример. Возымем функции двухмерного изотропного гармонического ос циллятора в декартовой системе координат
^(б,82!х,х2)Ч>6((х,)^ 2(Х2), |
(6.24) ‘ |
||
где |
_ с ,_1L |
1 у 2 |
1 |
^ b ( X) = ( V J 2 6 £ ! ) |
H£ ( x ) e ' 2 , |
<в.25) |
|
a H^fX) |
- полиномы Эрмита. С помощью (6 .9 ) |
при Z -2 пе |
|
рейдем г собственную систему координат и развернем тож дество типа (6 .1 1 ). Тогда
^ £ 2 1 х ,Х г )= | 6,© {ь ,е '21?)3£;ег' А е2 t<J), <s -26!
™ 4=&п\ |
, а коллективная функция (Я) имеет |
||
такой вид: |
|
|
|
® С£« £ г 1 ? ) “ |
(0) ^ f ? ) . |
(6 .2 7 ) |
|
Но известно, что
9 0
®(ь;е;,и)=
- |
Hs ( 0 ) = |
|
|
|
<6-28) |
|||
поэтому |
(н) |
не исчезает лишь для четных |
£, |
. Запишем |
||||
уравнение (6 .2 2 ) |
для определения матричных элементов |
|||||||
матрицы |
J3 |
: |
|
|
|
|
|
|
оо |
|
|
|
|
|
|
|
|
М |
< > % |
(0 ) |
|
|
Ч>62((-< ) \ |
о о $ |
^ |
|
" |
V |
|
|
|
, . |
„ |
<6 -2 9 |
» |
' |
4 с &',е'г , |
6*, |
в'2 |
М г « |
< ъ ), |
|
|
|
где’замена переменных осуществлена с помощью (2 .1 9 ).
Коэффициенты С находим, вычисляя интеграл
С е Й . е ^ 'Ч ц М Ч ’е",») |
(6 .3 0 ) |
% ( < > ) % ( < > ) . |
о
Первое, на что необходимо обратить внимание в этом
примере,-это появление правил отбора по квантовому чис- |
|
лу |
g/ , вытекающих из свойств полиномов Эрмита в нуле. |
Это, |
разумеется, общее свойство коллективной функции |
(6 .2 1 ), поэтому заключаем, что набор квантовых чисел Aq
б разложении (6 .1 7 ) меньше набора Г ^ р , и, следователь
но, вообще говоря, матрица неквадратична.
Второе —это отсутствие свойства ортогональности кол — лективных функций ядра,—что видно в нашем примере из интеграла перекрытия (6 .3 0 ). Отсутствие ортогональнос ти ведет к системе алгебраических уравнений (6 .2 2 ) ,ре
