CC BY
44
Серия «Математика»
2016. Т. 15. С. 62—77
Онлайн-доступ к журналу: http://isu.ru/izvestia
УДК 517.518.15 ЫБС 45Б05
О регуляризации по Лаврентьеву интегральных уравнений первого рода в пространстве
И. Р. Муфтахов
Иркутский национальный исследовательский технический университет Д. Н. Сидоров
Институт систем энергетики им. Л. А. Мелентьева СО РАН Иркутский государственный университет
Иркутский национальный исследовательский технический университет
Н. А. Сидоров
Иркутский государственный университет
Аннотация. Рассматривается метод регуляризации линейных интегральных уравнений Вольтерра первого рода. В основе метода лежит теория возмущений. При получении оценок приближенных решений и нормы регуляризирующего оператора используются теорема Банаха - Штейнгауза, понятие стабилизирующего оператора, а также предложенная в монографии Н. А. Сидорова (1982, МИ87а:58036) абстрактная схема построения регуляризирующих уравнений. Усилен результат А. М. Денисова (1974, МИ337040) о регуляризации уравнения Вольтерра, сняты такие ограничения, как предположение точного задания ядра, существование вторых производных ядра по 1 и свободной функции. Тестирование соответствующего приближенного метода проведено на примере численного решения интегральных уравнений при различных уровнях аддитивного шума в свободной функции и ядре уравнения. Рассмотрен класс линейных уравнений Вольтерра первого рода, когда ядро допускает разрывы первого рода на определенных кривых. Этот класс уравнений был введен в работе Д. Н. Сидорова (2013, МИ3187864). При построении численного решения таких уравнений решение можно искать в виде кусочно-постоянной и кусочно-линейной функции, используя квадратурные формулы средних прямоугольников и Гаусса. Проведенные расчеты демонстрируют эффективность применения регуляризации Лаврентьева при численном решении линейных интегральных уравнений Вольтерра первого рода с разрывными ядрами.
непрерывных функций ^
^ Работа выполнена при частичной поддержке программы международного научно-технического сотрудничества Китая и России, грант 2015DFR70850.
Ключевые слова: линейное интегральное уравнение, регуляризирующее уравнение, стабилизирующий оператор, уравнение Вольтерра первого рода, регуляризация Лаврентьева, метод возмущений, разрывное ядро, квадратурные формулы, теорема Банаха - Штейнгауза.
Введение
Введем интегральный оператор Kx := K(t,s)x(s) ds. Будем ис-
J о
пользовать стандартные обозначения и условия:
A) ядро K(t, s) определено, непрерывно и дифференцируемо по t в области D := {0 < s <t <T}, min \K(t,t)\ = d> 0. Множество R(K) =
0<t<T
о о
C[0 t] — область значений этого оператора, множество C[0tt] на основании аппроксимационной теоремы Вейерштрасса суть замыкание области R(K);
B) пусть f : (0,T) — R1 — дифференцируемая функция, f (0) = 0, а — малый положительный параметр. Введем интегральное уравнение
Kx = f, (0.1)
возмущенное уравнение
Кх + ах = ¡, (0.2)
и приближенное уравнение
Кх + ах = / . (0.3)
В связи с задачей численного решения Вольтерровых уравнений в нерегулярных случаях (см., например, работы [2; 4; 10; 11; 15; 16; 17; 18] и др.) рассмотрим вопрос о связи решений уравнений (0.1), (0.2), (0.3). По этому вопросу и проблеме регуляризации существует обширная литература, важную часть которой составляют результаты М. М. Лаврентьева и А. М. Денисова, послужившие стимулом для этой статьи.
Особенностью методики этой статьи является систематическое использование понятия стабилизирующего оператора, оценки нормы обратного оператора \\(К + а1 )_1 \\с(с[0 Т]т]) в операторной топологии и некоторых результатов, связанных с классической теорией возмущения линейных операторов и с теоремой Банаха-Штейнгауза [12]. На этом пути удалось усилить результат А.М. Денисова [1] о регуляризации уравнения Вольтерра. В результате сняты такие ограничения, как предположение точного задания ядра К(Ь,в), существование вторых производных по Ь ядра и свободной функции в уравнении (0.1). В
п. 4 приведены результаты численных расчетов, демонстрирующие эффективность применения регуляризации по Лаврентьеву в комбинации с методами, предложенными в работе [6] при решении линейных интегральных уравнений Вольтерра I рода с кусочно-непрерывными ядрами в случае наличия шума в ядрах и правых частях уравнений. В п. 4 используется постановка проблемы, предложенная ранее в монографии Д.Н. Сидорова [4], см. также [5; 6; 13; 14] и [17].
1. Вспомогательные сведения
При выполнении условий А), В) уравнение (0.1) эквивалентно интегральному уравнению Вольтерра II рода
к(г,г)х(г)+[ К'(г,з)х(з) йз = ¡'(г), (1.1)
./0
и справедлива
Лемма 1. Пусть выполнены условия А) и В). Тогда:
о
1) линейный оператор К е С(С[0,т] т] ) и имеет ограниченный обратный, уравнение (0.1) имеет в классе С[0,т] единственное решение
*•">■ **«» ^ Мгу
2) если в дополнение к условиям А), В) функция ¡' (г) два раза дифференцируема, ядро К (г, з) дифференцируемо по з и два раза по г, то решение х*(г) е С'0 т]. Если при этом ¡''(0) = 0, то х*(г) е 'Я,(К) и система
Кх1 ¡, (1 2) Кх2 = х1
о
имеет единственное решение х1(г) е С[0 т] , х2(г) е С[0,т]-Доказательство. Проверим справедливость утверждения 1):
a) Кх| 0 = К(г,з)х(з) йз\,=0 = 0,
= Л) =
й г*
b) -¡-Кх = К{Ь,1)х{Ь) + / К[{Ь, з)х(з) йв — непрерывная функция при М У0
любой функции х(г) е С[0,т]-
Из а) и Ь) следует, что К — линейный ограниченный оператор, действу-
о о
ющий из С[0 ,т] в С[0 т] - То есть включение К е С{С\0,т] ^ С[0 т]) доказано. Т.к. уравнение (1.1) эквивалентно уравнению (0.1), то обратный оператор К-1 строится явно по формуле
ж = К~7 = + [
К(г,г)
0
К'И, 5)
где в) — резольвента ядра — ' . Решение ж*(£) — единственное,
К (£,Ч
ж*(0) = щщ- Если при 0 < в <Т выполнены оценки < С,
\К(£,£)\ >й> 0, то из (1.1) вытекает неравенство
1 Г* С
<-,11/11 о + / -\х{8)\(18.
а С[о,Т] ¿0 а
Поэтому
, / м 1 С
2 1е7 .....С,
Следовательно,
[0,T ]
L(C(0,T] ^с[0,т]) d
Справедливость утверждения 1) установлена. Докажем справедливость утверждения 2). Из уравнения (1.1), эквивалентного уравнению (0.1), следует, что при выполнении условий, сформулированных в 2), решение
о
x* е С'0 T]. Если при этом f '(0) = 0, то x* е С'0 T] = R(K) и система (1.2) будет разрешима, что и требовалось доказать. □
Замечание 1. Если min \K(t, t)\ = 0, то уравнение (0.1) может оказаться неразрешимым или иметь неединственное решение. Например, уравнению f(¡(t — 2s)x(s) ds = t2, где K(t, t) = -t, удовлетворяет семейство x(t, c) = c—2t, c - const, а уравнение tx(s) ds = sin t не разрешимо в классе С[0,т] ■
2. О связи решений уравнений (0.1), (0.2)
Введем а-семейство операторов Ва := а(К + а1)-1, отвечающих уравнению (1.1), рассматриваемых при а > 0 и действующих из С [о ,т] в С[отт]. Оператор Ва удовлетроворяет следующим двум свойствам. Свойство 1. Если последовательность \\Ваи\\ при а — +0 бесконечно малая, то и € /Я,(К). Действительно, запишем очевидное операторное тождество при а > 0 :
К (К + а1)-1 + Ва = I.
Из этого тождества при любом и и неотрицательном а вытекает равенство
К (К + а1 )-1и + Ва и = и.
Так как по условию числовая последовательность {\\Ваu\\} — бесконечно малая при а — +0, то последовательность {\\u — Kua\\}, где ua = (K + aI)-lu, тоже должна быть бесконечно малой при а — +0. Но тогда необходимо выполнится включение u Е R(K). Таким образом, справедливость свойства 1 установлена.
Свойство 2. Пусть x* — решение уравнения (0.1), а xa — решение уравнения (0.2). Пусть последовательность {\\Bax*}\\ — бесконечно малая при а — 0. Тогда lim \\xa — x*\\ =0..
a^+ü
Доказательство вытекает из тождества x* — xa = а(К + aI)-1x*, т.к. Ва = а(К + al)-1.
Лемма 2. Пусть выполнено условие A), причем K(t,t) = 1. Тогда при
= max I
0<t<T
а> 0 справедлива оценка \Да\\£(с[0Т]-^C[0T]) < 2eaT, где a= mgix \K't(i,s)\.
Доказательство. Введя обозначения К0х := х(в) йв, (К — К0)х := /о (К(I, в) — 1)х(в) йв, уравнение (0.3) перепишем в виде ах + К0х + (К — Ко)х = Отметим, что при а = 0 ограниченный оператор а1 + К0 действует взаимно однозначно из Сд, т] в Сд, т], а ему обратный ограниченный и имеет вид
1 1 С* ь-{а1 + К0)~1 =-I - ^
а а2 Уд
Поэтому уравнение (0.3) умножением на ограниченный оператор (а1 + Ко)_1 приводится к эквивалентному уравнению
1 1 Ь-г
х Н—(К — Ко)х--^ / е~~(К — Ко)х\ с!г =
а а2 Уд
1 1 I*
= / е-^таг. (2.1)
а а2 Уд
Здесь и далее (К — К0)х\ := (К(г, в) — 1)х(в) йв. Меняя порядок
Уо
интегрирования, получим равенство
/ е~~ (К — Ко)х\гс1г = / е ~ / (К(г, в) — 1)х(в) йвйг = Уо * ]о ./о
П. 4-г
е~~(К(г, в) — 1) йгх{в) йв.
Интегрированием по частям с учетом тождества К(Ь,Ь) = 1 приходим к равенству
е « (K(z, s) — 1) dz =
e~i S^aez/a(K(z,s) - 1) * * - a J ez'аK'z(z, s) dz^ =
rt t_z
= a(K(t, s) — 1) — a / e ~K'z(z, s) dz.
rt t_z
Введем функцию Q(t,s,a) := / e~~K'z(z,s) dz. С учетом этого обо-
Js
значения имеем тождество
а2
t t t J e~^r(K-K0)x\zdz = \J (K(t,s)-l)x(s)ds-J
Q(t,s,a)
а
x(s) ds,
в силу которого уравнение (2.1) примет вид
Q(t,s,a)
1
1
хН)+ / =-¡(г) - ^ / — (2.2)
Уо а а а2 Уо
Покажем, что ядро непрерывно в области -D = {0<s<í<
Т, 0 < а < оо} и ограничено на компакте И. Заметим, что
г t t_
\Q(t,s,a)\ < / e-^r\K'z(z,s)\dz,
s
где по условию \K'z(г, s)| < a. Поэтому ft
\Q(t,s,a)\<ae~« / e,z!a dz = ае~1'аа{ег'а - es'a) = aa(l - <
s
_ T
< aa( 1 — e~ a ) < a a.
Следовательно, ядро непрерывно в области D = {0 < s < t <
T, 0 < а < оо} и имеет непрерывную резольвенту R(t,s,a). Так как <а, то для резольвенты справедлива оценка \R(t, s, а;)| <aea^~s\ С помощью резольвенты R(t,s,a) решение уравнения (0.3) строится в замкнутом виде по формуле
x(t) =
m i
а а2
e~ — f(z) dz + R
f(s) 1 Г
а а2
e « f(z) dz
Здесь R[ ■ ]'■= R(t,s,а)[ ■ ] ds. Поэтому справедливо неравенство J о
max o< t<T
R[ M_i_ Г e~f(z)dz а а2 Jo
2 ft < - Il/Il max a / ea(i"s) ds, - а|Ш o<t<T J0
1
t
t
о
о
где max a ea(t-s) ds = eaT — 1. Учитывая оценку о<t<T J0
max о< t<T
1 1 ft ta a2 Jo
2
< -
a
придем к неравенству
2
\\x\\ = \\{K + aI)-lf\\<-eaT
при f(t) E С[0>г]. Следовательно, ||(К + al) 1\\c(c[0tT]^cl0tT]) < ■ Т.к. Ba = a(K + al)~l, то ||Ба||£(С[от]^С[от]) < 2eaT, что и требовалось доказать. □
Замечание 2. Аналогичный результат получается и в случае, когда min \K(t, t)| = d> 0. Действительно, этот случай сводится к рассмот-
a<t<T
рению уравнения f*A(t,s)x(s)ds = щщ, где A(t,s) := K(t, s)/K(t,t), A(t, t) = 1. '
Лемма 3. Пусть ядро K(t, s) непрерывно и дифференцируемо по t,
о
\\Ba||£(C[0 T]т]) — C при a> 0. Тогда при любой функции u(t) еС^^] последовательность {||Bau||} будет бесконечно малой при a — +0.
о
Доказательство. Если u(t) еС'^ t], то u(t) Е R(K) и, следовательно, в пространстве C[0 ,t] существует функция x(t), такая, что Kx = u. Тогда Bau = (K + aI)-1a(Kx + ax — ax) = ax — a2(K + aI)-lx = ax — aBax.
о
Следовательно, при u(t) EC'0 t] выполнена оценка ЦВ^Ц — a(1+C^xW и lim WBauW =0. '
оо
Теперь пусть u(t) Е C[0, t] , где C[0, t] - суть замыкание области значения R(K). По условию a-последовательность {ЦВа||} - ограниченная.
о
По доказанному Bau — 0 для iu Е C'0 т] . Линейные комбинации функ-
оо
ций из C'0 т] лежат всюду плотно в C[0, т] . Следовательно, на основании теоремы Банаха - Штейнгауза (см. теорему 4 в [3], с. 151) Bau — 0 для
о
V-u sC[0)t] • Что и требовалось доказать. □
Теорема 1. Пусть K(t,s) и f (t) — непрерывны и дифференцируемы
о
по t, f (0) = 0, f '(0) = 0. Тогда в классе C[0, т] уравнение (0.1) имеет единственное решение x*(t). При этом lim Hxa — x*||c[0 T] =0, где xa
— единственное непрерывное решение уравнения (0.2).
о
Доказательство. Существование и единственность в классе С[0,т] решения уравнения (0.1) доказаны в Лемме 1. В силу свойства 2 х* — ха = Вах*, где на основании Леммы 2 \\Ва \\с(с[0 Т ]^-с[0 т ]) < С. Так как
о
х* то на основании Леммы 3 последовательность \\Вах*\\с[0Т]
будет бесконечно малой при а —> +0. Теорема доказана. □
3. Основная теорема
Введем функции К(t,s), f(t) определенные в области D, такие, что выполнены неравенства
sup \К(t,s) - К(t,s)\<5, sup \f(t) - f (t)\<5.
0<s<t<T 0<t<T
Допускаем, что функции К(t, s), f(t) в области D имеют конечное число точек разрыва 1го рода. Обозначим через E банахово пространство кусочно-непрерывных функций с нормой \\x\\e = sup \x(t)\. В урав-
~ ~ 0<t<T
нении (0.3) положим К = /0 К(t, s)[ • ] ds, f = f (t). Очевидно, что
К е L(E — E), т.к. \\К\\ < T • sup \К(t,s)\. Поэтому уравнение (0.3)
0<s<t<T
с вольтерровым оператором К в пространстве E имеет единственное решение Xа.
Пусть \\(К + aI)-1 \\ < с/а при а > 0. Такая оценка выполнена, например, в условиях Леммы 2. Пусть далее в уравнениях (0.2), (0.3) а = 5V, при v е (0,1). Тогда в силу теоремы об обратном операторе (см., например, теорему 2 на стр. 156 в [3]) найдется положительное 5о такое, что при У5 е (0,5о] выполнится асимптотическая оценка \\(К + aI)-1 \\с[0 т]T] = O(1/a). Более того, для любого е > 0 Е50 = 50(е) > 0 такое, что при 5 е (0,50] выполняются неравенства
\\(К + aI)-1 - (К + aI)-1\\ce^e) < е/3, (3.1)
5\\(К + aI)-1\\c(E^E) < е/3. (3.2)
Напомним, что решение X* уравнения (0.1) — суть элемент простран-
о
ства С[о,т] . Поэтому на основании Леммы 3 для любого фиксированного е > 0 E5i = 51(е) > 0 такое, что при любом 5 е (0,51] выполнится неравенство
\\(К + a)-1ax*\\E < е/3. (3.3)
Пусть 5* = шт{50(е), 51(е)}. Тогда при 5 е (0,5*] выполняются одновременно неравенства (3.1), (3.2), (3.3).
Если ха = (К + а1) 1 /, х* = К 1 / - суть соответствующие решения уравнений (0.3) и (0.1), то будет справедливо неравенство
а
1 f «.*
\Ха - X*\ < \\(К + aI)-1 (f - f )\\e + \\((К + aI)-1 - (К + aI)-1)f\\e+
Так как \\(К + а1)-1 / — К-1/\\ = \\(К + а1)-1 ах*\\, то с учетом оценок (3.1), (3.2), (3.3) при У5 е (0,5*] имеем оценку \\ха — х*\\Е < е. Из доказанного вытекает основная теорема
Теорема 2. Пусть в области Б = {0 < в < Ь < Т} заданы функции К(Ь,в), /(Ь) - непрерывно дифференцируемы по Ь. Пусть /(0) = 0, /'(0) = 0, 0™ПТ\К(Ь,Ь)\ = 3 > 0, а функция х*(Ь) - решение уравнения
(0.1). Пусть кусочно-непрерывные функции К(Ь,в)и / (Ь) определены в области Б и удовлетворяют оценкам \К(Ь,в) — К(Ь, в) \ < 5, \/(Ь) — /(Ь)\ < 5. Тогда для Уе > 0 и а = 5й, где V е (0,1) 35*(е) > 0 такое, что при 5 е (0,5* (е)] единственное решение х уравнения
удовлетворяет оценке sup \Xa(t) - X*(t)\ < е.
0<t<T
3.1. Ослабление условия А
Условие А) можно заменить на условия: Ac) К(t,s) — линейное ограниченное отображение из банахова пространства E1 в банахово пространство E2, область определения которого не зависит от аргументов, оператор К(t, t) имеет ограниченный обратный.
При этом предположении легко построить примеры других естественных классов уравнений первого рода вида (0.1), имеющих единственное непрерывное решение X : [0, T] — E2, допускаюших регуляризацию по Лаврентьеву.
Пример 1.
Пусть непрерывные функции К(Ь), /(Ь,у) дифференцируемы по Ь, /(0,у) = 0, К(0) = 1, Е1 = С[аь], Е2 = С\а,ъ]. Тогда начальная задача
+\\(К + aI)-1f - К-1f\\e.
(3.4)
(3.4) имеет единственное непрерывное решение. Регуляризацию можно провести, решая последовательно уравнения
аи(г,у) + I к (г — з)и(з,у) йз = / (г,у), ■)о
+ = и(г,у), х\у=а = х0^).
Пример 2. Интегральное уравнение
/ K(t - s) x(s,y) + Q(y,z)x(s,z) dz Jo L Jo
ds = f (t,y), (3.5)
где заданные функции непрерывны и дифференцируемы по г, (0,у) = 0, К(0) = 1, —1 не является собственным числом ядра Q(y,z), имеет единственное непрерывное решение. Регуляризация этого примера проводится путем последовательного решения уравнений
аи(г,у)+ I К (г — з)и(з, у) йз = f (г,у),
х(г,у)+ [ Q(y,z)x(t,z) dz = и(г,у). (3.6)
Jо
Если —1 является собственным числом ядра Q(y,z), ф1 ,...,фп — его собственные функции, а ф1,...,фп — собственные функции союзного ядра, то на основании [9] ядро Q(y, z) в уравнении (3.6) надо заменить на возмущенное ядро Q(y, z) + ^п=1 фг(у)фг^).
4. Интегральные уравнения с разрывными ядрами
Рассмотрим применение метода возмущений при построении регу-ляризованных численных методов решения интегральных уравнений Вольтерра I рода вида
t
J K(t, s)x(s)ds = f (t), 0 < s < t < T, f(0) = 0. (4.1)
o
Ядро K(t,s), определенное в области {0 < s < t < T}, претерпевает разрывы 1го рода на кривых s = ai (t) и задается формулой
Ki(t,s), t,s <Е m1, mi = {t,s | ai-1(t) < s < ai(t)},
K(t,s) = ' _
Kn{t, s), t,s e mn, ao(t) = 0, ara(i) = t, г = I, п.
Здесь функции ai(t), f (t), Кi(t, s) непрерывны в своих областях и допускают непрерывные продолжения на компакты ТЩ, Kn(t,t) ф О, «¿(О) = 0, 0 < a1(t) < a2(t) < ... < an-1(t) < t, при 0 <t < T, ai(t) возрастают в малой окрестности 0 < t < т, 0 < a^(0) < ... < a'n-1(0) < 1. Важную роль в теории таких уравнений, построенной в монографиях [17], [4],
n- 1
играет функция D(t) = ^| a^t)^1^,^1 • К^^,(t)) - К,+1 (t,ai(t))|
i=1
и характеристическое показательное уравнение
n-1
Кп(0, 0) + J2(ai(0))1+j (К(0, 0) - Кг+1(0, 0)) = 0.
i=0
Если D(0) < 1, то характеристическое уравнение не имеет натуральных корней и уравнение (4.1) на основании теоремы 3.1.1 (см. монографию [4]) в классе непрерывных функций C^, T] имеет единственное решение. Если, кроме того, (К + aI)-1 = O(1/a), a > 0, то для уравнения (4.1) сохранится результат теоремы 2. То есть уравнение вида (0.3) будет регуляризирующим. Изложим результаты численного решения уравнения с разрывными ядрами, удовлетворяющее сформулированным выше условиям.
Пример 3. Рассмотрим линейное уравнение первого рода вида (4.1)
ft/4 ft/2 rt
/ (1+1 + s)x(s) ds + (2 + ts)x(s) ds + (1 +1 + s)x(s) ds = J0 Jt/4 Jt/2
31t6 1099t5 271t4 rn nl
=--1---1--, t £ 0, 2 .
40960 20480 8192 ' 1 ' J
Здесь точное решение x(t) = t3/8. Приведем результаты работы алгоритма с использованием описанной выше регуляризации Лаврентьева для случая, когда поиск приближенного решения выполняется в виде кусочно-постоянной функции (далее PWC):
XN(t) = £Xi6i(t), t G (0,T], 5i(t) = {0[ for t / a!= (ti-1 ,ti]]
i=1
Подробное описание алгоритма приведено в работе [6], см. также близкие результаты [13; 14]. Будем здесь использовать равномерную сетку.
В табл. 1 приведены ошибки ей = max \xn(ti) - X(ti)\, полученные
0<i<N
путем согласования шага с уровнями добавленного в ядро и в правую часть нормально распределенного случайного шума. Также для сравнения приведены расчеты для незашумленных данных. Значения параметра a выбраны таким образом, чтобы обеспечить минимальную погрешность при заданном шаге.
Таблица 1
¡1 Ю-1 10"2 10"3 ю-4
Без шума
Без рег. Ср. прям. Р\¥С 0.139529 0.014874 0.001497 0.000150
Р\¥Ь 5.39 -Ю"3 2.43 -КГ4 2.1 -КГ6 2.0 -Ю-6
Гаусс Р\¥С 0.139529 0.014874 0.001497 0.000150
Р\¥Ь 0.004932 5.0 -КГ6 5.0 -Ю-7 6.0 -КГ9
С регуляризацией Ср. прям. Р\¥С а 0.139529 ю-4 0.014874 10~6 0.001497 10"8 0.000150 ю-10
Р\¥Ь а 5.39 -Ю-3 ю-1 2.43 -КГ4 10"2 1.1 -Ю-6 10"3 3.7 -Ю-7 ю-4
Гаусс Р\¥С а 0.139529 ю-4 0.014874 ю-6 0.001497 10"8 0.000150 ю-10
Р\¥Ь а 0.004932 ю-1 5.0 -КГ6 Ю-2 5.0 -Ю-7 1(П3 5.5 -Ю-9 ю-4
С шумом 5 10~2 ю-4 ю-6 10"8
Без рег. Ср. прям. Р\¥С 0.137164 0.015311 0.001596 0.000165
Р\¥Ь 0.261607 0.079015 0.023068 0.006592
Гаусс Р\¥С 0.133109 0.015482 0.001624 0.000165
Р\¥Ь 0.098011 0.076760 0.024611 0.008765
С регуляризацией Ср. прям. Р\¥С а 0.124463 ю-4 0.014720 10~6 0.001568 10"8 0.000162 ю-10
Р\¥Ь а 0.044884 Ю-1 0.006480 10"2 0.000850 10"3 0.000096 ю-4
Гаусс Р\¥С а 0.123097 10"2 0.014767 ю-4 0.001551 ю-6 0.000162 10"8
PWL а 0.037074 Ю-1 0.006961 10"2 0.000853 10"3 0.000093 ю-4
С шумом 5 10"3 ю-6 ю-9 ю-12
Без рег. Ср. прям. PWC 0.139125 0.014874 0.001583 0.000165
Р\¥Ь 0.025508 1.03 -КГ3 2.5 -КГ6 2.2 -Ю-6
Гаусс PWC 0.139899 0.014874 0.001616 0.000165
PWL 0.011047 5.5 -КГ4 2.3 -Ю-6 3.4 -Ю-7
С регуляризацией Ср. прям. PWC а 0.137952 10"2 0.014855 ю-4 0.001568 ю-6 0.000162 10"8
Р\¥Ь а 4.0 -КГ3 ю-4 1.63 -Ю-4 ю-4 9.7 -Ю-6 кг6 3.6 -ю-7 ю-6
Гаусс PWC а 0.138185 10"2 0.014863 ю-4 0.001551 ю-6 0.000162 10"8
PWL а 0.005295 ю-4 2.1 -Ю-4 ю-4 7.5 -КГ6 кг6 1.8 -Ю-7 ю-6
В табл. 1 также приведены результаты расчетов с использованием кусочно-линейной аппроксимации решения (используется обозначение PWL):
N / - \
= Е +х;-и-г) т, ге (о,т\,
где 5ъ опредено как и ранее.
Расчеты выполнены с использованием квадратурных формул средних прямоугольников, а также квадратур Гаусса (по трем узлам).
4.1. Комментарии к Таб. 1
Приведенные расчеты демонстрируют, что использование а-регуля-ризации Лаврентьева позволяет существенно снизить уровень погрешности при численном решении нерегулярных интегральных уравнений первого рода для зашумленных данных, особенно когда для заданного уровня шума еще не проявляется характерное для интегральных уравнений Вольтерра первого рода свойство саморегуляризации. При большом уровне шума вычисления без а-регуляризации становились неустойчивыми или давали большую погрешность.
Для кусочно-линейной аппроксимации при использовании как квадратур Гаусса, так и средних прямоугольников, наблюдается заметное улучшение результата при согласовании шага сетки узлов и уровня добавляемого в ядро и правую часть шума. Это обусловлено известным свойством саморегуляризации при согласовании шага сетки узлов с уровнем шума.
Для нахождения оптимального шага и параметра регуляризации а при известном уровне шума исходных данных уравнения можно использовать стадартные методы минимизации выпуклой функции (например, метод Фибоначчи).
Список литературы
1. Денисов А. М. О приближенном решении уравнения Вольтерра I рода / А. М. Денисов // Журн. вычисл. математики и мат. физики. - 1975. - Т. 15, № 4. -С. 1053-1056.
2. Лаврентьев М. М. Теория операторов и некорректные задачи / М. М. Лаврентьев, Л. Я. Савельев. - Новосибирск : Наука, 1990.
3. Люстерник Л. А. Элементы функционального анализа / Л. А. Люстерник, В. И. Соболев. - М. : Физматлит, 1965.
4. Сидоров Д. Н. Методы анализа интегральных динамических моделей: теория и приложения / Д. Н. Сидоров. - Иркутск : Изд-во ИГУ, 2013. - 293 с.
5. Сидоров Д. Н. О разрешимости систем интегральных уравнений Вольтерра первого рода с кусочно-непрерывными ядрами / Д. Н. Сидоров // Изв. вузов. Математика. - 2013. - № 1. - С. 62--72.
6. Сидоров Д. Н. Численное решение интегральных уравнений Вольтерра I рода с кусочно-непрерывными ядрами / Д. Н. Сидоров, А. Н. Тында, И. Р. Муфта-хов // Вестн. ЮУрГУ. Сер. Мат. моделирование и программирование. - 2014.
- Т. 7, № 3. - C. 107—115.
7. Сидоров Н. А. Регуляризация линейных уравнений на основе теории возмущений / Н. А. Сидоров, В. А. Треногин // Дифференц. уравнения. - 1980. -Т. 16, № 11. - С. 2038-2049.
8. Сидоров Н. А. Об одном подходе к проблеме регуляризации на основе возмущения линейных операторов / Н. А. Сидоров, В. А. Треногин // Мат. заметки.
- 1976. - Т. 40, № 5. - С. 747-752.
9. Сидоров Н. А. О роли метода возмущений и теоремы Банаха — Штейнгауза в вопросах регуляризации уравнений первого рода / Н. А. Сидоров, Д. Н. Сидоров, И. Р. Муфтахов // Изв. Иркут. гос. ун-та. Сер. Математика. - 2015.
- Т. 14. - С. 82-99.
10. Тихонов А. Н. Методы решения некорректных задач / А. Н. Тихонов, В. Я. Арсенин. - М. : Наука, 1974.
11. Тихонов А.Н. Некорректно поставленные задачи / А. Н. Тихонов, В. К. Иванов, М. М. Лаврентьев // Дифференциальные уравнения с частными производными. - М. : Наука, 1970. - С. 224-239.
12. Треногин В.А. Функциональный анализ / В. А. Треногин. - М. : Наука, 1980.
- 496 с.
13. Тында А. Н. Прямые численные методы решения интегральных уравнений Вольтерра I рода с разрывными ядрами / А. Н. Тында, Е. Н. Малякина // Сб. ст. VIII Междунар. науч.-техн. конф. молодых специалистов, аспирантов и студентов. - Пенза : ПГУ, 2014. - С. 84—89.
14. Тында А. Н. Численный анализ интегральных уравнений Вольтерра I рода с разрывными ядрами / А. Н. Тында, П. А. Богинская // Сб. ст. VIII Между-нар. науч.-тех. конференции молодых специалистов, аспирантов и студентов.
- Пенза : ПГУ, 2014. - С. 76-81.
15. Brunner H. The Numerical Solution of Volterra Equations / H. Brunner, P. J. van der Houwen. - Amsterdam : North-Holland, 1986.
16. Kythe P. K. Computational Methods for Linear Integral Equations / P. K. Kythe, P. Puri. - Boston Birkhauser, 2002.
17. Sidorov D. Integral Dynamical Integral Dynamical Models: Singularities, Signals and Control / D. Sidorov ; ed. by L. O. Chua. -Singapore, London : World Scientific Publ., 2015. - Vol. 87 of World Scientific Series on Nonlinear Science, Series A. -258 p.
18. 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.
Муфтахов Ильдар Ринатович, аспирант, кафедра вычислительной техники, Иркутский национальный исследовательский технический университет, 664033, Иркутск, ул. Лермонтова, 83
Сидоров Денис Николаевич, доктор физико-математических наук, доцент, ведущий научный сотрудник, Институт математики, экономики и информатики, Институт систем энергетики им. Л. А. Мелентье-ва СО РАН, 664033, Иркутск, ул. Лермонтова, 130, Иркутский государственный университет, 664003, Иркутск, ул. К. Маркса, 1, Иркутский национальный исследовательский технический университет, 664033,
Иркутск, ул. Лермонтова, 83, тел.: (3952)421342, (e-mail: dsidorov@isem.sei.irk.ru)
Сидоров Николай Александрович, доктор физико-математических наук, профессор, Институт математики, экономики и информатики, Иркутский государственный университет, 664003, Иркутск, ул. К. Маркса, 1, тел.: (3952)242210 (e-mail: sidorov@math.isu.runnet.ru)
I. R. Muftahov, D. N. Sidorov, N. A. Sidorov, Lavrentiev Regularization of Integral Equations of the First Kind in the Space of Continuous Functions
Abstract. The regularization method of linear integral Volterra equations of the first kind is considered. The method is based on the perturbation theory. In order to derive the estimates of approximate solutions and regularizing operator norms we use the Banach-Steinhaus theorem, the concept of stabilising operator, as well as abstract scheme for construction of regularizing equations proposed in the monograph N.A. Sidorov (1982, MR87a: 58036). The known results (existence of the second derivatives of kernel and source) of A.M. Denisova (1974, MR337040) for the Volterra equations' regularization were strengthened. The approximate method was tested on the examples of numerical solutions of integral equations under various noise levels in the source function and in the kernel. The regularization method is tested on Volterra integral equations with piecewise continuous kernels suggested by D.N. Sidorov (2013, MR3187864). The desired numerical solution is sought in the form of a piecewise constant and piecewise linear functions using quadrature formulas of Gauss and midpoint rectangles. The numerical experiments have demonstrated the efficiency of Lavrentiev regularization applied to Volterra integral equations of the first kind with discontinuous kernels.
Keywords: Linear Integral Equation, Regularizing Equation, Stabilizing Operator, Volterra Equation of the First Kind, Lavrentiev Regularization, Perturbation Method, Quadrature, Banach-Steinhaus theorem.
References
1. Denisov A.M. The approximate solution of a Volterra equation of the first kind. US'SR Computational Mathematics and Mathematical Physics, 1975, vol. 15, no 4, pр. 237—239.
2. Lavrentiev M.M. Some Improperly Posed Problems in Mathematical Physics. Springer, Berlin, 1967.
3. Lusternik L.A., Sobolev V.J. Elements of Functional Analysis. Frederick Ungar Publishing Co., 1961.
4. Sidorov D.N. Methods of Analysis of Integral Dynamical Models: Theory and Applications. (in Russian) Irkutsk State Univ. Publ., 2013.
5. Sidorov D.N. Solvability of systems of integral Volterra equations of the first kind with piecewise continuous kernels. (in Russian) Izv. Vyssh. Uchebn. Zaved. Mat.,
2013, no. 1, pp. 62-72.
6. 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.
7. Sidorov N.A., Trenogin V.A. Linear Equations Regularization using the Perturbation Theory. Diff. Eqs., 1980, vol. 16, no 11, pp. 2038-2049.
8. 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, pp. 976-979.
9. Sidorov N.A., Sidorov D.N., Muftahov I.R. Perturbation Theory and the Banach-Steinhaus Theorem for Regularization of the Linear Equations of the First Kind. IIGU Ser. Matematika, 2015, vol. 14, pp. 82-99.
10. Tikhonov A. N. Solution of Ill-Posed Problems. Winston. New York, 1977.
11. Tikhonov A.N., Ivanov V.K., Lavrent'ev. Ill-posed Problems. In the book Partial Differential Eqs, Moscow, Nauka, 1970, pp. 224-239.
12. Trenogin V. A. Functional analysis. Nauka. Moscow, 1980, 496 p.
13. Tynda A.N., Malyakina E.N. Direct Numerical Methods for Solving Volterra Integral Equations of the I Kind with Discontinuous Kernels. Sbornik statey VIII Mezhd. nauch.-tekh. konferentsii molodykh spetsialistov, aspirantov i studentov (in Russian) [Proc. 8th Int. Sci. Tech. Conf. Young Specialists, Post-graduate students], PGU, Penza, 2014, pp. 84-89.
14. Tynda A.N., Boginskaya P.A. Numerical Analysis of Volterra Integral Equations of the I Kind with Discontinuous Kernels [Chislennyy analiz integral'nykh uravneniy Vol'terra I roda s razryvnymi yadrami]. Sbornik statey VIII Mezhd. nauch.-tekh. konferentsii molodykh spetsialistov, aspirantov i studentov (in Russian) [Proc. 8th Int. Sci. Tech. Conf. Young Specialists, Post-graduate students]. PGU, Penza, 2014, pp. 76-81.
15. Brunner H., Houwen P.J. The Numerical Solution of Volterra Equations. North-Holland, Amsterdam, 1986.
16. Kythe P.K., Puri P. Computational Methods for Linear Integral Equations. Birkhauser, Boston, 2002.
17. Sidorov D. Integral Dynamical Integral Dynamical Models: Singularities, Signals and Control; Ed. by L. O. Chua, Singapore, London, World Scientific Publ., 2015, vol. 87 of World Scientific Series on Nonlinear Science, Series A. 258 p.
18. 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.
Muftahov Ildar Rinatovich, Postgraduate, Irkutsk National Research Technical University, 80, Lermontov st., Irkutsk, 664033, (e-mail: ildar_sm@mail.ru)
Sidorov Denis Nikolaevich, Doctor of Sciences (Physics and Mathematics), Senior Research Fellow, ESI SB RAS, 130, Lermontov st., Irkutsk, 664033, Irkutsk State University, 1, K. Marx, Irkutsk, 664003, Irkutsk National Research Technical University, 80, Lermontov st., Irkutsk, 664033 (e-mail: dsidorov@isem.sei.irk.ru)
Sidorov Nikolai Alexandrovich, Doctor of Sciences (Physics and Mathematics), Professor, Irkutsk State University, 1, K. Marx st., Irkutsk, 664003, tel.: (3952)242210 (e-mail: sidorov@math.isu.runnet.ru)
