Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
Приложение. Диаграммная система записиОдной из проблем, встречающейся каждому, кто работает с тензорами, спинорами и подобными им величинами, является проблема записи различных соотношений. Формулы перегружены многочисленными мелкими индексами, причем каждая буква, используемая в данном выражении, сама по себе не существенна, а значение имеет лишь соответствие между символами, стоящими в различных местах. Конечно, эта особенность обозначений характерна и для многих других типов выражений, встречающихся в математике: например, в интеграле
у — «немая» переменная и буква х не имеет особого значения для выражения в делом. Однако в сложных тензорных выражениях может встретиться очень много таких «не имеющих смысла» символов. Это в особенности относится ко многим предварительным вычислениям, которые (вполне справедливо) обычно не публикуются. Индексы становятся все мельче и мельче, так что они едва различимы один от другого. Вместе с тем взаимоотношение между положениями отдельных индексов, которое именно и является важным, порой трудно понять без тщательного разбора такого выражения. Один из путей обхода этой трудности с обозначениями, часто предлагавшийся, состоит в том, чтобы использовать некие безындексные обозначения для определенных операций (например, сверток или антисимметризованных произведений), а к ним сводить и другие представляющие интерес операции. Примером может служить известная трехмерная векторная алгебра, содержащая скалярные и векторные произведения. Другим примером может служить грассманово (или картаново) исчисление кососимметричных форм (гл. 4, § 3, 13). Но пределы применимости такой записи тензорных и спинорных соотношений, вообще говоря, довольно ограничены, а кроме того, теряется прозрачность основных правил тензорной (спинорной) алгебры. Ниже описывается другая, диаграммная, система записи [141, 38, 39]. В ней индексы как таковые не используются, однако сохраняется ясный смысл основных правил действий с ними. Эта система записи оказалась очень полезной на практике, так как она сильно упрощает вид сложных тензорных или спинорных уравнений, делая понятными с первого взгляда взаимоотношения между входящими в них величинами. К сожалению, эта система записи, по-видимому, пригодна лишь для предварительных расчетов, поскольку диаграммы не могут быть набраны обычными типографскими средствами. Сначала мы опишем общую схему представления тензорных формул согласно этой системе. Затем следуют некоторые специальные предписания для спиноров, хотя возможны вариации в отдельных случаях. Основная идея состоит в том, чтобы представлять свертку не парой одинаковых букв, стоящих в разных местах в данном выражении, а линией, соединяющей соответствующие места в символах, изображающих тензор. При этом каждый член превращается в некоторую диаграмму. Чтобы предельно упростить такие диаграммы, произведения тензоров или спиноров можно изображать, не только располагая соответствующие символы по горизонтали, - но используя также вертикальное или косое расположение. (Непротиворечивость такой записи гарантируется законами коммутативности и ассоциативности умножения.) Индексы, по которым свертка не производится, изображаются линиями со свободными концами; верхние (контравариантные) индексы можно изображать линиями, обрывающимися в верхней части диаграммы («руки»), а нижние Очень характерны диаграммы, изображающие дельта-символы Кронекера и выражения, построенные из дельта-символов. Символ Кронекера изображается просто линией (не прикрепляющейся ни к какому символу тензора или спинора), проводимой примерно в вертикальном направлении. В таком представлении заложены правила
поскольку для записи левых частей достаточно продолжить уже имеющиеся линии. Операторы перестановки получают
Рис. П.1. Диаграммное изображение тензорного равенства. естественное изображение в виде пересекающихся прямых («диаграммы Эйткена» [6]). Чтобы получить произведение двух перестановок, достаточно поместить одну диаграмму над другой, соединить соответствующие линии, а затем распрямить их (рис. П.2). Таким путем изображается произведение вида
где Операторы симметризации и антисимметризации представляются в виде сумм и разностей таких выражений. Удобно иметь специальные символы для обозначения этих операций, вместо того чтобы записывать суммы в явном виде. Совокупность
Рис. П.2. Операторы перестаиовок как произведения дельта-символов Кронекера.
Рис. П.3. Симметризаторы и антисимметризаторы. вертикальных прямых, перечеркнутых одной волнистой линией, будет изображать сумму всех перестановок с теми же концами (рис. П.3). Таким образом, это
Чтобы изобразить симметричную часть тензора с Если задан (симметричный, невырожденный) метрический тензор
Рис. П.4. Некоторые свойства симметризующего и антисимметризующего тензоров. «изогнутый», а обратный тензор удобно представить тем же символом в перевернутом виде. Тогда соотношение Ковариантную производную удобно обозначать, обводя дифференцируемое выражение кружком, к которому прикрепляется идущая вниз внешняя линия, изображающая индекс производной. Это иллюстрируется на рис. П.8, где также приведены
Рис. П.5. Групповые симметризаторы и антисимметризаторы, некоторые простые свойства.
Рис. П.6. Альтернирующий тензор и его свойства. диаграммные изображения тензоров, кручения и кривизны. На рис. П.9 с целью демонстрации компактности такой записи дается прямой вывод тождеств Бианки при наличии кручения. На рис. П. 10 изображены свойства тензора Римана в стандартной (псевдо) римановой геометрии (включая симметрию, отвечающую схеме Юнга, стр. 186). Для спиноров возможны различные обозначения, в которых, однако, должно проводиться четкое различие между штрихованными
Рис. П.7. Метрический тензор. (кликните для просмотра скана) (кликните для просмотра скана) (кликните для просмотра скана)
Рис. П.14. Спиноры, описывающие кривизн.
Рис. П.15. Спинорные тождества Риччн и Бианки. и нештрихованными индексами, например с помощью линий, проводимых под разными углами к вертикали (рис. П.11), или с помощью двух цветов. На практике, правда, в этом зачастую нет необходимости, так как обычно нештрихованные индексы располагаются слева в каждом выражении, а штрихованные справа, и можно использовать одинаковые линии индексов, не боясь путаницы. Тензорные индексы всегда можно представить в виде пары спинорных индексов, т. е. изобразить парой линий. Комплексное сопряжение удобно рассматривать как отражение в вертикальной плоскости. Отсюда следует требование,
Рис. П.16. Диаграммные обозначения для твисторной теории. чтобы линии, изображающие индексы На рис. П. 13 показаны обозначения для спинорных ковариантных производных, а на рис. П.14 предложены символы для спиноров, описывающих кривизну. Тождества Риччи и Бианки изображены на рис. П. 15. В отдельных случаях может оказаться удобным отклониться от предлагаемых правил, которые лишь указывают принцип построения. Например, в теории твисторов, к которой мы обратимся в т. 2, комплексное сопряжение соответствует перестановке верхних и нижних индексов, а потому его удобнее рассматривать как отражение в горизонтальной плоскости. Если имеются и спинорные, и твисторные индексы, то иногда удобнее проводить линии спинорных индексов горизонтально, а не вертикально. Возможные диаграммы показаны на рис. П.16.
|
1 |
Оглавление
|