Скачиваний:
0
Добавлен:
12.02.2026
Размер:
1.51 Mб
Скачать

 

 

 

G( x, y

 

, y )

d

 

 

G( x, y

 

, y )

h

( x) d x 0

для любого h C1

([a,b]) .

 

 

0

 

 

0

 

y

0

d x y

0

2

 

2

 

 

 

 

 

 

 

 

 

 

 

Итак, функция y0( x) является решением уравнения Эйлера для функционала

Лагранжа

L y( x) J y( x) K y( x) .

 

 

 

#

Пример 13.4. (Изопериметрическая задача)

 

 

 

 

Найти кривую y y( x) заданной длины l ,

для которой площадь S криволинейной

трапеции aCDb достигала бы максимума.

 

 

 

 

Р е ш е н и е . Исследуем на максимум функционал:

S y( x) b y( x)d x ,

 

 

 

a

 

 

 

 

с закреплением концов:

y(a) A ,

y(b) B

при дополнительном условии: b

 

 

1 y ( x) 2 d x l .

 

a

 

 

 

Составим функционал Лагранжа:

L y( x) у

b

a

 

 

 

1 y ( x)

2

 

d x

 

 

 

Поскольку подынтегральная функция явно не зависит от x , то в силу случая 5 пункта 12.4 у уравнения Эйлера для функционала L y( x) первым интегралом будет соотношение вида:

 

 

 

 

 

 

 

 

 

 

 

 

y ( x)

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

у 1 y ( x) 2

 

 

C1 или

у C1

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

1 y ( x)

2

1

 

y ( x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Введем параметр t .

 

Полагая y tg t , получим у C

1

cos t .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак, экстремали функционала S y( x) находятся среди семейства кривых:

 

 

 

 

 

x C

2

sin t ,

 

 

L : ( x C2 )2

( у C1 )2 2 .

 

 

 

 

 

 

L :

 

cos t

или

 

 

 

 

 

 

 

 

 

у C1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Постоянные C1 ,

C2 и можно определить из условий: y(a) A ,

y(b) B и

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 y ( x) 2 d x l .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно, найдено возможное решение изопериметрической задачи.

§ 14. Достаточные условия слабого экстремума.

14.1. Вторая вариация функционала.

Рассмотрим функционал J y( x) , определенный в некоторой окрестности элемента

y0 B .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 14.1. Говорят, что функционал J y( x)

имеет на элементе y0 вторую

вариацию, если приращение этого функционала представимо в виде:

 

0

 

 

0

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

J J y

 

h

J y

l

 

h

 

Q

 

h

 

o

 

h

 

при

 

h

0 ,

где l h – линейный, а Q h

– квадратичный функционалы. При этом функционал Q h

называется второй вариацией функционала J y( x)

на элементе y0 . Вторую вариацию

будем обозначать:

 

2 J y

0

, h .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание 14.1. Если вторая вариация 2 J y

0

, h существует, то ее можно найти по

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

формуле:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q

 

h

 

 

1 d 2

J y

 

 

t h

 

 

.

 

 

 

 

 

 

 

 

 

(100)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 d t 2

 

0

 

 

t=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

0 функционала J

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 14.1. Пусть первая вариация J y

 

, h

 

y( x)

 

для любых

допустимых приращений h B,

 

при этом y0

является точкой слабого минимума

(максимума) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда 2 J y

0

, h 0

 

( 2 J y

0

, h 0 ) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J J y

 

 

h J

y

 

 

l

 

 

h

 

 

Q

 

 

h

 

 

 

o

 

h

 

 

при

h

0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

В силу того, что l

 

 

h

 

J

y

 

 

, h , а Q

 

 

h

 

2 J y

 

, h

. По условию же теоремы l

 

h

 

0 .

При этом, если элемент y0

 

доставляет функционалу слабый минимум, то по определению

J y

0

h J y

0

0

 

,

а поскольку

Q

 

h 2 J y

0

, h становится главным членом

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

разложения

 

 

J , то

2 J y

0

, h 0

, т.е. является положительно определенным

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

квадратичным функционалом.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично, если элемент y0

доставляет функционалу слабый максимум, то по

 

 

 

 

определению

J y

0

 

h J y

0

0 , а значит 2 J y

0

, h 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак, теорема полностью доказана.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

#

 

 

 

Исследуем вариационную задачу 1 для функционала вида:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J y( x) b F ( x, y( x), y ( x))d x ,

 

 

 

 

 

 

 

 

 

 

 

(84)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с закрепленными концами:

 

 

y(a) A ,

 

 

y(b) B

 

 

.

 

 

 

 

 

 

 

(85)

 

 

Вычислим для этого функционала с краевыми условиями (85) вторую вариацию:

 

 

 

 

2

 

 

 

 

 

 

 

 

1 b 2 F

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2 F

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J

y

 

, h

 

2

 

 

 

 

 

 

 

 

 

 

( x, y

 

( x), y

( x))h

 

( x) 2

 

 

 

 

 

( x, y

 

( x), y

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

y 2

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y y

 

 

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 F

( x, y

 

 

( x), y

( x)) h ( x) 2

d x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( y )2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

или

 

 

 

2

 

 

 

 

 

 

 

 

 

 

1 b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

d x ,

 

 

 

 

 

 

 

 

 

 

 

J y

 

, h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R( x)h ( x)

 

 

 

(101)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P( x)

 

 

2 F

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 F

 

 

 

d

 

 

 

 

 

2 F

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

R( x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( y )

2

 

 

 

 

 

 

 

 

y

2

 

d x

 

y y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно,

 

вторая вариация 2 J y

 

, h для функционала J

 

y( x)

 

 

существует,

если F C3 ( )

,

где

[a, b]

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 14.2.

Пусть для функционала (84) с краевыми условиями (85)

 

 

 

подынтегральная функция F C3 ( ) , и на

y ( x)

функционал (84) достигает слабого

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

минимума (максимума).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда выполнено условие Лежандра:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 F

 

( x, y0 ( x), y0

( x)) 0

 

2 F

 

 

 

 

 

 

 

 

 

для любого x [a, b] .

 

 

 

 

 

 

 

 

 

( x, y0

( x), y0 ( x)) 0

(102)

 

( y )

2

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

( y )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

# Поскольку F C3 ( ) , то существует

вторая вариация 2 J y

0

, h

 

такая,

что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 J y

0

, h

0

 

2 J y

0

, h 0

 

в случае, когда функционал достигает на

 

y ( x) слабого

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

минимума (максимума).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При этом J y

 

 

 

 

b

F

 

 

 

 

( x), y ( x))

d

F

 

( x), y

 

 

 

 

 

 

h( x)d x 0 ,

 

0

, h

 

 

 

 

( x, y

 

 

 

( x, y

( x))

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

0

 

0

 

 

 

y

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

т.к. y0( x) является экстремалью, т.е. удовлетворяет уравнению Эйлера.

Тогда в силу формулы (101)

R( x)

 

 

F

 

d

 

F

0 , а

 

 

 

 

 

 

 

 

 

 

 

y

y

 

dx

y

 

 

2

J y0

, h

 

1 b

 

 

2

 

d x 0

 

2

 

 

 

 

1 b

 

 

 

 

J y

 

, h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

0

 

 

2

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

a

P( x) h ( x)

2

d x 0

 

 

 

 

 

 

 

 

 

 

при слабом минимуме (максимуме) при любых h C1 ([a, b]) .

 

 

2 F

 

 

 

2 F

 

0

 

 

Следовательно,

P( x)

 

 

0

P( x)

 

 

 

, т.е. выполнены условие

( y )

2

( y )

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Лежандра (102) .

 

 

 

 

 

 

 

 

 

#

14.2. Достаточные условия слабого экстремума функционала.

Среди достаточных условий слабого минимума (максимума) функционала (84) присутствует условие положительной (отрицательной) определенности второй

вариации 2 J y

0

, h из формулы (101), как квадратичной формы относительно h и h .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 14.2. Точка x x*

называется сопряженной с точкой x x

0

, если

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

уравнение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R( x)h( x)

d

P( x)h ( x) 0

 

 

 

 

 

 

 

 

 

(103)

 

dx

 

 

 

 

 

 

 

 

 

имеет нетривиальное решение h h( x) такое, что h( x

0

) 0 и h( x* ) 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

Замечание 14.2. Уравнение (103)

R( x)h( x)

d

P( x)h ( x) 0 или

 

 

dx

 

 

 

2 F

 

d

 

 

2 F

 

d

 

2 F

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h( x)

 

 

 

 

 

h ( x) 0

 

 

 

 

2

 

 

 

 

 

( y )

2

 

 

 

y

 

 

d x

y y

 

d x

 

 

 

 

 

 

 

 

называется уравнением Якоби, которое определяет наличие сопряженных точек.

В теории квадратичных форм имеет место следующая теорема:

Утверждение 14.1. Если P( x) 0 для любого x [a, b] , и отрезок [a, b] не содержит сопряженных точек, то квадратичный функционал (101):

b P( x) h ( x) 2

R( x)h2 ( x) d x

a

 

положительно определен для любого h( x) .

# Без доказательства.

#

Замечание 14.2. Оказывается, что условие отсутствия на [a, b] сопряженных точек является не только достаточным, но и необходимым условием положительной определенности квадратичного функционала (101).

 

На основании вышеизложенного сформулируем достаточные условия слабого

экстремума для вариационной задачи 1:

 

 

 

 

 

 

 

 

Теорема 14.3.

Пусть допустимая кривая y y0( x)

 

для функционала

 

 

 

J y( x) b F ( x, y( x), y ( x))d x ,

 

 

 

(84)

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

с закрепленными концами

 

y(a) A ,

y(b) B .

 

 

 

(85)

удовлетворяет условиям:

 

 

 

 

 

 

 

 

 

 

 

 

1)

y y0( x) экстремаль функционала (84) с закрепленными концами (85), т.е.

является решением краевой задачи (86),(85), где (86) – уравнение Эйлера:

 

 

F

 

 

 

d

 

F

 

 

 

 

 

 

 

 

 

y

( x, y0( x), y0

( x))

 

 

y

( x, y0( x), y0( x))

0

для любого x [a, b]

;

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

2)

вдоль этой кривой

 

2 F

 

 

( x, y0( x), y0

( x)) 0

 

2 F

 

 

 

 

 

 

 

 

 

 

 

 

( x, y0( x), y0( x)) 0

(104)

( y )

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

( y )

 

 

 

 

(усиленное условие Лежандра);

 

 

 

 

 

 

 

3)

отрезок [a, b] не содержит сопряженных точек (условие Якоби) .

 

 

Тогда на этой кривой функционал (84) достигает слабого минимума (слабого

максимума).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

# Поскольку y y0( x)

 

является экстремалью функционала (84), на которой этот

функционал может достигать экстремума, то в силу условия (104) этот экстремум может

быть слабым минимумом при P( x) 0 или слабым максимумом при P( x) 0 .

А так как

выполняется условие Якоби, то в силу утверждения 14.1

2 J y

0

, h 0

 

2 J y

0

, h

0

 

 

 

 

 

 

 

при любом h C1 ([a, b]) .

Это означает, что функционал (84) достигает слабого минимума

(слабого максимума) .

#

Пример 14.1. Проверим выполняется ли условие Якоби для экстремали функционала

a

J y( x) y ( x) 2 y2 ( x) d x ,

0

проходящей через точки A(0, 0) и B(a, 0) .

Р е ш е н и е .

 

 

d

 

 

 

 

 

 

 

Уравнение Якоби имеет вид:

2h( x) d x 2h ( x) 0 или

h

( x) h( x) 0 .

Общим решением этого уравнения является функция

 

 

h( x) С1 cos x C2 sin x

 

 

Из условия h(0) 0 следует С1

0 и h( x) C2 sin x .

 

 

Итак, h( x) обращается в ноль в точках x k , для любых k .

Следовательно, если 0 a , то на отрезке 0, a функция h( x) обращается в ноль только в точке x 0, т.е. условие Якоби выполняется.

Если же a , то функция h( x) обращается в ноль еще, по крайней мере, в одной точке x , а, следовательно, условие Якоби не выполняется.

14.3.Функция Вейерштрасса. Достаточные условия сильного экстремума функционала.

Предположим, что для вариационной задачи 1 с функционалом

 

 

 

J y( x) b F ( x, y( x), y ( x))d x ,

 

 

(84)

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

с закрепленными концами

y(a) A ,

y(b) B

 

 

(85)

 

y y0( x)

– экстремаль, у которой тангенс угла наклона касательной равен

p , т.е.

 

d y

p ,

и L : y y

( x) . Возьмем еще кривую

L : y y ( x) с тем же угловым

 

 

 

d x

 

0

 

 

 

 

 

 

 

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

коэффициентом p и рассмотрим приращение

 

 

 

 

 

 

 

J F ( x, y, y )d x F ( x, y, y )d x .

 

 

 

 

 

 

L

 

 

 

 

L1

 

 

 

 

 

Рассмотрим вспомогательный функционал

 

 

 

 

 

 

 

J1

 

y, p) (

d y

p)

F

 

 

,

(105)

 

 

 

F ( x,

 

p

( x, y, p) d x

 

 

 

d x

 

 

 

L1

 

 

 

 

 

 

 

 

который на экстремали L : y y0( x) обращается в функционал

 

F ( x, y, y )d x

, т.к. на

 

 

L

 

 

экстремалях dd xy p .

При этом функционал

F ( x, y,

L1

J1 из формулы (105) можно переписать в виде

p) p

F

 

F

 

p

( x, y, p) d x

p

( x, y, p)d y ,

 

 

 

который является интегралом от полного дифференциала. Следовательно, он не зависит от пути интегрирования, а зависит только от начальной и конечной точек.

Тогда

J y

( x)

 

 

F ( x, y

0

, y )d x

 

F ( x, y, p) ( p y ) F

(

0

 

 

 

0

 

p

 

 

 

 

L1

 

 

 

L1

 

 

 

 

 

F

 

F ( x, y, y0 ) F ( x, y0

, p) ( y p)

p

( x, y,

L1

 

 

 

Рассмотрим подынтегральную функцию:

x, y, p) d x

p) d x .

E( x, y, y , p) F( x, y, y0 ) F( x, y0 , p) ( y p) F

( x, y, p)

 

 

(106)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

Определение 14.3. Функция E( x, y, y , p)

из формулы (106) называется функцией

Вейерштрасса.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда J y

( x)

 

E( x, y

, y

, p)d x ,

и

J y

( x) 0 , если

E( x, y

, y , p) 0 .

 

0

 

 

 

 

 

 

0

 

 

0

 

 

 

 

0

 

0

 

0

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично, J y

( x) 0 ,

если

 

 

E( x, y

, y

, p) 0 .

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

0

0

 

 

 

 

 

Утверждение 14.2.

(Достаточные условия сильного экстремума функционала)

Если допустимая кривая y y0( x) для функционала

 

 

 

 

J y( x) b F ( x, y( x), y ( x))d x ,

 

 

 

(84)

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

y(a) A ,

y(b) B

 

 

 

 

(85)

удовлетворяет условиям:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) y y0( x) экстремаль функционала (84) с закрепленными концами (85), т.е.

является решением краевой задачи (86),(85), где (86) – уравнение Эйлера:

 

 

F

 

 

 

 

 

 

d

 

F

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

( x, y0( x), y0

( x))

 

 

 

y

( x,

y0( x), y0( x)) 0

для любого

x [a, b] ;

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

близких к

2) функция Вейерштрасса E( x, y, y , p) не меняет знака для любого y( x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y0( x) , причем E( x, y, y , p) 0

для минимума ( E( x, y, y , p) 0 для максимума) ;

3) отрезок [a, b] не содержит сопряженных точек (условие Якоби) .

 

 

Тогда на этой кривой функционал (84) достигает сильного минимума (сильного

максимума).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

# Доказательство аналогично доказательству теоремы 14.3

 

 

#

Пример 14.1. Исследовать на экстремум следующий функционал:

 

 

 

 

 

 

 

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 ( y )2

 

 

 

 

 

 

 

 

 

 

J y( x)

 

 

 

 

 

 

d x

 

 

 

(*)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

с краевыми условиями y(0) 0 ,

y( x2 ) y2 .

 

 

 

 

(Это есть задача о брахистохроне см. пример 12.10.)

Как было показано в примере 12.10 экстремалями этой задачи является семейство циклоид:

x

С1

q sin q ,

 

 

t sin t ,

 

 

 

 

 

2

 

или

x С1

,

L :

С1

 

L :

1 cos t

 

1 cos q

 

y С1

 

 

 

 

 

 

y

2

 

 

 

 

где С1

определяется из условия прохождения циклоидой точки ( x2 , y2 ) : x2 2 С1 .

Для данного функционала имеем

 

 

 

 

 

 

F

 

 

 

 

y

 

, а

2 F

 

 

1

 

 

> 0 для любого y .

 

 

 

 

 

 

 

 

( y )2

 

 

 

3

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y 1 ( y )2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

y 1 ( y )2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно, при x2 2 С1 на циклоиде

L : x С1 t sin t ,

y С1 1 cos t

функционал (*) достигает сильного минимума.

Соседние файлы в папке Ещё лекции