Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Макаров, В. Л. Математическая теория экономической динамики и равновесия

.pdf
Скачиваний:
17
Добавлен:
22.10.2023
Размер:
11.97 Mб
Скачать

110

 

 

 

 

 

 

М О Д Е Л Ь

 

 

Н Е Й М А Н А

— Г Е Й Л А

 

 

 

 

 

[ГЛ .

 

И

 

П р и м е р

 

2. Рассмотрим модель

Неймана Z, где Z

конус

в ^ Х

 

R*,

являющийся конической

оболочкой

 

следующих

про­

цессов:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Vi)

( 2 e i

+

е2,

9в! +

3 ),

2 ,

у2)

==

2

+

 

3 , ех +

2 ),

 

 

(*з. Уз) =

(2 ез

+

2 e i +

 

с , 4ех

+

е2 +

3

+

4е* +

5),

 

 

 

 

 

 

4 ,

i/j) =

2

- f

3

+

4

 

5 > ех

+

3

+

2ец

+

5 ),

 

 

 

 

 

 

(*5>

Уь)

=

( 2 «i

+

2«4, в4 +

е6 ),

(го,

уй)

 

2

+

6 ,

 

е3).

 

 

 

 

 

(Здесь

е\ обозначает i-й орт пространства

R5

(i =

1,

 

2, . . .,

5).)

 

Опишем все состояния равновесия этой модели. Для этого

найдем ее темпы роста. Если а — темп роста модели Z, то неравенсг-

во ах

<

у

должно иметь решение хотя бы при одном (х,

у)

 

 

Z\

\

{0}. Поскольку

элементы

(х,

у)

конуса

 

Z

имеют

вид

(х,

у)

 

=

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

2

 

(XU

Vi)

 

(г Де

^

0 (£ =

1, 2,

. . .,

6)),

то векторное нера-

 

i=l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

венство ах <

у

 

записывается в координатном виде как

следующая

система

(А)

скалярных

линейных

неравенств:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(h

+

а ( 2 ^ +

Ъ)

<

6A,2

+

 

3

+

 

%i,

 

 

 

 

 

х)

 

 

 

а

h

+ hi

+

 

 

h)

<

- f Xs,

 

 

 

 

 

 

 

 

 

 

 

(A

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

a

{2X2

+

2X3

+

4X4) <

GXj,

+

4Я.3

+

 

4X4

+

XB,

 

 

 

 

 

(A3)

 

 

 

 

a

(2X3

+

4Я4 +

Ъ)

<

3

+

2Xi + X5,

 

 

 

 

 

 

 

 

(A4)

 

 

 

 

а

(4Я3 +

2Xi

+

2Xa)

<

2X3

+

4X4

+

 

Хъ.

 

 

 

 

 

 

 

 

ъ)

 

Таким образом, если а

 

 

— темп роста модели, то система нера­

венств (А)

должна

иметь хотя бы одно ненулевое

положительное

решение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

С другой стороны, число а

должно

обладать

тем

свойством,

что при некотором р i> 0

неравенство' р

(у)

^

а

р

(х)

имеет

место

для всех (х,

у)

 

£Е Z. Справедливость

этого неравенства

достаточно

проверить

лишь

на образующих

((х{, !/{))|=1

конуса Z . Итак,

если

а

— темп роста модели Z, то имеет ненулевое положительное реше­

ние следующая

 

система

(В):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9р* +

 

6 ^ <

a

(2pi +

р2),

 

 

 

 

 

 

 

 

(Вг)

 

 

 

 

 

 

 

 

 

 

р* +

 

 

Ър2

<

 

а

2

+ 2рЗ),

 

 

 

 

 

 

 

 

 

2)

 

 

i f

+

Р 2

+

4

р

з

+

i p i

+

2

р\

< « ( 2 ^ +

2 ^ + 4 ^ ) ,

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

pi

+

i p

s

+

*

+

 

кр\

<

а

2

+

Ар»

+

bp*

+

2р%

 

4 )

 

 

 

 

 

 

 

 

 

 

 

pi

+

p*^a

 

(2?

+

2 У ) ,

 

 

 

 

 

 

 

( Д . )

 

 

 

 

 

 

 

 

 

 

 

 

 

р3

<

а (р2

+

2f).

 

 

 

 

 

 

 

 

0 )

 

Нетрудно убедиться в том, что система (В)

 

не имеет решения

 

*)

при а <

1 (для этого достаточно сложить неравенства

3 )

и

(Bi)).

 

Обратимся теперь к системе (А).

 

Непосредственным подсчетом про-

*) Всюду в этом примере под словом решение понимается поло­ жительное ненулевое решение рассматриваемых систем.

§ 6]

 

 

Т Е М П Ы

РОСТА

М О Д Е Л И

Н Е Й М А Н А —

Г Е Й Л А

111

вернется, что эта система имеет решение при а

=

1. (Ниже приве­

дены все решения этой системы в данном случае.)

Предположим

теперь,

что

эта система имеет решение 1:

Xj, Я.3, Xt,

Х5, Хв)

при

а >

1.

Складывая

неравенства

(At)

и

( Л 5 )

, убедимся, что в этом

случае

Х3

=

 

Х4 =

%ъ

=

Х$ =

0.

Используя

это обстоятельство,

преобразуем

систему (А)

в следующую систему (А')

(относительно

переменных

Ях и Я.2):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2аХг

<

9 ^ +

%2,

 

 

 

 

 

(А[)

 

 

 

 

 

 

аХх

 

-f-

aXj, <

6 ^ ,

 

 

 

 

 

 

( 4 2 )

 

 

 

 

 

 

 

 

2 c d 2

<

Х.

 

 

 

 

 

 

Ид)

Заметим,

что

A,j ф

0.

противном

случае

из

 

а)

следует,

что

 

 

 

 

 

 

 

 

 

 

 

 

 

г,

 

 

 

 

 

 

Я2 =

0, а

это

невозможно, поскольку

^

 

>

0-) Тагам же овра­

 

 

 

 

 

 

 

 

 

 

 

 

 

г у

 

 

 

 

 

 

зом, привлекая 2),

можно показать, что Х2

Ф

0- Разделив неравен­

ства (AJ,

 

(А'2)

И 3)

на Я-! и исключая отношение A,2/^i из получен­

ной

системы,

придем к следующей системе неравенств относитель­

но а:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а ( 2 а - 9 ) < 3 ,

 

" б Т Г 7 < 3 .

 

 

 

(6.9)

 

Решая

систему

(6.9),

получим,

что среди чисел,

больших

еди­

ницы, темпами роста модели могут быть лишь точки из полуинтер­ вала (1,3]. Кроме этих точек в проверке нуждается лишь число 1 (оно также может быть темпом роста).

 

 

Пусть Ш Е ( 1 , 3). Предположим, что это число является тем­

пом роста модели, и пусть а —

(а, (Я,

у),

 

~р)

состояние

равнове­

сия

с темпом роста

а. Напомним,

что по

определению

состояния

равновесия р

(у)

> 0. (Иными словами,

 

найдется

хотя

бы

один

индекс

£ (1 <

i

<;

5), при

котором р{

>

0, у1

>

0.) Пусть

(ж,

у) =

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

^

^1 ixU

у\)-

Так

как

a >

1,

то

Х3

=

А"4

=

Хй

=

~Хв

=

0, и

H a l o ­

 

i

d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

му

у

=

Хм

+

2

у2

= (9\

-f- Х2)

ег

+

бХ2е2

+

6Х\е3.

 

Таким

обра­

зом,

г/4

=

jf* =

0. С другой стороны, складывая неравенства

г)

и (6 2 ) и учитывая, что a <

3, убедимся в справедливости

равенств

Pj

=

р 2

=

р3

=

0. Мы показали, что £ (£) =

0;

стало быть,

наше

предположение

было неверным, т. е. среди

чисел

из

интервала

(1,

3) нет

темпов роста.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Покажем теперь, что числа a =

1 и a

=

3 являются темпами

роста модели, и опишем все состояния равновесия,

отвечающие

этим темпам.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) Пусть

a

=

1.

Нетрудно

проверить,

что при

a

=

1 система

(В)имеет решения лишь вида (j.i, j3i),j.> 0 , где рх = (0, 0, 0, 1, 1).

Рассмотрим теперь систему (А).

Из неравенств (At) ж (Аъ) при a = 1

следует, что Ха = 0; 2XS = 2Х&

+ Х§; используя это обстоятельство,

112

 

 

 

 

М О Д Е Л Ь

Н Е Й М А Н А

— Г Е Й Л А

 

 

[ГЛ .

I I

систему

(А)

можно

переписать в рассматриваемом

случае

следу­

ющим образом:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

Я1 ^

5Яг +

~~2~ Яв,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

А

 

 

 

 

 

 

 

 

 

 

 

 

Я2 <

ЗЯ1 +

Xi + —

Я5,

J>

 

 

 

(6.10)

 

 

 

 

 

 

2Я., +

Я5

=

2Хз,

 

 

 

 

 

 

 

 

 

 

 

 

Яв =

0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в

 

 

 

Система

(6.10)

имеет

решения. Пусть

(.г, у)

=

^

(xii

т),

где

 

 

 

 

 

 

 

 

 

 

 

 

 

i=l

 

 

 

(Я^

Я2 ,

. . .,

Яй)

решение

системы (6.10). Тогда

если Я3

- f Я4 +

+

Я5

>

0, то р

(у)

>

0; в противном случае р

(у)

=

0. Таким обра­

зом,

число а

=

1 является темпом роста модели; состояния

равно­

весия ст, отвечающие этому темпу, могут быть описаны следующим образом:

 

 

 

 

 

 

 

б =

(1. (*,

р),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

где

р =

(0,

0,

0, р.,

\\)

(и. >

0);

(S,

у)

=

^

Я* (г{ , де),

где

числа

Ях ,

Я2,

. . .,

Я5

являются решением

системы

 

 

 

 

 

 

 

 

 

 

 

 

 

Я1 ^

5Яа -|- Я5,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Яг <Г, ЗЯ1 +

Я< -(- ~~2~Xs,

 

 

 

 

 

 

 

 

 

 

 

 

2Xt +

Я5

=

2Яз,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 <

Яз +

Я4 +

Яб.

 

 

 

 

 

 

 

 

 

2) а =

3. Как было показало выше, решение (Ях ,

 

Я0) системы

(А)

в случае, если а >

1, обладает тем свойством, что Я3

=

Я4

=

Я5

=

= Я а = 0 ; при этом числа Х1 и Я, удовлетворяют системе (А'),

решения­

ми которой

в нашем

случае "(а =

3) являются пары чисел (Я1 ; Я2 )

такие, что Ях

=

Я2 . Таким образом, если а

=

3

темп роста

и про­

цесс (х,

у)

входит в состояние равновесия, отвечающее этому темпу,

то

(г,

у)

=

Я (2ex +

2 +

3 ,

1 0 в 1

+

2

+

3 )

(где

Я >

0).

Рассмотрим теперь систему (В)

при а =

3. Из неравенств (В{)

 

и

2)

сразу следует, что р1

=

0; р"1

=

2 />3. Используя это обстоятельство,

легко получить, что координаты функционала р являются решения­

ми системы (В)

при а

= 3 тогда и только тогда, когда

= 0, £ г

=

= 2р3,

ръ

^ 5pi;

при

этом

(у)

> 0 в том и только том случае, ког­

да р3

>

0.

 

 

 

 

 

 

Таким образом, число а

=

3 является темпом роста модели

Z .

Состояния равновесия о, отвечающие этому темпу роста, имеют вид

а =

(3, Я ( 2 в 1 +

2 + 2е3 ,

Юг,. + 6е2 +

3 ),

 

(0,

2 v, v, х ,

со)),

(6.11)

где Я > 0, v >

0, 0 < со <

5 х .

 

 

§ 6]

Т Е М П Ы РОСТА М О Д Е Л И Н Е Й М А Н А — Г Е Й Л А

ИЗ

 

Мы описали все состояния равновесия модели Z . Заметим, что

эти состояния никак не зависят от процесса (гс , i/6). (Иными словами, а является состоянием равновесия модели Z тогда и только тогда,

когда а — состояние равновесия модели Z,

где Z

— конус, натяну­

тый иа пары (xit i/i) (£ =

1, 2, 3, 4, 5).)

 

 

Отметим еще, что темп роста а = 3 модели Z

является и нейма­

новским темпом роста а

(2) этой модели. В

самом деле, три — это

наибольшее значение параметра а, при котором система неравенств

(А) имеет решение. Из сказанного следует, что состояние равнове­ сия а, определенное формулой (6.11), является неймановским. Ней­

мановский процесс модели Z

единствен

(с точностью до множите­

ля)

и

совпадает

с парой г

-\- х2,

уг

-\-

у2).

 

 

 

 

. П р и м е р

3. Пусть / —

строго вогнутая функция, определен­

ная

на

[0, -f- оо) и такая, что / (0)

=

0,

l i m

/ (х)

= 1.

В конусе

R^XR\

 

 

 

 

 

К-*+оа

 

(u-\-i,X)),

рассмотрим множество Й, состоящее из пар ((u.,1),

где

м ^ О , А , < / ( ц ) . Очевидно, что

Q

выпукло.

Конус Z, совпа­

дающий с замыканием конической

оболочки

Со (£2) множества Q,

является, как нетрудно показать, моделью Неймана — Гейла. Не­

посредственно проверяется, что кроме

лучей

(u.z)^> 0 ,

где

z €= Q,

конус Z

содержит лишь луч, проходящий через точку ((1, 0), (1, 0)).

Найдем

неймановский темп роста модели Z.

Пусть

(х,

у) €Е Z,

(х, у) =

((и, 1), ( и +

1, %)). Тогда

 

 

 

 

 

 

а(х,

/ " +

1

\

 

 

 

 

y) = m i n \ — —

,

%] = %.

 

 

 

Врассматриваемой ситуации функция / строго возрастает, и

потому Я . < / ( и ) < 1 . Если же (х,

у)

=

((1, 0), (1, 0)), то а (х, у) = 1.

Итак,

 

 

 

 

 

 

 

 

 

 

a (Z) = max а (х,

у)

= 1.

При этом модель Z имеет единственный (с точиостыо до множителя)

неймановский процесс

((1, 0), (1, 0)).

 

Предположим, что а =

(а, {х,

у),

р)

является состоянием равно­

весия модели Z . Рассмотрим отдельно два случая, в зависимости от

того, совпадает

(х, у)

с

неймановским

процессом или нет.

1) Я У) =

( ( й , 1 ) . ( «

+

1,

U )

(где

5 > 0 , 0 < £ < / ( « ) ) .

По определению состояния равновесия, должны выполняться, в част­

ности, следующие

неравенства:

 

 

 

 

 

 

 

 

 

 

 

ай <

й +

1,

а < 1 ;

 

(6.12)

 

р1

(и +

1) +

p"-f (и)

<

ори

+

ар-

>

0).

(6.13

Из (6.12)

следует,

что

а <

1,

н

потому

/ (ц) ;> а

при

достаточно

больших

и.

Переписывая

(G.13)

в виде

 

 

 

 

 

(1 - a)

phi

+

JP- <

f-

(а -

}

(и))

( и >

0),

,

убедимся в том, что это неравенство возможно лишь при р1

= р = 0,

114

М О Д Е Л Ь Н Е Й М А Н А — Г Е Й Л А

[ Г Л . I I

Таким образом, в рассматриваемом случае а не является состоянием

равновесия.

2) (х, у) = ((1, 0), (1, 0)). Снова используя определение состоя­ ния равновесия, получим

 

 

« <

1,

 

 

 

 

 

(1 -

а) рЧ +

p i < p z ( a - f

(и))

> 0),

(6.14)

 

 

Р (V) = Р1 >

0.

 

 

(6.15)

Выше уже отмечалось, что случай а <

1 невозможен. Пусть а = 1.

Тогда, в силу

(6.14),

 

 

 

 

 

 

 

 

Р1 < Г (1 - / М )

 

( и > 0 ) .

 

 

Переходя в этом неравенстве к проделу, получим, что р1

= 0, а это

противоречит (6.15).

модель Z

не

имеет

темпов

роста.

Мы показали, что

3. Неймановское

состояние

равновесия.

Из

результа­

тов предыдущего пункта следует, что модель Неймана — Гейла, вообще говоря, может и не иметь состояний равно­ весия. В то же время примеры 1 и 2 показывают, что од­ ним из темпов роста модели может быть неймановский темп роста. В связи с этим представляет интерес выяснить вопрос о существовании неймановского состояния равно­ весия. Отметим прежде всего одно важное свойство ней­

мановского

темпа роста.

 

 

 

 

 

 

 

П р е д л о ж е н и е

6.3. Пусть Z — модель Нейма­

на — Гейла

(Z CZ R+

X

R+).

Тогда найдется функционал

р ] > 0 такой, что для всех (х, у) ЕЕ Z

 

 

 

 

 

 

 

р

(у)

^ a

(Z)

р (х)

 

 

(6.16)

(где a (Z) — неймановский темп

роста модели

Z).

 

 

Д о к а з а т е л ь с т в о .

Рассмотрим

в пространстве

Rn

множество

С =

— a

(Z)x \ (х,

у)

ЕЕ Z).

Так

как

Z — выпуклый конус, то и С является выпуклым конусом.

Из

определения

неймановского темпа

роста следует, что

С f j i n t i?+ = 0 ,

и

потому

существует

функционал

р

такой, что ~рф0

и

 

 

 

 

 

 

 

 

 

 

max p(z)

= 0 =

m i n р

(и).

 

 

 

 

 

z ec

 

 

 

u e

R n

 

 

 

Функционал р обладает требуемыми свойствами. Предложение доказано.

§ 6]

 

ТЕМПЫ РОСТА

МОДЕЛИ НЕЙМАНА — ГЕЙЛА

 

115

З а м е ч а н и е .

В

дальнейшем

нам

понадобится следующее

П р е д л о ж е н и е

6 . 3' . Пусть

Z

выпуклый

конус

в Д™хД™

и число

Р таково,

что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

У1

 

 

 

 

 

 

 

 

 

 

 

sup

 

m i n . г ^ ( 3 < о о .

 

 

 

 

 

 

{X, l/)eZ, (ж, у)Ф0

i g i

хг

 

 

 

 

 

 

Тогда

найдется

функционал

р >

0 такой,

что

р

(у) ^ [Jp (х)

для

всех

(х,

у) ЕЕ

Z.

 

 

 

 

 

 

 

 

 

 

 

Доказательство этого утверждения полностью совпадает с дока­

зательством предложения 6.3.

 

 

 

 

 

 

 

 

Из

предложения

6.3

следует,

что

(a (Z), (х,

j ) ,

р),

где (X, I) — какой-либо неймановский процесс, р;

функ­

ционал, фигурирующий в предложении, обладает всеми свойствами состояния равновесия, кроме, может быть, условия р (у) ] > 0: Таким образом, вопрос о существова­ нии неймановского состояния равновесия сводится к оты­ сканию функционала р, удовлетворяющего условию (6.16) и такого, что р (у) > 0 хотя бы для одного неймановского процесса (х,у). При этом удобнее всего рассматривать ней­ мановский процесс, у которого у имеет наибольшее (по включению) множество координат, отличных от нуля. Существование такого процесса гарантирует следующее простое

П р е д л о ж е н и е 6.4. Пусть Z модель Нейма­ на — Гейла и положительное число а таково, что множе­

ство Са

— {(х, у) 65 Z\ax ^

у}

непусто.

Тогда

найдется

процесс (£, у) ЕЕ

Са

такой,

что *) 1^ ZD

Ix,

Iy

ZD Iv

для

любого

процесса

(х, у) из Са .

 

 

 

 

Са

 

 

Д о к а з а т е л ь с т в о .

 

В

множестве

найдется

лишь конечное число процессов

(xi, уг) (i

=

1, 2, . . ., m),

обладающих тем

свойством,

что множества IXi

X IVi

по­

парно

различны. В

качестве

искомого

процесса

(х, Tj)

 

 

 

т

 

 

 

 

 

 

 

МОЖНО

ПРИНЯТЬ

Сумму 2

 

У\)-

 

 

 

 

Предложение

доказано.

 

 

 

 

 

 

 

Приведем теперь

теорему,

дающую достаточные

усло­

вия существования неймановского состояния равновесия. Мы специально приводим доказательство теоремы, не опи-

*) Напомним, что / х = (i ЕЕ / | xi > 0} для х ЕЕ Д " .

116 М О Д Е Л Ь Н Е Й М А Н А — Г Е Й Л А [ГЛ . I I

рающееся на предложение 6.3 (и не являющееся самым коротким), с тем чтобы показать, что ситуация здесь та­ кова же, что и в теореме Куна — Таккера из теории вы­ пуклого программироваиия.

Т е о р е м а 6.1. Пусть Z— модель Неймана — Гейла и выполнено хоть одно из следующих двух условий:

1)

конус

Z

многогранен

(;?г.

е. Z модель

Неймана),

2)

существует неймановский процесс (х,

у) такой, что

у^>0.

Тогда

модель Z обладает неймановским состоянием

равновесия.

 

 

 

 

Пусть а a, (Z), (£, у) —

 

Д о к а з а т е л ь с т в о .

неймановский

процесс, у которого Тх

ZD Ix, Iy

ZD Iv

для

любого неймановского процесса (х, у).

Рассмотрим множе­

ство

Vt CZ Rn

 

X Rn

X R1,

состоящее

из

всех

векторов

вида

(—ах,

у, 0)

(где (х,

у) £= Z), всех

векторов

вида

(у, —ах, 0) ((х, г/)е=2) и вектора (Q,—aZ,

1). Через V обозна­

чим коническую оболочку объединения множеств 7 х и ( Л + Х

X R+ X Rl).

Нетрудно

проверить

что

(и,

v,

u.) £Е V

тогда

и только тогда, когда

 

 

 

 

 

 

 

 

 

(и,

v, р) =

и

г>1,

ц3 )

+

2,

гл>, р2 )

+

X (и3,

v3, p,3 ),

где

иг

<

—ахг,

vx <

уи

рх <

0,

и3

<

у», v2 <

— ах2,

и2

<

0. и3

^

0, vh

<

—ах,

и3

<

1, X >

0 (здесь и

г/0

и

(ж«, г/о) процессы модели

Z).

 

 

 

 

 

 

 

 

Сформулируем

теперь задачу

(Д) выпуклого програм­

мироваиия:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

максимизировать

а при условии

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(—as,

0, и,) Е= V.

 

 

 

 

 

 

 

Найдем решение этой задачи. Если

(—ах,

0, p.) ЕЕ V,

то, как следует из сказанного выше,

 

 

 

 

 

 

—аЖ =

щ -f- u 2

+

k u 3 ,

0 = г>! +

г;2

+

Xv3,

 

 

 

 

 

 

 

 

 

 

 

Р> =

И-1 +

u.a

+

Xii3,

 

 

 

 

 

причем для некоторых

процессов

1 т у0 и (х2 , у2 ) из Z

выполняются

неравенства

^

ахи

щ <^ г/г,

ий ^

0,

иг

^

уи

гл, ^

ах2,

vs

^

—aS;

кроме

того,

|д,х

0,

р 2

 

 

 

р,3

^

1, ?>« >

0. Таким образом, процессы г,

ух),

2,

у2)

 

и числа X, [л удовлетворяют неравенствам

 

 

 

—as

 

 

—axj. -f- у2 , Лая ^ ?/i — аж2,

 

p, ^

X.

(6.17)

§ 6] Т Е М П Ы РОСТА М О Д Е Л И Н Е Й М А Н А — Г Е Й Л А Ц7

Из сказанного следует, что оптимальное значение за­ дачи (А) совпадает с наибольшим из чисел X, обладающих

тем

свойством, что

при

некоторых

и

ух),

(ж,, у2 ) ЕЕ Z

имеют место неравенства

(6.17).

 

 

 

Если X = 1, то эти неравенства

справедливы (напри­

мер,

для процессов

(хх,

yr) = (s, у),

2,

у2) — (0, 0)).

Покажем, что при X ^> 1 никакая пара процессов (xlt yi), 2 , у2 ) не удовлетворяет этим неравенствам. В самом деле, предполагая противное, найдем соответствующие про­ цессы (a?i, ул), (ж3, у 2 ) ; из соотношений (6.17) получим

а х +

ж2) ^ а

(А, — 1)5 + а

х +

ж2) ^

ух -\-.у2.

(G.18)

откуда

следует,

что процесс

х

ж,, у2

-f- у2 )

нейма­

новский. Вспоминая определение процесса (ж", г), убедимся в справедливости соотношения 1% ZD это соотно­ шение показывает, что при достаточно малом положи­ тельном v

S>v(x1

+ xl).

(6.19)

Объединяя (6.19) и (6.18), имеем

 

Ух + У» > а (1 +

v (А, — 1)) (жх +

ж2 ),

что невозможно, так как а совпадает с неймановским тем­ пом роста a (Z).

Таким образом, оптимальное значение задачи (А)

равно 1. Это означает, что точка

г>0 = {—as, 0, 1) лежит

на границе выпуклого телесного

конуса V.

Покажем, что для задачи (А) выполнены условия тео­ ремы Куна — Таккера. Если выполнено условие 1) тео­ ремы, то конус V многогранен. Если выполнено условие 2) теоремы, то этот конус содержит внутреннюю точку вида (—а%, 0, у,). (Такой является, например, точка (—ая, 0, 0); в самом деле, если выполнено это условие, то у ^ > 0. Пусть процесс (ж, у) из Z таков, что у ^ > 0 , у — ах ^ > 0. Элемент z = (аЯ + у, у — аж, 1) входит в V. В то же время, z ^ > (—аж", 0, 0). Так как V с каждым своим элементом содержит и все меньшие, то (—аЯ, 0, 0) входит в V с не­ которой своей окрестностью.) Итак: если выполнены усло­ вия нашей теоремы, то задача (А) удовлетворяет условиям теоремы Куна — Таккера (точнее говоря, одного из ва­ риантов этой теоремы (см. п. 9 § 1). В силу указанной теоре.

118

М О Д Е Л Ь Н Е Й М А Н А —

Г Ё Й Л А

 

Сгл. I I

мы найдется функционал я =

( р ь

р2 , у)

] > 0 , удовлетво­

ряющий условию

max я {v)

=

я (v0) =

0 и

такой, что

V >

0. Из условия max я (v)

=

0 следует, в частности, что

для

(х, у) ЕЕ Z

CSV

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

арг (х)

>

р 2 (у),

 

ру

(у)

< ар 2 (х),]

и потому а (рх +

р3 ) (х) >

х

+

р2 ) (у)

для (ж, у) ЕЕ Я.

Так как я (v0) = 0, то —рх

(ах) + 7 = 0 ,

откуда следует,

что

(pj - f ра ) (г/) >

( p i - j -

р2 ) (ах) > 0 .

Итак,

мы пока­

зали, что а = (а, (£, г/), рх -[- р2 )

является

состоянием

равновесия.

 

 

 

 

 

 

 

 

 

Теорема доказана.

 

 

 

 

 

 

 

 

З а м е ч а н и е .

Условия теоремы, как легко видеть, не явля­

ются необходимыми. По существу здесь возникает та же ситуация, что и в теореме Куна — Таккера; точнее говоря, условия теоремы 6.1 являются соответствующим образом переформулированными

условиями, гарантирующими выполнение теоремы Куна — Таккера. Вместо условия 2) теоремы можно потребовать выполнение не­ сколько более слабого условия: существуют неймановский процесс

{х,

у)

и конечная последовательность (х,

хи

хт)

такие, что хт

^>

^>

0,

(х, I J J G Z , (Х|, Х(+1) е Z (t = 1,

2,

... , Т

1). При этом

для

задачи (А) по-прежнему имеет место теорема Куна — Таккера. Впро­ чем, существование неймановского равновесия в указанном случае вытекает непосредственно из предложения 6.3.

4. Расположение состояний равновесия модели Ней­ мана — Гейла. Конечность числа темпов роста модели.

В этом пункте мы опишем все темпы роста и состояния равновесия модели Неймана — Гейла Z. Это описание проводится с помощью некоторой конструкции, которая излагается ниже. Предварительно обобщим понятие ней­ мановского темпа роста и неймановского процесса на не­ которые выпуклые конусы, вообще говоря, не являющиеся моделями Неймана — Гейла. Пусть Z — выпуклый ко­

нус, лежащий в i?+ х

R+ и такой, что Рг2

Z f] i n t i?+ =j= ф.

Неймановским

темпом

роста

конуса Z

назовем число *)

 

а =

 

sup

min^r

.

(6.20)

 

(ж, v)ez, (х, v)¥=0 i e i

x

 

 

Заметим, что

а может

равняться и +

со, однако

всегда

*) Напомним, что / = {1, 2, . . ., л}.

§ 6] Т Е М П Ы РОСТА М О Д Е Л И Н Е Й М А Н А — Г Е Й Л А ' Ц9

а ^> 0. E c n n Z — модель Неймана — Гейла, то а совпада­ ет с введенным ранее неймановским темпом a (Z).

Последовательность

({xh, ук))

элементов конуса

Z

назовем неймановской,

 

 

Введем

в

pac­

если min—:—>а.

 

ker

х\

к-

 

 

 

смотрение множество

индексов

Iz

CZ

Номер

i ЕЕ Iz

тогда и только тогда, когда найдется неймановская после­

довательность ((xh,

yh))

такая, что у\ ^> 0 (k

=

1, 2, . . .).

 

Пусть Z — модель Неймана — Гейла-

Конус

Z поро­

ждает конечную

последовательность

конусов

Zu

Z 2 , . . .

. . ., ZJV следующим образом. Положим

Zx

— Z,

обозна­

чим

Д + =

1\.

Таким

образом,

Zx

C Z Га

X Гх ;

 

если

Iх

=

Izt

=

I,

то процесс окончен; если I1

=j= I,

то рассмо­

трим грань Г2 конуса R+, натянутую

на орты с номерами

из 11,

и определим Z 2

как проекцию конуса Zx

на грань

Г2

X Г2

конуса

 

R+ X

 

Если

П

=

Iz,=

 

 

 

 

то

процесс окончен; в противном случае рассмотрим

грань

Г 3

конуса

R+,

натянутую

на

 

орты

с

номерами

из

 

 

U

-^2)> и

обозначим через Z 3

проекцию Z 2 на грань

Г3

X Г 3

конуса Rl

X i??. Если

Р

=

IZi

 

ф

 

 

 

U

'2 )>

то строим конус Z 4 и т. д. Этот процесс закончится на не­

котором шаге

N.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В результате у

нас построены конусы Z v

и множества

индексов

Iv

 

= 1, 2, . . .,

N),

причем

 

I"

== 7z„,

 

 

 

 

 

 

 

 

N

 

 

 

 

 

 

 

 

 

 

 

7V

П

7 V ' =

ф (v =f= v'),

U I"

=

I-

Через

ccv

обозначим

 

 

 

 

 

 

 

 

v=l

 

 

 

 

 

 

 

 

 

 

 

неймановский темп роста конуса Z v . Заметим, что ccv^> 0. Имеет место

Л е м м а 6.1. Для любого номера v и любого е ^> 0 найдется процесс (х, у) ЕЕ Z такой, что

1)m i n d[i m i n 11) sg: е, 2 v t e ili=i,

N

2) если v •< JV, то х* == у* = 0 для всех i ЕЕ \J I* и iu=v+i

ук ^> 0 для

V

если v = N, то у1 ] > 0

 

scea; i Е U

для

есех i ЕЕ I.

ii=i

 

 

 

 

 

 

 

Д о к а з а т е л ь с т в о .

1) Пусть ((xf t ,

— ней­

мановская

последовательность элементов

конуса

Z v

Соседние файлы в папке книги из ГПНТБ