книги из ГПНТБ / Макаров, В. Л. Математическая теория экономической динамики и равновесия
.pdf200 О П Т И М А Л Ь Н Ы Е Т Р А Е К Т О Р И И 1ГЛ. Ш
а, получим, |
что |
у ЕЕ p,a(-jj-j; кроме |
того, |
X ЕЕ [0, р]. |
|
Таким образом, а0 |
((ж, p.)) c i а0 ((ж, р.)). |
|
|
||
Обратное включение |
очевидно. |
|
а0 совпа |
||
Как отмечалось выше, график отображения |
|||||
дает с конусом Со (Z0), |
где |
|
|
||
Zo = {((г, Ц), |
М) е Arx X Хг | (ж, г/) ЕЕ Z, р = |
1,Х ЕЕ [0, 1] |
|||
(здесь Z — график |
отображения а). График отображения |
||||
а0 — множество Со (Z0 ) |
— представляет |
собой |
выпуклый |
||
замкнутый конус; это означает, что а0 — вогнутое поло
жительно |
однородное |
замкнутое |
отображение. |
Если |
|
х ЕЕ Ку, р ^> 0, то множество о 0 ((х, р)) ограничено; |
при |
||||
влекая |
предложение 4.3, получим |
отсюда, что а0 — гей- |
|||
ловское |
отображение. Наконец, из соотношения а (Ку) f) |
||||
П i n t K2=j= |
ф легко |
следует, что |
а0 (Кх) f] i n t К2 |
=j= ф. |
|
Мы показали, таким образом, что а0 — суперлинейное отображение. Из формулы (11.6) вытекает, что это отоб ражение совпадает с суперлинейным расширением а отображения а.
2) Докажем теперь единственность суперлинейного расширения. Предположим, что отображение а имеет два суперлинейных расширения ах и а2 . Множества Zy и Z 2 — графики отображений ах и d 2 соответственно — выпуклы и замкнуты. Так как эти отображения совпадают на конусе
{(ж, р) ЕЕ Кх\ р ^> 0}, |
то относительные внутренности r i Zx |
||||||||||||
и r i Z 2 |
этих |
множеств |
также совпадают. Последнее озна |
||||||||||
чает, |
что Zx |
— Z2 . |
|
|
|
|
|
|
|
|
|
||
Предложение доказано. |
|
|
|
|
|
|
|
||||||
П р е д л о ж е н и е |
11.2. Пусть |
а ЕЕ В (Ку, |
Кг) |
||||||||||
и & — суперлинейное |
расширение |
отображения |
а. |
Тогда |
|||||||||
для х ЕЕ Ку |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
а ((х, |
0)) CZ а (х) |
X |
{0}. |
|
|
|
|
||
Д о к а з а т е л ь с т в о . |
Пусть |
(у, |
X) ЕЕ & ((ж, |
0)). |
|||||||||
Так |
как |
а (0) |
= |
{0}, |
то |
а ((0, |
1)) |
= |
{0} |
X [0, |
1), |
и |
по |
тому |
(0, |
1) ЕЕ $ ((0, |
1)). Учитывая, что отображение & |
||||||||||
супераддитивно, |
имеем |
|
|
|
|
|
|
|
|
||||
|
(у,Х + |
1) CZ & ((х, |
0)) + |
а ((0, 1)) = |
d ((ж, 1)), |
|
|
||||||
откуда следует, |
что у ЕЕ а (ж), X = |
0. |
|
|
|
|
|||||||
|
О Б О Б Щ Е Н Н А Я Т Е Х Н О Л О Г И Ч Е С К А Я |
М О Д Е Л Ь |
201 |
||||||||||
Предложение |
доказано. |
|
|
|
|
|
|
|
|||||
Следующее предложение показывает, что операции |
|||||||||||||
произведения и перехода к суперлинейному |
расширению |
||||||||||||
перестановочны. |
|
|
11.3. Пусть |
ах |
ЕЕ В (Кг, |
К2), |
|||||||
П р е д л о ж е н и е |
|||||||||||||
а2 ЕЕ В (К2, |
К3). |
Тогда |
а2°а.х = |
&2°аг. |
|
|
|
|
|||||
Д о к а з а т е л ь с т в о . |
Отметим |
сначала, что, как |
|||||||||||
следует из предложений 4.12, 4.6, 3.2, отображение |
а2°ах |
||||||||||||
входит в В (Klt |
К3), |
и потому имеет |
смысл |
|
говорить о |
||||||||
суперлинейном расширении этого отображения. |
|
||||||||||||
1) Покажем, что |
|
|
|
|
|
|
|
|
|
|
|||
|
|
fl8"a1((a:Il)) |
|
= d a ou 1 (( a ; 1 l)) . |
|
|
|
(11.7) |
|||||
а) Пусть (у, X) ЕЕ а2°аг |
(0е . !))• Тогда |
X ЕЕ [0, 1]; кро |
|||||||||||
ме того, у ЕЕ а2°а1 (х), |
и |
потому |
найдется |
z |
из К2 |
та |
|||||||
кое, |
что у ЕЕ а2 |
(z), |
z ЕЕ ах |
{х). |
Имеем |
|
|
|
|
||||
|
(У, Ь) ЕЕ &2 ((z, 1)) с |
й2 (d, (х, 1)) = |
а2ойх |
((х, 1)). |
|
||||||||
Таким образом, |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
а2оах({х, |
1)) с: &2°о\((х, 1)). |
|
|
|
|
||||||
б) Пусть(г/Д)ей2 °а1 |
((х, 1)); тогда найдется (z, V ) E E # 2 , |
||||||||||||
при |
котором |
|
|
|
|
|
|
|
|
|
|
|
|
|
(У, X) ЕЕ йв ((*, v)), |
|
(*, v) ЕЕ йх ((ж, 1)). |
|
|||||||||
Из |
последнего |
соотношения |
вытекает, |
что |
z ЕЕ fl-aCz), |
||||||||
v ЕЕ [0, 1]. Предположим |
сначала, что v |
0. Тогда |
|||||||||||
|
|
J/EEva2 (-f), |
l 6 [ 0 , v ] . |
|
|
|
|||||||
Так как |
а2 (0) = |
{0}, |
то, в силу |
предложения 4 . 1, |
|||||||||
v f l 2 (-^г) ^ a 2 (z )- Таким образом, у ЕЕ a» (z), откуда вы текает, что
{у, X) ЕЕ a2°a.i ((ж, 1))
Рассмотрим теперь случай, когда \ = 0. Используя предложение 11.2, получим у ЕЕ а2 (z), Я = 0.
Таким образом, и в этом случае
(у, Х)ЕЕа2°ах ((ж, 1)),
202 О П Т И М А Л Ь Н Ы Е Т Р А Е К Т О Р И И [ГЛ . I I I
и, следовательно, включение
й2ойх {(х, i))cz а^О! ((ж, 1)),
авместе с ним и равенство (11.7) доказаны.
2)Из (11.7) немедленно вытекает, что
|
« 2 ° « 1 ((я, М-)) = |
&2°&1 |
({X, |l)) |
(Ll > |
0). |
|
3) Мы показали, что суперлинейные отображения |
а2°ах |
|||||
и й2°ах |
совпадают |
на |
внутренности |
конуса |
Кх. |
|
Отсюда следует, что относительные внутренности их гра фиков совпадают и, стало быть, сами эти отображения сов падают.
Предложение доказано.
Опишем теперь отображение, двойственное к суперли
нейному |
расширению. |
|
|
|
|
|
|
|
|
|||
П р е д л о ж е н и е |
|
11.4. Пусть |
а El В (Klt |
К2). |
||||||||
Тогда |
для (/, |
с) ЕЕ |
|
|
|
|
|
|
|
|
|
|
( W , |
*)) = {(*, с') е |
|
|
|
|
|
|
|
|
|
||
£Е(^2 )* | / (я) + с |
> |
sup (g (*/) + с') |
Зля |
любого х ЕЕ /fi}. |
||||||||
|
|
|
|
уеа(а:) |
|
|
|
|
|
|
||
Д о к а з а т е л ь с т в о . |
1) Пусть (g, с') ЕЕ (#)' ((/, с)). |
|||||||||||
Тогда |
если х ЕЕ ЛГц то а ((х, |
1)) = |
а (х) х |
[0, 1], и пото |
||||||||
му |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(/, с) ( ( * , ! ) ) > |
|
sup |
(§-,с')((г/Д)), |
|
|
|||||
|
|
|
|
|
иеа(х), ?.e[o,i] |
|
|
|
|
|||
|
|
|
/(s) + c > |
sup (*(у) + |
С)- |
|
|
(" - в) |
||||
|
|
|
|
|
|
уеа(.-с) |
|
|
|
|
|
|
2) |
Пусть |
для любых |
х ЕЕ # i |
выполнено (11.8). Нам |
||||||||
надо показать, что для любого элемента z = |
((ж, и.), (у, X)) |
|||||||||||
конуса |
Z — графика |
отображения |
а — имеет |
место |
||||||||
неравенство |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
f{x) |
+ |
c\L>g |
(у) |
+ с'К. |
|
|
(11.9) |
||
Так |
как |
этот |
конус |
есть |
замыкание |
множества |
||||||
{((х', |
и/), (г/', А,')) ЕЕ"2\|х' > |
0}, то, не |
умаляя |
общности, |
||||||||
можно |
считать, что ц. ^> 0. В этом случае |
— |
Е~а(—\, |
|||||||||
§ 11] |
О Б О Б Щ Е Н Н А Я Т Е Х Н О Л О Г И Ч Е С К А Я М О Д Е Л Ь |
203 |
—^ 1 , и потому, в силу (11.8),
откуда и следует (11.9). Предложение доказано.
4. Характеристика оптимальных траекторий. Рассмот рим обобщенную модель
3R = |
{Е, ( Х , ) , е Е , |
(К,),еВ, |
( < ъ Д т . , ) |
е Е } |
и наряду с ней объект |
|
|
|
|
Ж = |
{Е, (XT)LGE, |
{Kt)l&B, |
(dt,«)( t i 0 |
d g }. |
Из предложения |
11.3 следует, что SR — технологическая |
|||
модель. Будем называть эту модель суперлинейным рас ширением обобщенной модели Ш. Непосредственно из определения суперлинейного расширения вытекает, что
семейство |
х = |
(xt)ieE |
|
является |
траекторией |
обобщенной |
|||||||||||
модели |
50} тогда |
и |
только тогда, |
когда |
семейство % |
= |
|||||||||||
= |
((xt, |
1))гей является траекторией модели СЮ. |
|
|
|||||||||||||
|
Т е о р е м а |
11.2. Пусть |
х — внутренняя точка ко |
||||||||||||||
нуса К0 |
и % = |
{Xt)t<=E |
— оптимальная |
траектория моде |
|||||||||||||
ли |
59}, исходящая |
из |
точки |
х |
и |
обладающая свойством |
|||||||||||
(А) |
(т. |
е. |
существует /т ЕЕ К*т |
такой, |
что fr |
(Зт) |
< |
||||||||||
< |
sup |
|
/ (у) и |
х |
оптимальна |
в смысле /т). |
|
Тогда |
най- |
||||||||
дутся семейства ф = |
(Jt)t<=E (/< ЕЕ Kt) и v |
= |
(vt) t<=M (S't — |
||||||||||||||
неотрицательное |
число) такие, что |
|
|
|
|
|
|
||||||||||
|
а) для любой траектории |
% = |
{xt)tl=E |
модели 5R |
функ |
||||||||||||
ция Лх , |
определенная на Е формулой |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
M 0 |
= ft(*t) + |
v, |
|
(tEEE), |
|
|
|
|||||
убывает, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
б) |
функция h- |
постоянна, |
|
|
|
|
|
|
|
|
|
|||||
|
в) |
fT |
= fT,vT |
|
= |
Q,ftj=0 |
|
(t<=E). |
|
|
|
|
|
|
|||
|
Д о к а з а т е л ь с т в о . |
Рассмотрим |
суперлинейное |
||||||||||||||
расширение 59} модели 50} и траекторию |
х |
= |
((xti |
1) Ь &Е |
|||||||||||||
модели 59}, исходящую из внутренней точки (х, 1) конуса К0. Эта траектория оптимальна в смысле функционала
204 |
О П Т И М А Л Ь Н Ы Е Т Р А Е К Т О Р И Й |
[гл. iii
(/г, 0). Из теоремы 9.2 теперь следует, что найдется семей"
ство (ifu |
Vi))ieE |
((ft, vt) 65 (%t)*, |
t EE E) такое, что |
||||||
а') для любой траектории % = |
((xt, |
%i))teE |
модели Ш |
||||||
функция |
• |
|
|
|
|
|
|
|
|
|
|
%z{t) |
= ft(x,) |
+ |
vl%l |
(t |
EE E), |
|
|
убывает, |
|
|
|
|
|
|
|
|
|
б') |
функция h: |
|
|
|
|
|
|
||
|
|
n(t)=ft(St) |
|
+ |
v, |
(t EE E), |
|
||
постоянна, |
|
|
|
|
|
(t EE |
E). |
||
в') |
(fT,v T ) = |
(/r,0), |
|
(/„v ( ) ¥ =0 |
|||||
Покажем, что |
|
|
|
|
|
|
|
||
|
|
|
f,=h0 |
|
( t E E E ) . |
(11.10) |
|||
Так как |
семейство %0 |
= |
((xt, l ) ) , E E , |
где xt = |
0 (t EE E), |
||||
является |
траекторией |
модели 9K, то функция hy<1: |
|||||||
|
|
|
h^(t) |
= |
vt |
|
(tEEE) |
|
|
убывает. Поскольку функция h постоянна, то функция h:
|
|
|
|
|
Е(*) = Ы*/) |
|
(t€=E), |
|
|
возрастает. |
|
|
|
|
|
|
|
||
|
Из сказанного следует, что для доказательства |
(11.10) |
|||||||
достаточно |
проверить, что /„ =j= 0. Действительно, |
в этом |
|||||||
случае /0 (ж0) ^> 0 (так как ж0 |
ЕЕ i n t К0) и потому ft |
(xt) > |
|||||||
> |
0 (t |
ЕЕ Е), |
т. е. ft =j= 0. Предположим, что /0 = |
0. Тог |
|||||
да, в силу |
б') |
и |
в'), |
|
|
|
|
||
|
|
|
|
|
v0 = M * r ) - |
|
(11-И) |
||
Так |
как |
|
по |
условию, |
/ г ( * г ) < |
su P |
fr(y), |
||
то найдется траектория % = |
((xt, |
1)) модели |
такая, что |
||||||
ft |
(хт) ! > /т (*т). С другой стороны, в силу |
а'), |
|
||||||
|
|
|
|
|
v0 > /т (жт ) > |
/т (ST ), |
|
|
|
что противоречит (11.11). Таким образом, паше пред положение было неверно и, стало быть, соотношение (11.10) справедливо. Найденные нами семейства ср и v удовлет воряют условиям а), б), в).
Теорема доказана.
§ l i ] |
О Б О Б Щ Е Н Н А Я Т Е Х Н О Л О Г И Ч Е С К А Я М О Д Е Л Ь |
205 |
За м е ч а н и е 1.Из теоремы 11.2 легко вытекает теорема 11.1 (принцип оптимальности).
За м е ч а н и е 2. Если траектория % не обладает свойством
(Л), то можно гарантировать лишь существование семейств {ft)teE |
и |
( v / ) J e E , удовлетворяющих условиям а) и б) и таких, что |[ ft || + |
> |
>0 ( ( б £ ) .
За м е ч а н и е 3. Нетрудно проверить, что траектория %, для которой существуют семейства ф и v, удовлетворяющие условиям а),
б), в), является оптимальной.
З а м е ч а н и е 4. Так же, как и для обычных технологиче ских моделей, доказано несколько более сильное утверждение, не жели сформулированное в теореме, а именно, существование семейств
ф = (/;)(6=Е и |
v = b>t)teE таких, что (Д., v T ) е |
К.,)'(/,, v ( ) ((т, t) еTZ), |
Последнее |
означает, что неравенство |
|
|
/,(*,)+ v,</,(*,) + |
v, |
выполняется для всех х £Е Kt, у е ат t (х), в частности, и для таких элементов х, через которые не проходит ни одна траектория (т. е. х ф а Т о (Л"0 ))-
5. Некоторые обобщения. В дальнейшем (гл. V I ) нам понадобится рассмотреть обобщенные модели, произ водственные отображения которых определены, вообще говоря, не на конусе. Точнее говоря, речь идет об объекте
|
Ж = { { 0 , 1 , 2 , . . .}, (Х,)/=о, (К,)Г=о, № о } , |
(11-12) |
||||
где пространства Xt |
и конусы Kt |
(t = |
0, 1, . . .) таковы же, |
|||
что и в технологической модели, Qt |
— выпуклое |
замкну |
||||
тое множество, лежащее в прямом |
произведении Kt |
X |
||||
X Kt+1 |
и обладающее следующими |
свойствами: (0, 0) ЕЕ |
||||
ЕЕ Qu |
(0, у) ф Qt |
при y=h0, |
Pr s Q 4 П i n t Kt+1 |
=f= ф. Че |
||
рез at |
обозначим |
отображение, |
графиком которого |
слу |
||
жит Q ( . Полагая |
|
|
|
|
|
|
|
От,* = |
a^°ax-i° • • • °at |
(т^> t), |
|
|
|
нетрудно записать модель (11.12) в стандартном виде |
||||||
|
59? = {Е, ( X ( ) / e J J , (Kt)teE |
|
(fl,.«)( T ,0 gg} |
|
|
|
(здесь, однако, надо иметь в виду, что отображения заданы не на всем конусе Kt)-
В модели 58? определим, как обычно, траектории, Т- траектории и /"-куски траекторий, а также оптимальные (эффективные) траектории и /-траектории.
206 |
|
|
|
|
О П Т И М А Л Ь Н Ы Е |
Т Р А Е К Т О Р И И |
|
|
|
[ Г Л . |
Ill |
||||||||||||
|
Используя теорему 11.2, нетрудно дать характеристи |
||||||||||||||||||||||
ку конечных траекторий модели (11.12). С этой целью |
|||||||||||||||||||||||
прежде всего покажем, что отображения at можно рас |
|||||||||||||||||||||||
пространить с сохранением их свойств на весь конус |
Kt. |
||||||||||||||||||||||
|
Пусть |
|
а — точечно-множественное |
отображение, |
гра |
||||||||||||||||||
фик которого Q лежит в прямом произведении выступаю |
|||||||||||||||||||||||
щих |
воспроизводящих |
замкнутых |
конусов |
К' |
и |
К". |
|||||||||||||||||
Так же как и в случае отображений, определенных на ко |
|||||||||||||||||||||||
нусе, отображение |
а назовем вогнутым |
(соответственно, |
|||||||||||||||||||||
замкнутым), если Q выпуклое (замкнутое) множество; бу |
|||||||||||||||||||||||
дем говорить, что а монотонно |
(возрастает), |
если из ус |
|||||||||||||||||||||
ловий |
хг, |
х2 |
ЕЕ |
PrxQ, |
хх |
— х2 |
ЕЕ |
К' |
|
следует, |
что |
||||||||||||
а |
(хг) |
ID |
а [х2). |
|
|
|
|
11.5. Пусть |
множество Q, лежа |
||||||||||||||
|
П р е д л о ж е н и е |
||||||||||||||||||||||
щее |
в прямом |
произведении |
|
К' |
|
х |
К" |
конусов К' |
и |
К", |
|||||||||||||
является |
|
графиком |
вогнутого |
|
замкнутого |
монотонного |
|||||||||||||||||
отображения |
а, причем а (0) |
= |
|
(0) |
и Pr2 Q f ] i n t i f " =j= <£>• |
||||||||||||||||||
Тогда найдется |
отображение |
а ЕЕ В (К', |
К"), |
возраста |
|||||||||||||||||||
ющее и такое, |
|
что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
а {х) |
— а (х) |
|
|
(х |
ЕЕ |
Ргх й). |
|
|
|
|
|
||||||
|
Д о к а з а т е л ь с т в о . |
|
|
Рассмотрим |
множество |
||||||||||||||||||
Q |
= |
Q + |
(К' |
|
X |
{0}). Так |
как |
(0, 0) ЕЕ |
Q, |
то при любом |
|||||||||||||
z |
ЕЕ |
Я ' |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ЕЕ |
|
|
|
|
|
|
|
|
|
|
|
а |
(х) |
= |
{у ЕЕ |
К" |
|
| |
(х, |
у) |
Q} |
|
|
|
|
|||||
непусто. Таким образом, отображение а, графиком кото |
|||||||||||||||||||||||
рого является |
|
Q, определено на всем конусе К'. |
Из вы |
||||||||||||||||||||
пуклости множества |
Q следует, |
что это отображение во |
|||||||||||||||||||||
гнуто. Покажем, что |
а — замкнутое |
отображение, |
иными |
||||||||||||||||||||
словами, проверим замкнутость й. Пусть {(хп, |
уп)) |
ЕЕ |
^ |
и |
|||||||||||||||||||
(з„, |
Уп) -*• (я, |
У)- Тогда хп = |
|
хп |
+ |
х"п, |
где |
(хп, |
у„) |
ЕЕ |
U |
||||||||||||
и |
х£ ЕЕ |
К'- |
|
Из |
|
ограниченности |
последовательности |
||||||||||||||||
((хп, уп)) вытекает |
ограниченность |
последовательностей |
|||||||||||||||||||||
(aVi), (хп) и (уп). |
|
Не умаляя общности, считаем, что после |
|||||||||||||||||||||
довательности |
(sQ |
и |
(х'п) |
сходятся |
к элементам х' |
и ж" |
|||||||||||||||||
соответственно. В силу замкнутости Q справедливо вклю |
|||||||||||||||||||||||
чение \х', |
у) |
ЕЕ |
|
й; кроме того, х" |
ЕЕ |
К', |
|
откуда и следует, |
|||||||||||||||
что (х, у) ЕЕ |
Q- |
Таким образом, отображение а замкнуто. |
|||||||||||||||||||||
Очевидно, |
что |
а (К') |
(~| i n t К" |
=j= ф. |
Покажем |
теперь, |
|||||||||||||||||
что |
для |
х ЕЕ |
Prx Q |
|
справедливо |
равенство а (х) |
— а |
(х). |
|||||||||||||||
11] О Б О Б Щ Е Н Н А Я Т Е Х Н О Л О Г И Ч Е С К А Я М О Д Е Л Ь 207
В самом деле, |
включение а (х) |
а а (х) очевидно. |
Пусть |
||||
теперь |
у ЕЕй(х). |
Тогда |
(х, у) = (х', у') + (х", |
0), где |
|||
у' ЕЕ а (х'). |
Из сказанного следует, что у = |
у', х — ж' ЕЕ |
|||||
ЕЕ К'. |
Так как |
отображение а |
монотонно, |
то у ЕЕ а (х), |
|||
откуда |
и следует нужное |
нам |
равенство. Из сказанного |
||||
вытекает, |
в частности, что а — гейловское |
отображение. |
|||||
Проверим, |
что а монотонно. В самом деле, если а; ЕЕ К', |
||||||
то (х, 0) = (0, |
0) + (х, |
0) ЕЕ Й + (К' X { 0 } ) = Q, т. е. |
|||||
0 ЕЕ а (а:). Монотонность а следует теперь из предложения 4.10. Итак, а ЕЕ В (К', К"), а монотонно и а (х) = а (х) (х ЕЕ PrjQ). Предложение доказано.
Т е о р е м а 11.3. Пусть модель (11.12) такова, что отображения at (t = 0, 1, . . .) монотонны. Пусть, далее, конечная оптимальная траектория X = (xt)f—0 этой мо дели исходит из внутренней точки х конуса К0 и обладает свойством (А), т. е. существует функционал f ЕЕ К"т такой, что X оптимальна в смысле f и
|
|
f(xT)< |
sup f(y). |
|
|
|
|||
|
|
|
у S Рга £JT |
|
|
|
|
||
Тогда |
найдутся |
функционалы /0 , • • •, /т |
и числа |
||||||
v 0 , . . ., VT |
(ft ЕЕ Kt*, |
V i > 0 , |
t=0, 1, . . ., T) такие, |
что |
|||||
а) |
/, (x) |
+ v,>/, + 1 (y) + vl+1((x, |
z/)EEQ„ |
1=0,1,..., |
T-l), |
||||
б) |
/, («i) + vt= ful |
+ v , + 1 |
(t = 0 , 1 , . . ., T), |
|
|
||||
в) |
fT = f,vT = 0,f,=l=0(t |
= |
|
0,l,...,T). |
|
|
|||
Д о к а з а т е л ь с т в о . |
Наряду |
с обобщенной |
мо |
||||||
делью |
(11.12) рассмотрим |
обобщенную модель |
|
|
|||||
|
ё Т = { { 0 , 1 , . . . , т}, (X,)L„, (Kt)L0, |
(«C.«W<X<T}, |
|
||||||
где a T ) i = ах°ах.1° ... о at (х > t), at построено по отоб ражению а4 так же, как в предложении 11.5. Г-траектория X модели 5Ш является оптимальной траекторией модели ЭДт, удовлетворяющей условию (Л). Применяя теперь теорему 11.2 и замечание 4 к ней, убедимся в справедли вости нашей теоремы.
Перейдем к вопросу о характеристике оптимальных (бесконечных) траекторий модели 9J?. Естественный путь для отыскания характеристики оптимальной траектории заключается в том, чтобы найти характеристику ее Г-кус- ков, а затем, воспользовавшись диагональным процессом, перейти к пределу при Т -> оо, Оказывается, однако,что
208 О П Т И М А Л Ь Н Ы Е Т Р А Е К Т О Р И И [ГЛ. Ш
этот предельный переход часто приводит к характеристике
((/t> |
v i) ) такой, |
что ft = |
О, v ( = l при всех |
t. Эта харак |
|||||||
теристика не представляет интереса. Сказанное, в част |
|||||||||||
ности, означает, что оптимальные траектории |
модели S0J, |
||||||||||
вообще |
говоря, |
не |
обязаны |
иметь характеристику |
|||||||
((/(> v t))i г Д е |
ft =h 0, даже если они исходят из внутренней |
||||||||||
точки конуса К0. |
В связи с этим |
охарактеризуем эти |
|||||||||
траектории несколько иным способом, нежели употреб |
|||||||||||
лявшийся |
|
ранее. |
Для этого |
вернемся |
к |
конечным |
|||||
оптимальным траекториям. |
|
|
|
|
|
||||||
|
Пусть |
% = |
(S,)i=0 — ^-шаговая |
траектория модели |
|||||||
3R и существуют семейства (/,)iL0 |
и (v,)/L0 |
такие, что при |
|||||||||
всех t = 0, . . ., Т — 1 |
|
|
|
|
|
|
|||||
|
M * ) + |
v , > / J + 1 |
( 0 ) + v , + 1 |
|
( ( X , I J ) E E Q , ) , |
(11.13 |
|||||
|
ft |
(%i) + |
v, = |
(ж/ + 1 ) + v l + 1 , |
|
|
|
(11.14) |
|||
и, |
кроме |
того, |
VT = 0. Используя |
последнее |
равенство, |
||||||
можно из формулы |
(11.14) найти числа v i 5 а именно, |
||||||||||
|
|
|
|
|
V, = /T(ST)-//(«<)• |
|
(11-15) |
||||
Вычитая из соотношения (11.13) равенство (11.14), |
полу |
||||||||||
чим, |
что при всех t и (х, у) ЕЕ &t |
|
|
|
|
|
|||||
|
|
|
fi(x)-fdX,)>fl+1{y)-ft+1(Xl+l). |
|
|
|
|
(11.16) |
|||
|
Обратно, если семейство (/i)<=0 таково, что при всех t |
||||||||||
выполнено |
(11.16), |
то, |
определив |
числа |
vt |
формулой |
|||||
(11.15), придем к соотношениям (11.13), (11.14). Таким образом, соотношения (11.13), (11.14)] (при vT = 0) и (11.15), (11.16) равносильны.
Введем теперь следующее определение. Будем гово рить, что траектория % = (xt) обобщенной модели (11.12)
допускает характеристику, |
если найдется последователь |
|||
ность ф = (ft) |
(где ft ЕЕ Kt, |
ft =j= 0) такая, что при всех |
||
t = |
0, 1, 2, . . . |
|
|
|
|
ft И - ft (St) > fui (У) - |
f!+i (s,+ 1 ) |
((х, у) ЕЕ Q,) |
|
и, |
кр ше того, ft (%t) >• 0. При этом |
последовательность |
||
Ф называется |
характеристикой траектории х- (Если С31 |
|||
является технологической |
моделью |
(т. е. множества Qt |
||
суть конусы) и Pr2 Qj = Kt+l, |
то это определение совпада- |
|||
§ 11] О Б О Б Щ Е Н Н А Я Т Е Х Н О Л О Г И Ч Е С К А Я М О Д Е Л Ь 209
ет с определением характеристики, данным для техноло гических моделей.)
Нетрудно проверить, что траектория % обобщенной модели, допускающая характеристику, является оптималь ной. В самом деле, для каждого Г-куска этой траектории выполняется соотношение (11.15) и, стало быть, при со ответствующем выборе чисел v 0 , . . ., VT соотношения (11.13), (11.14). Из этих соотношений следует в свою оче
редь оптимальность |
траектории %. |
|
|
Имеет место |
|
|
|
Т е о р е м а 11.4. Пусть |
обобщенная технологическая |
||
модель (11.12) такова, что отображения at |
(t = 0, 1, . . .) |
||
монотонны. Пусть, |
далее, |
оптимальная |
траектория |
% = (Я( ) этой модели исходит из внутренней точки х ко нуса К0 и обладает следующим свойством: найдется на туральное Т такое, что при всех т > Т элемент хх не
является граничной |
сверху |
точкой множества Pr 2 Q T _ 1 . |
Тогда траектория |
% допускает характеристику. |
|
Д о к а з а т е л ь с т в о . |
Из условия теоремы следует, |
|
что т-кусок траектории % обладает при х > Т свойством
(Л). |
Поэтому, |
в силу |
теоремы 11.3, найдутся семейства |
|||
(fJ)t=o |
и |
b>l)J=a, |
для которых |
выполнены |
соотношения |
|
(11.13), |
(11.14) |
или, |
что то |
же самое, |
(11.16). Иными |
|
словами, |
|
|
|
|
||
/Г (*) — /7 («,) > У?+1 (у) — У7«
((z, т/) ЕЕ Q,; * = 0 , 1 , ... ,т - 1 ) .
Не умаляя общности, считаем ||/т|| = 1- Отметим еще, что, как легко следует из (11.13), (11.14), У-кусок %т траек тории х оптимален в смысле fr. Покажем, что при любом
г и любом t (Т ^ |
t <; т) найдется константа ct |
(не зави |
|||
сящая от т) такая, что || f || =sC ct. |
В самом |
деле, при |
|||
t = Т можно положить с( = 1. Предположим, |
что при |
||||
некотором t^T |
константа с( существует, и покажем, что |
||||
можно найти число ct+l, |
обладающее |
нужным свойством. |
|||
Так как х1+1 |
не является |
граничной |
сверху точкой мно |
||
жества Pr2 Q,, |
то найдется элемент и ЕЕ i n t Kt+1 |
такой, что |
|||
£t+i + и ЕЕ Pr 2 Q t . Пусть элемент х ЕЕ Р г ^ обладает тем свойством, что (х, Я1+1 + и) ЕЕ й ( . Тогда
ft (х) - f (£,) > /7+1 + и) - fi+1
