CC BY
43
УДК 517.925
Э.Х. Назиев, А.Х. Назиев, Г.И. Келейникова
ОБ ОДНОРОДНЫХ ЛИНЕЙНЫХ ДИФФЕРЕНЦИАЛЬНЫХ СИСТЕМАХ С ПОСТОЯННЫМИ КОЭФФИЦИЕНТАМИ И ПОЛНОЙ ПРОБЛЕМЕ СОБСТВЕННЫХ ЗНАЧЕНИЙ
(Часть 2) *
Известно, что нахождение решений однородной линейной дифференциальной системы с постоянной матрицей А сводится к алгебраической задаче нахождения нормальной жордановой формы J матрицы А и определения матрицы Р такой, что J = РЛАР. Нахождение матрицы J опирается на теорию элементарных делителей характеристической матрицы А - ХЕ, что приводит к так называемой полной проблеме собственных значений, состоящей в нахождении всех собственных значений и соответствующих им собственных векторов матрицы А. Решение этой проблемы даже в случаях систем не очень высоких порядков сопряжено со значительными трудностями, возникающими уже на стадии получения характеристического уравнения путем развертывания определителя характеристической матрицы. В 1969 году Р. Беллман [1] писал, что “в настоящее время не имеется простых методов нахождения собственных значений и собственных векторов матриц большого размера”. За минувшие с тех пор тридцать лет существенных изменений не произошло. В настоящей работе мы пытаемся продвинуться в решении указанной проблемы, изменив обычный порядок действий. Обычно сначала ищут собственные значения, затем - собственные векторы. Мы идём в обратном направлении.
В первой части были изложены общие результаты. Вторая часть посвящена подробному рассмотрению примеров.
однородная линейная система дифференциальных уравнений с постоянными коэффициентами, полная проблема собственных значений, однородная линейная группа, инфини-тезимальный оператор, однопараметрическая подгруппа.
5. (Продолжение). а) Легко указать общий интеграл системы (1.10), которой соответствует каноническая форма определяющей матрицы (2.4) с клетками (2.5).
Действительно, так как каждая из подсистем системы (1.10) интегрируется отдельно и все они имеют одинаковую структуру, достаточно указать общий интеграл системы
:2 = г1 + Х2,
г1 = Аг1,
которой соответствует каноническим оператор
Ґ
X 0/ = А
дг1
+... + г
дг1
+ г
дг2
+... + г
д?
дг
г
ж
Окончание. Начало (Часть 1) см.: Вестник РГУ. 2009. Вып. 1, № 1. С. 115-136.
и каноническая матрица
М
/О -2 г г
О г1
О О
г
.1-і
і Л
В этом случае имеем і функций
г2 1
1 і 1 2 ^ 3 1
и = 1п г , и = —, и =—
гх 2
22
V г
г3
V г У
соответствующих единственной клетке матрицы М порядка і. Положив
находим
Равенство
~ 1 2 і и = а^и + а^и +... + а^и ,
Х0и = Аа1 + а2/
Аа1 + а2 = О,
при выполнении которого имеет место тождество X0и = 0, удовлетворяется следующими і - 1 наборами значений а1,а2,...,а1: 1, - А, 0,..., 0; 0, 0, 1, 0,..., 0;..0, 0,., 1. Таким образом, имеем і - 1 линейно независимых решений уравнения X0 / = 0 :
и1 = и1 - Аи2 и2 = и3
~ і -1 і
и = И
Приравнивая эти решения произвольным постоянным, получаем I - 1 независимых первых интегралов указанной выше системы дифференциальных уравнений
г2 1
1п г1 - А-^ = С\ -1 -1 2
г
2
V г У
+ ^- = С7
Г
V г У
2 4
г г
44
^=сз,..., (-1)^.1-
1 )2 г1 4 ’ і -1
V г У
+... + ^ = с1 -1,
^ У г
образующих вместе с равенством
1п г1 - Хг = С0,
где С0 - произвольная постоянная, ее общий интеграл. Общий интеграл системы (1.10) составляется из общих интегралов т ее подсистем рассмотренного вида, на которые она распадается.
Общий интеграл системы (1.1) получается из общего интеграла системы
(1.10) переходом к переменным х1,..., хп при помощи равенств (1.9). Общее ре-
г
и
г
2
3
г
шение системы (1.1) получается из ее общего интеграла после разрешения последнего относительно указанных переменных.
б) Можно поступить иначе. Записывая уравнения
представляющие собой часть системы дифференциальных уравнений в симметричной форме, соответствующей системе (1.10), легко понять, что, например, равенства
системы (1.10). Кроме того, легко обнаруживаются, например, интегрируемые комбинации
Таким образом, можно указать следующий алгоритм нахождения общего интеграла и общего решения системы (1.1):
- находим наиболее удобную совокупность т - 1 независимых первых интегралов системы (1.10), пользуясь соответствующими интегрируемыми комбинациями, полученными при помощи указанных выше дифференциальных уравнений;
- в качестве остальных п - т, не зависящих явно от переменной t независимых первых интегралов системы (1.10), берем интегралы, указанные в п. а);
- в качестве интеграла, вводящего в рассмотрение независимую переменную t, берем любой интеграл уравнения Х0 f = 1.
Далее поступаем так, как в п. а.
6. Приступая к иллюстрации полученных результатов, отметим, что, в силу указанного в начале п. 1 взаимно однозначного соответствия, всем рассматриваемым ниже матрицам соответствуют линейные однородные дифференциальные системы с постоянными коэффициентами, которые мы с целью экономии места не выписываем.
Пример 1. Рассмотрим матрицу
С1 /~12 /~1 т—1
,С ,..., С - произвольные постоянные, определяют первые интегралы
dzkl+1 _ d (/2+12кз+1)
+1 (А2 + А3 )(г ) , , 1
к.2 +1 кз +1
2 2 3
(Аш-1 ~т/\
У
дающие первые интегралы системы (1.10) вида
где С1,..., Ск - произвольные постоянные, и другие интегрируемые комбинации для трех, четырех, ... переменных zks+1 = 1 ,.., т) .
А —
4 -1 -2 1
1 3 2 -1
1 0 1 0
1 1 2 1
Для составления характеристического уравнения данной матрицы вычисляем все ее степени вплоть до четвертой. Получаем:
А — Е —
(1 0 0 0^ 0 10 0 0 0 10 у0 0 0 1у
(
А — А —
А3 -А0
-12
-12
V
26 - 38 26
26 24 -18
-7 -11 7
18 24 10
4 -1 - 2
1 3 2
1 0 1
1 1 2
(
Л
1
0
1
(
А —
- 4
- 4 5
10 6 Л
8 -5
-1 1
8 - V
А4 -
А0 -
146 - 98 -130
- 32 72
64
65 - 33 - 49
- 32
56
64
98
- 56 33
- 40
Л
Матричное уравнение (3.2) в нашем случае п = 4 имеет вид х 4 Е + аъ Ад + х2 А0 + с?1 Ад + (Хд Ад — О.
Матрица соответствующей этому уравнению системы уравнений (3.3) после отбрасывания очевидных повторений имеет вид а) и после элементарных преобразований, выполняемых над строками этой матрицы, принимает вид Ь):
(
а)
Х4 а3 Х2 с Х0
1 4 14 46 146 ^
0 -1 -6 6 2 - 8 9 - х4 а3 Х2 с Х0
0 -2 -10 8 3 - - 3 О ( 1 0 - 6 0 156 Л
0 -1 -4 -12 - 32 0 1 5 0 -106
1 3 9 26 72 Ь) 0 0 0 1 9
0 2 8 24 64 0 0 0 0 0
0 -1 -1 -18 6 5 -
0 0 -1 -7 3 3 - V 0 0 0 0 0 у
1 1 -1 -11 9 4 -
1 1 -1 -10 - 40 у
Из вида последней матрицы следует, что среди указанных и, следовательно, и среди всех степеней данной матрицы А0 всего три линейно независимые. Поэтому в соответствующей этой матрице системе линейных уравнений
9
а
4 - 6а2 + 156а0 = 0,
а3 + 5а 2 - 106а 0 = 0,
а
+ 9а0 = 0
два неизвестных коэффициента являются свободными. Желая получить коэффициенты характеристического многочлена данной матрицы, мы должны положить а0 — 1 и, например, а4 — р4 — А(А0) — 24 [1], и тогда найдем
а3 — р3, а2 — р2, а1 — р1 из системы уравнений
24 - 6 р2 +156 — 0,
р3 + 5 р2 -106 — 0,
р1 + 9 — 0 :
Р1 — - 9, Р2 — 30, Р3 — - 44.
Таким образом, характеристическое уравнение данной матрицы имеет вид А(А) — А4 - 9А3 + 30А2 - 44А + 24 — 0.
Его корни А — 3, А — Аз — А4 — 2.
Кроме того, мы найдем минимальный многочлен у/(А) нашей матрицы, если в указанной выше системе уравнений положим а0 — 0 и, например, а2 — 1. Тогда получим а3 — -5, а4 — 6 и, следовательно,
у(А) — А2 - 5А + 6,
так что
А(А) — (А- 2)2у(А).
Приступим теперь к нахождению собственных векторов данной матрицы. Легко обнаруживается линейная комбинация матриц Е, А0 и А^ :
А02 - 4 А0 + 4 Е =
С2 - 2 - 2 2^
0 10 -1
1 -1 -1 1
V
0
1
0 -1
(
у
V
2 - 2 - 2 2 0 0 0 0
1 -1 -1 1
0 0 0 0
л
(
+
У
V
0 0 0 0
0 10 -1
0 0 0 0
0 10 -1
л
= (I) + (II).
У
Матрицы (I) и (II), находящиеся в правой части полученного равенства, канонические. Легко проверить, что векторы (2, 0, 1, 0) и (0, 1, 0, 1) являются собственными векторами матрицы А0, а векторы (1, -1, -1, 1) и (0, 1, 0, -1) -
собственными векторами матрицы А^ .
Для нахождения жордановых базисов матриц А0 и А^ воспользуемся определяющей матрицей, соответствующей линейно независимым (в чем нетрудно убедиться) матрицам Е, (I), (II), А0:
Ґ
М
х
0
У
w
Л
у - н 0 у - н
2(х - у - г + н) 0 х - у - г + н 0
4 х - у - 2 г + н - х + 3 у + 2 г - н х + г - х + у + 2 г + н у
(х — х1, у — х2, г — х3, н — х4).
При помощи указанных в п. 2 элементарных преобразований приведем эту матрицу к каноническому виду. Для этого сначала воспользуемся тем, что векторы а1 — (1, -1, -1, 1) и а2 — (0, 1, 0, -1) являются общими собственными векторами матриц, полученных транспонированием используемых матриц и имеет место легко проверяемое (см. теорему 7.1) равенство а% — Аах , где % — Ах, а - собственный вектор матрицы А и А - соответствующее ему собственное число: вычитаем из первого столбца второй и третий и прибавляем четвертый, одновременно вычитаем из третьего столбца четвертый:
г
х - у - г + w у - w
w
Л
х - у - г + w
0
3(х - у - г + w) 2(у - w)
0
х - у - г + w х + г
у - w 0
х + у + 2 г + w у
Вычитаем первую строку из третьей и первую строку, умноженную на 3, из четвертой:
Сх - у - г + w у - w
0
0
0
х
00 - (у - w) х - у - 2г + w
w у - w w
Л
- (у - w)
х + г
— х + у + 2 г — 2w
Вычитаем третью строку из четвертой и эту же строку прибавляем к пер-
вой:
^ х - у - г + w 0 0 0
0
х - у - г - w
0
Л
0 0 у - w
- (у - w) х - у - 2г + w - w
0 у - w - х + у + 2 г - w
У
г
г
0
0
Наконец, переставляем вторую строку с третьей и четвертой, вычитаем первый столбец из третьего, прибавляем второй столбец к четвертому, умножаем третью строку на (-1):
М =
0 у - н - х + у + 2 г - н у
0 0 у - н - х + у + 2 г - н
0 0 0 у - н
Из вида полученной канонической матрицы следует, что форма агх — х - у - г + н (вектор а1 — (1, -1, -1, 1), А — 3) имеет кратность, равную 1, а форма а2 х — у - н (вектор а2 — (0, 1, 0, -1), А2 — 2) имеет кратность, равную 3. Векторы а3 — (-1, 1, 2, -1) и а4 — (0, 1, 0, 0) являются присоединенными векторами матрицы А^ соответственно второго и третьего порядков.
Согласно указанному в п. 5 алгоритму б) общий интеграл линейной дифференциальной системы, соответствующей матрице А0 , можно определить равенствами
1 і , л ^ п0 (у - Л-1
1п(х - у - г + и’) - 3ґ = С , --------------------- --------- —— = С ,
(х - у - г + и)
- х + у + 2г - и 2 1 Г-х + у + 2г - и^
1п(у - и) - 2---------------------= С ,---------
у - и 2
у - и
+ -^ = С3. у - и
Разрешая эти равенства относительно форм г1, г2, г3, г4 , приходим к ра-
венствам
1 Я1 3í
г = х - у - г + н — Се ,
2 ~ 2 2?
г = у -н — Се ,
г3 = х + у + 2г - н — (С3 + С~2?)е2?,
~ ~ ~ ?2 4 //"ч 4 . /"ч 3 , . 2 \ 2?
г = у — (С + С? + С — )е ,
разрешая которые относительно х, у, г и н , получаем общее решение соответствующей матрице А0 системы в виде
х(t) — 2С1е3‘ + (С2 + С3 + С2? )е 2,
~ ~ ~ ?2 у(?) — (С4 + <~3? + С2 —)е2,
2
г (і) = С Vі + (С3 + С 2і )е
2і
~ ~ ~ ~ і и(ї) = (С4 - С2 + С3і + С2 — )е2.
2!'
Образуем матрицу
а
- 2
а
- 3 =
а
- 4
^а У
Р 1 =
и найдем ей обратную матрицу
Г 2 11
0 0 0
1 -1 -1 0 -1
1
1
1
0 -1
2 -1
Л
0
100
У
Р =
10
0 ^ 1
10
к 0 -10 1у
Векторы-столбцы Д = (2, 0, 1, 0) , Д = (1, 0, 0, -1), Д = (1, 0, 1, 0) и Д = = (0, 1, 0, 1) образуют жорданов базис матрицы А0, взаимный с жордановым
базисом а1, а2, а3, а4 матрицы А^ .
Построим канонические матрицы, соответствующие имеющему место разбиению на жордановы цепочки найденных взаимных базисов. Так как жорданов базис матрицы А^ состоит из двух цепочек (т = 2), образованных векторами а1 (11 = 1) и а2, а3, а4 (12 = 3), то по формулам (1.32) находим:
Ах = Ра1 =
С2 - 2 - 2 2^ 0 0 0 0
1 -1 -11
0 0 0 0
У
А2 = Р2а + Р^а + Ра =
А =
Р3а2 + Р4а3 =
Л =
Р4а =
-1 2 2 - 2 ^
0 1 0 0
-1 1 2
0 0 0 1У
' 0 1 0 - 0
-1 1 2
0 1 0
1-1 1 2 - V
' 0 0 0 0 ^
0 1 0 -1
0 0 0 0
10 1 0 - V
Множество попарно перестановочных матриц, порождаемое этими матрицами, согласно формуле (1.31) для нашего случая определяется равенством
А = С1А1 + (С2А2 + С3А3 + С4А4).
Нетрудно убедиться, что при С0 = Л1 = 3, С0 = А2 = 2, СО = 1, С0 = 0 получаем данную матрицу А0:
Ао = 3 А1 + 2 А2 + А3.
При С = 1, С12 = 1, С13 = С1 = 0 получаем разложение по каноническим матрицам единичной матрицы:
Е = А1 + А2.
Пример 2. Рассмотрим матрицу
(1
А =
0 0 1
Л
0 0 -11
0 - 2 13
ч 0 1 -10 У
Четвертая степень этой матрицы имеет вид
А4 -А0
(1 5 - 5 - 5 1
0 1 0 - 5
0 5 - 4 - 5
ч0 0 0 - 4у
Прибавляя к этой матрице матрицу 4Е, получаем матрицу
(55 - 5 - 5 ^ ( 11 - 1 - Л (000 0^
А04 + 4Е -
05
05
00
0 - 5 0 - 5 00
- 5
00
00
00
+5
0 10 -1
0 10 -1
0 0 0 0
^ „ „у ^ V V ^у ^ V V иу
Каждая из матриц в правой части последнего равенства перестановочна с данной матрицей. Векторы Д - (1, 0, 0, 0) и Д - (0, 1, 1, 0) являются ее собственными векторами, а векторы а1 - (1, 1, -1, -1) и а2 - (0, 1, 0, -1) - собственными векторами матрицы А^ . Указанным векторам соответствуют собственные числа Я1 - 1, Я2 - -1 матриц А0 и А^ .
Для нахождения координат остальных собственных векторов матрицы А0, воспользуемся равенством (4.3), используя вектор а1:
с1 + с2 - С3 - С4 - 0.
Из этого равенства находим
с4 - с1 + с2 - с3,
так что произвольный собственный вектор первой из найденных выше матриц имеет вид
с - (с1,с2,с3,с1 + с2 - с3),
где с ,с2,с3 - произвольны. Осталось определить их таким образом, чтобы
вектор с был собственным вектором матрицы А0.
Для этого воспользуемся равенством (4.4):
0
^1 0 0 0 - 2
0
0 Л Гс1 1 (с1 1
1 1 с2 - я с2
1 3 с3 с3
1 0 У с1+с2 - с3у 1с1 + с2 - с3у
где Я также подлежит определению. После соответствующих вычислений, получаем систему линейных и однородных относительно уравнений
с коэффициентами, зависящими от Я :
(2 - Я)С + С2 - С3 = 0,
С1 + (1 - Я)С2 - 2С3 = 0,
3С1 + С2 -(2-Я)С3 = 0,
- АС1 + (1 - Я)С2 - (1 - Я)С3 = 0.
Матрица этой системы имеет вид
G(Я) =
(2 - Я 1 -1 ^
1 1 - Я - 2
3 1 - (2 - Я)
- Я 1 - Я - (1 - Я) у
Требуется найти значение Я , при котором ранг этой Я -матрицы равен 2.
Пользуясь элементарными преобразованиями Я -матриц [2], получаем Я -матрицу, эквивалентную записанной:
G(А) =
(1 1 - Я - 2 ^
0 - 2 + 3Я 4 - Я
0 0 Я3 - Я2 + 2
0
0
0
Из вида матрицы О(Я) следует, что ее ранг, а следовательно, и ранг матрицы G(Я) будет равен 2, если Я является одним из корней уравнения
Я3 - Я2 + 2 = 0, то есть при Я2 = -1 и Я4 = 1 — I .
При Я = Я2 = -1 указанная выше система сводится к двум уравнениям
С + 2С2 - 2С3 = 0, | С2 - С3 = 0,
которые удовлетворяются значениями С' = 0, С2 = С3 = 1. Тогда указанное выше выражение для С4 дает С4 = 0 и мы получаем уже известный нам вектор
Д2 = (0, 1, 1, 0).
При Я = 1 - / указанная выше система сводится к двум уравнениям
[С1 - С - 2С3 = 0,
I (1 + 31)С2 + (3 - ОС3 = 0.
Положив С3 = 1, находим С2 = - г, С' = 1 и С4 = - *, так что имеем собственный вектор Д3 = (1, - г, 1, -г). При Я4 = 1 + г получаем комплексносопряженный вектор Д4 = (1, г, 1, г).
Координаты векторов Д, Д2, Д3, Д4 образуют соответствующие столбцы преобразующей матрицы
Р - Д2 , Д Д4 ) -
Л
1 0 1 1
0 1 - / /'
0 0 1 1
у 0 1 - І / у
обращая которую, получаем матрицу
^1
0
1 -1 -1
0 --
2
0 -1
V 2
0 -1 1 1 + І
22 1 1 - І
22
У
а2
а3
Vа 4 у
строки которой дают соответствующие собственные векторы матрицы А^ :
2 2 2
а1 -(1, 1, -1, -1), а2 - (0, 1, 0, -1), а3 -( 0, -1,1,—], а4 -(0, --1,-1,^ |.
Линейно независимым векторам а1,а2,а3,а4 соответствуют линейные
формы
г1 - х + у - г - ~№, z2 - у - ~№, z3,4 --у + z + ± /и>.
Согласно указанному в п. 5 алгоритму б), равенства (напоминаем, что \ = 1, Я2 = -1, Я3 4 = 1 + г)
Ь1 > /^0 1 2 /"»1
г - і - С , гг - С
г3 г 4
и:
(г1)! С' (г4 )ь
-С
- С3
которые после подстановки в них указанных выражений для г1, г2, г3, г4 и некоторых несложных преобразований, принимают вид
1п(х + у - г - w) - ^ = С0, (х + у - г - w)(y - w) = С1,
(- у : г : ^)2 : (х : у - г -
С2, [(-
аг^-
у : г : ^)2 : ^2е “-у:^ - С3
определяют общий интеграл системы дифференциальных уравнений, соответствующей матрице А0. Разрешая эти равенства относительно х, у, z, w, получаем общее решение указанной системы в виде
х = С0в‘ + Reí cos(t + а), у = С1в~1 - Reí sin(t+а), г = С1в~1 + Reí cos(t + а), = -Reí sin(t+а), R > 0,
где С0, С', R и а - произвольные постоянные.
Пример 3. Построить множество систем линейных однородных дифференциальных уравнений третьего порядка с постоянными коэффициентами, для которых функция
М (х, у, г) = (х + ¡у)(х - гу) г (х = х1, у = х2, г = х3)
является определяющей.
Задача сводится к построению множества попарно перестановочных матриц, собственные векторы которых Д, Д, Д образуют систему векторов, взаимную с системой векторов
а1 = (1, г, 0), а2 = (1, - г, 0), а1 = (0, 0, 1).
Последней соответствует матрица
Р 1 =
а
а2 =
Vа,
обращение которой дает матрицу
Г1
Р =
о -1 -1 о
1 - і 0 V0 0 Ъ
так что
ДН2- - 2 • 0) Р=V 2-2 • 0) Р=(0’°-1)
Находим канонические матрицы, соответствующие взаимным системам
^1 ^2 —3
^1 = Р1а =
и Д-Д-Рз-
Г 1 і л Г1 ^ Г 1 ^
- - 0 - 0 0 0-0
2 2 2 2
і 1 л 1 1
0 = 0-0 + і — 0 0
2 2 2 2
0 0 0 0 0 0 0 0 0
V ) V ) V )
= А1 + іА12
А2 = Р2а = А] — іАх -
А3 = Р3а3 =
Г0 0 0^ 000 V0 0 1)
Согласно формуле (1.31), все матрицы третьего порядка, общими собственными векторами которых являются векторы Д- Р2, Р3, определяются равенствами
А = А А^ + А А2 + А А3,
где А • А2- А - выбираемые произвольно их собственные числа. Следовательно, множество систем дифференциальных уравнений, для которых указанная выше функция является определяющей, определяется равенством
х = (АА1 + А2А2 + АА3)х (х = (х, у, 2) - вектор столбец).
Положив А = -1 + і, А2 = -1 - і, А = -1, находим матрицу
А0 = (-1 + і)( А1 + іА12) + (-1 - і)( А1 - іА2) + (-1) А3 =
Г-1 -1 0^
= - 2(А11 + А12) + А3 =
1 -1
0
V 0 0 -1)
которой соответствует система дифференциальных уравнений
х = - х - у, у = х - у, .г = -
Если же положить А = і, А2 = - і, А = - 1, то получим матрицу А0 = і(А1 + іА12) + (- і)(А1 - іА12) + (- 1)А3 = - 2А2 + А3 =
которой соответствует система
.Г = - у, у = х, І = - 2.
К предыдущей системе мы вернемся в следующем пункте.
Пример 4. Пусть
(\ -1 Л Г 1 12^
Г0 -1 0 Л
1 0 0
V0 0 - і)
А0 =
1 1 -1
2 -1 0
и, следовательно, АІ =
)
-1 1 -1 1 -1 0
)
Найдем все матрицы, перестановочные с матрицей А0, воспользовавшись системой (3.5).
Запишем сначала матрицу системы (3.6) применительно к нашему случаю, которую назовем исходной:
а а2 а\ а2 а32 а1 а2 а|
( 0 1 2 ! 1 0 0 -1 0 0 ^
-1 0 1 - ^ 0 1 0 0 -1 0
1 - 1 -1! 0 0 1 0 0 -1
-1 0 0! 0 1 2 1 0 0
0 -1 0 ! 1 -1 0 -1 0 1 0
0 0 - И 1 -1 -1 0 0 1
- 2 0 0 ! 1 0 0 1 1 2
0 -2 0 ! 0 1 0 -1 1 -1
1 0 0 - 2 0 0 1 1 -1 0 J
Строка сверху напоминает о порядке следования неизвестных элементов матрицы А в системе (3.6). При помощи элементарных преобразований, выполняемых только над строками написанной матрицы, прямым и обратным ходами метода Гаусса эта матрица преобразуется в матрицу системы, эквивалентной системе (3.6):
а1 а2 а1 а12 а2 а32 а13 а2 а33
( 1 0 0 ! о 1 1 0 0 ! 1 1 4 5 3 5 -1
0 1 0 1 0 1 0 0 1 1 0 -1 0
0 0 1 ! 0 0 0 ! 1 3 0
1 \— 1 __5__ 5 1 5
0 0 0 1 ! 1 1 0 0! 1 3 5 0
0 0 0 ! 0 1 0 ! -1 -1 -1
0 0 0 0 1 0 1 1 ! 1 3 5 1 5 0
0 0 0 ! 0 1 0 0 ! 1 0 0 0
0 0 0 ! 0 0 0 0 0 0
V 0 0 0 ¡0 0 0 0 0 3 0 3
= (В )3.
Из вида этой матрицы следует, что элементы а1, а2, а3 можно задавать произвольно. Отделим столбцы, соответствующие этим элементам, сплошной вертикальной линией и у каждого ненулевого элемента, расположенного правее этой линии, изменим знак на противоположный. Это будет соответствовать тому, что в каждом уравнении эквивалентной системы все слагаемые, содержащие эле-
Далее, отделив сплошной горизонтальной линией ненулевые строки от нулевых и отбросив последние строки за ненадобностью, поместим на их месте ре-
3
менты а, , а2, а3, перенесены в правую часть равенства.
зультаты вычислений. Именно в правой нижней клетке, вместо нулевой матрицы третьего порядка, можно поместить единичную матрицу третьего порядка, строки которой представляют три (из всех возможных) независимых набора произвольно выбираемых значений элементов а33, а^, а|. Получаемые при этих
значениях свободных параметров значения остальных элементов матрицы Ат поместим на соответствующих местах ниже и левее соответственно горизонтальной и вертикальной сплошных линий. Ясно, что осуществить эту операцию можно отражением относительно главной диагонали элементов, расположенных выше и правее соответственно горизонтальной и вертикальной сплошных линий. Таким образом, результаты всех вычислений компактно размещаются в пределах одной 9 х 9 -матрицы, которую условимся называть результирующей:
а3 а2 а3 а32 22 а2 а32 а33 32 а2 33 а3
3 0 0 0 0 0 4 5 3 5 > 3
0 3 0 0 0 0 0 3 0
0 0 3 0 0 0 3 5 3 5 0
0 0 0 3 0 0 3 5 3 5 0
0 0 0 0 3 0 3 3 3
0 0 0 0 0 3 3 5 3 5 0
4 0 3 3 3 3 3 0 0 4
5 5 5 5 А3
3 3 3 3 3 3 0 3 0 А2
5 5 5 5 Л
3 0 0 0 3 0 0 0 ъ А3
Строки, расположенные ниже сплошной горизонтальной линии, состоят из строк матриц А3, А2, А3 расположенных последовательно слева направо вдоль одной горизонтальной линии, что отмечено соответствующими символами справа от каждой строки. Все три матрицы перестановочны между собой и с матрицей А0, являющейся их линейной комбинацией с постоянными коэффициентами.
Следовательно, столбцы, находящиеся справа от сплошной вертикальной черты, состоят из столбцов матриц А3т, Ат, А3, расположенных последовательно сверху вниз вдоль одной вертикальной прямой. Ясно, что эти матрицы перестановочны между собой и с матрицей А3, являющейся их линейной комбинацией с постоянными коэффициентами.
Разумеется, предложенная схема вычислений не является единственно возможной. На месте единичной матрицы третьего порядка может быть распо-
ложена любая невырожденная матрица третьего порядка. При этом соответствующим образом изменятся и вычисления.
Образуя всевозможные линейные комбинации с постоянными коэффициентами строк матрицы, расположенной под сплошной горизонтальной чертой, будем получать всевозможные матрицы, перестановочные с матрицами А3, А2, А3 (и с матрицей А0 ). Например, вычитая из первой строки последнюю, получаем строку
-1 0 1 ! 3 0 -3 ! 1 0 -1,
5 ! 5
5 !
дающую матрицу
А, =
'-1 о 1Л
5 5
3 3
3 о -3
55 1 0 -1
V
—і
из вида которой следует, что вектор ОС = (3, 0, — 3) является собственным век-
1 3
тором матрицы А0 , а вектор Д = (—, —, 1) является собственным вектором
матрицы А0: А0 Д = (-1) Д, Ат0а1 = (-1)0. Оба вектора соответствуют собственному числу А = -1.
Заметим, далее, что ранг матрицы В32 равен 2. Это значит, что однородная система линейных уравнений
3
1
3
1
—а3 — а2 — 0, — а3 — а2 — а3 — 0, — а3 н— а2 — 0
5 3 5 2 323 5 3 5 2
имеет ненулевое решение, например, а33 = 3, а2 = —3, а| = 2. Тогда четвертое,
222
пятое и шестое уравнения с учетом предыдущих равенств дают а3 = а2 = а3 = 0 ,
а из первых трех уравнений тогда находим а3 = 3, а3 = —3, а3 = 2 . Таким обра-
зом, получаем матрицу
(3 — 3 2 ^
А5 =
0 0 0
1 - 3 2 Vі 3
так что вектор ОС = (1, - 3, 2) является собственным вектором матрицы А0 , а вектор Д = (1, 0, 1) является собственным вектором матрицы А0. Оба вектора соответствуют собственному числу А2 = 2.
5
Определяющая матрица, соответствующая попарно перестановочным матрицам А3, А2, А3, имеет вид
( Xх
М
X
3Х1 + 5х2 - 3х3 х1 + 5х2 - х3 5х2
4 х1
+ х
3х' + 5х2 - 3х3 5х'
Нам известен собственный вектор 01 = (3, 0, — 3) указанных матриц, так
что можно, как и в примере 3, воспользоваться равенством а^ = Хах : прибавляя к первому столбцу второй столбец, умноженный на 0, и третий столбец, умноженный на - 3, получаем матрицу
(
х1 - X3
,3 Л
3(х' - х3) х1 + 5х2 - х3 5х2
- х1 + х3 3х' + 5х2 - 3х3 5х'
V У
Вычитаем из второй строки первую, умноженную на 3, и прибавляем первую строку к третьей:
х
х
3
х1 + 2х2 - х3 5х2 - 3х3
3х' + 6х2 - 3х3 5х1 + х3
V ~ " " J
Вычитаем из третьей строки вторую, умноженную на 3, и делим полученную третью строку на 5:
^ х1 - х3 0
х
3
х1 + 2 х2 - х3
х
5х2 - 3х3 х - 3х + 2х
V 0 0 - -у
На этом преобразования определяющей матрицы можно прекратить, так как на главной диагонали полученной матрицы расположены линейно независимые формы
г1 = х1 — х3, г2 = х1 + 2 х2 — х3, г3 = х1 — 3х2 + 2 х3, соответствующие линейно независимым собственным векторам матрицы Ат
а1 = (3, 0, — 3) (Х = —3), а1 = (3, — 3, 2) (Х2 = 2), О3 = (3, 2, — 3) (Х = 3) (А0та3 = О3).
Пользуясь указанным в п. 5 алгоритмом б), можно записать общий интеграл системы дифференциальных уравнений, соответствующей матрице А0 , в виде
1п( х1 — х3) — t = С0, (х1 — 3х2 + 2 х3)(х1 — х3)2 = С',
(х1 + 2 х2 — х3 )(хх — х3 )= С2,
2
х
разрешая который относительно х1, х2, х3, получаем общее решение указанной системы дифференциальных уравнений в виде
1 '•у ^~0 — ? . 2? /-> ^~2 ? 2 '•у ^~0 — ? . о ^~1 2?
х = 3С е + 2С е + 2С е , х = -3С е + 3С е , х3 = -5С°е- + 3С1е2? + 2(~2е?.
Пример 5. Пусть
' 2 -1 -1> ' 2 2 - 1
А = 2 -1 - 2 , так что Ат = -1 -1 1
V- 1 1 2 V V- 1 -2 2)
Задачи, стоящие перед нами, те же, что и в примере 4.
Поступая аналогично предыдущему примеру, получим результирующую матрицу, которую мы поместим рядом с исходной матрицей, обозначив переход от исходной матрицы к результирующей стрелкой:
а} а2 а3 а,2 а22 а32 а3 а23 а33
' 0 2 -1 1 0 0 ! 1 0 0Л
-1 - 3 1 0 1 0І 0 1 0
1 -1 -1 0 0 1! 0 0 1
- 2 0 0 3 2 "-Л 1 0 0
0 -2 0 -1 0 1! і 0 1 0
0 0 -2 -1 - 2 з! 0 0 1
1 0 н 0 -1 0 0 0 2 -1
0 1 0 0 -1 0 ! -1 -3 1
V0 0 1 0 0 1 -1! -1 -2 0)
а! а2 а^ а12 а22 а32 а13 а23 а33
( 1 0 0 0 -2 1 - 2 -6 3 >
0 1 0 0 1 0 1 3 -1
0 0 1 0 0 1 1 2 0
0 0 0 1 - 2 1 - 2 - 4 2
- 2 1 0 - 2 1 0 0 0 0 А1
1 0 1 1 0 1 0 0 0 А2
- 2 1 1 - 2 0 0 1 0 0 А3
- 6 3 2 - 4 0 0 0 1 0 А4
V3 -1 0 2 0 0 0 0 ъ А5
Из вида полученной матрицы следует, что мы имеем пять независимых матриц, перестановочных с матрицей А0. Однако из них перестановочны только матрицы А1
и А5. Для получения третьей матрицы, перестановочной с каждой из этих матриц, следует иначе выбрать значения свободных параметров. Однако в этом нет никакой необходимости, поскольку в качестве третьей матрицы можно взять матрицу А0 .
Заметим, что складывая А1 и А5 получаем единичную матрицу Е третьего порядка, перестановочную со всеми матрицами третьего порядка, в том числе и с матрицами А0, А1,..., А5 . Таким образом, матрицы А0, Е и любая из найденных матриц образуют совокупность трех независимых попарно перестановочных матриц.
Далее, запишем определяющую матрицу, соответствующую матрицам Е, А1 и А0:
м
х
— 2х + х
— 2 х + х
2х1 - х2 - х3 2х1 - х2 - 2х3 - х1 + х2 + 2х3
Пользуясь знанием собственного вектора О1 = (-2, 1, 0), прибавляем второй столбец к первому, умноженному на -2. Получаем:
— 2 х + х 2 х1 - х2
— 2 х + х
х
0
Л
— 2 х + х 2 х — х — 2 х — х + х + 2 х
V J
Первую строку прибавляем ко второй и вычитаем из третьей:
(
— 2 х + х 0 0
х
— 2 х + х
х
х
2 х — 2 х — 2х — х + х + х
Прибавляем удвоенный третий столбец ко второму:
х2 + 2 х3
^- 2 х1 + х2
0 — 2 х + 2 х + 2 х
V
0
0
V
0
0
Прибавляем первый столбец ко второму:
^— 2 х + х — 2 х + 2 х + 2 х 0 — 2 х + 2 х + 2 х
2
3
х
х
0
2
х
3
х
3
х
3
х
3
х
Вычитая вторую строку из первой, после деления второго столбца на 2 окончательно получаем матрицу
^ Г г1 0 0 ^
М
— 2 х + х
0
0 — х + х + х
0
х
1 2 3
— х + х + х
2
0 її
0 0 і
V У
1 12 2 12 3
Формы г = —2х + х, і = — х + х + х соответствуют собственным
векторам а = (—2, 1, 0) (А = 1), а = (—1, 1, 1) (А 3 = 1) матрицы А0 , форма г3 = х3 - присоединенному вектору этой матрицы а3 = (0, 0, 1) . Пользуясь указанным в п. 5 алгоритмом б), общий интеграл соответствующей матрице А0 системы дифференциальных уравнений можно записать в виде
1п(—2х' + х2) — і = С0,
1 2 3
— х + х + х — 2х + х
= С1, 1п(—х1 + х2 + х3) —
1 2 3
— х + х + х
= С2.
Разрешая последние равенства относительно х1, х2, х3, получаем общее решение указанной системы дифференциальных уравнений в виде
х1 = е‘(С0г-С° + С1 -С2), х2 = е (-2С0Г-С° + 2С1 -2С2), х3 = е' (С1* + С2).
Пример 6. Пусть
' 2 1 0 > ' 2 1 — 1
А0 = 1 3 — 1 , так что А1 1 3 2
V— 1 2 3У V 0 — 1 3 ,
В этом случае получаем:
а^ а2 а^ а12 а1 2 3 а3 а1 а2 а3
' 0 1 — 1 — 0 0 ! 0 0 0 >
1 1 2 0 — 1 0І 0 0 0
0 — 1 1 0 0 — 1! 0 0 0
— 1 0 0 — 1 '"_0"Г 1 0 0
0 — 1 0 0 2 ! 1 0 1 0
0 0 — 1 0 — 1 0 ! 0 0 1
1 0 н 0 — 2 0 0 ! - 1 1 — 1
0 1 0 0 —2 0 ! 1 0 2
V0 0 1 0 0 — 2 0 — 1 0 У
0
0
3
х
а,1 а2 а12 а22 а32 а13 а 23 а3
1 0 0 0 0 0 7 5 1 5 1
0 1 0 0 0 0 1 5 2 5 0
0 0 1 0 0 0 2 5 1 5 0
0 0 0 1 0 0 1 5 3 5 0
0 0 0 0 1 0 2 5 1 5 1
0 0 0 0 0 1 1 5 3 5 0
7 1 2 1 2 1 1 0 0
5 5 5 5 5 5
1 2 1 3 1 3 0 1 0
5 5 5 5 5 5
1 0 0 0 1 0 0 0 1
А
А
V ^3
Как видим, в этом случае мы имеем три независимые попарно перестановочные матрицы А1, А2, А3. Матрица А0 является их линейной комбинацией с постоянными коэффициентами.
Ранг матрицы В32 равен 2. Это значит, что однородная система линейных уравнений
а,3 + 3 а3 = 0
имеет ненулевое решение, например, а^ =-3, а2 = 1, а| = 1. Тогда из уравнений, соответствующих четвертой, пятой и шестой строкам, с учетом предыду-
222
щих равенств получаем а1 = а2 = а3 = 0 , а из первых трех уравнений находим
а1 = -3, а2 = 1, а3 = 1. Таким образом, получаем матрицу
Г- 3 1 Л
0 0 0
А4 =
из вида которой следует, что вектор О = (-3, 1, 1) является собственным вектором матрицы АЗ , а вектор Д = (1, 0, 1) - собственным вектором матрицы А0. Оба вектора соответствуют собственному числу \ = 2 .
Определяющая матрица, соответствующая матрицам Е, А4 и А0, имеет
вид
М
х
— 3х' + х2 + х3
х
— 3х' + х2 + х3
2 х + х х + 3х — х — х + 2 х + 3х
V У
Вектор а является общим собственным вектором матриц Е, А4 и А0 :
прибавляем второй и третий столбцы к первому, умноженному на - 3. В результате получаем матрицу
^ — 3х' + х2 + х3 — 2(—3х' + х2 + х3)
хх 0 — 3х + х + х
2(—3х + х + х ) х + 3х — х — х + 2х + 3х
Л
Прибавляем ко второй и вычитаем из третьей удвоенную первую строку:
ґ—3х1 + х2 + х3 0
х
2х2
Л
V
0
— 3х + х + 3х
х1 + х2 — х3 — х1 + 2 х2 + х3
Прибавляем второй столбец к третьему:
ґ—3х1 + х2 + х3
х
2х2
х3
13
3[—(х1 — х3) + х2]
(х1 — х3) + х2
2
Определитель этой матрицы
М = (—3х‘ + х2 + х3)
2 х2
3х
3[—(х1 — х3) + х2] 3х2
(х1 — х3) + х2
= (—3х! + х2 + х 3)[(х' — х3)2 + (х2)2] =
= (—3х' + х2 + х 3)( х1 + іх2 — х3)( х1 — іх2 — х3) = Iх і213.
Таким образом, собственными векторами матрицы Ат являются векторы а1 = (—3, 1, 1), а2 = (1, і, — 1), а3 = (1, — і, — 1), которым, согласно равенствам
А0 а = 2а , А0 а = (3 + і)а , А1-) а = (3 — і)а ,
соответствуют ее собственные числа А = 2, А2 3 = 3 ± і.
Пользуясь указанным в п. 5 алгоритмом б), получаем общий интеграл соответствующей матрице А0 системы дифференциальных уравнений в виде
х
0
3
х
0
0
1п г1 - 2t = С(
г г
1 И3-
’ (г1 )3 С’ (г3 )3*
= С
= С2
или после подстановки вместо г1, г2, г3 их выражений и несложных преобразований в виде
/ „1 „3'
(х1 -х3 )2 +(х1 )2 (-Зх1 + х2 + х3)3
(х1 - х3 )2 + (х1 )2
- 3агct^-¡------3 „
2 е х1-х3 = С2.
Разрешая эти равенства относительно переменных х1, х2, х3, находим общее решение указанной системы дифференциальных уравнений:
х1 = С0в2t + R въ* [sin(t+а)-cos(t+а)] , х2 = 2R еЗt sin(t + а), х3 = С°е2* + R е3*[sin(t + а)-3cos(t + а)] , R > 0 , где С0, R, а - произвольные постоянные.
Пример 7. Пусть
^3 1 0 > ' 3 1 0 ^
Л = 1 2 2 , так что А0" = 1 2 1
V0 1 Ъ V 0 2
случае получаем
а1 а2 а3 а2 а22 а32 а3 а 3 2 33 3 а3
0 1 0 -1 0 0 ! 0 0 0
1 - 1 1 0 - 1 0 0 0 0
0 2 - 2 0 0 1 -1 ! 0 0 0
-1 0 0 1 1 0 ! 1 - 2 0 0
0 1 0 1 0 1 ! 1 0 2 0
0 0 -1 0 0 -1! 0 0 - 2
0 0 0 -1 0 0 ! 2 1 0
0 0 0 0 -1 0 1 1 1
0 0 0 0 0 -1 0 2 0
2
а1 а2 а3 а2 а22 а32 а3 33 а23 а33
(1 0 0 0 0 0 1 2 1|
0 1 0 0 0 0 2 1 0
0 0 1 0 0 0 2 0 0
0 0 0 1 0 0 2 1 0
0 0 0 0 1 0 1 1 1
0 0 0 0 0 1 0 2 0
1 2 2 2 1 0 1 0 0
2 1 0 1 1 2 0 1 0
V 1 0 0 0 1 0 0 0 1
Для нахождения координат собственных векторов матрицы А^ составим уравнения (2.12), для чего нужно вычислить коэффициенты формы М3(х1, х2, х3) , пользуясь указанной в п. 2 матрицей В. Чтобы упростить вычисления, перенумеруем полученные матрицы А1, А2, А3, расположив их в обратном порядке. Тогда получим матрицу
' 1 0 /с2 0 0
в = 0 1 о 2 2 0
0 0 ~"с0 0 0 0
Вычисляем коэффициенты формы М3 (х1, х2, х3) :
1 2 1 О 2
аш = |1 1 1 = 0 1 2 = 1, а222 = 2 2 2 = 1 1 1
О 0 о 0
= 2,
а333 = 3 3 3 =
0 0 2 0 2 0 1 0 0
= -4,
1 2 2 1 1 1 0 2 1
а112 —11 1 2| +1 2 1 + 2 1 1 = 0 1 1 + 0 1 2 + 1 1 2
0 0 0 0 1 1 0 0 1
1 1 2 0 2 2 0 1 1
а122 = |1 2 2| + 2 1 2| + 2 2 1 = 0 1 1 + 1 1 1 + 1 1 2
0 1 0 0 0 0 0 1 1
= 0 -1 - 2 = -3,
= -1 + 0 + 0 = -1,
2
1 2 2 1 0 1 0 2 1
а113 = |1 1 3 +1 3 1 + 3 1 1 = 0 1 0 + 0 2 2 + 0 1 2
0 0 0 0 0 1 1 0 1
1 0 2 0 2 2 0 0 1
аш =1 3 3+3 1 3 + 3 3 1 = 0 2 0 + 0 1 0 + 0 2 2
0 0 0 1 0 0 1 0 1
= 0 + 2 + 3 = 5,
= 0 - 2 - 2 = -4.
12 3 1 2 3
Так как а111 = а1а\а1 = 1 Ф 0, то а Ф 0, а1 Ф 0 и а1 Ф 0. Поэтому, поскольку собственные векторы определяются с точностью до постоянного множителя, можно в уравнениях (2.25) положить ос1 = 1. Это означает, что у всех трех векторов первые координаты будут равны 1. Для нахождения вторых и третьих координат, учитывая значения найденных коэффициентов формы
М3 (х1, х2, х3) , получаем уравнения
^2 ^ 3(^2 — Х2 — 2 — 0 и ^2 — 5^2 — 4^2 ^ 4 — 0 .
Найти корни этих уравнений с любой степенью точности можно любым из известных методов решения нелинейных уравнений. Наши вычисления, выполненные с точностью до четвертого знака после запятой, дают следующие результаты (корни расположены в порядке возрастания их абсолютных величин)
а2 — — 0,7459; а22 — 0,8608; а2 — — 3,1149; а3 — — 1,1895; а23 — 0,6018; а33 — 5,5877.
Легко проверить, что векторы
( 1 ^ ( 1 ^ ( 1 1
а1 = - 0,7459 , а2 = 0,8608 , а3 = - 3,1149
ч-1,1895 у ч 0,6018 у ч 5,5877 ,
являются собственными векторами матрицы А^ :
А0Таг =
( 2,2541 1 -1,6813 - 2,6813
= 2,2541
у
АТ0а2 =
( 3,86081 3,3234 2,3224
= 3,8608
у
1
- 0,7458 -1,1895
1
0,8608 0,6018 у
Л
у
Г— 0,1149 ^ Г 1 ^
А0а3 — 0,3579 — — 0,1149 — 3,1149
ч— 0,6421у ч 5,5883 ,
Как видим, собственными числами матрицы А^ (а также и А0) являются \ — 2,2541, Л2 — 3,8608, Х3 — — 0,1149 . Отметим, что \ + Л2 + Х3 — 6,0000 —
— $РА0 .
Замечание. Для матриц, заданных в евклидовых (действительных или комплексных) пространствах, отнесенных к ортонормированным базисам, можно указать еще один способ нахождения их собственных векторов, основанный на представлении (2.7) определяющей функции
М (х1, х2,..., хп) —
ф х1,..., хп)
^ (х1,..., хп)
— у(акк1+1 х)'* • (ак2+1 х)1?
показывающем, что эта функция обращается в нуль на многообразиях (гиперплоскостях), определяемых равенствами ак* 1 х — 0 — 1 ,..., т). Поэтому, по-
ложив в выражении для М(х1, х2, ..., хп),
*п(х1,
, х )
, х )
(акт+1 х)1т.
22 х — у
х — у ,
(*)
где у
уп - произвольные числа, не все равные нулю, мы получим, вообще
говоря, уравнение степени относительно переменной
х
имеющее ровно
корней у1,..., у\, среди которых могут быть как действительные, так и комплексные, как простые, так и кратные. Таким образом, мы получим п точек
^у1, у2,..., уп) ,..., N(уЦ, у2,..., уп),
принадлежащих, вообще говоря, различным гиперплоскостям, или, иначе, векторов
«■/(у!, у2,..., уп) ,..., ®1п(у1, у2,..., уп), (**)
исходящих из начала координат. Ясно, что п — 1 независимым наборам (*) будут соответствовать п — 1 независимых наборов (**). Выбирая из каждого набора по одному вектору, получим всевозможные наборы из — 1 векторов, среди которых будут содержаться наборы векторов, принадлежащих одним и тем же гиперплоскостям. Векторные произведения входящих в эти наборы векторов [4], представляющие собой нормальные векторы гиперплоскостей, которым они
принадлежат (ортогональные дополнения (п - 1)-мерных подпространств до всего пространства), и дают собственные векторы матрицы А^ .
Возвращаясь к рассмотренному примеру, запишем определяющую функцию заданной системы, воспользовавшись найденными перестановочными матицами А1, А2 и А3 (матрица А0 является их линейной комбинацией с постоянными коэффициентами):
М =
х
2 х + х
х + х + 2 х х + 2 х + 2 х 2 х + х
х
Переменные х1, х2, х3 можно, очевидно, считать декартовыми координатами трехмерного действительного евклидова пространства.
Полагая в записанном для М выражении х1 = х1, х2 = 1, х3 = 0, находим с указанной выше точностью корни уравнения
х
1
0
(х1 )3 - 3(х' )2 - х1 + 2 = 0: х1 = 3,1149; 0,7459; - 0,8608
2х' +1 х1 +1 1
х + 2 2 х +1 х
Таким образом, имеем три вектора:
щ1 = (3,1149; 1; 0), а2 = (0,7459; 1; 0), щ3 = (-0,8608; 1; 0).
Полагая в том же выражении х1 = х1, х2 = 0, х3 = 1, находим корни уравнения
0
1
(х1)" + 5(х' )2 - 4х1 +1 = 0: х1 = 1,1895; - 0,6019, - 5,5877.
2х1 х1 + 2 0
х1 + 2 2х1 х1
Таким образом, имеем еще три вектора:
щ1 = (1,1895; 0; 1), Ш2 = (-0,6019; 0; 1), щ23 = (- 5,5877; 0; 1). Пользуясь известной формулой для векторного произведения векторов в декартовых координатах, находим:
щ1 х щ1 = (1; - 3,1149 ; - 1,1895), щ1 х щ2 = (1; - 3,1149 ; 0,6019), щ хщ3 = (1; - 3,1149 ; - 5,5877), щ2 хщ1 = (1; -0,7459; -1,1895), щ2 х®22 = (1; -0,7459; 0,6019), щ2 х щ3 = (1; - 0,7459; -5,5877), щ3 хщ1 = (1; 0,8608; -1,1895), щ3 х®22 = (1; 0,8608; 0,6019), щ3 х щ3 = (1; 0,8608; - 5,5877) .
3
х
х
х
х
Как видим, собственными векторами матрицы А^ являются произведения
__1 _3 _3 _2 _1 _1 _3 _2 _2
а>1 х со2 — а , со1 х со2 — а , со1 хю2 — а . Легко проверить, что остальные найденные векторные произведения собственными векторами этой матрицы не являются.
7. В этом пункте система (1.1) рассматривается в действительном п-мерном евклидовом пространстве, базис которого предполагается ортонормиро-ванным. Следовательно, матрица Ап системы - действительная, произведение а(3 понимается как скалярное произведение вектор-строки а = («д,..., осп) на вектор-
столбец Р = (р1., ■■■ , |311), Определяющую матрицу (функцию) группы Си ,
соответствующей системе (1.1), для упрощения формулировок будем в дальнейшем называть определяющей матрицей (функцией) системы (1.1).
Покажем, каким образом определяющая функция системы (1.1) может быть использована для ее качественного исследования.
Прежде всего, вспомнив, что у действительных матриц комплексные собственные векторы всегда встречаются комплексно сопряженными парами, докажем следующую простую теорему.
Теорема 7.1. 1) Каждому действительному собственному вектору
н = («д, ...,осп} действительной матрицы Ат соответствует действительная линейная форма г = «х, инвариантная относительно оператора Хд/ , причем Хдг = Къ , где А - собственное число матрицы Ат , соответствующее вектору ^,и обратно.
2) Каждой паре комплексно сопряженных собственных векторов . 2 = = (сг, + ¡и,, ...,0л + Iматрицы Ат соответствует действительная квадратич-
ная форма V — (а
т2 , .,2-,
' + 2(о1 ст2 +
— х- - •- - -.л- , инвариантная относитель-
но оператора Хд/ , причем Хд/ = ("Аі + Л? V • гДе 2 = н ± (Зі - комплексно сопряженные собственные числа матрицы Ат , соответствующие ее собственным векторам а1.2 , и обратно.
Доказательство. 1) Представив оператор Хд/ в виде
/- \т
Ха[ = ?ЇАх=^Ат(7ґ) ,
для формы е = нх получаем
_ Т
Хдг = Xі Ат ^ = хтАтат = х^а7 = Лох = Ъ ,
если Атаг = Аат
2) Для формы V — (ос х)(ос х), пользуясь предыдущим результатом, получаем
Ч-^х) А2(й2х) =
что доказывает второе утверждение.
В целях экономии места доказательство обратных утверждений мы опускаем.
Функции z = cîx и v = f ci1 х) (Й“¿0 можно назвать собственными функциями оператора Хд/ , а числа Л и Aj -)- Л 7 соответствующими этим функциям собственными числами этого оператора.
Обращаясь теперь к представлению (2.7) определяющей функции
М = |М| = (нь1+1х)11(нь2+1х)12 ... (âk™+ix)lm,
напомним, что векторы сс^1+Ч ,,, , akm+1 являются общими собственными
векторами матриц , А^,,..., A^_j . В силу доказанной теоремы, в действительном случае эта функция может быть представлена в виде произведения некоторого количества линейных и некоторого количества квадратичных собственных форм, общих для всех операторов Хц£Xtf, , и потому инвариантных
относительно всех преобразований группы Gn . Будучи приравненными к нулю порознь или некоторыми совокупностями, эти формы определяют в пространстве ..., хп 'г инвариантные многообразия группы Gn , являющиеся инте-
гральными многообразиями системы (1.1), в точках которых определяющая функция обращается в нуль. Эти многообразия разбивают фазовое пространство системы (1.1) на ряд областей, в которых функция Mfe1, х2,... ,хп) отлична от нуля и сохраняет знак и в каждой из которых остальные интегральные многообразия (а следовательно, и принадлежащие им траектории) ведут себя подобным образом, преобразуясь друг в друга преобразованиями группы Gn . Интегральные многообразия системы (1.1), в точках которых определяющая функция обращается в нуль, естественно назвать ее особыми интегральными многообразиями. Остальные интегральные многообразия системы (1.1) (а также и принадлежащие им траектории системы) естественно назвать обыкновенными.
Из сказанного выше следует, что особыми интегральными многообразиями системы (1.1) являются (n - 1)-мерные гиперплоскости, определяемые равенствами
(их) Е Oti-C1 -I- Я2*2 -I- "■+- ЯпХ11 = 0 .
(n - 2)-мерные оси знакопостоянных квадратичных форм, определяемые равенствами
= (сг2 4- а\ ) х11 4- ■ ■ ■ 4- (сг£ + )хп 2 4- 2^ аг + <*»1 4- ■ ■ ■ 4-
+ 2tan_ian +«п_1«п>х-1х- = О, и результаты всевозможных их пересечений, одним из которых является начало координат OÎO; 0, ... r CÜ.
Нахождением особых интегральных многообразий задача качественного исследования системы (1.1) не заканчивается. Дальнейшее исследование состоит в установлении поведения траекторий на особых интегральных многообразиях и в областях М Ф 0 определяющей функции. Существенную помощь при этом могут оказать приводимые ниже свойства определяющей функции (2.2).
Докажем следующую теорему.
Теорема 7.2. Любая определяющая функция системы (1.1) удовлетворяет дифференциальному уравнению
Х0М = MdiV[0 (= МSpА,). (7.1)
Доказательство. Действительно, так как группа Gn абелева, то имеют
место равенства
х,£к = х£! (i, к = 1,...> п ] = 1,...> п).
Используя правило дифференцирования определителей, получаем равенство
X о£ х о£ .. Хо£п £ £ •• £ £ £ ••• £іП
X М = £2 £ •• £ + X о£ Хо£22 • •• Хо£2П +• •+ £2 £2 ••• £П
£П £2 ••• С £ £ ••• П £ПП хо£ хо£ • • Хо£П
которое с помощью предыдущих равенств можно переписать в виде
— о £і ^ о £і •• х£П £іі £ • • £іП £іі £і2 •• • £іП
х оМ = £2 £22 ••• £2П + X 2 £о X 2£о2 •• X 2£ + • •+ £2 £22 •• £п
£П £2 •• • £ПП £Пі П £П2 ••• П £ПП X п£ Xп£о2 • X П о П
Разложив определители в правой части последнего равенства по элементам строк, соответствующих порядковым номерам определителей, получим равенство
хоМ = 2 ¿х, (#) 4 ,
,=1 ]=\
где А, (,, ] = 1,. ., п) - алгебраические дополнения соответствующих элементов матрицы (2.2), которое с учетом равенств (1.3) и (1.27) переписываются в виде
П П П
£
£
ХоМ = ЕЕ= е.
,=1 j=1 к=1 ОХ ]=1 к=1 ОХ ,=1
В силу теоремы о величине определителя и теоремы об аннулировании
\М, если к = j,
=
і=і І 0, если к ^ j,
в итоге получаем равенство (7.1), что и требовалось доказать. Равенство (7.1), переписанное в виде
(7.2)
позволяет изучать взаимное расположение векторов ^ и УМ вдоль «поверхностей» уровня функции МЬг^х2, ...,хп), определяемых равенством
М(х1,х2,...,х11} = Л. (7.3)
В областях М > О , ЧМ ф О (М < 0 , ЧМ =£ 0 ) значения Ь > О (Ь < О ) и равенство
при ЭрА0 > 0 показывает, что во всех точках любой поверхности уровня функции Мбг1, х2, ...,хп), принадлежащей рассматриваемой области, угол между векторами ^ и ЧМ острый (тупой), то есть траектории векторного поля ^ в указанной области пересекают поверхности уровня функции Мб^х2,..., х11) в направлении ее возрастания (убывания). Если же Эр Ад <0 , то во всех точках любой поверхности уровня функции МСх1,х2,, х11), принадлежащей рассматриваемой области, угол между векторами и ЧМ тупой (острый), то есть траектории векторного поля ^ в указанной области пересекают поверхности уровня функции М(х1;К1,.,,,хп) в направлении ее убывания (возрастания). Наконец, при БрАд = 0 угол между векторами ^ и ЧМ прямой, то есть траектории системы принадлежат поверхностям уровня функции Мбг^х2,... „ х11}, являющимся, таким образом, интегральными многообразиями системы (1.1).
Учитывая равенство = Л1?!!! , равенство (7.1) можно переписать в виде
ам
(7.5)
Это равенство характеризует изменение определяющей функции М(х^х2;, X11) вдоль траекторий системы (1.1). В областях М > 0 при ЗрАд > 0 функция М вдоль траекторий системы (1.1) с ростом t возрастает, а при
ЗрА0 <0 - убывает. В областях М < О при ЗрА0 > О функция
М.::' вдоль траекторий системы (1.1) с ростом ^ убывает, а при
ЗрА^ < С - возрастает. При ЗрАд = 0 функция М(х\хг,... вдоль траекторий системы сохраняет постоянное значение, то есть МСх1,*:1, п) = С ,
где С - произвольная постоянная, является первым интегралом системы (1.1).
Переписывая равенство (7.5) в виде
с!М
— = ОД (к
и интегрируя полученное равенство вдоль некоторой траектории системы (1.1) в произвольных пределах и I, получаем равенство
М ( х!(0,..., хп (г)) = М ( х1^),..., хп (^))в5р Ао(Мо). (7.6)
Равенство (7.6) показывает, что функция МСх1.,X2,,хп). рассматриваемая вдоль некоторой траектории системы (1.1), либо тождественно (относитель-
но 0 обращается в нуль, либо не обращается в нуль ни при каком конечном значении ¿. Первое имеет место в том случае, когда начальная точка принадлежит особому интегральному многообразию системы. Если же начальная точка (х1^,,),..., х"(7П)) принадлежит области, в которой М ? 0 . то, учитывая свойства экспоненциальной функции, приходим к тем же заключениям, что и выше: при М > О вдоль проходящей через эту точку траектории системы (1.1) функция М(х1^),...,х"^)) с ростом / возрастает при ЗрА0 >0 и убывает при ЗрАд < 0 ; при М < О вдоль проходящей через указанную точку траектории функция Мбг^х2,хп) с ростом I убывает при ЗрА0 >0 и возрастает при Эр Ад < Р ; при БрАд = 0 функция МСк1.,?:2.,... ,хп) вдоль любой траектории системы (1.1) сохраняет постоянное значение, равное ее значению в начальной точке. Ясно при этом, что особые интегральные многообразия системы могут достигаться ее обыкновенными траекториями только при оо .
Из теоремы 7.1 вытекает следующее важное утверждение: функция И- = М является последним множителем системы уравнений в симметричной форме
¿Х1 (1х2 ¿х11
(*)
-1
соответствующей системе (1.1) [3]. Действительно,
X 0 M 1 = - Щ-
0 M2
M div £0
M2
= -M - div £0
__ П 1
div ^о = !' 0
dx1
откуда следует уравнение
+ ^div^0 = 0
для последнего множителя системы (*).
Таким образом, любая определяющая функция МСх1,... ,хп) принадлежит бесконечному множеству решений уравнения (7.1). Не все эти решения можно отнести к классу определяющих функций, однако все они несут определенную информацию о соответствующих дифференциальных системах и могут быть использованы как для интегрирования, так и для качественного исследования этих систем. Все решения уравнения (7.1) можно назвать интегрирующими функциями системы (*) в том смысле, что соответствующие им обратные величины являются последними множителями этой системы.
Исследование поведения траекторий системы (1.1), принадлежащих ее особым интегральным многообразиям, сводится к исследованию поведения траекторий дифференциальной системы, индуцированной системой (1.1) на рассматриваемом интегральном многообразии [6].
Изложенный метод качественного исследования линейных систем наиболее прост в применении к системам второго порядка
Xі = ajx1 +- a*x2, x2 = ajx1 + a|x2,
= a{+ af.
(7.8)
d(
допускающим группу подобия с оператором
Зі
Хіі = х1^ + Ж Эх2 перестановочным с оператором системы
^а^х1 + а2х2^ д( ^а^х1 + а2х2^ 3f
Эх1 Эх2
в силу чего определяющая функция системы выписывается сразу и имеет вид
I 2 , -и 7 1 Т<
Лх2) =
lajx1 -I- а*х2 a jx1 -I- ajX21
2і
X + а£х
Легко убедиться, что
= (аї + аг) м .
. (7.9)
(7.10)
Равенства (7.9), (7.10) и уравнения самой системы (7.8) позволяют установить ее фазовый портрет, не прибегая к приведению матрицы системы к нормальной жордановой форме. Не останавливаясь на этом, представляющем определенный интерес вопросе более подробно, отметим только, что при знакоопределенной функции Mix1., X2) состояние равновесия системы (7.8) устойчиво при а} + а^ = О, асимптотически устойчиво при а{ -|- а2 < 0 и неустойчиво при _=*- -л- > д , что прямо следует из равенства (7.10) и соответствующих теорем второго метода Ляпунова.
Приведем простейшие примеры, иллюстрирующие это утверждение.
Соответствующие системам
Xі = ¿2 =
операторы
.2 = г-1 ^ — SO'
^ = &
дї
= 0 и
дї
-Xі ЕЕ Й,
df
= Xі
— Xі
Эх1 Эх2 Эх1 Эх2
перестановочны и являются символами абелевой непрерывной группы преобра-зоваиий 0 2 плоскости □х1х2 • Определяющей функцией этой группы является функция
положительная всюду на плоскости Ох1хг, кроме точки обращается в нуль, причем
в которой она
Согласно сформулированному выше утверждению, эти равенства показывают, что начало координат О (0.0) является устойчивым состоянием равновесия для первой системы и асимптотически устойчивым - для второй. Известные фазовые портреты рассмотренных систем изображены на рисунках 1 и 2: для первой системы точка 0(0,0) является центром, для второй - узлом.
Рассмотрим систему
Гх1 = х1 = ї,2>
(^¿2 _ 2 — ^2 ■'^2 “ 2 > О
с оператором
, дї , т
= X -----гг + X ----т,
0Х1
преобразования которой принадлежат той же группе Сі2 Имеем ХгМ = 2М , откуда следует, что состояние равновесия 0(0, 0) для этой системы неустойчиво. Ее фазовый портрет можно получить, если на рисунке 2 на всех лучах, исходящих из начала координат, направление стрелок изменить на противоположное.
Приведем пример качественного исследования системы третьего порядка. Рассмотрим систему
х = -х - у = £í(x, у, г), у = х - у = £(x, у, г), і = -і = £(х у, г) (¿рА0 =-3)
с определяющей функцией
М(х, у, і) = (х + іу)(х - Іу)і = (х2 + у 2 )і,
построенную нами в примере 3 п. 6. Ее состояние равновесия 0(0, 0, 0) асимптотически устойчиво, так как все (заданные нами) собственные числа матрицы А0 имеют отрицательные действительные части. Теперь мы получим этот результат, исследуя поведение траекторий системы, принадлежащих ее особым инте-
гральным многообразиям, отличным от состояния равновесия 0(0, 0, 0) , которыми являются положительная и отрицательная полуоси 0z , расположенные на оси положительно определенной квадратичной формы М1(х, у) = х2 + у2, и плоскость z = 0 .
Направление движения изображающей точки по полуосям 0z определяется вектором <^0 (0,0,22 : и при z > 0 и при z < 0 этот вектор направлен к началу координат О (0,0,0) .
Поведение траектории системы в плоскости z = 0 определяется системой дифференциальных уравнений
х = —х — у = £(х,у, 0), у = х — у = £(х,у, 0), а\ + а1 = —2 < 0,
определяющей для которой является функция
МДх, у) = х2 + у2,
положительно определенная в любой окрестности начала координат. Ее линиями уровня являются концентрические окружности х2 + у2 = к (к > 0), стягивающиеся к общему центру 0(0, 0) при к ^ +0, в каждой точке которых вектор УМ1 ТТ ^ = (х, у) . Равенство
УМ 1Ю( х ^ 0) = (—2)М 1 и вытекающее из него равенство
еоз(УМ,,10,(х,у,0)) = — 2М- = —^ (х2 + у2 *0)
ум 1 |£0( х, у, 0) 2
показывают, что траектории системы в плоскости z = 0 являются спиралями, последовательно пересекающими указанные окружности снаружи внутрь под
одним и тем же углом — к вектору , неограниченно приближаясь к началу
4 1
координат при t ^ +да.
Траектории, принадлежащие особым интегральным многообразиям рассматриваемой системы, изображены на рисунке 3.
В силу теоремы о непрерывной зависимости решений системы от начальных данных заключаем, что траектории системы в областях М * 0 являются спиралями, обращающимися вокруг полуосей 02 и неограниченно приближающимися к началу координат 0 (0,0,0) при t = +да.
К сказанному нужно добавить, что рассматриваемая система имеет легко определяемый первый интеграл
^=С
2 2 5
х + у
(С - неотрицательная произвольная постоянная), определяющий семейство прямых круговых конусов с общей вершиной в точке 0(0, 0, 0) , вырождающихся в плоскость z = 0 при С = 0 и в ось 0z при С = +сю . Указанные выше спирали принадлежат этим конусам. Фазовый портрет системы изображен на рисунке 4.
Рис. 4
Изложенный метод качественного исследования линейных однородных дифференциальных систем с постоянными коэффициентами обобщается на случай нелинейных динамических систем, рассматриваемых в «-мерном действительном евклидовом пространстве. Не имея возможности подробно останавливаться на этом вопросе в рамках настоящей работы, остановимся только на задаче исследования устойчивости состояний равновесия динамических систем второго порядка.
Рассмотрим динамическую систему
(7.11)
правые части уравнений которой, по меньшей мере, непрерывно дифференцируемы в некоторой открытой области /) ПЛОСКОСТИ Ох *Х1 Для этой системы мы можем ввести в рассмотрение интегрирующую функцию МСх1,^2} = ц_1(х1,х2}, где
- интегрирующий множитель соответствующего системе (7.11) дифференциального уравнения в симметричной форме, удовлетворяющую дифференциальному уравнению
ХоМ = И(Иу(о> (7.12)
множество решений которого бесконечно. Предполагая, что начало координат ■ -I С ) является изолированным состоянием равновесия системы, приведем
следующую теорему, справедливость которой очевидным образом вытекает из равенства (7.12) и соответствующих теорем второго метода Ляпунова.
Теорема 7.2. Если для системы (7.11) существует знакоопределенное в некоторой окрестности Од ее изолированного состояния равновесия 0(0,0)
решение МОе1^3) уравнения (7.12) и в этой же окрестности сИ\’Е,(] < | 0. или div%0 < 0, или div%0 < 0, то состояние равновесия О (0, 0) системы асимптотически устойчиво; если в указанной окрестности div%0 > | 0, или div^0 > 0, или div%0 > 0, то состояние равновесия О (0, 0) неустойчиво (асимптотически устойчиво при t ^ —да); если div%0 = 0 в D, то состояние равновесия устойчиво.
Использованная в формулировке теоремы символика означает следующее: символ сИ\’с;Г1 < | 0 (сИ\’^Г1 > | 0) означает, что функция с1г/^0 отрицательна (положительна) всюду в Оо. включая точку 0(0,0); символ < 0 (¿/п>£0 >0)
означает, что в Ос функция отрицательно (положительно) определена;
символ сИл>£0 < 0 (сИл>£0 > 0) означает, что функция (1^|0 отрицательна (положительна) всюду в Ос, кроме некоторых изолированных кривых, проходящих через начало координат, на которых она обращается в нуль.
Существенное отличие приведенной теоремы от соответствующих теорем второго метода Ляпунова состоит в том, что фигурирующая в ней функция >1.::' имеет конкретный математический смысл и всегда может быть найдена либо в конечном виде, либо в виде некоторого ее локального представления в окрестности рассматриваемого состояния равновесия. Это обстоятельство позволяет уравнение (7.12) и его решения положить в основу эффективного метода качественного исследования динамических систем на плоскости. Соответствующий пример приводится ниже. Укажем также на работу [5], в которой при помощи предлагаемого метода подробно изучены все возможные фазовые портреты однородных динамических систем второго порядка.
Рассмотрим систему (х1 = х, X2 = у )
Единственным состоянием равновесия этой системы является начало координат
Интегрирующую функцию М (х. у) заданной системы найдем, пользуясь соответствующей системой дифференциальных уравнений в симметричной форме
dx dv dM
■у — ху^ х — у3 — 4yjiM
Пользуясь свойством равных отношений, получаем равенство
ХСІХ -+ усіу СІМ
-у2(х2+у2) -4у2М
из которого при у Ф 0 следует равенство
с1М 2й(х2+у2}
М Л2 -Ь у2
интегрируя которое, находим с точностью до произвольного постоянного множителя
Так как в любой окрестности начала координат функция М (х. у) является положительно определенной, а сЦу^д функцией постоянно отрицательной, согласно теореме 7.2 заключаем, что состояние равновесия системы 0 (0,0) асимптотически устойчиво.
Линиями уровня функции М (х:. у) являются концентрические окружности, определяемые равенством
стягивающиеся к общему центру О (0,0) при Ь — +0 .Из неравенства
ам (*(»),;
показывающего, что вдоль траекторий рассматриваемой системы функция М - не возрастает, следует, что все траектории системы последова-
тельно пересекают указанные окружности снаружи внутрь, касаясь соответствующих окружностей в точках оси Ох , и неограниченно приближаются к началу координат О (О, О) при I — + оо .
Если ф - угол между векторами ЧМ Т Т ^ = (х, у) и ^ в произвольно выбранной точке плоскости, отличной от точки 0(0,0) , то для данной системы имеем равенство
С03ф _ = _ У2
которое после перехода к полярным координатам по формулам х = рсозф у = ря1и(р , принимает вид
созф =
УМ
2 ■ 2 Р 51П ір
т/1 + р*ЗІІ1+ф
Так как Игпсоэ!// = 0 независимо от <р , заключаем, что при р — О угол, под
р-> о
которым траектории системы пересекают лучи, исходящие из начала координат,
неограниченно приближается к прямому. Отсюда следует, что ни одна из траекторий системы не входит в начало координат в определенном направлении, то есть траектории системы являются спиралями, обращающимися вокруг начала координат и неограниченно приближающимися к нему при I — + ос- .
В рассматриваемом случае этот вывод можно также получить, интегрируя уравнение в полных дифференциалах
и2 + у2)2 + (х2 + у2)2 = что дает общий интеграл системы
1 +ху У _
Сх2 +у2)2-ОГС^х- '
из которого после перехода к полярным координатам с помощью указанных выше формул получаем уравнение семейства траекторий системы в виде
1
подтверждающее сделанный выше вывод.
Фазовый портрет системы изображен на рисунке 5.
Рис. 5
Направление движения изображающей точки по траекториям системы легко определяется построением вектора (х, у) в произвольно выбранной точке плоскости, например, в точке (1, 0).
СПИСОК ЛИТЕРАТУРЫ
1. Гантмахер, Ф.Р. Теория матриц [Текст]. - М. : Наука, 1967. - 575 с.
2. Гюнтер, Н.М. Интегрирование уравнений первого порядка в частных производных [Текст]. - Л. ; М. : ГТТИ, 1934. - 359 с.
3. Данилина, Н.И. Численные методы [Текст] / Н.И. Данилина [и др.]. - М. : Высшая школа, 1976. - 368 с.
4. Ефимов, Н.В. Линейная алгебра и многомерная геометрия [Текст] / Н.В. Ефимов, Э.Р. Розендорн. - М. : Наука, 1970. - 527 с.
5. Назиев, Э.Х. Фазовые портреты однородных динамических систем второго порядка [Текст]. - Киев, 1991. - 34 с. - Деп. в УкрНИИНТИ 30.10.91, №1429-Ук 91.
6. Эйзенхарт, Л.П. Непрерывные группы преобразований [Текст]. - М. : ГИИЛ, 1947. - 359 с.
E.Kh. Naziev, A.Kh. Naziev, G.L Keleynikova
HOMOGENEOUS LINEAR DIFFERENTIAL SYSTEMS WITH CONSTANT COEFFICIENTS AND THE PROBLEM OF EIGENVALUES
(PART 2)
It is well known that to solve a homogeneous linear differential system with a constant matrix A one must usually find the Jordan canonical form of the matrix A and to obtain a matrix P such that J = P-1AP. To find a matrix J one should rely on the theory of elementary devisors of the characteristic matrix A - X E, which triggers off the so called full problem of eigenvalues. This problem is fraught with difficulty. In 1969 R. Bellman argued that there were no simple ways of calculating eigenvalues and eigenvectors of large matrices. Almost nothing has changed since then. The article suggests a new approach to solution of the problem by first computing eigenvectors and further finding eigenvalues, which is the opposite of the traditionally applied procedure. Part 1 was mainly theoretical and part 2 provides practical illustrations.
homogeneous linear differential equations with constant coefficients, eigenvalues, eigenvectors, homogeneous linear group, infinitesimal operator, one-parameter subgroup.
