Вы находитесь на странице: 1из 15

1

Глава 3. Раздел 4. Элементы вариационного исчисления

Литература

1. Н.И. Ахиезер. Лекции по вариационному исчислению. – М., 1955, 248 с. 2. И.М. Гельфанд, С.В. Фомин. Вариационное исчисление. – М., 1961, 228 с.

§ 1. Первоначальные понятия Вариационное исчисление – раздел математики, рассматривающий задачи на нахождение наибольших и наименьших значений функционалов. Напомним определение функционала. Определение. Функционалом в гильбертовом пространстве H называется оператор, отображающий H во множество чисел (вещественных или комплексных).

Функционал называется линейным, если он является линейным оператором, т.е. обладает свойством линейности по своему аргументу:

 

F(y+g)=F(y)+F(g)

F(cy)=cF(y) где F- линейный функционал, y и g- функции из его области определения, - число (константа). Наиболее важный пример линейного функционала строится так: если x 0 -- фиксированный вектор гильбертова пространства H, то формула f(x)=(x,x 0 ) задает линейный функционал на H. В частности, если рассматривается функциональное пространство, то скалярное произведение, задаваемое формулой

F(cy)=cF(y) где F- линейный функционал, y и g- функции из его области определения, - число (константа).
 
,

,

служит примером функционала. При этом функция f(x) является фиксированной, а функции y(x) играют роль независимого переменного. Функционал –это обобщение понятия функции . Отличие состоит в том, что в качестве области определения функционал имеет не числовое множество, а множество D произвольной природы – например, множество функций . В качестве множеств функций, на которых определены функционалы, будем рассматривать следующие пространства:

С[a,b]- пространство непрерывных функций f(x)на [a,b]. Норма

f (x)

C

=

max f (x) ,

x

[a,b]

C

  • 1 [a,b]- пространство непрерывно дифференцируемых функций на [a,b].

Норма

f (x)

C

(1)

=

max f (x)

+

max f (x) ,

x

[a,b]

(1)

(2)

C

n

[a,b]- пространство функций, имеющих непрерывные производные до n-го

порядка на [a,b]. Норма

f(x)

C

( n )

=

max f (x)

+

max f (x)

+

+

max f

(n)

(x) ,

x

[a,b]

(3)

Нормы нужны для оценки близости двух элементов пространства.

Под

-окрестностью

элемента

2

y

0

нормированного

пространства Е

понимают множество всех элементов из Е, для которых выполняется неравенство

(y, y ) =

0

y
y

y

0

<

.

В случае нормы (1) в -окрестность функции по своим ординатам отличаются меньше чем на В случае нормы (2) в -окрестность функции

y

  • 0 попадут все функции , которые

.

y

  • 0 попадут все функции , которые

не только по своим ординатам отличаются меньше чем на , но и по значениям своих первых производных.

В случае нормы (3) в -окрестность функции

y

  • 0 попадут все функции , которые

близки по значениям ординат и значениям всех своих производных. Эти понятия используют для определения непрерывности функционала.

Функционал I(y) называется непрерывным в

что

I(y )

0

I(y)

<

как только

(y, y ) =

0

y
y

y

0

<

y

0

, если для

.

>

0

>

0 , такое,

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

Пример 1. Вычислить

I(y) =

2

2

[y(x)] dx,

0

a)y = x

2

,

b)y = e

2x

.

Примеры вариационных задач. Задача 1.Нахождение плоской линии , соединяющей две заданные точки и имеющей наименьшую длину. Исследуемый функционал- длина линии. Ответ: Такой линией является отрезок прямой, соединяющей эти точки. Задача 2. Нахождение плоской линии, соединяющей две заданные точки , по которой материальная точка скатывается под действием силы тяжести в кратчайшее время. Исследуемый функционал – время движения точки. Кривая, дающая минимум этому функционалу называется брахистохроной. Именно эта задача была первой задачей вариационного исчисления.

A M d a x Рис. 1
A
M
d
a
x
Рис. 1

Она была поставлена в 1696 г Иоганном Бернулли, как задача об отыскании кривой «наибыстрейшего спуска» – «брахистохроне». Эта задача формулируется так:

B b
B
b

x

из точки А в точку В (рис. 1) под действием силы тяжести без начальной скорости

[a, b],

движется точка M(x,y(x)). Какой должна быть кривая АВ:

y = y * ( x), x

чтобы время спуска по ней было минимальным?

По закону сохранения энергии имеем

2

mv

= mgy
2

, откуда v =

2 gy
2 gy

.

Скорость движения вдоль кривой пусть равна ds кривой АВ находится так:

ds

v =

dt

. Тогда время пробега отрезка

3

2 2 2 ds dx + ( dy ( x )) 1 + [ y '(
2
2
2
ds
dx
+ (
dy
(
x
))
1
+
[
y
'(
x
)]
dt
=
=
=
dx
,
v
2
gy
(
x
)
2
gy
(
x
)
а время спуска вдоль всей кривой АВ определится интегралом

b

a

1 + [ y '( x )] 2 2 gy ( x )
1
+
[
y
'(
x
)] 2
2
gy
(
x
)
  • dx .

Таким образом, задача о брахистохроне свелась к выбору функции y ( x ) , для которой полученный интеграл достигает наименьшего значения при условии, что

выполняются краевые условия

y(a) = y

A

, y(b) = y

B

.

Задача 3. Нахождение замкнутой кривой фиксированной длины, ограничивающей наибольшую площадь. Функционал в данном случае – это площадь . Отличие от двух первых задач это дополнительное условие – ограничение на длину кривой, которое задается функционалом. Такие задачи называются изопериметрическими , их решение разработал Л. Эйлер. К концу 20 века вариационное исчисление, получившее свое обоснование в работах Л. Эйлера, Ж. Л. Лагранжа, А.М. Лежандра и К. Вейерштрасса, переросло в математическую теорию оптимального управления, основателями которой явились Л.С. Понтрягин (Россия) и Р.Э. Беллман (США). § 2. Экстремум функционала. Методы исследования функционала на предмет нахождения его наименьшего и наибольшего значений очень схожи с методами нахождения глобальных экстремумов функций на ограниченном множестве. Вначале познакомимся с некоторыми понятиями . Вариация функционала. Пусть Е – нормированное пространство , на котором задан функционал I(у). Определение. Приращением или вариацией аргумента у называется разность между двумя элементами y, y% E y= y% y . Роль вариации аргумента – такая же, как и приращения независимой переменной x .

Приращение функционала – это величина I=

I( y)=

I(y+

y)

I(y) .

Приращение функционала можно представить в виде

где L(

I

=

I(

y)

=

L(

y)

+

0(

y )

, y) – функционал, линейный относительно вариации y , а второе слагаемое –

бесконечно малая величина по сравнению с

Определение. Главная часть L(

y

. y) приращения функционала называется

вариацией функционала и обозначается I . Вариация функционала играет такую же роль, как и дифференциал функции. Будем рассматривать функционалы на множестве n-раз дифференцируемых функций, для которых выполняется равенство

( y)

(n)

(n)

= y%

y

(n)

y

(n)

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

=

4

 

b

J [ y ( x)]

=

F ( x, y ( x), y '( x)) dx

 

a

Функция F ( x , y , y ' ) предполагается гладкой, т.е. ее частные производные до второго порядка включительно по всем аргументам x , y , y ' непрерывны в области

a x b D : • < y <+ • . Вариацией такого интеграла является величина
a
x
b
D :
<
y
<+
. Вариацией такого интеграла является величина
<
y '
<+
b
J =
(F h + F h )dx
,
y
y'
a
где y = h,
.
Пример 1. Найти приращение функционала
y
= h
3
2
2
J[y(x)] =
y (x)y'(x)dx,
y = x
,
y
= x
1

3

0

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

y

  • 0 называется точкой локального минимума (максимума)

функционала I(у), определенного на множестве D, если найдется число > 0 такое,

что для любого

D

:||

  • 0 . Теорема (необходимое условие экстремума). Если функционал I(у) достигает

0

0

y

y

y

||

выполняется

I

(

y

)

I

(

y

)

(

I

(

y

)

I

(

y

))

экстремума при

I

y

=

y

0

=

0

y = y

0

,

то

его

вариация обращается в ноль при

y = y

0

(x) ,

т.е.

Основная лемма вариационного исчисления. Пусть (x) - фиксированная, непрерывная на [a,b] функция. Если для любой непрерывной на [a,b] вместе со своей производной функции h(x) такой , что h(a)=h(b)=0 , имеет место равенство

 

b

 

(x)h(x)dx = 0

,

(4)

 
 

a

то

(x) =0 на (a,b).

§ 3. Простейшая задача вариационного исчисления.

Постановка задачи. Дан функционал

 

b

J [ y ( x )]

=

F ( x , y ( x ), y '( x )) dx

 

a

,

(5)

сопоставляющий каждой кривой AB y = y ( x), x [a,b] , некоторое число J [ y ( x )] .

Функция

F ( x, y , y ' )

предполагается гладкой, т.е. ее частные производные до

второго порядка включительно по всем аргументам x , y , y ' непрерывны в области

a

x

b

D :

<

y

<

y '

<+

<+

Среди функций

y

(

x

)

C

  • 2 [

a

,

b

]

, удовлетворяющих краевым условиям

y(a) = y

A

, y(b) = y

B

,

(6)

(т.е. концы кривой закреплены) требуется найти функцию

y * ( x) ,

на которой

функционал (7.5) достигает экстремума, т.е. максимума J [ y * ( x)] > J [ y ( x)] или

минимума J [ y * ( x)] < J [ y ( x)] , где

y ( x) π y * ( x) .

5

Решение задачи проводится в рамках необходимых условий. Теорема. Если функция у=у(х) удовлетворяет условиям (6) и доставляет функционалу (5) экстремум , то она является решением уравнения Эйлера

F

y

d

dx

F

y '

= 0

(7)

Доказательство этой теоремы опирается на необходимое условие экстремума и значение вариации функционала. Кривые AB , являющиеся графиками функций – решений уравнения Эйлера , y = y * ( x), x [a, b], называются экстремалями Уравнение Эйлера играет фундаментальную роль во всем вариационном исчислении. Таким образом, решение простейшей задачи вариационного исчисления свелось к решению уравнения (7) Эйлера при краевых условиях (6). Частные случаи уравнения Эйлера. I случай. Пусть функция F = F ( x, y ) не зависит от y ' . Тогда уравнение Эйлера-

Лагранжа выглядит так:

( x, y ) = 0 . (8)

F

y

= 0

или

Уравнение (8) определяет некоторую кривую, которая будет единственной экстремалью для данного функционала (5). Для произвольных краевых условий (6) непрерывного решения, вообще говоря, нет.

II случай. Пусть F = F ( y ') не зависит ни от х, ни от у. Тогда (7) имеет вид: y ' ' = 0 .

Из общего решения

y = c x + c

1

2

находится единственное решение при краевых

условиях (6). III случай. Пусть F = F ( x, y ') не зависит от y . Тогда уравнение (7)

d

  • dx

F

y '

= 0

имеет промежуточный интеграл

F

y

'

= c

1

.

IV случай. Пусть F = F ( y, y ' ) не зависит от x . Распишем подробнее уравнение

(7).

2 2 ∂ F ∂ F ∂ F y ' y ' ' = 0 .
2
2
∂ F
F
F
y '
y ' '
=
0
.
∂ y
y
'
y
2
∂ y '
∂ F
(
y
,
y
')
Покажем, что уравнение имеет первый интеграл
Действительно, продифференцировав по х, получим:
F
(
y
,
y
')
y
'
=
c
.
1
∂ y '
2
2
2
2
∂ F
∂ F
∂ F
F
F
или
∂ F
F
F
y ' +
y
' '
y
' '
y '
y ' +
y ' '
=
0
y '
y
'
'
y
'
=
0
2
∂ y
∂ y '
∂ y '
y
'
y
∂ y '
∂ y
y
'
y
2
∂ y '
Если последнее уравнение сократить на y ' , то получим в точности уравнение
1
Пример 2. Найти экстремаль функционала
2
при краевых
J [ y ( x )]
=
( y '
12 xy )dx
0
условиях y (0) = 0, y (1) =1
.
Приступая к решению нашей задачи, замечаем, что
∂ F
∂ F
d
∂ F
2
F
=
y
'
12
xy
,
=
12
x
,
= 2
y
' ,
= 2
y
' '
.
∂ y
∂ y '
dx
∂ y '

Поэтому

уравнение

6

Эйлера-Лагранжа

F

2

F

y

y

'

y

y '

2

F

y '

2

y ' '

=

0

здесь выглядит

так: 2 y ' ' 12 x = 0 или y ' ' = 6 x . Интегрируя его, находим общее решение:

y( x) = x

3

+ c

1

x + c

2

. Выделим теперь интересующее нас частное решение, потребовав,

чтобы выполнялись краевые условия:

 

y

(0)

=

c

  • 2 =

0,

y

(1)

=

1

+

c

  • 1 +

c

2

=

1.

Из последней системы находим:

c

1

=

0,

c

2

=

0

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

y = x

3

– искомая

экстремаль.

 

2

Пример 3. Найти экстремаль функционала

 

J [ y ( x)]

=

(2 x

y

  • 2 )dx

при краевых

 

1

условиях y(1) =1, y (2) = 3

.

Здесь

F

=

2

x

y

2

F

,

y

=

2

y

,

F

y '

= 0

. Поэтому уравнение Эйлера-Лагранжа имеет

вид 2 y = 0 или y = 0 и задает единственную экстремаль данного функционала, которая не удовлетворяет данным краевым условиям. Следовательно, у исходной задачи нет гладкого решения. Пример 4. Найти экстремальные кривые функционала

2 2 2 I [ y ( x )] = ( y ( x )) y
2
2
2
I
[
y
(
x
)]
=
(
y
(
x
))
y
(
x
0
∂ F
Находим:
=
2
y
,
∂ y

))

dx

,

ïðè

óñëîâèÿõ

2

F

x

y

= 0,

2

F

=

y y

0,

y (0) = 0, y ( 2) = 1. 2 ∂ F = 2. Отсюда уравнение
y
(0)
=
0,
y
(
2)
=
1.
2
F
= 2.
Отсюда уравнение Эйлера в
2
∂ y

данном конкретном случае будет иметь вид y + y = 0. Экстремальные кривые

y(x)

=

c

1

sin x

+

c

2

cos x

, а решение нашей задачи y ( x) = sin x.

Пример 5. Найти экстремальные кривые функционала (минимум длины кривой рис. 2)

0

()

,()

ру силyxоyвyxиyя

0

=

0

1

=

1

.

7

7 Рис.2 ∂ 222 F ∂ F ∂ F = 2 () yx ∂ F 1

Рис.2

222

F

F

F

=

2 ()

yx

F

1

1

= 0,0,0, = =

7 Рис.2 ∂ 222 F ∂ F ∂ F = 2 () yx ∂ F 1

y

∂∂

xy

∂∂

yy

=

7 Рис.2 ∂ 222 F ∂ F ∂ F = 2 () yx ∂ F 1

. 2 2323 1() yx (1() yxyx + + + (1()
.
2
2323
1() yx (1() yxyx +
+
+
(1()

y

2

Уравнение Эйлера:

y

(

x

)

F

=

y

0

y

=

cx

1

+

c

2

гу

.

.

  • 2

y y 1 0 с = ; c 1 x x 1 0
y
y
1
0
с
=
; c
1
x
x
1
0
  • 2 =

x y

1

0

x y

0

1

x

1

x

0

.

Пример

6.

Найти

экстремальную

кривую,

соответствующую

минимальной

8

8 Рис.3 x 2 2 Syx [()2]()1 () = yx yxd + x 1 Так как

Рис.3

x 2 2 Syx [()2]()1 () = yx yxd + x 1 Так как F =
x
2
2
Syx
[()2]()1 ()
=
yx yxd
+
x
1
Так как
F
=
F y y
(
,

),

F

уравненЭийелера

y

2

F

y y

y

2

F

y

2

y

=

0.

Если уравнение

Эйлера умножить на

y , получим

d

dx

(

F

y

F

y

) = 0

. Это уравнение имеет первый

2 ∂ F yy y 2 Fy = Cyy 1 + = C = C .
2
∂ F
yy
y
2
Fy
=
Cyy
1
+
=
C
=
C
.
интеграл
1
1
1
∂ y
2
2
1
+
y
1
+
y
Подстановка
y = sh t дает
y
=
C
1

ch t

dx

=

dy

=

y

C

1

Или после исключения t уравнение цепной линии

{

x

=

C t

1

+

C

2

,

y

=

C

1

ch t

}.

y

=

C ch

1

x

C

2

C

1

.

Пример 7. Найти кривую, проходящую через две заданные на плоскость точки при условии минимума времени движения материальной точки по данной кривой в поле сил тяжести, считая связь идеальной (трения нет) рис7.4.

9

9 Рис.4 2 ds 1 + y dx dt = = , V 2 gh 2

Рис.4

2 ds 1 + y dx dt = = , V 2 gh 2 1 +
2
ds
1 + y
dx
dt =
=
,
V
2 gh
2
1 + y
dx
,
y
(0)
=
0,
(
2 gh

y a

Учитывая, что

a

[ ( )] =

t y x

0

получим для времени движения функционал

)

=

b

.

Условия экстремума функционала приводят

к уравнению

F

Fy

=

y

2 2 1 + y y = y 2 yy 1 +
2
2
1
+
y
y
=
y
2
yy
1 +

2

co n st (1).

c yoynC

+

=

1

Подстановка y = ctg

приводит к последовательным результатам:

1

C

=

dy

=

2

y

1 + y

  • 2 ),
    2

C

sin

2

,

y

=

C

1

sin

2

=

  • 1 cos2

(1

  • 1 sin2

C

гр усл
2

1

2

,

.

+

C

(

.)

x =

C

dx

  • 1 )
    2

(2

sin2

C

1 )
2

(1

cos2

  • x

=

1

y =

2 C sin = C (1 cos2 1 1 a 1 ctg = 1 2 sin
2
C
sin
=
C
(1
cos2
1
1
a
1
ctg
=
1
2
sin
b
,
1
.
b
C
=
1
2
sin
1

),

Решение задачи Бернулли о брахистохроне. Дан функционал

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

I

[

y

(

x

)] =

b = 1 1 1 + y 2 g y a = 0
b = 1
1
1 + y
2
g
y
a = 0

'

2

dx

y(a) = y

A

, y(b) = y

B

. Надо найти экстремаль.

Приступая к обсуждению поиска решения этой задачи, замечаем, что подынтегральная функция здесь не зависит от х, т.е. мы находимся в условиях IV

случая. Поэтому должны воспользоваться формулой (7). Найдем

∂ F y ' = ∂ y ' 2 y 1 + y '
∂ F
y '
=
∂ y '
2
y
1
+
y
'

,

10

2 2 ∂ F 1 + y ' y ' тогда выражения, получаем F y '
2
2
∂ F
1
+ y
'
y '
тогда
выражения, получаем
F
y
'
=
=
c
.
Упрощая
левую
часть
последнего
1
y
'
y
2
y
1
+
y
'
1
или
~
.
= c
1
2
2
y(1 + y'
) = c
y
1
+
y
'
1
Попробуем решить это уравнение, введя замену
y ' = ctg t . Тогда получим
~
~
~
~
c
c
2
или
1
1
c
y =
=
= c
sin
t
1
y
=
(
1
cos 2
t)
1
2
2
1
+ y
'
1
+
ctg
t
2

Мы нашли у как функцию от t . Теперь нам надо отыскать х как функцию от параметра t . Из замены y ' = ctg t следует, что

~

~

dx =

dy

c

1

sin 2

tdt

2

c

1

sin

t

cos

tdt

=

=

ctg t

ctg t

cos t

~

= 2

c

1

sin t

sin

2

tdt

или dx

~

=

c

1

(1

cos 2t)dt

.

Отсюда, интегрируя по t , будем иметь

~

x

=

c

1

t

sin 2 t

2

~

+ c

2

или

Полагая теперь 2t = , получим

~

x =

c

1

2

(

sin

~

)

~

+

c

2

,

y

=

c

1

2

(1

cos

).

~

x =

c

1

2

(

2

t

sin 2

t

)

~

+

c

2

.

Система задает кривую, называемую циклоидой. Это кривая из семейства циклоид. По такой кривой движется точка обода колеса при качении по прямой без проскальзывания. Заметим, что японцы, китайцы, вьетнамцы испокон веков строят крыши так, что их профиль есть циклоиды, с которых быстрее всего стекает вода (рис. 2).

10 2 2 ∂ F 1 + y ' y ' тогда выражения, получаем F y

§ 4. Вариационная задача поиска безусловного экстремума (функционалы, зависящие от нескольких функций)

Рассматривается

множество

М

вектор-функций

T

x(t) (x(t),.x..(t,))

=

1

n

,

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

следующим условиям:

а)

x

i

( )

t

функции x (t), i

i

C

1

([

t

0

,

T

])

, где

=

1,

...

,

n,

t

0

и T

непрерывно-дифференцируемые на отрезке [

t

0

,

T

] , т.е.

– заданы;

б) функции x (t), i

i

=

1,

...

,

n,

x

i

(

t

0

)

=

x

i

0

,

i

=

1,

...

,

n

;

x

j

(

T

)

удовлетворяют граничным условиям:

=

x

iT

,

j

=

1,

...

,

n

;

(1)

где

x

j

0

,

x

jT

(

t

)

– заданы. Это означает, что каждая из кривых x (t )

i

проходит через

две закрепленные граничные точки. На множестве М задан функционал

I

[

x

1

( ),

t

...

,

x

n

(

t

)]

T

=

F

( ,

t

x

1

( ),

t

...

,

t

0

x

n

( ),

t

'

x

1

( ),

t

...

,

'

x

n

( ))

t

dt

(2)

где функция

F

(

t

,

x

1

,

...

,

x

n

,

'

x

1

,

...

,

'

x

n

)

имеет непрерывные частные производные до

второго порядка включительно по всем переменным.

11

x

Среди функций, (t) = ( x (t), , x (t)) 1 n I [ x (
Среди
функций,
(t)
=
( x
(t),
,
x
(t))
1
n
I
[
x
(
t
),
...
,
x
( )] =
t
1
n

принадлежащих

множеству

М,

требуется

найти

функцию

T

, на которой достигает экстремум функционал (2), т.е.

T

extr

x

(

t

)

M

t

0

F

( ,

t

x

1

(

t

),

...

,

x

n

( ),

t

'

x

1

( ),

t

...

,

'

x

n

(

t

))

dt

Теорема (необходимое условие экстремума). Если функция

x

(t)

=

( x

1
1

(t),

...

,

x

n
n

(t))

T

удовлетворяет условиям (1) и доставляет функционалу (2) экстремум, то она удовлетворяет системе уравнений Эйлера

∂ F d ∂ F = 0, i = 1, , n . (3) ' ∂
∂ F
d
∂ F
=
0,
i
=
1,
,
n
.
(3)
'
∂ x
dt
∂ x
i
i
Пример.
Найти
экстремаль
функционала
/ 2
[
2
2
]
'
'
I
[
x
( ),
t
x
( )]
t
=
x
( )
t
+
x
( )
t
+
2
x
( )
t
x
( )
t
dt
,
удовлетворяющую
граничным
1
2
1
2
1
2
0
условиям
Решение. Записываем систему уравнений Эйлера:
x
(0)
=
x
(0)
=
0,
x
= 1,
x
=
1.
1
2
1
2
2
2
2
2
'
'
F
( ,
t
x
( ),
t
x
( ))
t
=
x
( )
t
+
x
( )
t
+
2
x
( )
t
x
( );
t
1
2
1
2
1
2
d
d
'
'
(
)
''
(
)
''
F
'
=
2
x
( );
t
F
'
=
2
x
( );
t
F
'
=
2
x
( );
t
F
'
=
2
x
( );
t
F
'
=
2
x
( );
t
F
'
= 2
x
( ).
t
x
2
x
1
x
'
1
x
2
x
'
1
x
2
1
x
1
x
dt
1
dt
x
Уравнения Эйлера имеют вид:
''
''
2
x
( )
t
2
x
( )
t
=
0;
2
x
( )
t
2
x
( )
t
=
0
2
1
1
2
''
''
(4)
или
x
( )
t
= x
( ),
t
x
( )
t
= x
( )
t
. Отсюда:
x
( )
t
= x
( ).
t
Поэтому
2
1
1
2
1
1
t
t
x
( )
t
=
c e
+
c
e
+
c
cos
t
+
c
sin
t
.
1
1
2
3
4
''
t
t
Тогда
x
( )
t
=
x
( )
t
=
c e
+
c
e
c
cos
t
c
sin
t
.
Для нахождения произвольных
2
1
1
2 3
4
постоянных имеем систему уравнений:
c
+
c
+
c
= 0
1
2
3
c
+
c
c
= 0
1
2
3
c
= c
= c
=
0,
c
=
1
x
(t)
=
sin t, x
(t)
=
sin t
/ 2
/ 2
1
2
3
4
1
2
c
e
+
c
e
+
c
= 1
1
2
4
/ 2
/ 2
c
e
+
c
e
c
=
1
1
2
4
§ 5. Вариационная задача поиска безусловного экстремума (функционалы,
зависящие от производных высшего порядка одной функции)
Рассматривается множество М функций x (t ) , удовлетворяющих следующим
условиям:
а) функции x (t ) определены и m раз непрерывно-дифференцируемые на отрезке
1
[
t
,
T
]
, т.е.
x t
( )
C
([
t
,
T
])
, где
t
и T
– заданы;
0
0
0
б) функции x (t ), удовлетворяют граничным условиям:
(
j
)
(
i
)
(
j
)
(
i
)
x
(
t
)
= x
,
i =
0,
...
,
m
1;
x
(
T
)
= x
,
i =
0,
...
,
m
1;
(1)
i
0
0
i
0
(
i
)
где
x
– заданы.
0

На множестве М задан функционал

 

T

 

I

[

x

( )]

t

=

F

( ,

t

x

( ),

t

x

'( ),

t

,

x

 

t

0

(

m

)

( ))

t

dt

(2)

где функция

F

(

t

,

x

(

t

),

x

'(

t

),

...

,

x

(

m

)

(

t

))

12

имеет

непрерывные

частные

производные до порядка m + 2 включительно по всем переменным. Требуется среди функций, принадлежащих множеству М найти функцию x (t) ,

на которой достигает экстремум функционал (2), т.е.

I

[

x

( )]

t

=

extr

T

F

( ,

t

x

( ),

t

x

'( ),

t

,

 

x

(

t

)

M

 

t

0

x

(

m

)

( ))

t

dt

Теорема (необходимое условие экстремума). Если функция x (t)

условиям

(1)

и

доставляет

уравнению Эйлера-Пуассона

'

F

x

d

dt

(

'

F

x

'

)

+

d

2

dt

2

(

'

F

x ''

)

+

...

функционалу

+

(

1)

m

d

m

dt

m

(

'

F

x

(

m

)

)

(2)

экстремум,

то

она

=

0.

(3)

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

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

Пример. Найти экстремаль функционала

I

[

x

( )]

t

1

=

x

' '

2

0

( )

t

dt

,

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

граничным условиям x(0) = x'(0) = x'(1) = 0, x(1) =1.

Составляем уравнение Эйлера-Пуассона:

F

=

x

' '

2

;

'

F

x

=

0;

'

F

x

'

=

0;

'

F

x

''

=

2

x

' ';

d

dt

'

F

x

'

=

0;

d

2

dt

2

'

F

x ''

=

2x

(4)

( )

x t

=

c

1

6

t

3

+

c

2

2

t

2

+

c t

3

+

c

4

( )

x t

=

2

t

3

+

3

t

2

.

'

F x

d

dt

(

'

F

x

'

)

+

d

2

dt

2

(

'

F

x ''

)

=

2

x

(4)

=

0.

§ 6. Вариационная задача поиска условного экстремума

Будем рассматривать лишь задачи поиска условного экстремума с конечными связями. Постановка задачи: рассматривается множество М вектор-функций

x(t)

=

( x

1

(t),

...

,

x

n

(t))

T

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

а) функции x и T

i

(t), i

x

=
=

( )

t

1,

...

,

определены и непрерывны на отрезке

C

1

([

t

0

,

T

]),

i

=

1,

...

,

n

;

n,

заданы, т.е. б) функции x (t)

i

i

удовлетворяют граничным условиям:

x

i

(

t

0

)

=

x

i

0

,

x

i

(

T

)

=

x

iT

,

i

=

1,

...

,

n

,

(1)

[

t

0

,

T

]

, где

t

0

где

x

i

0

,

x

iT