43
Рисунок 3.11. Алгоритм канонического преобразования в Excel
Результаты канонического преобразования с помощью матриц S, Ф, G, K
получены в строках 12-14.
A´ A12:C14 =ТРАНСП(E7:G9)
C´ F12:H14 =МУМНОЖ(G2:I3;K7:M9)
A´ I12:K14 =МУМНОЖ(МОБР(K7:M9);МУМНОЖ(A2:C4;K7:M9))
Коэффициенты матрицы G для вычисления K берутся из матрицы Ф.
3.3.1.2. Алгоритм Сурье-Фадеева для определения коэффициентов
Алгоритм Сурье-Фадеева позволяет вычислить коэффициенты характе-
ристического полинома квадратной матрицы независимо от вычисления мат-
рицы Ф (это бывает необходимо для получения канонического преобразования
в другой матричной форме). Такая же задача часто возникает и при проектиро-
вании матричных моделей нетрадиционного вида.
Теория Сурье-Фадеева [16] говорит о том, что для любой невырожденной
квадратной матрицы А размером n
x
n коэффициент g
n-k
характеристического
полинома: s
n
+g
n-1
·s
n-1
+...+g
1·
s+g
0
и матричный коэффициент C
n-k
матрицы
adj(sI-A) в уравнении adj(sI-A)=C
n-1
s
n-1
+C
n-2
s
n-2
+...+C
1
s+C
0
удовлетворяют
при k=1,...,n следующим соотношениям:
C
n-k-1
=C
n-k
A+g
n-k
I, C
n-k
=I, C
-1
=0, (3.16)
g
n-k
=-(1/k)spur(C
n-k
A). (3.17)
44
Доказательство. Рекуррентная формула (3.16) вытекает непосредст-
венно из системы уравнений
s
: I= C
n-1
,
s
: g
n-1
I= -C
n-1
A+C
n-2
,
s
: g
1
I= -C
1
A+C
0
,
s
: g
0
I= -C
0
A .
При k=n выражение (3.17) может служить для проведения численного
контроля. Доказательство формулы следует из соотношений:
det(sI-A)=spur adj(sI-A). (3.18)
В левой части здесь стоит производная по s характеристического много-
члена; правая же часть преобразуется в соответствии с (3.18). Приравнивая
коэффициенты при степенях S
n-k-1
, получаем (nk) g
nk
=spurC
n-k-1
, k=0,...,n-1.
Отсюда вытекает (3.17) с помощью подстановки (3.16).
Формулы (3.16) и (3.17) представляют собой простой способ вычисле-
ния выражений det(sI-A) и adj(sI-A). А соотношение: (sI-A)
-1
=[det(sI-A)]
-1
adj(sI-
A) дает обратную матрицу (sI-A)
-1
, соответствующую преобразованию Лапласа
переходной матрицы дифференциального уравнения
X'=Ax(t).
3.3.1.3. Продолжение примера
Вычисление коэффициентов характеристического полинома квадратной
матрицы A на основе алгоритма Сурье-Фадеева легко программируется в
электронной таблице Excel. Строки 18-20 и 34-36 в электронной таблице (см.
рис.3.12) заполняются вручную на основании исходных данных. Также по ис-
ходным данным заполняется блок матрицы C
-1
(ячейки A30-C32). Затем в
строках 22-24 реализуются матричные формулы (коэффициенты характери-
стического полинома в электронной таблице Excel обозначены через α
i
).
A22:C24 =МУМНОЖ(A18:C20;E$2:G$4)+A$34:C$36*E22
E22 =-СУММ(H24;G23;F22)/A21
F22:H24 =МУМНОЖ(A18:C20;E$2:G$4).
Ввод формул в строки 26-28, осуществляется путем простого копирова-
ния строк 22-24.