Очень часто приходится транспонировать -свернутое произведение многомерных матриц. В теории обычных матриц при транспонировании произведения множители транспонируются и меняются местами. Для многомерных матриц аналогичное правило имеет место лишь при транспонировании - свернутого произведения соответственно некоторой подстановке специального вида. Это правило было получено Соколовым Н. П. [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, просмотров: 509.