Файл: Макаров, В. Л. Математическая теория экономической динамики и равновесия.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 17.10.2024
Просмотров: 164
Скачиваний: 1
186 |
О П Т И М А Л Ь Н Ы Е Т Р А Е К Т О Р И И |
[ Г Л . Ill |
Рассмотрим |
модель Неймана — Гейла, |
задаваемую |
конусом Z или соответствующим ему отображением а. Согласно экономической интерпретации модели, изло
женной |
в § 5, |
вектор |
(х,у) ЕЕ Z представляет |
собой |
|
процесс |
переработки |
набора «продуктов» х в набор |
у за |
||
единицу |
времени. |
|
|
|
|
Предположим, |
что |
этот |
процесс переработки продук |
тов во времени происходит равномерно, т. е., например, за половину единичного временного интервала перера батывается только половина набора х в у, а другая поло вина остается неизменной.
Иначе говоря, если единичный временной интервал уменьшить в два раза, то набор х перерабатывается в набор х/2 + у12. В случае, когда в качестве единичного интервала взята Mm часть первоначального интервала,
из набора х делается набор'—— % 4- ^у.
Таким образом, если имеется набор х (£), то возможные «приращения» набора х за время Mm, отнесенные к этому промежутку времени, определяются соотношением
|
/ |
1\ |
т—1 |
1 |
|
|
|
|
1М |
_ |
1/т |
~~У |
Х |
где |
(х |
(t), у) |
ЕЕ Z. |
|
|
у — х, |
|
Переходя к пределу при т |
со, получаем х = |
||||
где |
(х, |
у) ЕЕ Z или, что то же самое, |
х ЕЕ а (х) |
— х. |
||
|
Дадим теперь точное определение модели с непрерыв |
ным временем. Нам будет удобно считать здесь, что в про
странстве |
R71 норма введена следующим |
образом: |х| = |
|||||
= 2 |
Рассмотрим |
промежуток |
[О, |
Т] |
и каждому |
||
t ЕЕ [О, |
Т] поставим |
в соответствие отображение |
at ЕЕ |
||||
ЕЕ А (Д™, 2?") и линейный оператор |
В{: |
R" |
Rn. |
Счи |
|||
таем, что почти при всех t |
|
|
|
|
|
||
|
\at\ |
+ \Bt\kc |
<оо. |
|
|
|
(10.6) |
Модель экономики, функционирующую в непрерывном времени, можно задать с помощью дифференциального включения
и ЕЕ о, (и) — Btu |
(t ЕЕ [0, Л ) . |
(10.7) |
Траекторией включения (10.7) на промежутке It', t"\
ТРАЕКТОРИИ В КОНКРЕТНЫХ МОДЕЛЯХ |
187 |
назовем абсолютно непрерывную функцию и, определен ную на этом промежутке и такую, что *) u(t) > О, й (t) ЕЕ ЕЕ a-i (и (£)) — Bj и (t) почти при всех t. Вместо выражения «траектория на промежутке [О, ТЪ будем употреблять слово «траектория». В дальнейшем считаем, что выпол нено следующее условие:
(*) |
если |
х ЕЕ |
и |
0 ^ |
t' < t" ^ Т, то |
из точки х |
исходит |
траектория |
|
дифференциального |
включения |
||
(10.7) |
на промежутке |
[f, |
t"]. |
|
З а м е ч а и и е. Можно показать (Кастайп [1]), что при неко торых естественных предположениях относительно функции F: t —<• —> щ + В,, для каждой точки t' g= [0, Т] найдется е > 0 такое, что траектория семейства (10.7) на промежутке [t', t' -f- е] существует
При изучении траекторий нам понадобится
Л е м м а 10.1. Пусть |
и — траектория |
включения |
||||
(10.7) на промежутке |
[f, t"]. |
Тогда |
|
|
|
|
|И01<|ИО|И(-''> |
(*<=и',П), |
|
||||
где С — константа, |
фигурирующая |
в |
(10.6). |
|||
Д о к а з а т е л ь с т в о . |
Положим |
у (t) |
— \ и (t) \\ — |
|||
71 |
|
|
|
|
|
|
= 2"*(0- Используя |
(10.6), |
имеем |
|
|
|
|
п |
|
|
|
|
|
|
з/(0 = S * (*) < I* w I < с«» |
(о и = °у (*)• |
Пусть v (£) = Су (£) — у- (£). Тогда функция у является
решением линейного |
дифференциального |
уравнения |
||
|
|
y = |
Cy-v |
(10.8) |
при начальном условии у (f) |
— \и (t')\\. Решая уравнение |
|||
(10.8) , получим, |
что |
|
|
|
|
|
|
г |
|
у (t) = |
««м-) |
(||и (^') I _ J gcit'^v |
(т) dx) . |
|
|
|
|
Ь |
|
*) Из абсолютной непрерывности функции и (t) вытекает, что каждая ее координата и1 (t) имеет почти всюду суммируемую произ водную ц* (t). Под й (t) понимается вектор-функция (й1 (t), й2 (t),...
188 |
|
|
|
О П Т И М А Л Ь Н Ы Е |
Т Р А Е К Т О Р И И |
|
|
|
[ГЛ . |
Ш |
||||||
Поскольку |
v (т) > |
0 |
(т ЕЕ [ f , |
П), |
то г/ ( * ) < |
|| и (Г) || ес«-<'> |
||||||||||
Лемма |
доказана. |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Каждая траектория и включения (10.7) на промежут |
|||||||||||||||
ке W, t"] полностью определяется элементом и |
(t') |
конуса |
||||||||||||||
R+ |
и измеримой функцией и. Из леммы 10.1 и |
формулы |
||||||||||||||
(10.6) вытекает, что для t |
ЕЕ It', |
t"] |
|
|
|
|
|
|
||||||||
|
|
|
1 и (t) |К С || и (t) К |
СI и (Г) 1 еС('"-»'>, |
|
|
(10.9) |
|||||||||
откуда следует, в частности, что г"г принадлежит |
простран |
|||||||||||||||
ству Ln вектор-функций, |
определенных на W, |
t"] |
и сум |
|||||||||||||
мируемых там с квадратом. |
|
|
|
|
|
|
|
|
|
|||||||
|
Через |
Q |
обозначим |
подмножество |
пространства |
|||||||||||
R n |
X Ln, |
состоящее |
из всех |
элементов |
вида |
(и |
(t'), |
гг), |
||||||||
где |
и — траектория |
включения |
(10.7) |
на |
промежутке |
|||||||||||
U', |
t"]. |
(Иными словами, |
пара |
(х, |
z) входит в Q тогда и |
|||||||||||
только |
тогда, |
когда |
функция |
и: |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
и {t) = |
х |
+ J z (т) dx |
(t |
EE [f, |
t"]), |
|
|
|
|
||||
|
|
|
|
|
|
r |
|
|
|
|
|
|
|
|
|
|
является траекторией |
на |
W, |
t"].) |
|
|
|
|
|
|
|
||||||
|
Л е м м а |
10.2. Множество |
£2, |
определенное |
выше, |
|||||||||||
является выпуклым замкнутым |
конусом. |
|
|
|
|
|
||||||||||
|
Д о к а з а т е л ь с т в о . |
То |
обстоятельство, что Q — выпук |
|||||||||||||
лый конус, вытекает непосредственно из определения этого множест |
||||||||||||||||
ва, |
вогнутости и |
положительной |
однородности |
отображений |
at и |
|||||||||||
линейности |
операторов |
В{ (t' |
<J t |
<J |
t"). |
|
|
|
|
|
|
Покажем, что Q замкнуто. В самом деле, пусть ((xj, zj)) — по следовательность элементов этого множества и (xi, z^) —» (х, z). Так как (ZJ) сходится к z в пространстве Z,2 , то по известной теореме Рисса (см., например, Натаисои [1]) из последовательности (zi) можно выбрать подпоследовательность (г$;), стремящуюся к z почти всюду. Пусть точка t 6Е [*', t"] такова, что z{; (t) —» z (i).
Положим
Щ1 (*) = x\l |
+ \ |
Чг |
М dx, |
u(t) |
= x + ^z (х) dx. |
|
|
г |
|
|
|
|
г |
Из определения следует, что щ1 |
(t) |
—> и (t), |
откуда вытекает, в част |
|||
ности, неравенство |
и (t) |
^ |
0. |
Считаем, далее, что точка t обладает |
||
тем свойством, что при всех I |
|
|
|
^ ( » ) б в , к г ( « ) ) - - 5 , ^ ( 0 .
Множество таких точек имеет полную меру.
i iel |
Т Р А Е К Т О Р И И |
В К О Н К Р Е Т Н Ы Х |
М О Д Е Л Я Х |
|
189 |
|||||
Из замкнутости отображений аг теперь следует справедливость |
||||||||||
соотношения |
|
|
|
|
|
|
|
|
|
|
|
|
z (О |
S |
at |
(и (0) — |
Bt |
и |
(г). |
|
(10.10) |
Таким образом, |
функция |
и: |
( |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
и |
(£) = |
а; + ^ г (т) fit, |
|
|
|
|||
|
|
|
|
|
!' |
|
|
|
|
|
почти при всех t |
удовлетворяет включению (10.10). Так как г = й и |
|||||||||
нроме того, и (t) |
^ 0 при всех t, то эта фупкция является траекто |
|||||||||
рией включения (10.7) на промежутке [£', I"]. |
Тем самым замкнутость |
|||||||||
множества |
S2 доказана. |
|
|
|
|
|
|
|
|
|
С л е д с т в и е . |
Выпуклый |
конус |
Q слабо |
замкнут. |
||||||
Пусть |
/ЕЕ |
(#+)*. |
Траекторию |
и |
включения |
(10.7) |
||||
назовем |
оптимальной |
(в |
смысле |
/), |
если / (и |
(Т)) |
> 0 |
|||
и / (и(Т)) |
> / (у (Т)) |
для любой траектории гу этого вклю |
||||||||
чения, исходящей из точки и (0). |
|
|
|
|
|
|||||
Для изучения оптимальных |
траекторий дифференци |
ального включения рассмотрим технологическую модель
Ж = {[0, Т], (Xt)0<t<T, |
(JT,)o«<r, |
(ar.rW<r«T}. |
(10.11) |
Здесь Xt есть подпространство |
пространства Rn, |
натяну |
тое на орты с номерами из множества /,, которое опреде
ляется так: г ЕЕ It |
тогда |
и только |
тогда, |
когда найдется |
||||||||||||
траектория и включения |
(10.7) такая, что и1 |
(t) |
> |
0 (0 ^ |
||||||||||||
< |
t < |
Т), |
Kt |
= |
R+ f]Xt |
(0 < |
t < |
Г) ; |
|
отображение |
||||||
а,»,определено |
следующим образом: |
точка |
х" |
входит |
||||||||||||
в а,", 1> (х') |
тогда |
и только тогда, |
когда |
х" |
ЕЕ |
i f г |
и |
най |
||||||||
дется |
траектория |
и |
включения |
|
(10.7) |
на |
промежутке |
|||||||||
W, |
П |
такая, что и (Г) = |
|
ж', к (t") |
= |
ж". |
|
|
|
|
|
|||||
|
Проверим, что |
объект |
|
(10.11) |
действительно |
являет |
||||||||||
ся |
технологической |
моделью. |
Покажем сначала, |
что |
||||||||||||
аг,г£=А |
(Кг, |
Кг). |
|
|
|
|
|
|
|
|
|
|
|
|||
|
1) Для любого |
ж ЕЕ Kf |
|
множество aj», с |
(ж) непусто; |
|||||||||||
это следует из условия (*). |
Кроме того, ar, г (ж') CZ |
Кг. |
||||||||||||||
|
2) |
Отображение |
|
с |
|
вогнуто |
|
и положительно |
одно |
родно; справедливость этих утверждений следует из су перлинейности отображений а, и линейности операторов Bt.
3) |
ar, г — гейловское отображение; |
действительно, |
если |
и — траектория включения (10.7) |
на промежутке |
[f, t"] |
и и (f) = 0, то, как следует из леммы 10.1, и (t") = 0. |
|
4) |
at",i> — замкнуто. |
|