CC BY
25
Серия «Математика»
2015. Т. 14. С. 82—99
Онлайн-доступ к журналу: http://isu.ru/izvestia
УДК 517.518.15
О роли метода возмущений и теоремы Банаха — Штейнгауза в вопросах регуляризации уравнений первого рода *
Н. А. Сидоров
Иркутский государственный университет
Д. Н. Сидоров
Институт систем энергетики им. Л. А. Малентьева СО РАН Иркутский государственный университет
И. Р. Муфтахов
Иркутский государственный технический университет
Аннотация. Построены регуляризирующие уравнения с векторным параметром регуляризации для линейных уравнений с замкнутым оператором в банаховых пространствах. Область значений оператора может быть незамкнутой, однородное уравнение может иметь нетривиальное решение. Предполагается, что заданы приближения оператора и правой части. Даны условия, когда вспомогательное регуля-ризирующее уравнение имеет единственное решение. Установлены теоремы сходимости регуляризованное решения к В-нормальному решению точного уравнения и получены оценки погрешности метода как в в детерминированном, так и в стохастическом случаях. Даны рекомендации по выбору стабилизирующего оператора и векторного параметра регуляризации. Предложенная в работе абстрактная схема построения регуляризирующих уравнений применена к проблеме устойчивого дифференцирования.
Ключевые слова: регуляризирующее уравнение, стабилизирующий оператор, в-нормальное решение, теорема Банаха - Штейнгауза, замкнутый оператор, метод возмущений, устойчивое дифференцирование.
Пусть А — замкнутый линейный оператор с плотной в банаховом пространстве X областью определения В (А) и с областью значений
* Работа выполнена при частичной поддержке программы международного научно-технического сотрудничества Китая, грант 2015DFR70850.
Введение
(0.1)
В настоящей статье не предполагается, что N (А) = {0}. Область Я(А) может быть не замкнутой. На практике приходится решать приближенное уравнение
где А и f суть ¿-приближения А и / соответственно, понимаемые в следующем смысле (а > 0) :
Если А — ограниченный оператор, то О = X и можно положить а = 0. Задача построения какого-либо решения уравнения (0.1) в общем случае является неустойчивой и требует регуляризации при практических вычислениях. Как известно, основополагающие результаты в теории регуляризации и методах решения обратных задач были получены в трудах научных школ академика А. Н. Тихонова, член-корреспондента В. К. Иванова и академика М. М. Лаврентьева. В настоящее время соответствующий раздел математики получил большое развитие и позволил решить ряд важных задач, относящихся к наиболее сложным в современной науке и технике [20; 3; 19; 5; 4; 22; 30]. Разработаны различные методы регуляризации, в том числе для уравнений вида (0.1). К числу наиболее эффективных следует отнести метод А. Н. Тихонова введения стабилизирующего функционала, метод квазирешений В. К. Иванова, метод невязки, метод возмущений М. М. Лаврентьева и некоторые другие методы. Важную роль в созданной теории сыграли вариационные подходы, спектральная теория, теория возмущений, методы функционального анализа [21], гл. 3, 5. В этой же плоскости лежит результат академика В.П. Маслова [7] , установившего эквивалентность существования решения некорректной задачи и сходимости регуляри-зационного процесса, результат С. Б. Стечкина относительно приближений неограниченных операторов [18] и некоторые другие результаты известных математиков ([5] и др.). Особо отметим возрастающую роль методов регуляризации в междисциплинарных исследованиях и приложениях, связанных с обработкой сигналов [28], численным дифференцированием [32] и решением обратных задач при моделировании электроэнергетических систем.
В этой статье, использующей методы и терминологию работ [12; 28; 26], изучается регуляризация линейного уравнения (0.2) посредством введения возмущенного уравнения
= f
(0.2)
\\Ах - Ах\\< 6(\\х\\ + а\\Ах\\), Ух е О, ||/ - f \\ < 6. (0.3)
Аха + В (а)ха = ¡.
а
(0.4)
Такой метод регуляризации был предложен М.М. Лаврентьевым для случая, когда A — вполне непрерывный, самосопряженный оператор, а В(а) = а. Как и ранее, стабилизирующий оператор B(а) (кратко, СО) будем выбирать так, чтобы обеспечить единственность решения ха и устойчивость вычислений. Параметр а Е S С Кга, где S — открытое множество, границе которого принадлежит ноль (кратко, S-секторальная окрестность нуля в Rn), lim B(а) = 0, назовем век-
торным параметром регуляризации. Параметр а будем согласовывать с уровнем погрешности 6 входных данных.
Отметим, что в монографиях [12], [29] и в работах [9; 10], рассматривался случай скалярного параметра регуляризации а е К1, а в работах [10; 26] предполагалось, что А — ограниченный оператор. Случай, когда известно математическое ожидание погрешности правой части в работах [9; 10; 12; 29] не рассматривался. Подробно рассматривался только простой случай, когда В (а) = Во+аВ1, а е К+. Отметим, что такой СО с а е К1 нашел применение в ряде исследований [12; 29]. Например, при разработке и обосновании итерационных методов вычисления фред-гольмовых точек Ао, нулей и элементов обобщенных жордановых наборов оператор-функций [6; 11], при построении приближенных методов в теории ветвления решений нелинейных операторных уравнений с параметрами [29; 14; 16; 15], при построении решений дифференциально-операторных уравнений с необратимым операторным коэффициентом в главной части [29]. Предлагаемая в настоящей статье теория построения регуляризованного процесса с использованием стабилизирующего оператора В (а) с векторным параметром а позволяет регуляризиро-вать широкий класс уравнений, расширяя область приложений метода возмущений.
Перечислим результаты нашей статьи: в п. 1 получены достаточные условия (см. основную теорему), когда возмущенное уравнение (0.4) порождает регуляризационный процесс; в п. 2 даны рекомендации по выбору стабилизирующего оператора В (а); в п. 3 регуляризирующее уравнения вида (0.4) применено в разработке алгоритма регуляризованного дифференцирования. Важную роль в обосновании регуляризационных свойств метода возмущений сыграла классическая теорема Банаха -Штейнгауза о точечной сходимости последовательности операторов.
1. Основная теорема о регуляризации методом возмущений
Наряду с уравнениями (0.1), (0.2), (0.4), введем уравнения
(Ax + В(а))х = f, (Ax + В (а))х = f.
(1.1) (1.2)
Ошибки при вычислениях В(а) всегда можно включить в оператор A. Уравнение (1.2) будем называть регуляризованным уравнением (РУ) для задачи (0.2). Далее везде предполагаются выполненными оценки
\\(A + В(а))-1\\< е(\а\), (1.3)
\\B(a)\\<d(\a\), (1.4)
где с(|ск|) — непрерывная функция, а € S С R™, 0 Е S,
lim е(\а\) = ж, lim d(\a\) = 0.
|а|^0 |а|^0
Если x* — решение уравнения (0.1), то получим тождество
(A + В (а))-1 f - x* = (A + В (а))-1 В (a)x*. Поэтому справедлива
Лемма 1. Пусть x* — некоторое решение уравнения (0.1), х(а) удовлетворяет уравнению (0.4). Тогда для того чтобы xa — x* при S э а — 0 необходимо и достаточно, чтобы
S (а, x*) = \\(A + В (а))-1 В (а^*\\ — 0 при S э а — 0. (1.5)
Следуя [12], введем
Определение 1. Условие (1.5) назовем условием стабилизации, оператор В (а), удовлетворяющий (1.5), стабилизирующим оператором, а решение x* — В-нормальным решением уравнения (0.1).
Замечание 1. Очевидно, что в силу единственности предела последовательности {xa} в нормированных пространствах у уравнения (0.1) может быть только одно В-нормальное решение.
Из оценок (1.3)-(1.4), вытекает
Лемма 2. Пусть xa и xa — решения соответственно уравнений (0.4) и (1.1). Если параметр а = а(6) £ S выбран так, что при ö — 0
аО*)—0 и 6е(\а(0)\) — 0, (1.6)
то lim \ \xa - xa\ \ = 0.
Определение 2. Условие (1.6) назовем условием согласования векторного параметра а с уровнем погрешности исходных данных ö.
Далее условие согласования предполагается выполненным и для краткости факт зависимости а от ö в обозначениях опускается.
Лемма 3. Пусть выполнены оценки (1.3)-(1.4) и условие согласования (1.6) параметра регуляризации. Фиксируем д е (0,1) и найдем 6 > 0 такое, чтобы при 6 < 60 выполнялось неравенство
6(а + (1 + ас1(\а\))с(\а\)) < д. (1.7)
Тогда оператор А + В (а) непрерывно обратим и выполнены оценки
на+вдгч, <м±^)£1 (1.8)
1-д
\\(А + В(а))-1/\\< (1.9)
<\\(А + В(а))-1П\ + 6^ (ат + (1 + а(1(\а\)тА + В(а))-1П\).
Доказательство. На основании оценки (0.3) для У/ имеем
\\(А - А)(А + В (а))-1/\\< < 6 (\\(А + В (а))-1/\\ + а\\(А + В (а) - В (а))(А + В (а))-1/\\) < < 6 (а\\/\\ + (1 + а\\В (а)\\)\\(А + В (а))-1 / \) < < 6 (а\\/\\ + (1 + ас(\а\))\\(А + В (а))-1/\\) . (1.10)
Поэтому, с учетом оценок (1.3), (1.4), (1.7), имеем неравенство
\\(А - А)(А + В (а))-1/\\ < 6(а + (1 + а\\В (а)\\)с(\а\)) < (1.11)
< 6(а + (1 + аё(\а\))с(\а\)) < д\\/\\. Если теперь учесть, что д < 1,
А + В (а) = (1 + (А - А)(А + В(а))-1)(А + В (а)),
то существование обратного оператора (А + В(а))-1, а также оценка (1.8) его нормы следуют из известной теоремы об обратном операторе. Далее воспользовавшись операторным тождеством
С-1 = Б-1 - Б-1(1 + (С - В)Б-1)-1(С - В)Б-1
при С = (А + В (а)), Б = А + В (а) и неравенствами (1.10), (1.11), придем к оценке (1.9). □
Теорема 1 (Основная теорема). Пусть согласно лемме 3 выполнены условия согласования параметра а с величиной 6 — уровнем погрешности задания входных данных. Тогда регуляризованное уравнение
(1.2) имеет единственное решение ха. Если при этом x* — решение точного уравнения (0.1), то справедлива оценка
\\ха - ж*|| < S(a,x*) + ММ Л + о||/|| + ||ж*|| + ас(|а|)||ж*|| +
1 - q \
+(1 + ad(\a\))S(а,х*^ . (1.12)
Если кроме того элемент х* — суть B-нормальное решение уравнения (0.1), то последовательность {Ха} при а — 0 сходится к х* со скоростью, определяемой оценкой (1.12).
Доказательство. Существование и единственность последовательности {Ха}, как решения регуляризованного уравнения (1.2) при а Е S, установлено в лемме 3. Так как
(A + B(а))(Ха - х*) = f - f - (Ä - A)x* - B(а)х*,
то на основании доказанных оценок (1.8), (1.9) и оценки (1.4), получим искомое неравенство (1.12):
\\Sta-х*\\<\\(А+В (d))-1\\(\\f-f\\ + \\(А-А)х*\\ + \\(А+В(а))-1 B (а)х*\\)
Г
< ———с(|а|)(1 + ||ж*|| +а||ж*||) + S(a,x*) + 1 - q
Г
+--с(|а|)(а||5(а)ж*|| + (1+ а||5(а)||))5(а,ж*) <
1 - q
< + ^1+а||/|| + ||ж*||+а^(|о;|)||ж*|| + (1+а^(|о;|))5(о;, ж*)^ .
Так как х* — суть B-нормальное решение, то lim S(а, х*) = 0. При этом
lim Гс(\а\) =0 в силу условия согласования параметра регуляризации а 5^0
с уровнем погрешности Г. Следовательно, в силу оценки (1.12) lim \ \ха -ж* 11 =0. Теорема доказана. □
Усиление теоремы 1
Пусть L - линейный оператор и вместо условия стабилизации (1.5) выполнено условие
lim\\ (Ä + B(а))-1 (B(а)х* -\\B(а)\\ Lf)\\ = 0.
Тогда аналогичную теорему можно доказать для единственного решения ха более широкого класса РУ вида
(Ä + B (а))ха = f + \ \ B (а) \ \ Lf. (1.13)
1.1. вероятностные оценки нормы погрешности вычислений
Пусть в условиях теоремы 1 известно математическое ожидание погрешности задания правой части уравнения (0.1), определяемой экспериментально. Тогда можно оценить математическое ожидание точности регуляризирующего алгоритма (А + B(а))-1 f. Для простоты рассуждений, предположим, что A - ограниченный оператор, ||А — AL|| < 5. Т.к.
Ха — x* = (Ä + B (а))-1 (f — f — (Ä — A)x* — B (a)x*),
то в силу оценки (1.9), в которой в силу ограниченности оператора A надо положить a = 0, имеем неравенство
Здесь [•••] := Af — AAx* — B(а)х*, 5с(а) < q < 1, lim 5е(\а1) ^ 0.
В этих оценках все величины, кроме ||Af || (погрешности задания правой части в уравнении (0.1)), являются детерминированными. Поэтому, учитывая свойство линейности математического ожидания, получим при У5 <Е [0,50], где 50с(|а|) < q < 1, а = а(50), lim 50(|а(50)|) = 0, неравенство
М(\\ха-х*\\) < +S(a,x*) + (\а\) M(\\Af\\)}. (1.14)
Квазиоптимальное а можно определить из условия минимума правой части этой оценки. Используя неравенство Маркова P (||x0 — x*|| > е) < —ш—;-—, получим оценку сверху вероятности погрешности
V(\\xa -x*\\>e)<-£{q\\x*\\+ S(a,x*) + c(\a\)M(\\Af\\)} при Уе > 0.
Чтобы приведенная оценка вероятности P (Hxa — x*|| > е) была информативной, параметр регуляризации а следует согласовывать с величинами AA, M(HAf ||) и е.
Отметим, что для практических приложений доказанной теоремы надо иметь рекомендации по выбору стабилизирующего оператора B(а). Полезно знать необходимые и достаточные условия существования B-нормального решения x* точного уравнения (0.1). Эти вопросы рассмотрим ниже в п. 2.
2. Выбор стабилизирующего оператора В (а), необходимые и достаточные условия существования В-нормального решения и классы корректности задачи (0.1)
Если А — фредгольмов оператор, {фг}П — базис в N (А), {фг}П — базис в N*(А), то, как известно, (см., например, п.22 в [21]), мож-
п
но положить В (а) = ^{',7г )гг, где }, {гг} выбираются так, чтобы
г=1
{1 % = к
При этом уравнение
и, % = к.
Ах = / — ^{/фг(2.1)
г=1
будет разрешимо для любых /.
Пусть А и / — суть ¿-приближения А и /, удовлетворяющие оценкам (0.3). Тогда возмущенное уравнение
пп
Ах + ^{х, Ъ)гг = / , Фг)гг
г=1 г=1
имеет единственное решение х. При этом | | х — х* | | ^ 0 при 5 ^ 0, где х* — единственное решение точного уравнения (2.1), удовлетворяющее условиям (ж*,7г) =0, г = 1,п.
Таким образом, в случае фредгольмова оператора А в качестве стабилизирующего оператора можно брать независящий от параметра а
п
конечномерный оператор В = ^)гг (см. [21], п. 22). Именно та-
1
кой способ регуляризации итерационных методов использовался нами в работах [16; 15], [29; 28] при исследовании бифуркации решений нелинейных уравнений 2го рода с параметрами. Конечно при таком выборе СО В требуется иметь информацию о ядре оператора А и его дефектном подпространстве. Поэтому представляет интерес дать рекомендации по выбору СО В (а) без использования такой информации. В случае бифуркации решений некоторые результаты в этом направлении для уравнений 2го рода см. [12; 29].
Важно изучить вопрос и в более сложной проблеме решения уравнений первого рода, когда область значений оператора А незамкнута. Отметим, что в работах [10; 9] и монографиях [12; 29] СО строился для уравнений первого рода в виде Во + аВ1, где а € М+. Ниже мы приведем обобщение этих результатов на случай, когда В = В(а), где а € Б С Кп. Из ниже доказанных теорем 2 -4 как частный случай будет вытекать ряд результатов работ [9; 10; 12; 26].
п
Теорема 2. Пусть при а £ S С Rn справедливы оценки
\\(Л + В(а))-1\\< е(\а\), \\B(а)\\< d(\a\), c(|а|), d(\a\) — непрерывные функции, lim е(\а\) = ж, lim d(\a\) = 0.
|a|—0 |a|—0
Пусть lim c(\a\)d(\a\) < оо, М{А) = {0}, R(A) = У. Тогда един-
|а|—>0
ственное решение x* уравнения (0.1) будет В-нормальным решением, а оператор В (а) — его стабилизирующим оператором.
Доказательство. Пусть сначала В(а)х* £ R(A) при а £ S. Тогда существует элемент xi(a) такой, что Axi(a) = В(а)х* и получим тождество
(Л + В (а))-1 В (а)х* = (Л + В (а))-1 (Axi(a) +В (a)xi (а) - В (a)xi (а)) =
= x^а) - (Л + В (а)—В (а^^а). Т.к. В(0) = 0, N(A) = {0}, то lim x-]^^) = 0. Отметим, что по
ЯЭа—0
условию \\(Л + В (а))- В (а)\\ < е(\а\)d(\а\), где е(\а\)d(\а\) — непрерывная функция, для которой предел lim е(\а\^(\а\) конечен. Поэтому а-
|а|—0
последовательность {\\(Л + В(а))^В(а^* \\} бесконечно малая при S э а — 0. При этом последовательность операторов {(Л + В (а))^ В (а)} поточечно сходится к нулевому оператору на линейном многообразии L0 = {x \ В (а)x £ R(Ä)}.
Таким образом, доказано, что теорема справедлива в случае, когда В (а)x* £ R^). Т.к. по условию sup е(\а\^(\а\) < ж, то а-последова-
aeS
тельность {\\(Л + В(а))-А^В(а)\\} норм линейных операторов является ограниченной. По доказанному последовательность линейных операторов {(Л + В(а))-А^ В (а)} в пространстве X точеч но сходится к нулевому оператору на линейном многообразии L0 = {x|В(а)x £ R^)}. Но тогда на основании теоремы Банаха-Штейнгауза (см. [21], с. 123) имеем точечную сходимость этой последовательности операторов к нулевому оператору и на замыкании Lo, т.е., когда В(а)х* £ R(A). Т.к. R(A) = У и В(а) £ L(X — Y), то B(а)x* £ Y, теорема 2 доказана.
□
Замечание 2. Множество L = {х\В(а)х £ -R(A)} в условиях теоремы 2 определяет максимальный класс корректности.
Ограничения, наложенные в условиях теоремы 2, можно ослабить. Дейставительно, в теореме 2 используется предположение конечности предела
s lim 0\\(Л + В (а))-\\\\В (а)\\.
S Эа—0
Это ограничение не используется в теоремах 3 и 4.
Теорема 3. Пусть B(а) = аB, ||(A + аB)-11| < с(а), где с(а) : (О, «о] —> R+ — непрерывная функция. Пусть найдется натуральное п > 1, такое, что lim с(а)аг = оо, i = 0, п — 1, lim с(а)ап < оо.
Пусть x0 удовлетворяет уравнению (0.1), а в случае n > 2 пусть существуют элементы x1, ••• ,xn-1, удовлетворяющие последовательности уравнений
Axi = Bxi-1, i = 1,^ • • ,n — 1. (2.2)
Тогда x0 — суть B-нормальное решение уравнения (0.1) тогда и только тогда, когда Bxn-1 £ R(A).
Доказательство. В силу (2.2) имеем тождество
(A + aB )-1аBx0 = а(A + aB )-1(Ax1 + аBx1 — аBx1) =
= ax1 — а2(A + aB )-lBx1 = • • • = ax1 — a2x2 + • • • —
—(—1)n ап (A + olB )-1Bxn-1,
в котором очевидно при а ^ 0 справа первые n — 2 слагаемых бесконечно малые. Используя теорему Банаха-Штейнгауза, убедимся, что и последовательность {an||(A + aB)-1 Bx,^^} бесконечно малая. Действительно, если Bxn-1 £ R(A), то существует xn для которого Axn = Bxn-1. Но тогда
an(A + aB )-1Bxn-1 = an (A + aB )-1(A + aB — aB )xn =
= an xn — an+1 (A + aB )1Bxn, где a^HA + aB)1Bx,H < an+1 c(a)HBxn||, lim an+1c(a) = 0. Следовательно, последовательность {||an(A + aB)1Bxn-1H} бесконечно малая, а последовательность линейных операторов {an(A + aB)1B} точечно сходится к нулевому оператору на линейном многообразии L = {.х\Вх £ R(A)}. При этом последовательность норм {\\ап(А +аВ)1В\\} ограниченная. Так как I = {x | Bx £ R(A)}, то остается завершить доказательство ссылкой на теорему Банаха - Штейнгауза. □
Если параметр а в операторе B(а) — векторный, то справедлива
Теорема 4. Пусть выполнены оценки (1.3)-(1.4) и найдется натуральное n > 1, такое, что lim cdaDddaD' = m,i = 0,1,...,n — 1,
lim cdaDddaD11' < ж. Пусть в случае n > 2 разрешимы уравнения
B(a)Ax' = B(a)xi+1, i = 1,...,n — 1,
гдехо - решение точного уравнения (0.1). Тогда суть В-нормальное решение уравнения (0.1) тогда и только тогда, когда B(a)xn-1 £ R(A).
Доказательство теоремы 4 с небольшими изменениями повторяет доказательство теоремы 3.
В п. 3 метод возмущений проиллюстрируем на примере обоснования одного регуляризованного алгоритма операции дифференцирования.
3. О регуляризации операции дифференцирования
Пусть функция y : I С R ^ R непрерывна и дифференцируема на интервале I, a на интервале (a,b) С I производная y'{t) непрерывна. Тогда y(t) — y(+a) — y'(+a)(t — a) = o(t — a) при t ^ +a. Пусть задана ограниченная функция y : [a,b] ^ R и числа c, d такие, что
sup \f(t) — f(t)\ = O(S),
a<t<b
где f (t) = y(t) — y(+a) — y'(+a)(t — a), f = y(t) — c — d(t — a). В приложениях обычно известны значения y(ti) при ti = ih G [a, b] такие, что \y(ti) — y (ti) | = O(ô). Требуется по этой информации найти с е-точностью значения y'i(ti). С этой целью введем уравнения (а > 0):
f x(s) ds = f (t), (3.1)
J a
f X(s) ds = f(t), (3.2)
a
Xa(s) ds + aXa(t) = f (t), (3.3)
/ Xa(s) ds + axa(t) = f (t). (3.4)
J a
Таким образом, в соответствии с использованными ранее обозначениями имеем A := Ц[•] ds, R(A) = {f (t) e C{£T], f (0) = o} ,
--о
R(A) = C[o,t], B(a) := al, X = Y = С^д. Обратный оператор (A + al)~l £ £(£[а,ь] ~~^ С[а,ь]) строится в явном виде (А + al)~l = ^ — a7 fae ~['}ds. По построению f(t) £ R(A) и точное уравнение (3.2) имеет единственное решение x*(t) = A-1f = y'(t) — y'(+a). Заметим, что
\U + aI)-'\\c{C[ah^C[ah]) < I (l + i max ^ e"^ da) =
1, a-b 2
= -(2 - e < -. aa
t
t
Поэтому условия согласования параметра регуляризации а с 5 выполнятся, если, например, положить а = у/5. Т.к. \\Б(а)|| = а, с(а) = М{А) = {0}, то на основании теоремы 2 непрерывная функция х*{Ь) = — у'(+а) — суть Б-нормальное решение тогда и только тогда, когда ж*(£) € К(А). В рассматриваемом случае К(А) = {/(£) € С[а\], /(а) = 0}- Учитывая, что линейное множество функций Ьо = {/(Ь) е С^щ, /(+а) = 0} плотно в множестве
Ь-1 = {/(Ь) е Са,ь], /(+а) = 0},х*(+а) = 0,
получим требуемое включение х*(Ь) е К(А)- Таким образом, на основании основной теоремы и теоремы 2 формула
xa(t) = V® - с - - а)
а
а2 ,
^ a
ft
е a (y(s) — с — d(s — a)) ds (3.5)
a
определяет регуляризирующий алгоритм вычисления производной y'(t). Точнее, для Уе > 0 З50 = 50(е) > 0 такое, что если
sup \y(t) - c - d(t - a) - (y(t) - y(+a) - y'(+a)(t - a))\< S, 5 < 5о(е),
a<t<b
то max |xa(t) — (y'(t) — y'(+a))\ < е. Если положить a = VS, то
a<t<b
lim max \xa{t) — (y'(t) — y'(+a))\ = 0.
¿^0 a<t<b
Таким образом, последовательность {xa} при 6 —У 0 равномерно сходится к y1 (t) — y'(+a). Используя формулу (3.5) можно строить 'равномерно регуляризирующий по t алгоритм вычисления производной y'(t) при t е [a,b].
В Таб. 1 и 2 приведены максимальные ошибки метода возмущений на основе (3.5) применительно к задаче устойчивого дифференцирования функции y(t) = sin t и функции y(t) = t2, полученные при разном уровне шума 6 при разном выборе параметра регуляризации а.
Приведенные расчеты продемонстрировали равномерность по t регуляризации предложенного метода.
1
Заключение
Изложенная в п.п. 1, 2 методика регуляризации, основанная на классическом методе возмущений, допускает ряд обобщений. Вместо РУ
6 а е а е
1е- -002 1е-001 11970е- -004 1е-002 73110е- -005
1е- -003 1е-001 10951е- -005 1е-002 80100е- -006
1е- -004 1е-001 ЮОЮе- -005 1е-002 17000е- 006
Рис. 1. Таблица ошибок для / (Ь) = вт Ь.
6 а е а е
1е- -002 1е-001 29701е- -005 1е-002 73610е- -005
1е- -003 1е-001 20900е- -005 1е-002 91001е- -006
1е- -004 1е-001 20001е- -005 1е-002 27000е- 006
Рис. 2. Таблица ошибок для у(Ь) = Ь2.
(А + В(а))х = / можно использовать более общее РУ (1.9), где Ь — определенный линейный оператор. В частности, в задаче численного дифференцирования, при условии /(0) = 0 можно в уравнении (1.9) положить Ь/ = /'(0), т. е. и вместо уравнения (3.4) решать уравнение /о ха(з) йз + аха(1) = / ({) + а/'(0). На практике, при решении РУ требуется обосновывать сходимость конкретных приближенных схем. Хорошо развитая в настоящее время общая теория абстрактных приближенных схем в банаховых пространствах (см. [1; 8], гл. 7 в [21] и приложения этой теории [23]) наметила единый подход к обоснованию сходимости разностных и проекционных методов решения регуляри-зованного операторного уравнения (1.2) при согласовании параметра регуляризации а. Тем не менее задача получения проверяемых достаточных условий сходимости приближенных схем в конкретных задачах требует учета специфики решаемой проблемы.
Список литературы
1. Говурин М. К. Лекции по методам вычислений / М. К. Говурин. - М. : Наука, 1971.
2. Гуковский С. А. Регуляризация построения неособого решения линейного уравнения первого рода с вырождением / С. А. Гуковский // Изв. вузов. Математика. - 1980. - № 1. - С. 71-74.
3. Иванов В. К. Теория линейных некорректных задач и ее приложения / В. К. Иванов, В. В. Васин, В. П. Танана. - М. : Наука, 1978.
4. Лаврентьев М. М. О некоторых некорректных задачах математической физики / М. М. Лаврентьев. - Новосибирск : Наука, 1962. - 125 с.
5. Латтес Р. Метод квазиобращения и его приложения / Р. Латтес, Ж. Д. Лионс. - М. : Мир, 1970.
6. Логинов Б. В. Вычисление собственных чисел и векторов ограниченных операторов методом ложных возмущений / Б. В. Логинов, Н. А. Сидоров // Мат. заметки. - 1976. - Т. 19, № 1. - С. 105-108.
7. Маслов В. П. Существование решения некорректной задачи эквивалентно сходимости регуляризованного процесса / В. П. Маслов // Успехи мат. наук. -1968. - Т. 141, вып. 23(3). - С. 183-184.
8. Самарский А.А. Введение в теорию разностных схем / А. А. Самарский. - М. : Наука, 1971.
9. Сидоров Н. А. Регуляризация линейных уравнений на основе теории возмущений / Н. А. Сидоров, В. А. Треногин // Дифференц. уравнения. - 1980. -Т. 16, № 11. - С. 2038-2049.
10. Сидоров Н. А. Об одном подходе к проблеме регуляризации на основе возмущения линейных операторов / Н. А. Сидоров, В. А. Треногин // Мат. заметки.
- 1976. - Т. 40, № 5. - С. 747-752.
11. Сидоров Н. А. Вычисление собственных чисел и векторов линейных операторов на основе теории возмущений / Н. А. Сидоров // Дифференц. уравнения.
- 1978. - Т. 14, № 8. - С. 1522-1525.
12. Сидоров Н. А. Общие вопросы регуляризации в задачах теории ветвления / Н. А. Сидоров. - Иркутск : Изд-во ИГУ, 1982. - 312 с.
13. Сидоров Н. А. О малых решениях нелинейных уравнений с векторным паре-метром в секториальных окрестностях / Н. А. Сидоров, Р. Ю. Леонтьев, А. И. Дрегля // Мат. заметки. - 2012. - Т. 91, вып. 1. - С. 120-135.
14. Сидоров Н. А. Явная и неявная параметризация при построении разветвляющихся решений итерационными методами / Н. А. Сидоров // Мат. сб. - 1995.
- Т. 186, № 6. - С. 129-144.
15. Сидоров Н. А. О решении интегрального уравнения Гаммерштейна в нерегулярном случае методом последовательных приближений / Н. А. Сидоров, Д. Н. Сидоров // Сиб. мат. журн. - 2010. - Т. 51, № 2. - C. 404-409.
16. Сидоров Н. А. О решении операторно-интегральных уравнений Вольтерры в нерегулярном случае методом последовательных приближений / Н. A. Сидоров, Д. Н. Сидоров, А. В. Красник // Дифференц. уравнения. - 2010. - Т. 46, № 6. - C.874-882.
17. Сидоров Д. Н. Численное решение интегральных уравнений Вольтерра первого рода с кусочно-непрерывными ядрами / Д. Н. Сидоров, А. Н. Тында, И. Р. Муфтахов // Вестн. ЮУрГУ. Сер. Мат. моделирование и программирование.
- 2014. - Т. 7, № 3. - С. 107—115.
18. Стечкин С. Б. Наилучшее приближение линейных операторов / С. Б. Стечкин // Мат. заметки. - 1967. - Т. 1, № 2. - С. 137-148.
19. Тихонов А. Н. Методы решения некорректных задач / А. Н. Тихонов, В. Я. Арсенин. - М. : Наука, 1974.
20. Тихонов А.Н. Некорректно поставленные задачи / А. Н. Тихонов, В. К. Иванов, М. М. Лаврентьев // Дифференциальные уравнения с частными производными. - М. : Наука, 1970. - С. 224-239.
21. Треногин В. А. Функциональный анализ // В. А. Треногин. - М. : Наука, 1980.
- 496 с.
22. Обратные задачи и методы их решения. Приложения к геофизике / А. Г. Ягола, В. Янфей, И. Э. Степанова, В. Н. Титоркин. - М. : Бином, 2014. - 216 с. - (Математическое моделирование).
23. Regularization by Discretization in Banach Spaces / U. Hamarik, B. Kaltenbacher, U. Kangro, E. Resmerita // ArXiv, Numerical Analysis, arXiv:1506.05425. - 2015.
- P. 1-36.
24. Hao N. D. Heuristic regularization methods for numerical differentiation / N. D. Hao, L. H. Chuonga, D. Lesnic // Computers and Mathematics with Applications.
- 2012. - Vol. 63. - P. 816-826.
25. Marchuk G. I. Perturbation theory and the statement of inverse problems / G. I. Marchuk // Lecture Notes in Computer Science. Vol. 4. 5th Conf. on Optimization Tech., 1973. - P. 159-166.
26. Muftahov I. R. On perturbation method for the first kind equations: regularization and applications / I. R. Muftahov, D. N. Sidorov, N. A. Sidorov // Bul. of the South Ural State University. Ser. "Math. Model., Programming and Comp. Software". -2015. Vol. 8, N 2. - P. 69-80.
27. Ramm A.G. On Stable Numerical Differentiation / A. G. Ramm, A. B. Smirnova // Mathematics of Computation. — 2001. — Vol. 70, N. 235. — P. 1131-1153.
28. Sidorov D. Integral Dynamical Integral Dynamical Models: Singularities, Signals and Control / D. Sidorov; Ed. by L. O. Chua. —Singapore, London: World Scientific Publ., 2014. — Vol. 87 of World Scientific Series on Nonlinear Science, Series A.
- 243 p.
29. Lyapunov-Schmidt Methods in Nonlinear Analysis and Applications / N. Sidorov, B. Loginov, A. Sinitsyn, M. Falaleev. - Dortrecht : Kluwer Academic Publ., 2002.
- 548 p.
30. Sizikov V. S. Further Development of the New Version of a Posteriori Choosing Regularization Parameter in Ill-Posed Problems. / V. S. Sizikov // Intl. J. of Artificial Intelligence. - 2015. - Vol. 13, N 1. - P. 184-199.
31. Trenogin V. А. Regularization of computation of branching solution of nonlinear equations / V. A. Trenogin, N. A. Sidorov // Lecture Notes in Mathematics. -1977. - Vol. 594. - P. 491-506.
32. Numerical differentiation based algorithm for power measurement /J. K. Wu, J. Long, F. He, Q. L. He // 5th Intl IEEE Conf. in Power Electronics and Drive Systems, 2003. - Vol. 1. - P. 302-307.
Сидоров Николай Александрович, доктор физико-математических наук, профессор, Институт математики, экономики и информатики, Иркутский государственный университет, 664003, г. Иркутск, ул. К. Маркса, 1, тел.: (3952)242210 (e-mail: [email protected])
Сидоров Денис Николаевич, доктор физико-математических наук, доцент, старший научный сотрудник, Институт систем энергетики им. Л. А. Мелентьева СО РАН, 664033, г. Иркутск, ул. Лермонтова, 130; Институт математики, экономики и информатики, Иркутский государственный университет, 664003, г. Иркутск, ул. К. Маркса, 1; Иркутский национальный исследовательский технический университет, 664033, Иркутск, ул. Лермонтова, 130, тел.: (3952)421342, (e-mail: [email protected])
Муфтахов Ильдар Ринатович, аспирант, Иркутский национальный исследовательский технический университет, 664033, Иркутск, ул. Лермонтова, 83, (e-mail: [email protected])
N. A. Sidorov, D. N. Sidorov, I. R. Muftahov Perturbation Theory and the Banach — Steinhaus Theorem for Regularization of the Linear Equations of the First Kind
Abstract.
The regularizing equations with a vector parameter of regularization are constructed for the linear equations with closed operator acting in Banach spaces. Range of the operator can be an open, and the homogeneous equation may have a non-trivial solution. It is assumed that only approximations of operator and source are known. The conditions of solution uniqueness for the auxiliary regularized equation are derived. The convergence of regularized solution to B-normal solution of the exact equation is proved. The bounds estimates are derived for both deterministic and stochastic cases. The choice of the stabilizing operator and vector regularization parameter are provided. The method is applied to the problem of stable differentiation.
Keywords: Regularizing Equation, ¿-approximation, Banach-Steinhaus Theorem, Perturbation Theory, Inverse Problems, Regularization, Expectation, Perturbation Theory, Stable Differentiation.
References
1. Govurin M.K. Lectures on Computational Methods. Moscow, Nauka Publ., 1971.
2. Gukovskii S. A. Regularization of the Construction of a Nonsingular Solution of a Linear Equations of the First Kind with Degeneracy. (in Russian) Izv. Vyssh. Uchebn. Zaved. Mat., 1980, no 1, pp. 71-74.
3. Ivanov V.K., Vasin V.V., Tanana V.P. The Theory of Linear Ill-posed Problems and their Applications (in Russian). Moscow, Nauka, 1978.
4. Lavrentiev M.M. Some Improperly Posed Problems in Mathematical Physics. Springer, Berlin, 1967.
5. Lattes R., Lions J.-L. The method of quasi-inversibility: application to partial differential equations. NY, American Elsevier, 1969.
6. Loginov B.V., Sidorov N.A. Calculation of Eigenvalues and Eigenvectors of Bounded Operators by the False-Perturbation Method. Mathematical notes of the Academy of Sciences of the US'SR, 1976, vol. 19, issue 1, p. 62-64.
7. Maslov V.P. The Existence of a Solution of an Ill-Posed Problem is Equivalent to the Convergence of a Regularization Process. (in Russian) Uspekhi Mat. Nauk, 1968, vol. 23, no 3 (141), pp. 183-184.
8. Samarskii A.A. Introduction to Finite Difference Schemes. Moscow, Nauka Publ., 1971.
9. Sidorov N.A., Trenogin V.A. Linear Equations Regularization using the Perturbation Theory. Diff. Eqs., 1980, vol. 16, no 11, pp. 2038-2049.
10. Sidorov N.A., Trenogin V.A. A Certain Approach the Problem of Regularization of the Basis of the Perturbation of Linear Operators. Mathematical notes of the Academy of Sciences of the USSR, 1976, vol. 20, no 5, p. 976-979.
11. Sidorov N.A. Calculation of Eigenvalues and Eigenvectors of Linear Operators by the Theory of Perturbations (in Russian). Differential Equations, 1978, vol. 14, no 8, p. 1522-1525.
12. Sidorov N. A. General Issues of Regularisation in the Problems of the Theory of Branching. Irkutsk, Irkutsk State University Publ., 1982. 312 p.
98
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Sidorov N.A., Leont'ev R.Yu., Dreglya A.I. On Small Solutions of Nonlinear Equations with Vector Parameter in Sectorial Neighborhood. Mathematical Notes, feb. 2012, vol. 91, no 1-2, pp. 90-104.
Sidorov N.A. Explicit and Implicit Parametrisation of the Construction of Branching Solutions by Iterative Methods. Sbornik: Mathematics. 1995, vol. 186, no. 2, pp. 297-310.
Sidorov N.A., Sidorov D.N. Solving the Hammerstein Integral Equation in Irregular Case by Successive Approximations. Siberian Mathematical Journal, March 2010, vol. 51, no 2, pp. 325-329.
Sidorov N. A., Sidorov D. N., Krasnik A.V. On Solution of the Volterra OperatorIntegral Equations in Irregular Case using Successive Approximations. Differential Equations, 2010, vol. 46, no 6, pp.874-882.
Sidorov D.N., Tynda A. N., Muftahov I.R. Numerical Solution of Volterra Integral Equations of the First Kind with Piecewise Continuous Kernel. Bul. of the South Ural State University. Ser. "Math. Model., Programming and Comp. Software",
2014, vol. 7, no 3, pp. 107-115.
Stechkin S.B. The Best Approximation of Linear Operators. Mat. Notes. 1967, vol. 1, no 2, pp. 137-148.
Tikhonov A.N. Solution of Ill-Posed Problems. Winston. New York, 1977.
Tikhonov A.N., Ivanov V.K., Lavrent'ev. Ill-posed Problems. In the book Partial
Differential Eqs, Moscow, Nauka, 1970, pp. 224-239.
Trenogin V.A. Functional analysis. Moscow, Nauka, 1980. 496 p.
Yagola A.G. Inverse Problems and Methods of Their Solution. Applications to
Geophysics. (in Russian) Binom Publ. Ser. Mathematical Modelling, 2014. 216 p.
Hamarik U., Kaltenbacher B., Kangro U., Resmerita E. Regularization by
Discretization in Banach Spaces. ArXiv, Numerical Analysis, arXiv:1506.05425,
2015, pp. 1-36.
Hao N. D., Chuonga L.N., Lesnic D. Heuristic regularization methods for numerical differentiation. Computers and Mathematics with Applications, 2012, vol. 63, pp. 816-826.
Marchuk G.I. Perturbation theory and the statement of inverse problems. Lecture Notes in Computer Science. Vol. 4: 5th Conf. on Optimization Tech., 1973, pp. 159-166.
Muftahov I.R., Sidorov D.N., Sidorov N.A. On perturbation method for the first kind equations: regularization and applications. Bul. of the South Ural State University. Ser. "Math. Model., Programming and Comp. Software", 2015, vol. 8, no 2, pp. 69-80.
Ramm A. G., Smirnova A. B. On Stable Numerical Differentiation. Mathematics of Computation, 2001, vol. 70, no. 235, pp. 1131-1153.
Sidorov D. Integral Dynamical Integral Dynamical Models: Singularities, Signals and Control; Ed. by L. O. Chua, Singapore. London, World Scientific Publ., 2014, vol. 87 of World Scientific Series on Nonlinear Science, Series A, 243 p. Sidorov N., Loginov B., Sinitsyn A., Falaleev M. Lyapunov-Schmidt Methods in Nonlinear Analysis and Applications. Dortrecht, Kluwer Academic Publ., 2002. 548 p.
Sizikov V.S. Further Development of the New Version of a Posteriori Choosing Regularization Parameter in Ill-Posed Problems. Intl. J. of Artificial Intelligence, 2015, vol. 13, no 1, pp. 184-199.
Trenogin VA., Sidorov N.A. Regularization of computation of branching solution of nonlinear equations. Lecture Notes in Mathematics, 1977, vol. 594, pp. 491-506.
32. Wu J. K., Long J., He F., He Q. L. Numerical differentiation based algorithm for power measurement. 5th Intl IEEE Conf. in Power Electronics and Drive Systems, 2003, vol. 1, pp. 302-307.
Sidorov Nikolai Alexandrovich, Doctor of Sciences (Physics and Mathematics), Professor, Irkutsk State University, 1, K. Marx st., Irkutsk, 664003, tel.: (3952)242210 (e-mail: [email protected])
Sidorov Denis Nikolaevich, Doctor of Sciences (Physics and Mathematics), Senior Research Fellow, Melentiev Energy Systems Institute of Siberian Branch of the Russian Academy of Science (ESI SB RAS), 130, Lermontov st., Irkutsk, 664033; Irkutsk State University, 1, K. Marx st., Irkutsk, 664003; National Research Irkutsk State Technical University, 80, Lermontov st., Irkutsk, 664033 (e-mail: [email protected])
Muftahov Ildar Rinatovich, Postgraduate, National Research Irkutsk State Technical University, 80, Lermontov st., Irkutsk, 664033 (e-mail: [email protected])
