322ГЛ. 7. ДОСТАТОЧНЫЕ УСЛОВИЯ ЭКСТРЕМУМА
До к а з а т е л ь с т в о . Применив следствие из тео ремы 6 § 6.3, получаем, что при допущениях теоремы имеет место оценка
|
^ (* .(• ))(*(■ ), * (-))> а | | x ( - ) f |
n , |
|
|
|
|
"2, 1 |
если только x ( - ) e L 0. |
Подберем 6 столь малым, чтобы |
при ||*( •) Hi sg: б имело место неравенство |
(см. предло |
жение |
1) |
|
|
|
|
|
И * ( .))1 < т 1 1 * (-)И 1 « |
•' |
|
|
|
4 |
w 2, |
1 |
|
Тогда |
получится, что |
если |
д с (.)е В (0 , б) |
в простран |
стве С" (ft,, *i]), то |
|
|
|
|
|
+ |
r ( x ( . ) ) . > ( | - | ) | U |
( . ) \fwn > 0 , |
т. е. х»(-) доставляет слабый минимум в поставленной задаче.
7.4.2.Возмущения простейших задач. Пусть М — не
которое подмножество в R X R", содержащее точку (to,x0). Рассмотрим следующее множество задач, вклю чающее в себя задачу (1):
Т
3 ( х ( - ) , Т0, т )= ГL (t, х, х) dt - > inf;
i |
I |
(To, X (т„)) e= M, |
*(t) = £. |
Возмущения вида (Г ) укладываются в общую схему возмущений, описанную в п. 7.1.1. Как правило, будет рассматриваться тот случай, когда М состоит из одной точки (t0, хо). Тогда, следуя терминологии п. 7.1.2, это возмущение будет называться стандартным. Для стан дартного возмущения 5-функцию будем обозначать 5(т, |), а для общего возмущения (Р )— SM(т, £).
Поясним введенные понятия примерами. Для задачи
§ 7.4. ВАРИАЦИОННОЕ ИСЧИСЛЕНИЕ |
3 2 3 |
(6 минимуме длины кривых, соединяющих данные точки |
(to, Хо) и |
(t,,xi) на плоскости R2) функция S(t, |
х) = У t2 + |
х2 будет S-функ |
цией стандартного возмущения, когда |
t0= x 0=0, |
а для М = |
М(ф)=й |
= { (t, х) 11cos ф + х sin ф = 0} |
|
|
|
Sм (*■ х) = 11cos ф + х sin ф |.
Наряду с возмущениями задачи рассматривают и возмущения экстремалей этих задач. Возмущения экс тремалей находят свое выражение в концепции поля.
|
|
|
|
|
|
|
|
|
|
|
|
|
Говорят, |
что |
семейство |
|
вектор-функций |
x(t,k), |
x(t,k): |
R X R n- » R n |
образует |
поле |
экстремалей функ |
ционала & ( х ( - )) , покрывающее |
область G с |
R X R". |
если |
вектор-функции x(t,k) |
принадлежат классу |
Сi по |
а) |
совокупности |
переменных (t,k) |
и |
х(-, |
к')-+х(- ,к) |
при |
К' ->А в пространстве |
С"; |
|
G существует единствен |
б) для всякой точки (т, £) е |
ная точка |
k = |
к(т, £) |
такая, что х(т,к (т, £)) = |
|
|
в) |
при |
любом |
фиксированном |
к |
вектор-функция |
x(t,k) |
является |
экстремалью |
функционала |
У ( х ( - ) ) , |
т. е. она удовлетворяет уравнению Эйлера Lx — |
Lx = 0. |
Для каждой точки |
(т, |
G обозначим через U(x,\) |
производную по t в точке т экстремали * (-Д (т , £)), проходящей через точку (т, £):
|
U { Т, l ) = - ^ x ( . , k { x , £)) U . |
Вектор-функцию U (т, £) |
называют |
функцией накло |
на поля. |
что экстремаль х «(-) |
окружена полем, если |
Говорят, |
существуют |
числа е > 0, |
А > 0 |
и |
поле экстремалей |
x(t,k), |А,|<М, |
покрывающее область |
|
|
G = |
{(t, |
*)|fe=[f0, *,], |х |
х, (t) |< е}, |
и, кроме того, |
x(t, 0) = x*(t). |
|
Поле |
x(t,k) |
называется центральным, если суще |
ствует |
точка |
(to, х0) такая, что x(t0,k) = x0 для всех к. |
Точка |
(to, х0) |
называется центром этого поля. |
Для задачи (7) о минимуме длины |
образует центральное поле |
— совокупность |
прямых x ( t, k ) = k t |
с центром |
в начале координат, покрывающее область R2\{0}, |
324ГЛ. 7. ДОСТАТОЧНЫЕ УСЛОВИЯ ЭКСТРЕМУМА
—совокупность прямых х(/, Я ) = / - ) - Я образует параллельное поле, покрывающее всю плоскость R2.
Рассмотрим еще один важный пример, а именно квадратичный функционал из § 6.3:
|
t, |
|
|
|
|
Ж (х (•)) = J ((A(t)x \х) + 2 (С (t) х |х) + |
(В (() х |х)) dt. |
(8) |
Пусть <T>(t,to) как и в п. 6.3.3, обозначает фундаментальное ре |
шение уравнения Якоби (6) функционала Ж ( х ( )) . |
Тогда, как легко |
видеть, |
формула |
tQ) Я |
|
|
(9) |
|
х (t. Я) = Ф (t, |
|
|
задает |
центральное поле функционала |
Х ( х ( - )) |
с |
центром в |
точке |
(А), 0). |
Оно покрывает область (t0, То) X |
R", где через т0 обозначена |
первая сопряженная с t0 точка относительно уравнения Якоби |
(6). |
В конце § 7.2 был введен термин |
«поле экстремалей» в приме |
нении к общей гладкой задаче. В этом параграфе аналогичный тер мин встретился вновь. Покажем, как связаны друг с другом соот^
ветствующие понятия. |
(1). Рассмотрим такую про |
Пусть * . ( / ) — минималь в задаче |
блему минимизации: |
|
/( * (• )) = 3 (* .(• ) + х (•))-> inf, |
F( x( <) ) = х (t,) = 0. |
Будем предполагать, что функционал f определен и дважды непре рывно дифференцируем в подпространстве L пространства
W2 |(|70, /]]), состоящего из функций х(1), обращающихся в нуль
в точке to. Если предположить, кроме того, что для функционала 9 выполнены усиленные условия Лежандра и Якоби, то окажется, что удовлетворены все требования теоремы 2 из § 7.2. Применение этой теоремы приведет к тому, что в малой окрестности точки нуль про странства R" существует отображение Я->-х(-,Я) из R" в L такое, что x(i, Я) являются экстремалями функционала & и при этом х(?|,Я) = Я. Легко понять, что семейство {x(t, Я)} и есть поле экстре малей, о котором идет речь в этом параграфе. Построение поля, проведенное только что, потребовало весьма сильных допущений от носительно гладкости функционала У. Далее, для построения поля мы обойдемся много меньшими допущениями (см. ниже предложе ние 3), но существо дела остается тем же: строгая положительность второй вариации на ядре отображения F дает возможность произ вести возмущение экстремали x.(t) и включить ее в семейство экстремалей x(t. Я), как это в общем случае было проделано в упомя нутой теореме 2 из § 7.2.
С каждым центральным полем (с центром в точке (/о,*о)) функционала 3 ( х { - ) ) свяжем функцию
Т
а(т, l) = J L(t, x(t, Я), x(t, %))dt,
|
|
|
|
§ |
7.4. ВАРИАЦИОННОЕ ИСЧИСЛЕНИЕ |
|
|
3 2 5 |
где А = |
А(т, |) |
(т. е. х(т, А) = |
|), |
которую |
будем |
назы |
вать |
[/-длиной |
поля |
x(t,K) |
от |
|
точки |
(to, Хо) |
до |
точ |
ки (т, I). |
|
|
|
|
2. Пусть центральное поле с цент |
П р е д л о ж е н и е |
ром в |
(t0,x 0) покрывает область G с |
R X Rn. Тогда для |
любой точки (t, х) имеет место формула |
|
|
|
|
где *) |
|
|
da (t, |
х) — — Н (t, х) dt + (р (t, х) |dx), |
|
|
|
|
|
|
p(t, |
x) = Li(t, |
х, |
U (t, |
х)), |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Н (/, х) = |
(р (t, |
х) |
|U (t, |
х)) |
- |
L (t, |
х, |
U (t, х)) |
|
и U(t,x) — функция наклона поля x(t,K). |
|
проходящую |
Д о к а з а т е л ь с т в о . Экстремаль поля, |
через |
точку |
(t, |
r ) e G , |
обозначим через x(t, А;)); анало |
гично, пусть х (t, К0+ |
ДА) есть экстремаль поля, про |
ходящая через (t + |
А^, х + Ах). |
|
Положим |
|
|
|
|
h (t) = |
х (t, Aq-f- ДА) — x (t, |
Ao), |
t |
^ |
[^o, t -f- A^] |
|
и для |
определенности |
будем |
считать, |
что |
At > |
0. |
|
Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
о (t + |
А^, х + |
Ах) — a (f, |
х) = |
|
|
|
|
|
|
|
|
|
|
|
|
t+xt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
== |
J" |
^ |
^ |
|
|
Ч- АА), |
х (т, А0 + |
AA)) dx —■ |
|
|
*0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
— |
[ |
L(%, |
х(х, |
А0), |
х(х, |
А0))йт = |
|
|
|
|
|
|
|
|
*9 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
j |
((L* I*(Т. |
Ih (T)) + (L* \x (X. К) IA (T))) dx + |
|
+ AtL (t, x (t, A0), x (t, A0)) + о (max (|| h ( •) |1( At, |Ax |)).
Произведя интегрирование по частям и воспользо вавшись тем, что x(t, Ао) является экстремалью, а так же соотношением
x(t -1- At, Aq) -И h (t -f- At) = x (t At, Aq—|—AA) = x -J- Ax,
*) Отметим, как выражается Н(/, *) через функцию Понтрягина задачи (1):
Н (/. дс) = Я (t, дг, U (t. х), р (t, л:), 1).
326 |
|
|
ГЛ. 7. ДОСТАТОЧНЫЕ УСЛОВИЯ ЭКСТРЕМУМА |
т. е. равенством |
|
|
|
|
|
|
|
h(t) — Ах — x(t, |
L0) At + о (max (|| Л ( -)11ь А/, I Ах|)), |
сразу |
получаем, |
что |
|
|
|
|
|
a (t + |
At, |
х + |
Л*) — о (t, х) ■ |
|
|
|
|
|
|
|
|
— |
Lx + |
I h (т)) dx + |
|
|
|
|
|
|
|
|
' X (X, Лл) |
|
/ |
|
+ |
(h(О I Lx (t, |
х (t, Я0), * (t, |
Я0))) + L (t, л:(t, |
Я0), |
х (t, Я0)) А/+ |
|
|
+ |
о (шах (|| h (•) ||,, |
At, |A* I)) = |
— Н (t, x) At + |
|
|
|
|
+ |
(p (t, x) |Ax) - f о (max (|| h (•) \u At, \Ax |)), |
откуда и следует требуемое. |
|
|
|
|
7.4.3. |
|
Интеграл Гильберта. Основная формула Вейер- |
штрасса. Пусть |
V — некоторая односвязная область в |
пространстве |
R X |
R". |
Вектор-функцию |
Г(^,х): V —►Rn |
будем |
называть |
гильбертовым полем |
функционала |
3f(x(-)) |
в V, если отображение F |
принадлежит клас |
су С, в области |
V и при этом дифференциальная форма |
б |
= |
(L (t, х, |
Г (t, |
х)) - |
(Г (t, х) |Lх (t, |
х, Г (t, |
х)))) dt + |
|
|
|
|
|
|
|
|
+ |
(Lx(t, x, Г (t, x))\dx) |
является замкнутой (т. е. полным дифференциалом).
Интеграл / (у) = J б от формы б называется интегра- v
лом Гильберта. Имеет место |
формула |
Вейерштрасса). |
Т е о р е м а |
3 |
(основная |
Пусть V — односвязная |
область |
в |
пространстве |
R X Rn. охватывающая экстремаль у, = |
х*(^) задачи |
(1). Пусть, далее, |
Г(^.х)— гильбертово |
поле функцио |
нала У ( х ( - ) ) |
в V |
такое, что x*(t) = |
T(t,x*(t)). |
Тогда для любой вектор-функции x(t), соединяющей |
точки (to,Xo) |
и (tt,Xt), имеет место формула |
t,
# ( х ( - ) ) - З Г ( х , ( - ) ) = j g ( t , x(t), Г (t, x(t)), x(t))dt,
еде & — функция Вейерштрасса.
