книги из ГПНТБ / Осипов В.М. Математические основы кибернетики. Начала вариационного исчисления и элементы теории оптимального управления учеб. пособие
.pdf
|
|
с,л-сг |
С/- |
Сл |
|
Случай |
= £"3 |
=0 исключается. |
Возможны следующие случал |
||
а) СГ |
= X; |
£i = - I ; |
б) |
Q = - I ; |
Г, = I . |
мапишем 2-ое условие |
|
|
|
||
(f-fijrL*., |
--(F-yïfL.,,.* |
|
или |
|
|
|
|
|
|
|
Для обеих случаев 2-ое условие |
удовлетворяется, |
|
|
||||
йгаа,возможны 2 экстремали |
(Рис.17) |
|
|
|
|||
а) |
" ^ * Ci |
Из граничных условий найдем Q |
к С4 |
||||
|
|
у (4)-.у.(4/ |
* г |
--не,,; |
с,-- |
6 |
|
|
|
о. |
|
|
|
|
|
6) |
|
|
|
|
|
|
|
8(o)*#r(o) |
-c,-o. |
|
|
|
|
|
І У . В А Р Ш І Ш Ш І ; ЗАДАЧИ НА УСЛОШМІ ЭКСТРШУМ.
1. Меч од множителей Лагр~няа. Общая задача дагранжа.
Вариационными задачами на условный экстремум называются задачи, в которых требуется найти экстремум функционала, при чем на функции, от которых зависит функционал, наложены неко торые связи. Такие задачи весьма часто встречаются в различ ных приложениях. Простейшим примером может служить заде Q нахождении кратчайшего расстояния между двумя точкамя при усло вии, что кривая соединяющая эти точки лежит на некоторой по верхности.
Математически это формулируется так. Найти минимум функционала
tty.i]-- |
Qjïiïyl^ïFcfx |
|
||
при наличии связи |
Чіх,уЛ |
) = О, |
|
|
Естественный путь решения этой задачи состоит в следующем. |
||||
Из уравнения |
связи выразим Z |
через ^ и х ; |
подставим |
|
найденное выражение для Z |
в интегралов результате |
чгго полу |
||
чим обычный функционал, зависящий |
только от у . Дело сведется, |
|||
таким образом, к простейшей задаче. |
|
|||
Такой путь может |
привести к успеху |
лишь в некоторых |
случаях |
при небольшом числе неизвестных фуіпщий. Практически гораздо удобней применять так называемый метод множителей Дагранга. Рассмотрим этот метод на примере задачи с двумя неизвестными функциями.
Пусть требуется найти экстремум функционала
X,
- з а
при условии ^(x,y,z)= 0 .
Согласно методу множителей Лаграпжа составляем вспомогательную
функцию |
|
|
|
|
|
|
|
|
|
|
F*-- F fay. у', |
*,z'J+A(x) |
H', x,y, г J, |
||||||
где Л(х) - пока неизвестная функция, |
и ищем обычными методами |
||||||||
экстремум функционала |
х < |
|
|
|
|
|
|||
|
|
•X, |
X, |
|
|
|
|
|
|
Всего нам необходимо определить 3 неизвестные |
функции LJ, Я и |
||||||||
Л(х-> |
. Для их определения |
имеем как раз три уравнения: два |
|||||||
уравнения |
Эйлера для функционала |
J |
и уравнение .связи |
||||||
|
|
|
|
с/ |
|
|
|
|
|
2 ) |
ь - é % -- Fx - J e & * % -я(Х) - о |
|
|||||||
3) |
Чі*,?,*)' |
О . |
|
|
|
|
|
||
Из этих трех уравнений и находил искомые функции. |
|||||||||
Функция я(х)называется |
множителем Лагракжв. |
|
|||||||
Докажем справедливость |
такого приема. |
|
|
||||||
Предположим, |
что экстремум функционала ^ / д ] достигается |
||||||||
|
|
2 , |
|
на кривых |
і( = у (х) |
и г = ? ( * і . |
|||
|
|
|
|
|
Прибавим к этим кривым вариации |
||||
|
|
|
|
|
S'y, |
и |
, отличные от нуля |
||
|
|
|
|
|
лишь в малой |
окрестности некото- |
|||
|
|
|
|
х |
рой ТОЧКИ Я^. |
( Хо |
<Хе<Х,). |
||
|
Рис.18 |
|
х ' |
Вычислим вариацию функционала 3 |
|||||
|
|
угу(х); |
, |
. |
|
jv |
|||
.при переходе от кривые |
Л-Л(х) |
к кривым у* à<J ; |
|||||||
%фй% |
. |
(Рис.18). |
|
|
|
|
|
|
- 39 - Известным уже способом находим :
Хв |
|
|
|
ОС* |
|
|
|
|
|
|
||
Учитывая, |
что |
вариации |
в окрестности |
хс |
|
обладают фильгрувщим |
||||||
свойством |
т . е . |
(ft/ |
и Sx равны нулю всюду |
за |
исключением малой |
|||||||
окрестности |
х |
- ссс |
, |
молем написать |
|
|
|
|||||
Обозначим |
х |
|
|
|
|
|
|
|
я. |
|
|
|
тогда |
'X. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
С другой |
стороіш, ясно, |
что |
ітроварьированная |
к р и в а я ^ ^ iZ+fa |
||||||||
должна, как и исходная, лежат.но поверхности ffa>y,2j-- О% |
||||||||||||
поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
X, |
|
|
|
|
|
|
|
|
|
|
|
|
Je. |
|
|
- , |
|
|
|
|
|
X. |
|
|
|
Но в силу фильтрующего свойства вариаций имеем' |
||||||||||||
Предполагая, |
что |
|
*0 |
|
, |
найдем • |
|
|
||||
Подставим |
это |
значение |
в выражение для |
вариации: |
||||||||
Условием экстремума функционала. |
У |
является |
равенство нулю |
|||||||||
вариации |
tfJ |
, |
причем для любого |
хс |
А |
поэтому |
||||||
ИЛИ |
|
|
|
|
|
|
|
|
|
|
|
|
г - |
о'х |
F |
|
С - |
d- |
F, |
. |
_ я |
( х |
) |
|
|
» |
у . |
|
ЗхЪ' |
|
|
|
откуда |
t^iixJ^O |
Таким образом, правило-множителай Лагранжа доказано.
Замечания,
I . Метод множителей лагранжа легко распространяется на случай произвольного числа функций.
Пусть эалак фуакциокал f"
и уравнаше сзязк
Требуется найти экстремали. Составляем вспомогательную функцию
а |
находим экстремали для функционала J г |
ах, Задача |
сводится |
|||||
к решению системы уравнений Эйлера |
|
|
|
|
||||
F*-4-Fu< |
~F - |
+ Г |
Уѵ |
'-О |
/.. = U- |
n |
/', |
|
которые вместе с уравнениями связи позволяют кайти |
п + к |
|||||||
неизвестных функций Г п. |
неизвестных |
функций yt- ( |
і |
= 1 , 2 .. n ) |
||||
и |
к неизвестных функций [х) |
|
= I , 2 . . . . |
к |
)J |
|||
|
2, |
Метод остается |
справедливым, |
если |
уравнение |
связи со |
держит производные от неизвестных функций, т . е . является диф ференциальным уравнением
Связи такого вида в механике получили название неголономных связей, в отличие от голоноыных - т . е . связей кс содержащих производные.
- 41 -
Задача на условный экстремум функционала с кеголовомнымк связя- МІІ называется общей задачей Лагран;ка. Имеіяю эта задача чаще всего рассматривается в теории оптимальных систем автоматичес- 'кого управления.
Тшшчнал задача из этой проблематики может бить сформулирована тек. Пусть система дифференциальных уравнений
характеризует динамику некоторого |
объеіста. |
|
||
|
|
Функция у,, уг |
у„ - естѵ |
|
Объект |
—У' зьаодіше величины сѵ'- <і& (фа- |
|||
- У . |
|
|
|
|
=• |
|
оовые коохданаты) |
(Рас.19) |
|
|
|
|||
|
* |
у, , < ^ . . . |
управлянцйе |
|
|
|
сигналы |
(функции времени) шш |
|
?иСІ9 |
|
просто |
управления. |
Упраьлеш.ч необходимо выбрать так, чтобы заданный функционал принимал экстремальное значение.
функции U,!éi, |
U/liJ |
:J.r(-J^даюшие решение поставленной |
|
задачи называются оптимальными управлениями, |
|
||
іісля на управления не наложено других ограничений, |
то мы име |
||
ем общую задачу |
лагранжа |
с неголономными связями. |
Эта. задача |
может быть решена методом множителей Лагранжа, т . е . составля ется вспомогательная функция
а |
оптимальные управления |
находятся как'экстремали функционала |
\ |
>- CIL . |
sc.- |
•'i. Для вспомогательного функционала 0 j ' |
ост-лотся cnps- |
вввдшыка условия Лежаіщра и трансверсальностг. |
|
-42 -
2.Изопериметрическая задача
Изопериметрической задачей вначале называли задачу об отыскании геометрической фигуры максимальной площади при за данном периметре. Такой фигурой является окружность. В настоя щее время изопериметрическими называются вариационные задачи, в которых требуется найти экстремум функционала
при условии, что другой функционал
^сохраняет заданное значение Эг0 .
Такш обраеоМо мы имеем задачу на условный экстремум, по связь
задана |
в интегральной форме. Оказывается изопериметрическую |
||||
задачу |
можно свести к общей задаче |
Лаграняа. В самом деле, |
|||
|
обозначим |
г*' |
, ; |
, |
|
тогда |
|
fay.y'J |
чли |
|
V-fifeWJ-'О. |
Приходим,таким образом, к следующей задаче Лагранжа: найти экстремум функционала Jf при условии V'-Ft : О , Согласно общему правилу составляем вспомогательную функцию
которая |
эавиоит от 3-х неизвестных функций у- , У и Д . |
|||
Имеем |
2 уравнения |
Эйлера |
|
|
|
с". |
sL |
сд - п |
|
|
F* |
|
äxFf'u |
|
яа 2-го уравнения |
следует, что Л - Constt т < е > |
ддя изоперимет |
||
рической задачи |
множитель Лагранжа обращается |
в постоянное |
- 43 -
число, мы прихода! к следующему правилу.
Решением изопериметрической задачи является экстремаль функ ционала
Постоянная Л находится из изопериметрического условия. Это правило немедленно обобщается на случай произвольного
числа функций. |
|
|
|
||
Для того |
чтобы найти необходимое условие экстремума функ |
||||
ционала |
X, |
|
|
|
|
|
/р(х,у„уг |
,-$п. |
• • |
fr)?* |
|
|
X, |
|
|
|
|
при наличии ивонериметрических |
условий |
|
|||
нужно составить вспомогательный |
функционал |
||||
[ [F fZ^i |
Fe |
• "где Aj - |
постоянные, |
и написать для него уравнение Эйлера. Постоянные интегрирова ния находятся из граничных условий, а множитель Лагранжа
АІ ( £• = I , 2 |
'ri ) |
из "m" изопернметр$$еских |
условий. |
||
Пример; Найти кривуш у |
- |
заданной длины |
t , |
под кото |
|
1 |
|
|
рой площадь ь пределах от хв |
||
|
|
доДѴ достигала |
максимума.(Рис,20) |
||
|
|
|
|||
|
|
|
Задача соотоит в |
определении |
|
fil. |
|
|
маконмума функционала. |
|
|
|
|
|
3'~ {% ^ х |
условии |
|
Рис.20 |
' |
|
. |
lfMfF<t*-t. |
Согласно сформулированному ранее правилу-^ составляем вспомогательный функционал
_ 4-І -
Поскольку Fu не зависят от x , то первый интеграл урав нения Эйлера имеет вид
|
|
|
/—ZT |
|
я І г } г |
- |
с. |
|
|
||
откуда |
|
|
А |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ВЕОДИМ параметр |
t |
, полагая у ' - |
|
t , тогда у-Г, -~л Cost, |
|||||||
не |
- tat |
|
. откуда с/а se/y/-éptt |
а |
-ÄSintc/t |
, |
|||||
поэтому |
= Я Cost -dtъ |
x. - %Sînt |
* Сг |
. Итак уравнение экст |
|||||||
ремалей в параметрической форме имеет вид |
|
|
|||||||||
|
Х-Сг •- яЗіпІ |
|
if- |
С, |
Л |
Cost |
|
|
|||
шш, |
исключая |
і |
, получил: |
|
|
|
|
|
|||
т . е . |
семейство |
окружностей. |
|
|
|
|
|
||||
С,- |
и Q |
определяются из граничных условии, а Д - |
радиус |
||||||||
из изспериметрического |
условия. |
|
|
|
|
|
|||||
|
|
у - |
ХАнонитажйі ВИД УРАВНЕНИЯ Э М Е Р А |
|
|||||||
|
Ma знаем, чтс уравнение Эйлера |
|
|
|
|||||||
отвечавшее |
функционалу |
JftfJ |
' JтеF dec |
является |
Дифферен |
||||||
цвальнш уравнением 2-го порядка. Всякое |
уравнение 2-го поряд |
||||||||||
ка мокко, и притом различными способами, |
свести к |
системе |
|||||||||
двух уравнений |
первого порядка. • . |
|
|
|
|||||||
|
Бредем новые |
переменные |
|
|
|
|
|
||||
|
P-~Fr |
|
|
и |
H-~-F + y'P |
|
( І ) |
||||
Чтобы получить уравнение |
(точнее |
систему) эквивалентное урав- |
|
|
|
|
|
- 45 |
- |
|
|
|
|
|
|
|
|
|
|
|
|
ііошга |
Эіілііоа, |
і:у:ию |
выразить |
старые |
переменные л: , if. , ^ |
че- |
||||||||||||
HüBUf X , у, , |
° |
. |
Одновременно необходимо |
функцию Flx:$.tf |
) |
|||||||||||||
входящую в у,'Пі»іешіе |
Зіілеіза, |
выразить |
через |
функция |
i-l'x^.P), |
|||||||||||||
Прение uoM ршсть |
эту задачу, |
заметим, |
чтс функция Н(х,#, |
р • |
- |
|||||||||||||
- -F(я,у,у |
l*у'Р |
|
называется |
функцией Гамильтона |
(или га |
|
||||||||||||
мильтонианом ) . Переменные х |
, у |
, Р |
, H , |
связанные со |
ста |
|||||||||||||
рым; псрьыошіими |
X |
, у |
, |
у \ |
F соотношениями (Î ) , называ |
|
||||||||||||
ются каноническими переменными. |
|
|
|
|
|
|
|
|
|
|||||||||
Итак, выясним как изменится |
уравнение |
Эйлера |
при перехо |
|||||||||||||||
де к каноническим |
переменным. |
|
Чтобы сделать такую эыс-'у |
|
||||||||||||||
];y:iU:(' |
ч.четнуу |
производную /у |
выразить через частную 'іроизвод- |
|||||||||||||||
иую H g |
. Воспользуемся |
следующим приемом. |
|
|
|
|
|
|||||||||||
Найдем полный диффереіщиал функции И |
• Имеем |
из (I) |
|
|
||||||||||||||
|
|
dH^-dF+Pc/y' |
|
|
+ |
y'c/P. |
|
|
|
|
|
|
||||||
но |
|
3F . |
дР |
, |
ЭР , , |
|
, |
г І |
|
г j ' |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
г |
с/х + fycfy i Pc/y' |
|
|
|
|
|
|
|
|
|
|
|
|||||
и.следувсітсілыю, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
а'Ц |
---F^dx-Fudu |
+y'c/P |
-- - |
§£ |
cfx -Tfdji* |
|
tf,c/'' |
|
|
|||||||||
С другой |
стороны |
H* Н(х,у/р |
J |
|
9 t |
|
|
|
|
|
||||||||
поэтому |
|
|
|
|
|
|
||||||||||||
Приравнивая, |
получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ІЕ - - ЪР_ . |
ЭР. _ Э£ |
, |
2tL |
zé/ |
|
|
|
|
|
|
||||||||
2JX |
' |
Эх 1 |
|
|
Dy ' |
|
Эр |
|
|
|
|
|
|
|||||
Теперь мы "мокиГТтрТатбрааоват^уравнение Эйлера |
|
|
|
|
|
|||||||||||||
г |
с/ |
F |
££: _ sL |
г iL |
|
0. |
|
|
|
|
|
|
|
|
r£~dxhy-2y |
dx L J у' |