Пусть — функциональная матрица типа класса , т. е. функции непрерывно дифференцируемы в некотором интервале . Тогда под производной (см. [1]) понимается матрица
Употребляется также обозначение .
Если соответствующие матричные действия имеют смысл, то справедливы следующие соотношения:
1) если — постоянная матрица, то
2) ;
3) ;
4) .
Далее, пусть — неособенная матрица и — ее обратная матрица. Имеем
Дифференцируя это равенство, получаем
Отсюда
Приведем еще одну формулу дифференцирования. Пусть скалярное произведение
Учитывая, что
имеем
Укажем еще один результат. Пусть -матрица и
Имеем
В частности, если коммутирует со своей производной , T. e.
то получаем
Пусть
и матричный ряд
сходится при , а ряд гроизводных
сходится равномерно на ( ), т. е. все функциональные ряды
равномерно сходятся на . Тогда при справедлива формула
(1.). I
Доказательство проводится аналогично скалярному случаю. В цастности, формула (1.11.1) верна, если
где ряд сходится.
Если матрица , то при и определяется ее интеграл (см. [1])
Используя понятие предела матрицы, интеграл матрицы можно определить через предельный пєреход
где и
Справедливы следующие свойства:
1) если , то
2) если — постоянная матрица, то
3) если , то
4) если , то
(формула интегрирования по частям);
5)
Действительно, в силу свойс.ва 3) нормы матрицы для любой конечной суммы имеем
Отсюда, переходя к пределу при и учитывая непрерывность нормы, получаем формулу (1.11.2).
В дальнейшем иногда придется рассматривать вектор-функции
компоненты которых зависят от нескольких переменных . Если , то под производной такой функции по вектору понимается матрица Якоби
Если мы имеем сложную функцию
где
причем и непрерывнс дифференцируемы, то согласно правилу дифференцирования сложной функции получаем (см. [7])
Отсюда, используя правило умножения матриц, будем иметь
T. e。