Файл: Васильев Ф.П. Лекции по методам решения экстремальных задач.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 (с, х — у ) < ( с , у — у) =

О

 

"

 

 

 

х £ Х т

 

 

 

 

 

 

при любом с е Х . И*


Отсюда при &->oo имеем lim M(ck, t)
ft-» 00

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 в следующем смысле:

 

 

 

 

 

 

(с, xty ) ^ { c t,

xty ) ^ { 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.