Ещё лекции / Глава__V
.pdf
Случай 4. |
Пусть функция F зависит лишь от x и y , |
т.е. |
|
F F ( x, y ) . |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
d |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F ( x, y ) С1 . |
|
|
|
|
|
|||||||||||||||
Найдем уравнение Эйлера |
|
|
|
|
|
|
|
|
|
|
|
F ( x, y ) |
|
0 |
|
, откуда |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
d x |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Полученное уравнение не содержит функции y . |
|
Решить его можно путем |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
непосредственного разрешения относительно y |
|
и дальнейшего интегрирования, |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
либо методом введения подходящего параметра (см. § 3). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
Пример 12.9. |
|
Пусть функционал описывает время перемещения из точки с |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
абсциссой a в точку с абсциссой b по кривой y y( x) со скоростью x . |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|||
Поскольку |
|
d s |
|
x , то искомый функционал имеет вид: |
|
|
|
|
|
|
1 ( y )2 |
d x . |
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
t( y( x)) |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
d t |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
x |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Тогда найдем уравнение Эйлера |
|
|
|
|
|
|
|
|
|
|
F ( x, y ) 0 |
, проинтегрировав это уравнение, |
|||||||||||||||||||||||||||||||||||||||||||||||||||
d x |
y |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
получим |
|
|
|
F( x, y ) С или |
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
С . |
Решим это уравнения методом введения |
|||||||||||||||||||||||||||||||||||||||||||
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 1 ( y )2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
параметра p . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Положим y tg p , |
тогда х |
1 |
|
|
|
|
|
y |
|
|
|
|
sin p |
|
или |
х С1 sin p , |
где С1 |
1 |
. |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
С |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
1 ( y )2 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
С |
||||||||||||||||
Тогда |
d y |
tg p |
|
или |
d y tg p d x tg p С cos p d p С sin p d p . |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
d x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
После интегрирования получаем |
|
|
y С1 cos p С2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
Итак, решение имеет вид: L : |
|
|
x С1 sin p , |
|
|
|
или |
|
|
|
L : x |
2 |
( y С2 ) |
2 |
2 |
, |
т.е. |
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
y С cos p С |
|
|
|
|
|
|
С1 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
это есть семейство окружностей с центром на оси Oy . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
Случай 5. |
Пусть функция F зависит от y и y , |
|
|
т.е. |
|
|
|
F F ( y, y ) . |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
Найдем уравнение Эйлера: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
F |
|
|
|
|
|
|
2 F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
y ( y, y |
) y y ( y, y |
) y ( x) y y ( y, y |
) y |
|
|
( x) 0 . |
|
|
(*) |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
Умножим это равенство на y , |
тогда левая часть примет вид: |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
F |
y ( x) |
|
2 F |
y ( x) |
2 |
|
|
|
|
|
|
2 F |
|
y ( x) y ( x) |
|
d |
|
|
|
|
y |
F |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F |
|
|
. |
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
y y |
|
|
|
y y |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d x |
|
|
|
y |
|
|
|
|
|
|
||||||||||||||||||||||
В силу равенства (*) имеет место уравнение |
|
|
d |
|
|
y |
F |
0 , |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d x |
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
после интегрирования которого получим |
|
F y |
F |
С1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
y
Решение этого уравнения можно найти либо, разрешив его относительно y , либо с помощью метода введения соответствующего параметра p (см. § 3).
Пример 12.10. (Задача о брахистохроне)
Найти кривую, соединяющую точки M1 (a, A) и M2 (b, B) , при движении по которой материальная точка скатится из M1 в M2 за кратчайшее в время (трением и сопротивлением среды пренебречь).
Р е ш е н и е . Поместим начало координат выбранной системы в точку M1 (a, A) ,
ось Ox направим горизонтально, а ось Oy вертикально вниз. |
Переобозначим в новой |
системе координат M1 (0, 0) , M2 ( x2 , y2 ) , где x2 b a , y2 |
B A . |
Скорость движения материальной точки под действием силы притяжения имеет вид:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d s |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2g y . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда функционалом будет время: |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t( y( x)) |
|
1 |
|
1 ( y )2 |
d x |
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2g |
|
|
|
|
|
|
|
y |
|
|
|
|
||||||
с закрепленными концами y(0) 0 и |
|
y( x2 ) y2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Найдем уравнение Эйлера: F y |
|
|
С или |
|
1 ( y )2 |
|
|
|
|
|
|
( y )2 |
|
|
|
С |
||||||||||||||||||||||||||||||
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
y 1 ( y ) |
2 |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
или |
|
1 |
|
|
|
С , откуда |
y 1 ( y )2 С1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
y 1 ( y )2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
С1 |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
С1 |
|
|
|
|
|
|||||||||
Сделаем замену y |
ctg p , тогда |
|
|
|
y 1 ctg2 |
p С1 sin |
|
|
p |
|
|
2 1 cos(2 p) . |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
Далее |
d x |
d y |
|
|
2С1 sin p cos p d p |
|
2С1 sin2 pd p С1 |
1 cos(2 p) d p . |
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
ctg p |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
С |
1 |
2 p sin(2 p) С2 . |
|
|||||||||||||||||||
После интегрирования x С1 p |
|
|
|
sin(2 p) |
С2 |
|
|
|
|
|||||||||||||||||||||||||||||||||||||
2 |
2 |
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
С |
1 |
|
2 p sin(2 p) , |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
x |
С2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
Итак, решение имеет вид: L : |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
С1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
2 1 cos(2 p) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
или при 2 p q
циклоид: L :
с учетом того, что
|
С |
1 |
|
q sin q , |
|
x |
|
|
|||
2 |
|||||
|
|
|
|||
С1 |
|
|
|||
|
|
|
|||
y |
2 1 cos q |
||||
С2 |
0 |
из условия y(0) 0 получаем семейство |
|||
, |
где |
|
С1 |
– радиус катящегося круга, который |
|
2 |
|||||
|
|
|
|||
определяется из условия, что искомая циклоида должна пройти через точку M2 .
Итак, брахистохроной является циклоида.
12.5.Задача на экстремум функционала с одним закрепленным и другим свободным концами.
Вариационная задача 2. Найти экстремум функционала
J y( x) b F ( x, y( x), y ( x))d x , |
(84) |
|||
a |
|
|
|
|
где F C2 ( ) , [a, b] |
|
, |
на функциях y y( x) |
таких, что y C2 ([a, b]) и |
выполнены краевые условия: |
|
|
|
|
y(a) A , |
|
, |
a, b, A . |
(87) |
|
|
|||
y(b) произвольно |
|
|
|
|
Теорема 12.2. Пусть |
F C2 ( ) , |
y C2 ([a, b]) |
и y ( x) |
является решением |
|
|||||
|
|
|
|
|
|
|
|
0 |
|
|
вариационной задачи 2. |
|
|
|
|
|
|
|
|||
Тогда y0( x) |
является решением уравнения Эйлера: |
|
|
|||||||
F |
|
|
d |
|
F |
|
|
|
|
|
y |
( x, y0( x), y0 |
( x)) |
|
|
y |
( x, y0( x), y0( x)) 0 |
для любого x [a, b] , |
(86) |
||
|
||||||||||
|
|
dx |
|
|
|
|
|
|||
удовлетворяющим условию 871 , т.е. |
y(a) A |
и условию свободного конца: |
|||||
|
F |
( x, y0( x), y0 |
|
|
0 . |
|
|
|
|
||||||
|
y |
( x)) |
|
(88) |
|||
|
|
|
|
x b |
|
|
|
|
|
|
|
|
|||
# Пусть y0( x) |
– решение вариационной задачи 2, т.е. на y0( x) функционал J должен |
|||||||||||||||||||
достигать экстремума. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
При этом из условия F C2 ( ) следует существование дифференциала Фреше |
||||||||||||||||||||
J ( y , h) , а в силу теоремы 11.2 |
J ( y , h) 0 для любой вариации h C1 ([a, b]) такой, |
|||||||||||||||||||
0 |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
что h(а) 0 , |
поскольку y0( x) h( x) |
|
|
|
|
|
А . |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
x |
a |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Как и при доказательстве теоремы 12.1 вычисляем |
|
|
|
|
||||||||||||||||
|
|
b |
F ( x, y ( x), y ( x)) |
|
|
|
d |
|
F |
( x, y ( x), y |
|
|
|
|||||||
J ( y , h) ... |
|
|
|
|
|
|
|
( x)) |
|
h( x)d x |
||||||||||
|
|
|
|
|
|
|||||||||||||||
0 |
|
y |
0 |
0 |
|
|
d x |
|
y |
0 |
0 |
|
|
|||||||
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
y |
( x, y0( x), y0( x)) h( x) |
|
|
|
|
|
|
|
|
|
(*) . |
||||||||
|
|
|
|
|
|
|
|
|
|
x b |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Решение y0( x) вариационной задачи 2 содержится среди экстремалей функционала J , а, значит, оно удовлетворяет уравнению Эйлера (86)
F |
|
|
|
d |
|
F |
|
|
|
|
y |
( x, y0 |
( x), y0 |
( x)) |
|
|
y |
( x, y0 |
( x), y0( x)) |
0 |
, |
|
||||||||||
|
|
|
dx |
|
|
|
|
|||
тогда из равенства (*) в силу J ( y0 , h) 0 следует равенство
|
F |
( x, y0( x), y0 |
|
|
0 |
|
y |
( x)) h( x) |
|
||
|
|
|
|
x b |
|
|
|
|
для любой вариации h C1 ([a, b]) |
или |
|
F |
( x, y0( x), y0 |
|
|
0 , т.е. условие (88). |
|
y |
( x)) |
|
||||
|
|
|
|
|
|
x b |
|
|
|
|
|
|
Итак, решение y0( x) вариационной задачи 2 является решением задачи |
|||||
(84),( 871 ),(88) . |
|
|
|
# |
|
|
F |
( x, y0( x), y0 |
|
|
0 называется |
|
|||||
Определение 12.2. Условие (88), т.е. |
y |
( x)) |
|
||
|
|
|
|
x b |
|
|
|
|
|||
условием трансверсальности на правом конце x b . |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
Замечание 12.5. |
Для задачи с левым незакрепленным концом или с обоими |
||||||||||||||||||||||||||||||||||
незакрепленными концами условие трансверсальности остается прежним. |
|
|
||||||||||||||||||||||||||||||||||
|
Пример 12.11. Пусть в задаче о брахистохроне левый конец закреплен в точке |
|||||||||||||||||||||||||||||||||||
M1 (0, 0) , а правый перемещается по прямой x x2 . |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Р е ш е н и е . |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Из примера 12.10 экстремалями функционала |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t( y( x)) |
|
|
1 |
|
|
1 ( y )2 |
d x |
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2g |
|
|
|
y |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
являются циклоиды из семейства: |
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
С |
1 |
|
q sin q , |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L : |
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
С1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
2 1 cos q |
|
|
|
|
|
|||||||||||
|
Чтобы определить С1 , воспользуемся условием трансверсальности |
|
|
|||||||||||||||||||||||||||||||||
|
F ( x, y ( x), y |
( x)) |
|
|
|
|
0 |
, т.е. |
|
|
y |
|
|
|
|
|
|
|
|
|
|
0 . |
Тогда y ( x |
|
) 0 . |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
y |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
y 1 ( y )2 |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
x x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x x2 |
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
Это означает, что циклоида должна пересекать прямую x |
x2 |
под прямым углом, т.е. |
|||||||||||||||||||||||||||||||||
точка M2 ( x2 , y2 ) |
находится в вершине циклоиды. А вершина циклоиды достигается при |
|||||||||||||||||||||||||||||||||||
q . Тогда |
x2 |
|
С1 |
|
или |
С1 |
2 x2 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Следовательно, экстремум этого функционала достигается на циклоиде: |
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
x |
2 |
|
q sin q , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
L* : |
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
1 |
cos q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Замечание 12.6. Если точка M2 ( x2 , y2 ) перемещается по некоторой кривой y ( x) , то условие трансверсальности принимает следующий вид:
|
F |
|
F ( y ) |
|
0 . |
|
y |
x x2 |
|
|
|
Аналогичное условие трансверсальности имеет место и на левом конце. |
||
§ 13. Задачи на экстремум функционалов, зависящих от вектор-функций, от производных порядка выше
первого и от функций многих переменных .
13.1. Экстремум функционала, зависящего от вектор-функций.
Пусть функционал имеет вид:
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
||||
J y( x) |
F ( x, y( x), y ( x))d x , |
|
(89) |
||||||||
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
где вектор-функция y( x) y1 ( x), ..., ym ( x) такая, что |
y |
C1([a, b]) , где C1 ([a, b]) – |
|||||||||
пространство непрерывно дифференцируемых на [a, b] вектор-функций с нормой
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
max |
y( x) |
max |
|
. |
|
|
|
|
|
|
y ( x) |
|
|||||
|
|
|
|
|
|
x [a,b] |
|
x [a,b] |
|
|
|
|
|
|
|
|
C1 |
|
|
m m . |
|||
|
|
|
|
|
|
|
|
||||
В формуле (89) подынтегральная функция F C2 ( 1 ) , где 1 [a, b] |
|||||||||||
Вариационная задача 3. Найти экстремум функционала (89) на вектор-функциях y( x)
таких, что y C2 ([a, b]) и
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
y(a) A , |
y(b) B . |
|
|
|
|
|
|
|
|
|
|
|
|
|
(90) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
Теорема 13.1. Пусть F C2 ( |
1 |
) , |
y C2 ([a, b]) и |
y ( x) |
– решение вариационной |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
задачи 3. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
Тогда вектор-функция |
|
|
является решением системы уравнений Эйлера : |
|||||||||||||||||||||||||||||
|
|
|
y0 ( x) |
||||||||||||||||||||||||||||||||
|
|
|
|
|
F |
|
|
|
|
|
|
|
|
d F |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
при любом x [a, b] |
(91) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
y |
|
( x, y( x), y ( x)) |
|
dx |
|
y |
( x, y( x), y ( x)) |
|||||||||||||||||||||||
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
для любого |
|
|
|
и удовлетворяет условиям (90) . |
|
|
|
|
|
||||||||||||||||||||||||||
j 1, m |
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
# Пусть функционал (89) достигает экстремума на вектор-функции |
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y0 ( x) y01 ( x), ..., y0m ( x) |
и y0 ( x) |
|
удовлетворяет краевым условиям (90) . |
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
h1 ( x), 0, ..., 0 , |
|
||
|
|
|
Рассмотрим множество допустимых вариаций вида: |
h( x) |
где |
||||||||||||||||||||||||||||||
функция h C1 |
([a,b]) |
|
и |
h (a) h (b) 0 . |
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
||
|
|
|
Тогда y01 ( x) |
доставляет экстремум функционалу |
|
|
|
|
|
||||||||||||||||||||||||||
|
J |
1 |
y ( x) J y ( x), y |
|
( x), ..., y |
|
|
( x) |
и удовлетворяет условиям |
|
|||||||||||||||||||||||||
|
|
|
1 |
|
|
|
|
1 |
|
02 |
|
|
|
|
|
|
0m |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
y01 (a) A1 , y01 (b) B1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
Тогда в силу теоремы 12.1 для первой координаты выполняется уравнение Эйлера: |
||||||||||||||||||||||||||||||||
|
F |
|
|
|
|
|
|
|
d F |
|
|
|
|
|
|
|
|
|
|
y1 ( x), y02 ( x), ..., y0m ( x) . |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
( x, y( x), y ( x)) |
|
|
|
|
|
|
( x, y( x), y ( x)) 0 , |
где |
y( x) |
||||||||||||||||||||||
|
y |
dx |
y |
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
Аналогично можно доказать эту формулу и для остальных |
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
j 2, m . |
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# |
||
|
|
|
Итак, y0 ( x) есть решение краевой задачи (91),(90). |
|
|
|
|
||||||||||||||||||||||||||||
Пример 13.1. Найти экстремали функционала:
1
J y( x), z( x) y2 x2 y z 2 12xz d x
0
с краевыми условиями: y(0) 0 , |
y(1) 1, |
z(0) 0 , |
z(1) 3 . |
Р е ш е н и е . Составим систему уравнений Эйлера:
2 y 2x 0 , |
или |
|
|
|
y x , |
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
12x 2z 0 |
|
|
|
|
|
z 6x |
|
|
|
|
|
|
|
|
|
||||||||
Из первого уравнения получаем y( x) x , а из второго – |
z( x) x3 С x С |
2 |
. |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
||
Первое решение уравнения Эйлера удовлетворяет краевым условиям, т.е. |
y(0) 0 |
||||||||||||||||||||||
и y(1) 1 . Постоянные С1 , С2 находим из краевых условий для функции z( x) , т.е. |
|||||||||||||||||||||||
из z(0) 0 следует |
С |
2 |
0 |
, |
а из условия z(1) 3 следует |
С 2 , т.е. z( x) x3 |
2x . |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
||
|
|
y0 ( x) |
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
||||
Итак, |
|
|
|
3 |
2 x |
. |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
13.2. Экстремум функционала, зависящего от производных порядка выше |
|||||||||||||||||||||||
первого. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Рассмотрим функционал вида: |
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
J y( x) b F x, y( x), y ( x), ..., y(r ) ( x) d x , |
|
|
(92) |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
||
где F Cr 1 ( 2 ) |
, |
|
2 [a,b] |
r 1 . |
|
|
|
|
|
||||||||||||||
Вариационная задача 4. Найти экстремум функционала (92) на функциях y y( x) |
|||||||||||||||||||||||
таких, что |
|
y C2r |
|
|
|
|
|
|
, |
и выполнены краевые условия: |
|
|
|
||||||||||
|
|
[a, b] |
|
|
|
||||||||||||||||||
y(k ) (a) Ak |
|
|
|
|
|
y(k ) (b) Bk |
|
|
|
|
|
|
|||||||||||
, |
|
|
|
|
для любого k 0, r 1 . |
|
|
(93) |
|||||||||||||||
|
|
|
|
2 r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Здесь |
|
y |
C2 r max |
|
y(k ) ( x) |
. |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
k 0 |
x [a,b] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Теорема 13.2. Пусть F Cr+1 ( |
2 |
) , y C2r ([a, b]) и |
y ( x) – решение вариационной |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
||
задачи 4.
Тогда y0 ( x) является решением уравнения Эйлера-Пуассона:
r |
d k |
|
F |
|
|
|
|
||
( 1)k |
|
|
|
|
|
( x, y( x), y ( x), ..., y(r ) ( x)) |
0 |
для любого x [a, b] , |
(94) |
d x |
k |
y |
(k ) |
||||||
k 0 |
|
|
|
|
|
|
|
||
удовлетворяющее краевым условиям (93) .
#Пусть y0 ( x) – решение вариационной задачи 4, т.е. функционал J из (92)
достигает экстремума на функции y ( x) |
такой, что |
y C2r ([a,b]) и |
y(k ) (a) A |
k |
, |
||||
|
|
0 |
|
0 |
0 |
|
|||
|
|
|
|
|
|
||||
y(0k ) (b) Bk для любого k |
0, r 1 |
. |
|
|
|
|
|
||
Из условия F Cr+1 ( |
2 |
) следует, что существует дифференциал Фреше J ( y , h) . |
|||||||
|
|
|
|
|
|
0 |
|
||
|
Тогда по теореме 11.2 следует, что J ( y0 , h) 0 |
для любого приращения h |
|||||||||||
|
|
|
|
||||||||||
такого, что h(k ) (a) h(k ) (b) 0 |
(*) для любого k 0, r 1 , так как y(k ) (a) h(k ) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
и |
|
(k ) |
|
(k ) |
|
|
|
|
|
|
|
|
|
y |
0 |
(b) h |
|
(b) Bk . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
0 |
|
||
|
Вычислим дифференциал Фреше: J ( y |
, h) |
|
по теореме 11.1 |
DJ ( y |
, h) |
|||||||
Cr ([a, b])
(a) A
k
|
d |
|
|
|
|
|
|
|
d |
|
b F ( x, y |
|
t h, y |
t h , y t h , ..., y(r ) th(r ) )d x |
|
|
||||
|
J ( y |
ht ) |
t 0 |
0 |
t 0 |
... |
||||||||||||||
|
|
|||||||||||||||||||
|
d t |
|
0 |
|
|
|
|
d t |
|
0 |
0 |
0 |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
b |
r |
F |
( x, y0 ( x), y0 ( x), y0 ( x), ..., y(0r ) ( x))h(k ) ( x)d x интегрируем по частям с учетом (*) |
||||||||||||||||
|
||||||||||||||||||||
(k ) |
||||||||||||||||||||
|
a k 0 |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
b |
r |
|
|
|
d k |
|
F |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
( 1)k |
|
|
|
|
|
|
|
( x, y0 ( x), y0 ( x), y0 ( x), ..., y(0r ) ( x)) h( x)d x 0 |
|
|
|||||||||
|
d x |
k |
y |
(k ) |
|
|
||||||||||||||
|
a k 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
для любых приращений h Cr ([a, b]) таких, что h(a) h(b) 0 .
Итак, в силу следствия 12.1 получим формулу (94), т.е. уравнение Эйлера-Пуассона.
Следовательно, y0 ( x) – решение краевой задачи (94),(93). |
# |
||
Пример 13.2. Найти экстремали функционала: |
|
||
|
|
|
|
J y( x) y ( x) 2 |
y ( x) 2 d x |
|
|
0 |
|
|
|
с краевыми условиями: |
y(0) 0 , |
y (0) 2 , y( ) 3 , |
y ( ) 0 . |
Р е ш е н и е . Выпишем уравнение Эйлера-Пуассона:
2 y ( x) 2 y IV ( x) 0 или |
y IV y 0 . |
|
|
|
|
|
|
||||||||||||||||||||
Составим характеристическое уравнение: |
|
4 2 0 , |
корнями которого будут: |
||||||||||||||||||||||||
1 2 0 , |
3 i , 4 i . |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда ФСР: |
1, x, |
|
cos x, sin x |
|
, |
|
|
|
|
|
|
|
|
|
|||||||||||||
а общее решение имеет вид |
yоо |
С1 С2 x С3 cos x С4 sin x , |
|
||||||||||||||||||||||||
вычислим производную y С2 |
С3 sin x С4 cos x . |
|
|
|
|||||||||||||||||||||||
В силу краевых условий из y(0) 0 |
получим равенство С С |
3 |
0 ; из y (0) 2 – |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
С |
2 |
С |
4 |
2 ; |
из |
|
y( ) 3 |
– |
|
С С С |
3 |
3 и, наконец, из y ( ) 0 – |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|||
С2 С4 |
0 . |
Итак, получили систему четырех уравнений с четырьмя неизвестными, |
|||||||||||||||||||||||||
из которой находим: |
С1 , |
|
С2 1, |
С3 , |
С4 1. |
|
|
|
|||||||||||||||||||
|
Таким образом, найдена экстремаль: |
y0 ( x) x cos x sin x |
|||||||||||||||||||||||||
13.3. Экстремум функционала, зависящего от функции многих переменных. |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть x |
x1 , ..., xn G |
, |
|
где |
G – односвязная область в |
n с кусочно-гладкой |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
границей G , |
|
|
G G G . |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
Рассмотрим функционал вида: |
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
J u( x) |
|
|
F ( x, u( x), ux1 ( x), ..., uxn ( x))d x , |
|
|
(95) |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
G |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F C2 ( |
|
|
|
|
|
|
|
|
|
|
n . |
|
|
|
|
|
|
|
||||||||
где |
3 |
) , |
|
|
3 |
G |
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Вариационная задача 5. Найти экстремум функционала (95) на функциях u u( x)
таких, что u C2 |
|
|
|
|
|
C1 ( G) . |
|
||
(G) и u |
G ( x) , |
(96) |
|||||||
|
Пусть F C2 ( |
|
|
|
|
|
|||
Теорема 13.3. |
), |
u C2 (G) и |
u ( x) – решение вариационной |
||||||
|
3 |
|
|
|
|
0 |
|||
задачи 5.
Тогда u0 ( x) является решением уравнения Эйлера-Остроградского:
F |
|
|
|
|
n |
|
|
|
F |
|
|
|
|
|
|
|
|
( x, u( x), ux1 |
( x), ..., uxn |
( x)) |
|
|
|
|
( x, u( x), ux1 |
( x), ..., uxn |
( x)) |
0 |
(97) |
||||
u |
x |
|
|
|||||||||||||
|
|
|
|
j 1 |
|
u |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
j |
x j |
|
|
|
|
|
|
|
|
|
|
|
|
для любого x |
G и удовлетворяет краевому условию (96) . |
||
|
|
|
|
#Пусть функционал (95) достигает своего экстремума на функции u u0 ( x)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
такой, что u C2 (G) и |
|
u |
|
|
G |
|
( x) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
Из F C2 ( |
3 |
) следует существование дифференциала Фреше J ( y , h) |
, а по |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
теореме 11.2 |
|
следует, что J ( y , h) 0 |
|
для любого приращения h C1(G) |
такого, что |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
h |
|
G |
0 , поскольку u ( x) |
h( x) |
|
G |
( x) , |
|
как и |
u ( x) |
|
G |
( x) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
Вычислим дифференциал Фреше: |
J(u , h) |
|
|
по теореме 11.1 |
DJ(u , h) |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
d |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
J (u ht) |
|
0 |
|
|
|
|
F ( x, u ( x) t h( x), u |
|
( x) |
|
t h ( x), ..., u |
( x) t h |
( x))d x |
|
|
t 0 |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
d t |
|
|
|
|
|
0 |
|
|
t |
|
|
|
d t |
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 x1 |
|
|
|
|
|
|
|
x1 |
|
|
|
|
|
|
|
|
0 xn |
|
|
|
|
|
|
|
|
|
xn |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
h |
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
( x, u ( x), u |
|
|
( x), ..., u |
|
( x))h( x) |
|
|
|
|
|
|
|
|
|
|
|
|
( x, u ( x), u |
|
( x), ..., u |
|
( x)) |
|
|
|
|
|
|
( x) d x |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
u |
|
|
0 |
|
|
|
|
0 x1 |
|
|
|
|
|
|
|
0 xn |
|
|
|
|
|
|
|
|
|
|
u |
|
|
|
|
|
0 |
|
|
|
0 x1 |
|
|
|
|
|
|
0 xn |
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
G |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j 1 |
|
|
|
|
|
|
x j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
F |
|
|
|
|
|
|
|
F |
|
|
h |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F h |
|
|
|
|
|
|
|
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
x |
|
|
u |
|
h |
|
|
x |
|
|
u |
|
|
h |
|
u |
x |
|
|
, отсюда u |
|
|
x |
|
d x |
|
x |
|
|
u |
|
h |
d x |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
j |
|
|
x j |
|
|
|
|
|
|
|
|
|
j |
|
x j |
|
|
|
|
|
|
|
|
x j |
|
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
G |
x j |
|
j |
|
|
|
G |
|
|
|
j |
|
|
|
|
x j |
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
x |
|
|
u |
|
h( x)d x по формуле Грина |
|
|
|
|
|
u |
|
|
h( x)cos( , x j )d s |
x |
|
|
|
u |
|
h( x)d x |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
G |
|
|
|
|
j |
|
x j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G |
|
|
x j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G |
|
|
|
j |
|
|
x j |
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
( x, u0 ( x), u0 x1 ( x), ..., u0 xn ( x)) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( x, u0 ( x), u0 x1 |
( x), ..., u0 xn ( x)) |
h( x)d x 0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
u |
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j 1 |
|
|
|
|
|
u |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
G |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
|
|
|
|
x j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
для любых приращений h C1(G) таких, что h |
G 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
Тогда в силу леммы 12.1 справедливо уравнение Эйлера-Остроградского, т.е. |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
( x, u ( x), u |
|
( x), ..., u |
|
( x)) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( x, u ( x), u |
( x), ..., u |
|
( x)) |
0 |
. |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
u |
|
|
|
|
|
|
|
0 |
|
0 x1 |
|
|
|
|
|
|
|
|
0 xn |
|
|
|
|
|
|
|
x |
|
|
u |
|
|
|
|
|
0 |
|
|
|
|
0 x1 |
|
|
|
|
|
0 xn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
x j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# |
|
|
||
|
|
|
Итак, функция u u0 ( x) является решением краевой задачи (97),(96) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Пример 13.3. Выписать уравнение Эйлера-Остроградского для функционала
|
|
|
|
|
|
|
|
|
|
u |
2 |
|
u |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Дирихле: |
|
|
|
J u( x, y) |
|
|
|
|
|
d x d y при условии |
u |
G ( x) . |
||||||||||
|
|
|
|
|
|
|
|
|
|
G x |
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Р е ш е н и е . Выпишем уравнение Эйлера-Остроградского |
|
|
|
||||||||||||||||||
|
F |
|
F |
2u |
2u |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
2 x2 |
2 y2 |
0 , |
|
|
|
|
|
|
|
|
|
||
x u |
y u |
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
x |
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u 0 , |
|
( x, y) G, |
|||
т.е. поставлена задача Дирихле для уравнения Лапласа: |
|
|
G ( x, y) , |
( x, y) G . |
||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
13.4. Условный экстремум функционала.
Исследуем условный экстремум на примере изопериметрической задачи:
Вариационная задача 6. Найти экстремум функционала
J y( x) b F ( x, y( x), y ( x))d x ,
|
|
a |
при условии, что функционал |
|
|
|
K y( x) b G( x, y( x), y ( x))d x l , |
|
|
|
a |
где F ,G C2 ( ) , |
[a, b] |
, l – постоянная из . |
Кроме того, задано закрепление концов: |
||
y(a) A |
, |
a, b, A, B . |
|
||
y(b) B |
|
|
(84)
(98)
(85)
Данную задачу сведем с помощью множителя Лагранжа к вариационной задаче 1 для функционала:
L y( x) J y( x) K y( x) .
|
Теорема 13.4. Пусть F ,G C2 ( ) , |
y C2 ([a, b]) и y ( x) является решением |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
вариационной задачи 6 и y0( x) не является экстремалью функционала K y( x) . |
|||||||||||||||
|
Тогда существует число |
|
такое, что функция y0( x) будет удовлетворять |
||||||||||||
уравнению Эйлера для функционала L y( x) и краевым условиям (85), |
т.е. |
|
|||||||||||||
|
|
|
|
|
|
d |
|
|
|
|
|
|
|
|
|
|
|
F G ( x, y0 ( x), y0 ( x)) |
|
|
|
F G ( x, y0 ( x), y0 ( x)) |
0 |
, |
(99) |
||||||
|
y |
|
y |
||||||||||||
|
|
|
|
|
dx |
|
|
|
|
|
|
||||
при этом |
y0(a) A , y0(b) B . |
|
|
|
|
|
|
|
|
|
(85) |
||||
# Пусть y0( x) – решение вариационной задачи 6, т.е. |
y0( x) является решением |
||||||||||||||
краевой задачи (84),(85); |
|
|
|
|
|
|
|
|
|
|
|||||
при этом |
|
G( x, y0 ( x), y0 ( x)) |
|
d |
|
|
G( x, y0 ( x), y0 ( x)) |
|
0 |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
||||||
y |
|
dx |
|
y |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||
Тогда возьмем приращение h ( x) такое, что h C1 ([a,b]) , |
h (a) h (b) 0 |
, |
|||||||||||||
|
|
|
|
1 |
|
|
|
|
|
1 |
|
1 |
1 |
|
|
|
|
|
|
|
|
b |
|
|
( x), y |
|
и |
К y |
0 |
, h |
|
|
|
|
G( x, y |
( |
|
|
||||||||||
|
|
1 |
|
|
y |
0 |
0 |
|
||
|
|
|
|
|
|
a |
|
|
|
а также допустимое приращение h2
x))h ( x) G( x, y ( x), y ( x))h ( x) d x 0 ;
1 y 0 0 1
( x) такое, что h2 C1 ([a,b]) , h2 (a) h2 (b) 0 .
Используя эти приращения построим допустимое приращение вида:
h( x) t1h1 ( x) t2 h2 ( x) , |
где |
t1 , t2 – числа из . |
|
|
|
|
|
||||||||||||||||||||||
Тогда рассмотрим функцию (t |
1 |
, t |
2 |
) J y |
( x) t |
h ( x) t |
h ( x) , которая достигает |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
1 1 |
|
|
2 2 |
|
|||
экстремума при |
t |
1 |
t |
2 |
0 , и функцию |
(t |
1 |
, t |
2 |
) K y |
t |
h |
t h |
. Для этих функций |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
1 1 |
2 2 |
|
||||
поставим задачу на условный экстремум для функции двух переменных (см. |
|||||||||||||||||||||||||||||
математический анализ). А именно, найти экстремум функции (t1 , t2 ) при условии |
|||||||||||||||||||||||||||||
(t1 , t2 ) l . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
При этом |
(t |
1 , t2 ) |
|
t |
t |
0 |
0 , поскольку |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
t1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
(t1 , t2 ) |
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
t1 t2 0 |
|
|
|
|
|
|
G( x, y0 , y0 )h1 ( x) |
|
|
G( x, y0 |
, y0 )h1 ( x) d x 0 . |
||||||||||||||||
|
|
|
|
|
y |
||||||||||||||||||||||||
t1 |
|
|
|
|
|
a |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
В математическом анализе было доказано следующее утверждение:
Если какая-либо функция достигает экстремума в некоторой внутренней точке, а другая из условия связи в задаче на условный экстремум принимает заданное значение, и хотя бы одна ее частная производная в этой точке отлична от нуля, то существует число такое, что справедливы следующие равенства:
|
|
|
|
|
|
(t1 , t2 ) (t1 , t2 ) |
|
|
t t |
0 |
|
(t1 , t2 ) (t1 , t |
2 ) |
|
t t |
0 |
0 |
. |
(*) |
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
t1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t2 |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
|
|||||||
Тогда в силу (*), |
т.е. из равенства |
|
|
(t1 , t2 ) (t1 , t2 ) |
|
t |
t |
0 |
0 следует |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
1 |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
b |
|
|
|
|
|
|
|
|
|
, y0 )h1 ( x) |
|
|
|
F ( x, y0 , y0 )h1 ( x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
F ( x, y0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
y |
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
G( x, y |
|
, y )h ( x) |
|
|
|
|
|
G( x, y |
|
, y )h ( x) d x 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
0 |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
y |
|
|
|
|
|
0 |
1 |
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
F ( x, y , y )h ( x) |
|
|
F ( x, y , y )h ( x) |
d x |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
0 |
0 |
1 |
y |
|
|
|
|
|
|
|
|
|
0 |
0 |
1 |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Откуда множитель Лагранжа |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G( x, y , y )h ( x) |
|
G( x, y , y )h ( x) dx |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a y |
|
y |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
0 |
1 |
|
|
|
|
|
|
|
|
|
|
0 |
0 |
1 |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
не зависит от h( x) . |
|
Это также означает, что функционал Лагранжа |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
L y( x) J y( x) K y( x) не зависит от выбора h( x) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
А из второй части равенства (*), т.е. из |
|
(t1 , t2 ) (t1 , t2 ) |
|
t |
t |
|
0 |
0 |
следует |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
t2 |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
|
|
|||||
b |
F ( x, y , y )h ( x) |
|
|
F ( x, y , y )h ( x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
a y |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
0 0 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
0 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
G( x, y |
|
, |
y )h ( x) |
|
|
|
G( x, y |
|
, |
|
|
y )h ( x) d x 0 |
|
для любого h C1 ([a,b]) . |
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
0 |
|
|
|
|
0 |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
y |
|
|
|
|
|
|
|
0 |
2 |
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Возьмем по частям интегралы, содержащие h2 ( x) , тогда получим интеграл вида: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
d |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
F ( x, y |
|
, y ) |
|
|
F ( x, y |
|
|
, y ) |
h ( x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
0 |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
y |
|
|
|
|
|
|
|
0 |
|
|
d x y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
