Решение интегральных уравнений с помощьюрезольвент простейших дифференциальных операторов Текст научной статьи по специальности «Математика»

УДК 519.642.8

РЕШЕНИЕ ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ С ПОМОЩЬЮ РЕЗОЛЬВЕНТ ПРОСТЕЙШИХ ДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВ

А.А. Хромов

Саратовский государственный университет, кафедра дифференциальных уравнений и прикладной математики E-mail: [email protected]

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

Ключевые слова: интегральное уравнение, неограниченный обратный оператор, приближенное решение, резольвента.

Solution of Integral Equations via Resolvents of Simplest Differential Operators

A.A. Khromov

Families of operators for approximate solution of integral equations with unbounded inverse operators and right parts of equations specified by the root-mean-square approximations are constructed.

Key words: integral equation, unbounded inverse operator, approximate solution, resolvent.

Целый ряд задач, связанных с вопросами сходимости, оценок погрешности приближенных решений уравнений первого рода приводит к исследованию семейств операторов, аппроксимирующих точное решение [1]. Указанные операторы (по крайней мере, для известных методов регуляризации [2,

3]), в свою очередь, выражаются через резольвенты достаточно сложных неограниченных операторов, что создает значительные трудности при их исследовании. В настоящей работе изначально рассматриваются простейшие дифференциальные операторы и на их базе строятся семейства регуляризирующих операторов достаточно простой конструкции. При этом, кроме классических интегральных уравнений первого рода, рассматриваются уравнения, имеющие структуру уравнений второго рода, но в ситуации, когда обратный оператор является неограниченным.

1. Рассмотрим уравнение

1

Au = u(x) — (x,t)u(t)dt = f (x), (1)

0

где x e [0,1], ядро K(x,t) непрерывно по x и t, f(x) задана ее 5-приближением f (x) : ||f — f ||La < 5 (условимся в дальнейшем, что если в обозначениях различных норм не указывается отрезок, то это отрезок [0,1]), A-1 существует.

Тогда в пространстве L2[0,1] уравнение (1) есть интегральное уравнение Фредгольма второго рода. Рассмотрим случай, когда оператор A действует из C[0,1] в L2[0,1].

Лемма 1. Если в уравнении (1) A e (C[0,1] ^ L2[0,1]) и A-1 существует, то A-1 неограничен. Доказательство. Пусть ue(x) e C[0,1], ||ue(x)||C > 0, ue(x) = 0 при xe(x0 — e,x0 + e), где x0 e (0,1), e > 0 и достаточно мало. Обозначим fe = Aue. Тогда утверждение леммы следует из оценок

nielli < IIaIIl2^l2IKIIl < IIaIIl2^L^V2e|ue||c.

Из леммы 1 получаем, что уравнение (1) при A e (C[0,1] ^ L2[0,1]) есть уравнение первого рода. Рассмотрим операторы Tr f = Qr A-1 f, где

1

г/ er(x-t)u(t)dt = Or1 u, x e [0,1/2],

Xx (2)

г Je-r(x-t)u(t)dt = Or2u, x e [1/2,1].

0

Qr u = <

Эти операторы использовались в [4] для получения приближений к решению простейшего интегрального уравнения первого рода в случае когда оператор А действует в пространстве С[0,1]. При этом

© А.А. Хромов, 2GG9

0г1 = — гЛг(Ь2), Ог2 = гЛ_г(Ь]_), где Л_г(Ь]_) и Лг(Ь2) — резольвенты двух простейших диффе-

ренциальных операторов Ь и Ь2, имеющих одно и то же дифференциальное выражение 1у = у' и различающихся лишь начальными условиями: у(0) = 0 для Ь и у(1) = 0 для Ь2, со значениями спектрального параметра Л = —г для Ь и Л = г для Ь2.

Они обладают свойством

||Оги — и||ь^ ^ 0 при г ^ го. (3)

В этом легко убедиться, приняв во внимание, что в данном случае

1 ■ [0,1] = тах{|| ■ ||с[о,1/2], У ■ ||с[1/2,1]}.

Будем считать, что операторы Тг действуют из Ь2[0,1] в Ь^[0,1].

Применим операторы Тг к функции /г (х).

Теорема 1. Если и(х) е С[0,1], /г(х) е Ь2[0,1], ||/г — /||^2 < 5, где / = Аи, то для сходимости

||Тг Д — и||ь^ ^ 0 при 5 ^ 0

достаточно выбрать г = г(5), так чтобы г(5) ^ +го, г(5)52 ^ 0 при 5 ^ 0.

Доказательство. Имеем:

||тг/"г — и1|ь^ < (/г — /)|ь^ + Аи — и1|ь^. (4)

Далее,

||ТГ Аи — и|ь^ = ||Ог и — и|ь^,

1Т (/г — /)||^ < ||ПГ — / )|12 < С ЦО- 1к 5, С = С (Л),

в силу ограниченности А-1 в Ь2[0,1].

Из равенства ||Ог= шах{||0Г1[о,1]^с[0,1/2], ||^г2Ц^од^с[1/2,1]} и вида (2) операторов Ог получаем

г1/2

= ^^(1 — «_' )1/2 • (5)

Отсюда и из (3) следует утверждение теоремы.

Для наглядности изложенного метода и конкретизации операторов Тг рассмотрим случай уравнения с вырожденным ядром:

П

К(х,£) = ^ & (х)^ (і),

г=1

где {дг(х)}, {г^(£)}, г = 1,..., п — линейно независимые системы функций. В этом случае решение уравнения (1) имеет вид ([5])

П

и(х) = А^Сг.дг(ж)+ / (х), (6)

г=1

где сг находятся из алгебраической системы уравнений:

П

С - А^«у С^ + вг = 0, І = 1,...,П, (7)

.7 = 1

= (& ,^г), А = (/>г).

Определитель системы имеет вид

1 — Лац —Л«12 ■ ■ ■ —Л«1Г

А(Л) = '

— Лап1 — Лап2 ■ ■ ■ 1 — Лапп

А(Л) = 0, поскольку А-1 существует.

Обозначим через 7^ — алгебраическое дополнение элемента, стоящего в ]-й строке, г-м столбце определителя А(Л), взятое с противоположным знаком.

Тогда из (6),(7) получим:

Л п

А-1 / = АТл) ? ъ'г (/, ^ )№ + /.

М = 1

При этом справедлива оценка:

IIА-1 /||ь2 < С7(Л,п)П/||ь2,

~ 1А1 П

где <^(Л,п) = 1+ |^(Ау| £ N1^ 11^2.

М=1

Отсюда и из (5) справедлива оценка:

ЦТ-Ць,^, < Сг1/25, Сами же операторы Тг будут иметь вид:

гд0 с = С(А>П)

где С = 72

Тг / I ад* е [0,1/2], (8)

1 Тг2/, * е [1/2,1].

где

1

Тг1/ = АТЛ) ^ ) J ег(х г)^г(^)^^ + ^ ег(х 1)/(9)

*’^ = 1 X X

X

Тг2/ отличается от Тг1/ заменой интегралов в правой части (9) интегралами /е_г(х_^удг(£)^£ и

х

/е_г(х_^у/(£)^£ (соответственно).

0

Таким образом, доказана

Теорема 2. Если в уравнении (1) ядро К(*, £) вырожденное, то операторы Тг имеют вид (8).

2. Рассмотрим уравнение Вольтерра первого рода:

X

Аи = J А(*, £)и(£)^£ = /(*), (10)

0

где А е (С[0,1] ^ Ь2 [0,1]).

а) Пусть сначала А(ж,£) = 1. Очевидно, в этом случае А_1/ = /', /(0) = 0.

Если мы, как в разд. 1, построим семейство операторов ИгА_1, то при интегрировании по частям придем к выражениям:

Иг А_1 / = <

1

г2/ е_г(*_х)/(£)^ + ге_г(1_х)/(1) — г/(*), * е [0,1 /2],

Х х (11)

—г2/е_г(х_*)/(£)^£ + г/(*), * е [1/2,1].

0

Присутствие неинтегральных слагаемых делает указанные операторы неограниченными (как операторы из Ь2 [0,1] в Ь^ [0,1]).

(2) Г^21, * е [0,1/2],

Возьмем тогда вместо Иг операторы ИГ = <

№, * е [1/2, 1].

Лемма 2. Операторы И2) имеют вид

ИГ2) и = <

1

г2 /(£ — ж)ег(х_^и(£)^£ = И21и, * е [0,1/2],

хх (12)

г2 /(* — ^)е_г(х_^)и(£)^£ = И22и, * е [1/2,1].

о

1

Доказательство легко получается, если взять по частям интегралы

11 х £

I ег(х_'^ ег('_т)и(т)^т^ и I е_г(х_'^ е_г('_т)и(т)^Т^.

Лемма 3. Справедливы представления:

И(2)А_1 / = / —гИг1/ + гИ21/ + г2е_г(1_х)(1 — *)/(1), * е [0, 1/2],

Г 1 гИг2/ — гИ22Л * е [1/2, 1].

(13)

Доказательство получим, если применим операторы (12) к /'(*) и проведем интегрирование по частям.

В выражениях (13) опять присутствует неинтегральное слагаемое, но в отличие от (11) это слагаемое может быть как угодно малым при больших значениях г. Учитывая это обстоятельство, возьмем в качестве регуляризирующих операторов операторы

Т0/ ( —гИг1/ + гИ21 Л * е [0, 1/2^ ( )

Г \ гИГ2/ — гИ/ * е [1/2, 1],

т.е. отбросим неинтегральное слагаемое в (13).

Пусть / = Аи. Выясним вопрос о приближающих свойствах операторов Тг0А. Из (13) и (14) получим:

Т°Аи = <

1

— г2е-г(1-х) /и(£)^£, х Є [0,1/2],

о

И^и, * е [1/2,1].

Лемма 4. Если и(*) е С2[0,1], то ||И(2)и — и||ь^ ^ 0 при г ^ го.

Доказательство. Рассмотрим И^и = Игг(Игги), г = 1, 2. Используя выражения для Игг из (2) и беря интегралы по частям, получим:

И^ и = —г(1 — *)е_г(1_х)и(1) — е_г(1_х)и(1) + и(*) — (1 — *)е_г(1_х) и' (1)+

1 1 +2 У ег(х_') и'(£)^ + I ег(х_') (£ — ж)и"(*)сЙ; (16)

хх

х х

И22и = и(*) — е_гхи(0) — г*е_гхи(0) + *е_гхи'(0) — 2^ е_г(х_*)и'(£)^£ + J е_г(х_^) (* — £)и''(£)^£.

о о

Из выражений (16), учитывая, что оператор И^ действует на отрезке [0,1/2], а И^ — на отрезке [1/2,1], получаем оценки:

ЦИ^ и — и||с [о,1/2] = 0(ге_г/2 ||и|с ) + 0(е_г/2||и||с ) + 0(е_г/2 ||и'|с ) + 1| и' ||с) + ||и''||с) .

Такие же оценки имеет норма ЦИ^и — и|С[1/2,1].

Отсюда следует утверждение леммы 4.

Следствие. Если и(*) е С2[0,1], то ||Т°Аи — и||ь^ ^ 0 при г ^ го.

Лемма 5. Для операторов ТО, к = 1,2, справедливы оценки:

ЦТ^АЦс [о, 1/2] = 0(1), НТО А|с[1/2,1] = 0(1).

Доказательство. Для операторов Игк, к = 1, 2, справедливы очевидные оценки:

ЦИгй и|с = 0(||и||с),

Известия Саратовского университета. 2009. Т.9. Сер. Математика. Механика. Информатика, вып.1 где для к = 1 берется отрезок [0,1/2], для к = 2 — отрезок [1/2,1]. Но тогда и

||Иг&(Иг&и)|С — °(||и||с ).

Из (15) вытекает, что эти же оценки справедливы и для ТДАи.

На основании следствия из леммы 4, леммы 5 и теоремы Банаха - Штейнгауза справедлива Теорема 3. Для любой непрерывной функции и(*) имеет место сходимость:

||Т°Аи — и||ь^ ^ 0 при г ^ го.

Теперь рассмотрим случай, когда операторы Т° применяются к функции /г(*).

Лемма 6. Для норм операторов Т° справедливы равенства, асимптотические по г при г ^ го:

г3/2

КОЦь= —+ 0(г7/2е_г). (17)

Доказательство. Имеем:

||ТЛ|ь2 = шах{||Т°11^2 [о,1]^С [о,1/2], ||Т°2 11^2 [о,1]^С [1/2,1] },

1/2

1Тг1 II ^2 [о, 1]^ С [о, 1/2] = шах I I К^1 (*,Ь)^Ь

о<х<1/2

х \ 1/2

2

11Тг2 |1^2 [о,1]^С[1/2,1] 1/ШаХ<1 1 ] Кг2 (*, Ь)^Ь

о

где в соответствии с (2), (12) и (14)

Кг 1 (*, Ь) = г2(—1 + г(Ь — ж))ег(х_^, Кг2(*, Ь) = г2(1 — г(* — Ь))е_г(х_^).

Пусть * е [0,1/2]. Тогда, делая замену Ь — * = £, получим

1 1_х 3

J К21(*, Ь)^Ь = г^ У (г£ — 1)2е_2г^= гр + 0(г5е_г),

хо

откуда будем иметь равенство:

г3/2

||Т°111^2 [о,1]^С [о,1/2] = —2-+ °(г7/2е Г).

Такая же ситуация будет иметь место и для ||Т°2 ||Ь2[о,1]^С[1/2,1].

На основании теоремы 3, леммы 6 и оценки (4), записанной для операторов Т°, для операторов Т справедлива

Теорема 4. Для сходимости

||Т°/г — и|ьте ^ 0 при г ^ го

достаточно выбрать г = г(5), так чтобы г(5) ^ +го, г3/2(5)5 ^ 0 при 5 ^ 0.

б) Пусть теперь А(*,Ь) в уравнении (10) — ядро, имеющее непрерывные производные Ах(*, Ь) и Ах^(*,Ь), причем А(*,*) = 1, а Ах(*,Ь)|^=х =0.

Тогда

/ = /' + Л/', (18)

где N = — Ах + Ах — Ах + ■ ■ ■, Ах — интегральный оператор с ядром Ах (*,£).

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

По аналогии с предыдущим случаем рассмотрим операторы:

И2)А-1/ — г2е-г(1-х)(1 — х)/(1) = ТГ1 /, х Є [0,1/2],

х Є [1/2,1].

И2) А-1/ = Т/

Лемма 7. Операторы Тг имеют вид:

где Тг°/ определены в (14),

Тг / = Тг°/ + ТгМ /,

г2/N(х,£,г)/(£)^£, х Є [0,1/2],

х

г2 / N(х,£,г)/(£)^£, х Є [1/2,1],

о

N (х, £,г) = <

— /(т — х)е г(т х)Л(т, £)^т, £ < х, х Є [0,1/2],

х

1

— /(т — х)е-г(т-х)Л(т, £)^т, £ > х, х Є [0,1/2],

І

— /(х — т)е-г(х-т>Л,(т,«)гіт, х Є [1/2,1].

(19)

Из (18),(19) имеем:

Тгі/ = П2і/' — г2е-г(1-х> (1 — х)/(1) + И?! (Л/') = Т° / + П?!(Л/'),

Тг2 / = и22 /' + И22(Л/') = Т°2/ + И° 2(Л/').

Обозначим Тг«/ = ИГ )(Л/'), где N7' = /N(*, Ь)/(Ь)^Ь. Беря последний интеграл по частям и

о

учитывая, что N(*,*) = 0, /(0) = 0, получаем:

(Л/') = —г2 1(1 — х)е г(і х) / Лт(£,т)/(т)^т^£.

Меняя порядок интегрирования, а затем меняя ролями £ и т, приходим к выражению Тг^/ в лемме при х Є [0,1/2]. Аналогично получаем выражение ТгN/ для отрезка [1/2,1].

Теорема 5. Для операторов Тг справедлива теорема 4 с заменой Т°° на Тг.

1

Доказательство. Для операторов ТГА справедливы выражения (15) с заменой J и(£)^£ на

о

1

/ А(1, £)и(£)^£. Значит, будет справедлива и теорема 3 с заменой ТГ°А на ТГА. о

Далее, для норм ||Т^справедлива оценка: ||Т^||ь2= О(г). Действительно, обозначим

Т . ( Т$/, х Є [0,1/2],

Т"/ = 2$/, х Є [1/2,1].

Из леммы 7 имеем:

ІТг(А)/ II с [о, 1 /2] < г2 іЛі(т,£)|с[о,1М (т — х)е г(т х)^т ||/||ь.

откуда получаем требуемую оценку. Аналогично оцениваем ЦТ^у/||с[1/2,1].

Наконец, пользуемся оценкой (4)и приходим к утверждению теоремы.

Работа выполнена при финансовой поддержке гранта Президента РФ на поддержку ведущих научных школ (проект НШ-2970.2008.1).

х

1

І

1

2

Библиографический список

1. Иванов В.К., Васин В.В., Танана В.П. Теория линейных некорректных задач и ее приложения. М.:Наука, 1978.

2. Тихонов А.Н. О регуляризации некорректно поставленных задач // Докл. АН СССР. 1963. Т. 153. № 1. С. 49-52.

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

4. Хромов А.А. О приближенном решении уравнения первого рода с оператором интегрирования // Современные методы теории краевых задач: Материалы Воронеж. весен. мат. школы «Понтрягинские чтения -XIX». Воронеж: Издат.-полиграфич. центр ВГУ, 2008. С. 224-225.

5. Михлин С.Г. Лекции по линейным интегральным уравнениям. М.: Гос. изд-во физ.-мат. лит-ры, 1959.

УДК 517.54

ОДИН СЛУЧАЙ ЗАДАЧИ ГИЛЬБЕРТА С ОСОБЕННОСТЯМИ КОЭФФИЦИЕНТОВ

П.Л. Шабалин

Казанский архитектурно-строительный университет, кафедра высшей математики E-mail: [email protected]

Рассмотрена задача Гильберта со счетным множеством точек разрыва первого рода коэффициентов в ситуации, когда ряд, составленный из скачков аргумента функции коэффициентов, расходится, а индекс задачи конечен. Получена формула общего решения этой задачи, исследована картина разрешимости.

Ключевые слова: краевая задача Гильберта, индекс задачи, задача Шварца.

Certain Case of the Riemann - Hilbert Boundary Value Problem with Peculiarities of Coefficients

P.L. Shabalin

We consider the Riemann - Hilbert boundary value problem for a case where the coefficients have countable set of discontinuity points of the first kind such that the series of jumps of argument of the coefficient function is divergent, but the index of the Hilbert problem is finite. We derive the formulae for general solution of the problem and investigate the picture of solvability.

Key words: Riemann - Gilbert value problem, finite index, Schwarz value problem.

Задача Гильберта для полуплоскости — это задача об определении аналитической в верхней полуплоскости Б = {г : г = * + гу, у > 0} функции Ф(г) по заданному краевому условию:

а(Ь)КеФ(Ь) — Ь(Ь)1шФ(Ь)= с(Ь). (1)

Ситуация, когда коэффициенты краевого условия а(Ь), Ь(Ь) непрерывны на вещественной оси всюду, кроме конечного множества точек разрыва первого рода, изучалась в работах [1, с. 467; 2, с. 302; 3;

4]. Задача Гильберта со счетным множеством точек разрыва коэффициентов впервые исследовалась Р.Б. Салимовым и П.Л. Шабалиным в работе [5, с. 108]. В статье [6] эта задача изучена в случаях, когда ряд, составленный из скачков в точках разрыва коэффициентов функции V(Ь) = ащС(Ь), С(Ь) = а(Ь) — гЬ(Ь), сходится, и индекс задачи конечен, либо указанный ряд расходится, и индекс обращается в плюс бесконечность. В данной статье эта задача рассмотрена в еще не изученном случае, когда коэффициенты имеют счетное множество точек разрыва первого рода, причем указанный ряд расходится, но индекс задачи конечен.

Случай бесконечного множества точек разрыва коэффициента краевой задачи Римана ранее изучался М.И. Журавлевой в работах [7, 8], в которых допускается обращение коэффициента краевого условия в нуль или в бесконечность целого порядка в бесконечном множестве точек. Такие особенности коэффициента не характерны для задачи Гильберта. Потому использование результатов М.И. Журавлевой для решения задачи Гильберта со счетным множеством точек разрыва первого рода коэффициентов методом Н.И. Мусхелишвили не выглядит перспективным, так как требует особого нетривиального рассмотрения.

Рассмотрим задачу об определении аналитической в верхней полуплоскости Б функции Ф(г) по краевому условию (1), которое выполняется на вещественной оси Ь всюду, кроме сгущающейся на

© П.Л. Шабалин, 2GG9