12 Тензоры.
Ошибка.
Попробуйте повторить позже
Показать, что операция опускания (и поднятия) индекса является композицией тензорного
произведения с фиксированным тензором (и, соответственно,
) и свёртки.
Действительно, рассмотрим, например, опускание первого верхнего индекса у тензора при
помощи тензора
. С одной стороны, по определению компоненты этого тензора после опускания
будут:
С другой стороны, если сначала умножить тензорно на
, то это будет тензор типа
с компонентами:
Если же, далее, осуществить свёртку этого нового тензора по первому нижнему и первому верхнему
индексу, то будем иметь тензор типа с компонентами
Что и равно опусканию первого верхнего индекса, с точностью до переименования немого индекса
суммирования на
.
Для поднятия всё, разумеется, аналогично.
Ошибка.
Попробуйте повторить позже
Пусть - тензор типа
. Что будет результатом его свёртки по единственной паре
индексов? Как эта операция связана с уже известной вам операцией на матрицах?
Фактически, на тензоры типа можно смотреть как на матрицы. То есть мы имеем дело с
матрицей
, коэффициенты которой можно записать в виде
. Тогда по определению свёртки по её
единственному верхнему и нижнему индексу, мы будем иметь:
где по повторяющемуся верхнему и нижнему индексу подразумевается суммирование. То есть
Таким образом, свёртка тензора представляет собой операцию взятия следа. В конце
получается тензор типа
, то есть просто вещественное число.
Ошибка.
Попробуйте повторить позже
Рассмотрим , пусть
- базис в
.
Пусть компоненты тензора задаются формулой
Пусть в выбран новый базис, который связан со старым базисом матрицей перехода
Найти компоненту в новом базисе.
Запишем тензорный закон для этой компоненты:
где - компоненты матрицы
,
- компоненты матрицы
- соответствующая замене
двойственного базиса в
.
Матрица будет иметь вид:
Осталось лишь посчитать по формуле .
Но, как вы видите, в этой формуле целых пять индексов суммирования - расписывать её в лоб будет
очень долго, это получится очень большая сумма. И, что самое главное - мы проделаем лишнюю
работу, которую мы сейчас с вами немного сократим за счёт наблюдений за элементами матриц и
.
Даватйе заметим, что, во-первых, поскольку в первой строке матрицы только первый элемент
отличен от нуля, то
имеет смысл брать только равным 1 (при остальных
число
будет равна 0
и занулит всё слагаемое), а также поскольку в третьем столбце матрицы
все элементы кроме
третьего равны нулю, то имеет смысл брать
лишь равным 3. По аналогичным соображениям,
имеет смысл брать лишь равным 1 или 2. И, также заметим, что
можно брать только равным 2 или
3.
Таким образом, будем иметь:
Далее, поскольку , то это последнее равенство можно переписать:
Где,
как и всегда, подразумевается суммирование по повторяющимся верхним и нижним индексам.
Заметим, что не зависит от индексов
, поэтому его можно просто вынести как общий
множитель при каждых
и
- он по определению зависит только от второго нижнего индекса, т.е.
от
. Таким образом, будем иметь:
Напомним, мы в сумме брали любым, а вот
только 1 или 2, поскольку
при
равен
нулю.
Осталось просуммировать по (как мы уже заметили, берём
только равным 2 или
3):
(компоненты тензора мы вычисляли по данному нам условию )
Далее,
Таким образом, в конце концов имеем:
Ошибка.
Попробуйте повторить позже
Рассмотрим , пусть
- базис в
.
Пусть компоненты тензора задаются формулой
Пусть задан фиксированный тензор типа
задан матрицей
Найти компоненту тензора
, получающего из тензора
при помощи опускания третьего
индекса с фиксированным тензором
По определению опускания индекса,
Ошибка.
Попробуйте повторить позже
Пусть - векторное произведение в
. Пусть
- некоторый базис в
.
Показать, что набор чисел
, определенных правилом
образует тензор (т.е. удовлетворяет тензорному закону).
Пусть - коэффициенты матрицы перехода к некоторому другому базису
,
-
коэффициенты обратной к матрице перехода матрицы. Тогда какие бы базисные векторы в новом
базисе
в новом базисе мы ни взяли, то, разложив их при помощи матрицы перехода по старому
базису как
,
, будем иметь:
И в силу полилинейности векторного произведения, коэффициенты можно вынести за знак векторного произведения, а векторное произведение от суммы по каждому аргументу равно сумме векторных произведений:
Далее, в силу того, что нам дано , продолжаем:
И
вектор при помощи обратной матрицы к матрице перехода выразим через новый базис как
.
В конце концов получаем:
Но, с
другой стороны, по определению чисел , имеем:
Откуда
И слева и справа в нашем равенстве записаны некоторые линейные комбинации базисных векторов в
новом базисе (). Но в силу того, что
- это базис, то если две линейные комбинации базиса
равны, то коэффициенты этих линейных комбинаций совпадают (свойство единственности разложения
по базису). Таким образом, будем иметь:
И мы получаем в точности тензорный закон для чисел . Следовательно, эти наборы чисел
действительно являются тензором.