Разрабатываемая в данном разделе теория многомерно-матричного дифференцирования базируется на определении многомерной матрицы (2.1.1).
Определение многомерно-матричной производной
Прежде всего дадим определение многомерно-матричной производной [46]. Пусть – -мерная гиперпрямоугольная матрица
(3.2.1)
зависящая некоторым образом от -мерной гиперпрямоугольная матрицы ,
(3.2.2)
где и – мультииндексы. Производной матрицы по матрице назовем -мерную матрицу , определяемую выражением
(3.2.3)
Из определения (3.2.3) видно, что элемент матрицы определяется как частная производная
,
и в матрице индексы матрицы следуют за индексами матрацы (соблюдается естественный порядок следования индексов). В отличие от работы [40] здесь индексы матриц и не делятся на строчные и столбцовые, и не нарушается естественный порядок следования индексов в производной.
Производные высших порядков определяются последовательным дифференцированием:
,
или
.
Известную скалярно-матричную производную (3.1.2) получаем как частный случай многомерно-матричной производной (3.2.3) при , .
Докажем основные правила многомерно-матричного дифференцирования.
Производная сложной функции
Пусть – многомерно-матричная функция ( -мерная матрица)
– -мерная матрица,
– -мерная матрица с различными (несовпадающими) элементами,
Тогда производная определяется как следующее -свернутое произведение:
(3.2.4)
Докажем формулу (3.2.4). По определению (3.2.3) производная является -мерной матрицей
Так как для каждого элемента этой матрицы имеем формулу [30]
,
то это означает справедливость формулы (3.2.4).
Более общим является случай функции , где – -мерная матрица, – -мерные матрицы, , – -мерная матрица. Тогда
. (3.2.5)
Эта формула следует из того, что для каждого элемента справедливо равенство [30]
.
Если дифференцируемая сложная функция , , явно зависит от аргумента , т. е. имеет вид , то
.
Эта формула вытекает из существующей для этого случая формулы дифференцирования для отдельного элемента матрицы [30]
.
Производная произведения
Пусть – -мерная матрица,
– -мерная матрица,
– -мерная матрица,
причем , Справедлива следующая формула дифференцирования -свернутого произведения матриц и :
. (3.2.6)
Здесь символами и обозначены подстановки типа «вперед» и «назад» (2.8.11), (2.8.12) соответственно. Количество индексов подстановок и равно размерности транспонируемых матриц.
Для доказательства формулы (3.2.6) введем обозначения
.
По определению -свернутого произведения (2.2.17) для матриц и будем иметь выражения
,
. (3.2.7)
Второе слагаемое в правой части выражения (3.2.7) дает второе слагаемое в формуле (3.2.6), т.е.
. (3.2.8)
Первое слагаемое в правой части выражения (3.2.7) есть -свернутое произведение матриц и , однако свертывание производится не по внутренним индексам, как это принято в определении (2.2.17). Обозначим такое произведение как -свернутое,
.
Выразим -свернутое произведение через -свернутое произведение со свертыванием по внутренним индексам. Для этого введем матрицу
, (3.2.9)
где символом обозначена подстановка типа «вперед». Из формулы (3.2.9) следует, что
. (3.2.10)
Найдем -свернутое произведение матриц и
. (3.2.11)
Подставив в формулу (3.2.11) выражение (3.2.10), получим
.
Из последнего равенства видно, что матрицы и связаны соотношениями транспонирования
, . (3.2.12)
В результате первое слагаемое в выражении (3.2.7) приведено к виду
. (3.2.13)
Однако порядок следования индексов в матрице (3.2.13) отличается от порядка следования индексов в производной (3.2.7). Поэтому от матрицы Z необходимо перейти к матрице так, чтобы выполнялось условие
. (3.2.14)
Подставляя выражение (3.2.12) в равенство (3.2.14), получаем
,
или
, (3.2.15)
Учитывая формулу (3.2.11), запишем матрицу (3.2.15) в виде
. (3.2.16)
Теперь первое слагаемое в выражении (3.2.7) записано в форме (3.2.16), а второе слагаемое – в форме (3.2.8), что и доказывает формулу (3.2.6).
Производная неявной функции
Пусть функция задана неявно равенством
, (3.2.17)
где – -мерная матрица,
,
– -мерная матрица,
,
– -мерная матрица,
.
Тогда производная есть -мерная матрица, которая находится как решение следующего многомерно-матричного уравнения
. (3.2.18)
Действительно, расписав равенство (3.2.17) поэлементно,
,
находим, что производные могут быть получены из системы линейных алгебраических уравнений [30]
. (3.2.19)
Система уравнений (3.2.19) в многомерно-матричной форме имеет вид (3.2.18).
Если функция задана соотношением
, (3.2.20)
где – -мерная матрица, – -мерная матрица, – -мерная матрица, то определяется как решение уравнения
. (3.2.21)
Это следует из правила (3.2.5).
Дата: 2019-02-02, просмотров: 689.