Файл: Макаров, В. Л. Математическая теория экономической динамики и равновесия.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 17.10.2024
Просмотров: 143
Скачиваний: 1
§ i 3 ] |
Т Е О Р Е М А О М А Г И С Т Р А Л И Й С Л А Б О Й Ф О Р М Е |
2 3 1 |
Т е о р е м а 13.1. Если траектория % имеет средний темп роста а, то она стремится к грани Na.
Условие А) описывает траектории, в некотором смыс ле близкие к имеющим средний темп роста а. Условие же Б) по существу никак не связано со средним темпом рос та траектории. Асимптотику траекторий, удовлетворяю щих именно условию А), удобно описать с помощью ней мановской грани не самой модели, а ее проекции.
Обозначим через Za замыкание проекции конуса Z на грань Г в X Та конуса й+ X R+- (Напомним, что Г а — грань конуса R+, натянутая на орты с номерами из Ga.)
Если |
(х, |
у) |
ЕЕ Za, то для любого р |
ЕЕ r i па выполня |
ется р (у) |
^ |
ар |
(х). Если, в частности, х |
= 0, то р (у) = О, |
и потому г/< == 0 для всех i ЕЕ Ga. Поскольку, кроме того)
У ЕЕ Та, |
|
то |
у* = |
О и для |
номеров |
i ЕЕ I |
\ |
Ga. |
Таким |
||||||||
образом, |
если (х, у) |
ЕЕ Za |
и х = О, то у = |
0. |
Отождеств |
||||||||||||
ляя |
Г а |
с положительным ортантом R™ пространства |
Rm |
||||||||||||||
(где |
т — мощность |
Ga), |
нетрудно |
убедиться |
в |
том, |
что |
||||||||||
Za |
— модель |
Неймана — Гейла. |
Рассмотрим |
состояние |
|||||||||||||
равновесия а = |
(а, |
{х, у), р) модели Z (здесь р |
ЕЕ r i я а ) . |
||||||||||||||
По |
определению |
состояния равновесия, ах <; |
у и, |
кроме |
|||||||||||||
того, р |
(у) = |
ар |
(х). |
Из сказанного вытекает, что ая* = у* |
|||||||||||||
для |
|
всех |
i |
ЕЕ Ga, |
и, |
стало |
быть, |
элемент |
(х, |
ах), |
где |
||||||
% ЕЕ Рг^а я, |
входит |
в |
конус |
Za. |
Таким |
|
образом, |
||||||||||
а = |
|
(а, (2, а %), р) |
является |
состоянием равновесия |
мо |
||||||||||||
дели |
Za, |
а а — темп роста этой модели. |
|
|
|
|
|
||||||||||
|
Через |
Na |
обозначим неймановскую грань модели |
Za, |
|||||||||||||
отвечающую |
темпу |
роста а. Применяя формулу (13.3) к |
|||||||||||||||
траекториям модели Za, |
убедимся |
в справедливости |
сле |
||||||||||||||
дующего |
утверждения. |
13.6. Для |
траектории |
% = |
(хг) |
||||||||||||
|
П р е д л о ж е н и е |
||||||||||||||||
модели Z соотношение |
|
|
|
|
|
|
|
|
|
|
выполняется тогда и только тогда? когда для некоторого (и следовательно, для любого) р £5 r i ла
l i m
232 А С И М П Т О Т И К А О П Т И М А Л Ь Н Ы Х Т Р А Е К Т О Р И Й [ГЛ . I V
Особенно просто описывается асимптотика траекторий
модели Z, имеющей |
темп роста |
а |
такой, |
что Ga |
— I = |
= { 1 , 2, . . ., п) (в |
этом случае |
Z |
— Za). |
Точнее |
говоря, |
имеет место |
|
|
|
|
|
Т е о р е м а 13.2. Пусть темп роста а модели Z та ков, что множество па содержит функционал р ^ > 0. Тог да каждая траектория % = (xt) этой модели удовлетворя ет по крайней мере одному из следующих двух условий:
|
|
1) |
<г%-*0, |
|
2) |
p(p0L,Na^O. |
|
|
|||
Д о к а з а т е л ь с т в о . |
Не умаляя общности, можно |
||||||||||
считать, |
что для х ЕЕ R+ |
|
|
|
|
|
|
||||
|
|
|
|
\\х\\=р{х). |
|
|
|
|
|
||
Последовательность |
( a - ' p(xt)) |
= (аг'Ц xt |
||) убывает и |
по |
|||||||
тому |
имеет |
предел. |
Если l i m а~'|| xt |
|| > 0, |
то, |
как |
сле |
||||
дует из условия А), |
траектория % стремится к грани i V a . |
||||||||||
Теорема |
доказана. |
|
|
|
|
|
|
|
|||
В заключение этого пункта приведем |
|
|
|
||||||||
П р е д л о ж е н и е |
13.7. Пусть |
модель |
Z |
обладает |
|||||||
таким |
состоянием |
равновесия (а, (ж, |
у), |
р), |
что у J§> 0, |
||||||
р ^ > 0. |
Тогда каждая траектория этой |
модели, допускаю |
|||||||||
щая согласование, стремится к грани |
Na. |
|
|
|
|||||||
Доказательство следует из предложения 13.2 и тео |
|||||||||||
ремы 13.1. |
|
Каждая |
оптимальная |
траектория |
|||||||
С л е д с т в и е . |
|||||||||||
модели Z, |
исходящая из |
точки х^О, |
стремится к |
гра |
|||||||
ни |
Na. |
|
|
|
|
|
|
|
|
|
|
4. Асимптотика |
оптимальных конечных |
траекторий. |
При описании асимптотики конечных траекторий роль
предложения |
13.5 играет следующая |
Л е мма |
13.1 ( л е м м а М а к-К е н з и). Пусть а — |
темп роста модели Z. Для любого г > 0 и р ЕЕ r i ла най
дется 6 > 0 такое, что р (у) < (1 — б)ар (х) |
для |
любого |
|
процесса (х, |
у) ЕЕ Z, удовлетворяющего условию |
|
|
Д о к а з |
а т е л ь с т в о . Предположим, |
что |
лемма |
неверна. Тогда для любого натурального к найдется процесс (хк, ук) ЕЕ Z такой, что ||жл || = 1, р ((хк,ук), Na) >
§ 13] Т Е О Р Е М А О М А Г И С Т Р А Л И В С Л А Б О Й Ф О Р М Е 233
> е |
и р ( г / А ) > — £ — а р (хк). |
Не |
умаляя |
общности, |
можно |
|||||||||||
считать, что последовательность (хк, |
ук) |
сходится |
к про |
|||||||||||||
цессу (х, у). Процесс (х, у) |
ЕЕ Z |
и р ((х, |
у), Na) |
|
> |
е. В то |
||||||||||
же |
время р (у) |
= |
ар {х), т. е. (х, |
у) |
ЕЕ |
Na. |
|
|
|
|
||||||
|
Полученное противоречие и доказывает лемму. |
|
||||||||||||||
|
Имеет |
место |
|
|
|
|
|
|
|
|
|
|
|
|||
|
Т е о р е м а |
13.3 (о м а г и с т р а л и |
в |
|
с л а б о й |
|||||||||||
ф о р м е ) . |
Пусть |
а — темп |
роста |
модели |
Z, |
точка |
||||||||||
х0 > |
0 |
и |
функционал / > |
О удовлетворяют |
следующим |
|||||||||||
условиям: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
а) из точки х0 |
исходит |
траектория |
% — (Жг), |
расту |
|||||||||||
щая средним темпом а, |
|
|
|
|
|
|
|
|
|
|
||||||
|
б) |
найдутся положительные числа 1с', к" и функционал |
||||||||||||||
р ЕЕ r i ла |
такой, |
что |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
k"pKf<k'p. |
|
|
|
|
|
|
|
(13.4) |
||
Пусть, |
далее, |
е — произвольное |
положительное |
число. |
||||||||||||
Тогда |
|
для |
любой |
конечной траектории |
%т = |
(xt)?=0, |
ис |
|||||||||
ходящей из х0 |
и оптимальной |
в смысле f, |
число процессов |
|||||||||||||
|
|
|
|
|
|
—'n'g'jl"1 |
1 |
j |
> |
8 ) |
н е |
превосходит |
||||
некоторого числа L (не зависящего от длины траектории |
Т). |
|||||||||||||||
|
Д о к а з а т е л ь с т в о . Пусть m — число |
процессов |
||||||||||||||
|
|
|
|
|
|
—'n'g'jj"1 |
» ^ а |
J |
^ е - |
Найдем по дан |
ному е число 6, существование которого гарантируется
леммой |
13.1. Имеем (считая р (xt) I р (xt+1) = а, если |
|
Р |
= |
0) |
|
Р |
(хт) |
откуда р (хт) |
агт < |
р (х0) (1 — б ) ж . |
Положим |
с = |
l i m a~lp (st) (по условию, с > 0). Ис |
пользуя неравенства (13.4) и оптимальность траектории %т, получим
p ( x T ) a - T ^ - L F { X T ) A - T >
> ± f (ят) а-т>1£-р {хт) а"г > с
234 А С И М П Т О Т И К А О П Т И М А Л Ь Н Ы Х Т Р А Е К Т О Р И Й [ГЛ . I V
Итак,
^ |
V ) ^ к' р (Хо) ' |
откуда |
|
Теорема доказана.
Приведем еще один вариант теоремы о магистрали в
слабой форме. |
13.3'. Пусть |
а — темп |
роста |
модели |
|||||
Т е о р е м а |
|||||||||
Z, точка х0 > |
0 и функционал / > |
О удовлетворяют сле |
|||||||
дующим условиям: |
|
|
|
|
|
|
|
|
|
а) найдется индекс i такой, что ах ) |
f- \> О, а2 ) |
сущест |
|||||||
вует траектория |
% = (st), |
исходящая |
из |
точки |
х0, |
для |
|||
которой l i m а~*х\ > 0; |
|
|
|
|
|
|
|
||
б) найдутся |
положительное |
число |
к |
и функционал |
|||||
р е= r i ла такие, что f =gC кр. Пусть, |
далее, е — произволь |
||||||||
ное положительное |
число. Тогда |
для любой |
конечной тра |
||||||
ектории %т — {xt), |
исходящей |
из х0 и оптимальной в смысле |
|||||||
|
|
|
|
|
|
—|д.'||] |
, NaJ |
j > |
|
!> е, не превосходит некоторого |
числа |
L. |
|
|
|
Доказательство этой теоремы может быть проведено с помощью тех же соображений, что и доказательство тео ремы 13.3.
З а м е ч а н и е 1. Множество точек х0, для которых при не котором t выполняется условие а2 ), как правило, достаточно об
ширно. |
Так, например, если отображение а |
нормально |
и |
|||||
(а, (х, |
у), р) — состояние |
равновесия, |
то для |
любой |
точки |
|||
х0 e (|xx)( i > 0 |
это условие выполнено. |
|
|
|
||||
З а м е ч а н и е 2. Теоремы 13.3 и 13.3' останутся справедли- |
||||||||
выми, если] вместо |
Р \ |
Ц^Ц |
• N a ) писать |
— ' |
' |
° / |
||
(где Na |
— неймановская грань |
модели |
~Za). |
|
|
|
З а м е ч а н и е 3. В случае, если х0 — граничная точка кону са Л™, асимптотику оптимальных траекторий, исходящих из точки х0, можно несколько уточнить (см. п. 2 § 16).
5. Асимптотика при наличии строгого состояния рав новесия. Состояние равновесия а = (а, (ж, у), р) пра вильной модели Z называется строгим, если из равенства
S 13j Т Е О Р Е М А О М А Г И С Т Р А Л И В С Л А Б О Й Ф О Р М Е 235
р (у) = ар (х) {(х, у) ЕЕ |
Z) следует, что при некотором А. > О |
х = |
Яг, у = Яг/. |
Отметим, что функционал р, фигурирующий в этом опре
делении, принадлежит |
внутренности |
конуса |
(R+)* |
(т. е. |
||||||||
Р>0). |
|
|
|
|
|
|
|
|
|
|
|
|
В |
самом |
деле, |
пусть |
наше |
утверждение |
неверно |
и |
|||||
р1 = |
0 при некотором г ЕЕ |
/. Так как модель Z |
правильна, |
|||||||||
то найдется |
процесс (еи |
у) ЕЕ Z |
(где |
ег есть £-й орт). По |
||||||||
определению |
состояния |
|
равновесия, |
р {у) ^ ар (ег ) |
= |
|||||||
=ар1=0, |
откуда |
следует |
равенство |
р (у)= |
ар |
(et) |
= |
0. |
||||
Так |
как а — строгое состояние равновесия, |
то |
(еи |
у) |
= |
|||||||
= Я (х, |
у)и, стало быть, р |
(у)=р |
(у) = |
0, что невозможно. |
||||||||
Из |
соотношения р^>0 |
вытекает |
равенство |
у = аХ. |
Таким образом, если а — строгое состояние равновесия,
то о |
= (а, (г, |
а |
г ) , |
р), |
где р ; > 0. |
|
|
|
|
|
|
|||||||
|
Выпуклый конус Z, |
лежащий в прямом произведении |
||||||||||||||||
Д+ X |
Д+, называется |
почти |
|
строго |
выпуклым, если |
для |
||||||||||||
любых двух его элементов (xv |
|
yj |
и (х2, |
у2), |
не лежащих |
|||||||||||||
на одном луче, найдется элемент (хг |
+ хг, у) |
из Z такой, |
||||||||||||||||
что |
|
у^> |
ух + |
г/а- Нетрудно |
проверить, что |
каждое |
сос |
|||||||||||
тояние равновесия |
ст = |
(а, |
(Ж, у), |
р) |
модели |
Неймана — |
||||||||||||
Гейла, определяемой почти строго выпуклым конусом Z, |
||||||||||||||||||
является |
строгим состоянием |
равновесия этой |
модели. |
|||||||||||||||
В самом деле, пусть процесс (х, |
у) |
ЕЕ |
Z не лежит на луче |
|||||||||||||||
(Я |
(X, г/))л>о и, |
кроме |
того, |
р |
(у) |
= |
ар |
(х). |
Поскольку, |
|||||||||
по |
определению |
состояния |
|
равновесия, |
р (у) = |
ар |
(х), |
|||||||||||
то |
и |
р (у |
+ у) |
= |
ар |
(х |
+ X). |
Используя |
почти |
строгую |
||||||||
выпуклость Z, |
найдем процесс (х + |
S, |
у) |
ЕЕ Z |
такой, что |
|||||||||||||
у ^> |
у + |
у. Для |
этого процесса имеем |
|
|
|
|
|
||||||||||
|
|
|
Р (У) > |
Р |
(У + |
S) |
= |
ар |
|
+ |
*)• |
|
|
|
что невозможно. Полученное противоречие и показывает
строгость |
равновесия |
ст. |
Если модель |
Z |
имеет |
строгое |
||||
состояние |
равновесия |
ст = |
(а, (X, |
ах), р), |
то, как |
следует |
||||
непосредственно из определения, |
неймановская грань |
Na |
||||||||
совпадает |
с лучом |
(Я (X, |
ах))^о- |
Это |
обстоятельство |
|||||
позволяет |
доказать |
следующее. |
|
|
|
|
|
|
|
|
П р е д л о ж е н и е 13.8. Если |
модель Z имеет стро- |
|||||||||
где состояние равновесия а = (а, (х, |
ах), р) |
и |
траектория |
|||||||
X= (хи этоймодели стремится к грани Na,. то ,, |
х. |
s |
|
|||||||
,. —> . |
. |
II xt |
II |
I I s II |