Файл: Васильев Ф.П. Лекции по методам решения экстремальных задач.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 n— a J'(u n)) |
|
|
|
а>0 |
|
|
|
метода |
принято |
||||||||||
— этот вариант |
градиентного |
||||||||||||||||||
называть методом скорейшего спуска; |
|
|
|
|
|
|
|
|
|||||||||||
|
б) |
если IJ' (и) — J ’ (v)I < L ||и — v\ при всех и, v £ H , L = |
const > О, |
||||||||||||||||
то |
a„ |
может быть |
выбрано |
из условий |
ех < |
а„ < |
|
2 |
|
где |
ех, |
||||||||
L + 2в |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
’ |
|
||||
в — параметры алгоритма, выбираемые вычислителем, 0 ■<е1 < |
2 |
|
|||||||||||||||||
L + |
2е |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
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 |
б); |