Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

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

..pdf
Скачиваний:
8
Добавлен:
12.11.2023
Размер:
11.88 Mб
Скачать

Т е о р е м а

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