
1386
.pdfпризнак тензорности величин. Сформулируем признак тензорности для девяти величин, являющихся определением тензора 2-го ранга.
Пусть Ai , Bi |
компоненты двух произвольных |
векторов; |
если с |
||||||||||||||||
помощью |
девяти |
величин |
Tik |
можно |
образовать |
инвариант вида |
|||||||||||||
Tik Ai Bk inv, то |
девять |
величин |
Tik |
образуют |
тензор |
2-го |
ранга. |
||||||||||||
Действительно, |
в |
силу |
|
|
инвариантности этого |
выражения и |
закона |
||||||||||||
преобразования |
компонент |
|
векторов Ai |
и Bi |
|
при переходе к |
другой |
||||||||||||
произвольной системе декартовых координат имеем |
|
|
|
|
|
||||||||||||||
T A B |
T A B T |
k m |
A B |
, |
|
|
|
|
|
|
|
|
|
|
|||||
ik i k |
lm l m |
lm i l |
|
|
i k |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
0. |
|
|
|
|
|
|
|
|
|
|
|
|||
или (Tik i l k mTlm ) Ai Bk |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Отсюда в силу произвольности векторов |
A и |
B имеем |
|
||||||||||||||||
Tik i l k mTlm. |
|||||||||||||||||||
Эта формула преобразования величин Tik доказывает их тензорность. |
|||||||||||||||||||
10. Линейное n -мерное пространство. Вектор и тензоры в n - |
|||||||||||||||||||
мерном пространстве. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
В математике часто |
|
приходится иметь дело с совокупностями |
|||||||||||||||||
(множествами) |
некоторых |
|
|
|
объектов. |
Эти объекты могут иметь самую |
Разнообразную природу; их называют элементами совокупности.
Точка является элементом привычного трехмерного пространства.
Совокупность всевозможных точек образует трехмерное пространство.
Точка |
трехмерного пространства |
определяется тремя независимыми |
параметрами (координатами). В то |
же время во многих разделах |
математики (линейная алгебра, геометрия, теория функций) и
теоретической физики (статистическая физика, теория относительности)
приходится рассматривать множества таких объектов, каждый из которых определяется не тремя, а в общем случае n параметрами.
Совокупности таких объектов, оказывается, обладают теми же свойствами, что и привычное трехмерное пространство, а отличаются от него лишь тем, что их элементы имеют не три, n координат. Так, для
21

элементов таких совокупностей имеются правила сложения и правило
умножения на число. Эти правила удовлетворяют тем же условиям
(аксиомам), что и правила сложения векторов и умножения вектора на скаляр; коммутативность, ассоциативность, дистрибутивность и др.
A B B A - коммутативность;
( A B) C A (B C) A B C - ассоциативность;
A(B C) AB AC - дистрибутивность.
В такой совокупности можно ввести понятия нулевого элемента,
противоположного элемента и т.д.
Такая совокупность объектов называется линейным (аффинным)
пространством. |
|
11. Примеры линейных пространств |
|
1. Совокупность решений однородной системы |
линейных |
алгебраических уравнений образует линейное пространство (сумма двух произвольных решений системы есть снова решение той же системы;
произведение решения на произвольное число дает снова решение);
2.Совокупность всех многочленов степени, не превышающей некоторого натурального числа n , с обычными правилами сложения и умножения их на число образуют линейное пространство;
3.Совокупность свободных векторов на плоскости;
4.Совокупность свободных векторов в пространстве;
5.Совокупность всех систем x (x1,..., xn ) вещественных чисел
образует линейное пространство, если положить, что для таких систем
имеют место аксиомы:
1)x (x1, x2 ,..., xn ),
2)x y(x1 y1, x2 y2 ,..., xn yn ) , где yn ( y1, y2 ,..., yn ) .
22
Элементы линейного пространства называют векторами, хотя по своей природе они могут быть совершенно непохожими на привычные нам
направленные отрезки. |
|
Геометрические представления, связанные со словом |
“вектор“, |
помогают построению общей (абстрактной) теории |
линейных |
пространств. В качестве примера можно привести понятие о линейной независимости элементов пространства и о базисе пространства, которые аналогичны введенным выше для обычного трехмерного пространства.
Максимальное число линейно независимых векторов в линейном пространстве определяет его размерность: в n - мерном линейном пространстве всегда имеется точно n линейно-независимых векторов и любые n 1 векторы связаны линейным соотношением.
В соответствии с результатами разложения векторов в обычном трехмерном пространстве такое определение размерности пространства представляется естественным обобщением.
После этого можно говорить и о базисе n - мерного линейного пространства, как о совокупности n линейно-независимых векторов из этого пространства, и об единственности разложения любого вектора по векторам базиса, и о координатах вектора, как коэффициентах разложения этого вектора по векторам базиса. Кстати заметим, что эти числа
(координаты) полностью и единственным образом определяют этот вектор в n - мерном пространстве в каждом базисе.
Если в линейном n - мерном пространстве в дополнение к правилам сложения и умножения определить скалярное произведение двух векторов,
такое пространство называется n - мерным евклидовым пространством. В
евклидовом пространстве можно рассмотреть такие понятия, как длина n -
мерного вектора, угол между векторами, ортогональный базис, взаимные базисы и т.д.
23
Кроме n - мерных векторов, определяемых полностью n
действительными числами, имеет смысл рассмотреть более сложные
объекты, которые в каждом базисе требуют для своего определения n2
чисел, n3 чисел, n4 чисел и т.д.
Эти понятия (тензоры 2-го ранга, 3-го ранга и т.д.) не отвлеченное
теоретическое обобщение, они необходимы для описания многих реально существующих величин и явлений в физике.
Числа (компоненты), которые определяют данный объект в каждом базисе, меняются при переходе от одного базиса к другому. Однако,
поскольку совокупность этих чисел каждый раз определяет один и тот же объект, закон их преобразования имеет такие же особенности, как и в случае трехмерного пространства. Так, при изменении базиса компоненты
вектора xi (i 1, 2,..., n) переходят в |
xi (i 1, 2,..., n) |
и закон преобразования |
||||||||||
|
n |
|
|
|
|
|
|
|
|
|
|
|
имеет вид xi |
k xk |
(i 1, 2,..., n) , |
где |
|
|
|
i k |
|
|
|
- |
матрица, определяющая |
|
|
|
|
k 1
преобразование при изменении первоначального базиса по закону:
|
n n |
|
|
i l k m Aim |
(i, k 1, 2,..., n) . |
Aik |
||
|
l 1 m 1 |
|
Таких компонент тензор 2-го ранга в всего n2 .
Наконец, вообще тензор m -го ранга в n - мерном пространстве имеет nm компонент, которые при изменении базиса преобразуются по
закону
|
n |
n |
|
Ti1i2 ...im |
... i1k1 i2k2 |
... imkm Tk1k2 ...km . |
|
|
k1 1 |
km 1 |
|
Таким образом, на |
n - мерное евклидово пространство переносятся |
почти без изменений большая часть построений трехмерного пространства.
24
12. Задачи и решения
Задача 1. В трехмерном пространстве объяснить следующие
тензорные символы (тензоры декартовы):
Aii , Bijj , Rij , aiTij , aibj Sij.
Решение.
Aii представляет одну сумму: Aii A11 A22 A33;
Bijj представляет три суммы:
1)при i 1 B111 B122 B133 ,
2)при i 2 B211 B222 B233 ,
3)при i 3 B311 B322 B333 ;
Rij представляет девять компонент:
R11, R12, R13, R21, R22, R23, R31, R32, R33 ;
aiTij представляет три суммы:
1) при j 1 |
a1T11 a2T21 a3T31, |
|
2) при |
j 2 |
a1T12 a2T22 a3T32 , |
3) при |
j 3 |
a1T13 a2T23 a3T33; |
|
aibj Sij представляет сумму девяти членов. Первое суммирование по i |
|
дает |
aibj Sij a1bj S1 j a2bj S2 j a3bj S3 j . |
Затем каждое из этих слагаемых |
суммируем |
по |
j : aibj Sij a1b1S11 a1b2S12 a1b3S13 a2b1S21 a2b2S22 a2b3S23 a3b1S31 a3b2S32 a3b3S33 .
Задача 2. В трехмерном пространстве вычислить следующие
выражения содержащие дельту Кронекера ij : |
а) ii , |
б) ij ij , |
в) ij ik jk , |
г) ij jk , д) ij Aik . |
|
|
|
|
|
|
25 |
Решение.
а) ii 11 22 33 3.
б) ij ij 1 j 1 j 2 j 2 j 3 j 3 j 3.
в) ij ik jk 1 j 1k jk 2 j 2k jk 3 j 3k jk 3. г) ij jk i1 1k i 2 2k i3 3k ik ,
д) ij Aik 1 j A1k 2 j A2k 3 j A3k Ajk .
Задача 3. Написать в развернутой форме и по возможности
упростить выражение |
Dij xi x j , если а) Dij Dji , б) |
Dij Dji . |
||||||||
Решение. |
|
|
|
|
|
|
||||
Имеем |
Dij xi x j D1 j x1x j |
D2 j x2 x j |
D3 j x3 x j D11x1x1 D12 x1x2 D13 x1x3 |
|||||||
D21x2 x1 D22 x2 x2 |
D23 x2 x3 |
D31x3 x1 D32 x3 x2 D33 x3 x3 . |
||||||||
|
|
|
||||||||
Поэтому |
|
|
|
|
|
|
||||
a) D x x |
j |
D (x )2 x D (x )2 D (x )2 2D x x 2D x x 2D x x . |
||||||||
ij i |
|
11 1 1 |
22 |
2 |
33 |
3 |
12 1 2 |
23 2 3 13 1 3 |
||
b) Dij xi xj |
0, так как D11 |
D11, D12 |
D21 и т.д. |
|
Задача 4.
Тензор Леви-Чивиты.
В тензорном исчислении для удобства вычислений вводится тензор
третьего ранга ijk , известный как тензор Леви-Чивиты (альтернирующий тензор).Этот часто используемый тензор определяется следующим образом:
ijk |
= 1, если значения индексов i, j, k образуют четную перестановку |
из 1,2,3; |
|
ijk |
= -1, если значения индексов i, j, k образуют нечетную |
перестановку из 1,2,3;
26

ijk = 0, если значения индексов i, j, k не образуют перестановки из
1,2,3, т.е.ю если два или все три индекса принимают одинаковые значения;
Показать, что |
ijk kpq ip jq |
iq jp : а) |
при |
i =1, j q 2, |
p 3 |
и |
б) |
||
i q 1, |
j p 2. |
|
|
|
|
|
|
|
|
Решение. |
|
|
|
|
|
|
|
|
|
а) |
Положим |
|
i 1, j 2, |
p 3, q 2 |
и |
заметим, |
что |
k |
- |
индекссуммирования и, следовательно, пробегает значения 1,2,3. Тогда |
|
||||||||
ijk kpq 12k k 32 121 132 12k 232 |
123 332 0. |
|
|
|
|
|
|||
ip jq iq jp 13 22 12 23 0. |
|
|
|
|
|
|
|||
б) Пусть i 1, j 2, |
p 2, q 1. Тогда ijk kpq 123 321 1 и |
|
|
|
ip jq iq jp 12 21 11 22 1.
Задача 5.
Показать, что тензор Bik ijk aj антисимметричен.
Решение.
В соответствии с определением ijk перемена местами двух индексов ведет к изменению знака, так что
Bik ijk aj (kji aj ) (Bki ) Bki .
|
|
Задача 6. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
Пусть |
задан |
|
антисимметричный |
|
декартов |
тензор Bik |
и |
вектор |
||||||||||||||||||||||||||||||||
b |
1 |
|
|
|
B |
|
. Показать, |
что |
B |
|
|
|
b . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
i |
2 |
|
ijk |
|
jk |
|
|
|
|
|
|
|
|
|
|
|
pq |
|
|
|
pqi i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
Решение. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
Умножим |
заданный вектор |
на |
pqi |
и |
воспользуемся |
тождеством, |
||||||||||||||||||||||||||||||||||
доазанным в задаче 5: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
b 1 |
2 |
|
|
|
|
B |
|
1 |
2 |
( |
|
|
|
|
|
|
|
|
)B |
|
1 |
2 |
(B |
|
B ) 1 |
2 |
(B |
|
B |
|
) B |
|
. |
|||
|
|
|
|
pqi |
i |
|
pqi |
|
ijk |
|
jk |
|
|
|
pj |
|
qk |
|
pk |
|
qj |
|
jk |
|
|
pq |
|
qp |
|
pq |
|
pq |
|
pq |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
27 |
Задача 7.
Пусть Bij - антисимметричный и Aij - симметричный тензоры.
Показать, что Aij Bij 0.
Решение.
Так |
как |
Aij |
Aji |
и |
Bij Bji , то |
Aij Bij Aji Bji , |
или |
|
Aij Bij Aji Bji |
Aij Bij Apq Bpq |
0. |
Поскольку |
все индексы |
являются немыми, |
|||
Apq Bpq Aij Bij , и поэтому 2Aij Bij |
0, или Aij Bij |
0. |
|
|
Вопросы для самоконтроля
1. Что такое аффинный ортогональный тензор второго ранга
2.Сложение тензоров
3.Умножение тензоров
4.Свертывание тензоров
5.Симметричный тензор второго ранга
6.Антисимметричный тензор второго ранга
7.Представьте тензор второго ранга суммой симметричного и антисимметричного тензоров
28
Ответы
33
1.L'ij αimα jn Lmn , i, j 1,2,3
|
m 1 n 1 |
|
2. |
cij aij bij , |
i, j 1,2,3 |
3. |
cijmnp aijbimnp , |
i, j, m, n, p 1,2,3 |
4.amn ciimn i 1
5.Lij Lji , i, j 1,2,33
6. |
Lij |
Lji , |
i, j 1,2,3 |
|
|
||||||
7. |
L |
|
1 |
{L |
L |
|
} |
1 |
{L L |
|
}, i, j 1,2,3 |
|
ji |
|
ji |
||||||||
|
ij |
|
2 |
ij |
|
|
2 |
ij |
|
||
|
|
|
|
|
|
|
|
|
|
Литература
1.Акивис М.А., Гольдберг В.В. Тензорное исчисление. М.: Наука, 2003, 304 с.
2.Борисенко А.И,Тарапов И.Е. Векторный анализ и начала тензорного исчисления. Харьков: Изд-во Харьковского университета, 1972, 255 с.
3.Димитриенко Ю.И. Тензорное исчисление. М.: Высшая школа, 2001, 575 с.
4. Мейз Дж. Теория и задачи механики сплошных сред. М.: Мир, 1974, 320 с.
29