собой. Однако с увеличением k разность между различными отноше ниями элементов wk к соответствующим элементам wk- 1 будет умень шаться.
|
|
|
|
|
|
|
|
|
|
Пример. Дана |
матрица |
1 |
1 |
и |
произвольный вектор |
А — 4 |
1 |
X = |
В табл. |
1 |
приведены значения |
|
вектора wk — А кх |
при k = |
= 0, |
1, ..., 6, |
а |
также |
отношения |
соответствующих |
элементов |
wi,k/wi,k-1- Легко |
заметить, |
что разность между отношениями соот |
ветствующих элементов |
уменьшается по |
мере того, как увеличивает |
ся k\ |
уже при k, |
равном |
6, можно заключить, |
что значение наиболь |
шего характеристического корня равно 3. Решение характеристическо го уравнения подтверждает справедливость этого вывода. Кроме того,
наблюдая |
за |
последовательными |
изменениями |
величины |
вектора |
wh, можно прийти |
к следующему |
заключению: по мере того, как k |
увеличивается, |
отношение между элементами этого вектора приближа |
ется |
к пропорции |
1 : 2; |
таким образом, |
характеристический |
вектор, |
соответствующий главному характеристическому корню 3, равен |
1 |
2 • |
|
|
|
|
|
|
|
|
Таблица |
1 |
|
|
Пример итерационной процедуры вычисления главного |
|
|
|
|
|
|
характеристического корня |
|
|
|
А |
|
0 |
|
1 |
2 |
k |
|
|
|
6 |
|
|
3 |
4 |
5 |
|
|
|
|
|
|
|
Wk = Akx |
|
|
|
VI |
1] |
m |
|
Г21 |
l 71 |
[201 |
Г 611 |
Г1821 |
1 5471 |
[4 |
lj |
[ij |
|
ы |
[ щ |
[41J |
[121J |
[365j |
[1093 j |
|
|
|
|
|
wi, |
k lwi , k - i |
2,98 |
|
3,004 |
i = |
1 |
|
|
2 |
3,5 |
2,8 |
3,05 |
|
з = 2 |
— |
|
5 |
2,6 |
3,2 |
2,95 |
3,02 |
|
2,995 |
Проверить это заключение можно с помощью уравнения (4):
'1 |
r |
‘ 1 " |
' 3 |
' |
o |
■1" |
_4 |
1 |
2 |
6 |
|
— о |
2 |
Поскольку в данном примере мы пользовались матрицей второго порядка, вычислительные операции были сведены к минимуму; од нако аналогичные расчеты можно проводить с матрицами любого по рядка. Операции с матрицами большой размерности требуют доволь но громоздких вычислений, однако с помощью быстродействующих вычислительных машин удается решить эту проблему. Итерационную процедуру вычислений следует считать оконченной лишь тогда, когда в пределах заданной точности отношения Wiik/witk-i окажутся ■одинаковыми для всех i. Однако можно воспользоваться и двумя дру гими критериями, недостаточно корректными с теоретической точки зрения, но во многих случаях дающими удовлетворительные практи
ческие результаты. В соответствии с этими критериями итерационный процесс следует продолжать до тех пор, пока
ПП
V |
Wt•ft |
- V |
w>- ft-i |
l ~ 1 |
w i, k - l |
i f l |
w i . k - 2 ’ |
либо
пп
w i, к |
У |
Wi, Й_ 1 |
= 1 |
i — 1 |
|
Z ®i. ft-l |
^ |
^i. ft-2 |
(= 1 |
i= 1 |
Выбор критерия зависит от характера задачи, от эффективности вы числительного устройства и от применяемых методов, однако все эти вопросы выходят за пределы излагаемой темы. И все же отметим раз личия между альтернативными критериями, определяющими момент завершения итерационного процесса: один из них требует, чтобы были равны суммы отношений соответствующих элементов, а другой — чтобы были равны отношения сумм тех же элементов.
Пример. Главные характеристические корни могут использоваться в различных задачах, в том числе и в задачах, в которых рассматри ваются распределение машин по срокам службы и матрица вероятностей перехода (см. параграфы 1 и 2). Так, обозначим через хо вектор состоя ния машины в момент t = 0, а через Р — соответствующую матрицу вероятностей перехода; в таком случае вектор состояний машины в пе риод п есть х'п = х'оРп. Однако если система с ростом п стремится к не которому стационарному состоянию х (см. параграф 2 главы VIII), решение, соответствующее стационарному состоянию, можно найти, приравняв векторы состояний, относящиеся к п-му и (п + 1)-му пе риодам:
Xп-f-1— %п—"%
Тогда для стационарного состояния будет справедливо следующее соотношение
х' = х'Р.
Последнее выражение эквивалентно уравнению (Р’ — I) х = 0, или Р'х — х. Из этих уравнений непосредственно следует, что если суще ствует решение, характеризующее состояние устойчивости, то оно соот ветствует значению характеристического корня, равному единице, поскольку отношение wh/wk^x должно быть равно единице для того, чтобы выполнялось условие Рх' = х. Можно показать, что у транспо нированной матрицы вероятностей перехода характеристические корни по абсолютной величине не превышают единицы, поэтому характери
стический корень, равный единице, представляет собой главный ха рактеристический корень1. Следовательно, характеристический век тор, соответствующий главному характеристическому корню, равно му 1, представляет собой вектор устойчивого состояния х. Значение этого вектора можно найти, решив уравнение (Р' — /) х = О сов местно с уравнением, в котором сумма элементов х приравнивается единице.
Если не существует характеристического корня, который в соот ветствии с нашим определением можно было бы назвать главным, то итерационная процедура не сходится и последовательность вычислен ных значений не имеет предела. Матрица А
|
А |
0 |
1 |
0 |
|
|
|
|
0 |
0 |
1 |
|
|
|
|
|
1 |
0, |
0 |
|
|
|
предполагает именно такой случай; |
можно показать, что |
A i = А, |
А 5 = А 2, А 6 = /, |
А 7 — А и т. д., |
причем получаемые |
таким об |
разом значения меняются с регулярной |
периодичностью (см. |
пара |
граф 3 главы VIII). В связи этим последовательные значения |
wk = |
= А кх при некотором произвольно выбранном ненулевом |
векторе х |
будут представлять собой аналогичные |
периодически повторяющиеся |
величины, а отношения соответствующих элементов |
|
не бу |
дут стремиться к |
какому-либо |
конечному |
пределу. |
|
|
6.РАЗЛОЖЕНИЕ ХАРАКТЕРИСТИЧЕСКОГО УРАВНЕНИЯ НА МНОЖИТЕЛИ
До сих пор мы рассматривали такие примеры, когда для определе ния характеристических корней требовалось решить относительно Я квадратное или кубическое уравнение. Решение таких уравнений не представляло труда, однако, когда нужно найти характеристические корни матриц большой размерности, приходится решать уравнения высокой степени; так, если размеры матрицы равны 20 X 20, требуется отыскать корни многочлена 20-й степени. Допустим, что с помощью описанной процедуры найден главный характеристический корень, тогда аналогичным образом можно вычислить следующий по величине корень, предварительно отделив главный корень.
Изложим теперь методику отделения главного корня. Эта вычисли тельная процедура предполагает следующие операции. Обозначим
|
|
|
через Ях главный характеристический корень матрицы А, |
а через |
иг — характеристический вектор, соответствующий значению |
Ях. Те |
перь выберем вектор и± так, |
чтобы он удовлетворял условию u[ui = |
= Xj. (Возьмем, например, |
любой характеристический вектор, соот |
1Случай, когда размеры матрицы вероятностей перехода равны 2 X 2 , рас |
сматривается в упражнении 3, а |
более общий случай—в книге Феллера [3, с. 384]. |
ветствующий значению Ях, скажем вектор 4, |
и рассчитаем по следую |
щей формуле: |
|
|
д — (V ^ i/4 4 ) |
4- |
|
Полученный таким образом вектор |
иг |
удовлетворяет условию |
= Я2.) Тогда второй по величине характеристический корень матрицы А можно определить с помощью описанных ранее методов, отыскивая наибольший характеристический корень А — ихи[. Такая вычислительная процедура основана на следующей теореме.
Теорема4 Пусть Ях представляет собой любой характеристический корень матрицы А, а их — соответствующий характеристический век
тор, причем и[иг = V В таком случае, исключив |
из рассмотрения |
Яь можно утверждать, что все характеристические |
корни А — ихи[, |
кроме корня, равного нулю, являются вместе с тем характеристиче скими корнями матрицы А. Другими словами, вместо Я корнем мат рицы А — Н]Ы[ будет нуль.
Пример. Дана матрица
1 1 О А 3 1 2 .
— 10 9 1
Ее характеристическое уравнение можно привести к следующему виду:
(Я — 2) (Я — 5) (Я+ 4) = 0.
Характеристический вектор, соответствующий значению характерис тического корня Ях = 5, равен
2' |
|
2 |
tx— 8 |
, так что их= (У Я1Д ' 4 ) 4 = у 5/237 |
8 |
13 |
|
13 |
Выпишем характеристическое уравнение для матрицы А — ихи\:
или |
А — Я/ — ихи[ | = |
0, |
|
|
|
|
|
|
|
|
|
|
1—Я |
1 |
0 |
" |
5 |
' |
4 |
16 |
26~ |
3 |
1—я |
2 |
|
237 |
16 |
64 |
104 |
— 10 |
9 |
1 -Я |
|
26 |
104 |
169 |
После упрощения получаем уравнение |
|
|
217—237Я |
157 |
— |
130 |
|
631 |
—83 —237Я |
—46 |
= 0. |
—2500 |
1613 |
—608 |
—237Я |
|
Доказательство этой теоремы приведено в работе Сирла [9, с. 189].