Файл: Васильев Ф.П. Лекции по методам решения экстремальных задач.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 11.04.2024
Просмотров: 206
Скачиваний: 1
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.