книги из ГПНТБ / Васильев Ф.П. Лекции по методам решения экстремальных задач
.pdf310 |
МЕТОДЫ Р Е Ш ЕН И Я ЗАДАЧ БЫСТРОДЕЙСТВИЯ |
[Гл. 7 |
||
|
* (т, и0) Ф (тЛ ) Х0 + |
j ф (т, S) [5 (s) «0(s) + |
f (s)] ds, |
|
|
у (x, и — и0) S S J Ф (т, s) В (s) [и (s) — и0 (s)] ds, |
t0 < т < |
t, |
|
|
*0 |
|
|
|
где матрица Ф ( т ,s) определяется из условий |
|
|
||
|
d<D? - s) ■= |
Л (т)Ф (т, s), Ф (s, s) = |
Е, |
|
|
ах |
|
|
|
Е — |
единичная матрица, s, |
%^<t0. Однако матрица Ф(т, |
s) лишь |
|
в редких случаях может быть найдена в явном виде, и поэтому указанными представлениями для х(т, «о) и у {т, и— Ыо) не будем пользоваться — здесь нам важен сам факт существования пред ставления (5).
2.Справедлива оценка
|
|
sup |х(т, |
и)\ < С ,(ы ), |
(6) |
||
|
|
(<,<ъ |
|
|
|
|
|
Ci(u) = [|*0 |+ |
|
I |
|
|
|
|
sup 1В(х) II f|u(T)|dr + |
|
||||
|
|
t |
|
|
|
|
которая |
легко |
получается |
из |
выражения (3) с помощью |
||
леммы |
6.3.1. В |
частности, для у(х, и— и0) |
из представления |
(5) |
||
имеем |
|
|
|
|
|
|
|
sup |
\у(х, и — u0) \ < K t ( \\и(т) — u0(x)\*dxXu , |
(7) |
|||
|
|
|
|
у |
' |
|
где |
K t = su p |В (т) |(t — t0)l/‘ •e x p { sup |
|А (т) |(t — 10)} |
|
|||
|
|
|||||
не зависит от и, и06 Ut.
3.Справедлива оценка
SUp |X (T j, и) — х (та, и) |< |хг — т21‘/. Mt, |
(8) |
и eut |
|
где
Mt = \t — t0|V. sup |A (t) |.sup Ct (u) -f
§ п |
Постановка задачи |
311 |
|
|
|
|
+ sup |В (т) |sup |ы |
<^оо. |
|
ueut llc.^t'o.0 + II/II,L 2(Г) |
[/«.<] |
Для получения этой оценки достаточно |
выразить разность |
|
х (п , а ) —х(т2, и) с помощью (3) и затем воспользоваться нера
венством Коши — Буняковского, оценкой |
(6) |
и ограниченностью |
|||||||
u t В Lir) [t0, q . |
|
|
|
|
|
|
|||
4. |
|
Если uk {x)dU t, k = |
1, 2, . . . , и uk (x) слабо в |
Lir)[t0, /| с |
|||||
дится к |
и — u{x)<cUt, то |
|
|
|
|
|
|||
|
|
|
sup |
\x{x,uk) — х (т, и) |-у 0 |
(& ->оо). |
(9) |
|||
В самом деле, из оценок (6), |
|
(8) следует равномерная ограничен |
|||||||
ность |
и |
равностепенная |
непрерывность |
|
семейства |
функций |
|||
{л:(тг, Uh)} |
на |
k = \ , |
2, ... По теореме Арцела [137] тогда |
||||||
существует последовательность |
{х (т, ukn)}, |
сходящаяся |
равномер |
||||||
но на [/о, |
/] |
к непрерывной |
функции х (т ). |
Переходя |
к пределу |
||||
при п->-°о в тождестве |
|
|
|
|
|
||||
х ( х ,Ukn) = |
f [A (s)x(s, Ukn) + B ( s ) u kn(s) + f(s ) ]d s + x0, г?0 < т < ^ , |
||||||||
|
|
|
t. |
|
|
|
|
|
|
придем к тождеству |
(3), т. е. х ( х ) —х(х, и) |
— |
решение задачи (1) |
||||||
при и = и (х). |
В силу |
единственности решения |
задачи (1) получа |
||||||
ем, что вся |
последовательность {х(т, uh)} сходится к х(х, и) рав |
||||
номерно на |
[/о, |
• |
перечисленные свойства множеств |
управ |
|
2. |
|
Оказывается, |
|||
ний и траекторий задачи |
(1) — (4) в том или ином виде присущи |
||||
многим |
другим |
важнейшим классам задач быстродействия, |
свя |
||
занным с линейными уравнениями с частными производными, интегро-дифференциальными уравнениями и др. Такие задачи мо-. гут быть истолкованы как задачи быстродействия в подходящим образом выбранных функциональных пространствах и допускают изучение с общей точки зрения, отвлекаясь от природы управляе мого объекта. Здесь мы предложим одну модель задачи быстро действия, охватывающую ряд важных прикладных задач быстро действия; более общие модели с учетом фазовых ограничений рас смотрены в работах [50, 53, 121, 122].
Пусть t — время, to — некоторое заданное начало отсчета
времени t ^ t 0. Пусть при-каждом t, t0< i < + оо, |
задано множество |
||
lit функций и = и(х), определенных при |
и |
являющихся |
|
элементами некоторого банахова |
пространства |
В и |
причем сами |
значения и(х) при каждом т е [^ 0, |
^] принадлежат некоторому ли |
||
нейному пространству. Множества Ut будем называть множества-,
ми управлений, элемент и=и(х) из Ut — управлением. Будем
312 |
МЕТОДЫ РЕШ ЕНИ Я ЗАДАЧ БЫСТРОДЕЙСТВИЯ |
[Гл. 7 |
предполагать, что множества |
Ut удовлетворяют следующим усло |
|||||||||||||||
виям I— III. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I. |
Множество Ut выпукло и слабо |
компактно |
в |
B t при |
каж |
|||||||||||
дом t, |
t0< t < |
+ oo. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
II. |
Если |
u = u (x ) ^ U t, то |
управление |
и(т), |
рассмотренное на |
|||||||||||
отрезке |
|
при любом s, |
|
|
является элементом из Us, |
|||||||||||
т. е. «сужение» |
управления и{т) из Ut |
на |
отрезок |
[г?0, |
s ] s [ ^ 0, t] |
|||||||||||
является управлением из Us. |
|
|
|
|
|
|
|
t, |
t0< t < |
+ oo, |
||||||
III. Существует число Д >0, такое, |
что при всех |
|||||||||||||||
любое управление |
u (x )^ U t |
можно |
доопределить |
на |
отрезке |
|||||||||||
[i, £+Д] так, |
чтобы |
продолженное |
управление |
было |
элемен |
|||||||||||
том Ut+A. |
|
множество Ut из |
|
|
|
|
|
|
|
|
|
|
||||
Очевидно, |
(2) |
удовлетворяет всем условиям |
||||||||||||||
I— III, |
а именно, здесь Bt = |
bir)[t0,t], |
всякое управление и(т ) е |
|||||||||||||
может быть продолжено при всех т>^, например, так: и(т) = |
||||||||||||||||
= {cti(x), ..., Ог(т)}, |
и в качестве Д |
можно взять |
любое положи |
|||||||||||||
тельное число. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Другим примером множества Ut со свойствами I— III является |
||||||||||||||||
шар в Zir) Ro. Л |
при любом конечном t > t 0: |
|
|
|
|
|
|
|||||||||
|
и 1= |
{и = и ( т ) е й г) [f0, /]:! и (х) |
|
(т) |
|
|
< R } , |
|
(Ю) |
|||||||
где и0(т) — заданная |
функция |
из |
Lir) [t0, tf], |
R > 0 |
— заданная |
|||||||||||
константа; всякое u(x)^ U t здесь |
может |
быть |
продолжено |
при |
||||||||||||
'x>t, например, |
так: и (х )= и о(х ). |
B t |
|
|
|
|
Ut |
|
|
|
||||||
Возможно, |
что |
пространства |
и |
множества |
не |
зависят |
||||||||||
от t. Такая ситуация возникает, когда управлением служат какиелибо параметры, которые в начале движения должны быть как-то
выбраны |
из некоторого множества |
£/;==!/ |
и в процессе движения |
|||||||||
остаются неизменными. Условия II, III здесь, очевидно, выполня |
||||||||||||
ются всегда. |
|
|
B t |
|
|
|
Ut |
|
|
|
|
|
Итак, пусть пространства |
и множества |
со свойствами |
||||||||||
I— III заданы |
при каждом t>.t0. Далее, |
пусть при каждом |
t, |
t0< |
||||||||
< t < + oo, задано линейное пространство L t функций х (т ), |
опреде |
|||||||||||
ленных |
при |
|
причем |
для |
каждого |
фиксированного |
||||||
т е [^ 0, t\ значение э!и х |
функций |
является |
элементом |
некоторого |
||||||||
гильбертова пространства X (пространство |
X не зависит от t, |
т). |
||||||||||
Пространство |
L t будем |
называть |
пространством |
траекторий, а |
||||||||
функции х(х) |
из L t — траекториями. |
|
из X, |
|
|
|
|
|||||
Пусть х0 — некоторая заданная точка |
и |
пусть |
при |
|||||||||
каждом |
t > t 0 любому управлению |
u el/ j и точке |
Хо |
поставлена |
||||||||
в соответствие некоторая траектория х ( х )= х ( х , |
u)^ .Lt, удовлетво |
|||||||||||
ряющая |
начальному условию |
x(tQ, и ) = х 0. |
Будем |
предполагать, |
||||||||
что выполнены следующие условия IV—V II. |
|
|
|
|
|
|
||||||
§ П |
|
Постановка |
задачи |
|
|
|
|
|
313 |
||||
|
|
|
|
|
|
|
|||||||
IV. Если и = и ( х ) ^ и и v = v (x )^ U s, причем |
u(x)z=v(x) |
при |
|||||||||||
/0< т < 'я = т т { ^ ■?}, |
то х(х, |
и )= х ( х , |
v) |
при /о^тг^а |
для любых |
||||||||
t, s > t 0- |
любого <t, t0< t < |
+ oo, |
|
существует управление и0 - |
|||||||||
V. Для |
|
||||||||||||
= u0(x )^ U u |
такое, |
что при |
всех u = u (x )^ U t. справедливо |
пред |
|||||||||
ставление |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
х(х, и) = х{х, |
и0) + |
К{х) |
(« — и0), t0 < т < г 1, |
|
|
(11) |
||||||
где x(t0, и0) = х 0, К(х) — |
однопараметрическое |
семейство линей |
|||||||||||
ных операторов, действующих из Ux в Lx, t0<^x<Ct, причем |
|
||||||||||||
|
IIК (0 (и — w0)||x< K tIIи — и0\В( |
|
|
|
|
||||||||
для любого u^Ut, Kt> 0 — |
постоянная, |
не |
зависящая от u ^ U t |
||||||||||
(ср. с (5), (7)). Сразу же заметим, |
что нам будет важен сам факт |
||||||||||||
существования представления |
(11); |
при |
описании и исследовании |
||||||||||
алгоритмов оператор К(х) |
не будет использован. |
|
|
|
|
||||||||
VI. Если uh^ U t, k=.\, 2, |
..., и |
{uh} сходится к ue£/f слабо в |
|||||||||||
B t, то х(х, %)->-х(т, |
и) слабо |
в X |
при всех т<=|7о, |
и всех |
t > t 0 |
||||||||
(ср. с (9)). |
|
х(х, |
u ) ^ L t непрерывны |
по т е [То, <] |
равно |
||||||||
VII. Траектории |
|||||||||||||
мерно по u eU t, т. е. |
|
|
|
|
|
|
|
|
|
|
|
|
|
sup |х (т + |
А х, и) —гх (х, и) |= |
( |Ах |, т ) ->• 0 |
при |
|
|
||||||||
u£Ut |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Д т-»-0 ; т, т 4 - А т 6 [^о. *] |
|
|
|
|
|
||||||
(ср. с (8)). |
|
|
|
|
|
|
|
|
|
|
|
|
|
Как видим, траектории системы (1) на |
множестве |
(2) |
или |
||||||||||
(10) удовлетворяют |
всем |
условиям |
IV—V II |
(и даже несколько |
|||||||||
более сильным условиям), если принять за L t линейное простран ство абсолютно-непрерывных функций на [То, *], Х = Е п. Это сле дует из соотношений (5), (7) — (9). Примеры других управляемых объектов со свойствами I—V II см. ниже в § 4.
Итак, пусть имеется управляемый объект (процесс) {х(т, и), u<=Ut, t > t 0} со свойствами I—V II. Пусть в пространстве X задана точка у. Задача быстродействия заключается в том,1чтобы найти
такие Т* и u* = u *(x )^ U T*, что х(Т*, и *)= у , причем для любых |
||
других Т и ие£/т, для которых х(Т, и ) = у |
справедливо неравенст |
|
во Т ^ Т * . Такие Т* и и*(т) £ U\t* |
будем |
называть оптимальным |
решением задачи быстродействия, |
Т* — оптимальным временем, |
|
и*{х) — оптимальным управлением, х(х, и*) — оптимальной тра
екторией. Прежде чем |
переходить |
к исследованию |
поставленной |
задачи быстродействия, |
сделаем |
|
|
З а м е ч-а н и е. В сформулированной задаче |
быстродействия |
||
начальное условие x(t0, |
и) = х 0 мы |
считализаданным. Однако |
|
11 Ф. П. Васильев
314 МЕТОДЫ Р ЕШ ЕНИ Я ЗАДАЧ БЫСТРОДЕЙСТВИЯ \Гл. Т
встречаются задачи быстродействия, в которых начальное усло вие Хо заранее неизвестно и подлежит выбору из некоторого за
данного множества |
С Х . В таких задачах в качестве управле |
|||||
ния следует |
взять_ пару |
(«(т ), |
х0) = и ( т), |
вместо, |
||
множества Ut взять(/, = Utx X t 0, |
вместо |
B t — пространство B t— |
||||
= B tx X . Если |
множество |
X to выпукло, |
замкнуто |
и ограничено |
||
в X, a Ut удовлетворяет условиям |
I— III, |
то Ut также -будет удов |
||||
летворять условиям |
I— III |
в 5(. В этом случае в условиях IV—V II |
||||
всюду вместо Uu естественно, надо писать Ut. Результаты §§ 2, 3 останутся в силе и для такой задачи.
Упражнение. Пусть управляемый объект описывается условия
ми (1), где u — w = ( w i, ..., |
wr) является параметром, выбираемым |
|
из некоторого множества |
WczET в |
начале движения и в дальней |
шем не меняющийся. Показать, что если W — выпуклое замкнутое- |
||
ограниченное множество из Ег, то |
все условия I—V II для такого |
|
управляемого объекта выполнены. |
|
|
У к а з а н и е . Принять Ut= W , |
B t= E r, при всех t > t 0, Х = Е п — |
|
линейное пространство непрерывных кусочно-гладких на отрезке [г'о, /] траекторий.
§2. ВСПОМОГАТЕЛЬНЫЙ АППАРАТ. КРИТЕРИИ УПРАВЛЯЕМОСТИ
ИОПТИМАЛЬНОСТИ
Для исследования поставленной задачи быстродействия полез но рассмотреть множество Xt правых концов x(t, и), всевозмож
ных траекторий х(х, |
и), t o ^ x ^ t , |
когда и = и (х) |
пробегает |
все |
|||||||||
множество |
Ut, т. |
е. |
Xt= x { t , Ut), |
t > t 0. При t — t0 естественно при |
|||||||||
нять |
X fo = |
{x0} |
— |
это множество в данном случае |
состоит |
из |
|||||||
одной начальной точки Хо. |
|
|
|
|
|
|
|
|
|||||
Л е м м а |
1. |
Если выполнены условия I, V, VI, то множества |
|||||||||||
Xt выпукло, замкнуто, ограничено в |
X и, |
следовательно, |
слабо |
||||||||||
компактно в X. |
|
|
|
|
|
|
|
|
|
|
|||
Д о к а з а т е л ь с т в о . |
Нетрудно видеть, |
что из представления. |
|||||||||||
(1.11) |
вытекает |
тождество |
х{х, |
а м + (1 — а)г/)г=ах(т, |
и) + |
||||||||
+ (1— ct)x(x, |
v), |
t ^ x s ^ t , |
справедливое при всех и, v ^ U t, |
t > t 0, и. |
|||||||||
любых вещественных а. Отсюда |
и из выпуклости |
Ut |
следует вы |
||||||||||
пуклость Xt. Ограниченность множества Xt является |
следствием- |
||||||||||||
ограниченности Ut и свойства V: |
|
|
|
|
|
|
|
||||||
И * , и)1* "<11л:(^> «о) Их -j- Kt\\u — и0\\в{ <||х (t, «0)||х + KtD, |
|
||||||||||||
где |
' |
|
D = |
sup ||и— о||в, — диаметр множества Ut. |
|
|
|
||||||
|
|
|
|
|
|||||||||
|
|
|
|
u , v £ Ut |
1 |
|
|
|
|
|
|
|
|
Докажем замкнутость Xt. Пусть и x/t сходится к х по нор ме X. Покажем, что x ^ X t. По определению JC/t существуют Uh^Ut>
§ 2] |
Критерии управляемости и оптимальности |
315 |
|
|
такие,.что Xh=x(t, «л), &=1, 2, ... Так как U{ слабо компактно, то существует подпоследовательность {ыь„}, слабо сходящаяся к не
которому u e.U t. Однако по условию VI xhn = x(t, uhn)-+x{t, |
u )^ X t |
|
слабо в X. Следовательно, |
x(t, u ) = x ^ X t, что и требовалось. Сла |
|
бая компактность Xt следует из теоремы 6.1.2. ± |
|
|
При изучении задачи |
быстродействия большую роль |
играет |
функционал |
|
|
М(с, t) = min (с, x — y)x = min (с, х (t, и) — у)х = |
|
|
хе х( |
иgut |
|
= min (с, х)х — (с, у)х, |
(1) |
|
х |
|
|
где с — некоторый элемент из X. Сразу же заметим, что опреде ление М (с, t) корректно, так как функционал (с, х— у) слабо непрерывен в X по к и в силу теоремы 6.1.1 на слабо компактном множестве Xt достигает своей нижней грани на некотором элемен те х = xC't € Х (, соответствующем управлению
и = uc,t 6 Ut : xCti = х (t, uCtt), t > t 0.
При t = t 0 естественно принять M(c, t0) = (с, x0— у).
С помощью функционала М (с, t) нетрудно сформулировать один изящный критерий управляемости и оптимальности.
О п р е д е л е н и е |
1. Описанный |
выше управляемый |
объект |
||||||||
{х(т, и), и ^ и и |
t>ti>} |
будем |
называть (у, Т) -управляемым, если |
||||||||
существует управление |
« = и (т )е 1 / г , |
такое, |
что |
соответствующая |
|||||||
траектория х(т, |
и), |
t o ^ r ^ T , |
удовлетворяет |
условию |
х(Т, и )= у , |
||||||
иЛи, иначе говоря, |
у ^ Х т. |
|
|
|
|
|
|
|
|||
Т е о р е м а |
1. |
Пусть выполнены условия |
I, |
V, VI.. Тогда для |
|||||||
(у, Г)-управляемости объекта |
{х(т, и), u ^ U u t>U>} |
необходимо |
|||||||||
и достаточно, чтобы М(с, Т)^.О при всех |
с^ Х , |
или в эквивалент |
|||||||||
ной форме min (с, х) •< (с, у) |
для любого |
c e l . |
Для |
того |
чтобы |
||||||
хехт |
|
|
|
|
|
|
|
|
|
|
|
Т* было оптимальным временем, необходимо и достаточно, чтобы
М(с, |
Г * ) ^ 0 при любом |
с е Х и для любого |
t, |
|
сущест |
|||||
вовал |
элемент с(е Х , |
такой, что M (ct, |
t)> 0 . |
Иначе говоря, |
Т* |
— |
||||
минимальное время |
среди всех T > t0, |
для |
которых |
объект |
(у, |
Т)- |
||||
управляем. |
|
|
|
|
|
Т* |
|
|
|
|
Д о к а з а т е л ь с т в о . |
Условия оптимальности |
являются |
||||||||
прямым следствием условия (у, Г)-управляемости, |
поэтому доста |
|||||||||
точно доказать первое утверждение теоремы. |
|
|
|
|
|
|||||
Н е о б х о д и м о с т ь . |
Пусть объект |
(у, |
Г)-управляем. |
Тогда |
||||||
|
У 6 Хт и М(с, Т) = min (с, х — у ) < ( с , у — у) = |
О |
|
" |
||||||
|
|
|
х £ Х т |
|
|
|
|
|
|
|
при любом с е Х . И*
316 |
МЕТОДЫ Р ЕШ ЕНИ Я ЗАДАЧ БЫСТРОДЕЙСТВИЯ |
|
\Гл. 7 |
||||||||
Д о с т а т о ч н о с т ь . |
Пусть при некотором Т имеем М(с, |
Т) ^ О |
|||||||||
при любом |
с е Х |
Покажем, |
что у ^ Х т. Предположим |
противное, |
|||||||
т. е. у<£Хт. Так |
как Хт замкнуто и выпукло в X, то |
множество |
|||||||||
Хт и точка |
у строго разделимы, и согласно теореме 6.1.6 сущест |
||||||||||
вует такой |
элемент с^ Х , |
с ф 0, что min (с, х)^>(с, у). |
Последнее |
||||||||
, |
|
|
|
|
|
_ |
xSX’p |
|
|
|
|
неравенство |
означает, что М(с, Т )> 0, |
а это |
противоречит |
усло |
|||||||
вию. А |
|
|
|
|
|
|
|
|
|
|
|
Выясним некоторые свойства функционала М(с, 7). |
|
|
|||||||||
Л е м м а |
|
2. |
Пусть |
выполнены |
условия |
I, |
V, |
VI. |
Тогда |
||
М (ас, |
t )= a M ( c , |
t) |
при любых а ^ О , t^ to, |
с^.Х. |
(2) |
||||||
При каждом |
фиксированном |
t ^ t Q функционал |
М(с, t) |
слабо |
|||||||
полунепрерывен |
сверху по |
переменной с е Х |
и достигает |
своей |
|||||||
верхней грани на единичном шаре G = {с: ||с||^1} |
хотя бы в одной |
||||||||||
точке Ct^G. |
|
|
|
|
|
|
|
|
|
|
|
Д о к а з а т е л ь с т в о . |
Соотношение (2) |
следует |
непосредст |
||||||||
венно из определения |
(1) |
М(с, t). |
Пусть |
последовательность |
|||||||
{с*}-> с слабо |
в X. Пусть М(с, t) = (с, |
xCl t— у), где хс, t^ X t. Тогда |
|||||||||
М (ск, t ) = |
min (ck, x — y)<£(ck, xc<t — y), |
k = |
1, 2, . . . . |
|
|||||||
|
|
|
xext |
|
|
|
|
|
|
|
|
(c,t). Таким образом,
M(c, t) слабо полунепрерывен сверху по с. Тогда функционал [— М(с, г1)] слабо полунепрерывен снизу. Поскольку шар G слабо' компактен в X, то в силу теоремы 6.1.1 функционал [— М(с, ^)] достигает своей нижней грани G хотя бы в одной точке C (£ (i. Тогда
М (ct, t) = sup М{с, t). Jb.
c£G
Положим |
p(^) = |
maxM(c, t). |
Так |
как |
06(3, |
M (0, |
t) = |
0, то |
|||||
|
|
cSG |
|
|
|
|
|
|
|
|
|
|
|
р ( £ ) > 0 при всех £ > / 0. |
|
|
|
|
|
|
|
|
|
|
|
||
С помощью функции р(^) критериям (у, Т) -управляемости и |
|||||||||||||
оптимальности можно придать простой вид. |
|
|
|
|
|
|
|||||||
Т е о р е м а |
2. Пусть |
выполнены условия |
I, V, |
VI. |
Тогда |
для |
|||||||
(у, Г)-управляемости |
объекта {х(т, |
и), |
u ^ U t, |
t > t 0} |
необходимо |
||||||||
и достаточно, |
чтобы |
р (Г )= 0 . |
Для |
оптимальности |
Т* |
необходима |
|||||||
и достаточно, |
чтобы |
р ( Г * ) = 0 |
и р(^)>0 |
при |
всех |
t, |
|
t o ^ t < T * r |
|||||
т. е. иначе говоря, оптимальное |
время |
есть |
наименьший |
при |
|||||||||
t ^ t 0 корень уравнения р(£) = 0 . |
|
|
|
|
|
|
|
|
|
|
|||
Д о к а з а т е л ь с т в о . |
Условие |
оптимальности |
Г* |
является |
|||||||||
прямым следствием условия (у, Г)-управляемости, |
поэтому доста |
||||||||||||
точно доказать первое утверждение теоремы. |
|
|
|
|
|
|
|||||||
S 2] |
|
|
|
|
Критерии |
управляемости |
и |
оптимальности |
|
|
|
|
317 |
|||||||
|
|
|
|
|
|
|
|
|
||||||||||||
|
Н е о б х о д и м о с т ь . |
Если объект (у, Г)-управляем, |
то соглас |
|||||||||||||||||
но теореме |
1 М(с, Г) ^ |
0 |
при |
любых |
с ^ Х |
и, |
следовательно, |
|||||||||||||
р (7 ) = |
шах М{с, Т) < 0 . |
Однако, |
как |
было |
замечено |
выше, |
||||||||||||||
p ( t ) ^ 0 |
с £ в |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
при всех t ^ t о. Поэтому р(Г) = 0 . |
М(с, |
Т) ^ р ( Г ) |
|
|
||||||||||||||||
|
Д о с т а т о ч н о с т ь . |
Если |
р (Т )= 0 , |
то |
= 0 |
при |
||||||||||||||
всех |
c^ G . |
В |
силу соотношения (2) |
тогда |
М(с, |
Т) ^ . 0 |
|
при |
всех |
|||||||||||
с е Х |
По теореме |
1 этого достаточно для (у, Г)-управляемости. А |
||||||||||||||||||
|
Таким |
образом, |
для |
решения |
задачи |
быстродействия |
надо |
|||||||||||||
уметь находить наименьший нуль функции р (0 |
при t ^ t 0. С этой |
|||||||||||||||||||
целью |
полезно |
выяснить |
некоторые |
свойства |
|
функции |
||||||||||||||
р (t) = max min (с, |
х — у), |
дать |
по |
возможности |
простые |
способы |
||||||||||||||
|
c6G x t X f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
вычисления ее значений. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
Т е о р е м а |
3. |
Пусть выполнены условия I, |
V, |
VI. |
Тогда |
зна |
|||||||||||||
чение функции р(^) |
при любом t ^ t 0 выражает |
собой |
расстояние |
|||||||||||||||||
от точки у до множества Xt и представимо в виде |
|
|
|
|
|
|||||||||||||||
|
|
р (t) = |
inf \х — у\ = |
1 х{ — у\ = |
(cit xt — y) = M (ct, t), |
|
(3) |
|||||||||||||
|
|
|
|
х £ X t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где xt = Р х |
(у) — проекция точки у |
на множество |
X t, |
|
|
|
|
|||||||||||||
|
|
ct = |
х*~ |
у |
■ |
при |
г/£ |
X , и с, = 0 при г/£ Xt. |
|
|
||||||||||
|
|
|
|
|
II Xt — |
//II |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Если y £ X t, |
то М(с, |
t) |
достигает своего максимума на |
|
G |
в един |
||||||||||||||
ственной точке Ct. |
|
|
|
|
|
|
|
|
проекции Xt |
|
|
|
у на |
|||||||
|
Д о к а з а т е л ь с т в о . |
Существование |
точки |
|||||||||||||||||
множество |
Xt следует |
из |
теоремы |
2.3.1. |
Покажем, |
|
что |
пара |
||||||||||||
(с;, |
xt) ^ G x X t |
образует |
седловую |
точку |
функционала |
(с, х— у) |
||||||||||||||
переменных (с, |
x ) ^ G x X t в следующем смысле: |
|
|
|
|
|
|
|||||||||||||
(с, xt— y ) ^ { c t, |
xt— y ) ^ { c t, х— у) |
при л ю б ы х х е Х , |
c^ G . |
(4) |
||||||||||||||||
Если y ^ X t, то Xt= у, |
с4 = 0, и неравенства |
(4), очевидно, |
выполне |
|||||||||||||||||
ны. Поэтому пусть y £ X t. Тогда ct= |
(xt— у) \\xt— г/||-1, и справедли |
|||||||||||||||||||
вость левого |
неравенства |
(4) следует из неравенства Коши — Бу- |
||||||||||||||||||
няковского: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
(с, xt — г/) <||с||-||х<— г/1|<||х,— у\\= (ct, xt — y) |
|
|
|
|||||||||||||||
при всех c e G . Правое неравенство |
(4) |
равносильно |
(с*, х— Х /)^ 0, |
|||||||||||||||||
или |
(xt— у, |
х—X;) ^ |
0, х ^ Х и |
и |
является' прямым |
следствием |
||||||||||||||
свойств |
проекции из теоремы |
2.3.1. |
Соотношения |
(4) |
|
доказаны. |
||||||||||||||
Из правого неравенства |
(4) сразу следует |
|
|
|
|
|
|
|
||||||||||||
|
|
U t — y \ = { c u xt — y ) = |
min fo , x — y) = |
M(ct, t). |
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
x £ X t |
|
|
|
|
|
|
|
|
|
|
Из левого неравенства (4) тогда имеем
318 |
МЕТОДЫ Р ЕШ ЕНИ Я ЗАДАЧ БЫСТРОДЕЙСТВИЯ |
\Гл. 7 |
||
|
М (с, |
t) = min (с, X'— у) < (с, х( — у) < М(с,, t) |
|
|
при любом с 6 G, |
поэтому |
|
||
|
|
|
р(0 = maxM(c, t) = M (ch t). |
|
|
|
|
с6G |
|
Равенства |
(3) |
доказаны. |
|
|
Наконец, |
покажем, что если у £ Х и то max М (с, t) = р (t) |
pea |
||
|
|
|
ce G |
|
лизуется в единственной точке c = ct= (x t— у) \\xt— у||-1 (это обстоя тельство может оказаться полезным при практическом вычислении
р ( 0) - В самом деле, если c e G и р ( 0 = М ( с , / )> 0, то с помощью неравенства Коши — Буняковского имеем
0 < p ( t ) = M (c, t) < ( с ,х , — у) <||с||||х,— у||<||х,— у\\=
= (c{, x t— y)= .p(t).
Отсюда следует |
|
(c ,x t— у) = |ИЛх( — у||>0, |
с ф О, |
что возможно тогда и только тогда, когда |
с = а(х*— у), а = const. |
Но, очевидно, ||с||= 1, поэтому а = ||х<— у||-* и c = c t. А
Полученная в этой теореме формула (3) позволяет использо вать при вычислении р(^) методы из § 6.5. В самом деле, функ ционалы ||x(f, и)— у\\ и ||x(t, и)— у||2 достигают своего минимума
на Ut на одном и том же элементе, |
поэтому |
|
|||
|
р- (t) = min||x (t, и)—у |р. |
|
|||
|
u £ U t |
|
|
|
|
Тем самым задача вычисления р2(/) |
при каждом |
фиксированном |
|||
t > t 0 совпадает с |
основной задачей |
§ |
6.5, |
и здесь |
применимы ме |
тоды § 6.5. |
|
|
|
|
|
Полезно заметить, что теоремы |
1— 3 и лемма 2 остаются вер |
||||
ными для любых |
выпуклых замкнутых |
ограниченных множеств |
|||
Xt из гильбертова пространства X, поскольку при доказательстве
этих утверждений происхождение множества Xt |
по существу не |
|
использовалось. В частности, теоремы 1, 2 |
дают интересные крите |
|
рии принадлежности той или иной точки |
у е Х |
множеству Xt, а |
лемма 2 и теорема 3 позволяют получить формулу
р (t) = max min (с, х — у)
с£0 x£Xt
для расстояния от точки у до множества Xt.
§ 2] |
Критерии управляемости |
и оптимальности |
319 |
|
Теперь перейдем к исследованию |
непрерывности М(с, t), |
р (t) |
по переменной t. Здесь уже существенно будет использована связь множества Xt с управляемым объектом
|
|
|
{х{х, и), u e u t, |
t > t 0), |
|
|
|
|||
удовлетворяющим условиям I—V II. |
|
|
|
|
|
|||||
Т е о р е м а |
4. Пусть управляемый объект |
|
|
|
||||||
|
|
|
{х(т, и), и е и „ *> *„ } |
|
|
|
||||
удовлетворяет условиям |
I—V II. Тогда функционалы M (c,.t), р (t) |
|||||||||
непрерывны по t при всех t ^ t Q. |
|
|
|
|
|
|
||||
Д о к а з а т е л ь с т в о . |
Возьмем произвольное t^>tQ и |
условимся |
||||||||
рассматривать лишь те т > / 0, для |
которых |
11— т|< — , |
где |
А = |
||||||
= const > 0 |
взята из условия III. |
Пусть |
|
|
|
|
||||
|
|
|
|
|
А |
|
|
|
|
|
М (с, t ) = ( c , x(t, |
uc,t) — y), |
М (с, т) = |
(с, х(т, |
ис,х)-~ у). |
|
|||||
Согласно условию III |
управления uc,t £ U t и uCtX6 Ux |
можем |
продол |
|||||||
жить на отрезок |
Г^0, t + |
— 1 и, сохраняя за [продолженными управ- |
||||||||
лениями их |
|
L |
|
2 J |
|
учетом условия |
IV, |
можем |
||
прежние |
обозначения с |
|||||||||
считать, что х(т, iic,t) 6 Хх, х (t, ис,х) € Xt. Тогда) |
|
|
|
|||||||
М (с, |
Г) < |
(с, х (t, ис,х) — у ) , М (с, т) < |
(с, х (т, |
ис,,) — у), |
|
|||||
поэтому |
|
|
|
|
|
|
|
|
|
|
|
(с, X (t, ис, t) — х (т, ис,ч)) < М ( с , t) — M (с, т) < |
|
|
|||||||
<(с, X (t, иСЛ) — х{%, ис,х)).
Сучетом условия VII отсюда имеем
\М(с, t) — M(c, т)К||с||. sup ||x(f, и) — х(т, и)||<
|
|
и6С/(+д/2 |
|
|
|
<||с||е,+;д/2(|г;— т|, f) - » 0 |
|
при |
Непрерывность М(с, t) по t при каждом t > t 0 доказана* |
||
Если же t = to, то сразу имеем |
|
||
|
I М (с, t0) — М (с,х) |= |(с, Х0 — Х (т, ис,х) |< |
1 с 1 ||X(/„, Ue,t) ~ |
|
|
— X(т, исд) II < |
II с 1 е,о+д/2 (| Т — 101, t0) -» 0 |
при т-»-/0 + 0. |
|
Теперь докажем |
непрерывность p(t) при t ^ t Q. Пусть сначала |
|
t > t 0. Воспользуемся формулой (3) p (0 = ll*t— г^Н, где xt= x(t, щ) — проекция у на Xt. Продолжая при необходимости управление
