Очень часто приходится транспонировать -свернутое произведение многомерных матриц. В теории обычных матриц при транспонировании произведения множители транспонируются и меняются местами. Для многомерных матриц аналогичное правило имеет место лишь при транспонировании
- свернутого произведения соответственно некоторой подстановке специального вида. Это правило было получено Соколовым Н. П. [81], однако представляется недостаточно формализованным. С использованием введенных в разделе 2.8 подстановок ему можно придать строго формализованный вид, а также получить некоторые другие правила транспонирования [51]. Для наглядности полученных формул транспонирования структуру матрицы будем выделять указанием количества кэлиевых, скоттовых и свободных индексов.
Теорема 2.4 (о транспонировании -свернутого произведения соответственно подстановке специального вида). Пусть
–
-мерная матрица и
–
- мерная матрица, причем
Тогда справедливо равенство
, (2.10.1)
Докажем равенство (2.10.1). Для этого обозначим
, (2.10.2)
, (2.10.3)
. (2.10.4)
Здесь подстановки записаны в рангах. Тогда формула транспонирования (2.10.1) примет вид
. (2.10.5)
Найдем левую часть равенства (2.10.5). Найдем сначала ,
. (2.10.6)
Транспонируем теперь в соответствии с подстановкой
(2.10.2).
.
Раскрывая здесь матрицу по формуле (2.10.6), для левой части равенства (2.10.5) будем иметь
. (2.10.7)
Для правой части доказываемого равенства (2.10.5) получим
. (2.10.8)
Заменяя здесь элементы матриц в соответствии с формулой транспонирования (2.8.3) и подстановками
(2.10.3), (2.10.4), будем иметь
. (2.10.9)
Мы видим, что правые части выражений (2.10.7) и (2.10.9) равны. Следовательно, равны и левые части этих выражений. Теорема доказана.
Приведем частные случаи формулы (2.10.1). При получаем
. (2.10.10)
В случаях , или
, т. е. когда одна из матриц полностью сворачивается, получим
. (2.10.11)
Если , т. е. матрицы
и
-мерные, получим
. (2.10.12)
При
. (2.10.13)
Если и
, т. е. обе матрицы
-мерные, то
. (2.10.14)
Приведенные формулы (2.10.1), (2.10.10) – (2.10.14) не исчерпывают всех возможных случаев. Докажем еще две теоремы о транспонировании произведений многомерных матриц.
Теорема 2.5 (о транспонировании -свернутого произведения соответственно произвольной подстановке). Если
–
-мерная матрица
-го порядка,
–
-мультииндекс, и
–
-мерная матрица
-го порядка,
–
-мультииндекс, то
, (2.10.15)
где – мультииндексы, образующие вместе некоторую перестановку индексов мультииндексов
.
Для доказательства формулы (2.10.15) введем обозначения
,
,
,
,
из которых следуют равенства для элементов матриц
,
Видно, что , или
. Теорема доказана.
Пример 2.8. Пусть – одномерная матрица второго порядка,
и – трехмерная матрица второго порядка,
.
На основании формулы (2.10.15) для этих матриц можно записать, что
. (2.10.16)
Проверим правильность этого равенства путем расчетов его левой и правой частей и сравнения их между собой. Для левой части получим
,
.
Для правой части равенства (2.10.16) будем иметь
,
.
Видим, что правая и левая части равенства (2.10.16) совпадают, что подтверждает справедливость формулы (2.10.15).
Теорема 2.6 (о -свернутом умножении транспонированных матриц). Если
–
-мерная матрица
-го порядка,
, и
–
-мерная матрица
-го порядка,
, то
, (2.10.17)
где – мультииндексы, представляющие собой некоторые перестановки индексов мультииндексов
соответственно.
Для доказательства равенства (2.10.17) обозначим
Тогда для элементов матриц можно записать
.
Мы видим, что
, т. е.
, что и доказывает теорему 2.6.
Пример 2.9. Пусть – двухмерная матрица второго порядка,
,
и – одномерная матрица второго порядка,
.
По формуле (2.10.17) для этих матриц получим
. (2.10.18)
Проверим это равенство путем расчетов. Для левой части равенства (2.10.18) находим
. (2.10.19)
Правая часть равенства (2.10.18) определяется выражением
,
что дает предыдущий результат (2.10.19).
Сделаем замечание относительно формулы (2.10.17). Она применима в прямом направлении, т. е. при переходе от матрицы к матрице
. В обратном направлении она применима лишь тогда, когда подстановка
разбивается на две подстановки
. Например, для произведения
, где
– двухмерная матрица, а
– одномерная, обратный переход невозможен, так как при разбиении подстановки
ее составляющие
подстановками не являются.
При транспонировании многомерных матриц в случаях, не подпадающих под изложенные выше теоремы, приходится прибегать к поэлементной записи матриц.
2.11. Некоторые свойства -единичной матрицы
Установим некоторые свойства -единичной матрицы
-го порядка
, которые будут использоваться в дальнейшем.
Теорема 2.7. Матрица симметрична относительно подстановок
или
, т.е.
. (2.11.1)
Матрица может быть получена возведением в
-свернутую
-ю степень двухмерной единичной матрицы
, а именно,
, (2.11.2)
где подстановка имеет вид
. (2.11.3)
Действительно, по определению –
-мерная гиперквадратная матрица,
, (2.11.14)
в которой каждый элемент равен символу Кронекера
,
(2.11.15)
Непосредственно из определения (2.11.15) видно, что
,
т. е. матрица симметрична относительно подстановок
или
. Равенство (2.11.1) доказано. Докажем теперь равенство (2.11.2). Раскроем мультииндексы
в (2.11.15) и запишем левую часть равенства (2.11.2) в развернутом виде
. (2.11.19)
Рассмотрим теперь правую часть (2.11.2), для чего раскроем матрицу :
. (2.11.20)
Транспонируя матрицу (2.11.20)
соответственно подстановке (2.11.3), получим
. (2.11.21)
Правые части выражений (2.11.19) и (2.11.21) совпадают, следовательно равны и левые их части. Равенство (2.11.2) доказано.
Следствие. -свернутая
-я степень двухмерной единичной матрицы
может быть представлена в виде
, (2.11.22)
где подстановка имеет вид
. (2.11.23)
Результат (2.11.22) получаем транспонированием обеих частей равенства (2.11.2) соответственно подстановке (2.11.23) с учетом правила повторного транспонирования матрицы (2.9.13):
.
Здесь – тождественная подстановка. В том, что подстановки
и
взаимно обратные, т.е.
, легко убедиться, найдя их суперпозицию.
МНОГОМЕРНО-МАТРИЧНЫЙ АНАЛИЗ
В данном разделе анализируется состояние существующих подходов к теории матричного дифференцирования и разрабатывается теория многомерно-матричного дифференцирования.
Дата: 2019-02-02, просмотров: 516.