книги / Матричное исчисление с приложениями в теории динамических систем
..pdf
|
|
4(*gMNJ |
+ |
|
<(UW |
|
|
|
|
+ |
|||
|
|
л |
|
■ V |
[ ^ |
|
- в, к о !11лг„ - |
|
|||||
|
+ A tKQM NaN ?A 0No + A ^ N 'N ^ K O M |
~ OSSA, - |
|||||||||||
|
|
|
- MaD » 'j^ l)N , + |
АгКаЫ„Ы~а'Ааы ] = |
|
||||||||
- |
JC<2i" (л„СЙ - ОЙА, - |
4 , 4 ° ' 1v„- E,O* |
7 Г |
4 ‘) лг0 + |
|||||||||
|
|
|
(/(ATQL11) |
|
m dNa |
|
>i ^ yy |
4 . |
|
||||
|
|
+ - i f - 4 + * Й Ч-5 Г + V |
|
||||||||||
|
|
Л 1 dx ” a ^ |
|
||||||||||
|
+ |
A,/Ca - j f |
- |
BtKQ["N0 - |
ВгК0Ы0 + AlK Q ^ \ N 0 + |
||||||||
+ |
|
|
- |
QiL1Л0 - |
M'DW |
|
- |
7 Г |
4 ' ) |
N° + |
|||
+ |
^ |
. A A ,] |
= j* e i" (A „Q S'J - е й л „ - |
м ао м |
|
+ |
|||||||
|
diKQ^h |
+ V |
[ A |
- |
B,KQl" - |
B2Ka + A,KQll>Aa + |
|||||||
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
+ |
А 4 |
(л»СЙ - |
Q i'X |
- |
|
Iw>. BJ |
+ A2KaAa |
|||||
Отсюда в силу равенств (9.2.17) и (9.3.4) |
|
|
|
|
|||||||||
|
|
|
|
|
|
*£? |
+ А ^ |
- в ,4 " - в24 01 + |
|||||
DM = [ аг1»л 1ч + V (а , dx |
|||||||||||||
|
|
+ A.Arl'lA'o' + |
|
+ |
а24 ° 'л 101)] | « |
. £^-а 0, |
|||||||
I.e. DM = DM IET. E Л.. |
|
|
|
|
|
|
|
||||||
|
|
|
a |
*a |
|
|
|
|
|
|
|
|
|
На основании последней зависимости из (9.3.2) следует, что |
|||||||||||||
Qso “ |
Q^sa I yv e E |
*и»значит>c точностью до произвольной матрицы |
|||||||||||
|
|
|
|
|
Q iM 21 = Qi21 L о .£ k |
|
|
|
|
||||
Допустим, |
что |
установлены инвариантность |
Q^11...... ^ |
и |
|||||||||
зависимости |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
D1,11 = DM | ла . ,*а4 |
(I = |
1......* - |
2). |
|
|
Покажем, что тогда матрица Q^*1 инвариантна относительно Na>а
Преобразуем выражение для |
|
в предположении, что к 3= 3: |
|||||||
к- 1 |
|
|
|
|
|
|
|
|
|
ди -Ч _ 2 4*-ЯЛ'Л + |
|
|
|
|
|
|
|||
* |
/ |
|
d/d*~vl |
|
Jfc-V |
|
|
|
|
|
|
|
|
|
|
||||
+ V 2 |
Л |
|
__2 _ |
- |
£ vx '* -v' + 2 А Х * '”"л л у | |
|
|||
^ - 1 |
dx |
|
|||||||
V = |
1 |
|
|
|
|
7 =О |
|
|
|
|
к - 1 |
|
|
|
|
rf*!*"1* |
|
||
|
= 2 |
л4*-лл<>' + |
|
|
+ |
|
|||
|
/-2 |
|
|
|
|
|
|
|
|
+ V 2 А-1- д - - Л" 2 |
|
+ |
|
||||||
|
|
V = |
2 |
|
|
V = 1 |
|
|
|
+ Л"‘ 2 |
л |
к ^ |
л |
' 0' + |
л0‘ 2 |
|
+ |
|
|
|
V = |
1 |
|
|
|
V в 1 |
|
|
|
|
|
|
|
|
|
+ V 2 *2 А ^ ь - '- П ь у К |
|||
|
|
|
|
|
|
|
v = 1 |
/ = 2 |
|
Но |
|
|
|
|
|
|
|
|
|
2 А«-ЛЛ1Л = |
|
|
|
|
|
|
|
|
|
1 - г |
|
|
|
|
|
|
|
|
|
= 2 |
|
|
(A»6io - |
QoJA° - M 'D "-» л г') лг, = |
|
||||
7 = 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
^ |
‘ л л ^ |
Д/ * |
|
|
|
|
|
|
yva’ |
|||
|
|
|
|
|
|
7 =2 |
|
|
|
* и - ‘|Лш + |
------к о '* -" лг0лг;‘ [л 0е'У - |
Qi'jAa - |
|
||||||
- |
М ,{X)l°) |„ |
_ Е |
-N „+ K 0^ \ N |
- al н а + |
|
ок
+ diKQf- 111 лгв + |
^ |
= |
|
|
= |
[лг1‘- ч л 1‘1 + |
dK%-4 |
1 |
•*«; |
|
|
dx |
- 4 |
е ** |
|
|
|
Тем самым равенство (9.3.5) доказано. Тогда из (9.3.2) следует, что Qj*J = Q}® =е , и, значит, с точностью до произвольной
°*о
матрицы Q[akJ
|
|
О |
|
что означает инвариантность матрицы |
относительно Na. |
||
В силу вышеизложенного по индукции получаем |
|||
|
D " = Oi'1 v° *0N . |
(г = |
1, 2, ...), |
|
(г = |
1, 2, ...) |
|
|
Ql'' = Q!,r' \ K -E, |
||
и, далее, |
в |
|
|
|
(г = 0, 1, 2 ,...), |
||
4 |
Г| = 4 r| |
||
л и |
= лс'л 1г| L _ e. лг„ |
(г = |
0, 2, 3, 4, ...), |
|
СТ |
|
|
|
Л '" = л^ л '" |
N — N~l — - |
|
|
|
JVa dx * |
§ 9.4. Рекуррентные соотношения в некоторых частных случаях
Произвол в выборе Q[akJ можно использовать для упрощения расчетных формул. Так как МаК ^ = Ql*1, т0 из
Q l«=0 |
(*=1 .2 ....) |
(’ •‘*•1) |
|
следуют равенства МаК}^ = 0 |
(* = 1 ,2 ,...). При этом |
|
|
A /.D l*-11 = |
|
k-v |
|
|
|
|
|
= М Л - ' Е |
’-1 dx |
- BV4 * ' v| + 2 |
|
V = 1 |
|
|
|
Имея в виду, что |
|
02 |
|
/Я |
|
|
|
2 |
КМ = K0 +K'2t Q.А*'. |
|
|
к*О |
|
Л=1 |
|
получим еще |
|
|
|
m |
|
(т = 0, 1, 2 ,,,.) |
|
м „ 2 |
|
|
|
*-0 |
|
|
|
И |
|
MQKa = Ek. |
(9.4.2) |
О |
|
Более простой вид принимают расчетные формулы в случае Л*(т) = &k(x) = 0 (Л = 1, 2,...). При этом
или, в силу (9.4.1) и (9.4.2),
Под Q^01 здесь подразумевается блочная матрица типа п X А0, со стоящая из следующих блоков Q*®1 типа ks х кд:
Q |« - P V |
S = °' |
[ 0 , |
S # сг. |
Формула (9.2.17) соответственно принимает вид
Значительно упрощается и вид матриц MsDlk 11 |
фигу |
рирующих в формулах (9.2.16): |
|
§ 9.5. Условие сохранения нормы решений уравнений при замене переменных
Скалярное произведение векторов а{ и а2 (столбцовых матриц) определим равенством (ар а2) = а'г'а{, где а' — вектор, эрмитово сопряженный вектору а. Пусть ук и у2 — какие-нибудь А0-мерные векторы, а х ; = Kayi (/= 1 ,2 ). Предположим, что
Учитывая» что в правой части последнего равенства стоит эрми това матрица, можно принять, например,
ой — i S <**.*,ой + ой***Я)-
S — 1
Аналогично этому, так как (к + 1)-е равенство (9.5.5) можно представить в виде
о!*1+ ей1* = -S (**»*.ой' + ой1**;*.) - S е1°|,***й “в|.
s=1 |
а=1 |
5*0 |
|
можно принять |
|
р |
к - 1 |
S (ККМ2 + ой1***,«о) + S Qjal****OJ‘ ' al • |
|
5 = 1 |
a =1 |
5*0 |
|
Очевидно, что таким |
образом определенные матрицы Q}J$ |
(А: — 1, 2, ...) являются эрмитово-сопряженными.
З а м е ч а н и е 9.5.1. Существуют, конечно, матрицы QikJ, обес
печивающие выполнение равенств (9.5.5) и имеющие более общий вид, например, матрицы
S (**.*.ой' + ей1***.*.) +
5=1
5*0
+ 2 |
+ 5i« |
(* = *> 2 ,...), |
a= 1 |
J |
|
где 5 ^ — произвольная квадратная матрица порядка к5>обладаю
щая свойством 5 ^ + 5^* = 0. ■ Остается показать, что выбор матрицы Ка всегда может быть
подчинен условию (9.5.6). Общий вид субматриц матрицы К, пре образующей квадратную матрицу U к квазидиагональному виду, соответствующему принятому способу разбиения собственных зна чений матрицы U на непересекающиеся группы, представляется ра венством