Файл: Макаров, В. Л. Математическая теория экономической динамики и равновесия.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