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

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

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

104

Б. Вайборн, Теоретико-групповые методы

Пользуясь формулами (15) и (15а), легко найти, что ср(2) содержит

простые характеры % ^ и %^з 1) по одному разу и что после их вы­ деления из ф( 2 ) остается простой характер

х ! 4 2 ) = 9 , 3, 0, - 1 , 1, 0, - 1 , 0, 1, 3, 0.

Третий составной характер <г/!3> находится путем составления суммы детерминантов главных двустрочных миноров приведенных матриц ,4S ; это дает характер

«Р(1,)

=

15,

5,

3,

1, - 1 , - 1

, 0, 0,

- 1 ,

- 3 ,

0.

Этот составной характер содержит простой характер

х ^ 5 1 ' с крат­

ностью единица, и после его выделения

из ф'11) сразу получаем про­

стой характер

 

 

 

 

 

 

 

 

 

 

х { 4

, 2

} =

10,

2,

1, 0, - 2 ,

- 1

, 0,

1, 0,

- 2 ,

1.

Четвертый составной характер ф(3> получается путем составле­ ния суммы перманентов главных трехстрочных миноров приведен­ ных матриц As; он равен

с?<3>=20, 8, 2, 0, 4, 2, 0, 0, 0, 0, 2.

Этот составной характер можно разложить на сумму простых ха­ рактеров

X { * } + Z { « } + X { « } + X < « ) ;

при этом получаем

Х { 3 , " } =5, 1, - 1 , - 1 , 1, 1, 0, 0, - 1 , - 3 , 2.

Наконец, пятый составной характер ф<21> получается, если сум­ мировать иммананты |aS (|<2 1 ) , составленные для главных трех­ строчных миноров приведенных матриц As, что дает

( 2 1 ) =40, 8, 1, 0, 0, - 1 , 0, 0, 0, 0, - 2 .

Разлагая <р(21> на сумму простых характеров

х { 3 2 . } + х { - } + х ( - } + х Р ) ,

получаем,что

Х { 3 2 1 } = 16, 0, - 2 , 0, 0, 0, 1, 0, 0, 0, - 2 .

Нет необходимости продолжать эту процедуру дальше, по­ скольку, как легко показать, имеют место соотношения

Х ^ Х « , в > = х т ,

(23)

Гл. 2. Симметрическая группа 5П

105

с помощью которых остающиеся характеры очень легко составить по уже вычисленным.

Окончательно мы приходим к следующей таблице характеров группы Se:

Класс

(1°)

О4 2)

(133)

(I2 4)

(1* 2")

(123)

(15)

(6)

(24)

(23)

г)

Порядок

1

15

•10

90

45

120

144

120

90

15

40

{6}

 

1

1

1

1

1

1

1

1

1

1

1

{51}

 

5

3

2

1

1

0

0

—1

- 1

—1

— 1

(42}

 

9

3

0

—1

1

0

—1

0

1

3'

0

{412}

10

2

1

0

—2

—1

0

1

0

2

1

{32}

 

5

1

—1

—1

1

1

0

0

—1

—3

2

{321}

16

0

—2

0

0

0

1

0

0

0

—2

{23}

 

5

—1

—1

1

1

—1

0

0

—1

3

2

{313}

10

2

1

0

—2

1

0

—1

0

2

1

{22

12}

9

—3

0

1

1

0

—1

0

1

—3

0

{214}

5

—3

2

—1

1

0

0

1

—1

1

—1

{16}

 

1

—1

1

—1

1

—1

1

—1

1

—1

1

Отметим, что при составлении таблицы характеров для любой группы Sn нам необходимо знать таблицы характеров младших групп до порядка /- не больше /г/2.

В литературе имеются полные таблицы характеров симметри­ ческих групп до порядка 16! [12, 13, 23—26].

3

ФУНКЦИИ ШУРА В ТЕОРИИ СИММЕТРИЧЕСКОЙ ГРУППЫ

3.1. Симметрические функции

Теория симметрических функций [13, 27—29] существенно используется во всех разделах теоретической физики, в которых применяются методы теории групп. Можно рассматривать симмет­ рические функции, зависящие от п неизвестных см, ct2, ..., сс„, трех разных, но тесно связанных между собой типов.

3.2. Элементарные симметрические функции

Элементарные симметрические функции определяются следую­ щим образом [29]:

ß 2 = S а 1 а 2 .

а 3 = 2 а 1 а 2 а 3 .

а „ = = а , а, . . . а„.

(24)

Эти функции непосредственно связаны с алгебраическим уравне­ нием, корнями которого являются числа ai, а.г, . •., соп:

— а.1)(х — 2) . . . „)=х"

— а1хп~і-{-а2Х"~2

. . • +

+

{-\уап=0.

 

Коэффициенты а,- в этом уравнении можно получить также как коэффициенты разложений по степеням х следующих производя­ щих функций g(x) и f{x):

g(*) =

П

(X- а,;) =

2 «г ( - 1 У хп~г

(25)

и

Il

 

II

 

 

 

 

/ ( * ) =

П

(1 ,х)

=2 сьГ ( - 1 ) ' * ' .

(26)

/ = 1

г = 0

Гл. 3. Функции Шура

107

3.3. Функции, являющиеся однородными суммами одночленов

Рассматривая коэффициенты разложения функции l//(-t) по степеням х, получаем другую систему симметрических функции, являющихся однородными суммами одночленов, которые обозна: чаются через Л,.. Порождающий эти функции ряд имеет, таким об­ разом, следующий вид:

со

 

F(x)=l//(A-)=2 hrx',

(27)

где /го = 1. Отметим, что

 

F{x) = \lTl (1 - а , л : ) = І І ( і + а / л : + а ? л : 2 + а ? л 3 + • • •)•

(28)

Сравнивая (27) и (28), легко заключить, что симметрические функции hr являются однородными суммами различных одночленов степени г, составляемых из а*, т. е.

Лз=2 а ?+2 а і а 2 +2 а і а 2 а з .

(29)

и т. д.

t

3.4. Степенные суммы

Симметрические функции третьего типа — это так называемые степенные суммы Sr, которые просто являются суммами /--степе­ ней а,-, т. е.

5 г = 2 > ь

(30)

Производящая функция для этих степенных сумм может быть по­ строена следующим образом. Возьмем функцию

/(х)=Щ\-ЩХ)

и ее логарифм

i o g / c * ) = ; s logo

Дифференцирование этой последней функции дает искомую про­ изводящую функцию

ѴЛ /

2

3 3

\

--2,{—а.1 — а1х — о.іх — ...)--

108

Б. Вайборн. Теоретико-групповые методы

3.5. Функции Шура

Различные соотношения, выражающие функции а,-, Іг,- через функции Sr, можно получить, оперируя с разными формулами для производящих функций [29]. Для нас особенно важны два типа соотношений, которые выражают a,-, hr через S,-. Чтобыописать их, рассмотрим матрицу

'Su

1,

0,

0, . .

 

о

 

52 ,

5,,

2,

0, . .

 

о

 

53 ,

S.2)

S,,

3, 0,

 

о

(32)

 

 

 

. So,

Si,

-1

 

L A ,

sr_

 

• S3,

S2,

S,

 

построенную из степенных сумм. Как легко показать, для этой мат­ рицы имеют место соотношения

г! ar=\Zr\

(33)

r\h,=\Z,\

(34)

в которые входят два частного вида пммананта матрицы

[ZT]\ мо­

жно ожидать, что и другие имманаиты этой матрицы не менее

важны. Так мы приходим к так называемым функциям

Шура

(со­

кращенно S-функции).

 

 

 

 

 

Пусть (X) =

(ki, X;, ...,

Кр)—некоторое

разбиение

/• на

убы­

вающие целые числа. Тогда S-функция, связанная с этим разбие­

нием и обозначаемая символом

 

 

 

 

 

{А}^{,\,,

Х2,

Ір],

 

 

или, более точно, соответствующая S-функция веса г, определяется

соотношением

 

 

 

 

 

 

 

 

г! [k} =

\Zr

 

 

(35)

Вес S-функции

совпадает

с весом соответствующего

разбиения

) . Согласно (33) и (34), имеем (как частные случаи последнего

соотношения)

 

[г) = А, и [Ѵ\^аГ.

(36)

Пусть, далее, р обозначает класс (1а 2Р ... ) порядка р симмет­ рической группы S,. порядка г! и пусть по определению Sp = = S^SP ..., где Si, S2, . . . — симметрические функции, являющиеся

степенными суммами; тогда легко выразить суммы произведений

составленные из элементов матрицы [ZT] [см. выра-

Гл. 3. Функции Шура

109

типа

р

жение (18)], через величины Sp (индекс при Р обозначает символ перестановки класса р), просто используя известные соотноше­ ния [29]

и

ar=^(±hfS9)

 

 

(37)

 

 

 

 

что дает

ar=Z(±Ps),

 

 

(38)

 

 

 

 

 

%Ps=hfSt.

 

 

(39)

 

р

 

 

 

Знак плюс надо брать для четных и знак

минус — для

нечетных

перестановок. Суммирование в (39) производится

по всем

переста­

новкам класса р.

 

 

 

Сравнивая

(17), (35) и (39), сразу получаем

очень

важную

формулу для рассматриваемых функций Шура

 

 

 

r!{4=2x( P%Sp,

 

 

(40)

которая иллюстрирует неразрывную связь,

существующую между

5-функциями

и характерами симметрической группы.

 

3.6. Формула Фробениуса для вычисления характеров

симметрической группы

Широкоизвестная формула Фробениуса, которую можно исполь­ зовать при вычислении характеров симметрической группы, непо­ средственно следует из формулы (40). Если умножить обе части равенства на %W и просуммировать по всем разбиениям (Я) с ис­ пользованием соотношений ортогональности групповых характе­ ров, то получим формулу

Заменяя далее о на р и умножая на знакопеременную функцию

А (а,,

. . . а„) = П

г3)

= Ж

± ^ Г

2

. . . *„_,).

получаем окончательно

 

 

 

 

 

 

SÏSlSl . . .

. . ., а„)=2(±Х ( Р Ѵ +

П - 1 а ^ + " - 2

. . . аХв).

(41)

Это и есть

известная

формула

Фробениуса

[30]. Суммирование

в правой части ведется по всем перестановкам

нижних

индексов

при а со знаком минус для нечетных перестановок.

 

по

Б. Вайборн. Теоретико-групповые методы

При использовании формулы Фробениуса (41) для вычисления характеров надо приравнивать в правой и левой ее части коэффи­ циенты при a* i + n - 1 ak + n - 2 .. . crV Практически, однако, такое при­ равнивание (хотя оно и дает возможность построения всех харак­ теров) оказывается довольно громоздким, кроме самых простых случаев. В настоящее время имеется довольно обширная литера­ тура по описанию различных процедур вычисления характеров симметрической группы [10—13, 20, 30—35], однако здесь мы не будем останавливаться на этом вопросе.

3.7. Внутренние и внешние произведения для группы Sn

Введение в теорию симметрической группы понятий внутреннего и внешнего произведении неприводимых представлений исключи­

тельно важно

как для самой теории симметрической группы, так

и для теории

полной линейной группы. Ввиду тесной связи, су­

ществующей между этими двумя группами [6, 11], основные ре­ зультаты теории полной линейной группы и ее подгрупп можно вывести из соответствующих результатов, полученных для симмет­ рической группы. Кроме того, существует изоморфизм между муль­ типликативными свойствами 5-функций, или функций Шура, и мультипликативными свойствами групповых характеров симметри­ ческой группы и полной линейной группы, использование которого приводит к существенным упрощениям всей теории характеров этих групп.

3.8. Внутреннее произведение

Пусть (Si)P и (Si)a обозначают матрицы, представляющие эле­ менты Si в двух неприводимых представлениях р и о группы Я; тогда кронекеровские произведения этих матриц

№ ) Р Х ( 5 , - Г дают матрицы некоторого другого представления Я, называемого

внутренним произведением указанных неприводимых представле­ ний; это представление обозначается символом о ° а. Исследование

внутренних

произведений

неприводимых

представлений

связано

с изучением

структуры разложений произведений характеров

 

 

Х Ѵ = 2 £ Р , , Х " .

 

(42)

 

 

 

 

3.9.

Внешние произведения

Составим теперь кронекеровские произведения матриц

(S;)0 и

(S'.)a

двух представлений

разных

групп Я и Я' . Эти матрицы да­

дут

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

группы, являющейся

прямым

Гл. 3. Функции

Шура

Ш

произведением этих групп, т. е. группы НхН'\

обозначим его рХ

Хо\ Если прямое произведение групп

НхН'

является подгруппой

некоторой другой конечной группы Н", то мы будем называть

представление

Н",

связанное с

 

неприводимым

представлением

р Х а

ее подгруппы

НхН',

внешним

произведением

р • а.

Обратим

внимание,

что

кружок

( = ) используется

нами

для

обозначения

внутренних

произведений,

а точка

( • ) — для обозначения

внешних

произведений.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3.10. Внешние произведения и 5-функции

В случае симметрической группы следует положить H = Sn, #'

=

= Sm

и # " = 57 Г 1 + ,г

в приведенном

выше

определении

внешнего

произведения.

 

 

 

 

 

 

 

 

 

 

 

Литтлвуд и Ричардсон

[12] показали, что обычное

произведение

двух

5-функций

{р} и

{с}

весов

m

и п соответственно можно

вы­

разить в виде суммы 5-функций

{ѵ} веса

пъ + п с

целочисленными

коэффициентами, т. е. имеет место формула

 

 

 

 

 

 

 

 

 

{р} w = 2 r

F « H -

 

 

 

(43)

Они показали, также, что существует изоморфизм между обыч­

ными

произведениями

5-функций

и внешними произведениями

р • сг

неприводимых

представлений

p X ö симметрической

группы.

Другими словами,

существует взаимно-однозначное соответствие

между разбиениями

(р),

(а) и (ѵ),

появляющимися при

обозначе­

ниях 5-функций в (43), и теми разбиениями, которые нумеруют не­ приводимые представления симметрической группы, возникающие при разложении внешнего произведения рХо\

Приведем теперь несколько конкретных примеров на составле­ ние произведений 5-функций, а затем сформулируем общее пра­ вило.

Рассмотрим сначала произведение {1}{1}. Согласно (24), (29) и (36), мы получаем

и, поскольку

{ 1 2 } = 2 « і « 2,

заключаем, что

{1}{1} = {2} + {12}

или на диаграммах:

112

Б. Вайборн. Теоретико-групповые методы

Рассмотрим теперь произведение {2}{1 2 } . Для него получаем

(2) = Л 2 = ^ <4-f-Tj °Ча2,

поэтому

{ 2 } ; { i 2 } = ( E « i + S « ^ ) ( 2 ^ 2 ) =

= 2 а і а 2 ~ г 2

a?a2a3-j-6 2 а,а2 а3 а4.

Как следует из вышесказанного, это произведение можно выра­ зить в виде суммы 5-функций веса 4 с целочисленными коэффи­ циентами. Действительно, используя формулу (40) и таблицу ха­ рактеров группы 54, легко получить

4! {31 ) =3S?+65?52 - 654 - 3SÎ,

4! {21 2 }=35f - 65?52 + 6 5 2 + 6 5 4 - 3522,

откуда

{31) + {21}2 =

С использованием определения

степенных сумм (30) получаем

окончательное разложение

 

 

 

{2}{12 } =

(31} +

 

{212 ),

или на диаграммах:

 

 

 

ш . д = г

- р п

+

J

 

 

 

Рассмотрев такого рода примеры, можно сформулировать об­

щее правило

[11, 12] для

составления

произведения {р}{о} соот­

ветствующих

5-функций.

 

 

В разложении произведения 5-функций

 

{Р} { = } = {Рь

92, • • ; 9m)

°2, • • -, °л)

появляются 5-функции, соответствующие всем тем диаграммам, которые можно построить, добавляя всеми возможными способами

к диаграмме, соответствующей разбиению

(р), оч идентичных

сим­

волов

а, 02 идентичных

символов ß, Оз символов

у

и т. д. таким

образом, чтобы не нарушались следующие

правила:

 

 

1. После добавления

каоюдого нового символа

не

возникает

ди­

аграмм

с двумя идентичными символами,

стоящими

в одном и том

же столбце.

 

 

 

 

 

 

Гл.

3. Функции

Шура

 

 

 

 

 

 

113

2.

Если

после добавления

каждого

нового

символа

считать,

дви­

гаясь

справа

налево

по

строкам,

начиная

с

самой

 

верхней

строки

диаграммы,

число

символов

а, ß,

у и

т. д.,

встречающихся

до

дан­

ной ячейки

диаграммы,

то всегда

число символов

 

a

долоісно

быть

больше или равно числу символов

ß,

число

символов

 

ß больше

или

равно

числу

символов

у и т. д:

 

 

 

 

 

 

 

 

 

3.

Диаграмма

после

добавления

каждого

нового

 

символа

дол­

жна оставаться

регулярной.

 

 

 

 

 

 

 

 

 

В качестве примера рассмотрим произведение

 

{32}{22 1};

для

него имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

я

 

 

а

 

 

 

 

гпп

 

 

 

 

 

 

 

е

р

ш

ß

ß

 

 

 

 

 

 

 

 

 

 

 

 

•/

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

»1

 

 

 

 

H +

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

а

ß

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ß

ß

 

 

 

а

ß

 

 

 

ß У

 

 

 

 

 

 

У

 

 

 

!"

ß_

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

У

 

 

 

 

 

 

 

 

 

 

 

 

1 I"

+

 

 

3

+

 

 

 

 

 

 

 

 

У

а У

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ß

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

ß

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г

 

 

 

 

 

 

 

 

 

 

 

Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

{32} {221} =

(541} +

{5312} +

{532} +

(5221} 4- {4321} +

{423} 4-

 

 

 

4- {42212} 4- {422 } 4- (4212} + {4321} 4- {4313} 4- {32212}

+

 

 

+

{32 22 } +

{323 l).

 

 

 

 

 

 

 

 

 

(44)

Правильность получаемых разложений внешних произведений {р} • {а} можно проверить по размерности, если учесть, что как следствие соотношения

мы имеем [11]

(45)

8 Зак. № 279

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