Файл: Абгарян К.А. Матричные и асимптотические методы в теории линейных систем.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 11.04.2024
Просмотров: 146
Скачиваний: 0
104 |
П Р Е О Б Р А З О В А Н И Е М А Т Р И Ц Ы |
[ГЛ. V |
||
как нетрудно проверить с помощью равенств |
(3.9), (3.5), |
|||
и |
Мо (У - ХЕп) = |
(Л0 - |
XE J М |
|
(U - ХЕп) Ко = |
Ко (Ас - ХЕка), |
|
||
|
|
|||
представим матрицу МаАаКа в виде |
|
|
||
|
МоАоКа = П |
П (Ла - |
b f E J . |
|
|
s=l /=] |
|
|
|
|
s^Aa |
|
|
|
Согласно сделанному предположению среди множителей правой части последнего равенства имеется вырожденная
матрица |
Ла — А;£ьа. Поэтому МаАаКо — вырожденная |
матрица. |
Но, с другой стороны, |
M QA OK O = M OK OM QOK O — M QоК о>
причем, как было показано в § 3, MQOKO — невырожден ная матрица. Полученное противоречие доказывает, что любое собственное значение матрицы Л0 есть собственное значение матрицы U, включенное в группу о.
Пусть теперь А/ — собственное значение матрицы U, включенное в группу о.
Предположим, что X,- не является собственным значением матрицы Ла. Тогда А/ должно быть собственным значением хотй бы одной из остальных матриц Л, ([ = 1, ..., р; і Ф а). Пусть это будет Лй(s Ф а). Но тогда, по доказанному выше, А,- принадлежит группе s. То есть оказалось, что Ау принад
лежит одновременно двум различным группам a n s , |
что |
|
противоречит условию (3.1). Таким образом, |
справедливо |
|
и обратное предложение, а именно: всякое |
собственное |
|
значение матрицы U, включенное в группу о, является соб |
||
ственным значением матрицы д ст. |
|
|
§ 5. Общий вид преобразующей матрицы |
|
|
Матрица К, преобразующая квадратную матрицу |
U к |
квазидиагональному виду Л, составлена из блоков Ко (о = = 1,2, ..., р), которые представляют собой левые множите ли в разложениях матриц А0 (U) (о = 1, ..., р) в форме (3.3). Разложение (3.3) неоднозначно: в качестве множителя Ко может быть взята любая матрица, составленная из ka линейно независимых столбцов матрицы Да (U) и даже из
♣ 6] |
О Б Щ И Й В И Д П Р Е О Б Р А З У Ю Щ Е Й М А Т Р И Ц Ы |
105 |
ka линейно независимых линейных комбинаций столбцов этой матрицы.
Пусть
Ao(U)=KaM0a, |
(5.1) |
где Ко и Моа — какая-нибудь пара матриц, удовлетворяю щая условиям разложения на множители матрицы Аа (U) в форме (3.3). Тогда множество всех матриц, удовлетворяю щих условиям разложения на множители Аа (U) в форме (3.3), может быть представлено соотношениями
|
Ко = KaNa, |
M0a = N 7lMoo, |
(5.2) |
где |
No — произвольная |
невырожденная матрица |
поряд |
ка |
ko. |
|
|
Всамом деле, Ко и Моо также являются матрицами типа
пX ko и ko X п соответственно и ранга ^ и в силу (5.1)
KoMoo = Ao(U). |
(5.3) |
С другой стороны, если
Ao(U) = KoMoo
и
Аа {U) = K OM QO,
то существует такая невырожденная матрица N a порядка ko, что
Ко = KoNo.
Действительно, умножая обе части равенства
КоМ-Оо — KONIQO
справа на Ко (Мо0Ка)~\ получим
К о = К о М о о К о Ш о о К о Г 1,
т. е. Ко представляется как произведение матрицы Ко на матрицу
Na = МоаКа (МоаКа) *
типа ko X ko.
Остается доказать, что Na — невырожденная матрица. Для этого достаточно показать, что МооКо — невырожденная
І 0 6 |
П Р Е О Б Р А З О В А Н И Е М А Т Р И Ц Ы |
[ГЛ . V |
матрица. Что это так, видно из равенства
An(U)До(U)= KOM QOKGM QO-
В левой части этого равенства стоит матрица ранга ka, поэтому ранг каждого сомножителя в правой части не может быть меньше, чем ка. В частности, не меньше, чем ko, ранг
матрицы МоаКа, а так как ее порядок равен ka, то ранг этой матрицы в точности равен ka-
Теперь о М0а — втором сомножителе в разложении матри цы А0 (U).
Если Ко = КаКа, то, как было отмечено выше, матрица
Nâ'Moo удовлетворяет условиям разложения матрицы Аа (U) (см. (5.3)). Покажем, что это единственная матрица, удовлетворяющая соотношению (5.3) при выбранном первом
сомножителе Ко- Действительно, пусть
Au (U) = ЛТМоа и Да (V) = КаМоа.
Вычитая из первого равенства второе, получим
Ко (MQO — Moo) — 0.
Отсюда, учитывая, что Ко есть матрица с ka линейно неза висимыми столбцами, имеем
Моо = MQO-
Итак, выражения (5.2) определяют общий вид сомножи телей матрицы Да (U) в разложении (3.3).
Выясним далее, в каком соотношении находятся ма трицы
Mo — (-MQOKO) Klоо
И
Мо = (МооКоГ1м 0а.
Подставляя в правую часть второго равенства соотно шения' (5.2) и сравнивая с первым равенством, находим
Ма = N7'Мо-
§ 6] |
П О С Т Р О Е Н И Е Ж О Р Д А Н О В О Й Ф ОРМ Ы М А Т Р И Ц Ы |
І07 |
||
Наконец, сравнение друг с другом матриц |
|
|||
|
До = МаиКа |
и |
До = MJJKa |
|
даст |
|
|
|
|
|
Да = |
МГ'ЛаА'а. |
|
|
До, |
Таким образом, матрицы KoNa, N ^ lM a, N ^lAaNa, |
где |
||
Ма, Аа — какая-нибудь |
тройка матриц, удовлетво |
ряющая соотношениям (3.3), (3.4), (3.8), а Na — произволь ная невырожденная матрица порядка ka, можно рассмат ривать как общий вид отвечающих группе о собственных значений матрицы U блоков преобразующей матрицы, матрицы, обратной преобразующей, и соответствующей ква зидиагональной матрицы.
В соответствии с вышеизложенным множество всех матриц, преобразующих квадратную матрицу к квазидиаго нальному виду при данном разбиении собственных значе ний матрицы 0 на некоторое число р групп, исчерпывается выражением
К = KN.
где К — какая-нибудь матрица, приводящая U к квазидиа гональному виду Л, а N — квазидиагональная матрица, у которой /-я диагональная клетка (/ = 1, 2, ..., р) занята произвольной невырожденной матрицей того же порядка, что и /-й диагональный блок матрицы Л.§
§ 6. Построение жордановой формы матрицы
Вопрос о построении жордановой матрицы, подобной данной, и соответствующей преобразующей матрицы может быть решен различными путями. Мы здесь приводим один простой способ решения этих задач, в котором используется алгоритм преобразования матрицы к квазидиагональному виду, изложенный в предшествующих параграфах.
Пусть дана квадратная матрица U порядка п. Собствен ные значения этой матрицы, которые предполагаются из вестными, разобьем на группы в соответствии с условием (3.1) при дополнительном требовании, чтобы в каждую груп пу были включены только разные между собой собственные значения. Итак, если U имеет р различных собственных
108 |
П Р Е О Б Р А З О В А Н И Е М А Т Р И Ц Ы |
[ГЛ . V |
|
значений Alt Хг, |
Хр, то при указанном разбиении собствен |
ных значений на группы будем иметь р групп, причем в пер вой группе окажутся, например, все собственные значения матрицы U, равные А^, во второй группе — все собственные значения, совпадающие с А2, и т. д. Как и прежде, число собственных значений, включенных в группу а, будем обо значать через ko- Рассмотрим какую-нибудь группу, на пример группу s, объединяющую ks равных собственных значений матрицы U. Этой группе в жордановой форме матрицы будет отвечать одна или несколько клеток Жорда на, сумма порядков которых равна ks. Для построения жор дановой формы матрицы нужно знать, сколько клеток Жор дана отвечает данной группе, и порядок этих клеток. От вет на указанные вопросы может быть получен с помощью
теоремы, |
которая приводится ниже. |
|
|||
Введем некоторые |
обозначения. |
|
|||
Положим |
|
|
|
|
|
|
|
f(X) = U — ХЕ. |
|
||
Через |
4 Ѵ) обозначим дефект |
матрицы fv (Xs) (v = 0, 1, |
|||
2, ...). Так как |
/° (As) |
= Е (по |
определению), то |
df'1= 0. |
|
Через |4Ш) обозначим число клеток т-го порядка с соб |
|||||
ственным |
значением |
Х5 в жордановой матрице, |
подобной |
||
матрице |
U. |
|
обозначим общее число клеток Жор |
||
Наконец, через р,5 |
|||||
дана с собственным |
значением |
Xs. |
значение |
||
Т е о р е м а |
6.1. |
Пусть |
Xs — собственное |
(ks-Kpamme) матрицы U. Тогда число клеток Жордана гп-го
порядка (т = 1, 2, 3, |
...) с собственным значением Aä |
в жор |
дановой матрице, подобной матрице U, связано с дефектами |
||
матриц /ѵ (Xs) (v = |
0, 1, 2, ...) соотношением |
|
p,'m) = |
2dT]- dT~X)- dT+i)- |
(6.1) |
Д о к а з а т е л ь с т в о . ца, подобная матрице U, а разующая матрица, так что
Пусть J — жорданова матри Т — соответствующая преоб
U = TJT~\ |
(6.2) |
J == diag [Jx (А,х)..........JS(XS), . . . , JP(XP)]. |
|
Здесь Xi ф Xj (i Ф j) и каждый из блоков//(Xj) (i = |
1, 2, ... |
..., p) является матрицей Жордана, состоящей из одного или нескольких клеток Жордана.
5 6] |
П О С Т Р О Е Н И Е Ж О Р Д А Н О В О Й Ф ОРМ Ы |
М А Т Р И Ц Ы |
109 |
||
Согласно |
(6.2) матрицы |
(U — КЕ,У |
и |
|
|
(У — |
= |
diag {[Л (^) — |
. . . . |
Ѵ А К ) - К Е крѴі |
подобны, и потому их дефекты совпадают. Дефект квазидиа- гоналы-юй матрицы (J — hsEn)v равен сумме дефектов ее диагональных блоков. Но все диагональные блоки, кроме одного, а именно блока [,/s (Д) — ksEks]v,— невырожден
ные матрицы, так как Xs не является собственным значением матриц {%і) {і Ф s).Поэтому дефект матрицы (J — УД,)Ѵ а значит и матрицы (U — \Е„)Ѵ, совпадает с дефектом блока Uj (А.) — XsEks]v. Вычислим дефект этого блока.
Пусть
|
./s W |
= diag [ / < > s), 4 2)( U . . . . |
|
|
||||||
где j[]) |
(Xs), |
..., |
(К) — клетки Жордана порядка ks\, ... |
|||||||
..., kstx.s соответственно (У) ksi = |
ks). |
Тогда |
|
|
||||||
[Js( h ) - b s E ksV = d\ag(Hlsi, Н \г, |
. . . , |
НІЩ), |
||||||||
где Hksi — матрица сдвига порядка ksi. |
|
|
|
|
||||||
Согласно |
последнему |
равенству |
дефект |
матрицы |
||||||
[Js (\) |
— XsEk ]ѵ, совпадающий |
с дефектом ,div) |
матрицы |
|||||||
/ѵ (\), |
равен |
сумме дефектов матриц |
Н\ |
^ |
(/ = |
1, 2, ..., p,s). |
||||
|
|
|
|
|
V |
при |
ѵ <; |
ksi |
равен ѵ, |
|
В свою очередь дефект матрицы Я* |
|
|||||||||
а при V > ksi равен ksi. Учитывая это, имеем |
|
|
||||||||
|
|
4 V) = |
£ ~ l) + |
ц, - |
Ѵѵ |
р'И |
|
|
(6.3) |
|
|
|
|
|
|
г=і |
|
|
|
|
Полагая в (6.3) ѵ = т и ѵ = /л + 1, получим соответ ственно
( М
4 m+1) = dm + ^ _ 2 ц».
і=і
Наконец, вычитая из второго равенства первое, находим
р Г = 24"° - d f -1) - d T fl), что и доказывает теорему.