![](/user_photo/2706_HbeT2.jpg)
Metody_optimizatsii_Shatina_A_V
.pdf101
ляет слабый локальный минимум (максимум) в задаче (з), пишут:
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
δ > 0 такое, что для любой до- |
|||||||||||||||||||||
|
x Îlocmin з (x Îlocmax з) , если |
|||||||||||||||||||||||||||||||||||||||||||||||||||
пустимой |
|
|
функции |
|
|
|
x(×) , |
|
|
|
|
удовлетворяющей |
|
условию |
||||||||||||||||||||||||||||||||||||||
|
x(×) |
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
- x(×) |
|
|
|
1 < δ , выполнено неравенство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
▲ |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I( x(×)) ³ I (x(×)) |
|
(I( x(×)) £ I(x(×))) . |
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
доставляет слабый локальный |
|||||||||||||||||
|
|
|
|
|
Теорема. Пусть функция x(×) |
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
экстремум в поставленной задаче (з) (x(×) Îlocextr з) , а функции |
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
L, L |
x |
, L |
|
|
непрерывны как функции трех переменных в некоторой |
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
x |
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
окрестности |
|
|
|
|
|
множества |
|
|
|
|
|
|
{(t, x(t), x(t)) |
|
t Î[t0;t1]}. |
Тогда |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
ˆ |
|
(t) ÎC |
1 |
([t |
|
;t ]) |
|
|
|
|
|
|
|
|
|
|
|
ˆ( |
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
L |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
× |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
1 |
|
|
и функция |
|
|
x |
|
удовлетворяет уравнению Эйле- |
|||||||||||||||||||||||||||||||
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
ра: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d |
ˆ |
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
[t |
|
|
;t ] |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(t) |
|
|
(t) = 0 "t Î |
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- |
|
dt |
L |
+ L |
x |
0 |
. |
|
|
|
(1) |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
||||||||
Здесь использованы следующие обозначения: |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
¶ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
¶ |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
L (t) = |
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
, |
|
|
|
L |
|
(t) = |
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|||||||||||
|
|
|
|
|
|
|
L(t, x, x) |
|
x |
|
|
|
|
|
|
x |
|
|
|
|
|
L(t, x, x) |
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
=x(t ) |
|
|
|
|
|
|
|
|
|
¶x |
|
|
|
|
|
x=x(t ) |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
¶x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
=x(t ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x=x(t ) . |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
Доказательство: Возьмем произвольную, но фиксирован- |
|||||||||||||||||||||||||||||||||||||||||||||||
ную функцию |
h(×) ÎC1 ( |
[t |
0 |
;t |
|
]) |
, где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
0 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
C1 |
([t |
|
|
;t ]) = {h(×) ÎC1 |
([t |
|
;t |
]) |
|
h(t |
|
) = h(t ) = 0} |
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
0 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
1 |
|
|
|
|
0 |
|
|
|
|
|
|
|
1 |
|
. |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
Рассмотрим функцию одной вещественной переменной |
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
ϕ(λ) |
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
t1 |
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
)dt |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|||||||||||||||
|
|
|
|
|
= I(x(×) + λh(×)) = ò L(t, x(t) + λh(t), x(t) |
+ λh(t) |
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
Функция
λ R . Так как точке λ = 0.
Положим
x(×) = xˆ(×) + λh(×) является допустимой для любого xˆ(×) Îlocextr з , то функция ϕ(λ) имеет экстремум в
F(t,λ) = L(t, xˆ(t) + λh(t), xˆ(t) + λh(t) ). Тогда
102
ϕ(λ) = tò1 F(t,λ)dt
t0 .
Из условий гладкости, наложенных на функции L, xˆ, h , следует, что функции F и Fλ дифференцируемы в некотором прямоугольнике [t0 ;t1]×[− λ0 ;λ0 ] , поэтому функция ϕ(λ) дифференцируема в нуле и по теореме Ферма ϕ′(0) = 0.
Продифференцируем функцию ϕ(λ) :
t1 |
|
|
|
|
|
|
|
t1 |
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|||
¢ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|||
ϕ (λ) = ò Fλ (t,λ)dt = ò{Lx (t, x(t) |
+ λh(t), x(t) + λh(t) )× h(t) + |
|||||||||||||||||||||||
t0 |
|
|
|
|
|
|
|
t0 |
|
|
|
|
|
|
|
|
|
}dt |
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
+ L |
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
||||||
(t, x(t) |
+ λh(t), x(t) |
+ λh(t) )× h(t) |
, |
|
|
|
|
|||||||||||||||||
|
|
x |
|
t1 |
{ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ϕ (0) = |
ˆ |
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
L |
|
(t) × h(t) + L (t) × h(t)}dt = 0 |
|
|
|
|
|||||||||||||||||
|
¢ |
|
|
|
|
ò |
|
|
x |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
t0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
(2) |
На следующем этапе доказательства теоремы сформулируем |
||||||||||||||||||||||||
и докажем вспомогательное утверждение. |
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Лемма Дюбуа-Реймона. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Пусть функции a0 (t), a1(t) непрерывны на отрезке [t0; t1] и |
||||||||||||||||||||||||
t1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
[t0;t1]) |
|
|
|
|
|||
ò{a1(t)h(t) + a0 (t)h(t)}dt = 0 "h ÎC0 ( |
|
|
|
|
||||||||||||||||||||
t0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
a (t) ÎC1 |
([t |
0 |
;t |
]) |
и выполнено равенство |
|
|
|
|
|
|
|||||||||||||
Тогда 1 |
|
1 |
|
|
|
|
|
|
|
|||||||||||||||
|
- |
d |
|
a (t) + a |
|
(t) = 0 "t Î[t |
|
; t |
] |
|
|
|
|
|
||||||||||
|
dt |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
1 |
|
|
|
|
0 |
|
|
|
|
|
0 |
1 |
. |
|
|
|
|
|
||
Доказательство леммы: Возьмем функцию |
|
p(t) Î C1([t |
0 |
;t |
]) |
та- |
||||||||||||||||||
|
|
|
|
|
1 |
|
||||||||||||||||||
кую, что |
|
|
|
|
|
|
|
|
|
|
|
t1 p(t)dt = t1 a (t)dt |
|
|
|
|
|
|
||||||
|
|
p(t) = a |
0 |
(t), |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
ò |
|
ò |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t0 |
|
t0 |
|
|
|
|
. |
|
|
|
|
|
Такая функция существует, так как из первого условия функция
103
p(t) определяется с точностью до константы, а выбором константы можно удовлетворить второе условие. Тогда для любой функ-
ции h C01 ([t0 ;t1]) по условию леммы справедливы равенства: tò1 {a1(t)h(t) + a0 (t)h(t)}dt = tò1 a1(t)h(t)dt + tò1 h(t) p(t)dt =
|
t0 |
|
|
|
|
|
|
|
|
|
t0 |
|
|
|
|
|
t0 |
|
|
|
|
|
|
|
|
t1 |
|
|
|
t1 |
|
t1 |
|
|
|
|
|
|
|
t1 |
|
|
|
|
|
= 0 |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
= ò a1(t)h(t)dt + h(t) |
p(t) |
|
t0 |
− ò h(t) p(t)dt |
= ò(a1(t) − p(t))h(t)dt |
||||||||||||||||||
|
|
. |
||||||||||||||||||||||
|
t0 |
|
|
|
|
|
|
t0 |
|
|
|
t |
|
|
|
|
t0 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
h |
(t) = ò(a1(τ ) − p(τ ))dτ |
|
|
|
|
|||||||||||
|
Рассмотрим функцию |
C1 |
([t |
|
t0 |
|
]) |
|
|
|
. Эта функция |
|||||||||||||
принадлежит пространству |
0 |
;t |
|
. Действительно, |
|
|
|
|||||||||||||||||
|
0 |
|
1 |
|
|
|
|
|
||||||||||||||||
|
|
~ |
(t) = a1(t) − p(t) C |
([t0;t1]) . |
|
|
|
|
|
|
||||||||||||||
|
|
h |
|
|
|
|
|
|
||||||||||||||||
|
~ |
~ |
t1 |
(a1(t) − p(t))dt |
= 0 |
|
|
|
|
|
|
|||||||||||||
|
h (t0 ) = 0, h (t1) = ò |
|
|
|
|
|
|
|||||||||||||||||
Далее, |
|
t0 |
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|||
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда для функции |
h (t) |
|
также должно выполняться равенство |
|||||||||||||||||||||
t1 |
|
~ |
|
|
|
t1 |
(a |
|
(t) − p(t))2 dt = 0 |
|
|
|
|
|
|
|||||||||
ò |
(a (t) − p(t))h (t)dt = 0 |
ò |
|
|
|
|
|
|
|
|||||||||||||||
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
t0 |
|
|
|
|
|
t0 |
|
|
|
|
|
|
|
|
|
|
|
. |
Откуда |
следует, |
||||
что a1(t) |
≡ p(t) . Поэтому |
|
a1(t) C |
1 |
([t0 |
;t1]) и |
− |
d |
a (t) + a |
|
(t) = 0 |
|||||||||||||
|
dt |
|
||||||||||||||||||||||
|
|
|
|
1 |
|
0 |
|
|||||||||||||||||
t [t0; t1]. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
Теперь из леммы Дюбуа-Реймона и равенства (2) следует |
|||||||||||||||||||||||
утверждение теоремы. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
■ |
Уравнение (1) представляет собой дифференциальное уравнение второго порядка, так что его общее решение должно зависеть от двух произвольных постоянных. Значения этих постоянных определяются из граничных условий
x(t0 ) = x0 , x(t1 ) = x1 .
|
|
|
104 |
|
|
|
Следует отметить, что краевая задача |
|
|||||
ì |
d |
|
|
|
||
ï- |
|
|
Lx + Lx = 0, |
|||
dt |
||||||
í |
) = x , x(t |
) = x |
||||
ïx(t |
0 |
|||||
î |
|
0 |
1 |
1 |
не всегда имеет решение, а если решение существует, то оно может быть не единственным.
Определение. Функции, удовлетворяющие уравнению Эйлера задачи (з), называются экстремалями, а допустимые функции, удовлетворяющие уравнению Эйлера, называются допустимыми
экстремалями. |
|
|
|
|
▲ |
Интегралы уравнения Эйлера. |
|||||
|
|
|
не зависит явно от x , то имеет |
||
1. Если интегрант L = L(t, x) |
|||||
место интеграл импульса |
ˆ |
(t) = const |
|
|
|
|
|
|
|||
|
L |
. |
|
||
|
x |
|
|
|
|
|
|
не зависит явно от t , то имеет |
|||
2. Если интегрант L = L( x, x) |
|||||
место интеграл энергии |
|
|
|
|
|
ˆ |
|
ˆ |
|
|
|
ˆ |
|
|
|
|
|
xL (t) - L(t) = const |
. |
||||
|
x |
|
|
|
Для доказательства интеграла энергии умножим обе части равен-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ства (1) на x(t) : |
|
|
|
|
|
|
|
|
d |
ˆ |
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
ˆ |
|
|
|
|
|
L (t) |
+ L |
|
|
|
ˆ |
|
|
|
|
|
|||||
|
|
|
|
- x(t) |
|
dt |
x |
(t)x(t) = 0 Û |
|
||||||||||||||||||
|
|
|
d |
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
ˆ |
|
|
|
ˆ |
|
|
|
|
|
ˆ |
|
|
|
|
||||||||
Û - |
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
ˆ |
|
+ L |
|
|
ˆ |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
dt |
|
|
|
x |
d |
|
x |
|
|
|
|
|
d |
|
x |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
ˆ |
|
|
|
||||||
|
|
|
|
|
|
Û - |
|
|
|
ˆ |
|
|
|
|
|
|
|
|
L(t) = 0 Û |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
dt |
x(t)L (t) + |
|
dt |
||||||||||||||||||
|
d |
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
ˆ |
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
ˆ |
|
ˆ |
|||
Û - |
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
- L(t) = const. |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
dt |
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
Отметим, что при выводе интеграла энергии использовалось дополнительное предположение о существовании второй производ- ной xˆ(t) .
![](/html/2706/112/html_WdDlUH4GMr.pT3f/htmlconvd-hMhK6A105x1.jpg)
|
|
|
105 |
|
1 |
2 |
- 2tx)dt ® extr; x(-1) = 1, x(1) = 1 |
|
|
||
Пример 1. |
I( x(×)) = ò (x |
|
|
−1 |
|
. |
Решение: Интегрант задачи равен L = L(t, x, x) = x2 - 2tx . Уравнение Эйлера имеет вид:
- dtd Lx + Lx = 0 Û - dtd (2x) - 2t = 0 Û x = -t . Общее решение дифференциального уравнения Эйлера:
|
|
|
x = - |
t3 |
+ C t + C |
2 . |
|
|
|
|
|||||
|
|
|
6 |
|
|
|
|
||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
||
Постоянные C1,C2 найдем из граничных условий: |
|
||||||||||||||
x(-1) = 1 Þ |
1 - C + C |
2 |
= 1, x(1) = 1 Þ - |
1 + C + C |
2 |
= 1 |
|||||||||
|
6 |
1 |
|
|
|
|
|
|
|
6 |
1 |
. |
|||
|
|
1 , C |
|
|
|
|
|
|
|
|
|
||||
|
|
C = |
2 |
= 1 |
|
|
|
|
|
|
|
|
|||
Откуда получаем |
|
1 |
6 |
|
|
. Единственная допустимая экс- |
|||||||||
|
|
|
|
|
|||||||||||
тремаль задачи имеет вид: |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
x(t) = - t3 + |
t |
+1 |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
||||||||
|
|
|
ˆ |
|
|
|
6 |
|
6 . |
|
|
|
|
||
|
|
ˆ |
|
|
|
|
|
|
|
|
|
||||
|
|
доставляет абсолютный минимум в зада- |
|||||||||||||
Покажем, что x(t) |
че, т.е. покажем, что для любой допустимой функции x выполне-
ˆ |
|
в виде: |
но неравенство I( x) ³ I(x). Представим функцию x |
||
ˆ |
должна удовлетворять крае- |
|
x(t) = x(t) + h(t) . Так как функция x |
вым условиям задачи, то для функции h краевые условия будут нулевыми: h(-1) = h(1) = 0.
Рассмотрим разность I (xˆ + h) - I(xˆ):
ˆ |
ˆ |
|
|
1 |
ì |
|
2 |
|
|
|
ˆ |
|
ü |
1 |
2 |
|
|
ˆ |
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
ˆ |
|
|
|
= |
|||||
I(x + h) - I(x) = |
ò |
í (x + h) - 2t |
(x + h)ýdt - |
ò |
(x |
|
- 2tx)dt |
|||||||||||||
|
|
|
|
î |
|
|
|
|
|
|
|
þ |
|
|
|
|
|
|
||
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
||
1 |
|
2 |
- 2th)dt = |
|
|
|
1 |
|
1 |
|
|
|
|
|
2 |
)dt = |
|
|||
|
|
|
|
|
|
|
||||||||||||||
ˆ |
|
|
ˆ |
|
|
+ |
|
ˆ |
|
|
|
|
|
|||||||
= ò (2xh + h |
|
2xh |
|
−1 |
ò (- 2xh - 2th + h |
|
|
|||||||||||||
−1 |
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
![](/html/2706/112/html_WdDlUH4GMr.pT3f/htmlconvd-hMhK6A106x1.jpg)
|
|
|
|
|
106 |
|
|
|
|
|
|
ˆ |
|
1 |
1 |
ˆ |
|
|
2 |
)dt = |
|
|
|
+ ò |
|
|||||||
= 2xh |
|
−1 |
(- 2xh |
- 2th + h |
||||||
|
|
|
−1 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
||
1 |
ˆ |
|
|
|
1 |
2 |
1 |
|
2 |
dt ³ 0 |
= ò (- |
2x |
|
- 2t)hdt + ò h |
dt = ò h |
|
|||||
−1 |
|
|
|
|
−1 |
|
−1 |
|
|
. |
Таким образом, для любой допустимой функции x(t) = xˆ(t) + h(t)
разность I (xˆ + h) - I(xˆ) неотрицательна. Ответ: xˆ(t) = - t63 + 6t +1Îabsmin з .●
Пример 2.
I( x) = |
5π 4 |
|
2 |
- 4x |
2 |
)dt ® extr; |
x(0) = x(5π 4) = 0 |
|
|
||||
|
|
|
|||||||||||
ò (x |
|
|
|
|
|||||||||
|
0 |
|
|
|
|
|
|
|
2 |
. |
2 |
|
|
|
|
|
|
|
|
|
|
|
- 4x |
. |
|||
Решение: Интегрант задачи равен L = L(t, x, x) |
= x |
|
|||||||||||
|
|
|
|
|
|
|
d |
|
|
|
|
|
|
Выпишем уравнение Эйлера: - dt |
+ 4x = 0 . |
||||||||||||
(2x) - 8x = 0 |
Û x |
Уравнение Эйлера представляет собой линейное однородное дифференциальное уравнение второго порядка с постоянными коэффициентами. Его общее решение имеет вид:
x(t) = C1 cos 2t + C2 sin 2t .
Константы C1,C2 найдем из граничных условий: x(0) = 0 Þ C1 = 0; x(5π4) = 0 Þ C2 = 0 .
Откуда получаем единственную возможную допустимую экстре- маль xˆ(t) º 0.
Покажем, что найденная функция |
ˆ |
не доставляет локаль- |
||
x |
||||
ного экстремума в поставленной задаче. |
|
|
1 sin |
4t |
Рассмотрим последовательность |
|
yn (t) = |
||
функций |
n |
5 . |
Для любого значения n = 1,2,... функции yn являются допустимы-
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|||
ми и, кроме того, |
|
|
|
yn (×) - x(×) |
|
|
|
1 |
® 0 при n → ∞. Вычислим значе- |
|
|
|
|
||||||
ние функционала на yn : |
|
![](/html/2706/112/html_WdDlUH4GMr.pT3f/htmlconvd-hMhK6A107x1.jpg)
|
|
|
|
|
|
|
|
|
|
|
107 |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
5π 4 |
éæ 4 |
|
|
4t ö2 |
æ |
1 |
|
|
|
4t |
ö |
2 ù |
|||||||||
I( yn ) = |
ò |
|
êç |
|
|
cos |
5 |
÷ |
|
- 4ç |
|
sin |
5 |
÷ |
údt = |
|||||||||
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
0 |
|
ëè 5n |
|
|
ø |
|
è n |
|
|
|
ø |
û |
||||||||
|
1 |
5π 4 |
æ |
|
42 |
|
58 |
|
|
|
8t ö |
|
|
|
21π |
|
|
ˆ |
||||||
= |
|
|
ò |
ç |
- |
25 |
+ |
25 |
cos |
|
5 |
÷dt = - |
|
|
|
|
|
< 0 = I(x). |
||||||
n |
2 |
|
10n |
2 |
||||||||||||||||||||
|
|
0 |
è |
|
|
|
|
|
|
ø |
|
|
|
|
|
|
|
Рассмотрим другую последовательность допустимых функ- |
||||||||||||||||||||||||||||||||
ций, |
сходящихся |
к |
|
ˆ |
|
по |
|
норме пространства |
C1([0;5π 4]) |
: |
|||||||||||||||||||||||
|
x |
|
|
|
|||||||||||||||||||||||||||||
zn = |
1 sin |
16t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
на zn : |
|
|
|
n |
5 . Вычислим значение функционала I |
|
||||||||||||||||||||||||||||||
|
|
I( zn ) |
= |
5π 4 |
éæ |
16 |
cos |
16t ö2 |
|
æ 1 |
sin |
16t ö2 |
ù |
|
|
||||||||||||||||||
|
|
|
ò |
|
êç |
5n |
5 |
÷ |
- 4ç |
|
|
|
|
÷ |
údt = |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
0 |
|
ëè |
|
|
|
ø |
|
è n |
|
|
|
|
|
5 ø |
û |
|
|
||||||
|
|
|
1 5π 4 |
æ |
78 |
|
|
178 |
|
|
32t |
ö |
|
|
39π |
|
|
|
|
ˆ |
|
||||||||||||
|
|
= |
|
|
|
|
ò |
|
ç |
25 |
+ |
25 |
cos |
5 |
÷dt |
= |
|
|
|
|
|
|
> 0 = I( |
x). |
|
||||||||
|
|
n |
2 |
|
|
|
10n |
2 |
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
0 |
|
è |
ˆ |
|
|
|
ø |
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Так как |
I ( y ) < I (x) |
, а |
I( z ) > I(x) |
|
|
|
ˆ |
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, то x Ïlocextr з . |
|
|||||||||||||||||
Из этого примера видно, что уравнение Эйлера |
- необходимое, |
||||||||||||||||||||||||||||||||
но не достаточное условие экстремума. |
|
|
|
|
|
|
|
|
|
● |
|||||||||||||||||||||||
|
Пример 3. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
I( x) |
1 |
|
2 |
|
|
2 |
|
|
|
|
|
|
|
|
|
x(0) |
|
x(1) |
|
|
|
|
|
|
|
|
|
|
|
|||
|
x |
dt |
® extr; |
|
=1, |
= 2 |
|
|
|
|
|
||||||||||||||||||||||
|
= ò x |
|
|
|
|
. |
|
|
|
||||||||||||||||||||||||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Решение: Заметим, что интегрант задачи L = x2x2 не зависит явно от t . Поэтому имеет место интеграл энергии:
xLx - L = const Û x × 2xx2 - x2x2 = const Û x2 x2 = const . Тогда
|
|
|
d |
æ |
x2 |
ö |
|
x2 |
|
|
|
|
|
|
|
Û |
= C Û |
= C t + C |
|
Û x = ± 2C t + 2C |
|
|
|||||||
|
|
|
÷ |
|
|
|
|
|||||||
xx = C |
ç |
|
|
|
2 . |
|||||||||
|
1 |
|
dt è |
2 |
ø |
1 |
2 |
1 |
2 |
1 |
Так как на концах отрезка интегрирования функция x(×) принимает положительные значения, то перед квадратным корнем следует взять знак «плюс». Из краевых условий найдем констан-
![](/html/2706/112/html_WdDlUH4GMr.pT3f/htmlconvd-hMhK6A108x1.jpg)
108
|
|
C = 1 , C |
2 |
= 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
ты C1,C2 : |
1 |
2 |
|
|
|
|
2 . Получаем единственную допустимую |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|||
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x(t) |
= |
|
|
|
|
|
|
|
, 2x(t)x(t) = 1 |
|||||||||
экстремаль x(t) |
= |
|
|
t +1 . Заметим, что |
ˆ |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
ˆ |
ˆ |
|||||||||||||||
|
|
|
|
|
|
|
t +1 |
|
|
|
|
|
|
. |
|||||||||||||||||||||||
Возьмем произвольную допустимую функцию |
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x(t) = x(t) + h(t), h(0) = h(1) = 0 . |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
Рассмотрим разность |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 2 |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
ˆ |
|
|
|
|
|
ˆ |
|
|
|
|
|
2 |
|
|
ˆ |
|
|
|
2 |
|
|
|
|
ˆ |
2 |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|||||||||
|
I(x + h) - I (x) = ò (x + h) |
|
|
×(x |
+ h) dt -ò x |
|
× x dt = |
|
|||||||||||||||||||||||||||||
|
|
1 |
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
ˆ |
|
|
|
|
|
ˆˆ |
|
|
|
|
ˆ |
|
|
|
|
|
|
|
ˆˆ |
|
|
= |
|
|
||||||||||
|
|
= ò[(x + h)( |
x + h) - xx]×[(x + h)(x |
+ h) + xx]dt |
|
|
|||||||||||||||||||||||||||||||
|
|
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
ˆ |
|
|
|
ˆˆ |
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
= ò[xh + hx + hh]×[2xx + xh + hx |
+ hh]dt = |
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
0 |
|
|
|
|
|
|
|
h2 ö∙ é |
|
|
|
|
|
|
|
|
|
|
ö∙ ù |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
1 |
æ ˆ |
|
|
|
|
|
|
æ ˆ |
|
|
h2 |
= |
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
= ò |
ç xh + |
2 |
÷ |
× ê1+ |
ç xh + |
|
2 |
|
÷ |
|
údt |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
0 |
è |
|
|
ø |
ê |
|
|
|
|
è |
|
|
|
|
ø |
ú |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
ë |
|
|
|
|
|
|
ù2 |
|
|
û |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
1 |
æ ˆ |
+ |
h2 |
ö∙ |
|
|
1 |
éæ |
ˆ |
+ |
h2 |
ö∙ |
|
|
|
ˆ |
+ |
h2 |
|
1 |
= 0 |
|
||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
= ò |
ç xh |
|
2 |
÷ dt + ò |
êç xh |
|
2 |
÷ |
ú |
|
dt ³ xh |
2 |
|
|
|
|||||||||||||||||||||
|
|
è |
|
|
ø |
|
|
|
|
êè |
|
|
|
|
|
ø |
ú |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
0 |
|
|
|
|
|
|
|
|
|
0 |
ë |
|
|
|
|
|
|
|
û |
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
0 |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ h(t) выпол- |
||||
Так как для любой допустимой функции x(t) = x(t) |
|
||||||||||||||||||||||||||||||||||||
нено |
неравенство |
|
|
|
ˆ |
|
|
|
|
|
ˆ |
|
то |
|
|
найденная |
экстремаль |
||||||||||||||||||||
|
I(x + h) |
³ I(x), |
|
|
|||||||||||||||||||||||||||||||||
ˆ |
t +1 доставляет в задаче абсолютный минимум. |
|
|||||||||||||||||||||||||||||||||||
x(t) = |
|
||||||||||||||||||||||||||||||||||||
|
|
ˆ |
|
|
|
|
|
t +1Î abs min з . ● |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
Ответ: x(t) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
Пример 4. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
I( x) = |
π 2 |
2 |
- x |
2 |
+ 4x cost)dt ® extr; |
|
x(0) = |
|
|
|
|
|
æ |
π ö |
= 0 |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
ò (x |
|
|
|
1, xç |
÷ |
|||||||||||||||||||||||||||||||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
è |
2 ø |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Решение: Выпишем интегрант задачи и уравнение Эйлера:
L(t, x, x) = x2 - x2 + 4x cost ;
![](/html/2706/112/html_WdDlUH4GMr.pT3f/htmlconvd-hMhK6A109x1.jpg)
|
|
109 |
|
|
|
|
|
d |
|
|
|
|
|
- dt |
+ x = 2cost . |
(3) |
||||
(2x) - 2x + 4cost = 0 |
Û x |
Уравнение Эйлера представляет собой линейное неоднородное дифференциальное уравнение второго порядка с постоянными коэффициентами. Его общее решение представляется в виде суммы общего решения соответствующего однородного уравне-
ния x + x = 0 и частного решения неоднородного уравнения: x = xoo + xч .
Корни характеристического уравнения равны ± i , поэтому xoo = C1 cost + C2 sin t .
Частное решение неоднородного уравнения ищем в виде: xч = t( Acost + B sin t) .
Подставляя эту функцию в уравнение (3), получим A = 0, B = 1. Поэтому
x = C1 cost + C2 sin t + t sin t .
Постоянные C1,C2 найдем из краевых условий:
x(0) = 0 Þ C1 = 0; x(π2) = 0 Þ C2 + π
2 = 0 Û C2 = -π
2. Получаем единственную допустимую экстремаль:
ˆ |
æ |
π ö |
|
|
x(t) = çt - |
2 |
÷sin t |
. |
|
|
è |
ø |
Проведем |
исследование |
|
полученного решения. Для этого |
|||||||||||||||||||||||
возьмем произвольную допустимую функцию |
|
x(t) |
ˆ |
|||||||||||||||||||||||
|
= x(t) + h(t), |
|||||||||||||||||||||||||
h(t) ÎC1([0;π 2]) |
и рассмотрим разность |
|
|
|
|
|
|
|
||||||||||||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
ˆ |
|
|
|
|
|
|
ˆ |
π 2 |
é |
|
|
|
2 |
|
ˆ |
|
2 |
4( |
ˆ |
|
|
|
ù |
||
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
+ |
|
|
|
|
|||||||
I (x + h) - I |
(x) = ò |
ê(x + h) |
|
|
- (x + h) |
x + h)costúdt - |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
0 |
ë |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
û |
π 2 |
|
2 |
|
ˆ |
2 |
|
ˆ |
|
|
|
π 2 |
|
|
|
2 |
|
ˆ |
|
|
|
2 |
+ 4h cost]dt = |
||||
- ò |
ˆ |
|
|
|
+ |
|
|
|
ò |
|
|
|
ˆ |
|
|
|
|
|
|
|||||||
(x |
|
- x |
|
4x cost)dt = |
|
|
[2xh + h |
|
- 2xh - h |
|
||||||||||||||||
0 |
|
|
|
|
|
|
|
π 2 |
|
|
|
0 |
+ 4cost]hdt + |
π 2 |
|
|
|
|
]dt = |
|||||||
|
|
|
|
|
π 2 |
|
|
|
ˆ |
|
2 |
2 |
||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
= |
|
ˆ |
|
|
|
|
|
|
ˆ |
|
ò |
|
|
|
- h |
||||||||||
|
2xh |
0 |
|
+ ò [- 2x |
- 2x |
|
[h |
|
|
|||||||||||||||||
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
![](/html/2706/112/html_WdDlUH4GMr.pT3f/htmlconvd-hMhK6A110x1.jpg)
|
|
|
|
|
|
|
|
110 |
|
|
|
|
|
|
|
|
π 2 |
|
2 |
- h |
2 |
]dt ³ 0 |
|
|
|
|
|
|
= ò |
|
[h |
|
|
|
|
|||
|
|
|
|
0 |
|
|
|
|
|
. |
|
|
При выводе последнего неравенства было использовано не- |
||||||||||||
равенство Стеклова. |
|
|
|
|
|
|
|
|
|
|
||
Неравенство Стеклова В.А. |
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
π |
|
π |
|
|
|
f ( x) Î C |
1 |
([0; |
π ]) |
|
|
|
ò |
( |
f ¢( x))2 dx ³ ò f 2 |
( x)dx |
|
Если |
0 |
, |
то 0 |
|
0 |
, |
причем |
|||||
|
|
|
|
|||||||||
равенство достигается |
только для |
функций вида |
f ( x) |
= Asin x |
(Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления, часть III, М. Наука, 1969, стр. 595).
Покажем, что если 0 < l < π и g(t) Î C01 ([0;l]) , то
|
|
|
|
|
l |
|
|
|
|
|
|
|
|
|
l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ò( |
|
2 |
dt ³ |
ò g |
2 |
(t)dt |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
g (t)) |
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
0 |
|
|
|
. |
|
|
|
πt , t = t( x) = lx |
|||
Действительно, выполним замену переменной |
x = |
|||||||||||||||||||||||||
|
l |
|
π |
|||||||||||||||||||||||
и рассмотрим функцию |
|
f ( x) |
= g(t( x)) . Тогда |
f ( x) Î C01 ([0;π ]) и |
||||||||||||||||||||||
π |
π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ò( f ¢( x))2 dx ³ ò f |
2 ( x)dx |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
¢ |
dg dt |
|
|
|
|
|
l |
|
|
|
|
π |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
= l dt , поэтому |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Но f ( x) = dt × dx = g(t) × π , dx |
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
l |
2 |
|
|
l |
|
|
|
2 |
|
|
l |
|
|
2 |
(t)dt |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
dt ³ ò g |
|
|
|
|
|
|||||||||
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
π |
|
ò( g (t)) |
|
|
|
|
|
|
|
||||||||||||||
|
l |
|
|
|
|
0 |
|
|
|
|
l |
|
|
0 |
|
|
|
l |
, |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
π |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
2 |
dt ³ |
2 |
|
ò g |
2 |
(t)dt ³ ò g |
2 |
(t)dt |
|
|
|
|||||||||||
|
ò( g (t)) |
|
l |
|
|
|
|
|
|
|||||||||||||||||
следовательно, 0 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
0 |
|
|
. |
|
|
|
||
Вернемся к поставленной задаче. Так как для любой допу- |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
стимой |
функции |
|
x(t) = x(t) + h(t) |
|
|
|
выполнено |
|
неравенство |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
ˆ |
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
æ |
π |
ö |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x(t) = |
çt - |
2 |
÷sin t |
|||||
I(x + h) |
³ I(x), то найденная экстремаль |
|
|
|
è |
ø |
достав- |