Обозначения и определения тензорной алгебры

РЕФЕРАТ

На тему:

Обозначения и определения тензорной алгебры

Содержание

 

1. Индексные обозначения

2. Условие о суммировании

3. Сложение, умножение и свертывание объектов

4. Симметричные и антисимметричные объекты

Литература

1. Индексные обозначения

Система индексных обозначений составляет столь значительную часть тензорного исчисления, что читатель, освоившись однажды с ее особенностями, сможет идти дальше самостоятельно. Поэтому мы посвятим настоящую главу только самой системе обозначений, изложив кратко ее применение лишь к теории определителей, и отложим до следующей главы собственно тензорную алгебру. Если нам дана совокупность трех независимых переменных, то они могут быть обозначены тремя различными буквами, например х, у, z, но мы считаем более удобным обозначать переменные данной совокупности одной и той же буквой, различая их посредством индексов. Таким образом, мы можем записать три переменные в виде xv х2, х3, или в более компактной форме:

Здесь мы написали индекс г внизу, но в равной мере мы могли бы использовать вместо этого верхний значок, так что переменные были бы записаны в виде х1, х2, х3, или

Понятно, что х^г не означает возведения х в r-ю степень; индекс г используется просто для того, чтобы различить три переменные. Впоследствии мы будем использовать как верхние, так и нижние индексы; в следующей главе мы припишем положению индекса специальный смысл. В дальнейшем мы увидим, что для наших переменных удобна форма записи 2), а не 1).

Однородная линейная функция переменных обычно записывается в виде

где а,, а2, а3 —константы. Таким образом, коэффициенты линейной формы могут быть записаны в виде

Объекты, которые, подобно хт и ат, зависят только от одного индекса, называются объектами первого порядка, а отдельные буквы с индексами х1, х2, х3 и аг, а2, а3 называются элементами или составляющими объекта. Объекты первого порядка, имеющие три составляющие, назовемтрехмерными. Имеются два типа объектов первого порядка, а именно те, у которых индекс вверху, и те, у которых индекс внизу; следовательно, все объекты первого порядка принадлежат к одному из двух типов

С другой стороны, однородная квадратичная функция трех переменных имеет вид

где a_mn —константы. Мы видим, что коэффициенты квадратичной формы зависят от двух индексов и записываются так:

Объекты, которые зависят от двух индексов, называются объектами второго порядка. Из того, что индексы бывают верхние и нижние, следует, что объекты второго порядка могут быть трех типов:

Легко видеть, что в этом случае каждый объект имеет 9 составляющих.

Аналогично можно получить объекты третьего порядка, которые будут зависеть от трех индексов и могут принадлежать к любому из четырех типов:

Здесь каждый объект содержит З3 или 27 составляющих. Мы можем

продолжать это построение и получить объекты любого порядка. Для законченности этой последовательности мы назовем объект а, не имеющий индексов, объектом нулевого порядка. Мы взяли число измерений равным трем лишь для определенности. Все, что было сказано выше, применимо также к любому числу измерений, если условиться, что число значений, пробегаемых индексом, равно ¦ числу измерений. Например, если число измерений равно четырем, следует считать, что индексы могут пробегать значения от 1 до 4, а но от 1 до 3, как предполагалось выше.

2. Условие о суммировании

Мы введем теперь два важных условия относительно индексов. В тензорном исчислении мы часто имеем дело с суммами типа C) и E); нетрудно заметить, что в этих формулах индексы, по которым идет суммирование, появляются дважды. Наши формулы можно сделать компактнее, если избавиться от знака 2- Это может быть осуществлено, если принять, что знак 2 будет подразумеваться в любом случае, когда в одночленном выражении индекс повторяется. Тогда C) можно записать так:

а (5) примет вид

Единственное неудобство в применении нашего условия возникает в том случае, когда мы желаем выписать один член какой-либо из сумм (8) или (9). Нам это потребуется очень редко, но мы запасемся для этого случая соглашением, что условие о суммировании применяется только, когда повторяющийся индекс записан малой буквой, а использование заглавных букв для повторяющихся индексов не означает суммирования. Таким образом, отдельные члены сумм (8) и (9) будут обозначаться соответственно. Наше первое условие, следовательно, читается так:

Повторяющийся малый латинский индекс означает суммирование от 1 до 3.

Так как повторяющийся индекс означает суммирование от 1 до 3, то применение какой-нибудь специальной буквы для повторяющихся индексов не обязательно, и мы можем заменить ее любой буквой, которая нам удобна, без изменения значения рассматриваемого выражения. Таким образом,

По этой причине повторяющийся индекс часто называют немым. Индекс, который в каком-нибудь одночленном выражении не повторяется, назовем свободным. Таким образом, все индексы в формулах D), F) и G) —свободные индексы; следует отметить, что в. этих формулах свободные индексы пробегают значения от 1 до 3. Мы имеем, следовательно, наше второе условие:

Свободные (неповторяющиеся) малые латинские индексы пробегают значения от 1 до 3.

Например, объект второго порядка будет теперь записываться в виде

без какого-нибудь дополнительного упоминания о числе значений, пробегаемых г и s. Другими словами, ara означает любую из девяти составляющих

Отметим, что почти всегда немой индекс будет появляться в одним верхнем и в одном нижнем положении. Поскольку это окажется возможным, в настоящей главе мы будем придерживаться такого расположения индексов.