Системы интегральных уравнений Романовского с частными интегралами Текст научной статьи по специальности «Математика»

УДК 517-9

СИСТЕМЫ ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ РОМАНОВСКОГО С ЧАСТНЫМИ ИНТЕГРАЛАМИ

SYSTEMS OF ROMANOVSKIJ INTEGRAL EQUATIONS WITH PARTIAL INTEGRALS

А.С. Калитвин, В.А. Калитвин, Н.И. Трусова A.S. Kalitvin, V.A. Kalitvin, N.I. Trusova

Липецкий государственный педагогический университет, Россия, 398020, г. Липецк, ул. Ленина, д. 42 Lipetsk State Pedagogical University, 42, Lenina St, Lipetsk, 398020, Russia

E-mail: kalitvinas@mail.ru; kalitvin@mail.ru; trusova.nat@gmail.com

Аннотация. Получены условия фредгольмовости для системы интегральных уравнений Романовского в пространствах непрерывных и непрерывно дифференцируемых функций.

Resume. The fredholmness conditions for systems of Romanovskij integral equations in the spaces of continuosly and of continuosly differentiable functions are obtained.

Ключевые слова: системы интегральных уравнений Романовского, частные интегралы, фредгольмовость системы.

_Key words: systems of Romanovskij integral equations, partial integrals, fredholmness of systems._

Введение

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

ь

\ш<

x(t, s) = J"m(t, s, <y)x(a, t)d& + f (t, s), (1)

и впервые изучавшему уравнение (1) в [1]. Более общие классы интегральных уравнений типа Романоского изучались в [2].

Через Му и м будем обозначать операторы, определяемые равенствами

ь

(М1]х])(?, = | ш1} а) а)йа, I, у = 1,..., п, (2)

м = (М ц) П у=1 (3)

где t, 5,а&[а, Ь], функции щ (¿, 5, а) измеримы по совокупности переменных, а интегралы понимаются в смысле Лебега.

Пусть Б = [а, Ь] х [а,Ь], С (Б) — пространство непрерывных на б функций, Ст(Б) — пространство непрерывно дифференцируемых на б функций, Сп (Б) и С(1)(Б) — пространства вектор-функций

Х(^ 5) = (Х1^, 5), ..., Хп (^ 5)), (4)

a

a

где еС(О) и х. е С(1)(О) соответственно, j = 1,...,п.

Через п обозначим оператор перестановки переменных у функции х($, '), то есть П: х{1,5) ^ х($, I). Очевидны следующие свойства оператора п:

1. п - линейный непрерывный оператор в С (О) и в С(1) (О);

2. ||п|| = 1;

3. п о п = I, где I - единичный оператор;

Будем рассматривать в пространствах С(О) и С (1)(О) системы интегральных уравнений Романовского с частными интегралами следующего вида:

6 (5)

xt (t, s) = ^jm (t, s, ct)Xj (ct, t)dCT + f (t, s), i = 1,..., n.

ij

j=1 'a

Систему уравнений (5) запишем в виде:

х(^ ') = (ыпх)(Г, 5') + /(Г, (6)

где х(1,5) — вектор-функция (4), /(I,= (I,'),...,/п(I,')), а м — матричный оператор (3). Условия фредгольмовости системы в пространстве Си (О)

Так как оператор п действует в Сп (О) и непрерывен, то действие и непрерывность в Си (О)

оператора мп равносильны действию и непрерывности в Сп (О) оператора М. Отсюда и теоремы 2.1 из [3] вытекает теорема 1.

Теорема 1. Равносильны утверждения:

1. В Сп (О) действует оператор МЛ;

2. В Сп (О) действует оператор М;

3. В С (О) действуют операторы ми, г, j = 1,..., п.

При этом оператор мп непрерывен. Отметим, что критерии действия и достаточные условия действия частично интегральных операторов му в С(О) приведены в [3]. Операторы Му (г,j = 1,...,п) не являются компатными в

С(О) даже в случае непрерывных ненулевых ядер [3]. Поэтому и оператор мп с такими же ядрами не является компактным оператором в С (О). Однако ситуация меняется для оператора (мп)2 в Сп(О). Данное обстоятельство позволяет получить условия фредгольмовости для уравнения (6) в Сп (О).

Замечание 1. Здесь и далее фредгольмовым уравнением в банаховом пространстве считается линейное уравнение х = ЯЛх + где / е X, л — ограниченный в х линейный оператор

и оператор

I-ЯЛ имеет нулевой индекс, то есть фредгольмов оператор. В силу теоремы 2 [4] из компактности оператора Л2 следует фредгольмовость оператора I — ЯЛ, то есть фредгольмовость уравнения х = ЯЛх + /.

Через С(1}) обозначим пространство непрерывных на о вектор-функций со значениями в I) = 1}([а, Щ). Пространство С(1}) состоит из функций а(1,а), для которых

J | a(t, s, ct) | dCT < const < <»,

(7)

J | a(t, s, ct) - a(tx, s ,ct)I dCT —> 0 (8)

a

при t — ij, s — s. C(L) — банахово пространство относительно нормы

b

||a|l , = sup j I a(t, s, ct) | dCT.

D a

a

b

Аналогично определяется пространство С(1}(0)), состоящее из функций Ъ(}, а, а ).

Теорема 2. Пусть f е Сп(Б) и пусть щ е С(Ь1) (¡,] =1,...,п)• Тогда уравнение (6) фредгольмово в Сп (Б).

Доказательство. В силу замечания 1 достаточно доказать компактность оператора (МЛ)2

в Сп (Б).

Учитывая теорему Фубини, оператор (МЛ)2 запишем в виде

(МЛ)2=(Ау ) Пу=1, (9)

где операторы А (¡,у = 1,.,п) определяются равенством

п

Ау = £мЛПМк,П, (10)

к=1

в котором операторы м1к ПМ^П допускают представление

ь ь

(МккПМкЛ)^, 5) = Щк ^, 5, а)(Щу (а, и а ), а^а^а =

а а

Ь Ь

= Цш'к 5 а)шку (а>t, а1)2(а1 > ) (11)

а а ,

где г е С(Б).

Покажем, что ядро Ь(^я,а,а) = щк(^5а)ш^(а,^а) е С(1)(П)). Имеем:

ЬЬ ЬЬ

Ц | Ь^,5,а,а) | dа1 dа = Ц | щк^,5,а)ш^(а,t,а) | dа1 dа =

а а

Ь

= | | Шкк ($, S, а) | (| | Шку (а, t, а1) | < Ску\ | Шкк ($, S, а) | ^ < С1кСку < ^

а а а

где Сл и С^. — константы, с которыми выполняется неравенство (7) для функций щк и шк. . С другой стороны:

Ь Ь

Ц | Ь^, 5,а, а ) - Ь(^, 5, а, а ) | dаldа =

Ь Ь

= 11 | Ш к ^, а)шку ('3, t, а1) - ш ¡к (1 , 1 , а)шку (а, t1, а1 ) |

ЬЬ

= Ц | ш¡к ($, s, а) - ш ¡к (1, ^ а) || шку 'у'3, t, а1 ) | +

+ 11 | ш ¡к ^1, а) || шку (а t, а1) - шку (а, t1, аl)||dаldа<

а а

< Ску\ | ш ¡к ^, а) - ш ¡к (1 , ^ а) | ^ + С ¡к I | шку (а, t, а1) - шку (а, t1, а 1 ) | ^1.

Из полученных оценок и условия (8) для функций ш1к и ш имеем, что

Ь Ь

Л | Ь^, э, а, а ) — Ь(^, 5, а, а ) | dаldа ^ 0

при t ^ ^ и 5 ^ 5.

а а

Ь

Ь

а а

Таким образом, функция Ь е С(1}(О)) при любых I, j,к =1,...,п. Следовательно, операторы м^пм^п компактны в С (О) [5]. Тогда в С (О) компактны операторы (10). В силу компактности операторов (10) в С(О) оператор (9), очевидно, компактен в Сл (О). Теорема доказана.

Так как непрерывные функции щ (г,j = !,...,п) принадлежат С(£г), то из теоремы 2

вытекает, что система интегральных уравнений Романовского с непрерывными ядрами является фредгольмовой в пространстве С (О).

Утверждение теоремы 2 справедливо, если ядра щ (г,j = 1,.,п) — ограниченные

измеримые функции, имеющие разрывы только вдоль конечного числа поверхностей а = ф (г, я) с

непрерывными функциями ф ; более того, оно справедливо, если ограниченность функций

заменить неравенствами ||ф(, я, а)|| р ^ с < да (1 < р < да, так как при этих условиях щ е С(1)) (г,j = 1,.,п) [3].

Утверждение теоремы 2 справедливо для уравнения (6) с ядрами типа потенциала, то есть с ядрами вида:

ти я, а)

_ пи (t, я, а)

и х ' ' ^ у..

I 5 — а |

где 0< у <1, а пу — непрерывные функции (¡, j = 1,...,п), так как ядра типа потенциала принадлежат С(1}) [3].

Условия фредгольмовости системы в пространстве С(1} (О)

Так же, как и в предыдущем разделе, операторы му (г,= 1,...,п) не являются компактными в Ст(О) даже в случае непрерывно дифференцируемых ненулевых ядер. Поэтому и оператор мп с такими же ядрами не является компактным оператором в С(11:(О). Однако оператор (мп)2 при естественных условиях на ядра является компактным в С (1)(О). Данное обстоятельство позволяет получить достаточно простые условия фредгольмовости для уравнения (6) в С^ (О).

Теорема 3. Пусть I еС^О) и пусть щ (г, j = 1,...,п) — непрерывно дифференцируемые функции. Тогда уравнение (6) фредгольмово в С(1)(О).

Доказательство. Так же, как в теореме 2, достаточно доказать компактность оператора (9) в С(1)(О). В виду равенства (10) достаточно убедиться в компактности операторов (11) в С(1)(О). Компактность же операторов (11) в С^(О) обеспечивается непрерывной дифференцируемостью функций щк(г,я,а)т^(а,г,а) (г,j = 1,.,п), которая вытекает из предполагаемой в условии теоремы

3 непрерывной дифференцируемости функций Щ (г,j = 1,.,п). Теорема доказана.

В заключение заметим, что фредгольмовость уравнения (6) в С(11:(О) может иметь место и

при меньших ограничениях на ядра тц (г,j = 1,...,п). В этом случае приходится использовать менее

ограничительные предположения о дифференцируемости под знаком интеграла Лебега с параметром [6].

Работа поддержана Минобрнауки России (Госзадание № 2015/351, НИР № 1815).

Список литературы

1. Romanovskij V.I. Sur une classe d'equations integrales lineares / V.I. Romanovskij // Acta Math.- 1932. - V. 59. - P. 99-208.

2. Калитвин А.С. Интегральные уравнения типа Романовского с частными интегралами / А.С. Калитвин. - Липецк: ЛГПУ, 2014. - 196 с.

Kalitvin A.S. Integral Equations of Romanovskij type with partial integrals / A.S. Kalitvin. -Lipetsk: LGPU, 2014. - 196 p.

3. Калитвин А.С. Линейные уравнения с частными интегралами / А.С. Калитвин, Е.В. Фролова. C-теория. - Липецк: ЛГПУ, 2015. - 195 с.

Kalitvin A.S. Linear equations with partial integrals / A.S. Kalitvin, E.V. Frolova. C-theory. -Lipetsk: LGPU, 2015. - 195 p.

4. Канторович Л.В. Функциональный анализ / Л.В. Канторович, Г.П. Акилов. - М.: Наука, 1984. - 752 с.

Kantorovich L.V. Functional analysis / L.V. Kantorovich, G.P. Arilov. - M.: Nauka, 1984. - 752 p.

5. Забрейко П.П. Интегральные уравнения / П.П. Забрейко, А.И. Кошелев, М.А. Красносельский и др. - М.: Наука, 1968. - 448 с.

Zabrejko P.P. Integral equations / P.P. Zabrejko, A.I. Koshelev and other. - M.: Nauka, 1968. -

448 p.

6. Макаров Б.М. Лекции по вещественному анализу / Б.М. Макаров, А.Н. Подкорытов. -Санкт-Петербург: БХВ-Петербург, 2011. - 688 с.

Makarov B.V. Lectures by real analysis / B.V. Makarov, A.N. Podkorytov. - Sankt-Petersburg: BXV-Petersburg, 2011. - 688 p.