Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Джадд Б. Теория сложных атомных спектров

.pdf
Скачиваний:
14
Добавлен:
27.10.2023
Размер:
33.93 Mб
Скачать

32

Б. Джадд. Теория

атомных

спектров

 

 

компонент обоих двойных тензорных операторов 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^^—<•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;

зато

если

мы можем классифицировать состояния

в пространствах

А

и В,

то мы получаем классификацию состояний в полном пространстве.

Далее, так как все спины

в

каждом пространстве

направлены

в одну и ту же сторону, то проблема классификации

состояний

каждого пространства А и

В

в точности совпадает с

проблемой

Соседние файлы в папке книги из ГПНТБ