§ 36

Алгебраические операции с тензорами

[57/74%]
Показать
LaTeX
Подпараграф
Задача 36.1

Проверить закон преобразования компонент суммы тензоров ajkia_{jk}^{i} и bjkib_{jk}^{i}, исходя из закона преобразования компонент слагаемых.

?
Задача 36.2

Как связана сумма линейных преобразований с суммой соответствующих тензоров?

?
Задача 36.3

Пусть AeA_{e} — матрица линейного преобразования φ\varphi. BeB_{e} — матрица билинейной функции bb в базисе ее. Определена ли сумма Ae+BeA_{e} + B_{e}? Будет ли тензором соответствие, сопоставляющее каждому базису ee сумму матриц Ae+BeA_{e} + B_{e}?

?
Задача 36.4

Тензоры aa и bb одного типа имеют в базисе ee матрицы компонент AA и BB. Найти компоненты тензоров:

(1) a+ba + b;

(2) 2a+3b2a + 3b;

(3) b−2ab - 2a в том же базисе, если:

?
(1)

A=A650,B=A651A = \mathbf{A}_{650}, B = \mathbf{A}_{651}. A650=[[111−1][111−1]],A651=[[3425][5713]]\mathbf{A}_{650} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{A}_{651} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 3 & 4 \\ 2 & 5 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 5 & 7 \\ 1 & 3 \end{smallmatrix}\right] \end{smallmatrix}\right].

(2)

A=A651,B=A652A = \mathbf{A}_{651}, B = \mathbf{A}_{652}. A651=[[3425][5713]],A652=[[−4234][−5357]]\mathbf{A}_{651} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 3 & 4 \\ 2 & 5 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 5 & 7 \\ 1 & 3 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{A}_{652} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} -4 & 2 \\ 3 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} -5 & 3 \\ 5 & 7 \end{smallmatrix}\right] \end{smallmatrix}\right].

(3)

A=A652,B=A653A = \mathbf{A}_{652}, B = \mathbf{A}_{653}. A652=[[−4234][−5357]],A653=[[7−434][−5822]]\mathbf{A}_{652} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} -4 & 2 \\ 3 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} -5 & 3 \\ 5 & 7 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{A}_{653} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 7 & -4 \\ 3 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} -5 & 8 \\ 2 & 2 \end{smallmatrix}\right] \end{smallmatrix}\right].

(4)

A=A693,B=A697A = \mathbf{A}_{693}, B = \mathbf{A}_{697}. A693=[[0000][1234][−1−2−3−4][0000]],A697=[[1111][0101][1122][0102]]\mathbf{A}_{693} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 0 & 0 \\ 0 & 0 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right] \\ \left[\begin{smallmatrix} -1 & -2 \\ -3 & -4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 0 & 0 \\ 0 & 0 \end{smallmatrix}\right]\end{smallmatrix}\right], \mathbf{A}_{697} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 1 \\ 1 & 1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 0 & 1 \\ 0 & 1 \end{smallmatrix}\right] \\ \left[\begin{smallmatrix} 1 & 1 \\ 2 & 2 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 0 & 1 \\ 0 & 2 \end{smallmatrix}\right]\end{smallmatrix}\right].

Задача 36.5

Заданы матрицы A,B,C,DA, B, C, D из компонент четырех тензоров. Определить, являются ли тензоры линейно зависимыми, если:

?
(1)

A=A662,B=A665,C=A663,D=A652A = \mathbf{A}_{662}, B = \mathbf{A}_{665}, C = \mathbf{A}_{663}, D = \mathbf{A}_{652}. A662=[[1114813][172357]],A665=[[−641322][−5231727]],A663=[[1207][35−15]],A652=[[−4234][−5357]]\mathbf{A}_{662} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 11 & 14 \\ 8 & 13 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 17 & 23 \\ 5 & 7 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{A}_{665} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} -6 & 4 \\ 13 & 22 \end{smallmatrix}\right] & \left[\begin{smallmatrix} -5 & 23 \\ 17 & 27 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{A}_{663} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 2 \\ 0 & 7 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 3 & 5 \\ -1 & 5 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{A}_{652} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} -4 & 2 \\ 3 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} -5 & 3 \\ 5 & 7 \end{smallmatrix}\right] \end{smallmatrix}\right].

(2)

A=A650,B=A651,C=A652,D=A653A = \mathbf{A}_{650}, B = \mathbf{A}_{651}, C = \mathbf{A}_{652}, D = \mathbf{A}_{653}. A650=[[111−1][111−1]],A651=[[3425][5713]],A652=[[−4234][−5357]],A653=[[7−434][−5822]]\mathbf{A}_{650} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{A}_{651} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 3 & 4 \\ 2 & 5 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 5 & 7 \\ 1 & 3 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{A}_{652} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} -4 & 2 \\ 3 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} -5 & 3 \\ 5 & 7 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{A}_{653} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 7 & -4 \\ 3 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} -5 & 8 \\ 2 & 2 \end{smallmatrix}\right] \end{smallmatrix}\right].

(3)

A=A666,B=A663,C=A650,D=A652A = \mathbf{A}_{666}, B = \mathbf{A}_{663}, C = \mathbf{A}_{650}, D = \mathbf{A}_{652}. A666=[[−10−6−1−8][−15−1131]],A663=[[1207][35−15]],A650=[[111−1][111−1]],A652=[[−4234][−5357]]\mathbf{A}_{666} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} -10 & -6 \\ -1 & -8 \end{smallmatrix}\right] & \left[\begin{smallmatrix} -15 & -11 \\ 3 & 1 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{A}_{663} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 2 \\ 0 & 7 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 3 & 5 \\ -1 & 5 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{A}_{650} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{A}_{652} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} -4 & 2 \\ 3 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} -5 & 3 \\ 5 & 7 \end{smallmatrix}\right] \end{smallmatrix}\right].

Задача 36.6
?
(1)

Какова размерность линейного пространства L\mathcal{L} тензоров типа (p,q)(p, q) в двумерном пространстве?

(2)

Указать какой — нибудь базис в L\mathcal{L}.

(3)

Указать еще один базис в L\mathcal{L}.

Задача 36.7

Базису ee двумерного линейного пространства соответствует базис e∗\mathbf{e}^{ * } в пространстве тензоров типа:

?
(1)

(0,1)(0, 1)

(2)

(1,1)(1, 1)

(3)

(р) (0,2)(0, 2)

(4)

(1,2)(1, 2)

Базис e∗\mathbf{e}^{*} состоит из тензоров, имеющих в базисе ee одну компоненту, равную 1, а остальные — равные 0. Как преобразуется базис e∗\mathbf{e}^{*}, если базис ee преобразуется матрицей перехода SS?

Задача 36.8

Проверить закон преобразования компонент тензора a⊗ba\otimes b, исходя из законов преобразования компонент сомножителей ajki,bjkia_{jk}^{i}, b_{jk}^{i}.

?
Задача 36.9

Найти тип и матрицу тензора a⊗ba\otimes b, если:

?
(1)

Тип aa: (1,0)(1, 0), матрица aa: c12\mathbf{c}_{12}, тип bb: (1,0)(1, 0), матрица bb: c31\mathbf{c}_{31}. c12=[11],c31=[1−1]\mathbf{c}_{12} = \left[\begin{smallmatrix} 1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{31} = \left[\begin{smallmatrix} 1 \\ -1 \end{smallmatrix}\right].

(2)

Тип aa: (1,0)(1, 0), матрица aa: c12\mathbf{c}_{12}, тип bb: (0,1)(0, 1), матрица bb: c31T\mathbf{c}_{31}^T. c12=[11],c31=[1−1]\mathbf{c}_{12} = \left[\begin{smallmatrix} 1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{31} = \left[\begin{smallmatrix} 1 \\ -1 \end{smallmatrix}\right].

(3)

Тип aa: (1,0)(1, 0), матрица aa: c12T\mathbf{c}_{12}^T, тип bb: (1,0)(1, 0), матрица bb: c31\mathbf{c}_{31}. c12=[11],c31=[1−1]\mathbf{c}_{12} = \left[\begin{smallmatrix} 1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{31} = \left[\begin{smallmatrix} 1 \\ -1 \end{smallmatrix}\right].

(4)

Тип aa: (0,1)(0, 1), матрица aa: c12T\mathbf{c}_{12}^T, тип bb: (0,1)(0, 1), матрица bb: c31T\mathbf{c}_{31}^T. c12=[11],c31=[1−1]\mathbf{c}_{12} = \left[\begin{smallmatrix} 1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{31} = \left[\begin{smallmatrix} 1 \\ -1 \end{smallmatrix}\right].

(5)

Тип aa: (0,2)(0, 2), матрица aa: A17\mathbf{A}_{17}, тип bb: (0,1)(0, 1), матрица bb: c7T\mathbf{c}_{7}^T. A17=[3559],c7=[4−2]\mathbf{A}_{17} = \left[\begin{smallmatrix} 3 & 5 \\ 5 & 9 \end{smallmatrix}\right], \mathbf{c}_{7} = \left[\begin{smallmatrix} 4 \\ -2 \end{smallmatrix}\right].

(6)

Тип aa: (0,1)(0, 1), матрица aa: c7T\mathbf{c}_{7}^T, тип bb: (0,2)(0, 2), матрица bb: A17\mathbf{A}_{17}. c7=[4−2],A17=[3559]\mathbf{c}_{7} = \left[\begin{smallmatrix} 4 \\ -2 \end{smallmatrix}\right], \mathbf{A}_{17} = \left[\begin{smallmatrix} 3 & 5 \\ 5 & 9 \end{smallmatrix}\right].

(7)

Тип aa: (2,0)(2, 0), матрица aa: A18\mathbf{A}_{18}, тип bb: (1,0)(1, 0), матрица bb: c8\mathbf{c}_{8}. A18=[1234],c8=[−11]\mathbf{A}_{18} = \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right], \mathbf{c}_{8} = \left[\begin{smallmatrix} -1 \\ 1 \end{smallmatrix}\right].

(8)

Тип aa: (1,1)(1, 1), матрица aa: A18\mathbf{A}_{18}, тип bb: (1,0)(1, 0), матрица bb: c8\mathbf{c}_{8}. A18=[1234],c8=[−11]\mathbf{A}_{18} = \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right], \mathbf{c}_{8} = \left[\begin{smallmatrix} -1 \\ 1 \end{smallmatrix}\right].

(9)

Тип aa: (1,0)(1, 0), матрица aa: c8\mathbf{c}_{8}, тип bb: (2,0)(2, 0), матрица bb: A18\mathbf{A}_{18}. c8=[−11],A18=[1234]\mathbf{c}_{8} = \left[\begin{smallmatrix} -1 \\ 1 \end{smallmatrix}\right], \mathbf{A}_{18} = \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right].

(10)

Тип aa: (1,0)(1, 0), матрица aa: c8\mathbf{c}_{8}, тип bb: (1,1)(1, 1), матрица bb: A18\mathbf{A}_{18}. c8=[−11],A18=[1234]\mathbf{c}_{8} = \left[\begin{smallmatrix} -1 \\ 1 \end{smallmatrix}\right], \mathbf{A}_{18} = \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right].

(11)

Тип aa: (0,3)(0, 3), матрица aa: A650\mathbf{A}_{650}, тип bb: (0,1)(0, 1), матрица bb: c25T\mathbf{c}_{25}^T. A650=[[111−1][111−1]],c25=[24]\mathbf{A}_{650} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{c}_{25} = \left[\begin{smallmatrix} 2 \\ 4 \end{smallmatrix}\right].

(12)

Тип aa: (0,1)(0, 1), матрица aa: c25T\mathbf{c}_{25}^T, тип bb: (0,3)(0, 3), матрица bb: A650\mathbf{A}_{650}. c25=[24],A650=[[111−1][111−1]]\mathbf{c}_{25} = \left[\begin{smallmatrix} 2 \\ 4 \end{smallmatrix}\right], \mathbf{A}_{650} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] \end{smallmatrix}\right].

(13)

Тип aa: (1,2)(1, 2), матрица aa: A651\mathbf{A}_{651}, тип bb: (0,1)(0, 1), матрица bb: c8T\mathbf{c}_{8}^T. A651=[[3425][5713]],c8=[−11]\mathbf{A}_{651} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 3 & 4 \\ 2 & 5 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 5 & 7 \\ 1 & 3 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{c}_{8} = \left[\begin{smallmatrix} -1 \\ 1 \end{smallmatrix}\right].

(14)

Тип aa: (0,1)(0, 1), матрица aa: c8T\mathbf{c}_{8}^T, тип bb: (1,2)(1, 2), матрица bb: A651\mathbf{A}_{651}. c8=[−11],A651=[[3425][5713]]\mathbf{c}_{8} = \left[\begin{smallmatrix} -1 \\ 1 \end{smallmatrix}\right], \mathbf{A}_{651} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 3 & 4 \\ 2 & 5 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 5 & 7 \\ 1 & 3 \end{smallmatrix}\right] \end{smallmatrix}\right].

(15)

Тип aa: (0,2)(0, 2), матрица aa: A17\mathbf{A}_{17}, тип bb: (0,2)(0, 2), матрица bb: A18\mathbf{A}_{18}. A17=[3559],A18=[1234]\mathbf{A}_{17} = \left[\begin{smallmatrix} 3 & 5 \\ 5 & 9 \end{smallmatrix}\right], \mathbf{A}_{18} = \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right].

(16)

Тип aa: (0,2)(0, 2), матрица aa: A18\mathbf{A}_{18}, тип bb: (0,2)(0, 2), матрица bb: A17\mathbf{A}_{17}. A18=[1234],A17=[3559]\mathbf{A}_{18} = \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right], \mathbf{A}_{17} = \left[\begin{smallmatrix} 3 & 5 \\ 5 & 9 \end{smallmatrix}\right].

(17)

Тип aa: (1,1)(1, 1), матрица aa: A13\mathbf{A}_{13}, тип bb: (1,1)(1, 1), матрица bb: A19\mathbf{A}_{19}. A13=[1101],A19=[1112]\mathbf{A}_{13} = \left[\begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}\right], \mathbf{A}_{19} = \left[\begin{smallmatrix} 1 & 1 \\ 1 & 2 \end{smallmatrix}\right].

(18)

Тип aa: (2,0)(2, 0), матрица aa: A13\mathbf{A}_{13}, тип bb: (1,1)(1, 1), матрица bb: A19\mathbf{A}_{19}. A13=[1101],A19=[1112]\mathbf{A}_{13} = \left[\begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}\right], \mathbf{A}_{19} = \left[\begin{smallmatrix} 1 & 1 \\ 1 & 2 \end{smallmatrix}\right].

Задача 36.10

Записать матрицу из компонент тензора:

?
(1)

aibja^{i} b^{j}

(2)

aibja_{i} b_{j}

(3)

aibja^{i} b_{j}

(4)

aibja_{i} b^{j}

как кронекеровское произведение матриц из компонент этих тензоров.

Задача 36.11

Пусть a,ba, b — двухвалентные тензоры с матрицами A,BA, B. Какого типа должны быть эти тензоры, чтобы матрица их тензорного произведения была (правым) кронекеровским произведением:

?
(1)

A⊗BA\otimes B

(2)

B⊗A?B\otimes A?

Задача 36.12

Линейные функции f\mathrm{f} и g\mathrm{g} заданы в базисе ee координатными строками ϰ\varkappa и μ\mu. Найти матрицу тензора:

?
(1)

f⊗gf\otimes g;

(2)

g⊗fg\otimes f.

Какой геометрический смысл имеют эти тензоры?

Задача 36.13

Линейная функция f\mathrm{f} задана в базисе ee координатной строкой ϰ\varkappa, вектор yy — столбцом η\eta. Найти матрицу тензора f⊗yf\otimes y. Какой геометрический смысл имеет этот тензор?

?
Задача 36.14
?
(1)

Пусть xx — вектор, f\mathrm{f} — ковектор. Доказать, что f⊗x=x⊗f\mathrm{f} \otimes x = x\otimes \mathrm{f}.

(2)

Привести пример тензоров aa и bb, для которых a⊗b≠b⊗aa\otimes b \neq b\otimes a.

Задача 36.15

Пусть x1,x2,x3x_{1}, x_{2}, x_{3} — векторы, а f1,f2,f3\mathrm{f}_{1}, \mathrm{f}_{2}, \mathrm{f}_{3} — ковекторы. Какие из приведенных ниже выражений имеют смысл? Если данное выражение есть тензор, указать его тип:

?
(1)

x1⊗x2+x2⊗x3x_{1} \otimes x_{2} + x_{2} \otimes x_{3}

(2)

x1⊗x2⊗x3+x2⊗x3x_{1} \otimes x_{2} \otimes x_{3} + x_{2} \otimes x_{3}

(3)

x1⊗f1−2f1⊗x1x_{1} \otimes \mathrm{f}_{1} - 2\mathrm{f}_{1} \otimes x_{1}

(4)

x1⊗f2+f1⊗f2x_{1} \otimes \mathrm{f}_{2} + \mathrm{f}_{1} \otimes \mathrm{f}_{2}

(5)

x1⊗f2+x2⊗f1x_{1} \otimes \mathrm{f}_{2} + x_{2} \otimes \mathrm{f}_{1}

(6)

f1⊗x1⊗x2+x2⊗x3⊗f2f_{1} \otimes x_{1} \otimes x_{2} + x_{2} \otimes x_{3} \otimes \mathrm{f}_{2}

(7)

x1⊗x2+x3⊗x3−x1⊗x1x_{1} \otimes x_{2} + x_{3} \otimes x_{3} - x_{1} \otimes x_{1}

(8)

f1⊗f2−3(f2⊗f3)f_{1} \otimes f_{2} - 3\left(f_{2} \otimes f_{3}\right).

Задача 36.16

Найти компоненты тензоров из пунктов 1, 3, 5, 7, 8 задачи 36.15, если векторы x1,x2,x3x_{1}, x_{2}, x_{3} и ковекторы f1,f2,f3\mathrm{f}_{1}, \mathrm{f}_{2}, \mathrm{f}_{3} заданы с помощью столбцов и строк соответственно: c20,c12,c25,c8T\mathbf{c}_{20}, \mathbf{c}_{12}, \mathbf{c}_{25}, \mathbf{c}_{8}^{T}, c10T,c22T\mathbf{c}_{10}^{T}, \mathbf{c}_{22}^{T}. c20=[0−2],c12=[11],c25=[24],c8=[−11],c10=[−46],c22=[14−9]\mathbf{c}_{20} = \left[\begin{smallmatrix} 0 \\ -2 \end{smallmatrix}\right], \mathbf{c}_{12} = \left[\begin{smallmatrix} 1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{25} = \left[\begin{smallmatrix} 2 \\ 4 \end{smallmatrix}\right], \mathbf{c}_{8} = \left[\begin{smallmatrix} -1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{10} = \left[\begin{smallmatrix} -4 \\ 6 \end{smallmatrix}\right], \mathbf{c}_{22} = \left[\begin{smallmatrix} 14 \\ -9 \end{smallmatrix}\right].

?
Задача 36.17
?
(1)

Пусть a=x⊗ya = x\otimes y, а векторы xx и yy имеют в базисе e\mathbf{e} компоненты 1,0,01, 0, 0 и 0,1,00, 1, 0 соответственно. Найти компоненты тензора aa в базисе ee и в базисе e′=eS\mathbf{e}^{\prime } = \mathbf{e} S, где S=A207S = \mathbf{A}_{207}. A207=[12025−20−25]\mathbf{A}_{207} = \left[\begin{smallmatrix} 1 & 2 & 0 \\ 2 & 5 & -2 \\ 0 & -2 & 5 \end{smallmatrix}\right].

(2)

Пусть a=f⊗ga = \mathrm{f} \otimes \mathrm{g}, а ковекторы f\mathrm{f} и g\mathrm{g} имеют в базисе ee координатные строки (1,0,0)(1, 0, 0) и (0,1,0)(0, 1, 0) соответственно. Найти компоненты тензора aa в базисе e\mathbf{e} и в базисе e′=eS\mathbf{e}^{\prime } = \mathbf{e} S, где S=A207S = \mathbf{A}_{207}. A207=[12025−20−25]\mathbf{A}_{207} = \left[\begin{smallmatrix} 1 & 2 & 0 \\ 2 & 5 & -2 \\ 0 & -2 & 5 \end{smallmatrix}\right].

(3)

Пусть a=x⊗fa = x\otimes \mathrm{f}, а вектор xx и ковектор f\mathrm{f} имеют в базисе компоненты 1,0,01, 0, 0 и 0,1,00, 1, 0 соответственно. Найти компоненты тензора aa в базисе ee и в базисе e′=eS\mathbf{e}^{\prime } = \mathbf{e} S, где S=A207S = \mathbf{A}_{207}. A207=[12025−20−25]\mathbf{A}_{207} = \left[\begin{smallmatrix} 1 & 2 & 0 \\ 2 & 5 & -2 \\ 0 & -2 & 5 \end{smallmatrix}\right].

Сравнить результаты задач 1), 2), 3).

Задача 36.18

Разложить тензор в произведение одновалентных тензоров, если он имеет:

?
(1)

тип (2,0)(2, 0) и матрицу A5\mathbf{A}_{5}. A5=[1−11−1]\mathbf{A}_{5} = \left[\begin{smallmatrix} 1 & -1 \\ 1 & -1 \end{smallmatrix}\right].

(2)

тип (2,1)(2, 1) и матрицу A673\mathbf{A}_{673}. A673=[[1−12−2][1−12−2]]\mathbf{A}_{673} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & -1 \\ 2 & -2 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 1 & -1 \\ 2 & -2 \end{smallmatrix}\right] \end{smallmatrix}\right].

Задача 36.19
?
(1)

Пусть aa — тензор типа (1,1)(1, 1) и матрица его компонент имеет ранг rr. Доказать, что найдутся rr линейно независимых векторов a1,…,ara_{1}, \ldots , a_{r} и rr линейно независимых ковекторов f1,…,fr\mathrm{f}_{1}, \ldots , \mathrm{f}_{r} таких, что a=∑α=1raα⊗fαa = \sum_{\alpha = 1}^{r} a_{\alpha } \otimes \mathrm{f}^{\alpha }.

(2)

Сформулировать и доказать аналогичное утверждение для тензоров типа (2,0)(2, 0).

Задача 36.20
?
(1)

Пусть тензор aa типа (0,2)(0, 2) имеет в некотором базисе матрицу ранга rr. Доказать, что существуют rr линейно независимых ковекторов f1,…,fr\mathrm{f}_{1}, \ldots , \mathrm{f}_{r} и rr линейно независимых ковекторов g1,…,gr\mathrm{g}_{1}, \ldots , \mathrm{g}_{r} таких, что a=∑α=1rfα⊗gαa = \sum_{\alpha = 1}^{r} \mathrm{f}_{\alpha } \otimes \mathrm{g}_{\alpha }.

(2)

Представить билинейную функцию 3ξ1η1+2ξ1η2+3ξ2η1+2ξ2η23\xi^{1} \eta^{1} + 2\xi^{1} \eta^{2} + 3\xi^{2} \eta^{1} + 2\xi^{2} \eta^{2} как произведение линейных. Единственно ли такое представление?

(3)

Билинейная функция f\mathrm{f} в некотором базисе линейного пространства задана матрицей A454\mathbf{A}_{454}. Представить ее как сумму двух произведений пар линейных функций: f(x,y)=f1(x)g1(y)+f2(x)g2(y)\mathrm{f}(x, y) = \mathrm{f}_{1}(x) \mathrm{g}_{1}(y) + \mathrm{f}_{2}(x) \mathrm{g}_{2}(y). Единственно ли это представление? A454=[24611231−3−6−911231]\mathbf{A}_{454} = \left[\begin{smallmatrix} 2 & 4 & 6 & 1 \\ 1 & 2 & 3 & 1 \\ -3 & -6 & -9 & 1 \\ 1 & 2 & 3 & 1 \end{smallmatrix}\right].

Подпараграф
Задача 36.21

Исходя из законов преобразования тензоров ajki,ajia_{jk}^{i}, a_{j}^{i}, bji,ai,bij,aklmij,ξkb_{j}^{i}, a_{i}, b^{ij}, a_{klm}^{ij}, \xi^{k}, проверить закон преобразования компонент сверток:

?
(1)

ajiia_{ji}^{i}

(2)

ajibkja_{j}^{i} b_{k}^{j}

(3)

aibija_{i} b^{ij}

(4)

aklmijξka_{klm}^{ij} \xi^{k}.

Задача 36.22

Исходя из геометрического смысла тензоров ai,ξia_{i}, \xi^{i}, aji,bija_{j}^{i}, b_{ij}, объяснить геометрический смысл сверток:

?
(1)

aiξia_{i} \xi^{i}

(2)

ajiξja_{j}^{i} \xi^{j}

(3)

bijξiξjb_{ij} \xi^{i} \xi^{j}.

Задача 36.23

Можно ли свернуть:

?
(1)

вектор и ковектор?

(2)

вектор и вектор?

(3)

пару ковекторов?

Задача 36.24

Записать произведение линейных преобразований в тензорных обозначениях.

?
Задача 36.25

Тензоры aji,ξi,ϰia_{j}^{i}, \xi^{i}, \varkappa_{i} заданы матрицами: A232,c104\mathbf{A}_{232}, \mathbf{c}_{104}, c104T\mathbf{c}_{104}^{T}. Вычислить свертки:. A232=[123234111],c104=[1−23],c104=[1−23]\mathbf{A}_{232} = \left[\begin{smallmatrix} 1 & 2 & 3 \\ 2 & 3 & 4 \\ 1 & 1 & 1 \end{smallmatrix}\right], \mathbf{c}_{104} = \left[\begin{smallmatrix} 1 \\ -2 \\ 3 \end{smallmatrix}\right], \mathbf{c}_{104} = \left[\begin{smallmatrix} 1 \\ -2 \\ 3 \end{smallmatrix}\right].

?
(1)

ajiξja_{j}^{i} \xi^{j}

(2)

ajiϰia_{j}^{i} \varkappa_{i}

(3)

ajiξjϰia_{j}^{i} \xi^{j} \varkappa_{i}

Задача 36.26

Сколько различных тензоров можно образовать при помощи свертывания из данного тензора типа (2,2)(2, 2)?

?
Задача 36.27

Тензор akija_{k}^{ij} задан матрицей:

?
(1)

A651\mathbf{A}_{651}. A651=[[3425][5713]]\mathbf{A}_{651} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 3 & 4 \\ 2 & 5 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 5 & 7 \\ 1 & 3 \end{smallmatrix}\right] \end{smallmatrix}\right].

(2)

A655\mathbf{A}_{655}. A655=[[0−225][1332]]\mathbf{A}_{655} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 0 & -2 \\ 2 & 5 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 1 & 3 \\ 3 & 2 \end{smallmatrix}\right] \end{smallmatrix}\right].

Найти матрицы сверток:

(1) aiija_{i}^{i j},

(2) ajija_{j}^{i j}.

Задача 36.28

Тензор aklija_{kl}^{ij} задан матрицей:

?
(1)

A649\mathbf{A}_{649}. A649=[[1526][3748]]\mathbf{A}_{649} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 5 \\ 2 & 6 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 3 & 7 \\ 4 & 8 \end{smallmatrix}\right] \end{smallmatrix}\right].

(2)

A693\mathbf{A}_{693}. A693=[[0000][1234][−1−2−3−4][0000]]\mathbf{A}_{693} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 0 & 0 \\ 0 & 0 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right] \\ \left[\begin{smallmatrix} -1 & -2 \\ -3 & -4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 0 & 0 \\ 0 & 0 \end{smallmatrix}\right]\end{smallmatrix}\right].

(3)

A694\mathbf{A}_{694}. A694=[[1234][−4−3−2−1][−4−3−2−1][5678]]\mathbf{A}_{694} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} -4 & -3 \\ -2 & -1 \end{smallmatrix}\right] \\ \left[\begin{smallmatrix} -4 & -3 \\ -2 & -1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 5 & 6 \\ 7 & 8 \end{smallmatrix}\right]\end{smallmatrix}\right].

Вычислить свертки:

(1) ailija_{i l}^{i j};

(2) akjija_{k j}^{i j};

(3) akiija_{k i}^{i j};

(4) ailija_{i l}^{i j};

(5) aijija_{i j}^{i j};

(6) ajiija_{j i}^{i j}.

Задача 36.29
?
(1)

Каждому базису пространства Ln\mathcal{L}_{n} сопоставлен упорядоченный набор чисел aklmija_{klm}^{ij} (все индексы пробегают значения от 1 до nn). Известно, что для произвольного вектора ξk\xi^{k} числа aklmijξka_{klm}^{ij} \xi^{k} являются компонентами тензора типа (2,2)(2, 2). Доказать, что aklmija_{klm}^{ij} — тензор типа (2,3)(2, 3).

(2)

Каждому базису пространства Ln\mathcal{L}_{n} сопоставлен упорядоченный набор чисел aklmija_{klm}^{ij} (все индексы пробегают значения от 1 до n)n). Известно, что для произвольного тензора uijku_{ij}^{k} типа (1,2)(1, 2) числа aklmijuijka_{klm}^{ij} u_{ij}^{k} являются компонентами тензора типа (0,2)(0, 2). Доказать, что aklmija_{klm}^{ij} — тензор типа (2,3)(2, 3).

Подпараграф
Задача 36.30

Можно ли транспонировать тензор:

?
(1)

типа (1,1)(1, 1)

(2)

типа (2,0)(2, 0)?

Задача 36.31

Один тензор типа (0,2)(0, 2) получается из другого транспонированием. Как связаны соответствующие билинейные функции?

?
Задача 36.32

Тензоры

?
(1)

aija_{ij}

(2)

aija^{ij}

(3)

akija_{k}^{ij}

(4)

ajkia_{jk}^{i}

заданы соответственно матрицами A16,A16,A670,A670\mathbf{A}_{16}, \mathbf{A}_{16}, \mathbf{A}_{670}, \mathbf{A}_{670}. Найти матрицы транспонированных тензоров. A16=[1−111],A16=[1−111],A670=[[1256][3478]],A670=[[1256][3478]]\mathbf{A}_{16} = \left[\begin{smallmatrix} 1 & -1 \\ 1 & 1 \end{smallmatrix}\right], \mathbf{A}_{16} = \left[\begin{smallmatrix} 1 & -1 \\ 1 & 1 \end{smallmatrix}\right], \mathbf{A}_{670} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 2 \\ 5 & 6 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 3 & 4 \\ 7 & 8 \end{smallmatrix}\right] \end{smallmatrix}\right], \mathbf{A}_{670} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 2 \\ 5 & 6 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 3 & 4 \\ 7 & 8 \end{smallmatrix}\right] \end{smallmatrix}\right].

Задача 36.33
?
(1)

Сколько различных тензоров можно получить с помощью операции транспонирования из данного тензора ai1…ik?a_{i_{1} \ldots i_{k}}?

(2)

Тензор типа (0,3)(0, 3) задан матрицей A670\mathbf{A}_{670}. Выписать матрицы всех тензоров, получаемых из него транспонированием. Изменится ли ответ, если данный тензор имеет тип (3,0)?(3, 0)?. A670=[[1256][3478]]\mathbf{A}_{670} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 2 \\ 5 & 6 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 3 & 4 \\ 7 & 8 \end{smallmatrix}\right] \end{smallmatrix}\right].

(3)

Тензор aa с компонентами aijka_{ijk} задан матрицей A727\mathbf{A}_{727}. Выписать матрицы транспонированных тензоров bb и cc, если bijk=ajki,cijk=aikjb_{ijk} = a_{jki}, c_{ijk} = a_{ikj}. A727=[[132978423][798312867][465645195]]\mathbf{A}_{727} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 3 & 2 \\ 9 & 7 & 8 \\ 4 & 2 & 3 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 7 & 9 & 8 \\ 3 & 1 & 2 \\ 8 & 6 & 7 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 4 & 6 & 5 \\ 6 & 4 & 5 \\ 1 & 9 & 5 \end{smallmatrix}\right]\end{smallmatrix}\right].

(4)

Тензор aa с компонентами aijkla_{ijkl} задан матрицей A717\mathbf{A}_{717}. Выписать матрицы транспонированных тензоров bb и cc, если bijkl=akjli;cijkl=alkjib_{ijkl} = a_{kjli}; c_{ijkl} = a_{lkji}. A717=[[1256][3478][9101314][11121516]]\mathbf{A}_{717} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 2 \\ 5 & 6 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 3 & 4 \\ 7 & 8 \end{smallmatrix}\right] \\ \left[\begin{smallmatrix} 9 & 10 \\ 13 & 14 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 11 & 12 \\ 15 & 16 \end{smallmatrix}\right]\end{smallmatrix}\right].

Задача 36.34

Пусть a,ba, b — тензоры типа (1,1)(1, 1). Выразить тензор c=b⊗ac = b\otimes a через d=a⊗bd = a\otimes b.

?
Задача 36.35

Не используя сокращенных обозначений, выпишите все компоненты тензоров, заданных в пространстве L2\mathcal{L}_{2}:

?
(1)

xiykx^{i} y^{k}

(2)

x(iyk)x^{(i} y^{k)}

(3)

x[i]ykx^{\left[i\right] y^{k}}

(4)

xiajkx^{i} a_{jk}

(5)

xiaikx^{i} a_{ik}

(6)

xkaiix^{k} a_{i}^{i}

(7)

x(kaii)x^{(k} a_{i}^{i)}

(8)

x[k]aiix^{\left[k\right] a_{i}^{i}}

(9)

aiiakka_{i}^{i} a_{k}^{k}

(10)

a[i]iakka_{\left[i\right]^{i} a_{k}}^{k}

(11)

a(iiak)ka_{(i}^{i} a_{k)}^{k}

(12)

δjiaik\delta_{j}^{i} a_{i}^{k}

(13)

δjiakj\delta_{j}^{i} a_{k}^{j}

(14)

δjiaij\delta_{j}^{i} a_{i}^{j}

(15)

δjialk\delta_{j}^{i} a_{l}^{k}

(16)

alkδjia_{l}^{k} \delta_{j}^{i}

Задача 36.36

Тензор aija^{ij} задан матрицей:

?
(1)

A10\mathbf{A}_{10}. A10=[2513]\mathbf{A}_{10} = \left[\begin{smallmatrix} 2 & 5 \\ 1 & 3 \end{smallmatrix}\right].

(2)

A77\mathbf{A}_{77}. A77=[cos⁡α−sin⁡αsin⁡αcos⁡α]\mathbf{A}_{77} = \left[\begin{smallmatrix} \cos \alpha & -\sin \alpha \\ \sin \alpha & \cos \alpha \end{smallmatrix}\right].

(3)

A24\mathbf{A}_{24}. A24=[1−1−12]\mathbf{A}_{24} = \left[\begin{smallmatrix} 1 & -1 \\ -1 & 2 \end{smallmatrix}\right].

(4)

A232\mathbf{A}_{232}. A232=[123234111]\mathbf{A}_{232} = \left[\begin{smallmatrix} 1 & 2 & 3 \\ 2 & 3 & 4 \\ 1 & 1 & 1 \end{smallmatrix}\right].

Найти компоненты тензоров:

(1) a(ij)a^{(i j)};

(2) a[ij]a^{\left[i j\right]}.

Задача 36.37

Тензор aijka_{ijk} задан матрицей:

?
(1)

A650\mathbf{A}_{650}. A650=[[111−1][111−1]]\mathbf{A}_{650} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] \end{smallmatrix}\right].

(2)

A651\mathbf{A}_{651}. A651=[[3425][5713]]\mathbf{A}_{651} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 3 & 4 \\ 2 & 5 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 5 & 7 \\ 1 & 3 \end{smallmatrix}\right] \end{smallmatrix}\right].

(3)

A720\mathbf{A}_{720}. A720=[[246624462][462246624][624462246]]\mathbf{A}_{720} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 2 & 4 & 6 \\ 6 & 2 & 4 \\ 4 & 6 & 2 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 4 & 6 & 2 \\ 2 & 4 & 6 \\ 6 & 2 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 6 & 2 & 4 \\ 4 & 6 & 2 \\ 2 & 4 & 6 \end{smallmatrix}\right]\end{smallmatrix}\right].

Найти компоненты тензоров:

(1) a(ij)ka_{(i j) k};

(2) ai(jk)a_{i(j k)};

(3) a(i∣j∣k)a_{(i\left|j\right| k)};

(4) a(ijk)a_{(i j k)}

Задача 36.38

Тензор aklija_{kl}^{ij} задан матрицей:

?
(1)

A694\mathbf{A}_{694}. A694=[[1234][−4−3−2−1][−4−3−2−1][5678]]\mathbf{A}_{694} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} -4 & -3 \\ -2 & -1 \end{smallmatrix}\right] \\ \left[\begin{smallmatrix} -4 & -3 \\ -2 & -1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 5 & 6 \\ 7 & 8 \end{smallmatrix}\right]\end{smallmatrix}\right].

(2)

A684\mathbf{A}_{684}. A684=[[1930813][17411117]]\mathbf{A}_{684} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 19 & 30 \\ 8 & 13 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 17 & 41 \\ 11 & 17 \end{smallmatrix}\right] \end{smallmatrix}\right].

Найти компоненты тензоров:

(1) akl(ij)a_{k l}^{(i j)};

(2) a(kl)ija_{(k l)}^{i j};

(3) a(kl)(ij)a_{(k l)}^{(i j)}.

Задача 36.39

Тензор aijka_{ijk} задан матрицей:

?
(1)

A650\mathbf{A}_{650}. A650=[[111−1][111−1]]\mathbf{A}_{650} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] \end{smallmatrix}\right].

(2)

A651\mathbf{A}_{651}. A651=[[3425][5713]]\mathbf{A}_{651} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 3 & 4 \\ 2 & 5 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 5 & 7 \\ 1 & 3 \end{smallmatrix}\right] \end{smallmatrix}\right].

(3)

A720\mathbf{A}_{720}. A720=[[246624462][462246624][624462246]]\mathbf{A}_{720} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 2 & 4 & 6 \\ 6 & 2 & 4 \\ 4 & 6 & 2 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 4 & 6 & 2 \\ 2 & 4 & 6 \\ 6 & 2 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 6 & 2 & 4 \\ 4 & 6 & 2 \\ 2 & 4 & 6 \end{smallmatrix}\right]\end{smallmatrix}\right].

Найти компоненты тензоров:

(1) a[ij]ka_{\left[i j\right] k};

(2) ai[jk]a_{i \left[j k\right]};

(3) a[i∣j∣k]a_{\left[i \mid j \mid k\right]}.

Задача 36.40

Тензор aklija_{kl}^{ij} задан матрицей:

?
(1)

A694\mathbf{A}_{694}. A694=[[1234][−4−3−2−1][−4−3−2−1][5678]]\mathbf{A}_{694} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 2 \\ 3 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} -4 & -3 \\ -2 & -1 \end{smallmatrix}\right] \\ \left[\begin{smallmatrix} -4 & -3 \\ -2 & -1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 5 & 6 \\ 7 & 8 \end{smallmatrix}\right]\end{smallmatrix}\right].

(2)

A684\mathbf{A}_{684}. A684=[[1930813][17411117]]\mathbf{A}_{684} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 19 & 30 \\ 8 & 13 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 17 & 41 \\ 11 & 17 \end{smallmatrix}\right] \end{smallmatrix}\right].

Найти компоненты тензоров:

(1) akl[ij]a_{k l}^{\left[i j\right]};

(2) a[kl]ija_{\left[k l\right]}^{i j};

(3) a[kl][ij]a_{\left[k l\right]}^{\left[i j\right]}.

Задача 36.41

Тензор aijka_{ijk} задан матрицей:

?
(1)

A726\mathbf{A}_{726}. A726=[[123432987][456159654][789876321]]\mathbf{A}_{726} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 2 & 3 \\ 4 & 3 & 2 \\ 9 & 8 & 7 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 4 & 5 & 6 \\ 1 & 5 & 9 \\ 6 & 5 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 7 & 8 & 9 \\ 8 & 7 & 6 \\ 3 & 2 & 1 \end{smallmatrix}\right]\end{smallmatrix}\right].

(2)

A721\mathbf{A}_{721}. A721=[[246628462][462264824][684462246]]\mathbf{A}_{721} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 2 & 4 & 6 \\ 6 & 2 & 8 \\ 4 & 6 & 2 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 4 & 6 & 2 \\ 2 & 6 & 4 \\ 8 & 2 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 6 & 8 & 4 \\ 4 & 6 & 2 \\ 2 & 4 & 6 \end{smallmatrix}\right]\end{smallmatrix}\right].

Найти компоненты тензоров:

(1) a[ijk]a_{\left[i j k\right]};

(2) a(ijk)a_{(i j k)}.

Задача 36.42

Тензор типа (0,3)(0, 3) задан матрицей:

?
(1)

A723\mathbf{A}_{723}. A723=[[0000020−20][00−2000200][020−200000]]\mathbf{A}_{723} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 0 & 0 & 0 \\ 0 & 0 & 2 \\ 0 & -2 & 0 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 0 & 0 & -2 \\ 0 & 0 & 0 \\ 2 & 0 & 0 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 0 & 2 & 0 \\ -2 & 0 & 0 \\ 0 & 0 & 0 \end{smallmatrix}\right]\end{smallmatrix}\right].

(2)

A725\mathbf{A}_{725}. A725=[[0001−21−12−1][−12−10001−21][1−21−121000]]\mathbf{A}_{725} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 0 & 0 & 0 \\ 1 & -2 & 1 \\ -1 & 2 & -1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} -1 & 2 & -1 \\ 0 & 0 & 0 \\ 1 & -2 & 1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 1 & -2 & 1 \\ -1 & 2 & 1 \\ 0 & 0 & 0 \end{smallmatrix}\right]\end{smallmatrix}\right].

(3)

A720\mathbf{A}_{720}. A720=[[246624462][462246624][624462246]]\mathbf{A}_{720} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 2 & 4 & 6 \\ 6 & 2 & 4 \\ 4 & 6 & 2 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 4 & 6 & 2 \\ 2 & 4 & 6 \\ 6 & 2 & 4 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 6 & 2 & 4 \\ 4 & 6 & 2 \\ 2 & 4 & 6 \end{smallmatrix}\right]\end{smallmatrix}\right].

(4)

A650\mathbf{A}_{650}. A650=[[111−1][111−1]]\mathbf{A}_{650} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 1 & 1 \\ 1 & -1 \end{smallmatrix}\right] \end{smallmatrix}\right].

(5)

A722\mathbf{A}_{722}. A722=[[0−1110−1−110][02−2−2022−20][0−1110−1−110]]\mathbf{A}_{722} = \left[\begin{smallmatrix} \left[\begin{smallmatrix} 0 & -1 & 1 \\ 1 & 0 & -1 \\ -1 & 1 & 0 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 0 & 2 & -2 \\ -2 & 0 & 2 \\ 2 & -2 & 0 \end{smallmatrix}\right] & \left[\begin{smallmatrix} 0 & -1 & 1 \\ 1 & 0 & -1 \\ -1 & 1 & 0 \end{smallmatrix}\right]\end{smallmatrix}\right].

Выяснить, является ли тензор симметричным (антисимметричным), и если да, то по каким индексам.

Задача 36.43

Тензор ajia_{j}^{i} задан матрицей AA:

?
(1)

A58\mathbf{A}_{58}. A58=[1−2−25]\mathbf{A}_{58} = \left[\begin{smallmatrix} 1 & -2 \\ -2 & 5 \end{smallmatrix}\right].

(2)

A207\mathbf{A}_{207}. A207=[12025−20−25]\mathbf{A}_{207} = \left[\begin{smallmatrix} 1 & 2 & 0 \\ 2 & 5 & -2 \\ 0 & -2 & 5 \end{smallmatrix}\right].

Вычислить инварианты:

(1) aiia_{i}^{i};

(2) a[i]iakka_{\left[i\right]^{i} a_{k}}^{k};

(3) a[i]iajjakka_{\left[i\right]^{i} a_{j}^{j} a_{k}}^{k}.

Сравнить найденные инварианты с коэффициентами характеристического многочлена матрицы AA.

Задача 36.44
?
(1)

Доказать, что тензор εi1…in\varepsilon_{i_{1}} \ldots i_{n} (см. задачу 35. 21) кососимметричен по любой паре индексов.

(2)

Доказать, что тензор εi1…in\varepsilon_{i_{1} \ldots i_{n}} кососимметричен по любому подмножеству множества индексов.

(3)

Доказать, что тензор δj1…jki1…ik\delta_{j_{1} \ldots j_{k}}^{i_{1} \ldots i_{k}} (см. задачу 35. 20) кососимметричен по любой паре верхних индексов.

(4)

Доказать, что тензор δj1…jki1…ik\delta_{j_{1} \ldots j_{k}}^{i_{1} \ldots i_{k}} кососимметричен по любому подмножеству множества верхних индексов.

(5)

Доказать утверждение 4) для нижних индексов.

Задача 36.45

Пусть aija_{ij} и bijb^{ij} — компоненты соответственно симметричного и антисимметричного тензоров. Вычислить свертку aijbija_{ij} b^{ij}.

?
Задача 36.46

Для тензора δj1…jki1…ik\delta_{j_{1} \ldots j_{k}}^{i_{1} \ldots i_{k}}, определенного в задаче 35. 20, и произвольных тензоров aj1…jka^{j_{1} \ldots j_{k}} и bi1…ikb_{i_{1} \ldots i_{k}} доказать, что:

?
(1)

δj1…jki1…ikaj1…jk=a[i1…ik]\delta_{j_{1} \ldots j_{k}}^{i_{1} \ldots i_{k}} a^{j_{1} \ldots j_{k}} = a^{\left[i_{1} \ldots i_{k}\right]};

(2)

δj1…jki1…ikbi1…ik=b[j1…jk]\delta_{j_{1} \ldots j_{k}}^{i_{1} \ldots i_{k}} b_{i_{1} \ldots i_{k}} = b_{\left[j_{1} \ldots j_{k}\right]}.

Задача 36.47

Пусть aijkξiξjξk=0a_{ijk} \xi^{i} \xi^{j} \xi^{k} = 0 для любого вектора ξi\xi^{i}. Доказать, что a[ijk]=0a_{\left[ijk\right]} = 0.

?
Задача 36.48

Доказать, что aj(ialk)=a(jial)k,aj[i]alk=a[j]ialka_{j}^{(i} a_{l}^{k)} = a_{(j}^{i} a_{l)}^{k}, a_{j}^{\left[i\right] a_{l}^{k}} = a_{\left[j\right]^{i} a_{l}}^{k}.

?
Задача 36.49

Вычислить:

?
(1)

δjiδljδklδik\delta_{j}^{i} \delta_{l}^{j} \delta_{k}^{l} \delta_{i}^{k}

(2)

δjiδkjδlkδml\delta_{j}^{i} \delta_{k}^{j} \delta_{l}^{k} \delta_{m}^{l}

(3)

δ[i]iδjjδkk\delta_{\left[i\right]^{i} \delta_{j}^{j} \delta_{k}}^{k}

(4)

δ(iiδjjδk)k\delta_{(i}^{i} \delta_{j}^{j} \delta_{k)}^{k}

(5)

δjiδijδlkakl\delta_{j}^{i} \delta_{i}^{j} \delta_{l}^{k} a_{k}^{l}.

Задача 36.50
?
(1)

Пусть тензор симметричен по некоторой паре индексов. Доказать, что операция симметрирования по этим индексам тензора не меняет, а операция альтернирования дает нулевой тензор.

(2)

Пусть тензор антисимметричен по некоторой паре индексов. Доказать, что операция симметрирования по этим индексам дает нулевой тензор, а операция альтернирования тензора не меняет.

Задача 36.51
?
(1)

Доказать, что для симметричного по двум первым индексам тензора имеет место тождество

a(ijk)=13(aijk+akij+ajki) a_{(ijk)} = \frac{1}{3}\left(a_{ijk} + a_{kij} + a_{jki}\right)
(2)

Доказать, что для антисимметричного по двум первым индексам тензора имеет место тождество

a[ijk]=13(aijk+akij+ajki) a_{[ijk]} = \frac{1}{3}\left(a_{ijk} + a_{kij} + a_{jki}\right)
Задача 36.52
?
(1)

Тензор типа (0,3)(0, 3) симметричен по двум первым и симметричен по двум последним индексам. Доказать, что он симметричен также и по первому и третьему индексам.

(2)

Тензор типа (0,3)(0, 3) антисимметричен по двум первым и антисимметричен по двум последним индексам. Доказать, что он антисимметричен также и по первому и третьему индексам.

(3)

Пусть тензор типа (0,3)(0, 3) симметричен по двум первым индексам и антисимметричен по двум последним индексам. Доказать, что он нулевой.

Задача 36.53
?
(1)

Привести пример тензора типа (0,3)(0, 3), для которого a[ijk]=0a_{\left[ijk\right]} = 0, но не симметричного по трем индексам.

(2)

Привести пример тензора типа (0,3)(0, 3), для которого a(ijk)=0a_{(ijk)} = 0, но не антисимметричного по трем индексам.

(3)

Доказать, что для ненулевого тензора aa типа (0,3)(0, 3) возможно одновременное выполнение равенств a(ijk)=0a_{(ijk)} = 0 и a[ijk]=0a_{\left[ijk\right]} = 0.

Задача 36.54

Доказать, что любой тензор типа (0,2)(0, 2) или (2,0)(2, 0) можно разложить в сумму симметричного и антисимметричного тензоров.

?
Задача 36.55

Разложить в сумму симметричного и антисимметричного тензоров тензор типа (0,2)(0, 2), заданный матрицей:

?
(1)

A49\mathbf{A}_{49}. A49=[4−312−8]\mathbf{A}_{49} = \left[\begin{smallmatrix} 4 & -3 \\ 12 & -8 \end{smallmatrix}\right].

(2)

A16\mathbf{A}_{16}. A16=[1−111]\mathbf{A}_{16} = \left[\begin{smallmatrix} 1 & -1 \\ 1 & 1 \end{smallmatrix}\right].

(3)

A234\mathbf{A}_{234}. A234=[0220−1−200−2]\mathbf{A}_{234} = \left[\begin{smallmatrix} 0 & 2 & 2 \\ 0 & -1 & -2 \\ 0 & 0 & -2 \end{smallmatrix}\right].

Задача 36.56

Из символа Кронекера с помощью тензорных операций получить тензоры:

?
(1)

δklij\delta_{kl}^{ij};

(2)

δj1…jki1…ik\delta_{j_{1} \ldots j_{k}}^{i_{1} \ldots i_{k}} (см. задачи 35.18,35.2035. 18, 35. 20).

Задача 36.57
?
(1)

Пусть симметричный тензор aa типа (0,2)(0, 2) имеет в некотором базисе матрицу ранга rr. Доказать, что существуют rr линейно независимых ковекторов f1,…,fr\mathrm{f}_{1}, \ldots , \mathrm{f}_{r}, таких, что a=∑α=1rfα⊗fαa = \sum_{\alpha = 1}^{r} \mathrm{f}_{\alpha } \otimes \mathrm{f}_{\alpha }.

(2)

Сформулировать и доказать обратное утверждение.

(3)

Квадратичная функция φ\varphi в L2\mathcal{L}_{2} задана матрицей A56\mathbf{A}_{56}. Представить ее как сумму квадратов двух линейных функций. Единственно ли это представление? A56=[1113]\mathbf{A}_{56} = \left[\begin{smallmatrix} 1 & 1 \\ 1 & 3 \end{smallmatrix}\right].