книги из ГПНТБ / Джадд Б. Теория сложных атомных спектров
.pdf32 |
Б. Джадд. Теория |
атомных |
спектров |
|
|
компонент обоих двойных тензорных операторов af |
и а |
молено |
|||
рассматривать как |
компоненты |
тройного |
тензорного |
оператора |
|
a(<?s()) Г де q=s = 1І2- |
|
|
|
роль |
в тео |
Третье, квазиспиновое пространство играет важную |
рии атомных спектров отчасти из-за того, что при его использова нии упрощаются многие сложные построения теории атомных обо лочек, и главным образом потому, что многие в других отношениях удивительные свойства исследуемых операторов получают естест венное объяснение в рамках концепции квазиеппнового простран ства.
Один из элементарных составных тензорных операторов, ко торый можно образовать из тензорных операторов a<?s'\ имеет вид
при K + x + k нечетном
При К + Уі + k четном, используя антикоммутационные соотношения
(1) для упрощения вида рассматриваемого тройного тензорного оператора, мы получаем, что
ХІКхк)=-[1\'иЬ(К, |
0)8(х, 0)Ъ(!г, 0). |
|
Задачи |
4.1. Тензорный оператор W<xfe) определяется как сумма одно-
электронных тензорных |
операторов |
w<**\ для которых |
|
(niWxkî№)={[*] |
|
Щ\'и. |
|
Докажите, что |
|
|
|
|
\ Ѵ ( І Й ) = - ( а + а ) № . |
||
4.2. Убедитесь в справедливости |
формул |
||
x ( . o o) = |
_ 2 [ / r - / , Q |
) |
|
X ( 0 1 0 ) = - 2 [ / ] - , / 2 S , |
|
||
X ( 0 0 1 ) = |
- L (3//(/+1) |
(2/+1))' / 2 . |
ГРУППЫ
5.1. Генераторы группы
Иифиннтезималы-іые преобразования непрерывной группы со держат параметры и генераторы. Параметры характеризуют вели чину преобразования, которое осуществляется генераторами. Так, например, для двумерной группы вращений /?2 инфинитезимальное преобразование описывается оператором
1 + o c p . j L ;
I |
• |
(ja ' |
|
здесь д/дср — генератор, дц> — параметр. Хотя |
параметры и важны, |
||
но саму группу (более точно, |
ее |
групповую |
алгебру) задают ге |
нераторы. При этом самыми важными соотношениями являются коммутационные соотношения, которым удовлетворяют генераторы. Взяв подходящие линейные комбинации генераторов группы, мо
жно их разбить на два |
рода величин: операторы типа Я,-, кото |
рые коммутируют между |
собой, и операторы типа Еа, являющиеся |
обобщенными операторами сдвига, при этом всегда можно до
биться выполнения коммутационных |
соотношений |
|
|
|
Собственные значения |
являются |
компонентами вектора а |
в ве |
|
совом пространстве, которое определяется заданием |
вида |
опера |
||
торов Я*. Этот вектор |
называется весовым вектором. |
Представляя |
коммутационные соотношения некоторого набора операторов в вы шеуказанном виде и строя весовые векторы, можно идентифици ровать группу (или группы), для которой эти операторы играют роль генераторов, с какой-либо известной группой. Для этого надо диаграммы весовых векторов данного множества сравнить со стан дартными диаграммами, построенными Картаном и Ван-дер-Вар- деном [7]. При этом, правда, имеется возможность считать пара метры действительными или комплексными и соответственно полу чаются различные группы для одного и того же набора диаграмм весовых векторов.
5.2. Полная оболочка
Сосредоточим наше внимание на исследовании конфигураций lN, которые при 0^УѴ=^4/+2 образуют полную атомную оболочку.
3 Зак. № 279
34 |
Б. Джадд. |
Теория |
атомных |
спектров |
Внутри этой |
оболочки наиболее |
общее |
линейное преобразование |
|
затрагивает все состояния |
которые мы представим в виде |
|||
|
|ф> = |
4<4 |
. . . а:\0У; |
здесь для определенности греческие индексы упорядочиваются сначала по ms и затем по іщ, причем наибольшие значения появ ляются справа, а наименьшие слева. Рассмотрим теперь операторы
1 + |
+ + |
+ |
Л$=а--ап |
. . . а» |
и соответственно последовательность операторов уничтожения, за
писанных в обратном |
порядке: |
|
|
|
|
А ф = а ѵ |
. . . а-^а^. |
|
|
С первого взгляда может показаться, что |
какое-то |
произведение |
||
этих операторов |
просто |
уничтожает |
состояние |
і|) и порож |
дает состояние т|/ (возможно, с другим N). Хотя это и справедливо, но такое произведение недостаточно селективно, т. е. ненулевой результат может получиться и при действии этим оператором на состояния ф"=г|/:
при і|)=и=і|/'. Чтобы обойти эту трудность, мы будем рассматривать операторы
A (j,' IA (ij,
для которых идемпотент / просто равен
где |
|
|
|
|
|
|
Рассмотрим теперь операторы |
|
|
||||
|
|
|
|
А\іАу, |
|
|
в которых -ф и я|/ пробегают |
все возможные |
состояния нашей |
обо |
|||
лочки. Легко |
видеть, что число антисимметричных состояний |
кон |
||||
|
|
|
l+2= (4/+2)!/ЛП(4/+2 |
УѴ)! и |
|
|
фигурации F |
равно Cf |
11 + 2 |
|
— |
|
|
|
|
|
N= Q |
|
|
|
Полное число |
построенных |
таким образом операторов равно |
||||
2Ш + 4 . Из них 2 У + 2 |
— это операторы вида |
|
|
Hty=A\lAty,
Гл. 5. |
Грі/ппы |
35 |
причем легко показать непосредственно, что |
|
|
[Я ф , Я ф - ] = 0 . |
|
|
С другой стороны, имеем соотношения |
|
|
|
8(ф, |
é")Al'IAr, |
поэтому все весовые векторы имеют вид |
|
|
[О . . . 010 . . . |
0 - 1 0 . . . 0 ] . |
|
Основываясь на классификации Картана, мы можем идентифици
ровать построенную групповую алгебру как алгебру Ап, |
где п сов |
||||
падает с |
размерностью весового пространства, |
которая |
равна |
||
24 '+2 — 1. (Все весовые векторы |
ортогональны вектору |
[11.. .1], так |
|||
что надо |
вычесть 1 из полного |
числа операторов |
Н^.) |
Если |
пара |
метрам позволяют принимать комплексные значения, то мы полу чаем полную линейную группу 2 4 ' + 2 измерений. Если наложить ус
ловие, чтобы матрицы |
преобразований были унитарны (это обеспе |
||||||||
чит ортогональность отдельных состояний), то такой группой |
будет |
||||||||
£^2<и+2, унитарная группа |
24 '+ 2 измерений. Для |
f-электронов |
|
это |
|||||
Г р у п п а |
[/ш84- |
|
|
|
|
|
|
|
|
В качестве индексов неприводимых представлений можно взять |
|||||||||
собственные |
значения |
операторов |
Яг-. В рассматриваемом |
случае |
|||||
собственные |
значения |
оператора |
для данных |г|/) |
имеют |
вид |
||||
|
|
|
[0 . . . 010 . . . 0]. |
|
|
|
|
||
Это некоторый вес. |
Вес |
\т\іпг...] |
назовем |
большим, чем |
вес |
||||
\т'ѵ т'г... |
], если первое неисчезающее число в |
последовательности |
|||||||
ту — т'ѵ |
то — т'„... |
оказывается |
положительным. |
Максималь |
ными весами мы нумеруем представления. Для /-оболочки наи больший вес равен [10.. .0]; если отбросить нули, можно сказать, что состояния /-оболочки образуют базисные функции для пред ставления [1] (фактически неприводимого) группы
5.3. Подгруппы
Чтобы изучить подгруппы, нужно отобрать такие операторы из набора A^JÄy,, которые сами образуют свой собственный набор
операторов. Коммутаторы двух операторов такого набора выра жаются через операторы этого же набора.
3*
36 Б. Джадд. Теория атомных спектров
Укажем лишь |
самые важные свойства подгрупп нашей |
группы |
£ / 2 4 / + 2 . |
|
|
1. Рассмотрим |
операторы a|û*> atа л> a Sn ,f> а £ а ч, a / > ач- |
О'1 1 1 |
составляют требуемый набор операторов и задают группу враще ний 8/ +5 измерений, т. е. группу Rn+ь (в обозначениях Картана — группу .S.u+2). Представление [1] группы f/2/,j+2 приводится к од
ному неприводимому |
представлению |
группы Rsi+ъ] соответствую |
щее правило ветвления |
имеет вид |
|
|
Ш - ( 7 2 Ѵз ••• |
7 2 ) . |
2. Удалим операторы at и ац из приведенного выше набора.
Набор оставшихся операторов оказывается замкнутым относи тельно операции коммутации. Это группа RSM (в обозначениях Картана £ W ) - Операторы а^аі^, с^а , а.-а* и a£ a при действии на состояния изменяют полное число электронов N на 0 или 2. Та ким образом, представление (ѴгѴг • • • Ѵз) группы J?s/+5 оказывается приводимым, и мы имеем для него разложение
( 7 2 7 2 • • • 7 2 ) - Ч 7 2 1І2 ••• Ѵ2 Ѵ 2 ) + ( 7 2 V* ••• Ѵ 2 - 7 2 ) ;
два представления в правой части соответствуют состояниям с чет ными N И нечетными N соответственно.
3. Другой |
способ |
исследования операторов группы RSM— это |
представление |
их в |
связанной форме X<K x f e ) (где K + x+k нечет |
ное). Если теперь мы возьмем из этого набора операторы Х(100> и X(Oxft) (где, конечно, y, + k нечетное), то можем убедиться, что этот ограниченный набор операторов замкнут относительно операции
коммутации. Более того, каждая компонента тензорного |
оператора |
|||||||
Х<100) коммутирует с каждой компонентой |
оператора X ( 0 x W , |
так |
что |
|||||
мы имеем дело с прямым |
произведением |
двух групп. Вектор Х^100) |
||||||
пропорционален Q, так что первая |
группа — это группа |
Rs. Чтобы |
||||||
подчеркнуть, что эта группа связана с квазиспиновым |
пространст |
|||||||
вом, будем использовать для нее обозначение RQ. |
Вторую |
группу |
||||||
с генераторами X<0 x W идентифицировать |
труднее; оказывается, это |
|||||||
симплектическая группа |
4/ + 2 измерений, |
т. е. группа Spu+2 (в обо |
||||||
значениях Картана С21+1). Таким образом, |
|
|
|
|
|
|||
Правила ветвления представлений |
для |
состояний |
конфигурации |
|||||
lN легко получить; они имеют вид |
|
|
|
|
|
|
||
( 7 2 7 2 |
. . . 7 2 7 2 ) - ( 2 ' + 2 ) ( о о . . . о ) + ( 2 ' ) ( і ю . . . 0 ) + |
|
|
|
|
|||
|
+ < 2 < - 2 > ( і ш о . . . |
о ) + . . . |
- р ( и |
. . . |
10), |
|||
(ѴгѴг |
••• Ѵг-Ѵг) — ( 2 / + 1 ) |
(Ю . . . 0) + |
( 2 / - 1 |
) ( Ш О . . . |
0) |
+ |
|
|
|
|
|
|
• - . Н - Ч і і • • • 1). |
|
|
|
Гл. 5. Группы |
|
|
37 |
Индекс представления RQ указывается |
с помощью левого верхнего |
|||||
индекса квазиспиновой мультиплетности (2Q+1), стоящего |
при |
|||||
индексах представлений группы Spu+i- |
|
|
|
|||
4. Из операторов X(0 *F T > |
мы можем |
теперь |
отобрать операторы |
|||
Х ( 0 1 ° ) и |
Х(°0 Й > |
нечетное). |
Снова получаем |
произведение |
групп |
|
RfXRzM- |
Таким |
образом, |
|
|
|
|
Соответствующие правила ветвления мы приводим в табл. IV для частного случая 1 = 2; обобщение на большие значения / самооче видно.
Таблица IV
Правила ветвления при сужении
|
RS3XR5 |
|
|
(00000) |
•(00) |
|
|
(10000) |
2(10) |
|
|
'(11000) |
3(11)+ 1(20) |
|
|
(11100) |
' i ( H ) + 2 (21) |
|
|
(11110) |
5(10)+3(21) |
+ |
i(22) |
( H i l l ) |
6(10)+i(20) |
+ |
2(22) |
5. Из операторов X<0 0 Ä > (k нечетное) можно отобрать операторы Х(ООІ) и т е м самым перейти к группе R^, группе вращений обыч ного трехмерного пространства:
-*-^?з.
Какого-либо общего описания соответствующих этому переходу правил ветвления не существует, однако подробно протабулированы все случаи / ^ 4 для всех представлений группы Spu+z, со стоящих из нулей и единиц [6, 13, 14].
6. При / = 3 имеем случайное упрощение, ибо операторы Х ( 0 0 ; > и Х(° 0 5 ) замкнуты относительно операции коммутации. Получается исключительная группа Gz Картана.
7. Если наш атом находится в поле кристалла, можно рас смотреть конечные точечные группы, являющиеся подгруппами
38 |
Б. Джадд. Теория атомных спектров |
группы Щ; так, например, для октаэдрического поля с тригональным искажением имеем
8. Если на наш атом действует внешнее поле, имеющее ось симметрии, то можно записать
однако иногда до этого приведения выгоднее связать S и L в резуль тирующее J.
Чтобы резюмировать ситуацию, скажем, для атома с f элек тронами, находящегося в магнитном поле, приведем полную це почку вложенных друг в друга групп:
U i e m |
=> R.2ÇS гэ R,s => Яг X |
tyu =э R$ XRlXRj=> |
R$ X Ri X |
|
||
|
XG2ZD |
R§ XRÎXRs |
R$XRi=>R$XRi |
. |
||
Это, |
конечно, лишь одна |
из многих возможных цепочек вложен |
||||
ных подгрупп группы ІУіб384; вместе с тем |
эта |
цепочка |
одна из |
са |
||
мых полезных. |
|
|
|
|
|
|
|
|
|
|
5.4. |
Операторы |
|
Коммутирующие друг с другом операторы Hi данной группы могут использоваться при отыскании представления, которому при надлежат операторы Oh. Для этого нужно лишь составить линей ные комбинации Ор из операторов Ou, для которых
\НІ> o ß ] = ß A ;
при этом различные веса ß, будут задавать искомое представление, которое, конечно, может быть приводимым.
Не все операторы имеют ненулевые матричные элементы. Чтобы это условие выполнялось, если (фі, О и |я|/) принадлежат непри водимым представлениям І\, Го и Гз некоторой группы, нужно, чтобы произведение ГіХГгХГз содержало в своем разложении тождественное представление. Другими словами, чтобы произве
дение Г і Х Г 3 имело в своем |
разложении представление |
Г*, сопря |
|||||||
женное представлению Гг. |
|
|
|
|
|
|
|||
Мы |
установили, что |
состояния |
| /jVo|)) |
при |
четном j V преобразу |
||||
ются |
по представлению |
(V2V2...V2) группы |
RSM. |
Наибольший вес |
|||||
будет |
у |
полностью заполненного |
состояния |
\lu+2iS), |
которое яв |
||||
ляется |
однодетерминантным |
состоянием. |
Сопряженное |
состояние |
|||||
{/4 ! +2 і 5| |
просто получается из него при операции комплексного со |
||||||||
пряжения. Однако, поскольку |
|
|
|
|
|
г ; І В = ( - і ) я г і _
|
|
Гл. 5. Группы |
|
39 |
новый детерминант будет в точности совпадать |
со |
старым и его |
||
вес поэтому |
тоже будет (Уз 'А>... Уг). Кронекеровское |
произведение, |
||
которое мы должны рассмотреть, имеет, таким образом, вид |
||||
|
С/272 |
. . . 7 2 ) Х ( 7 2 72 . . . У2 ). |
|
|
Теперь мы |
отметим два |
факта. Теорема Вейля |
[15] утверждает, |
что наибольший вес представления, встречающийся в разбиении,— это сумма обоих наибольших весов представлений, которые мы перемножаем, причем это представление встречается один раз. Для выписанного выше кронекеровского произведения мы полу чаем, таким образом, представление (11...1). Далее, поскольку имеем соотношение ( І 5 | 1 5 ) = 1 , тождественное представление (00.. .0) тоже должно появляться в разложении. Все остальные представления'в рассматриваемом разложении должны иметь вид
(11 . . . 10 . .. 0).
Для малых значений / можно использовать соображения размер ности, чтобы доказать, что
(7о72 |
. . . 7 2 ) Х ( У 2 7 2 . . . |
72 ) |
= |
|
|
|
|
|
|
= (00 . . . 0) + (110 |
. . . |
0) |
+ (11110 |
. . . 0 ) + |
. . . + ( і і |
. . . |
1), |
в то время как для нечетных N |
|
|
|
|
|
|||
(7 2 7 2 |
7 2 ) X ( Y 2 72 |
|
72 ) = |
|
|
|
|
|
|
= (00 . . . 0) + |
(110 . . . |
0 ) + . . . |
+ ( 1 1 . . . |
1 |
- 1 ) . |
Если известно, что наши матричные элементы не исчезают, то все операторы О должны преобразовываться по одному из пред ставлений, появляющемуся в правых частях приведенных формул. Это означает, что правила ветвления именно этих представлений особенно интересны; некоторые из них приводятся в табл. V.
Таблица V
Правила ветвления при сужении Rsl^^—<• R§ X Sp4[_i_2
(0 . . . 0) |
1(0. |
. |
. 0) |
|
|
|
|
|
(ПО . . . 0) |
1(20 . |
. |
. 0) |
|
|
|
|
|
|
3(0. |
. |
. 0) |
(ПО . . |
. 0) |
|
|
|
( Ш 1 0 . . . 0) |
4 0 . |
. |
. 0) |
(ПО . . |
. 0) |
(220 . . |
. 0) |
|
|
3(110 |
. |
. . 0) (20 . |
. . 0) (2110 . |
. |
. 0) |
||
|
5 (0 . |
. |
. 0) (ПО . . |
. 0) |
(НПО . |
. |
. 0) |
40 |
Б. Джадд. Теория атомных спектров |
Задачи
5.1. Докажите, что генераторы
для которых ij) и г|/— состояния конфигурации с фиксированным числом электронов, соответствуют некоторой подгруппе G унитар ной группы U размерности 24 г + 2 . Идентифицируйте эту группу. По стройте правила ветвления для сужения £/-»- G.
5.2 *1 \ Соотношение между группами
|
|
U163S4 ^ Ръ |
X |
X R7 |
|
показывает, что идентичные представления |
группы Ri для разных |
||||
конфигураций |
можно снабжать |
индексами |
5, Ms, Q и MQ. По |
||
стройте группу X (отличную от R®XRf), |
для которой |
||||
Указание (возможно, неправильное) : оператор |
|||||
|
|
( a W ) ( , / * 0 ) |
|
|
|
является скаляром |
по группе G2 (автор обязан этим замечанием |
||||
А. Р. Эдмондсу). |
|
|
|
|
|
5.3*. Проанализируйте правила ветвления при сужении Ry+t-*- |
|||||
-+-R^ и докажите, |
что число 5-состояний, |
возникающих при раз |
|||
ложении представления (11110. ..0) группы R21+1, дается интегра |
|||||
лом |
|
|
|
|
|
|
2- |
|
|
|
|
_1_ |
Г s i n ' 2 6 s i n (/ + 1)0 |
slr.2 (/ |
-j- i / 2 ) 6 s i n /6 • |
||
я J |
s l n 2 e s i n 3 / , e |
|
|
||
|
о |
|
|
|
|
Этот интеграл должен быть равным 1 при / = |
4 и |
5 и равным 2 |
при |
1 = 6, как это следует из результатов Шудемана |
[16]. Продолжите |
||
рассмотрение на более высокие / и выведите |
общую формулу. |
|
ч Звездочка означает, что решение задачи не известно автору; см. замечания автора в конце первой части.
6
П О С Т Р О Е Н И Е
с о с т о я н и и
6.1. Вводные замечания
Группы, рассматриваемые в разд. 5.3, нужны для исключения неопределенностей, которые возникают, если в исследуемой конфи гурации появляются два пли больше термов с одними и теми же значениями 5 и L . Например, имеются два терма W для конфи гурации d3, которые легко различаются, если использовать группу Rs- один терм ZD принадлежит неприводимому представлению (10) > другой — представлению (21). Фактически достаточно вводить в рассмотрение только группу /?5 для получения однозначной клас сификации состояний всех конфигураций dH. Для f-оболочки, од нако, часто появляются повторяющиеся термы, если использовать для классификации только представления W группы Rn\ при разде лении этих повторяющихся термов очень большую помощь ока зывает группа Gi. Тем не менее неоднозначность все-таки остается. Для конфигураций gN, hN и т. д. правила ветвлений для R2i+i-*-RL3 содержат по очень большому числу повторяющихся термов и не обходимо искать какие-то другие схемы для классификации тер мов. Что же можно сделать в этом направлении?
Прежде всего заметим, что альтернативная схема классифика ции получится, если мы будем раздельно рассматривать элек троны, соответствующие разным ориентациям спинов, т. е. разным значениям квантового числа ms. Мы можем объединить все элек троны со спином, направленным вверх (т3 = \І2), в Л-пространство,
и все электроны со |
спином, направленным вниз |
(ms = Ѵг),— |
в B-пространство. Эти пространства будем называть также «спин- |
||
вверх-пространством» |
и «сппн-вниз-пространством» |
соответственно.— |
Идея такого разделения электронов была предложена много лет
назад Шудеманом |
[16]. В этой схеме |
классификации |
состояния |
||
представляются символами |
|
|
|
|
|
|
\lN\ïALA\XhBLB\LMLMsy, |
|
|
|
|
здесь L — момент, |
получаемый при связывании орбитальных |
мо |
|||
ментов L . 4 и L B для электронов обоих |
рассматриваемых |
прост |
|||
ранств А и В. Конечно, мы теряем квантовое число 5; |
зато |
если |
|||
мы можем классифицировать состояния |
в пространствах |
А |
и В, |
то мы получаем классификацию состояний в полном пространстве.
Далее, так как все спины |
в |
каждом пространстве |
направлены |
в одну и ту же сторону, то проблема классификации |
состояний |
||
каждого пространства А и |
В |
в точности совпадает с |
проблемой |