Регуляризация решения операторного уравнения Гаммерштейна первого рода с приближенным оператором Текст научной статьи по специальности «Математика»

РАЗДЕЛ I. МАТЕМАТИКА

УДК 519.683.5

DOI: 10.18384-2310-7251-2019-1-6-15

РЕГУЛЯРИЗАЦИЯ РЕШЕНИЯ ОПЕРАТОРНОГО УРАВНЕНИЯ ГАММЕРШТЕЙНА ПЕРВОГО РОДА С ПРИБЛИЖЕННЫМ ОПЕРАТОРОМ

Усенов И. А.1, Кенжебаев М. К.2

1 Кыргызский Национальный Университет имени Ж. Баласагына 720033, г. Бишкек, ул. Фрунзе, д. 547, Кыргызстан

2 Кыргызский Экономический Университет имени М. Рыскулбекова 720033, г. Бишкек, ул. Т. Молдо, д. 58, Кыргызстан

Аннотация. В Гильбертовом пространстве исследован класс нелинейных операторных уравнений первого рода. Построено приближенное решение, устойчивое относительно исходных данных задачи. Доказана сходимость приближенного решения к точному решению исходного уравнения. Произведён выбор параметра регуляризации от погрешностей.

Ключевые слова: уравнение Гаммерштейна, регуляризация, сходимость, уравнение первого рода.

REGULARIZATION OF THE SOLUTION TO THE HAMMERSTEIN OPERATOR EQUATION OF THE FIRST KIND WITH AN APPROXIMATELY SPECIFIED OPERATOR

I. Usenov1, M. Kenzhebaev2

1 Kyrgyz National University named after Jusup Balasagyn ul. Frunze 547, 720033 Bishkek, Kyrgyzstan

2 Kyrgyz Economic University named after M. Ryskulbekov ul. T. Moldo 58, 720033 Bishkek, Kyrgyzstan

Abstract. A class of nonlinear operator equations of the first kind is investigated in the Hilbert space. An approximate solution is constructed that is stable with respect to the initial data of the problems. The convergence of the approximate solution to the exact solution of the original equation is proved. The regularization parameters of the errors are selected. Keywords: Hammerstein equation, regularization, convergence, equation of the first kind.

© CC BY Усенов И. А., Кенжебаев М. К., 2019.

W

Регуляризации решения линейного и нелинейного операторного уравнения в гильбертовом пространстве посвящены работы авторов [1-7; 9; 10; 12].

В работе [11] для решения операторного уравнения первого рода Гаммерштейна, когда точно задан линейный оператор, построен регуляризирующий оператор.

Постановка задач

В данной работе исследовано операторное уравнение первого рода Гаммерштейна в гильбертовом пространстве Н

АР (г ) = и, (1)

когда приближенно задан линейный оператор, то есть вместо оператора А известно его приближенное значение Ан такое, что

А - АН ^ л, (2)

где А : Н ^ Н - линейный самосопряжённый положительный оператор, Р : Н ^ Н - нелинейный оператор, дифференцируемый по Фреше. В интегральном случае АР(г) определяется как:

1

АР(г) = |К(,5)М(5,гО)^,К(,5) = К(,г) е и ([0,1]х[0,1]),

0

1 1

Цк(,5)г(5)г(> 0,М(5,г00)еС[о,1]хЯ,

о 0

|| • ||н - норма гильбертового пространства.

Допустим, что при и = Ы0 уравнение (1) имеет точное решение то есть

АР (х0 ) = и (3)

и истокообразно представимо

г 0 =аА^0, (4)

где а > 0, а е Я, $0 е Н.

Целью данной работы является построение регуляризирующего оператора для решения операторного уравнения Гаммерштейна первого рода в пространстве Гильберта.

Регуляризация

Наряду с уравнением (1) рассмотрим уравнение:

ах + АлР (г ) = и, (5)

где а > 0. Пусть

Р (г) = К (г) + ах, (6)

где К - нелинейный оператор.

В [11] относительно нелинейного оператора К доказано, что для любого г1, г2 е Н он удовлетворяет условию Липшица, то есть:

||К(1)-К(г2)н < Щг1 -гг\|н , N < а, (7)

где Ъ < а < Ь < Хм, I = 1, 2, ... а < Е'(х) < Ь, а = а-+Ь-, ||К'(г)||„ < ^ = N > 0,

2 11 |1н 2

а также доказана обобщённая лемма Лаврентьева М. М., что при любом а > 0 и а > 0 имеет место неравенство:

|1(аЕ + аЛ)-1|| <а-1. (8)

Из (8) следует, что оператор (аЕ + аА) А удовлетворяет неравенству:

||(аЕ + аА)-1 а|| <а-1.

В силу представления (6) из уравнения (5) имеем:

аг + аЛЬкг + ЛЬК (г) = и.

Оператор аЕ + аЛн представим в виде: аЕ + аЛь =(аЕ + аЛ) + (аЛь -аЛ) = (аЕ + аЛ)(Е + (аЕ + аЛ)-1 а (Л -Л)).

(9) (10)

Используя оценки (2) и (8), оценим норму оператора (аЕ + аА) a(Ah - А):

(аЕ + аА) 1 a(Ah - А) <aha-

Пусть имеет место предельное соотношение:

lim ha-1 (h) = 0.

h^0 \ '

(11)

(12) (13)

Из условия (12) следует, что существует число h0 > 0, такое, что:

q1 = а/га-1 < 1,

при h < h0.

1

При выборе a(h) = he, 0 < в < 1 условие (12) выполняется и h0 = (1/а)1-в > 0.

Тогда в силу теоремы Банаха [8] оператор E + (аЕ + aA)-1a(Ah - А) имеет обратный оператор, причём справедлива оценка:

(е + (аЕ + аА)-1 а( - А)) <(1 - q )-1. (14)

н

Таким образом, оператор аЕ + aAh имеет обратный оператор, и этот оператор представим в виде:

La,/ =(aE + аА/)-1 =(e + (аЕ + аА)-1 а(А/-А)) (аЕ + аА)-1. (15) Из (15), используя неравенства (8) и (14), получаем:

W

(аЕ + оЛк )1 <(1 - q1 )1 а-1. Тогда из уравнения (10) переходим к уравнению:

¿а,к = Ра,ки — Ра,кЛкК (а,к ).

Введём обозначение:

Та,к (¿а,к ) = Ра,кЛкК (а,к ).

Норма оператора (аЕ + аАн)-1Ан удовлетворяет оценке:

(аЕ + аЛк)—1 Лк < (1 — ^)—1 (ка-1 + а-1).

Н

Оценим норму оператора Та,ь,а(г):

||Тх,к (¿1) — Та,к (¿2 ))н = ||1а,кЛк (К (¿1) — К (¿2 ))|| .

Тогда из (20), используя оценки (7), (19), имеем:

|| Та ,к (¿а) — Та ,к (¿2)|| н <|\Ьа ||н ¡К (¿1) — К (¿2 )||н < < (1 — ^)—1 (ка-1 + а—1)) 1^1 — г 21|. Из условия (12) следует, что существует число к0 > 0, такое, что

= (1 — Ч1)—1 (ка-1 + а-1)) < 1

i

при h < ho = ((-N)(ст(ст + N))-1 )1-в > 0.

Таким образом, оператор Та,ь,а(г) является оператором сжатия. Уравнение (17) решаем методом последовательных приближений. За нулевые приближения возьмём элемент

¿0 = Ра,ки.

(16)

(17)

(18)

(19)

(20)

(21)

(22)

(23)

(24)

Остальные приближения определяются по формуле:

¿к+1 = ¿0 + Ьа,кЛкК(гк) к = 0,1,2,...

Покажем, что последовательность {гк }к является сходящейся.

Сходимость последовательности {¿к }к0 и функционального ряда вида:

г0 + [¿1 — г0 ] + [¿2 — ¿1 ] +... + [гк — ¿к—1 ] +... (25)

эквивалентны.

Нулевое приближение Zo удовлетворяет неравенству

||zo||H <(1 -q1) 1 а ^

Полагая к = 0, из (24), имеем:

+

||zi - Zo|\H =|\ba,hAhK (zo )H <|LahAh (K (Zo )- K(0))||

+ ||LahhAhK(0)1 H < q2 ((H + N-1)|K(0)||H). (27)

Полагая в (24) к = 1; к = 0 и вычитая из первого второе, получаем: Z - Zi||H < ILa.hAh (K (zi)- K(Z0 ))|| < q21|zi - z>|H <

< q2

Z0

+N-1 K(0) H ). (28)

Далее по методу математической индукции можно доказать, что для любого натурального к > 2, справедливо неравенство:

\\гк - ^н < я! Цн + NК(0)||н). (29)

Таким образом, ряд (25) мажорируется следующим числовым рядом:

X Як ( ¿0 + N-1!К(0)|| н). (30)

k=1

Следовательно, условие q2 < 1 при h < h0 обеспечивает сходимость ряда (30), тогда ряд (25) также является сходящимся. Сумму ряда (25) обозначим через Za.fr. В силу эквивалентности сходимости последовательности {zK }к и ряда (25)

имеем:

lim Zk = z a ,h (31)

k^ro

Используя непрерывность оператора La,hAhK при к ^ переходим к пределу в (24) и, используя предельное соотношение (31), получим:

za,h = z0 + La,hAhK (za,h ). (32)

Таким образом, сходимость ряда (25) доказана.

ТЕОРЕМА 1. Пусть: 1) задан оператор Ah, удовлетворяющий неравенству (2); 2) имеет место предельное соотношение (12). Тогда уравнение (17) при любом u е H, a > 0, а > 0 и h < h0 имеет единственное решение za,h е H.

Если решение уравнения (17) при u = u0 обозначить через za,h, тогда в силу

формулы (32) оно представимо в виде:

z a,h = La,hu0 - La ,hAhK (^h ). (33)

Рассмотрим разность za,h - z0

za,h - z0 = La,hu0 - La,hAhK (z°,h ) - z0 . (34)

Полагая, что u0 = cAzo + AK(zo), переходим в норму разности z0ah - z0

+

H

||zÜU - Zo IH ^ ILa,h (cÄZo - az0 - öAhZo )) + La,hAh (k (z%) - K (zo))

¡LohH (Ah -ä)(k(zo)-K(o))| +||La,h (Ah -A)K() . (35)

+

Используя (4), из (35) имеем:

||</ - ¿0IIн < а(1 - ъ )-1 (/га-1 + а-1)) ||н + ка-1 (1 - ql )-1 аЖ||у0||н (а + N)+ + ка-1 (1 - ъ )-11\К(0)|н + 1|</ - Ио ||н < а(-1 + (1 - ^ )-1)) || +

+ ка-1 (1 -ql)-1 (аМ||Уо||н (а + N) +1|К(о)||н) + ^ ||</ -\н. (36)

В силу условия (22) из (36) имеем оценку:

||</ - ¿о ||н < ас1 + ка-1С2, (37)

С1 = С3 (аN-1 +(1 -ql)-1 )Цуо||н , С2 = С3 (1 -ql )-1 (аМ||уо ||н (а + N) +1К(о)|| н), С3 = (1 - q2). (38)

Минимизируя правую часть (37), имеем:

а(к) = -у/С2С-1к. (39)

Подставляем (39) в правую часть (37), имеем:

И,к - *о||н < 2^7/ . (4о)

ТЕОРЕМА 2. Пусть: 1) выполнены все условия теоремы 1; 2) при и = ио уравнение (1) имеет точное решение, представимое в виде (4); 3) зависимость параметра регуляризации от погрешности линейного оператора определяется по формуле (39). Тогда решение Иа уравнения (17) при к ^ о сходится к точному

решению уравнения (1), а скорость сходимости удовлетворяет условию (4о). Пусть правая часть уравнения (1) задана с погрешностью б, то есть:

||ыб - Ио||н <5. (41)

Основная задача, подлежащая исследованию, заключается в построении по приближенным данным (Лк, щ} такой последовательности решений /к,

которая сходится в пространстве Н к точному решению уравнения (1) при условии сходимости исходных данных при 5, к ^ о.

Решение уравнения (17) при и = и обозначим через /к. Тогда в силу

формулы (32) решение г^ /к представимо в виде:

г а h = La ihu5+ La ,hAhK ( ,h). (42)

Оценим разность zah - z0. Используя неравенство треугольника, имеем:

1И ,h— zo ||H -1 iza ,h— za,h ||H+1 lza,h— zo |\H • (43)

Второе слагаемое в (43) удовлетворяет оценке (37). Оценим первое слагаемое:

И,h - za,h ||H - I|La,h (uS u0 )|i +

+

||La,h Ah ||H ||k (za,h) - K (za,h )H - Sa-1 + q21|za,* - z,

Отсюда в силу (12) имеем:

a,h

|za ,h- za,h||H - c3Sa-1.

Тогда из (43) имеем оценку:

llza,h -z0||„ -ac1 + ha 1c2 + c35a 1.

H

Минимизируя правую часть (46), имеем:

а(5, к) = ^(с35 + ке2 ). Подставляем (47) в правую часть (46) имеем:

za,н zo

- ^л/с^д/c3S + hc2

(44)

(45)

(46)

(47)

(48)

Таким образом, доказана теорема, обобщающая теорему 2.

ТЕОРЕМА 3. Пусть: 1) выполнены все условия теоремы 2; 2) элемент иъ удовлетворяет неравенству (41); 3) зависимость параметра регуляризации от погрешностей определяется по формуле (47). Тогда решение уравнения (17) при Ъ, к ^ 0 является приближенным решением уравнения (1). Скорость сходимости удовлетворяет условию (48).

Выводы и результаты исследования

В данной работе доказано, что решение операторного уравнения Гаммерштейна первого рода в пространстве Гильберта является регуляризируемым.

Обоснование регуляризируемости решения заключается в следующих результатах исследования:

1) построен регуляризирующий оператор для решения операторного уравнения первого рода в пространстве Гильберта;

2) доказана сходимость регуляризированного решения к точному решению исходного уравнения;

3) получен выбор параметра регуляризации в зависимости от погрешностей приближенно заданных исходных данных;

4) установленна сходимость и найдена оценка скорости сходимости регуля-ризированного решения к точному решению.

1. Тихонов А. Н. О решении некорректно поставленных задач и методе регуляризации // Доклады Академии наук СССР. 1963. Т. 151. № 3. С. 501-504.

2. Тихонов А. Н., Арсенин В. Я. Методы решения некорректных задач. М.: Наука, 1974. 223 с.

3. Лаврентьев М. М. О некоторых некорректных задачах математической физики. Новосибирск: Издательство Сибирского отделения Академии наук СССР, 1962. 96 с.

4. Иманалиев М. И. Методы решения нелинейных обратных задач и их приложение. Фрунзе: Илим, 1977. 231 с.

5. Танана В. П. Методы решения операторных уравнений. М.: Наука, 1981. 150 с.

6. Саадабаев А. Построение регуляризирующих операторов для решения нелинейных операторных и интегральных уравнений первого рода: автореф. дис. ... докт. ф.-м. наук. Новосибирск, 1993. 26 с.

7. Саадабаев А. Приближенные методы решения нелинейных интегральных и операторных уравнений 1-го рода. Бишкек. 1997. 218 с.

8. Колмогоров А. Н., Фомин С. В. Элементы теории функции и функционального анализа. М.: Наука. 2004. 572 с.

9. Усенов И.А., Сабиров Я.А. Регуляризация решения нелинейного операторного уравнения первого рода с линейными сходными операторами // Известия Кыргызского государственного технического университета имени И. Раззакова. 2009. № 17. С. 201-205.

10. Santhosh G., Kunhanandan M. Iterative Regularization Methods for III-Posed Hammerstein Type Operator Equation with Monotone Nonlinear Part // International Journal of Mathematical Analysis. 2010. Vol. 4. No. 34. P. 1673-1685.

11. Усенов И. А. Регуляризация решения операторного уравнения Гаммерштейна первого рода // Исследования по интегро-дифференциальным уравнениям в Киргизии: сборник статей. Вып. 41. Бишкек: Илим, 2009. С. 63-67.

12. Усенов И. А. Построение приближенного решения нелинейного операторного уравнения первого рода в гильбертовом пространстве // Вестник Московского государственного областного университета. Серия: Физика-Математика. 2016. № 1. С. 8-14.

1. Tikhonov A. N. [On the solution of ill-posed problems and method of regularization]. In: Doklady Akademii nauk SSSR [Soviet Mathematics], 1963, vol. 151, no. 3, pp. 501-504.

2. Tikhonov A. N., Arsenin V. Ya. Metody resheniya nekorrektnykh zadach [Methods for solving ill-posed problems]. Moscow, Nauka Publ., 1974. 223 p.

3. Lavrent'ev M. M. O nekotorykh nekorrektnykh zadachakh matematicheskoi fiziki [About some ill-posed problems of mathematical physics]. Novosibirsk, Izdatel'stvo Sibirskogo otdeleniya Akademii nauk SSSR Publ., 1962. 96 p.

4. Imanaliev M. I. Metody resheniya nelineinykh obratnykh zadach i ikh prilozhenie [Methods of solution of nonlinear inverse tasks and their application]. Frunze, Ilim Publ., 1977. 231 p.

Статья поступила в редакцию 18.01.2019 г.

ЛИТЕРАТУРА

REFERENCES

5. Tanana V. P. Methods for solution of nonlinear operator equations. Berlin, De Gruyter, 1997. 248 p.

6. Saadabaev A. Postroenie regulyariziruyushchikh operatorov dlya resheniya nelineinykh operatornykh i integral'nykh uravnenii pervogo roda: avtoref. dis. ... dokt. f.-m. nauk [The construction of regularizing operators for the solution of nonlinear operator and integral equations of the first kind: abstract of D. thesis in Physical and Mathematical sciences]. Novosibirsk, 1993. 26 p.

7. Saadabaev A. Priblizhennye metody resheniya nelineinykh integral'nykh i operatornykh uravnenii 1-go roda [Approximate methods for solving nonlinear integral and operator equations of the first kind]. Bishkek, 1997. 218 p.

8. Kolmogorov A. N., Fomin S. V. Elementy teorii funktsii i funktsional'nogo analiza [Elements of the theory of functions and functional analysis]. Moscow, Nauka Publ., 2004. 572 p.

9. Usenov I. A., Sabirov Ya. A. [Regularization of solutions of nonlinear operator equations of the first kind with similar linear operators]. In: Izvestiya Kyrgyzskogo gosudarstvennogo tekhnicheskogo universiteta imeni I. Razzakova [Proceedings of the Kyrgyz State Technical University named after I. Razzakov], 2009, no. 17, pp. 201-205.

10. Santhosh G., Kunhanandan M. [Iterative Regularization Methods for Ill-Posed Hammerstein Type Operator Equation with Monotone Nonlinear Part]. In: International Journal of Mathematical Analysis, 2010, vol. 4, no. 34, pp. 1673-1685.

11. Usenov I. A. [Regularization of the solution of the Hammerstein operator equation of the first kind]. In: Issledovaniya po integro-differentsial'nym uravneniyam v Kirgizii: sbornik statei. Vip. 41 [Studies on integro-differential equations in Kyrgyzstan: a collection of articles. Iss. 41]. Bishkek, Ilim Publ., 2009. pp. 63-67.

12. Usenov I. A. [Construction of an approximate solution of nonlinear operator equations of the first kind in a Hilbert space]. In: Vestnik Moskovskogo gosudarstvennogo oblastnogo universiteta. Seriya: Fizika-Matematika [Bulletin of Moscow Region State University. Series: Physics and Mathematics], 2016, no. 1, pp. 8-14.

ИНФОРМАЦИЯ ОБ АВТОРАХ

Усенов Изат Абдраевич - кандидат физико-математических наук, профессор кафедры дифференциальных уравнений Кыргызского национального университета имени Ж. Баласагына; e-mail: [email protected]

Кенжебаев Мирлан Курманалиевич - старший преподаватель кафедры математических методов в экономике Кыргызского экономического университета имени М. Рыскулбекова; e-mail: [email protected]

INFORMATION ABOUT THE AUTHORS

Izat A. Usenov - PhD in Physical and Mathematical Sciences, Professor at the Department of Differential Equations, Kyrgyz National University named after Jusup Balasagyn; e-mail: [email protected]

Mirlan K. Kenzhebaev - Senior Lecturer at the Department of Mathematical Methods in Economics, Kyrgyz Economic University named after M. Ryskulbekov; e-mail: [email protected]

ПРАВИЛЬНАЯ ССЫЛКА НА СТАТЬЮ

Усенов И.А., Кенжебаев М. К. Регуляризация решения операторного уравнения Гаммерштейна первого рода с приближенным оператором // Вестник Московского государственного областного университета. Серия: Физика-Математика. 2о19. № 1. С. 6-15. БО!: 1о.18384-231о-7251-2о19-1-6-15

FOR CITATION

Usenov I. A., Kenzhebaev M. K. Regularization of the solution to the Hammerstein operator equation of the first kind with an approximately specified operator In: Bulletin of Moscow Region State University. Series: Physics and Mathematics, 2019, no. 1, pp. 6-15. DOI: 10.18384-2310-7251-2019-1-6-15