2. Вычисление матричной экспоненты.
Пусть -матрица, тогда
Лемма. Если Т — невырожденная -матрица,
то
Доказательство вытекает из тождества
Эта лемма необыкновенно упрощает вычисление степеней матриц. Ясно, что в качестве матрицы Т нужно взять такую, которая приводит матрицу А к простейшему виду. Пусть матрица А приводится к диагональному виду, т. е. существует матрица Т такая, что
Тогда, в силу (6),
Из (6) следует, что
и если матрица А приводится к диагональному виду, то
В частности, отсюда следует, что
Здесь — след матрицы А, т. е. сумма ее диагональных элементов;
Из линейной алгебры [7, 17] известно, что так что
Формула (9) для определителя матричной экспоненты (доказанная пока только для таких матриц, которые приводятся к диагональному виду) справедлива для любых квадратных матриц.
Формулы (2), (8) позволяют получить новое доказательство формулы для решений системы (1) (гл. 1, § 8). Всякое решение системы (1) имеет вид , где а —
Из этой формулы следует,
Эта формула в. сочетании с (8) позволяет вычислить матрицу для произвольной матрицы А.
Матричная экспонента позволяет установить связи между важнейшими классами матриц. Из (5) следует, что
так как Аналогично,
где А — эрмитово сопряженная матрица (т. е. если то
Если матрица А — кососимметрическая, т. е. , то матрица — ортогональная. Действительно,
2. Если матрица А — косоэрмитова, т. е. , то матрица . — унитарная. Действительно,
Из (12), (13) следует также, что если матрица А симметрическая (эрмитова), то матрица также симметрическая (эрмитова).
Одно из основных отличий матричной экспоненты от обычной (скалярной) таково
если Чтобы убедиться в этом, достаточно взять матрицы