Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Rozova_Maximova

.pdf
Скачиваний:
153
Добавлен:
15.04.2015
Размер:
714.37 Кб
Скачать

8. Необходимые условия экстремума второго порядка

8.1. Необходимое условие Лежандра

Рассматривается задача:

b

F(x) = f (t, x(t), x(t))dt extr,

a

с краевыми условиями x(a)=xa, x(b)=xb в классе x(t) C1[a,b], функция f (t, x(t), x(t)) трижды непрерывно дифференцируе-

ма по совокупности переменных.

Тогда можно показать, что функционал F(x) дважды дифференцируем по Фреше.

Рассмотрим приращение функционала:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(t, x, x))dt =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F(x)[h] = F(x + h) F(x) = ( f (t, x + h, x + h)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= (

(t, x, x)

h +

f (t, x, x)

 

h)dt +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

x

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

b

2

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

2

 

+

(

 

 

f (t, x, x)

h

+

2

 

 

f (t, x, x)

hh

+

 

 

 

f (t, x, x)

h

)dt +

 

 

 

 

x

2

 

 

 

 

 

 

 

 

 

xx

 

 

 

 

 

 

 

x

2

 

 

 

 

 

 

2 a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

3

f

 

 

 

 

 

 

 

 

3

f

 

 

 

 

 

 

3

f

 

 

 

 

 

 

 

 

 

3

f

 

 

 

 

 

+

(

 

h3 + 3

 

 

 

 

h2 h

+ 3

 

 

 

hh2

+

 

 

h3 )dt,

 

 

 

 

x

3

 

 

2

 

 

xx

2

 

 

x

3

 

 

 

3! a

 

 

 

 

 

 

 

 

 

 

 

x x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

f

=

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (t, x + θh, x + θh) ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x3

 

 

 

 

 

 

 

 

 

 

x3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

f

 

=

3

f (t, x + θh, x

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ θh)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2

 

 

 

 

 

 

 

 

 

 

 

x

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

61

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

f =

3

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(t, x + θh, x + θh)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

f =

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (t, x + θh, x + θh) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F = L(x)[h] +

 

B(x)[h, h] + r(x, h),

 

r(x, h)

 

< ε

 

 

 

h

 

 

 

2 , если

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

h

 

< δ (ε ) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Выделим отсюда вторую производную

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F ′′(x)[h, h] =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

b

2

f (t

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

2

 

=

(

 

, x, x)

h

 

+ 2

 

 

 

f (t, x, x)

hh

+

 

 

 

 

f (t, x, x)

h

)dt.

 

 

 

 

x

2

 

 

 

 

 

 

 

 

 

 

 

 

 

xx

 

 

 

 

 

 

 

 

 

x

2

 

 

 

 

 

 

 

 

 

 

2 a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Преобразуем второе слагаемое

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

2

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

(t, x, x)

 

hhdt =

 

f (t, x, x)

dh2 =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

xx

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

xx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

d

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

f (t, x, x)

h2

ba

(

 

f (t, x, x)

)h2 dt =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

dt

 

 

 

xx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

d

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= −

 

 

(

 

f (t, x, x)

)h

2 dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

xx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(первое слагаемое равно нулю в силу закрепленных концов).

Таким образом,

F ′′(x)[h, h] =

 

1

b

 

2

 

 

 

 

 

 

 

d

2

 

 

 

2

 

2

f

 

 

 

 

 

2

 

=

((

 

f (t, x, x)

 

 

f (t, x, x)

)h

+

 

(t, x, x)

h

)dt.

 

 

 

x

2

 

 

 

dt

 

 

 

xx

 

 

 

 

 

x

2

 

 

 

 

2 a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

d

 

2

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

Q(t) =

 

f (t, x, x)

 

 

f (t, x, x)

,

P(t) =

 

f (t, x, x)

.

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xx

 

 

 

 

 

 

 

 

 

 

 

 

 

62

Тогда F ′′(x)[h, h] = 1 b (Q(t)h2 + P(t)h2 )dt. 2 a

Получим необходимое условие экстремума второго порядка или условие Лежандра.

Теорема (условие Лежандра). Пусть функционал

F(x) имеет в точке xˆ = xˆ(t) минимум (максимум) и существу-

ет FФ′′(xˆ)[h, h] , тогдаP(t) =

2 f

ˆ

2

(t, xˆ.x) 0 (0).

 

x

 

Док-во. от обратного. Проведем доказательство для случая минимума. Пусть существует точка t* [a,b] такая,

 

2 f

(t*, xˆ

ˆ

 

чтоP(t*) =

 

2

(t*), x

(t*)) < 0 . В силу непрерывности,

 

x

 

 

 

 

без ограничения общности, можно считать, что точка t* не лежит на границе отрезка [a,b]. Тогда существует окрест-

 

 

 

 

 

2 f

ˆ

 

ность S

δ (t*) точки t* такая, что

2

(t, xˆ, x) < 0 , t Sδ (t*) .

 

 

 

 

 

x

 

 

В

то же время, по необходимому

условию

минимума,

F ′′(xˆ)[h, h] 0 , h X .

Построим

функцию

h

(t t*) C1[a,b], такую, что

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

0,t [a,b] \ Sδ (t*),

 

 

 

 

h0 (t t*) = 1,t = t*,

 

 

 

 

 

 

[0,1],t Sδ (t*).

 

 

 

Из построения и непрерывной дифференцируемости

указанной функции вытекает, что

 

 

 

 

S

δ

(t*) : h(t t*) > c > 0

при t

. Построим совокуп-

 

 

0

 

 

 

 

ность функций hm(t) таких, что hm(t)=h0(m(t-t*)).

63

Тогда

 

 

 

 

h

(t) = mh

(m(t t*)) > mc > 0 при t

 

.

 

m

0

 

m

 

 

 

Подставим теперь полученные функции hm(t) в функционал

FФ′′(xˆ)[h, h] .

t*+δ

t*+δ

FФ′′(xˆ)[hm , hm ] =

Q(t)hm2 (t)dt + P(t)hm2 (t)dt =

t*δ

t*δ

t*+δ

 

 

 

 

 

= Q(t)hm2 (t)dt +

 

P(t)hm2 (t)dt + P(t)hm2 (t)dt

t*δ

Sδ (t*)\

 

 

 

 

 

m

 

m

 

 

 

В полученной сумме первое слагаемое ограничено по непрерывности; второе – отрицательно (по предположению), а третье – оценивается сверху следующим образом:

P(t)hm2 (t)dt kc2 m2 m < 0 , k<0.

m

Итак, m можно выбрать сколь угодно большим, тогда знак ограниченного интеграла не будет влиять на знак суммы. Таким образом, получим

FФ′′(xˆ)[hm , hm ] < 0

для некоторого достаточно большого номера m, что противоречит условию FФ′′(xˆ)[h, h] 0, h X . Теорема доказана.

Замечание. Для максимума

необходимое условие

 

2 f

ˆ

Лежандра будет иметь вид: P(t) =

2

(t, xˆ, x) 0 .

 

x

 

64

8.2.Сопряженные точки. Уравнение Якоби

исвойства его решений

Рассматривается задача:

b

с

краевыми условиями

 

F(x) = f (t, x(t), x(t))dt extr,

a

1

 

 

 

x(a)=xa, x(b)=xb в классе x(t) C [a,b], f (t, x(t), x(t)) трижды

непрерывно дифференцируема по совокупности переменных. Как было сказано, вторая производнаяFФ′′(xˆ)[h, h] функцио-

нала F(x) преобразуется к виду:

F ′′(x)[h, h] =

 

1

b

 

2

 

 

 

 

 

 

 

 

 

 

 

 

d

 

2

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

=

((

 

f (t, x, x)

 

 

 

 

f (t, x, x)

)h

+

 

f (t, x, x)

h

)dt.

 

 

 

 

 

 

x

2

 

 

 

 

 

dt

 

 

 

xx

 

 

 

 

 

 

 

x

2

 

 

 

 

 

 

 

 

2 a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подставляя в производную конкретную кривую

 

xˆ = xˆ(t) ,

 

получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F ′′(x)[h, h] =

(Q(t)h2

+ P(t)h2 )dt, где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

d

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

f

 

 

 

 

 

 

 

 

 

 

Q(t) = (

 

f (t, x, x)

 

 

 

 

f (t, x, x)

)

 

 

 

 

 

,

 

P(t) =

 

 

(t, x, x)

 

 

ˆ

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x= xˆ

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

x= x

 

 

 

 

 

 

 

 

x

 

 

 

 

 

dt

 

 

 

 

 

xx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

Подынтегральное

выражениеQ(t)h

2

 

 

 

 

 

 

2

 

является

 

 

 

 

 

 

+ P(t)h

 

 

квадратичной формой с непрерывными коэффициентами, а

 

функции Q(t) и P(t)

 

 

связаны с конкретной траекторией. Рас-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

смотрим функционал (Q(t)h2 + P(t)h2 )dt

и напишем для не-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

го уравнение Эйлера.

 

 

 

 

 

 

 

 

d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q(t)h

 

P(t)h = 0 , где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

d

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

Q(t) = (

 

f (t, x, x)

 

 

 

f (t, x, x)

)

 

 

 

 

,

 

P(t) =

 

f (t, x, x)

 

ˆ

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x= xˆ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

x= x

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

dt

 

 

 

 

 

xx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

65

Полученное уравнение называется уравнением Якоби для функционала F(x). Уравнение Якоби является линейным дифференциальным уравнением второго порядка с непрерывными коэффициентами.

Опр. 1. Пусть h(t) – решение уравнения Якоби с краевыми условиями h(a) = 0, h(a) = c 0 . Тогда точка τ(a,b] называется сопряженной с точкой a для кривой x(t), если h(τ)=0.

Свойства решений уравнения Якоби.

 

1. Любое решение уравнения Якоби,

удовлетворяющее

 

условиям h(a) = 0, h(a) = c 0 ,

представимо в виде

 

~

~

 

 

 

 

h(t) = ch (t) , где

h (t) – также решение уравнения Яко-

 

би, удовлетворяющее условиям

~

~

 

 

h (a) = 0, h (a) = 1.

 

Док-во. Пусть

~

уравнения

Якоби и

 

h (t) – решение

~

~

 

 

~

(t) . Пока-

h

(a) = 0, h (a) = 1. Рассмотрим функцию

h(t)=c h

жем, что она тоже является решением уравнения Якоби. Действительно,

 

d

~

 

d

~

~

 

d

 

~

Q(t)h

 

P(t)h

= Qch

 

P(t)ch

= Qh

 

 

P(t)h = 0 .

dt

dt

dt

~

также является решением,

 

причем с на-

То есть h(t)=c h (t)

 

 

 

 

 

~

 

 

 

~

(a) = c . А по

чальными условиями h(a) = ch

(a) = 0, h(a) = ch

 

теореме существования и единственности другого решения с таким же начальными условиями быть не может. Что и требовалось доказать.

66

Замечание. Из этого свойства следует, что для нахо-

ждения сопряженных точек τ не нужно рассматривать все константы c, а достаточно рассмотреть одно решение с крае-

выми условиями h(a) = 0, h(a) = 1.

2.Если на (a,b] нет сопряженных точек, то δ*>0, такое, что на интервале (aδ*,b] также нет сопряженных точек.

Док-во. Пусть h(t) – решение уравнения Якоби с начальными условиями h(a) = 0, h(a) = 1. Без ограничения

общности, можно считать, что задача определена на более широком интервале [a1,b]. Тогда по теореме о непрерывной зависимости решения от начальных данных для произвольного решения h1(t) с начальными данными

h

(a ) = 0, h

(a ) = 1 , причем

a ε ′ < a < a , где ε ′ ≤ ε . Име-

1

1

1

1

1

ем

ε > 0 δ (ε ) > 0 : a1 a < δ h1 (t) h(t) < ε , t [a, b].

Таким образом, если параметр a1 в начальных данных

решения h1(t) отличается не более, чем на δ от параметра а в начальных данных решения h(t), то само решение h1(t) за-

ключено в пределах ε –трубки траектории h(t) и не может пересекать ее. Таким образом, h1(t) может обратиться в нуль

только на интервале (a1 , a) (a ε , а) . Если на интервале (a1, a) нет такой точки τ1, что h1(τ1)=0, то утверждение доказано. Поэтому пусть τ1 (a1, a) : h1(τ1)=0. Тогда по непре-

рывности

и так как решение возрастает, θ1 (a1,τ1):

h

(θ

) = 0 .

Выберем последовательность

{ε

n

}0, n → ∞ .

1

1

 

 

 

 

Проводя аналогичные рассуждения для каждого интервала

67

(a ε n , a), либо на некотором шаге не найдем очередного τn и

тогда искомое δ * = ε , либо если

n

n N, τ n (an , a) : hn (τ n ) = 0 ,

то можно выбрать соответствующую последовательность та-

ких θ n (an ,τ n ) , что hn (θ n ) = 0 . Однако поскольку при

n → ∞, an a , то и θ n a , т.к. an θ n τ n a, n N . По непрерывной зависимости от начальных данных, поскольку

hn h , то и hn h . Соответственно, переходя в соотноше-

нии hn (θ n ) = 0 к пределу при n → ∞ , получаем h(a ) = 0 – противоречие. Что и доказывает утверждение.

8.3. Свойство знакопостоянства второй производной функционала

Теорема. Квадратичная

форма

F ′′(x)[h, h]

положи-

 

 

 

 

2

 

 

 

 

тельно определена, если P(t) =

 

f (t, x, x)

> 0 на [a,b] и на

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

интервале (a,b] нет сопряженных точек.

 

 

 

 

Док-во. Пусть ω(t) C

1

[a, b] и ω

2

 

 

 

 

 

= P(t)(Q(t) + ω).

Тогда рассмотрим

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

b

 

F ′′(x)[h, h] = [Q(t)h2 (t) + P(t)h2 (t)]dt + d(ω(t)h2 ) ,

a

 

 

 

 

 

 

 

a

 

b

 

 

 

 

 

 

 

 

 

где d(ω(t)h2 ) = ωh2

ba = 0 , т.к.

h(a)=h(b)=0 (в задаче с за-

a

крепленными концами).

68

b

F ′′(x)[h, h] = [Q(t)h2 (t) + P(t)h2 (t) + 2ωhh + ωh2 ]dt =

a

b

= [(Q(t) + ω)h

2

 

 

 

 

2

]dt =

 

+ 2ωhh

+ P(t)h

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

b

 

 

ω

 

 

 

 

= P(t)(h +

h)2 dt 0.

 

 

P(t)

 

 

a

 

 

 

 

 

 

Остается доказать два утверждения:

Утверждение 1. F ′′(x)[h, h] = 0 тогда и только тогда, когда h=0.

 

 

 

1

[a,b] : ω

2

 

 

Утверждение 2. ω(t) C

 

= P(t)(Q(t) + ω) .

Док-во утверждения 1. Если h=0,

то F ′′(x)[h, h] = 0 –

очевидно. Докажем, что

верно

 

 

и

 

обратное,

т.е. если

F ′′(x)[h, h] = 0 , то h(t)=0.

 

 

 

 

 

 

 

 

 

 

 

 

От

обратного:

 

 

 

пусть

 

 

существует

h0 0 : F ′′(x)[h0 , h0 ] = 0 . Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

ω

 

 

 

F ′′(x)[h0 , h0 ] = P(t)(h0

+

 

 

h0 )2 dt = 0 .

P(t)

Таким образом,

a

 

 

 

 

 

 

 

ω

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

P(t)(h +

 

h

 

)

 

= 0,t

[a,b] .

 

 

P(t)

 

 

 

 

0

0

 

 

 

 

 

 

 

 

 

Заметим,

что функция

h0(t)0

 

является

решением

 

 

 

 

 

 

 

ω

 

 

 

 

 

дифференциального уравнения

h

 

+

 

 

 

h = 0 с начальным

 

P(t)

 

 

 

0

 

 

 

0

 

 

условием h0(a)=0 и по теореме единственности не существует других решений с таким же начальным условием, что про-

69

тиворечит предположению о том, что h0

0 . Стало быть,

F ′′(x)[h, h] = 0 h=0. Утверждение 1 доказано.

 

 

Док-во утверждения 2.

 

 

 

 

 

 

 

 

 

ω

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

уравнение.

 

= P(t)(Q(t) + ω) – дифференциальное

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда замена ω

= −

uP

,u 0 на [a,b] приводит к уравнению:

 

 

 

 

 

 

 

 

 

 

 

u

 

 

 

 

 

 

 

 

 

 

 

 

 

2

P

2

(t)

 

 

 

 

 

 

d

 

 

2

 

 

2

 

 

 

 

u

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u 2

 

 

 

=

P(t)(Q(t)

(u dt

 

P)u

 

) , или

 

 

 

 

 

2

 

(uP) u

 

 

 

 

 

 

 

 

P

(t)

 

1 d

 

 

2

P

 

 

 

 

 

 

 

 

u

 

 

 

u

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u 2

 

 

= Q(t) u dt

u 2 , или

 

 

 

 

 

 

 

 

 

 

(uP) +

Q(t)u dtd (uP) = 0 при u 0,t [a,b]. А это уравне-

ние Якоби. Следовательно, ω при данной замене удовлетворяет уравнению Якоби. По условию теоремы на интервале (a,b] нет сопряженных точек, тогда существует u(t) – решение уравнения Якоби, не обращающееся в ноль на (a,b]. По

второму свойству решений уравнения Якоби δ*: u(t) 0 на

(a-δ*,b]. Таким образом, u(t) – решение уравнения Якоби, отличное от нуля на [a,b]. Таким образом, определена иско-

мая функция ω = − uuP , что и доказывает утверждение 2. А

доказательство данного утверждения завершает доказательство теоремы.

Следствие. В условиях предыдущей теоремы сущест-

b

вует такая константа c>0, что F ′′(x)[h, h] > c h2 (t)dt (т.е.

a

F ′′(x)[h, h]снизу «отгораживается» от нуля).

Док-во. Рассмотрим уравнение Якоби:

70