Файл: Цирлин, А. М. Основы оптимального управления конспект лекций.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 23.10.2024
Просмотров: 94
Скачиваний: 0
/32
Запишем функционал Лаграняа
Оо
максимум достигается или в точке экстремума, или на границе. Если точка экстремума внутри допустимой ооласти, то в ней
= - 2 (х - 0,5) +y/t =• О
Функция X? выпукла по У(t и точка стационарности явдяетоя максимумои
|
|
|
|
|
|
|
|
Так |
как / |
£ |
Т, |
|
|
|
|
|
|
|
|
то |
У*Мг/. |
|
|
|
|
|
1*=* |
-0,28 |
Т |
|
|
|
|
|
|
Пример 2 |
|
|
|
|
|
|
|
|
|
|
|
При тех ае |
ограничениях |
и уравнении |
связи |
найти |
|
||||||
|
|
Sop |
I |
= / |
( X |
- 0 , 5 / W |
|
|
|
||
фикция |
|
|
|
|
|
|
|
|
|
|
|
|
|
£ |
= |
( X - 0,5 |
) 2 |
< v / f / |
|
|
|
||
Эта функция недапунде, и наксииум ее находится на границе |
|||||||||||
йноееотва |
У£ |
, заданного неравенствами. (13.20). Так как оп- |
|||||||||
гянальнов |
решзняе |
соотоит из участков, на которыхX(4) |
РБВНО |
||||||||
I или |
- |
I , |
сравнив |
значения |
функция R, |
ддя |
х=1 и х=-1 |
||||
|
|
(I ( |
+ I ) |
= 0,25 |
+ |
J{ |
|
|
|
/зз
R ' ( - I ) - 2,25
8£ачевив X (Ь эавмсм* от аяш»а ра&ноотв ат*х функцшй
Выражение (13.21) еще до нахождения конкретного решения дозволяет оказать многое. Если J ^. и, то переключения нет,
въХ (•£) я - 1 . Если же , / > £ ) , то может быть лишь одно пере
ключение, |
причем о х ">-1 на х |
• +1. Первый вариант ( |
х — I ) |
ораву ие |
можно отбросить, тая |
как он не удовлетворяв; |
овяви. |
Так что решение сводитоя к определении момента переклвчевнл
яг уоловия |
|
^ |
т |
о
откуда
Т
Решение в первом примере можно пожучить как яг уоловяя оп« тимедьноотн п. 13.1, так я ыя условий п.13.2. Лая второго ае
примера необходимые условия n . IS . I непригодны^
Рис. & i
5 14. Обобщение изопериметрической задачи, каноническая Форма связи .
1 4 . I . |
Обсуждение |
задачи, каноническая форма |
связи |
|
|
|
|||||||||
Если в задаче о максимуме функционала |
|
|
|
|
|
||||||||||
имеется |
не |
одна, |
а несколько |
сряаэй |
|
|
|
|
|
|
|
||||
|
|
|
|
г |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ye V% , |
|
|
|
|
|
|
(14. г\ |
|||||
|
|
|
|
|
|
J)- |
|
. . . и / , |
|||||||
то условия |
оптимальности |
могут быть |
получены в |
той |
же форме, |
что |
|||||||||
в предыдущем пэриграфе. Это можно сделать, например, учитывая |
перво |
||||||||||||||
начально лишь одну связь, а остальные |
OV-I) относятся |
к |
определению |
||||||||||||
множества |
\ ^ . Затем к получившемуся |
функционалу |
|
|
|
|
|||||||||
добавлять |
вторую, третью и т . д . , |
А^ - ю сгязи. |
|
|
|
|
|
||||||||
Условие |
оптимальности задачи (14.1), (14.2) |
утверждает |
существован |
||||||||||||
ии е |
вектора jffj/f |
jfSj |
j/Aтакого, |
|
что Дункционал |
|
|
|
|
||||||
на |
(4) |
= У |
(+) |
(решение |
задачи |
( I 4 . I ) , (14.2) |
достигает |
верхней |
|||||||
грани на множестве сравнения |
Ь |
ограниченных |
нусочно-непреривных |
||||||||||||
функций. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Максимум функционала |
/S |
сводится |
к максимуму его |
подинтограль- |
|||||||||||
ного |
выражения |
|
|
|
|
|
|
|
|
|
|
|
|
в котором каждой связи (14.2) соответснует слагаемое
(14.5)
Уоловие общности положения требует, чтобы |
функция ^ * ^ |
|||
не доставляла |
максимум или кииицун |
ни одному |
на функционалов |
|
при остальных |
(яункциоаалах |
у ^fZj |
.. , $/^„, *ftat-. • равных нулю. |
|
Пусть теперь связь задана |
в форме |
|
где окалярвый параметр |
L , в отличие |
от индекса |
v , пробегает |
|||
яепрерывное |
множество значений от |
СС1 |
до |
, |
Ниже будет по |
|
казано, что связь (14.6) являетоя |
очеиь викой, и > такой форме |
|||||
можно записать самые разнообразные |
у о лом я, |
наложенные ив искомую |
||||
вектор-функции. Эту форму овя8Н будем называть кааоннчеокой. |
||||||
мы попытаемоя в атом |
параграфе |
сформулировать |
«обходимые и |
|||
достаточные |
уолоаня оптимальности |
для задачи |
о максимум фу як т о |
|||
пала (14.3) |
при уоловии |
(14.6), близкие |
по своей |
структуре к усло |
виям оптимальности для проотейвей ивопериметричеовой вадачв. йяаче
говоря, |
как уоловия |
максимума обобщенного функционала Лаграин» |
||||
fS |
аа допустимом |
множестве |
сравнения L |
. Связи (14.6) будет |
||
соответствовать свое |
слагаемое в функционале |
я его подннм- |
||||
гральиом выражении Р . |
|
|
|
|||
|
Важным моментом при этом будет |
определение |
в&шоямооти ывожеот- |
|||
ва |
L |
о* характера |
функций |
|
и £ . |
|
|
Следующий этап - запись разнообразных овяаей в канонической |
|||||
форме и получение одагаемых |
Рс? |
, соответствующих каждой нв них. |
Замечательной особенностью функционала &> являетоя его аддитивной^
каждой связи соответствует свое слагаемое. |
Это поввояяа», отдель |
но проанализировав различные типы связей, |
Для каждой кошкрвтной |
задачи составлять функционал ^ из предварительно яайденнах слага емых .
Приступим к реализации этой программы.
|
/36 |
|
14.2. Необходимые условия |
оптимальности - |
|
Конкретизируем |
вид функций |
^ и J в задаче ( 1 4 . 1 ) , ( I t . 6 ) , paii |
Сив каждую из |
них на две составляющие |
где |
SfotfjT)J |
- |
функция |
Дирака. |
|
|
|
|
||
|
Воктор-функдии ХМ |
и и { о п р е д е л е н ы |
на отрезке [ 0,Т j |
; |
||||||
при |
каждом |
/ |
вектор |
& |
принадлежит ограниченной |
замкнутой |
||||
области \ и |
пространства |
1/ |
. Две названных составляющих |
реше |
||||||
ния |
отливаются |
друг от друга |
тем, что ^ |
входит |
лишь |
в регуляр |
||||
ныв |
слагаемые |
подинтегральных вырагений _/„• |
и |
У |
, aJC |
входит еще и в сингулярные слагаемые |
этих функций |
Ут |
. Будем |
||||||||
называть |
первой, а У. ('t'J второй группой |
составляющих |
|||||||||
решения. |
Функционалы |
_/ |
и У (''С) определены |
на любом |
элементе |
||||||
множества |
допустимых |
решений, |
причем |
условия |
(1^.6; |
выполняются |
|||||
тождественно для всех |
Тб/TjуСгУ |
• Требование |
существования |
||||||||
эквивалентно,в частности, |
требованию |
непрерывности функции |
У£ |
||||||||
на множестве таких пар i |
^ Т |
) , для которых |
б?^У, Т J- |
О » |
|||||||
оно же накладывает ограничения |
и на вид функции |
6/(^У |
)• |
|
Црн каждом значении идного из аргументов эта функция должна иметьсчетное число простых нулей по второму аргументу.
Наряду |
с |
исходной |
задачей |
будем |
рассматривать ее расширение, ' |
|
отличающееся |
тем, что функции |
у? |
и У |
заменены выражениями |
||
|
|
|
|
|
|
(14.Й) |
/ f x , / / f x , u , f z j / Y v O c / v , |
||||||
в которых |
flfs/J- |
плотность |
распределения, определенная н а \ £ ? |
|||
такая, что |
|
|
|
|
|
w
He будеы проводить здесь выкладок, приводящих к необходимому условию оптимальности расииренной задачи и доказательству с его
помощью условия оптимальности для задачи |
(14.1),(14.6). Это дока |
|||||||||||||
зательство проводится по той же схеме, |
что и в предыдущем |
параг |
||||||||||||
рафе. Отличие состоит в том, что в рассматриваемой здесь |
задаче |
|||||||||||||
два |
типа |
переменных |
Ы и |
Ц. |
, изменения |
переменных |
первой |
груп |
||||||
пы |
*У |
при вычислении _ / |
и |
иУ сглаживаются, |
что |
нельзя |
ска |
|||||||
зать о изменениях |
У |
. Именно с этим связан |
тот факт, |
что рас - |
||||||||||
• шшрение |
задачи |
( I f . I ) , ( 1 4 , 6 ) |
произведено |
только |
по |
U |
, |
этим |
||||||
же |
объясняется различная роль |
<V и |
У |
в приведенных ниже усло |
||||||||||
виях оптимальности. Грубо говоря, по ^ |
условия |
оптимальности |
||||||||||||
аналогичны условиям оптимальности п.13.2 |
, |
по -У |
же эти |
условия |
||||||||||
аналогичны условиям |
п . 1 3 . 1 . |
|
|
|
|
|
|
|
|
|
||||
|
Булем считать |
функционал ^ |
м е р н ы |
м |
вектором и введем |
|||||||||
функционал лагранжа |
>Sp |
для расширенной |
задачи |
|
|
|
|
Здесь, |
как и выше, \е(4)^-0, 2-> |
/ |
, э ю Последнее усло- |
вие и приводит к появлению _/?№J |
в функционале «-V . |
||
Необходимые условия оптимальности расширенной задачи: |
|||
пусть |
XYdJj ^e'C^J |
- решение |
расширенной задачи, |
тогда найдутся y/vfr)/j'0^-6'Jy^t'/J^/j...m)f-BS равные одновременно
нулю, |
такие, что на оптимальном решении; |
|
||
I / |
подинтегральное |
выражение @ р |
функционала |
стационар |
но по |
У- ', |
|
|
|
2/ достигает своей |
верхней грани по |
U G Vu |
функция |