Лекции Яголы / 2-3
.pdf3. Простейшая задача вариационного исчисления (задача с закреплёнными
концами). |
|
|
Будем рассматривать множество функций E' |
|
E = C (1) [a, b] такое, что: |
E' = {y C (1) [a, b], y(a) = y |
0 |
, y(b) = y }. |
|
1 |
Числа y0, y1 заданы. Тем самым, рассматривается множество непрерывно дифференцируемых на [a, b] функций, у которых известны значения на концах отрезка (концы закреплены).
Будем рассматривать функционал
b |
|
|
|
||
V[ y] = ∫ F (x, y, y')dx . |
|
|
|
||
a |
|
|
|
||
Простейшая задача вариационного исчисления (задача с закрепленными концами): |
|||||
найти экстремум этого функционала на множестве E’. |
|
|
|
||
В вариационном исчислении принята следующая терминология. Будем говорить, |
|||||
что на функции y0 (x) достигается сильный минимум, если V[ y] ≥ |
V[ y0 ] для всякого y E’ |
||||
из окрестности y0 в метрике пространства С[a,b] : max |
|
y(x) − |
y0 (x) |
|
≤ r, r > 0 (шар с |
|
|
||||
x [a,b] |
|
|
|
|
|
центром в y0 радиуса r).
Определение слабого минимума дается аналогично, но окрестность выбирается в метрике C (1) [a, b] :
max |
|
y(x) − |
y0 |
(x) |
|
+ max |
|
y'(x) − y0 '(x) |
|
≤ r, r > 0 . |
|
|
|
|
|||||||
x [a,b] |
|
|
|
|
|
x [a,b] |
|
|
|
|
В первом случае требуется, чтобы функции y(x) были равномерно «близки» к функции y0(x), а во втором случае дополнительно требуется равномерная «близость» и первых производных. Очевидно, что, если функционал имеет сильный минимум в точке y0 (x), то
он имеет и слабый минимум в той же точке. Обратное, вообще говоря, неверно. Определения слабого и сильного максимума даются аналогично. Необходимое
условие экстремума, полученное в предыдущем параграфе, δ V ( y0 , h) = 0 , справедливо как
для слабого, так и для сильного экстремума. Получим необходимое условие для задачи с закрепленными концами. Для этого посчитаем вариацию
|
|
δ V ( y0 , h) = |
|
d |
V[ y + th]t= 0 . |
|
|
|||||
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
dt |
|
|
|
|||
|
|
|
d |
|
|
|
|
d |
b |
|
|
|
Cначала вычислим производную |
V[ y + |
th] = |
∫ F(x, y + |
th, y'+ th')dx , предполагая, что |
||||||||
dt |
dt |
|||||||||||
|
|
|
|
|
|
|
a |
|
|
|||
функция F имеет все необходимые для этого непрерывные частные производные. |
||||||||||||
Относительно |
h(x) C (1) [a, b] |
потребуем, |
чтобы |
y(x) + th(x) E' . |
Отсюда |
|||||||
h(a) = 0; h(b) = 0 . Перейдем к вычислению производной |
|
|
||||||||||
|
d |
b |
|
|
|
|
|
|
|
|
||
|
V[ y + th] = ∫ [Fy (x, y + th, y'+ th')h + Fy ' (x, y + th, y'+ th')h']dx . |
|
||||||||||
|
dt |
|
||||||||||
|
a |
|
|
|
|
|
|
|
|
|||
Полагая t=0 и приравнивая нулю получившуюся вариацию, получаем, что для функции y(x) , на которой достигается экстремум, имеет место
|
b |
|
|
|
|
|
|
δ V ( y, h) = ∫ [Fy (x, y, y')h + Fy ' (x, y, y')h']dx = 0 . |
|||||||
|
a |
|
|
|
|
|
|
Разобьем интеграл на два и проинтегрируем по частям второй: |
|||||||
b |
Fy' h' dx = Fy' h |
|
b |
− |
b |
d |
Fy' h dx . |
|
|||||||
∫ |
|
|
∫ |
|
|||
|
|
|
|||||
a |
#"! |
|
a |
|
a dx |
|
|
|
= 0 |
|
|
|
|
|
|
Подстановка Fy ' h |
|
ba = 0, |
так как h(a) = |
h(b) = |
0. Объединяя оба интеграла в один, получаем |
|||||||||||
|
||||||||||||||||
|
|
∫b (Fy − |
d |
|
Fy' )h dx = 0 . |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
dx |
|
|||||
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
||
Ниже |
мы докажем, |
что, если |
этот |
интеграл |
равен |
нулю для любой функции |
||||||||||
h(x) |
C (1) [a, b] , |
|
обращающейся |
в |
нуль |
на |
концах |
отрезка h(a) = h(b) = 0 , то |
||||||||
(F |
y |
− |
d |
F |
y ' |
) ≡ 0 , |
|
при условии, что в скобках стоит непрерывная функция. Поэтому в |
||||||||
|
|
|||||||||||||||
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|||
качестве необходимого условия экстремума для задачи с закрепленными концами мы получаем следующую краевую задачу для уравнения Эйлера:
|
(Fy − |
d |
Fy ' ) = 0 |
|
||
|
|
. |
||||
dx |
||||||
|
|
|
|
|||
|
y(a) = |
y |
0 |
, y(b) = |
y |
|
|
|
|
|
1 |
||
Теорема (Необходимое условие экстремума для задачи с закрепленными концами). 1) Пусть y(x) осуществляет экстремум (сильный или слабый) в задаче с
закреплёнными концами. 2) Функция F (x, y, y') обладает непрерывными частными производными до второго порядка включительно. 3) y(x) является дважды непрерывно дифференцируемой.
Тогда y(x) является решением краевой задачи для уравнения Эйлера
|
(Fy − |
d |
Fy ' ) = 0 |
|
|
|
||
|
|
, |
|
|
||||
dx |
|
|
||||||
|
|
|
|
|
|
|
||
|
y(a) = |
y |
0 |
, y(b) = |
y |
|
|
|
|
|
|
|
|
1 |
|
|
|
или |
|
|
|
|
|
|
|
|
Fy − Fy'x − Fy ' y y'− Fy' y ' y"= 0; y(a) = y0 , y(b) = y1 . |
|
|
||||||
Теорема уже доказана. |
|
|
|
|
|
|
|
|
Основная лемма вариационного исчисления. Пусть ϕ (x) |
- фиксированная |
|||||||
непрерывная на [a,b] функция, |
и |
|
∫b ϕ (x)h(x)dx = 0 для всякой |
непрерывно |
||||
|
|
|
|
a |
h(b) = 0 . Тогда ϕ (x) ≡ 0 . |
|
||
дифференцируемой функции h(x) такой, что h(a) = |
|
|||||||
Доказательство. Пусть ϕ (x) |
не |
равна тождественно нулю. |
Не |
ограничивая |
||||
общности, будем считать, что эта функция принимает положительные значения (если
ϕ (x) ≤ 0 для всех x [a, b], то заменим ϕ |
(x) на − ϕ |
(x) ) |
Тогда в силу непрерывности ϕ (x) |
||||||||||
существуют |
точка |
|
x0 |
(a, b) |
такая, |
что |
ϕ |
(x0 ) > 0 , |
и |
интервал |
|||
[x0 − δ , x0 + δ ] |
(a,b), |
δ |
> 0 |
такой, что |
ϕ (x) ≥ |
ϕ (x0 ) |
для |
любого x |
[x0 − |
δ , x0 + δ ] . |
|||
2 |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||
Пусть теперь h(x) - непрерывно дифференцируемая функция такая, что: |
|
|
|||||||||||
|
|
|
|
h(x) ≡ 0, |
x (x0 − δ , x0 + δ ); |
|
|
|
|||||
|
|
|
|
|
h(x) > 0, |
x (x0 − δ , x0 + δ ). |
|
|
|
||||
|
|
|
|
|
|
|
|
||||||
Тогда ∫b ϕ (x)h(x)dx = |
x + |
δ |
(x)h(x)dx ≥ ϕ (x0 ) |
x + δ |
|
|
|
|
|
||||
0∫ |
ϕ |
0∫ h(x)dx > 0 , что приводит к противоречию с |
|||||||||||
a |
|
x0 − |
δ |
|
|
2 |
x0 − δ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
условием Теоремы. В качестве примера функции h(x), удовлетворяющей записанным выше условиям, можно привести
h(x) = |
|
(x − (x0 − δ ))2 (x − ( x0 + δ |
))2 , |
x (x0 − δ , x0 + δ ); |
|
0 |
, |
x (x0 − δ , x0 + δ ). |
|
|
|
|||
Приведем некоторые простые примеры: |
|
|
||
1. Пусть V[ y] = |
π∫ y 2 dx , а граничные условия |
|
||
|
0 |
|
|
|
|
|
а) y(0) = 0, y(π |
) = |
0 . |
Уравнение Эйлера в этом случае имеет вид
2 y = 0,
Его решение, удовлетворяющее граничным условиям, y=0. На этом решении, очевидно, достигается минимум функционала. Если же граничные условия имеют вид
б) y(0) = 0, y(π ) = 1 ,
то краевая задача для уравнения Эйлера не имеет решения в классе непрерывно дифференцируемых функций.
2. Пусть V[ y] = |
π∫ ( y2 − ( y')2 ) dx , а граничные условия |
||
|
|
0 |
|
|
|
y(0) = 0, y(π |
) = 0 . |
Уравнение Эйлера в этом случае имеет вид |
0 . |
||
|
|
y"+ y = |
|
Его общее |
решение |
y = C1 sin x + C2 cos x . Краевая задача имеет бесконечно много |
|
решений ( C2 |
= 0 , C1 - произвольная постоянная). |
||
Рассмотрим некоторые частные случаи зависимости функции F (x, y, y') от своих |
|||
аргументов. |
|
|
|
1) F (x, y, y') = |
F (x, y) . Уравнение Эйлера имеет вид |
||
Fy (x, y) = 0 .
Это уравнение не является дифференциальным, поэтому его решение (если оно существует), вообще говоря, не удовлетворяет граничным условиям
y(a) = y0 ; y(b) = y1.
Решение краевой задачи для уравнения Эйлера, вообще говоря, не существует.
2) F (x, y, y' ) = M (x, y) + |
N (x, y) y' (линейность по y'). Уравнение Эйлера имеет вид |
|||
M y + y' N y − |
|
d |
N (x, y) = |
M y + y' N y − N x − y' N y = 0, |
|
dx |
|||
или |
|
|
|
|
|
|
M y − |
N x = 0 . |
|
|
|
|
||
Полученное уравнение не является дифференциальным. Краевая задача для уравнения Эйлера, вообще говоря, не имеет решения.
3) F = F ( y') . Уравнение Эйлера имеет вид
Fy ' y ' y"= 0.
Отсюда получаем два уравнения:
y"= 0 (его общее решение y = C1 x + C2 , C1, C2 – произвольные постоянные) и
Fy' y ' ( y') = 0.
Если ki – корни последнего уравнения, то соответствующие решения уравнения Эйлера |
|||
y' = ki |
y = |
ki x + |
~ |
Ci . |
|||
Итак, решениями уравнения Эйлера являются прямые.
x |
|
Рассмотрим функционал l[ y] = ∫1 |
1+ ( y'(x))2 dx; y(x0 ) = y0 ; y(x1 ) = y1 (длина кривой, |
x0 |
|
соединяющей две точки на плоскости). Сказанное выше описывает известный факт, что среди всех кривых, соединяющих две точки плоскости (x0 , y0 ), (x1 , y1 ) , минимальную
длину имеет отрезок прямой.
4) F = F (x, y' ) . Уравнение Эйлера имеет вид
dxd Fy ' (x, y') = 0
или
Fy ' (x, y') = C. 5) F = F ( y, y') . Уравнение Эйлера имеет вид
Fy − Fy' y y′ − Fy ' y' y"= 0 ,
или
dxd (F − y' Fy ' ) = 0.
Это уравнение, очевидно, имеет первый интеграл
F − y' Fy' = C.
Рассмотрим теперь классическую задачу о брахистохроне - кривой, по которой материальная точка в поле тяжести скатывается за наименьшее время из точки (0, 0) в
точку (x1, y1 ) . Эта задача была решена Иоганном Бернулли еще в 1696 году.
Для упрощения рассмотрения на плоскости (x, y) ось y направлена вниз. В том же направления действует и сила тяжести. Заметим, что при движении в поле силы тяжести
dSdt = 2gy; S - длина пути, g – ускорение свободного падения.
С другой стороны
dS = 1+ ( y')2 dx.
y=y(x) – траектория движения материальной точки. Время движения по траектории y=y(x) равно
T[ y] = |
1 |
x1 |
1 |
+ ( y')2 |
2g |
∫ |
|
dx. |
|
|
0 |
|
y |
Найдем траекторию y=y(x), для которой функционал T[y] принимает минимальное значение. Заметим, что подынтегральная функция не зависит явно от x, и вместо уравнения Эйлера запишем сразу его первый интеграл.
F − |
y' Fy ' = C, |
||
или |
|
|
|
1+ ( y')2 |
− |
|
( y')2 |
y |
|
= C. |
|
|
y(1+ ( y')2 ) |
||
Отсюда |
|
|
|
1 |
= C; |
y(1+ ( y')2 ) = C . |
|
y(1+ ( y')2 ) |
|
|
1 |
|
|
|
|
Вводя параметр t:
y'= ctg t,
находим
|
|
|
|
|
|
|
|
y = |
|
C1 |
|
= |
|
C sin 2 (t) = |
|
C1 |
(1− cos(2t)). |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
1+ ctg 2 (t) |
|
|
1 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Теперь найдем x: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C1 |
|
|
|||||||
|
|
|
dx = |
dy |
= |
2C1 sin t cos t dt |
= 2C1 sin |
2 |
t dt = |
C1 (1− |
cos 2t) dt ; x − C2 = |
|
(2t − sin 2t). |
|
||||||||||||||
|
|
|
y' |
|
ctg t |
|
|
|
2 |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Из выражений для x(t), y(t) и условия |
y(0) = |
0 , находим C2 = 0 . После замены 2t = t1 ≥ |
0 |
|||||||||||||||||||||||||
|
C |
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
и |
|
1 |
= |
C получаем уравнение брахистохроны |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
2 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x = |
|
|
(t1 |
− |
sin t1 ); |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
C1 |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
y = |
|
~ |
(t1 |
− |
cos t1 ). |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
C1 |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
находится из условия y(x1 ) = |
y1 . |
|
|
|||||||||||
Итак, брахистохрона – это циклоида. C1 |
|
|
|
|||||||||||||||||||||||||
|
|
|
|
Рассмотрим теперь задачу с закрепленными концами для функционала: |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
b |
F(x, y, y',...., y(n) )dx. |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
∫ |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Граничные условия имеют вид: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
y(a) = y0(1) , y(b) = y0(2) ; |
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
y'(a) = y |
(1) , y'(b) |
= y |
(2) ; |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
............... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
y(n− 1) (a) = yn(1−)1 , y(n− 1) (b) = yn(2− 1) . |
|
|
|
|
||||||||||||||
Напишите сами (!!!) уравнение Эйлера для этой задачи. |
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
Пусть теперь функционал имеет вид |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
V[ y] = |
b |
|
|
|
|
|
|
|
′ |
|
|
′ |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
∫ F(x, y1 ,...yn ; y1 |
,...yn ) dx, |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y = |
( y1 ,...yn ) |
- вектор-функция. Рассмотрим задачу с закрепленными концами: |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
yi (a) = Ai ; |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
yi (b) = |
Bi , |
|
|
|
|
|
|
|
|
|
|||
где i = |
1,...n; |
Ai , |
Bi - заданные числа. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
Теорема. |
Пусть: 1) |
y1 (x),...yn (x) осуществляют экстремум функционала V[y] |
в |
|||||||||||||||||||||
задаче с закрепленными концами; |
2) |
|
F (x, y ,...y |
n |
; y′ |
,...y′ ) имеет непрерывные частные |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
|
n |
|
|
|
|
|
производные до второго порядка включительно; |
|
|
3) |
|
y1 (x),...yn (x) |
дважды непрерывно |
||||||||||||||||||||||
дифференцируемы на отрезке[a,b] . Тогда y1 (x),...yn (x) удовлетворяют системе уравнений Эйлера:
|
Fyi − |
|
|
|
|
|
yi (a) |
|
d |
F |
|
= 0 |
|
|
|
|
||
dx |
y′ |
|
, где i = 1,...n . |
|
|
i |
|
||
|
|
|
|
|
= Ai ; |
|
yi (b) = Bi ; |
|
|
Для доказательства сформулированного выше необходимого условия экстремума достаточно заметить, что если вектор-функция y(x)=( y1 (x),...yn (x) ) осуществляет
экстремум функционала V[y] в задаче с закрепленными концами в случае, когда можно менять все компоненты вектор-функции, то эта же вектор-функция осуществляет экстремум V[y] в случае, когда меняется одна компонента, а остальные фиксированы.
Отсюда немедленно следует, что y(x) удовлетворяет записанной выше системе уравнений Эйлера.
Пример. Рассмотрим пример из механики. n материальных точек, имеющих массы mi и координаты (xi , yi , zi ) (i=1, …, n), движутся под действием сил
|
|
|
∂ u |
|
∂ u |
|
∂ u |
|
|
|
F = |
|
− |
,− |
,− |
|
, |
||||
|
|
|
||||||||
i |
|
|
∂ xi |
∂ yi |
|
|
|
|||
|
|
|
∂ zi |
|
||||||
порожденных потенциальной функцией
u = u(x1 , y1 , z1 ,...xn , yn , zn ).
Считая, что координаты точек зависят от времени t, заметим, что кинетическая энергия системы материальных точек имеет вид
|
|
∑n |
mi |
((xi′)2 + ( yi′)2 |
+ (zi′)2 ). |
|
|
2 |
|||||
|
|
i= 1 |
|
|
||
Введем функционал действия |
t2 |
|
||||
|
|
|
|
|
||
|
|
|
|
∫ L dt , |
|
|
где L – функция Лагранжа: L = T − |
u, |
t1 |
|
|||
|
|
|||||
или |
mi |
((xi′)2 + |
( yi′)2 + (zi′)2 ) − |
|
||
L = ∑n |
u(x1, y1, z1 ,...xn , yn , zn ). |
|||||
2 |
||||||
i= 1 |
|
|
|
|
||
По принципу наименьшего действия (принцип Гамильтона) материальные точки движутся
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t2 |
по траекториям, для которых значение функционала ∫ L dt минимально. |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t2 |
Система уравнений Эйлера для функционала ∫ L dt имеет вид: |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t1 |
|
∂ L |
|
− |
|
d ∂ L |
= |
0 |
|||||||
|
|
|
|
|
|
|
|
|
|
|||||
∂ x |
i |
|
dt |
|
∂ x′ |
|||||||||
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
∂ L |
|
− |
|
d ∂ L |
|
= |
0 , где i = 1,..., n . |
||||||
|
|
|
|
|
|
|
|
|
|
|||||
∂ y |
i |
|
dt |
∂ y′ |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
∂ L |
|
− |
|
|
d ∂ L |
= |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|||
∂ zi |
|
|
|
dt ∂ zi′ |
||||||||||
|
|
|
|
|
|
|
|
|||||||
Вычисляя производные, получаем систему уравнений движения (к которым нужно добавить начальные условия):
|
mi xi′′ = |
− |
∂ u |
; |
||||
|
|
|
||||||
∂ xi |
||||||||
|
|
|
|
|
|
|||
|
|
|
|
∂ u |
|
|||
mi yi′′ = |
− |
; где i = 1,..., n . |
||||||
|
|
|||||||
|
|
|
|
∂ yi |
|
|
||
|
mi zi′′ = − |
|
∂ u |
; |
||||
|
|
|||||||
|
|
|||||||
|
|
|
|
∂ zi |
|
|
||
Студентам предлагается самим (!!!) получить первый интеграл этой системы - закон сохранения энергии:
T + u = const.
