§ 6. ФУНКЦИИ ОТ МАТРИЦ И НЕКОТОРЫЕ ИХ ПРИЛОЖЕНИЯ
Функции от матриц.
Приложения линейной алгебры к другим отделам математики весьма многочисленны и разнообразны. Не будет преувеличением сказать, что в большей части современной математики и теоретической физики в той или иной форме используются идеи и результаты линейной алгебры, главным образом в форме исчисления матриц.
Рассмотрим коротко один из путей приложения исчисления матриц к теории обыкновенных дифференциальных уравнений. Здесь важную роль играют функции от матриц.
Прежде всего определим степень квадратной матрицы А. Положим 
. При помощи сочетательного закона легко доказать, что 
для любых натуральных тип. Для матриц были определены действия сложения и умножения на число. Это дает возможность естественным образом определить значение многочлена (от одной переменной) от матрицы. Именно, если 
то положим (по определению) 
Таким образом определяется понятие наиболее простой функции от матричного аргумента — многочлена.
Посредством предельного перехода легко обобщить понятие функции от матричного аргумента на значительно более широкий класс функций, чем многочлен от одной переменной. Не касаясь этого вопроса во всей его общности, ограничимся рассмотрением аналитических функций.
Прежде всего введем понятие предела последовательности матриц. Последовательность матриц
называется сходящейся к матрице 
(или имеющей
пределом матрицу А), если 
для всех 
. Далее, суммой ряда 
называется предел сумм его отрезков 
если этот предел существует.
Пусть 
есть аналитическая функция, регулярная в окрестности 
Тогда, как известно, 
разлагается в степенной ряд
Для любой квадратной матрицы А естественно положить
Оказывается, что такой ряд сходится для всех матриц А, собственные числа которых лежат внутри круга сходимости степенного ряда 
В приложениях представляют интерес элементарные функции от матриц.
Так, например, геометрическая прогрессия 
является сходящимся рядом для матриц, модули собственных чисел которых меньше 1, и суммой этого ряда является матрица 
что находится в полном соответствии с формулой
Представление 
в виде бесконечного ряда дает эффективное средство для приближенного решения систем линейных уравнений, матрицы коэффициентов которых близки к единичной.
Действительно, записав такую систему в форме
получим
что дает удобную формулу для решения системы, если только ряд (15) сходится достаточно быстро.
Полезно рассматривать биномиальный ряд
который можно применять (если собственные числа А по модулю меньше 1) не только для натуральных показателей 
но и для дробных и отрицательных.
Особенно важной для приложений является показательная функция от матрицы
Ряд, определяющий показательную функцию, сходится при любой матрице А. Показательная функция от матриц обладает свойствами, напоминающими свойства обычной показательной функции. Так, если А и В коммутируют при умножении, т. е. 
то 
Однако при некоммутирующих А и В формула перестает быть верной.
