
книги / Регулярные методы решения некорректно поставленных задач
..pdfТ е о р е м а |
92. Если оператор А нормально разрешим и Uj |
яв |
|||||||
ляется нормальным решением уравнения ( 1), |
го |
|
|
|
|
||||
^ |
/ 6 |
+ h %/~5 |
|! и /1 |/Д 2/3 |
|
. , |
|
0 2 ) |
||
min || иа - Uf \\н ^ 3 ^ ---------- |
;------ |
' ---- |
) |
II w0 II |
- |
|
|||
Заметим, что оценки (10) и (И ) |
справедливы |
и |
без |
предполо |
|||||
жения о нормальной разрешимости оператора А. |
Оценка |
(12) |
со |
храняет силу, если второе из уравнений (6) разрешимо.
5.Пусть{Ah, f b) - приближенные данные задачи (1), где линей
ный оператор А ,,: Н-+ F, \\ А - Ah || < h, || f b - / 1| F < 6 |
и задача |
( 1) заменена задачей |
|
Ahu = f b . |
(13) |
Оператор А считаем нормально разрешимым. Обозначим |
через Р |
оператор проецирования F на подпространство QA - {/ Е F: f=Au, и Е Н).
Предположим, что PAh =Ah i j.e. область QAh значений операто ра Ah содержится в QA.
Л е м м а 45. При достаточно малом h имеем QA; = QA.
Для доказательства утверждения необходимо использовать тот
факт, что QA - подпространство, и применить известную |
теорему |
Банаха о близких оператора* [131]. |
|
С л е д с т в и е . При достаточно малых h оператор А /г |
нормаль |
но разрешим. |
|
Обозначим через иа псевдорешение уравнения (13), о = (5, h). Легко доказывается
Л е м м а 46. Верна оценка
II Ио-И/Н// <8 11^11 + \ \ К - A ' t t W f W p ,
где Af]y А + - операторы, псевдообратные к A h и А соответственно , г. е.
lim |
Нк * - uf ||// = |
0, |
|
|
1ОI - О |
|
|
|
|
где | а\ = |
( h2 + 52)1'2. |
|
|
|
Рассмотрим задачу минимизации функционала |
|
|||
Ф2{и] = Фа [м;Л/1, / б] |
= |
|
|
|
= II A h и - f b И2, + ot || и || //, |
и G Н, |
(14) |
191
где OL > |
0 - |
параметр регуляризации, и пусть и 2 - |
решение этой за |
|||||||
дачи. Тогда |
|
|
|
|
|
|
|
|
||
Ф£[и2 ] < |
Фа[и] |
Чи |
е К |
|
|
|||||
Полагая здесь и = uai имеем |
|
|
|
|||||||
\\Ahu°a - fb II?.- +<* || и°а \\н < \\А„иа - f 6 ||? + а |
|| иа \\н. |
|||||||||
Пусть |
/ 6 = f'b |
+ f'8', f'h |
= P f 5, |
f 8 1 f 8. Используя равенство |
||||||
Пифагора, получаем |
|
|
, |
|
|
|||||
« ArhUa - f l |
II?- + <*||И* II?/ + ll/s” II? < |
|
||||||||
< a | | u 0 ||? |
+ |
II/;' II?, |
|
|
|
|||||
так как |
|| A„u0 - |
f l |
||F |
= |
0. |
|
|
|||
Следовательно, || |
II я |
^ |
II “ о II я |
при любом a > 0. Кроме того, |
||||||
II Ahи°а - |
fb |
II ? |
< |
а( || иа || н - |
|| и°а || ?/) < |
|
||||
< 2а || м о || я II мa —Ua || я • |
|
|
||||||||
Обозначая z = |
|
иа, получаем |
|
|
||||||
\\A„z ||? |
< |
2a |
|| ист ||я |
II z || я , |
|
|
||||
II z II я |
< II А/, || || A„z ||F < |
|| A l || (2 а || иа ||я II г II н ) ш . |
||||||||
Следовательно, |
|
|
|
|
|
|
|
|||
II г ||я |
< |
II м2 - |
|
Ия |
< |
2а || Л/, ||2 || иа \\н . |
|
|||
Из полученного соотношения и леммы 46 следует |
|
|||||||||
Т е о р е м а |
93. Пусть а, |
| о\ -+0. Тогда и°-+Ыр При этом |
||||||||
|| и % |
- |
U f |
II н |
< |
|
|
|
|
|
|
< 5 |
IM,; II + 1A l - |
а + II \\f\\F + 2a\\A*h ||2 ||мст Ия- |
||||||||
Таким образом, при достаточно малых OL мы имеем |
||||||||||
W u Z - i / / l l F<5I U/ ; i l |
+ I M ,; - ^ + ll II/HF - |
|
||||||||
Отметим, что так |
как |
а, |
|
0 независимо, то в рассматри |
||||||
ваемой |
ситуации не возникает проблемы выбора параметра регу |
ляризации.
192
Далее, пусть при приближенной реализации указанного способа
решения задачи в оператор А и и правую часть Д |
вносятся допол |
|||||||
нительные ошибки, так что A h |
= A fl + SAhy |
f 6 = f b + 5Д и |
||||||
|| 8Ah || |
< |
т , |
|| 6Д |
|| < т . Предполагается, что т < | о | . |
||||
Пусть и° - |
точное решение задачи минимизации функционала |
|||||||
К [ ы ] |
= Ф* [ u\ Ah, f 8 ], |
и е н . |
|
|
||||
Выбирая |
о:= т2^3 и используя оценку (12),получаем \\и £ -и 0\\н < |
|||||||
< Сат 2/3, где |
Со равномерно по о ограничено. Таким образом, |
|||||||
если при приближенном решении задачи (14) положить а = т2/3,то |
||||||||
\\Z£ |
- u f \\H < \ \ U o - u f \\H + С0т2/3, |
|
|
|||||
и так как |
т < | а |, то погрешность реально вычисленного решения |
|||||||
ИИ о - |
U f |
II Н ^ |
II Wa - U f II н |
|
|
|
||
Пусть (1) |
- |
система линейных алгебраических уравнений с мат |
||||||
рицей порядка |
п и вычисления ведутся на машине с плавающей |
|||||||
запятой. Если t —количество разрядов в двоичном представлении |
||||||||
мантиссы, |
то, используя алгоритм, описанный |
в |
[8], получаем |
|||||
т = 0 ( 2 ~ ') |
и следует потребовать т < h. Выбор значения парамет |
|||||||
ра а = |
2“ 2^3 |
обеспечивает, как правило, численную устойчивость |
||||||
метода. |
|
|
|
|
|
|
|
|
6. |
Изложенная выше методика может быть применена для чис |
ленного решения линейных интегральных уравнений I рода с вы рожденным ядром, а также для некоторых классов дифферен циальных уравнений с неединственным решением, например для задачи Неймана.
Вычислительный эксперимент *) по решению ряда вырожден ных систем линейных алгебраических уравнений с использованием стандартных программ НИВЦ МГУ показал, что регулярные реше
ния ’’стабилизируются” при значениях а = 2“ 2^ 3 ^ 10_7,в то вре мя как при ot = 0 происходит аварийный останов по переполнению или получается совершенно неприемлемый численный результат. Эффект стабилизации наблюдался также при решении вырожден ных систем методами итерационного типа (например, гра диентным) .
*) Расчеты были выполнены М.В.Арефьевой, С.Ф.Гилязовым, Н.Н.Кир сановой, А.Ф. Сысоевым.
13. В. А . М орозов |
193 |
7. |
Рассмотрим отыскание псевдорешений задачи (1) |
при допол |
||
нительном предположении: Н = F, А* = Л, |
А неотрицательно |
|||
определен. Нормальная разрешимость оператора А не предполагает |
||||
ся, требуется лишь, чтобы псевдорешение Uf |
задачи (1) |
сущест |
||
вовало. |
|
|
|
|
Пусть v a - решение (очевидно, единственное) уравнения |
|
|||
(аЕ |
+ A )va = f t |
а > О, |
|
|
определяющего алгоритм упрощенной регуляризации. Легко пока зать, что в случае Auf Ф/ , т.е. Ра > 0, решения этого уравнения не сходятся при ск-^Ок псевдорешению и/. Положим поэтому
dva иа = va + ot------,
da
dva
где —ь- - производная элемента va как функции параметра а. da
Нетрудно видеть, что
иа = (аЕ + A)~2A f = (аЕ +A )~lA va ,
т.е. иа является решением регуляризованного |
специальным обра |
зом уравнения |
|
( a £ + A f i/a - А/. |
(15) |
Так как в данном случае псевдорешение Uf удовлетворяет в обыч
ном смысле уравнению А 2иf = А / , то иа = (аЕ + А) ~2А 2 иf |
и |
|
Uf - иа - а ( а Е + 2А)(аЕ +A)~2Uf. |
(16) |
|
Т е о р е м а |
94. Справедливо предельное соотношение |
|
lim || uf - |
иа ||// = О, |
|
OL *О |
|
|
т.е. предложенный метод является регуляризирующим.
Д о к а з а т е л ь с т в о . Пусть Е\ , 0 < X < Л/ < +«> s —некото
рое |
спектральное |
разложение единицы, порожденное опера |
тором А: |
|
|
|
м |
|
Аи |
- f \ d t \ u . |
(*) |
о
Тогда справедливо представление
,м а + 2Х
{аЕ + 2А)(аЕ+А) - 2и = / --------- |
г dExu, |
о( < * + * )
194
и, следовательно, |
|
|
II « / - Ua || я |
м (а+2Х)2 |
|
= а2 / |
(dExuf , uf ). |
|
|
о (а + X)4 |
|
Очевидно, что выполняются оценки |
||
( а + 2 Л)2 |
4 |
4 |
----------- — < |
-------------- |
< — |
(а + Х)4 |
(а + X )2 |
X2 |
Разбивая интеграл на два в пределах от 0 до е Е (О, Л/) и от € до Л/, получаем
€ |
л 2 |
II и/ - иа || ?/ < 4 J |
(dE\Uf, Uf) + 4 — || Uf\\2H. |
о |
6 |
Полагая здесь а = е3/2 убеждаемся в справедливости требуемо го соотношения. Теорема доказана.
Далее предположим, что существует элемент tf: Av = Uf (это заведомо имеет место, как показано ранее, если оператор А нормально разрешим).
Тогда (16) принимает вид:
Uf - иа = + 2A)(otE + А)~2Av.
Снова используя разложение (*) А щполучаем
м (а + 2Х )2Х2
II Uf - иа I! я < а 2/ |
(dE\i , v). |
о(& +Х)4
Так как верны неравенства
(а + 2 X )2 X2 |
^ |
(а + 2Х)2 |
4, |
|
- |
1 |
^ |
||
(а + X)4 |
|
(а + X)2 |
|
|
то справедлива оценка скорости сходимости: |
||||
II Uf - и л II// |
< |
2а II V II//. |
|
|
Если оператор |
А и |
элемент / |
возмущены, т.е. заданы линейный |
(необязательно самосопряженный) оператор А : НА — A |j < И и
элемент /: !1/ |
- / 1| < 6, то приближение к |
псевдорешению u f- |
можно определить, решая уравнение |
|
|
(al: + А 1г )va |
= f |
(17) |
13* |
|
195 |
с оператором АИ= — (А |
+ А ) и |
полагая |
|
|
d v a |
|
(18) |
|
= va + а |
|
|
|
dot |
|
|
Здесь |
оператор A h уже |
самосопряжен и удовлетворяет оценке |
|
||Л - |
Д. Уравнение (17) |
всегда однозначно разрешимо |
|
при а > А. |
|
|
|
Используя неравенство треугольника, имеем |
II иа - Uf II я < II М<* - и а II я + II и<х - И/ II я-
Легко показать, что существует а = а(б, Д) > О такое, что
lim |
|| и а - |
и а || я |
= 0. |
5, л - |
о |
|
|
Тогда |
|
|
|
II |
- Uf\\H |
о, |
| о | -►0. |
Изложенный метод (17), (18) решения несовместных уравнений имеет определенные преимущества, так как не требует явного при менения трансформации А*А, нарушающей, как это часто бывает, определенную структуру оператора А (например, ленточность мат рицы А ) , что обычно затрудняет применение метода регуляризации в ’’чистом” виде и повышает число обусловленности, т.е. неустой чивость рассматриваемой задачи.
Заметим, что вместо (18) удобно пользоваться приближенной
формулой. Пусть а и |
та — два соседних значения параметра, |
т ^ 1 . Тогда имеем |
|
и* % v a +«- ос — та |
Va - Vr |
= ”<*+ —1 —т |
Применение этой формулы существенно облегчает определение требуемых приближений иа к псевдорешению Uf и не требует вто
ричного решения операторного уравнения (аЕ + Л/,)иа = 7 а . Изложенный метод безусловно применим к случаю, когда А -
симметричная неотрицательно определенная матрица. Допускается вырожденность А. Такими свойствами обладает матрица разност ной системы уравнений для численного решения задачи Неймана, некоторых задач теории упругости.
Как было отмечено, при Auf Фf |
элементы иа не сходятся к Uf |
|
при ос |
^ 0. Если же A Uf- / , то имеет место предельное соотношение |
|
lim |
II va - Uf || я = 0, |
(19) |
196
т.е. алгоритм упрощенной регуляризации сходится. Это легко дока зать на основе спектрального разложения оператора А .
Пусть А = Е - Aof где А 0 = А 5 и IIА 0 К 1. Тогда, очевидно, условие А > О выполнено заведомо. Потребуем, чтобы оператор А 0 действовал непрерывно в некоторое банахово пространство В, вложенное в Я, т.е.
Мой II* |
< |
Mo IIII и ||я, |
и е |
н . |
|
||
Если Uf.e В , то вместо (19) |
имеет место более сильное соот |
||||||
ношение |
|
|
|
|
|
|
|
|
lim || uf |
- |
va \\B = Q. |
|
|
(20) |
|
а -* О |
|
|
|
|
|
|
|
Докажем это. Легко видеть, что |
|
|
|||||
va - U f |
|
|
1 |
|
|
|
|
= -------(>lo(i>a - Uf)+auf ). |
|
||||||
|
|
|
1 +а |
|
|
|
|
Но тогда |
|
|
|
|
|
|
|
II |
va - |
Uf II в ^ |
|
|
|
||
|
1 |
|
|
|
|
|
|
< |
-----------( |
M |
o II II Va - U f \ \ H |
+ а |
|| Uf | | в ) |
0 , а ^ О , |
|
|
1 + а |
|
|
|
|
|
что и требовалось доказать.
Заметим, что наложенные условия выполняются заведомо, если, например, А 0 - интегральный оператор с ядром, достаточно глад ким по свободной переменной.
Если элемент / задан приближенно, так что || / - / 1| в < 60, то, очевидно, в силу вложенности В в Н
II 7 -/11* < 7 II 7 - / IIB < 7бо = 8,
поэтому,если иа: (аЕ + A ) v a = /, то
^5
II Va - |
иа II н |
< |
^ |
• |
|
|
С другой стороны, |
|
|
|
|||
Va ~~VQC “ |
1, |
1 |
С^О( V# |
f ~ /*)» |
||
+ а |
||||||
поэтому |
|
|
|
|
1 |
|
II Va - |
Va |
Iв |
|
|
io l l | + So]. |
|
|
1 |
+ а |
197
Из неравенства треугольника вытекает, что
II va - Uf\\B |
|
So |
|
0 , |
ot + — |
0 . |
Если же А = Е - Л0 и оператор А не удовлетворяет условию само сопряженности: А Ф А , то аналогичные результаты имеют место,
если оператор Л0* действует непрерывно в В. При этом в качестве приближений к Uf следует брать решения uQ задачи (5).
§ 25. Оптимальная регуляризация
1. Пусть А - линейный вполне непрерывный оператор, действую щий из Я в F , где Я и Я - пространства Гильберта.
Рассматривается задача минимизации функционала невязки
\ \ A u - f W r , |
и е я, |
(1) |
где / - некоторый элемент из F . Предполагается, что (единствен ное) нормальное псевдо решение Uf задачи (1) существует.
Пусть в Я задан класс {Г} неотрицательно определенных само сопряженных операторов Т таких, что
\\Аи\\р+(Ти,и)н |
> к2 || и || //, |
u e D T , |
(2) |
||
где к ~ к (А, Т) > 0 - |
постоянная, не зависящая от выбора и. |
|
|||
Определим функционал |
|
|
|
||
Ф г[м ;£] = \\A u - g \\2F + ( Тиуи )н , |
и Е DT , |
|
|||
где g Е F — произвольный |
элемент. Легко видеть, что элемент |
||||
uj Е DT , минимизирующий |
[м; g ], удовлетворяет уравнению |
||||
(Г + А*А)ит |
= A *g. |
|
|
(3) |
|
В силу (2) уравнение (3) имеет единственное решение |
|
||||
ит = R Tg, |
R T = (Г + Л * А Г 1А* |
|
Пусть элемент / задан приближенно: / = |
/ + £, где | - некото |
рый ’’малый” в определяемом ниже смысле |
случайный процесс со |
значениями в Я, для которого выполнено условие |
= 0, где М — |
оператор математического ожидания. Пусть иг = R r /; |
положим |
е2г (игЛ ) = M\\Rr f ~ uf \\н |
|
Пусть { и/} и {£ } —классы ’’допустимых” решений (1) и возмуще-
198
ний соответственно. Определим меру погрешности
е т({иГ}, Ш ) |
= |
sup |
ет{иЛ)- |
||
|
|
и t |
{иг ), це {О |
|
|
Далее рассматриваются следующие задачи. |
|||||
З а д а ч а |
I. Построить оператор |
Topt G { Г), определяемый |
|||
из условия |
|
|
|
|
|
€T ov t ( { u r ) * |
Ш |
) = |
inf € T { { u f ) > |
{ Н ) - |
( 4 ) |
|
|
|
т |
|
|
Если решение этой задачи существует,то элемент й0 =^ r opt7 назы вается ({Г}, {и,}, {%})-оптимальным (приближенным) решением задачи (1). Величина t opt ( . , • ) = е /()р1 ( , ) называется в этом
случае погрешностью ({Г), {uj). {%))-оптимального решения.
В случае, когда {Г) = {Т: Т = a / f } (а > 0 ~ параметр), зада ча (4) сводится к определению оптимального значения a opt пара метра регуляризации.
За д а ч а II. Дать оценки погрешности оптимальных в смысле
(4)решений задачи (1).
За д а ч а III. Указать возможные эффективные реализации оптимальных приближений (построение квазиоптимальных при ближений ).
2:Пусть {е,-} (/ = 1, 2, ...) - ортонормированная система
собственных элементов оператора А*А , соответствующих собствен
ным значениям X ,: А *А е , = X / е ,• (/' - 1, 2, ...), 0 < X,+ j < X ,•. Согласно теореме Гильберта всякий элемент и Е // можно предста вить в виде
и = и +и", |
А *Аи |
= О, |
|
|
|
|
|
.so |
|
|
|
и '±и\ |
и'*- |
2 |
и, =(м, |
(5) |
|
|
|
/ : 1 |
|
|
|
Заметим, что условие А Аи = 0 эквивалентно условию А и = 0. |
|||||
Полагая |
со,- =Ае,'1 \ А / , замечаем, что |
|
|||
А *A ajj |
= yf \j со,-, |
( со,-, |
со,-)// = 6//. |
|
|
где 6 ij - |
символ Кронекера: |
5 {у = 0, / =£/, |
< 5 = 1. Из предыду |
щего вытекает
Л е м м а 47. Всякий элемент g £ F представим в виде
g=g +g , g Lg ,
A*g’= 0. g"= 2 gfUj, gi = (g, w , ) / . |
( 6 ) |
199
Из (5) и (6) следует |
|
|
|
|||
Л е м м а |
48. |
Если Uj - |
псевдорешение (1), то |
|
||
|
2 |
а |
|
A |
f i |
|
|
|
Ujeit |
щ = — — , |
|
||
|
i = \ |
|
|
|
V X i |
|
fi = (/. cOi)F, |
i = |
1,2,... |
(7) |
|||
Далее |
всюду |
будем |
считать, что класс {Г} = (Г: |
7е, = а,-*/, |
||
л/ > 0}. |
|
Справедливо представление |
|
|||
Л е м м а |
49. |
|
где
// = ( /. <0,)|Г, /,= /} + * /, !/ = U |
, л#«г=0. |
||||||
Заметим, что а,- |
+ X ,• |
> |
> 0 в силу (2). |
|
|||
Рассмотрим |
случай, |
когда |
возмущение £ |
принадлежит классу |
|||
{ £ } А= {?: sup о? < о1 } , где о - некоторая |
заданная положитель- |
||||||
° |
i |
причем |
о2 > sup а?, |
о] = М%2. Таким образом, £ |
|||
ная величина, |
|||||||
может быть обобщенным случайным процессом. |
|||||||
Л е м м а |
50.Для любых ТЕ {Т}, |
£ Е { £ }л |
|||||
4 -(«/,£ )= |
2 |
\ ( * i |
+ V )2 |
|
(9) |
||
|
|
i-l |
|
|
3. Займемся построением оптимальных приближений. Вначале рассмотрим задачу I при фиксированных Uf и £, т.е. построим
Ц Т }, Uf,%)-onniMajibHbie приближения. Минимизируя (9) по а,-, получаем
еор10 /, £) |
S |
о Щ |
( 10) |
||
Х#(а?+/,2) |
|||||
|
|
|
|||
при а/ = a ? pt ='^f0 2!f'j(i |
= 1, 2 , ...) . Следовательно, ({7'},м ^,£ )- |
||||
оптимальное приближение имеет вид |
|
||||
ц.р, = S |
/7 |
\ |
/ / |
( п ) |
|
( — |
/ VT7 |
||||
/ - - 1 |
V а/ |
|
200