Файл: Макаров, В. Л. Математическая теория экономической динамики и равновесия.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 17.10.2024
Просмотров: 132
Скачиваний: 1
§ 15] Т Е О Р Е М А О М А Г И С Т Р А Л И |
В С И Л Ь Н Е Й Ш Е Й Ф О Р М Е 259 |
I |
|
лен в виде X = 2 ^ X i (^« > |
0)>т о п о крайней мере одно |
г=1
из чисел А-ц . . ., %} отлично от нуля. Положим
У1
%' =2^гХь X" = 2 ^ХгОчевидно, |
что |
элементы |
||
|
г =Х |
г=У-1-1 |
|
|
%' и х" являются искомыми. |
|
|
||
|
Предложение |
доказано. |
|
|
|
Так как конус Z. рассматриваемый нами, многогранен, |
|||
то |
он является |
конической оболочкой |
конечного числа |
|
образующих. Не умаляя общности, можно |
считать, что |
|||
эти |
образующие |
«конически независимы», т. с. ни одна |
из них не входит в коническую оболочку остальных. Эти образующие будем называть базисными процессами и
обозначать через |
(as , Rs) (s = |
1, 2, . . ., S). |
|||||
Пусть |
%т = (xt)f=0 |
— конечная траектория модели Z. |
|||||
Для |
траектории |
Хт |
существует |
последовательность |
|||
(h,)f=1 |
(где h, е= R+ (t = 1, . . ., Г)) такая, что |
||||||
|
|
S |
|
|
S |
|
|
|
|
x t = 2 |
a s f r i + i . |
S f + i = |
2 Ps^t+i- |
||
|
|
s=0 |
|
|
s=o |
|
|
Вектор / i ( называется |
планом |
траектории Хт в период |
|||||
t, а сама |
последовательность |
|
{h,)J=1 |
— траекторией пла- |
нов для %т- Каждой траектории планов ( й ( ) ( = 1 можно со поставить iS-Г-мерный вектор Н = {hx, h2, . . .,hx). Бу дем говорить, что этот вектор порождает траекторию %т. Заметим, что, вообще говоря, траекторию планов для %т можно указать не единственным способом.
Введем теперь следующее определение. Г-шаговую
траекторию Хт = (£/)t=o модели Z назовем базисной, если найдется траектория (u,)t=i планов для %т такая, что
вектор Н = [hlt . . ., kr): порождающий Хт, содержит не более п (Т + 1) отличных от нуля координат.
Траектория планов естественным образом определя ется и для бесконечной траектории. Каждой такой тра ектории х можно сопоставить последовательность Н = = (/&!, h2, hh ...). Про последовательность Н будем гово рить, что она порождает Х- Траекторию х= (хд назовем базисной, если найдется порождающая ее последователь-
9*
260 |
А С И М П Т О Т И К А |
О П Т И М А Л Ь Н Ы Х |
Т Р А Е К Т О Р И Й |
|
[ Г Л . |
I V |
||||||||
ность Я = (/it, h2: . |
. ., |
ht, |
. . .) |
такая, |
что |
каждый |
ее |
|||||||
«кусок» |
(их, h2, |
. . ., |
ht) |
содержит |
не более п (t |
+ |
1) |
от |
||||||
личных |
от нуля |
координат. |
|
|
|
|
|
|
|
|
|
|||
Следующее предложение |
гарантирует |
существование |
||||||||||||
конечных базисных |
траекторий. |
|
|
|
|
|
|
|
|
|||||
П р е д л о ж е н и е |
15.2. Пусть |
хи |
ЕЕ |
R+, |
у ЕЕ |
аТ |
(х0) |
|||||||
(где а — производственное отображение |
модели Z). |
Тогда |
||||||||||||
найдется базисная Т-шаговая траектория % модели Z, |
||||||||||||||
исходящая |
из точки |
ха и приходящая |
в точку у. |
|
|
|
||||||||
Д о к а з а т е л ь с т в о . |
Так |
как |
у ЕЕ |
аТ |
(хи), |
то |
||||||||
точки х0 |
и у можно соединить Г-шаговой траекторией. Это |
|||||||||||||
означает, что найдется вектор Н — (hx, h2,..., |
hx) |
( Я > |
0) |
|||||||||||
такой, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ahx = |
х0, |
Bhx |
= Ah2, |
. . ., BhT-i |
= |
AhT, |
BhT |
= |
у. |
(15.1) |
В пространстве Rn(T+1'> рассмотрим конус Z, являющийся конической оболочкой векторов
(<xlt - р ь |
0, . . . ,0), . . .,(as, - |
pa, 0, . . . ,0), |
|
|||
(0, ах, - р |
ь |
. . . , 0 ) , . . |
.,(0, a s , |
- p s , 0 |
0). |
(15.2) |
|
|
|
|
|
|
|
(0, 0, . . . |
0, a l f - Р 0 , |
• • „(О, 0, . . ., 0, a s , |
- Ps)- |
|
||
Из формулы (15.1) следует, что п х |
(Т + 1)-мерный |
|||||
вектор х |
= |
(яо, 0, 0, . . .,0, у) |
входит в Z. |
Воспользуемся |
теперь теоремой Каратеодори, которая утверждает, что
каждый элемент выпуклой оболочки связного множества, лежащего в 1-мерном пространстве R1, представим как выпуклая комбинация не более чем I точек исходного мно жества. Конус Z является выпуклой оболочкой множества Y, представляющего собой объединение лучей, проходя щих через каждую из точек, фигурирующих в (15.2).
Множество |
Y связно, |
и поэтому |
элемент % представим |
|||||||
как выпуклая комбинация нз более чем п (Т |
+ 1) точек |
|||||||||
из Y. |
Поэтому |
найдется |
вектор |
Я = |
(hi, |
h2,. . .hr), |
||||
Я > 0 , |
имеющий не |
более |
чем |
п (Т |
+ 1) |
ненулевых |
||||
координат |
и такой, |
что |
|
|
|
|
|
|||
Ahi |
= |
х0, |
Bhx |
— АЪ2 |
= |
0, . . ., Bhr-i |
— AhT = 0, |
§ 15] Т Е О Р Е М А О М А Г И С Т Р А Л И В С И Л Ь Н Е Й Ш Е Й Ф О Р М Е 261
Ясно, что последовательность |
% = |
(Ж,)^о> |
где £0 |
= х0, |
|
= Bht = Ahm |
(t = 2, . . ., |
T — |
1), хт |
= BhT |
явля |
ется базисной траекторией модели Z. |
|
|
|||
Предложение |
доказано. |
|
|
|
|
Нам понадобится еще следующее определение.
Темп роста а модели Z называется невырожденным,
если |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1) неймановская грань Na |
представляет |
собой |
кони |
||||||||||||
ческую оболочку в точности п базисных процессов (аи |
[},), |
||||||||||||||
(а2 , р*2), . . ., |
(ап, |
fj n ); |
|
|
|
|
|
|
|
|
|
|
|
||
2) существует натуральное М |
|
такое, |
что для |
любой |
|||||||||||
Г-шаговой траектории %т = |
(xt)J=0 |
|
(Т> |
М), |
обладающей |
||||||||||
тем свойством, что (xt, |
xi+1) |
ЕЕ |
Na |
(f |
= |
0, 1, . . . , |
Т |
— 1), |
|||||||
каждый из процессов (ж,, xm) |
(t = |
М, |
М |
+ 1, . . ., Т |
—1) |
||||||||||
является относительно внутренней точкой грани |
/Уа. |
||||||||||||||
(Последнее |
означает, |
|
что |
в любом |
разложении |
(xi, |
Xt+i) |
||||||||
|
|
|
|
|
|
|
п |
|
|
|
|
|
|
|
|
по образующим |
(xt, |
|
xi+l) |
— 2 |
n |
s |
, t (as> |
Ps) в |
с е |
|
коэффи- |
||||
циенты hs>t |
положительны.) |
s=X |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|||||||
2. Т е о р е м а о м а г и с т р а л и в с и л ь н е й ш е й ф о р м е . |
|
|
|||||||||||||
Т е о р е м а 15.1. Пусть |
модель Z обладает невырож |
||||||||||||||
денным темпом |
роста |
а. |
Тогда у любой базисной |
траек |
|||||||||||
тории х = |
(Х[), |
имеющей средний |
темп роста а, |
все про |
|||||||||||
цессы (xi, х1+1), |
за исключением, может быть, |
лишь конеч |
|||||||||||||
ного числа, лежат в грани |
Na. |
|
|
|
|
|
|
|
|
||||||
Д о к а з а т е л ь с т в о . |
Пусть |
е — число, |
которое |
||||||||||||
отвечает натуральному |
М + |
1 в силу предложения 15.1. |
|||||||||||||
(Здесь М — число, фигурирующее в определении невы |
|||||||||||||||
рожденности.) |
T |
I K |
как траектория |
% имеет темп роста а, |
|||||||||||
то она стремится к грани Na. |
и потому |
найдется |
номер |
||||||||||||
т такой, что при t > |
т |
|
|
|
|
|
|
|
|
|
|
|
Так как % — базисная траектория, то существует после довательность
Н = (hu h2, . . ., ht, . . .) (А, ЕЕ Rs, t = 1, 2, . . .),
представляющая % и такая, что каждый S X ^-мерный вектор (hi, h2, . . ., h,) содержит не более п (t -f- 1) не-
262 |
А С И М П Т О Т И К А |
О П Т И М А Л Ь Н Ы Х |
Т Р А Е К Т О Р И Й |
[ГЛ . I V |
||||
нулевых координат. Рассмотрим (М |
+ 1)-шаговую |
траек |
||||||
торию %м — (ят. хх+1> |
• • •>хг+м+\) |
и, используя предложе- |
||||||
ние |
15.1, найдем траектории |
%' = |
(x't)?=o |
и х" = |
(x'i)t^o |
|||
такие, что xx+l |
— x't |
+ x"t(t |
= 0, 1, . . ., М |
+ 1), %' 4= 0> |
||||
(x't , |
xi'+i) ЕЕ Na |
(t = |
0, 1.. |
. ., Af). Представлению |
траек |
тории Хм в виде суммы слагаемых %' и %" отвечает пред
ставление вектора (hx, |
. . .,/IT+M), порождающего %м, в |
виде суммы векторов |
. . ., Ь,'х+м) и (hx, . . . , |
порождающих %' и х " |
соответственно. Так как траекто |
рия %' «идет по грани Na» и темп роста невырожден, то (хм. XA/+I) ЕЕ r i Na. Это означает, что вектор /г-г+м имеет *г ненулевых координат и, стало быть, вектор Ат+м имеет п ненулевых координат, отвечающих образующим нейма новской грани. Таким же образом можно убедиться в
том, |
что у вектора hr+T(T |
М) координаты |
к\+м, • • • |
|||||
... , 7г£+м, отвечающие |
неймановским |
образующим, |
по |
|||||
ложительны |
(для этого надо |
рассмотреть |
траекторию |
|||||
(х-с+т-м. • • |
Ят+т))- |
|
|
|
|
|
|
|
Предположим, что существует р процессов ( x T |
l , x T l + i ) , . • • |
|||||||
. . ., |
( x v |
x-cp+i) ( т р > |
T p _ i > |
. . . > |
т, > |
т + |
М), |
не |
лежащих в неймановской грани. Тогда каждый вектор Лт,, • • •, hXp имеет по крайней мере одну положительную координату, отвечающую образующей, не лежащей в гра ни Na. Пусть t>xp. Оценим общее число Q ненулевых координат вектора (/гх, h2, . . ., ht). Так как каждый из в е к т о р о в . . ., hx+M-i имеет по крайней мере одну нену левую координату, то О !>т + М — 1 + п (t — (х + М —
— 1)) + р = nt — [п — 1)(т -f- М — 1) + р. В то же вре
мя, |
используя |
базисность траектории |
х> получим |
|||
Q sg; n(t + |
1) = |
nt + п. Итак, nt + п > |
nt — (п — 1)(т |
+ |
||
+ |
М — 1) |
+ р, откуда вытекает, что р |
п + |
(п — 1) (х |
+ |
|
+ |
М— 1) |
. Из полученного неравенства и следует утверж |
||||
дение теоремы. . |
|
|
|
Используя теорему 13.3 (о магистрали в слабой.форме) и рассуждая так же, как при доказательстве предыдущей
теоремы, легко |
показать, что имеет место |
|
Т е о р е м а |
15.2. Пусть а — невырожденный |
?пемп |
роста модели Z, |
точка Хц 1> 0 и функционал f ] > 0 удов |
|
летворяют следующим условиям: |
|
|
а) из точки х 0 исходит траектория %, имеющая |
сред |
|
ний темп роста |
а, |
|