Операции с тензорами 15.12
.pdfg g
Тогда
|
|
|
|
i1 i2i3 |
|
|
i1i2i3 |
xi1 xi2 |
xi3 |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
xi1 xi2 |
xi3 |
||||
|
|
|
|
|
g |
|
|
|
|
g |
||||||||
Видим, что w 0 . Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
если 0 , то |
i1 i2i3 |
– тензор |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
g |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
если 0 , то |
i1 i2i3 |
– псевдотензор |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
g |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример Псевдовектор или аксиальный вектор. 1 |
и w 0 . Поэтому |
|||||||||||||||||
|
|
|
|
|
|
|
|
a a |
x |
|
|
|||||||
|
|
|
|
|
|
|
|
x |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Так как 0 , то это инверсия, т.е. |
x |
|
. Значит, |
|
|
|||||||||||||
x |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
a |
|
a |
a |
Значит, компоненты псевдовектора при инверсии не меняют знак.
Дифференцирование тензоров
Вспомним, что
|
e |
|
e |
||
|
x |
||||
|
|
|
|
||
Здесь |
|
|
|
|
|
|
e |
|
e |
||
|
x |
||||
|
|
|
|
– символ Кристоффеля второго рода. Символ Кристоффеля первого рода определяется как
|
g |
|
g |
|
e |
e |
e |
e |
|
x |
|
||||||
|
|
|
|
|
|
x |
Символы Кристоффеля определяют ковариантные производные. Мы уже знаем, что
|
ai |
ai |
i |
am |
|
xk |
|||||
k |
|
mk |
|
Рассмотрим теперь производную от тензора второго ранга
T T ij ei ej
|
|
T |
|
|
|
T ij ei |
ej |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
xk |
|
|
|
xk |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
T ij |
|
e e |
|
|
|
T ij |
|
e |
|
e |
|
|
T ij e |
ej |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
||||||||||||||
|
xk |
|
|
|
|
|
xk |
|
|
xk |
|
|
|||||||||||||||||||
|
|
|
|
i |
|
|
j |
|
|
|
|
|
|
j |
|
|
|
|
i |
|
|
|
|||||||||
|
|
T ij |
|
e e |
|
|
|
T ij m e e |
|
|
T ij e m e |
||||||||||||||||||||
|
xk |
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
i |
|
|
j |
|
|
|
|
|
ik m |
|
|
|
j |
|
|
i |
jk m |
|
|
||||||||
|
|
T ij |
|
e e |
|
|
|
T mj i |
|
e e |
|
T im j |
e e |
|
|
||||||||||||||||
|
xk |
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
i |
|
|
j |
|
|
|
|
|
mk i |
|
|
j |
|
mk i |
|
j |
|
||||||||||
|
|
|
|
|
|
|
ij |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
Tk T mj |
imk T im mkj |
ei ej kT ij ei ej |
|||||||||||||||||||||||||||
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
По определению |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
T ij |
T ij |
T mj i |
T im j |
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
xk |
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
mk |
|
mk |
|
|
|
||||
Так как e e j j , то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
i |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e j |
|
j |
ei |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xk |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ik |
|
|
|
|
|
|
||||
Убедитесь в этом. Поэтому |
a |
ai |
|
|
m a . |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
xk |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
k |
|
i |
|
|
ik m |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Следовательно, мы можем убедиться, что T T ei |
e j |
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ij |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T |
Tij |
|
T |
|
|
m |
T m |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
xk |
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
k |
|
ij |
|
|
|
jm |
|
|
|
ik |
im |
jk |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
T i |
T i |
|
T m i |
T i m |
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
j |
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
xk |
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
k |
|
|
j |
|
|
|
j |
|
|
|
|
mk |
m |
jk |
|
|
|
Дифференциал тензора
dT T dxk
xk
Но
dxk ek dr
Поэтому
dT |
T |
ek dr dr ek |
T ij e e |
|
dr T |
xk |
|
||||
|
k |
i |
j |
|
|
|
|
|
|
|
|
Здесь мы ввели понятие градиента тензора:
T ek T kT ij ek ei ejxk
Градиент тензора – это тензорное произведение оператора на тензор.
Пример Градиент вектора
a ek a k aiek eixk
Это – тензор второго ранга. Каков его смысл?
da dr a = a T dr
Градиент вектора связывает приращения вектора с соответствующим приращением dr при переходе от тоски r к точке r dr .
Скалярное умножение как операция свертки. В самом деле,
Скалярное произведение векторов – это скаляр
ab aieibk ek aibk eiek ak bk
gik
Скалярное произведение вектора на тензор второго ранга – это вектор
aT aieiT kmek em aiT km eiek em aiTi mem
gik
Скалярное произведение тензоров второго ранга – это тензор второго ранга
XY X ij ei ejY kmek em X ijY kmei ejek em X kiY kmei em
g jk
Двойное скалярное произведение тензоров второго ранга – двойная свертка – скаляр
X : Y X ij e e |
j |
:Y kme e X ijY km g |
e e X |
mk |
Y km |
i |
k m |
jk i m |
|
||
|
|
|
gim |
|
|
Пример Оператор можно умножить на вектор скалярно. Получим скаляр
a ek k aiei k ai ek ei k ak diva
ik
Вспомним, что
|
|
|
|
|
|
|
|
|
1 ak |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
g |
|||||
|
ak |
ak |
m |
ak |
ak |
|
1 g |
ak |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||
k |
|
xk |
km |
|
xk |
|
|
g |
dxk |
|
|
g |
|
dxk |
|
|
Пример Оператор можно умножить скалярно на тензор второго ранга. Получим вектор.
T ek |
T ij e |
e |
j |
|
T ij ek e |
e |
j |
|
T kj e |
j |
divT |
k |
i |
|
k |
i |
|
k |
|
|
|||
|
|
|
|
|
ik |
|
|
|
|
|
|
T kT kj ej |
|
|
T kj |
|
|
T km mkj |
||||||||
|
|
x |
k T mj mkk |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
T kj |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
g |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
T mj e |
|
T km j e |
|
|
||
|
|
|
|
|
|
|
|
|||||||
|
xk |
|
|
g |
xm |
|
|
j |
|
mk |
j |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
em |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xk |
|
|
Или иначе
|
|
T kj |
|
|
|
|
|
|
g |
|
|
|
|||
T |
|
|
|
|
T |
km |
mk |
|
xk |
|
|
||||
|
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ej |
|
|
||||
|
|
|
|
|
||
|
|
|
|
|||
1 |
gT mj ej |
|||||
|
|
|
|
|
xm |
|
|
|
g |
|
|
ej
Теорема Риччи Ковариантные производные метрического тензора и его определителя равны нулю.
В самом деле,
|
g |
|
|
gij |
g |
|
m g |
|
m |
|
|
|
|
|
|||||||
k |
|
ij |
|
xk |
jm |
ik |
im |
jk |
|
gijxk
gijxk
Далее, так как
то
g jm |
g ms g |
sk |
|
|
g |
sik |
|
g |
ik |
|
gim |
g ms |
g |
sk |
|
|
|
gsj |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
2 |
|
|
i |
x |
|
|
s |
2 |
|
|
|
|
j |
|
|
x |
k |
||||||||||||||||||||||||
|
|
|
|
|
|
x |
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
x |
|
|
|
|
|
|||||||||||||||
|
1 |
g jk |
|
|
g ji |
|
|
g |
ik |
|
|
1 |
|
g |
ik |
|
|
gij |
|
g jk |
0 |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
2 |
|
x |
i |
|
x |
k |
|
|
|
j |
2 |
|
|
j |
|
x |
k |
x |
i |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
det G g 16 ijk mns gim g jn gks ,
l g 16 ijk mns l gim g jn gks 0
|
g jk |
|
||
|
|
|||
xs |
||||
|
|
Благодаря этой теореме можно вносить и выносить метрику из-под ковариантной производной. Например,
k ai gij k ai gij k ai
Пример Оператор можно умножить на вектор векторно
a ek |
k |
aie |
aiek e |
ai g |
ek e j |
|||||||||
|
|
|
|
|
i |
|
|
k |
|
i |
k |
ij |
|
|
|
|
kjne |
|
kjn |
|
|
|
|
|
|||||
|
ai g |
ij |
|
|
n |
|
|
|
|
a e |
|
|
|
|
k |
|
|
g |
|
|
g |
k |
j n |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
Пример Оператор можно умножить на тензор векторно:
T ek |
k |
T ij e e |
j |
|
T ij ek e e |
j |
|
|
|||||||||||
|
|
|
|
i |
|
|
|
k |
|
|
|
i |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
kmne |
|
|
|
|
||
|
T ij g |
mi |
ek |
em e |
j |
|
T ij g |
mi |
|
|
n e |
j |
|
||||||
k |
|
|
|
|
|
|
k |
|
|
|
g |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
kmn
kTmj en ej
g
Двукратное дифференцирование
Пример. Дивергенция от градиента вектора – это вектор
a em m k aiek ei m k ai emek ei m maiei a
gmk
Пример. Дивергенция от градиента тензора второго ранга – это тензор второго ранга
T em m kT ij ek ei ej m kT ij emek ei ej
gmk
m mT ij ei ej T
Интегрирование тензоров
1.Интеграл по объему. Теорема Остроградского-Гаусса. Из векторного анализа известно, что
f
fni dS xi dV
S V
Здесь dV gdx1dx2dx3 , dS gdq1dq2
Обобщим эту формулу на случай тензора, например, ранга p :
i i ..i |
|
|
i i ..i |
|
T 2 3 |
p 1 ni1 dS |
|
T 2 3 |
p 1 dV |
xi1 |
||||
S |
V |
|
|
В инвариантном виде
n TdS TdV
S V
Обобщение можно было провести и так:
T i1i2i3 ..ip ni1 dS i1T i1i2i3 ..ip dV S V
В инвариантном виде
n TdS TdV
S V
Можно еще и так
n TdS TdV
S V
Запишите это в координатном виде.
2.Теорема Стокса
adr adS a ndS n adS
|
S |
S |
S |
Обобщения этой формулы:
dr T n TdS
|
S |
В декартовых координатах
dxi1T i2i3 ..ip 1 i1km nk |
|
T i2i3 ..ip 1 dS |
|
m |
|||
|
S |
x |
|
|
|
1. Доказать, что координатный объект Fki |
2 f |
, где f |
– скалярная функция, не |
xk xi |
|||
является тензором. |
|
|
|
2.Доказать, что символы Кристоффеля ijk x не образуют тензор.
3.Доказать, что ijk x kji x является тензором.
4. Доказать, что след тензора с компонентами Tik |
|
1 |
|
g |
lm |
Fil Fkm |
|
1 |
gik Flm F |
lm |
|
|
|
|
|
||||||
|
|
|
||||||||
|
|
4 |
|
|
|
|
4 |
|
|
в Е4 равен нулю.
5.Найти главные компоненты и главные оси тензора, имеющего в некотором ортонормированном базисе следующие координаты:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
3 |
0 |
1 |
|
3 |
0 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Aij |
|
|
|
|
b) Aij |
|
|
|
|
|
|||
3 |
1 |
0 , |
3 |
1 |
0 |
||||||||
|
0 |
|
0 |
|
|
|
|
0 |
|
0 |
|
|
|
|
|
|
3 |
|
|
|
2 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6.Для однородной квадратной пластины, масса которой M , а сторона a , определить тензор инерции для осей системы координат Охуz, начало которой находится в одной из вершин O , а оси Oy и Oz направлены вдоль смежных сторон, и
определить главные оси инерции пластины для точки О и главные моменты инерции относительно этих осей. Ответ:
|
|
|
2 3 |
0 |
0 |
|
ma2 |
2 0 |
0 |
|
|
|
|
|||
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I ma |
|
|
0 |
1 3 |
1 4 |
, I |
|
|
0 1 4 |
0 |
, главные оси: ось |
Ox , линии y z |
||||
|
3 |
|||||||||||||||
|
|
|
|
0 |
1 4 1 3 |
|
|
0 0 |
7 4 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|||||
и z y . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
7. |
Показать, что инвариантный тензор может иметь только тип |
p |
|
|
||||||||||||
|
и, следовательно, |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
только четный ранг. |
|
|
|
|
|
|
|
|
|
|
|||||
8. |
Доказать, что инвариантный тензор второго ранга имеет вид T j j . |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
i |
|
9. |
Доказать, что инвариантный тензор четвертого ранга имеет вид T ij j j j j |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
kl |
k l |
l k |
.
0
10. Доказать, что тензор ij изотропный и что тензор типа будет изотропным,
2
если Tij ij .
11.Доказать, что если тензор Tijk симметричен по первым двум индексам, то
T ijk 13 Tijk Tjki Tkij
12.Доказать, что если тензор Tijk симметричен по первым двум индексам и кососимметричен по двум последним, то тензор нулевой.
13.Доказать, что T S 14 T S T S T S T S
14. |
Показать, |
что |
T A B T A B 2C A B , где T – произвольный тензор |
|
второго ранга, C – вектор, дуальный антисиметричной части тензора T . |
||
15. |
Пусть n |
– |
единичный вектор, все значения которого в пространстве |
|
равновероятны. |
Доказать справедливость соотношений для средних значений ( |
... 41 ... d ):
a.n 0
b.n n 13
c. an n a3 , a – постоянный вектор.
d. a n 2 23 a2 .
16.Доказать, что
oРотор от ротора тензора второго ранга T T T
oДивергенция от ротора тензора второго ранга является нулевым вектором div rotT 0
oДивергенция от дивергенции тензора второго ранга является скаляром div divT i kT ik
17. Доказать тождество: fu f u f u , где f – скалярное поле.
18.Доказать тождество для градиента скалярного произведения:
ab a b b a .
19.Пусть u – постоянный вектор. Доказать тождество:
f u div f u .