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

Учебное пособие Основы ВИ

.pdf
Скачиваний:
150
Добавлен:
27.03.2015
Размер:
427.53 Кб
Скачать

Министерство образования и науки Российской Федерации

НОВОСИБИРСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ

ОСНОВЫ ВАРИАЦИОННОГО ИСЧИСЛЕНИЯ

В ПРИМЕРАХ И ЗАДАЧАХ

Утверждено Редакционно-издательским советом

университета в качестве учебного пособия

НОВОСИБИРСК

2011

Тракимус Ю.В. Основы вариационного исчисления в примерах и задачах: Учеб. пособие. – Новосибирск: Изд-во НГТУ, 2011. – 48 с.

Рецензенты: В.А. Селезнев, д.ф.-м.н., профессор, зав. кафедрой ВМ, С.Н. Постовалов, к.т.н., доцент кафедры ПМт

Работа подготовлена на кафедре прикладной математики

Предназначено для студентов III курса всех специальностей факультета прикладной математики и информатики.

© Новосибирский государственный технический университет, 2011 г.

Функционал. Близость кривых. Непрерывность функционала

1. Понятие функционала. Пусть дан некоторый класс M функций y(x) .

Если

каждой

функции

y(x) M

по

некоторому

закону

поставлено в

соответствие определенное число V , то говорят, что в классе

M определен

функционал V , и пишут V =V[ y].

 

 

 

 

 

 

Класс M

функций y(x) , на

котором определен

функционал V[ y],

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

y(x) , на кото-

рых

сравниваются значения функционала V[ y],

называются

допустимыми

кривыми или кривыми сравнения.

 

 

 

 

 

 

Вариацией

или приращением

δ y

аргумента

y(x)

функционала V[ y]

называется разность между двумя функциями y(x)

и

y0 (x) , принадлежащими

выбранному классу M функций: δ y = y(x) − y0 (x).

 

 

 

 

Приведем примеры функционалов.

 

 

 

 

 

1) Пусть

M = C[0,1]

совокупность всех непрерывных функций y(x) ,

заданных на отрезке [0,1], и пусть

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

V[ y] = ò y(x)dx.

 

 

 

(1)

0

Тогда V[ y] есть функционал от y(x) : каждой функции y(x) C[0,1] отвечает определенное значение V[ y]. Подставляя в (1) вместо y(x) конкретные функции, мы будем получать соответствующие значения V[ y]. Так, если

1 1

y(x) = 5 , то V[5] = ò5×dx = 5; если y(x) = cosπ x , то V[cosπ x] = òcosπ x dx = 0 .

0

0

2) Пусть M = C1[a,b] – класс функций y(x) ,

имеющих непрерывную

производную на отрезке [a,b], и пусть V[ y] = y′(x0 ) ,

где x0 [a,b] . Видно, что

V[ y] есть функционал, определенный в указанном классе функций: каждой функции из этого класса ставится в соответствие определенное число значение производной этой функции в фиксированной точке x0 .

Если,

 

например, a = 1,

b = 3 и x = 2 , то

для

y(x) = x2 имеем:

 

 

 

 

0

 

 

 

 

V[x2 ] = 2x

 

x=2

= 4 ; для y(x) = ln x будем иметь V[ln x] = 1

 

 

= 1 .

 

 

 

 

 

 

 

x

 

x=2

2

 

 

 

 

 

3) Пусть M = C1[a,b] –

класс функций y(x) ,

 

 

имеющих непрерывную

производную y′(x) на отрезке [a,b]. Тогда

 

 

 

 

3

b

 

V[ y] = ò 1+ y2 (x) dx

(2)

a

будет функционалом, определенным на этом классе функций. Функционал (2) геометрически выражает длину дуги кривой y = y(x) с концами в точках

A(a, y(a)) и B(b, y(b)) .

Основная задача вариационного исчисления исследование функционалов на экстремум и отыскание тех функций, на которых этот экстремум достигается. Большую роль в развитии вариационного исчисления сыграли сле- дующие классические задачи [1, 2, 3, 4, 6, 7, 8].

1)Задача о брахистохроне плоской линии, по которой материальная

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

2)Задача о геодезической линии линии наименьшей длины,

расположенной на заданной поверхности и соединяющей две данные точки.

3)Задача Дидоны легендарной карфагенской царевны, которой

понадобилось ремешком фиксированной длины ограничить участок земли наибольшей площади.

2. Близость кривых. Говорят, что кривые y = y(x) и y = y1(x) , заданные

на отрезке [a,b], близки в смысле близости нулевого порядка, если для заданно-

го ε > 0 и для всех x [a,b] справедливо: y(x) − y1(x) < ε . Геометрически это означает, что эти кривые на отрезке [a,b] близки по ординатам.

Будем говорить, что кривые y = y(x) и y = y1(x) , заданные на отрезке

[a,b], близки в смысле близости первого порядка, если для заданного ε > 0 и

для всех x [a,b] справедливо: y(x) − y1(x) < ε и y′(x) − y1′(x) < ε .

Геометрически это означает, что кривые на отрезке [a,b] близки как по ординатам, так и по направлениям касательных в соответствующих точках.

 

Кривые y = y(x)

и y = y1(x) близки в смысле близости k -го порядка, если

для заданного ε > 0

и для

всех

 

x [a,b]

выполняется:

 

y(x) − y1(x)

 

< ε ,

 

 

 

y′(x) − y′(x)

 

< ε , …,

 

y(k ) (x) − y(k ) (x)

 

< ε .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

Если кривые близки в смысле близости k -го порядка,

то они тем более

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

 

 

 

 

 

 

Расстоянием между кривыми

 

y = y(x)

и y = y1(x) , где y(x) и

y1(x)

непрерывные на [a,b] функции, называется неотрицательное число ρ0 ,

равное

максимуму

 

y(x) − y1 (x)

 

на отрезке [a,b]:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ρ0

= ρ0[ y(x), y1(x)] = max

 

y(x) − y1(x)

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

axb

 

 

 

 

 

 

 

 

 

 

Пусть кривые

y = y(x) и

y = y1(x) имеют на отрезке [a,b] непрерывные

производные n -го

порядка.

Расстоянием

n -го порядка

между кривыми

 

y = y(x) и y = y1(x)

называется наибольший из максимумов следующих ве-

4

личин:

 

y(x) − y (x)

 

,

 

y′(x) − y′(x)

 

, …,

 

y(n) (x) − y(n) (x)

 

на отрезке [a,b]. Будем

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

обозначать это расстояние так:

ρn = ρn [ y(x), y1(x)] = max max y(k ) (

0≤kn axb

ε -окрестностью n -го порядка кривой y = y(

x) − y1(k ) (x) .

x) называется совокупность

кривых y = y1(x) ,

расстояния

n -го порядка которых от

кривой y = y(x)

меньше ε : ρn = ρn [ y(x), y1(x)] < ε.

 

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

нулевого

порядка называют сильной

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

функции y = y(x) . Сильная ε -окрестность кривой y = y(x) состоит из кривых, расположенных в полоске ширины вокруг кривой y = y(x) .

ε -окрестность первого порядка называют слабой ε -окрестностью функции y = y(x) .

3. Непрерывность функционала. Функционал V[ y], определенный в классе M функций y(x) , называется непрерывным при y = y0 (x) в смысле

близости n -го порядка, если для любого числа ε > 0 существует число δ > 0 такое, что для всех допустимых функций y = y(x) , удовлетворяющих условиям

 

y(x) − y

(x)

 

< δ ,

 

y′(x) − y

(x)

 

< δ , …,

 

y(n) (x) − y(n) (x)

 

< δ , выполняется

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

0

 

 

 

 

0

 

 

 

 

 

 

неравенство

 

 

V[ y] −V[ y0 ]

 

< ε . Иными

словами,

 

V[ y] −V[ y0 ]

 

< ε , если

 

 

 

 

 

ρn [ y(x), y0 (x)] < δ .

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

Замечание. Сильная ε -окрестность функции y = y0 (x) содержит большее число кривых, чем слабая окрестность, так как слабой ε -окрестности y0 (x) не принадлежат кривые, близкие к кривой y0 (x) по ординатам, но сильно отлича- ющиеся по производным. Поэтому, если функционал на кривой y0 (x) обладает

некоторым свойством по отношению к кривым из ее сильной окрестности, то

этим же свойством он будет обладать и по отношению к кривым из ее слабой окрестности. Например, из непрерывности функционала на кривой y0 (x) в ее

сильной окрестности следует его непрерывность на этой кривой в ее слабой окрестности.

Пусть M линейное нормированное пространство функций y(x) . Функционал L[ y], определенный в пространстве M , называется линейным, если он удовлетворяет условиям:

1)L[c × y] = c × L[ y], где c произвольная постоянная.

2)L[ y1 + y2 ] = L[ y1 ] + L[ y2 ] , где y1 (x) M , y2 (x) M .

ПРИМЕРЫ С РЕШЕНИЯМИ

 

 

Пример 1. Показать, что кривые y(x) =

sin n2 x

, где n достаточно велико, и

n

 

 

5

 

 

y1(x) ≡ 0 на [0,π ] близки в смысле близости нулевого порядка.

 

 

 

 

 

 

 

 

 

 

▲ Так как модуль разности

 

y(x) − y (x)

 

=

 

sin n2 x

 

1 , т.е. на всем отрезке

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

n

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[0,π ] эта разность по модулю мала при достаточно большом n .

 

 

 

 

 

 

 

 

 

 

Близости первого порядка нет, так

 

 

как

 

y′(x) − y′(x)

 

= n

 

cosn2 x

 

, и,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

например, в точках x =

имеем

 

y′(x) − y′(x)

 

= n

 

и, значит,

 

y′(x) − y′(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

может быть сделан как угодно большим при достаточно большом n .

Пример 2. Показать, что кривые

 

y(x) =

sin nx

, где n достаточно велико, и

 

 

 

n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y1(x) ≡ 0 на [0,π ] близки в смысле близости первого порядка.

 

 

 

 

 

 

 

 

 

 

▲ Так как

 

y(x) − y (x)

 

=

 

sin nx

 

 

1

и

 

 

y′(x) − y′(x)

 

=

 

 

cosnx

 

 

1

малы, то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

n2

 

 

 

n2

 

 

 

 

 

 

 

1

 

 

 

 

 

 

n

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

Пример 3. Найти расстояние ρ0

между кривыми y = x и y = x2 на отрезке

[0,1].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

▲ По определению ρ0

= max

 

x2 x

 

= max(x x2 ). На концах отрезка [0,1]

 

 

 

 

 

 

 

 

0≤x≤1

 

 

 

 

 

 

 

0≤x≤1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

функция y = x x2 обращается в нуль. Найдем max(x x2 ) . Имеем y′ = 1− 2x ;

 

 

 

 

 

 

 

1 , так что ρ0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0≤x≤1

 

1

 

 

 

 

 

 

 

 

 

 

 

y′ = 0 при x =

= max

 

x2 x

 

= (x x2 )

 

 

 

 

1 =

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

0≤x≤1

 

 

 

 

 

 

 

 

 

 

 

 

x=

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 4. Найти расстояние первого порядка между кривыми y(x) = x2 и

y (x) = x3

на отрезке [0,1].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y′ = 3x2

 

 

 

 

 

 

 

 

 

 

▲ Найдем производные данных функций y′ = 2x ,

 

и рассмотрим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

функции

f (x) = x2 x3

и g(x) = 2x − 3x2 . Найдем их наибольшие значения на

отрезке

[0,1].

Имеем

f ′ = 2x − 3x2 .

 

Приравнивая

эту

 

производную к

 

нулю,

находим стационарные точки функции f (x) : x = 0, x

2

= 2 . Далее,

f (x)

 

 

= 0 ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

x=0

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

f (x)

 

x=

2

=

; f (x)

 

x=1

= 0 . Отсюда ρ0

 

= max

 

x3 x2

 

 

= max (x2 x3 )

 

=

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

27

 

27

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0≤x≤1

 

 

 

 

 

 

 

0≤x≤1

 

 

 

 

 

 

 

 

Найдем теперь расстояние ρ%0

 

нулевого порядка

между

производными

y′ = 2x

 

и

y′ = 3x2 :

ρ%

0

= max

 

g(x)

 

= max (2x − 3x2 )

 

= (2x − 3x2 )

 

= 1.

 

Таким

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

0

 

x 1

 

 

 

 

 

 

0

 

 

x 1

 

 

 

 

 

 

 

 

x=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

образом, расстояние ρ

1

первого порядка между кривыми y(x) = x2 и y (x) = x3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

будет равно ρ1 = max(ρ0 , ρ%0 ) = 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 5. Исследовать на непрерывность функционал

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

y′(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V[ y] = ò

 

 

dx, y(x) C1[0,1],

 

 

 

 

 

 

 

 

 

 

 

(3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

на прямой y = 0: а) в ее сильной окрестности; б) в ее слабой окрестности.

 

▲ а) Зададим ε =

1

и выберем кривые сравнения yn (x) =

sin nx

, тогда

4

 

1

 

 

1

 

1

 

 

n

 

 

 

 

1

1

- sin 2n

> 1 .

 

V[ yn ]-V[0]

 

= ò

 

cosnx

 

dx ³òcos2nx dx =

ò(1- cos2nx)dx =

 

 

 

 

0

 

 

 

0

2

0

2

4n

4

 

Итак, с одной стороны, кривые yn (x)

в смысле близости нулевого порядка

æ sin nx

 

ö

 

 

sin nx

 

 

 

 

 

 

 

стремятся к y = 0: ρ0 ç

 

,0

÷

= max

 

 

- 0

® 0, n ® ¥, но в то же время

n

n

è

 

ø

[ ]

 

 

 

 

 

 

 

0,1

 

 

 

 

V[ yn ]-V[0] ®/ 0, n ® ¥ . Следовательно, функционал (3) разрывный на прямой y = 0 в ее сильной окрестности.

б) рассмотрим любую последовательность функций yn (x)ÎC1[0,1], стремящуюся к y = 0 при n → ∞ в ее слабой окрестности. Это означает, что

ρ1 ( yn (x),0) = max

 

yn

(x)

 

+ max

 

yn¢ (x)

 

® 0, n ® ¥.

 

 

 

Отсюда

следует,

что

 

 

 

 

 

 

 

[ ]

 

 

 

 

[ ]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0,1

 

 

0,1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

max

 

y¢

(x)

 

® 0, n ® ¥ , значит, и

 

V[ y

 

]-V[0]

 

=

ò

 

y¢

 

dx ® 0, n ® ¥.

 

 

 

 

 

 

 

 

 

0,1

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[ ]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

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

функционал (3)

непрерывен на y = 0

в ее

слабой

окрестности.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ЗАДАЧИ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Установить порядок близости кривых:

 

 

 

 

 

 

 

 

1.

y(x) = cosnx ,

y (x) ≡ 0 на [0,2π ].

 

 

 

 

 

 

 

 

 

 

 

 

n2 +1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.

y(x) = sin x , y (x) ≡ 0 на [0,π ].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3. y(x) = sin nx , y1(x) ≡ 0 на [0,1].

Найти расстояния ρ0 между кривыми на указанных интервалах: 4. y(x) = xex , y1(x) ≡ 0 на [0,2].

5. y(x) = sin2x , y (x) = sin x на é0,π

ù .

 

 

 

1

 

 

ê

ú

 

 

 

 

 

 

ë 2

û

 

 

 

6. y(x) = x , y (x) = ln x на [e−1,e].

 

 

 

 

1

 

 

 

 

y (x) = x на [e−1,e].

7. Найти расстояние ρ

1

между кривыми y(x) = ln x ,

 

 

 

 

1

 

π ù .

8. Найти расстояние ρ

2

между y(x) = x и y (x) = − cos x на

é0,

 

 

 

1

 

ê

ú

 

 

 

 

 

 

ë

3 û

9. Найти расстояние ρ

1001

между кривыми y(x) = ex ,

y (x) = x на [0,1].

 

 

 

1

 

 

Исследовать на непрерывность следующие функционалы в окрестности прямой y = 0: а) в ее сильной окрестности; б) в ее слабой окрестности.

7

π

2

π

10. V[ y] = ò y2dx . 11. V[ y] = ò ydx . 12. V[ y] = ò1+ y2 dx .

0 1 0

π

13. V[ y] = ò(1+ 2 y2 )dx .

0

ОТВЕТЫ

1.Первый. 2. Близость любого порядка. 3. Близость любого порядка.

4.ρ0 = e−1 . 5. ρ0 = 1. 6. ρ0 = e −1. 7. ρ1 = e −1. 8. ρ2 = π3 + 12 . 9. ρ1001 = e . 10. а)

разрывный; б) непрерывный. 11. а) разрывный; б) непрерывный. 12. а) разрыв-

ный; б) непрерывный. 13. а) разрывный; б) непрерывный.

Вариация функционала. Экстремум функционала. Необходимое условие экстремума

1. Вариация функционала. Пусть функционал V[ y] задан на множестве

Mфункций y(x) . Приращением функционала V[ y], отвечающим приращению

δy аргумента, называется величина

V =

V[ y(x)] =V[ y(x) + δ y(x)] −V[ y(x)]

(4)

y(x) = y%(x) − y(x), где

y(x) M , y%(x) M ).

 

 

Если приращение

функционала

V =V[ y(x) + δ y(x)] −V[ y(x)]

 

можно

представить в виде

V = L[ y(x), δ y] + β ( y(x), δ y)

 

 

 

δ y

 

 

 

, где L[ y(x), δ y] –

 

 

 

 

линейный по отношению к δ y функционал и β ( y(x), δ y) → 0 при

 

 

 

δ y

 

 

 

→ 0, то

 

 

 

 

линейная по отношению к δ y часть приращения функционала, т.е. L[ y(x), δ y],

называется вариацией функционала и обозначается δV . В этом случае функционал V[ y] называется дифференцируемым в точке y(x) .

2. Второе определение вариации функционала. Вариацией функционала

V[ y] в точке y = y(x) называется значение

 

производной

функционала

V[ y(x) + α δ y(x)] по параметру α , когда α = 0:

 

 

 

 

δV =

d

V[ y(x) +α δ y(x)]

 

 

.

(5)

 

 

 

 

 

 

dα

 

α=0

 

 

 

 

 

 

Если существует вариация функционала как главная линейная часть его приращения, т.е. в смысле первого определения, то существует и вариация как значение производной по параметру α при α = 0 и эти вариации совпадают.

3. Экстремум функционала. Говорят, что функционал V[ y] достигает на кривой y = y0 (x) максимума, если значения функционала V[ y] на любой близкой к y = y0 (x) кривой не больше, чем V[ y0 ], т.е.

V = V[ y] −V[ y0 ] ≤ 0.

8

Если DV £ 0,

причем DV = 0 только при y = y0 (x) , то говорят, что на

кривой y = y0 (x) достигается строгий максимум.

Аналогично

определяется кривая y = y0 (x) , на которой реализуется

минимум. В этом случае DV ³ 0 на всех кривых, близких к кривой y = y0 (x) . Сильный и слабый экстремумы. Говорят, что функционал V[ y] достигает

на кривой y = y0 (x) сильного относительного максимума, если для всех допустимых кривых y = y(x) , расположенных в некоторой ε -окрестности нулевого порядка кривой y = y0 (x) , имеем V[ y] ≤ V[ y0 ].

Аналогично определяется сильный относительный минимум функционала. Говорят, что функционал V[ y] достигает на кривой y = y0 (x) слабого

относительного максимума, если для всех допустимых кривых y = y(x) , расположенных в некоторой ε -окрестности первого порядка кривой y = y0 (x) ,

имеем V[ y] ≤ V[ y0 ].

Аналогично определяется слабый относительный минимум функционала. Максимумы и минимумы (сильные и слабые) функционала V[ y] называют

относительными экстремумами.

Всякий сильный экстремум есть в то же время и слабый, но не наоборот. Экстремум функционала V[ y] на всей совокупности функций, на которых

он определен, называется абсолютным экстремумом. Всякий абсолютный экстремум является слабым и сильным относительным экстремумом, но не всякий относительный экстремум будет абсолютным.

4. Необходимое условие экстремума. Если дифференцируемый функционал V[ y] достигает экстремума при y = y0 (x) , где y0 (x) – внутренняя

точка области определения функционала, то при y = y0 (x) имеем δV[ y0 (x)] = 0. Функции, для которых δV = 0, называются стационарными функциями.

ПРИМЕРЫ С РЕШЕНИЯМИ

 

 

 

 

 

1

Пример

1.

Найти

приращение

функционала

¢

V[ y] = ò y(x) y (x)dx,

 

 

 

 

 

0

определенного в пространстве C[0,1], если y(x) = x, y (x) = x2 .

 

 

 

 

1

 

 

 

 

1

1

1

▲ Имеем DV =V[x2 ]-V[x] = ò x2 ×2x ×dx - ò x ×1×dx = ò(2x3 - x)dx = 0.

 

 

 

0

0

0

Пример

2.

Показать,

что функционал V[y] = òb

y(x)dx, заданный в

 

 

 

 

a

 

пространстве C[a,b], дифференцируем в каждой точке

y(x) этого простран-

ства.

 

 

b

b

b

 

 

 

DV =V[ y + δ y] -V[ y] = ò[ y(x) +δ y(x)]dx - ò y(x)dx = òδ y(x)dx.

 

 

 

a

a

a

 

 

 

9

 

 

 

 

b

 

 

 

 

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

DV = òδ y(x)dx .

Это и есть линейный относительно

δ y(x)

 

 

a

 

приращение V свелось к линейному

функционал.

В

данном случае

все

функционалу

относительно δ y(x) .

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

V[ y]

 

 

 

 

b

 

 

дифференцируем в каждой точке y(x)

и его вариация δV = òδ y(x)dx .

 

 

 

 

 

a

 

 

 

 

 

 

b

 

 

Пример 3.

Показать, что функционал V[ y] = ò y(x)2 dx,

определенный в

 

 

 

 

a

 

 

пространстве C[a,b], дифференцируем в каждой точке y(x) .

 

 

 

b

 

b

b

b

 

DV = ò[ y(x) + δ y(x)]2 dx - ò y2 (x)dx = ò2 y(xy(x)dx + ò(δ y(x))2 dx. (6)

 

a

 

a

a

a

 

Первый интеграл в правой части (6) при каждой фиксированной функции y(x) является линейным относительно δ y(x) функционалом. Оценим второй интеграл в правой части (6). Имеем

b

ò(δ y(x))2 dx =

a

b

 

 

 

 

 

 

 

 

2 dx £ (maxaxb

 

 

 

)2

b

= ò

 

δ y(x)

 

 

δ y(x)

 

òdx = (b - a)

 

 

 

δ y(x)

 

 

 

2 = ((b - a)

 

 

 

δ y(x)

 

 

 

) ×

 

 

 

δ y(x)

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

a

При

 

 

δ y

 

 

 

® 0 величина (b - a)

 

 

 

δ y(x)

 

 

 

® 0 . Следовательно, приращение V

 

 

 

 

 

 

 

 

функционала представимо в виде суммы L[ yy] и добавки второго порядка малости относительно δ y . По определению, данный функционал является

b

дифференцируемым в точке y(x) и его вариация δV = 2ò y(xy(x)dx.

a

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

b

V[ y] = ò y2 (x)dx.

a

▲ Вариация этого функционала в смысле первого определения равна

b

δV = 2ò y(xy(x)dx (см. пример 3). Найдем вариацию функционала V[ y]

a

пользуясь вторым определением вариации. Имеем

 

 

b

 

 

V[ y(x) +α δ y(x)] = ò[ y(x) +α δ y(x)]2 dx.

 

 

a

 

d

b

Тогда

V[ y +α δ y] = 2ò( y +α δ yydx

dα

 

a

10