Файл: Васильев Ф.П. Лекции по методам решения экстремальных задач.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 11.04.2024

Просмотров: 221

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

2 4 6 МЕТОДЫ М И Н И М И З А Ц И И В ФУНКЦ И ОНАЛ ЬНЫ Х ПРОСТРАНСТВАХ [ Гл. в

функционал J (и) —

(Аи, и) (Ь, и)

из примера 1 выпуклый, и

задачи минимизации J (и) на Н и решения уравнения А и = Ь экви­

валентны.

 

 

 

11. Пусть А — оператор из примера

1. Доказать, что если А —

сильно

положительный

оператор (т.

е.

(Аи, и)^у\\и\\2 при всех

л е Я ,

Y = c o n s t> 0 ), то

функционал

J

{и) — - i - (Аи, и) (Ь, и) из

примера 1 сильно выпуклый и в Н достигает своей нижней грани

на единственном элементе ц*, являющемся единственным решением

уравнения Аи— Ь (это

обстоятельство лежит в основе метода Рит-

ца решения уравнений

А и = Ь ).

12.

Доказать, что

в рефлексивном ^-пространстве

||с||=

= т а х

(с, и) при всех

c e S * .

 

Ци|1<1

Пусть I ( и ) — выпуклый функционал на выпуклом

 

13.

откры­

том множестве U S -пространства. Доказать, что следующие четыре утверждения эквивалентны: 1) J (и) полунепрерывен сверху в точ­

ке У;

2) J ( и )

непрерывен в точке

у ; 3) J

( и )

ограничен

в окрест­

ности

точки

у ; 4) J (и) ограничен

сверху

в

окрестности

точки у

(см. [73]).

 

 

 

 

 

14.Для того чтобы функционал /(ы), заданный в S -простран­ стве был полунепрерывен снизу [слабо полунепрерывен снизу], не­ обходимо и достаточно, чтобы множество 0 С= {и : J (и) ^ .С } было замкнутым [слабо замкнутым] при любом вещественном С. Дока­ зать ([46], стр. 97— 99).

15.Если на открытом выпуклом множестве U S -пространства

задан

конечный выпуклый функционал

/(«), то

в каждой точке

v ^ U

он имеет опорный функционал и,

следовательно, слабо полу­

непрерывен снизу. Доказать ([46], стр. 104— 107).

 

16.

Слабо полунепрерывный снизу функционал J{u ), удовлет­

воряющий условию ТТгтГ J (и) = -]-оо,

в рефлексивном S -прост-

ранстве достигает своей нижней грани-

([46], стр. 119). Доказать.

17.

Доказать, что /(а) = ||ы— «0И на любом выпуклом замкну­

том множестве U рефлексивного S -пространства

достигает своей

нижней грани (теорема существования

проекции «о на U или эле­

мента

 

наилучшего приближения к заданному элементу и0^ В ) .

18.

Пусть U — множество из S -пространства

с непустой внут­

ренностью, и пусть для некоторого функционала

c e S * известно,

что <(с, м ) = 0 при всех u^U . Доказать,

что тогда с = 0 .

19. Прямым произведением двух линейных пространств S i и

S 2 называется линейное пространство S =

S i X S o упорядоченных

пар х — (х\, х2), у = ( у ь £/г) •••, где x ^ .y ^ B i

(j— 1, 2) с правилами

сложения х-\-у— (-*ч+Яь Яг+г/г) и умножения на число а х = (axi,


§ 2}

Некоторые методы

минимизации функционалов

 

247

ах 2). Доказать, что если

В\

и В 2 — банаховы

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

В = В \ Х В 2 также банахово с нормой ||x |= ||x iIIb , +1М1в3,

и сопря­

женное к В пространство В * представимо в виде В =

В\ х

В2.

20.

Теорема Мазура

гласит ([127], стр.

173):

если последо

тельность щ,

« 2 ...... «в,

в линейном нормированном

(в частности,

в

банаховом)

пространстве В слабо сходится к элементу и, то для

всякого е > 0

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

п

п

п

£

щщ ^сс; >

0, ^

ссг = 1) элементов {«,}, что ||и— ^ а ;П;||<8.

<=i

г=1

t= 1

Вывести отсюда утверждение, использованное при доказательстве теоремы 3.

У к а з а н и е . Применить теорему Мазура к последовательности

«а, tih+i, ..., ип, ... при 6 = — , k — \, 2, ....

в

§ 2. НЕКОТОРЫЕ МЕТОДЫ МИНИМИЗАЦИИ ФУНКЦИОНАЛОВ

Пусть J.(u) — некоторый функционал, определенный на мно­ жестве U //-пространства. Будем рассматривать задачу минимиза­

ции J (и) на

U,

понимая

под этим следующие вопросы: 1) найти

J* = inf J

(и);

2)

указать последовательность {un} ^ U , для которой

U&U

J*,

или же,

если это

возможно,

найти точку

u *^ U ,

lim J(u n) =

—>00

 

 

 

 

 

 

 

такую, что / (« *)= / * .

 

 

 

 

Описание

наиболее

известных

и часто

применяемых

методов

минимизации функционалов в Я-пространствах внешне ничем не отличается от описаний аналогичных методов в конечномерных

пространствах.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1.

Градиентный

метод

(случай Я = Я ) .

 

Предполагается,

что

/ (и )е С ‘ (Я ).

 

Строится последовательность {ип}

по правилу ([3,

27,

35,

46,

47,

57,

59,

75,

82,

102,

111,

135,

147,

148,

155,

161,

164,

171,

193,

 

229, 244,

255]):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

«п+1 =

un—a nJ'(un), числа

ап> 0 ,

 

п = 0,

1, ...

 

(1)

Если ]'{ип) Ф 0,

то можно

подобрать

 

а „ > 0 ,

что / (« „ + ])< / (« „ ).

Это следует из (1.1). Если

 

при

каком-либо

п ^ О

 

J'(un) — 0, то

нужно провести дополнительное исследование поведения J (и) в ок­

рестности

ип для

выяснения

того, будет ли

 

и„

точкой минимума

J (и)

на Я .

В частности,

если J (и)

выпуклый функционал,

то необ­

ходимость в таком исследовании отпадает, так как согласно теоре­ ме 2.1.3 в точке ип, где J'(un) = 0, достигается минимум J (и) на Я .

Здесь и во всех излагаемых ниже методах начальная точка «0^1/ предполагается известной. На практике начальное прибли-


248 МЕТОДЫ М И Н И М И З А Ц И И В Ф У НКЦ И О НАЛ ЬНЫ Х ПРОСТРАНСТВАХ [Гл. 6

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

В зависимости от способа выбора а п в (1) можно получить различные варианты градиентного метода. Перечислим некоторые из них:

 

а)

а„

определяется из условия ming„ (a)= g„ (а,г), г д е £ „ (а ) =

~ J ( u na J'(u n))

 

 

 

а>0

 

 

 

метода

принято

— этот вариант

градиентного

называть методом скорейшего спуска;

 

 

 

 

 

 

 

 

 

б)

если IJ' (и) J ’ (v)I < L ||и v\ при всех и, v £ H , L =

const > О,

то

a„

может быть

выбрано

из условий

ех <

а„ <

 

2

 

где

ех,

L + 2в

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в — параметры алгоритма, выбираемые вычислителем, 0 ■<е1 <

2

 

L +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0.

В частности,

возможно е =

, ех =

а п = —

;

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

L

 

 

 

 

 

в)

а„ выбирается из условия

 

 

 

 

 

 

 

 

 

 

 

 

 

J

(ы„) — J

(и„ — anJ' (и,,)) >

ect2|J'

(ип) f ,

a„ > 0 ,

 

 

где

e — параметр алгоритма,

е > 0 ;

 

 

 

 

 

 

 

 

 

 

г)

ап =

р„ I J ’ (ип) ||-‘, где {Р,,}— произвольная последовательность

со

свойствами

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

00

 

 

 

 

 

 

 

 

 

 

р * > 0 ,

Р „->0

(п ->оо), У

рп = + о о

/^например,

р„ =

 

 

 

 

 

 

 

 

t o

 

 

'

 

 

 

 

 

“ +

1 '

 

д)

если

заранее

известна

величина J* =

inf J (и),

то можно взять

=

 

 

 

.

 

 

 

 

 

 

Н

 

 

 

 

 

п

 

| / '

Ы

Р

’ .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е) в некоторых случаях отправляются от некоторого началь­

ного a „ = a

и, произведя необходимые дробления а,

ограничивают­

ся таким выбором а п, чтобы / (un+i) < / (ип) .

 

 

 

 

 

 

Приведем теорему сходимости метода скорейшего спуска.

 

 

Т е о р е м а

1.

Пусть функционал

/(«)

определен на

гильбер­

товом

пространстве Н, J (и) 6 С1 (#),

inf J (и) = У* >

— оо,

и гради-

■ент У {и)

 

 

 

 

 

 

 

и е и

 

 

||/'(ы)—/'(и) |^L||«—

удовлетворяет условию Липшица

— w||, L = c o n s t> 0 ,

и, а е Я ;

Пусть

п} — последовательность,

по­

лученная

методом

скорейшего

спуска

при

некотором

начальном

и0^ Н

(см., выше,

п. а)). Тогда

Нш

(и„) =

0.

Если,

кроме того,

 

 

 

 

 

 

 

 

 

.Д— *оо

 

 

 

 

 

 

 

 

J {и) выпуклый функционал и множество Ми(и0) = { и : J (и) ^ / (ы 0)} ограничено, то последовательность {ип} является минимизирующей


§ 2] Некоторые методы минимизации функционалов 249

и любая ее слабая предельная точка будет точкой минимума /(«) на Я , причем в случае единственности точки минимума к ней слабо сходится вся последовательность {м„}; справедлива оценка скоро­ сти сходимости

 

П , л = 1 - 2 ,

где D = sup

|и — у |— диаметр множества М(и0).

u,v£M(ua)

 

Если / («),

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

{]ип} сходится к единственной точке минимума и* по норме прост­

ранства Я ,

причем

 

 

 

 

 

0 < / ( и п)

J

[J (ио)

J ]уп> II ип

и ||2

 

< — [J Ы —

=

 

где <7 = 1

0 < < 7 <

1, а р ]> 0

константа

из теоремы 2.1 .4 -

Доказательство этой теоремы полностью

аналогично доказа­

тельству теоремы 2.2.1.

В

частности,

вывод (2.2.5— 6 ) остается та­

ким же, только лишь для обоснования существования точки и* из

оценки (2 .2 .6 ) здесь нужно использовать выпуклость,

замкнутость,

и ограниченность множества M(uo) и сослаться на

теорему 1.4.

Существование хотя бы одной слабой предельной точки о* после­

довательности {tin} следует из слабой компактности М (и0)

(см.

теорему 1.2). Пусть Unk~+v* слабо в Я .

Тогда равенство J ( v * ) = J *

вытекает из слабой полунепрерывности J (и)

(см.

теорему

1.3) и

соотношений

J* =

lim J (ип) =

lim J (ип ) > J

(о*)

J*.

Все

 

осталь-

 

 

 

 

 

П -> оо

 

k -* o o

 

 

 

 

 

полностью

со­

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

храняют силу и здесь.

 

 

 

 

 

 

параметр а п

 

 

 

Сходимость градиентного

метода,

когда

из

(1)

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

при Я = Я

(см.

ниже).

 

 

 

 

 

 

 

(случай 1]ф Н ).

 

 

 

 

 

 

2 . Метод проекции градиента

Предполагает­

ся,

что /(м )еС *(£/).

Строится последовательность

{ип} по прави­

лу

([9,

10,

31,

35,

75,

97,

124,

135,

155,

158,

159,

171,

179,

189,

193,

244, 255, 267])

*

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ип+ 1 =

Ри (ипa nJ' («„)), числа а п>

0,

п =

О,

1, . . . ,

 

(2>

в предположении возможности указанной здесь операции проек­

тирования точки

ипotnJ'(Un) на множество U.

а п в (2):

Перечислим

некоторые способы выбора параметра

а)

если

||/'(«)— J'{v) ||^L||u— v\\ при всех и, v<=U, L = con s

> 0 , то ссп может быть выбрано так.ж е, как в пункте 1

б);