Файл: Сирл, С. Матричная алгебра в экономике.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 16.10.2024

Просмотров: 131

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

собой. Однако с увеличением 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. Однако можно воспользоваться и двумя дру­ гими критериями, недостаточно корректными с теоретической точки зрения, но во многих случаях дающими удовлетворительные практи­

334


ческие результаты. В соответствии с этими критериями итерационный процесс следует продолжать до тех пор, пока

ПП

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 должно быть равно единице для того, чтобы выполнялось условие Рх' = х. Можно показать, что у транспо­ нированной матрицы вероятностей перехода характеристические корни по абсолютной величине не превышают единицы, поэтому характери­

3 3 5


стический корень, равный единице, представляет собой главный ха­ рактеристический корень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].

3 3 6


ветствующий значению Ях, скажем вектор 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].

337