Подставляя соотношения (4.2.12) вместо функций x(t) и xɺ(t)в интеграл (4.2.9), получим
I(ε)= t∫f F(x + εη, xɺ+ εηɺ,t)dt .
t0
Разложив подынтегральную функцию в последнем выражении в ряд Тейлора вблизи оптимальной траектории, получим
t f |
|
∂F |
|
∂F |
|
2 |
3 |
|
I(ε)= ∫ |
F(x, x,t)+ εη |
|
+ εη |
|
+ члены с ε |
|
,ε |
,... dt . (4.2.13) |
|
ɺ |
∂ x |
ɺ |
∂ xɺ |
|
|
|
|
t0 |
|
|
|
|
|
|
Необходимым условием экстремума критерия I является равенство нулю частной производной выражения (4.2.13) по ε, откуда следует, что
t f |
|
∂F |
+ ηɺ |
∂F |
|
∫ |
|
|
|
(4.2.14) |
|
|
η |
∂ x |
dt = 0 . |
||
t0 |
|
|
∂ xɺ |
|
Второе слагаемое в последнем выражении интегрируем по частям
t f |
ɺ |
∂F |
∂F |
|
t f |
t f |
|
d |
∂F |
|
||
|
|
|
||||||||||
∫ |
dt = η |
|
|
|
− |
∫ |
η |
|
|
dt . |
(4.2.15) |
|
η |
|
|
|
|
||||||||
|
ɺ |
ɺ |
|
|
|
|
|
|
ɺ |
|
||
t0 |
|
∂ x |
∂ x |
|
t |
0 |
t0 |
|
dt |
∂ x |
|
|
|
|
|
|
|
||||||||
Учитывая нулевые граничные условия, налагаемые на функцию η(t) (4.2.12), первое слагаемое в выражении (4.2.15) обратится в нуль, и окончательно условие (4.2.14) преобразуется в уравнение
216
t f |
|
∂F |
|
d |
|
∂F |
|
|
∫ |
η |
∂ x |
− |
|
|
∂ xɺ |
dt = 0 . |
|
|
||||||||
t |
0 |
|
|
dt |
|
|
||
|
|
|
|
|
|
|
|
|
Поскольку последнее уравнение должно выполняться для произвольной функции η, нулю должно равняться выражение в квадратных скобках
∂F |
|
d |
|
∂F |
|
|
|
|
− |
|
|
|
|
= 0 . |
(4.2.16) |
|
|
|
|||||
∂ x |
|
|
|
∂ xɺ |
|
|
|
|
dt |
|
|
|
|||
Уравнение (4.2.15) известно как уравнение Эйлера-Лагранжа. Соответствующий многомерный вариант этого уравнения имеет вид
gradxF − |
d |
(grad• F) = 0 , |
(4.2.17) |
|
dt |
||||
|
x |
|
где обозначено
|
|
|
∂ |
|
∂ |
|
∂ |
|
T |
grad |
|
= |
|
|
|
... |
|
|
. |
|
∂ x |
|
∂ x |
∂ x |
|
||||
|
x |
|
|
|
|
|
|||
|
|
|
1 |
2 |
|
|
n |
||
Уравнение Эйлера-Лагранжа является необходимым условием экстремума функционала (4.2.9), поэтому только на интегральных кривых уравнения Эйлера-Лагранжа, удовлетворяющих граничным условиям (4.2.10), может реализовываться минимум критерия I. Интегральные кривые уравнения Эйлера-Лагранжа называются экстремалями. Экстремали, удовлетворяющие граничным условиям, определяют путём решения краевой задачи. Это решение не всегда существует, а если и суще-
217
ствует, то не всегда единственное, а если единственное, то не всегда его можно найти, то есть проинтегрировать уравнение Эйлера-Лагранжа.
Положение облегчается тем, что во многих случаях синтеза оптимальных САУ из физических или геометрических соображений довольно просто устанавливается существование решения, его единственность и то, что это решение реализует минимум критерия. Если же решений всетаки несколько, то после вычисления критерия на каждом из этих решений выбирается то из них, на котором критерий достигает наименьшей величины.
Решение уравнения Эйлера-Лагранжа в аналитическом виде возможно
вследующих случаях.
1.Функция F не зависит от xɺ , то есть является функцией только x и t: F(x,t).
2.Функция F не зависит явно от времени F = F(x, xɺ).
3.Функция F не зависит от x F = F(xɺ,t)или F = F(xɺ).
4.Функция F линейна относительно xɺ , то есть имеет, например, вид F = α(x,t)+ xɺ β(x,t).
Случай подвижных конечных точек.
Теперь рассмотрим задачу минимизации интеграла, когда конечная точка не фиксирована, а лежит на некоторой кривой. Типичный пример такого случая – задача перехвата, когда, например, самолёт-перехватчик, стартуя из заданной начальной точки, должен сблизиться с перехватываемым самолётом, летящим по определённой траектории, затратив при этом минимальное количество топлива.
218
По-прежнему, оптимальную траекторию обозначим через x(t), а близкую к ней неоптимальную – через x(t). Начальные условия для x(t) зада-
ны: x(t0 )= x0 , а конечная точка лежит на кривой с уравнением x = c(t)
(рис. 4.2). |
|
|
|
|
|
Подставляя в |
интеграл |
(4.2.9) вместо оптимальной |
траектории |
||
|
|
|
|
|
|
x(t)и x(t) отличающуюся от неё неоптимальную x(t)и x(t) соответствен- |
|||||
ɺ |
|
|
|
ɺ |
|
но и меняя верхний предел в интеграле на величину tf |
+ εδ tf |
, получим |
|||
|
I(ε)= |
t f +εδt f |
|
|
(4.2.18) |
|
∫ F(x + εη, x + εη,t)dt . |
|
|||
|
|
ɺ |
ɺ |
|
|
|
|
t0 |
|
|
|
x(t) |
|
|
|
|
|
|
|
εη(tf ) |
|
|
|
|
x(t) |
|
x=c(t) |
|
|
|
|
|
|
||
|
|
x(t) |
|
|
|
|
t0 |
tf |
tf + εδ tf |
t |
|
Рис. 4.2. Задача с подвижной конечной точкой |
|
|
|||
Вариация δtf |
возникает потому, что конечная точка не фиксирована, |
||||
а расположена на кривой x=c(t). Действуя точно так же, как и в задаче с закреплённой конечной точкой, приходим к необходимому условию экстремума интеграла (4.2.18)
219
t f |
|
η |
∂F |
+ ηɺ |
∂F |
|
|
)δt |
|
= 0 . |
∫ |
|
|
|
dt + F(t |
f |
f |
||||
|
|
∂ x |
|
∂ xɺ |
|
|
|
|||
t0 |
|
|
|
|
|
|
|
|
Второе слагаемое под интегралом возьмём по частям и, проделав несложные преобразования, получим
t f |
|
∂F |
|
|
|
∂F |
|
|
|
|
|
|
∂F |
|
|
|
|
|
|
|
||
|
d |
|
|
∂F |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
∫ |
η |
|
− |
|
|
dt + η(t |
|
) |
|
|
|
− η(t |
|
) |
|
|
|
+ F(t |
|
)δt |
|
= 0 . (4.2.20) |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
∂ x |
|
|
|
ɺ |
f |
|
ɺ |
|
|
|
0 |
|
ɺ |
|
|
|
f |
|
f |
|
|
t0 |
|
|
dt |
∂ x |
|
|
∂ x |
|
t f |
|
|
|
∂ x |
|
t0 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Рассмотрение условий в конечной точке (рис. 4.2) позволяет связать η(tf ) и δtf (ввиду малости соответствующих вариаций):
xɺ(tf ) δtf + η(tf )= cɺ(tf ) δtf .
Из последнего уравнения следует, что
η(tf )= {cɺ(tf )− xɺ(tf )} δtf .
Подставляя выражение (4.2.21) в уравнение (4.2.20), получим
t f |
|
∂F |
|
d |
|
∂F |
|
|
|
)+ [cɺ(t |
|
|
|
)] |
∂F |
|
|
|
|
|
|
|
|
|
∂F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
∫ |
η |
− |
|
dt + |
F(t |
|
|
)− xɺ(t |
|
|
|
|
δt |
|
− η(t |
|
) |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
∂ x |
|
|
ɺ |
|
f |
|
f |
|
f |
|
ɺ |
|
|
|
|
f |
|
0 |
|
ɺ |
|
||||
t0 |
|
dt |
∂ x |
|
|
|
|
|
|
|
∂ x |
|
t f |
|
|
|
|
|
|
∂ x |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(4.2.21)
= 0 .
t0
Поскольку последнее уравнение должно выполняться при любых вариациях δtf , оно распадается на два условия
t f |
|
∂F |
|
d |
|
∂F |
|
|
|
∫ |
η |
|
− |
|
|
|
dt = 0 ; |
(4.2.22) |
|
|
|
|
|||||||
t |
0 |
|
∂ x |
|
dt |
|
∂ xɺ |
|
|
|
|
|
|
|
|
|
|
|
|
220