II. Тензоры. 2.2. Тензорная алгебра

Сумма и разность тензоров

Определим сумму двух тензоров второй валентности T и G как тензор Q с компонентами

Qij = Tij + Gij

(17)

Точно также определяется сумма тензоров любой другой валентности. В соответствии с последней формулой любой тензор может быть представлен в виде суммы двух или более тензоров.

Если все компоненты тензора T умножить на один и тот же скаляр l, то в результате мы получим новый тензор с компонентами lTik…r. Если положить l=-1, от суммы двух тензоров нетрудно прийти к разности двух тензоров

Qij = Tij + (–1) Gij = TijGij.

Последние два утверждения очевидны при применении формулы (8) или (16).

Теорема. Всякий тензор валентности 2 может быть разложен, притом единственным способом, на сумму двух тензоров, из которых один будет симметричным, другойантисимметричным.

Доказательство.

Пусть дан тензор Q. Представим его в виде суммы симметричного S и антисимметричного A тензоров: Q = S + A. То же сделаем для сопряженных тензоров Q* = S* + A*. Учитывая, что S* = S и что A*=-A, получим Q*=S - A. Отсюда находим, что

Сумма тензоров есть тензор. Компоненты этих тензоров имеют вид

(18)

Очевидно, первое выражение представляет компоненты симметричного тензора S, второеантисимметричного тензора A, а компоненты исходного тензора могут быть записаны в виде

(19)

Сумма тензоров S и A дает исходный тензор Q, следовательно, теорема доказана.

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

Если компоненты тензора не меняются при перестановке любой пары индексов, такой тензор называют абсолютно симметричным. Если компоненты тензора меняют знак на обратный при перестановке любой пары индексов, такой тензор называют абсолютно антисимметричным.

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

Пусть даны тензор второй валентности T и вектор a. Под скалярным (внутренним) произведением тензора T и вектора a будем понимать новый вектор b = T× a, компоненты которого равны

bi = Tijaj

(20)

или

b1 = T11 a1 + T12 a2 + T13 a3;

b2 = T21 a1 + T22 a2 + T23 a3;

b3 = T31 a1 + T32 a2 + T33 a3.

Убедимся, что полученный геометрический объект является вектором. При переходе к другой прямолинейной прямоугольной системе координат

bi¢ = Ti¢ j¢ aj¢ = ai¢ k aj¢ l Tk l aj¢ p ap = a i¢ k (aj¢ l aj¢ p) Tk l ap =

= a i¢ k d l p Tk l ap = a i¢ k Tk l al = a i¢ k bk;

здесь использованы соотношение (15) и свойства символа Кронекера. В соответствии с определением вектора по формулам (1.48) – (1.50) внутреннее произведение тензора и вектора является вектором.

Под скалярным (внутренним) произведением вектора a и тензора T будем понимать новый вектор c = a× T, компоненты которого равны

ck = aiTi k

(21)

или

c1 = a1T11 + a2T21 + a3T31; c2 = a1T12 + a2T22 + a3T32; c3 = a1T13 + a2T23 + a3T33.

Легко увидеть, что

a × T = T*× a

(22)

Аналогично скалярному произведению вектора и тензора определяется скалярное (внутреннее) произведение двух тензоров второй валентности T и G: Q=T× G. Компоненты этого тензора

Qik = TijGjk.

Компоненты тензора G× T равны Gi kTk l, т. е.

G × T = T*× G*.

(23)

Как видим, внутреннее произведение тензоров некоммутативно.

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

Внешним произведением двух тензоров T и G второй валентности называется тензор Q четвертой валентности с компонентами

Qijkl = TijGkl. (24)

Так же определяется внешнее произведение тензоров произвольной валентности. У тензорапроизведения сначала идут индексы первого сомножителя, затемвторого. Отсюда ясно, что и внешнее произведение тензоров некоммутативно. Валентность тензора, являющегося внешним произведением двух тензоров, равна сумме валентностей сомножителей. Так, например, внешнее произведение двух тензоров валентности 1 (векторов) a и b дает тензор C второй валентности с компонентами Cik = ai bk.

Свертка

Сверткой (свертыванием) тензора называется следующая операция: два индекса у всех компонент Ti…qrs…uvw…y тензора T принимаются одинаковыми, и по ним производится суммирование. Валентность получившегося тензора Q с компонентами

Qi…qs…uw…y = Ti…qrs…urw…y (25)

будет на 2 меньше, чем у исходного.

Внешнее произведение двух тензоров любой валентности с последующей сверткой по заданной паре индексов дает внутреннее произведение этих тензоров. Результат получится, очевидно, различным для различных пар индексов, по которым производится свертывание.

В случае, когда валентность тензора T равна 2, свертка дает тензор нулевой валентности, т. е. скаляр. Этот скаляр называется следом (или шпуром) тензора. Он равен сумме диагональных компонент тензора T:

Sp(Tik) = Tii = T11 + T22 + T33 (26)

Скаляр сохраняется при преобразованиях координат. Следовательно, след тензора представляет собой инвариант (его значение не меняется при переходе к другой прямолинейной прямоугольной системе координат).

Псевдотензоры

Выясним, как преобразуются компоненты тензора валентности r при инверсии координатных осей, когда a j¢ i=-dj¢ i. В этом случае входящее в формулу (16) произведение

a l¢ i ak¢ jan¢ m = (–1)rd l¢ id k¢ jd n¢ m

будет равно нулю, если хотя бы у одного символа Кронекера индексы имеют различные значения, или (–1)r, если l¢ = i, k¢ = j,…,n¢ = m. Если r нечетно, все компоненты истинного тензора при инверсии координат меняют знак на обратный.

Псевдотензором валентности r в трехмерном пространстве называется совокупность 3r величин, которые при поворотах ведут себя как компоненты обычного тензора, а при инверсии координат каждая компонента умножается на (–1) r + 1.

Если r нечетно, все компоненты псевдотензора при инверсии координат сохраняют знак. Результатом свертывания псевдотензора будет снова псевдотензор. Действительно, в результате свертки четность валентности сохраняется, а формулы преобразования инверсии отличаются множителем (–1)2. Примерами псевдотензоров могут служить векторное произведениепсевдотензор первой валентности, любое произведение

Pij…lmn…s = Pij…l Tmn…s

псевдотензора Pij…l и тензора Tmn…s. Чтобы убедиться в истинности последнего утверждения, достаточно рассмотреть следующую таблицу:

Pij…l

Tmn…s

Pij…lmn…s

Валентность

Знак при инверсии

Валентность

Знак при инверсии

Валентность

Знак при инверсии

четная

изменяется

четная

не изменяется

четная

изменяется

четная

изменяется

нечетная

изменяется

нечетная

не изменяется

нечетная

не изменяется

четная

не изменяется

нечетная

не изменяется

нечетная

не изменяется

нечетная

изменяется

четная

изменяется

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

Примером псевдотензора служит также кососимметричный символ Кронекера eijk единичный абсолютно антисимметричный псевдотензор третьей валентности. Рассмотрим этот вопрос подробнее.

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

(27)

Введем следующие обозначения:

Здесь в качестве векторов uvw выступают орты штрихованной системы координат. Формула (27) с учетом соотношения (I.43) примет вид

Если индексы l¢ m¢ и n¢ различны и получены путем циклической перестановки индексов 1¢ , 2¢  и 3¢ , справа мы получаем объем куба, построенного на трех ортах штрихованной системы координат, который равен единице. Аналогично если индексы l¢ m¢  и n¢ различны и получены путем циклической перестановки индексов 1¢ , 3¢  и 2¢ , справа мы получаем объем того же куба, но со знаком “минус”, т. е. –1. В оставшихся случаях получается скалярное произведение взаимно перпендикулярных векторов, которое равно нулю.

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

Если r нечетно, все компоненты псевдотензора при инверсии координат сохраняют знак. Примерами псевдотензоров могут служить векторное произведениепсевдотензор первой валентности, любое произведение тензора и псевдотензора, кососимметричный символ Кронекера eijkединичный абсолютно антисимметричный псевдотензор третьей валентности.