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

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

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

90

 

 

 

Т О Ч Е Ч Н О - М Н О Ж Е С Т В Е Н Н Ы Е О Т О Б Р А Ж Е Н И Я

 

[ Г Л . t

 

 

1)

Отображение

а супераддитивно. В

самом деле, если х±,

хг

ЕЕ

6

 

Z l t

то для всех g g= К а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Р

а

д

(g)

=

Ч|>

(«1

+

Xi,

g)

>

1|>

(xlt

g)

+

l|> (xo, g)

=

 

(g)

+

pxa

(g).

Таким образом,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

PXl+Xi

>

PXl

+

 

PXa,

 

 

 

 

 

 

 

 

 

 

 

откуда,

привлекая

теорему 2.6, имеем

 

 

 

 

 

 

 

 

 

 

 

а (* +

 

 

 

КХ1+Хг

=>

 

 

= »

 

+

1?У

 

3

^

 

+ ^

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

а (ал) +

а (жа).

 

 

Таким же образом можпо показать, что

 

 

 

 

 

 

 

 

 

 

 

2)

Отображение

а

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

однородно.

 

 

 

 

 

 

 

 

 

3)

 

Отображение

а

замкнуто.

Пусть

п

—> я,

уп

е

а

п)

 

=

=

 

Up^,

 

 

уп

У-

Нам

надо

показать,

что

у

 

е

а (х)

=

Up

.

Так

как

уп

 

ЕЕ Up

,

то при всех

в g

К*

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v n

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(ffn)

<

РХп

(g)

=

ip

( « п .

g)

=

?

г

( я " )

 

 

 

 

 

 

(где

 

функционал,

определенный формулой (4.8)). Поскольку

qg

полунепрерывен

сверху, то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g

(у)

l i m g (уп)

<

lim qg

п)

 

<

де

(х)

=

рх

(g).

 

 

 

 

 

 

Итак,

при

всех g

ЕЕ

К*г

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рх

(g)

>

g (у),

 

 

 

 

 

 

 

 

 

 

 

откуда

 

и

следует,

что

у

ЕЕ Up .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4)

Множество

а

(х)

нормально

при

всех

х

 

ЕЕ Кх.

 

Это

следует

из

следствия 1 из предложения 2.9.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5) Отображение а является гейловским. Действительно, по­

скольку

множество а (х)

нормально, то оно ограничено. Остается

применить предложение 4.3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6)

Справедливо

соотношение

(int К2)

(~| a (Ki)

=j= ф.

По

 

усло­

вию, существует

точка х0

ЕЕ Кх

такая, что при всех

g

ЕЕ К%

\

{0}

 

 

 

 

 

 

 

 

 

 

•ф (*oi

г) >

0.

 

 

 

 

 

 

 

 

 

 

 

Используя

теорему

2.4, получим отсюда

 

 

 

 

 

 

 

 

 

 

 

 

 

^ 0 ^ ) =

m a x

g(y)=

 

max

g(i/)>0 ( f £ ^ \ ( 0 } ) .

 

(4.12)

W=U±. vea(a:0)

ЭТО неравенство показывает, что a (z0 ) fl (int /sT2) =|t0. В самом деле, предполагая противное и применяя теорему отделимости,

 

 

С У П Е Р Л И Н Е Й Н Ы Е О Т О Б Р А Ж Е Н И Я

 

91

мы могли бы указать ненулевой

функционал g, ёЕ К*%

такой, что

 

е (у)

=

о

е

 

а (*)),

g (у) >

о е int / д ,

 

 

что противоречит

(4.12).

 

 

 

 

 

 

Итак, а

)

(~| (int А"

)

ф и,

тем более, а (ЛГ ) Q (in

f c

.ЙГ) =/= ф.

 

0

 

 

 

2

 

 

 

Х

2

Мы

показали,

что

а — нормальное

суперлинейное

отображе­

ние. Из

формулы

 

 

 

 

 

 

 

 

 

•Ф (ж.

 

=

Рх (8)

=

max

g (у)

((я, g) е tfi X Я*)

 

непосредственно следует, что функционал я|), определяющий ото­

бражение

а,

восстанавливается

по этому отображению

с помощью

формулы

(4.7).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким

образом,

 

справедливо

 

 

 

 

 

 

 

 

П р е д л о ж е н и е

4.20. Отображение

а —>

 

определяемое

формулой

(4.7),

осуществляет

 

взаимно

однозначное

 

соответствие

между

множеством

всех

нормальных

отображений

 

из

А

г,

К2)

и множеством

всех функционалов,

определенных

на

Кг

X К2

и удов­

летворяющих

 

условиям

(4.8) —

(4.10).

 

 

 

 

 

 

 

З а м е ч а н и е .

 

Наряду

с

отображением

а,

построенным

по

формуле (4.11), функционал т|) порождает и отображение а'.

В самом

деле,

для

g

К2

множество

( а ' ) - 1 (?)

совпадает

с

множеством

Uq

всех

опорных

к

функционалу

qg,

определенному

формулой

(4.8).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8. Примеры.

Приведем

несколько

примеров

двойственных

отображений.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

П р и м е р

1. Пусть

Х1

=

Л " ,

Х2

= Rm,

 

Кх

=

 

К2

=

=Л + ,

 

 

 

ах

(ж) =

{Ах},

а2

(х) =

{у е

Л " 1

I 0 <

у <

Л * } ,

 

где

Л

: Л п

—> Л т

— положительный

линейный

оператор. Для

/ & ( Л " ) *

имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

а[

(/) =

(

J

6 ( Л " ' ) *

| / (х)

> *

(Лаг)

для

всех

г- <= Д'^}

=

 

 

 

 

=

U 6

( # + ) *

I / (*)

>

^ * g

(*)

Для всех х

е Л £ } .

 

Так

 

как <г2 =

/1%,

то

о,

=

я г

ах

=

аг

=

аг .

 

 

 

На

конусе Л "

X

( Л 1 " ) *

рассмотрим

функционал

 

 

 

 

 

т|)(.т, g) =

max

g (!/) =

max g(y).

 

 

 

 

 

 

 

 

 

]/€<>i(x)

 

iyen.(.t)

 

 

 

В нашем случае этот функционал

совпадает

с билинейной

формой

g (Ах),

которая служит для определения сопряженного оператора.

Заметим

еще, что для g €Е (Л^1 )*

 

 

 

 

 

 

 

 

 

 

 

к

г 1 (8)

=

{/ е

( л : )* I / > , i * g ) =

 

. 4

*

g + л

 

92

Т О Ч Е Ч Н О - М Н О Ж Е С Т В Е Н Н Ы Е

О Т О Б Р А Ж Е Н И Я

[ГЛ . I

Таким образом,

множество

(а^)'1 (g)

полностью

определяется

эле­

ментом A* g (это есть конуб с вершиной в A*

 

g).

 

 

 

 

Приведенный пример показывает,

что понятие

отображения,

обратного к двойственному,

естественно рассматривать как обобще­

ние понятия сопряженного

оператора.

 

 

 

 

 

 

 

П р и м е р

2. Рассмотрим неймриэ ское

отображение,

опре­

деляемое конусом Z — [(Аи,

Ви) | и

<= ^1} (здесь

используются

обозначения примера 4 п. 4). Пусть Кх

Prx

Z,

К2

=

Будем

считать, что Кх

— воспроизводящий

конус. Найдем

двойственный

к Z

конус Z':

 

 

 

 

 

 

 

 

 

Z' =

{(/, g) S ЛГ* X (Д?)* \f(Au)^g

(Ви) для всех » 6

<

} =

 

 

=

{(/, В) К[

X (Rn+)*

\A*j>B*

в}.

Конус Z' многогранен и потому, если Кх = Д" , то отображение

%' является неймановским.

Рис. 13.

Рис. 14.

Приведем теперь один простой конкретный пример суперлинейного отображения и опишем двойственное к нему.

П р и м е р 3. Пусть Хх = Х2

= Д 2 ;

Кх = К2

=

R2+.

 

Зафиксируем

положительное число s и для х

£Е В2+

положим

(рис. 13, 14)

 

 

 

 

 

 

 

а{х)=\

f

€Е Д+ I У <

 

если ж1

<

sx2,

{{'/ ЕЕ Д+ I У1 < -'г2; у2 < х-},

если

.г-1 >

 

 

sx2.

Рассмотрим

оператор F: Д+ —> R2+,

определенный формулой Fx =

= (min 1,

sx2),

х2).

Очевидно, что

 

 

 

 

 

а (х) =

{y(=Rl\

I/ < Fx}

(х е

Д|).

 

 

Оператор суперлинеен (см. пример 2 п. 4), а потому и отображе­ ние а суперлинейно. Заметим, что это отображение нормально.

С У П Е Р Л И Н Е Й Н Ы Е О Т О Б Р А Ж Е Н И Я

 

93

Найдем теперь отображение а . Нам будет удобно описать

множество ( а ' ) - 1 (ё)

(г Де

g

S

Д+)- По определению

 

 

(а'Г1 (g) = {/ е

( Д ; ) *

 

 

 

max g

(у) для всех х

е Я 2 } .

 

 

 

 

 

и е а

(я)

 

 

 

 

Имеем

 

 

 

 

 

 

 

 

 

 

 

, s

{

g^

+

g-z*,

 

если

. r i < s . T 2

,

max g (;/) =

\

 

 

"

,

если

^

 

,

уео (ж)

 

i sg1 .!:2 +

£2 ж2

1 > s i 2

 

«2^ +

 

 

 

 

Рис.

15.

 

 

 

 

Рис. 16.

 

 

и потому

/ €Е (а'у1

{g)

тогда ц

только

тогда,

когда

 

 

 

+

/ V - > ^

+ g-x2

 

(x&Rl,

x^sx*),

 

 

fx1

+

/ V

> s?1 *2 + g=x2

(x <E Л 2 ,

x 1

>

sx").

 

Решая

ату

систему

неравенств,

получим

(рис.

15)

 

 

 

( а ' Г 1

(g)

=

{/ G

( Л * ) * I Г" -

 

g2 >

0,

f -

** >

*

(g1 -

Z1 )}

откуда

(рис.

16)

 

(в «=

№+)*)>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(/) = (ге ( д * ) *

IZ2 -

в*> о,

/» -

 

> « ( ^ -

z1)}

 

 

 

 

 

 

(/ е

(Д*)*).

 

 

 

 

 

Г Л А В А I I

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

В настоящей главе вводится в рассмотрение и изучается основная модель экономической динамики, частный случай которой был предложен Дж. фон Нейма­ ном еще в 1937 году (см. Нейман [1]). Мы называем эту модель моделью Неймана — Гейла, поскольку Гейл [2] сделал естественное и, в некотором смысле, максимально возможное обобщение первоначальной конструкции Ней­ мана.

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

§5. ПОСТРОЕНИЕ МОДЕЛИ Н Е Й М А Н А — Г Е Й Л А

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

Будем предполагать на протяжении всего параграфа, что число «продуктов» в экономической системе, а также число «районов», в которых эти продукты могут находить­ ся, конечно. Время, в котором действует система, дискрет­ но, т. е. временная переменная t может принимать лишь значения 0, 1, 2, ...

Слово «.продукт» взято в кавычки, потому что продукты понимаются в математических моделях экономики в обоб­ щенном смысле. В множество «продуктов» входят не толь­ ко продукты в обычном смысле слова, но и виды трудовых и природных ресурсов, виды фондов, услуги, разного рода условные «продукты» (например, «продукт», количество

§ 5]

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

95

которого измеряет эффект от потребления какого-нибудь другого продукта) и т. д.

Втеории моделей экономической динамики изучаются

восновном траектории движения экономики в фазовом пространстве, иногда называемом пространством «про­ дуктов».

Состояние экономической системы в некоторый момент времени описывается количествами всех «продуктов», имеющихся в этот момент времени в системе, с указанием,

в каком районе соответствующие «продукты»

находятся,

т. е. состояние есть вектор с неотрицательными

компонен­

тами, размерность которого равна произведению числа «продуктов» на число районов.

Очевидно, что, вообще говоря, технологически возмож­ ны различные траектории движения экономической систе- / мы, начинающиеся в одном и том же состоянии. Иначе говоря, последующее состояние экономики неоднозначно определяется предыдущим с помощью технологических возможностей. Это означает, что возможности перехода из состояния в состояние в моделях экономической дина­ мики задаются с помощью некоторого точечно-множест­ венного отображения а. А именно, если в некоторый мо­ мент времени состояние экономики есть х, то а (х) пред­ ставляет собой множество состояний, в которые экономика может («способна») перейти в следующий момент времени; иными словами, отображение а определяется всеми «про­ изводственными» возможностями экономической системы. Слово «производственные» взято в кавычки, так как здесь имеются в виду, естественно, не только чисто производ­ ственные, но и потребительские, транспортные возможно­ сти, а также возможности сферы услуг, воспроизводство трудовых ресурсов и т. п. При рассмотрении экономики, функционирующей в непрерывном времени, интерпрета­

ция множества

а (х)

несколько иная, см. по этому пово­

ду § Ю.

 

 

 

 

Если модель задается точечно-множественным отобра­

жением

а, то

мы

будем называть

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

(xt)^LQ допустимой (или технологически

возможной) траек­

торией,

если

(= a (xt) для всех.£. Свойства множества

допустимых траекторий, определяемых отображением а, также являются объектом изучения (см. гл. I l l , I V ) .

96

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

[ Г Л . I I

Как правило, точечно-множественное отображение а, задающее «производственные» возможности экономиче­ ской системы, предполагается суперлииейиым. (Точнее говоря, а ЕЕ А (К, R"), где К с R+.) Это обстоятельство является, в основном, оправданным; иными словами, мож­ но считать, особенно для крупноагрегированных моделей, что суперлинейность приближенно выполняется в реаль­ ных экономических ситуациях. Действительно, суперадди­ тивность означает, что от объединения ресурсов можно только выиграть в смысле богатства «производственных» возможностей. Требование а (0) = {0} выражает закоп сохранения, согласно которому «из ничего нельзя полу­ чить нечто». Полунепрерывность сверху, т. е. замкнутость графика Z отображения а, также представляется вполне естественным требованием, ибо точки (х, у) ЕЕ Z интер­ претируются как возможные «производственные» процессы по переработке наборов «продуктов» х в наборы у. По­ этому замкнутость множества всех имеющихся в эконо­ мике процессов выступает как чисто математическое тре­ бование, не противоречащее экономической сути дела.

Условие а (К) f] i n t R+фф имеет простой экономи­ ческий смысл; оно означает, что в нашей экономической системе каждый «продукт» может быть «произведен».

Единственное требование, которое может вызывать и вызывает серьезные возражения, это положительная одно­ родность первой степени отображения а. Экономически оно формулируется как требование независимости от мас­ штаба.

Требование однородности достаточно хорошо исследо­ вано в чисто экономической литературе. Описаны эконо­ мические условия, при которых оно может не выполнять­ ся, и т. д. С точки зрения математического анализа моде­ лей экономической динамики требования однородности и супераддитивности в некоторых случаях могут быть заме­ нены требованием вогнутости. Дело в том, что вогнутым отображениям а можно сопоставить суперлинейные ото­ бражения а так, что основные свойства отображений а и а совпадают. Подробно см. об этом в § 11 .

Требование вогнутости вытекает из известного в эконо­ мической науке закона о «падении эффективности с увели­ чением объема». Этот закон и различные его следствия

§ 5] П О С Т Р О Е Н И Е М О Д Е Л И Н Е Й М А Н А — Г Е Й Л А 97

хорошо изучены (см. Самуэльсон [1]), определены границы его применимости и т. д.

Дадим теперь определение основного объекта изучения данной главы — модели Неймана — Гейла. Моделью Неймана — Гейла называется выпуклый замкнутый ко­ нус Z, лежащий в прямом произведении В+ х В+ и обла­ дающий теми свойствами, что

(О, y)&Z при у ф О и Pr 2 Z р| (int R+) ф ф.

Иногда мы будем говорить, что модель Неймана — Гейла задается или определяется конусом Z. Полагая Т?т1 Z = К, получим, что модель Неймана — Гейла можно отождест­ вить с суперлинейным отображением а конуса К в П (R+). Конкретные формы задания модели (отображения а) могут быть различными (см. примеры § 4). Отображение а, гра­ фиком которого является конус Z, называется производ­ ственным отображением модели.

Если конус Z, задающий модель, многогранен, то по­

следняя называется

моделью Неймана

(иными словами,

модель Неймана определяется с помощью

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

отображения).

 

 

 

 

 

Модель

Неймана

обычно

задается

парой

матриц

А = || оц || и В =

|| bi} И, где

i = 1, 2, . . ., п,

7 = 1 , 2,...

. . ., т (см. п. 4 § 4), так, что векторы

 

 

 

(«и-»

1 anj, btj, . . ., bni)

(/

=

1, . . .,

т)

являются образующими конуса Z. Эти векторы называ­ ются обычно базисными процессами. Отображение а определяется матрицами А и В следующим образом (ср. с п. 4 § 4):

а (х) = е Bl | х1 = 2 V i ; > У1 =

S

h > °} •

i

i

 

Заметим, что одна и та же модель Неймана может опреде­ ляться разными матрицами А и В (это вызвано тем, что один и тот же многогранный конус может быть представлен как коническая оболочка разных конечных множеств).

Частным случаем модели Неймана является модель Леонтьева *) . Эта модель задается конусом Z, состоящим

*) Мы упоминаем здесь простейшую формулировку модели Леонтьева. В более общем случае модель Леонтьева задается парой

4 В. Л . Макаров, А. М. Рубинов

98

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

tWI. II

из пар вида (Ах,

х), где А — неотрицательная

квадратная

(п X гг)-матрица, обладающая тем свойством, что неравен­

ство Ах ^> 0 влечет х ^> 0. Обозначая через /

единичную

матрицу порядка п, можно сказать, что модель Леонтьева совпадает с моделью Неймана, определяемой парой ма­ триц А и /. Модель Леонтьева описывает экономическую систему, в которой число «продуктов» совпадает с числом базисных процессов, причем каждый из этих процессов выпускает только один «продукт».

Некоторым обобщением модели Леонтьева является так называемая модель Неймана Леонтьева (см. Моришима [2]), которая определяется парой прямоугольных ма­ триц А и Б, причем В имеет вид

 

Вг\

 

 

/ 0 0 .

. . 0 1 0 . . .

0

 

Я =

Bt\

,

п

1 0 0 . . . 0 1 0 . . .

о

2

где Я£

=

 

 

 

 

п

/

 

\о о . . . 0 1 о . . . о

 

 

 

1 = 1 , 2 , . . . , п.

 

 

В[ — матрица

размера

п X кИ

причем кх

к2

-{- . . .

... + кп = пг;

/-й столбец состоит из единиц, а остальные

столбцы — нулевые.

 

 

 

 

Вэтой модели, как и в модели Леонтьева, каждый ба­ зисный процесс производит только один «продукт», одна­ ко, вообще говоря, один и тот-же «продукт» может произ­ водиться разными процессами.

Влитературе рассматриваются и другие частные слу­ чаи модели Неймана — Гейла; мы, однако, не останавли­ ваемся на их описании.

Модель Неймана — Гейла естественным образом обоб­ щается на случай, когда отображения, описывающие «производственные» возможности, изменяются со време­ нем и изменяется также номенклатура продуктов, т. е. размерность пространства, на котором определено отображение и соответственно в которое оно действует. Получающаяся при этом модель называется моделью типа Неймана — Гейла. (В случае когда соответствующие ото-

квадратных матриц А и В,

так что процессы (х, у) определяются

соотношением

 

(/ —

А + В) х = By.

Подробнее об этом см. Морипшма [2].

§ 5]

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

99

бражения являются неймановскими, употребляется также термин «модель типа Неймана».) Эта модель и более об­ щая модель, когда временная переменная t может прини­ мать значения из произвольного числового множества, рас­ сматриваются далее в §§ 8—10.

2. Теорема о канонической форме. Рассмотрим модель Неймана — Гейла Ъ. Как уже отмечалось выше, векторы (х, у) ЕЕ Z интерпретируются как «производственные» процессы, где х есть вектор затрат, у — вектор выпуска, причем затраты относятся к одному временному интерва­ лу, а выпуск к следующему интервалу. Из экономических соображений ясно, что в принципе «производственные» процессы могут быть более общего вида, когда затраты и выпуск производятся, например, в одном и том же времен­ ном интервале или процесс может захватывать не два смеж­ ных, а большее число временных интервалов. Дадим более точное и подробное описание этой ситуации и докажем теорему, утверждающую, что «производственные» про­ цессы произвольного вида могут быть сведены к виду, который принят в модели Неймана — Гейла (или модели типа Неймана — Гейла).

Введем понятие ингредиента. Ингредиентом называет­ ся «продукт» с указанием района и момента времени. Та­ ким образом, если модель экономики рассматривается на конечном временном интервале 0, 1, . . ., Т, то число ин­ гредиентов модели также конечно. Обозначим это число через п. «Производственная» (в широком смысле) деятель­ ность состоит в преобразовании или переработке одних ингредиентов в другие.

В моделях экономики, основанных на задаче линейного программирования, «производственные» возможности за­ даются с помощью конечного набора производственных или технологических способов. Производственный способ представляет собой тг-мерный вектор; таким образом, все имеющиеся способы образуют матрицу А = || а\ \\ порядка п X S, где S — число способов. Экономическая интер­ претация вектора as = (а\, . . ., а") такова: если al^> 0,

то это означает, что ингредиент с номером i выпускается при единичной интенсивности применения данного спосо­ ба s в количестве а\. Если а\ < 0, то ингредиент i затрачи­ вается в количестве \а\\.

4*

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