книги из ГПНТБ / Джадд Б. Теория сложных атомных спектров
.pdf104 |
Б. Вайборн, Теоретико-групповые методы |
Пользуясь формулами (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, . . . — симметрические функции, являющиеся
степенными суммами; тогда легко выразить суммы произведений
Гл. 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 |
+ |
|
|
|
|
||
|
|
|
|
У |
1°\ß |
а У |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
ß |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а |
ß |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
г |
|
|
|
|
|
|
|
|
|
|
|
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
{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