Научная статья на тему 'Фредгольмовость составных двумерных интегральных операторов с однородными ядрами сингулярного типа в пространстве l p'

Фредгольмовость составных двумерных интегральных операторов с однородными ядрами сингулярного типа в пространстве l p Текст научной статьи по специальности «Математика»

CC BY
160
15
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
СИНГУЛЯРНЫЕ УРАВНЕНИЯ / SINGULAR EQUATIONS / ОПЕРАТОРЫ СВЁРТКИ / CONVOLUTION OPERATORS / ОДНОРОДНЫЕ ЯДРА / HOMOGENEOUS KERNELS / ФРЕДГОЛЬМОВОСТЬ / FREDHOLM PROPERTY

Аннотация научной статьи по математике, автор научной работы — Деундяк Владимир Михайлович, Романенко Елена Анатольевна

Ранее авторами изучалась фредгольмовость двумерных интегральных операторов с однородными ядрами послойно сингулярного типа. Для такого класса операторов символическое исчисление строилось методами теории операторов билокального типа В. С. Пилиди, и фредгольмовость выражалась через обратимость двух семейств: семейства операторов одномерной свёртки и семейства одномерных сингулярных интегральных операторов с непрерывными коэффициентами. Цель данной работы изучение составных двумерных интегральных операторов с однородными ядрами послойно сингулярного типа, аналогичных введенным И. Б. Симоненко операторам составной континуальной свёртки. Это исследование проводится в рамках изучения более общей алгебры операторов с однородными ядрами, которые послойно являются сингулярными операторами с кусочно-непрерывными коэффициентами. Для изучаемых операторов построено символическое исчисление и найдены необходимые и достаточные условия фредгольмовости.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Деундяк Владимир Михайлович, Романенко Елена Анатольевна

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

FREDHOLM PROPERTY OF COMPOSITE TWO-DIMENSIONAL INTEGRAL OPERATORS WITH HOMOGENEOUS SINGULAR-TYPE KERNELS IN L p SPACE

The authors have previously studied two-dimensional Fredholm integral operators with homogeneous kernels of fiber-singular type. For this class of operators, the symbolic calculus is built using the theory of bilocal operators by V. Pilidi, and Fredholm criterion is formulated through the inversibility of two families: the family of one-dimensional convolution operators, and the family of one-dimensional singular integral operators with continuous coefficients. The aim of this work is to study composite two-dimensional integral operators with homogeneous kernels of fiber-singular type analogous to Simonenko’s continual convolution integral operators. This investigation is a part of a more general study of algebra of operators with homogeneous kernels which layers are singular operators with piecewise continuous coefficients. For the considered operators, the symbolic calculus and the necessary and sufficient Fredholm conditions are obtained.

Текст научной работы на тему «Фредгольмовость составных двумерных интегральных операторов с однородными ядрами сингулярного типа в пространстве l p»

УДК 517.9 й01: 10.12737/3501

Фредгольмовость составных двумерных интегральных операторов с однородными ядрами сингулярного типа в пространстве Lp

В. М. Деундяк, Е. А. Романенко

Ранее авторами изучалась фредгольмовость двумерных интегральных операторов с однородными ядрами послойно сингулярного типа. Для такого класса операторов символическое исчисление строилось методами теории операторов билокального типа В. С. Пилиди, и фредгольмовость выражалась через обратимость двух семейств: семейства операторов одномерной свёртки и семейства одномерных сингулярных интегральных операторов с непрерывными коэффициентами. Цель данной работы — изучение составных двумерных интегральных операторов с однородными ядрами послойно сингулярного типа, аналогичных введенным И. Б. Симоненко операторам составной континуальной свёртки. Это исследование проводится в рамках изучения более общей алгебры операторов с однородными ядрами, которые послойно являются сингулярными операторами с кусочно-непрерывными коэффициентами. Для изучаемых операторов построено символическое исчисление и найдены необходимые и достаточные условия фредгольмовости. Ключевые слова: сингулярные уравнения, операторы свёртки, однородные ядра, фредгольмовость.

Введение. Исследование в пространстве Lp (Л"), где 1 < р < +<», п > 2, операторов вида:

(Л (Г))(х) = \к (х, у)Г (у)у

Л"

с однородными, степени (-"), ядрами начато Л. Г. Михайловым. Вопросам разрешимости таких операторов с переменными коэффициентами посвящены работы Н. К. Карапетянца, С. Г. Самко, О. Г. Авсянкина и других авторов ([1, 2] и цитированные в них источники). Кроме условий однородности в данных работах на ядра накладывались и существенно использовались условия инвариантности относительно диагонального действия группы ортогональных преобразований S0("). В [3, 4] рассматривались классы ядер компактного и сингулярного типа, включающие в себя S0(")-инвариантные ядра, а также методами теории операторов локального [5] и билокального типа [6] исследовалась разрешимость операторов с однородными ядрами и переменными коэффициентами. Топологические свойства пространств обратимых и фредгольмовых операторов из этого класса изучались в [7]. Ключевым моментом при исследовании различных классов операторов с однородными ядрами является установление связи с соответствующими алгебрами операторов свртки.

В работе И. Б. Симоненко [8] введены и исследованы операторы составной свёртки, связанные с семейством конусов. Представляет интерес изучение аналогов таких свёрток в теории операторов с однородными ядрами, и целью настоящей работы является изучение составных двумерных интегральных операторов с однородными ядрами сингулярного типа. Отметим однако, что исследование фредгольмовости таких операторов целесообразно проводить в рамках изучения более общей алгебры двумерных операторов с однородными ядрами РС -сингулярного типа, которые послойно являются одномерными сингулярными интегральными операторами с кусочно-непрерывными коэффициентами. Основная часть настоящей статьи состоит из трёх разделов. В первом вводятся составные двумерные интегральные операторы с однородными ядрами послойно сингулярного типа. Второй раздел посвящён построению символического исчисления и условиям фредгольмовости для двумерных интегральных

* Работа поддержана Минобрнауки РФ (соглашение 14.А18.21.0356) и внутренним грантом ЮФУ Мм 13-16 «Дифференциальные и интегральные уравнения. Приложения к математической физике и финансовой математики».

операторов с однородными ядрами PC -сингулярного типа. В третьем — выписаны условия фредгольмовости составных операторов в модельном случае.

1. Составные двумерные интегральные операторы с однородными ядрами сингулярного типа. Введём необходимые общие обозначения. Если B — произвольное банахово пространство, то End (B) — банахова алгебра всех линейных ограниченных операторов в B,

Comp [Б) — идеал компактных операторов, Fr (B) — пространство фредгольмовых операторов. Через U+ обозначим унитализацию произвольной банаховой алгебры U. Изоморфизм банаховых пространств a: B1 ^B2 задаёт изоморфизм подобия банаховых алгебр а : End(B1 ) ^End(B2) по правилу:

а (A) = aAa-1, As End (B1). (1)

Для компакта X и банахова пространства Y через C (X;Y) обозначим пространство непрерывных отображений X в Y . Если Y — банахова алгебра, то и C (X; Y) — банахова алгебра с обычными операциями. Для локально компактного не компактного X через X = X обозначим компактификацию точкой да; пусть C0 (X;Y) = jp: ф sC (X;Y) ,ф (да) = oj.

Тождественное преобразование произвольного множества X будем обозначать через idX .

На прямой R , плоскости R2 и единичной окружности T (с R2) введём стандартные меры и ориентации. Пусть R+ и R_ — положительная и отрицательная полуоси прямой R. Определённая на R2 функция k называется однородной степени (-2), если выполняется условие:

Va е R+, Vx, y е R2: k (ax, ay) = a2k (x, y). (2)

Далее 1< p, q< да, 1 +1 = 1. Будем полагать, что однородная степени (-2) функция k

p q у '

I еР2

принадлежит классу Мр (л2), если почти для всех р е R2

-2 -2 I к (1, р)| |р| Р dр < да, | к (р, 1)| |р| я dр < да.

л2 л2

Оператор

(^ {Г))(х) = \к (х, у)Г (у^у, (3)

л2

где к е МР (л2), является ограниченным в пространстве Lp (л2) [1]. Замкнутую подалгебру банаховой алгебры End (¡-р (л2)), порождённую операторами вида (3), обозначим через Ор(мр (л2)). При исследовании операторов с однородными ядрами удобно перейти от

декартовой системы координат в л2 к полярной системе. Этот переход задаёт изоморфизм

п: Lp (л2 Lp (л+хТ, л ® 1), который определяет изоморфизм подобия банаховых алгебр (см (1))

п: End(Lp (л2 End (л+хТ, г ® 1)). (4)

Пусть Ор (Мр (л2)) = П (Ор(Мр (л2))).

В пространстве Lp (R+, r) рассмотрим банахову алгебру Vp,r (R+), порождённую операторами вида:

+да

(Rk (f ))(r)=!k(r,p)f (pd (5)

0

где ядро k(r, р) удовлетворяет двум условиям: однородности степени (-1), то есть

Va eR+, Vr, р eR+: k(ar,ap) = a_1k(r,p) и суммируемости ([1], раздел 4.1):

+да -2 +да -2

J k(1,p)| |p| pdp< да, J k (p, 1) |p|qdp< да. (6)

00

Пространство ядер, удовлетворяющих таким условиям, обозначим J1 (R+). Рассмотрим в пространствах Lp (R) и Lp (T) сингулярные интегральные операторы Коши:

(SRf>« = МТУy (Sf)(x) = ^X-yy (7)

Пусть PR ± = 2 (IR ± SR), PT ± = 2(IT ± ST), wp (T) — банахова алгебра, порождённая ST и

операторами умножения на функции из C (T).

Рассмотрим топологическое тензорное произведение Ц'р = Vp r (R+)® wp (T) (с Endp (R+ xT), r ® 1) [6, 11, 15]. При расслоении проколотой нулем плоскости на центрированные окружности операторы из Цр = П х{Цр) можно интерпретировать как послойно сингулярные операторы с непрерывными коэффициентами [12]. Пусть х0 — характеристическая функция единичного круга плоскости R2 с центром в нуле, хда = 1 - Х0, а Шр — замкнутая подалгебра

банаховой алгебры End (Lp (R2)), порождённая операторами вида:

А = KI + X0A0+ X „Ада+ F, (8)

где K е C , F eComp(Lp (R2)), A0, Адае Цр. Операторы из Шр назовём двумерными интегральными операторами с однородными ядрами сингулярного типа [4].

По аналогии с [8] введём составные операторы с однородными ядрами. Пусть Yj —

положительная ориентированная дуга T с началом в tj и концом в t;41, где j = 1,...,m, tm+1 = t1; int (yj) = Yj \ = . Пусть Гj — угол в R2 с центром в 0 и высекающий на T дугу yj, а РГ, е End (Lp (R2)) — оператор умножения на характеристическую функцию хГ;. ■ При переходе к полярной системе координат РГ = 1 ® PY . Составным оператором с однородным ядром будем называть оператор вида:

£Р,А„ А,е Шр . (9)

i

Приведём модельный пример такого оператора. В силу того, что операторы с однородными ядрами естественно рассматривать в полярной системе координат, то будем предполагать, что определённый ниже оператор действует в пространстве Lp (R+ xT,r ® 1). Пусть

B = EP ((XoB3i,- + XBi, + )® (с,,-PT,- + Ci,+Pt, + )), (10)

где х0 и xда — характеристические функции множеств (0,1] и [1, да); Ba — оператор вида (5); Ci, ± е C (T) .

В разделе 2 будет построена банахова алгебра двумерных интегральных операторов с однородными ядрами РС -сингулярного типа Шр (Е), содержащая как операторы из банаховой

алгебры Шр, так и операторы вида (9).

2. Разрешимость двумерных интегральных операторов с однородными ядрами ЯС-сингулярного типа.

2.1. Сингулярные операторы с ЯС-коэффициентами. Приведём необходимые для дальнейшего конструкции из [10]. Пусть wp (л)(с End(Lp (л))) банахова алгебра интегральных операторов вида:

А = ар _ + а+Рл,+, (11)

где а±еС . Соответствие (А ^ а+) определяет гомоморфизмы

Ф±: ^Ур (л)^ С. (12)

Через ир обозначим замкнутую подалгебру алгебры End (¿р (л)), порождённую \мр (л) и оператором умножения на характеристическую функцию х_ полуоси л . Сопоставление оператору из ир его локальных представителей из (л) на л± задаёт гомоморфизмы

Ф± : ир ^ 1Ур (л). (13)

Пусть л двухточечная компактификация прямой л точками ±да, Ср (л) замыкания пересечения С (л) и пространства функций с ограниченной вариацией по норме пространства мультипликаторов в 1р (л). Известно, что Ср (л) — банахова алгебра, гомоморфно и

непрерывно вложенная в С (л), причём Ср (л) плотно в С (л) С2 (л) = С (л). Через Вр обозначим банахову алгебру матриц-функций порядка 2, у которых элементы принадлежат Ср (л), а значения в ±да есть блочно-диагональные мартицы; норма в Вр задаётся равенством:

2 2

Шр =Х§1 \ьАр{щ ■

Рассмотрим такой изоморфизм банаховых алгебр

м: ир ^ Вр2, (14)

что: 1) м (а) = diag [а; а], ае L(2; С); 2) м (х _) = diag [1,0 ]; м (X +) = diag [0,1]; 3) при

(м s ))(р) =

( th (пр) -i (ch (пр ))Л i (ch (пр))' - th (пр)

где р = y — - 2j i, y e R . Пусть HP (-) — банахова алгебра Up -значных функций a ,

определённых на T , для которых: a(t)ewp (R), где t eT \-; a непрерывна в точках из T а в точках из - может иметь разрывы первого рода и lim at = ф±(а(^)). Норма в

t —> to ±0 ^ ^ ''

HP (-) задаётся равенством ||a||H = sup||a(t)|(T)). Обозначим через wp (T;-) замкнутую

подалгебру алгебры End (Lp (T)), порождённую оператором ST и операторами умножения на кусочно-непрерывные функции, которые определены на Т и непрерывны на T \ Е .

Сопоставление оператору из wp (T; Е) его локальных представителей в точках из T определяет гомоморфизм

Qp,: Wp (T;Е) ^ Hp (Е), (15)

называемый операторным символом. Теперь рассмотрим матричный символ. Пусть T (Е) = (T \ Е) U (Е х R), где Е с T, с топологией, определяемой вклеиванием в Т вместо каждой

точки из Е экземпляра ориентированной прямой R . Через Np (Е) обозначим множество таких

отображений M : T(Е) ^L(2;C), которые при записи M = (Mjk).^12 удовлетворяют условиям:

1) если t е Е , то M|{t}x_ е BP ;

2) если t е T \ Е, то M12 (t) = M21 (t) = 0;

3) Mn, M12, M21 eC (T (Е); L(2;C)), а M22 е C((T_ (Е); L(2; C)), где T _ — окружность с ориетаци-ей, противоположной ориентациии на Т. Зафиксируем матрицу V(eC(R;GL(2,C))) с элементами из Cp (R), для которой

v (_»)=( J? )v (-)=( °0) ■ (16)

Пусть aeHp (Е). Определим отображение hp,E (a): T (Е ) ^ L(2; C) следующим образом: для t е T \ Е пусть

(h^ (a))(t) = diag[v_ (a(t));V+(a(t))], где ф± — гомоморфизмы (12), а для t = (t0, y) e Е x R пусть

(h2p,i (a))(t) = V _1 (y)((, (a(t0 )))(y))v (y),

где , — изоморфизм (14). Сопоставление (a ^ hp,E (a)), где a e Hp (Е), определяет изоморфизм банаховых алгебр

hp,E (a): Hp (ЕN (Е) ■ (17)

Матричнозначный символ для wp (T;Е) определяется как композиция:

Qp.E = hp, Естp■ е : Wp (T; ЕN] (Е) ■ (18)

2.2. Банахова алгебра Шр (=). Рассмотрим банахову алгебру

Цр (Е) = Vp,r (R+)® Wp (T; Е)(с End (Lp (R+ x(T;E)), r ® 1)) ■ При расслоении проколотой плоскости на центрированные окружности операторы из банаховой алгебры Цр (Е) = п 1 (Vp, r (R+)®wp (T; E))(с End (Lp (R1))) можно рассматривать как послойно

сингулярные операторы с кусочно-непрерывными коэффициентами. Далее операторы из Цр (Е) будем называть двумерными интегральными операторами с однородными ядрами

PC -сингулярного типа. Пусть Шр (-) — замкнутая подалгебра End (Lp (R2)), порождённая операторами вида:

A = KI + XoAo + ХА + F, (19)

где Л еС , F e Comp(Lp (R2)), A0, e Цр (-) (см. (8)). Установим связь этой алгебры с теорией

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

операторов билокального типа.

Рассмотрим замкнутую подалгебру Vp (R) банаховой алгебры End (Lp (R)), порождённую операторами свёртки

(Ce (f ))(x)= Ja(x - y)f (y)dy, (20)

—да

где ae L1(R). Отметим, что эта алгебра пространственно подобна алгебре Vp,r (R+).

Действительно, изоморфизм подобия задаётся конструкцией (1) и изоморфизмом v : Lp (R+, r) ^ Lp (R), определённым формулой

(v (g))(t) = exp Pj g(exp (—t)), t e R. (21)

Через Wp (R) обозначим замкнутую подалгебру алгебры End (Lp (R)), порождённую операторами вида

B = Л1 + Mx A + Mx A+ + F, (22)

где A± e Vp (R), Л eC , F eComp(Lp (R)), x± — характеристическая функция R±, Mx (e End (Lp (R))) — оператор умножения на характеристическую функцию x±. Покажем, что алгебра Шр (-) пространственно подобна алгебре операторов билокального типа [6, 9, 13]:

Wp (R) ® Wp (T,- )(с End (Lp (R xT))). Для произвольной ненулевой точки x = (xt, x2 )eR2 через x0 = (x°, x20) обозначим точку x /1XII e (T) и изоморфизм uP : Lp (R2) ^ Lp (R x T) определим по формуле

(Up (g))(t,a) = ^ exp p jj g(x° exp (—t), X20 exp (—t)), (23)

где t e R, (x0, x20) e T , и рассмотрим изоморфизм подобия (см. (1)):

U p: End (Lp (R2)) ^ End (Lp (RxT)). (24)

По схеме из [4], с. 166, доказывается Теорема 1. U Р(Шр (-)) = Wp (R) ® wp (T, -).

2.3. Символическое исчисление и фредгольмовость. При построении символического исчисления для алгебры Ш/} (-) будем следовать методам теории операторов билокального типа.

Прежде всего напомним конструкцию символа для банаховой алгебры Wp (R) [8]. Сопоставим

оператору Ca вида (20) преобразование Фурье а ядра а и тем самым зададим мономорфизм

Sr, p : Vp (R)^Q (R), (25)

являющийся в случае р = 2 изометрическим изоморфизмом. Пусть 50 ={_1; +1} — 0-мерная

сфера, Л = (л х 50)', Sp (л) = {феС(Л): ф± = ф|л {±1} еСр (л)}, тогда правило {В |и ак (В)}, где

(ол (В)) (да) = ^ (ал (В)) ±1) = Л + (5л,р (А±)) (ф е л), порождает символ-эпиморфизм банаховых алгебр

Ор,л : Мр (л)^ 5р (л). (26)

Рассмотрим банаховы алгебры

ер, , = М (л) ® N (Е) (- С ((^, Е) х {_1+1}); К (л)),

Ер,г = 5р (л) ® ^^ (т; Е) = {ф е С (Л; 1Ур (Т, Е)) : ф± = Фл^ е Ср (л) ® Wp (Е)},

Ер,0 = 5р (л) ® N (Е) = {ф е С (Л; Wp (T, Е)) : Ф± = Флх{±1} е Ср (л) ® N (Е)}, с естественными нормами. В алгебре Шр (Е) выделим модельные операторы вида:

А = Л1 + Х0П "1(А,, _ ® а0, _Р_ + А,, + ® а0,+Р+) + X„ П ^(А,, _ ® а„, _Р_ + А, + ® а„,+Р+), (27)

где Аз,+, Ада, + еVp (л+), а0,+,ада, + еС(Т,Е), п — изоморфизм вида (4) и определим два частичных символа оператора А — радиальный ар, г (А)(е Ер, г):

°р, г (а)1 лх{+1} = Л1 + Ор, л (Р К _ )) а0, Р + Ор, л (Р К + )) а0, + Р+, Ор,, (А)|лх{_1} = Л1 + Ор, л Р (А, _))а», _р_ + Ор, л Р (А,+))а„,Р, и послойный ор, г (А)(е Ер, г):

Ор,, (А) = Л1 + хР (А, _) ® О р. е (а0, _Р_) + хР (А 0,+) ® О р. е (а0,+Р+) + х Р (Ада, _) ® О р. е (ада, _Р_) +

+хР (А,+)® 0 р.Е (ада, +Р+),

а также слабый символ

Ор,0 (А)| лх{+1}хТ (е) = Л1 + О р, л Р А _)) 0 р.е (а0,-Р_) + а р, л Р (А + )) 0 р.е (а0, + Р+) ,

ар,0 (А)|лх{_1}хт(е) = Л1 + ар,л Р (Ада,_))0р.е (ада,_Р_) + 0р,л Р (Ада, + ))0р.е (ада, + Р+).

Лемма 1. Сопоставления

А и Ор, г (А), А и Ор,, (А), А и Ор, .(А), где А — оператор вида (27), распространяются до эпиморфизмов банаховых алгебр

Ор,, =(0р, л ® ^(т,Е))и Р1: Шр (Е)^ Ер, ,, Ор,, =(мтр(к)® Ор, е )и Р1: Шр (Е) ^ Ер,,, ар,0 =(0р,л ® 0р,е)<: Шр (еЕр,.,

при этом выполняется равенство:

(#5р(л) ® 0 р. е ) 0 р, г = (0 р, л ® ^ (е) ) 0 р, Г (=:0 р,0 ) . (28)

Пара эпиморфизмов и = (л) ® арЕ), (ар, л ® idWp(т е))) в соответствии с [14], с. 96, задаёт

р.Е) р, Г \р, л Яр (Е)у р, М р,0 1 р, л

расслоённую сумму Ер,. = Ер, г ©и Ер, г, т. е. банахову алгебру

: {(ЬГ , Ш )е Ер, г х Ер, , : (^л) ® 0р. е ) (ЬГ ) = (°р, л ® Ш„р (Т, е) ) (Ш )е Ер, . } .

28

Следующая теорема содержит конструкцию полного символа Op,. и условия фредгольмов ости операторов из Шр (Е). Теорема 2. I. Правило

А " Op,,(А) = (Op,, (А),аp,f (А)), Ле Шр (Е), определяет отображение оp.: Ш (Е) ^ Ер„, которое является эпиморфизмом банаховых алгебр с ядром Comp(Lp (RR)).

II. Пусть B е Шр (Е), тогда

1. B е Fr (Шр (Е)) о Op, r (B) е Gzp,,,Op,f (B) е GEp,f.

2. B е Fr (Шp (Е))о Op, ,(в)е^..

3. B е Fr (Ш p (Е))^ Op,0 (B) е GEp,0.

Доказательство этой теоремы, являющейся обобщением теоремы 3 из [4], в данной работе не приводится. Отметим, что необходимые и достаточные условия фредгольмовости, содержащиеся в положениях II, 1 и II, 2 теоремы 2, очень громоздки, однако в следующем разделе для операторов вида (10) условия фредгольмовости будут выписаны явно. 3. Условия фредгольмовости составных операторов. Перепишем оператор B е Lp (R+ xT, r ® 1) вида (10) в форме:

B = Z (I ® Pv,) ((XBs,_ + X^ +) ® (с,, P + с,, +P+)), (29)

где P е Lp (T) — оператор умножения на характеристическую функцию xYj; Ba— оператор вида (5):

+да

К ±f )(r) = fai, ±M)f (p)rfp.

0

Оператор А. + = Ba и 1 является оператором свёртки с ядром из L (R) (см. [4], с. 164):

—Л

(Аа,,±f)(r) = \g,± (т -t)f (Тd g± (Л) = ep а,,± (еМ).

—да

Введём оператор А = и(П 1 (B)) из Wp (R) ® wp (T, Е) с End(L (RxT)):

А = !К,® А2,,), (30)

i

где

А1,, = X—Аа, — + Х+А. + е Wp (R), А2,, = р (с,, P + с,, +P+^Wp (T, Е), и в соответствии с леммой 1 будем вычислять два частичных символа:

O1 (А) = ZOp,r (А,,i)® А2,,= Op,r (B), O2 (А) = ХА!,i® Op,е (А2,,) = Op,f (B). (31)

Сначала вычислим символ Op,R (А1,,). Рассмотрим преобразования Фурье а, ±, ядер а,, ±, операторов свёртки Аа и согласно определению Op, R получим, что

(Op,R (х а., -+хл.))^=(а:: siRxj-j: (32)

Чтобы найти символ ар Е (А ,), сначала вычислим ар Е (с, _Р_ + с, +Р+), ор Е (Ру. ). Локальным представителем в точке t0 еТ для оператора с,,_Р + с,, +Р+ является оператор с,.,_ (¿0)Р_ + с,, + (¿0)Р+ е ир. В силу свойств изоморфизма м (см. (14)) получаем, что

М (а, ±(¿0 )) = ¿¡ад [с,,± (¿0), с,,± (¿0)],

ЛИ (пу) (СИ (пу))

±, (еИ (пу))' 1 + № (пу)

м (21 ± ^ )^(/)=2

1 1

где у = у _ | — 2 |,, у е Я . Тогда в силу (17) и (18)

(ар,н (с,, _Р + с,,+р+))(0 = 2 [с,, + (¿0), с,, + (¿0)]

+ 2 [с,, ), с,, )]

(33)

1 -1

1 + № (пу) _ (еИ (пу)) , (еИ (пу)) 1 1 _ № (пу) Ш (пу) ¡ (еИ (пу ))_

_¡ (еИ (пу)) 1 1 + № (пу)

Теперь найдём ар,Е (Ру. ). Пусть t £ у,, тогда локальный представитель оператра Ру, в точке t, как оператора умножения на характеристическую функцию множества у,, равен 0. Если же t е ¡^у,, то локальный представитель в этой точке равен 1. Рассмотрим теперь точки разрыва ^ и . Локальный представитель Ру в точке ^ равен оператору умножения на характеристическую функцию луча Я+:

( ^ [1, х > 0, Х +(Х) = |0, х <0.

Локальный представитель Р в точке t¡+1 равен оператору умножения на функцию вида Х_ (х) = 1_х+(х). Подействуем на Х+(х) и х_ (х) изоморфизмом м (см. (14)) и получим:

М (Х.(х)) = (0 , М (Х _ (х))=(0 0

Применим (15), (17), (18) и вычислим символ ар Е (Ру ) е N (Е):

1 0

а р,Е Р )(t) "

01 00 00

, t е ¡^у,, , t е ¡^у, ] Ф /',

(34)

ар,Е Р , х)

V1 (х)(0 0)И(х), к = ¡,

1 (х), к =, +1,

^ К00> (х),

(35)

00 00

к ф /',¡ +1.

Итак, символы op R Д ,), op Е (Л2,) вычислены. Это позволяет вычислить частичные символы

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

оператора Л (см. (31)).

Теперь можно выписать для оператора B вида (10) частичные символы и сформулировать в их терминах условие фредгольмовости:

op,, (B) = X op, R (X_Л _ + X+A,,+ ) ® Р, (с,, рт, _ + с Pt, + ),

op,f (B) = X(X-A,,_ + X+A,,+ )® (op,E (p, )op,E (с,, Pt,- + с,, +PT, +)),

где Л,, = vB, v1, op,R (XoA,, _ + XД ) вычисляется по формуле (32), op,E (py,) - по

формулам (34) и (35), а opE (с, _PT,- + с,, +Рт +) вычисляется по формуле (33). Из теоремы 2 вытекает, что оператор B фредгольмов тогда и только тогда когда семейство операторов op,r (B) и op, f (B) обратимы.

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

1. Karapetiants, N., Samko, S. Equations with Involutive Operators. Boston, Basel, Berlin : Birkhauser, 2001, 427 p.

2. Авсянкин, О. Г. Об алгебре парных интегральных операторов с однородными ядрами / О. Г. Авсянкин // Математические заметки. — 2003. — Т. 73, вып. 4. — C. 483-493.

3. Деундяк, В. М. Многомерные интегральные операторы с однородными ядрами компактного типа и мультипликативно слабо осциллирующими коэффициентами / В. М. Деундяк // Математические заметки. — 2010. — Т. 87, № 5. — С. 713-729.

4. Деундяк, В. М. Об интегральных операторах с однородными ядрами послойно

сингулярного типа в пространстве Lp (R2) / В. М. Деундяк, Е. А. Степанюченко // Вестник Дон.

гос. техн. ун-та. — 2007. — Т. 7, № 2 (32). — С. 161-168.

5. Симоненко, И. Б. Локальный метод в теории инвариантных относительно сдвига операторов их огибающих / И. Б. Симоненко. — Ростов-на-Дону : ЦВВР, 2007. — 120 с.

6. Пилиди, В. С. О бисингулярном уравнении в пространстве Lp / В. С. Пилиди //

Математические исследования. — 1972. — Т. 7, № 3. — С. 167-175.

7. Деундяк, В. М. Топологические методы в теории разрешимости многомерных парных интегральных операторов с однородными ядрами компактного типа / В. М. Деундяк // Труды МИАН. — 2012. — Т. 278. — С. 59-67.

8. Симоненко, И. Б. Операторы типа свёртки в конусах / И. Б. Симоненко // Математический сборник. — 1967. — Т. 74, № 2. — С. 298-314.

9. Пилиди, В. С. Локальный метод в теории операторов типа бисингулярных уравнений /

B. С. Пилиди, Л. И. Сазонов // Известия вузов. Сев.-Кавк. регион. Естеств. науки. Спецвыпуск. Псевдодифференциальные уравнения и некоторые проблемы математической физики. — 2005. —

C. 100-106.

10. Деундяк, В. М. Символы и гомотопическая классификация семейств одномерных сингулярных операторов с кусочно-непрерывными коэффициентами / В. М. Деундяк, И. Б. Симоненюэ, Чинь Шок Минь // Известия вузов. Математика. — 1988. — № 12. — C. 17-27.

11. Дудучава, Р. В. Интегральные операторы свёртки на квадранте с разрывными символами / Р. В. Дудучава // Известия АН СССР, серия «Математика». — 1976. — T. 40, № 2. — C. 388-407.

12. Деундяк, В. М. Об одной алгебре операторов билокального типа в Lp (RxT) /

В. М. Деундяк, Е. А. Степанюченко // Интегро-дифференциальные операторы и их приложения : межвуз. сб. науч. трудов. — Ростов-на-Дону, 2007. — С. 59-66.

13. Пилиди, В. С. Локальный метод в теории линейных операторных уравнений типа бисингулярных интегральных уравнений / В. С. Пилиди // Математический анализ и его приложения. — 1971. — Т. 3. — С. 81-105.

14. Каш, Ф. Модули и кольца / Ф. Каш. — Москва : Мир, 1981. — 368 с.

15. Деундяк, В. М. Канонические представления и ядра предсимволов бисингулярных интегральных операторов / В. М. Деундяк // Вестник Дон. гос. техн. ун-та. — 2004. — Т. 4, № 1 (19). — С. 3-8.

Материал поступил в редакцию 18.10.2013. References

1. Karapetiants, N., Samko, S. Equations with Involutive Operators. Boston, Basel, Berlin : Birkhauser, 2001, 427 p.

2. Avsyankin, O. G. Ob algebre parnykh integralnykh operatorov s odnorodnymi yadrami. [On algebra of paired integral operators with homogeneous kernels.] Matematicheskiye zametki, 2003, vol. 73, iss. 4, pp. 483-493 (in Russian).

3. Deundyak, V. M. Mnogomernyye integralnyye operatory s odnorodnymi yadrami kompaktnogo tipa i multiplikativno slabo ostsilliruyushchimi koeffitsiyentami. [Multidemensional integral operators with homogeneous compact-type kernels and multiplicatively weakly oscillating coefficients.] Matematicheskiye zametki, 2010, vol. 87, no. 5, pp. 713-729 (in Russian).

4. Deundyak, V. M., Stepanyuchenko, E. A. Ob integralnykh operatorakh s odnorodnymi yadrami posloyno singulyarnogo tipa v prostranstve. [On integral operators with homogeneous kernels of fiber singular type in space.] Vestnik of DSTU, 2007, vol. 7, no. 2 (32), pp. 161-168 (in Russian).

5. Simonenko, I. B. Lokalnyy metod v teorii invariantnykh otnositelno sdviga operatorov ikh ogibayushchikh. [Local method in theory of envelope shift invariant operators.] Rostov-on-Don : TsVVR, 2007, 120 p. (in Russian).

6. Pilidi, V. S. O bisingulyarnom uravnenii v prostranstve. [On bisingular equation in space.] Matematicheskiye issledovaniya, 1972, vol. 7, no. 3, pp. 167-175 (in Russian).

7. Deundyak, V. M. Topologicheskiye metody v teorii razreshimosti mnogomernykh parnykh integralnykh operatorov s odnorodnymi yadrami kompaktnogo tipa. [Topological methods in solvability theory of multidimensional pair integral operators with homogeneous kernels of compact type.] Trudy MIAN, 2012, vol. 278, pp. 59-67 (in Russian).

8. Simonenko, I. B. Operatory tipa svertki v konusakh. [Operators of convolution type in cones.] Matematicheskiy sbornik, 1967, vol. 74, no. 2, pp. 298-314 (in Russian).

9. Pilidi, V. S., Sazonov, L. I. Lokalnyy metod v teorii operatorov tipa bisingulyarnykh uravneniy. [Local method in theory of bisingular equation operators.] Izvestiya vuzov. Sev.-Kavk. region. Estestv. nauki. Spetsvypusk. Psevdodifferentsialnyye uravneniya i nekotoryye problemy matematicheskoy fiziki. [Natural Sciences. Special ed. Pseudodifferential equations and some problems of Mathematical Physics.] 2005, pp. 100-106 (in Russian).

10. Deundyak, V. M., et al. Simvoly i gomotopicheskaya klassifikatsiya semeystv odnomernykh singulyarnykh operatorov s kusochno-nepreryvnymi koeffitsiyentami. [Symbols and homotopy classification of one-dimensional singular operator families with piecewise continuous coefficients.] Izvestiya vuzov. Matematika, 1988, no. 12, pp. 17-27 (in Russian).

11. Dudachava, R. V. Integralnyye operatory svertki na kvadrante s razryvnymi simvolami. [Integral operators of convolution on quadrant with discontinuous symbols.] Izvestiya AN SSSR, seriya "Matematika", 1976, vol. 40, no. 2, pp. 388-407 (in Russian).

12. Deundyak, V. M., Stepanyuchenko, E. A. Ob odnoy algebre operatorov bilokalnogo tipa v Lp (R x T) [On one algebra of bilocal operators in Lp (R x T).] Integro-differentsialnyye operatory i ikh

prilozheniya : mezhvuz. sb. nauch. trudov. [Integro-differential operators and their application: Interuniversity coll. of research papers.] Rostov-on-Don, 2007, pp. 59-66 (in Russian).

13. Pilidi, V. S. Lokalnyy metod v teorii lineynykh operatornykh uravneniy tipa bisingulyarnykh integralnykh uravneniy. [Local method in theory of linear operator equations of bisingular equation operator type.] Matematicheskiy analiz i yego prilozheniya, 1971, vol. 3, pp. 81-105 (in Russian).

14. Kash, F. Moduli i koltsa. [Modules and rings.] Moscow : Mir, 1981, 368 p. (in Russian).

15. Deundyak, V. M. Kanonicheskiye predstavleniya i yadra predsimvolov bisingulyarnykh integralnykh operatorov. [Canonical presentations and presymbol kernels of bisingular equation operators.] Vestnik of DSTU, 2004, vol. 4, no. 1 (19), pp. 3-8 (in Russian).

FREDHOLM PROPERTY OF COMPOSITE TWO-DIMENSIONAL INTEGRAL OPERATORS WITH HOMOGENEOUS SINGULAR-TYPE KERNELS IN Lp SPACE*

V. M. Deundyak, E. A. Romanenko

The authors have previously studied two-dimensional Fredholm integral operators with homogeneous kernels of fiber-singular type. For this class of operators, the symbolic calculus is built using the theory of bilocal operators by V Pilidi, and Fredholm criterion is formulated through the inversibility of two families: the family of one-dimensional convolution operators, and the family of one-dimensional singular integral operators with continuous coefficients. The aim of this work is to study composite two-dimensional integral operators with homogeneous kernels of fibersingular type analogous to Simonenko's continual convolution integral operators. This investigation is a part of a more general study of algebra of operators with homogeneous kernels which layers are singular operators with piecewise continuous coefficients. For the considered operators, the symbolic calculus and the necessary and sufficient Fredholm conditions are obtained.

Keywords: singular equations, convolution operators, homogeneous kernels, Fredholm property.

* The research is supported by the Ministry of Education and Science of the Russian Federation (Agreement no. 14.A18.21.0356), and by the internal Southern Federal University grant Mm 13-16 "Differential and integral equations. Applications to mathematical physics and financial mathematics".

i Надоели баннеры? Вы всегда можете отключить рекламу.