![](/user_photo/2706_HbeT2.jpg)
А.В.Шатина МО 2012 версия 20.09.2013
.pdf![](/html/2706/112/html_gsdqJOyobo.Fjbo/htmlconvd-ytccF4161x1.jpg)
161
12.10.
2 |
|
|
|
|
dt extr; |
|
|
|
|
|
|
2 |
|
2 |
|
|
|||
|
|
x |
|
x 0 0, |
x 0 0, x |
1. |
|||
x |
|
|
|||||||
|
|
|
|
|
|
|
|
2 |
|
0 |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
Занятие 13. Задача оптимального управления
Класс задач оптимального управления возник в 50-е годы 20-го века. Эффективным средством исследования задач оптимального управления является принцип максимума Понтрягина, представляющий собой необходимое условие оптимальности в таких задачах. Принцип максимума, сформулированный Понтрягиным Л. С. в 1953 году и впоследствии доказанный его учениками и единомышленниками, представляет собой одно из крупных достижений современной математики. Принцип максимума Понтрягина существенно обобщает и развивает основные результаты классического вариационного исчисления, созданного Эйлером, Лагранжем и другими выдающимися математиками прошлого. В качестве обязательного условия в решении задачи оптимального управления входит решение вспомогательной задачи на максимум.
Для единообразия с пройденным материалом будем рассматривать задачу на минимум, принцип максимума Понтрягина сформулируем в лагранжевой форме, а соответствующее условие назовем условием оптимальности. В отличие от задачи Лагранжа в задаче оптимального управления вводится управление и появляется дополнительное ограничение типа включения на управление: u U , определяющее возможность человека влиять на происходящий процесс.
Постановка задачи. Задачей оптимального управления
называется следующая задача:
|
B0 inf; |
|
|
|
|
B 0, i 1,...,l, |
|
||
|
i |
|
|
|
|
B j 0, j l 1,..., m, |
(1) |
||
x t t, x t ,u t 0 |
t T , |
|||
|
|
|
|
|
|
u t U |
t , |
|
(2) |
где x ,u ,t |
,t , x KC1 |
, Rn , |
u KC , Rr , t |
,t , |
0 |
1 |
|
0 |
1 |
![](/html/2706/112/html_gsdqJOyobo.Fjbo/htmlconvd-ytccF4162x1.jpg)
162
t0 t1 , |
|
– заданный конечный отрезок, U |
|
||
жество, |
принадлежащее пространству |
R |
r |
, |
|
|
точек непрерывности управления u ,
– произвольное мно-
T |
– множество |
|
|
|
|
t1 |
t0 , x t0 ,t1, x t1 |
|
|
Bi fi t, x t ,u t dt i |
i 0,1,..., m , |
||||||
|
|
|
|
t0 |
|
|
|
KC , R |
n |
|
– пространство кусочно-непрерывных на отрезке |
||||
|
|||||||
вектор-функций, |
|
|
|||||
KC |
1 |
, R |
n |
– пространство непрерывных на отрезке вектор- |
|||
|
|
||||||
функций, имеющих кусочно-непрерывную производную. |
|||||||
|
|
Условие (1) называется |
дифференциальной связью, оно |
должно выполняться во всех точках непрерывности вектор-
функции u u1 ,...,ur .
В отличие от задачи Лагранжа имеется ограничение (2) типа |
|||
включения, а фазовая переменная |
x x1 |
,..., xn |
может |
иметь меньшую гладкость. |
|
|
|
Определение. Элемент x ,u ,t0 ,t1 , |
для которого вы- |
полнены все указанные условия и ограничения, называется допу-
стимым или допустимым управляемым процессом. |
▲ |
||||||
|
Определение. |
Допустимый |
управляемый |
процесс |
|||
ˆ |
ˆ |
ˆ |
ˆ |
ˆ |
|
|
|
|
x ,u ,t0 |
,t1 называется локально оптимальным (или опти- |
мальным в сильном смысле процессом), если 0 такое, что
для |
любого |
|
|
допустимого |
|
управляемого |
процесса |
||||||||||
x ,u ,t0 ,t1 |
, |
|
|
|
|
|
удовлетворяющего |
условиям |
|||||||||
x x |
C ,R |
n |
|
, |
|
t |
|
tˆ |
|
|
, |
t |
tˆ |
, выполнено |
неравен- |
||
|
|
|
|||||||||||||||
ˆ |
|
|
|
|
|
|
0 |
0 |
|
|
|
1 |
1 |
|
|
||
|
|
|
|
ˆ |
|
|
|
|
|
|
|
▲ |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ство B0 B0 . |
|
|
|
|
|
|
|
|
|
|
|||||||
Теорема. |
|
|
|
|
|
ˆ |
ˆ |
ˆ |
ˆ |
ˆ |
оптимальный в сильном |
||||||
Пусть x ,u ,t0 ,t1 |
|||||||||||||||||
смысле |
процесс |
в |
задаче |
оптимального управления, |
функции |
fi i 0,1,..., m , и их частные производные по x непрерывны в некоторой окрестности множества t, xˆ t t U , а функции
![](/html/2706/112/html_gsdqJOyobo.Fjbo/htmlconvd-ytccF4163x1.jpg)
163
i |
i 0,1,..., m |
непрерывно |
дифференцируемы |
||||||
окрестности точки t0 |
, x t0 |
,t1, x t1 . |
|
|
|||||
|
|
ˆ |
ˆ ˆ |
ˆ |
ˆ ˆ |
|
|
||
|
Тогда найдутся множители Лагранжа |
||||||||
|
|
, p R |
m1 |
|
1 |
n |
, , p 0 |
||
|
|
|
|
KC , R |
|
в некоторой
такие, что для функции Лагранжа задачи
|
t |
|
|
|
|
|
|
|
|
1 |
f t, x t ,u t p t x t t, x t ,u t dt l t |
|
, x t |
|
,t |
, x t |
, |
|
|
|
||||||
|
|
0 |
|
0 |
1 |
1 |
|
|
|
|
|
|
|||||
|
t |
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
где
f t, x,u |
m |
i |
|
|
|
|
i 0 |
f |
i |
t, x,u ,l t |
0 |
, x t |
0 |
, t |
, x t |
|
|
|
|
1 |
1 |
|
m |
|
t |
|
|
, |
||
i |
i |
0 |
|
i 0 |
|
|
|
x t |
0 |
,t |
, |
|
1 |
|
x t1
,
выполнены условия: |
|
|
|
|
|
|
|
|
|
а) стационарности по x |
– уравнение Эйлера для лагранжиана |
||||||||
L f t, x,u p t x t, x,u |
: |
||||||||
|
|
|
|
|
|
|
|
|
|
|
d |
ˆ |
|
|
ˆ |
|
t T ; |
|
|
dt |
Lx |
t Lx t 0 |
|
||||||
|
|
|
|
|
|
|
|
|
|
б) трансверсальности по x для терминанта |
|
||||||||
|
|
m |
|
|
|
|
|
|
|
l |
i i t0 , x t0 ,t1, x t1 : |
|
|||||||
|
i 0 |
|
|
|
|
|
|
|
|
ˆ |
ˆ |
ˆ |
|
|
ˆ |
ˆ |
|
|
|
|
|
t |
|
lx t |
, |
|
|||
Lx t0 lx |
p t0 |
|
|||||||
|
|
|
|
0 |
|
|
0 |
|
|
ˆ |
ˆ |
|
ˆ |
|
|
ˆ |
ˆ |
|
|
Lx |
lx t |
|
|
|
|
||||
t1 |
p t1 lx t ; |
|
|||||||
|
|
|
|
1 |
|
|
1 |
|
в) оптимальности по u : |
|
|
|
|
|||
min L t, x t , x t ,u t L t, x t , x t ,u t t T |
|||||||
ˆ |
|
|
|
ˆ |
|
ˆ |
|
ˆ |
|
|
ˆ |
|
|||
u U |
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
t p t t |
t T ; |
min f t, x t ,u p t t, x t ,u f |
|||||||
ˆ |
|
|
ˆ |
|
ˆ |
|
|
u U |
|
|
|
|
|
|
|
г) стационарности по t0 , t1 (только для подвижных концов |
|||||||
отрезка интегрирования): |
|
|
|
|
|
||
ˆ |
0 |
|
ˆ ˆ |
ˆ |
ˆ |
ˆ |
|
t0 |
f t0 |
lt0 |
lx t0 |
x t0 0, |
|
||
|
|
|
|
|
|
ˆ |
|
ˆ |
0 |
|
ˆ ˆ |
ˆ |
ˆ |
ˆ |
|
t |
f t1 |
lt |
lx t x t1 0 ; |
|
|||
1 |
|
|
|
1 |
1 |
ˆ |
|
|
|
|
|
|
д) дополняющей нежесткости:
![](/html/2706/112/html_gsdqJOyobo.Fjbo/htmlconvd-ytccF4164x1.jpg)
164 |
|
|
i Bi 0, |
i 1,...,l ; |
|
е) неотрицательности: i 0, |
i 0,1,...,l . |
■ |
Пример 1. Решить экстремальную задачу:
4 |
|
|
2x dt extr; |
|
|
2 |
|
|
x |
|
|
0 |
|
|
|
x
1,
x 0
3
.
Решение: Приведем задачу к виду задачи оптимального управления. Для этого введем управление u x . Сначала решим задачу на минимум, а затем – на максимум.
|
4 |
u |
|
2x dt min; |
|
I. |
|
2 |
|
||
|
|
u 1, x 0 3, x |
|||
|
0 |
|
|
|
|
Составим функцию Лагранжа задачи:
u
.
|
4 |
|
0 |
u |
|
2x |
|
|
2 |
||||
|
|
|||||
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
p x u dt
|
x 0 |
1 |
|
3
.
Выпишем необходимые условия локального минимума:
а) уравнение Эйлера для лагранжиана |
|
|
||||||||
|
|
L u |
|
2x |
p x u |
|
|
|||
|
|
|
0 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
d |
Lx |
Lx 0 |
d |
p 2 0 |
0 |
; |
|||
dt |
dt |
|||||||||
|
|
|
|
|
|
|
|
б) условия трансверсальности для терминанта
L 0 l |
x 0 |
p 0 |
, |
|||
x |
|
|
|
1 |
|
|
Lx 4 lx 4 p 4 0 |
; |
|||||
в) условие оптимальности по u : |
|
|
|
|||
min 0u |
2 |
|
ˆ |
2 |
|
ˆ |
|
pu 0u |
|
pu ; |
|||
u 1;1 |
|
|
|
|
|
|
l |
x 0 3 |
1 |
|
Слагаемые в лагранжиане, не содержащие управление u , здесь опущены, так как они выступают в роли аддитивных постоянных и uˆ от них не зависит.
г) условие неотрицательности:
0 0 .
Если 0 0, то из уравнения Эйлера следует, что p const , тогда из условия трансверсальности получим p t 0, 1 0, т.е.
![](/html/2706/112/html_gsdqJOyobo.Fjbo/htmlconvd-ytccF4165x1.jpg)
165
все множители Лагранжа обращаются в ноль. Поэтому 0 Положим 0 1. Тогда из уравнения Эйлера получим:
|
|
p 2, p 2t C1 . |
||||
|
|
|
|
|
|
|
Так как |
p 4 0 , то |
p t 2t 8 |
и 8 p t |
|||
Условие оптимальности принимает вид: |
||||||
|
|
min u |
2 |
|
ˆ 2 |
ˆ |
|
|
|
pu u |
pu . |
||
|
|
u 1;1 |
|
|
|
|
0
на отрезке
0 .
0;4
.
Графиком функции |
u |
торой направлены вверх,
(рис. 13.1). Поэтому
u |
2 |
pu |
является парабола, ветви |
||||
|
|||||||
|
|
|
|
|
p |
|
|
а вершина имеет координаты |
|
|
; |
||||
|
2 |
||||||
|
|
|
|
|
|||
|
|
|
|
|
|
ко-
p |
2 |
|
|
|
|
4 |
|
|
|
|
p |
, |
если |
p |
|
|
|
2 |
2 |
||
ˆ |
|
|
|||
u |
|
|
|
|
p |
|
|
1, если |
|||
|
|
||||
|
|
2 |
|||
|
|
|
|
||
|
|
|
|
|
С учетом того, что
1, |
t 4, если t 4 1, |
|
|
|
|
x |
||
ˆ |
1, если t 4 1. |
|
1. |
||
|
||
t 0;4 , получаем: |
|
t 4, |
если 3 t 4, |
|
|
t 4 |
2 |
|
|
|
|
|
|
|
|
C |
, |
если 3 t 4, |
||||
|
|
|
|
|
2 |
|
||||
x |
|
x |
|
1 |
|
|
||||
ˆ |
1, если 0 t 3. |
|
ˆ |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
, если 0 t 3. |
|||
|
|
|
|
|
t C2 |
Рис. 13.1
![](/html/2706/112/html_gsdqJOyobo.Fjbo/htmlconvd-ytccF4166x1.jpg)
166
Так
функции
как |
x 0 |
|
ˆ |
в точке |
|
x |
3, |
то |
C2 3 |
. Из |
условия непрерывности |
||||
t 3 |
найдем константу C1: |
|||||||
1 |
C 3 C |
|
C |
|
1 |
. |
||
|
2 |
|
||||||
2 |
|
1 |
|
1 |
|
2 |
|
|
|
|
|
|
|
|
|
В итоге получаем единственно возможную экстремаль
|
|
|
|
|
|
|
|
3 t, если 0 t 3, |
|
||||
ˆ |
|
2 |
8t 15 |
|
|
|
|
|
|
|
|||
x t |
|
, |
если 3 |
t 4. |
||
|
|
|
|
|||
|
|
|
2 |
|
|
|
|
Покажем |
с |
|
|
помощью |
непосредственной |
|
проверки, |
что |
|||||||||||||||||||||||
найденная функции |
ˆ |
|
доставляет абсолютный минимум в за- |
|||||||||||||||||||||||||||||
x t |
||||||||||||||||||||||||||||||||
даче. Возьмем допустимую функцию |
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
x t x t h t . Из условий |
|||||||||||||||||||||||||||||||
задачи получим ограничения для функции h t : |
|
; |
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
x 0 0 x 0 h 0 0 h 0 0 |
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 1 x h 1. |
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
x 1 |
x h |
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|||
|
Оценим разность |
|
ˆ |
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
B x h B x : |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
|
|
|
|
4 |
|
2 |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 2x dt |
|
|||||||||
|
B x h B x |
x |
h |
|
|
|
|
|
|
|
dt |
|
||||||||||||||||||||
|
|
|
|
2 x h |
|
|
||||||||||||||||||||||||||
|
|
ˆ |
|
|
|
|
|
|
ˆ |
|
|
|
ˆ |
|
|
|
|
|
|
ˆ |
|
|
|
|
|
ˆ |
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
||
|
|
4 |
2xh h |
|
2h dt 2xh |
|
4 |
|
|
4 |
2x 2 hdt |
|
4 |
|
|
|
|
|||||||||||||||
|
|
|
2 |
|
|
|
|
|
|
2 |
dt |
|
||||||||||||||||||||
|
|
|
|
h |
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
ˆ |
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|||||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
0 |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
3 |
|
|
|
|
4 |
|
|
|
4 |
|
|
|
|
|
|
3 |
|
|
4 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
2hdt |
|
0 hdt |
|
2 |
dt |
2 |
|
hdt |
|
dt . |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
h |
|
|
|
h |
|
|
|
||||||||||||||||
|
|
|
|
|
|
0 |
|
|
|
|
3 |
|
|
|
0 |
|
|
|
|
|
|
0 |
|
|
0 |
|
|
|
|
|
|
|
|
При t 0;3 справедливо двойное неравенство |
|
|
|
|
|
|
|||||||||||||||||||||||||
|
0 h 2 . Так |
|||||||||||||||||||||||||||||||
как |
h 0 0 |
|
и |
|
|
h t |
не |
убывает |
на |
отрезке |
|
|
0;3 , |
то |
||||||||||||||||||
h t 0 t 0;3 . |
|
|
|
Следовательно, |
|
|
|
|
ˆ |
|
|
|
|
|
ˆ |
|
|
и |
||||||||||||||
|
|
|
|
|
B x h B x 0 |
|||||||||||||||||||||||||||
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x absmin з . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
II. Приступим к решению задачи на максимум, сведя пред- |
|||||||||||||||||||||||||||||||
варительно ее к задаче на минимум: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u |
2 |
|
2x dt min; |
u 1, |
|
|
|
|
u . |
|
|
|
|
|||||||||||||||||
|
|
|
|
x 0 3, x |
|
|
|
|
0
![](/html/2706/112/html_gsdqJOyobo.Fjbo/htmlconvd-ytccF4167x1.jpg)
167
Функция Лагранжа имеет вид:
|
4 |
|
0 |
u |
|
2x |
|
|
2 |
||||
|
|
|||||
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
p x u dt
|
x 0 |
1 |
|
3
.
Выпишем необходимые условия локального минимума: а) уравнение Эйлера для лагранжиана
L 0 u 2 2x p x u :
|
d |
|
dt |
||
|
p 2 0
0
;
б) условия трансверсальности для терминанта
|
|
l 1 x 0 3 : |
|
|
|
|
|||
|
|
p 0 1, |
p 4 0 |
, |
|
||||
в) условие оптимальности по u : |
|
|
|
|
|||||
min |
u |
2 |
pu u |
2 |
|||||
u 1;1 |
0 |
|
0 |
ˆ |
|
||||
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
puˆ
;
г) условие неотрицательности:
|
|
|
|
|
|
|
|
|
|
|
|
0 0 . |
|
|
|
|
|
0 |
|
Аналогично пункту I можно показать, |
что 0 0 . Положим |
||||||||||||||
1. Тогда из уравнения Эйлера получим: |
p 2, p 2t C1 . |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Так как p 4 0 , то |
p t 2t 8 и |
0 p t 8 при t 0;4 . |
|||||||||||||||
|
|
|
Условие оптимальности принимает вид: |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
min u |
2 |
|
ˆ |
2 |
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
pu u |
|
pu . |
|
|||
|
|
|
|
|
|
|
|
|
|
u 1;1 |
|
|
|
|
|
|
|
|
|
|
Графиком функции u u 2 |
pu является парабола, вет- |
|||||||||||||
ви |
которой направлены вниз, а |
вершина |
имеет координаты |
||||||||||||||
|
|
p |
|
p |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
ˆ |
|
|
ˆ |
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
x t D1 . |
|
|
2 |
4 |
|
|
(рис. 13.2). Поэтому u 1 x 1 |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Так как |
|
xˆ 0 3 |
, то |
ˆ |
|
|
|
|
|
|
|
||||||
|
|
|
|
x t t 3. |
|
|
|
|
|
Выполним непосредственную проверку полученного решения. Рассмотрим допустимую функцию x xˆ h . Из ограничений задачи получим:
![](/html/2706/112/html_gsdqJOyobo.Fjbo/htmlconvd-ytccF4168x1.jpg)
|
|
|
|
|
|
|
|
168 |
|
|
|
|
|
|
|
|
|
|
|
x 0 0 h 0 0 |
, |
|
|
|
|
|
|||||||
|
x 1 1 h 1 2 h 0 . |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Оценим разность |
|
|
|
ˆ |
h |
|
ˆ |
|
|
|
|
|
|
|
||
B x |
B x : |
|
|
|
|
|
|
|||||||||
|
|
4 |
|
|
2 |
|
|
|
4 |
|
2 |
|
||||
B x h B x |
|
|
|
|
|
2 x |
h |
|
|
|
x 2x dt |
|||||
|
|
x h |
|
dt |
|
|||||||||||
ˆ |
ˆ |
ˆ |
|
|
|
ˆ |
|
|
ˆ |
|
ˆ |
|||||
0 |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
0 |
|
|
|
|||||
|
4 |
|
|
|
|
|
|
|
4 |
|
|
|
|
4 |
|
|
|
2xh h |
|
|
2h dt 2 h hdt 2 hdt . |
|
|||||||||||
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
0 |
|
|
|
|
|
|
|
0 |
|
|
|
|
0 |
|
|
Рис. 13.2
Так как возрастает на
2 h
отрезке
0 , то |
|
0 . А так как |
h 0 |
||
2 h h |
|||||
0;4 в силу условия |
|
0 , то h t |
|||
h |
0
0
и h на
не от-
резке
0;4
,
4
следовательно, hdt 0. Таким образом,
B x h B x 0 |
|
ˆ |
ˆ |
и
xˆ absmax
з
.
0
Ответ:
|
3 t, если 0 t 3, |
|
|
|
|
|
||||
ˆ |
|
2 |
8t 15 |
|
absmin з , |
Smin |
35 |
; |
||
x t |
|
|
|
|
|
|||||
|
|
|
|
|
, если 3 |
t 4. |
|
3 |
|
|
|
|
|
|
|
|
|||||
|
|
|
2 |
|
|
|
|
|
|
![](/html/2706/112/html_gsdqJOyobo.Fjbo/htmlconvd-ytccF4169x1.jpg)
169
ˆ |
absmax з , S |
x t t 3 |
|
|
max |
30
.
●
Пример 2. Решить экстремальную задачу:
4 xdt min;
0
x
2, x 0 x 4 0,
x 0 0,
x 4
0
.
Решение: Сведем поставленную задачу к задаче оптимального управления. Для этого вместо функции x введем вектор-
функцию x1 , x2 и управление u , где x1 x, x2 x , u x Тогда получим задачу:
4 |
|
|
0 x |
4 0, |
|
x dt min; |
u 2, x |
||
1 |
1 |
1 |
|
|
0 |
|
|
|
|
x |
x |
|
0, |
x |
|
u |
|
|
2 |
|
|
2 |
|
1 |
|
|
|
|
x |
2 |
0 0, x |
2 |
4 0, |
|
|
|
||
0 . |
|
|
|
Составим функцию Лагранжа задачи:
|
4 |
x |
p |
x |
|
x |
|
p |
|
x |
|
u dt |
x |
0 x |
4 |
||||
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
1 |
1 |
1 |
|
2 |
|
2 |
|
2 |
1 |
1 |
1 |
|
|||
|
0 |
|
|
|
|
0 x |
|
4 . |
|
|
|
|
|
|
|
|
|||
|
2 |
x |
2 |
2 |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
Выпишем необходимые условия локального экстремума:
а) система уравнений Эйлера для лагранжиана
L0 x1 p1 x1 x2
dtd Lx1 Lx1 0 dtd
|
d |
L |
L |
|
|
0 |
d |
|
x |
|
|
||||
|
dt |
x |
2 |
2 |
|
dt |
|
|
|
|
|
||||
|
|
|
|
|
|
p2 x2 u : |
|||
|
|
|
|
p1 0 |
0 , |
||
p |
2 |
p |
0 |
|
1 |
|
;
б) условия трансверсальности для терминанта |
||||||||||
l 1 |
x1 |
0 x1 |
4 2 x2 0 3 x2 |
4 : |
||||||
|
L |
|
0 l |
x1 |
0 |
p |
0 , |
|
||
|
x1 |
|
|
1 |
1 |
|
||||
L 4 l |
x1 |
4 |
p |
4 , |
|
|||||
|
x1 |
|
|
|
1 |
1 |
|
|||
|
Lx |
0 lx |
0 |
p2 |
0 2 , |
|
||||
|
|
2 |
|
|
2 |
|
|
|
|
|
L 4 l |
x2 |
4 |
p |
2 |
4 ; |
|
||||
|
x2 |
|
|
|
3 |
|
в) условие оптимальности:
![](/html/2706/112/html_gsdqJOyobo.Fjbo/htmlconvd-ytccF4170x1.jpg)
170
|
|
|
|
|
|
|
2, |
p |
2 |
0, |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
min |
|
|
ˆ |
ˆ |
|
|
p2 |
0, |
|
|
|||
|
|
|
|
|
|
|
|
|
|||||||
|
|
p2u p2u u 2, |
|
|
|
||||||||||
|
|
u 2;2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2;2 , |
p |
2 |
0. |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
г) условие неотрицательности: 0 0 . |
|
|
|
|
|
|
|
||||||||
Если 0 0 |
, то из а) следует, что |
p1 |
t const , а так как |
||||||||||||
p1 0 p1 |
4 0, |
то p1 t 0. Тогда из второго уравнения Эйлера |
|||||||||||||
получим |
p2 t C . |
Если |
C 0 , |
то |
из |
б) |
|
следует, |
что |
||||||
1 2 3 0 , т.е. все множители Лагранжа равны нулю. Если |
|||||||||||||||
C 0 |
|
ˆ |
|
ˆ |
2t C1 |
|
|
|
|
|
|
|
|
|
|
, то |
ˆ |
. В этом случае приходим к |
|||||||||||||
u 2 x2 |
2 x2 |
||||||||||||||
противоречию с |
|
|
|
|
ˆ |
|
|
|
|
|
|
ˆ |
Если |
||
краевыми условиями x2 0 0, x2 4 0. |
|||||||||||||||
C 0 |
|
ˆ |
|
|
ˆ |
2t |
C1 |
|
|
|
|
|
|
|
|
, то |
ˆ |
|
. Снова не выполняют- |
||||||||||||
|
u 2 x2 |
2 x2 |
|||||||||||||
ся краевые условия для функции |
ˆ |
|
|
|
|
|
0 |
0 . |
|
||||||
x2 t . Поэтому |
|
|
Положим |
|
p |
0 p |
4 |
1 |
1 |
|
лера
0 1. Тогда
0, то p1 t t
p |
|
2 t, |
|
2 |
|
|
|
p1 |
1, |
~ |
. Так как |
p t C |
|||
|
|
|
|
2 |
. Тогда из второго уравнения Эй- |
|
t 2 |
|
p2 t |
2 |
|
2 |
C . |
|
|
|
Графиком функции |
p2 t является парабола, ветви которой |
направлены вниз, а осью симметрии является прямая t 2 . При этом функция p2 t на отрезке 0;4 обязательно должна поменять знак (рис. 13.3), в противном случае придем к противоречию
с краевыми условиями для функции |
ˆ |
t . |
|
|
|||
x2 |
|
|
|||||
Из условия оптимальности получим: |
|
|
|||||
|
2, t 0; , |
|
|
|
2t C1 , t 0; , |
||
|
|
|
|
|
2t C2 |
, t ;4 , |
|
u x2 |
2, t ;4 , |
x2 |
|||||
ˆ ˆ |
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
, t 4 ;4 . |
|
2, t 4 ;4 . |
|
|
|
2t C3 |