книги из ГПНТБ / Иоффе, А. Д. Теория экстремальных задач [учеб. пособие]
.pdfЗ А Д А Ч И |
455 |
Р е ш е н и е . Применим принцип максимума Понтрягина в лагранжевой форме (теорема 1' из § 2.4). Лагранжиан задачи имеет вид
L== — ~ x 2 + p(x — u).
Уравнение Эйлера |
р = |
—Яо*, |
условие трансверсальности |
р( 1 ) = 0 . |
|||||
Значит, Яо Ф 0, ибо |
иначе |
все |
множители Лагранжа Я0 и р были |
||||||
бы нулями. |
Положив |
Яо = |
1, |
из усло |
|
|
|||
вия минимума функции L по и получаем |
|
|
|||||||
и = sign р. |
В |
итоге |
приходим |
к урав |
|
|
|||
нению: |
|
|
|
|
|
|
|
|
|
|
р + sign р = О, |
|
|
|
|
||||
р (0) = — х (0) |
- 0, |
|
|
|
|
||||
|
|
|
р(1)=0. |
|
|
|
|
||
Решениями |
этого |
уравнения |
являются |
|
|
||||
кусочно-параболические функции, имею |
|
|
|||||||
щие одинаковые по модулю экстремумы |
|
|
|||||||
и разрыв первой производной в тех точ |
|
|
|||||||
ках, где сами они обращаются в нуль. |
|
|
|||||||
Граничные |
условия |
выделяют |
счетное |
|
|
||||
множество таких функций. Первые две |
|
|
|||||||
функции p0 (t) |
и |
p i ( t ) |
и соответствую |
|
|
||||
щие им экстремали Xo{t), X\(t) |
изобра |
|
|
||||||
жены на рис. 14. Экстремали |
x f (t) — |
|
|
||||||
это ломаные с изломами в нулях соответствующих функций |
P i(t) . |
||||||||
Максимальное значение интеграл достигает на функции x o (t).B |
силу |
||||||||
того, что решение |
задачи существует (из компактности |
множества |
|||||||
допустимых функций), Xo(t) доставляет абсолютный максимум в поставленной задаче.
1
94. J хг dt -> sup; |х \^ 1, х (0) = х (0) = х (1) = х (1) = 0.
о
1
95. |
j* ^ |
^ |
“ |
+ |
|и |j dt -> inf; х = и, х (1) = |. |
|
||
|
0 |
|
|
|
|
|
|
|
Р е ш е н и е . |
Применим принципа максимума Понтрягина в |
|||||||
лагранжевой |
форме |
(теорема |
У |
из § 2.4). Лагранжиан |
задачи |
|||
имеет вид |
|
|
|
|
|
|
|
|
|
|
L = |
Я |
э | * X ' " |
+ |
I « I ) + Р ( * — «)• |
|
|
Если Яо == 0, |
то из условия минимальности по и получалось бы, что |
|||||||
р е= 0, |
т. е. |
все |
множители Лагранжа были бы нулями. |
Значит, |
||||
Яо Ф 0. |
Положим |
Яо = |
1. Получаем уравнение Эйлера —р + |
х = 0, |
||||
условие трансверсальности р (0 )= |
0 и выражение для оптимального |
|||||||
458 |
ЗАДАЧИ |
выходит на него лишь в один момент (рис. 15, а), и случай б) когда оптимальное управление и сначала равно — 1, затем и = 0 и дви жение совершается по фазовому ограничению, и на последнем
Рис. 15.
участке и = +1 (рис. 15,6, направление движения указано стрел ками). Без труда показывается, что существует единственная траек тория, удовлетворяющая перечисленным условиям и соединяющая нужные точки (см. рис. 15, а, б).
1
105. J (х2+ х2) dt -» inf; х(0) = 1, х~^> А.
о
т
106. J (х2 — х2) dt -» inf; Т фиксировано, |х | х (0) = дг (Г)=0.
о
г
|
107. |
J |
|
dt -» |
inf; |
Т фиксировано, д с ^ (0 )= 0 , х*‘ >(7') = |
£г, |
|||
|
|
о |
|
|
|
|
|
|
|
|
V 'is |
I ^ |
Г1 ’ |
|
|
|
|
|
|
|
|
|
108. |
J |
(1 + |
е |и |) dt -* inf; х = и, |
|и | < 1, х (0) = |
gi, |
х (0) = |
|2 |
||
*( Г) = *(Г ) = |
0. |
|
|
|
|
|
|
|||
|
|
1 |
|
|
|
|
|
|
|
|
|
109. |
j |
xdt-> inf; |
I x[n) |< 1, x(l) (0) = *(i) (1) = 0, |
0 < |
i < n - |
1. |
|||
|
|
о |
|
|
|
|
|
|
|
|
|
|
l |
|
|
|
|
|
|
|
|
|
110. |
J |
| и \p dt -> inf; |
x + ux = 0, |
x (0) = x (1) = |
0, |
x (0 ) = |
l, |
||
1 < |
p < |
о |
|
|
|
|
|
|
|
|
00. |
|
|
|
|
|
|
|
|
||
ЗА Д А Ч И |
459 |
111. |
J1 |
|и |dt -> inf; |
x + u x — 0, |
|и | < |
A, x (0) = x (l) = 0 , |
|||
|
0 |
|
|
|
|
|
|
|
x (0) = 1. |
|
________ |
|
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
112. |
J |
|
( V ^ + * 2 + |
Y ( * l |
— sin 0 2 + |
( * 2 + |
cost)2) dt -> inf; |
|
|
0 |
|
|
|
|
|
|
|
T фиксировано, X\ (0) = |
x2(0) == 0, Xi (T) = gb |
x2(T) = |
g2. |
|||||
|
т |
|
|
|
|
|
||
113. |
J |
|
{X — g\dt-> inS\ T |
фиксировано, |
x (0) = |
x0, x (0) = x0, |
||
|
o |
|
|
|
|
|
|
|
x(T) = Xi, |
x (T) = xt, x e= R", |
g = const. |
|
|
|
|||
Комментарий к разделу «Задачи». В начале этого раздела при ведено несколько старинных задач, поставленных и решенных до создания общих методов. Первые упоминания о классической изопериметрической задаче (см. задачу 1) относятся к V в. до н. э. За дачи на максимум и минимум встречаются у трех величайших мате матиков древности — Евклида (задача 2), Архимеда (задача 3) и Аполлония (задача 4). Более подробно об экстремальных задачах
удревних см. у Цейтена [1].
Вдальнейшем ряд важных экстремальных задач был решен Га лилеем, Кеплером, Ферма, Гюйгенсом. Основы дифференциального исчисления и вместе с ними первые принципы решения экстремаль ных задач были заложены Ферма, Лейбницем, Ньютоном. Основные
факты о конечномерных экстремальных задачах и вариационном исчислении были установлены в 17— 19 вв. И. Бернулли, Эйлером, Лагранжем, Лежандром, Гамильтоном, Якоби и Вейерштрассом. По дробнее об этом см. у Цейтена [1], [2] и Рыбникова [1].
Указания к задачам. Все задачи этого раздела могут быть решены при помощи принципа Лагранжа, подробно обсуждавшегося в книге. В общей форме он был сформулирован во введении (стр. 16), а за тем доказан для ряда важных случаев. Перечислим их: а) гладкие задачи (стр. 74), б) выпуклые задачи (стр. 77), в) задача Лагранжа классического вариационного исчисления (стр. 135), г) изопериметрическая задача (стр. 142), д) задача оптимального управления без фазовых ограничений (стр. 145— 147), е) задача оптимального управ ления с фазовыми ограничениями (стр. 245, 246). Далее, как пра вило, указывается, к какому случаю можно отнести рассматриваемую задачу.
Задача 1 решена в § 10.1. Задачи 2— 12 решаются с помощью простейших средств анализа. Задача 15 решена в § 10.1. Уравнение для геодезических (задача 16) можно вывести из необходимого усло вия для задач с фазовыми ограничениями (стр. 143). Задача 25 — задача с подвижными концами, нужно использовать условия транс версальности (случай д)). Задача 26 (сопоставьте ее с задачей 38) относится к случаю г). Задачи 27, 28 можно решить как задачи на быстродействие с фазовыми ограничениями (случай е)), при этом
460 |
ЗАДАЧИ |
полезно учесть метод решения задачи 4 в § 10.1. Задачи 32—35 ре шаются подобно задаче 13 (случай б)). Задача 36 относится к слу чаю е).
Задачи 41—59 — простейшие задачи вариационного исчисления. Интегранты задач 48—53 не квазирегулярны. Нижние грани в зада чах 48—52 при помощи теоремы Боголюбова находятся без вычислений, ибо овыпукления интегрантов приводят к тривиальным функционалам. В задаче 49 при 1 ф 0 вторая вариация на экстре мали строго положительна, но сильного минимума нет. Интересный пример Больца (задача 53) разбирается во многих книгах, например у Ахиезера [1]. В задаче 54 не выполнено усиленное условие Ле жандра, однако экстремаль доставляет абсолютный минимум в за даче. Задачи 60—67, 70, 71 относятся к случаю в). В задачах 68 и 69 принцип Лагранжа верен, хотя для этого случая в книге он не обоснован. Задачи 82—89 — с подвижными концами (случай д)). За дачи 90— 100 относятся к случаю д), задачи 101— 106 — к случаю е). Решения последних семи задач первоначально были включены в гл. 10. Решения задач 107, 109, 112 и 113 можно получить как ме тодами двойственности, так и непосредственно при помощи прин ципа максимума. К задаче 112 сводится задача Улама о совмещении отрезков. Задача 110 решена Боргом [1], задача 111— А. М. Ляпуно вым [1]. Решение задачи 113 см. Розов [1].
