2.1. Функционалы, зависящие от одной функции
На множестве M задан функционал
∫
′
=
1
0
,))(),(,())((
x
x
dxxyxyxFxyJ
где подынтегральная функция F(x,y,y
′
) имеет непрерывные частные
производные до второго порядка включительно по всем переменным.
Среди допустимых кривых y(x), принадлежащих множеству M,
требуется найти кривую y
*
(x), на которой функционал достигает экстремума,
то есть
.))(),(,())((
1
0
)(
*
∫
′
=
∈
x
x
Mxy
dxxyxyxFxyJ
extr
(1)
Так как на кривые y(x), образующие множество M , не наложено
дополнительных условий, кроме граничных, то поставленная задача
называется задачей поиска безусловного экстремума.
Стратегия поиска решения задачи (1) состоит в определении первой
вариации δJ функционала J(y(x)) и приравнивании ее к нулю согласно
теореме о необходимом условии экстремума функционала. В результате
получаются соотношения, позволяющие найти кривые, “подозрительные” на
наличие экстремума функционала. С помощью анализа второй вариации
функционала выводятся достаточные условия экстремума, позволяющие
сделать вывод о достижении минимума или максимума.
Теорема 2. Если на кривой y
*
(x), удовлетворяющей граничным
условиям y
*
(x
0
) = y
0
, y
*
(x
1
) = y
1
, достигается экстремум функционала в задаче
(1), то она удовлетворяет уравнению Эйлера
.0=−
′
yy
F
d
F
В развернутой форме уравнение Эйлера имеет вид
.0=−+
+
′′′′
yyxyyyy
FFFyFy
Уравнение Эйлера представляет собой дифференциальное уравнение
второго порядка относительно неизвестной функции y(x). Общее решение
этого уравнения содержит две произвольные постоянные C
1
и C
2
, которые
должны определиться из граничных условий.
Интегральные кривые уравнения Эйлера называются экстремалями.
Только на удовлетворяющих граничным условиям экстремалях может
реализовываться экстремум.
Итак, для того чтобы применить необходимые условия экстремума в
задаче (1) надо выполнить следующие действия.
1. Найти
yyy
F
d
FF
′′
,, и записать уравнение Эйлера.
2. Найти общее решение уравнения Эйлера y = y(x,C
1
,C
2
).
3. Определить постоянные C
1
и C
2
из граничных условий, решая
систему
y(x
0
, C
1
, C
2
) = y
0
,