Файл: Васильев Ф.П. Лекции по методам решения экстремальных задач.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 сохраняют силу, когда В — метрическое пространство.