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

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

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

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

Добавлен: 11.04.2024

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

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

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

Г л а в а 8

Регуляризация некорректно поставленных экстремальных задач

§ 1. О НЕКОРРЕКТНО ПОСТАВЛЕННЫХ ЗАДАЧАХ МИНИМИЗАЦИИ

Пусть функционал /(«) определен к непрерывен на множестве U из некоторого банахова пространства В, и требуется минимизи­

ровать J (и) на

U. Пусть существует единственный

элемент и * е ( / ,

на котором /(«)

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

U:

J(u*) =

= in f/(«) = /*.

Предположим, что с помощью какого-либо ите-

иеи

 

 

 

рационного метода нам удалось построить минимизирующую по­ следовательность {uh} ^ U : J(Uh) —yJ* (£->оо). Возникает вопрос, будет ли Uk-*-и* в В ? Иначе говоря, можно ли из близости значений /(«ft) к /* сделать вывод о близости «/t к и* в норме В и затем, как это иногда делают на практике, в качестве приближения к оп­ тимальному элементу и* взять элемент Uh с достаточно большим номером? Если элемент и*, на котором достигается нижняя грань /(«) на U, не единственный, то и здесь возникает аналогичный вопрос: можно ли по близости значений /(uk) к /* судить о близо­ сти и* к множеству £ / *= {« :«еС /, / (« )= / * } в норме В?

Оказывается, в общем случае ответ на поставленные вопросы является отрицательным. Покажем это на двух простых примерах.

П р и м е р

1. Пусть

J (и)

и > 0 . Очевидно,

/* =

- inf J (и) = О

 

 

 

1

 

 

 

 

и достигается

в единственной точке « * = 0 .

По­

н2>О

 

 

 

..., является минимизирующей, но

следовательность Uh=k, k — \, 2,

тем не менее

* — «й|=/:•/*-0 (k-+oo),

точнее даже

|и* —

 

(k-y оо).

 

 

 

 

 

 

 

П р и м е р

 

2. Пусть требуется минимизировать

функционал

/ ( « ) = j х2(t)dt

при условиях х = и ,

д:(0) ==0,

 

о

 

 

 

 

 

 

 

u = u (t)£ U =

(t) 6 Lo_[0,

1]: |и (t) |<

1 почти всюду

на [0, 1]}.

Очевидно,

 

/* =

inf J (и) =

0

 

 

 

 

 

«ес/

 

 

 

 

и достигается на единственном управлении u * ( t ) = 0. Рассмотрим последовательность Uh(t)=sinkt, O ^ ^ l , которой соответствуют траектории


338

РЕГУЛЯРИЗАЦИЯ

НЕКОРРЕКТНО

ПОСТАВЛЕННЫХ ЗАДАЧ

[Гл. Ь

 

xk (t) = - ! (1 — coskt) = — sin2—

0 < * < 1 ,

A = 1 , 2 , . . .

 

 

k

 

k

2

 

 

 

Поскольку

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

0-< / (« *) =

 

sin4( ~ f ~ ) Л < - ^ — »-0

(ft->oo),

 

 

0

 

 

 

 

 

T0

{uft} — минимизирующая последовательность. В то же время

 

 

 

1

 

 

 

 

 

 

|и* — ик ||i,[o,i] —

С sin2 ktdt =

-------- — sin 2k^>-4 - (k-> oo).

 

 

J

 

2

4ft

2

 

 

 

о

 

 

 

 

 

Как видим, значения J {ик) и J*

при достаточно

больших k

будут

сколь угодно близки, и тем не менее

управления uk (t) не

будут

близки к и* = 0 в норме L2[0, 1].

 

 

 

 

 

О п р е д е л е н и е

1.

Задача

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

/(«)

на множестве U банахова пространства В называется корректно

поставленной, если: 1) множество

 

 

 

 

 

1Г =

{ и : и е и , J (и) =

inf J(u) = Г }

 

 

 

 

 

и е и

 

 

непусто; 2) любая минимизирующая

последовательность { ^ е У

такова, что

 

 

 

 

 

 

 

р (ик, U*) =

inf \\ик — ц||-»-0 (£->*оо).

 

 

 

 

U E .U *

 

 

 

 

Если нарушено хотя бы одно из условий 1) или 2), то задача минимизации называется некорректно поставленной.

Примером корректно поставленной задачи является задача минимизации сильно выпуклого функционала J (и) на выпуклом замкнутом множестве гильбертова пространства Н. В самом деле, существование и единственность минимизирующего элемента* и*> следует из теоремы 2.1.7, а сходимость минимизирующей последо­ вательности {«й} к и*, в Н вытекает из равенства

||ufc- « * p <

[J(uk) - J ( u - ) \

 

К

 

теоремы 2Л.6. Если U компактно в В и J (и)

полунепрерывен снизу

на U, то, очевидно, задача

минимизации

такого функционала

J(u) на U также поставлена корректно.

 

Для корректно поставленной задачи минимизации приближен­ ное нахождение какого-либо из минимизирующих элементов

e t/ * облегчается: в качестве приближения к и* можно взять один из членов минимизирующей последовательности с достаточно большим номером.


§ 21 Метод регуляризации А. Н. Тихонова . 339

Однако имеются целые классы практически важных задач ми­ нимизации, являющиеся некорректно поставленными. К таким за ­ дачам относятся многие задачи минимизации функций конечного числа переменных, задачи оптимального управления, связанные с системами обыкновенных дифференциальных уравнений или урав­ нениями с частными производными, а также ряд других экстре­ мальных задач. Возникает практически важный вопрос: как пре­ одолеть трудности решения иекорректно поставленных задач мини­ мизации в тех случаях, когда U* непусто и требуется найти не только минимальное значение функционала, но и какой-либо ми­ нимизирующий элемент ,с нужной точностью в той или иной нор­ ме? Или, точнее говоря, как строить в таких задачах минимизи­

рующие последовательности

{«й}е£/, для которых расстояние

p(«ft, £/*)->-О (£->-оо) или же

||uk— ы*||->0 (£-»-оо), где и* — неко­

торый элемент из U* с определенными свойствами. Ответ на эти вопросы дает излагаемый в следующем параграфе метод регуляри­ зации некорректно поставленных экстремальных задач, разрабо­ танный А. Н. Тихоновым и оказавшийся весьма гибким и удоб­ ным инструментом для теоретического исследования и численного решения таких,-а также других более широких классов некоррект­ но поставленных задач, возникающих в различных областях науки

итехники [151, 217, 222, 225]. Из обширной литературы по теории

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

нем еще работы [12, 28, 30, 31, 33, 36, 37, 53, 98, 151, 156, 162, 172, 218— 226, 247—250], непосредственно связанные с экстремаль­ ными задачами (библиографию см. в работах [222, 225]). По пово­ ду достаточных условий корректности постановки экстремальных задач см. работы [153, 156, 186].

§2. МЕТОД РЕГУЛЯРИЗАЦИИ А. Н. ТИХОНОВА

1.Пусть U — некоторое множество банахова пространства В. Пусть функционал J (и) определен на множестве U, причем

U* = {и: u £ U , J (и )= inf J (и) — J *}

нес/

непусто. Метод регуляризации некорректно поставленных экстре­ мальных задач, разработанный А. Н. Тихоновым [218—221], заклю­ чается в том, что сначала исходную задачу минимизации J (и) на U заменяют семейством задач минимизации специальным образом подбираемых функционалов /<*(«), зависящих от числового пара­

метра а ^ О и определенных на множествах f7as t/ ,

причем J 0(u) =

= / ( « ),

U0= U .

После чего, используя какие-либо

приближенные

методы,

задачу

минимизации J a (и)

на Ua при каждом фиксиро­

ванном

а > 0 решают с некоторой

точностью е = е ( а ) > 0 в сле­

дующем смысле:

определяют элемент

6 Ua такой,

что



340

РЕГУЛЯРИЗАЦИЯ

НЕКОРРЕКТНО

ПОСТАВЛЕННЫХ ЗАДАЧ

а. 8

 

Ja — inf J a (ц) ^ Ja (Wcr.)

 

*^a “b 8 (tt),

Ua € Ua-

(1)

 

u£Ua

 

 

 

 

 

 

 

 

Говорят, что задача минимизации

J (и)

на

U

регуляризована по

Тихонову, если

 

 

 

 

 

 

 

 

 

р(иа, £/*) =

inf IIWa. — ц||-»0

приа->- +

0.

 

 

 

«6С/*

 

 

 

 

 

 

 

 

Для регуляризации экстремальных задач чаще всего исполь­

зуются функционалы А. Н. Тихонова

 

 

 

 

 

 

 

J a (u) — J(u ) + aQ(u),

 

 

 

(2)

где

a > 0 — числовой

параметр,

й (и) — некоторый

функционал с

непустой областью определения Uq сг U,

причем Q(u) > 0 при

Uq.

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

можно указать

функцию е = е ( а ) > 0 , Н ш е(а) = 0,

такую,

что иа ,

определяемые

из

0С“>|-0

обладают свойством

 

(1) при J a (u) из (2)

и Ua == Uа,

 

р(иа , U*)- у 0 (а -*- + 0).

2. Ниже будут доказаны теоремы, из которых следует суще­ ствование регулярнзаторов для широкого класса некорректно по­ ставленных экстремальных задач, а также указаны примеры регуляризаторов в ряде важных для практики функциональных про­ странств.

Т е о р е м а 1. Пусть выполнены следующие условия: 1) U — заданное множество банахова1 пространства В, функционал /(«) определен и ограничен снизу на U, множество

U* = {« :u£U , J (и) ■- inf J (и) =*/*>■ — оо}

 

 

 

ие.и

 

 

 

 

 

 

непусто; 2) функционал й (и)

определен

на

непустом

множестве

Uq^ U , й ( « ) ^ 0 на Uн, и существует хотя

бы один элемент

 

e U * ,

который также

принадлежит

Uq;

 

3)

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

W ),

{ей} таковы, что

a ;i> 0 ,

е;£> 0 ,

k = \ , 2,

...,

ед->-0

(£-»-

—у о о ) ;

4 ) последовательность

{щг} , k = \ ,

2,

..., определена из

ус­

ловия

 

 

 

 

 

 

 

 

 

Jk " С Л (uk) " С Jk +

e ft> W/ j

6 £ / q ,

( 3 >

где

 

 

 

J k (и) = J (и) 4- a k Й (u),

Jl =

inf J k (и).

 

 

«G£/q

 

1 Теоремы 1, 2 сохраняют силу, когда В — метрическое пространство.