
книги из ГПНТБ / Джадд Б. Теория сложных атомных спектров
.pdf42 Б. Джадд. Теория атомных спектров
классификации термов максимальной мультнплетности исходного полного пространства. Таким образом, мы можем исследовать рас сматриваемую схему классификации в надежде разрешить общую проблему классификации термов при произвольных значениях. /.
В случае /-оболочки не существует сдвоенных термов макси мальной мультнплетности. В случае ^-оболочки их наблюдается несколько: так, терм 'lF появляется дважды для конфигурации g3. Существенно сложнее ситуация для ft-оболочки или і-оболочки (самая сложная оболочка, которую рассматривал Шудеман); сдво енные термы максимальной мультнплетности появляются по многу раз. Как же различать эти одинаковые термы?
Один из способов — взять какой-нибудь оператор и диагоиализовать его. Отвлекаясь здесь от проблемы вырождения собст венных значений этого оператора, мы можем получить набор одно значно определенных собственных функций этого оператора, соответствующих разным собственным значениям. Однако очень ва жно при этом взять разумный оператор, такой, который имел бы хорошие свойства (но не слишком хорошие — а именно надо из бегать операторов с сильно вырожденными собственными значе ниями). Другой способ — обнаружить параллелизм между изучае мой системой и какой-либо другой, для состояний которой мы мо жем построить полную однозначную классификацию. Поскольку только один случай такого параллелизма был подмечен до сих пор, хотя он и оказался не очень плодотворным, сразу опишем его здесь.
6.2. Бозоны и плетизмы
Бордарье [17] первым обратил внимание на тот факт, что плетизм Мурнагана [18], использованный Вайборном, устанавливает соответствие между фермионными и бозонными состояниями. Бо
лее точно, оказывается, что L-значения для термов |
максимальной |
||||||
мультнплетности |
фермионной |
конфигурации |
lN идентичны |
L-зна- |
|||
чениям |
термов |
бесспиновой |
бозонной |
конфигурации |
{/ — 7а(УУ — |
||
— 1)}х Ѵ (при условии, что 2/-Ь2>ІѴ). Так, например, термы |
макси |
||||||
мальной |
мультнплетности конфигурации g 3 |
(фермионной) |
нахо |
||||
дятся в однозначном соответствии с термами конфигурации |
f3 (бо |
||||||
зонной); |
или термы конфигурации g5 |
(фермионной) |
эквивалентны |
термам конфигурации d5 (бозонной). Далее, повторяющиеся термы бозонных конфигураций всегда можно легко различить: так, на
пример, полностью симметричное представление [3] группы |
Ui раз |
|||
лагается в сумму (300)+ (100) |
представлений группы R7, при этом |
|||
представление |
(100) |
содержит |
один из двух термов 'LF, встречаю |
|
щихся дважды |
в конфигурации g 3 (фермионной). Случай |
N = 5 |
||
особенно показателен |
в этом |
отношении. Конфигурация g 5 |
имеет |
Гл. 6. Построение состояний |
43 |
секстеты SD2FGZHI2KLN, при этом представление [5] группы £/5 разлагается по представлениям группы Л?5 следующим образом:
[5]->(10)D
+(30) S FOI
+ (50) DGH/KLN;
получаем полное разделение сдвоенных термов. Можно ли эту од нозначную бозонную классификацию как-то перенести на фермионы?
Исходный пункт здесь — это фактическое соответствие между антпснмметрпзованными фермионными состояниями
\mxm2 |
. . . mN), (/ ml^> /тг2 > . . . > mN |
^ — /) |
|
|
(предполагается, |
что все ms=+ili, |
так что необходимо |
задавать |
|
только значения mi) и бозонными |
состояниями |
|
|
|
K - y 2 ( W - l ) , m2-42(N-3), |
. . ., |
mN+42{N-\)]. |
Соседние составляющие этого составного символа могут теперь равняться друг другу, но все равно любая последовательность со ставляющих должна оставаться упорядоченной (большая состав ляющая стоит слева от меньшей). Приведем теперь примеры. Со
стояние |
{43—1} |
конфигурации |
g3 |
(фермионной) |
соответствует |
состоянию [330] конфигурации / 3 |
(бозонной). Ясно, что здесь взаим-. |
||||
но-однозначное соответствие. |
|
|
|
||
Состояние Ig'3 ''F, MS =3U, ML |
= 3) является, вообще говоря, не |
||||
которой |
линейной |
комбинацией |
отдельных фермионных состояний |
||
а ( 4 3 - 4 ) - И |
{ 4 2 - 3 } + с (41 -2} |
+ d ( 4 0 - 1 }+е |
{ 3 2 - 2 } + |
||
|
|
+ / { 3 1 - 1 ) + ^ { 2 1 0 } ; |
|
||
однако требование, чтобы |
|
|
|
||
|
|
L+\g™F, Ms=% |
A f t = 3 > = 0 , |
|
|
приводит к следующим уравнениям: |
|
|
аУь+Ьу1А=0,
b УІ4+с / 1 8 + е 1/8=0,
сYÏ8+d1 20 + / ] / 8 " = 0 ,
еу Т 8 + / 1 / 1 8 " = 0,
/ У'20+g V 1 4 = 0 ,
которые нельзя полиостью разрешить относительно неизвестных коэффициентов. (Конечно, этого и следовало ожидать, так как име ется два терма iF для конфигурации g3 .)
44 |
|
|
|
|
Б. Джадд. |
Теория |
атомных спектров |
|
|
|
|||
Вместе |
с |
тем |
совершенно |
ясно, |
что |
бозонное |
состояние |
||||||
I/3 (100)/г Мі, = 3) |
должно получаться |
при |
связывании |
состояний |
|||||||||
\f(lOO)FML |
= S) |
и |
I P ( 0 0 0 ) S J W I . = |
0)I а поскольку |
последнее |
состоя |
|||||||
ние может |
содержать |
только бозонные состояния [3 — 3], |
[2 — 2], |
||||||||||
[1 — 1], |
[00], |
то |
ясно, |
что |
состояние |
\f3{\00)FML |
= 2>) |
может со |
|||||
держать |
только |
бозонные |
состояния |
[33 — 3], |
[32 — 2], |
[31 — 1], |
|||||||
[300]. Если теперь учесть взаимно однозначное соответствие |
между |
бозонными и фермионными состояниями, то получаем, что фермион-
ное состояние, |
соответствующее |
[100], должно |
содержать |
только |
||
состояния {43 — 4}, {42 — 3}, { 4 1 — 2 } , |
{ 4 0 — 1 } . Этого можно до |
|||||
биться, полагая |
^ = 0 |
в последнем уравнении из приведенной выше |
||||
системы; тогда |
сразу |
находим, |
что f = 0 |
и е = 0. |
С учетом |
норми |
ровки получаем |
окончательно |
|
|
|
|
|
|
Û = J / 3 1 5 / 7 6 1 , |
Ь = — 1/180/761 |
|
|||
|
с = - | Л 40/761, |
d=— |
1 "126/761. |
|
Эти коэффициенты определяют фермионное состояние, которое со ответствует бозонному состоянию .[100] F.
Возникает только одна неприятность, но она очень существен ная. Знаменатель 761 является простым числом. Что касается ^-электронов, это означает, что полученное разделение термов не естественно; оно, в частности, не соответствует разбиению прост ранства этих термов оператором е, который будет определен ниже.
Возможно, пространства других термов разделяются более ес тественным образом (см. задачу 6.1); однако рассмотренный при мер сдвоенных термов lF конфигурации g'3 уже показывает, что указанное направление исследований не может иметь большого успеха.
6.3. Классифицирующий оператор
Пытаясь найти оператор, разделяющий сдвоенные термы, есте ственно обратиться к_рассмотрению ситуации с /-электронами, где большой успех был достигнут с группой ~G2. При произвольных / ни какого аналога группы G2 не существует, так что мы, конечно, не можем надеяться автоматически перенести результаты, полученные при классификации /-электронов, на произвольные конфигурации. Однако можно по крайней мере попытаться построить такой опе ратор, который для /-электронов дает то же разделение повторяю щихся термов, что и группа G2. Этот оператор должен, конечно, принадлежать тождественному представлению (00) группы Gi.
Представление (00) встречается при приведении лишь немно гих представлений W группы Ri. Фактически, как показал Стоун [19], мы должны рассматривать при этом только представления вида W= (www). Другими словами, мы должны иметь дело с пред ставлениями (000), (111), (222) и т. д. Первое из них, представ-
Гл. 6. Построение состояний |
45 |
ление (ООО), можно сразу отбросить, поскольку оператор, принад
лежащий |
этому представлению, будет разделять термы, только |
если они |
принадлежат разным представлениям группы #7. Анало |
гичный оператор для более высоких / тоже ничего не дает в до
полнение |
классификации, использующей |
представления |
группы |
Rn+\. Что |
касается представлений (222), |
(333) и т. д., |
их надо |
рассматривать, только если мы хотим изучать суммы из трехчастичных, четырехчастичных и более сложных операторов. Из сооб ражений простоты мы будем работать, однако, самое большее с суммами двухэлектронных операторов. Поэтому у нас остается единственная возможность — использовать представление (111).
Оператор, имеющий симметрию WUL= |
(111) (00)0, есть |
||||
|
ef= 2 |
[ ( v i " • v j " ) - 2 Ы 3 ) |
• v f ) + ( v P - v f ) ] , . |
||
где vW |
— |
одноэлектронные тензорные операторы |
с редуцирован |
||
ными матричными |
элементами, равными (2&+1)'/ 2 ; |
эти операторы |
действуют только в орбитальном пространстве. Их можно также выразить через двойные тензорные операторы w( x W , введенные в за даче 4.1, так как
v l f t , = f 2 w w
и, следовательно,
(/|| v W|/)=(s/||w^)|| st).
Встает естественный вопрос. Можно ли процедуру построения
оператора е; обобщить на более |
высокие значения I, несмотря на |
то, что в этих случаях никакого |
аналога группы G2 не существует? |
Ключ к ответу заключен в наблюдении, что представление (111) |
содержит только одно 5-состояние при его приведении по группе
Re- Другими словами, нам не нужен индекс |
представления |
(00) |
|
группы Gi- Обобщением представления |
(111) |
в случае ^-электро |
|
нов будет представление (1111) группы |
Конечно, это не |
пред |
ставление (1110), поскольку наши базисные операторы v(fe> (при
нечетных |
к) принадлежат |
представлению |
(1100) |
и поскольку |
про |
||||
изведение |
(1100) X (1100) |
не содержит представления (1110). Для |
|||||||
случая /г-электронов мы должны рассматривать |
представление |
||||||||
(11110) группы Rn. |
Представления (1111) |
и (НПО) |
содержат по |
||||||
одному 5-состоянию |
при их приведении по группе Rz\ поэтому |
ана |
|||||||
логи eg и е/і оператора е/ можно построить |
совершенно однозначно |
||||||||
с точностью до мультипликативного множителя. В |
случае і-элек- |
||||||||
тронов представление (111100) группы Ra |
содержит уже два 5-со- |
||||||||
стояния |
и поэтому |
можно |
рассматривать |
два |
независимых |
опе |
|||
ратора ві |
и е'{. |
Не |
будем, |
однако, заниматься |
сейчас подробным |
||||
рассмотрением |
этой |
трудности. |
|
|
|
|
46 Б. Джадд. Теория атомных спектров
Для того чтобы построить оператор eg, заметим, что синглеты
конфигурации g 2 |
принадлежат представлению (0000) |
или |
(2000) ; |
||
ни |
произведение |
(0000) X (0000), |
ни (2000) X (2000) |
не содержат |
|
при |
их приведении представления |
(1111), так что оператор |
eg мо |
жно найти, просто требуя, чтобы правая часть операторного вы ражения
|
ѵ |
= |
2 |
2 |
**(vift>-vj«) |
|
|
|
|
|
i > j |
k нечети |
|
|
|
при действии на синглеты конфигурации g2 давала |
нуль. Это усло |
||||||
вие дает |
|
|
|
|
|
|
|
|
|
2 |
< - п * і ( ' |
l |
L U o |
|
|
|
к нечет» |
|
|
(ll/i) |
|
||
причем L = 0,2, |
21. Так мы получаем |
более чем достаточно урав |
|||||
нений для отыскания |
отношении |
коэффициентов |
с;(; фиксируя |
определенным образом произвольную мультипликативную посто янную во всех коэффициентах сh, находим
г, = 11, с3= —14, с 5 = — 5, с 7 = 8 |
|||
для оператора ее. |
В случае |
оператора ей легко |
получить |
с , = 2 б , |
с 3 = — 2 4 , |
с5 == —15, с 7 = — 2 , |
с 9 = 1 5 . |
6.4. Свойства операторов е в пространствах |
конфигураций t1 |
Вот |
несколько замечательных свойств операторов е/, |
ее |
и в/,, |
|||
которые легко усмотреть непосредственно: |
|
|
|
|||
(1) |
суммы коэффициентов |
сh равны нулю для каждого |
из трех |
|||
|
операторов; |
|
|
|
|
|
(2) |
суммы коэффициентов |
с весовыми |
множителями |
(2& + 1) |
||
|
равны нулю для каждого оператора; |
|
|
|
||
(3) |
собственное значение каждого оператора для терма 3L |
кон |
||||
(4) |
фигурации /2 |
равно cL\ |
его собственное значение для терма |
|||
для каждого |
оператора |
|||||
|
3 L конфигурации I2 пропорционально |
собственному |
значе |
нию оператора
(v!cf> • ѵП
за исключением терма при L = k.
Доказательство всех этих утверждений мы предоставляем читателю. Все они впечатляют; однако, пожалуй, самым замечатель
ным является все же утверждение |
(4).'Объединенное |
с утвержде |
||
нием (3), |
оно означает, |
например, |
что коэффициенты |
Си пропор |
циональны |
собственным |
значениям |
оператора Ь - Ь, за псключе- |
Гл. 6. Построение |
состояний |
47 |
нием коэффициента сь Поскольку собственные значения |
оператора |
|
11 - Іо даются выражением |
|
|
мы легко можем убедиться также, что соответствующие |
константы |
|
пропорциональности просто равны |
единицам для операторов eg |
иeh.
Вчем, однако, истинная причина наличия свойства (4)? Чтобы
ответить на этот вопрос, рассмотрим оператор
Ъ |
/ Y ( l l É ) Y ( l l f t ) M 2 2 0 ) |
|
ak |
Ѵ Л Л |
/ООО |
при нечетном k. Тензорный |
оператор |
Х< Ш > строится из пары тен |
зорных операторов a(tfs", каждый из которых, как легко показать,
принадлежит |
представлению (100.. .0) группы RSM. Оператор H/t |
||||
должен поэтому |
принадлежать |
представлению, |
содержащемуся |
||
в (10. ..О)4 . |
Из |
этих |
представлений только |
представления |
|
(НПО. ..0), |
(ПО. ..0) и |
(0.. .0) |
могут иметь ненулевые матричные |
элементы, как это следует из рассуждений в разд. 5.4. Мы можем
сразу исключить |
из рассмотрения |
представления (ПО. ..0) и |
|||
(0. ..0), поскольку эти представления |
не содержат |
составляющих, |
|||
имеющих спиновый или квазиспиновый ранг, равный 2 (см. табл. V). |
|||||
Разложение |
представления |
(11110. ..0) группы |
RSM приведено |
||
в табл. V. Необходимость иметь квазиспиновый ранг, равный 2, |
|||||
ограничивает |
нас, |
таким |
образом, |
представлениями (0. ..0), |
(110.. .0) и (11110.. .0) группы Spu+2- Далее при сужении этой группы
только представление (НПО. ..0) содержит составляющие со спи новыми рангами, равными 2. Действительно, поскольку представ ление (НПО. ..0) группы Sp4i+2 несут состояния конфигурации /4 с числом сеньорита ѵ, равным 4, мы сразу видим, что единственным
возможным представлением |
группы |
R21+1 будет |
(НПО. ..0). Дру |
|
гими словами, оператор Ek |
имеет в точности те же трансформаци |
|||
онные |
свойства в орбитальном пространстве, что и операторы eg |
|||
и eu. Поэтому мы можем заключить |
(для обоих |
операторов), что |
||
|
( ( Ь | е | ф ' > = х ; , <Ф|ЕЛ |Ф'>, |
|
||
где tu. не зависят от L , L ' , Мь и М'ь |
(которые неявно присутствуют |
|||
в -ф и |
однако они, вообще говоря, могут зависеть от спиновых |
и квазиспиновых квантовых чисел. Это понятно, так как операторы eg и ей — это скаляры в спиновом пространстве, тогда как опера тор Eh имеет ранг 2. Указанный выбор ранга существен, если мы хотим в вышеприведенных рассуждениях получить оператор, пре образующийся по представлению (НПО. ..0) группы Rn+\-
Теперь мы в состоянии понять утверждение (4). Если мы рас смотрим разложение оператора ЕЙ В квазиспиновом пространстве,
48 |
Б. Джадд. Теория атомных спектров |
то получим (не выписывая коэффициентов Клебша—Гордана) вы ражение
Z'Y (llft)Y (UÄ)N(.20) |
I ( ' Y (U*) Y (Uft)\( . 20 ) |
I / Y ( U / ; ) Y ( l l / ; ) \ ( . 2 0 ) |
|||
Л _ і J.oo |
~ r ^ A 0 |
Л о |
).0i) |
- f - ^ Л — і Л і |
J.oo • |
Среднее слагаемое представляет собой двухэлектронный оператор, матричные элементы которого пропорциональны матричным эле ментам оператора
2 М*> • v f ) ;
I > j
при этом мы пренебрегаем возможными одноэлектроннымп опера торами, поскольку оператор H/t соответствует представлению (НПО. ..0) группы R&M- Первое н третье слагаемые в вышепри веденном выражении можно объединить (опять с точностью до одноэлектронных слагаемых, которыми можно пренебречь) и полу чить оператор
{(aV)( "° (aa)( "TJ 0 ) .
Для конфигурации I2 этот оператор имеет отличные от нуля мат ричные элементы только при 5 = 1, L = k; это и требовалось пока зать. Особенно поразительно то, что получаемое выражение для оператора Ek столь простое и что его вид одинаков при разных k. Последнее свойство является следствием того факта, что только
одно 5-состояние появляется в |
приведении |
представления |
( Н П О . . .0) группы Rn+i при / = 4 или |
5. |
|
В случае і-электронов можно, однако, ожидать, что оба опера тора ві и е'. потребуют введения двух разных операторов 5^ и
, для того чтобы выразить их матричные элементы. Конечно, удобно было бы положить, например, что
и тем самым использовать выражение для этого оператора из за дачи 6.6.
6.5. |
Другие операторы |
|||
Прежде чем покончить с рассмотрением |
оператора Ей, |
инте |
||
ресно кратко остановиться на аналогичного |
вида |
операторе |
|
|
0 F T = ( X ( L L F T ) X ( N F T ) ) ^ ° \ |
|
|
|
|
где k— нечетное число. Необходимость иметь |
квазиспиновый |
ранг |
||
2 снова заставляет нас рассматривать |
только |
представления, |
(0. ..0), (ПО.. .0) и (НПО. ..0) группы Spu+ï, однако теперь из-за того, что спиновый ранг равен нулю, имеются две возможности
Гл. 6. Построение состояний |
49 |
для выбора представлений группы У?2/+і- Действительно, мы можем взять представление (0.. .0) или (220.. .0) ; это единственные пред ставления, разрешенные правилами ветвления, которые содержат S-состояния при их приведении по группе Rz. В случае /-электро нов представление (220) содержит только одно 5-состояние. Один двухэлектронный скалярный оператор, имеющий в точности те же ранги, что оператор Ѳ;(, и принадлежащий представлению (220) группы Ri, был использован Рака [6]. В его обозначениях это опе ратор ез+Q. Таким образом, мы можем записать
е з + 2 ^ , 1 |
+ р Д Х ( , і и Х ( , , 1 ) ) ^ 0 ) = а з + Р з ( Х ( , 1 3 ) Х ( п 3 ) ) Г б ° о 0 ) |
= |
|
= а 5 |
+ Р з ( Х ( Ш > Х ( 1 І 5 ) ) ^ 0 ) ; |
|
|
здесь р — некоторые |
константы, а а — двухэлектронные |
скаляры |
|
как по ^7, так и по Rs. |
|
|
|
|
|
6.6. Случай конфигураций, |
|
|
|
содержащих более двух g*-электронов |
|
Теперь проведена |
вся предварительная работа, необходимая |
для исследования термов максимальной мультиплетности конфи
гурации lN при N>2. |
Рассмотрим |
здесь в качестве типичного |
при |
|||
мера |
случай |
1 = 4; конфигурации |
gN |
недавно исследовались |
в ра |
|
боте |
[20]. Подробное |
рассмотрение соответствующих свойств |
кон |
|||
фигураций hN |
провел Армстронг (см. разд. 7.1). |
|
||||
Как уже |
отмечалось в разд. |
6.2, |
имеется два терма 4 JF для |
конфигурации g3 . Каждый терм сразу определяется, если известны соответствующие генеалогические коэффициенты; поэтому мы дол жны построить генеалогические коэффициенты для обоих термов, являющихся собственными функциями оператора eg. При этом мы не встречаем принципиальных трудностей и поступаем обычным образом. Надо выбрать сначала родительский терм конфигурации gz, а затем воспользоваться формулой (9), чтобы получить набор
генеалогических коэффициентов (Ѳ{|0). Затем надо выбрать дру гой родительский терм и все повторить сначала. При 5 = 3 / з , L = 3 вторая система значений генеалогических коэффициентов не про порциональна первой. Поэтому можно составить линейную комби нацию из первой и второй системы значений и построить систему значений, ортогональную первой. Построенные таким образом две системы значений генеалогических коэффициентов дают два орто гональных терма 4 F, которые можно использовать при днагонализации оператора ед. Получив два терма AF, являющихся собствен ными функциями оператора eg, мы можем очень легко определить их генеалогию. При этом получается удивительный результат. Ока зывается, что один терм 4 F пропорционален состоянию
і а + | / 3 Р > Г 3 ) ,
4 Зак. № 279
50 |
Б. Джадд. |
Теория атомных |
спектров |
т. |
е. он соответствует не |
суперпозиции |
родительских термов, как |
мы могли бы ожидать, а просто чистому родительскому терму 3Р.
Другой терм lF |
(который будем |
обозначать как 'lF') ортогонален |
|||||||
терму iF, и поэтому должно |
выполняться |
соотношение |
|
||||||
как это было показано в разд. 3.5. |
eg |
|
|
|
|
||||
Собственные |
значения оператора |
(которые |
обозначаются |
||||||
(eg)) |
приведены |
в табл. V I ; рассматриваются |
термы |
максималь |
|||||
ной |
мультиплетности. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таблица |
VI |
|
|
|
Собственные |
значения |
оператора |
eg |
|
|
||
|
g* |
|
g3 |
|
|
g1 |
|
|
|
|
терм |
< Ѵ |
терм |
< V |
|
|
терм |
|
|
|
|
|
|
|
|
|
|
||
|
зр |
11 |
4Р |
—29 |
|
|
55 |
—18 |
|
|
3f |
—14 |
*F |
11 |
|
|
SD |
—33 |
|
|
|
—5 |
4F'» |
—24 |
|
|
5£)i |
15 |
|
|
|
8 |
ю |
—9 |
|
|
5F |
—9 |
|
|
|
|
4tf |
11 |
|
|
5G |
2 |
|
|
|
|
4/ |
—9 |
|
|
5(7» |
—29 |
|
|
|
|
|
_ 2 |
|
|
5tf |
—9 |
|
|
|
|
m |
15 |
|
|
5/ |
—9 |
|
|
|
|
|
|
|
|
5/' |
15 |
|
|
|
|
|
|
|
|
5K |
—9 |
|
|
|
|
|
|
|
|
5Z. |
15 |
|
|
|
|
|
|
|
|
57V |
15 |
|
|
Появляются и другие сюрпризы, когда мы переходим к рассмот |
||||||||
рению термов конфигурации |
g4 . Термы 5D, 5 G |
и 5І |
наблюдаются |
по два раза. При этом, конструируя собственные функции опера тора, ее, легко найти, что один из каждой пары термов имеет чис тый родительский терм, т. е.
l s 4 V > = h { a V «ЛОГ-
Причина появления столь необычно простых выражений неясна. Единственно, что можно сказать, это что во всех случаях
Гл. |
6. Построение состояний |
51 |
| L — L | = 3 . Отметим, |
наконец, что если мы вообще |
откажемся |
от процедуры диагонализации оператора eg, то возникают новые
интересные соотношения |
(см. задачу 6.9). |
|
|
|
|
6.7. Генеалогические коэффициенты |
|
Рассмотрим |
теперь |
генеалогические коэффициенты сами по |
|
себе, вне их связи с операторами е. С использованием |
классифи |
||
кации по группе |
R21U генеалогические коэффициенты |
( F 6 { | F _ 1 9 ) |
для термов максимальной мультнплетности (при N^1) можно записать в виде
или, короче, (WxL + l\ WxL). Тогда соотношение ортогональности генеалогических коэффициентов принимает вид
^ |
{ W ~ l + |
l \ |
W*L){WxL+l\ |
W\'L)=b{W, |
|
W')b{x, |
* ' ) . |
|||
~-, 1 |
|
|
|
|
|
|
|
|
|
|
Согласно Рака [6], |
|
|
|
|
|
|
|
|||
ÇWxL+ |
l\ WxL)=(-\)x |
|
{D (W)[L]jD |
(W) |
[L\)'u(WxL |
|
+l\ |
WïZ); |
||
здесь |
D(W)—размерность |
представления |
W, |
( |
1)* — фазовый |
|||||
множитель. Если |
это последнее |
выражение |
подставить в соотно |
|||||||
шение ортогональности и поменять местами |
величины |
с чертой и |
||||||||
|
— |
|
|
|||||||
без черты, то получаем, что |
|
|
|
|
|
|
||||
|
2 |
ÇWxL+l\ |
WvL)Çw"x'L+l\ |
WxL) |
[L] |
= |
|
|||
|
= |
[L][D(W)ID(w)}bÇW, |
|
W')o(x, |
V ) . |
|
||||
Нам |
надо положить W=-W и W = W. |
В последней |
формуле сум |
мирование ведется по элементам столбцов таблицы генеалогиче ских коэффициентов, тогда как обычно в соотношении ортогональ ности мы имеем суммы по элементам строк этой таблицы.
Помимо того что выведенная формула дает возможность не зависимой проверки правильности отдельных значений в таблице генеалогических коэффициентов, ее можно использовать и для дру
гой цели: она позволяет нам доказать, что |
суммы собственных |
||
значений оператора eg для данного N |
(которые можно взять из |
||
табл. V I ) , умноженных на (2L + 1), |
дают |
нули. Доказать |
это |
утверждение можно по индукции. Допустим, что утверждение |
спра |
ведливо для конфигурации l N _ i (удобно вести доказательство для
-1*